title: Magnetic Ordering in the Ising Antiferromagnetic Pyrochlore Nd2ScNbO7

abstract: The question of structural disorder and its effects on magnetism is relevant to a number of spin liquid candidate materials. Although commonly thought of as a route to spin glass behavior, here we describe a system in which the structural disorder results in long-range antiferromagnetic order due to local symmetry breaking. Nd$_2$ScNbO$_7$ is shown to have a dispersionless gapped excitation observed in other neodymium pyrochlores below T$_N$ = 0.37 K through polarized and inelastic neutron scattering. However the dispersing spin waves are not observed. This excited mode is shown to occur in only 14(2) \% of the neodymium ions through spectroscopy and is consistent with total scattering measurements as well as the magnitude of the dynamic moment 0.26(2) $\mu_B$. The remaining magnetic species order completely into the all-in all-out Ising antiferromagnetic structure. This can be seen as a result of local symmetry breaking due disordered Sc$^{+3}$ and Nb$^{+5}$ ions about the A-site. From this work, it has been established that B-site disorder restores the dipole-like behaviour of the Nd$^{+3}$ ions compared to the Nd$_2$B$_2$O$_7$ parent series.


title: Excitation of localized graphene plasmons by a metallic slit

abstract: In this paper we show that graphene surface plasmons can be excited when an electromagnetic wave packet impinges on a single metal slit covered with graphene. The excitation of the plasmons localized over the slit is revealed by characteristic peaks in the absorption spectrum. It is shown that the position of the peaks can be tuned either by the graphene doping level or by the dielectric function of the material filling the slit. The whole system forms the basis for a plasmonic sensor when the slit is filled with an analyte.


title: Editorial note to: Erwin Schr\"odinger, Dirac electron in the gravitational field I

abstract: Editorial Note with a mathematical and historical introduction to a 1932 paper by Erwin Schr\"odinger on the generalization of the Dirac equation to a curved spacetime -- to appear in the 'Golden Oldie' section of the Journal of General Relativity and Gravitation alongside an English translation of that paper. The Schr\"odinger paper is of interest as the first place that the well-known formula $g^{\mu\nu}\nabla_\mu\nabla_\nu + m^2 + \frac{R}{4}$ was obtained for the 'square' of the Dirac operator in curved spacetime. This formula is known by a number of names and we explain why we favour the name 'Schr\"odinger-Lichnerowicz formula'. We also aim to explain how the modern notion of `spin connection' emerged from a debate in the physics journals in the period 1929-1933. We discuss the key contributions of Weyl, Fock and Cartan and explain how and why they were partly in conflict with the approaches of Schr\"odinger and several other authors. We reference and comment on some previous historical accounts of this topic.


title: A Framework for Qualitative Communications Using Big Packet Protocol

abstract: In the current Internet architecture, a packet is a minimal or fundamental unit upon which different actions such as classification,forwarding, or discarding are performed by the network nodes.When faced with constrained or poor network conditions, a packet is subjected to undesirable drops and re-transmissions, resulting in unpredictable delays and subsequent traffic overheads in the network. Alternately, we introduce qualitative communication services which allow partial, yet timely, delivery of a packet instead of dropping it entirely. These services allow breaking down packet payloads into smaller units (called chunks), enabling much finer granularity of bandwidth utilization. We propose Packet Wash as a new operation in forwarding nodes to support qualitative services. Upon packet error or network congestion, the forwarding node selectively removes some chunk(s)from the payload based on the relationship among the chunks or the individual significance level of each chunk. We also present a qualitative communication framework as well as a Packet Wash directive implemented in a newly evolved data plane technology,called Big Packet Protocol (BPP)


title: A neutron scattering measurement of crystalline-electric fields in magnesium rare-earth selenide spinels

abstract: The symmetry of local moments plays a defining role in the nature of exotic grounds states stabilized in frustrated magnetic materials. We present inelastic neutron scattering (INS) measurements of the crystal electric field (CEF) excitations in the family of compounds MgRE$_2$Se$_4$ (RE $\in$ $\{$Ho, Tm, Er and Yb$\}$). These compounds form in the spinel structure, with the rare earth ions comprising a highly frustrated pyrochlore sublattice. Within the symmetry constraints of this lattice, we fit both the energies and intensities of observed modes in the INS spectra to determine the most likely CEF Hamiltonian for each material and comment on the ground state wavefunctions in the local electron picture. In this way, we experimentally confirm MgTm$_2$Se$_4$ has a non-magnetic ground state, and MgYb$_2$Se$_4$ has effective $S=\frac{1}{2}$ spins with $g_\parallel = 5.188(79)$ and $g_\perp = 0.923(85)~\mu_B$. The spectrum of MgHo$_2$Se$_4$ indicates a ground state doublet containing Ising spins with $g_\parallel = 2.72(46)$, though low-lying CEF levels are also seen at thermally accessible energies $\delta_E = 0.591(36)$, 0.945(30) and 2.88(7)~meV, which can complicate interpretation. These results are used to comment on measured magnetization data of all compounds, and are compared to published results on the material MgEr$_2$Se$_4$.


title: DAB-MOD sensitivity study of heavy flavor $R_{AA}$ and azimuthal anisotropies based on beam energy, initial conditions, hadronization, and suppression mechanisms

abstract: Heavy flavor probes provide important information about the in-medium properties of the quark-gluon plasma produced in heavy-ion collisions. In this work, we investigate the effects of 2D+1 event-by-event fluctuating hydrodynamic backgrounds on the nuclear suppression factor and momentum anisotropies of heavy flavor mesons and non-photonic electrons. Using the state-of-the-art D and B mesons modular simulation code (called "DAB-MOD"), we perform a systematic comparison of different transport equations in the same background, including a few energy loss models --- with and without energy loss fluctuations --- and a relativistic Langevin model with different drag parametrizations. We present the resulting D and B mesons $R_{AA}$, $v_2$, $v_3$, and $v_4$ as well as multi-particle cumulants, in AuAu collisions at $\sqrt{s_\text{NN}}=200\, \text{GeV}$ and PbPb collisions at $\sqrt{s_\text{NN}}=2.76 \, \text{TeV}$ and $\sqrt{s_\text{NN}}=5.02 \, \text{TeV}$, and compare them to the available experimental data. The $v_2\{4\}/v_2\{2\}$ ratio, which is known to be a powerful probe of the initial conditions and flow fluctuations in the soft sector, is also studied in the context of heavy flavor. We also investigate the correlations between the transverse anisotropies of heavy mesons and all charged particles to better understand how heavy quarks couple to the hydrodynamically expanding quark-gluon plasma. We study the influence that different initial conditions and the implementation of heavy-light quark coalescence has on our results.


title: EFT triangles in the same-sign $WW$ scattering process at the HL-LHC and HE-LHC

abstract: We investigate the Beyond Standard Model discovery potential in the framework of the Effective Field Theory (EFT) for the same-sign $WW$ scattering process in purely leptonic $W$ decay modes at the High-Luminosity and High-Energy phases of the Large Hadron Collider (LHC). The goal of this paper is to examine the applicability of the EFT approach, with one dimension-8 operator varied at a time, to describe a hypothetical new physics signal in the $WWWW$ quartic coupling. In the considered process there is no experimental handle on the $WW$ invariant mass, and it has previously been shown that the discovery potential at 14 TeV is rather slim. In this paper we report the results calculated for a 27 TeV machine and compare them with the discovery potential obtained at 14 TeV. We find that while the respective discovery regions shift to lower values of the Wilson coefficients, the overall discovery potential of this procedure does not get significantly larger with a higher beam energy.


title: Deep Modular Co-Attention Networks for Visual Question Answering

abstract: Visual Question Answering (VQA) requires a fine-grained and simultaneous understanding of both the visual content of images and the textual content of questions. Therefore, designing an effective `co-attention' model to associate key words in questions with key objects in images is central to VQA performance. So far, most successful attempts at co-attention learning have been achieved by using shallow models, and deep co-attention models show little improvement over their shallow counterparts. In this paper, we propose a deep Modular Co-Attention Network (MCAN) that consists of Modular Co-Attention (MCA) layers cascaded in depth. Each MCA layer models the self-attention of questions and images, as well as the guided-attention of images jointly using a modular composition of two basic attention units. We quantitatively and qualitatively evaluate MCAN on the benchmark VQA-v2 dataset and conduct extensive ablation studies to explore the reasons behind MCAN's effectiveness. Experimental results demonstrate that MCAN significantly outperforms the previous state-of-the-art. Our best single model delivers 70.63$\%$ overall accuracy on the test-dev set. Code is available at https://github.com/MILVLG/mcan-vqa.


title: Importance Estimation for Neural Network Pruning

abstract: Structural pruning of neural network parameters reduces computation, energy, and memory transfer costs during inference. We propose a novel method that estimates the contribution of a neuron (filter) to the final loss and iteratively removes those with smaller scores. We describe two variations of our method using the first and second-order Taylor expansions to approximate a filter's contribution. Both methods scale consistently across any network layer without requiring per-layer sensitivity analysis and can be applied to any kind of layer, including skip connections. For modern networks trained on ImageNet, we measured experimentally a high (>93%) correlation between the contribution computed by our methods and a reliable estimate of the true importance. Pruning with the proposed methods leads to an improvement over state-of-the-art in terms of accuracy, FLOPs, and parameter reduction. On ResNet-101, we achieve a 40% FLOPS reduction by removing 30% of the parameters, with a loss of 0.02% in the top-1 accuracy on ImageNet. Code is available at https://github.com/NVlabs/Taylor_pruning.


title: Generalized Stieltjes and other integral operators on Sobolev-Lebesgue spaces

abstract: For $\mu>\beta>0$, the generalized Stieltjes operators $$ \mathcal{S}_{\beta,\mu} f(t):={t^{\mu-\beta}}\int_0^\infty {s^{\beta-1}\over (s+t)^{\mu}}f(s)ds, \qquad t>0, $$ defined on Sobolev spaces $\mathcal{T}_p^{(\alpha)}(t^\alpha)$ (where $\alpha\ge 0$ is the fractional order of derivation and these spaces are embedded in $L^p(\RR^+)$ for $p\ge 1$) are studied in detail. If $0 < \beta - \pp < \mu$, then operators $\mathcal{S}_{\beta,\mu}$ are bounded (and we compute their operator norms which depend on $p$); commute and factorize with generalized Ces\'{a}ro operator on $\mathcal{T}_p^{(\alpha)}(t^\alpha)$ . We calculate and represent explicitly their spectrum set $\sigma (\mathcal{S}_{\beta,\mu})$. The main technique is to subordinate these operators in terms of $C_0$-groups and transfer new properties from some special functions to Stieltjes operators. We also prove some similar results for generalized Stieltjes operators $ \mathcal{S}_{\beta,\mu}$ in the Sobolev-Lebesgue $\mathcal{T}_p^{(\alpha)}(\vert t\vert^\alpha)$ defined on the real line $\R$. We show connections with the Fourier and the Hilbert transform and a convolution product defined by the Hilbert transform.


title: Are Adversarial Perturbations a Showstopper for ML-Based CAD? A Case Study on CNN-Based Lithographic Hotspot Detection

abstract: There is substantial interest in the use of machine learning (ML) based techniques throughout the electronic computer-aided design (CAD) flow, particularly those based on deep learning. However, while deep learning methods have surpassed state-of-the-art performance in several applications, they have exhibited intrinsic susceptibility to adversarial perturbations --- small but deliberate alterations to the input of a neural network, precipitating incorrect predictions. In this paper, we seek to investigate whether adversarial perturbations pose risks to ML-based CAD tools, and if so, how these risks can be mitigated. To this end, we use a motivating case study of lithographic hotspot detection, for which convolutional neural networks (CNN) have shown great promise. In this context, we show the first adversarial perturbation attacks on state-of-the-art CNN-based hotspot detectors; specifically, we show that small (on average 0.5% modified area), functionality preserving and design-constraint satisfying changes to a layout can nonetheless trick a CNN-based hotspot detector into predicting the modified layout as hotspot free (with up to 99.7% success). We propose an adversarial retraining strategy to improve the robustness of CNN-based hotspot detection and show that this strategy significantly improves robustness (by a factor of ~3) against adversarial attacks without compromising classification accuracy.


title: A High-Order Lower-Triangular Pseudo-Mass Matrix for Explicit Time Advancement of hp Triangular Finite Element Methods

abstract: Explicit time advancement for continuous finite elements requires the inversion of a global mass matrix. For spectral element simulations on quadrilaterals and hexahedra, there is an accurate approximate mass matrix which is diagonal, making it computationally efficient for explicit simulations. In this article it is shown that for the standard space of polynomials used with triangular elements, denoted $\mathcal{T}(p)$ where $p$ is the degree of the space, there is no diagonal approximate mass matrix that permits accurate solutions. Accuracy is defined as giving an exact projection of functions in $\mathcal{T}(p-1)$. In light of this, a lower-triangular pseudo-mass matrix method is introduced and demonstrated for the space $\mathcal{T}(3)$. The pseudo-mass matrix and accompanying high-order basis allow for computationally efficient time-stepping techniques without sacrificing the accuracy of the spatial approximation for unstructured triangular meshes.


title: SoK: Delegation and Revocation, the Missing Links in the Web's Chain of Trust

abstract: The ability to quickly revoke a compromised key is critical to the security of any public-key infrastructure. Regrettably, most traditional certificate revocation schemes suffer from latency, availability, or privacy problems. These problems are exacerbated by the lack of a native delegation mechanism in TLS, which increasingly leads domain owners to engage in dangerous practices such as sharing their private keys with third parties. We analyze solutions that address the long-standing delegation and revocation shortcomings of the web PKI, with a focus on approaches that directly affect the chain of trust (i.e., the X.509 certification path). For this purpose, we propose a 19-criteria framework for characterizing revocation and delegation schemes. We also show that combining short-lived delegated credentials or proxy certificates with an appropriate revocation system would solve several pressing problems.


title: Presolar Silicon Carbide Grains of Types Y and Z: Their Molybdenum Isotopic Compositions and Stellar Origins

abstract: We report Mo isotopic compositions of 37 presolar SiC grains of types Y (19) and Z (18), rare types commonly argued to have formed in lower-than-solar metallicity asymptotic giant branch (AGB) stars. Direct comparison of the Y and Z grain data with data for mainstream grains from AGB stars of close-to-solar metallicity demonstrates that the three types of grains have indistinguishable Mo isotopic compositions. We show that the Mo isotope data can be used to constrain the maximum stellar temperatures (TMAX) during thermal pulses in AGB stars. Comparison of FRUITY Torino AGB nucleosynthesis model calculations with the grain data for Mo isotopes points to an origin from low-mass (~1.5-3 Msun) rather than intermediate-mass (>3-~9 Msun) AGB stars. Because of the low efficiency of 22Ne({\alpha},n)25Mg at the low TMAX values attained in low-mass AGB stars, model calculations cannot explain the large 30Si excesses of Z grains as arising from neutron capture, so these excesses remain a puzzle at the moment.


title: Construction of anti-de Sitter-like spacetimes using the metric conformal Einstein field equations: the tracefree matter case

abstract: Using a metric conformal formulation of the Einstein equations, we develop a construction of 4-dimensional anti-de Sitter-like spacetimes coupled to tracefree matter models. Our strategy relies on the formulation of an initial-boundary problem for a system of quasilinear wave equations for various conformal fields by exploiting the conformal and coordinate gauges. By analysing the conformal constraints we show a systematic procedure to prescribe initial and boundary data. This analysis is complemented by the propagation of the constraints, showing that a solution to the wave equations implies a solution to the Einstein field equations. In addition, we study three explicit tracefree matter models: the conformally invariant scalar field, the Maxwell field and the Yang-Mills field. For each one of these we identify the basic data required to couple them to the system of wave equations. As our main result, we establish the local existence and uniqueness of solutions for the evolution system in a neighbourhood around the corner, provided compatibility conditions for the initial and boundary data are imposed up to a certain order.


title: Game theory with integral equations as state dynamics

abstract: We formulate and analyze game-theoretic problems for systems governed by integral equations. For Volterra integral equations, we obtain and prove necessary and sufficient conditions for linear-quadratic problems, and for problems that are linear-quadratic in the control. Also, we obtain necessary conditions for one type of pursuit-evasion Volterra games.


title: Asymptotic growth rate of square grids dominating sets: a symbolic dynamics approach

abstract: In this text, we prove the existence of an asymptotic growth rate of the number of dominating sets (and variants) on finite rectangular grids, when the dimensions of the grid grow to infinity. Moreover, we provide, for each of the variants, an algorithm which computes the growth rate. We also give bounds on these rates provided by a computer program.


title: Simultaneous Prediction Intervals for Patient-Specific Survival Curves

abstract: Accurate models of patient survival probabilities provide important information to clinicians prescribing care for life-threatening and terminal ailments. A recently developed class of models - known as individual survival distributions (ISDs) - produces patient-specific survival functions that offer greater descriptive power of patient outcomes than was previously possible. Unfortunately, at the time of writing, ISD models almost universally lack uncertainty quantification. In this paper, we demonstrate that an existing method for estimating simultaneous prediction intervals from samples can easily be adapted for patient-specific survival curve analysis and yields accurate results. Furthermore, we introduce both a modification to the existing method and a novel method for estimating simultaneous prediction intervals and show that they offer competitive performance. It is worth emphasizing that these methods are not limited to survival analysis and can be applied in any context in which sampling the distribution of interest is tractable. Code is available at https://github.com/ssokota/spie .


title: Estimation and selection for high-order Markov chains with Bayesian mixture transition distribution models

abstract: We develop two models for Bayesian estimation and selection in high-order, discrete-state Markov chains. Both are based on the mixture transition distribution, which constructs a transition probability tensor with additive mixing of probabilities from first-order transition matrices. We demonstrate two uses for the proposed models: parsimonious approximation of high-order dynamics by mixing lower-order transition models, and order/lag selection through over-specification and shrinkage via priors for sparse probability vectors. The priors further shrink all models to an identifiable and interpretable parameterization, useful for data analysis. We discuss properties of the models and demonstrate their utility with simulation studies. We further apply the methodology to a data analysis from the high-order Markov chain literature and to a time series of pink salmon abundance in a creek in Alaska, U.S.A.


title: A limited-range Calder\'on-Zygmund theorem

abstract: For a limited range of indices $p$, we obtain $L^p(\mathbb{R}^n)$ boundedness for singular integral operators whose kernels satisfy a condition weaker than the typical H\"ormander smoothness estimate. These operators are assumed to be bounded (or weakly bounded) on $L^{s}(\mathbb{R}^n)$ for some index $s$. Our estimates are obtained via interpolation from the appropriate weak-type estimates. We provide two proofs of this result. One proof is based on the Calder\'on-Zygmund decomposition, while the other uses ideas of Nazarov, Treil, and Volberg.


title: OLAE-ICP: Robust and fast alignment of geometric features with the optimal linear attitude estimator

abstract: The problems of point-cloud registration and attitude estimation from vector observations (Wahba's problem) have widespread applications in computer vision and mobile robotics. This work introduces a simple approach for integrating sets of geometric feature observations (points, lines, and planes) in such a way that any solution to either point-cloud registration or to Wahba's problem can be used to find the SE(3) transformation between the two sets that minimizes the corresponding cost function. We compare the performance of three solutions: classic Horn's optimal quaternion method, Optimal Linear Attitude Estimator (OLAE) that efficiently recovers the optimal Gibbs-Rodrigues vector solving a small linear system, and an iterative non-linear Gauss-Newton solver. Special care is given to explain how to overcome the Gibbs vector singularity for OLAE by using the method of sequential rotations. Gross outliers in point-to-point correspondences can be discarded by means of detecting transformation scale mismatches. The approach also allows the introduction of per-primitive relative weights, including an optional robust loss function that is applicable only if an initial guess for the solution is known in advance. Experiments are presented to evaluate how the three solutions tolerate noise in the input data for different kinds of geometric primitives. Finally, experiments with real datasets validate the suitability of the optimal alignment algorithm as the core of an Iterative Closest Point/Primitive (ICP) algorithm. An open-source implementation of all the described algorithms is provided in https://github.com/MOLAorg/mp2p_icp


title: Pure dephasing vs. Phonon mediated off-resonant coupling in a quantum-dot-cavity system

abstract: Pure dephasing is widely used in the literature to explain experimental observations on quantum dots in cavities. In many cases, its use is not enough and extra terms need to be "fictitiously" added to accomplish with the observed data as it is the case of cavity pumping of an unknown source. Here we controvert the validity of the pure dephasing mechanism as a source of decoherence and present a theoretical study based on the phonon-mediated coupling that can explain the emission spectrum and photon auto- and cross-correlation results in recent experiments without the need of any artificial assumptions. We also demonstrated that the phonon-mediated coupling accounts for unexplained features recently reported in measurements of photon auto- and cross-correlation functions. Our work illuminates many of the debates in this field and opens up new possibilities for experimental verification and theoretical predictions.


title: Doping-induced superconductivity in the van der Waals superatomic crystal Re$_6$Se$_8$Cl$_2$

abstract: Superatomic crystals are composed of discrete modular clusters that emulate the role of atoms in traditional atomic solids$^{1-4}$. Owing to their unique hierarchical structures, these materials are promising candidates to host exotic phenomena, such as superconductivity and magnetism that can be revealed through doping$^{5-10}$. Low-dimensional superatomic crystals hold great promise as electronic components$^{11,12}$, enabling these properties to be applied to nanocircuits, but the impact of doping in such compounds remains unexplored. Here we report the electrical transport properties of Re$_6$Se$_8$Cl$_2$, a two-dimensional superatomic semiconductor$^{13,14}$. Using an in situ current annealing technique, we find that this compound can be n-doped through Cl dissociation, drastically altering the transport behaviour from semiconducting to metallic and giving rise to superconductivity below $\sim$ 9 K. This work is the first example of superconductivity in a van der Waals (vdW) superatomic crystal; more broadly, it establishes a new chemical strategy to manipulate the electronic properties of vdW materials with labile ligands.


title: Optimized energy utilization in small and large commercial loads and residential areas

abstract: In smart grid, the demand side management (DSM) techniques need to be designed to process a large number of controllable loads of several types. In this paper, we proposed a framework to study the demand side management in smart grid which contains a variety of loads in two service areas, one with multiple residential households, and one bus with commercial customers. Specifically, each household may have renewable generation as well as interruptible and uninterruptible appliances to make individual scheduling to optimize the electric energy cost by making the best time of the electricity usage according to the day ahead forecast of electricity prices. A high load bus represents a commercial area employed to demonstrate the impact of high load at any bus on voltage profile, power loss, and load flow condition, and to show the performance of the proposed DSM for large number of appliance. Using the developed simulation model, we examine the performance of the proposed DSM and study their impact on the distribution network operation and renewable generation, overall voltage deviation, real power loss, and possible problems such as reverse power flows, voltage rise have examined and compared, these problems can easily be seen at the commercial load bus.


title: The p-norm of hypermatrices with symmetries

abstract: The $p$-norm of $r$-matrices generalizes the $2$-norm of $2$-matrices. It is shown that if a nonnegative $r$-matrix is symmetric with respect to two indices $j$ and $k$, then the $p$-norm is attained for some set of vectors such that the $i$th and the $j$th vectors are identical. It follows that the $p$-spectral radius of a symmetric nonnegative $r$-matrix is equal to its $p$-norm for any $p\geq2$.


title: Response of SDO/HMI observables to heating of the solar atmosphere by precipitating high-energy electrons

abstract: We perform an analysis of the line-of-sight (LOS) observables of the SDO/HMI for models of the solar atmosphere heated by precipitating high-energy electrons during solar flares. The radiative hydrodynamic (RADYN) flare models are obtained from the F-CHROMA database. The Stokes profiles for the Fe 6173 A line observed by SDO/HMI are calculated using the radiative transfer code RH1.5D assuming statistical equilibrium for atomic level populations and imposing uniform background vertical magnetic field of various strength. The SDO/HMI observing sequence and LOS data processing pipeline algorithm are applied to derive the observables (continuum intensity, line depth, Doppler velocity, LOS magnetic field). Our results reveal that the strongest deviations of the observables from the actual spectroscopic line parameters are found for the model with a total energy deposited of $E_{total}=1.0\times{}10^{12}$ erg cm$^{-2}$, injected with power-law spectral index of $\delta=3$ above a low-energy cutoff of $E_{c}=25$ keV. The magnitudes of the velocity and magnetic field deviations depend on the imposed magnetic field, and can reach 0.35 km/s for LOS velocities, 90 G for LOS magnetic field, and 3\% for continuum enhancement for the 1000 G imposed LOS magnetic field setup. For $E_{total}\geq{}3.0\times{}10^{11}$ erg cm$^{-2}$ models, the velocity and magnetic field deviations are most strongly correlated with the energy flux carried by $\sim$50 keV electrons, and the continuum enhancement is correlated with the synthesized $\sim$55-60 keV hard X-ray photon flux. The relatively low magnitudes of perturbations of the observables and absence of magnetic field sign reversals suggest that the considered radiative hydrodynamic beam heating models augmented with the uniform vertical magnetic field setups cannot explain strong transient changes found in the SDO/HMI observations.


title: On Poisson structures arising from a Lie group action

abstract: We investigate some infinite dimensional Lie algebras and their associated Poisson structures which arise from a Lie group action on a manifold. If $G$ is a Lie group, $\g$ its Lie algebra and $M$ is a manifold on which $G$ acts, then the set of smooth maps from $M$ to $\g$ has at least two Lie algebra structures, both satisfying the required property to be a Lie algebroid. We may then apply a {construction} by Marle to obtain a Poisson bracket on the set of smooth real or complex valued functions on $M\times \g^*$. In this paper, we investigate these Poisson brackets. We show that the set of examples include the standard Darboux symplectic structure and the classical Lie Poisson brackets, but is a strictly larger class of Poisson brackets than these. Our study includes the associated Hamiltonian flows and their invariants, canonical maps induced by the Lie group action, and compatible Poisson structures. Our approach is mainly computational and we detail numerous examples. The Lie brackets from which our results derive, arose from the consideration of connections on bundles with zero curvature and constant torsion. We give an alternate derivation of the Lie bracket which will be suited to applications to Lie group actions for applications not involving a Riemannian metric. We also begin a study of the infinite dimensional Poisson brackets which may be obtained by considering a central extension of the Lie algebras.


title: Design of distributed guidance laws for multi-UAV cooperative attacking a moving target based on reducing surrounding area

abstract: In this paper, two cooperative guidance laws based on the area around the target of multiattackers are designed to deal with the problem of cooperative encirclement or simultaneous attack in the case of known target acceleration and unknown target acceleration. Multi-attacker communication network only needs to contain a directed spanning tree, and does not require all attackers to observe the target information, where at least one can observe the target. The components along the attacker-target line of sight in the novel guidance laws can reduce the relative remaining distance between the attacker and the target at the same speed, thus completing simultaneous attack and avoiding the calculation of the remaining time. The components of the guidance laws perpendicular to the attacker-target line of sight can make the normal overload of relative motion zero, so that the trajectory will not be distorted and the collision problem within the attacker group can be avoided. The simulation results verify the practicability of the novel guidance laws.


title: Constraining the scalar-tensor gravity theories with and without screening mechanisms by combined observations

abstract: Screened modified gravity (SMG) and Brans-Dicke (BD) gravity are typical examples of scalar-tensor theories with and without screening mechanisms, which can suppress the scalar field in dense regions. In this paper, we investigate the tests of time-varying gravitational constant $G$, gravitational dipole radiation, and Nordtvedt effect in BD and SMG theories, respectively. We place new constraints on these theories by combining Cassini experiment, lunar laser ranging (LLR) measurements, and pulsar observations from PSRs J1738$+$0333 and J0348$+$0432. We find that screening mechanism has important influence on theoretical constraints. The strongest, second, and weakest constraints on BD are from Cassini, pulsar, and LLR tests, respectively. The most stringent constraint on SMG comes from LLR measurements and improves the previous best constraint by more than seven orders of magnitude. We derive the bounds on the cosmological evolution of the scalar background in these theories using the time variation of $G$. The results of all tests agree well with general relativity (GR) and give more stringent constraints on the deviations from GR. Finally, as an example, we consider the chameleon model and derive the constraints on the model parameters.


title: Generalizing causal inferences from randomized trials: counterfactual and graphical identification

abstract: When engagement with a randomized trial is driven by factors that affect the outcome or when trial engagement directly affects the outcome independent of treatment, the average treatment effect among trial participants is unlikely to generalize to a target population. In this paper, we use counterfactual and graphical causal models to examine under what conditions we can generalize causal inferences from a randomized trial to the target population of trial-eligible individuals. We offer an interpretation of generalizability analyses using the notion of a hypothetical intervention to "scale-up" trial engagement to the target population. We consider the interpretation of generalizability analyses when trial engagement does or does not directly affect the outcome, highlight connections with censoring in longitudinal studies, and discuss identification of the distribution of counterfactual outcomes via g-formula computation and inverse probability weighting. Last, we show how the methods can be extended to address time-varying treatments, non-adherence, and censoring.


title: Reconfigurable Interaction for MAS Modelling

abstract: We propose a formalism to model and reason about multi-agent systems. We allow agents to interact and communicate in different modes so that they can pursue joint tasks; agents may dynamically synchronize, exchange data, adapt their behaviour, and reconfigure their communication interfaces. The formalism defines a local behaviour based on shared variables and a global one based on message passing. We extend LTL to be able to reason explicitly about the intentions of the different agents and their interaction protocols. We also study the complexity of satisfiability and model-checking of this extension.


title: The Complexity of Black-Box Mechanism Design with Priors

abstract: We study black-box reductions from mechanism design to algorithm design for welfare maximization in settings of incomplete information. Given oracle access to an algorithm for an underlying optimization problem, the goal is to simulate an incentive compatible mechanism. The mechanism will be evaluated on its expected welfare, relative to the algorithm provided, and its complexity is measured by the time (and queries) needed to simulate the mechanism on any input. While it is known that black-box reductions are not possible in many prior-free settings, settings with priors appear more promising: there are known reductions for Bayesian incentive compatible (BIC) mechanism design for general classes of welfare maximization problems. This dichotomy begs the question: which mechanism design problems admit black-box reductions, and which do not? Our main result is that black-box mechanism design is impossible under two of the simplest settings not captured by known positive results. First, for the problem of allocating $n$ goods to a single buyer whose valuation is additive and independent across the goods, subject to a downward-closed constraint on feasible allocations, we show that there is no polytime (in $n$) BIC black-box reduction for expected welfare maximization. Second, for the setting of multiple single-parameter agents---where polytime BIC reductions are known---we show that no polytime reductions exist when the incentive requirement is tightened to Max-In-Distributional-Range. In each case, we show that achieving a sub-polynomial approximation to the expected welfare requires exponentially many queries, even when the set of feasible allocations is known to be downward-closed.


title: Constrained transport and adaptive mesh refinement in the Black Hole Accretion Code

abstract: Worldwide very long baseline radio interferometry arrays are expected to obtain horizon-scale images of supermassive black hole candidates as well as of relativistic jets in several nearby active galactic nuclei. This motivates the development of models for magnetohydrodynamic flows in strong gravitational fields. The Black Hole Accretion Code (BHAC) intends to aid with the modelling of such sources by means of general relativistic magnetohydrodynamical (GRMHD) simulations in arbitrary stationary spacetimes. New additions were required to guarantee an accurate evolution of the magnetic field when small and large scales are captured simultaneously. We discuss the adaptive mesh refinement (AMR) techniques employed in BHAC, essential to keep several problems computationally tractable, as well as staggered-mesh-based constrained transport (CT) algorithms to preserve the divergence-free constraint of the magnetic field, including a general class of prolongation operators for face-allocated variables compatible with them. Through several standard tests, we show that the choice of divergence-control method can produce qualitative differences in simulations of scientifically relevant accretion problems. We demonstrate the ability of AMR to reduce the computational costs of accretion simulations while sufficiently resolving turbulence from the magnetorotational instability. In particular, we describe a simulation of an accreting Kerr black hole in Cartesian coordinates using AMR to follow the propagation of a relativistic jet while self-consistently including the jet engine, a problem set up-for which the new AMR implementation is particularly advantageous. The CT methods and AMR strategies discussed here are being employed in the simulations performed with BHAC used in the generation of theoretical models for the Event Horizon Telescope Collaboration.


title: The Unified Soliton System as the ${\rm AdS_2}$ System

abstract: We study the Riemann geometric approach to be aimed at unifying soliton systems. The general two-dimensional Einstein equation with constant scalar curvature becomes an integrable differential equation. We show that such Einstein equation includes KdV/mKdV/sine-Gordon equations.


title: A general Zeeman slower for type-II transitions and polar molecules

abstract: We proposed a general Zeeman slower scheme applicable to the majority of the laser-coolable molecules. Different from previous schemes, the key idea of our scheme lies in that the compensation of the detuning with the magnetic field is done for the repumping laser instead of the cooling laser. Only atoms or molecules with the right velocity will be repumped and laser slowed. Such scheme is more feasible for molecules with complex energy sturcutres. We apply this scheme for molecules with large Land\'e g-factor of the excited states and polyatomic molecules, and it shows a better slowing efficiency.


title: k-stretchability of entanglement, and the duality of k-separability and k-producibility

abstract: The notions of $k$-separability and $k$-producibility are useful and expressive tools for the characterization of entanglement in multipartite quantum systems, when a more detailed analysis would be infeasible or simply needless. In this work we reveal a partial duality between them, which is valid also for their correlation counterparts. This duality can be seen from a much wider perspective, when we consider the entanglement and correlation properties which are invariant under the permutations of the subsystems. These properties are labeled by Young diagrams, which we endow with a refinement-like partial order, to build up their classification scheme. This general treatment reveals a new property, which we call $k$-stretchability, being sensitive in a balanced way to both the maximal size of correlated (or entangled) subsystems and the minimal number of subsystems uncorrelated with (or separable from) one another.


title: Computer-aided modelling of complex physical systems with BondGraphTools

abstract: BondGraphTools is a Python library for scripted modelling of complex multi-physics systems. In contrast to existing modelling solutions, BondGraphTools is based upon the well established bond graph methodology, provides a programming interface for symbolic model composition, and is intended to be used in conjunction with the existing scientific Python toolchain. Here we discuss the design, implementation and use of BondGraphTools, demonstrate how it can be used to accelerate systems modelling with an example from optomechanics, and comment on current and future applications in cross-domain modelling, particularly in systems biology.


title: Localization and IDS Regularity in the Disordered Hubbard Model within Hartree-Fock Theory

abstract: Using the fractional moment method it is shown that, within the Hartree-Fock approximation for the Disordered Hubbard Hamiltonian, weakly interacting Fermions at positive temperature exhibit localization, suitably defined as exponential decay of eigenfunction correlators. Our result holds in any dimension in the regime of large disorder and at any disorder in the one dimensional case. As a consequence of our methods, we are able to show H\"older continuity of the integrated density of states with respect to energy, disorder and interaction using known techniques.


title: Upper and Lower Bounds on Approximating Weighted Mixed Domination

abstract: A mixed dominating set of a graph $G = (V, E)$ is a mixed set $D$ of vertices and edges, such that for every edge or vertex, if it is not in $D$, then it is adjacent or incident to at least one vertex or edge in $D$. The mixed domination problem is to find a mixed dominating set with a minimum cardinality. It has applications in system control and some other scenarios and it is $NP$-hard to compute an optimal solution. This paper studies approximation algorithms and hardness of the weighted mixed dominating set problem. The weighted version is a generalization of the unweighted version, where all vertices are assigned the same nonnegative weight $w_v$ and all edges are assigned the same nonnegative weight $w_e$, and the question is to find a mixed dominating set with a minimum total weight. Although the mixed dominating set problem has a simple 2-approximation algorithm, few approximation results for the weighted version are known. The main contributions of this paper include: [1.] for $w_e\geq w_v$, a 2-approximation algorithm; [2.] for $w_e\geq 2w_v$, inapproximability within ratio 1.3606 unless $P=NP$ and within ratio 2 under UGC; [3.] for $2w_v > w_e\geq w_v$, inapproximability within ratio 1.1803 unless $P=NP$ and within ratio 1.5 under UGC; [4.] for $w_e< w_v$, inapproximability within ratio $(1-\epsilon)\ln |V|$ unless $P=NP$ for any $\epsilon >0$.


title: Concentrating bounded states for fractional Schr\"{o}dinger-Poisson system involving critical Sobolev exponent

abstract: In this paper, we study the concentration and multiplicity of solutions to the following fractional Schr\"{o}dinger-Poisson system \begin{equation*} \left\{ \begin{array}{ll} \varepsilon^{2s}(-\Delta)^su+V(x)u+\phi u=f(u)+u^{2_s^{\ast}-1} & \hbox{in $\mathbb{R}^3$,} \varepsilon^{2t}(-\Delta)^t\phi=u^2, u>0& \hbox{in $\mathbb{R}^3$,} \end{array} \right. \end{equation*} where $s>\frac{3}{4}$, $s,t\in(0,1)$, $\varepsilon>0$ is a small parameter, $f\in C^1(\mathbb{R}^{+},\mathbb{R})$ is subcritical, $V:\mathbb{R}^3\rightarrow\mathbb{R}$ is a continuous bounded function. We establish a family of positive solutions $u_{\varepsilon}\in H_{\varepsilon}$ which concentrates around the local minima of $V$ in $\Lambda$ as $\varepsilon\rightarrow0$. With Ljusternik-Schnirelmann theory, we also obtain multiple solutions by employing the topology construct of the set where the potential $V$ attains its minimum.


title: Complete families of indecomposable non-simple abelian varieties

abstract: Given a fixed product of non-isogenous abelian varieties at least one of which is general, we show how to construct complete families of indecomposable abelian varieties whose very general fiber is isogenous to the given product and whose connected monodromy group is a product of symplectic groups or is a unitary group. As a consequence, we show how to realize any product of symplectic groups of total rank $g$ as the connected monodromy group of a complete family of $g'$-dimensional abelian varieties for any $g'\ge g$. These methods also yield a construction of a new Kodaira fibration with fiber genus $4$.


title: Morse theory without nondegeneracy

abstract: We describe an extension of Morse theory to smooth functions on compact Riemannian manifolds, without any nondegeneracy assumptions except that the critical locus must have only finitely many connected components.


title: Counting Roots of a Polynomial in a Convex Compact Region by Means of Winding Number Calculation via Sampling

abstract: In this paper we propose a novel efficient algorithm for calculating winding numbers, aiming at counting the number of roots of a given polynomial in a convex region on the complex plane. This algorithm can be used for counting and exclusion tests in a subdivision algorithms for polynomial root-finding, and would be especially usefull in application scenarios where high-precision polynomial coefficients are hard to obtain but we succeed with counting already by using polynomial evaluation with lower precision. We provide the pseudo code of the algorithm, proof of its correctness as well as estimation of its complexity.


title: Free Ride on LDPC Coded Transmission

abstract: In this paper, we formulate a new problem to cope with the transmission of extra bits over an existing coded transmission link (referred to as coded payload link) without any cost of extra transmission energy or extra bandwidth. This is possible since a gap to the channel capacity typically exists for a practical code. A new concept, termed as accessible capacity, is introduced to specify the maximum rate at which the superposition transmission of extra bits is reliable and has a negligible effect on the performance of the coded payload link. For a binary-input output-symmetric (BIOS) memoryless channel, the accessible capacity can be characterized as the difference between the channel capacity and the mutual information rate of the coded payload link, which can be numerically evaluated for very short payload codes. For a general payload code, we present a simple lower bound on the accessible capacity, given by the channel capacity minus the coding rate of the payload code. We then focus on the scenarios where low-density parity-check (LDPC) codes are implemented for the payload link. We propose to transmit extra bits by random superposition for encoding, and exhaustive search (with the aid of statistical learning) for decoding. We further propose, by establishing an auxiliary channel (called syndrome channel) induced from "zero-forcing" over the binary field, to transmit extra bits with structured codes such as repetition codes and first-order Reed-Muller (RM) codes. Numerical results show that up to 60 extra bits can be reliably transmitted along with a rate-1/2 LDPC code of length 8064.


title: Remark on the Adiabatic Limit of Quantum Zakharov System

abstract: This paper is concerned with the low regularity well-posedness of the adiabatic limit of the quantum Zakharov system, which is a modified nonlinear Schr\"odinger equation (NLSE). As the quantum parameter tends to zero, the modified NLSE formally converges to the standard NLSE, and we show this rigorously.


title: Bounds on chaos from the eigenstate thermalization hypothesis

abstract: We show that the known bound on the growth rate of the out-of-time-order four-point correlator in chaotic many-body quantum systems follows directly from the general structure of operator matrix elements in systems that obey the eigenstate thermalization hypothesis. This ties together two key paradigms of thermal behavior in isolated many-body quantum systems.

categories: cond-mat.stat-mech cond-mat.str-el hep-th nlin.CD quant-ph


title: Compact Disks in a High Resolution ALMA Survey of Dust Structures in the Taurus Molecular Cloud

abstract: We present a high-resolution ($\sim0.''12$, $\sim16$ au, mean sensitivity of $50~\mu$Jy~beam$^{-1}$ at 225 GHz) snapshot survey of 32 protoplanetary disks around young stars with spectral type earlier than M3 in the Taurus star-forming region using Atacama Large Millimeter Array (ALMA). This sample includes most mid-infrared excess members that were not previously imaged at high spatial resolution, excluding close binaries and highly extincted objects, thereby providing a more representative look at disk properties at 1--2 Myr. Our 1.3 mm continuum maps reveal 12 disks with prominent dust gaps and rings, 2 of which are around primary stars in wide binaries, and 20 disks with no resolved features at the observed resolution (hereafter smooth disks), 8 of which are around the primary star in wide binaries. The smooth disks were classified based on their lack of resolved substructures, but their most prominent property is that they are all compact with small effective emission radii ($R_{\rm eff,95\%} \lesssim 50$ au). In contrast, all disks with $R_{\rm eff,95\%}$ of at least 55 au in our sample show detectable substructures. Nevertheless, their inner emission cores (inside the resolved gaps) have similar peak brightness, power law profiles, and transition radii to the compact smooth disks, so the primary difference between these two categories is the lack of outer substructures in the latter. These compact disks may lose their outer disk through fast radial drift without dust trapping, or they might be born with small sizes. The compact dust disks, as well as the inner disk cores of extended ring disks, that look smooth at the current resolution will likely show small-scale or low-contrast substructures at higher resolution. The correlation between disk size and disk luminosity correlation demonstrates that some of the compact disks are optically thick at millimeter wavelengths.


title: Review of the Siu-Yang Conjecture

abstract: In this paper we review the development and recent results of the Siu-Yang conjecture which is that every K\"ahler-Einstein compact complex manifold of complex dimension two with negative sectional curvature is biholomorphic to a compact quotient of the complex 2-ball.


title: Investigating the OPS intermediate representation to target GPUs in the Devito DSL

abstract: The Devito DSL is a code generation tool for the solution of partial differential equations using the finite difference method specifically aimed at seismic inversion problems. In this work we investigate the integration of OPS, an API to generate highly optimized code for applications running on structured meshes targeting various platforms, within Devito as a mean of bringing it to the GPU realm by providing an implementation of a OPS backend in Devito, obtaining considerable speed ups compared to the core Devito backend.


title: Polyhedral Spline Finite Elements

abstract: Spline functions have long been used in numerically solving differential equations. Recently it revives as isogeometric analysis, which uses NURBS for both parametrization and element functions. In this paper, we introduce some multivariate spline finite elements on general partitions. These splines are constructed by mollifying splines of low smooth order with B-splines. They have both high smooth order and strong approximation power. The low smooth order splines can be chosen flexibly, for example polynomials on individual cells of general polyhedral partitions. Evaluation of such splines is not difficult, so the obtained spline elements are suitable for the collocation method and adaptive computation.


title: Paths towards equilibrium in molecular systems: a mesoscopic Mpemba-like effect in water

abstract: The so-called Mpemba effect, i.e. the observation that the warmer of two otherwise identical systems cools faster when both are refrigerated in the same thermal reservoir, is a hotly debated topic in condensed mater physics and statistical mechanics. Although it has been found in several non-equilibrium model systems, its very existence in water, the system in which it has been historically reported, is still open to question. Here we show using numerical simulations that a Mpemba effect is indeed present in water. We find that the effect occurs when equipartition of energy is not present in the initial state. Interestingly, the effect is observed without the intervention of a phase transition, and it is therefore seen to be a purely non-equilibrium relaxation effect.


title: Inversion of Multi-frequency Data with the Cross-Correlated Contrast Source Inversion Method

abstract: Cross-correlated contrast source inversion (CC-CSI) is a non-linear iterative inversion method that is proposed recently for solving the inverse scattering problems. In CC-CSI, a cross-correlated error is constructed and introduced to the cost functional, which improves the inversion ability when compared to the classical design of the cost functional by exploiting the mismatch between the data error and state error. In this paper, the multi-frequency inversion for electromagnetic waves is considered and a multi-frequency version of CC-CSI is proposed. Numerical and experimental inversion results of both transverse magnetic (TM) and transverse electric (TE) polarization demonstrate that, when multi-frequency data are available, CC-CSI still outperforms the multiplicative-regularized CSI method (MR-CSI) in the inversion of more complicated scatterers.


title: Nested Reinforcement Learning Based Control for Protective Relays in Power Distribution Systems

abstract: This paper envisions a new control architecture for the protective relay setting in future power distribution systems. With deepening penetration of distributed energy resources at the end users level, it has been recognized as a key engineering challenge to redesign the protective relays in the future distribution system. Conceptually, these protective relays are the discrete ON/OFF control devices at the end of each branch and node in a power network. The key technical difficulty lies in how to set up the relay control logic so that the protection could successfully differentiate heavy load and faulty operating conditions. This paper proposes a new nested reinforcement learning approach to take advantage of the structural properties of distribution networks and develop a new set of training methods for tuning the protective relays.


title: Program Synthesis and Semantic Parsing with Learned Code Idioms

abstract: Program synthesis of general-purpose source code from natural language specifications is challenging due to the need to reason about high-level patterns in the target program and low-level implementation details at the same time. In this work, we present PATOIS, a system that allows a neural program synthesizer to explicitly interleave high-level and low-level reasoning at every generation step. It accomplishes this by automatically mining common code idioms from a given corpus, incorporating them into the underlying language for neural synthesis, and training a tree-based neural synthesizer to use these idioms during code generation. We evaluate PATOIS on two complex semantic parsing datasets and show that using learned code idioms improves the synthesizer's accuracy.


title: Coded State Machine -- Scaling State Machine Execution under Byzantine Faults

abstract: We introduce an information-theoretic framework, named Coded State Machine (CSM), to securely and efficiently execute multiple state machines on untrusted network nodes, some of which are Byzantine. The standard method of solving this problem is using State Machine Replication, which achieves high security at the cost of low efficiency. We propose CSM, which achieves the optimal linear scaling in storage efficiency, throughput, and security simultaneously with the size of the network. The storage efficiency is scaled via the design of Lagrange coded states and coded input commands that require the same storage size as their origins. The computational efficiency is scaled using a novel delegation algorithm, called INTERMIX, which is an information-theoretically verifiable matrix-vector multiplication algorithm of independent interest. Using INTERMIX, the network nodes securely delegate their coding operations to a single worker node, and a small group of randomly selected auditor nodes verify its correctness, so that computational efficiency can scale almost linearly with the network size, without compromising on security.


title: Real-time probing of chirality during a chemical reaction

abstract: Chiral molecules interact and react differently with other chiral objects, depending on their handedness. Therefore, it is essential to understand and ultimately control the evolution of molecular chirality during chemical reactions. Although highly sophisticated techniques for the controlled synthesis of chiral molecules have been developed, the observation of chirality on the natural femtosecond time scale of a chemical reaction has so far remained out of reach for isolated molecules. Here, we demonstrate a general experimental technique, based on high-harmonic generation in tailored laser fields, and apply it to probe the time evolution of molecular chirality during the photodissociation of 2-iodobutane. These measurements show a change in sign and a pronounced increase in the magnitude of the chiral response over the first 100 fs, followed by its decay within less than 500 fs, revealing the photodissociation to achiral products. The observed time evolution is explained in terms of the variation of the electric and magnetic transition-dipole moments between the lowest electronic states of the cation as a function of the reaction coordinate. These results open the path to investigations of the chirality of molecular reaction pathways, light-induced chirality in chemical processes and the control of molecular chirality through tailored laser pulses.


title: Improving RNA secondary structure prediction via state inference with deep recurrent neural networks

abstract: The problem of determining which nucleotides of an RNA sequence are paired or unpaired in the secondary structure of an RNA, which we call RNA state inference, can be studied by different machine learning techniques. Successful state inference of RNA sequences can be used to generate auxiliary information for data-directed RNA secondary structure prediction. Bidirectional long short-term memory (LSTM) neural networks have emerged as a powerful tool that can model global nonlinear sequence dependencies and have achieved state-of-the-art performances on many different classification problems. This paper presents a practical approach to RNA secondary structure inference centered around a deep learning method for state inference. State predictions from a deep bidirectional LSTM are used to generate synthetic SHAPE data that can be incorporated into RNA secondary structure prediction via the Nearest Neighbor Thermodynamic Model (NNTM). This method produces predicted secondary structures for a diverse test set of 16S ribosomal RNA that are, on average, 25 percentage points more accurate than undirected MFE structures. These improvements range from several percentage points for some sequences to nearly 50 percentage points for others. Accuracy is highly dependent on the success of our state inference method, and investigating the global features of our state predictions reveals that accuracy of both our state inference and structure inference methods are highly dependent on the similarity of the sequence to the dataset. This paper presents a deep learning state inference tool, trained and tested on 16S ribosomal RNA. Converting these state predictions into synthetic SHAPE data with which to direct NNTM can result in large improvements in secondary structure prediction accuracy, as shown on a test set of 16S rRNA.


title: Compl\'ement to the Thurston 3D-Geometrization

abstract: Geometrization says `` any closed oriented three-manifold which is prime (not a connected sum) carries one of the eight Thurston geometries OR it has incompressible torus walls whose complementary components each carry one of four particular Thurston geometries" (see Introduction and Figure 1). These geometric components have finite volume for the hyperbolic geometries (the H labeled vertices). They also have finite volume for each of the two geometries appearing as Seifert fibrations (the S labeled vertices). The remaining pieces (the I labeled vertices) have Euclidean geometries of linear volume growth. Then these vertex geometries are combined topologically to recover the original manifold. This, by cutting off the toroidal ends and then gluing the torus boundaries by affine mappings (indicated by the labeled edges in Figure 1). The point of this work is to make the affine gluing respect an interpretation of the metric geometry in terms of a new notion of `` regional Lie generated geometry". The vertex regions use four geometries in Lie form combined in the overlap edge regions via affine geometry. The Theorem solves, using Geometrization, a 45 year old question/approach to the Poincar\'{e} Conjecture. This was described in a '76 Princeton Math dept. preprint and finally documented in the 1983 reference by Thurston and the second author.


title: Application of BCFW-recursion relations and the Feynman-tree theorem to the four gluon amplitude with all plus helicities

abstract: Recently it has been shown that in gauge theories amplitudes to any perturbation order can be obtained by glueing together simple three-point on-shell amplitudes. These three-point amplitudes in turn are fixed by locality and Lorentz invariance. This factorization into three-point on-shell amplitudes follows from the BCFW recursion relations and the Feynman-tree theorem. In an explicit example, that is, the four-gluon amplitude with all plus helicities, we illustrate the method. In conventional calculation this amplitude corresponds to one-loop box diagrams.


title: Gradient Noise Convolution (GNC): Smoothing Loss Function for Distributed Large-Batch SGD

abstract: Large-batch stochastic gradient descent (SGD) is widely used for training in distributed deep learning because of its training-time efficiency, however, extremely large-batch SGD leads to poor generalization and easily converges to sharp minima, which prevents naive large-scale data-parallel SGD (DP-SGD) from converging to good minima. To overcome this difficulty, we propose gradient noise convolution (GNC), which effectively smooths sharper minima of the loss function. For DP-SGD, GNC utilizes so-called gradient noise, which is induced by stochastic gradient variation and convolved to the loss function as a smoothing effect. GNC computation can be performed by simply computing the stochastic gradient on each parallel worker and merging them, and is therefore extremely easy to implement. Due to convolving with the gradient noise, which tends to spread along a sharper direction of the loss function, GNC can effectively smooth sharp minima and achieve better generalization, whereas isotropic random noise cannot. We empirically show this effect by comparing GNC with isotropic random noise, and show that it achieves state-of-the-art generalization performance for large-scale deep neural network optimization.


title: Topology Maintained Structure Encoding

abstract: Deep learning has been used as a powerful tool for various tasks in computer vision, such as image segmentation, object recognition and data generation. A key part of end-to-end training is designing the appropriate encoder to extract specific features from the input data. However, few encoders maintain the topological properties of data, such as connection structures and global contours. In this paper, we introduce a Voronoi Diagram encoder based on convex set distance (CSVD) and apply it in edge encoding. The boundaries of Voronoi cells is related to detected edges of structures and contours. The CSVD model improves contour extraction in CNN and structure generation in GAN. We also show the experimental results and demonstrate that the proposed model has great potentiality in different visual problems where topology information should be involved.


title: Self-duality in quantum K-theory

abstract: We describe an attempt to make quantum K-theory (of stable maps) more amenable to the self-duality/rigidity arguments of arXiv:1512.07363 in quasimap theory, by twisting the virtual structure sheaf. For $\mathbb{P}^n$ this twist produces invariants which are self-dual rational functions, but asymptotic analysis shows this is no longer the case for general GKM manifolds such as flag varieties. Such analysis is done via an explicit combinatorial description of localization for quantum K-theory on GKM manifolds, and Givental's adelic characterization.


title: A new cosmological probe using super-massive black hole shadows

abstract: We study the prospects of using the low-redshift and high-redshift black hole shadows as new cosmological standard rulers for measuring cosmological parameters. We show that, using the low-redshift observation of the black hole shadow of M87$^\star$, the Hubble constant can be independently determined with a precision of about $13\%$ as $H_0=70\pm 9$ km s$^{-1}$ Mpc$^{-1}$. The high-redshift observations of super-massive black hole shadows may accurately determine a combination of parameters $H_0$ and ${\Omega_{\rm m}}$, and we show by a simple simulation that combining them with the type Ia supernovae observations would give precise measurements of the cosmological parameters.


title: Swimmers' wake structures are not reliable indicators of swimming performance

abstract: The structure of swimmers' wakes is often assumed to be an indicator of swimming performance, that is, how momentum is produced and energy is consumed. Here, we discuss three cases where this assumption fails. In general, great care should be taken in deriving any conclusions about swimming performance from the wake flow pattern.


title: Hierarchical Optimal Transport for Document Representation

abstract: The ability to measure similarity between documents enables intelligent summarization and analysis of large corpora. Past distances between documents suffer from either an inability to incorporate semantic similarities between words or from scalability issues. As an alternative, we introduce hierarchical optimal transport as a meta-distance between documents, where documents are modeled as distributions over topics, which themselves are modeled as distributions over words. We then solve an optimal transport problem on the smaller topic space to compute a similarity score. We give conditions on the topics under which this construction defines a distance, and we relate it to the word mover's distance. We evaluate our technique for k-NN classification and show better interpretability and scalability with comparable performance to current methods at a fraction of the cost.


title: Convergence to equilibrium for hypoelliptic non-symmetric Ornstein-Uhlenbeck type operators

abstract: We study a generalized curvature dimension inequality which is suitable for subelliptic Ornstein-Uhlenbeck type operators and deduce convergence to equilibrium in the $L^2$ and entropic sense. The main difficulty is that the operators we consider may not be symmetric. Our results apply in particular to Ornstein-Uhlenbeck operators on two-step Carnot groups.


title: Bounce Configuration from Gradient Flow

abstract: Based on the gradient flow, we propose a new method to determine the bounce configuration for false vacuum decay. Our method is applicable to a large class of models with multiple fields. Since the bounce is a saddle point of an action, a naive gradient flow method which minimizes the action does not work. We point out that a simple modification of the flow equation can make the bounce its stable fixed point while the false vacuum configuration an unstable one. Consequently, the bounce configuration can be obtained simply by following the flow without a careful choice of an initial configuration. With numerical analysis, we confirm the validity of our claim, checking that the flow equation we propose indeed has solutions that flow into the bounce configuration.


title: Origin of $\alpha$-rich young stars: clues from C, N and O

abstract: A small set of chemically old stars that appear young by their independently derived masses has been detected. These are so-called $\alpha$-rich young stars. For a sample of 51 red-giant stars, for which spectra are available from SDSS/APOGEE and masses are available from asteroseismic measures based on \textit{Kepler} lightcurves, we derive the C, N and O abundances through an independent analysis. These stars span a wide range of N/C surface number density ratios. We interpret the high-mass stars with low N/C as being products of mergers or mass transfer during or after first dredge up, because the dredge-up features are the same as for low-mass stars. The $\alpha$-rich young stars with high N/C follow the expected trend of N/C for their mass, and could be either genuine young stars (leaving their high [$\alpha$/Fe] unexplained) or the results of mergers on the main sequence.


title: Improved Extrapolation Methods of Data-driven Background Estimation in High-Energy Physics

abstract: Data-driven methods of background estimations are often used to obtain more reliable descriptions of backgrounds. In hadron collider experiments, data-driven techniques are used to estimate backgrounds due to multi-jet events, which are difficult to model accurately. In this article, we propose an improvement on one of the most widely used data-driven methods in the hadron collision environment, the "ABCD" method of extrapolation. We describe the mathematical background behind the data-driven methods and extend the idea to propose improved general methods.


title: Existence of well-filterifications of $T_0$ topological spaces

abstract: We prove that for every $T_0$ space $X$, there is a well-filtered space $W(X)$ and a continuous mapping $\eta_X: X\lra W(X)$ such that for any well-filtered space $Y$ and any continuous mapping $f: X\lra Y$ there is a unique continuous mapping $\hat{f}: W(X)\lra Y$ such that $f=\hat{f}\circ \eta_X$. Such a space $W(X)$ will be called the well-filterification of $X$. This result gives a positive answer to one of the major open problems on well-filtered spaces. Another result on well-filtered spaces we will prove is that the product of two well-filtered spaces is well-filtered.


title: Early formation of moons around large trans-Neptunian objects via giant impacts

abstract: Recent studies have revealed that all large (over 1000 km in diameter) trans-Neptunian objects (TNOs) form satellite systems. Although the largest Plutonian satellite, Charon, is thought to be an intact fragment of an impactor directly formed via a giant impact, whether giant impacts can explain the variations in secondary-to-primary mass ratios and spin/orbital periods among all large TNOs remains to be determined. Here we systematically perform hydrodynamic simulations to investigate satellite formation via giant impacts. We find that the simulated secondary-to-primary mass ratio varies over a wide range, which overlaps with observed mass ratios. We also reveal that the satellite systems' current distribution of spin/orbital periods and small eccentricity can be explained only when their spins and orbits tidally evolve: initially as fluid-like bodies, but finally as rigid bodies. These results suggest that all satellites of large TNOs were formed via giant impacts in the early stage of solar system formation, before the outward migration of Neptune, and that they were fully or partially molten during the giant impact era.


title: Essence Knowledge Distillation for Speech Recognition

abstract: It is well known that a speech recognition system that combines multiple acoustic models trained on the same data significantly outperforms a single-model system. Unfortunately, real time speech recognition using a whole ensemble of models is too computationally expensive. In this paper, we propose to distill the knowledge of essence in an ensemble of models (i.e. the teacher model) to a single model (i.e. the student model) that needs much less computation to deploy. Previously, all the soften outputs of the teacher model are used to optimize the student model. We argue that not all the outputs of the ensemble are necessary to be distilled. Some of the outputs may even contain noisy information that is useless or even harmful to the training of the student model. In addition, we propose to train the student model with a multitask learning approach by utilizing both the soften outputs of the teacher model and the correct hard labels. The proposed method achieves some surprising results on the Switchboard data set. When the student model is trained together with the correct labels and the essence knowledge from the teacher model, it not only significantly outperforms another single model with the same architecture that is trained only with the correct labels, but also consistently outperforms the teacher model that is used to generate the soft labels.


title: NERO: Nested Rebalancing Optimization for Mobility on Demand

abstract: Mobility-on-Demand (MoD) services, such as taxi-like services, are promising applications. Rebalancing the vehicle locations against customer requests is a key challenge in the services because imbalance between the two worsens service quality (e.g., longer waiting times). Previous work would be hard to apply to large-scale MoD services because of the computational complexity. In this study, we develop a scalable approach to optimize rebalancing policy in stages from coarse regions to fine regions hierarchically. We prove that the complexity of our method decreases exponentially with increasing number of layers, while the error is bounded. We numerically confirmed that the method reduces computational time by increasing layers with a little extra travel time using a real-world taxi trip dataset.


title: Intrinsic skyrmions in monolayer Janus magnets

abstract: Skyrmions are localized solitonic spin textures with protected topology, which are promising as information carriers in ultra-dense and energy-efficient logic and memory devices. Recently, magnetic skyrmions have been observed in magnetic thin films, and are stabilized by the extrinsic interfacial Dzyaloshinskii-Moriya interaction (DMI) and/or external magnetic fields. The specific effects in magnetic monolayer materials have not been thoroughly studied. Here, we investigate the intrinsic magnetic skyrmions in a family of monolayer Janus van der Waals magnets, MnSTe, MnSeTe, VSeTe, and MnSSe, by the first-principles calculations combined with the micromagnetic simulations. The monolayer Janus MnSTe, MnSeTe, and VSeTe with out-of-plane geometric asymmetry and strong spin-orbit coupling (SOC) have a large intrinsic DMI, which could stabilize a sub-50 nm intrinsic skyrmions in monolayer MnSTe and MnSeTe at zero magnetic field. While monolayer VSeTe with in-plane easy axis forms magnetic domain rather than skyrmions. Moreover, the size and shape of skyrmions can be tuned by an external magnetic field. Therefore, our work motivates a new vista for seeking intrinsic skyrmions in atomic-scale magnets.


title: Is it Easier to Prove Theorems that are Guaranteed to be True?

abstract: Consider the following two fundamental open problems in complexity theory: (a) Does a hard-on-average language in NP imply the existence of one-way functions?, or (b) Does a hard-on-average language in NP imply a hard-on-average problem in TFNP (i.e., the class of total NP search problem)? Our main result is that the answer to (at least) one of these questions is yes. Both one-way functions and problems in TFNP can be interpreted as promise-true distributional NP search problems---namely, distributional search problems where the sampler only samples true statements. As a direct corollary of the above result, we thus get that the existence of a hard-on-average distributional NP search problem implies a hard-on-average promise-true distributional NP search problem. In other words, "It is no easier to find witnesses (a.k.a. proofs) for efficiently-sampled statements (theorems) that are guaranteed to be true." This result follows from a more general study of interactive puzzles---a generalization of average-case hardness in NP---and in particular, a novel round-collapse theorem for computationally-sound protocols, analogous to Babai-Moran's celebrated round-collapse theorem for information-theoretically sound protocols. As another consequence of this treatment, we show that the existence of O(1)-round public-coin non-trivial arguments (i.e., argument systems that are not proofs) imply the existence of a hard-on-average problem in NP/poly.


title: Time-evolving psychological processes over repeated decisions

abstract: Many psychological experiments have subjects repeat a task to gain the statistical precision required to test quantitative theories of psychological performance. In such experiments, time-on-task can have sizable effects on performance, changing the psychological processes under investigation. Most research has either ignored these changes, treating the underlying process as static, or sacrificed some psychological content of the models for statistical simplicity. We use particle Markov chain Monte-Carlo methods to study psychologically plausible time-varying changes in model parameters. Using data from three highly-cited experiments we find strong evidence in favor of a hidden Markov switching process as an explanation of time-varying effects. This embodies the psychological assumption of "regime switching", with subjects alternating between different cognitive states representing different modes of decision-making. The switching model explains key long- and short-term dynamic effects in the data. The central idea of our approach can be applied quite generally to quantitative psychological theories, beyond the models and data sets that we investigate.


title: Drift of pancake ice floes in the winter Antarctic marginal ice zone during polar cyclones

abstract: High temporal resolution in--situ measurements of pancake ice drift are presented, from a pair of buoys deployed on floes in the Antarctic marginal ice zone during the winter sea ice expansion, over nine days in which the region was impacted by four polar cyclones. Concomitant measurements of wave-in-ice activity from the buoys is used to infer that pancake ice conditions were maintained over at least the first seven days. Analysis of the data shows: (i)~unprecedentedly fast drift speeds in the Southern Ocean; (ii)~high correlation of drift velocities with the surface wind velocities, indicating absence of internal ice stresses $>$100\,km in from the edge in 100\% remotely sensed ice concentration; and (iii)~presence of a strong inertial signature with a 13\,h period. A Langrangian free drift model is developed, including a term for geostrophic currents that reproduces the 13\,h period signature in the ice motion. The calibrated model is shown to provide accurate predictions of the ice drift for up to 2\,days, and the calibrated parameters provide estimates of wind and ocean drag for pancake floes under storm conditions.


title: Repulsive Interactions and Universal Properties of Charged Anti-de Sitter Black Hole Microstructures

abstract: The Ruppeiner geometry of thermodynamic fluctuations provides a powerful diagnostic of black hole microstructures. We investigate this for charged AdS black holes and find that while an attractive microstructure interaction dominates for most parameter ranges, a weak repulsive interaction dominates for small black holes of high temperature. This unique property distinguishes the black hole system from that of a Van der Waals fluid, where only attractive microstructure interactions are found. We also find two other novel universal properties for charged black holes. One is that the repulsive interaction is independent of the black hole charge and temperature. The other is that the behavior of the Ruppeiner curvature scalar near criticality is characterized by a dimensionless constant that is identical to that for a Van der Waals fluid, providing us with new insight into black hole microstructures.


title: Star formation within globular clusters:discrete multiple bursts and top-light mass functions

abstract: The observed discrete multiple stellar populations and internal abundance spreads in r- and s-process elements within globular clusters (GCs) have been suggested to be explained self-consistently by discrete star formation events over a longer timescale (10^8 yr). We here investigate whether such star formation is really possible within GCs using numerical simulations that include effects of dynamical interaction between individual stars and the accumulated gas ("star-gas interaction") on star formation. The principal results are as follows. Small gas clouds with densities larger than $10^{10}$ atoms cm^{-3} corresponding to first stellar cores can be developed from gas without turbulence. Consequently, new stars can be formed from the gas with high star formation efficiencies (>0.5) in a bursty manner. However, star formation can be suppressed when the gas mass fractions within GCs (f_g) are less than a threshold value (f_g, th). This f_g, th is larger for GCs with lower masses and larger gas disks. Star-gas interaction and gravitational potentials of GCs can combine to suppress the formation of massive stars (i.e., "top-light" stellar initial mass function). Formation of He-rich stars directly from gas of massive AGB stars is possible in massive GCs due to low f_g, th (<0.01). Short bursty star formation only for f_g>f_g, th can be partly responsible for discrete multiple star formation events within GCs.


title: Universal Litmus Patterns: Revealing Backdoor Attacks in CNNs

abstract: The unprecedented success of deep neural networks in many applications has made these networks a prime target for adversarial exploitation. In this paper, we introduce a benchmark technique for detecting backdoor attacks (aka Trojan attacks) on deep convolutional neural networks (CNNs). We introduce the concept of Universal Litmus Patterns (ULPs), which enable one to reveal backdoor attacks by feeding these universal patterns to the network and analyzing the output (i.e., classifying the network as `clean' or `corrupted'). This detection is fast because it requires only a few forward passes through a CNN. We demonstrate the effectiveness of ULPs for detecting backdoor attacks on thousands of networks with different architectures trained on four benchmark datasets, namely the German Traffic Sign Recognition Benchmark (GTSRB), MNIST, CIFAR10, and Tiny-ImageNet. The codes and train/test models for this paper can be found here https://umbcvision.github.io/Universal-Litmus-Patterns/.


title: User Sentiment as a Success Metric: Persistent Biases Under Full Randomization

abstract: We study user sentiment (reported via optional surveys) as a metric for fully randomized A/B tests. Both user-level covariates and treatment assignment can impact response propensity. We propose a set of consistent estimators for the average and local treatment effects on treated and respondent users. We show that our problem can be mapped onto the intersection of the missing data problem and observational causal inference, and we identify conditions under which consistent estimators exist. We evaluate the performance of estimators via simulation studies and find that more complicated models do not necessarily provide superior performance.


title: Efficient Navigation of Colloidal Robots in an Unknown Environment via Deep Reinforcement Learning

abstract: Equipping active colloidal robots with intelligence such that they can efficiently navigate in unknown complex environments could dramatically impact their use in emerging applications like precision surgery and targeted drug delivery. Here we develop a model-free deep reinforcement learning that can train colloidal robots to learn effective navigation strategies in unknown environments with random obstacles. We show that trained robot agents learn to make navigation decisions regarding both obstacle avoidance and travel time minimization, based solely on local sensory inputs without prior knowledge of the global environment. Such agents with biologically inspired mechanisms can acquire competitive navigation capabilities in large-scale, complex environments containing obstacles of diverse shapes, sizes, and configurations. This study illustrates the potential of artificial intelligence in engineering active colloidal systems for future applications and constructing complex active systems with visual and learning capability.


title: A Debiased MDI Feature Importance Measure for Random Forests

abstract: Tree ensembles such as Random Forests have achieved impressive empirical success across a wide variety of applications. To understand how these models make predictions, people routinely turn to feature importance measures calculated from tree ensembles. It has long been known that Mean Decrease Impurity (MDI), one of the most widely used measures of feature importance, incorrectly assigns high importance to noisy features, leading to systematic bias in feature selection. In this paper, we address the feature selection bias of MDI from both theoretical and methodological perspectives. Based on the original definition of MDI by Breiman et al. for a single tree, we derive a tight non-asymptotic bound on the expected bias of MDI importance of noisy features, showing that deep trees have higher (expected) feature selection bias than shallow ones. However, it is not clear how to reduce the bias of MDI using its existing analytical expression. We derive a new analytical expression for MDI, and based on this new expression, we are able to propose a debiased MDI feature importance measure using out-of-bag samples, called MDI-oob. For both the simulated data and a genomic ChIP dataset, MDI-oob achieves state-of-the-art performance in feature selection from Random Forests for both deep and shallow trees.


title: Relative Brauer Groups and \'etale cohomology

abstract: In this article, we construct a natural group homomorphism $$ \psi: \text{Br}(f)\to H^{1}_{et}(S, f_{*}\mathcal{O}_{X}^{\times}/\mathcal{O}_{S}^{\times})$$ for a faithful affine map $f: X \to S$ of noetherian schemes. Here $\text{Br}(f)$ denotes the relative Brauer group of $f.$ We also discuss the behavior of Brauer groups for a subintegral map. Furthermore, we prove a relative version of Kummer's exact sequence.


title: The induced subgraph K_2_,_3 in a non-Hamiltonian graphs

abstract: A graph $\textit{G}$ is a tuple $(\textit{V}, \textit{E})$, where $\textit{V}$ is the vertex set, $\textit{E}$ is the edge set. A reduced graph is a graph of deleting non-Hamiltonian edges and smoothing out the redundant vertices of degree 2 on an edge except for leaving only one vertex of degree 2. We denote by I a set of cycles only jointed by inside vertices. |I| is the number of sets I in a graph. We use a norm graph to denote a reduced graph of |I|=1. $\textit{g}$ is a subgraph obtained by deleting all removable cycles from a basis of a norm graph. In this paper, we show that a norm graph $\textit{G}$ is non-Hamiltonian, if and only if, $\textit{g}$ and K_2_,_3 are homeomorphic.


title: Low-Complexity Equalization of MIMO-OSDM

abstract: Orthogonal signal-division multiplexing (OSDM) is an attractive alternative to conventional orthogonal frequency-division multiplexing (OFDM) due to its enhanced ability in peak-to-average power ratio (PAPR) reduction. Combining OSDM with multiple-input multiple-output (MIMO) signaling has the potential to achieve high spectral and power efficiency. However, a direct channel equalization in this case incurs a cubic complexity, which may be expensive for practical use. To solve the problem, low-complexity per-vector and block equalization algorithms of MIMO-OSDM are proposed in this paper for time-invariant and time-varying channels, respectively. By exploiting the channel matrix structures, these algorithms have only a linear complexity in the transformed domain. Simulation results demonstrate their validity and the related performance comparisons.


title: Pati-Salam unification with a spontaneous CP violation

abstract: Recent neutrino oscillation experiments suggest that the PMNS matrix in the lepton sector has a $CP$ violating phase as the CKM matrix in the quark sector. However, origin of these phases in both matrices are not clarified by now. Although complex Yukawa couplings could induce these phases, they remain as free parameters of the model even in that case. If the $CP$ symmetry is considered to be spontaneously broken, they are expected to be determined by some physics at a much lower energy scale than the Planck scale. We study such a possibility in a framework of Pati-Salam type unification. We also discuss other phenomenological issues in it.


title: Chromospheric cannonballs on the Sun

abstract: In the highly dynamic chromosphere, there exist many kinds of small-scale activities, such as spicules, surges, and Ellerman bombs. Here, we report the discovery of a new phenomenon in the chromosphere observed with the New Vacuum Solar Telescope at the Fuxian Solar Observatory. In the high tempo-spatial resolution H$\alpha$ images, some dark or bright structures are found to fly along the curved trajectory, looking like cannonballs. Their average size, mass, and velocity are about 1.5 $\times$ 10$^{9}$ km$^{3}$, 1.5 $\times$ 10$^{8}$ kg, and 56 km s$^{-1}$, respectively. In the simultaneous (extreme-)ultraviolet images obtained by the Solar Dynamics Observatory, these cannonballs appear as brighter features compared to the surrounding area, implying that there exists some kind of heating during this process. The photospheric magnetograms show the magnetic flux emergence and interaction with the pre-existing fields. These observations reveal that the cannonballs are chromospheric material blobs launched due to the magnetic reconnection between emerging magnetic flux and the pre-existing loops.


title: Dual Adaptivity: A Universal Algorithm for Minimizing the Adaptive Regret of Convex Functions

abstract: To deal with changing environments, a new performance measure -- adaptive regret, defined as the maximum static regret over any interval, was proposed in online learning. Under the setting of online convex optimization, several algorithms have been successfully developed to minimize the adaptive regret. However, existing algorithms lack universality in the sense that they can only handle one type of convex functions and need apriori knowledge of parameters. By contrast, there exist universal algorithms, such as MetaGrad, that attain optimal static regret for multiple types of convex functions simultaneously. Along this line of research, this paper presents the first universal algorithm for minimizing the adaptive regret of convex functions. Specifically, we borrow the idea of maintaining multiple learning rates in MetaGrad to handle the uncertainty of functions, and utilize the technique of sleeping experts to capture changing environments. In this way, our algorithm automatically adapts to the property of functions (convex, exponentially concave, or strongly convex), as well as the nature of environments (stationary or changing). As a by product, it also allows the type of functions to switch between rounds.


title: Water Preservation in Soan River Basin using Deep Learning Techniques

abstract: Water supplies are crucial for the development of living beings. However, change in the hydrological process i.e. climate and land usage are the key issues. Sustaining water level and accurate estimating for dynamic conditions is a critical job for hydrologists, but predicting hydrological extremes is an open issue. In this paper, we proposed two deep learning techniques and three machine learning algorithms to predict stream flow, given the present climate conditions. The results showed that the Recurrent Neural Network (RNN) or Long Short-term Memory (LSTM), an artificial neural network based method, outperform other conventional and machine-learning algorithms for predicting stream flow. Furthermore, we analyzed that stream flow is directly affected by precipitation, land usage, and temperature. These indexes are critical, which can be used by hydrologists to identify the potential for stream flow. We make the dataset publicly available (https://github.com/sadaqat007/Dataset) so that others should be able to replicate and build upon the results published.


title: A New Look at Cell-Free Massive MIMO: Making It Practical With Dynamic Cooperation

abstract: This paper takes a new look at Cell-free Massive MIMO (multiple-input multiple-output) through the lens of the dynamic cooperation cluster framework from the Network MIMO literature. The purpose is to identify and address scalability issues that appear in prior work. We provide distributed algorithms for initial access, pilot assignment, cluster formation, precoding, and combining that are scalable in the sense of being implementable with arbitrarily many users. Interestingly, the suggested precoding and combining outperform conjugate beamforming and matched filtering, respectively, while also being fully distributed.


title: Unconventional phase III of high-pressure solid hydrogen

abstract: We reassess the phase diagram of high-pressure solid hydrogen using mean-field and many-body wave function based approaches to determine the nature of phase III of solid hydrogen. To discover the best candidates for phase III, density functional theory calculations within the meta-generalized gradient approximation by means of the strongly constrained and appropriately normed (SCAN) semilocal density functional are employed. We study eleven molecular structures with different symmetries, which are the most competitive phases, within the pressure range of 100 to 500~GPa. The SCAN phase diagram predicts that the $C2/c-24$ and $P6_122-36$ structures are the best candidates for phase III with an energy difference of less than 1~meV/atom. To verify the stability of the competitive insulator structures of $C2/c-24$ and $P6_122-36$, we apply the diffusion Monte Carlo (DMC) method to optimise the percentage $\alpha$ of exact-exchange in the trial many-body wave function. We found that the optimised $\alpha$ equals to $40 \%$, and denote the corresponding exchange and correlation functional as PBE1. The energy gain with respect to the well-known hybrid functional PBE0, where $\alpha = 25\%$, varies with density and structure. The PBE1-DMC enthalpy-pressure phase diagram predicts that the $P6_122-36$ structure is stable up to 210~GPa, where it transforms to the $C2/c-24$. Hence, we predict that the phase III of high-pressure solid hydrogen is polymorphic.

categories: cond-mat.other astro-ph.EP physics.chem-ph physics.comp-ph


title: On the Role of Geometry in Geo-Localization

abstract: Humans can build a mental map of a geographical area to find their way and recognize places. The basic task we consider is geo-localization - finding the pose (position & orientation) of a camera in a large 3D scene from a single image. We aim to experimentally explore the role of geometry in geo-localization in a convolutional neural network (CNN) solution. We do so by ignoring the often available texture of the scene. We therefore deliberately avoid using texture or rich geometric details and use images projected from a simple 3D model of a city, which we term lean images. Lean images contain solely information that relates to the geometry of the area viewed (edges, faces, or relative depth). We find that the network is capable of estimating the camera pose from the lean images, and it does so not by memorization but by some measure of geometric learning of the geographical area. The main contributions of this paper are: (i) providing insight into the role of geometry in the CNN learning process; and (ii) demonstrating the power of CNNs for recovering camera pose using lean images.


title: Quaternionic Brownian windings

abstract: We define and study the 3-dimensional windings along Brownian paths in the quaternionic Euclidean, projective and hyperbolic spaces. In particular, the asymptotic laws of these windings are shown to be Gaussian for the flat and spherical geometries while the hyperbolic winding exhibits a different long time-behavior. The corresponding asymptotic law seems to be new and is related to the Cauchy relativistic distribution.