title: A Provably-Unforgeable Threshold EdDSA with an Offline Recovery Party

abstract: A $(t,n)$-threshold signature scheme enables distributed signing among $n$ players such that any subset of size at least $t$ can sign, whereas any subset with fewer players cannot. The goal is to produce threshold digital signatures that are compatible with an existing centralized signature scheme. Starting from the threshold scheme for the ECDSA signature due to Battagliola et al., we present the first protocol that supports EdDSA multi-party signatures with an offline participant during the key-generation phase, without relying on a trusted third party. Under standard assumptions we prove our scheme secure against adaptive malicious adversaries. Furthermore we show how our security notion can be strengthen when considering a rushing adversary. We discuss the resiliency of the recovery in the presence of a malicious party. Using a classical game-based argument, we prove that if there is an adversary capable of forging the scheme with non-negligible probability, then we can build a forger for the centralized EdDSA scheme with non-negligible probability.


title: Optimal Wireless Streaming of Multi-Quality 360 VR Video by Exploiting Natural, Relative Smoothness-enabled and Transcoding-enabled Multicast Opportunities

abstract: In this paper, we would like to investigate optimal wireless streaming of a multi-quality tiled 360 virtual reality (VR) video from a server to multiple users. To this end, we propose to maximally exploit potential multicast opportunities by effectively utilizing characteristics of multi-quality tiled 360 VR videos and computation resources at the users' side. In particular, we consider two requirements for quality variation in one field-of-view (FoV), i.e., the absolute smoothness requirement and the relative smoothness requirement, and two video playback modes, i.e., the direct-playback mode (without user transcoding) and transcode-playback mode (with user transcoding). Besides natural multicast opportunities, we introduce two new types of multicast opportunities, namely, relative smoothness-enabled multicast opportunities, which allow flexible tradeoff between viewing quality and communications resource consumption, and transcoding-enabled multicast opportunities, which allow flexible tradeoff between computation and communications resource consumptions. Then, we establish a novel mathematical model that reflects the impacts of natural, relative smoothness-enabled and transcoding-enabled multicast opportunities on the average transmission energy and transcoding energy. Based on this model, we optimize the transmission resource allocation, playback quality level selection and transmission quality level selection to minimize the energy consumption in the four cases with different requirements for quality variation and video playback modes. By comparing the optimal values in the four cases, we prove that the energy consumption reduces when more multicast opportunities can be utilized. Finally, numerical results show substantial gains of the proposed solutions over existing schemes, and demonstrate the importance of effective exploitation of the three types of multicast opportunities.


title: Manifolds of Amphiphilic Bilayers: Stability up to the Boundary

abstract: We consider the mass preserving $L^2$-gradient flow of the strong scaling of the functionalized Cahn Hilliard gradient flow and establish the nonlinear stability of a manifold comprised of quasi-equilibrium bilayer \muckmucks up to the manifold's boundary. In the limit of thin but non-zero interfacial width, $\varepsilon\ll1,$ the bilayer manifold is parameterized by meandering modes that describe the interfacial evolution and "pearling" modes that control the structure of the profile near the interface. The pearling modes are weakly damped and can lead to the dynamic rupture of the interface. Amphiphilic interfaces can lengthen to decrease energy. We introduce an implicitly defined parameterization of the interfacial shape that uncouples this growth from the parameters describing the shape and introduce a nonlinear projection onto the manifold from a surrounding neighborhood. The bilayer manifold has asymptotically large but finite dimension tuned to maximize normal coercivity while preserving the wave-number gap between the meandering and the pearling modes. Modulo a pearling stability assumption, we show that the manifold attracts nearby orbits into a tubular neighborhood about itself so long as the interfacial shape remains sufficiently smooth and far from self-intersection. In a companion paper, arXiv:1907.02196, we identify open sets of initial data whose orbits converge to circular equilibrium after a significant transient, and derive a singularly perturbed interfacial evolution comprised of motion against curvature regularized by an asymptotically weak Willmore term.


title: Message Dissemination in Connected Vehicles

abstract: Advances in connected vehicles based on Vehicular Ad-hoc Networks (VANETs) in recent years have gained significant attention in Intelligent Transport Systems (ITS) in terms of disseminating messages in an efficient manner. VANET uses Dedicated Short Range Communication (DSRC) for disseminating messages between vehicles and between infrastructures. Though DSRC based communications are viable, it is still challenging to disseminate messages in a timely manner when vehicles are not in the transmission range of each other. Furthermore, DSRC communication channels are heavily congested when the vehicle density increases on the road. To address these limitations, two emerging paradigms: 1) vehicular cloud computing and 2) vehicular fog computing are been adopted to disseminate message between the vehicles in a connected vehicular environment. Vehicular fog computing uses fog nodes for the dissemination of messages among vehicles. Any real-world object can be formed as a fog node by acquiring the properties such as 1) network connectivity, 2) computation, and 3) storage. In this book chapter, we highlight the significance of message dissemination in connected vehicles based on techniques like DSRC, vehicular cloud computing, and vehicular fog computing. Our objective is to help the readers better understand the fundamentals of connected vehicles and communication techniques while disseminating messages between vehicles and between infrastructures.


title: High-reflectance III-nitride distributed Bragg reflectors grown on Si substrates

abstract: Distributed Bragg reflectors (DBRs) composed of an AlN/AlGaN superlattice were grown of Si (111) substrates. The first high-reflectance III-nitride DBR on Si was achieved by growing the DBR directly on the Si substrate to enhance the overall reflectance due to the high index of refraction contrast at the Si/AlN interface. For a 9x DBR, the measured peak reflectance of 96.8% actually exceeded the theoretical value of 96.1%. The AlN/AlGaN superlattice served the added purpose of compensating the large tensile strain developed during the growth of a crack-free 500 nm GaN / 7x DBR / Si structure. This achievement opens the possibility to manufacture high-quality III-nitride optoelectronic devices without optical absorption in the opaque Si substrate.


title: Multi-domain semantic segmentation with pyramidal fusion

abstract: We present our submission to the semantic segmentation contest of the Robust Vision Challenge held at ECCV 2020. The contest requires submitting the same model to seven benchmarks from three different domains. Our approach is based on the SwiftNet architecture with pyramidal fusion. We address inconsistent taxonomies with a single-level 193-dimensional softmax output. We strive to train with large batches in order to stabilize optimization of a hard recognition problem, and to favour smooth evolution of batchnorm statistics. We achieve this by implementing a custom backward step through log-sum-prob loss, and by using small crops before freezing the population statistics. Our model ranks first on the RVC semantic segmentation challenge as well as on the WildDash 2 leaderboard. This suggests that pyramidal fusion is competitive not only for efficient inference with lightweight backbones, but also in large-scale setups for multi-domain application.


title: Correlations between multiple tracers of the cosmic web

abstract: The large-scale structure of the Universe is a cosmic web of interconnected clusters, filaments, and sheets of matter. This PhD comprises two complementary projects investigating the cosmic web using correlations between three different tracers: the cosmic microwave background (CMB), supernovae (SNe), and large quasar groups (LQGs). In the first project we re-analyse the apparent correlation between CMB temperature and SNe redshift reported by Yershov, Orlov and Raikov. They presented evidence that the WMAP/Planck CMB pixel-temperatures at SNe locations tend to increase with increasing redshift. They suggest this could be caused by the Integrated Sachs-Wolfe effect and/or by residual foreground contamination. Our analysis supports the prima facie existence of the correlation but attributes it instead to a composite selection bias caused by the chance alignment of seven deep survey fields with CMB hotspots. These seven fields contain just 9.2% of the SNe sample. We estimate the likelihood of their falling on CMB hotspots by chance is approximately 1 in 11. In the second project we investigate for the first time the apparent coherent alignment of LQGs in the redshift range 1.0 <= z <= 1.8. We find that the position angles (PAs) of LQGs are correlated, specifically aligned and orthogonal, with a maximum significance of ~2.4 sigma at typical angular (comoving) separations of ~30 degrees (~1.6 Gpc). Spatial coincidence between our LQG sample and regions of quasar polarization alignment first reported by Hutsemekers, and the similarity between LQG PAs and radio polarization angles reported by Pelgrims and Hutsemekers, suggest an interesting result.


title: MAELAS: MAgneto-ELAStic properties calculation via computational high-throughput approach

abstract: In this work, we present the program MAELAS to calculate magnetocrystalline anisotropy energy, anisotropic magnetostrictive coefficients and magnetoelastic constants in an automated way by Density Functional Theory calculations. The program is based on the length optimization of the unit cell proposed by Wu and Freeman to calculate the magnetostrictive coefficients for cubic crystals. In addition to cubic crystals, this method is also implemented and generalized for other types of crystals that may be of interest in the study of magnetostrictive materials. As a benchmark, some tests are shown for well-known magnetic materials.


title: An extension of the Abel-Liouville identity

abstract: In this note, we present an extension of the celebrated Abel-Liouville identity in terms of noncommutative complete Bell polynomials for generalized Wronskians. We also characterize the range equivalence of $n$-dimensional vector-valued functions in the subclass of $n$-times differentiable functions with a nonvanishing Wronskian.


title: Simplicial Distance

abstract: In this paper we will introduce and give topological properties of a new concept named simplicial distance which is the simplicial analog of the homotopic distance (in the sense of Marcias-Virgos and Mosquera-Lois in their paper [6]). According to our definition of simplicial distance, simplicial complexity is a particular case of this new concept.


title: On-sky measurements of atmospheric dispersion: I. Method validation

abstract: Observations with ground-based telescopes are affected by differential atmospheric dispersion due to the wavelength-dependent index of refraction of the atmosphere. The usage of an Atmospheric Dispersion Corrector (ADC) is fundamental to compensate this effect. Atmospheric dispersion correction residuals above the level of ~ 100 milli-arcseconds (mas) will affect astronomical observations, in particular radial velocity and flux losses. The design of an ADC is based on atmospheric models. To the best of our knowledge, those models have never been tested on-sky. In this paper, we present a new method to measure the atmospheric dispersion on-sky in the optical range. We require an accuracy better than 50 mas that is equal to the difference between atmospheric models. The method is based on the use of cross-dispersion spectrographs to determine the position of the centroid of the spatial profile at each wavelength of each spectral order. The method is validated using cross-dispersed spectroscopic data acquired with the slit spectrograph UVES. We measure an instrumental dispersion of 47 mas in the blue arm, 15 mas, and 23 mas in the two ranges of the red arm. We also measure a 4 % deviation in the pixel scale from the value cited in UVES manual. The accuracy of the method is ~ 17 mas in the range of 315-665 nm. At this level, we can compare and characterize different atmospheric dispersion models for better future ADC designs.


title: Broadband Acoustic Collimation and Focusing using Reduced Aberration Acoustic Luneburg Lens

abstract: Acoustic Luneburg lens is a symmetric gradient-index lens with a refractive index decreasing radially from the centre to the outer surface. It can be used to manipulate acoustic wave propagation with collimation and focusing capabilities. However, previously studied acoustic Luneburg lens works only at audible frequency ranges from 1 kHz to 7 kHz, or at a single ultrasonic frequency of 40 kHz. In addition, the acoustic Luneburg lens at high frequency is not omnidirectional in the previous researches. Furthermore, there is no realization of simulation and experimental testing of 3D acoustic Luneburg lens until now. In this paper, a practical reduced aberration acoustic Luneburg lens (RAALL) are proposed for broadband and omnidirectional acoustic collimation and focusing with reduced aberrations. Ray tracing technique shows that RAALL can achieve a better acoustic focusing compared with traditional modified acoustic Luneburg lens. Following that, two models of RAALL are designed and fabricated through additive manufacturing technology: a 2D version and a 3D version. Collimation and focusing performances of the ultrasonic waves are theoretically, numerically and experimentally demonstrated for both 2D and 3D lenses, and their broadband and omnidirectional characteristics are verified.


title: Dynamics Compensation in Observation of Abstract Linear Systems

abstract: This is the second part of four series papers, aiming at the problem of sensor dynamics compensation for abstract linear systems. Two major issues are addressed. The first one is about the sensor dynamics compensation in system observation and the second one is on the disturbance dynamics compensation in output regulation for linear system. Both of them can be described by the problem of state observation for an abstract cascade system. We consider these two apparently different problems from the same abstract linear system point of view. A new scheme of the observer design for the abstract cascade system is developed and the exponential convergence of the observation error is established. It is shown that the error based observer design in the problem of output regulation can be converted into a sensor dynamics compensation problem by the well known regulator equations. As a result, a tracking error based observer for output regulation problem is designed by exploiting the developed method. As applications, the ordinary differential equations (ODEs) with output time-delay and an unstable heat equation with ODE sensor dynamics are fully investigated to validate the theoretical results. The numerical simulations for the unstable heat system are carried out to validate the proposed method visually.


title: A note on large deviations in life insurance

abstract: We study large and moderate deviations for a life insurance portfolio, without assuming identically distributed losses. The crucial assumption is that losses are bounded, and that variances are bounded below. From a standard large deviations upper bound, we get an exponential bound for the probability of the average loss exceeding a threshold. A counterexample shows that a full large deviation principle does not follow from our assumptions.


title: A Personal History of the Hastings-Michalakis Proof of Hall Conductance Quantization

abstract: This is a personal history of the Hastings-Michalakis proof of quantum Hall conductance quantization.


title: Violation of Heisenberg's error-disturbance relation by Stern-Gerlach measurements

abstract: Although Heisenberg's uncertainty principle is represented by a rigorously proven relation about intrinsic indeterminacy in quantum states, Heisenberg's error-disturbance relation (EDR) has been commonly believed as another aspect of the principle. However, recent developments of quantum measurement theory made Heisenberg's EDR testable to observe its violations. Here, we study the EDR for Stern-Gerlach measurements. In a previous report [arXiv:1910.07929], it has been pointed out that their EDR is close to the theoretical optimal. The present note reports that even the original Stern-Gerlach experiment in 1922, the available experimental data show, violates Heisenberg's EDR. The results suggest that Heisenberg's EDR is more ubiquitously violated than it has long been supposed.


title: Multi-pulse solitary waves in a fourth-order nonlinear Schr\"odinger equation

abstract: In the present work, we consider the existence and spectral stability of multi-pulse solitary wave solutions to a nonlinear Schr\"odinger equation with both fourth and second order dispersion terms. We first give a criterion for the existence of a single solitary wave solution in terms of the coefficients of the dispersion terms, and then show that a discrete family of multi-pulse solutions exists which is characterized by the distances between the individual pulses. We then reduce the spectral stability problem for these multi-pulses to computing the determinant of a matrix which is, to leading order, block diagonal. Under an additional assumption, which can be verified numerically, we show that all multi-pulses are spectrally unstable. For double pulses, numerical computations are presented which are in good agreement with our analytical results.


title: Applications of rational difference equations to spectral graph theory

abstract: We study a general class of recurrence relations that appear in the application of a matrix diagonalization procedure. We find general closed formula and determine analytical properties of the solutions. We finally apply these findings in several problems involving eigenvalues of graphs.


title: Augmented Reality Chess Analyzer (ARChessAnalyzer): In-Device Inference of Physical Chess Game Positions through Board Segmentation and Piece Recognition using Convolutional Neural Network

abstract: Chess game position analysis is important in improving ones game. It requires entry of moves into a chess engine which is, cumbersome and error prone. We present ARChessAnalyzer, a complete pipeline from live image capture of a physical chess game, to board and piece recognition, to move analysis and finally to Augmented Reality (AR) overlay of the chess diagram position and move on the physical board. ARChessAnalyzer is like a scene analyzer - it uses an ensemble of traditional image and vision techniques to segment the scene (ie the chess game) and uses Convolution Neural Networks (CNNs) to predict the segmented pieces and combine it together to analyze the game. This paper advances the state of the art in the first of its kind end to end integration of robust detection and segmentation of the board, chess piece detection using the fine-tuned AlexNet CNN and chess engine analyzer in a handheld device app. The accuracy of the entire chess position prediction pipeline is 93.45\% and takes 3-4.5sec from live capture to AR overlay. We also validated our hypothesis that ARChessAnalyzer, is faster at analysis than manual entry for all board positions for valid outcomes. Our hope is that the instantaneous feedback this app provides will help chess learners worldwide at all levels improve their game.


title: Active gating: rocking diffusion channels

abstract: When the contacts of an open system flip between different reservoirs, the resulting nonequilibrium shows increased dynamical activity. We investigate such active gating for one-dimensional symmetric (SEP) and asymmetric (ASEP) exclusion models where the left/right boundary rates for entrance and exit of particles are exchanged at random times. Such rocking makes SEP spatially symmetric and on average there is no boundary driving; yet the entropy production increases in the rocking rate. For ASEP a non-monotone density profile can be obtained with particles clustering at the edges. In the totally asymmetric case, there is a bulk transition to a maximal current phase as the rocking exceeds a finite threshold, depending on the boundary rates. We study the resulting density profiles and current as functions of the rocking rate.


title: Deformation of pairs and semiregularity

abstract: In this paper, we study relative deformations of maps into a family of K\"ahler manifolds whose images are divisors. We show that if the map satisfies a condition called semiregularity, then it allows relative deformations if and only if the cycle class of the image remains Hodge in the family. This gives a refinement of the so-called variational Hodge conjecture. We also show that the semiregularity of maps is related to classical notions such as Cayley-Bacharach conditions and d-semistability.


title: Parameter retrieval methods in ptychography

abstract: We present a parameter retrieval method which combines ptychography and additional prior knowledge about the object. The proposed method is applied to two applications: (1) parameter retrieval of small particles from Fourier ptychographic dark field measurements; (2) parameter retrieval of retangule with real-space ptychography. The influence of Poisson noise is discussed in the second part of the paper. The Cram\'{e}r Rao Lower Bound in both two applications is computed and Monte Carlo analysis is used to verify the calculated lower bound. With the computation results we report the lower bound for various noise levels and the correlation of particles in Application 1. For Application 2 the correlation of parameters of the rectangule is discussed.


title: Deep Learning Based Antenna Selection for Channel Extrapolation in FDD Massive MIMO

abstract: In massive multiple-input multiple-output (MIMO) systems, the large number of antennas would bring a great challenge for the acquisition of the accurate channel state information, especially in the frequency division duplex mode. To overcome the bottleneck of the limited number of radio links in hybrid beamforming, we utilize the neural networks (NNs) to capture the inherent connection between the uplink and downlink channel data sets and extrapolate the downlink channels from a subset of the uplink channel state information. We study the antenna subset selection problem in order to achieve the best channel extrapolation and decrease the data size of NNs. The probabilistic sampling theory is utilized to approximate the discrete antenna selection as a continuous and differentiable function, which makes the back propagation of the deep learning feasible. Then, we design the proper off-line training strategy to optimize both the antenna selection pattern and the extrapolation NNs. Finally, numerical results are presented to verify the effectiveness of our proposed massive MIMO channel extrapolation algorithm.


title: Indoor Localization Techniques Within a Home Monitoring Platform

abstract: This paper details a number of indoor localization techniques developed for real-time monitoring of older adults. These were developed within the framework of the i-Light research project that was funded by the European Union. The project targeted the development and initial evaluation of a configurable and cost-effective cyber-physical system for monitoring the safety of older adults who are living in their own homes. Localization hardware consists of a number of custom-developed devices that replace existing luminaires. In addition to lighting capabilities, they measure the strength of a Bluetooth Low Energy signal emitted by a wearable device on the user. Readings are recorded in real time and sent to a software server for analysis. We present a comparative evaluation of the accuracy achieved by several server-side algorithms, including Kalman filtering, a look-back heuristic as well as a neural network-based approach. It is known that approaches based on measuring signal strength are sensitive to the placement of walls, construction materials used, the presence of doors as well as existing furniture. As such, we evaluate the proposed approaches in two separate locations having distinct building characteristics. We show that the proposed techniques improve the accuracy of localization. As the final step, we evaluate our results against comparable existing approaches.


title: A rapidly convergent approximation scheme for nonlinear autonomous and non-autonomous wave-like equations

abstract: In this work, an efficient approximation scheme has been proposed for getting accurate approximate solution of nonlinear partial differential equations with constant or variable coefficients satisfying initial conditions in a series of exponential instead of an algebraic function of independent variables. As a consequence: i) the convergence of the series found to be faster than the same obtained by few other methods and ii) the exact analytic solution can be obtained from the first few terms of the series of the approximate solution, in cases the equation is integrable. The convergence of the sum of the successive correction terms has been established and an estimate of the error in the approximation has also been presented. The efficiency of the present method has been illustrated through some examples with a variety of nonlinear terms present in the equation.


title: An adaptive high-order unfitted finite element method for elliptic interface problems

abstract: We design an adaptive unfitted finite element method on the Cartesian mesh with hanging nodes. We derive an hp-reliable and efficient residual type a posteriori error estimate on K-meshes. A key ingredient is a novel hp-domain inverse estimate which allows us to prove the stability of the finite element method under practical interface resolving mesh conditions and also prove the lower bound of the hp a posteriori error estimate. Numerical examples are included.


title: A free web service for fast COVID-19 classification of chest X-Ray images

abstract: The coronavirus outbreak became a major concern for society worldwide. Technological innovation and ingenuity are essential to fight COVID-19 pandemic and bring us one step closer to overcome it. Researchers over the world are working actively to find available alternatives in different fields, such as the Healthcare System, pharmaceutic, health prevention, among others. With the rise of artificial intelligence (AI) in the last 10 years, IA-based applications have become the prevalent solution in different areas because of its higher capability, being now adopted to help combat against COVID-19. This work provides a fast detection system of COVID-19 characteristics in X-Ray images based on deep learning (DL) techniques. This system is available as a free web deployed service for fast patient classification, alleviating the high demand for standards method for COVID-19 diagnosis. It is constituted of two deep learning models, one to differentiate between X-Ray and non-X-Ray images based on Mobile-Net architecture, and another one to identify chest X-Ray images with characteristics of COVID-19 based on the DenseNet architecture. For real-time inference, it is provided a pair of dedicated GPUs, which reduce the computational time. The whole system can filter out non-chest X-Ray images, and detect whether the X-Ray presents characteristics of COVID-19, highlighting the most sensitive regions.


title: Learning Unknown Physics of non-Newtonian Fluids

abstract: We extend the physics-informed neural network (PINN) method to learn viscosity models of two non-Newtonian systems (polymer melts and suspensions of particles) using only velocity measurements. The PINN-inferred viscosity models agree with the empirical models for shear rates with large absolute values but deviate for shear rates near zero where the analytical models have an unphysical singularity. Once a viscosity model is learned, we use the PINN method to solve the momentum conservation equation for non-Newtonian fluid flow using only the boundary conditions.


title: Analysis of an M/G/1 system for the optimization of the RTG performances in the delivery of containers in Abidjan Terminal

abstract: In front of the major challenges to increase its productivity while satisfying its customer, it is today important to establish in advance the operational performances of the RTG Abidjan Terminal. In this article, by using an M/G/1 retrial queue system, we obtained the average number of parked delivery trucks and as well as their waiting time. Finally, we used Matlab to represent them graphically then analyze the RTG performances according to the traffic rate.


title: Software Effort Estimation using parameter tuned Models

abstract: Software estimation is one of the most important activities in the software project. The software effort estimation is required in the early stages of software life cycle. Project Failure is the major problem undergoing nowadays as seen by software project managers. The imprecision of the estimation is the reason for this problem. Assize of software size grows, it also makes a system complex, thus difficult to accurately predict the cost of software development process. The greatest pitfall of the software industry was the fast-changing nature of software development which has made it difficult to develop parametric models that yield high accuracy for software development in all domains. We need the development of useful models that accurately predict the cost of developing a software product. This study presents the novel analysis of various regression models with hyperparameter tuning to get the effective model. Nine different regression techniques are considered for model development


title: Radical pairs may play a role in xenon-induced general anesthesia

abstract: Understanding the mechanisms underlying general anesthesia would be a key step towards understanding consciousness. The process of xenon-induced general anesthesia has been shown to involve electron transfer, and the potency of xenon as a general anesthetic exhibits isotopic dependence. We propose that these observations can be explained by a mechanism in which the xenon nuclear spin influences the recombination dynamics of a naturally occurring radical pair of electrons. We develop a simple model inspired by the body of work on the radical-pair mechanism in cryptochrome in the context of avian magnetoreception, and we show that our model can reproduce the observed isotopic dependence of the general anesthetic potency of xenon in mice. Our results are consistent with the idea that radical pairs of electrons with entangled spins could be important for consciousness.


title: On the asymptotics of integrals arising in the study of the wave motion in lattices

abstract: We present a method for finding the asymptotics of integrals arising in solid mechanics.

categories: math.CA math-ph math.MP physics.class-ph


title: Clusters of Solar Eclipses in the Maori Era

abstract: A dozen of high-magnitude solar eclipses accumulated near New Zealand in the 15th century AD when the Maori inhabited the two main islands. Taking today's capital Wellington as the point of reference, we counted ten events with magnitude larger than 0.9 between 1409 and 1516 AD and two more just below this value. The eclipses need not have been all observed on account of weather conditions. An allusion to a particular event that could be conveyed in a myth is discussed, but the dating turns out far from certain. We take the opportunity here to meet the astronomy of the Maori and their understanding of this natural phenomenon. Moreover, an announcement is made to a cluster of five central eclipses of the sun that will encounter New Zealand from 2035 to 2045.


title: Multidisciplinary Design Optimization of Reusable Launch Vehicles for Different Propellants and Objectives

abstract: Identifying the optimal design of a new launch vehicle is most important since design decisions made in the early development phase limit the vehicles' later performance and determines the associated costs. Reusing the first stage via retro-propulsive landing increases the complexity even more. Therefore, we develop an optimization framework for partially reusable launch vehicles, which enables multidisciplinary design studies. The framework contains suitable mass estimates of all essential subsystems and a routine to calculate the needed propellant for the ascent and landing maneuvers. For design optimization, the framework can be coupled with a genetic algorithm. The overall goal is to reveal the implications of different propellant combinations and objective functions on the launcher's optimal design for various mission scenarios. The results show that the optimization objective influences the most suitable propellant choice and the overall launcher design, concerning staging, weight, size, and rocket engine parameters. In terms of gross lift-off weight, liquid hydrogen seems to be favorable. When optimizing for a minimum structural mass or an expandable structural mass, hydrocarbon-based solutions show better results. Finally, launch vehicles using a hydrocarbon fuel in the first stage and liquid hydrogen in the upper stage are an appealing alternative, combining both fuels' benefits.


title: Black-box inhomogeneous preconditioning for self-consistent field iterations in density functional theory

abstract: We propose a new preconditioner based on the local density of states for computing the self-consistent problem in Kohn-Sham density functional theory. This preconditioner is inexpensive and able to cure the long-range charge sloshing known to hamper convergence in large, inhomogeneous systems such as clusters and surfaces. It is based on a parameter-free and physically motivated approximation to the independent-particle susceptibility operator, appropriate for both metals and insulators. It can be extended to semiconductors by using the macroscopic electronic dielectric constant as a parameter in the model. We test our preconditioner successfully on inhomogeneous systems containing metals, insulators, semiconductors and vacuum.

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


title: Ideological differences in engagement in public debate on Twitter

abstract: This article analyses public debate on Twitter via network representations of retweets and replies. We argue that tweets observable on Twitter have both a direct and mediated effect on the perception of public opinion. Through the interplay of the two networks, it is possible to identify potentially misleading representations of public opinion on the platform. The method is employed to observe public debate about two events: The Saxon state elections and violent riots in the city of Leipzig in 2019. We show that in both cases, (i) different opinion groups exhibit different propensities to get involved in debate, and therefore have unequal impact on public opinion. Users retweeting far-right parties and politicians are significantly more active, hence their positions are disproportionately visible. (ii) Said users act significantly more confrontational in the sense that they reply mostly to users from different groups, while the contrary is not the case.


title: The additive problem for the number of representations as a sum of two squares

abstract: We improve a previous unconditional result about the asymptotic behavior of $\sum_{n\le x} r(n)r(n+m)$ with $r(n)$ the number of representations of $n$ as a sum of two squares when $m$ may vary with $x$.


title: A Predictive Strategy for the Iterated Prisoner's Dilemma

abstract: The iterated prisoner's dilemma is a game that produces many counter-intuitive and complex behaviors in a social environment, based on very simple basic rules. It illustrates that cooperation can be a good thing even in a competitive world, that individual fitness needs not to be the most important criteria of success, and that some strategies are very strong in a direct confrontation but could still perform poorly on average or are evolutionarily unstable. In this contribution, we present a strategy -- PREDICTOR -- which appears to be "sentient" and chooses to cooperate when playing against some strategies, but defects when playing against others, without the need to record "tags" for its opponents or an involved decision-making mechanism. To be able to operate in the highly-contextual environment, as modeled by the iterated prisoner's dilemma, PREDICTOR learns from its experience to choose optimal actions by modeling its opponent and predicting a (fictive) future. It is shown that PREDICTOR is an efficient strategy for playing the iterated prisoner's dilemma and is simple to implement. In a simulated and representative tournament, it achieves high average scores and wins the tournament for various parameter settings. PREDICTOR thereby relies on a brief phase of exploration to improve its model, and it can evolve morality from intrinsically selfish behavior.


title: Timing of stellar pulsations to search for sub-stellar companions beyond the main sequence

abstract: (abridged) Stars spend most of their life on the main sequence (MS). But their most substantial changes occur off the MS stage, either before on the pre-MS or beyond at the post-MS phase. Due to very complex and varied dynamical processes, the evolution of planetary systems orbiting non-MS stars significantly differs from those of MS planetary systems. This work focusses on the search for sub-stellar companions in post-MS systems146 and determination of the evolutionary state of their host stars, especially subdwarf B stars (sdB stars). The canonical model involves binary evolution to explain the existence of sdB stars. Formation scenarios for single sdBs are more controversially discussed. Besides the merger of two helium white dwarfs or other merger processes for apparently single sdB stars, an alternative formation channel involves planetary systems. During the red giant phase, the star would develop a common envelope w146ith a giant planet that leads to the loss of the envelope. Thus, sdB stars are laboratories to test how planets survive and influence the late phases of stellar evolution. The rapid pulsations of sdB stars can be used to detect sub-stellar companions from periodic variations in the expected arrival times of the pulsation maxima. This timing method is particularly sensitive to companions at large distances and complementary to other exoplanet detection methods. Thus, the timing method opens up a new parameter range in terms of the host stars and helps to understand the formation process of single sdBs. In this work I implemented, tested and applied the pulsation timing analysis to search for sub-stellar companions in late evolutionary stage stellar systems. The method is already established in the literature but not to an extent which is capable of automatically processing long-time series of high-cadence data, i.e., from space born observations.


title: Nature of Partial Magnetic Order in the Frustrated Antiferromagnet Gd2Ti2O7

abstract: Partially-ordered magnets are distinct from both spin liquids and conventional ordered magnets because order and disorder coexist in the same magnetic phase. Here, we determine the nature of partial order in the canonical frustrated pyrochlore antiferromagnet Gd$_2$Ti$_{2}$O$_{7}$. Using single-crystal neutron-diffraction measurements in applied magnetic field, magnetic symmetry analysis, inelastic neutron-scattering measurements, and spin-wave modeling, we show that its low-temperature magnetic structure involves two propagation vectors (2-$\mathbf{k}$ structure) with suppressed ordered magnetic moments and enhanced spin-wave fluctuations. Our experimental results support theoretical predictions of thermal fluctuation-driven order in Gd$_{2}$Ti$_{2}$O$_{7}$.


title: Set Equality in Combinatorial Game Theory

abstract: In Combinatorial Game Theory, the fundamental relation of game equivalence, denoted by $=$, is introduced early on and overrides the notion of set equality. We explore what happens if set equality is given its due before game equivalence is introduced.


title: Yet Meta Learning Can Adapt Fast, It Can Also Break Easily

abstract: Meta learning algorithms have been widely applied in many tasks for efficient learning, such as few-shot image classification and fast reinforcement learning. During meta training, the meta learner develops a common learning strategy, or experience, from a variety of learning tasks. Therefore, during meta test, the meta learner can use the learned strategy to quickly adapt to new tasks even with a few training samples. However, there is still a dark side about meta learning in terms of reliability and robustness. In particular, is meta learning vulnerable to adversarial attacks? In other words, would a well-trained meta learner utilize its learned experience to build wrong or likely useless knowledge, if an adversary unnoticeably manipulates the given training set? Without the understanding of this problem, it is extremely risky to apply meta learning in safety-critical applications. Thus, in this paper, we perform the initial study about adversarial attacks on meta learning under the few-shot classification problem. In particular, we formally define key elements of adversarial attacks unique to meta learning and propose the first attacking algorithm against meta learning under various settings. We evaluate the effectiveness of the proposed attacking strategy as well as the robustness of several representative meta learning algorithms. Experimental results demonstrate that the proposed attacking strategy can easily break the meta learner and meta learning is vulnerable to adversarial attacks. The implementation of the proposed framework will be released upon the acceptance of this paper.


title: Approximate Generalized Inverses with Iterative Refinement for $\epsilon$-Accurate Preconditioning of Singular Systems

abstract: We introduce a new class of preconditioners to enable flexible GMRES to find a least-squares solution, and potentially the pseudoinverse solution, of large-scale sparse, asymmetric, singular, and potentially inconsistent systems. We develop the preconditioners based on a new observation that generalized inverses (i.e., $\boldsymbol{A}^{g}\in\{\boldsymbol{G}\mid\boldsymbol{A}\boldsymbol{G}\boldsymbol{A}=\boldsymbol{A}\}$) enable the preconditioned Krylov subspaces to converge in a single step. We then compute an approximate generalized inverse (AGI) efficiently using a hybrid incomplete factorization (HIF), which combines multilevel incomplete LU with rank-revealing QR on its final Schur complement. We define the criteria of $\epsilon$-accuracy and stability of AGI to guarantee the convergence of preconditioned GMRES for consistent systems. For inconsistent systems, we fortify HIF with iterative refinement to obtain HIFIR, which allows accurate computations of the null-space vectors. By combining the two techniques, we then obtain a new solver, called PIPIT, for obtaining the pseudoinverse solutions for systems with low-dimensional null spaces. We demonstrate the robustness of HIF and HIFIR and show that they improve both accuracy and efficiency of the prior state of the art by orders of magnitude for systems with up to a million unknowns.


title: CAGNN: Cluster-Aware Graph Neural Networks for Unsupervised Graph Representation Learning

abstract: Unsupervised graph representation learning aims to learn low-dimensional node embeddings without supervision while preserving graph topological structures and node attributive features. Previous graph neural networks (GNN) require a large number of labeled nodes, which may not be accessible in real-world graph data. In this paper, we present a novel cluster-aware graph neural network (CAGNN) model for unsupervised graph representation learning using self-supervised techniques. In CAGNN, we perform clustering on the node embeddings and update the model parameters by predicting the cluster assignments. Moreover, we observe that graphs often contain inter-class edges, which mislead the GNN model to aggregate noisy information from neighborhood nodes. We further refine the graph topology by strengthening intra-class edges and reducing node connections between different classes based on cluster labels, which better preserves cluster structures in the embedding space. We conduct comprehensive experiments on two benchmark tasks using real-world datasets. The results demonstrate the superior performance of the proposed model over existing baseline methods. Notably, our model gains over 7% improvements in terms of accuracy on node clustering over state-of-the-arts.


title: Quasi-symplectic Langevin Variational Autoencoder

abstract: Variational autoencoder (VAE) is a very popular and well-investigated generative model in neural learning research. To leverage VAE in practical tasks dealing with a massive dataset of large dimensions, it is required to deal with the difficulty of building low variance evidence lower bounds (ELBO). Markov Chain Monte Carlo (MCMC) is an effective approach to tighten the ELBO for approximating the posterior distribution and Hamiltonian Variational Autoencoder (HVAE) is an effective MCMC inspired approach for constructing a low-variance ELBO that is amenable to the reparameterization trick. The HVAE adapted the Hamiltonian dynamic flow into variational inference that significantly improves the performance of the posterior estimation. We propose in this work a Langevin dynamic flow-based inference approach by incorporating the gradients information in the inference process through the Langevin dynamic which is a kind of MCMC based method similar to HVAE. Specifically, we employ a quasi-symplectic integrator to cope with the prohibit problem of the Hessian computing in naive Langevin flow. We show the theoretical and practical effectiveness of the proposed framework with other gradient flow-based methods.


title: Automated Market Makers for Decentralized Finance (DeFi)

abstract: This paper compares mathematical models for automated market makers including logarithmic market scoring rule (LMSR), liquidity sensitive LMSR (LS-LMSR), constant product/mean/sum, and others. It is shown that though LMSR may not be a good model for Decentralized Finance (DeFi) applications, LS-LMSR has several advantages over constant product/mean based automated market makers. However, LS-LMSR requires complicated computation (i.e., logarithm and exponentiation) and the cost function curve is concave. In certain DeFi applications, it is preferred to have computationally efficient cost functions with convex curves to conform with the principle of supply and demand. This paper proposes and analyzes constant circle/ellipse based cost functions for automated market makers. The proposed cost functions are computationally efficient (only requires multiplication and square root calculation) and have several advantages over widely deployed constant product cost functions. For example, the proposed market makers are more robust against front-runner (slippage) attacks.


title: Oriented Riordan graphs and their fractal property

abstract: In this paper, we use the theory of Riordan matrices to introduce the notion of an oriented Riordan graph. The oriented Riordan graphs are a far-reaching generalization of the well known and well studied Toeplitz oriented graphs and tournament. The main focus in this paper is the study of structural properties of the oriented Riordan graphs which includes a fundamental decomposition theorem and fractal property. Finally, we introduce the generalization of the oriented Riordan graph who is called a $p$-Riordan graph.


title: Hamilton-Jacobi equations for inference of matrix tensor products

abstract: We study the high-dimensional limit of the free energy associated with the inference problem of finite-rank matrix tensor products. In general, we bound the limit from above by the unique solution to a certain Hamilton-Jacobi equation. Under additional assumptions on the nonlinearity in the equation which is determined explicitly by the model, we identify the limit with the solution. Two notions of solutions, weak solutions and viscosity solutions, are considered, each of which has its own advantages and requires different treatments. For concreteness, we apply our results to a model with i.i.d. entries and symmetric interactions. In particular, for the first order and even order tensor products, we identify the limit and obtain estimates on convergence rates; for other odd orders, upper bounds are obtained.


title: Fourier-transform VUV spectroscopy of $^{14,15}$N and $^{12,13}$C

abstract: Accurate Fourier-transform spectroscopic absorption measurements of vacuum ultraviolet transitions in atomic nitrogen and carbon were performed at the Soleil synchrotron. For $^{14}$N transitions from the $2s^22p^3\,^4$S$_{3/2}$ ground state and from the $2s^22p^3\,^2$P and $^2$D metastable states were determined in the $95 - 124$ nm range at an accuracy of $0.025\,\mathrm{cm}^{-1}$. Combination of these results with data from previous precision laser experiments in the vacuum ultraviolet range reveal an overall and consistent offset of -0.04 \wn\ from values reported in the NIST database. %The splitting of the $2s^22p^3\,^4$S$_{3/2}$ -- %$2s2p^4\,^4$P$_{5/2,3/2,1/2}$ The splittings of the $2s^22p^3\,^4$S$_{3/2}$ -- $2s2p^4\,^4$P$_{J}$ transitions are well-resolved for $^{14}$N and $^{15}$N and isotope shifts determined. While excitation of a $2p$ valence electron yields very small isotope shifts, excitation of a $2s$ core electron results in large isotope shifts, in agreement with theoretical predictions. For carbon six transitions from the ground $2s^22p^2\,^3$P$_{J}$ and $2s^22p3s\, ^3$P$_{J}$ excited states at $165$ nm are measured for both $^{12}$C and $^{13}$C isotopes.


title: Coincidence inelastic neutron scattering for detection of two-spin magnetic correlations

abstract: Inelastic neutron scattering (INS) is one powerful technique to study the low-energy single-spin dynamics of magnetic materials. A variety of quantum magnets show novel magnetic correlations such as quantum spin liquids. These novel magnetic correlations are beyond the direct detection of INS. In this paper we propose a coincidence technique, coincidence inelastic neutron scattering (cINS), which can detect the two-spin magnetic correlations of the magnetic materials. In cINS there are two neutron sources and two neutron detectors with an additional coincidence detector. Two neutrons from the two neutron sources are incident on the target magnetic material, and they are scattered by the electron spins of the magnetic material. The two scattered neutrons are detected by the two neutron detectors in coincidence with the coincidence probability described by a two-spin Bethe-Salpeter wave function. Since the two-spin Bethe-Salpeter wave function defines the momentum-resolved dynamical wave function with two spins excited, cINS can explicitly detect the two-spin magnetic correlations of the magnetic material. Thus, it can be introduced to study the various spin valence bond states of the quantum magnets.


title: The Lie algebra preserving a degenerate bilinear form

abstract: Let $k$ be an arbitrary field and $d$ a positive integer. For each degenerate symmetric or antisymmetric bilinear form $M$ on $k^{d}$ we determine the structure of the Lie algebra of matrices that preserve $M$, and of the Lie algebra of matrices that preserve the subspace spanned by $M$. We show that these Lie algebras are semidirect products of classical Lie algebras and certain representations, and determine their radicals, derived series and semisimple quotients. Our main motivation and application is to determine the structure of the graded Lie algebra of derivations of each commutative or graded commutative algebra with Hilbert polynomial $1+dt+t^{2}$. Some of our results apply to more general bilinear forms and graded algebras.


title: Inverse square root level-crossing quantum two-state model

abstract: We introduce a new unconditionally solvable level-crossing two-state model given by a constant-amplitude optical field configuration for which the detuning is an inverse-square-root function of time. This is a member of one of the five families of bi-confluent Heun models. We prove that this is the only non-classical exactly solvable field configuration among the bi-confluent Heun classes, solvable in terms of finite sums of the Hermite functions. The general solution of the two-state problem for this model is written in terms of four Hermite functions of a shifted and scaled argument (each of the two fundamental solutions presents an irreducible combination of two Hermite functions). We present the general solution, rewrite it in terms of more familiar physical quantities and analyze the time dynamics of a quantum system subject to excitation by a laser field of this configuration.


title: Strong Hanani-Tutte for the Torus

abstract: If a graph can be drawn on the torus so that every two independent edges cross an even number of times, then the graph can be embedded on the torus.


title: Parity Violation and Chiral Oscillation of Cosmological Relic Neutrinos

abstract: The conventional derivation of neutrino oscillation treats neutrino mass eigenstate as plane wave with an overall evolution phase. Nevertheless, due to the intrinsic parity-violating nature of weak interactions, only the left-chiral neutrino can be produced as initial condition. On the other hand, the neutrino mass term connects the left-chiral component to the right-chiral one and unavoidably leads to generation of the later through oscillation. This chiral oscillation has significant consequences on the detection of the cosmological relic neutrinos. The event rate is reduced by a factor of 2 than the conventional prediction.


title: Rotation Optimized Filter for Longevity (ROFL): Increasing the lifetime of Swift/UVOT simply

abstract: I demonstrate that a very simple and safe change to the planning software filter assignment algorithm for the Ultraviolet/Optical Telescope (UVOT) onboard the Neil Gehrels Swift Observatory can reduce the number of filter wheel rotations by $>10\%$, and its adoption is thus likely to significantly extend the usable lifetime of the UVOT instrument. I recommend that such a scheme be implemented.


title: Quingo: A Programming Framework for Heterogeneous Quantum-Classical Computing with NISQ Features

abstract: The increasing control complexity of Noisy Intermediate-Scale Quantum (NISQ) systems underlines the necessity of integrating quantum hardware with quantum software. While mapping heterogeneous quantum-classical computing (HQCC) algorithms to NISQ hardware for execution, we observed a few dissatisfactions in quantum programming languages (QPLs), including difficult mapping to hardware, limited expressiveness, and counter-intuitive code. Also, noisy qubits require repeatedly performed quantum experiments, which explicitly operate low-level configurations, such as pulses and timing of operations. This requirement is beyond the scope or capability of most existing QPLs. We summarize three execution models to depict the quantum-classical interaction of existing QPLs. Based on the refined HQCC model, we propose the Quingo framework to integrate and manage quantum-classical software and hardware to provide the programmability over HQCC applications and map them to NISQ hardware. We propose a six-phase quantum program life-cycle model matching the refined HQCC model, which is implemented by a runtime system. We also propose the Quingo programming language, an external domain-specific language highlighting timer-based timing control and opaque operation definition, which can be used to describe quantum experiments. We believe the Quingo framework could contribute to the clarification of key techniques in the design of future HQCC systems.


title: Lissajous curves with a finite sum of prime number frequencies

abstract: The Ulam spiral inspired us to calculate and present Lissajous curves where the orthogonally added functions are a finite sum of sinus and cosines functions with consecutive prime number frequencies.


title: New Refinements of Cusa-Huygens inequality

abstract: In the paper, we refine and extend Cusa-Huygens inequality by simple functions. In particular, we determine sharp bounds for $\sin(x) /x$ of the form $(2+\cos(x))/3 -(2/3-2/\pi)\Upsilon(x)$, where $\Upsilon(x) >0$ for $x\in (0, \pi/2)$, $\Upsilon(0)=0$ and $\Upsilon(\pi/2)=1$, such that $\sin x/x$ and the proposed bounds coincide at $x=0$ and $x=\pi/2$. The hierarchy of the obtained bounds is discussed, along with graphical study. Also, alternative proofs of the main result are given.


title: Future Frame Prediction of a Video Sequence

abstract: Predicting future frames of a video sequence has been a problem of high interest in the field of Computer Vision as it caters to a multitude of applications. The ability to predict, anticipate and reason about future events is the essence of intelligence and one of the main goals of decision-making systems such as human-machine interaction, robot navigation and autonomous driving. However, the challenge lies in the ambiguous nature of the problem as there may be multiple future sequences possible for the same input video shot. A naively designed model averages multiple possible futures into a single blurry prediction. Recently, two distinct approaches have attempted to address this problem as: (a) use of latent variable models that represent underlying stochasticity and (b) adversarially trained models that aim to produce sharper images. A latent variable model often struggles to produce realistic results, while an adversarially trained model underutilizes latent variables and thus fails to produce diverse predictions. These methods have revealed complementary strengths and weaknesses. Combining the two approaches produces predictions that appear more realistic and better cover the range of plausible futures. This forms the basis and objective of study in this project work. In this paper, we proposed a novel multi-scale architecture combining both approaches. We validate our proposed model through a series of experiments and empirical evaluations on Moving MNIST, UCF101, and Penn Action datasets. Our method outperforms the results obtained using the baseline methods.


title: Optimising hybrid rotational femtosecond/picosecond coherent anti-Stokes Raman spectroscopy (HR-CARS) in nitrogen at high pressures and temperatures

abstract: We demonstrate the use of hybrid rotational femtosecond/picosecond (fs/ps) coherent anti-Stokes Raman spectroscopy (HR-CARS) as a technique for temperature measurements in nitrogen gas at high pressures and temperatures. A broadband pulse shaper-adjusted 42 fs pulse interacts with a narrow-bandwidth, frequency-upconverted 5.5 ps pulse in a cell containing nitrogen at pressures of 1-70 atm and temperatures of 300-1000 K. A computational code is used to model spectra and fit experimental results to obtain best-fit temperatures. We demonstrate good qualitative fits as well as good accuracy and precision between thermocouple measured and best-fit temperatures over the explored pressure and temperature regimes. The overall average percentage temperature difference between thermocouple measurements and best-fit temperatures is -0.3% with a standard deviation of 7.1%, showing the suitability of HR-CARS for characterising high pressure and temperature environments.


title: Pluralist-Monism. Derived Category Theory as the Grammar of n-Awareness

abstract: In this paper, we develop a mathematical model of awareness based on the idea of plurality. Instead of positing a singular principle, telos, or essence as noumenon, we model it as plurality accessible through multiple forms of awareness ("n-awareness"). In contrast to many other approaches, our model is committed to pluralist thinking. The noumenon is plural, and reality is neither reducible nor irreducible. Nothing dies out in meaning making. We begin by mathematizing the concept of awareness by appealing to the mathematical formalism of higher category theory. The beauty of higher category theory lies in its universality. Pluralism is categorical. In particular, we model awareness using the theories of derived categories and $(\infty, 1)$-topoi which will give rise to our meta-language. We then posit a "grammar" ("n-declension") which could express n-awareness, accompanied by a new temporal ontology ("n-time"). Our framework allows us to revisit old problems in the philosophy of time: how is change possible and what do we mean by simultaneity and coincidence? Another question which could be re-conceptualized in our model is one of soteriology related to this pluralism: what is a self in this context? A new model of "personal identity over time" is thus introduced.


title: ScalAna: Automating Scaling Loss Detection with Graph Analysis

abstract: Scaling a parallel program to modern supercomputers is challenging due to inter-process communication, Amdahl's law, and resource contention. Performance analysis tools for finding such scaling bottlenecks either base on profiling or tracing. Profiling incurs low overheads but does not capture detailed dependencies needed for root-cause analysis. Tracing collects all information at prohibitive overheads. In this work, we design ScalAna that uses static analysis techniques to achieve the best of both worlds - it enables the analyzability of traces at a cost similar to profiling. ScalAna first leverages static compiler techniques to build a Program Structure Graph, which records the main computation and communication patterns as well as the program's control structures. At runtime, we adopt lightweight techniques to collect performance data according to the graph structure and generate a Program Performance Graph. With this graph, we propose a novel approach, called backtracking root cause detection, which can automatically and efficiently detect the root cause of scaling loss. We evaluate ScalAna with real applications. Results show that our approach can effectively locate the root cause of scaling loss for real applications and incurs 1.73% overhead on average for up to 2,048 processes. We achieve up to 11.11% performance improvement by fixing the root causes detected by ScalAna on 2,048 processes.


title: An Update to the Letter of Intent for MATHUSLA: Search for Long-Lived Particles at the HL-LHC

abstract: We report on recent progress in the design of the proposed MATHUSLA Long Lived Particle (LLP) detector for the HL-LHC, updating the information in the original Letter of Intent (LoI), see CDS:LHCC-I-031, arXiv:1811.00927. A suitable site has been identified at LHC Point 5 that is closer to the CMS Interaction Point (IP) than assumed in the LoI. The decay volume has been increased from 20 m to 25 m in height. Engineering studies have been made in order to locate much of the decay volume below ground, bringing the detector even closer to the IP. With these changes, a 100 m x 100 m detector has the same physics reach for large c$\tau$ as the 200 m x 200 m detector described in the LoI and other studies. The performance for small c$\tau$ is improved because of the proximity to the IP. Detector technology has also evolved while retaining the strip-like sensor geometry in Resistive Plate Chambers (RPC) described in the LoI. The present design uses extruded scintillator bars read out using wavelength shifting fibers and silicon photomultipliers (SiPM). Operations will be simpler and more robust with much lower operating voltages and without the use of greenhouse gases. Manufacturing is straightforward and should result in cost savings. Understanding of backgrounds has also significantly advanced, thanks to new simulation studies and measurements taken at the MATHUSLA test stand operating above ATLAS in 2018. We discuss next steps for the MATHUSLA collaboration, and identify areas where new members can make particularly important contributions.


title: The Sound of Silence: Mining Security Vulnerabilities from Secret Integration Channels in Open-Source Projects

abstract: Public development processes are a key characteristic of open source projects. However, fixes for vulnerabilities are usually discussed privately among a small group of trusted maintainers, and integrated without prior public involvement. This is supposed to prevent early disclosure, and cope with embargo and non-disclosure agreement (NDA) rules. While regular development activities leave publicly available traces, fixes for vulnerabilities that bypass the standard process do not. We present a data-mining based approach to detect code fragments that arise from such infringements of the standard process. By systematically mapping public development artefacts to source code repositories, we can exclude regular process activities, and infer irregularities that stem from non-public integration channels. For the Linux kernel, the most crucial component of many systems, we apply our method to a period of seven months before the release of Linux 5.4. We find 29 commits that address 12 vulnerabilities. For these vulnerabilities, our approach provides a temporal advantage of 2 to 179 days to design exploits before public disclosure takes place, and fixes are rolled out. Established responsible disclosure approaches in open development processes are supposed to limit premature visibility of security vulnerabilities. However, our approach shows that, instead, they open additional possibilities to uncover such changes that thwart the very premise. We conclude by discussing implications and partial countermeasures.


title: Teaching Cultural Astronomy to Undergraduates with an Interdisciplinary Frame

abstract: Cultural Astronomy is interdisciplinary connecting the arts, humanities, social & physical sciences. Data collection methods and theories are used from many disciplines and meld with methods and theories within cultural astronomy. The burden on the student is that to do cultural astronomy research it is necessary to be widely read within and across disciplines. I developed a series of courses that divided cultural astronomy content into broad regions such as Africa, North America, and the Pacific. The courses were structured to accommodate students from all parts of the university, but had to have enough mathematics and science to serve as a general science requirement. The majority of the grade for the course lay with the final project, which included a presentation and a written document. Thus, the course was designed to give the students a foundation for doing this final project that had to be original research. The students rarely opted to collect their own data, instead they reanalyzed existing materials. The students learned critical thinking, formulating hypotheses, and how to test their hypotheses, as well as how to understand cultural astronomy data.


title: Simulation of an Elevator Group Control Using Generative Adversarial Networks and Related AI Tools

abstract: Testing new, innovative technologies is a crucial task for safety and acceptance. But how can new systems be tested if no historical real-world data exist? Simulation provides an answer to this important question. Classical simulation tools such as event-based simulation are well accepted. But most of these established simulation models require the specification of many parameters. Furthermore, simulation runs, e.g., CFD simulations, are very time consuming. Generative Adversarial Networks (GANs) are powerful tools for generating new data for a variety of tasks. Currently, their most frequent application domain is image generation. This article investigates the applicability of GANs for imitating simulations. We are comparing the simulation output of a technical system with the output of a GAN. To exemplify this approach, a well-known multi-car elevator system simulator was chosen. Our study demonstrates the feasibility of this approach. It also discusses pitfalls and technical problems that occurred during the implementation. Although we were able to show that in principle, GANs can be used as substitutes for expensive simulation runs, we also show that they cannot be used "out of the box". Fine tuning is needed. We present a proof-of-concept, which can serve as a starting point for further research.


title: PRAGMA: Interactively Constructing Functional Brain Parcellations

abstract: A prominent goal of neuroimaging studies is mapping the human brain, in order to identify and delineate functionally-meaningful regions and elucidate their roles in cognitive behaviors. These brain regions are typically represented by atlases that capture general trends over large populations. Despite being indispensable to neuroimaging experts, population-level atlases do not capture individual differences in functional organization. In this work, we present an interactive visualization method, PRAGMA, that allows domain experts to derive scan-specific parcellations from established atlases. PRAGMA features a user-driven, hierarchical clustering scheme for defining temporally correlated parcels in varying granularity. The visualization design supports the user in making decisions on how to perform clustering, namely when to expand, collapse, or merge parcels. This is accomplished through a set of linked and coordinated views for understanding the user's current hierarchy, assessing intra-cluster variation, and relating parcellations to an established atlas. We assess the effectiveness of PRAGMA through a user study with four neuroimaging domain experts, where our results show that PRAGMA shows the potential to enable exploration of individualized and state-specific brain parcellations and to offer interesting insights into functional brain networks.


title: Exploratory Analysis of File System Metadata for Rapid Investigation of Security Incidents

abstract: Investigating cybersecurity incidents requires in-depth knowledge from the analyst. Moreover, the whole process is demanding due to the vast data volumes that need to be analyzed. While various techniques exist nowadays to help with particular tasks of the analysis, the process as a whole still requires a lot of manual activities and expert skills. We propose an approach that allows the analysis of disk snapshots more efficiently and with lower demands on expert knowledge. Following a user-centered design methodology, we implemented an analytical tool to guide analysts during security incident investigations. The viability of the solution was validated by an evaluation conducted with members of different security teams.


title: On the smoothed analysis of the smallest singular value with discrete noise

abstract: Let $A$ be an $n\times n$ real matrix, and let $M$ be an $n\times n$ random matrix whose entries are i.i.d sub-Gaussian random variables with mean $0$ and variance $1$. We make two contributions to the study of $s_n(A+M)$, the smallest singular value of $A+M$. (1) We show that for all $\epsilon \geq 0$, $$\mathbb{P}[s_n(A + M) \leq \epsilon] = O(\epsilon \sqrt{n}) + 2e^{-\Omega(n)},$$ provided only that $A$ has $\Omega (n)$ singular values which are $O(\sqrt{n})$. This extends a well-known result of Rudelson and Vershynin, which requires all singular values of $A$ to be $O(\sqrt{n})$. (2) We show that any bound of the form $$\sup_{\|{A}\|\leq n^{C_1}}\mathbb{P}[s_n(A+M)\leq n^{-C_3}] \leq n^{-C_2}$$ must have $C_3 = \Omega (C_1 \sqrt{C_2})$. This complements a result of Tao and Vu, who proved such a bound with $C_3 = O(C_1C_2 + C_1 + 1)$, and counters their speculation of possibly taking $C_3 = O(C_1 + C_2)$.


title: Lense-Thirring precession and modified gravity constraints

abstract: The orbital Lense-Thirring precession is considered in the context of constraints for weak-field General Relativity involving the cosmological constant $\Lambda$. It is shown that according to the current accuracy of satellite measurements the obtained error limits for $\Lambda$ is self-consistent with cosmological observations. The corrections of $\Lambda$ term are derived for the strong field Lense-Thirring precession i.e. the frame dragging effect and for the nutation. As a result, in the context of recently proposed $\Lambda$-gravity we obtain constraints for $\Lambda$ in both relativistic and weak-field limits. Namely, for the latter we analyze several Keplerian systems at different scales. We find that the obtained constraints for the modified gravity corrections are several orders of magnitude tighter than those available for such effects as gravitational redshift, gravitational time delay and geodetic precession in Solar System.


title: The Decline and Fall of the Youngest Planetary Nebula

abstract: The Stingray Nebula, aka Hen3-1357, appeared for the first time in 1990 when bright nebular lines and radio emission that had not been observed before were unexpectedly discovered (Parthasarathy et al. 1993). In the ensuing years the nebula faded precipitously. We report changes in shape and large decreases in its nebular emission-line fluxes based on well-calibrated images obtained by the Hubble Space Telescope in 1996 and 2016. Hen3-1357 is now a "recombination nebula".


title: Linking Stakeholders' Viewpoint Concerns and Microservices-based Architecture

abstract: Widespread adoption of agile project management, independent delivery with microservices, and automated deployment with DevOps has tremendously speedup the systems development. The real game-changer is continuous integration (CI), continuous delivery, and continuous deployment (CD). Organizations can do multiple releases a day, shortening the test, release, and deployment cycles from weeks to minutes. Maturity of container technologies like Docker and container orchestration platforms like Kubernetes has promoted microservices architecture, especially in the cloud-native developments. Various tools are available for setting up CI/CD pipelines. Organizations are moving away from monolith applications and moving towards microservices-based architectures. Organizations can quickly accumulate hundreds of such microservices accessible via application programming interfaces (APIs). The primary purpose of these modern methodologies is agility, speed, and reusability. While DevOps offers speed and time to market, agility and reusability may not be guaranteed unless microservices and API's are linked to enterprise-wide stakeholders' needs. The link between business needs and microservices/APIs is not well captured nor adequately defined. In this publication, we describe a structured method to create a logical link among APIs and microservices-based agile developments with enterprise stakeholders' needs and viewpoint concerns. This method enables capturing and documenting enterprise-wide stakeholders' needs, whether these are business owners, planners (product owners, architects), designers (developers, DevOps engineers), or the partners and subscribers of an enterprise.


title: Fourier transform and expanding maps on Cantor sets

abstract: We study the Fourier transforms $\widehat{\mu}(\xi)$ of non-atomic Gibbs measures $\mu$ for uniformly expanding maps $T$ of bounded distortions on $[0,1]$ or Cantor sets with strong separation. When $T$ is totally non-linear, then $\widehat{\mu}(\xi) \to 0$ at a polynomial rate as $|\xi| \to \infty$.


title: A Design Framework for Strongly $\chi^2$-Private Data Disclosure

abstract: In this paper, we study a stochastic disclosure control problem using information-theoretic methods. The useful data to be disclosed depend on private data that should be protected. Thus, we design a privacy mechanism to produce new data which maximizes the disclosed information about the useful data under a strong $\chi^2$-privacy criterion. For sufficiently small leakage, the privacy mechanism design problem can be geometrically studied in the space of probability distributions by a local approximation of the mutual information. By using methods from Euclidean information geometry, the original highly challenging optimization problem can be reduced to a problem of finding the principal right-singular vector of a matrix, which characterizes the optimal privacy mechanism. In two extensions we first consider a scenario where an adversary receives a noisy version of the user's message and then we look for a mechanism which finds $U$ based on observing $X$, maximizing the mutual information between $U$ and $Y$ while satisfying the privacy criterion on $U$ and $Z$ under the Markov chain $(Z,Y)-X-U$.


title: Path combinatorics and light leaves for quiver Hecke algebras

abstract: We recast the classical notion of standard tableaux in an alcove-geometric setting and extend these classical ideas to all reduced paths in our geometry. This broader path-perspective is essential for implementing the higher categorical ideas of Elias--Williamson in the setting of quiver Hecke algebras. Our first main result is the construction of light leaves bases of quiver Hecke algebras. These bases are richer and encode more structural information than their classical counterparts, even in the case of the symmetric groups. Our second main result provides path-theoretic generators for the Bott--Samelson truncation of the quiver Hecke algebra.


title: Evolutionary computation for adaptive quantum device design

abstract: As Noisy Intermediate-Scale Quantum (NISQ) devices grow in number of qubits, determining good or even adequate parameter configurations for a given application, or for device calibration, becomes a cumbersome task. An evolutionary algorithm is presented here which allows for the automatic tuning of the parameters of any arrangement of coupled qubits, to perform a given task with high fidelity. The algorithm's use is exemplified with the generation of schemes for the distribution of quantum states and the design of multi-qubit gates. The algorithm is demonstrated to converge very rapidly, yielding unforeseeable designs of quantum devices that perform their required tasks with excellent fidelities. Given these promising results, practical scalability and application versatility, the approach has the potential to become a powerful technique to aid the design and calibration of NISQ devices.


title: Noise sensitivity of critical random graphs

abstract: We study noise sensitivity of properties of the largest components $({\cal C}_j)_{j\geq 1}$ of the random graph ${\cal G}(n,p)$ in its critical window $p=(1+\lambda n^{-1/3})/n$. For instance, is the property "$|{\cal C}_1|$ exceeds its median size" noise sensitive? Roberts and \c{S}eng\"{u}l (2018) proved that the answer to this is yes if the noise $\epsilon$ is such that $\epsilon \gg n^{-1/6}$, and conjectured the correct threshold is $\epsilon \gg n^{-1/3}$. That is, the threshold for sensitivity should coincide with the critical window---as shown for the existence of long cycles by the first author and Steif (2015). We prove that for $\epsilon\gg n^{-1/3}$ the pair of vectors $ n^{-2/3}(|{\cal C}_j|)_{j\geq 1}$ before and after the noise converges in distribution to a pair of i.i.d. random variables, whereas for $\epsilon\ll n^{-1/3}$ the $\ell^2$-distance between the two goes to 0 in probability. This confirms the above conjecture: any Boolean function of the vector of rescaled component sizes is sensitive in the former case and stable in the latter. We also look at the effect of the noise on the metric space $n^{-1/3}({\cal C}_j)_{j\geq 1}$. E.g., for $\epsilon\geq n^{-1/3+o(1)}$, we show that the joint law of the spaces before and after the noise converges to a product measure, implying noise sensitivity of any property seen in the limit, e.g., "the diameter of ${\cal C}_1$ exceeds its median."


title: VddNet: Vine Disease Detection Network Based on Multispectral Images and Depth Map

abstract: Early detection of vine disease is important to avoid spread of virus or fungi. Disease propagation can lead to a huge loss of grape production and disastrous economic consequences, therefore the problem represents a challenge for the precision farming. In this paper, we present a new system for vine disease detection. The article contains two contributions: the first one is an automatic orthophotos registration method from multispectral images acquired with an unmanned aerial vehicle (UAV). The second one is a new deep learning architecture called VddNet (Vine Disease Detection Network). The proposed architecture is assessed by comparing it with the most known architectures: SegNet, U-Net, DeepLabv3+ and PSPNet. The deep learning architectures were trained on multispectral data and depth map information. The results of the proposed architecture show that the VddNet architecture achieves higher scores than the base line methods. Moreover, this study demonstrates that the proposed system has many advantages compared to methods that directly use the UAV images.


title: Building Models of Inflation in No-Scale Supergravity

abstract: After reviewing the motivations for cosmological inflation formulated in the formalism of supersymmetry, we argue that the appropriate framework is that of no-scale supergravity. We then show how to construct within this framework inflationary models whose predictions for the tilt in the spectrum of scalar perturbations, $n_s$, and the ratio, $r$, of tensor and scalar perturbations coincide with those of the $R + R^2$ model of inflation proposed by Starobinsky. A more detailed study of no-scale supergravity reveals a structure that is closely related to that of $R^2$ modifications of the minimal Einstein-Hilbert action for general relativity, opening avenues for constructing no-scale de Sitter and anti-de Sitter models by combining pairs of Minkowski models, as well as generalizations of the original no-scale Starobinsky models of inflation. We then discuss the phenomenology of no-scale models of inflation, including inflaton decay and reheating, and then the construction of explicit scenarios based on SU(5), SO(10) and string-motivated flipped SU(5)$\times$U(1) GUT models. The latter provides a possible model of almost everything below the Planck scale, including neutrino masses and oscillations, the cosmological baryon asymmetry and cold dark matter, as well as $n_s$ and $r$.


title: An experimental study of the detailed flame transport in a SI engine using simultaneous dual-plane OH-LIF and stereoscopic PIV

abstract: Understanding the detailed flame transport in IC engines is important to predict ignition, rate of heat release and assess engine performance. This is particularly important for RANS and LES engine simulations, which often struggle to accurately predict flame propagation and heat release without first adjusting model parameters. Detailed measurements of flame transport are required to guide model development. This work introduces an experimental dataset designed to study the detailed flame transport and flame/flow dynamics for SI engines. Simultaneous dual-plane OH-LIF and stereoscopic PIV is used to acquire 3D measurements of unburnt gas velocity, flame displacement speed and overall flame velocity during the early flame development. Experiments are performed in an optical engine operating at 800 and 1500 RPM with premixed C8H18-air mixtures. Analysis reveals several distinctive flame/flow configurations that yield a positive or negative flame displacement for which the flame progresses towards the reactants or products, respectively. For the operating conditions utilized, Sd exhibits and inverse relationship with flame curvature; a strong correlation between negative Sd and convex flame contours is observed. Trends are consistent with thermo-diffusive flames, but have not been quantified in IC engines. Flame wrinkling is more severe at the higher RPM, which broadens Sd distribution towards higher positive and negative velocities. Spatially-resolved distributions of Ugas and Sd describe in-cylinder locations where convection or thermal diffusion is the dominating mechanism contributing to flame transport. Findings are discussed in relation to common engine flow features, including flame transport near solid surfaces. Findings are designed to support engine simulation validations.


title: Quantum half-orphans in kagome antiferromagnets

abstract: We numerically study the effects of non-magnetic impurities (vacancies) in the spin-$S$ Heisenberg antiferromagnet on the kagom\'e lattice. For a range of low but nonzero temperatures, and spin values that extend down to $S=2$, we find that the magnetization response to an external magnetic field is consistent with the response of emergent "half-orphan" degrees of freedom that are expected to dominate the response of the corresponding classical magnet in a similar temperature range whenever there are two vacancies on the same triangle. Specifically, for all spin values we have considered (from $S=1/2$ to $S=4$), there is a large enhancement of the local susceptibility of the lone spin on such a triangle with two vacancies; in the presence of a uniform magnetic field $h$, this lone-spin behaves effectively as an almost free spin $S$ in an effective field $h/2$. Quite remarkably, in the zero temperature limit, the ground state in the presence of a half-orphan has a non-zero total spin value $S_{GS}$ that shows a trend similar to $S/2$ when $S\ge 2$. These qualitative aspects of the response differ strikingly from the more conventional response of diluted samples without such half-orphan degrees of freedom. We discuss how these findings could be checked experimentally.


title: The ADAPT Enhanced Dependency Parser at the IWPT 2020 Shared Task

abstract: We describe the ADAPT system for the 2020 IWPT Shared Task on parsing enhanced Universal Dependencies in 17 languages. We implement a pipeline approach using UDPipe and UDPipe-future to provide initial levels of annotation. The enhanced dependency graph is either produced by a graph-based semantic dependency parser or is built from the basic tree using a small set of heuristics. Our results show that, for the majority of languages, a semantic dependency parser can be successfully applied to the task of parsing enhanced dependencies. Unfortunately, we did not ensure a connected graph as part of our pipeline approach and our competition submission relied on a last-minute fix to pass the validation script which harmed our official evaluation scores significantly. Our submission ranked eighth in the official evaluation with a macro-averaged coarse ELAS F1 of 67.23 and a treebank average of 67.49. We later implemented our own graph-connecting fix which resulted in a score of 79.53 (language average) or 79.76 (treebank average), which would have placed fourth in the competition evaluation.


title: Unique Exams: Designing assessments for integrity and fairness

abstract: Educators have faced new challenges in effective course assessment during the recent, unprecedented shift to remote online learning during the COVID-19 pandemic. In place of typical proctored, timed exams, instructors must now rethink their methodology for assessing course-level learning goals. Are exams appropriate---or even feasible---in this new online, open-internet learning environment? In this experience paper, we discuss the unique exams framework: our framework for upholding exam integrity and student privacy. In our Probability for Computer Scientists Course at an R1 University, we developed autogenerated, unique exams where each student had the same four problem skeletons with unique numeric variations per problem. Without changing the process of the traditional exam, unique exams provide a layer of security for both students and instructors about exam reliability for any classroom environment---in-person or online. In addition to sharing our experience designing unique exams, we also present a simple end-to-end tool and example question templates for different CS subjects that other instructors can adapt to their own courses.


title: Electronic and Optical Properties of Ultrawide Bandgap Perovskite Semiconductors via First Principles Calculations

abstract: Recent research in ultrawide-bandgap (UWBG) semiconductors has focused on traditional materials such as Ga2O3, AlGaN, AlN, cubic BN, and diamond; however some materials exhibiting single perovskite structure have been known to yield bandgaps above 3.4 eV, such as BaZrO3. In this work we propose two novel materials to be added to the family of UWBG semiconductors: Ba2CaTeO6 exhibiting a double perovskite structure and Ba2K2Te2O9 with a triple perovskite structure. Using first principles hybrid functional calculations we predict the bandgaps of all the studied systems to be above 4.5 eV with strong optical absorption in the ultraviolet region. Furthermore, we show that holes have a tendency to get trapped through lattice distortions in the vicinity of oxygen atoms with average trapping energy of 0.25 eV,potentially preventing the enhancement of p-type conductivity through traditional chemical doping.


title: Exploring Artist Gender Bias in Music Recommendation

abstract: Music Recommender Systems (mRS) are designed to give personalised and meaningful recommendations of items (i.e. songs, playlists or artists) to a user base, thereby reflecting and further complementing individual users' specific music preferences. Whilst accuracy metrics have been widely applied to evaluate recommendations in mRS literature, evaluating a user's item utility from other impact-oriented perspectives, including their potential for discrimination, is still a novel evaluation practice in the music domain. In this work, we center our attention on a specific phenomenon for which we want to estimate if mRS may exacerbate its impact: gender bias. Our work presents an exploratory study, analyzing the extent to which commonly deployed state of the art Collaborative Filtering(CF) algorithms may act to further increase or decrease artist gender bias. To assess group biases introduced by CF, we deploy a recently proposed metric of bias disparity on two listening event datasets: the LFM-1b dataset, and the earlier constructed Celma's dataset. Our work traces the causes of disparity to variations in input gender distributions and user-item preferences, highlighting the effect such configurations can have on user's gender bias after recommendation generation.


title: A Software-Defined Networking Solution for Transparent Session and Service Continuity in Dynamic Multi-Access Edge Computing

abstract: Multi-Access Edge Computing (MEC) will allow implementing low-latency services that have been unfeasible so far. The European Telecommunications Standards Institute (ETSI) and the 3rd Generation Partnership Project (3GPP) are working towards the standardization of MEC in 5G networks and the corresponding solutions for routing user traffic to applications in local area networks. Nevertheless, there are neither practical implementations for dynamically relocating applications from the core to a MEC host nor from one MEC host to another ensuring service continuity. In this paper we propose a solution based on Software-Defined Networking (SDN) to create a new instance of the IP anchor point to dynamically redirect User Equipment (UE) traffic to a new physical location (e.g. an edge infrastructure). We also present a novel approach that leverages SDN to replicate the previous context of the connection in the new instance of the IP anchor point, thus guaranteeing Session and Service Continuity (SSC), and compare it with alternative state replication strategies. This approach can be used to implement edge services in 4G or 5G networks.


title: Multi-Loss Weighting with Coefficient of Variations

abstract: Many interesting tasks in machine learning and computer vision are learned by optimising an objective function defined as a weighted linear combination of multiple losses. The final performance is sensitive to choosing the correct (relative) weights for these losses. Finding a good set of weights is often done by adopting them into the set of hyper-parameters, which are set using an extensive grid search. This is computationally expensive. In this paper, we propose a weighting scheme based on the coefficient of variations and set the weights based on properties observed while training the model. The proposed method incorporates a measure of uncertainty to balance the losses, and as a result the loss weights evolve during training without requiring another (learning based) optimisation. In contrast to many loss weighting methods in literature, we focus on single-task multi-loss problems, such as monocular depth estimation and semantic segmentation, and show that multi-task approaches for loss weighting do not work on those single-tasks. The validity of the approach is shown empirically for depth estimation and semantic segmentation on multiple datasets.


title: Designing Xenes with Two-Dimensional Triangular Lattice

abstract: Xenes, graphene-like two-dimensional (2D) monoelemental crystals with a honeycomb symmetry, have been the focus of numerous experimental and theoretical studies. In comparison, single-element 2D materials with a triangular lattice symmetry have not received due attention. Here, taking Pb as an example, we investigate the triangular-lattice monolayer made of group-IV atoms employing first-principles density functional theory calculations. The flat Pb monolayer supports a mirror-symmetry-protected spinless nodal line in the absence spin-orbit coupling (SOC). The introduction of an out-of-plane buckling creates a glide mirror, protecting an anisotropic Dirac nodal loop. Both flat and buckled Pb monolayers become topologically trivial after including SOC. A large buckling will make the Pb sheet a 2D semiconductor with symmetry-protected Dirac points below the Fermi level. The electronic structures of other group-IV triangular lattices such as Ge and Sn demonstrate strong similarity to Pb. We further design a quasi-3D crystal PbHfO$_2$ by alternately stacking Pb and 1T-HfO$_2$ monolayers. The new compound PbHfO$_2$ is dynamically stable and retains the properties of Pb monolayer. By applying epitaxial strains to PbHfO$_2$, it is possible to drive an insulator-to-metal transition coupled with an anti-ferroelectric-to-paraelectric phase transition. Our results suggest the potential of the 2D triangular lattice as a complimentary platform to design new type of broadly-defined Xenes.


title: Grounded Language Learning Fast and Slow

abstract: Recent work has shown that large text-based neural language models, trained with conventional supervised learning objectives, acquire a surprising propensity for few- and one-shot learning. Here, we show that an embodied agent situated in a simulated 3D world, and endowed with a novel dual-coding external memory, can exhibit similar one-shot word learning when trained with conventional reinforcement learning algorithms. After a single introduction to a novel object via continuous visual perception and a language prompt ("This is a dax"), the agent can re-identify the object and manipulate it as instructed ("Put the dax on the bed"). In doing so, it seamlessly integrates short-term, within-episode knowledge of the appropriate referent for the word "dax" with long-term lexical and motor knowledge acquired across episodes (i.e. "bed" and "putting"). We find that, under certain training conditions and with a particular memory writing mechanism, the agent's one-shot word-object binding generalizes to novel exemplars within the same ShapeNet category, and is effective in settings with unfamiliar numbers of objects. We further show how dual-coding memory can be exploited as a signal for intrinsic motivation, stimulating the agent to seek names for objects that may be useful for later executing instructions. Together, the results demonstrate that deep neural networks can exploit meta-learning, episodic memory and an explicitly multi-modal environment to account for 'fast-mapping', a fundamental pillar of human cognitive development and a potentially transformative capacity for agents that interact with human users.


title: The Well-Tempered Cosmological Constant: The Horndeski Variations

abstract: Well tempering is one of the few classical field theory methods for solving the original cosmological constant problem, dynamically canceling a large (possibly Planck scale) vacuum energy and leaving the matter component intact, while providing a viable cosmology with late time cosmic acceleration and an end de Sitter state. We present the general constraints that variations of Horndeski gravity models with different combinations of terms must satisfy to admit an exact de Sitter spacetime that does not respond to an arbitrarily large cosmological constant. We explicitly derive several specific scalar-tensor models that well temper and can deliver a standard cosmic history including current cosmic acceleration. Stability criteria, attractor behavior of the de Sitter state, and the response of the models to pressureless matter are considered. The well tempered conditions can be used to focus on particular models of modified gravity that have special interest -- not only removing the original cosmological constant problem but providing relations between the free Horndeski functions and reducing them to a couple of parameters, suitable for testing gravity and cosmological data analysis.