title: The Hyperbolic Bloch Equations of General Relativity

abstract: New equations are derived which describe the evolution in curved spacetime of null geodesics with non-zero (complex) shear $\sigma$ and twist $\omega$ rates resembling Grishchuk's squeezed states evolution equations from inflationary cosmology. A ``squeeze" angle $\phi$ (obtained from the direction of the major axis of the elliptical cross section of the congruence and the direction of the shear rate), an ellipse axis ratio parameter $w$ and a rotation angle $v$ are the primary variables. Interpreting $\phi$ as a polar angle and $w$ as a radial distance, we obtain a mapping to points on the upper sheet, $H_{2}^{+}\,,$ of a two-sheet hyperboloid, establishing the connection between gravitational optics and hyperbolic geometry. Points on $H_{2}^{+}$ trace out paths evolving according to hyperbolic Bloch equations, similar to the optical Bloch equations, which can also be represented as a Schr\"{o}dinger-like equation with a non-Hermitian Hamiltonian. A single vector equation on $H_{2}^{+}$ describes the precession of hyperbolic Bloch vectors about a rotation or birefringence vector on $H_{2}^{+}\,,$ analogous to the precession of Bloch vectors on the Bloch sphere or Stokes vectors on the Poincar\'{e} sphere. Tidal gravitational effects and a non-zero twist $\omega$ contribute to the precession of hyperbolic Bloch vectors.


title: Resonance: Replacing Software Constants with Context-Aware Models in Real-time Communication

abstract: Large software systems tune hundreds of 'constants' to optimize their runtime performance. These values are commonly derived through intuition, lab tests, or A/B tests. A 'one-size-fits-all' approach is often sub-optimal as the best value depends on runtime context. In this paper, we provide an experimental approach to replace constants with learned contextual functions for Skype - a widely used real-time communication (RTC) application. We present Resonance, a system based on contextual bandits (CB). We describe experiences from three real-world experiments: applying it to the audio, video, and transport components in Skype. We surface a unique and practical challenge of performing machine learning (ML) inference in large software systems written using encapsulation principles. Finally, we open-source FeatureBroker, a library to reduce the friction in adopting ML models in such development environments


title: The Quantum Rashomon Effect: A Strengthened Frauchiger-Renner Argument

abstract: The Frauchiger-Renner argument aims to show that `quantum theory cannot consistently describe the use of itself': in many-party settings where agents are themselves subject to quantum experiments, agents may make predictions that contradict observations. Here, we introduce a simplified setting using only three agents, that is independent of the initial quantum state, thus eliminating in particular any need for entanglement, and furthermore does not need to invoke any final measurement and resulting collapse. Nevertheless, the predictions and observations made by the agents cannot be integrated into a single, consistent account. We propose that the existence of this sort of \emph{Rashomon effect}, i.e. the impossibility of uniting different perspectives, is due to failing to account for the limits put on the information available about any given system as encapsulated in the notion of an \emph{epistemic horizon}.


title: Two examples related to conical energies

abstract: In a recent article we introduced and studied conical energies. We used them to prove three results: a characterization of rectifiable measures, a characterization of sets with big pieces of Lipschitz graphs, and a sufficient condition for boundedness of nice singular integral operators. In this note we give two examples related to sharpness of these results. One of them is due to Joyce and M\"{o}rters, the other is new and could be of independent interest as an example of a relatively ugly set containing big pieces of Lipschitz graphs.


title: Finite element method for singularly perturbed problems with two parameters on a Bakhvalov-type mesh in 2D

abstract: For a singularly perturbed elliptic model problem with two small parameters, we analyze finite element methods of any order on a Bakhvalov-type mesh. For convergence analysis, we construct a new interpolation by using the characteristics of layers. Besides, a more subtle analysis of the mesh scale near the exponential layer is carried out. Based on the interpolation and new analysis of the mesh scale, we prove the optimal convergence order.


title: RLlib Flow: Distributed Reinforcement Learning is a Dataflow Problem

abstract: Researchers and practitioners in the field of reinforcement learning (RL) frequently leverage parallel computation, which has led to a plethora of new algorithms and systems in the last few years. In this paper, we re-examine the challenges posed by distributed RL and try to view it through the lens of an old idea: distributed dataflow. We show that viewing RL as a dataflow problem leads to highly composable and performant implementations. We propose RLlib Flow, a hybrid actor-dataflow programming model for distributed RL, and validate its practicality by porting the full suite of algorithms in RLlib, a widely adopted distributed RL library. Concretely, RLlib Flow provides 2-9 code savings in real production code and enables the composition of multi-agent algorithms not possible by end users before. The open-source code is available as part of RLlib at https://github.com/ray-project/ray/tree/master/rllib.


title: Omni: Automated Ensemble with Unexpected Models against Adversarial Evasion Attack

abstract: Background: Machine learning-based security detection models have become prevalent in modern malware and intrusion detection systems. However, previous studies show that such models are susceptible to adversarial evasion attacks. In this type of attack, inputs (i.e., adversarial examples) are specially crafted by intelligent malicious adversaries, with the aim of being misclassified by existing state-of-the-art models (e.g., deep neural networks). Once the attackers can fool a classifier to think that a malicious input is actually benign, they can render a machine learning-based malware or intrusion detection system ineffective. Goal: To help security practitioners and researchers build a more robust model against non-adaptive, white-box, and non-targeted adversarial evasion attacks through the idea of an ensemble model. Method: We propose an approach called Omni, the main idea of which is to explore methods that create an ensemble of "unexpected models"; i.e., models whose control hyperparameters have a large distance to the hyperparameters of an adversary's target model, with which we then make an optimized weighted ensemble prediction. Result: In studies with five types of adversarial evasion attacks (FGSM, BIM, JSMA, DeepFooland Carlini-Wagner) on five security datasets (NSL-KDD, CIC-IDS-2017, CSE-CIC-IDS2018, CICAnd-Mal2017, and the Contagio PDF dataset), we show Omni is a promising approach as a defense strategy against adversarial attacks when compared with other baseline treatments. Conclusion: When employing ensemble defense against adversarial evasion attacks, we suggest creating an ensemble with unexpected models that are distant from the attacker's expected model (i.e., target model) through methods such as hyperparameter optimization.


title: Nanoscale ferroelectricity in pseudo-cubic sol-gel derived barium titanate -- bismuth ferrite (BaTiO$_3$-BiFeO$_3$) solid solutions

abstract: Single phase barium titanate-bismuth ferrite ((1-x)BaTi$_3$-(x)BiFe$_3$, BTO-BFO) solid solutions were prepared using citric acid and ethylene glycol assisted sol-gel synthesis method. Depending on the dopant content the samples are characterized by tetragonal, tetragonal-pseudocubic, pseudocubic and rhombohedral structure as confirmed by Raman spectroscopy and XRD measurements. An increase of the BFO content leads to a reduction in the cell parameters accompanied by a decrease in polar distortion of the unit cell wherein an average particle size increases from 60 up to 350 nm. Non zero piezoresponse was observed in the compounds with pseudocubic structure while no polar distortion was detected in their crystal structure using X-ray diffraction method. The origin of the observed non-negligible piezoresponse was discussed assuming a coexistence of nanoscale polar and non-polar phases attributed to the solid solutions with high BFO content. A coexistence of the nanoscale regions having polar and non-polar character is considered as a key factor to increase macroscopic piezoresponse in the related compounds due to increased mobility of the domain walls and phase boundaries.


title: Attention Aware Cost Volume Pyramid Based Multi-view Stereo Network for 3D Reconstruction

abstract: We present an efficient multi-view stereo (MVS) network for 3D reconstruction from multiview images. While previous learning based reconstruction approaches performed quite well, most of them estimate depth maps at a fixed resolution using plane sweep volumes with a fixed depth hypothesis at each plane, which requires densely sampled planes for desired accuracy and therefore is difficult to achieve high resolution depth maps. In this paper we introduce a coarseto-fine depth inference strategy to achieve high resolution depth. This strategy estimates the depth map at coarsest level, while the depth maps at finer levels are considered as the upsampled depth map from previous level with pixel-wise depth residual. Thus, we narrow the depth searching range with priori information from previous level and construct new cost volumes from the pixel-wise depth residual to perform depth map refinement. Then the final depth map could be achieved iteratively since all the parameters are shared between different levels. At each level, the self-attention layer is introduced to the feature extraction block for capturing the long range dependencies for depth inference task, and the cost volume is generated using similarity measurement instead of the variance based methods used in previous work. Experiments were conducted on both the DTU benchmark dataset and recently released BlendedMVS dataset. The results demonstrated that our model could outperform most state-of-the-arts (SOTA) methods. The codebase of this project is at https://github.com/ArthasMil/AACVP-MVSNet.


title: On k-invariants for $(\infty, n)$-categories

abstract: Every $(\infty, n)$-category can be approximated by its tower of homotopy $(m, n)$-categories. In this paper, we prove that the successive stages of this tower are classified by k-invariants, analogously to the classical Postnikov tower for spaces. Our proof relies on an abstract analysis of Postnikov-type towers equipped with k-invariants, and also yields a construction of k-invariants for algebras over $\infty$-operads and enriched $\infty$-categories.


title: Handling Initial Conditions in Vector Fitting for Real Time Modeling of Power System Dynamics

abstract: This paper develops a predictive modeling algorithm, denoted as Real-Time Vector Fitting (RTVF), which is capable of approximating the real-time linearized dynamics of multi-input multi-output (MIMO) dynamical systems via rational transfer function matrices. Based on a generalization of the well-known Time-Domain Vector Fitting (TDVF) algorithm, RTVF is suitable for online modeling of dynamical systems which experience both initial-state decay contributions in the measured output signals and concurrently active input signals. These adaptations were specifically contrived to meet the needs currently present in the electrical power systems community, where real-time modeling of low frequency power system dynamics is becoming an increasingly coveted tool by power system operators. After introducing and validating the RTVF scheme on synthetic test cases, this paper presents a series of numerical tests on high-order closed-loop generator systems in the IEEE 39-bus test system.


title: Treewidth of the generalized Kneser graphs

abstract: Let $n$, $k$ and $t$ be integers with $1\leq t< k \leq n$. The \emph{generalized Kneser graph} $K(n,k,t)$ is a graph whose vertices are the $k$-subsets of a fixed $n$-set, where two $k$-subsets $A$ and $B$ are adjacent if $|A\cap B|<t$. The graph $K(n,k,1)$ is the well-known \emph{Kneser graph}. In 2014, Harvey and Wood determined the exact treewidth of the Kneser graphs for large $n$ with respect to $k$. In this paper, we give the exact treewidth of the generalized Kneser graphs for $t\geq2$ and large $n$ with respect to $k$ and $t$. In the special case when $t=k-1$, the graph $K(n,k,k-1)$ usually denoted by $\overline{J(n,k)}$ which is the complement of the Johnson graph $J(n,k)$. We give a more precise result for the exact value of the treewidth of $\overline{J(n,k)}$ for any $n$ and $k$.


title: $l_2$ Induced Norm Analysis of Discrete-Time LTI Systems for Nonnegative Input Signals and Its Application to Stability Analysis of Recurrent Neural Networks

abstract: In this paper, we focus on the "positive" $l_2$ induced norm of discrete-time linear time-invariant systems where the input signals are restricted to be nonnegative. To cope with the nonnegativity of the input signals, we employ copositive programming as the mathematical tool for the analysis. Then, by applying an inner approximation to the copositive cone, we derive numerically tractable semidefinite programming problems for the upper and lower bound computation of the "positive" $l_2$ induced norm. This norm is typically useful for the stability analysis of feedback systems constructed from an LTI system and nonlinearities where the nonlinear elements provide only nonnegative signals. As a concrete example, we illustrate the usefulness of the "positive" $l_2$ induced norm for the stability analysis of recurrent neural networks with activation functions being rectified linear units.


title: Quantum dots as potential sources of strongly entangled photons for quantum networks

abstract: The generation and long-haul transmission of highly entangled photon pairs is a cornerstone of emerging photonic quantum technologies, with key applications such as quantum key distribution and distributed quantum computing. However, a natural limit for the maximum transmission distance is inevitably set by attenuation in the medium. A network of quantum repeaters containing multiple sources of entangled photons would allow to overcome this limit. For this purpose, the requirements on the source's brightness and the photon pairs' degree of entanglement and indistinguishability are stringent. Despite the impressive progress made so far, a definitive scalable photon source fulfilling such requirements is still being sought for. Semiconductor quantum dots excel in this context as sub-poissonian sources of polarization entangled photon pairs. In this work we present the state-of-the-art set by GaAs based quantum dots and use them as a benchmark to discuss the challenges to overcome towards the realization of practical quantum networks.


title: On limitations of learning algorithms in competitive environments

abstract: We discuss conceptual limitations of generic learning algorithms pursuing adversarial goals in competitive environments, and prove that they are subject to limitations that are analogous to the constraints on knowledge imposed by the famous theorems of G\"odel and Turing. These limitations are shown to be related to intransitivity, which is commonly present in competitive environments.


title: On the Serverless Nature of Blockchains and Smart Contracts

abstract: Although historically the term serverless was also used in the context of peer-to-peer systems, it is more frequently associated with the architectural style for developing cloud-native applications. From the developer's perspective, serverless architectures allow reducing management efforts since applications are composed using provider-managed components, e.g., Database-as-a-Service (DBaaS) and Function-as-a-Service (FaaS) offerings. Blockchains are distributed systems designed to enable collaborative scenarios involving multiple untrusted parties. It seems that the decentralized peer-to-peer nature of blockchains makes it interesting to consider them in serverless architectures, since resource allocation and management tasks are not required to be performed by users. Moreover, considering their useful properties of ensuring transaction's immutability and facilitating accountable interactions, blockchains might enhance the overall guarantees and capabilities of serverless architectures. Therefore, in this work, we analyze how the blockchain technology and smart contracts fit into the serverless picture and derive a set of scenarios in which they act as different component types in serverless architectures. Furthermore, we formulate the implementation requirements that have to be fulfilled to successfully use blockchains and smart contracts in these scenarios. Finally, we investigate which existing technologies enable these scenarios, and analyze their readiness and suitability to fulfill the formulated requirements.


title: Corryvreckan: A Modular 4D Track Reconstruction and Analysis Software for Test Beam Data

abstract: Corryvreckan is a versatile, highly configurable software with a modular structure designed to reconstruct and analyse test beam and laboratory data. It caters to the needs of the test beam community by providing a flexible offline event building facility to combine detectors with different read-out schemes, with or without trigger information, and includes the possibility to correlate data from multiple devices based on timestamps. Hit timing information, available with high precision from an increasing number of detectors, can be used in clustering and tracking to reduce combinatorics. Several algorithms, including an implementation of Millepede-II, are provided for offline alignment. A graphical user interface enables direct monitoring of the reconstruction progress and can be employed for quasi-online monitoring during data taking. This work introduces the Corryvreckan framework architecture and user interface, and provides a detailed overview of the event building algorithm. The reconstruction and analysis capabilities are demonstrated with data recorded at the DESY II Test Beam Facility using the EUDAQ2 data acquisition framework with an EUDET-type beam telescope, a Timepix3 timing reference, a fine-pitch planar silicon sensor with CLICpix2 readout and the AIDA Trigger Logic Unit. The individual steps of the reconstruction chain are presented in detail.


title: Lower Gaussian heat kernel bounds for the Random Conductance Model in a degenerate ergodic environment

abstract: We study the random conductance model on $\mathbb{Z}^d$ with ergodic, unbounded conductances. We prove a Gaussian lower bound on the heat kernel given a polynomial moment condition and some additional assumptions on the correlations of the conductances. The proof is based on the well-established chaining technique. We also obtain bounds on the Green's function.


title: Output Feedback Exponential Stabilization for a 1-d Wave PDE with Dynamic Boundary

abstract: We study the output feedback exponential stabilization for a 1-d wave PDE with dynamic boundary. With only one measurement, we construct an infinite-dimensional state observer to trace the state and design an estimated state based controller to exponentially stabilize the original system. This is an essentially important improvement for the existence literature [\"{O}. Morg\"{u}l, B.P. Rao and F. Conrad, IEEE Transactions on Automatic Control, 39(10) (1994), 2140-2145] where two measurements including the high order angular velocity feedback were adopted. When a control matched nonlinear internal uncertainty and external disturbance are taken into consideration, we construct an infinite-dimensional extended state observer (ESO) to estimate the total disturbance and state simultaneously. By compensating the total disturbance, an estimated state based controller is designed to exponentially stabilize the original system while making the closed-loop system bounded. Riesz basis approach is crucial to the verifications of the exponential stabilities of two coupled systems of the closed-loop systems. Some numerical simulations are presented to illustrate the effectiveness.


title: Broadcasting on Paths and Cycles

abstract: Consider the following broadcasting process run on a connected graph $G=(V,E)$. Suppose that $k \ge 2$ agents start on vertices selected from $V$ uniformly and independently at random. One of the agents has a message that she wants to communicate to the other agents. All agents perform independent random walks on $G$, with the message being passed when an agent that knows the message meets an agent that does not know the message. The broadcasting time $\xi(G,k)$ is the time it takes to spread the message to all agents. We provide tight bounds for $\xi(P_n,k)$ and $\xi(C_n,k)$ that hold asymptotically almost surely for the whole range of the parameter~$k$.


title: Analytical Study of Gravitational Waves

abstract: The aim of the present thesis is to review the Blanchet-Damour approach to analytical study of gravitational waves emitted by localized perfect fluid sources. It is assumed these perfect fluids are such that it is possible to define small parameters for asymptotic expansions. Asymptotic expansions in this approach are called post-Minkowskian and post-Newtonian expansions. By plugging these expansions into the Einstein field equation, post-Minkowskian and post-Newtonian equations are obtained. The usual methods for solving these equations are to use the retarded and Poisson integrals. However, they cannot provide solutions up to any arbitrary order in these cases because of their divergence. In fact, these divergences motivated Blanchet and Damour to employ a new approach to solve the post-Minkowskian and post-Newtonian equations. They obtained the general solutions by means of a specific process of analytic continuation. These solutions have some unknown terms that if one determines, the gravitational field is described everywhere in $\mathbb{R}^3$. A matching procedure, which depends deeply on analytic continuation, is used to determine these unknown terms.


title: Simple statistical methods for unsupervised brain anomaly detection on MRI are competitive to deep learning methods

abstract: Statistical analysis of magnetic resonance imaging (MRI) can help radiologists to detect pathologies that are otherwise likely to be missed. Deep learning (DL) has shown promise in modeling complex spatial data for brain anomaly detection. However, DL models have major deficiencies: they need large amounts of high-quality training data, are difficult to design and train and are sensitive to subtle changes in scanning protocols and hardware. Here, we show that also simple statistical methods such as voxel-wise (baseline and covariance) models and a linear projection method using spatial patterns can achieve DL-equivalent (3D convolutional autoencoder) performance in unsupervised pathology detection. All methods were trained (N=395) and compared (N=44) on a novel, expert-curated multiparametric (8 sequences) head MRI dataset of healthy and pathological cases, respectively. We show that these simple methods can be more accurate in detecting small lesions and are considerably easier to train and comprehend. The methods were quantitatively compared using AUC and average precision and evaluated qualitatively on clinical use cases comprising brain atrophy, tumors (small metastases) and movement artefacts. Our results demonstrate that while DL methods may be useful, they should show a sufficiently large performance improvement over simpler methods to justify their usage. Thus, simple statistical methods should provide the baseline for benchmarks. Source code and trained models are available on GitHub (https://github.com/vsaase/simpleBAD).


title: Shell-model based study of the direct capture in neutron-rich nuclei

abstract: The radiative neutron capture rates for isotopes of astrophysical interest are commonly calculated within the statistical Hauser-Feshbach reaction model. Such an approach, assuming a high level density in the compound system, can be questioned in light and neutron-rich nuclei for which only a few or no resonant states are available. Therefore, in this work we focus on the direct neutron-capture process. We employ a shell-model approach in several model spaces with well-established effective interactions to calculate spectra and spectroscopic factors in a set of 50 neutron-rich target nuclei in different mass regions, including doubly-, semi-magic and deformed ones. Those theoretical energies and spectroscopic factors are used to evaluate direct neutron capture rates and to test global theoretical models using average spectroscopic factors and level densities based on the Hartree-Fock-Bogoliubov plus combinatorial method. The comparison of shell-model and global model results reveals several discrepancies that can be related to problems in level densities. All the results show however that the direct capture is non-negligible with respect to the by-default Hauser-Feshbach predictions and can be even 100 times more important for the most neutron-rich nuclei close to the neutron drip line.


title: Ranking Deep Learning Generalization using Label Variation in Latent Geometry Graphs

abstract: Measuring the generalization performance of a Deep Neural Network (DNN) without relying on a validation set is a difficult task. In this work, we propose exploiting Latent Geometry Graphs (LGGs) to represent the latent spaces of trained DNN architectures. Such graphs are obtained by connecting samples that yield similar latent representations at a given layer of the considered DNN. We then obtain a generalization score by looking at how strongly connected are samples of distinct classes in LGGs. This score allowed us to rank 3rd on the NeurIPS 2020 Predicting Generalization in Deep Learning (PGDL) competition.


title: Cosine series quantum sampling method with applications in signal and image processing

abstract: A novel family of Cosine series Quantum Sampling (QCoSamp) operators appropriate for quantum computing is described. The development of quantum algorithms, analogous to classical algorithms, we apply to the harmonic analysis of signals. We show quantum sampling through measurements of a quantum system, and after operators of the family are applied, allow for input signal mapping with a Fourier series representation. Technical methodologies employed, facilitating the implementation of each QCoSamp algorithm to a quantum computer and application to the field of signal and image processing we also described. Keywords: quantum computing, quantum information theory, quantum operator, quantum sampling, Fourier sine-cosine series, signal processing, image processing


title: Topological Noetherianity of polynomial functors II: base rings with Noetherian spectrum

abstract: In a previous paper, the third author proved that finite-degree polynomial functors over infinite fields are topologically Noetherian. In this paper, we prove that the same holds for polynomial functors from free $R$-modules to finitely generated $R$-modules, for any commutative ring $R$ whose spectrum is Noetherian. As Erman-Sam-Snowden pointed out, when applying this with $R = \mathbb{Z}$ to direct sums of symmetric powers, one of their proofs of a conjecture by Stillman becomes characteristic-independent. Our paper advertises and further develops the beautiful but not so well-known machinery of polynomial laws. In particular, to any finitely generated R-module M we associate a topological space, which we show is Noetherian when $\operatorname{Spec}(R)$ is; this is the degree-zero case of our result on polynomial functors.


title: Regional Impacts of COVID-19 on Carbon Dioxide Detected Worldwide from Space

abstract: Activity reductions in early 2020 due to the Coronavirus Disease 2019 pandemic led to unprecedented decreases in carbon dioxide (CO2) emissions. Despite their record size, the resulting atmospheric signals are smaller than and obscured by climate variability in atmospheric transport and biospheric fluxes, notably that related to the 2019-2020 Indian Ocean Dipole. Monitoring CO2 anomalies and distinguishing human and climatic causes thus remains a new frontier in Earth system science. We show, for the first time, that the impact of short-term, regional changes in fossil fuel emissions on CO2 concentrations was observable from space. Starting in February and continuing through May, column CO2 over many of the World's largest emitting regions was 0.14 to 0.62 parts per million less than expected in a pandemic-free scenario, consistent with reductions of 3 to 13 percent in annual, global emissions. Current spaceborne technologies are therefore approaching levels of accuracy and precision needed to support climate mitigation strategies with future missions expected to meet those needs.


title: Modelling excitonic Mott transitions in two-dimensional semiconductors

abstract: We analyze the many-particle correlations that affect the optical properties of two-dimensional semiconductors. These correlations manifest themselves through the specific optical resonances such as excitons, trions, etc. Starting from the generic electron-hole Hamiltonian and employing the microscopic Heisenberg equation of motion the infinite hierarchy of differential equations can be obtained. In order to decouple the system we address the cluster expansion technique which provides a regular procedure of consistent accounting of many-particle correlation contributions into the interband polarization dynamics. In particular, the partially taken into account three-particle correlations modify the behavior of absorption spectra with the emergence of a trion-like peak additional to excitonic ones. In contrast to many other approaches, the proposed one allows us to model the optical response of 2d semiconductors in the regime when the Fermi energies are of the order of the exciton and trion binding energies, thus allowing us to rigorously model the onset of the excitonic Mott transition, the regime being recently studied in various 2d semiconductors, such as transition metal dichalcogenides.


title: Left Lyndon tree construction

abstract: We extend the left-to-right Lyndon factorisation of a word to the left Lyndon tree construction of a Lyndon word. It yields an algorithm to sort the prefixes of a Lyndon word according to the infinite ordering defined by Dolce et al. (2019). A straightforward variant computes the left Lyndon forest of a word. All algorithms run in linear time on a general alphabet, that is, in the letter-comparison model.


title: Stably semiorthogonally indecomposable varieties

abstract: A triangulated category is said to be indecomposable if it admits no nontrivial semiorthogonal decompositions. We introduce a definition of a noncommutatively stably semiorthogonally indecomposable (NSSI) variety. This propery implies, among other things, that each smooth proper subvariety has indecomposable derived category of coherent sheaves, and that if $Y$ is NSSI, then for any variety $X$ all semiorthogonal decompositions of $X \times Y$ are induced from decompositions of $X$. We prove that any variety whose Albanese morphism is finite is NSSI, and that the total space of a fibration over NSSI base with NSSI fibers is also NSSI. We apply this indecomposability to deduce that there are no phantom subcategories in some varieties, including surfaces $C \times \mathbb{P}^1$, where $C$ is any smooth proper curve of positive genus.


title: The lunar surface as a recorder of astrophysical processes

abstract: The lunar surface has been exposed to the space environment for billions of years and during this time has accumulated records of a wide range of astrophysical phenomena. These include solar wind particles and the cosmogenic products of solar particle events which preserve a record of the past evolution of the Sun, and cosmogenic nuclides produced by high-energy galactic cosmic rays which potentially record the galactic environment of the Solar System through time. The lunar surface may also have accreted material from the local interstellar medium, including supernova ejecta and material from interstellar clouds encountered by the Solar System in the past. Owing to the Moon's relatively low level of geological activity, absence of an atmosphere, and, for much of its history, lack of a magnetic field, the lunar surface is ideally suited to collect these astronomical records. Moreover, the Moon exhibits geological processes able to bury and thus both preserve and 'time-stamp' these records, although gaining access to them is likely to require a significant scientific infrastructure on the lunar surface.

categories: astro-ph.EP astro-ph.HE astro-ph.IM astro-ph.SR


title: Deep Magnification-Flexible Upsampling over 3D Point Clouds

abstract: This paper addresses the problem of generating dense point clouds from given sparse point clouds to model the underlying geometric structures of objects/scenes. To tackle this challenging issue, we propose a novel end-to-end learning-based framework. Specifically, by taking advantage of the linear approximation theorem, we first formulate the problem explicitly, which boils down to determining the interpolation weights and high-order approximation errors. Then, we design a lightweight neural network to adaptively learn unified and sorted interpolation weights as well as the high-order refinements, by analyzing the local geometry of the input point cloud. The proposed method can be interpreted by the explicit formulation, and thus is more memory-efficient than existing ones. In sharp contrast to the existing methods that work only for a pre-defined and fixed upsampling factor, the proposed framework only requires a single neural network with one-time training to handle various upsampling factors within a typical range, which is highly desired in real-world applications. In addition, we propose a simple yet effective training strategy to drive such a flexible ability. In addition, our method can handle non-uniformly distributed and noisy data well. Extensive experiments on both synthetic and real-world data demonstrate the superiority of the proposed method over state-of-the-art methods both quantitatively and qualitatively.


title: Doubly Robust Adaptive LASSO for Effect Modifier Discovery

abstract: Effect modification occurs when the effect of the treatment on an outcome differs according to the level of a third variable (the effect modifier, EM). A natural way to assess effect modification is by subgroup analysis or include the interaction terms between the treatment and the covariates in an outcome regression. The latter, however, does not target a parameter of a marginal structural model (MSM) unless a correctly specified outcome model is specified. Our aim is to develop a data-adaptive method to select effect modifying variables in an MSM with a single time point exposure. A two-stage procedure is proposed. First, we estimate the conditional outcome expectation and propensity score and plug these into a doubly robust loss function. Second, we use the adaptive LASSO to select the EMs and estimate MSM coefficients. Post-selection inference is then used to obtain coverage on the selected EMs. Simulations studies are performed in order to verify the performance of the proposed methods.


title: Symmetry-Aware Actor-Critic for 3D Molecular Design

abstract: Automating molecular design using deep reinforcement learning (RL) has the potential to greatly accelerate the search for novel materials. Despite recent progress on leveraging graph representations to design molecules, such methods are fundamentally limited by the lack of three-dimensional (3D) information. In light of this, we propose a novel actor-critic architecture for 3D molecular design that can generate molecular structures unattainable with previous approaches. This is achieved by exploiting the symmetries of the design process through a rotationally covariant state-action representation based on a spherical harmonics series expansion. We demonstrate the benefits of our approach on several 3D molecular design tasks, where we find that building in such symmetries significantly improves generalization and the quality of generated molecules.


title: Degenerated Calabi-Yau varieties with infinite components, Moduli compactifications, and limit toroidal structures

abstract: For any degenerating Calabi-Yau family, we introduce new limit space which we call galaxy, whose dense subspace is the disjoint union of countably infinite open Calabi-Yau varieties, parametrized by the rational points of the Kontsevich-Soibelman's essential skeleton, while dominated by the Huber adification over the Puiseux series field. Other topics include: projective limits of toroidal compactifications, locally modelled on what we call the limit toric varieties, the way to attach tropicalized family to given Calabi-Yau family, which are weakly related to each other.


title: A note on coarse graining and group representations

abstract: A coarse graining operation of spatially homogeneous quantum states based on an SU(1,1) Lie group structure has recently been proposed in [1] and used in [2] to compute an explicit renormalisation group flow in the context of loop quantum cosmology. In this note, we explain the group theoretical origin of this procedure and generalise previous results based on these insights. We also highlight how the group theoretical origin of these techniques implies their immediate generalisation to other Lie groups.


title: AI virtues -- The missing link in putting AI ethics into practice

abstract: Several seminal ethics initiatives have stipulated sets of principles and standards for good technology development in the AI sector. However, widespread criticism has pointed out a lack of practical realization of these principles. Following that, AI ethics underwent a practical turn, but without deviating from the principled approach and the many shortcomings associated with it. This paper proposes a different approach. It defines four basic AI virtues, namely justice, honesty, responsibility and care, all of which represent specific motivational settings that constitute the very precondition for ethical decision making in the AI field. Moreover, it defines two second-order AI virtues, prudence and fortitude, that bolster achieving the basic virtues by helping with overcoming bounded ethicality or the many hidden psychological forces that impair ethical decision making and that are hitherto disregarded in AI ethics. Lastly, the paper describes measures for successfully cultivating the mentioned virtues in organizations dealing with AI research and development.


title: Semiparametric Estimation for Causal Mediation Analysis with Multiple Causally Ordered Mediators

abstract: Causal mediation analysis concerns the pathways through which a treatment affects an outcome. While most of the mediation literature focuses on settings with a single mediator, a flourishing line of research has examined settings involving multiple mediators, under which path-specific effects (PSEs) are often of interest. We consider estimation of PSEs when the treatment effect operates through K(\geq1) causally ordered, possibly multivariate mediators. In this setting, the PSEs for many causal paths are not nonparametrically identified, and we focus on a set of PSEs that are identified under Pearl's nonparametric structural equation model. These PSEs are defined as contrasts between the expectations of 2^{K+1} potential outcomes and identified via what we call the generalized mediation functional (GMF). We introduce an array of regression-imputation, weighting, and "hybrid" estimators, and, in particular, two K+2-robust and locally semiparametric efficient estimators for the GMF. The latter estimators are well suited to the use of data-adaptive methods for estimating their nuisance functions. We establish the rate conditions required of the nuisance functions for semiparametric efficiency. We also discuss how our framework applies to several estimands that may be of particular interest in empirical applications. The proposed estimators are illustrated with a simulation study and an empirical example.


title: A thermal form factor series for the longitudinal two-point function of the Heisenberg-Ising chain in the antiferromagnetic massive regime

abstract: We consider the longitudinal dynamical two-point function of the XXZ quantum spin chain in the antiferromagnetic massive regime. It has a series representation based on the form factors of the quantum transfer matrix of the model. The $n$th summand of the series is a multiple integral accounting for all $n$-particle $n$-hole excitations of the quantum transfer matrix. In previous works the expressions for the form factor amplitudes appearing under the integrals were either again represented as multiple integrals or in terms of Fredholm determinants. Here we obtain a representation which reduces, in the zero-temperature limit, essentially to a product of two determinants of finite matrices whose entries are known special functions. This will facilitate the further analysis of the correlation function.

categories: cond-mat.stat-mech hep-th math-ph math.MP


title: State Space Vasicek Model of a Longevity Bond

abstract: Life expectancy have been increasing over the past years due to better health care, feeding and conducive environment. To manage future uncertainty related to life expectancy, various insurance institutions have resolved to come up with financial instruments that are indexed-linked to the longevity of the population. These new instrument is known as longevity bonds. In this article, we present a novel classical Vasicek one factor affine model in modelling zero coupon longevity bond price (ZCLBP) with financial and mortality risk. The interest rate r(t) and the stochastic mortality of the constructed model are dependent but with uncorrelated driving noises. The model is presented in a linear state-space representation of the contiuous-time infinite horizon and used Kalman filter for its estimation. The appropriate state equation and measurement equation derived from our model is used as a method of pricing a longevity bond in a financial market. The empirical analysis results show that the unobserved instantaneous interest rate shows a mean reverting behaviour in the U.S. term structure. The zero-coupon bonds yields are used as inputs for the estimation process. The results of the analysis are gotten from the monthly observations of U.S. Treasury zero coupon bonds from December, 1992 to January, 1993. The empirical evidence indicates that to model properly the historical mortality trends at different ages, both the survival rate and the yield data are needed to achieve a satisfactory empirical fit over the zero coupon longevity bond term structure. The dynamics of the resulting model allowed us to perform simulation on the survival rates, which enables us to model longevity risk.


title: Feature Selection based on Principal Component Analysis for Underwater Source Localization by Deep Learning

abstract: In this paper, we propose an interpretable feature selection method based on principal component analysis (PCA) and principal component regression (PCR), which can extract important features for underwater source localization by only introducing the source location without other prior information. This feature selection method is combined with a two-step framework for underwater source localization based on the semi-supervised learning scheme. In the framework, the first step utilizes a convolutional autoencoder to extract the latent features from the whole available dataset. The second step performs source localization via an encoder multi-layer perceptron (MLP) trained on a limited labeled portion of the dataset. The proposed approach has been validated on the public dataset SwllEx-96 Event S5. The result shows the framework has appealing accuracy and robustness on the unseen data, especially when the number of data used to train gradually decreases. After feature selection, not only the training stage has a 95\% acceleration but the performance of the framework becomes more robust on the depth and more accurate when the number of labeled data used to train is extremely limited.


title: Introduction of Sr into Bi2Se3 thin films by molecular beam epitaxy

abstract: SrxBi2Se3 is a candidate topological superconductor but its superconductivity requires the intercalation of Sr by into the van-der-Waals gaps of Bi2Se3. We report the synthesis of SrxBi2Se3 thin films by molecular beam epitaxy, and we characterize their structural, vibrational and electrical properties. X-ray diffraction and Raman spectroscopy show evidence of substitutional Sr alloying into the structure, while transport measurements allow us to correlate the increasing Sr content with an increased n-type doping, but do not reveal superconductivity down to 1.5K. Our results suggest that Sr predominantly occupies sites within a quintuple layer, simultaneously substituting for Bi and as an interstitial. Our results motivate future density functional studies to further investigate the energetics of Sr substitution into Bi2Se3.


title: Surrogate-based Bayesian Comparison of Computationally Expensive Models: Application to Microbially Induced Calcite Precipitation

abstract: Geochemical processes in subsurface reservoirs affected by microbial activity change the material properties of porous media. This is a complex biogeochemical process in subsurface reservoirs that currently contains strong conceptual uncertainty. This means, several modeling approaches describing the biogeochemical process are plausible and modelers face the uncertainty of choosing the most appropriate one. Once observation data becomes available, a rigorous Bayesian model selection accompanied by a Bayesian model justifiability analysis could be employed to choose the most appropriate model, i.e. the one that describes the underlying physical processes best in the light of the available data. However, biogeochemical modeling is computationally very demanding because it conceptualizes different phases, biomass dynamics, geochemistry, precipitation and dissolution in porous media. Therefore, the Bayesian framework cannot be based directly on the full computational models as this would require too many expensive model evaluations. To circumvent this problem, we suggest performing both Bayesian model selection and justifiability analysis after constructing surrogates for the competing biogeochemical models. Here, we use the arbitrary polynomial chaos expansion. We account for the approximation error in the Bayesian analysis by introducing novel correction factors for the resulting model weights. Thereby, we extend the Bayesian justifiability analysis and assess model similarities for computationally expensive models. We demonstrate the method on a representative scenario for microbially induced calcite precipitation in a porous medium. Our extension of the justifiability analysis provides a suitable approach for the comparison of computationally demanding models and gives an insight on the necessary amount of data for a reliable model performance.


title: Deep Learning-based Resource Allocation For Device-to-Device Communication

abstract: In this paper, a deep learning (DL) framework for the optimization of the resource allocation in multi-channel cellular systems with device-to-device (D2D) communication is proposed. Thereby, the channel assignment and discrete transmit power levels of the D2D users, which are both integer variables, are optimized to maximize the overall spectral efficiency whilst maintaining the quality-of-service (QoS) of the cellular users. Depending on the availability of channel state information (CSI), two different configurations are considered, namely 1) centralized operation with full CSI and 2) distributed operation with partial CSI, where in the latter case, the CSI is encoded according to the capacity of the feedback channel. Instead of solving the resulting resource allocation problem for each channel realization, a DL framework is proposed, where the optimal resource allocation strategy for arbitrary channel conditions is approximated by deep neural network (DNN) models. Furthermore, we propose a new training strategy that combines supervised and unsupervised learning methods and a local CSI sharing strategy to achieve near-optimal performance while enforcing the QoS constraints of the cellular users and efficiently handling the integer optimization variables based on a few ground-truth labels. Our simulation results confirm that near-optimal performance can be attained with low computation time, which underlines the real-time capability of the proposed scheme. Moreover, our results show that not only the resource allocation strategy but also the CSI encoding strategy can be efficiently determined using a DNN. Furthermore, we show that the proposed DL framework can be easily extended to communications systems with different design objectives.


title: Encounters with Visual Misinformation and Labels Across Platforms: An Interview and Diary Study to Inform Ecosystem Approaches to Misinformation Interventions

abstract: Since 2016, the amount of academic research with the keyword "misinformation" has more than doubled [2]. This research often focuses on article headlines shown in artificial testing environments, yet misinformation largely spreads through images and video posts shared in highly-personalized platform contexts. A foundation of qualitative research is necessary to begin filling this gap to ensure platforms' visual misinformation interventions are aligned with users' needs and understanding of information in their personal contexts, across platforms. In two studies, we combined in-depth interviews (n=15) with diary and co-design methods (n=23) to investigate how a broad mix of Americans exposed to misinformation during COVID-19 understand their visual information environments, including encounters with interventions such as Facebook fact-checking labels. Analysis reveals a deep division in user attitudes about platform labeling interventions for visual information which are perceived by many as overly paternalistic, biased, and punitive. Alongside these findings, we discuss our methods as a model for continued independent qualitative research on cross-platform user experiences of misinformation that inform interventions.


title: Difference equation for the Gromov-Witten potential of the resolved conifold

abstract: A difference equation is proved for the Gromov-Witten potential of the resolved conifold. Using the Gopakumar-Vafa resummation of the Gromov-Witten invariants of any Calabi-Yau threefold, it is further shown that similar difference equations are satisfied by the part of the resummed potential containing the contribution of the genus zero GV invariants.


title: Using math in physics -- 1. Dimensional analysis

abstract: Making meaning with math in physics requires blending physical conceptual knowledge with mathematical symbology. Students in introductory physics classes often struggle with this, but it is an essential component of learning how to think with math. Teaching dimensional analysis (DA). figuring out what measurements were combined to create a symbolic quantity, is a valuable first step in helping them learn to appreciate this difference. In this paper I discuss some of the issues associated with learning dimensional analysis and show some ways we can modify our instruction to help. This paper is one of a series on how to help students develop the scientific thinking skills required for learning to use math in science.


title: Using math in physics -- 3. Anchor equations

abstract: An important step in learning to use math in science is learning to see physics equations as not just calculational tools, but as ways of expressing fundamental relationships among physical quantities, of coding conceptual information, and of organizing physics knowledge structures. In this paper I discuss the role of basic anchor equations in introductory physics and show some examples of how to help students learn to use them.


title: Transfer Learning for Aided Target Recognition: Comparing Deep Learning to other Machine Learning Approaches

abstract: Aided target recognition (AiTR), the problem of classifying objects from sensor data, is an important problem with applications across industry and defense. While classification algorithms continue to improve, they often require more training data than is available or they do not transfer well to settings not represented in the training set. These problems are mitigated by transfer learning (TL), where knowledge gained in a well-understood source domain is transferred to a target domain of interest. In this context, the target domain could represents a poorly-labeled dataset, a different sensor, or an altogether new set of classes to identify. While TL for classification has been an active area of machine learning (ML) research for decades, transfer learning within a deep learning framework remains a relatively new area of research. Although deep learning (DL) provides exceptional modeling flexibility and accuracy on recent real world problems, open questions remain regarding how much transfer benefit is gained by using DL versus other ML architectures. Our goal is to address this shortcoming by comparing transfer learning within a DL framework to other ML approaches across transfer tasks and datasets. Our main contributions are: 1) an empirical analysis of DL and ML algorithms on several transfer tasks and domains including gene expressions and satellite imagery, and 2) a discussion of the limitations and assumptions of TL for aided target recognition -- both for DL and ML in general. We close with a discussion of future directions for DL transfer.


title: Diffuse Interplanetary Radio Emission: Shock Emission or a Type III storm?

abstract: We present a clear case of a Diffuse Interplanetary Radio Emission (DIRE) event observed during 2002 March 11-12 in association with a fast coronal mass ejection (CME). In the previous event reported [1], there were two CMEs, and a detailed analysis was required to pin down the underlying CME. In the event presented here, the CME association is unambiguous, and the DIRE is found to originate from the flanks of the CME-driven shock. We also provide quantitative explanation for not observing radio emission from the shock nose. We also clarify that DIRE is not a type III storm because the latter occurs outside of solar eruptions.


title: Opto-electronic properties and solar cell efficiency modelling of Cu$_2$ZnXS$_4$ (X=Sn,Ge,Si) kesterites

abstract: In this work, first principle calculations of Cu$_2$ZnSnS$_4$ (CZTS), Cu$_2$ZnGeS$_4$ (CZGS) and Cu$_2$ZnSiS$_4$ (CZSS) are performed to highlight the impact of the cationic substitution on the structural, electronic and optical properties of kesterite compounds. Direct bandgaps are reported with values of 1.32, 1.89 and 3.06 eV respectively for CZTS, CZGS and CZSS. In addition, absorption coefficient values of the order of $10^4$ cm$^{-1}$ are obtained, indicating the applicability of these materials as absorber layer for solar cell applications. In the second part of this study, ab initio results are used as input data to model the electrical power conversion efficiency of kesterite-based solar cell. In that perspective, we used an improved version of the Shockley-Queisser theoretical model including non-radiative recombination via an external parameter defined as the internal quantum efficiency. Based on predicted optimal absorber layer thicknesses, the variation of the solar cell maximal efficiency is studied as a function of the non-radiative recombination rate. Maximal efficiencies of 25.88, 19.94 and 3.11% are reported respectively for CZTS, CZGS and CZSS for vanishing non-radiative recombination rate. Using an internal quantum efficiency providing $V_{OC}$ values comparable to experimental measurements, solar cell efficiencies of 15.88, 14.98 and 2.66% are reported respectively for CZTS, CZGS and CZSS (for an optimal thickness of 1.15 $\mu$m). With this methodology, we confirm the suitability of CZTS in single junction solar cells, with a possible efficiency improvement of 10% enabled through the reduction of the non-radiative recombination rate. In addition, CZGS appears to be an interesting candidate as top cell absorber layer for tandem approaches whereas CZSS might be interesting for transparent PV windows.


title: Predominance of non-adiabatic effects in zero-point renormalization of the electronic band gap

abstract: Electronic and optical properties of materials are affected by atomic motion through the electron-phonon interaction: not only band gaps change with temperature, but even at absolute zero temperature, zero-point motion causes band-gap renormalization. We present a large-scale first-principles evaluation of the zero-point renormalization of band edges beyond the adiabatic approximation. For materials with light elements, the band gap renormalization is often larger than 0.3 eV, and up to 0.7 eV. This effect cannot be ignored if accurate band gaps are sought. For infrared-active materials, global agreement with available experimental data is obtained only when non-adiabatic effects are taken into account. They even dominate zero-point renormalization for many materials, as shown by a generalized Fr\"ohlich model that includes multiple phonon branches, anisotropic and degenerate electronic extrema, whose range of validity is established by comparison with first-principles results.


title: On the Bohr phenomenon for complex valued and vector valued functions

abstract: We explore the Bohr inequality involving the Fourier transforms of complex valued integrable and square integrable functions defined on a second countable compact topological group. We also investigate the connection of the Bohr phenomenon with a modulus of convexity of the space of bounded linear operators defined on a complex Hilbert space.


title: Towards the Development of 3D Engine Assembly Simulation Learning Module for Senior High School

abstract: The focus of the study is to develop a 3D engine assembly simulation learning module to address the lack of equipment in one senior high school in the Philippines. The study used mixed-method to determine the considerations needed in developing an application for educational use particularly among laboratory/practical subjects like engine assembly. The study used ISO 25010 quality standards in evaluating the application(n=153 students and 3 ICT experts).Results showed that the application is moderately acceptable(overall mean = 3.52) under ISO 25010 quality standards. The study created an engine simulation learning assembly in which teachers can use to augment their lesson. The study also highlights the applicability of using 3D-related technologies for practical and laboratory subjects particularly highly technical-related subjects. Future studies may develop a similar application in the same context using mobile and other emerging technology(i.e., Virtual Reality, Augmented Reality) as well as making the content more customizable. Effectivity of the system in an actual setting is also worth pursuing. The study highlighted the potential use of 3D technology in a classroom setting.


title: Cavity-modulated ionization potentials and electron affinities from quantum electrodynamics coupled-cluster theory

abstract: Quantum electrodynamics coupled-cluster (QED-CC) theory is used to model vacuum-field-induced changes to ground-state properties of a series of sodium halide compounds (NaX, X = F, Cl, Br, I) strongly coupled to an optical cavity. Ionization potentials (IPs) and electron affinities (EAs) are presented, and it is demonstrated that EAs are easily modulated by cavity interactions, while IPs for these compounds are far less sensitive to the presence of the cavity. EAs predicted by QED-CC can be reduced by as much 0.22 eV (or ~50%) when considering experimentally-accessible coupling parameters.


title: On the energy of the protons producing the very high-energy astrophysical neutrinos

abstract: We study the distribution of the energy of the protons that can produce an astrophysical neutrino with a given observed energy, in the TeV--PeV range, both through $pp$ or $p\gamma$ interactions. Due to the increasing multiplicity of the pion production at high center of mass energies, the resulting average proton energies can be much larger than the often used approximate value $E_p\simeq 20E_\nu$. Also the threshold of the $p\gamma$ process can lead to a pronounced increase in the values of $\langle E_p\rangle /E_\nu$ for decreasing neutrino energies. The results depend sensitively on the assumed proton spectrum, since steeper spectra give less weight to the lower energy neutrino tail resulting from the decays of the abundant low-energy pions. In the $p\gamma$ scenarios they also depend sensitively on the spectrum of the target photons. The results are in particular relevant to relate possible characteristics of the neutrino spectrum to those of the corresponding cosmic rays that generated them. We also discuss the associated production of gamma rays at the sources.


title: Modelling virus spreading in ride-pooling networks

abstract: Urban mobility needs alternative sustainable travel modes to keep our pandemic cities in motion. Ride-pooling, where a single vehicle is shared by more than one traveller, is not only appealing for mobility platforms and their travellers, but also for promoting the sustainability of urban mobility systems. Yet, the potential of ride-pooling rides to serve as a safe and effective alternative given the personal and public health risks considerations associated with the COVID-19 pandemic is hitherto unknown. To answer this, we combine epidemiological and behavioural shareability models to examine spreading among ride-pooling travellers, with an application for Amsterdam. Findings are at first sight devastating, with only few initially infected travellers needed to spread the virus to hundreds of ride-pooling users. Without intervention, ride-pooling system may substantially contribute to virus spreading. Notwithstanding, we identify an effective control measure allowing to halt the spreading before the outbreaks (at 50 instead of 800 infections) without sacrificing the efficiency achieved by pooling. Fixed matches among co-travellers disconnect the otherwise dense contact network, encapsulating the virus in small communities and preventing the outbreaks.


title: Learning to Expand: Reinforced Pseudo-relevance Feedback Selection for Information-seeking Conversations

abstract: Information-seeking conversation systems are increasingly popular in real-world applications, especially for e-commerce companies. To retrieve appropriate responses for users, it is necessary to compute the matching degrees between candidate responses and users' queries with historical dialogue utterances. As the contexts are usually much longer than responses, it is thus necessary to expand the responses (usually short) with richer information. Recent studies on pseudo-relevance feedback (PRF) have demonstrated its effectiveness in query expansion for search engines, hence we consider expanding response using PRF information. However, existing PRF approaches are either based on heuristic rules or require heavy manual labeling, which are not suitable for solving our task. To alleviate this problem, we treat the PRF selection for response expansion as a learning task and propose a reinforced learning method that can be trained in an end-to-end manner without any human annotations. More specifically, we propose a reinforced selector to extract useful PRF terms to enhance response candidates and a BERT-based response ranker to rank the PRF-enhanced responses. The performance of the ranker serves as a reward to guide the selector to extract useful PRF terms, which boosts the overall task performance. Extensive experiments on both standard benchmarks and commercial datasets prove the superiority of our reinforced PRF term selector compared with other potential soft or hard selection methods. Both case studies and quantitative analysis show that our model is capable of selecting meaningful PRF terms to expand response candidates and also achieving the best results compared with all baselines on a variety of evaluation metrics. We have also deployed our method on online production in an e-commerce company, which shows a significant improvement over the existing online ranking system.


title: Event-triggered Feedback Control for Signal Temporal Logic Tasks

abstract: A framework for the event-triggered control synthesis under signal temporal logic (STL) tasks is proposed. In our previous work, a continuous-time feedback control law was designed, using the prescribed performance control technique, to satisfy STL tasks. We replace this continuous-time feedback control law by an event-triggered controller. The event-triggering mechanism is based on a maximum triggering interval and on a norm bound on the difference between the value of the current state and the value of the state at the last triggering instance. Simulations of a multi-agent system quantitatively show the efficacy of using an event-triggered controller to reduce communication and computation efforts.


title: Presence of x-ray magnetic circular dichroism effect for zero-magnetization state in antiferromagnetism

abstract: X-ray magnetic circular dichroism (XMCD) is generally not observed for antiferromagnetic (AFM) states because XMCD signals from the antiparallelly coupled spins cancel each other. In this letter, we theoretically show the presence of an XMCD signal from compensated two-dimensional triangle AFM structures on a Kagome lattice. The calculation reveals the complete correspondence between the XMCD spectra and the sign of the spin chirality: the XMCD signal only appears when the spin chirality is negative. This XMCD signal originates from the different absorption coefficients of the three sublattices reflecting different charge density anisotropies and directions of spin and orbital magnetic moments.


title: Signaling between time steps does not allow for nonlocality beyond hidden nonlocality

abstract: Hidden nonlocality is the phenomenon that entangled states can be local in the standard Bell scenario but display nonlocality after local filtering. However, there exist entangled states for which all measurement statistics can be described via a local hidden variable model even after local filtering. In this work we consider the scenario that measurement outcomes and settings of Alice can influence measurements of Bob in subsequent time steps (and vice versa), however, there is no signaling among them for measurements at the same time step. We show that in this scenario states that only display local statistics after local filtering remain local even when considering the complete statistics of arbitrary sequences and therefore no advantage can be gained by performing longer sequences in this scenario. We first determine the extreme points of the polytope defined by the no-signaling conditions within the same time step and the arrow-of-time constraints. Based on these results we introduce a notion of locality and provide a complete representation of the corresponding local polytope in terms of inequalities in the simplest scenario. These results imply that in the scenario considered here there is no nonlocality beyond hidden nonlocality. We further propose a device-dependent Schmidt number witness and we compare our finding to known local models in the sequential scenario.


title: Decentralized Control Barrier Functions for Coupled Multi-Agent Systems under Signal Temporal Logic Tasks

abstract: We study the problem of controlling multi-agent systems under a set of signal temporal logic tasks. Signal temporal logic is a formalism that is used to express time and space constraints for dynamical systems. Recent methods to solve the control synthesis problem for single-agent systems under signal temporal logic tasks are, however, subject to a high computational complexity. Methods for multi-agent systems scale at least linearly with the number of agents and induce even higher computational burdens. We propose a computationally-efficient control strategy to solve the multi-agent control synthesis problem that results in a robust satisfaction of a set of signal temporal logic tasks. In particular, a decentralized feedback control law is proposed that is based on time-varying control barrier functions. The obtained control law is discontinuous and formal guarantees are provided by nonsmooth analysis. Simulations show the efficacy of the presented method.


title: Optimal risk in wealth exchange models: agent dynamics from a microscopic perspective

abstract: In this work we study the individual strategies carried out by agents undergoing transactions in wealth exchange models. We analyze the role of risk propensity in the behavior of the agents and find a critical risk, such that agents with risk above that value always end up losing everything when the system approaches equilibrium. Moreover, we find that the wealth of the agents is maximum for a range of risk values that depends on particular characteristics of the model, such as the social protection factor. Our findings allow to determine a region of parameters for which the strategies of the economic agents are successful.


title: K + M constructions with general overrings and relationships with polynomial composites

abstract: In this paper we consider the construction of K + M, where K is the domain, M is the maximal ideal of a some ring of polynomials with coefficients from the field L, where K is its subring. In addition to the usual domains, we also consider the Noetherian, Prufer and GCD-domains. In particular, polynomial composites are a case of K + M construction. In this paper we will find numerous construction conclusions related to polynomial composites.


title: On $(\alpha, \beta, \gamma)$-metrics

abstract: In this paper, a new class of Finsler metrics which are included $(\alpha,\beta)$-metrics are introduced. They are defined by a Riemannian metric and two 1-forms $\beta=b_i(x)y^i$ and $\gamma= \gamma_i(x)y^i$. This class of metrics are a generalization of $(\alpha,\beta)$-metrics which are not always $(\alpha,\beta)$-metric. We find a necessary and sufficient condition for this metric to be locally projectively flat and then we prove the conditions for this metric to be of Douglas type.


title: A note on estimates of level sets and their role in demonstrating regularity of solutions to nonlocal double phase equations

abstract: In this note we prove an estimate on the level sets of a function with $(p, q)$ growth that depends on the difference quotient of a bounded weak solution to a nonlocal double phase equation. This estimate is related to a self improving property of these solutions.


title: Stochastic reaction-diffusion equations on networks

abstract: We consider stochastic reaction-diffusion equations on a finite network represented by a finite graph. On each edge in the graph a multiplicative cylindrical Gaussian noise driven reaction-diffusion equation is given supplemented by a dynamic Kirchhoff-type law perturbed by multiplicative scalar Gaussian noise in the vertices. The reaction term on each edge is assumed to be an odd degree polynomial, not necessarily of the same degree on each edge, with possibly stochastic coefficients and negative leading term. We utilize the semigroup approach for stochastic evolution equations in Banach spaces to obtain existence and uniqueness of solutions with sample paths in the space of continuous functions on the graph. In order to do so we generalize existing results on abstract stochastic reaction-diffusion equations in Banach spaces.


title: Functional Principal Component Analysis for Cointegrated Functional Time Series

abstract: Functional principal component analysis (FPCA) has played an important role in the development of functional time series analysis. This note investigates how FPCA can be used to analyze cointegrated functional time series and proposes a modification of FPCA as a novel statistical tool. Our modified FPCA not only provides an asymptotically more efficient estimator of the cointegrating vectors, but also leads to novel FPCA-based tests for examining essential properties of cointegrated functional time series.


title: Influence of the Fermi surface shape on magnetotransport: the MnAs case

abstract: We analyze the influence of the Fermi surface (FS) shape on magnetotransport properties, particularly on the Hall effect in the MnAs compound. It has been observed in MnAs films evidence of opposite conduction polarities for different crystal direction (goniopolarity) and a strong dependence of the carrier type with applied magnetic field. In order to understand this behaviour, we developed a model based on the semiclassical equations along with Boltzmann transport theory that takes into account both, the applied magnetic field and the FS shape. The FS of the MnAs compound is obtained by means of density functional theory (DFT), showing a clear dominance of the hyperboloid shape. Our study, corroborate that this specific topology of the FS gives rise to a goniopolar behaviour in the Hall transport. This theoretical results are supported by magnetotransport measurements on MnAs thin layers epitaxially grown on GaAs(001) and GaAs(111), where both configurations allow us to explore the transport characteristics for two different crystal directions of the MnAs.


title: General Purpose Atomic Crosschain Transactions

abstract: The General Purpose Atomic Crosschain Transaction protocol allows composable programming across multiple Ethereum blockchains. It allows for inter-contract and inter-blockchain function calls that are both synchronous and atomic: if one part fails, the whole call execution tree of function calls is rolled back. The protocol operates on existing Ethereum blockchains without modification. It works for both public permissioned and consortium blockchains. Additionally, the protocol is expected to work across heterogeneous blockchains other than Ethereum. This paper describes the protocol, analyses it in terms of Gas usage and Finalised Block Periods for three scenarios: reading a value from one blockchain to another, writing a value from one blockchain to another, and a trade finance system involving five contracts on five blockchains with a complex call execution tree, and provides an initial security analysis that shows that the protocol has Safety and Liveness properties.


title: Electron-impact ionization and ionic fragmentation of O$_{2}$ from threshold to 120 eV energy range

abstract: We study the electron-impact induced ionization of O$_{2}$ from threshold to 120 eV using the electron spectroscopy method. Our approach is simple in concept and embodies the ion source with a collision chamber and a mass spectrometer with a quadruple filter as a selector for the product ions. The combination of these two devices makes it possible to unequivocally collect all energetic fragment ions formed in ionization and dissociative processes and to detect them with known efficiency. The ion source allows to vary and tune the electron-impact ionization energy and the target-gas pressure. We demonstrate that for obtaining reliable results of cross sections for inelastic processes and determining mechanisms for the formation of O$^{+}$($^{4}S,^2{D},^2{P}$) ions, it is crucial to control the electron-impact energy for production of ion and the pressure in the ion source. A comparison of our results with other experimental and theoretical data shows good agreement and proves the validity of our approach.


title: Regret-optimal measurement-feedback control

abstract: We consider measurement-feedback control in linear dynamical systems from the perspective of regret minimization. Unlike most prior work in this area, we focus on the problem of designing an online controller which competes with the optimal dynamic sequence of control actions selected in hindsight, instead of the best controller in some specific class of controllers. This formulation of regret is attractive when the environment changes over time and no single controller achieves good performance over the entire time horizon. We show that in the measurement-feedback setting, unlike in the full-information setting, there is no single offline controller which outperforms every other offline controller on every disturbance, and propose a new $H_2$-optimal offline controller as a benchmark for the online controller to compete against. We show that the corresponding regret-optimal online controller can be found via a novel reduction to the classical Nehari problem from robust control and present a tight data-dependent bound on its regret.


title: Face recognition using PCA integrated with Delaunay triangulation

abstract: Face Recognition is most used for biometric user authentication that identifies a user based on his or her facial features. The system is in high demand, as it is used by many businesses and employed in many devices such as smartphones and surveillance cameras. However, one frequent problem that is still observed in this user-verification method is its accuracy rate. Numerous approaches and algorithms have been experimented to improve the stated flaw of the system. This research develops one such algorithm that utilizes a combination of two different approaches. Using the concepts from Linear Algebra and computational geometry, the research examines the integration of Principal Component Analysis with Delaunay Triangulation; the method triangulates a set of face landmark points and obtains eigenfaces of the provided images. It compares the algorithm with traditional PCA and discusses the inclusion of different face landmark points to deliver an effective recognition rate.


title: Nucleon Momentum Fraction, Helicity and Transversity from 2+1-flavor Lattice QCD

abstract: High statistics results for the isovector momentum fraction, $\langle x \rangle_{u-d}$, helicity moment, $\langle x \rangle_{\Delta u-\Delta d}$, and the transversity moment, $\langle x\rangle_{\delta u-\delta d}$, of the nucleon are presented using seven ensembles of gauge configurations generated by the JLab/W&M/LANL/MIT collaborations using $2+1$-flavors of dynamical Wilson-clover quarks. Attention is given to understanding and controlling the contributions of excited states. The final results are obtained using a simultaneous fit in the lattice spacing $a$, pion mass $M_\pi$ and the finite volume parameter $M_\pi L$ keeping leading order corrections. The data show no significant dependence on the lattice spacing and some evidence for finite-volume corrections. The main variation is with $M_\pi$, whose magnitude depends on the mass gap of the first excited state used in the analysis. Our final results, in the $\overline{\rm MS}$ scheme at 2 GeV, are $\langle x \rangle_{u-d} = 0.160(16)(20)$, $\langle x \rangle_{\Delta u-\Delta d} = 0.192(13)(20)$ and $\langle x \rangle_{\delta u-\delta d} = 0.215(17)(20)$, where the first error is the overall analysis uncertainty assuming excited-state contributions have been removed, and the second is an additional systematic uncertainty due to possible residual excited-state contributions. These results are consistent with other recent lattice calculations and phenomenological global fit values.


title: The Auslander conjecture for dimension less then 7

abstract: In 1964 L. Auslander conjectured that every crystallographic subgroup of an the affine group is virtually solvable, i.e. contains a solvable subgroup of finite index. D. Fried and W. Goldman proved Auslander's conjecture for n = 3 using cohomological arguments. We prove the Auslander conjecture for n < 7. The proof is based mainly on dynamical arguments. In some cases, we use the cohomological argument which we could avoid but it would significantly lengthen the proof.


title: Postnatal functional inactivation of the ventral subiculum enhances dopaminergic responses in the core part of the nucleus accumbens following ketamine injection in adult rats

abstract: For almost two decades schizophrenia has been considered to be a functional disconnection disorder. This functional disconnectivity between several brain regions could have a neurodevelopmental origin. Various approaches suggest the ventral subiculum (SUB) is a particular target region for neurodevelopemental disturbances in schizophrenia. It is also commonly acknowledged that there is a striatal dopaminergic (DA) dysregulation in schizophrenia which may depend on a subiculo-striatal disconnection involving glutamatergic NMDA receptors. The present study was designed to investigate, in adult rats, the effects of the non-competitive NMDA receptor antagonist ketamine on DA responses in the ventral striatum, or, more specifically, the core part of the nucleus accumbens (Nacc), following postnatal functional inactivation of the SUB. Functional inactivation of the left SUB was carried out by local tetrodotoxin (TTX) microinjection at postnatal day 8 (PND8), i.e. at a critical point in the neurodevelopmental period. DA variations were recorded using in vivo voltammetry in freely moving adult rats (11 weeks). Locomotor activity was recorded simultaneously with the extracellular levels of DA in the core part of the Nacc. Data obtained during the present study showed that after administration of ketamine, the two indexes were higher in TTX animals than PBS animals, the suggestion being that animals microinjected with TTX in the left SUB at PND8 present greater reactivity to ketamine than animals microinjected with PBS. These findings could provide new information regarding the involvement of NMDA glutamatergic receptors in the core part of the Nacc in the pathophysiology of schizophrenia.


title: Fast Region Proposal Learning for Object Detection for Robotics

abstract: Object detection is a fundamental task for robots to operate in unstructured environments. Today, there are several deep learning algorithms that solve this task with remarkable performance. Unfortunately, training such systems requires several hours of GPU time. For robots, to successfully adapt to changes in the environment or learning new objects, it is also important that object detectors can be re-trained in a short amount of time. A recent method [1] proposes an architecture that leverages on the powerful representation of deep learning descriptors, while permitting fast adaptation time. Leveraging on the natural decomposition of the task in (i) regions candidate generation, (ii) feature extraction and (iii) regions classification, this method performs fast adaptation of the detector, by only re-training the classification layer. This shortens training time while maintaining state-of-the-art performance. In this paper, we firstly demonstrate that a further boost in accuracy can be obtained by adapting, in addition, the regions candidate generation on the task at hand. Secondly, we extend the object detection system presented in [1] with the proposed fast learning approach, showing experimental evidence on the improvement provided in terms of speed and accuracy on two different robotics datasets. The code to reproduce the experiments is publicly available on GitHub.


title: Algebraic properties of paraorthomodular posets

abstract: Paraorthomodular posets are bounded partially ordered set with an antitone involution induced by quantum structures arising from the logico-algebraic approach to quantum mechanics. The aim of the present work is starting a systematic inquiry into paraorthomodular posets theory both from an algebraic and order-theoretic perspective. On the one hand, we show that paraorthomodular posets are amenable of an algebraic treatment by means of a smooth representation in terms of bounded directoids with antitone involution. On the other, we investigate their order-theoretical features in terms of forbidden configurations. Moreover, sufficient and necessary conditions characterizing bounded posets with an antitone involution whose Dedekind-MacNeille completion is paraorthomodular are provided.


title: Relative entropy of freely cooling granular gases. A molecular dynamics study

abstract: Whereas the original Boltzmann's $H$-theorem applies to elastic collisions, its rigorous generalization to the inelastic case is still lacking. Nonetheless, it has been conjectured in the literature that the relative entropy of the velocity distribution function with respect to the homogeneous cooling state (HCS) represents an adequate nonequilibrium entropy-like functional for an isolated freely cooling granular gas. In this work, we present molecular dynamics results reinforcing this conjecture and rejecting the choice of the Maxwellian over the HCS as a reference distribution. These results are qualitatively predicted by a simplified theoretical toy model. Additionally, a Maxwell-demon-like velocity-inversion simulation experiment highlights the microscopic irreversibility of the granular gas dynamics, monitored by the relative entropy, where a short ``anti-kinetic'' transient regime appears for nearly elastic collisions only.


title: Chaotic Resonant Dynamics and Exchanges of Energy in Hamiltonian PDEs

abstract: The aim of this note is to present the recent results in [16] where we provide the existence of solutions of some nonlinear resonant PDEs on the 2-dimensional torus exchanging energy among Fourier modes in a \emph{chaotic-like} way. We say that a transition of energy is \emph{chaotic-like} if either the choice of activated modes or the time spent in each transfer can be chosen randomly. We consider the nonlinear cubic Wave, the Hartree and the nonlinear cubic Beam equations. The key point of the construction of the special solutions is the existence of heteroclinic connections between invariant objects and the construction of symbolic dynamics (a Smale horseshoe) for the Birkhoff Normal Form of those equations.


title: Time Quasi-Periodic Traveling Gravity Water Waves in Infinite Depth

abstract: We present the recent result [8] concerning the existence of quasi-periodic in time traveling waves for the 2d pure gravity water waves system in infinite depth. We provide the first existence result of quasi-periodic water waves solutions bifurcating from a completely resonant elliptic fixed point. The proof is based on a Nash-Moser scheme, Birkhoff normal form methods and pseudo-differential calculus techniques. We deal with the combined problems of small divisors and the fully-nonlinear nature of the equations.


title: Super-zeta functions and regularized determinants associated to cofinite Fuchsian groups with finite-dimensional unitary representations

abstract: Let $M$ be a finite volume, non-compact hyperbolic Riemann surface, possibly with elliptic fixed points, and let $\chi$ denote a finite dimensional unitary representation of the fundamental group of $M$. Let $\Delta$ denote the hyperbolic Laplacian which acts on smooth sections of the flat bundle over $M$ associated to $\chi$. From the spectral theory of $\Delta$, there are three distinct sequences of numbers: The first coming from the eigenvalues of $L^{2}$ eigenfunctions, the second coming from resonances associated to the continuous spectrum, and the third being the set of negative integers. Using these sequences of spectral data, we employ the super-zeta approach to regularization and introduce two super-zeta functions, $\Z_-(s,z)$ and $\Z_+(s,z)$ that encode the spectrum of $\Delta$ in such a way that they can be used to define the regularized determinant of $\Delta-z(1-z)I$. The resulting formula for the regularized determinant of $\Delta-z(1-z)I$ in terms of the Selberg zeta function, see Theorem 5.3, encodes the symmetry $z\leftrightarrow 1-z$, which could not be seen in previous works, due to a different definition of the regularized determinant.


title: Optimal error estimate for a space-time discretization for incompressible generalized Newtonian fluids: The Dirichlet problem

abstract: In this paper we prove optimal error estimates for {solutions with natural regularity} of the equations describing the unsteady motion of incompressible shear-thinning fluids. We consider a full space-time semi-implicit scheme for the discretization. The main novelty, with respect to previous results, is that we obtain the estimates directly without introducing intermediate semi-discrete problems, which enables the treatment of homogeneous Dirichlet boundary conditions.


title: Unexpectedly super strong paramagnetism of aromatic peptides due to cations of divalent metals

abstract: The magnetism of most biological systems has not been characterized, which directly impedes our understanding of many magnetic field-related phenomena, including magnetoreception and magnetic bio-effects. Here we measured the magnetic susceptibility of aromatic peptide AYFFF self-assemblies in the presence or absence of divalent metal cations in liquid phase at room temperature. Unexpectedly, the magnetic susceptibilities of AYFFF self-assemblies in the chloride solution of various divalent cations (Mg2+, Zn2+, and Cu2+) show super strong paramagnetism. We attribute the super strong paramagnetism to existence of the magnetic moments on the cations adsorbed on aromatic rings in the AYFFF assemblies through hydrated cation-{\pi} interactions, where the adsorbed cations display non-divalent behavior with unpaired electron spins. Our results indicate the super strong paramagnetism or potential ferromagnetism in the aromatic ring-enriched biomolecules when there are enough cations of divalent metals adsorbed. The findings not only provide fundamental information for understanding the magnetism of biological systems, provoke insights for investigating the origin of magnetoreception and bio-effects of magnetic fields, but also help developing future magnetic-control techniques on aromatic ring-enriched biomolecules and drugs in living organisms, as well as biomaterial fabrication and manipulation.


title: Adaptive Learning of Hybrid Models for Nonlinear Model Predictive Control of Distillation Columns

abstract: Nonlinear model predictive control (NMPC) requires accurate and computationally efficient plant models. Our previous work has shown that the classical compartmentalization model reduction approach for distillation columns can be enhanced by replacing parts of the system of equations by artificial neural networks (ANNs) trained on offline solved solutions to improve computational performance. In real-life applications, the absence of a high-fidelity model for data generation can, however, prevent the deployment of this approach. Therefore, we propose a method that utilizes solely plant measurement data, starting from a small initial data set and then continuously adapting to newly measured data. The efficacy of the proposed approach is examined in silico for a distillation column from literature. To this end, we first adjust our reduced hybrid mechanistic/data-driven modeling approach that originally builds on compartmentalization to a stage-aggregation procedure, tailoring it for the application within the adaptive learning framework. Second, we apply an adaptive learning algorithm that trains the ANNs replacing the stationary stage-to-stage calculations on newly available data. We apply the adaptive learning of the hybrid model within a regulatory NMPC framework and conduct closed-loop simulations. We demonstrate that by using the proposed method, the control performance can be steadily improved over time compared to a non-adaptive approach while being real-time applicable. Moreover, we show that the performance when using either a model trained on excessive amounts of offline generated data or the original high-fidelity model can be approached in the limit.


title: StyleSpace Analysis: Disentangled Controls for StyleGAN Image Generation

abstract: We explore and analyze the latent style space of StyleGAN2, a state-of-the-art architecture for image generation, using models pretrained on several different datasets. We first show that StyleSpace, the space of channel-wise style parameters, is significantly more disentangled than the other intermediate latent spaces explored by previous works. Next, we describe a method for discovering a large collection of style channels, each of which is shown to control a distinct visual attribute in a highly localized and disentangled manner. Third, we propose a simple method for identifying style channels that control a specific attribute, using a pretrained classifier or a small number of example images. Manipulation of visual attributes via these StyleSpace controls is shown to be better disentangled than via those proposed in previous works. To show this, we make use of a newly proposed Attribute Dependency metric. Finally, we demonstrate the applicability of StyleSpace controls to the manipulation of real images. Our findings pave the way to semantically meaningful and well-disentangled image manipulations via simple and intuitive interfaces.


title: Inverse problems for semiconductors: models and methods

abstract: We consider the problem of identifying discontinuous doping profiles in semiconductor devices from data obtained by different models connected to the voltage-current map. Stationary as well as transient settings are discussed and a framework for the corresponding inverse problems is established. Numerical implementations for the so-called stationary unipolar and stationary bipolar cases show the effectiveness of a level set approach to tackle the inverse problem.


title: Quantitative Convergence of the Filter Solution for Multiple Timescale Nonlinear Systems with Coarse-Grain Correlated Noise

abstract: In this paper we prove a rate of convergence for the continuous time filtering solution of a multiple timescale correlated nonlinear system to a lower dimensional filtering equation in the limit of large timescale separation. Correlation is assumed to occur between the slow signal and observation processes. Convergence is almost sure in the weak topology. An asymptotic expansion of the dual process for the solution to the Zakai equation, and probabilistic representation using backward doubly stochastic differential equations is leveraged to prove the result.


title: Harmonic branched coverings and uniformization of CAT($k$) spheres

abstract: Let $S$ be a surface with a metric $d$ satisfying an upper curvature bound in the sense of Alexandrov (i.e. via triangle comparison). We show that an almost conformal harmonic map from a surface into $(S,d)$ is a branched covering. As a consequence, if $(S,d)$ is homeomorphically equivalent to the 2-sphere $\mathbb S^2$, then it is conformally equivalent to $\mathbb S^2$.


title: Unusual chemistry of the C-H-N-O system under pressure and implications for giant planets

abstract: C-H-N-O system is central for organic chemistry and biochemistry, and plays a major role in planetary science (dominating the composition of "ice giants" Uranus and Neptune). The inexhaustible chemical diversity of this system at normal conditions explains it as the basis of all known life, but the chemistry of this system at high pressures and temperatures of planetary interiors is poorly known. Using ab initio evolutionary algorithm USPEX, we performed an extensive study of the phase diagram of the C-H-N-O system at pressures of 50, 200, and 400 GPa and temperatures up to 3000 K. Eight novel thermodynamically stable phases were predicted, including quaternary polymeric crystal C2H2N2O2 and several new N-O and H-N-O compounds. We describe the main patterns of changes in the chemistry of the C-H-N-O system under pressure and confirm that diamond should be formed at conditions of the middle-ice layers of Uranus and Neptune. We also provide the detailed CH4-NH3-H2O phase diagrams at high pressures, which are important for a further improvement of the models of ice giants - and point out that current models are clearly deficient. In particular, in existing models Uranus and Neptune are presented to have identical composition, nearly identical pressure-temperature profiles, and a single convecting middle layer ("mantle") made of a mixture H2O : CH4 : NH3 = 56.5 : 32.5 : 11. Here we provide new insights shedding light into the difference of heat flows from Uranus and Neptune, which require them to have different compositions, pressure-temperature conditions, and a more complex internal structure.


title: Quartic hilltop inflation revisited

abstract: We implement a procedure by which the parameters present in the potential of Quartic Hilltop Inflation (QHI) are eliminated in favor of the scalar spectral index $n_s$ and the tensor-to-scalar ratio $r$. By doing this it is posible to obtain in a straightforward and simple way the equations of a previous analysis where an analytical treatment of QHI in the large field limit is given. This procedure also allows a more precise discussion of general properties of the model. Also, using a constraint from the reheating epoch it is possible to find bounds for the parameters of the model as well as for quantities of interest such as the running of the scalar index, the reheating temperature and the inflationary scale. Since the bounds found come from expressions given exclusively in terms of $n_s$ and $r$ they will continue to narrow as the measurements of the observables $n_s$ and $r$ become more sensitive.