title: Partition algebras $\mathsf{P}_k(n)$ with $2k>n$ and the fundamental theorems of invariant theory for the symmetric group $\mathsf{S}_n$

abstract: Assume $\mathsf{M}_n$ is the $n$-dimensional permutation module for the symmetric group $\mathsf{S}_n$, and let $\mathsf{M}_n^{\otimes k}$ be its $k$-fold tensor power. The partition algebra $\mathsf{P}_k(n)$ maps surjectively onto the centralizer algebra $\mathsf{End}_{\mathsf{S}_n}(\mathsf{M}_n^{\otimes k})$ for all $k, n \in \mathbb{Z}_{\ge 1}$ and isomorphically when $n \ge 2k$. We describe the image of the surjection $\Phi_{k,n}:\mathsf{P}_k(n) \to \mathsf{End}_{\mathsf{S}_n}(\mathsf{M}_n^{\otimes k})$ explicitly in terms of the orbit basis of $\mathsf{P}_k(n)$ and show that when $2k > n$ the kernel of $\Phi_{k,n}$ is generated by a single essential idempotent $\mathsf{e}_{k,n}$, which is an orbit basis element. We obtain a presentation for $\mathsf{End}_{\mathsf{S}_n}(\mathsf{M}_n^{\otimes k})$ by imposing one additional relation, $\mathsf{e}_{k,n} = 0$, to the standard presentation of the partition algebra $\mathsf{P}_k(n)$ when $2k > n$. As a consequence, we obtain the fundamental theorems of invariant theory for the symmetric group $\mathsf{S}_n$. We show under the natural embedding of the partition algebra $\mathsf{P}_n(n)$ into $\mathsf{P}_k(n)$ for $k \ge n$ that the essential idempotent $\mathsf{e}_{n,n}$ generates the kernel of $\Phi_{k,n}$. Therefore, the relation $\mathsf{e}_{n,n} = 0$ can replace $\mathsf{e}_{k,n} = 0$ when $k \ge n$.


title: Large-scale environments of narrow-line Seyfert 1 galaxies

abstract: Studying large-scale environments of narrow-line Seyfert 1 (NLS1) galaxies gives a new perspective on their properties, particularly their radio loudness. The large-scale environment is believed to have an impact on the evolution and intrinsic properties of galaxies, however, NLS1 sources have not been studied in this context before. We have a large and diverse sample of 1341 NLS1 galaxies and three separate environment data sets constructed using Sloan Digital Sky Survey. We use various statistical methods to investigate how the properties of NLS1 galaxies are connected to the large-scale environment, and compare the large-scale environments of NLS1 galaxies with other active galacic nuclei (AGN) classes, for example, other jetted AGN and broad-line Seyfert 1 (BLS1) galaxies, to study how they are related. NLS1 galaxies reside in less dense environments than any of the comparison samples, thus confirming their young age. The average large-scale environment density and environmental distribution of NLS1 sources is clearly different compared to BLS1 galaxies, thus it is improbable that they could be the parent population of NLS1 galaxies and unified by orientation. Within the NLS1 class there is a trend of increasing radio loudness with increasing large-scale environment density, indicating that the large-scale environment affects their intrinsic properties. Our results suggest that the NLS1 class of sources is not homogeneous, and furthermore, a considerable fraction of them are misclassified. We further support a published proposal to replace the traditional classification to radio-loud, and radio-quiet or radio-silent sources with a division to jetted and non-jetted sources.


title: EAS age determination from the study of the lateral distribution of charged particles near the shower axis with the ARGO-YBJ experiment

abstract: The ARGO-YBJ experiment, a full coverage extensive air shower (EAS) detector located at high altitude (4300 m a.s.l.) in Tibet, China, has smoothly taken data, with very high stability, since November 2007 to the beginning of 2013. The array consisted of a carpet of about 7000 m$^2$ Resistive Plate Chambers (RPCs) operated in streamer mode and equipped with both digital and analog readout, providing the measurement of particle densities up to few particles per cm$^2$. The unique detector features (full coverage, readout granularity, wide dynamic range, etc) and location (very high altitude) allowed a detailed study of the lateral density profile of charged particles at ground very close to the shower axis and its description by a proper lateral distribution function (LDF). In particular, the information collected in the first 10 m from the shower axis have been shown to provide a very effective tool for the determination of the shower development stage ("age") in the energy range 50 TeV - 10 PeV. The sensitivity of the age parameter to the mass composition of primary Cosmic Rays is also discussed.


title: Discovery of a warm, dusty giant planet around HIP65426

abstract: The SHINE program is a large high-contrast near-infrared survey of 600 young, nearby stars. It is aimed at searching for and characterizing new planetary systems using VLT/SPHERE's unprecedented high-contrast and high-angular resolution imaging capabilities. It also intends at placing statistical constraints on the occurrence and orbital properties of the giant planet population at large orbits as a function of the stellar host mass and age to test planet formation theories. We use the IRDIS dual-band imager and the IFS integral field spectrograph of SPHERE to acquire high-constrast coronagraphic differential near-infrared images and spectra of the young A2 star HIP65426. It is a member of the ~17 Myr old Lower Centaurus-Crux association. At a separation of 830 mas (92 au projected) from the star, we detect a faint red companion. Multi-epoch observations confirm that it shares common proper motion with HIP65426. Spectro-photometric measurements extracted with IFS and IRDIS between 0.95 and 2.2um indicate a warm, dusty atmosphere characteristic of young low surface-gravity L5-L7 dwarfs. Hot-start evolutionary models predict a luminosity consistent with a 6-12 MJup, Teff=1300-1600 K and R=1.5 RJup giant planet. Finally, the comparison with Exo-REM and PHOENIX BT-Settl synthetic atmosphere models gives consistent effective temperatures but with slightly higher surface gravity solutions of log(g)=4.0-5.0 with smaller radii (1.0-1.3 RJup). Given its physical and spectral properties, HIP65426b occupies a rather unique placement in terms of age, mass and spectral-type among the currently known imaged planets. It represents a particularly interesting case to study the presence of clouds as a function of particle size, composition, and location in the atmosphere, to search for signatures of non-equilibrium chemistry, and finally to test the theory of planet formation and evolution.


title: Efficient Approximate Query Answering over Sensor Data with Deterministic Error Guarantees

abstract: With the recent proliferation of sensor data, there is an increasing need for the efficient evaluation of analytical queries over multiple sensor datasets. The magnitude of such datasets makes exact query answering infeasible, leading researchers into the development of approximate query answering approaches. However, existing approximate query answering algorithms are not suited for the efficient processing of queries over sensor data, as they exhibit at least one of the following shortcomings: (a) They do not provide deterministic error guarantees, resorting to weaker probabilistic error guarantees that are in many cases not acceptable, (b) they allow queries only over a single dataset, thus not supporting the multitude of queries over multiple datasets that appear in practice, such as correlation or cross-correlation and (c) they support relational data in general and thus miss speedup opportunities created by the special nature of sensor data, which are not random but follow a typically smooth underlying phenomenon. To address these problems, we propose PlatoDB; a system that exploits the nature of sensor data to compress them and provide efficient processing of queries over multiple sensor datasets, while providing deterministic error guarantees. PlatoDB achieves the above through a novel architecture that (a) at data import time pre-processes each dataset, creating for it an intermediate hierarchical data structure that provides a hierarchy of summarizations of the dataset together with appropriate error measures and (b) at query processing time leverages the pre-computed data structures to compute an approximate answer and deterministic error guarantees for ad hoc queries even when these combine multiple datasets.


title: Machine Learning, Deepest Learning: Statistical Data Assimilation Problems

abstract: We formulate a strong equivalence between machine learning, artificial intelligence methods and the formulation of statistical data assimilation as used widely in physical and biological sciences. The correspondence is that layer number in the artificial network setting is the analog of time in the data assimilation setting. Within the discussion of this equivalence we show that adding more layers (making the network deeper) is analogous to adding temporal resolution in a data assimilation framework. How one can find a candidate for the global minimum of the cost functions in the machine learning context using a method from data assimilation is discussed. Calculations on simple models from each side of the equivalence are reported. Also discussed is a framework in which the time or layer label is taken to be continuous, providing a differential equation, the Euler-Lagrange equation, which shows that the problem being solved is a two point boundary value problem familiar in the discussion of variational methods. The use of continuous layers is denoted "deepest learning". These problems respect a symplectic symmetry in continuous time/layer phase space. Both Lagrangian versions and Hamiltonian versions of these problems are presented. Their well-studied implementation in a discrete time/layer, while respected the symplectic structure, is addressed. The Hamiltonian version provides a direct rationale for back propagation as a solution method for the canonical momentum.


title: Light deflection by charged wormholes in Einstein-Maxwell-dilaton theory

abstract: In this paper, we study the deflection of light by a class of charged wormholes within the context of the Einstein-Maxwell-dilaton theory. The primordial wormholes are predicted to exist in the early universe, where inflation driven by the dilaton field. We perform our analysis through optical geometry using the Gibbons-Werner method (GW), by adopting the Gauss-Bonnet theorem and the standard geodesics approach. We report an interesting result for the deflection angle in leading-order terms--namely, the deflection angle increases due to the electric charge $Q$ and the magnetic charge $P$, whereas it decreases due to the dilaton charge $\Sigma$. Finally, we confirm our findings by means of geodesics equations. Our computations show that the GW method gives an exact result in leading order terms.


title: Robustness Among Multiwinner Voting Rules

abstract: We investigate how robust the results of committee elections are to small changes in the input preference orders, depending on the voting rules used. We find that for typical rules the effect of making a single swap of adjacent candidates in a single preference order is either that (1) at most one committee member might be replaced, or (2) it is possible that the whole committee will be replaced. We also show that the problem of computing the smallest number of swaps that lead to changing the election outcome is typically NP-hard, but there are natural FPT algorithms. Finally, for a number of rules we assess experimentally the average number of random swaps necessary to change the election result.


title: Determining the Onset of Hydrodynamic Erosion in Turbulent Flow

abstract: We revisit the longstanding question of the onset of sediment transport driven by a turbulent fluid flow via laboratory measurements. We use particle tracking velocimetry to quantify the fluid flow as well as the motion of individual grains. As we increase the flow speed above the transition to sediment transport, we observe that an increasing fraction of grains are transported downstream, although the average downstream velocity of the transported grains remains roughly constant. However, we find that the fraction of mobilized grains does not vanish sharply at a critical flow rate. Additionally, the distribution of the fluctuating velocities of non-transported grains becomes broader with heavier tails, meaning that unambiguously separating mobile and static grains is not possible. As an alternative approach, we quantify the statistics of grain velocities by using a mixture model consisting of two forms for the grain velocities: a decaying-exponential tail, which represents grains transported downstream, and a peaked distribution centered at zero velocity, which represents grains that fluctuate due to the turbulent flow but remain in place. Our results suggest that more sophisticated statistical measures may be required to quantify grain motion near the onset of sediment transport, particularly in the presence of turbulence.


title: Comparison of Donor-Acceptor $\pi$-Conjugated Dyes in Model Solar Cells: A Study of Interfacial Ultrafast Electron Migration

abstract: Interfacial ultrafast electron migration processes are simulated in finite cluster models of dye-sensitized solar cells within a single active electron approach. Initially, three different donor-acceptor $\pi$-conjugated dyes supported on colloidal titania clusters are compared from the perspective of their optical and electronic properties. The potential performance of the model solar cell devices for charge migration processes is predicted from a static perspective. For this purpose, parameter-free expressions for state-resolved injection times and currents are established and evaluated for the three systems. A broadband laser excitation promoting the excited states in the visible region initiates the electron migration process. The evolution of the electronic wave packet is analyzed with a density-based toolset including the electronic yields partitioned for characteristic fragments of the model complexes and the time-dependent one-electron density for distinctive time steps in the dynamics. On the one hand, these reveal a microscopic picture for the mechanistic pathway of the charge migration and on the other hand, they validate the results from the time-independent analysis concerning the photovoltaic efficiency.


title: Interior of sums of planar sets and curves

abstract: Recently, considerable attention has been given to the study of the arithmetic sum of two planar sets. We focus on understanding the interior $\left(A+\Gamma\right)^{\circ}$, when $\Gamma$ is a piecewise $\mathcal{C}^2$ curve and $A\subset \mathbb{R}^2.$ To begin, we give an example of a very large (full-measure, dense, $G_\delta$) set $A$ such that $\left(A+S^1\right)^{\circ}=\emptyset$, where $S^1$ denotes the unit circle. This suggests that merely the size of $A$ does not guarantee that $(A+S^1)^{\circ }\ne\emptyset$. If, however, we assume that $A$ is a kind of generalized product of two reasonably large sets, then $\left(A+\Gamma\right)^{\circ}\ne\emptyset$ whenever $\Gamma$ has non-vanishing curvature. As a byproduct of our method, we prove that the pinned distance set of $C:=C_{\gamma}\times C_{\gamma}$, $\gamma \geq \frac{1}{3}$, pinned at any point of $C$ has non-empty interior, where $C_{\gamma}$ (see (1.1)) is the middle $1-2\gamma$ Cantor set (including the usual middle-third Cantor set, $C_{1/3}$). Our proof for the middle-third Cantor set requires a separate method. We also prove that $C+S^1$ has non-empty interior.


title: Minimal mass blow-up solutions for the $L^2$ critical NLS with inverse-square potential

abstract: We study minimal mass blow-up solutions of the focusing $L^2$ critical nonlinear Schr\"odinger equation with inverse-square potential, \[ i\partial_t u + \Delta u + \frac{c}{|x|^2}u+|u|^{\frac{4}{N}}u = 0, \] with $N\geqslant 3$ and $0<c<\frac{(N-2)^2}{4}$. We first prove a sharp global well-posedness result: all $H^1$ solutions with a mass (i.e. $L^2$ norm) strictly below that of the ground states are global. Note that, unlike the equation in free space, we do not know if the ground state is unique in the presence of the inverse-square potential. Nevertheless, all ground states have the same, minimal, mass. We then construct and classify finite time blow-up solutions at the minimal mass threshold. Up to the symmetries of the equation, every such solution is a pseudo-conformal transformation of a ground state solution.


title: Intrinsic Taylor formula for non-homogeneous Kolmogorov-type Lie groups

abstract: We prove an intrinsic Taylor-like formula for a class of Lie groups arising in the study of some sub-elliptic differential operators, namely the Kolmogorov operators. The estimate of the remainder is in terms of the intrinsic norm induced by such operators. These results extend the recent developments in a work by Pascucci and the present authors, where a full characterization of the intrinsic H\"older spaces and their Taylor polynomials were given under the additional assumption that the Lie group is homogeneous in the sense of Folland & Stein. Remarkably, the intrinsic Taylor polynomial admits the same representation as in the homogeneous case.


title: Model enumeration in propositional circumscription via unsatisfiable core analysis

abstract: Many practical problems are characterized by a preference relation over admissible solutions, where preferred solutions are minimal in some sense. For example, a preferred diagnosis usually comprises a minimal set of reasons that is sufficient to cause the observed anomaly. Alternatively, a minimal correction subset comprises a minimal set of reasons whose deletion is sufficient to eliminate the observed anomaly. Circumscription formalizes such preference relations by associating propositional theories with minimal models. The resulting enumeration problem is addressed here by means of a new algorithm taking advantage of unsatisfiable core analysis. Empirical evidence of the efficiency of the algorithm is given by comparing the performance of the resulting solver, CIRCUMSCRIPTINO, with HCLASP, CAMUS MCS, LBX and MCSLS on the enumeration of minimal models for problems originating from practical applications. This paper is under consideration for acceptance in TPLP.


title: Quasilinear SPDEs in divergence-form

abstract: We develop a solution theory in H\"older spaces for a quasilinear stochastic PDE driven by an additive noise. The key ingredients are two deterministic PDE Lemmas which establish a priori H\"older bounds for an equation with irregular right hand side written in divergence form. We apply these deterministic bounds to the case of a noise term which is white in time and trace class in space to obtain stretched exponential bounds for the H\"older semi-norms of the solution for the stochastic equation.


title: Determining sentiment in citation text and analyzing its impact on the proposed ranking index

abstract: Whenever human beings interact with each other, they exchange or express opinions, emotions, and sentiments. These opinions can be expressed in text, speech or images. Analysis of these sentiments is one of the popular research areas of present day researchers. Sentiment analysis, also known as opinion mining tries to identify or classify these sentiments or opinions into two broad categories - positive and negative. In recent years, the scientific community has taken a lot of interest in analyzing sentiment in textual data available in various social media platforms. Much work has been done on social media conversations, blog posts, newspaper articles and various narrative texts. However, when it comes to identifying emotions from scientific papers, researchers have faced some difficulties due to the implicit and hidden nature of opinion. By default, citation instances are considered inherently positive in emotion. Popular ranking and indexing paradigms often neglect the opinion present while citing. In this paper, we have tried to achieve three objectives. First, we try to identify the major sentiment in the citation text and assign a score to the instance. We have used a statistical classifier for this purpose. Secondly, we have proposed a new index (we shall refer to it hereafter as M-index) which takes into account both the quantitative and qualitative factors while scoring a paper. Thirdly, we developed a ranking of research papers based on the M-index. We also try to explain how the M-index impacts the ranking of scientific papers.


title: On a recursive construction of Dirichlet form on the Sierpi\'nski gasket

abstract: Let $\Gamma_n$ denote the $n$-th level Sierpi\'nski graph of the Sierpi\'nski gasket $K$. We consider, for any given conductance $(a_0, b_0, c_0)$ on $\Gamma_0$, the Dirchlet form ${\mathcal E}$ on $K$ obtained from a recursive construction of compatible sequence of conductances $(a_n, b_n, c_n)$ on $\Gamma_n, n\geq 0$. We prove that there is a dichotomy situation: either $a_0= b_0 =c_0$ and ${\mathcal E}$ is the standard Dirichlet form, or $a_0 >b_0 =c_0$ (or the two symmetric alternatives), and ${\mathcal E}$ is a non-self-similar Dirichlet form independent of $a_0, b_0$. The second situation has also been studied in [Hattori et al 1994][Hambley et al 2002] as a one-dimensional asymptotic diffusion process on the Sierpi\'nski gasket. For the spectral property, we give a sharp estimate of the eigenvalue distribution of the associated Laplacian, which improves a similar result in [Hambley et al 2002].


title: Using Artificial Neural Networks to Constrain the Halo Baryon Fraction during Reionization

abstract: Radiative feedback from stars and galaxies has been proposed as a potential solution to many of the tensions with simplistic galaxy formation models based on $\Lambda$CDM, such as the faint end of the UV luminosity function. The total energy budget of radiation could exceed that of galactic winds and supernovae combined, which has driven the development of sophisticated algorithms that evolve both the radiation field and the hydrodynamical response of gas simultaneously, in a cosmological context. We probe self-feedback on galactic scales using the adaptive mesh refinement, radiative transfer, hydrodynamics, and $N$-body code. Unlike previous studies which assume a homogeneous UV background, we self-consistently evolve both the radiation field and gas to constrain the halo baryon fraction during cosmic reionization. We demonstrate that the characteristic halo mass with mean baryon fraction half the cosmic mean, $M_{\mathrm{c}}(z)$, shows very little variation as a function of mass-weighted ionization fraction. Furthermore, we find that the inclusion of metal cooling and the ability to resolve scales small enough for self-shielding to become efficient leads to a significant drop in $M_{\mathrm{c}}$ when compared to recent studies. Finally, we develop an Artificial Neural Network that is capable of predicting the baryon fraction of haloes based on recent tidal interactions, gas temperature, and mass-weighted ionization fraction. Such a model can be applied to any reionization history, and trivially incorporated into semi-analytical models of galaxy formation.


title: SHADHO: Massively Scalable Hardware-Aware Distributed Hyperparameter Optimization

abstract: Computer vision is experiencing an AI renaissance, in which machine learning models are expediting important breakthroughs in academic research and commercial applications. Effectively training these models, however, is not trivial due in part to hyperparameters: user-configured values that control a model's ability to learn from data. Existing hyperparameter optimization methods are highly parallel but make no effort to balance the search across heterogeneous hardware or to prioritize searching high-impact spaces. In this paper, we introduce a framework for massively Scalable Hardware-Aware Distributed Hyperparameter Optimization (SHADHO). Our framework calculates the relative complexity of each search space and monitors performance on the learning task over all trials. These metrics are then used as heuristics to assign hyperparameters to distributed workers based on their hardware. We first demonstrate that our framework achieves double the throughput of a standard distributed hyperparameter optimization framework by optimizing SVM for MNIST using 150 distributed workers. We then conduct model search with SHADHO over the course of one week using 74 GPUs across two compute clusters to optimize U-Net for a cell segmentation task, discovering 515 models that achieve a lower validation loss than standard U-Net.


title: Theory of the superposition principle for randomized connectionist representations in neural networks

abstract: To understand cognitive reasoning in the brain, it has been proposed that symbols and compositions of symbols are represented by activity patterns (vectors) in a large population of neurons. Formal models implementing this idea [Plate 2003], [Kanerva 2009], [Gayler 2003], [Eliasmith 2012] include a reversible superposition operation for representing with a single vector an entire set of symbols or an ordered sequence of symbols. If the representation space is high-dimensional, large sets of symbols can be superposed and individually retrieved. However, crosstalk noise limits the accuracy of retrieval and information capacity. To understand information processing in the brain and to design artificial neural systems for cognitive reasoning, a theory of this superposition operation is essential. Here, such a theory is presented. The superposition operations in different existing models are mapped to linear neural networks with unitary recurrent matrices, in which retrieval accuracy can be analyzed by a single equation. We show that networks representing information in superposition can achieve a channel capacity of about half a bit per neuron, a significant fraction of the total available entropy. Going beyond existing models, superposition operations with recency effects are proposed that avoid catastrophic forgetting when representing the history of infinite data streams. These novel models correspond to recurrent networks with non-unitary matrices or with nonlinear neurons, and can be analyzed and optimized with an extension of our theory.


title: Sensor Analytics in Basketball

abstract: A new approach in team sports analysis consists in studying positioning and movements of players during the game in relation to team performance. State of the art tracking systems produce spatio-temporal traces of players that have facilitated a variety of research aimed to extract insights from trajectories. Several methods borrowed from machine learning, network and complex systems, geographic information system, computer vision and statistics have been proposed. After having reviewed the state of the art in those niches of literature aiming to extract useful information to analysts and experts in terms of relation between players' trajectories and team performance, this paper presents preliminary results from analysing trajectories data and sheds light on potential future research in this field of study. In particular, using convex hulls, we find interesting regularities in players' movement patterns.


title: Variational principles for t-entropy, the spectral potential of transfer operator, and entropy statistic theorem are equivalent

abstract: For any transfer operator we establish the equivalence of variational principles for $t$-entropy, the spectral potential and entropy statistic theorem and give new proofs for all these statements.


title: Existence results to a nonlinear p(k)-Laplacian difference equation

abstract: In the present paper, by using variational method, the existence of non-trivial solutions to an anisotropic discrete non-linear problem involving p(k)-Laplacian operator with Dirichlet boundary condition is investigated. The main technical tools applied here are the two local minimum theorems for differentiable functionals given by Bonanno.


title: Lower Bounds on Quantum Metrological Precision

abstract: In this thesis, first, we investigate the metrological usefulness of a family of states known as unpolarized Dicke states, which turn to be very sensitive to the magnetic field. Quantum mechanics plays a central role in achieving such a high precision. Second, we investigate possible lower bounds on the quantum Fisher information, a quantity that characterizes the usefulness of a state for quantum metrology, using the theory of Legendre transforms such that we obtain tight lower bounds based on few measurements of the initial quantum state that will be used for metrology. And last but not least, we investigate gradient magnetometry, i.e., we develop a theory to study the sensitivity of some states on the change in space of the magnetic field.


title: Vector SIMP dark matter

abstract: Strongly Interacting Massive Particles (SIMPs) have recently been proposed as light thermal dark matter relics. Here we consider an explicit realization of the SIMP mechanism in the form of vector SIMPs arising from an $SU(2)_X$ hidden gauge theory, where the accidental custodial symmetry protects the stability of the dark matter. We propose several ways of equilibrating the dark and visible sectors in this setup. In particular, we show that a light dark Higgs portal can maintain thermal equilibrium between the two sectors, as can a massive dark vector portal with its generalized Chern-Simons couplings to the vector SIMPs, all while remaining consistent with experimental constraints.


title: Understanding bond formation and its impact on the capacitive properties of SiW12 polyoxometalates adsorbed on functionalized Carbon Nanotubes

abstract: In the last decade, a large number of studies at the experimental level in electrochemical systems for energy storage devices have been performed. However, theoretical approaches are highly desirable to understand the physicochemical properties giving rise to energy storage phenomena. This work was intended to provide insights into the $in$ $silico$ design of novel nanocomposite materials formed by the Keggin polyoxometalate SiW12 anchored to an organic functional group $\varphi-X$ (with $X = -NH2, -OH, -COH$ and $-COOH$), linked to a carbon nanotube. In these systems, the Density of States around the Fermi level is enhanced, giving the composite material the capacity of facile electron transport that may be determinant at the charge/discharge cycling performed in energy storage devices. Charge transfer at the composite materials under study is greatest for the $\varphi-COOH$ functional group, yielding an attraction with the SiW12 cluster of the same order of magnitude as that of covalent nature. The rest of the functional groups induce a non-covalent interaction of the electrostatic type, mediated by a van der Waals attraction. Our proposed methodology may represent a tool to develop novel electrode materials that may improve the performance on energy storage devices, such as supercapacitors or Li$-$ion batteries.


title: Nonlinear Parabolic Equations arising in Mathematical Finance

abstract: This survey paper is focused on qualitative and numerical analyses of fully nonlinear partial differential equations of parabolic type arising in financial mathematics. The main purpose is to review various non-linear extensions of the classical Black-Scholes theory for pricing financial instruments, as well as models of stochastic dynamic portfolio optimization leading to the Hamilton-Jacobi-Bellman (HJB) equation. After suitable transformations, both problems can be represented by solutions to nonlinear parabolic equations. Qualitative analysis will be focused on issues concerning the existence and uniqueness of solutions. In the numerical part we discuss a stable finite-volume and finite difference schemes for solving fully nonlinear parabolic equations.


title: Loops in SL(2,C) and Factorization

abstract: In previous work we proved that for a SU(2,C) valued loop having the critical degree of smoothness (one half of a derivative in the L^2 Sobolev sense), the following are equivalent: (1) the Toeplitz and shifted Toeplitz operators associated to the loop are invertible, (2) the loop has a triangular factorization, and (3) the loop has a root subgroup factorization. For a loop g satisfying these conditions, the Toeplitz determinant det(A(g)A(g^{-1})) and shifted Toeplitz determinant det(A_1(g)A_1(g^{-1})) factor as products in root subgroup coordinates. In this paper we observe that, at least in broad outline, there is a relatively simple generalization to loops having values in SL(2,C). The main novel features are that (1) root subgroup coordinates are now rational functions, i.e. there is an exceptional set, and (2) the non-compactness of SL(2,C) entails that loops are no longer automatically bounded, and this (together with the exceptional set) complicates the analysis at the critical exponent.


title: Analytic Discs and Uniform Algebras on Real-Analytic Varieties

abstract: Under very general conditions it is shown that if $A$ is a uniform algebra generated by real-analytic functions, then either $A$ consists of all continuous functions or else there exists a disc on which every function in $A$ is holomorphic. This strengthens several earlier results concerning uniform algebras generated by real-analytic functions.


title: A 3-player protocol preventing persistence in strategic contention with limited feedback

abstract: In this paper, we study contention resolution protocols from a game-theoretic perspective. In a recent work, we considered acknowledgment-based protocols, where a user gets feedback from the channel only when she attempts transmission. In this case she will learn whether her transmission was successful or not. One of the main results of ESA2016 was that no acknowledgment-based protocol can be in equilibrium. In fact, it seems that many natural acknowledgment-based protocols fail to prevent users from unilaterally switching to persistent protocols that always transmit with probability 1. It is therefore natural to ask how powerful a protocol must be so that it can beat persistent deviators. In this paper we consider age-based protocols, which can be described by a sequence of probabilities of transmitting in each time step. Those probabilities are given beforehand and do not change based on the transmission history. We present a 3-player age-based protocol that can prevent users from unilaterally deviating to a persistent protocol in order to decrease their expected transmission time. It is worth noting that the answer to this question does not follow from the results and proof ideas of ESA2016. Our protocol is non-trivial, in the sense that, when all players use it, finite expected transmission time is guaranteed. In fact, we show that this protocol is preferable to any deadline protocol in which, after some fixed time, attempt transmission with probability 1 in every subsequent step. An advantage of our protocol is that it is very simple to describe, and users only need a counter to keep track of time. Whether there exist $n$-player age-based protocols that do not use counters and can prevent persistence is left as an open problem for future research.


title: On subwords in the base-$q$ expansion of polynomial and exponential functions

abstract: Let $w$ be any word over the alphabet $\{0,1,\ldots, q-1\}$, and denote by $h$ either a polynomial of degree $d\geq 1$ or $h: n\mapsto m^n$ for a fixed $m$. Furthermore, denote by $e_q(w;h(n))$ the number of occurrences of $w$ as a subword in the base-$q$ expansion of $h(n)$. We show that \[ \limsup_{n\to\infty} \frac{e_q(w;h(n))}{\log n}\geq \frac{\gamma(w)}{l\log q}, \] where $l$ is the length of $w$ and $\gamma(w)\geq 1$ is a constant depending on a property of circular shifts of $w$. This generalizes work by the second author as well as is related to a generalization of Lagarias of a problem of Erd\H{o}s.


title: Continuous-time quantum walk on spatially correlated noisy lattices

abstract: We address memory effects and diffusive properties of a continuous-time quantum walk on a one-dimensional percolation lattice affected by spatially correlated random telegraph noise. In particular, by introducing spatially correlated time-dependent fluctuations in nearest-neighbor hopping amplitudes, we describe random domains characterized by global noise. The resulting open dynamics of the walker is then unraveled by an ensemble average over all the noise realizations. Our results show that time-dependent noise assisted by spatial correlations leads to strong memory effects in the walker dynamics and to robust diffusive behavior against the detrimental action of uncorrelated noise. We also show that spatially correlated classical noise enhances localization breaking, thus making a quantum particle spread on longer distances across the lattice.


title: Predicting Glass-to-Glass and Liquid-to-Liquid Phase Transitions in Water using Classical Nucleation Temperature

abstract: Glass-to-glass and liquid-to-liquid phase transitions are observed in bulk and confined water, with or without applied pressure. They result from the competition of two liquid phases separated by an enthalpy difference depending on temperature. The classical nucleation equation of these phases is completed by this quantity existing at all temperatures, a pressure contribution, and an enthalpy excess. This equation leads to two homogeneous nucleation temperatures in each liquid phase, the first one being the formation temperature of an ordered liquid phase below the melting temperature and the second one corresponding to the overheating temperature. Thermodynamic properties, double glass transition temperatures, sharp enthalpy and volume changes are predicted in agreement with experimental results. The first-order transition line between fragile and strong liquids joins two critical points. Glass phase above its transition temperature becomes ordered liquid phase disappearing at a first-order transition temperature at low pressure and at a temperature larger than the melting temperature at high pressure.


title: The VIMOS Ultra Deep Survey: The role of HI kinematics and HI column density on the escape of Lyalpha photons in star-forming galaxies at 2<z<4

abstract: We selected a sample of 76 Lya emitting galaxies from the VIMOS Ultra Deep Survey (VUDS) at 2<z<4. We estimated the velocity of the neutral gas flowing out of the interstellar medium as the velocity offset, Deltav, between the systemic redshift (zsys) and the center of low-ionization absorption line systems (LIS). To increase the SN of VUDS spectra, we stacked subsamples. We measured the systemic redshift from the rest-frame UV spectroscopic data using the CIII]1908 nebular emission line, and we considered SiII1526 as the highest signal-to-noise LIS line. We calculated the Lya peak shift with respect to the zsys, the EW(Lya), and the Lya spatial extension, Ext(Lya-C), from the profiles in the 2D stacked spectra. The galaxies that are faint in the rest-frame UV continuum, strong in Lya and CIII], with compact UV morphology, and localized in an underdense environment are characterized by outflow velocities of the order of a few hundreds of km/sec. The subsamples with smaller Deltav are characterized by larger Lya peak shifts, larger Ext(Lya-C), and smaller EW(Lya). In general we find that EW(Lya) anti-correlates with Ext(Lya-C) and Lya peak shift. We interpret these trends using a radiative-transfer shell model. The model predicts that an HI gas with a column density larger than 10^20/cm^2 is able to produce Lya peak shifts larger than >300km/sec. An ISM with this value of NHI would favour a large amount of scattering events, especially when the medium is static, so it can explain large values of Ext(Lya-C) and small EW(Lya). On the contrary, an ISM with a lower NHI, but large velocity outflows would lead to a Lya spatial profile peaked at the galaxy center (i.e. low values of Ext(Lya-C)) and to a large EW(Lya), as we see in our data. Our results and their interpretation via radiative-transfer models tell us that it is possible to use Lya to study the properties of the HI gas.


title: Anomalous Nernst and Thermal Hall Effects in Tilted Weyl Semimetals

abstract: We study the anomalous Nernst and thermal Hall effects in a linearized low-energy model of a tilted Weyl semimetal, with two Weyl nodes separated in momentum space. For inversion symmetric tilt, we give analytic expressions in two opposite limits: for a small tilt, corresponding to a type-I Weyl semimetal, the Nernst conductivity is finite and independent of the Fermi level, while for a large tilt, corresponding to a type-II Weyl semimetal, it acquires a contribution depending logarithmically on the Fermi energy. This result is in a sharp contrast to the nontilted case, where the Nernst response is known to be zero in the linear model. The thermal Hall conductivity similarly acquires Fermi surface contributions, which add to the Fermi level independent, zero tilt result, and is suppressed as one over the tilt parameter at half filling in the Type-II phase. In the case of inversion breaking tilt, with the tilting vector of equal modulus in the two Weyl cones, all Fermi surface contributions to both anomalous responses cancel out, resulting in zero Nernst conductivity. We discuss two possible experimental setups, representing open and closed thermoelectric circuits.


title: Hensel's lemma for general continuous functions

abstract: In the present paper, we generalize the well-known Hensel's lifting lemma to any continuous function $f : \mathbb{Z}_p\rightarrow \mathbb{Z}_p$. This answers a question posed by Axelsson and Khrennikov (2016) who showed the validity of Hensel's lemma for $1$- and for $p^\alpha$-Lipschitz functions. For the statement and the proof, we introduce a suitable generalization of the original van der Put series. We use the concept of approximability of continuous functions to give numerical examples.


title: Spectral Modes of Network Dynamics Reveal Increased Informational Complexity Near Criticality

abstract: What does the informational complexity of dynamical networked systems tell us about intrinsic mechanisms and functions of these complex systems? Recent complexity measures such as integrated information have sought to operationalize this problem taking a whole-versus-parts perspective, wherein one explicitly computes the amount of information generated by a network as a whole over and above that generated by the sum of its parts during state transitions. While several numerical schemes for estimating network integrated information exist, it is instructive to pursue an analytic approach that computes integrated information as a function of network weights. Our formulation of integrated information uses a Kullback-Leibler divergence between the multi-variate distribution on the set of network states versus the corresponding factorized distribution over its parts. Implementing stochastic Gaussian dynamics, we perform computations for several prototypical network topologies. Our findings show increased informational complexity near criticality, which remains consistent across network topologies. Spectral decomposition of the system's dynamics reveals how informational complexity is governed by eigenmodes of both, the network's covariance and adjacency matrices. We find that as the dynamics of the system approach criticality, high integrated information is exclusively driven by the eigenmode corresponding to the leading eigenvalue of the covariance matrix, while sub-leading modes get suppressed. The implication of this result is that it might be favorable for complex dynamical networked systems such as the human brain or communication systems to operate near criticality so that efficient information integration might be achieved.


title: Characterizing the astrometric precision limit for moving targets observed with digital-array detectors

abstract: Aims. We investigate the maximum astrometric precision that can be reached on moving targets observed with digital-sensor arrays, and provide an estimate for its ultimate lower limit based on the Cram\'er-Rao bound. Methods. We extend previous work on one-dimensional Gaussian point-spread functions (PSFs) focusing on moving objects and extending the scope to two-dimensional array detectors. In this study the PSF of a stationary point-source celestial body is replaced by its convolution with a linear motion, thus effectively modeling the spread function of a moving target. Results. The expressions of the Cram\'er-Rao lower bound deduced by this method allow us to study in great detail the limit of astrometric precision that can be reached for moving celestial objects, and to compute an optimal exposure time according to different observational parameters such as seeing, detector pixel size, decentering, and elongation of the source caused by its drift. Comparison to simulated and real data shows that the predictions of our simple model are consistent with observations.


title: Calibrations for minimal networks in a covering space setting

abstract: In this paper we define a notion of calibration for an equivalent approach to the classical Steiner problem in a covering space setting and we give some explicit examples. Moreover we introduce the notion of calibration in families: the idea is to divide the set of competitors in a suitable way, defining an appropriate (and weaker) notion of calibration. Then, calibrating the candidate minimizers in each family and comparing their perimeter, it is possible to find the minimizers of the minimization problem. Thanks to this procedure we prove the minimality of the Steiner configurations spanning the vertices of a regular hexagon and of a regular pentagon.


title: Controlling the magnetism of oxygen surface vacancies in strontium titanate $\mathrm{(SrTiO_3\!)}$ through charging

abstract: We discuss, based on first principles calculations, the possibility to tune the magnetism of oxygen vacancies at the (001) surface of strontium titanate $(\mathrm{SrTiO_3}\!)$. The magnetic moment of single and clustered vacancies stemming from Ti-O broken bonds can be both quenched and stabilized controllably by chemical potential adjustment associated with doping the system with electrons or holes. We discuss to what extent this route to magnetization state control is robust against other external influences like chemical doping, mechanical action and electric field. Such control of vacancy state and magnetization can conceivably be achieved experimentally by using local probe tips.


title: The Complex Negotiation Dialogue Game

abstract: This position paper formalises an abstract model for complex negotiation dialogue. This model is to be used for the benchmark of optimisation algorithms ranging from Reinforcement Learning to Stochastic Games, through Transfer Learning, One-Shot Learning or others.


title: Determining the Dimension of the Improper Signal Subspace in Complex-Valued Data

abstract: A complex-valued signal is improper if it is correlated with its complex conjugate. The dimension of the improper signal subspace, i.e., the number of improper components in a complex-valued measurement, is an important parameter and is unknown in most applications. In this letter, we introduce two approaches to estimate this dimension, one based on an information- theoretic criterion and one based on hypothesis testing. We also present reduced-rank versions of these approaches that work for scenarios where the number of observations is comparable to or even smaller than the dimension of the data. Unlike other techniques for determining model orders, our techniques also work in the presence of additive colored noise.


title: The host galaxy of the short GRB111117A at $z = 2.211$: impact on the short GRB redshift distribution and progenitor channels

abstract: It is notoriously difficult to localize short $\gamma$-ray bursts (sGRBs) and their hosts to measure their redshifts. These measurements, however, are critical to constrain the nature of sGRB progenitors, their redshift distribution and the $r$-process element enrichment history of the universe. Here, we present spectroscopy of the host galaxy of GRB111117A and measure its redshift to be $z = 2.211$. This makes GRB111117A the most distant high-confidence short duration GRB detected to date. Our spectroscopic redshift supersedes a lower, previously estimated photometric redshift value for this burst. We use the spectroscopic redshift, as well as new imaging data to constrain the nature of the host galaxy and the physical parameters of the GRB. The rest-frame X-ray derived hydrogen column density, for example, is the highest compared to a complete sample of sGRBs and seems to follow the evolution with redshift as traced by the hosts of long GRBs (lGRBs). The host lies in the brighter end of the expected sGRB host brightness distribution at $z = 2.211$, and is actively forming stars. Using the host as a benchmark for redshift determination, we find that between 43 and 71 per cent of all sGRB redshifts should be missed due to host faintness for hosts at $z\sim2$. The high redshift of GRB111117A is evidence against a lognormal delay-time model for sGRBs through the predicted redshift distribution of sGRBs, which is very sensitive to high-$z$ sGRBs. From the age of the universe at the time of GRB explosion, an initial neutron star (NS) separation of $a_0 < 3.2~R_\odot$ is required in the case where the progenitor system is a circular pair of inspiralling NSs. This constraint excludes some of the longest sGRB formation channels for this burst.


title: Homogeneous Wavelets and Framelets with the Refinable Structure

abstract: Homogeneous wavelets and framelets have been extensively investigated in the classical theory of wavelets and they are often constructed from refinable functions via the multiresolution analysis. On the other hand, nonhomogeneous wavelets and framelets enjoy many desirable theoretical properties and are often intrinsically linked to the refinable structure and multiresolution analysis. In this paper we shall provide a comprehensive study on connecting homogeneous wavelets and framelets to nonhomogeneous ones with the refinable structure. This allows us to understand better the structure of homogeneous wavelets and framelets as well as their connections to the refinable structure and multiresolution analysis.


title: Variational discretization of a control-constrained parabolic bang-bang optimal control problem

abstract: We consider a control-constrained parabolic optimal control problem without Tikhonov term in the tracking functional. For the numerical treatment, we use variational discretization of its Tikhonov regularization: For the state and the adjoint equation, we apply Petrov-Galerkin schemes from [Daniels et al 2015] in time and usual conforming finite elements in space. We prove a-priori estimates for the error between the discretized regularized problem and the limit problem. Since these estimates are not robust if the regularization parameter tends to zero, we establish robust estimates, which --- depending on the problem's regularity --- enhance the previous ones. In the special case of bang-bang solutions, these estimates are further improved. A numerical example confirms our analytical findings.


title: Gauge Invariants, Correlators and Holography in Bosonic and Fermionic Tensor Models

abstract: Motivated by the close connection of tensor models to the SYK model, we use representation theory to construct the complete set of gauge invariant observables for bosonic and fermionic tensor models. Correlation functions of the gauge invariant operators in the free theory are computed exactly. The gauge invariant operators close a ring. The structure constants of the ring are described explicitly. Finally, we construct a collective field theory description of the bosonic tensor model.


title: On the Energetics of the HCO$^+$ + C $\to$ CH$^+$ + CO Reaction and Some Astrochemical Implications

abstract: We explore the energetics of the titular reaction, which current astrochemical databases consider open at typical dense molecular (i.e., dark) cloud conditions. As is common for reactions involving the transfer of light particles, we assume that there are no intersystem crossings of the potential energy surfaces involved. In the absence of any such crossings, we find that this reaction is endoergic and will be suppressed at dark cloud temperatures. Updating accordingly a generic astrochemical model for dark clouds changes the predicted gas-phase abundances of 224 species by greater than a factor of 2. Of these species, 43 have been observed in the interstellar medium. Our findings demonstrate the astrochemical importance of determining the role of intersystem crossings, if any, in the titular reaction.


title: You are in a drawdown. When should you start worrying?

abstract: Trading strategies that were profitable in the past often degrade with time. Since unlucky streaks can also hit "healthy" strategies, how can one detect that something truly worrying is happening? It is intuitive that a drawdown that lasts too long or one that is too deep should lead to a downward revision of the assumed Sharpe ratio of the strategy. In this note, we give a quantitative answer to this question based on the exact probability distributions for the length and depth of the last drawdown for upward drifting Brownian motions. We also point out that both managers and investors tend to underestimate the length and depth of drawdowns consistent with the Sharpe ratio of the underlying strategy.


title: The vortex method for 2D ideal flows in exterior domains

abstract: The vortex method is a common numerical and theoretical approach used to implement the motion of an ideal flow, in which the vorticity is approximated by a sum of point vortices, so that the Euler equations read as a system of ordinary differential equations. Such a method is well justified in the full plane, thanks to the explicit representation formulas of Biot and Savart. In an exterior domain, we also replace the impermeable boundary by a collection of point vortices generating the circulation around the obstacle. The density of these point vortices is chosen in order that the flow remains tangent at midpoints between adjacent vortices and that the total vorticity around the obstacle is conserved. In this work, we provide a rigorous justification of this method for any smooth exterior domain, one of the main mathematical difficulties being that the Biot--Savart kernel defines a singular integral operator when restricted to a curve (here, the boundary of the domain). We also introduce an alternative method---the fluid charge method---which, as we argue, is better conditioned and therefore leads to significant numerical improvements.


title: Understanding contact gating in Schottky barrier transistors from 2D channels

abstract: In this article, a novel two-path model is proposed to quantitatively explain sub-threshold characteristics of back-gated Schottky barrier FETs (SB-FETs) from 2D channel materials. The model integrates the 'conventional' model for SB-FETs with the phenomenon of contact gating - an effect that significantly affects the carrier injection from the source electrode in back-gated field effect transistors. The two-path model is validated by a careful comparison with experimental characteristics obtained from a large number of back-gated WSe2 devices with various channel thicknesses. Our findings are believed to be of critical importance for the quantitative analysis of many three-terminal devices with ultrathin body channels.


title: Decoupling of the leading contribution in the discrete BFKL Analysis of High-Precision HERA Data

abstract: We analyse, in NLO, the physical properties of the discrete eigenvalue solution for the BFKL equation. We show that a set of eigenfunctions with positive eigenvalues, \omega, together with a small contribution from a continuum of eigenfunctions with negative \omega, provide an excellent description of high-precision HERA F_2 data in the region, x<0.001, Q^2 > 6 GeV^2. The phases of the eigenfunctions can be obtained from a simple parametrisation of the pomeron spectrum, which has a natural motivation within BFKL. The data analysis shows that the first eigenfunction decouples completely or almost completely from the proton. This suggests that there exist an additional ground state, which is naturally saturated and may have the properties of the soft pomeron.


title: Labeled Memory Networks for Online Model Adaptation

abstract: Augmenting a neural network with memory that can grow without growing the number of trained parameters is a recent powerful concept with many exciting applications. We propose a design of memory augmented neural networks (MANNs) called Labeled Memory Networks (LMNs) suited for tasks requiring online adaptation in classification models. LMNs organize the memory with classes as the primary key.The memory acts as a second boosted stage following a regular neural network thereby allowing the memory and the primary network to play complementary roles. Unlike existing MANNs that write to memory for every instance and use LRU based memory replacement, LMNs write only for instances with non-zero loss and use label-based memory replacement. We demonstrate significant accuracy gains on various tasks including word-modelling and few-shot learning. In this paper, we establish their potential in online adapting a batch trained neural network to domain-relevant labeled data at deployment time. We show that LMNs are better than other MANNs designed for meta-learning. We also found them to be more accurate and faster than state-of-the-art methods of retuning model parameters for adapting to domain-specific labeled data.


title: Automorphisms of $\mathbb{P}^1$-bundles over rational surfaces

abstract: In this paper we provide the complete classification of $\mathbb{P}^1$-bundles over smooth projective rational surfaces whose neutral component of the automorphism group is maximal. Our results hold over any algebraically closed field of characteristic zero.


title: Interaction effects with varying $N$ in SU($N$) symmetric fermion lattice systems

abstract: The interaction effects in ultracold Fermi gases with SU($N$) symmetry are studied non-perturbatively in half-filled one-dimensional lattices by employing quantum Monte Carlo simulations.We find that as $N$ increases, weak and strong interacting systems are driven to a crossover region, but from opposite directions as a convergence of itinerancy and Mottness.In the weak interaction region, particles are nearly itinerant,and inter-particle collisions are enhanced by $N$, resulting in the amplification of interaction effects. In contrast, in the strong coupling region, increasing $N$ softens the Mott-insulating background through the enhanced virtual hopping processes.The crossover region exhibits nearly $N$-independent physical quantities, including the relative bandwidth, Fermi distribution, and the spin structure factor.The difference between even-$N$ and odd-$N$ systems is most prominent at small $N$'s with strong interactions, since the odd case allows local real hopping with an energy scale much larger than the virtual one.The above effects can be experimentally tested in ultracold atom experiments with alkaline-earth (-like) fermions such as $^{87}$Sr ($^{173}$Yb).


title: Singularities and Semistable Degenerations for Symplectic Topology

abstract: We overview our recent work defining and studying normal crossings varieties and subvarieties in symplectic topology. This work answers a question of Gromov on the feasibility of introducing singular (sub)varieties into symplectic topology in the case of normal crossings singularities. It also provides a necessary and sufficient condition for smoothing normal crossings symplectic varieties. In addition, we explain some connections with other areas of mathematics and discuss a few directions for further research.


title: Spectral asymptotics for $\delta$-interactions on sharp cones

abstract: We investigate the spectrum of three-dimensional Schr\"{o}dinger operators with $\delta$-interactions of constant strength supported on circular cones. As shown in earlier works, such operators have infinitely many eigenvalues below the threshold of the essential spectrum. We focus on spectral properties for sharp cones, that is when the cone aperture goes to zero, and we describe the asymptotic behavior of the eigenvalues and of the eigenvalue counting function. A part of the results are given in terms of numerical constants appearing as solutions of transcendental equations involving modified Bessel functions.


title: Functional Requirements-Based Automated Testing for Avionics

abstract: We propose and demonstrate a method for the reduction of testing effort in safety-critical software development using DO-178 guidance. We achieve this through the application of Bounded Model Checking (BMC) to formal low-level requirements, in order to generate tests automatically that are good enough to replace existing labor-intensive test writing procedures while maintaining independence from implementation artefacts. Given that existing manual processes are often empirical and subjective, we begin by formally defining a metric, which extends recognized best practice from code coverage analysis strategies to generate tests that adequately cover the requirements. We then formulate the automated test generation procedure and apply its prototype in case studies with industrial partners. In review, the method developed here is demonstrated to significantly reduce the human effort for the qualification of software products under DO-178 guidance.


title: Modeling Evolution of Crosstalk in Noisy Signal Transduction Networks

abstract: Signal transduction networks can form highly interconnected systems within cells due to network crosstalk, the sharing of input signals between multiple downstream responses. To better understand the evolutionary design principles underlying such networks, we study the evolution of crosstalk and the emergence of specificity for two parallel signaling pathways that arise via gene duplication and are subsequently allowed to diverge. We focus on a sequence based evolutionary algorithm and evolve the network based on two physically motivated fitness functions related to information transmission. Surprisingly, we find that the two fitness functions lead to very different evolutionary outcomes, one with a high degree of crosstalk and the other without.


title: One-Dimensional Nature of Pairing and Superconductivity at the LaAlO$_3$/SrTiO$_3$ Interface

abstract: We examine superconductivity in LaAlO$_3$/SrTiO$_3$ channels in which the channel width transitions from the 1D to 2D regime. The superconducting critical current is independent of the channel width and increases approximately linearly with the number of parallel channels. Signatures of electron pairing outside of the superconducting phase are also independent of channel width. Collectively, these results indicate that electron pairing and superconductivity exist at the boundary of these channels and are absent within the interior region of the channels. The intrinsic 1D nature of superconductivity at the LaAlO$_3$/SrTiO$_3$ interface imposes strong physical constraints on possible electron pairing mechanisms.


title: Synthesis of Data Completion Scripts using Finite Tree Automata

abstract: In application domains that store data in a tabular format, a common task is to fill the values of some cells using values stored in other cells. For instance, such data completion tasks arise in the context of missing value imputation in data science and derived data computation in spreadsheets and relational databases. Unfortunately, end-users and data scientists typically struggle with many data completion tasks that require non-trivial programming expertise. This paper presents a synthesis technique for automating data completion tasks using programming-by-example (PBE) and a very lightweight sketching approach. Given a formula sketch (e.g., AVG($?_1$, $?_2$)) and a few input-output examples for each hole, our technique synthesizes a program to automate the desired data completion task. Towards this goal, we propose a domain-specific language (DSL) that combines spatial and relational reasoning over tabular data and a novel synthesis algorithm that can generate DSL programs that are consistent with the input-output examples. The key technical novelty of our approach is a new version space learning algorithm that is based on finite tree automata (FTA). The use of FTAs in the learning algorithm leads to a more compact representation that allows more sharing between programs that are consistent with the examples. We have implemented the proposed approach in a tool called DACE and evaluate it on 84 benchmarks taken from online help forums. We also illustrate the advantages of our approach by comparing our technique against two existing synthesizers, namely PROSE and SKETCH.


title: On Directed Feedback Vertex Set parameterized by treewidth

abstract: We study the Directed Feedback Vertex Set problem parameterized by the treewidth of the input graph. We prove that unless the Exponential Time Hypothesis fails, the problem cannot be solved in time $2^{o(t\log t)}\cdot n^{\mathcal{O}(1)}$ on general directed graphs, where $t$ is the treewidth of the underlying undirected graph. This is matched by a dynamic programming algorithm with running time $2^{\mathcal{O}(t\log t)}\cdot n^{\mathcal{O}(1)}$. On the other hand, we show that if the input digraph is planar, then the running time can be improved to $2^{\mathcal{O}(t)}\cdot n^{\mathcal{O}(1)}$.


title: Suppression of long-wavelength CMB spectrum from the no-boundary initial condition

abstract: The lack of correlations at the long-wavelength scales of the cosmic microwave background spectrum is a long-standing puzzle and it persists in the latest Planck data. By considering the Hartle-Hawking no-boundary wave function as the initial condition of the inflationary universe, we propose that the power suppression can be the consequence of a massive inflaton, whose initial vacuum is the Euclidean instanton in a compact manifold. We calculate the primordial power spectrum of the perturbations, and find that as long as the scalar field is moderately massive, the power spectrum is suppressed at the long-wavelength scales.


title: Empiric stochastic stability of physical and pseudo-physical measures

abstract: We define the empiric stochastic stability of an invariant measure in the finite-time scenario, the classical definition of stochastic stability. We prove that an invariant measure of a continuous system is empirically stochastically stable if and only if it is physical. We also define the empiric stochastic stability of a weak*-compact set of invariant measures instead of a single measure. Even when the system has not physical measures it still has minimal empirically stochastically stable sets of measures. We prove that such sets are necessarily composed by pseudo-physical measures. Finally, we apply the results to the one-dimensional C1-expanding case to conclude that the measures of empirically stochastically sets satisfy Pesin Entropy Formula.


title: Machine-Learning Tests for Effects on Multiple Outcomes

abstract: In this paper we present tools for applied researchers that re-purpose off-the-shelf methods from the computer-science field of machine learning to create a "discovery engine" for data from randomized controlled trials (RCTs). The applied problem we seek to solve is that economists invest vast resources into carrying out RCTs, including the collection of a rich set of candidate outcome measures. But given concerns about inference in the presence of multiple testing, economists usually wind up exploring just a small subset of the hypotheses that the available data could be used to test. This prevents us from extracting as much information as possible from each RCT, which in turn impairs our ability to develop new theories or strengthen the design of policy interventions. Our proposed solution combines the basic intuition of reverse regression, where the dependent variable of interest now becomes treatment assignment itself, with methods from machine learning that use the data themselves to flexibly identify whether there is any function of the outcomes that predicts (or has signal about) treatment group status. This leads to correctly-sized tests with appropriate $p$-values, which also have the important virtue of being easy to implement in practice. One open challenge that remains with our work is how to meaningfully interpret the signal that these methods find.


title: Pairing Theory of the Wigner Cusp

abstract: Conclusions: (1) Calculations with an RPA correction added to the BCS pairing correction conventionally employed in Nilsson-Strutinskij calculations account well for the variation with A of the pattern of masses near N=Z. (2) The RPA correction is insignificant for reproducing the doubly even masses and hence for the shape of the Wigner cusp. (3) It is important, however, that the macroscopic (liquid drop) symmetry energy be proportional to T(T+1). (4) This form of the macroscopic symmetry energy is understood microscopically, in terms of the RPA, to result from the nuclear superfluidity. (5) The variation of the shape of the Wigner cusp is dominated by shell effects. (6) The RPA correction significally reduces the T=0 binding in doubly odd nuclei, thus reducing the required pair coupling constant.


title: Complex and Holographic Embeddings of Knowledge Graphs: A Comparison

abstract: Embeddings of knowledge graphs have received significant attention due to their excellent performance for tasks like link prediction and entity resolution. In this short paper, we are providing a comparison of two state-of-the-art knowledge graph embeddings for which their equivalence has recently been established, i.e., ComplEx and HolE [Nickel, Rosasco, and Poggio, 2016; Trouillon et al., 2016; Hayashi and Shimbo, 2017]. First, we briefly review both models and discuss how their scoring functions are equivalent. We then analyze the discrepancy of results reported in the original articles, and show experimentally that they are likely due to the use of different loss functions. In further experiments, we evaluate the ability of both models to embed symmetric and antisymmetric patterns. Finally, we discuss advantages and disadvantages of both models and under which conditions one would be preferable to the other.


title: Convolutional 2D Knowledge Graph Embeddings

abstract: Link prediction for knowledge graphs is the task of predicting missing relationships between entities. Previous work on link prediction has focused on shallow, fast models which can scale to large knowledge graphs. However, these models learn less expressive features than deep, multi-layer models -- which potentially limits performance. In this work, we introduce ConvE, a multi-layer convolutional network model for link prediction, and report state-of-the-art results for several established datasets. We also show that the model is highly parameter efficient, yielding the same performance as DistMult and R-GCN with 8x and 17x fewer parameters. Analysis of our model suggests that it is particularly effective at modelling nodes with high indegree -- which are common in highly-connected, complex knowledge graphs such as Freebase and YAGO3. In addition, it has been noted that the WN18 and FB15k datasets suffer from test set leakage, due to inverse relations from the training set being present in the test set -- however, the extent of this issue has so far not been quantified. We find this problem to be severe: a simple rule-based model can achieve state-of-the-art results on both WN18 and FB15k. To ensure that models are evaluated on datasets where simply exploiting inverse relations cannot yield competitive results, we investigate and validate several commonly used datasets -- deriving robust variants where necessary. We then perform experiments on these robust datasets for our own and several previously proposed models and find that ConvE achieves state-of-the-art Mean Reciprocal Rank across most datasets.


title: Like trainer, like bot? Inheritance of bias in algorithmic content moderation

abstract: The internet has become a central medium through which `networked publics' express their opinions and engage in debate. Offensive comments and personal attacks can inhibit participation in these spaces. Automated content moderation aims to overcome this problem using machine learning classifiers trained on large corpora of texts manually annotated for offence. While such systems could help encourage more civil debate, they must navigate inherently normatively contestable boundaries, and are subject to the idiosyncratic norms of the human raters who provide the training data. An important objective for platforms implementing such measures might be to ensure that they are not unduly biased towards or against particular norms of offence. This paper provides some exploratory methods by which the normative biases of algorithmic content moderation systems can be measured, by way of a case study using an existing dataset of comments labelled for offence. We train classifiers on comments labelled by different demographic subsets (men and women) to understand how differences in conceptions of offence between these groups might affect the performance of the resulting models on various test sets. We conclude by discussing some of the ethical choices facing the implementers of algorithmic moderation systems, given various desired levels of diversity of viewpoints amongst discussion participants.


title: Deep Potential: a general representation of a many-body potential energy surface

abstract: We present a simple, yet general, end-to-end deep neural network representation of the potential energy surface for atomic and molecular systems. This methodology, which we call Deep Potential, is "first-principle" based, in the sense that no ad hoc approximations or empirical fitting functions are required. The neural network structure naturally respects the underlying symmetries of the systems. When tested on a wide variety of examples, Deep Potential is able to reproduce the original model, whether empirical or quantum mechanics based, within chemical accuracy. The computational cost of this new model is not substantially larger than that of empirical force fields. In addition, the method has promising scalability properties. This brings us one step closer to being able to carry out molecular simulations with accuracy comparable to that of quantum mechanics models and computational cost comparable to that of empirical potentials.


title: Weakly periodic Gibbs measures of the Ising model on the Cayley tree of order five and six

abstract: For Ising model on the Cayley tree of order five and six we present new weakly periodic (non-periodic) Gibbs measures corresponding to normal subgroups of indices two in the group representation of the Cayley tree.


title: Gravitational Waves from Primordial Black Hole Mergers

abstract: We study the production of primordial black hole (PBH) binaries and the resulting merger rate, accounting for an extended PBH mass function and the possibility of a clustered spatial distribution. Under the hypothesis that the gravitational wave events observed by LIGO were caused by PBH mergers, we show that it is possible to satisfy all present constraints on the PBH abundance, and find the viable parameter range for the lognormal PBH mass function. The non-observation of gravitational wave background allows us to derive constraints on the fraction of dark matter in PBHs, which are stronger than any other current constraint in the PBH mass range $0.5-30M_\odot$. We show that the predicted gravitational wave background can be observed by the coming runs of LIGO, and non-observation would indicate that the observed events are not of primordial origin. As the PBH mergers convert matter into radiation, they may have interesting cosmological implications, for example, in the context of relieving the tension between the high and low redshift measurements of the Hubble constant. However, we find that these effects are negligible as, after recombination, no more that $1\%$ of DM can be converted into gravitational waves.


title: Quantum Koszul formula on quantum spacetime

abstract: Noncommutative or quantum Riemannian geometry has been proposed as an effective theory for aspects of quantum gravity. Here the metric is an invertible bimodule map $\Omega^1\otimes_A\Omega^1\to A$ where $A$ is a possibly noncommutative or `quantum' spacetime coordinate algebra and $(\Omega^1,d)$ is a specified bimodule of 1-forms or `differential calculus' over it. In this paper we explore the proposal of a `quantum Koszul formula' with initial data a degree -2 bilinear map $\perp$ on the full exterior algebra $\Omega$ obeying the 4-term relations \[ (-1)^{|\eta|} (\omega\eta)\perp\zeta+(\omega\perp\eta)\zeta=\omega\perp(\eta\zeta)+(-1)^{|\omega|+|\eta|}\omega(\eta\perp\zeta),\quad\forall\omega,\eta,\zeta\in\Omega\] and a compatible degree -1 `codifferential' map $\delta$. These provide a quantum metric and interior product and a canonical bimodule connection $\nabla$ on all degrees. The theory is also more general than classically in that we do not assume symmetry of the metric nor that $\delta$ is obtained from the metric. We solve and interpret the $(\delta,\perp)$ data on the bicrossproduct model quantum spacetime $[r,t]=\lambda r$ for its two standard choices of $\Omega$. For the $\alpha$-family calculus the construction includes the quantum Levi-Civita connection for a general quantum symmetric metric, while for the more standard $\beta=1$ calculus we find the quantum Levi-Civita connection for a quantum `metric' that in the classical limit is antisymmetric.


title: Oka Principle on the Maximal Ideal Space of ${\mathbf H^\infty}$

abstract: The classical Grauert and Ramspott theorems constitute the foundation of the Oka principle on Stein spaces. In this paper we establish analogous results on the maximal ideal space $M(H^\infty)$ of the Banach algebra $H^\infty$ of bounded holomorphic functions on the open unit disk $\mathbb D\subset\mathbb C$. We illustrate our results by some examples and applications to the theory of operator-valued $H^\infty$ functions.


title: Warped Product Space-times

abstract: Many classical results in relativity theory concerning spherically symmetric space-times have easy generalizations to warped product space-times, with a two-dimensional Lorentzian base and arbitrary dimensional Riemannian fibers. We first give a systematic presentation of the main geometric constructions, with emphasis on the Kodama vector field and the Hawking energy; the construction is signature independent. This leads to proofs of general Birkhoff-type theorems for warped product manifolds; our theorems in particular apply to situations where the warped product manifold is not necessarily Einstein, and thus can be applied to solutions with matter content in general relativity. Next we specialize to the Lorentzian case and study the propagation of null expansions under the assumption of the dominant energy condition. We prove several non-existence results relating to the Yamabe class of the fibers, in the spirit of the black-hole topology theorem of Hawking-Galloway-Schoen. Finally we discuss the effect of the warped product ansatz on matter models. In particular we construct several cosmological solutions to the Einstein-Euler equations whose spatial geometry is generally not isotropic.


title: Cerebellar-Inspired Learning Rule for Gain Adaptation of Feedback Controllers

abstract: How does our nervous system successfully acquire feedback control strategies in spite of a wide spectrum of response dynamics from different musculo-skeletal systems? The cerebellum is a crucial brain structure in enabling precise motor control in animals. Recent advances suggest that synaptic plasticity of cerebellar Purkinje cells involves molecular mechanisms that mimic the dynamics of the efferent motor system that they control allowing them to match the timing of their learning rule to behavior. Counter-Factual Predictive Control (CFPC) is a cerebellum-based feed-forward control scheme that exploits that principle for acquiring anticipatory actions. CFPC extends the classical Widrow-Hoff/Least Mean Squares by inserting a forward model of the downstream closed-loop system in its learning rule. Here we apply that same insight to the problem of learning the gains of a feedback controller. To that end, we frame a Model-Reference Adaptive Control (MRAC) problem and derive an adaptive control scheme treating the gains of a feedback controller as if they were the weights of an adaptive linear unit. Our results demonstrate that rather than being exclusively confined to cerebellar learning, the approach of controlling plasticity with a forward model of the subsystem controlled, an approach that we term as Model-Enhanced Least Mean Squares (ME-LMS), can provide a solution to wide set of adaptive control problems.

categories: q-bio.NC cond-mat.dis-nn cs.SY nlin.AO physics.bio-ph


title: On free resolutions of Iwasawa modules

abstract: Let $\Lambda$ (isomorphic to $\mathbb{Z}_p[[T]]$) denote the usual Iwasawa algebra and $G$ denote the Galois group of a finite Galois extension $L/K$ of totally real fields. When the non-primitive Iwasawa module over the cyclotomic $\mathbb{Z}_p$-extension has a free resolution of length one over the group ring $\Lambda[G]$, we prove that the validity of the non-commutative Iwasawa main conjecture allows us to find a representative for the non-primitive $p$-adic $L$-function (which is an element of a $K_1$-group) in a maximal $\Lambda$-order. This integrality result involves a careful study of the Dieudonn\'e determinant. Using a cohomolgoical criterion of Greenberg, we also deduce the precise conditions under which the non-primitive Iwasawa module has a free resolution of length one. As one application of the last result, we consider an elliptic curve over $\mathbb{Q}$ with a cyclic isogeny of degree $p^2$. We relate the characteristic ideal in the ring $\Lambda$ of the Pontryagin dual of its non-primitive Selmer group to two characteristic ideals, viewed as elements of group rings over $\Lambda$, associated to two non-primitive classical Iwasawa~modules.


title: Ricci flow on cone surfaces and a three-dimensional expanding soliton

abstract: The main objective of this thesis is the study of the evolution under the Ricci flow of surfaces with singularities of cone type. A second objective, emerged from the techniques we use, is the study of families of Ricci flow solitons in dimension 2 and 3. The Ricci flow is an evolution equation for Riemannian manifolds, introduced by R. Hamilton in 1982. It is from the achievements made by G. Perelman with this technique in 2002 when the Ricci flow has been established in a discipline itself, generating a great interest in the community. This thesis contains four original results. First result is a complete classification of solitons in smooth and cone surfaces. This classification completes the preceding results found by Hamilton, Chow and Wu and others, and we obtain explicit descriptions of all solitons in dimension 2. Second result is a Geometrization of cone surfaces by Ricci flow. This result, which uses the aforementioned first result, extends the theory of Hamilton to the singular case. This is the most comprehensive result in the thesis, for which we use and develop analysis and PDE techniques, as well as comparison geometry techniques. Third result is the existence of a Ricci flow that removes cone singularities. This clearly exposes the non-uniqueness of solutions to the flow , in analogy to the Ricci flow with cusps of P. Topping. The fourth result is the construction of a new expanding gradient Ricci soliton in dimension 3. Just as we do with solitons on cone surfaces, we give an explicit construction using techniques of phase portraits. We also prove that this is the only soliton with its topology and its lower bound of the curvature, and besides this is a critical case amongst all expanding solitons in dimension 3 with curvature bounded below.


title: Single-sink Fractionally Subadditive Network Design

abstract: We study a generalization of the Steiner tree problem, where we are given a weighted network $G$ together with a collection of $k$ subsets of its vertices and a root $r$. We wish to construct a minimum cost network such that the network supports one unit of flow to the root from every node in a subset simultaneously. The network constructed does not need to support flows from all the subsets simultaneously. We settle an open question regarding the complexity of this problem for $k=2$, and give a $\frac{3}{2}$-approximation algorithm that improves over a (trivial) known 2-approximation. Furthermore, we prove some structural results that prevent many well-known techniques from doing better than the known $O(\log n)$-approximation. Despite these obstacles, we conjecture that this problem should have an $O(1)$-approximation. We also give an approximation result for a variant of the problem where the solution is required to be a path.


title: Measuring Reionization, Neutrino Mass, and Cosmic Inflation with BFORE

abstract: BFORE is a NASA high-altitude ultra-long-duration balloon mission proposed to measure the cosmic microwave background (CMB) across half the sky during a 28-day mid-latitude flight launched from Wanaka, New Zealand. With the unique access to large angular scales and high frequencies provided by the balloon platform, BFORE will significantly improve measurements of the optical depth to reionization tau, breaking parameter degeneracies needed for a measurement of neutrino mass with the CMB. The large angular scale data will enable BFORE to hunt for the large-scale gravitational wave B-mode signal, as well as the degree-scale signal, each at the r~0.01 level. The balloon platform allows BFORE to map Galactic dust foregrounds at frequencies where they dominate, in order to robustly separate them from CMB signals measured by BFORE, in addition to complementing data from ground-based telescopes. The combination of frequencies will also lead to velocity measurements for thousands of galaxy clusters, as well as probing how star-forming galaxies populate dark matter halos. The mission will be the first near-space use of TES multichroic detectors (150/217 GHz and 280/353 GHz bands) using highly-multiplexed mSQUID microwave readout, raising the technical readiness level of both technologies.


title: Creative Robot Dance with Variational Encoder

abstract: What we appreciate in dance is the ability of people to sponta- neously improvise new movements and choreographies, sur- rendering to the music rhythm, being inspired by the cur- rent perceptions and sensations and by previous experiences, deeply stored in their memory. Like other human abilities, this, of course, is challenging to reproduce in an artificial entity such as a robot. Recent generations of anthropomor- phic robots, the so-called humanoids, however, exhibit more and more sophisticated skills and raised the interest in robotic communities to design and experiment systems devoted to automatic dance generation. In this work, we highlight the importance to model a computational creativity behavior in dancing robots to avoid a mere execution of preprogrammed dances. In particular, we exploit a deep learning approach that allows a robot to generate in real time new dancing move- ments according to to the listened music.


title: Shortcuts to adiabaticity using flow fields

abstract: A $\textit{shortcut to adiabaticity}$ is a recipe for generating adiabatic evolution at an arbitrary pace. Shortcuts have been developed for quantum, classical and (most recently) stochastic dynamics. A shortcut might involve a $\textit{counterdiabatic}$ Hamiltonian that causes a system to follow the adiabatic evolution at all times, or it might utilize a $\textit{fast-forward}$ potential, which returns the system to the adiabatic path at the end of the process. We develop a general framework for constructing shortcuts to adiabaticity from $\textit{flow fields}$ that describe the desired adiabatic evolution. Our approach encompasses quantum, classical and stochastic dynamics, and provides surprisingly compact expressions for both counterdiabatic Hamiltonians and fast-forward potentials. We illustrate our method with numerical simulations of a model system, and we compare our shortcuts with previously obtained results. We also consider the semiclassical connections between our quantum and classical shortcuts. Our method, like the fast-forward approach developed by previous authors, is susceptible to singularities when applied to excited states of quantum systems; we propose a simple, intuitive criterion for determining whether these singularities will arise, for a given excited state.


title: Universal stabilization of a parametrically coupled qubit

abstract: We autonomously stabilize arbitrary states of a qubit through parametric modulation of the coupling between a fixed frequency qubit and resonator. The coupling modulation is achieved with a tunable coupler design, in which the qubit and the resonator are connected in parallel to a superconducting quantum interference device. This allows for quasi-static tuning of the qubit-cavity coupling strength from 12 MHz to more than 300 MHz. Additionally, the coupling can be dynamically modulated, allowing for single photon exchange in 6 ns. Qubit coherence times exceeding 20 $\mu$s are maintained over the majority of the range of tuning, limited primarily by the Purcell effect. The parametric stabilization technique realized using the tunable coupler involves engineering the qubit bath through a combination of photon non-conserving sideband interactions realized by flux modulation, and direct qubit Rabi driving. We demonstrate that the qubit can be stabilized to arbitrary states on the Bloch sphere with a worst-case fidelity exceeding 80 %.


title: An intrinsic Proper Generalized Decomposition for parametric symmetric elliptic problems

abstract: We introduce in this paper a technique for the reduced order approximation of parametric symmetric elliptic partial differential equations. For any given dimension, we prove the existence of an optimal subspace of at most that dimension which realizes the best approximation in mean of the error with respect to the parameter in the quadratic norm associated to the elliptic operator, between the exact solution and the Galerkin solution calculated on the subspace. This is analogous to the best approximation property of the Proper Orthogonal Decomposition (POD) subspaces, excepting that in our case the norm is parameter-depending, and then the POD optimal sub-spaces cannot be characterized by means of a spectral problem. We apply a deflation technique to build a series of approximating solutions on finite-dimensional optimal subspaces, directly in the on-line step. We prove that the partial sums converge to the continuous solutions, in mean quadratic elliptic norm.


title: A Benamou-Brenier formulation of martingale optimal transport

abstract: We introduce a Benamou-Brenier formulation for the continuous-time martingale optimal transport problem as a weak length relaxation of its discrete-time counterpart. By the correspondence between classical martingale problems and Fokker-Planck equations, we obtain an equivalent PDE formulation for which basic properties such as existence, duality and geodesic equations can be analytically studied, yielding corresponding results for the stochastic formulation. In the one dimensional case, sufficient conditions for finiteness of the cost are also given and a link between geodesics and porous medium equations is partially investigated.


title: Invariants for the Lagrangian Equivalence Problem

abstract: Let $M$ be a connected smooth manifold, let $\operatorname{Aut}(p)$ be the group automorphisms of the bundle $p\colon \mathbb{R}\times M\to \mathbb{R}$, and let $q\colon J^1(\mathbb{R},M)\times \mathbb{R\to }J^1(\mathbb{R},M)$ be the canonical projection. Invariant functions on $J^r(q)$ under the natural action of $\operatorname{Aut}(p)$ are discussed in relationship with the Lagrangian equivalence problem. The second-order invariants are determined geometrically as well as some other higher-order invariants for $\dim M\geq 2$.


title: Hindsight Experience Replay

abstract: Dealing with sparse rewards is one of the biggest challenges in Reinforcement Learning (RL). We present a novel technique called Hindsight Experience Replay which allows sample-efficient learning from rewards which are sparse and binary and therefore avoid the need for complicated reward engineering. It can be combined with an arbitrary off-policy RL algorithm and may be seen as a form of implicit curriculum. We demonstrate our approach on the task of manipulating objects with a robotic arm. In particular, we run experiments on three different tasks: pushing, sliding, and pick-and-place, in each case using only binary rewards indicating whether or not the task is completed. Our ablation studies show that Hindsight Experience Replay is a crucial ingredient which makes training possible in these challenging environments. We show that our policies trained on a physics simulation can be deployed on a physical robot and successfully complete the task.


title: Group Strategyproof Pareto-Stable Marriage with Indifferences via the Generalized Assignment Game

abstract: We study the variant of the stable marriage problem in which the preferences of the agents are allowed to include indifferences. We present a mechanism for producing Pareto-stable matchings in stable marriage markets with indifferences that is group strategyproof for one side of the market. Our key technique involves modeling the stable marriage market as a generalized assignment game. We also show that our mechanism can be implemented efficiently. These results can be extended to the college admissions problem with indifferences.


title: Non-equilibrium evaporation/condensation model

abstract: A new mathematical model for non-equilibrium evaporation/condensation including boiling effect is proposed. A simplified differential-algebraic system of equations is obtained. A code to solve numerically this differential-algebraic system has been developed. It is designed to solve both systems of equations with and without the boiling effect. Numerical calculations of ammonia-water systems with various initial conditions, which correspond to evaporation and/or condensation of both components, have been performed. It is shown that, although the system evolves quickly towards a quasi equilibrium state, it is necessary to use a non-equilibrium evaporation model to calculate accurately the evaporation/condensation rates, and consequently all the other dependent variables.


title: Surfing Liquid Metal Droplet on the Same Metal Bath via Electrolyte Interface

abstract: We reported a phenomenon that when exerting an electric field gradient across a liquid metal/electrolyte interface, a droplet of the same liquid metal can persistently surf on the interface without coalescence. A thin layer of the intermediate solution, which separates the droplet from direct metallic contacting and provides the levitating force, is responsible for such surfing effect. The electric resistance of this solution film is measured and the film thickness is further theoretically calculated. The fact that the levitating state can be switched on and off via a controlled manner paves a way for reliable manipulation of liquid metal droplet.


title: Physical properties of dusty protoplanetary disks in Lupus: evidence for viscous evolution?

abstract: The formation of planets strongly depends on the total amount as well as on the spatial distribution of solids in protoplanetary disks. Thanks to the improvements in resolution and sensitivity provided by ALMA, measurements of the surface density of mm-sized grains are now possible on large samples of disks. Such measurements provide statistical constraints that can be used to inform our understanding of the initial conditions of planet formation. We analyze spatially resolved observations of 36 protoplanetary disks in the Lupus star forming complex from our ALMA survey at 890 micron, aiming to determine physical properties such as the dust surface density, the disk mass and size and to provide a constraint on the temperature profile. We fit the observations directly in the uv-plane using a two-layer disk model that computes the 890 micron emission by solving the energy balance at each disk radius. For 22 out of 36 protoplanetary disks we derive robust estimates of their physical properties. The sample covers stellar masses between ~0.1 and ~2 Solar masses, and we find no trend between the average disk temperatures and the stellar parameters. We find, instead, a correlation between the integrated sub-mm flux (a proxy for the disk mass) and the exponential cut-off radii (a proxy of the disk size) of the Lupus disks. Comparing these results with observations at similar angular resolution of Taurus-Auriga/Ophiuchus disks found in literature and scaling them to the same distance, we observe that the Lupus disks are generally fainter and larger at a high level of statistical significance. Considering the 1-2 Myr age difference between these regions, it is possible to tentatively explain the offset in the disk mass/disk size relation with viscous spreading, however with the current measurements other mechanisms cannot be ruled out.