title: Cooperative Interactions Govern the Fermiology of the Polar Metal Ca$_3$Ru$_2$O$_7$

abstract: The antiferromagnetic Ruddlesden-Popper ruthenate Ca$_3$Ru$_2$O$_7$ is a model polar metal, combining inversion symmetry breaking with metallic conductivity; however, its low temperature ($T < 48$ K) crystal structure and Fermi surface topology remain ambiguous despite numerous measurements and theoretical studies. Here we perform both first principles calculations with static correlations and angle resolved photoelectron spectroscopy experiments to construct a complete model of Ca$_3$Ru$_2$O$_7$, reconciling inconsistencies among interpretations of electrical transport, thermopower measurements, and momentum- and energy-resolved band dispersions. The solution relies on treating the interplay among Coulomb repulsion, magnetic ordering, spin-orbit interactions, and the RuO$_6$ octahedral degrees-of-freedom on equal footing. For temperatures $30<T < 48$ K, we propose weak electron-electron interactions produce a symmetry-preserving metal-semimetal transition with Weyl nodes in proximity to the Fermi level, whereas a new orthorhombic $Pn2_1a$ structure emerges for $T<30$ K, exhibiting charge and spin density waves from enhanced Coulombic interactions.


title: A nonlinear version of Bourgain's projection theorem

abstract: We prove a version of Bourgain's projection theorem for parametrized families of $C^2$ maps, that refines the original statement even in the linear case. As one application, we show that if $A$ is a Borel set of Hausdorff dimension close to $1$ in $\mathbb{R}^2$ or close to $3/2$ in $\mathbb{R}^3$, then for $y\in A$ outside of a very sparse set, the pinned distance set $\{|x-y|:x\in A\}$ has Hausdorff dimension at least $1/2+c$, where $c$ is universal. Furthermore, the same holds if the distances are taken with respect to a $C^2$ norm of positive Gaussian curvature. As further applications, we obtain new bounds on the dimensions of spherical projections, and an improvement over the trivial estimate for incidences between $\delta$-balls and $\delta$-neighborhoods of curves in the plane, under fairly general assumptions. The proofs depend on a new multiscale decomposition of measures into ``Frostman pieces'' that may be of independent interest.


title: Density-controlled growth of vertical InP nanowires on Si(111) substrates

abstract: A procedure to achieve the density-controlled growth of gold-catalyzed InP nanowires (NWs) on (111) silicon substrates using the vapor-liquid-solid method by molecular beam epitaxy is reported. We develop an effective and mask-free method based on controlling the number and the size of the Au-In catalyst droplets in addition to the conditions for the NW nucleation. We show that the NW density can be tuned with values in the range of 18 {\mu}m-2 to < 0.1 {\mu}m-2 by the suitable choice of the In/Au catalyst beam equivalent pressure (BEP) ratio, by the phosphorous BEP and the growth temperature. The same degree of control is transferred to InAs/InP quantum dot-nanowires, taking advantage of the ultra-low density to study by micro-photoluminescence the optical properties of a single quantum dot-nanowires emitting in the telecom band monolithically grown on silicon. Optical spectroscopy at cryogenic temperature successfully confirmed the relevance of our method to excite single InAs quantum dots on the as-grown sample, which opens the path for large-scale applications based on single quantum dot-nanowire devices integrated on silicon.


title: Non-local correlations in Iron Pnictides and Chalcogenides

abstract: Deviations of low-energy electronic structure of iron-based superconductors from density functional theory predictions have been parametrized in terms of band- and orbital-dependent mass renormalizations and energy shifts. The former have typically been described in terms of a local self-energy within the framework of dynamical mean field theory, while the latter appears to require non-local effects due to interband scattering. By calculating the renormalized bandstructure in both random phase approximation (RPA) and the two-particle self-consistent approximation (TPSC), we show that correlations in pnictide systems like LaFeAsO and LiFeAs can be described rather well by a non-local self-energy. In particular, Fermi pocket shrinkage as seen in experiment occurs due to repulsive interband finite-energy scattering. For the canonical iron chalcogenide system FeSe in its bulk tetragonal phase, the situation is however more complex since even including momentum-dependent band renormalizations cannot explain experimental findings. We propose that the long-range Coulomb interaction may play an important role in band-structure renormalization in FeSe. We further compare our evaluations of non-local quasiparticle scattering lifetime within RPA and TPSC with experimental data for LiFeAs.


title: Volumetric landmark detection with a multi-scale shift equivariant neural network

abstract: Deep neural networks yield promising results in a wide range of computer vision applications, including landmark detection. A major challenge for accurate anatomical landmark detection in volumetric images such as clinical CT scans is that large-scale data often constrain the capacity of the employed neural network architecture due to GPU memory limitations, which in turn can limit the precision of the output. We propose a multi-scale, end-to-end deep learning method that achieves fast and memory-efficient landmark detection in 3D images. Our architecture consists of blocks of shift-equivariant networks, each of which performs landmark detection at a different spatial scale. These blocks are connected from coarse to fine-scale, with differentiable resampling layers, so that all levels can be trained together. We also present a noise injection strategy that increases the robustness of the model and allows us to quantify uncertainty at test time. We evaluate our method for carotid artery bifurcations detection on 263 CT volumes and achieve a better than state-of-the-art accuracy with mean Euclidean distance error of 2.81mm.


title: Explaining Groups of Points in Low-Dimensional Representations

abstract: A common workflow in data exploration is to learn a low-dimensional representation of the data, identify groups of points in that representation, and examine the differences between the groups to determine what they represent. We treat this workflow as an interpretable machine learning problem by leveraging the model that learned the low-dimensional representation to help identify the key differences between the groups. To solve this problem, we introduce a new type of explanation, a Global Counterfactual Explanation (GCE), and our algorithm, Transitive Global Translations (TGT), for computing GCEs. TGT identifies the differences between each pair of groups using compressed sensing but constrains those pairwise differences to be consistent among all of the groups. Empirically, we demonstrate that TGT is able to identify explanations that accurately explain the model while being relatively sparse, and that these explanations match real patterns in the data.


title: Efficient Exploration in Constrained Environments with Goal-Oriented Reference Path

abstract: In this paper, we consider the problem of building learning agents that can efficiently learn to navigate in constrained environments. The main goal is to design agents that can efficiently learn to understand and generalize to different environments using high-dimensional inputs (a 2D map), while following feasible paths that avoid obstacles in obstacle-cluttered environment. To achieve this, we make use of traditional path planning algorithms, supervised learning, and reinforcement learning algorithms in a synergistic way. The key idea is to decouple the navigation problem into planning and control, the former of which is achieved by supervised learning whereas the latter is done by reinforcement learning. Specifically, we train a deep convolutional network that can predict collision-free paths based on a map of the environment-- this is then used by a reinforcement learning algorithm to learn to closely follow the path. This allows the trained agent to achieve good generalization while learning faster. We test our proposed method in the recently proposed Safety Gym suite that allows testing of safety-constraints during training of learning agents. We compare our proposed method with existing work and show that our method consistently improves the sample efficiency and generalization capability to novel environments.


title: Breaking barriers for women in science

abstract: This report summarises the work and results produced at the 146th European Study Group with Industry/co-creation event with society on the challenge \textit{Breaking barriers for women in Science}. The aim of this challenge, proposed by the Cyprus-based non-profit AIPFE Cyprus-Women of Europe, was to quantify the barriers that women face in science so that eventually policy changes can take place in Cyprus and elsewhere. Two distinct but related challenges were considered. The first challenge was to quantify the wage gap between men and women in 28 European countries. In this connection, we analysed Eurostat data and developed a mathematical model quantifying how probable it is for countries to decrease their wage gap. Secondly, we analysed data provided by the University of Cyprus and determined the percentage of women and men in STEM (Science, Technology, Engineering and Mathematics) departments as they move up the academic ladder, starting from the undergraduate level. Studying the latter challenge is a first step in studying the wage gap in all Cypriot universities and in other universities abroad. This work was supported financially by the EU project SciShops.eu, the EU Mathematics for Industry Network (MI-NET) and several other organisations.


title: Single-exposure absorption imaging of ultracold atoms using deep learning

abstract: Absorption imaging is the most common probing technique in experiments with ultracold atoms. The standard procedure involves the division of two frames acquired at successive exposures, one with the atomic absorption signal and one without. A well-known problem is the presence of residual structured noise in the final image, due to small differences between the imaging light in the two exposures. Here we solve this problem by performing absorption imaging with only a single exposure, where instead of a second exposure the reference frame is generated by an unsupervised image-completion autoencoder neural network. The network is trained on images without absorption signal such that it can infer the noise overlaying the atomic signal based only on the information in the region encircling the signal. We demonstrate our approach on data captured with a quantum degenerate Fermi gas. The average residual noise in the resulting images is below that of the standard double-shot technique. Our method simplifies the experimental sequence, reduces the hardware requirements, and can improve the accuracy of extracted physical observables. The trained network and its generating scripts are available as an open-source repository (http://absDL.github.io/).

categories: cond-mat.quant-gas cs.LG eess.IV physics.atom-ph


title: The Imprint of the Protoplanetary Disk in the Accretion of Super-Earth Envelopes

abstract: Super-Earths are by far the most dominant type of exoplanet, yet their formation is still not well understood. In particular, planet formation models predict that many of them should have accreted enough gas to become gas giants. Here we examine the role of the protoplanetary disk in the cooling and contraction of the protoplanetary envelope. In particular, we investigate the effects of 1) the thermal state of the disk as set by the relative size of heating by accretion or irradiation, and whether its energy is transported by radiation or convection, and 2) advection of entropy into the outer envelope by disk flows that penetrate the Hill sphere, as found in 3D global simulations. We find that, at 5 and 1 AU, this flow at the level reported in the non-isothermal simulations where it penetrates only to ~ 0.3 times the Hill radius has little effect on the cooling rate since most of the envelope mass is concentrated close to the core, and far from the flow. On the other hand, at 0.1 AU, the envelope quickly becomes fully-radiative, nearly isothermal, and thus cannot cool down, stalling gas accretion. This effect is significantly more pronounced in convective disks, leading to envelope mass orders of magnitude lower. Entropy advection at 0.1 AU in either radiative or convective disks could therefore explain why super-Earths failed to undergo runaway accretion. These results highlight the importance of the conditions and energy transport in the protoplanetary disk for the accretion of planetary envelopes.


title: On Super-Translation transition between Quasi-local Black holes

abstract: We re-explore the symmetries of a weakly isolated horizon (WIH) from the perspective of freedom in the choice of intrinsic data. The supertranslations are realized as additional symmetries. Further, it is shown that all smooth vector fields tangent to the cross-sections are Hamiltonian. We show that joining two WIHs which differ in these Hamiltonians and boundary data, under the action of a supertranslation, necessarily require the inclusion of an intermediate dynamical phase, possibly with the inclusion of a stress energy tensor. This phase of the boundary is non-expanding but not a WIH and invariably leads to a violation of the dominant energy condition. The assumptions made allow us to reconstruct the (classically) pathological stress energy tensor also.


title: Singular nonsymmetric Jack polynomials for some rectangular tableaux

abstract: In the intersection of the theories of nonsymmetric Jack polynomials in $N$ variables and representations of the symmetric groups $\mathcal{S}_{N}$ one finds the singular polynomials. For certain values of the parameter $\kappa$ there are Jack polynomials which span an irreducible $\mathcal{S}_{N}$-module and are annihilated by the Dunkl operators. The $\mathcal{S}_{N}$-module is labeled by a partition of $N$, called the isotype of the polynomials. In this paper the Jack polynomials are of the vector-valued type, that is, elements of the tensor product of the scalar polynomials with the span of reverse standard Young tableaux of the shape of a fixed partition of $N$. In particular this partition is of shape $\left( m,m,\ldots,m\right) $ with $2k$ components and the constructed singular polynomials are of isotype $\left( mk,mk\right) $ for the parameter $\kappa=$ $1/\left( m+2\right) $. The paper contains the necessary background on nonsymmetric Jack polynomials and representation theory and explains the role of Jucys-Murphy elements in the construction. The main ingredient is the proof of uniqueness of certain spectral vectors, namely, the list of eigenvalues of the Jack polynomials for the Cherednik-Dunkl operators, when specialized to $\kappa=1/\left( m+2\right) $. The paper finishes with a discussion of associated maps of modules of the rational Cherednik algebra and an example illustrating the difficulty of finding singular polynomials for arbitrary partitions.


title: Alternating Sign Hypermatrix Decompositions of Latin-like Squares

abstract: To any $n \times n$ Latin square $L$, we may associate a unique sequence of mutually orthogonal permutation matrices $P = P_1, P_2, ..., P_n$ such that $L = L(P) = \sum kP_k$. Brualdi and Dahl (2018) described a generalisation of a Latin square, called an alternating sign hypermatrix Latin-like square (ASHL), by replacing $P$ with an alternating sign hypermatrix (ASHM). An ASHM is an $n \times n \times n$ (0,1,-1)-hypermatrix in which the non-zero elements in each row, column, and vertical line alternate in sign, beginning and ending with $1$. Since every sequence of $n$ mutually orthogonal permutation matrices forms the planes of a unique $n \times n \times n$ ASHM, this generalisation of Latin squares follows very naturally, with an ASHM $A$ having corresponding ASHL $L = L(A) =\sum kA_k$, where $A_k$ is the $k^{\text{th}}$ plane of $A$. This paper addresses some open problems posed in Brualdi and Dahl's article, firstly by characterising how pairs of ASHMs with the same corresponding ASHL relate to one another and providing a tight lower bound on $n$ for which two $n \times n \times n$ ASHMs can correspond to the same ASHL, and secondly by exploring the maximum number of times a particular integer may occur as an entry of an $n \times n$ ASHL. A general construction is given for an $n \times n$ ASHL with the same entry occurring $\lfloor\frac{n^2 + 4n -19}{2}\rfloor$ times, improving considerably on the previous best construction, which achieved the same entry occuring $2n$ times.


title: A Survey on Big Data for Network Traffic Monitoring and Analysis

abstract: Network Traffic Monitoring and Analysis (NTMA) represents a key component for network management, especially to guarantee the correct operation of large-scale networks such as the Internet. As the complexity of Internet services and the volume of traffic continue to increase, it becomes difficult to design scalable NTMA applications. Applications such as traffic classification and policing require real-time and scalable approaches. Anomaly detection and security mechanisms require to quickly identify and react to unpredictable events while processing millions of heterogeneous events. At last, the system has to collect, store, and process massive sets of historical data for post-mortem analysis. Those are precisely the challenges faced by general big data approaches: Volume, Velocity, Variety, and Veracity. This survey brings together NTMA and big data. We catalog previous work on NTMA that adopt big data approaches to understand to what extent the potential of big data is being explored in NTMA. This survey mainly focuses on approaches and technologies to manage the big NTMA data, additionally briefly discussing big data analytics (e.g., machine learning) for the sake of NTMA. Finally, we provide guidelines for future work, discussing lessons learned, and research directions.


title: Robotic Grasping through Combined Image-Based Grasp Proposal and 3D Reconstruction

abstract: We present a novel approach to robotic grasp planning using both a learned grasp proposal network and a learned 3D shape reconstruction network. Our system generates 6-DOF grasps from a single RGB-D image of the target object, which is provided as input to both networks. By using the geometric reconstruction to refine the the candidate grasp produced by the grasp proposal network, our system is able to accurately grasp both known and unknown objects, even when the grasp location on the object is not visible in the input image. This paper presents the network architectures, training procedures, and grasp refinement method that comprise our system. Experiments demonstrate the efficacy of our system at grasping both known and unknown objects (91% success rate in a physical robot environment, 84% success rate in a simulated environment). We additionally perform ablation studies that show the benefits of combining a learned grasp proposal with geometric reconstruction for grasping, and also show that our system outperforms several baselines in a grasping task.


title: ALMA 50-parsec resolution imaging of jet-ISM interaction in the lensed quasar MGJ0414+0534

abstract: We report our high-resolution (0.03 arcsec to 0.07 arcsec) ALMA imaging of the quadruply lensed radio-loud quasar MG\,J0414+0534 at redshift $z=2.639$ in the continuum and the broad CO(11-10) line at $\sim 340\,$GHz. With the help of strong lensing magnification and ALMA's high-resolution, we succeeded in resolving the jet/dust and CO gas in the quasar host galaxy both extending up to $\sim 1\,$kpc, with a resolution of $\sim 50\,$pc for the first time. Both the continuum emission and the CO(11-10) line have a similar bimodal structure aligned with the quasar jets ($\sim 200\,$pc) observed by Very Long Baseline Interferometry (VLBI) at $5\,$GHz and $8.4\,$GHz. The CO gas in the vicinity of both the eastern and western jet components at the location of $\sim 80\,$pc from the quasar core are moving at high velocities up to $\pm 600\,$$\textrm{km}\,\textrm{s}^{-1}$ relative to the core. The observed features show clear evidence of strong interaction between the jets and interstellar medium (ISM). High temperature and high density environments in the ISM of the quasar host galaxy, as suggested from CO line ratios, also support this result. The small scale of the jets, the jet-ISM interaction, and the continuum spectral energy distribution of this source indicate that we are watching the infancy stage of quasar radio activity.


title: Sensitivity minimization by stable controllers for a class of unstable time-delay systems

abstract: In this paper sensitivity minimization problem is considered for a class of unstable time delay systems. Our goal is to find a stable controller stabilizing the feedback system and giving rise to smallest H-infinity norm for the sensitivity function. This problem has been solved by Ganesh and Pearson (1986) for finite dimensional plants using Nevanlinna-Pick interpolation. We extend their technique to include possibly unstable time delay systems. Moreover, we illustrate suboptimal solutions, and their robust implementation.


title: Batch Normalization Provably Avoids Rank Collapse for Randomly Initialised Deep Networks

abstract: Randomly initialized neural networks are known to become harder to train with increasing depth, unless architectural enhancements like residual connections and batch normalization are used. We here investigate this phenomenon by revisiting the connection between random initialization in deep networks and spectral instabilities in products of random matrices. Given the rich literature on random matrices, it is not surprising to find that the rank of the intermediate representations in unnormalized networks collapses quickly with depth. In this work we highlight the fact that batch normalization is an effective strategy to avoid rank collapse for both linear and ReLU networks. Leveraging tools from Markov chain theory, we derive a meaningful lower rank bound in deep linear networks. Empirically, we also demonstrate that this rank robustness generalizes to ReLU nets. Finally, we conduct an extensive set of experiments on real-world data sets, which confirm that rank stability is indeed a crucial condition for training modern-day deep neural architectures.


title: Impact of Spatially Consistent Channels on Digital Beamforming for Millimeter-Wave Systems

abstract: The premise of massive multiple-input multiple-output (MIMO) is based around coherent transmission and detection. Majority of the vast literature on massive MIMO presents performance evaluations over simplified statistical propagation models. All such models are drop-based and do not ensure continuity of channel parameters. In this paper, we quantify the impact of spatially consistent (SC) models on beamforming for massive MIMO systems. We focus on the downlink of a 28GHz multiuser urban microcellular scenario. Using the recently standardized Third Generation Partnership Project 38.901 SC-I procedure, we evaluate the signal-to-interference-plus-noise ratio of a user equipment and the system ergodic sum spectral efficiency with zero-forcing, block diagonalization, and signal-to-leakage-plus-noise ratio beamforming. Our results disclose that at practical signal-to-noise ratio levels, SC channels yield a significant performance loss relative to the case without SC due to substantial spatial correlation across the channel parameters.


title: Interpolative separable density fitting decomposition for accelerating Hartree-Fock exchange calculations within numerical atomic orbitals

abstract: The high cost associated with the evaluation of Hartree-Fock exchange (HFX) makes hybrid functionals computationally challenging for large systems. In this work, we present an efficient way to accelerate HFX calculations with numerical atomic basis sets. Our approach is based on the recently proposed interpolative separable density fitting (ISDF) decomposition to construct a low rank approximation of HFX matrix, which avoids explicit calculations of the electron repulsion integrals (ERIs) and significantly reduces the computational cost. We implement the ISDF method for hybrid functional (PBE0) calculations in the HONPAS package. We take benzene and polycyclic aromatic hydrocarbons molecules as examples and demonstrate that hybrid functionals with ISDF yields quite promising results at a significantly reduced computational cost. Especially, the ISDF approach reduces the total cost for evaluating HFX matrix by nearly 2 orders of magnitude compared to conventional approaches of direct evaluation of ERIs.


title: Unveiling Mechanisms of Electric Field Effects on Superconductors by Magnetic Field Response

abstract: We demonstrate that superconducting aluminium nano-bridges can be driven into a state with complete suppression of the critical supercurrent via electrostatic gating. Probing both in- and out-of-plane magnetic field responses in the presence of electrostatic gating can unveil the mechanisms that primarily cause the superconducting electric field effects. Remarkably, we find that a magnetic field, independently of its orientation, has only a weak influence on the critical electric field that identifies the transition from the superconducting state to a phase with vanishing critical supercurrent. This observation points to the absence of a direct coupling between the electric field and the amplitude of the superconducting order parameter or $2\pi$-phase slips via vortex generation. The magnetic field effect observed in the presence of electrostatic gating is described within a microscopic model where a spatially uniform inter-band $\pi$-phase is stabilized by the electric field. Such an intrinsic superconducting phase rearrangement can account for the suppression of the supercurrent, as well as for the weak dependence of the critical magnetic fields on the electric field.


title: Clustering of bacteria with heterogeneous motility

abstract: We study the clustering of a model cyanobacterium \textit{Synechocystis} into microcolonies. The bacteria are allowed to diffuse onto surfaces of different hardness, and interact with the others by aggregation and detachment. We find that soft surfaces give rise to more microcolonies than hard ones. This effect is related to the amount of heterogeneity of bacteria's dynamics as given by the proportion of motile cells. A kinetic model that emphasizes specific interactions between cells, complemented by extensive numerical simulations considering various amounts of motility, describes the experimental results adequately. The high proportion of motile cells enhances dispersion rather than aggregation.


title: Transformation of scalar couplings between Coleman-Weinberg and MS schemes

abstract: The Coleman-Weinberg (CW) renormalization scheme for renormalization-group improvement of the effective potential is particularly valuable for CW symmetry-breaking mechanisms (including the challenging case of models with multiple scalar fields). CW mechanism is typically studied using models with classical scale invariance which not only provide a possibility for an alternative symmetry breaking mechanism but also partially address the gauge hierarchies through dimensional transmutation. As outlined in our discussion section, when the couplings are not large, models with CW symmetry-breaking mechanisms have also been shown to naturally provide the strong first-order phase transition necessary for stochastic gravitational wave signals. A full understanding of the CW-MS scheme transformation of couplings thus becomes important in the era of gravitational wave detection and precision coupling measurements. A generalized Coleman-Weinberg (GCW) renormalization scheme is formulated and methods for transforming scalar self-couplings between the GCW and MS (minimal-subtraction) renormalization schemes are developed. Scalar $\lambda\Phi^4$ theory with global $O(4)$ symmetry is explicitly studied up to six-loop order to explore the magnitude of this scheme transformation effect on the couplings. The dynamical rescaling of renormalization scales between the GCW and MS schemes can lead to significant (order of 10\%) differences in the coupling at any order, and consequently GCW-MS scheme transformation effects must be considered within precision determinations of scalar couplings in extensions of the Standard Model.


title: Efficient Computation of Free Energy Surfaces of Chemical Reactions using Ab Initio Molecular Dynamics with Hybrid Functionals and Plane Waves

abstract: Ab initio molecular dynamics (AIMD) simulations employing density functional theory (DFT) and plane waves are routinely carried out using density functionals at the level of Generalized Gradient Approximation (GGA). AIMD simulations employing hybrid density functionals are of great interest as it offers more accurate description of structural and dynamic properties than the GGA functionals. However, computational cost for carrying out calculations using hybrid functionals and plane wave basis set is at least two order of magnitude higher than GGA functionals. Recently, we proposed a strategy that combined the adaptively compressed exchange operator formulation and the multiple time step integration scheme to reduce the computational cost about an order of magnitude [J. Chem. Phys. 151, 151102 (2019)]. In this work, we demonstrate the application of this method to study chemical reactions, in particular, formamide hydrolysis in alkaline aqueous medium. By actuating our implementation with the well-sliced metadynamics scheme, we are able to compute the two-dimensional free energy surface of this reaction at the level of hybrid-DFT. Accuracy of PBE0 (hybrid) and PBE (GGA) functionals in predicting the free energetics of the chemical reaction is investigated here.


title: On the singularity structure of Kahan discretizations of a class of quadratic vector fields

abstract: We discuss the singularity structure of Kahan discretizations of a class of quadratric vector fields and provide a classification of the parameter values such that the corresponding Kahan map is integrable, in particular, admits an invariant pencil of elliptic curves.


title: Modeling epitaxial film growth of C$_{60}$ revisited

abstract: Epitaxial films evolve on time and length scales that are inaccessible to atomistic computer simulation methods like molecular dynamics (MD). To numerically predict properties for such systems, a common strategy is to employ kinetic Monte Carlo (KMC) simulations, for which one needs to know the transition rates of the involved elementary steps. The main challenge is thus to formulate a consistent model for the set of transition rates and to determine its parameters. Here we revisit a well-studied model system, the epitaxial film growth of the fullerene C$_{60}$ on an ordered C$_{60}$ substrate(111). We implement a systematic multiscale approach in which we determine transition rates through MD simulations of specifically designed initial configurations. These rates follow Arrhenius' law, from which we extract energy barriers and attempt rates. We discuss the issue of detailed balance for the resulting rates. Finally, we study the morphology of subatomic and multilayer film growth and compare simulation results to experiments. Our model enables further studies on multi-layer growth processes of C$_{60}$ on other substrates.


title: Unsupervised Learning of Intrinsic Structural Representation Points

abstract: Learning structures of 3D shapes is a fundamental problem in the field of computer graphics and geometry processing. We present a simple yet interpretable unsupervised method for learning a new structural representation in the form of 3D structure points. The 3D structure points produced by our method encode the shape structure intrinsically and exhibit semantic consistency across all the shape instances with similar structures. This is a challenging goal that has not fully been achieved by other methods. Specifically, our method takes a 3D point cloud as input and encodes it as a set of local features. The local features are then passed through a novel point integration module to produce a set of 3D structure points. The chamfer distance is used as reconstruction loss to ensure the structure points lie close to the input point cloud. Extensive experiments have shown that our method outperforms the state-of-the-art on the semantic shape correspondence task and achieves comparable performance with the state-of-the-art on the segmentation label transfer task. Moreover, the PCA based shape embedding built upon consistent structure points demonstrates good performance in preserving the shape structures. Code is available at https://github.com/NolenChen/3DStructurePoints


title: Funnel annihilations of light dark matter and the invisible decay of the Higgs boson

abstract: The semi-constrained NMSSM (scNMSSM), or NMSSM with non-universal Higgs masses, can naturally predict a light dark matter under current constraints including Higgs data, sparticle-mass bounds, dark matter searches, and muon g-2, etc. In this work, we take this scenario of scNMSSM as an example to study the funnel-annihilation mechanisms of light dark matter ($1\!\thicksim\!62$ GeV) and the invisible Higgs decay. In this scenario we found that: (i) There can be four funnel-annihilation mechanisms for the LSP $\tilde{\chi}^0_1$, which are the $h_2$, $Z$, $h_1$ and $a_1$ funnel. (ii) For the $h_1$ and $a_1$ funnel with right relic density, the $\tilde{\chi}^0_1$ mass is lighter than 12 GeV, and the invisible Higgs decay can be $2\%$ at most. (iii) For the $h_2$ and $Z$ funnel with right relic density, the invisible Higgs decay can be about $0.4\%$ and $1\%$ respectively at most. (iv) If the invisible Higgs decay was discovered at the HL-LHC, the four funnel-annihilation mechanisms of light dark matter may be all excluded with $\tilde{\chi}^0_1$ as the only dark matter source. Four benchmark points, one for each mechanism, are proposed for future checking with updated experimental results.


title: Holistically-Attracted Wireframe Parsing

abstract: This paper presents a fast and parsimonious parsing method to accurately and robustly detect a vectorized wireframe in an input image with a single forward pass. The proposed method is end-to-end trainable, consisting of three components: (i) line segment and junction proposal generation, (ii) line segment and junction matching, and (iii) line segment and junction verification. For computing line segment proposals, a novel exact dual representation is proposed which exploits a parsimonious geometric reparameterization for line segments and forms a holistic 4-dimensional attraction field map for an input image. Junctions can be treated as the "basins" in the attraction field. The proposed method is thus called Holistically-Attracted Wireframe Parser (HAWP). In experiments, the proposed method is tested on two benchmarks, the Wireframe dataset, and the YorkUrban dataset. On both benchmarks, it obtains state-of-the-art performance in terms of accuracy and efficiency. For example, on the Wireframe dataset, compared to the previous state-of-the-art method L-CNN, it improves the challenging mean structural average precision (msAP) by a large margin ($2.8\%$ absolute improvements) and achieves 29.5 FPS on single GPU ($89\%$ relative improvement). A systematic ablation study is performed to further justify the proposed method.


title: There and back again: A circuit extraction tale

abstract: Translations between the quantum circuit model and the measurement-based one-way model are useful for verification and optimisation of quantum computations. They make crucial use of a property known as gflow. While gflow is defined for one-way computations allowing measurements in three different planes of the Bloch sphere, most research so far has focused on computations containing only measurements in the XY-plane. Here, we give the first circuit-extraction algorithm to work for one-way computations containing measurements in all three planes and having gflow. The algorithm is efficient and the resulting circuits do not contain ancillae. One-way computations are represented using the ZX-calculus, hence the algorithm also represents the most general known procedure for extracting circuits from ZX-diagrams. In developing this algorithm, we generalise several concepts and results previously known for computations containing only XY-plane measurements. We bring together several known rewrite rules for measurement patterns and formalise them in a unified notation using the ZX-calculus. These rules are used to simplify measurement patterns by reducing the number of qubits while preserving both the semantics and the existence of gflow. The results can be applied to circuit optimisation by translating circuits to patterns and back again.


title: Discriminative Multi-level Reconstruction under Compact Latent Space for One-Class Novelty Detection

abstract: In one-class novelty detection, a model learns solely on the in-class data to single out out-class instances. Autoencoder (AE) variants aim to compactly model the in-class data to reconstruct it exclusively, thus differentiating the in-class from out-class by the reconstruction error. However, compact modeling in an improper way might collapse the latent representations of the in-class data and thus their reconstruction, which would lead to performance deterioration. Moreover, to properly measure the reconstruction error of high-dimensional data, a metric is required that captures high-level semantics of the data. To this end, we propose Discriminative Compact AE (DCAE) that learns both compact and collapse-free latent representations of the in-class data, thereby reconstructing them both finely and exclusively. In DCAE, (a) we force a compact latent space to bijectively represent the in-class data by reconstructing them through internal discriminative layers of generative adversarial nets. (b) Based on the deep encoder's vulnerability to open set risk, out-class instances are encoded into the same compact latent space and reconstructed poorly without sacrificing the quality of in-class data reconstruction. (c) In inference, the reconstruction error is measured by a novel metric that computes the dissimilarity between a query and its reconstruction based on the class semantics captured by the internal discriminator. Extensive experiments on public image datasets validate the effectiveness of our proposed model on both novelty and adversarial example detection, delivering state-of-the-art performance.


title: General convergence analysis of stochastic first order methods for composite optimization

abstract: In this paper we consider stochastic composite convex optimization problems with the objective function satisfying a stochastic bounded gradient condition, with or without a quadratic functional growth property. These models include the most well-known classes of objective functions analyzed in the literature: non-smooth Lipschitz functions and composition of a (potentially) non-smooth function and a smooth function, with or without strong convexity. Based on the flexibility offered by our optimization model we consider several variants of stochastic first order methods, such as the stochastic proximal gradient and the stochastic proximal point algorithms. Usually, the convergence theory for these methods has been derived for simple stochastic optimization models satisfying restrictive assumptions, the rates are in general sublinear and hold only for specific decreasing stepsizes. Hence, we analyze the convergence rates of stochastic first order methods with constant or variable stepsize under general assumptions covering a large class of objective functions. For constant stepsize we show that these methods can achieve linear convergence rate up to a constant proportional to the stepsize and under some strong stochastic bounded gradient condition even pure linear convergence. Moreover, when a variable stepsize is chosen we derive sublinear convergence rates for these stochastic first order methods. Finally, the stochastic gradient mapping and the Moreau smoothing mapping introduced in the present paper lead to simple and intuitive proofs.


title: Gauss-Newton Unrolled Neural Networks and Data-driven Priors for Regularized PSSE with Robustness

abstract: Distributed renewable generation, elastic loads, and purposeful manipulation of meter readings challenge the monitoring and control of today's power systems (PS). In this context, to maintain a comprehensive view of the system in real time, fast and robust state estimation (SE) methods are urgently needed. Conventional PSSE solvers typically entail minimizing a nonlinear and nonconvex least-squares by e.g., the workhorse Gauss-Newton method. Those iterative solvers however, are sensitive to initialization and may get stuck in local minima. To overcome these hurdles and inspired by recent image denoising techniques, this paper advocates a learnable regularization term for PSSE that uses a deep neural network (DNN) prior. For the resultant regularized PSSE problem, a "Gauss-Newton-like" alternating minimization solver is first developed. To accommodate real-time monitoring, a novel end-to-end DNN is constructed by unrolling the proposed alternating minimization solver. Interestingly, the power network topology can be easily incorporated into the DNN by designing a graph neural network (GNN) based prior. To further endow the physics-based DNN with robustness against bad data, an adversarial DNN training method is discussed. Numerical tests using real load data on the IEEE $118$-bus benchmark system showcase the improved estimation and robustness performance of the proposed scheme compared with several state-of-the-art alternatives.


title: Model Assertions for Monitoring and Improving ML Models

abstract: ML models are increasingly deployed in settings with real world interactions such as vehicles, but unfortunately, these models can fail in systematic ways. To prevent errors, ML engineering teams monitor and continuously improve these models. We propose a new abstraction, model assertions, that adapts the classical use of program assertions as a way to monitor and improve ML models. Model assertions are arbitrary functions over a model's input and output that indicate when errors may be occurring, e.g., a function that triggers if an object rapidly changes its class in a video. We propose methods of using model assertions at all stages of ML system deployment, including runtime monitoring, validating labels, and continuously improving ML models. For runtime monitoring, we show that model assertions can find high confidence errors, where a model returns the wrong output with high confidence, which uncertainty-based monitoring techniques would not detect. For training, we propose two methods of using model assertions. First, we propose a bandit-based active learning algorithm that can sample from data flagged by assertions and show that it can reduce labeling costs by up to 40% over traditional uncertainty-based methods. Second, we propose an API for generating "consistency assertions" (e.g., the class change example) and weak labels for inputs where the consistency assertions fail, and show that these weak labels can improve relative model quality by up to 46%. We evaluate model assertions on four real-world tasks with video, LIDAR, and ECG data.


title: On the inverse cascade and flow speed scaling behavior in rapidly rotating Rayleigh-B\'enard convection

abstract: Rotating Rayleigh-B\'enard convection is investigated numerically with the use of an asymptotic model that captures the rapidly rotating, small Ekman number limit, $Ek \rightarrow 0$. The Prandtl number ($Pr$) and the asymptotically scaled Rayleigh number ($\widetilde{Ra} = Ra Ek^{4/3}$, where $Ra$ is the typical Rayleigh number) are varied systematically. For sufficiently vigorous convection, an inverse kinetic energy cascade leads to the formation of a depth-invariant large-scale vortex (LSV). With respect to the kinetic energy, we find a transition from convection dominated states to LSV dominated states at an asymptotically reduced (small-scale) Reynolds number of $\widetilde{Re} \approx 6$ for all investigated values of $Pr$. The ratio of the depth-averaged kinetic energy to the kinetic energy of the convection reaches a maximum at $\widetilde{Re} \approx 24$, then decreases as $\widetilde{Ra}$ is increased. This decrease in the relative kinetic energy of the LSV is associated with a decrease in the convective correlations with increasing Rayleigh number. The scaling behavior of the convective flow speeds is studied; although a linear scaling of the form $\widetilde{Re} \sim \widetilde{Ra}/Pr$ is observed over a limited range in Rayleigh number and Prandtl number, a clear departure from this scaling is observed at the highest accessible values of $\widetilde{Ra}$. Calculation of the forces present in the governing equations shows that the ratio of the viscous force to the buoyancy force is an increasing function of $\widetilde{Ra}$, that approaches unity over the investigated range of parameters.


title: EXPLAIN-IT: Towards Explainable AI for Unsupervised Network Traffic Analysis

abstract: The application of unsupervised learning approaches, and in particular of clustering techniques, represents a powerful exploration means for the analysis of network measurements. Discovering underlying data characteristics, grouping similar measurements together, and identifying eventual patterns of interest are some of the applications which can be tackled through clustering. Being unsupervised, clustering does not always provide precise and clear insight into the produced output, especially when the input data structure and distribution are complex and difficult to grasp. In this paper we introduce EXPLAIN-IT, a methodology which deals with unlabeled data, creates meaningful clusters, and suggests an explanation to the clustering results for the end-user. EXPLAIN-IT relies on a novel explainable Artificial Intelligence (AI) approach, which allows to understand the reasons leading to a particular decision of a supervised learning-based model, additionally extending its application to the unsupervised learning domain. We apply EXPLAIN-IT to the problem of YouTube video quality classification under encrypted traffic scenarios, showing promising results.


title: Gradient Flows for Dirichlet Eigenvalues

abstract: We are interested in existence of gradient flows for shape functionals especially for first Laplacian eigenvalues. We introduce different techniques to prove existence and use different formulations for gradient flows. We apply a compactness argument to prove existence of generalized minimizing movements for Dirichlet and Robin boundary conditions with respect to several common metrics. Moreover, we use Brunn-Minkowski inequalities to prove $\alpha$-convexity and existence of contraction semi-groups for Dirichlet boundary conditions on convex bodies. Finally, we give a proof of $\alpha$-convexity for Robin boundary conditions by the second domain variation since we do not have a Brunn-Minkowski inequality in this case.


title: Real-Time Implementation Aspects of Large Intelligent Surfaces

abstract: With the potential to provide a clean break from massive multiple-input multiple-output, large intelligent surfaces (LISs) have recently received a thrust of research interest. Various proposals have been made in the literature to define the exact functionality of LISs, ranging from fully active to largely passive solutions. Nevertheless, almost all studies in the literature investigate the fundamental spectral efficiency performance of these architectures. In stark contrast, this paper investigates the implementation aspects of LISs. Using the fully active LIS as the basis of our exposition, we first present a rigorous discussion on the relative merits and disadvantages of possible implementation architectures from a radio-frequency circuits and real-time processing viewpoints. We then show that a distributed architecture based on a common module interfacing a smaller number of antennas can be scalable. To avoid severe losses with analog signal distribution, multiple common modules can be interconnected via a digital nearest-neighbor network. Furthermore, we show that with such a design, the maximum backplane throughput scales with the number of served user terminals, instead of the number of antennas across the surface. The discussions in the paper can serve as a guideline toward the real-time design and development of LISs.


title: A random-walk benchmark for single-electron circuits

abstract: Mesoscopic integrated circuits achieving high-fidelity control of elementary quantum systems require new methodology for benchmarking. We offer circuit-level statistical description of rare-error accumulation in terms of a universal random-walk model for on-demand electron transfer. For a high-fidelity single-electron circuit, realized in the experiment as a chain of quantum dots in a GaAs/AlGaAs heterostructure, the error of the transfer operation is probed by charge counting. Error rates for extra ($P_+$) or missing ($P_-$) electrons of the electron shuttle are measured to $P_{-}=(6.92 \pm 0.14) \times 10^{-5}$ and $P_{+}=(2.13 \pm 0.08)\times 10^{-5}$ with uncertainty due to correlated noise in the environment. Furthermore, precise control over the timing of the random walk allows to explore the role of memory as the clock frequency is increased.


title: Precise Programmable Quantum Simulations with Optical Lattices

abstract: We present an efficient approach to precisely simulate tight binding models with optical lattices, based on programmable digital-micromirror-device (DMD) techniques. Our approach consists of a subroutine of Wegner-flow enabled precise extraction of a tight-binding model for a given optical potential, and a reverse engineering step of adjusting the potential for a targeting model, for both of which we develop classical algorithms to achieve high precision and high efficiency. With renormalization of Wannier functions and high band effects systematically calibrated in our protocol, we show the tight-binding models with programmable onsite energies and tunnelings can be precisely simulated with optical lattices integrated with the DMD techniques. With numerical simulation, we demonstrate that our approach would facilitate quantum simulation of localization physics with unprecedented programmability and atom-based boson sampling for illustration of quantum computational advantage. We expect this approach would pave a way towards large-scale and precise programmable quantum simulations based on optical lattices.


title: Divisors of Modular Parametrizations of Elliptic Curves

abstract: The modularity theorem implies that for every elliptic curve $E /\mathbb{Q}$ there exist rational maps from the modular curve $X_0(N)$ to $E$, where $N$ is the conductor of $E$. These maps may be expressed in terms of pairs of modular functions $X(z)$ and $Y(z)$ where $X(z)$ and $Y(z)$ satisfy the Weierstrass equation for $E$ as well as a certain differential equation. Using these two relations, a recursive algorithm can be used to calculate the $q$ - expansions of these parametrizations at any cusp. %These functions are algebraic over $\mathbb{Q}(j(z))$ and satisfy modular polynomials where each of the coefficient functions are rational functions in $j(z)$. Using these functions, we determine the divisor of the parametrization and the preimage of rational points on $E$. We give a sufficient condition for when these preimages correspond to CM points on $X_0(N)$. We also examine a connection between the algebras generated by these functions for related elliptic curves, and describe sufficient conditions to determine congruences in the $q$-expansions of these objects.


abstract: We prove evaluations of Hankel determinants of linear combinations of moments of orthogonal polynomials (or, equivalently, of generating functions for Motzkin paths), thus generalising known results for Catalan numbers.


title: An energy-stable parametric finite element method for simulating solid-state dewetting

abstract: We propose an energy-stable parametric finite element method (ES-PFEM) for simulating solid-state dewetting of thin films in two dimensions via a sharp-interface model, which is governed by surface diffusion and contact line (point) migration together with proper boundary conditions. By reformulating the relaxed contact angle condition into a Robin-type boundary condition and then treating it as a natural boundary condition, we obtain a new variational formulation for the problem, in which the interface curve and its contact points are evolved simultaneously. Then, the variational problem is discretized in space by using piecewise linear elements. A full discretization is presented by adopting the backward Euler method in time, and the well-posedness and energy dissipation of the full discretization are established. The numerical method is semi-implicit (i.e., a linear system to be solved at each time step and thus efficient), unconditionally energy-stable with respect to the time step, and second-order in space measured by a manifold distance between two curves. In addition, it demonstrates equal mesh distribution when the solution reaches its equilibrium, i.e., long-time dynamics. Numerical results are reported to show accuracy and efficiency as well as some good properties of the proposed numerical method.

categories: math.NA cond-mat.mtrl-sci cs.NA physics.comp-ph


title: On a divisibility property involving the sum of element orders

abstract: A finite group $G$ is called $\psi$-divisible if $\psi(H)|\psi(G)$ for any subgroup $H$ of $G$, where $\psi(H)$ and $\psi(G)$ are the sum of element orders of $H$ and $G$, respectively. In this paper, we extend a result provided in [10], by classifying the finite groups whose all subgroups are $\psi$-divisible. Since the existence of $\psi$-divisible groups is related to the class of square-free order groups, we also study the sum of element orders and the $\psi$-divisibility property of ZM-groups. In the end, we introduce the concept of $\psi$-normal divisible group, i.e. a group for which the $\psi$-divisibility property is satisfied by all its normal subgroups. Using simple and quasisimple groups, we are able to construct infinitely many $\psi$-normal divisible groups which are neither simple nor nilpotent.


title: Maximal fluctuations around the Wulff shape for edge-isoperimetric sets in ${\mathbb Z^d}$: a sharp scaling law

abstract: We derive a sharp scaling law for deviations of edge-isoperimetric sets in the lattice $\mathbb Z^d$ from the limiting Wulff shape in arbitrary dimensions. As the number $n$ of elements diverges, we prove that the symmetric difference to the corresponding Wulff set consists of at most $O(n^{(d-1+2^{1-d})/d})$ lattice points and that the exponent $(d-1+2^{1-d})/d$ is optimal. This extends the previously found `$n^{3/4}$ laws' for $d=2,3$ to general dimensions. As a consequence we obtain optimal estimates on the rate of convergence to the limiting Wulff shape as $n$ diverges.


title: Hybrid Generative-Retrieval Transformers for Dialogue Domain Adaptation

abstract: Domain adaptation has recently become a key problem in dialogue systems research. Deep learning, while being the preferred technique for modeling such systems, works best given massive training data. However, in the real-world scenario, such resources aren't available for every new domain, so the ability to train with a few dialogue examples can be considered essential. Pre-training on large data sources and adapting to the target data has become the standard method for few-shot problems within the deep learning framework. In this paper, we present the winning entry at the fast domain adaptation task of DSTC8, a hybrid generative-retrieval model based on GPT-2 fine-tuned to the multi-domain MetaLWOz dataset. Robust and diverse in response generation, our model uses retrieval logic as a fallback, being SoTA on MetaLWOz in human evaluation (>4% improvement over the 2nd place system) and attaining competitive generalization performance in adaptation to the unseen MultiWOZ dataset.


abstract: We study Veronese and Segre morphisms between non-commutative projective spaces. We compute finite reduced Gr\"obner bases for their kernels, and we compare them with their analogues in the commutative case.


title: Cold Creep of Titanium: Analysis of stress relaxation using synchrotron diffraction and crystal plasticity simulations

abstract: There is a long standing technological problem in which a stress dwell during cyclic loading at room temperature in Ti causes a significant fatigue life reduction. It is thought that localised time dependent plasticity in soft grains oriented for easy plastic slip leads to load shedding and an increase in stress within a neighbouring hard grain poorly oriented for easy slip. Quantifying this time dependent plasticity process is key to successfully predicting the complex cold dwell fatigue problem. This work uses a novel approach of in situ synchrotron X-ray diffraction during stress relaxation tests, to quantify the time dependent plasticity. Measured lattice strains from multiple lattice families (21 diffraction rings) were compared with simulated lattice strains from crystal plasticity finite element (CPFE) simulations. The prism slip parameters were found to show stronger strain rate sensitivity compared to basal slip, and this has a significant effect on stress redistribution to hard grain orientations during cold creep.


title: An average degree condition for independent transversals

abstract: In 1994, Erd\H{o}s, Gy\'{a}rf\'{a}s and {\L}uczak posed the following problem: given disjoint vertex sets $V_1,\dots,V_n$ of size~$k$, with exactly one edge between any pair $V_i,V_j$, how large can $n$ be such that there will always be an independent transversal? They showed that the maximal $n$ is at most $(1+o(1))k^2$, by providing an explicit construction with these parameters and no independent transversal. They also proved a lower bound which is smaller by a $2e$-factor. In this paper, we solve this problem by showing that their upper bound construction is best possible: if $n\le (1-o(1))k^2$, there will always be an independent transversal. In fact, this result is a very special case of a much more general theorem which concerns independent transversals in arbitrary partite graphs that are `locally sparse', meaning that the maximum degree between each pair of parts is relatively small. In this setting, Loh and Sudakov provided a global \emph{maximum} degree condition for the existence of an independent transversal. We show that this can be relaxed to an \emph{average} degree condition. We can also use our new theorem to establish tight bounds for a more general version of the Erd\H{o}s--Gy\'{a}rf\'{a}s--{\L}uczak problem and solve a conjecture of Yuster from 1997. This exploits a connection to the Tur\'an numbers of complete bipartite graphs, which might be of independent interest.


title: Cutpoints of non-homogeneous random walks

abstract: We give conditions under which near-critical stochastic processes on the half-line have infinitely many or finitely many cutpoints, generalizing existing results on nearest-neighbour random walks to adapted processes with bounded increments satisfying appropriate conditional increment moments conditions. We apply one of these results to deduce that a class of transient zero-drift Markov chains in $\mathbb{R}^d$, $d \geq 2$, possess infinitely many separating annuli, generalizing previous results on spatially homogeneous random walks.


title: Sealing Pointer-Based Optimizations Behind Pure Functions

abstract: Functional programming languages are particularly well-suited for building automated reasoning systems, since (among other reasons) a logical term is well modeled by an inductive type, traversing a term can be implemented generically as a higher-order combinator, and backtracking is dramatically simplified by persistent datastructures. However, existing pure functional programming languages all suffer a major limitation in these domains: traversing a term requires time proportional to the tree size of the term as opposed to its graph size. This limitation would be particularly devastating when building automation for interactive theorem provers such as Lean and Coq, for which the exponential blowup of term-tree sizes has proved to be both common and difficult to prevent. All that is needed to recover the optimal scaling is the ability to perform simple operations on the memory addresses of terms, and yet allowing these operations to be used freely would clearly violate the basic premise of referential transparency. We show how to use dependent types to seal the necessary pointer-address manipulations behind pure functional interfaces while requiring only a negligible amount of additional trust. We have implemented our approach for the upcoming version (v4) of Lean, and our approach could be adopted by other languages based on dependent type theory as well.


title: Wigner function formalism and the evolution of thermodynamic quantities in an expanding magnetized plasma

abstract: By combining the Wigner function formalism of relativistic quantum kinetic theory with fundamental equations of relativistic magnetohydrodynamics (MHD), we present a novel approach to determine the proper time evolution of the temperature and other thermodynamic quantities in a uniformly expanding hot, magnetized, and weakly interacting plasma. The aim is to study the contribution of quantum corrections to this evolution. We first determine the corresponding Wigner function in terms of the solution of the Dirac equation in the presence of a constant magnetic field. Using this function, we then compute the energy-momentum tensor of the above-mentioned plasma, which eventually yields its energy density and pressure. Plugging these quantities in the energy equation of relativistic MHD, we arrive, after choosing an appropriate coordinate system, at a differential equation for the temperature as a function of the proper time. The numerical solution of this equation leads finally to the proper time evolution of the temperature. The latter is then used to determine the evolution of a large number of thermodynamic quantities in this expanding and magnetized plasma. We compare our results with other existing results from relativistic MHD. We also comment on the effect of point to point decaying magnetic fields on the thermodynamic properties of this plasma.


title: Automatic Differentiation Variational Inference with Mixtures

abstract: Automatic Differentiation Variational Inference (ADVI) is a useful tool for efficiently learning probabilistic models in machine learning. Generally approximate posteriors learned by ADVI are forced to be unimodal in order to facilitate use of the reparameterization trick. In this paper, we show how stratified sampling may be used to enable mixture distributions as the approximate posterior, and derive a new lower bound on the evidence analogous to the importance weighted autoencoder (IWAE). We show that this "SIWAE" is a tighter bound than both IWAE and the traditional ELBO, both of which are special instances of this bound. We verify empirically that the traditional ELBO objective disfavors the presence of multimodal posterior distributions and may therefore not be able to fully capture structure in the latent space. Our experiments show that using the SIWAE objective allows the encoder to learn more complex distributions which regularly contain multimodality, resulting in higher accuracy and better calibration in the presence of incomplete, limited, or corrupted data.


title: Leveraging the Super Instruction Architecture to Develop Massively Parallel Computational and Environmental Chemistry Applications

abstract: The task of developing high performing parallel software must be made easier and more cost effective in order to fully exploit existing and emerging large scale computer systems for the advancement of science. The Super Instruction Architecture is a parallel programming platform geared towards applications that need to manage large amounts of data stored in potentially sparse multidimensional arrays during calculations. The SIA platform was originally designed for the Quantum Chemistry software package ACESIII. More recently, the SIA was reimplemented to overcome limitations in the original ACESIII program. It has now been successfully employed in the new Aces4 Quantum Chemistry software package and the development of the atmospheric transport application MATLOC, thus demonstrating the versatility of the SIA approach. MATLOC calculates transport and dispersion of mass over regions in the range of 100-1000s of square kilometers and is a significant improvement over existing community codes. This paper describes results from both the transport and dispersion application as well as some difficult Quantum Chemistry open shell coupled cluster benchmark calculations using Aces4.


title: A short note on Manin-Mumford

abstract: We give a short proof of Manin-Mumford in the multiplicative group based on the pigeon-hole principle and the so-called structure theorem for anomalous subvarieties. The arguments appear to be new and perhaps applicable in other situations.


title: Reliable evaluation of adversarial robustness with an ensemble of diverse parameter-free attacks

abstract: The field of defense strategies against adversarial attacks has significantly grown over the last years, but progress is hampered as the evaluation of adversarial defenses is often insufficient and thus gives a wrong impression of robustness. Many promising defenses could be broken later on, making it difficult to identify the state-of-the-art. Frequent pitfalls in the evaluation are improper tuning of hyperparameters of the attacks, gradient obfuscation or masking. In this paper we first propose two extensions of the PGD-attack overcoming failures due to suboptimal step size and problems of the objective function. We then combine our novel attacks with two complementary existing ones to form a parameter-free, computationally affordable and user-independent ensemble of attacks to test adversarial robustness. We apply our ensemble to over 50 models from papers published at recent top machine learning and computer vision venues. In all except one of the cases we achieve lower robust test accuracy than reported in these papers, often by more than $10\%$, identifying several broken defenses.


title: Graphs and codes produced by a new method for dividing a natural number by two

abstract: In this paper, we introduce a new method which we call it MZ-method, for dividing a natural number $x$ by two and then we use graph as a model to show MZ-algorithm. Applying (recursively) $k$-times of the MZ-method for the number $x$, produces a graph with unique structure that is denoted by $G_k(x)$. We investigate the structure of $G_k(x)$. Also from the natural number $x$ and graph $G_k(x)$ we produce codes which are important and applicable in the information security and cryptography.


title: Fourth post-Newtonian Hamiltonian dynamics of two-body systems from an effective field theory approach

abstract: We calculate the motion of binary mass systems in gravity up to the fourth post--Newtonian order. We use momentum expansions within an effective field theory approach based on Feynman amplitudes in harmonic coordinates by applying dimensional regularization. We construct the canonical transformations to ADM coordinates and to effective one body theory (EOB) to compare with other approaches. We show that intermediate poles in the dimensional regularization parameter $\varepsilon$ vanish in the observables and the classical theory is not renormalized. The results are illustrated for a series of observables for which we agree with the literature.


title: Performance of closed orbit feedback systems with spatial model mismatch

abstract: Closed orbit feedback (COFB) systems used for the global orbit correction rely on the pseudo-inversion of the orbit response matrix (ORM). A mismatch between the model ORM used in the controller and the actual machine ORM can affect the performance of the feedback system. In this paper, the typical sources of such model mismatch such as acceleration ramp ORM variation, intensity-dependent tune shift and beta beating are considered in simulation studies. Their effect on the performance and the stability margins are investigated for both the slow and fast regimes of a COFB system operation. The spectral radius stability condition is utilized instead of the small gain theorem to arrive at the theoretical limits of COFB stability and comparisons with simulations for SIS18 of GSI and experiments at the Cooler synchrotron (COSY) in the Forschungzentrum J\"ulich (FZJ) are also presented.


title: Linear stability analysis for 2D shear flows near Couette in the isentropic Compressible Euler equations

abstract: In this paper, we investigate linear stability properties of the 2D isentropic compressible Euler equations linearized around a shear flow given by a monotone profile, close to the Couette flow, with constant density, in the domain $\mathbb{T}\times \mathbb{R}$. We begin by directly investigating the Couette shear flow, where we characterize the linear growth of the compressible part of the fluid while proving time decay for the incompressible part (inviscid damping with slower rates). Then we extend the analysis to monotone shear flows near Couette, where we are able to give an upper bound, superlinear in time, for the compressible part of the fluid. The incompressible part enjoys an inviscid damping property, analogous to the Couette case. In the pure Couette case, we exploit the presence of an additional conservation law (which connects the vorticity and the density on the moving frame) in order to reduce the number of degrees of freedom of the system. The result then follows by using weighted energy estimates. In the general case, unfortunately, this conservation law no longer holds. Therefore we define a suitable weighted energy functional for the whole system, which can be used to estimate the irrotational component of the velocity but does not provide sharp bounds on the solenoidal component. However, even in the absence of the aforementioned additional conservation law, we are still able to show the existence of a functional relation which allows us to recover somehow the vorticity from the density, on the moving frame. By combining the weighted energy estimates with the functional relation we also recover the inviscid damping for the solenoidal component of the velocity.


title: Robust data encodings for quantum classifiers

abstract: Data representation is crucial for the success of machine learning models. In the context of quantum machine learning with near-term quantum computers, equally important considerations of how to efficiently input (encode) data and effectively deal with noise arise. In this work, we study data encodings for binary quantum classification and investigate their properties both with and without noise. For the common classifier we consider, we show that encodings determine the classes of learnable decision boundaries as well as the set of points which retain the same classification in the presence of noise. After defining the notion of a robust data encoding, we prove several results on robustness for different channels, discuss the existence of robust encodings, and prove an upper bound on the number of robust points in terms of fidelities between noisy and noiseless states. Numerical results for several example implementations are provided to reinforce our findings.


title: Sparse Tiling through Overlap Closures for Termination of String Rewriting

abstract: We over-approximate reachability sets in string rewriting by languages defined by admissible factors, called tiles. A sparse set of tiles contains only those that are reachable in derivations, and is constructed by completing an automaton. Using the partial algebra defined by a sparse tiling for semantic labelling, we obtain a transformational method for proving local termination. With a known result on forward closures, and a new characterisation of overlap closures, we obtain methods for proving termination and relative termination, respectively. We report on experiments showing the strength of these methods.


title: Dynamic Graph Operations: A Consistent Non-blocking Approach

abstract: Graph algorithms enormously contribute to the domains such as blockchains, social networks, biological networks, telecommunication networks, and several others. The ever-increasing demand of data-volume, as well as speed of such applications, have essentially transported these applications from their comfort zone: static setting, to a challenging territory of dynamic updates. At the same time, mainstreaming of multi-core processors have entailed that the dynamic applications should be able to exploit concurrency as soon as parallelization gets inhibited. Thus, the design and implementation of efficient concurrent dynamic graph algorithms have become significant. This paper reports a novel library of concurrent shared-memory algorithms for breadth-first search (BFS), single-source shortest-path (SSSP), and betweenness centrality (BC) in a dynamic graph. The presented algorithms are provably non-blocking and linearizable. We extensively evaluate C++ implementations of the algorithms through several micro-benchmarks. The experimental results demonstrate the scalability with the number of threads. Our experiments also highlight the limitations of static graph analytics methods in a dynamic setting.


title: Energy and helicity fluxes in line-tied eruptive simulations

abstract: Based on a decomposition of the magnetic field into potential and nonpotential components, magnetic energy and relative helicity can both also be decomposed into two quantities: potential and free energies, and volume-threading and current-carrying helicities. In this study, we perform a coupled analysis of their behaviors in a set of parametric 3D magnetohydrodynamic (MHD) simulations of solar-like eruptions. We present the general formulations for the time-varying components of energy and helicity in resistive MHD. We calculated them numerically with a specific gauge, and compared their behaviors in the numerical simulations, which differ from one another by their imposed boundary-driving motions. Thus, we investigated the impact of different active regions surface flows on the development of the energy and helicity-related quantities. Despite general similarities in their overall behaviors, helicities and energies display different evolutions that cannot be explained in a unique framework. While the energy fluxes are similar in all simulations, the physical mechanisms that govern the evolution of the helicities are markedly distinct from one simulation to another: the evolution of volume-threading helicity can be governed by boundary fluxes or helicity transfer, depending on the simulation. The eruption takes place for the same value of the ratio of the current-carrying helicity to the total helicity in all simulations. However, our study highlights that this threshold can be reached in different ways, with different helicity-related processes dominating for different photospheric flows. This means that the details of the pre-eruptive dynamics do not influence the eruption-onset helicity-related threshold. Nevertheless, the helicity-flux dynamics may be more or less efficient in changing the time required to reach the onset of the eruption.


title: Two-Qubit Bloch Sphere

abstract: Three unit spheres were used to represent the two-qubit pure states. The three spheres are named the base sphere, entanglement sphere, and fiber sphere. The base sphere and entanglement sphere represent the reduced density matrix of the base qubit and the non-local entanglement measure, concurrence, while the fiber sphere represents the fiber qubit via a simple rotation under a local single-qubit unitary operation; however, in an entangled bipartite state, the fiber sphere has no information on the reduced density matrix of the fiber qubit. When the bipartite state becomes separable, the base and fiber spheres seamlessly become the single-qubit Bloch spheres of each qubit. Since either qubit can be chosen as the base qubit, two alternative sets of these three spheres are available, where each set fully represents the bipartite pure state, and each set has information of the reduced density matrix of its base qubit. Comparing this model to the two Bloch balls representing the reduced density matrices of the two qubits, each Bloch ball corresponds to two unit spheres in our model, namely, the base and entanglement spheres. The concurrence-coherence complementarity is explicitly shown on the entanglement sphere via a single angle.


title: Les Houches 2019: Physics at TeV Colliders: Standard Model Working Group Report

abstract: This Report summarizes the proceedings of the 2019 Les Houches workshop on Physics at TeV Colliders. Session 1 dealt with (I) new developments for high precision Standard Model calculations, (II) the sensitivity of parton distribution functions to the experimental inputs, (III) new developments in jet substructure techniques and a detailed examination of gluon fragmentation at the LHC, (IV) issues in the theoretical description of the production of Standard Model Higgs bosons and how to relate experimental measurements, and (V) Monte Carlo event generator studies relating to PDF evolution and comparisons of important processes at the LHC.


title: Remarks on H-infinity Controller Design for SISO Plants with Time Delays

abstract: The skew Toeplitz approach is one of the well developed methods to design H-infinity controllers for infinite dimensional systems. In order to be able to use this method the plant needs to be factorized in some special manner. This paper investigates the largest class of SISO time delay systems for which the special factorizations required by the skew Toeplitz approach can be done. Reliable implementation of the optimal controller is also discussed. It is shown that the finite impulse response (FIR) block structure appears in these controllers not only for plants with I/O delays, but also for general time-delay plants.


title: Generalised hydrodynamics with dephasing noise

abstract: We consider the out-of-equilibrium dynamics of an interacting integrable system in the presence of an external dephasing noise. In the limit of large spatial correlation of the noise, we develop an exact description of the dynamics of the system based on a hydrodynamic formulation. This results in an additional term to the standard generalized hydrodynamics theory describing diffusive dynamics in the momentum space of the quasiparticles of the system, with a time- and momentum-dependent diffusion constant. Our analytical predictions are then benchmarked in the classical limit by comparison with a microscopic simulation of the non-linear Schrodinger equation, showing perfect agreement. In the quantum case, our predictions agree with state-of-the-art numerical simulations of the anisotropic Heisenberg spin in the accessible regime of times and with bosonization predictions in the limit of small dephasing times and temperatures.


title: Optimal Contextual Pricing and Extensions

abstract: In the contextual pricing problem a seller repeatedly obtains products described by an adversarially chosen feature vector in $\mathbb{R}^d$ and only observes the purchasing decisions of a buyer with a fixed but unknown linear valuation over the products. The regret measures the difference between the revenue the seller could have obtained knowing the buyer valuation and what can be obtained by the learning algorithm. We give a poly-time algorithm for contextual pricing with $O(d \log \log T + d \log d)$ regret which matches the $\Omega(d \log \log T)$ lower bound up to the $d \log d$ additive factor. If we replace pricing loss by the symmetric loss, we obtain an algorithm with nearly optimal regret of $O(d \log d)$ matching the $\Omega(d)$ lower bound up to $\log d$. These algorithms are based on a novel technique of bounding the value of the Steiner polynomial of a convex region at various scales. The Steiner polynomial is a degree $d$ polynomial with intrinsic volumes as the coefficients. We also study a generalized version of contextual search where the hidden linear function over the Euclidean space is replaced by a hidden function $f : \mathcal{X} \rightarrow \mathcal{Y}$ in a certain hypothesis class $\mathcal{H}$. We provide a generic algorithm with $O(d^2)$ regret where $d$ is the covering dimension of this class. This leads in particular to a $\tilde{O}(s^2)$ regret algorithm for linear contextual search if the linear function is guaranteed to be $s$-sparse. Finally we also extend our results to the noisy feedback model, where each round our feedback is flipped with a fixed probability $p < 1/2$.


title: Model Selection in Contextual Stochastic Bandit Problems

abstract: We study bandit model selection in stochastic environments. Our approach relies on a meta-algorithm that selects between candidate base algorithms. We develop a meta-algorithm-base algorithm abstraction that can work with general classes of base algorithms and different type of adversarial meta-algorithms. Our methods rely on a novel and generic smoothing transformation for bandit algorithms that permits us to obtain optimal $O(\sqrt{T})$ model selection guarantees for stochastic contextual bandit problems as long as the optimal base algorithm satisfies a high probability regret guarantee. We show through a lower bound that even when one of the base algorithms has $O(\log T)$ regret, in general it is impossible to get better than $\Omega(\sqrt{T})$ regret in model selection, even asymptotically. Using our techniques, we address model selection in a variety of problems such as misspecified linear contextual bandits, linear bandit with unknown dimension and reinforcement learning with unknown feature maps. Our algorithm requires the knowledge of the optimal base regret to adjust the meta-algorithm learning rate. We show that without such prior knowledge any meta-algorithm can suffer a regret larger than the optimal base regret.


title: Symmetry-protected Topological Phases in Spinful Bosons with a Flat Band

abstract: We theoretically demonstrate that interacting symmetry-protected topological (SPT) phases can be realized with ultracold spinful bosonic atoms loaded on the lattices which have a flat band at the bottom of the band structure. Ground states of such systems are not conventional Mott insulators in the sense that the ground states possess not only spin fluctuations but also non-negligible charge fluctuations. The SPT phases in such systems are determined by both spin and charge fluctuations at zero temperature. We find that the many-body ground states of such systems can be exactly obtained in some special cases, and these exact ground states turn out to serve as representative states of the SPT phases. As a concrete example, we demonstrate that spin-1 bosons on a sawtooth chain can be in an SPT phase protected by $\mathbb{Z}_2 \times \mathbb{Z}_2$ spin rotation symmetry or time-reversal symmetry, and this SPT phase is a result of spin fluctuations. We also show that spin-3 bosons on a kagome lattice can be in an SPT phase protected by $D_2$ point group symmetry, but this SPT phase is, however, a result of charge fluctuations.


title: Calculating nonadiabatic couplings and Berry's phase by variational quantum eigensolvers

abstract: The variational quantum eigensolver (VQE) is an algorithm to find eigenenergies and eigenstates of systems in quantum chemistry and quantum many-body physics. The VQE is one of the most promising applications of near-term quantum devices to investigate such systems. Here we propose an extension of the VQE to calculate the nonadiabatic couplings of molecules in quantum chemical systems and Berry's phase in quantum many-body systems. Both quantities play an important role to understand the properties of a system beyond the naive adiabatic picture, e.g., nonadiabatic dynamics and topological phase of matter. We provide quantum circuits and classical post-processings to calculate the nonadiabatic couplings and Berry's phase. Specifically, we show that the evaluation of the nonadiabatic couplings reduces to that of expectation values of observables while that of Berry's phase also requires one additional Hadamard test. Furthermore, we simulate the photodissociation dynamics of a lithium fluoride molecule using the nonadiabatic couplings evaluated on a real quantum device. Our proposal widens the applicability of the VQE and the possibility of near-term quantum devices to study molecules and quantum many-body systems.


title: Embedding non-arithmetic hyperbolic manifolds

abstract: This paper shows that many hyperbolic manifolds obtained by glueing arithmetic pieces embed into higher-dimensional hyperbolic manifolds as codimension-one totally geodesic submanifolds. As a consequence, many Gromov--Pyatetski-Shapiro and Agol--Belolipetsky--Thomson non-arithmetic manifolds embed geodesically. Moreover, we show that the number of commensurability classes of hyperbolic manifolds with a representative of volume $\leq v$ that bounds geometrically is at least $v^{Cv}$, for $v$ large enough.


title: The geometry of physical observables

abstract: Jordan algebras were first introduced in an effort to restructure quantum mechanics purely in terms of physical observables. In this paper we explain why, if one attempts to reformulate the internal structure of the standard model of particle physics geometrically, one arrives naturally at a discrete internal geometry that is coordinatized by a Jordan algebra.


title: Hierarchically Decoupled Imitation for Morphological Transfer

abstract: Learning long-range behaviors on complex high-dimensional agents is a fundamental problem in robot learning. For such tasks, we argue that transferring learned information from a morphologically simpler agent can massively improve the sample efficiency of a more complex one. To this end, we propose a hierarchical decoupling of policies into two parts: an independently learned low-level policy and a transferable high-level policy. To remedy poor transfer performance due to mismatch in morphologies, we contribute two key ideas. First, we show that incentivizing a complex agent's low-level to imitate a simpler agent's low-level significantly improves zero-shot high-level transfer. Second, we show that KL-regularized training of the high level stabilizes learning and prevents mode-collapse. Finally, on a suite of publicly released navigation and manipulation environments, we demonstrate the applicability of hierarchical transfer on long-range tasks across morphologies. Our code and videos can be found at https://sites.google.com/berkeley.edu/morphology-transfer.


title: On Atomic Density of Numerical Semigroup Algebras

abstract: A numerical semigroup $S$ is a cofinite, additively-closed subset of the nonnegative integers that contains $0$. In this paper, we initiate the study of atomic density, an asymptotic measure of the proportion of irreducible elements in a given ring or semigroup, for semigroup algebras. It is known that the atomic density of the polynomial ring $\mathbb{F}_q[x]$ is zero for any finite field $\mathbb{F}_q$; we prove that the numerical semigroup algebra $\mathbb{F}_q[S]$ also has atomic density zero for any numerical semigroup~$S$. We also examine the particular algebra $\mathbb{F}_2[x^2,x^3]$ in more detail, providing a bound on the rate of convergence of the atomic density as well as a counting formula for irreducible polynomials using M\"{o}bius inversion, comparable to the formula for irreducible polynomials over a finite field $\mathbb{F}_q$.


title: BATS: Binary ArchitecTure Search

abstract: This paper proposes Binary ArchitecTure Search (BATS), a framework that drastically reduces the accuracy gap between binary neural networks and their real-valued counterparts by means of Neural Architecture Search (NAS). We show that directly applying NAS to the binary domain provides very poor results. To alleviate this, we describe, to our knowledge, for the first time, the 3 key ingredients for successfully applying NAS to the binary domain. Specifically, we (1) introduce and design a novel binary-oriented search space, (2) propose a new mechanism for controlling and stabilising the resulting searched topologies, (3) propose and validate a series of new search strategies for binary networks that lead to faster convergence and lower search times. Experimental results demonstrate the effectiveness of the proposed approach and the necessity of searching in the binary space directly. Moreover, (4) we set a new state-of-the-art for binary neural networks on CIFAR10, CIFAR100 and ImageNet datasets. Code will be made available https://github.com/1adrianb/binary-nas


title: Player Chemistry: Striving for a Perfectly Balanced Soccer Team

abstract: Soccer scouts typically ignore the team balance and team chemistry when evaluating potential signings for their teams. Instead, they focus on the individual qualities of the players in isolation. To overcome this limitation of their recruitment process, this paper takes a first step towards objectively providing insight into the question: How well does a team of soccer players gel? We address that question in both an observational and a predictive setting. In the former setting, we observe the chemistry between players who have actually played together, which is relevant when selecting the best possible line-up for a match. In the latter setting, we predict the chemistry between players who have never played together before, which is particularly relevant to assess the fit of a potential signing with the players who are already on the team. We introduce two chemistry metrics that measure the offensive and defensive chemistry for a pair of players, respectively. The offensive chemistry metric measures the pair's joint performance in terms of scoring goals, whereas the defensive chemistry metric measures their joint performance in preventing their opponents from scoring goals. We compute our metrics for 361 seasons in 106 different competitions and present a number of concrete use cases. For instance, we show that the partnership between Mohamed Salah and Roberto Firmino in Liverpool's 2017/2018 Champions League campaign exhibited the highest mutual chemistry between two players. Furthermore, we show that Mesut \"Ozil's chemistry has rapidly started declining following Alexis S\'anchez' departure to Manchester United in 2018.


title: The Cauchy-Riemann strain functional for Legendrian curves in the 3-sphere

abstract: The lower-order cr-invariant variational problem for Legendrian curves in the 3-sphere is studied and its Euler-Lagrange equations are deduced. Closed critical curves are investigated. Closed critical curves with non-constant cr-curvature are characterized. We prove that their cr-equivalence classes are in one-to-one correspondence with the rational points of a connected planar domain. A procedure to explicitly build all such curves is described. In addition, a geometrical interpretation of the rational parameters in terms of three phenomenological invariants is given.


title: Spin Hall Effects in Antiferromagnets

abstract: Recent experiments demonstrate that antiferromagnets exhibit the spin Hall effect. We study a tight-binding model of an antiferromagnet on a square lattice with Rashba spin-orbit coupling and disorder. By exact diagonalization of a finite system connected to reservoirs within the Landauer-B$\ddot{\text{u}}$ttiker formalism, we compute the transverse spin Hall current in response to a longitudinal voltage difference. Surprisingly, the spin Hall conductance can be considerably larger in antiferromagnets than in normal metals. We compare our results to the Berry-phase-induced spin Hall effect governed by the intrinsic contribution in the Kubo formula. The Berry-phase-induced intrinsic spin Hall conductivity in bulk systems shows the opposite behavior: large exchange couplings in AFs drastically reduce the spin Hall current.


title: Multi-soliton solutions of KP equation with integrable boundary via $\overline\partial$-dressing method

abstract: New classes of exact multi-soliton solutions of KP-1 and KP-2 versions of Kadomtsev-Petviashvili equation with integrable boundary condition $u_{y}\big|_{y=0}=0$ by the use of $\overline\partial$-dressing method of Zakharov and Manakov are constructed in the paper. General determinant formula in convenient form for such solutions is derived. It is shown how reality and boundary conditions for the field $u(x,y,t)$ in the framework of $\overline\partial$-dressing method can be satisfied exactly. Explicit examples of two-soliton solutions as nonlinear superpositions of two more simpler \,"deformed"\, one-solitons are presented as illustrations: the fulfillment of boundary condition leads to formation of bound state of two more simpler one-solitons, resonating eigenmodes of $u(x,y,t)$ in semi-plane $y\geq0$ as analogs of standing waves on the string with fixed end points.


title: Multi-lump solutions of KP equation with integrable boundary via $\overline\partial$-dressing method

abstract: We constructed the new classes of exact multi-lump solutions of KP-1 and KP-2 versions of KP equations with integrable boundary condition $u_{y}\big|_{y=0}=0$ by the use of $\overline\partial$-dressing method of Zakharov and Manakov and derived general determinant formula for such solutions. We demonstrated how reality and boundary conditions for the field $u$ in the framework of $\overline\partial$-dressing method can be exactly satisfied. Here we present explicit examples of two-lump solutions with integrable boundary as nonlinear superpositions of two more simpler "deformed" one-lump solutions: the fulfillment of boundary condition leads to formation of certain eigenmodes of the field $u(x,y,t)$ in semiplane $y\geq 0$ as analogs of standing waves on string with fixed end points.


title: Electronic parametric instabilities of an ultrarelativistic laser pulse in a plasma

abstract: Electronic parametric instabilities of an ultrarelativistic circularly polarized laser pulse propagating in underdense plasmas are studied by numerically solving the dispersion relation which includes the effect of the radiation reaction force in laser-driven plasma dynamics. Emphasis is placed on studying the different modes in the laser-plasma system and identifying the absolute and convective nature of the unstable modes in a parameter map spanned by the normalized laser vector potential and the plasma density. Implications for the ultraintense laser-plasma experiments are pointed out.


title: Laser Induced Speckle as a Foundation for Physical Security and Optical Computing

abstract: We present a photonic system that exploits the speckle generated by the interaction of a laser source and a semitransparent scattering medium, in our case a large-core optical fiber, as a physical root of trust for cryptographic applications, while the same configuration can act as a high-rate machine learning paradigm.


title: Image-based OoD-Detector Principles on Graph-based Input Data in Human Action Recognition

abstract: Living in a complex world like ours makes it unacceptable that a practical implementation of a machine learning system assumes a closed world. Therefore, it is necessary for such a learning-based system in a real world environment, to be aware of its own capabilities and limits and to be able to distinguish between confident and unconfident results of the inference, especially if the sample cannot be explained by the underlying distribution. This knowledge is particularly essential in safety-critical environments and tasks e.g. self-driving cars or medical applications. Towards this end, we transfer image-based Out-of-Distribution (OoD)-methods to graph-based data and show the applicability in action recognition. The contribution of this work is (i) the examination of the portability of recent image-based OoD-detectors for graph-based input data, (ii) a Metric Learning-based approach to detect OoD-samples, and (iii) the introduction of a novel semi-synthetic action recognition dataset. The evaluation shows that image-based OoD-methods can be applied to graph-based data. Additionally, there is a gap between the performance on intraclass and intradataset results. First methods as the examined baseline or ODIN provide reasonable results. More sophisticated network architectures - in contrast to their image-based application - were surpassed in the intradataset comparison and even lead to less classification accuracy.


title: Origin of (2014) MU69-like Kuiper-belt contact binaries from wide binaries

abstract: Following its flyby and first imaging the Pluto-Charon binary, the New Horizons spacecraft visited the Kuiper-Belt-Object (KBO) (486958) 2014 MU69 (Arrokoth). Imaging showed MU69 to be a contact-binary, made of two individual lobes connected by a narrow neck, rotating at low spin period (15.92 h), and having high obliquity (~98 deg), similar to other KBO contact-binaries inferred through photometric observations. The origin of such peculiar configurations is puzzling, and all scenarios suggested for the origins of contact-binaries fail to reproduce such properties and their likely high frequency. Here we show that semi-secular perturbations operating only on ultra-wide (~0.1-0.4 Hill-radius) KBO-binaries can robustly lead to gentle, slow-speed binary mergers at arbitrarily high obliquities, but low rotational velocities, that can reproduce MU69's (and similar oblique contact binaries) characteristics. Using N-body simulations, we find that ~15% of all ultra-wide binaries with cosine-uniform inclination distribution are likely to merge through this process. Moreover, we find that such mergers are sufficiently gentle as to only slightly deform the KBO shape, and can produce the measured rotation speed of MU69. The semi-secular contact-binary formation channel not only explains the observed properties of MU69, but could also apply for other Kuiper/asteroid belt binaries, and for Solar/extra-solar moon systems.