title: Development of a Data-driven Turbulence Model for 3d Thermal Stratification Simulation during Reactor Transients

abstract: SAM, a plant-level system analysis tool for advanced reactors (SFR, LFR, MSR/FHR) is under development at Argonne. As a modern system code, SAM aims to improve the predictions of 3D flows relevant to reactor safety during transient conditions. In order to fulfill this goal, one approach is to implement modeling of turbulent flow in SAM through establishing an embedded surrogate model for Reynolds stress/turbulence viscosity based on machine learning techniques. The proposed approach is based on an assumption that there exists a functional dependency relationship between local flow features and local turbulence viscosity or Reynolds stress. There have been very limited studies performed to validate this assumption. This paper documents a case study to examine the assumption in a scenario of potential reactor applications. The work doesn't aim to theoretically validate the assumption, but practically validate the assumption within the limited application domain. From the methodological point of view, the approach used in this paper could be classified into the so-called Type I machine learning (ML) approach, where a scale separation assumption is proposed claiming that conservation equations and closure relations are scale separable, for which the turbulence models are local rather than global. The CFD case studied in this work is a 3D transient thermal stratification tank flow problem performed using a Reynolds-averaged Navier-Stokes turbulence model in STARCCM+ code. Flow information of all geometric points in all timesteps is collected as training data and test data.


title: Energy Trading in Microgrids for Synergies among Electricity, Hydrogen and Heat Networks

abstract: The emerging paradigm of interconnected microgrids advocates energy trading or sharing among multiple microgrids. It helps make full use of the temporal availability of energy and diversity in operational costs when meeting various energy loads. However, energy trading might not completely absorb excess renewable energy. A multi-energy management framework including fuel cell vehicles, energy storage, combined heat and power system, and renewable energy is proposed, and the characteristics and scheduling arrangements of fuel cell vehicles are considered to further improve the local absorption of the renewable energy and enhance the economic benefits of microgrids. While intensive research has been conducted on energy scheduling and trading problem, a fundamental question still remains unanswered on microgrid economics. Namely, due to multi-energy coupling, stochastic renewable energy generation and demands, when and how a microgrid should schedule and trade energy with others, which maximizes its long-term benefit. This paper designs a joint energy scheduling and trading algorithm based on Lyapunov optimization and a double-auction mechanism. Its purpose is to determine the valuations of energy in the auction, optimally schedule energy distribution, and strategically purchase and sell energy with the current electricity prices. Simulations based on real data show that each individual microgrid, under the management of the proposed algorithm, can achieve a time-averaged profit that is arbitrarily close to an optimum value, while avoiding compromising its own comfort.


title: Improved Bound for Matching in Random-Order Streams

abstract: We study the problem of computing an approximate maximum cardinality matching in the semi-streaming model when edges arrive in a \emph{random} order. In the semi-streaming model, the edges of the input graph G = (V,E) are given as a stream e_1, ..., e_m, and the algorithm is allowed to make a single pass over this stream while using $O(n \textrm{polylog}(n))$ space ($m = |E|$ and $n = |V|$). If the order of edges is adversarial, a simple single-pass greedy algorithm yields a $1/2$-approximation in $O(n)$ space; achieving a better approximation in adversarial streams remains an elusive open question. A line of recent work shows that one can improve upon the $1/2$-approximation if the edges of the stream arrive in a random order. The state of the art for this model is two-fold: Assadi et al. [SODA 2019] show how to compute a $2/3(\sim.66)$-approximate matching, but the space requirement is $O(n^{1.5} \textrm{polylog}(n))$. Very recently, Farhadi et al. [SODA 2020] presented an algorithm with the desired space usage of $O(n \textrm{polylog}(n))$, but a worse approximation ratio of $6/11(\sim.545)$, or $3/5(=.6)$ in bipartite graphs. In this paper, we present an algorithm that computes a $2/3(\sim.66)$-approximate matching using only $O(n \log(n))$ space, improving upon both results above. We also note that for adversarial streams, a lower bound of Kapralov [SODA 2013] shows that any algorithm that achieves a $1-1/e(\sim.63)$-approximation requires $(n^{1+\Omega(1/\log\log(n))})$ space. Our result for random-order streams is the first to go beyond the adversarial-order lower bound, thus establishing that computing a maximum matching is provably easier in random-order streams.


title: Improvements in cosmological constraints from breaking growth degeneracy

abstract: The key probes of the growth of large-scale structure are its rate $f$ and amplitude $\sigma_8$. Redshift space distortions in the galaxy power spectrum allow us to measure only the combination $f\sigma_8$, which can be used to constrain the standard cosmological model or alternatives. By using measurements of the galaxy-galaxy lensing cross-correlation spectrum or of the galaxy bispectrum, it is possible to break the $f\sigma_8$ degeneracy and obtain separate estimates of $f$ and $\sigma_8$ from the same galaxy sample. Currently there are only a handful of such separate measurements, but even this allows for improved constraints on cosmological models. We explore how having a larger and more precise sample of such measurements in the future could constrain further cosmological models. We consider what can be achieved by a future nominal sample that delivers a $\sim 1\%$ constraint on $f$ and $\sigma_8$ separately, compared to the case with a similar precision on the combination $f\sigma_8$. For the six cosmological parameters of $\Lambda$CDM, we find improvements of $\sim\! 5$--$50\%$ on their constraints. For modified gravity models in the Horndeski class, the improvements on these standard parameters are $\sim\! 0$--$15\%$. However, the precision on the sum of neutrino masses improves by 65\% and there is a significant increase in the precision on the background and perturbation Horndeski parameters.


title: Aggregation and Finetuning for Clothes Landmark Detection

abstract: Landmark detection for clothes is a fundamental problem for many applications. In this paper, a new training scheme for clothes landmark detection: $\textit{Aggregation and Finetuning}$, is proposed. We investigate the homogeneity among landmarks of different categories of clothes, and utilize it to design the procedure of training. Extensive experiments show that our method outperforms current state-of-the-art methods by a large margin. Our method also won the 1st place in the DeepFashion2 Challenge 2020 - Clothes Landmark Estimation Track with an AP of 0.590 on the test set, and 0.615 on the validation set. Code will be publicly available at https://github.com/lzhbrian/deepfashion2-kps-agg-finetune .


title: Graph constructions for the contact process with a prescribed critical rate

abstract: We construct graphs (trees of bounded degree) on which the contact process has critical rate (which will be the same for both global and local survival) equal to any prescribed value between zero and $\lambda_c(\mathbb{Z})$, the critical rate of the one-dimensional contact process. We exhibit both graphs in which the process at this target critical value survives (locally) and graphs where it dies out (globally).


title: Elliptic problems with nonclassical boundary conditions in an extended Sobolev scale

abstract: We consider elliptic problems with nonclassical boundary conditions that contain additional unknown functions on the border of the domain of the elliptic equation and also contain boundary operators of higher orders with respect to the order of this equation. We investigate the solvability of the indicated problems and properties of their solutions in an extended Sobolev scale. It consists of Hilbert generalized Sobolev spaces for which the order of regularity is a general radial function $\mathrm{RO}$-varying in the sense of Avakumovi\'{c} at infinity. We establish a theorem on the Fredholm property of the indicated problems on appropriate pairs of these spaces and theorems on the regularity and a priori estimate of the generalized solutions to the problems. We obtain exact sufficient conditions for components of these solutions to be continuously differentiable.


title: \`A propos d'un th\'eor\`eme de de Felipe et Teissier sur la comparaison de deux hens\'elis\'es dans le cas non noeth\'erien

abstract: This paper gives an elementary proof of a theorem by de Felipe and Teissier in the paper "Valuations and henselization" (arXiv:1903.10793v1), to appear in Math. Annalen. The theorem compares two henselizations of a local domain dominated by a valuation domain. Our proofs are written in the constructive Bishop style.


title: Subgroups of pro-$p$ $\mathrm{PD}^3$-groups

abstract: We study 3-dimensional Poincar\'e duality pro-$p$ groups in the spirit of the work by Robert Bieri and Jonathan Hillmann, and show that if such a pro-$p$ group $G$ has a nontrivial finitely presented subnormal subgroup of infinite index, then either the subgroup is cyclic and normal, or the subgroup is cyclic and the group is polycyclic, or the subgroup is Demushkin and normal in an open subgroup of $G$. Also, we describe the centralizers of finitely generated subgroups of 3-dimensional Poincar\'e duality pro-$p$ groups.


title: Non-equilibrium quantum dynamics and formation of the Bose polaron

abstract: Advancing our understanding of non-equilibrium phenomena in quantum many-body systems remains among the greatest challenges in physics. Here, we report on the experimental observation of a paradigmatic many-body problem, namely the non-equilibrium dynamics of a quantum impurity immersed in a bosonic environment. We use an interferometric technique to prepare coherent superposition states of atoms in a Bose-Einstein condensate with a small impurity-state component, and monitor the evolution of such quantum superpositions into polaronic quasiparticles. These results offer a systematic picture of polaron formation from weak to strong impurity interactions. They reveal three distinct regimes of evolution with dynamical transitions that provide a link between few-body processes and many-body dynamics. Our measurements reveal universal dynamical behavior in interacting many-body systems and demonstrate new pathways to study non-equilibrium quantum phenomena.


title: Local quantum Fisher information and local quantum uncertainty in two qubit Heisenberg XYZ chain with Dzyaloshinskii Moriya interactions

abstract: In this work we will study the Local quantum Fisher information and the local quantum uncertainty in two-qubit Heisenberg XYZ spin chain model with Dzyaloshinskii Moriya (DM) interaction in z direction. Here we show that the DM interaction and spin interactions along the x, y, and z axis can increase and maintain local quantum Fisher information and local quantum uncertainty. It is also shown that because of thermal fluctuations local quantum Fisher information and local quantum uncertainty are decreased by increasing temperature. They are equal to one at very low temperature and starts to decay only after a thershold temperature.


title: A Data-driven Approach for Turbulence Modeling

abstract: Data-driven turbulence modeling is a newly emerged research area in thermal hydraulics simulation of nuclear power plant (NPP). The most common CFD method used in NPP thermal hydraulics simulation is Reynolds-averaged Navier-Stokes (RANS) method, which still has acknowledged deficiencies not only in the calculation speed but also in the complexity of choosing turbulence model and parameters for different flow patterns. Data-driven turbulence modeling aims to develop a RANS-based method which not only computationally efficient but also applicable to different flow patterns. To achieve this goal, the first step is to develop an approach to properly perform RANS for selected flow patterns. In this work, a machine learning approach is selected to achieve this goal. The main purpose of this study is to perform a data-driven approach to model turbulence Reynolds stress leveraging the potential of massive direct numerical simulation (DNS) data. The approach is validated by a turbulence flow validation case: a parallel plane quasi-steady state turbulence flow case. The work contains three parts. The first part is database preparation. In this step, turbulence properties (Reynolds stress) are extracted from DNS results, which are considered as "physically correct data". Meanwhile, flow features are extracted from RANS results, which are considered as "data to be corrected". The second part is surrogate model establishment. In this step, a data-driven regression function is trained between flow features and turbulence properties obtained from the previous step. The last part is model validation, which is applying trained data-driven regression function to a test case to validate this approach.


title: All-electrical detection of skyrmion lattice state and chiral surface twists

abstract: We study the high-temperature phase diagram of the chiral magnetic insulator Cu$_2$OSeO$_3$ by measuring the spin-Hall magnetoresistance (SMR) in a thin Pt electrode. We find distinct changes in the phase and amplitude of the SMR signal at critical lines separating different magnetic phases of bulk Cu$_2$OSeO$_3$. The skyrmion lattice state appears as a strong dip in the SMR phase. A strong enhancement of the SMR amplitude is observed in the conical spiral state, which we explain by an additional symmetry-allowed contribution to the SMR present in non-collinear magnets. We demonstrate that the SMR can be used as an all-electrical probe of chiral surface twists and skyrmions in magnetic insulators.


title: Big mapping class groups with hyperbolic actions: classification and applications

abstract: We address the question of determining which mapping class groups of infinite-type surfaces admit nonelementary continuous actions on hyperbolic spaces. More precisely, let $\Sigma$ be a connected, orientable surface of infinite type with tame endspace whose mapping class group is generated by a coarsely bounded subset. We prove that $\mathrm{Map}(\Sigma)$ admits a continuous nonelementary action on a hyperbolic space if and only if $\Sigma$ contains a finite-type subsurface which intersects all its homeomorphic translates. When $\Sigma$ contains such a nondisplaceable subsurface $K$ of finite type, the hyperbolic space we build is constructed from the curve graphs of $K$ and its homeomorphic translates via a construction of Bestvina, Bromberg and Fujiwara. Our construction has several applications: first, the second bounded cohomology of $\mathrm{Map}(\Sigma)$ contains an embedded $\ell^1$; second, using work of Dahmani, Guirardel and Osin, we deduce that $\mathrm{Map}(\Sigma)$ contains nontrivial normal free subgroups (while it does not if $\Sigma$ has no nondisplaceable subsurface of finite type), has uncountably many quotients and is SQ-universal.


title: Schr\"odinger equations on compact globally symmetric spaces

abstract: In this article, we establish scale-invariant Strichartz estimates for the Schr\"odinger equation on arbitrary compact globally symmetric spaces and some bilinear Strichartz estimates on products of rank-one spaces. As applications, we provide local well-posedness results for nonlinear Schr\"odinger equations on such spaces in both subcritical and critical regularities.


title: Investigating Class-level Difficulty Factors in Multi-label Classification Problems

abstract: This work investigates the use of class-level difficulty factors in multi-label classification problems for the first time. Four class-level difficulty factors are proposed: frequency, visual variation, semantic abstraction, and class co-occurrence. Once computed for a given multi-label classification dataset, these difficulty factors are shown to have several potential applications including the prediction of class-level performance across datasets and the improvement of predictive performance through difficulty weighted optimisation. Significant improvements to mAP and AUC performance are observed for two challenging multi-label datasets (WWW Crowd and Visual Genome) with the inclusion of difficulty weighted optimisation. The proposed technique does not require any additional computational complexity during training or inference and can be extended over time with inclusion of other class-level difficulty factors.


title: Defining the $T \overline{T}$ Deformation on $\mathrm{AdS}_2$

abstract: We show that the $T \overline{T}$ deformation of two-dimensional quantum field theory on $\mathrm{AdS}_2$ is well-defined and solvable at the quantum level. Flow equations for the energy spectrum and partition function are derived in analogy with the flat space case. As a non-trivial check, we perturbatively compute the deformed energy spectrum for the case of a free scalar field. We analyze the high energy density of states of the deformed theory and find a Hagedorn growth of states.


title: Topological Sort for Sentence Ordering

abstract: Sentence ordering is the task of arranging the sentences of a given text in the correct order. Recent work using deep neural networks for this task has framed it as a sequence prediction problem. In this paper, we propose a new framing of this task as a constraint solving problem and introduce a new technique to solve it. Additionally, we propose a human evaluation for this task. The results on both automatic and human metrics across four different datasets show that this new technique is better at capturing coherence in documents.


title: Time-Scales for Nonlinear Processes in Preheating after Multifield Inflation with Nonminimal Couplings

abstract: We have conducted extensive lattice simulations to study the post-inflation dynamics of multifield models involving nonminimal couplings. We explore the parameter dependence of preheating in these models and describe the various time-scales that control such nonlinear processes as energy transfer, re-scattering, and the approach to radiation-domination and thermalization. In the limit of large nonminimal couplings ($\xi_I \sim 100$), we find that efficient transfer of energy from the inflaton condensate to radiative degrees of freedom, emergence of a radiation-dominated equation of state, and the onset of thermalization each consistently occur within $N_{\rm reh} \lesssim 3$ $e$-folds after the end of inflation, largely independent of the values of the other couplings in the models. The exception is the case of negative ellipticity, in which there is a misalignment between the dominant direction in field-space along which the system evolves and the larger of the nonminimal couplings $\xi_I$. In those cases, the field-space-driven parametric resonance is effectively shut off. More generally, the competition between the scalar fields' potential and the field-space manifold structure can yield interesting phenomena such as two-stage resonances. Despite the explosive particle production, which can lead to a quick depletion of the background energy density, the nonlinear processes do not induce any super-horizon correlations after the end of inflation in these models, which keeps predictions for CMB observables unaffected by the late-time amplification of isocurvature fluctuations. Hence the excellent agreement between primordial observables and recent observations is preserved for this class of models, even when we consider post-inflation dynamics.


title: Molecular dynamics approach for predicting release temperatures of noble gases in pre-solar nanodiamonds

abstract: Pre-solar meteoritic nanodiamond grains carry an array of isotopically distinct noble gas components and provide information on the history of nucleosynthesis, galactic mixing and the formation of the Solar system. In this paper, we develop a molecular dynamics approach to predict thermal release pattern of implanted noble gases (He and Xe) in nanodiamonds. We provide atomistic details of the unimodal temperature release distribution for He and a bimodal behavior for Xe. Intriguingly, our model shows that the thermal release process of noble gases is highly sensitive to the impact and annealing parameters as well as to position of the implanted ion in crystal lattice and morphology of the nanograin. In addition, the model elegantly explains the unimodal and bimodal patterns of noble gas release via the interstitial and substutional types of defects formed. In summary, our simulations confirm that low-energy ion-implantation is a viable way for the incorporation of noble gases into nanodiamonds and we provide explanation of experimentally observed peculiarities of gas release.


title: Protein-protein modelling using cryo-EM restraints

abstract: The recent improvements in cryo-electron microscopy (cryo-EM) in the past few years are now allowing to observe molecular complexes at atomic resolution. As a consequence, numerous structures derived from cryo-EM are now available in the Protein Data Bank. However, if for some complexes atomic resolution is reached, this is not true for all. This is also the case in cryo-electron tomography where the achievable resolution is still limited. Furthermore the resolution in a cryo-EM map is not a constant, with often outer regions being of lower resolution, possibly linked to conformational variability. Although those low to medium resolution EM maps (or regions thereof) cannot directly provide atomic structure of large molecular complexes, they provide valuable information to model the individual components and their assembly into them. Most approaches for this kind of modelling are performing rigid fitting of the individual components into the EM density map. While this would appear an obvious option, they ignore key aspects of molecular recognition, the energetics and flexibility of the interfaces. Moreover, these often restricts the modelling to a unique source of data, the EM density map. In this chapter, we describe a protocol where an EM map is used as restraint in HADDOCK to guide the modelling process.


title: Bipartite Flat-Graph Network for Nested Named Entity Recognition

abstract: In this paper, we propose a novel bipartite flat-graph network (BiFlaG) for nested named entity recognition (NER), which contains two subgraph modules: a flat NER module for outermost entities and a graph module for all the entities located in inner layers. Bidirectional LSTM (BiLSTM) and graph convolutional network (GCN) are adopted to jointly learn flat entities and their inner dependencies. Different from previous models, which only consider the unidirectional delivery of information from innermost layers to outer ones (or outside-to-inside), our model effectively captures the bidirectional interaction between them. We first use the entities recognized by the flat NER module to construct an entity graph, which is fed to the next graph module. The richer representation learned from graph module carries the dependencies of inner entities and can be exploited to improve outermost entity predictions. Experimental results on three standard nested NER datasets demonstrate that our BiFlaG outperforms previous state-of-the-art models.


title: Squeezing of intensity noise in nanolasers and nanoLEDs

abstract: The intensity noise of nanolasers and nanoLEDs is analyzed for conventional and quiet pumping of electrons into the active region. It is shown that nanoLEDs with Purcell-enhanced emission rates, enabled by extreme dielectric confinement, may be excellent sources of intensity-squeezed light within a bandwidth of several gigahertz. The physics of intensity squeezing is elucidated and it is shown that the parameter dependence can be explained by an effective Fano factor.


title: Lightweight Convolutional Neural Networks for CSI Feedback in Massive MIMO

abstract: In frequency division duplex mode of massive multiple-input multiple-output systems, the downlink channel state information (CSI) must be sent to the base station (BS) through a feedback link. However, transmitting CSI to the BS is costly due to the bandwidth limitation of the feedback link. Deep learning (DL) has recently achieved remarkable success in CSI feedback. Realizing high-performance and low-complexity CSI feedback is a challenge in DL based communication. We develop a DL based CSI feedback network in this study to complete the feedback of CSI effectively. However, this network cannot be effectively applied to the mobile terminal because of the excessive numbers of parameters. Therefore, we further propose a new lightweight CSI feedback network based on the developed network. Simulation results show that the proposed CSI network exhibits better reconstruction performance than that of other CsiNet-related works. Moreover, the lightweight network maintains a few parameters and parameter complexity while ensuring satisfactory reconstruction performance. These findings suggest the feasibility and potential of the proposed techniques.


title: Oriented hairy graphs and moduli spaces of curves

abstract: We discuss a graph complex formed by directed acyclic graphs with external legs. This complex comes in particular with a map to the ribbon graph complex computing the (compactly supported) cohomology of the moduli space of points $\mathcal M_{g,n}$, extending an earlier result of Merkulov-Willwacher. It is furthermore quasi-isomorphic to the hairy graph complex computing the weight 0 part of the compactly supported cohomology of $\mathcal{M}_{g,n}$ according to Chan-Galatius-Payne. Hence we can naturally connect the works Chan-Galatius-Payne and of Merkulov-Willwacher and the ribbon graph complex and obtain a fairly satisfying picture of how all the pieces and various graph complexes fit together, at least in weight zero.


title: Rotating Convective Core Excites Non-Radial Pulsations to Cause Rotational Modulations in Early-Type Stars

abstract: We discuss low-frequency g modes excited by resonant couplings with weakly unstable oscillatory convective modes in the rotating convective core in early-type main-sequence stars. Our non-adiabatic pulsation analyses including the effect of Coriolis force for $2\,M_\odot$ main-sequence models show that if the convective core rotates slightly faster than the surrounding radiative layers, g modes in the radiative envelope are excited by a resonance coupling. The frequency of the excited g mode in the inertial frame is close to $|m\Omega_{\rm c}|$ with $m$ and $\Omega_{\rm c}$ being the azimuthal order of the g mode and the rotation frequency of the convective core, respectively. These g mode frequencies are consistent with those of photometric rotational modulations and harmonics observed in many early-type main-sequence stars.


title: Peak statistics for the primordial black hole abundance

abstract: The primordial black hole (PBH) abundance evaluated by the conventional Press-Schechter (PS) probability distribution is shown to be equivalent to the high-peak limit of a special point-like peak statistics via unphysical dimensionality reduction of the Bardeen-Bond-Kaiser-Szalay (BBKS) theory. The fact that PBHs are formed at high peak values $\nu_c \gg 1$ leads to a systematic bias proportional to $\nu_c^3$ between the predictions of the PS method and the physical BBKS peak theory in a general three-dimensional spatial configuration. As long as realistic PBHs are collapsed from three-dimensional density peaks in space, the systematic bias led by $\nu_c^3$ implies a significant underestimation of the PBH abundance reported by the PS method. For the inflationary spectrum in the narrow-spike class, the underestimation in the extended mass functions is further enlarged by at least a factor of $10^{2.5}$ in all mass range, indicating a severer constraint to models in the favor of considering PBHs as all dark matter in a certain mass range.


title: Turbulence in a network of rigid fibers

abstract: The effect of a network of fixed rigid fibers on fluid flow is investigated by means of three-dimensional direct numerical simulations using an immersed boundary method for the fluid-structure coupling. Different flows are considered (i.e., cellular, parallel and homogeneous isotropic turbulent flow) in order to identify the modification of the classic energy budget occurring within canopies or fibrous media, as well as particle-laden flows. First, we investigate the stabilizing effect of the network on the Arnold-Beltrami-Childress (ABC) cellular flow, showing that, the steady configuration obtained for a sufficiently large fiber concentration mimics the single-phase stable solution at a lower Reynolds number. Focusing on the large-scale dynamics, the effect of the drag exerted by the network on the flow can be effectively modelled by means of a Darcy's friction term. For the latter, we propose a phenomenological expression that is corroborated when extending our analysis to the Kolmogorov parallel flow and homogeneous isotropic turbulence. Furthermore, we examine the overall energy distribution across the various scales of motion, highlighting the presence of small-scale activity with a peak in the energy spectra occurring at the wavenumber corresponding to the network spacing.


title: Quantum arithmetic operations based on quantum Fourier transform on signed integers

abstract: The quantum Fourier transform (QFT) brings efficiency in many respects, especially usage of resource, for most operations on quantum computers. In this study, the existing QFT-based and non-QFT-based quantum arithmetic operations are examined. The capabilities of QFT-based addition and multiplication are improved with some modifications. The proposed operations are compared with the nearest quantum arithmetic operations. Furthermore, novel QFT-based subtraction, division and exponentiation operations are presented. The proposed arithmetic operations can perform nonmodular operations on all signed numbers without any limitation by using less resources. In addition, novel quantum circuits of two's complement, absolute value and comparison operations are also presented by using the proposed QFT-based addition and subtraction operations.


title: Stability of Forced-Damped Response in Mechanical Systems from a Melnikov Analysis

abstract: Frequency responses of multi-degree-of-freedom mechanical systems with weak forcing and damping can be studied as perturbations from their conservative limit. Specifically, recent results show how bifurcations near resonances can be predicted analytically from conservative families of periodic orbits (nonlinear normal modes). However, the stability of forced-damped motions is generally determined a posteriori via numerical simulations. In this paper, we present analytic results on the stability of periodic orbits that perturb from conservative nonlinear normal modes. In contrast with prior approaches to the same problem, our method can tackle strongly nonlinear oscillations, high-order resonances and arbitrary types of non-conservative forces affecting the system, as we show with specific examples.


title: Optimal Scheduling of Age-centric Caching: Tractability and Computation

abstract: The notion of age of information (AoI) has become an important performance metric in network and control systems. Information freshness, represented by AoI, naturally arises in the context of caching. We address optimal scheduling of cache updates for a time-slotted system where the contents vary in size. There is limited capacity for the cache and for making content updates. Each content is associated with a utility function that is monotonically decreasing in the AoI. For this combinatorial optimization problem, we present the following contributions. First, we provide theoretical results settling the boundary of problem tractability. In particular, by a reformulation using network flows, we prove the boundary is essentially determined by whether or not the contents are of equal size. Second, we derive an integer linear formulation for the problem, of which the optimal solution can be obtained for small-scale scenarios. Next, via a mathematical reformulation, we derive a scalable optimization algorithm using repeated column generation. In addition, the algorithm computes a bound of global optimum, that can be used to assess the performance of any scheduling solution. Performance evaluation of large-scale scenarios demonstrates the strengths of the algorithm in comparison to a greedy schedule. Finally, we extend the applicability of our work to cyclic scheduling.


title: Defense of Word-level Adversarial Attacks via Random Substitution Encoding

abstract: The adversarial attacks against deep neural networks on computer vision tasks have spawned many new technologies that help protect models from avoiding false predictions. Recently, word-level adversarial attacks on deep models of Natural Language Processing (NLP) tasks have also demonstrated strong power, e.g., fooling a sentiment classification neural network to make wrong decisions. Unfortunately, few previous literatures have discussed the defense of such word-level synonym substitution based attacks since they are hard to be perceived and detected. In this paper, we shed light on this problem and propose a novel defense framework called Random Substitution Encoding (RSE), which introduces a random substitution encoder into the training process of original neural networks. Extensive experiments on text classification tasks demonstrate the effectiveness of our framework on defense of word-level adversarial attacks, under various base and attack models.


title: Image fusion using symmetric skip autoencodervia an Adversarial Regulariser

abstract: It is a challenging task to extract the best of both worlds by combining the spatial characteristics of a visible image and the spectral content of an infrared image. In this work, we propose a spatially constrained adversarial autoencoder that extracts deep features from the infrared and visible images to obtain a more exhaustive and global representation. In this paper, we propose a residual autoencoder architecture, regularised by a residual adversarial network, to generate a more realistic fused image. The residual module serves as primary building for the encoder, decoder and adversarial network, as an add on the symmetric skip connections perform the functionality of embedding the spatial characteristics directly from the initial layers of encoder structure to the decoder part of the network. The spectral information in the infrared image is incorporated by adding the feature maps over several layers in the encoder part of the fusion structure, which makes inference on both the visual and infrared images separately. In order to efficiently optimize the parameters of the network, we propose an adversarial regulariser network which would perform supervised learning on the fused image and the original visual image.


title: Optimal Join Algorithms Meet Top-k

abstract: Top-k queries have been studied intensively in the database community and they are an important means to reduce query cost when only the "best" or "most interesting" results are needed instead of the full output. While some optimality results exist, e.g., the famous Threshold Algorithm, they hold only in a fairly limited model of computation that does not account for the cost incurred by large intermediate results and hence is not aligned with typical database-optimizer cost models. On the other hand, the idea of avoiding large intermediate results is arguably the main goal of recent work on optimal join algorithms, which uses the standard RAM model of computation to determine algorithm complexity. This research has created a lot of excitement due to its promise of reducing the time complexity of join queries with cycles, but it has mostly focused on full-output computation. We argue that the two areas can and should be studied from a unified point of view in order to achieve optimality in the common model of computation for a very general class of top-k-style join queries. This tutorial has two main objectives. First, we will explore and contrast the main assumptions, concepts, and algorithmic achievements of the two research areas. Second, we will cover recent, as well as some older, approaches that emerged at the intersection to support efficient ranked enumeration of join-query results. These are related to classic work on k-shortest path algorithms and more general optimization problems, some of which dates back to the 1950s. We demonstrate that this line of research warrants renewed attention in the challenging context of ranked enumeration for general join queries.


title: On measure-preserving rank one transformations

abstract: Rank one transformations serve as a source of examples in ergodic theory, showing variety of algebraic, asymptotic and spectral properties of dynamical systems. The properties of a rank one transformation are closely related to the weak closure of its action. In this direction, known and new constructions of transformations and related problems are studied.


title: Computing the Testing Error without a Testing Set

abstract: Deep Neural Networks (DNNs) have revolutionized computer vision. We now have DNNs that achieve top (performance) results in many problems, including object recognition, facial expression analysis, and semantic segmentation, to name but a few. The design of the DNNs that achieve top results is, however, non-trivial and mostly done by trail-and-error. That is, typically, researchers will derive many DNN architectures (i.e., topologies) and then test them on multiple datasets. However, there are no guarantees that the selected DNN will perform well in the real world. One can use a testing set to estimate the performance gap between the training and testing sets, but avoiding overfitting-to-the-testing-data is almost impossible. Using a sequestered testing dataset may address this problem, but this requires a constant update of the dataset, a very expensive venture. Here, we derive an algorithm to estimate the performance gap between training and testing that does not require any testing dataset. Specifically, we derive a number of persistent topology measures that identify when a DNN is learning to generalize to unseen samples. This allows us to compute the DNN's testing error on unseen samples, even when we do not have access to them. We provide extensive experimental validation on multiple networks and datasets to demonstrate the feasibility of the proposed approach.


title: Three Exceptions to the Grossman-Nir Bound

abstract: We show that the Grossman-Nir (GN) bound, $\text{Br}(K_L\to \pi^0\nu \bar\nu)\leq 4.3 \, \text{Br}(K^+\to \pi^+\nu \bar\nu)$, can be violated in the presence of light new physics with flavor violating couplings. We construct three sample models in which the GN bound can be violated by orders of magnitude, while satisfying all other experimental bounds. In the three models the enhanced branching ratio $\text{Br}(K_L\to \pi^0+{\rm inv})$ is due to $K_L\to \pi^0\phi_1$, $K_L\to \pi^0\phi_1\phi_1$, $K_L\to \pi^0\psi_1\bar \psi_1$ transitions, respectively, where $\phi_1 (\psi_1)$ is a light scalar (fermion) that escapes the detector. In the three models $\text{Br}(K^+\to \pi^++{\rm inv})$ remains very close to the SM value, while $\text{Br}(K_L\to \pi^0+{\rm inv})$ can saturate the present KOTO bound. Besides invisible particles in the final state (which may account for dark matter) the models require additional light mediators around the GeV-scale.


title: Finding the Resistance Distance and Eigenvector Centrality from the Network's Eigenvalues

abstract: There are different measures to classify a network's data set that, depending on the problem, have different success. For example, the resistance distance and eigenvector centrality measures have been successful in revealing ecological pathways and differentiating between biomedical images of patients with Alzheimer's disease, respectively. The resistance distance measures the effective distance between any two nodes of a network taking into account all possible shortest paths between them and the eigenvector centrality measures the relative importance of each node in the network. However, both measures require knowing the network's eigenvalues and eigenvectors -- eigenvectors being the more computationally demanding task. Here, we show that we can closely approximate these two measures using only the eigenvalue spectra, where we illustrate this by experimenting on elemental resistor circuits and paradigmatic network models -- random and small-world networks. Our results are supported by analytical derivations, showing that the eigenvector centrality can be perfectly matched in all cases whilst the resistance distance can be closely approximated. Our underlying approach is based on the work by Denton, Parke, Tao, and Zhang [arXiv:1908.03795 (2019)], which is unrestricted to these topological measures and can be applied to most problems requiring the calculation of eigenvectors.


title: Comment on the characterization of local structure in an inhomogeneous liquid

abstract: The search for local structures within a disordered medium has led to proposals of several methods for probing transient short-range symmetry in a homogeneous mono-atomic liquid. We offer a comparison of different characterizations of such local structure in an in-homogeneous liquid. We simulate the interfaces between a Lennard-Jones liquid and (i) a flat Lennard-Jones wall, (ii) a wall of face-centered cubic-packed Lennard-Jones particles, and (iii) a Lennard-Jones vapor. The interface density distributions in cases (i) and (ii) have oscillations extending several particle diameters into the bulk liquid, while that in case (iii) the interface density distribution monotonically decays from the bulk liquid to the vapor. We search for transient ordered fluctuations, which we identify with local ordered structures, using the Aperture Cross Correlation Function of the system. We find that only particles in the FCC-liquid interface that are in the two layers closest to the FCC surface exhibit preferred four-fold symmetry. Furthermore, the absence of three- or five-fold symmetry peaks in the Aperture Cross Correlation Function of the liquid-vapor interface yields a different picture of that interface than derived from the high density of bi-pyramidal clusters found in the Topological Cluster Classification study (Molecular Physics, 109 (7-10), 1393-1402 (2011)). While the Aperture Cross Correlation Function results need not be viewed as contradictory with the Topological Cluster Classification results, we argue the advantages of using the former to characterize transient ordered fluctuations as being both experimentally accessible in favorable cases and not reliant on a list of structures.


title: Homotopy Lie Algebras of Gravity and their Braided Deformations

abstract: We describe the cyclic $L_{\infty}$-algebra formulation of classical general relativity without matter fields in the Einstein-Cartan-Palatini formalism. Using Drinfel'd twist deformation techniques, we define a noncommutative version of the theory with braided gauge symmetries. We introduce a notion of braided $L_{\infty}$-algebra, and use it to encode the symmetries, field content, field equations and Noether identities of noncommutative gravity.


title: Secure Deep Graph Generation with Link Differential Privacy

abstract: Many data mining and analytical tasks rely on the abstraction of networks (graphs) to summarize relational structures among individuals (nodes). Since relational data are often sensitive, we aim to seek effective approaches to generate utility-preserved yet privacy-protected structured data. In this paper, we leverage the differential privacy (DP) framework to formulate and enforce rigorous privacy constraints on deep graph generation models, with a focus on edge-DP to guarantee individual link privacy. In particular, we enforce edge-DP by injecting proper noise to the gradients of a link reconstruction-based graph generation model, while ensuring data utility by improving structure learning with structure-oriented graph discrimination. Extensive experiments on two real-world network datasets show that our proposed DPGGAN model is able to generate graphs with effectively preserved global structure and rigorously protected individual link privacy.


title: USR: An Unsupervised and Reference Free Evaluation Metric for Dialog Generation

abstract: The lack of meaningful automatic evaluation metrics for dialog has impeded open-domain dialog research. Standard language generation metrics have been shown to be ineffective for evaluating dialog models. To this end, this paper presents USR, an UnSupervised and Reference-free evaluation metric for dialog. USR is a reference-free metric that trains unsupervised models to measure several desirable qualities of dialog. USR is shown to strongly correlate with human judgment on both Topical-Chat (turn-level: 0.42, system-level: 1.0) and PersonaChat (turn-level: 0.48 and system-level: 1.0). USR additionally produces interpretable measures for several desirable properties of dialog.


title: Twisting finite-dimensional modules for the $q$-Onsager algebra $\mathcal O_q$ via the Lusztig automorphism

abstract: The $q$-Onsager algebra $\mathcal O_q$ is defined by two generators $A$, $A^*$ and two relations, called the $q$-Dolan/Grady relations. Recently P. Baseilhac and S. Kolb found an automorphism $L$ of $\mathcal O_q$, that fixes $A$ and sends $A^*$ to a linear combination of $A^*$, $A^2A^*$, $AA^*A$, $A^*A^2$. Let $V$ denote an irreducible $\mathcal O_q$-module of finite dimension at least two, on which each of $A$, $A^*$ is diagonalizable. It is known that $A$, $A^*$ act on $V$ as a tridiagonal pair of $q$-Racah type, giving access to four familiar elements $K$, $B$, $K^\downarrow$, $B^\downarrow$ in ${\rm End}(V)$ that are used to compare the eigenspace decompositions for $A$, $A^*$ on $V$. We display an invertible $H \in {\rm End}(V)$ such that $L(X)=H^{-1} X H$ on $V$ for all $X \in \mathcal O_q$. We describe what happens when one of $K$, $B$, $K^\downarrow$, $B^\downarrow$ is conjugated by $H$. For example $H^{-1}KH=a^{-1}A-a^{-2}K^{-1}$ where $a$ is a certain scalar that is used to describe the eigenvalues of $A$ on $V$. We use the conjugation results to compare the eigenspace decompositions for $A$, $A^*$, $L^{\pm 1}(A^*)$ on $V$. In this comparison we use the notion of an equitable triple; this is a 3-tuple of elements in ${\rm End}(V)$ such that any two satisfy a $q$-Weyl relation. Our comparison involves eight equitable triples. One of them is $a A - a^2 K$, $M^{-1}$, $K$ where $M= (a K-a^{-1} B)(a-a^{-1})^{-1}$. The map $M$ appears in earlier work of S. Bockting-Conrad concerning the double lowering operator $\psi$ of a tridiagonal pair.


title: Style Variation as a Vantage Point for Code-Switching

abstract: Code-Switching (CS) is a common phenomenon observed in several bilingual and multilingual communities, thereby attaining prevalence in digital and social media platforms. This increasing prominence demands the need to model CS languages for critical downstream tasks. A major problem in this domain is the dearth of annotated data and a substantial corpora to train large scale neural models. Generating vast amounts of quality text assists several down stream tasks that heavily rely on language modeling such as speech recognition, text-to-speech synthesis etc,. We present a novel vantage point of CS to be style variations between both the participating languages. Our approach does not need any external annotations such as lexical language ids. It mainly relies on easily obtainable monolingual corpora without any parallel alignment and a limited set of naturally CS sentences. We propose a two-stage generative adversarial training approach where the first stage generates competitive negative examples for CS and the second stage generates more realistic CS sentences. We present our experiments on the following pairs of languages: Spanish-English, Mandarin-English, Hindi-English and Arabic-French. We show that the trends in metrics for generated CS move closer to real CS data in each of the above language pairs through the dual stage training process. We believe this viewpoint of CS as style variations opens new perspectives for modeling various tasks in CS text.


title: Fast Neutrino Flavor Conversion at Late Time

abstract: We study the fully nonlinear fast flavor evolution of neutrinos in 1+1 dimensions. Our numerical analysis shows that at late time the system reaches an approximately steady state. Using the steady state approximation we analytically show that the spatial variation of the polarization vectors is given by their precession around a common axis, which itself has a motion reminiscent of a gyroscopic pendulum. We then show that the steady state solution to the equations of motion cannot be separated in position and velocity, that is the motion is not collective in the usual sense. However, the fast evolution allows spectral-swap-like dynamics leading to partial decoherence over a range of velocities, constrained by conservation of lepton number(s). Finally, we numerically show that at late time the transverse components of the polarization vectors become randomly oriented at different spatial locations for any velocity mode and lepton asymmetry.


title: Improving Broad-Coverage Medical Entity Linking with Semantic Type Prediction and Large-Scale Datasets

abstract: Medical entity linking is the task of identifying and standardizing medical concepts referred to in an unstructured text. Most of the existing methods adopt a three-step approach of (1) detecting mentions, (2) generating a list of candidate concepts, and finally (3) picking the best concept among them. In this paper, we probe into alleviating the problem of overgeneration of candidate concepts in the candidate generation module, the most under-studied component of medical entity linking. For this, we present MedType, a fully modular system that prunes out irrelevant candidate concepts based on the predicted semantic type of an entity mention. We incorporate MedType into five off-the-shelf toolkits for medical entity linking and demonstrate that it consistently improves entity linking performance across several benchmark datasets. To address the dearth of annotated training data for medical entity linking, we present WikiMed and PubMedDS, two large-scale medical entity linking datasets, and demonstrate that pre-training MedType on these datasets further improves entity linking performance. We make our source code and datasets publicly available for medical entity linking research.


title: Epitaxial engineering of flat silver fluorides cuprate analogs

abstract: As-grown AgF2 has a remarkably similar electronic structure as insulating cuprates, but it is extremely electronegative, which makes it hard to handle and dope. Furthermore, buckling of layers reduces magnetic interactions and enhances unwanted self-trapping lattice effects. We argue that epitaxial engineering can solve all these problems. By using a high throughput approach and first principle computations, we find a set of candidate substrates which can sustain the chemical aggressiveness of AgF2 and at the same time have good lattice parameter matching for heteroepitaxy, enhancing AgF2 magnetic and transport properties and opening the possibility of field-effect carrier injection to achieve a new generation of high-Tc superconductors. Assuming a magnetic mechanism and extrapolating from cuprates we predict that the superconducting critical temperature of a single layer can reach 195 K.


title: A superconducting switch actuated by injection of high energy electrons

abstract: Fast cryogenic switches with ultra-low power dissipation are highly sought-after for control electronics of quantum computers, space applications and next generation logic circuits. However, existing high-frequency switches are often bulky, lossy or require large source-drain and gate currents for operation, making them unsuitable for many applications and difficult to interface to semiconducting devices. Here we present an electrically controlled superconducting switch based on a metallic nanowire. Transition from superconducting to resistive state is realized by tunneling of high-energy electrons from a gate contact through an insulating barrier. Operating gate currents are several orders of magnitude smaller than the nanowire critical source-drain current, effectively resulting in a voltage-controlled device. This superconducting switch is fast, self-resets from normal to superconducting state, and can operate in large magnetic fields, making it an ideal component for low-power cryogenic applications and quantum computing architectures.


title: HLVU : A New Challenge to Test Deep Understanding of Movies the Way Humans do

abstract: In this paper we propose a new evaluation challenge and direction in the area of High-level Video Understanding. The challenge we are proposing is designed to test automatic video analysis and understanding, and how accurately systems can comprehend a movie in terms of actors, entities, events and their relationship to each other. A pilot High-Level Video Understanding (HLVU) dataset of open source movies were collected for human assessors to build a knowledge graph representing each of them. A set of queries will be derived from the knowledge graph to test systems on retrieving relationships among actors, as well as reasoning and retrieving non-visual concepts. The objective is to benchmark if a computer system can "understand" non-explicit but obvious relationships the same way humans do when they watch the same movies. This is long-standing problem that is being addressed in the text domain and this project moves similar research to the video domain. Work of this nature is foundational to future video analytics and video understanding technologies. This work can be of interest to streaming services and broadcasters hoping to provide more intuitive ways for their customers to interact with and consume video content.


title: Non-Hermitian and Zeno limit of quantum systems under rapid measurements

abstract: We investigate in depth the relation between the first detection time of an isolated quantum system that is repeatedly perturbed by strong local measurements with a large fixed frequency $1/\tau$, determining whether it is in some given state $| \psi_\text{d} \rangle$, and the time of absorption to the same state of the same system with the added imaginary potential $2i\hbar | \psi_\text{d} \rangle \langle \psi_\text{d} | / \tau$. As opposed to previous works, we compare directly the solutions of both problems in the small $\tau$, i.e., Zeno, limit. We find a scaling collapse in $F(t)$ with respect to $\tau$ and compute the total detection probability as well as the moments of the first detection time probability density $F(t)$ in the Zeno limit. We show that both solutions approach the same result in this small $\tau$ limit, as long as the initial state $| \psi_\text{in} \rangle$ is not parallel to the detection state, i.e. as long as $| \langle \psi_\text{d} | \psi_\text{in} \rangle | < 1$. However, when this condition is violated, the small probability density to detect the state on time scales much larger than $\tau$ is precisely a factor of four different for all such times. We express the solution of the Zeno limit of both problems formally in terms of an electrostatic analogy. Our results are corroborated with numerical simulations.


title: Eliciting User Preferences for Personalized Explanations for Video Summaries

abstract: Video summaries or highlights are a compelling alternative for exploring and contextualizing unprecedented amounts of video material. However, the summarization process is commonly automatic, non-transparent and potentially biased towards particular aspects depicted in the original video. Therefore, our aim is to help users like archivists or collection managers to quickly understand which summaries are the most representative for an original video. In this paper, we present empirical results on the utility of different types of visual explanations to achieve transparency for end users on how representative video summaries are, with respect to the original video. We consider four types of video summary explanations, which use in different ways the concepts extracted from the original video subtitles and the video stream, and their prominence. The explanations are generated to meet target user preferences and express different dimensions of transparency: concept prominence, semantic coverage, distance and quantity of coverage. In two user studies we evaluate the utility of the visual explanations for achieving transparency for end users. Our results show that explanations representing all of the dimensions have the highest utility for transparency, and consequently, for understanding the representativeness of video summaries.


title: Thresholded Adaptive Validation: Tuning the Graphical Lasso for Graph Recovery

abstract: Many Machine Learning algorithms are formulated as regularized optimization problems, but their performance hinges on a regularization parameter that needs to be calibrated to each application at hand. In this paper, we propose a general calibration scheme for regularized optimization problems and apply it to the graphical lasso, which is a method for Gaussian graphical modeling. The scheme is equipped with theoretical guarantees and motivates a thresholding pipeline that can improve graph recovery. Moreover, requiring at most one line search over the regularization path, the calibration scheme is computationally more efficient than competing schemes that are based on resampling. Finally, we show in simulations that our approach can improve on the graph recovery of other approaches considerably.


title: Groups that have a Partition by Commuting Subsets

abstract: Let $G$ be a nonabelian group. We say that $G$ has an abelian partition, if there exists a partition of $G$ into commuting subsets $A_1, A_2, \ldots, A_n$ of $G$, such that $|A_i|\geqslant 2$ for each $i=1, 2, \ldots, n$. This paper investigates problems relating to group with abelian partitions. Among other results, we show that every finite group is isomorphic to a subgroup of a group with an abelian partition and also isomorphic to a subgroup of a group with no abelian partition. We also find bounds for the minimum number of partitions for several families of groups which admit abelian partitions -- with exact calculations in some cases. Finally, we examine how the size of partitions with the minimum number of parts behaves with respect to the direct product.


title: Automatic Discourse Segmentation: Review and Perspectives

abstract: Multilingual discourse parsing is a very prominent research topic. The first stage for discourse parsing is discourse segmentation. The study reported in this article addresses a review of two on-line available discourse segmenters (for English and Portuguese). We evaluate the possibility of developing similar discourse segmenters for Spanish, French and African languages.


title: Manifold learning for brain connectivity

abstract: Human brain connectome studies aim at extracting and analyzing relevant features associated to pathologies of interest. Usually this consists in modeling the brain connectome as a graph and in using graph metrics as features. A fine brain description requires graph metrics computation at the node level. Given the relatively reduced number of patients in standard cohorts, such data analysis problems fall in the high-dimension low sample size framework. In this context, our goal is to provide a machine learning technique that exhibits flexibility, gives the investigator grip on the features and covariates, allows visualization and exploration, and yields insight into the data and the biological phenomena at stake. The retained approach is dimension reduction in a manifold learning methodology, the originality lying in that one (or several) reduced variables be chosen by the investigator. The proposed method is illustrated on two studies, the first one addressing comatose patients, the second one addressing young versus elderly population comparison. The method sheds light on the graph metrics and underlying neurobiological phenomena.


title: Collective modes and gapped momentum states in liquid Ga: experiment, theory and simulation

abstract: Collective excitations in liquids are important for understanding liquid dynamical and thermodynamic properties. Gapped momentum states (GMS) are a notable feature of liquid dynamics predicted to operate in the transverse sector of collective excitations. Here, we combine inelastic neutron scattering experiments, theory and molecular dynamics modelling to study collective excitations and GMS in liquid Ga in a wide range of temperature and $k$-points. We find that all three lines of enquiry agree for the longitudinal sector of liquid dynamics. In the transverse sector, the experiments agree with theory, modelling as well as earlier X-ray experiments at larger $k$, whereas theory and modelling agree in a wide range of temperature and $k$-points. We observe the emergence and development of the $k$-gap in the transverse sector which increases with temperature and inverse of relaxation time as predicted theoretically.


title: Computable randomness is about more than probabilities

abstract: We introduce a notion of computable randomness for infinite sequences that generalises the classical version in two important ways. First, our definition of computable randomness is associated with imprecise probability models, in the sense that we consider lower expectations (or sets of probabilities) instead of classical 'precise' probabilities. Secondly, instead of binary sequences, we consider sequences whose elements take values in some finite sample space. Interestingly, we find that every sequence is computably random with respect to at least one lower expectation, and that lower expectations that are more informative have fewer computably random sequences. This leads to the intriguing question whether every sequence is computably random with respect to a unique most informative lower expectation. We study this question in some detail and provide a partial answer.


title: An Efficient Normalisation Procedure for Linear Temporal Logic and Very Weak Alternating Automata

abstract: In the mid 80s, Lichtenstein, Pnueli, and Zuck proved a classical theorem stating that every formula of Past LTL (the extension of LTL with past operators) is equivalent to a formula of the form $\bigwedge_{i=1}^n \mathbf{G}\mathbf{F} \varphi_i \vee \mathbf{F}\mathbf{G} \psi_i$, where $\varphi_i$ and $\psi_i$ contain only past operators. Some years later, Chang, Manna, and Pnueli built on this result to derive a similar normal form for LTL. Both normalisation procedures have a non-elementary worst-case blow-up, and follow an involved path from formulas to counter-free automata to star-free regular expressions and back to formulas. We improve on both points. We present a direct and purely syntactic normalisation procedure for LTL yielding a normal form, comparable to the one by Chang, Manna, and Pnueli, that has only a single exponential blow-up. As an application, we derive a simple algorithm to translate LTL into deterministic Rabin automata. The algorithm normalises the formula, translates it into a special very weak alternating automaton, and applies a simple determinisation procedure, valid only for these special automata.


title: Region-Based Self-Triggered Control for Perturbed and Uncertain Nonlinear Systems

abstract: In this work, we derive a region-based self-triggered control (STC) scheme for nonlinear systems with bounded disturbances and model uncertainties. The proposed STC scheme is able to guarantee different performance specifications (e.g. stability, boundedness, etc.), depending on the event-triggered control (ETC) triggering function that is chosen to be emulated. To deal with disturbances and uncertainties, we employ differential inclusions (DIs). By introducing ETC/STC notions in the context of DIs, we extend well-known results on ETC/STC to perturbed uncertain systems. Given these results, and adapting tools from our previous work, we derive inner-approximations of isochronous manifolds of perturbed uncertain ETC systems. These approximations dictate a partition of the state-space into regions, each of which is associated to a uniform inter-sampling time. At each sampling time instant, the controller checks to which region the measured state belongs and correspondingly decides the next sampling instant.


title: Complete Density Calculations of q-State Potts and Clock Models: Reentrance of Interface Densities under Symmetry Breaking

abstract: All local bond-state densities are calculated for q-state Potts and clock models in three spatial dimensions, d=3. The calculations are done by an exact renormalization group on a hierarchical lattice, including the density recursion relations, and simultaneously are the Migdal-Kadanoff approximation for the cubic lattice. Reentrant behavior is found in the interface densities under symmetry breaking, in the sense that upon lowering temperature the value of the density first increases, then decreases to its zero value at zero temperature. For this behavior, a physical mechanism is proposed. A contrast between the phase transition of the two models is found, and explained by alignment and entropy, as the number of states q goes to infinity. For the clock models, the renormalization-group flows of up to twenty energies are used.


title: Early Outbreak Detection for Proactive Crisis Management Using Twitter Data: COVID-19 a Case Study in the US

abstract: During a disease outbreak, timely non-medical interventions are critical in preventing the disease from growing into an epidemic and ultimately a pandemic. However, taking quick measures requires the capability to detect the early warning signs of the outbreak. This work collects Twitter posts surrounding the 2020 COVID-19 pandemic expressing the most common symptoms of COVID-19 including cough and fever, geolocated to the United States. Through examining the variation in Twitter activities at the state level, we observed a temporal lag between the rises in the number of symptom reporting tweets and officially reported positive cases which varies between 5 to 19 days.


title: Galaxy Merger Rates up to z $\sim$ 3 using a Bayesian Deep Learning Model $-$ A Major-Merger classifier using IllustrisTNG Simulation data

abstract: Merging is potentially the dominate process in galaxy formation, yet there is still debate about its history over cosmic time. To address this we classify major mergers and measure galaxy merger rates up to z $\sim$ 3 in all five CANDELS fields (UDS, EGS, GOODS-S, GOODS-N, COSMOS) using deep learning convolutional neural networks (CNNs) trained with simulated galaxies from the IllustrisTNG cosmological simulation. The deep learning architecture used is objectively selected by a Bayesian Optmization process over the range of possible hyperparameters. We show that our model can achieve 90% accuracy when classifying mergers from the simulation, and has the additional feature of separating mergers before the infall of stellar masses from post mergers. We compare our machine learning classifications on CANDELS galaxies and compare with visual merger classifications from Kartaltepe et al. (2015), and show that they are broadly consistent. We finish by demonstrating that our model is capable of measuring galaxy merger rates, $\mathcal{R}$, that are consistent with results found for CANDELS galaxies using close pairs statistics, with $\mathcal{R}(z) = 0.02 \pm 0.004 \times (1 +z) ^ {2.76 \pm 0.21}$. This is the first general agreement between major mergers measured using pairs and structure at z < 3.


title: Remarkable properties of the $\text{sinc}_{p, q}$ functions and related integrals

abstract: Different types of sinc integrals are investigated when the standard sine function is replaced by the generalised $\sin_{p,q}$ in two parameters. A striking generalisation of the improper Dirichlet integral is achieved. A second surprising but interesting generalisation of the identity between the Dirichlet integral and that of the integrand $\text{sinc}^2$ is discovered. Moreover, an asymptotically sharpened form of Ball's integral inequality is obtained in terms of two parameters.


title: DriveML: An R Package for Driverless Machine Learning

abstract: In recent years, the concept of automated machine learning has become very popular. Automated Machine Learning (AutoML) mainly refers to the automated methods for model selection and hyper-parameter optimization of various algorithms such as random forests, gradient boosting, neural networks, etc. In this paper, we introduce a new package i.e. DriveML for automated machine learning. DriveML helps in implementing some of the pillars of an automated machine learning pipeline such as automated data preparation, feature engineering, model building and model explanation by running the function instead of writing lengthy R codes. The DriveML package is available in CRAN. We compare the DriveML package with other relevant packages in CRAN/Github and find that DriveML performs the best across different parameters. We also provide an illustration by applying the DriveML package with default configuration on a real world dataset. Overall, the main benefits of DriveML are in development time savings, reduce developer's errors, optimal tuning of machine learning models and reproducibility.


title: Weak charge and weak radius of ${}^{12}$C

abstract: We present a feasibility study of a simultaneous sub-percent extraction of the weak charge and the weak radius of the ${}^{12}$C nucleus using parity-violating electron scattering, based on a largely model-independent assessment of the uncertainties. The corresponding measurement is considered to be carried out at the future MESA facility in Mainz with $E_{\rm beam} = 155$ MeV. We find that a combination of a $0.3\%$ precise measurement of the parity-violating asymmetry at forward angles with a $10\%$ measurement at backward angles will allow to determine the weak charge and the weak radius of ${}^{12}$C with $0.4\%$ and $0.5\%$ precision, respectively. These values could be improved to $0.3\%$ and $0.2\%$ for a $3\%$ backward measurement. This experimental program will have impact on precision low-energy tests in the electroweak sector and nuclear structure.


title: Regex Queries over Incomplete Knowledge Bases

abstract: We propose the novel task of answering regular expression queries (containing disjunction ($\vee$) and Kleene plus ($+$) operators) over incomplete KBs. The answer set of these queries potentially has a large number of entities, hence previous works for single-hop queries in KBC that model a query as a point in high-dimensional space are not as effective. In response, we develop RotatE-Box -- a novel combination of RotatE and box embeddings. It can model more relational inference patterns compared to existing embedding based models. Furthermore, we define baseline approaches for embedding based KBC models to handle regex operators. We demonstrate performance of RotatE-Box on two new regex-query datasets introduced in this paper, including one where the queries are harvested based on actual user query logs. We find that our final RotatE-Box model significantly outperforms models based on just RotatE and just box embeddings.


title: ASSET: A Dataset for Tuning and Evaluation of Sentence Simplification Models with Multiple Rewriting Transformations

abstract: In order to simplify a sentence, human editors perform multiple rewriting transformations: they split it into several shorter sentences, paraphrase words (i.e. replacing complex words or phrases by simpler synonyms), reorder components, and/or delete information deemed unnecessary. Despite these varied range of possible text alterations, current models for automatic sentence simplification are evaluated using datasets that are focused on a single transformation, such as lexical paraphrasing or splitting. This makes it impossible to understand the ability of simplification models in more realistic settings. To alleviate this limitation, this paper introduces ASSET, a new dataset for assessing sentence simplification in English. ASSET is a crowdsourced multi-reference corpus where each simplification was produced by executing several rewriting transformations. Through quantitative and qualitative experiments, we show that simplifications in ASSET are better at capturing characteristics of simplicity when compared to other standard evaluation datasets for the task. Furthermore, we motivate the need for developing better methods for automatic evaluation using ASSET, since we show that current popular metrics may not be suitable when multiple simplification transformations are performed.


title: Inferring the maximum and minimum mass of merging neutron stars with gravitational waves

abstract: We show that the maximum and the minimum mass of merging neutron stars can be estimated with upcoming gravitational wave observations. We simulate populations of binary neutron star signals and model their mass distribution including upper and lower cutoffs. The lower(upper) limit can be measured to $\sim 0.2(0.1)\text{M}_{\odot}$ with $50$ detections if the mass distribution supports neutron stars with masses close to the cutoffs. The upper mass limit informs about the high density properties of the neutron star equation of state, while the lower limit signals the divide between neutron stars and white dwarfs.


title: Constraining the tidal charge of brane black holes using their shadows

abstract: A constraint on the tidal charge generated within a brane world is shown. Using the shadow of a rotating black hole in a brane context in order to describe the M87* parameters recently announced by the Event Horizon Telescope Collaboration, the deviation from circularity of the reported shadow produces an upper bound on the bulk's nonlocal effect, which is conceived of as a tidal charge in the four-dimensional brane induced by the five-dimensional bulk. Therefore, a deviation from circularity $\lesssim 10\%$ leads to an upper bound on the tidal charge $\lesssim 0.004M^2$.


title: Analysis of Auto Zeroing Amplifier

abstract: This paper presents a new auto zeroing technique that combines very high-speed operation, low power consumption, and low input switching interferences. This technique has been applied to the design of CMOS flash Analog-to-Digital converter for Ultra-Wide Band applications. This project is dealt with the design of an auto zeroing amplifier with three stages. It has to be operating on 1.2 power supply voltage and the input voltage is limited to 400 mv in 130 nm CMOS technology. The CMOS auto zeroing amplifier stages are simulated in the Advanced Design System (ADS) Tool.


title: Getting Insights from a Large Corpus of Scientific Papers on Specialisted Comprehensive Topics -- the Case of COVID-19

abstract: COVID-19 is one of the most important topic these days, specifically on search engines and news. While fake news are easily shared, scientific papers are reliable sources where information can be extracted. With about 24,000 scientific publications on COVID-19 and related research on PUBMED, automatic computer-assisted analysis is required. In this paper, we develop two methodologies to get insights on specific sub-topics of interest and latest research sub-topics. They rely on natural language processing and graph-based visualizations. We run these methodologies on two cases: the virus origin and the uses of existing drugs.


title: The support of dually epi-translation invariant valuations on convex functions

abstract: We study dually epi-translation invariant valuations on cones of convex functions containing the space of finite-valued convex functions. The existence of a homogeneous decomposition is used to associate a distribution to every valuation of this type similar to the Goodey-Weil embedding for translation invariant valuations on convex bodies. The relation between the valuation and its associated distribution is used to establish a notion of support for valuations. As an application, we show that there are no $\mathrm{SL}(n)$ or translation invariant valuations except constant valuations in this class and we discuss which valuations on finite-valued convex functions can be extended to larger cones. In addition, we examine some topological properties of spaces of valuations with compact support.


title: Time-Spatial Serials Differences' Probability Distribution of Natural Dynamical Systems

abstract: The normal distribution is used as a unified probability distribution, however, our researcher found that it is not good agreed with the real-life dynamical system's data. We collected and analyzed representative naturally occurring data series (e.g., the earth environment, sunspots, brain waves, electrocardiograms, some cases are classic chaos systems and social activities). It is found that the probability density functions (PDFs) of first or higher order differences for these datasets are consistently fat-tailed bell-shaped curves, and their associated cumulative distribution functions (CDFs) are consistently S-shaped when compared to the near-straight line of the normal distribution CDF. It is proved that this profile is not because of numerical or measure error, and the t-distribution is a good approximation. This kind of PDF/CDF is a universal phenomenon for independent time and space series data, which will make researchers to reconsider some hypotheses about stochastic dynamical models such as Wiener process, and therefore merits investigation.


title: Removal of $^{210}$Pb by Etch of Crystalline Detector Sidewalls

abstract: A potential source of dominant backgrounds for many rare-event searches or screening detectors is from radon daughters, specifically $^{210}$Pb, deposited on detector surfaces, often during detector fabrication. Performing a late-stage etch is challenging because it may damage the detector. This paper describes a late-stage etching technique that reduces surface $^{210}$Pb and $^{210}$Po by $>99\times$ at 90% C.L.


title: Real Paley-Wiener Theorem for the Generalized Weinstein transform in quantum calculus

abstract: We first characterize the image of the compactly supported smooth even functions under the q-Weinstein transform as a subspace of the Schwartz space. We then describe the space of smooth $L_{\alpha, q, a}^{2}$-functions whose q-Weinstein transform has compact support as a subspace of the space of $L_{\alpha, q, a}^{2}$-functions.


title: Revisiting supernova constraints on a light CP-even scalar

abstract: A light CP-even Standard Model (SM) gauge-singlet scalar $S$ can be produced abundantly in the supernova core, via the nucleon bremsstrahlung process $N N \to N N S$, due to its mixing with the SM Higgs boson. Including the effective $S$ coupling to both nucleons and the pion mediators, we evaluate the production amplitude for the $S$ particle and point out a key difference with the well-known light CP-odd scalar (axion) and vector boson (dark photon) cases. Taking the subsequent decay and re-absorption of $S$ into account, we present a complete calculation of the energy loss rate for the $S$ particle. We then use the SN1987A luminosity constraints to derive updated supernova limits on the mixing of the scalar $S$ with the SM Higgs boson. We find that the mixing angle $\sin\theta$ with the SM Higgs is excluded only in the narrow range of $3.9 \times 10^{-7}$ to $7.0 \times 10^{-6}$, depending on the scalar mass up to about 147 MeV, beyond which the supernova limit disappears.

categories: hep-ph astro-ph.CO astro-ph.HE astro-ph.SR


title: Heterogeneous contact networks in COVID-19 spreading: the role of social deprivation

abstract: We have two main aims in this paper. First we use theories of disease spreading on networks to look at the COVID-19 epidemic on the basis of individual contacts -- these give rise to predictions which are often rather different from the homogeneous mixing approaches usually used. Our second aim is to look at the role of social deprivation, again using networks as our basis, in the spread of this epidemic. We choose the city of Kolkata as a case study, but assert that the insights so obtained are applicable to a wide variety of urban environments which are densely populated and where social inequalities are rampant. Our predictions of hotspots are found to be in good agreement with those currently being identifed empirically as containment zones and provide a useful guide for identifying potential areas of concern.


title: Approximate quantum fractional revival in paths and cycles

abstract: We initiate the study of approximate quantum fractional revival in graphs, a generalization of pretty good quantum state transfer in graphs. We give a complete characterization of approximate fractional revival in a graph in terms of the eigenvalues and eigenvectors of the adjacency matrix of a graph. This characterization follows from a lemma due to Kronecker on Diophantine approximation, and is similar to the spectral characterization of pretty good state transfer in graphs. Using this, we give a complete characterizations of when approximate fractional revival can occur in paths and in cycles.


title: Tunable Ferromagnetism and Thermally Induced Spin Flip in Vanadium-doped Tungsten Diselenide Monolayers at Room Temperature

abstract: The outstanding optoelectronic and valleytronic properties of transition metal dichalcogenides (TMDs) have triggered intense research efforts by the scientific community. An alternative to induce long-range ferromagnetism (FM) in TMDs is by introducing magnetic dopants to form a dilute magnetic semiconductor. Enhancing ferromagnetism in these semiconductors not only represents a key step towards modern TMD-based spintronics, but also enables exploration of new and exciting dimensionality-driven magnetic phenomena. To this end, we show tunable ferromagnetism at room temperature and a thermally induced spin flip (TISF) in monolayers of V-doped WSe2. As vanadium concentrations increase within the WSe2 monolayers the saturation magnetization increases, and it is optimal at ~4at.% vanadium; the highest doping/alloying level ever achieved for V-doped WSe2 monolayers. The TISF occurs at ~175 K and becomes more pronounced upon increasing the temperature towards room temperature. We demonstrate that TISF can be manipulated by changing the vanadium concentration within the WSe2 monolayers. We attribute TISF to the magnetic field and temperature dependent flipping of the nearest W-site magnetic moments that are antiferromagnetically coupled to the V magnetic moments in the ground state. This is fully supported by a recent spin-polarized density functional theory calculation. Our findings pave the way for the development of novel spintronic and valleytronic nanodevices based on atomically thin magnetic semiconductors and stimulate further studies in this rapidly expanding research field of 2D magnetism.


title: HOMFLYPT Skein Theory, String Topology and 2-Categories

abstract: We show that relations in Homflypt type skein theory of an oriented $3$-manifold $M$ are induced from a $2$-groupoid defined from the fundamental $2$-groupoid of a space of singular links in $M$. The module relations are defined by homomorphisms related to string topology. They appear from a representation of the groupoid into free modules on a set of model objects. The construction on the fundamental $2$-groupoid is defined by the singularity stratification and relates Vassiliev and skein theory. Several explicit properties are discussed, and some implications for skein modules are derived.


title: Inferring the effective fraction of the population infected with Covid-19 from the behaviour of Lombardy, Madrid and London relative to the remainder of Italy, Spain and England

abstract: I use a very simple deterministic model for the spread of Covid-19 in a large population. Using this to compare the relative decay of the number of deaths per day between different regions in Italy, Spain and England, each applying in principle the same social distancing procedures across the whole country, I obtain an estimate of the total fraction of the population which had already become infected by April 10th. In the most heavily affected regions, Lombardy, Madrid and London, this fraction is higher than expected, i.e. $\approx 0.3$. This result can then be converted to a determination of the infection fatality rate $ifr$, which appears to be $ifr \approx 0.0025-0.005$, and even smaller in London, somewhat lower than usually assumed. Alternatively, the result can also be interpreted as an effectively larger fraction of the population than simple counting would suggest if there is a variation in susceptibility to infection with a variance of up to a value of about 2. The implications are very similar for either interpretation or for a combination of effects.


title: Structured Tuning for Semantic Role Labeling

abstract: Recent neural network-driven semantic role labeling (SRL) systems have shown impressive improvements in F1 scores. These improvements are due to expressive input representations, which, at least at the surface, are orthogonal to knowledge-rich constrained decoding mechanisms that helped linear SRL models. Introducing the benefits of structure to inform neural models presents a methodological challenge. In this paper, we present a structured tuning framework to improve models using softened constraints only at training time. Our framework leverages the expressiveness of neural networks and provides supervision with structured loss components. We start with a strong baseline (RoBERTa) to validate the impact of our approach, and show that our framework outperforms the baseline by learning to comply with declarative constraints. Additionally, our experiments with smaller training sizes show that we can achieve consistent improvements under low-resource scenarios.


title: The Grammar of Interactive Explanatory Model Analysis

abstract: The growing need for in-depth analysis of predictive models leads to a series of new methods for explaining their local and global properties. Which of these methods is the best? It turns out that this is an ill-posed question. One cannot sufficiently explain a black-box machine learning model using a single method that gives only one perspective. Isolated explanations are prone to misunderstanding, leading to wrong or simplistic reasoning. This problem is known as the Rashomon effect and refers to diverse, even contradictory, interpretations of the same phenomenon. Surprisingly, most methods developed for explainable and responsible machine learning focus on a single-aspect of the model behavior. In contrast, we showcase the problem of explainability as an interactive and sequential analysis of a model. This paper proposes how different Explanatory Model Analysis (EMA) methods complement each other and discusses why it is essential to juxtapose them. The introduced process of Interactive EMA (IEMA) derives from the algorithmic side of explainable machine learning and aims to embrace ideas developed in cognitive sciences. We formalize the grammar of IEMA to describe potential human-model dialogues. It is implemented in a widely used human-centered open-source software framework that adopts interactivity, customizability and automation as its main traits. We conduct a user study to evaluate the usefulness of IEMA, which indicates that an interactive sequential analysis of a model increases the performance and confidence of human decision making.


title: Self-reinforcing directionality generates L\'evy walks without the power-law assumption

abstract: We introduce a persistent random walk model with finite velocity and self-reinforcing directionality, which explains how exponentially distributed runs self-organize into truncated L\'evy walks observed in active intracellular transport by Chen et. al. [\textit{Nat. mat.}, 2015]. We derive the non-homogeneous in space and time, hyperbolic PDE for the probability density function (PDF) of particle position. This PDF exhibits a bimodal density (aggregation phenomena) in the superdiffusive regime, which is not observed in classical linear hyperbolic and L\'evy walk models. We find the exact solutions for the first and second moments and criteria for the transition to superdiffusion.


title: An Efficient Integration of Disentangled Attended Expression and Identity FeaturesFor Facial Expression Transfer andSynthesis

abstract: In this paper, we present an Attention-based Identity Preserving Generative Adversarial Network (AIP-GAN) to overcome the identity leakage problem from a source image to a generated face image, an issue that is encountered in a cross-subject facial expression transfer and synthesis process. Our key insight is that the identity preserving network should be able to disentangle and compose shape, appearance, and expression information for efficient facial expression transfer and synthesis. Specifically, the expression encoder of our AIP-GAN disentangles the expression information from the input source image by predicting its facial landmarks using our supervised spatial and channel-wise attention module. Similarly, the disentangled expression-agnostic identity features are extracted from the input target image by inferring its combined intrinsic-shape and appearance image employing our self-supervised spatial and channel-wise attention mod-ule. To leverage the expression and identity information encoded by the intermediate layers of both of our encoders, we combine these features with the features learned by the intermediate layers of our decoder using a cross-encoder bilinear pooling operation. Experimental results show the promising performance of our AIP-GAN based technique.


title: Magnetic catalysis and the chiral condensate in holographic QCD

abstract: We investigate the effect of a non-zero magnetic field on the chiral condensate using a holographic QCD approach. We extend the model proposed by Iatrakis, Kiritsis and Paredes in arXiv:1010.1364 that realises chiral symmetry breaking dynamically from 5d tachyon condensation. We calculate the chiral condensate, magnetisation and susceptibilities for the confined and deconfined phases. The model leads, in the probe approximation, to magnetic catalysis of chiral symmetry breaking in both confined and deconfined phases. In the chiral limit, $m_q=0$, we find that in the deconfined phase a sufficiently strong magnetic field leads to a second order phase transition from the chirally restored phase to a chirally broken phase. The transition becomes a crossover as the quark mass increases. Due to a scaling in the temperature, the chiral transition will also be interpreted as a transition in the temperature for fixed magnetic field. We elaborate on the relationship between the chiral condensate, magnetisation and the (magnetic) free energy density. We compare our results at low and moderate temperatures temperatures with lattice QCD results.


title: Multivariate Log-Skewed Distributions with normal kernel and their Applications

abstract: We introduce two classes of multivariate log skewed distributions with normal kernel: the log canonical fundamental skew-normal (log-CFUSN) and the log unified skew-normal (log-SUN). We also discuss some properties of the log-CFUSN family of distributions. These new classes of log-skewed distributions include the log-normal and multivariate log-skew normal families as particular cases. We discuss some issues related to Bayesian inference in the log-CFUSN family of distributions, mainly we focus on how to model the prior uncertainty about the skewing parameter. Based on the stochastic representation of the log-CFUSN family, we propose a data augmentation strategy for sampling from the posterior distributions. This proposed family is used to analyze the US national monthly precipitation data. We conclude that a high dimensional skewing function lead to a better model fit.


title: Partially-Typed NER Datasets Integration: Connecting Practice to Theory

abstract: While typical named entity recognition (NER) models require the training set to be annotated with all target types, each available datasets may only cover a part of them. Instead of relying on fully-typed NER datasets, many efforts have been made to leverage multiple partially-typed ones for training and allow the resulting model to cover a full type set. However, there is neither guarantee on the quality of integrated datasets, nor guidance on the design of training algorithms. Here, we conduct a systematic analysis and comparison between partially-typed NER datasets and fully-typed ones, in both theoretical and empirical manner. Firstly, we derive a bound to establish that models trained with partially-typed annotations can reach a similar performance with the ones trained with fully-typed annotations, which also provides guidance on the algorithm design. Moreover, we conduct controlled experiments, which shows partially-typed datasets leads to similar performance with the model trained with the same amount of fully-typed annotations


title: Electroweak-Symmetric Dark Monopoles from Preheating

abstract: If the dark sector contains 't Hooft-Polyakov monopoles and a small enough dark gauge coupling, dark monopoles could be a macroscopic dark matter candidate. Its Higgs-portal coupling to the Standard Model can modify the electroweak vacuum in the monopole interior. In the most striking cases, dark monopoles could even contain electroweak-symmetric cores and generate multi-hit signals at large-volume detectors. If they are produced via parametric resonance in the early Universe, monopoles with radii up to one micron and masses up to ten kilotonnes could account for all of dark matter.


title: Uniform Welfare Guarantees Under Identical Subadditive Valuations

abstract: We study the problem of allocating indivisible goods among agents that have an identical subadditive valuation over the goods. The extent of fairness and efficiency of allocations is measured by the generalized means of the values that the allocations generate among the agents. Parameterized by an exponent term $p$, generalized-mean welfares encompass multiple well-studied objectives, such as social welfare, Nash social welfare, and egalitarian welfare. We establish that, under identical subadditive valuations and in the demand oracle model, one can efficiently find a single allocation that approximates the optimal generalized-mean welfare---to within a factor of $40$---uniformly for all $p \in (-\infty, 1]$. Hence, by way of a constant-factor approximation algorithm, we obtain novel results for maximizing Nash social welfare and egalitarian welfare for identical subadditive valuations.


title: Properties and characteristics of the WFIRST H4RG-10 detectors

abstract: The Wide-Field Infrared Survey Telescope (WFIRST) will answer fundamental questions about the evolution of dark energy over time and expand the catalog of known exoplanets into new regions of parameter space. Using a Hubble-sized mirror and 18 newly developed HgCdTe 4K x 4K photodiode arrays (H4RG-10), WFIRST will measure the positions and shapes of hundreds of millions of galaxies, the light curves of thousands of supernovae, and the microlensing signals of over a thousand exoplanets toward the bulge of the Galaxy. These measurements require unprecedented sensitivity and characterization of the Wide Field Instrument (WFI), particularly its detectors. The WFIRST project undertook an extensive detector development program to create focal plane arrays that meet these science requirements. These prototype detectors have been characterized and their performance demonstrated in a relevant space-like environment (thermal vacuum, vibration, acoustic, and radiation testing), advancing the H4RG-10's technology readiness level (TRL) to TRL-6. We present the performance characteristics of these TRL-6 demonstration devices.


title: Recovery of Behaviors Encoded via Bilateral Constraints

abstract: If robots are ever to achieve autonomous motion comparable to that exhibited by animals, they must acquire the ability to quickly recover motor behaviors when damage, malfunction, or environmental conditions compromise their ability to move effectively. We present an approach which allowed our robots and simulated robots to recover high-degree of freedom motor behaviors within a few dozen attempts. Our approach employs a behavior specification expressing the desired behaviors in terms as rank ordered differential constraints. We show how factoring these constraints through an encoding template produces a recipe for generalizing a previously optimized behavior to new circumstances in a form amenable to rapid learning. We further illustrate that adequate constraints are generically easy to determine in data-driven contexts. As illustration, we demonstrate our recovery approach on a physical 7 DOF hexapod robot, as well as a simulation of a 6 DOF 2D kinematic mechanism. In both cases we recovered a behavior functionally indistinguishable from the previously optimized motion.


title: Torsion Free Endotrivial Modules for Finite Groups of Lie Type

abstract: In this paper we determine the torsion free rank of the group of endotrivial modules for any finite group of Lie type, in both defining and non-defining characteristic. On our way to proving this, we classify the maximal rank $2$ elementary abelian $\ell$-subgroups in any finite group of Lie type, for any prime $\ell$, which may be of independent interest.