title: Probing the end of reionization with the near-zones of z > 6 QSOs

abstract: QSO near-zones are an important probe of the the ionization state of the IGM at z ~ 6-7, at the end of reionization. We present here high-resolution cosmological 3D radiative transfer simulations of QSO environments for a wide range of host halo masses, 10$^{10-12.5}$ M_sun. Our simulated near-zones reproduce both the overall decrease of observed near-zone sizes at 6 < z < 7 and their scatter. The observable near-zone properties in our simulations depend only very weakly on the mass of the host halo. The size of the H II region expanding into the IGM is generally limited by (super-)Lyman Limit systems loosely associated with (low-mass) dark matter haloes. This leads to a strong dependence of near-zone size on direction and drives the large observed scatter. In the simulation centred on our most massive host halo, many sightlines show strong red damping wings even for initial volume averaged neutral hydrogen fractions as low as ~ 10$^{-3}$. For QSO lifetimes long enough to allow growth of the central supermassive black hole while optically bright, we can reproduce the observed near-zone of ULAS J1120+0641 only with an IGM that is initially neutral. Our results suggest that larger samples of z > 7 QSOs will provide important constraints on the evolution of the neutral hydrogen fraction and thus on how late reionization ends.


title: Characterization of $1$-almost greedy bases

abstract: This article closes the cycle of characterizations of greedy-like bases in the isometric case initiated in [F. Albiac and P. Wojtaszczyk, Characterization of $1$-greedy bases, J. Approx. Theory 138 (2006)] with the characterization of $1$-greedy bases and continued in [F. Albiac and J. L. Ansorena, Characterization of $1$-quasi-greedy bases, arXiv:1504.04368v1 [math.FA] (2015)] with the characterization of $1$-quasi-greedy bases. Here we settle the problem of providing a characterization of $1$-almost greedy bases in Banach spaces. We show that a (semi-normalized) basis in a Banach space is almost greedy with almost greedy constant equal to $1$ if and only if it has Property (A). This fact permits now to state that a basis is $1$-greedy if and only if it is $1$-almost greedy and $1$-quasi-greedy. As a by-product of our work we also provide a tight characterization of almost greedy bases.


title: A General Architecture for Heterogeneous Language Engineering and Projectional Editor Support

abstract: Tool support for language engineering has typically prioritises concrete syntax over abstract syntax by providing meta-languages for expressing concrete syntax and then mapping concrete to abstract structures. Text-based languages are usually specified using a BNF-like language used to generate a syntax-aware editor that includes features such as keyword completion. Similarly, graphical languages are defined using a declarative graphical syntax language, producing an editor that supports features such as shapes, graphs and edges. Projectional editors invert traditional approaches by prioritising abstract over concrete syntax. This paper describes a projectional meta-tool architecture, including general purpose abstract and concrete meta-languages, that uses declarative rules to integrate the syntax and tool support for a range of heterogeneous languages. The architecture has been implemented in Racket and the paper illustrates the architecture with concrete examples.


title: Weakly asymptotically hyperbolic manifolds

abstract: We introduce a class of "weakly asymptotically hyperbolic" geometries whose sectional curvatures tend to $-1$ and are $C^0$, but are not necessarily $C^1$, conformally compact. We subsequently investigate the rate at which curvature invariants decay at infinity, identifying a conformally invariant tensor which serves as an obstruction to "higher order decay" of the Riemann curvature operator. Finally, we establish Fredholm results for geometric elliptic operators, extending the work of Rafe Mazzeo and John M. Lee to this setting. As an application, we show that any weakly asymptotically hyperbolic metric is conformally related to a weakly asymptotically hyperbolic metric of constant negative curvature.


title: DNA cyclization and looping in the wormlike limit: normal modes and the validity of the harmonic approximation

abstract: For much of the last three decades Monte Carlo-simulation methods have been the standard approach for accurately calculating the cyclization probability, $J$, or J factor, for DNA models having sequence-dependent bends or inhomogeneous bending flexibility. Within the last ten years, however, approaches based on harmonic analysis of semi-flexible polymer models have been introduced, which offer much greater computational efficiency than Monte Carlo techniques. These methods consider the ensemble of molecular conformations in terms of harmonic fluctuations about a well-defined elastic-energy minimum. However, the harmonic approximation is only applicable for small systems, because the accessible conformation space of larger systems is increasingly dominated by anharmonic contributions. In the case of computed values of the J factor, deviations of the harmonic approximation from the exact value of $J$ as a function of DNA length have not been characterized. Using a recent, numerically exact method that accounts for both anharmonic and harmonic contributions to $J$ for wormlike chains of arbitrary size, we report here the apparent error that results from neglecting anharmonic behavior. For wormlike chains having contour lengths less than four times the persistence length the error in $J$ arising from the harmonic approximation is generally small, amounting to free energies less than the thermal energy, $k_B T$. For larger systems, however, the deviations between harmonic and exact $J$ values increase approximately linearly with size.


title: Virtual Networks and Poverty Analysis in Senegal

abstract: Do today's communication technologies hold potential to alleviate poverty? The mobile phone's accessibility and use allows us with an unprecedented volume of data on social interactions, mobility and more. Can this data help us better understand, characterize and alleviate poverty in one of the poorest nations in the world. Our study is an attempt in this direction. We discuss two concepts, which are both interconnected and immensely useful for securing the important link between mobile accessibility and poverty. First, we use the cellular-communications data to construct virtual connectivity maps for Senegal, which are then correlated with the poverty indicators to learn a model. Our model predicts poverty index at any spatial resolution. Thus, we generate Poverty Maps for Senegal at an unprecedented finer resolution. Such maps are essential for understanding what characterizes poverty in a certain region, and how it differentiates from other regions, for targeted responses for the demographic of the population that is most needy. An interesting fact, that is empirically proved by our methodology, is that a large portion of all communication, and economic activity in Senegal is concentrated in Dakar, leaving many other regions marginalized. Second, we study how user behavioral statistics, gathered from cellular-communications, correlate with the poverty indicators. Can this relationship be learnt as a model to generate poverty maps at a finer resolution? Surprisingly, this relationship can give us an alternate poverty map, that is solely based on the user behavior. Since poverty is a complex phenomenon, poverty maps showcasing multiple perspectives, such as ours, provide policymakers with better insights for effective responses for poverty eradication.


title: One-Component Regular Variation and Graphical Modeling of Extremes

abstract: The problem of inferring the distribution of a random vector given that its norm is large requires modeling a homogeneous limiting density. We suggest an approach based on graphical models which is suitable for high-dimensional vectors. We introduce the notion of one-component regular variation to describe a function that is regularly varying in its first component. We extend the representation and Karamata's theorem to one-component regularly varying functions, probability distributions and densities, and explain why these results are fundamental in multivariate extreme-value theory. We then generalize Hammersley-Clifford theorem to relate asymptotic conditional independence to a factorization of the limiting density, and use it to model multivariate tails.


title: Dynamical coupled-channels model for neutrino-induced meson productions in resonance region

abstract: A dynamical coupled-channels (DCC) model for neutrino-nucleon reactions in the resonance region is developed. Starting from the DCC model that we have previously developed through an analysis of $\pi N, \gamma N\to \pi N, \eta N, K\Lambda, K\Sigma$ reaction data for $W\le 2.1$ GeV, we extend the model of the vector current to $Q^2\le$ 3.0 (GeV/$c$)$^2$ by analyzing electron-induced reaction data for both proton and neutron targets. We derive axial-current matrix elements that are related to the $\pi N$ interactions of the DCC model through the Partially Conserved Axial Current (PCAC) relation. Consequently, the interference pattern between resonant and non-resonant amplitudes is uniquely determined. We calculate cross sections for neutrino-induced meson productions, and compare them with available data. Our result for the single-pion production reasonably agrees with the data. We also make a comparison with the double-pion production data. Our model is the first DCC model that can give the double-pion production cross sections in the resonance region. We also make comparison of our result with other existing models to reveal an importance of testing the models in the light of PCAC and electron reaction data. The DCC model developed here will be a useful input for constructing a neutrino-nucleus reaction model and a neutrino event generator for analyses of neutrino experiments.


title: Supertropical Quadratic Forms II

abstract: This article is a sequel of [4], where we introduced quadratic forms on a module~ $V$ over a supertropical semiring $R$ and analysed the set of bilinear companions of a quadratic form $q: V \to R$ in case that the module $V$ is free, with fairly complete results if $R$ is a supersemifield. Given such a companion $b$ we now classify the pairs of vectors in $V$ in terms of $(q,b).$ This amounts to a kind of tropical trigonometry with a sharp distinction between the cases that a sort of Cauchy-Schwarz inequality holds or fails. We apply this to study the supertropicalizations (cf. [4]) of a quadratic form on a free module $X$ over a field in the simplest cases of interest where $rk(X) = 2$. In the last part of the paper we start exploiting the fact that the free module $V$ as above has a unique base up to permutations and multiplication by units of $R$, and moreover~$V$ carries a so called minimal (partial) ordering. Under mild restriction on~$R$ we determine all $q$-minimal vectors in $V$, i.e., the vectors $x \in V$ for which $q(x') < q(x)$ whenever $x' < x.$


title: Self-optimizing load balancing with backhaul-constrained radio access networks

abstract: Self-Organizing Network (SON) technology aims at autonomously deploying, optimizing and repairing the Radio Access Networks (RAN). SON algorithms typically use Key Performance Indicators (KPIs) from the RAN. It is shown that in certain cases, it is essential to take into account the impact of the backhaul state in the design of the SON algorithm. We revisit the Base Station (BS) load definition taking into account the backhaul state. We provide an analytical formula for the load along with a simple estimator for both elastic and guaranteed bit-rate (GBR) traffic. We incorporate the proposed load estimator in a self-optimized load balancing algorithm. Simulation results for a backhaul constrained heterogeneous network illustrate how the correct load definition can guarantee a proper operation of the SON algorithm.


title: The Spin $L$-function on $\mathrm{GSp}_6$ for Siegel modular forms

abstract: We give a Rankin-Selberg integral representation for the Spin (degree eight) $L$-function on $\mathrm{PGSp}_6$. The integral applies to the cuspidal automorphic representations associated to Siegel modular forms. If $\pi$ corresponds to a level one Siegel modular form $f$ of even weight, and if $f$ has a non-vanishing maximal Fourier coefficient (defined below), then we deduce the functional equation and finiteness of poles of the completed Spin $L$-function $\Lambda(\pi,Spin,s)$ of $\pi$.


title: Strong Successive Refinability and Rate-Distortion-Complexity Tradeoff

abstract: We investigate the second order asymptotics (source dispersion) of the successive refinement problem. Similarly to the classical definition of a successively refinable source, we say that a source is strongly successively refinable if successive refinement coding can achieve the second order optimum rate (including the dispersion terms) at both decoders. We establish a sufficient condition for strong successive refinability. We show that any discrete source under Hamming distortion and the Gaussian source under quadratic distortion are strongly successively refinable. We also demonstrate how successive refinement ideas can be used in point-to-point lossy compression problems in order to reduce complexity. We give two examples, the binary-Hamming and Gaussian-quadratic cases, in which a layered code construction results in a low complexity scheme that attains optimal performance. For example, when the number of layers grows with the block length $n$, we show how to design an $O(n^{\log(n)})$ algorithm that asymptotically achieves the rate-distortion bound.


title: Baryon Number Fluctuations from a Crossover Equation of State Compared to Heavy-Ion Collision Measurements in the Beam Energy Range $\sqrt{s_{NN}}$ = 7.7 to 200 GeV

abstract: Fluctuations of the proton number distribution in central Au-Au collisions have been measured by the STAR collaboration in a beam energy scan at the Relativistic Heavy Ion Collider (RHIC). The motivation is a search for evidence of a critical point in the equation of state. It was found that the skewness and kurtosis display an interesting energy dependence. We compare these measurements to an equation of state which smoothly interpolates between an excluded volume hadron resonance gas at low energy density to a perturbative plasma of quarks and gluons at high energy density. This crossover equation of state agrees very well with the lattice QCD equation of state. The crossover equation of state can reproduce the data if the fluctuations are frozen at a temperature significantly lower than the average chemical freeze-out.


title: Bellman partial differential equation and the hill property for classical isoperimetric problems

abstract: The goal of this note is to have a systematic approach to generating isoperimetric inequalities from two concrete type of PDEs. We call these PDEs Bellman type because a totally analogous equations happen to rule many sharp estimates for singular integrals in harmonic analysis, and such estimates were obtained with the use of Hamilton--Jacobi--Bellman PDE. We show how classical inequalities of Brascamp--Lieb, Prekopa--Leindler, Ehrhard are particular case of this scheme, which allows us to augment the stock of such inequalities. We approach the isoperimetric inequalities as a maximum (minimum) principle for special types of functions. These functions are compositions of "Bellman function" and an appropriate flow built on test functions. Then the existence of maximum (minimum) principle for such compositions can be reduced to the requirement that Bellman function satisfies a concrete class of nonlinear PDE (written down below). We are left to solve this nonlinear PDE (sometimes a possible task) to enjoy isoperimetric inequalities. The nonlinear PDE that we will describe in this article can be reduced sometimes to solving Laplacian eigenvalue problem, $\bar{\partial}$-equation of certain type or just the linear heat equation.


abstract: Decision forests, including Random Forests and Gradient Boosting Trees, have recently demonstrated state-of-the-art performance in a variety of machine learning settings. Decision forests are typically ensembles of axis-aligned decision trees; that is, trees that split only along feature dimensions. In contrast, many recent extensions to decision forests are based on axis-oblique splits. Unfortunately, these extensions forfeit one or more of the favorable properties of decision forests based on axis-aligned splits, such as robustness to many noise dimensions, interpretability, or computational efficiency. We introduce yet another decision forest, called "Sparse Projection Oblique Randomer Forests" (SPORF). SPORF uses very sparse random projections, i.e., linear combinations of a small subset of features. SPORF significantly improves accuracy over existing state-of-the-art algorithms on a standard benchmark suite for classification with >100 problems of varying dimension, sample size, and number of classes. To illustrate how SPORF addresses the limitations of both axis-aligned and existing oblique decision forest methods, we conduct extensive simulated experiments. SPORF typically yields improved performance over existing decision forests, while mitigating computational efficiency and scalability and maintaining interpretability. SPORF can easily be incorporated into other ensemble methods such as boosting to obtain potentially similar gains.


title: Spectroscopy of divalent rare earth ions in fluoride crystals

abstract: We have studied the absorption spectra of x-ray irradiation-induced Ce2+ and Pr2+ ions in crystals of alkaline-earth fluorides. We have calculated absorption spectra of divalent praseodymium ions in SrF2 crystals doped with Pr2+ for the first time. The calculated spectra agree rather well with the experimental data. In crystals containing induced Ce2+ ions we have found strong electron-phonon coupling. In BaF2, we do not observe bands corresponded to divalent Ce or Pr ions.


title: Convergence rates for pretraining and dropout: Guiding learning parameters using network structure

abstract: Unsupervised pretraining and dropout have been well studied, especially with respect to regularization and output consistency. However, our understanding about the explicit convergence rates of the parameter estimates, and their dependence on the learning (like denoising and dropout rate) and structural (like depth and layer lengths) aspects of the network is less mature. An interesting question in this context is to ask if the network structure could "guide" the choices of such learning parameters. In this work, we explore these gaps between network structure, the learning mechanisms and their interaction with parameter convergence rates. We present a way to address these issues based on the backpropagation convergence rates for general nonconvex objectives using first-order information. We then incorporate two learning mechanisms into this general framework -- denoising autoencoder and dropout, and subsequently derive the convergence rates of deep networks. Building upon these bounds, we provide insights into the choices of learning parameters and network sizes that achieve certain levels of convergence accuracy. The results derived here support existing empirical observations, and we also conduct a set of experiments to evaluate them.


title: On the monotonicity principle of optimal Skorokhod embedding problem

abstract: In this paper, we provide an alternative proof of the monotonicity principle for the optimal Skorokhod embedding problem established by Beiglb\"ock, Cox and Huesmann. This principle presents a geometric characterization that reflects the desired optimality properties of Skorokhod embeddings. Our proof is based on the adaptation of the Monge-Kantorovich duality in our context together with a delicate application of the optional cross-section theorem and a clever conditioning argument.


title: An evolutionary advantage of cooperation

abstract: Cooperation is a persistent behavioral pattern of entities pooling and sharing resources. Its ubiquity in nature poses a conundrum. Whenever two entities cooperate, one must willingly relinquish something of value to the other. Why is this apparent altruism favored in evolution? Classical solutions assume a net fitness gain in a cooperative transaction which, through reciprocity or relatedness, finds its way back from recipient to donor. We seek the source of this fitness gain. Our analysis rests on the insight that evolutionary processes are typically multiplicative and noisy. Fluctuations have a net negative effect on the long-time growth rate of resources but no effect on the growth rate of their expectation value. This is an example of non-ergodicity. By reducing the amplitude of fluctuations, pooling and sharing increases the long-time growth rate for cooperating entities, meaning that cooperators outgrow similar non-cooperators. We identify this increase in growth rate as the net fitness gain, consistent with the concept of geometric mean fitness in the biological literature. This constitutes a fundamental mechanism for the evolution of cooperation. Its minimal assumptions make it a candidate explanation of cooperation in settings too simple for other fitness gains, such as emergent function and specialization, to be probable. One such example is the transition from single cells to early multicellular life.


title: Scalar Polynomial Curvature Invariants in the Context of the Cartan-Karlhede Algorithm

abstract: We employ the Cartan-Karlhede algorithm in order to completely characterize the class of G\"odel-like spacetimes for three-dimensional gravity. By examining the permitted Segre types (or P-types) for the Ricci tensor we present the results of the Cartan-Karlhede algorithm for each subclass in terms of the algebraically independent Cartan invariants at each order. Using this smaller subset of Cartan invariants we express the scalar polynomial curvature invariants for the G\"odel-like spacetimes in terms of this subset of Cartan invariants and generate a minimal set of scalar polynomial curvature invariants that uniquely characterize metrics in the class of G\"odel-like spacetimes and identify the subclasses in terms of the P-types of the Ricci tensor.


title: Radiative $\mu$ and $\tau$ leptonic decays at NLO

abstract: We present the differential rates and branching ratios of the radiative decays $\tau \to l \bar{\nu} \nu \gamma$, with $l=e$ or $\mu$, and $\mu \to e \bar{\nu} \nu \gamma$ in the Standard Model at next-to-leading order. Radiative corrections are computed taking into account the full depencence on the mass $m_l$ of the final charged leptons, which is necessary for the correct determination of the branching ratios. Only partial agreement is found with previous calculations performed in the $m_l \to 0$ limit. Our results agree with the measurements of the branching ratios $\mathcal{B} (\mu \to e \bar{\nu} \nu \gamma)$ and $\mathcal{B} (\tau \to \mu \bar{\nu} \nu \gamma)$ for a minimum photon energy of 10 MeV in the $\mu$ and $\tau$ rest frames, respectively. Babar's recent precise measurement of the branching ratio $\mathcal{B} (\tau \to e \bar{\nu} \nu \gamma)$, for the same photon energy threshold, differs from our prediction by 3.5 standard deviations.


title: A Duality Framework for Stochastic Optimal Control of Complex Systems

abstract: We address the problem of minimizing the long-run expected average cost of a complex system consisting of interactive subsystems. We formulate a multiobjective optimization problem of the one-stage expected costs of the subsystems and provide a duality framework to prove that the control policy yielding the Pareto optimal solution minimizes the average cost criterion of the system. We provide the conditions of existence and a geometric interpretation of the solution. For practical situations with constraints consistent to those studied here, our results imply that the Pareto control policy may be of value when we seek to derive online the optimal control policy in complex systems.


title: Bipolar expansions and overlap corrections to the electrostatic interaction energy

abstract: We use the multipole technique to derive four equivalent expressions for the bipolar expansion of the inverse distance, valid in all the regions of configuration space. Using the first-order perturbation theory, we calculate the overlap correction to the long-range electrostatic energy between two hydrogen atoms and between a hydrogen atom and a proton.


title: The magnetic ground state properties of non-centrosymmetric CePt$_3$B$_{1-x}$Si$_x$

abstract: We present a study of the alloying series of the non-centrosymmetric $f$-electron intermetallic CePt$_3$B$_{1-x}$Si$_x$ by means of muon spin rotation and relaxation measurements. In addition, we include a high pressure magnetization investigation of the stoichiometric parent compound CePt$_3$B. From our data we establish the nature of the magnetic ground state properties of the series, derive the ordered magnetic moment as function of stoichiometry and gain insight into the evolution of the symmetry of the ordered magnetic state with $x$. We thus can verify the notion that the behavior of the sample series can essentially be understood within the framework of the Doniach phase diagram. Further, our findings raise the issue of the role the Dzyaloshinskii-Moriya magnetic interaction plays in correlated electron materials, and its effect on magnetic fluctuations in such materials.


title: Dynamic Imaging of Au-nanoparticles via Scanning Electron Microscopy in a Graphene Wet Cell

abstract: High resolution nanoscale imaging in liquid environments is crucial for studying molecular interactions in biological and chemical systems. In particular, electron microscopy is the gold-standard tool for nanoscale imaging, but its high-vacuum requirements make application to in-liquid samples extremely challenging. Here we present a new graphene based wet cell device where high resolution SEM (scanning electron microscope) and Energy Dispersive X-rays (EDX) analysis can be performed directly inside a liquid environment. Graphene is an ideal membrane material as its high transparancy, conductivity and mechanical strength can support the high vacuum and grounding requirements of a SEM while enabling maximal resolution and signal. In particular, we obtain high resolution (< 5 nm) SEM video images of nanoparticles undergoing brownian motion inside the graphene wet cell and EDX analysis of nanoparticle composition in the liquid enviornment. Our obtained resolution surpasses current conventional silicon nitride devices imaged in both SEM and TEM under much higher electron doses.


title: Almost-rigidity and the extinction time of positively curved Ricci flows

abstract: We prove that Ricci flows with almost maximal extinction time must be nearly round, provided that they have positive isotropic curvature when crossed with $\mathbb{R}^{2}$. As an application, we show that positively curved metrics on $S^{3}$ and $RP^{3}$ with almost maximal width must be nearly round.


title: Suppression of diffusion of hydrogen adatoms on graphene by effective adatom interaction

abstract: Resonant graphene dopants, such as hydrogen adatoms, experience long-range effective interaction mediated by conduction electrons. As a result of this interaction, when several adatoms are present in the sample, hopping of adatoms between sites belonging to different sublattices involves significant energy changes. Different inelastic mechanisms facilitating such hopping -- coupling to phonons and conduction electrons -- are considered. It is estimated that the diffusion of hydrogen adatoms is rather slow, amounting to roughly one hop to a nearest neighbor per millisecond.


title: Polynomials with Maximum Lead Coefficient Bounded on a Finite Set

abstract: What is the maximum possible value of the lead coefficient of a degree $d$ polynomial $Q(x)$ if $|Q(1)|,|Q(2)|,\ldots,|Q(k)|$ are all less than or equal to one? More generally we write $L_{d,[x_k]}(x)$ for what we prove to be the unique degree $d$ polynomial with maximum lead coefficient when bounded between $1$ and $-1$ for $x\in [x_k]=\{x_1,\cdots,x_k\}$. We calculate explicitly the lead coefficient of $L_{d,[x_k]}(x)$ when $d\leq 4$ and the set $[x_k]$ is an arithmetic progression. We give an algorithm to generate $L_{d,[x_k]}(x)$ for all $d$ and $[x_k]$.


title: Some applications of degenerate poly-Bernoulli numbers and polynomials

abstract: In this paper, we consider degenerate poly-Bernoulli numbers and polynomials associated with polylogarithmic function and p-adic invariant integral on Zp. By using umbral calculus, we derive some identities of those numbers and polynomials


title: Fast Online Clustering with Randomized Skeleton Sets

abstract: We present a new fast online clustering algorithm that reliably recovers arbitrary-shaped data clusters in high throughout data streams. Unlike the existing state-of-the-art online clustering methods based on k-means or k-medoid, it does not make any restrictive generative assumptions. In addition, in contrast to existing nonparametric clustering techniques such as DBScan or DenStream, it gives provable theoretical guarantees. To achieve fast clustering, we propose to represent each cluster by a skeleton set which is updated continuously as new data is seen. A skeleton set consists of weighted samples from the data where weights encode local densities. The size of each skeleton set is adapted according to the cluster geometry. The proposed technique automatically detects the number of clusters and is robust to outliers. The algorithm works for the infinite data stream where more than one pass over the data is not feasible. We provide theoretical guarantees on the quality of the clustering and also demonstrate its advantage over the existing state-of-the-art on several datasets.


title: Consistent Variable Selection for Functional Regression Models

abstract: The dual problem of testing the predictive significance of a particular covariate, and identification of the set of relevant covariates is common in applied research and methodological investigations. To study this problem in the context of functional linear regression models with predictor variables observed over a grid and a scalar response, we consider basis expansions of the functional covariates and apply the likelihood ratio test. Based on p-values from testing each predictor, we propose a new variable selection method, which is consistent in selecting the relevant predictors from set of available predictors that is allowed to grow with the sample size n. Numerical simulations suggest that the proposed variable selection procedure outperforms existing methods found in the literature. A real dataset from weather stations in Japan is analyzed.


title: Higher-dimensional thin-shell wormholes in third-order Lovelock gravity

abstract: In this work, we explore asymptotically flat charged thin-shell wormholes of third order Lovelock gravity in higher dimensions, taking into account the cut-and-paste technique. Using the generalized junction conditions, we determine the energy-momentum tensor of these solutions on the shell, and explore the issue of the energy conditions and the amount of normal matter that supports these thin-shell wormholes. Our analysis shows that for negative second order and positive third-order Lovelock coefficients, there are thin-shell wormhole solutions that respect the weak energy condition. In this case, the amount of normal matter increases as the third-order Lovelock coefficient decreases. We also find novel solutions which possess specific regions where the energy conditions are satisfied for the case of a positive second order and negative third-order Lovelock coefficients. Finally, a linear stability analysis in higher dimensions around the static solutions is carried out. Considering a specific cold equation of state, we find a wide range of stability regions.


title: Formalization of closure properties for context-free grammars

abstract: Context-free language theory is a well-established area of mathematics, relevant to computer science foundations and technology. This paper presents the preliminary results of an ongoing formalization project using context-free grammars and the Coq proof assistant. The results obtained so far include the representation of context-free grammars, the description of algorithms for some operations on them (union, concatenation and closure) and the proof of related theorems (e.g. the correctness of these algorithms). A brief survey of related works is presented, as well as plans for further development.


title: Cosmological dynamics with non-minimally coupled scalar field and a constant potential function

abstract: Dynamical systems methods are used to investigate global behavior of the spatially flat Friedmann-Robertson-Walker cosmological model in gravitational theory with a non-minimally coupled scalar field and a constant potential function. We show that the system can be reduced to an autonomous three-dimensional dynamical system and additionally is equipped with an invariant manifold corresponding to an accelerated expansion of the universe. Using this invariant manifold we find an exact solution of the reduced dynamics. We investigate all solutions for all admissible initial conditions using theory of dynamical systems to obtain a classification of all evolutional paths. The right-hand sides of the dynamical system depend crucially on the value of the non-minimal coupling constant therefore we study bifurcation values of this parameter under which the structure of the phase space changes qualitatively. We found a special bifurcation value of the non-minimal coupling constant which is distinguished by dynamics of the model and may suggest some additional symmetry in matter sector of the theory.


title: On matrix estimation under monotonicity constraints

abstract: We consider the problem of estimating an unknown $n_1 \times n_2$ matrix $\mathbf{\theta^*}$ from noisy observations under the constraint that $\mathbf{\theta}^*$ is nondecreasing in both rows and columns. We consider the least squares estimator (LSE) in this setting and study its risk properties. We show that the worst case risk of the LSE is $n^{-1/2}$, up to multiplicative logarithmic factors, where $n = n_1 n_2$ and that the LSE is minimax rate optimal (up to logarithmic factors). We further prove that for some special $\mathbf{\theta}^*$, the risk of the LSE could be much smaller than $n^{-1/2}$; in fact, it could even be parametric i.e., $n^{-1}$ up to logarithmic factors. Such parametric rates occur when the number of "rectangular" blocks of $\mathbf{\theta}^*$ is bounded from above by a constant. We derive, as a consequence, an interesting adaptation property of the LSE which we term variable adaptation -- the LSE performs as well as the oracle estimator when estimating a matrix that is constant along each row/column. Our proofs borrow ideas from empirical process theory and convex geometry and are of independent interest.


title: Automatic Variational Inference in Stan

abstract: Variational inference is a scalable technique for approximate Bayesian inference. Deriving variational inference algorithms requires tedious model-specific calculations; this makes it difficult to automate. We propose an automatic variational inference algorithm, automatic differentiation variational inference (ADVI). The user only provides a Bayesian model and a dataset; nothing else. We make no conjugacy assumptions and support a broad class of models. The algorithm automatically determines an appropriate variational family and optimizes the variational objective. We implement ADVI in Stan (code available now), a probabilistic programming framework. We compare ADVI to MCMC sampling across hierarchical generalized linear models, nonconjugate matrix factorization, and a mixture model. We train the mixture model on a quarter million images. With ADVI we can use variational inference on any model we write in Stan.


title: Force to change large cardinal strength

abstract: This dissertation includes many theorems which show how to change large cardinal properties with forcing. I consider in detail the degrees of inaccessible cardinals (an analogue of the classical degrees of Mahlo cardinals) and provide new large cardinal definitions for degrees of inaccessible cardinals extending the hyper-inaccessible hierarchy. I showed that for every cardinal $\kappa$, and ordinal $\alpha$, if $\kappa$ is $\alpha$-inaccerssible, then there is a $\mathbb{P}$ forcing that $\kappa$ which preserves that $\alpha$-inaccessible but destorys that $\kappa$ is $(\alpha+1)$-inaccessible. I also consider Mahlo cardinals and degrees of Mahlo cardinals. I showed that for every cardinal $\kappa$, and ordinal $\alpha$, there is a notion of forcing $\mathbb{P}$ such that $\kappa$ is still $\alpha$-Mahlo in the extension, but $\kappa$ is no longer $(\alpha +1)$-Mahlo. I also show that a cardinal $\kappa$ which is Mahlo in the ground model can have every possible inaccessible degree in the forcing extension, but no longer be Mahlo there. The thesis includes a collection of results which give forcing notions which change large cardinal strength from weakly compact to weakly measurable, including some earlier work by others that fit this theme. I consider in detail measurable cardinals and Mitchell rank. I show how to change a class of measurable cardinals by forcing to an extension where all measurable cardinals above some fixed ordinal $\alpha$ have Mitchell rank below $\alpha.$ Finally, I consider supercompact cardinals, and a few theorems about strongly compact cardinals. Here, I show how to change the Mitchell rank for supercompactness for a class of cardinals.


title: Automorphisms of $\mathscr{P}(\lambda)/\mathscr{I}_\kappa$

abstract: We study conditions on automorphisms of Boolean algebras of the form $P(\lambda)/I_\kappa$ (where $\lambda$ is an uncountable cardinal and $I_\kappa$ is the ideal of sets of cardinality less than $\kappa$) which allow one to conclude that a given automorphism is trivial. We show (among other things) that every cardinality-preserving automorphism of $P(2^\kappa)/I_{\kappa^+}$ which is trivial on all sets of cardinality $\kappa^+$ is trivial, and that $MA_{\aleph_1}$ implies that every automorphism of $P(\mathbb{R})/Fin$ is trivial on a cocountable set.


title: Trajectories of quadratic differentials for Jacobi polynomials with complex parameters

abstract: Motivated by the study of the asymptotic behavior of Jacobi polynomials $\left( P_{n}^{(nA,nB)}\right) _{n}$ with $A\in \mathbb C$ and $B>0$ we establish the global structure of trajectories of the related rational quadratic differential on $\mathbb C$. As a consequence, the asymptotic zero distribution (limit of the root-counting measures of $\left( P_{n}^{(nA,nB)}\right) _{n}$) is described. The support of this measure is formed by an open arc in the complex plan (critical trajectory of the aforementioned quadratic differential) that can be characterized by the symmetry property of its equilibrium measure in a certain external field.


title: Nielsen-Schreier implies the finite Axiom of Choice

abstract: We present a new proof that the statement 'every subgroup of a free group is free' implies the Axiom of Choice for finite sets.


title: Paramagnetism in the kagome compounds (Zn,Mg,Cd)Cu$_{3}$(OH)$_{6}$Cl$_{2}$

abstract: Frustrated magnetism on the kagome lattice has been a fertile ground for rich and fascinating physics, ranging from experimental evidence of a spin liquid to theoretical predictions of exotic superconductivity. Among experimentally realized spin-$\frac{1}{2}$ kagome magnets, herbertsmithite, kapellasite, and haydeeite [(Zn,Mg)Cu$_{3}$(OH)$_{6}$Cl$_{2}$] are all well described by a three-parameter Heisenberg model, but they exhibit distinctly different physics. We address the problem using a pseudofermion functional renormalization-group approach and analyze the low-energy physics in the experimentally accessible parameter range. Our analysis places kapellasite and haydeeite near the boundaries between magnetically ordered and disordered phases, implying that slight modifications could dramatically affect their magnetic properties. Inspired by this, we perform \textit{ab initio} density functional theory calculations of (Zn,Mg,Cd)Cu$_{3}$ (OH)$_{6}$Cl$_{2}$ at various pressures. Our results suggest that by varying pressure and composition one can traverse a paramagnetic regime between different magnetically ordered phases.


title: Topology design for stochastically-forced consensus networks

abstract: We study an optimal control problem aimed at achieving a desired tradeoff between the network coherence and communication requirements in the distributed controller. Our objective is to add a certain number of edges to an undirected network, with a known graph Laplacian, in order to optimally enhance closed-loop performance. To promote controller sparsity, we introduce $\ell_1$-regularization into the optimal ${\cal H}_2$ formulation and cast the design problem as a semidefinite program. We derive a Lagrange dual, provide interpretation of dual variables, and exploit structure of the optimality conditions for undirected networks to develop customized proximal gradient and Newton algorithms that are well-suited for large problems. We illustrate that our algorithms can solve the problems with more than million edges in the controller graph in a few minutes, on a PC. We also exploit structure of connected resistive networks to demonstrate how additional edges can be systematically added in order to minimize the ${\cal H}_2$ norm of the closed-loop system.


title: Elasticidad de las membranas biol\'ogicas

abstract: In this article we review the present knowledge on the elastic properties of membranes of biological origin. Assuming the fluid mosaic hypothesis, we consider the phospholipid bilayer as the structural base of a biological membrane. We expose a model due to Helfrich which can be used to obtain an expression for the membrane elastic energy. The free energy is completely characterized by two local principal curvatures and four parameters that depend on the chemical composition of the membrane and its local environment. In addition we present the theoretical justification of an experimental method (the Micropipette Manipulation technique) that may be used to measure the membrane rigidity. Finally, we describe some physical consequences of these concepts, such as the explanation of the lamellar-sponge phase transition and the emergence of the steric interaction between membranes. ------ Se presenta una revisi\'on del conocimiento actual sobre las propiedades el\'asticas de las membranas. Bajo la hip\'otesis del mosaico fluido se considera a una bicapa de fosfol\'ipido como la base estructural de una membrana biol\'ogica y se expone un modelo debido a Helfrich a partir del cu\'al se obtiene una expresi\'on para la energ\'ia el\'astica de una membrana. La energ\'ia libre queda completamente caracterizada por sus curvaturas locales principales y cuatro par\'ametros dependientes de la composici\'on qu\'imica de la membrana y de su entorno local. Se expone la justificaci\'on te\'orica de un m\'etodo experimental que permite medir la constante el\'astica de curvatura media de una membrana. Finalmente se describen algunas consecuencias f\'isicas de estos conceptos, como la explicaci\'on de la transici\'on de una fase lamelar a una esponja, o la aparici\'on de la interacci\'on est\'erica entre membranas.


title: Monotonicity for p-harmonic vector bundle-valued k-forms

abstract: We investigate monotonicity properties of $p$-harmonic vector bundle-valued $k$-forms by studying the energy-momentum tensor associated with such a form. As a consequence, we obtain a unified proof of the monotonicity formul{\ae} for $p$-harmonic maps and Yang-Mills connections, proving a monotonicity formula for $p$-Yang-Mills connections in the process. Moreover, it is shown how this technique may be adapted to yield an analogous monotonicity formula for Yang-Mills-Higgs pairs. Finally, we obtain Liouville-type theorems for such forms and Yang-Mills-Higgs pairs as an application.


title: Analogue Aharonov-Bohm effect in neo-Newtonian theory

abstract: We address the issues of the scattering of massless planar scalar waves by an acoustic black hole in neo-Newtonian hydrodynamics. We then compute the differential cross section through the use of the partial wave approach in the neo-Newtonian theory which is a modification of the usual Newtonian theory that correctly incorporates the effects of pressure. We mainly show that the scattering of planar waves leads to a modified analogue Aharonov-Bohm effect due to a nontrivial response of the parameters defining the equation of state.


title: Applications of the Stroboscopic Tomography to Selected 2-Level Decoherence Models

abstract: In the paper we discuss possible applications of the so-called stroboscopic tomography (stroboscopic observability) to selected decoherence models of 2-level quantum systems. The main assumption behind our reasoning claims that the time evolution of the analyzed system is given by a master equation of the form $\dot{\rho} = \mathbb{L} \rho$ and the macroscopic information about the system is provided by the mean values $m_i (t_j) = Tr(Q_i \rho(t_j))$ of certain observables $\{Q_i\}_{i=1} ^r $ measured at different time instants $\{t_j\}_{j=1}^p$. The goal of the stroboscopic tomography is to establish the optimal criteria for observability of a quantum system, i.e. minimal value of $r$ and $p$ as well as the properties of the observables $\{Q_i\}_{i=1} ^r $.


title: On global location-domination in bipartite graphs

abstract: A dominating set $S$ of a graph $G$ is called locating-dominating, LD-set for short, if every vertex $v$ not in $S$ is uniquely determined by the set of neighbors of $v$ belonging to $S$. Locating-dominating sets of minimum cardinality are called $LD$-codes and the cardinality of an LD-code is the \emph{location-domination number} $\lambda(G)$. An LD-set $S$ of a graph $G$ is \emph{global} if it is an LD-set of both $G$ and its complement $\overline{G}$. The \emph{global location-domination number} $\lambda_g(G)$ is the minimum cardinality of a global LD-set of $G$. For any LD-set $S$ of a given graph $G$, the so-called \emph{S-associated graph} $G^S$ is introduced. This edge-labeled bipartite graph turns out to be very helpful to approach the study of LD-sets in graphs, particularly when $G$ is bipartite. This paper is mainly devoted to the study of relationships between global LD-sets, LD-codes and the location-domination number in a graph $G$ and its complement $\overline{G}$, when $G$ is bipartite.


title: Particle Acceleration in Rotating Modified Hayward and Bardeen Black Holes

abstract: In this paper we consider rotating modified Hayward and rotating modified Bardeen black holes as particle accelerators. We investigate the center of mass energy of two colliding neutral particles with same rest masses falling from rest at infinity to near the horizons of the mentioned black holes. We investigate the range of the particle's angular momentum and the orbit of the particle. We also investigate the center of mass energy for extremal black hole.


title: Primality tests for specific classes of $N=k\cdot 2^m \pm 1$

abstract: Polynomial time primality tests for specific classes of numbers of the form $k\cdot 2^m \pm 1$ are introduced.


title: Constraining the minimal dark matter fiveplet with LHC searches

abstract: Adding a fermion to the standard model particle content which is a fiveplet under $SU(2)_L$ gives a dark matter candidate. The lightest state in the multiplet is neutral and automatically stable. The charged component of the multiplet is only slightly heavier and can travel a finite distance in the LHC detectors before decaying, leaving a charged track which disappears before the edge of the detector. We use the recent ATLAS and CMS searches to exclude a Majorana fiveplet with a mass up to 267 GeV. We estimate that with 3 ab$^{-1}$ of $\sqrt{s}=14$ TeV data this could be pushed to a mass 520 GeV. These exclusions are $\sim 10\%$ greater than what is achieved for wino-like dark matter. We also discuss how the doubly charged states could be used to distinguish a disappearing track signal from that given by a triplet such as the pure wino.


title: On extended symmetries for the Galileon

abstract: We investigate a large class of infinitesimal, but fully nonlinear in the field, transformations of the Galileon and search for extended symmetries. The transformations involve powers of the coordinates $x$ and the field $\pi$ up to any finite order $N$. Up to quadratic order the structure of these symmetry transformations is the unique generalisation of both the infinitesimal version of the standard Galileon shift symmetry as well as a recently discovered infinitesimal extension of this symmetry. The only higher-order extensions of this symmetry we recover are (`Galileon dual' versions of) symmetries of the standard kinetic term.


title: Weak Gravity Strongly Constrains Large-Field Axion Inflation

abstract: Models of large-field inflation based on axion-like fields with shift symmetries can be simple and natural, and make a promising prediction of detectable primordial gravitational waves. The Weak Gravity Conjecture is known to constrain the simplest case in which a single compact axion descends from a gauge field in an extra dimension. We argue that the Weak Gravity Conjecture also constrains a variety of theories of multiple compact axions including N-flation and some alignment models. We show that other alignment models entail surprising consequences for how the mass spectrum of the theory varies across the axion moduli space, and hence can be excluded if further conjectures hold. In every case that we consider, plausible assumptions lead to field ranges that cannot be parametrically larger than the Planck scale. Our results are strongly suggestive of a general inconsistency in models of large-field inflation based on compact axions, and possibly of a more general principle forbidding super-Planckian field ranges.


title: The Turbulence Velocity Power Spectrum of Neutral Hydrogen in the Small Magellanic Cloud

abstract: We present the results of the Velocity Coordinate Spectrum (VCS) technique to calculate the velocity power spectrum of turbulence in the Small Magellanic Cloud (SMC) in 21cm emission. We have obtained a velocity spectral index of -3.85 and an injection scale of 2.3 kpc. The spectral index is steeper than the Kolmogorov index which is expected for shock-dominated turbulence which is in agreement with past works on the SMC gas dynamics. The injection scale of 2.3 kpc suggests that tidal interactions with the Large Magellanic Cloud are the dominate driver of turbulence in this dwarf galaxy. This implies turbulence maybe driven by multiple mechanisms in galaxies in addition to supernova injection and that galaxy-galaxy interactions may play an important role.


title: Topological nodal line semimetals with and without spin-orbital coupling

abstract: We theoretically study three-dimensional topological semimetals (TSMs) with nodal lines protected by crystalline symmetries. Compared with TSMs with point nodes, e.g., Weyl semimetals and Dirac semimetals, where the conduction and the valence bands touch at discrete points, in these new TSMs the two bands cross at closed lines in the Brillouin zone. We propose two new classes of symmetry protected nodal lines in the absence and in the presence of spin-orbital coupling (SOC), respectively. In the former, we discuss nodal lines that are protected by the combination of inversion symmetry and time-reversal symmetry; yet unlike any previously studied nodal lines in the same symmetry class, each nodal line has a $Z_2$ monopole charge and can only be created (annihilated) in pairs. In the second class, with SOC, we show that a nonsymmorphic symmetry (screw axis) protects a four-band crossing nodal line in systems having both inversion and time-reversal symmetries.


title: Imprints of expansion onto the local anisotropy of solar wind turbulence

abstract: We study the anisotropy of II-order structure functions defined in a frame attached to the local mean field in three-dimensional (3D) direct numerical simulations of magnetohydrodynamic turbulence, including or not the solar wind expansion. We simulate spacecraft flybys through the numerical domain by taking increments along the radial (wind) direction that forms an angle of $45^o$ with the ambient magnetic field. We find that only when expansion is taken into account, do the synthetic observations match the 3D anisotropy observed in the solar wind, including the change of anisotropy with scales. Our simulations also show that the anisotropy changes dramatically when considering increments oblique to the radial directions. Both results can be understood by noting that expansion reduces the radial component of the magnetic field at all scales, thus confining fluctuations in the plane perpendicular to the radial. Expansion is thus shown to affect not only the (global) spectral anisotropy, but also the local anisotropy of second-order structure functions by influencing the distribution of the local mean field, which enters this higher-order statistics.


title: Carbon-enhanced metal-poor stars in dwarf galaxies

abstract: We investigate the frequency and origin of carbon-enhanced metal-poor (CEMP) stars in Local Group dwarf galaxies by means of a statistical, data-calibrated cosmological model for the hierarchical build-up of the Milky Way and its dwarf satellites. The model self-consistently explains the variation with dwarf galaxy luminosity of the observed: i) frequency and [Fe/H] range of CEMP stars; ii) metallicity distribution functions; iii) star formation histories. We show that if primordial faint supernovae dominated the early metal enrichment, then CEMP-no stars enriched by the first stellar generations should be present in all dwarf galaxies, with similar number of stars and CEMP fractions at [Fe/H]$< -4$. We demonstrate that the probability to observe a star that is carbon-enhanced within a given [Fe/H] range strongly depends on the luminosity of the dwarf galaxy and, on average, it is an order of magnitude lower in "classical" Sculptor-like dSph galaxies ($P\leq 0.02$) than in the least luminous ultra-faint dwarfs ($P \approx 0.1$). In addition, we explain why it may be easier to find CEMP-no stars at [Fe/H]$\approx -2$ in classical dSph galaxies than in ultra-faint dwarfs. These are consequences of the dramatic variation in the fraction of stars at [Fe/H]$<-3$ with galaxy luminosity: $\geq 40\%$ for galaxies with $L<10^5L_{\odot}$, and $\leq 0.2\%$ for $L>10^{7}L_{\odot}$. We present model predictions for the low Fe-tail and CEMP fraction of stars in dwarf galaxies, with particular emphasis on the Sculptor dSph, that can be used to shed light on the properties of the first stars.


title: The Relation between Solar Eruption Topologies and Observed Flare Features I: Flare Ribbons

abstract: In this paper we present a topological magnetic field investigation of seven two-ribbon flares in sigmoidal active regions observed with Hinode, STEREO, and SDO. We first derive the 3D coronal magnetic field structure of all regions using marginally unstable 3D coronal magnetic field models created with the flux rope insertion method. The unstable models have been shown to be a good model of the flaring magnetic field configurations. Regions are selected based on their pre-flare configurations along with the appearance and observational coverage of flare ribbons, and the model is constrained using pre-flare features observed in extreme ultraviolet and X-ray passbands. We perform a topology analysis of the models by computing the squashing factor, Q, in order to determine the locations of prominent quasi-separatrix layers (QSLs). QSLs from these maps are compared to flare ribbons at their full extents. We show that in all cases the straight segments of the two J-shaped ribbons are matched very well by the flux-rope-related QSLs, and the matches to the hooked segments are less consistent but still good for most cases. In addition, we show that these QSLs overlay ridges in the electric current density maps. This study is the largest sample of regions with QSLs derived from 3D coronal magnetic field models, and it shows that the magnetofrictional modeling technique that we employ gives a very good representation of flaring regions, with the power to predict flare ribbon locations in the event of a flare following the time of the model.


title: A Bright Year for Tidal Disruptions?

abstract: When a star is tidally disrupted by a supermassive black hole (BH), roughly half of its mass falls back to the BH at super-Eddington rates. Being tenuously gravitationally bound and unable to cool radiatively, only a small fraction f_in << 1 of the returning debris will likely be incorporated into the disk and accrete, with the vast majority instead becoming unbound in an outflow of velocity ~1e4 km/s. This slow outflow spreads laterally, encasing the BH. For months or longer, the outflow remains sufficiently neutral to block hard EUV and X-ray radiation from the hot inner disk, which instead becomes trapped in a radiation-dominated nebula. Ionizing nebular radiation heats the inner edge of the ejecta to temperatures of T > few 1e4 K, converting the emission to optical/near-UV wavelengths where photons more readily escape due to the lower opacity. This can explain the unexpectedly low and temporally constant effective temperatures of optically-discovered TDE flares. For BHs with relatively high masses M_BH > 1e7 M_sun the ejecta can become ionized at an earlier stage, or for a wider range of viewing angles, producing a TDE flare which is instead dominated by thermal X-ray emission. We predict total radiated energies consistent with those of observed TDE flares, and ejecta velocities that agree with the measured emission line widths. The peak optical luminosity for M_BH < 1e6 M_sun is suppressed due to adiabatic losses in the inner disk wind, possibly contributing to the unexpected dearth of optical TDEs in galaxies with low mass BHs. In the classical picture, where f_in ~ 1, TDEs de-spin supermassive BHs and cap their maximum spins well below theoretical accretion physics limits. This cap is greatly relaxed in our model, and existing Fe K-alpha spin measurements provide suggestive preliminary evidence that f_in < 1.


title: The Interstellar Medium in the Kepler Search Volume

abstract: The properties of the interstellar medium (ISM) surrounding a planetary system can impact planetary climate through a number of mechanisms, including changing the size of the astrosphere (one of the major shields for cosmic rays) as well as direct deposition of material into planetary atmospheres. In order to constrain the ambient ISM conditions for exoplanetary systems, we present observations of interstellar Na I and K I absorption towards seventeen early-type stars in the Kepler prime mission field of view. We identify 39 Na I and 8 K I velocity components, and attribute these to eleven ISM clouds. Six of these are detected towards more than one star, and for these clouds we put limits on the cloud properties, including distance and hydrogen number density. We identify one cloud with significant (>1.5 cm$^{-3}$) hydrogen number density located within the nominal ~100 pc boundary of the Local Bubble. We identify systems with confirmed planets within the Kepler field of view that could lie within these ISM clouds, and estimate upper limits on the astrosphere sizes of these systems under the assumption that they do lie within these clouds. Under this condition, the Kepler-20, 42, and 445 multiplanet systems could have compressed astrospheres much smaller than the present-day heliosphere. Among the known habitable zone planet hosts, Kepler-186 could have an astrosphere somewhat smaller than the heliosphere, while Kepler-437 and KOI-4427 could have astrospheres much larger than the heliosphere. The thick disk star Kepler-444 may have an astrosphere just a few AU in radius.


title: Parafermionic phases with symmetry-breaking and topological order

abstract: Parafermions are the simplest generalizations of Majorana fermions that realize topological order. We propose a less restrictive notion of topological order in 1D open chains, which generalizes the seminal work by Fendley [J. Stat. Mech., P11020 (2012)]. The first essential property is that the groundstates are mutually indistinguishable by local, symmetric probes, and the second is a generalized notion of zero edge modes which cyclically permute the groundstates. These two properties are shown to be topologically robust, and applicable to a wider family of topologically-ordered Hamiltonians than has been previously considered. An an application of these edge modes, we formulate a new notion of twisted boundary conditions on a closed chain, which guarantees that the closed-chain groundstate is topological, i.e., it originates from the topological manifold of degenerate states on the open chain. Finally, we generalize these ideas to describe symmetry-breaking phases with a parafermionic order parameter. These exotic phases are condensates of parafermion multiplets, which generalizes Cooper pairing in superconductors. The stability of these condensates are investigated on both open and closed chains.


title: Stringent Dilepton Bounds on Left-Right Models using LHC data

abstract: In canonical left-right symmetric models the lower mass bounds on the charged gauge bosons are in the ballpark of $3-4$ TeV, resulting into much stronger limits on the neutral gauge boson $Z_R$, making its production unreachable at the LHC. However, if one evokes different patterns of left-right symmetry breaking the $Z_R$ might be lighter than the $W_R^\pm$ motivating an independent $Z_R$ collider study. In this work, we use the 8 TeV ATLAS $20.3$ fb$^{-1}$ luminosity data to derive robust bounds on the $Z_R$ mass using dilepton data. %because they provide the most restrictive limits due to the sizable $Z_R$-lepton couplings. We find strong lower bounds on the $Z_R$ mass for different right-handed gauge couplings, excluding $Z_R$ masses up to $\sim 3.2$TeV. For the canonical LR model we place a lower mass bound of $\sim 2.5$TeV. Our findings are almost independent of the right-handed neutrino masses ($\sim 2\,\%$ effect) and applicable to general left-right models.


title: New gaugings and non-geometry

abstract: We discuss the possible realisation in string/M theory of the recently discovered family of four-dimensional maximal $SO(8)$ gauged supergravities, and of an analogous family of seven-dimensional half-maximal $SO(4)$ gauged supergravities. We first prove a no-go theorem that neither class of gaugings can be realised via a compactification that is locally described by ten- or eleven-dimensional supergravity. In the language of Double Field Theory and its M theory analogue, this implies that the section condition must be violated. Introducing the minimal number of additional coordinates possible, we then show that the standard $S^3$ and $S^7$ compactifications of ten- and eleven-dimensional supergravity admit a new class of section-violating generalised frames with a generalised Lie derivative algebra that reproduces the embedding tensor of the $SO(4)$ and $SO(8)$ gaugings respectively. The physical meaning, if any, of these constructions is unclear. They highlight a number of the issues that arise when attempting to apply the formalism of Double Field Theory to non-toroidal backgrounds. Using a naive brane charge quantisation to determine the periodicities of the additional coordinates restricts the $SO(4)$ gaugings to an infinite discrete set and excludes all the $SO(8)$ gaugings other than the standard one.


title: Science with KRAKENS

abstract: The Keck science community is entering an era of unprecedented change. Powerful new instrument like ZTF, JWST, LSST, and the ELTs will catalyze this change, and we must be ready to take full advantage to maintain our position of scientific leadership. The best way to do this is to continue the UC and Caltech tradition of technical excellence in instrumentation. In this whitepaper we describe a new instrument called KRAKENS to help meet these challenges. KRAKENS uses a unique detector technology (MKIDs) to enable groundbreaking science across a wide range of astrophysical research topics. This document will lay out the detailed expected science return of KRAKENS.


title: IFU spectroscopy of 10 early-type galactic nuclei - III. Properties of the circumnuclear gas emission

abstract: Many Early-type galaxies (ETG) have ionized gas emission in their centres that extends to scales of ~ 1kpc. The majority of such objects are classified as LINERs, but the nature of their ionizing source is still not clear. The kinematics associated with these gaseous structures usually shows deviations from a pure rotational motion due to non-gravitational effects or to non-axisymmetric potentials. This is the third of a series of papers that describes a sample of 10 nearby and massive ETG observed with the Gemini Multi-Object Spectrograph in Integral Field mode installed on the Gemini-South telescope. In paper II, we performed spectral synthesis to subtract the stellar components from the data cubes of the sample galaxies in order to study their nuclear spectra. Here, we analyse the circumnuclear gas emission (scales of ~ 100 pc) of the sample galaxies. Circumnuclear gas emission was detected in seven galaxies, all of them classified as LINERs. Pure gaseous discs are found in three galaxies. In two objects, gaseous discs are probably present, but their kinematics are affected by non-Keplerian motions. In IC 5181, we detected a spiral structure of gas that may be caused either by a non-axisymmetric potential or by an outflow together with a gaseous disc. In NGC 3136, an ionization bicone is present in addition to five compact structures with LINER-like emission. In galaxies with a gaseous disc, we found that ionizing photons emitted by an AGN are not enough to explain the observed Ha flux along this structure. On the other hand, the Ha flux distribution and equivalent width along the direction perpendicular the gaseous disc suggest the presence of low-velocity ionized gas emission which seem to be related to the nuclear activity. We propose a scenario for LINER-like circumnuclear regions where a low-velocity ionization cone is formed by a collimating agent aligned with the gaseous disc.


title: Sweeping words and the length of a generic vector subspace of M_n(F)

abstract: The main result of this short note is a generic version of Paz's conjecture on the lengths of generating sets in matrix algebras. Consider a generic g-tuple A=(A_1,..., A_g) of nxn matrices over a field. We show that whenever $g^{2d}\geq n^2$, the set of all words of degree 2d in A spans the full nxn matrix algebra. Our proofs use generic matrices, are combinatorial and depend on the construction of a special kind of directed multigraphs with few edge-disjoint walks.


title: On the chemical distance in critical percolation

abstract: We consider two-dimensional critical bond percolation. Conditioned on the existence of an open circuit in an annulus, we show that the ratio of the expected size of the shortest open circuit to the expected size of the innermost circuit tends to zero as the side length of the annulus tends to infinity, the aspect ratio remaining fixed. The same proof yields a similar result for the lowest open crossing of a rectangle. In this last case, we answer a question of Kesten and Zhang by showing in addition that the ratio of the length of the shortest crossing to the length of the lowest tends to zero in probability. This suggests that the chemical distance in critical percolation is given by an exponent strictly smaller than that of the lowest path.


title: The Effect of Structure and Star Formation on the Gas Content of Nearby Galaxies

abstract: We revisit the main HI-to-stellar mass ratio (gas fraction) scaling relations, taking advantage of the HI spectral stacking technique to understand the dependence of gas content on the structural and star formation properties of nearby galaxies. This work uses a volume-limited, multi-wavelength sample of ~25,000 galaxies, selected according to stellar mass (10^9 M_sol < M_* < 10^11.5 M_sol) and redshift (0.02 < z < 0.05) from the Sloan Digital Sky Survey, and with HI data from the Arecibo Legacy Fast ALFA survey. We bin according to multiple parameters of galaxies spanning the full gas-poor to -rich regime in order to disentangle the dominance of different components and processes in influencing gas content. For the first time, we show that the scaling relations of gas fraction with stellar mass and stellar surface density are primarily driven by a combination of the underlying galaxy bimodality in specific star formation rate and the integrated Kennicutt-Schmidt law. Finally, we produce tentative evidence that the timescales of HI depletion are dependent upon galaxy mass and structure, at fixed specific star formation rate.


title: Conjugate adaptive optics in widefield microscopy with an extended-source wavefront sensor

abstract: Adaptive optics is a strategy to compensate for sample-induced aberrations in microscopy applications. Generally, it requires the presence of "guide stars" in the sample to serve as localized reference targets. We describe an implementation of conjugate adaptive optics that is amenable to widefield (i.e. non-scanning) microscopy, and can provide aberration corrections over potentially large fields of view without the use of guide stars. A unique feature of our implementation is that it is based on wavefront sensing with a single-shot partitioned-aperture sensor that provides large dynamic range compatible with extended samples. Combined information provided by this sensor and the imaging camera enable robust image de-blurring based on a rapid estimation of sample and aberrations obtained by closed-loop feedback. We present the theoretical principle of our technique and proof of concept experimental demonstrations.


title: Characterization of the allowed patterns of signed shifts

abstract: The allowed patterns of a map are those permutations in the same relative order as the initial segments of orbits realized by the map. In this paper, we characterize and provide enumerative bounds for the allowed patterns of signed shifts, a family of maps on infinite words.


title: Temporal evolution of multiple evaporating ribbon sources in a solar flare

abstract: We present new results from the Interface Region Imaging Spectrograph showing the dynamic evolution of chromospheric evaporation and condensation in a flare ribbon, with the highest temporal and spatial resolution to date. IRIS observed the entire impulsive phase of the X-class flare SOL2014-09-10T17:45 using a 9.4 second cadence `sit-and-stare' mode. As the ribbon brightened successively at new positions along the slit, a unique impulsive phase evolution was observed for many tens of individual pixels in both coronal and chromospheric lines. Each activation of a new footpoint displays the same initial coronal up-flows of up to ~300 km/s, and chromospheric downflows up to 40 km/s. Although the coronal flows can be delayed by over 1 minute with respect to those in the chromosphere, the temporal evolution of flows is strikingly similar between all pixels, and consistent with predictions from hydrodynamic flare models. Given the large sample of independent footpoints, we conclude that each flaring pixel can be considered a prototypical, `elementary' flare kernel.


title: Gr\"{o}bner-Shirshov bases method for Gelfand-Dorfman-Novikov algebras

abstract: We establish Gr\"{o}bner-Shirshov bases theory for Gelfand-Dorfman-Novikov algebras over a field of characteristic $0$. As applications, a PBW type theorem in Shirshov form is given and we provide an algorithm for solving the word problem of Gelfand-Dorfman-Novikov algebras with finite homogeneous relations. We also construct a subalgebra of one generated free Gelfand-Dorfman-Novikov algebra which is not free.


title: The real numbers - a survey of constructions

abstract: We present a comprehensive survey of constructions of the real numbers (from either the rationals or the integers) in a unified fashion, thus providing an overview of most (if not all) known constructions ranging from the earliest attempts to recent results, and allowing for a simple comparison-at-a-glance between different constructions.


title: Sobre la ecolog\'ia social de las instituciones de educaci\'on superior en la Ca\~nada oaxaque\~na

abstract: We make some observations regarding the competition between Universidad de la Ca\~nada (Unca) and other universities, using the Lotka-Volterra model, for the Informatics major, applying ideas introduced by McPherson in 1983. As a consequence, some strategies are suggested for Unca to adopt.


title: Strategies for Detecting the Missing Hot Baryons in the Universe

abstract: About 30-50% of the baryons in the local Universe are unaccounted for and are likely in a hot phase, 10^5.5-10^8 K. A hot halo (10^6.3 K) is detected around the Milky Way through the O VII and O VIII resonance absorption and emission lines in the soft X-ray band. Current instruments are not sensitive enough to detect this gas in absorption around other galaxies and galaxy groups, the two most likely sites. We show that resonant line absorption by this hot gas can be detected with current technology, with a collecting area exceeding about 300 cm^2 and a resolution R > 2000. For a few notional X-ray telescope configurations that could be constructed as Explorer or Probe missions, we calculate the differential number of O VII and O VIII absorbers as a function of equivalent width through redshift space, dN/dz. The hot halos of individual external galaxies produce absorption that should be detectable out to about their virial radii. For the Milky Way, one can determine the radial distribution of density, temperature, and metallicity, after making optical depth corrections. Spectroscopic observations can determine the rotation of a hot gaseous halo.


title: Parking functions and tree inversions revisited

abstract: Kreweras proved that the reversed sum enumerator for parking functions of length $n$ is equal to the inversion enumerator for labeled trees on $n+1$ vertices. Recently, Perkinson, Yang, and Yu gave a bijective proof of this equality that moreover generalizes to graphical parking functions. Using a depth-first search variant of Dhar's burning algorithm they proved that the codegree enumerator for $G$-parking functions equals the $\kappa$-number enumerator for spanning trees of $G$. The $\kappa$-number is a kind of generalized tree inversion number originally defined by Gessel. We extend the work of Perkinson-Yang-Yu to what are referred to as "generalized parking functions" in the literature, but which we prefer to call vector parking functions because they depend on a choice of vector $\mathbf{x} \in \mathbb{N}^n$. Specifically, we give an expression for the reversed sum enumerator for $\mathbf{x}$-parking functions in terms of inversions in rooted plane trees with respect to certain admissible vertex orders. Along the way we clarify the relationship between graphical and vector parking functions.


title: Enigma: Decentralized Computation Platform with Guaranteed Privacy

abstract: A peer-to-peer network, enabling different parties to jointly store and run computations on data while keeping the data completely private. Enigma's computational model is based on a highly optimized version of secure multi-party computation, guaranteed by a verifiable secret-sharing scheme. For storage, we use a modified distributed hashtable for holding secret-shared data. An external blockchain is utilized as the controller of the network, manages access control, identities and serves as a tamper-proof log of events. Security deposits and fees incentivize operation, correctness and fairness of the system. Similar to Bitcoin, Enigma removes the need for a trusted third party, enabling autonomous control of personal data. For the first time, users are able to share their data with cryptographic guarantees regarding their privacy.


title: Emergent Coulombic criticality and Kibble-Zurek scaling in a topological magnet

abstract: When a classical system is driven through a continuous phase transition, its nonequilibrium response is universal and exhibits Kibble-Zurek scaling. We explore this dynamical scaling in the novel context of a three-dimensional topological magnet with fractionalized excitations, namely the liquid-gas transition of the emergent mobile magnetic monopoles in dipolar spin ice. Using field-mixing and finite-size scaling techniques, we place the critical point of the liquid-gas line in the three-dimensional Ising universality class. We then demonstrate Kibble-Zurek scaling for sweeps of the magnetic field through the critical point. Unusually slow microscopic time scales in spin ice offer a unique opportunity to detect this universal nonequilibrium physics in current experimental setups.


title: A Non-Oblivious Reduction of Counting Ones to Multiplication

abstract: An algorithm counting the number of ones in a binary word is presented running in time $O(\log\log b)$ where $b$ is the number of ones. The operations available include bit-wise logical operations and multiplication.


title: The Spanish Square Kilometre Array White Book

abstract: The Square Kilometre Array (SKA) is called to revolutionise essentially all areas of Astrophysics. With a collecting area of about a square kilometre, the SKA will be a transformational instrument, and its scientific potential will go beyond the interests of astronomers. Its technological challenges and huge cost requires a multinational effort, and Europe has recognised this by putting the SKA on the roadmap of the European Strategy Forum for Research Infrastructures (ESFRI). The Spanish SKA White Book is the result of the coordinated effort of 120 astronomers from 40 different research centers. The book shows the enormous scientific interest of the Spanish astronomical community in the SKA and warrants an optimum scientific exploitation of the SKA by Spanish researchers, if Spain enters the SKA project.


title: Image Tag Completion and Refinement by Subspace Clustering and Matrix Completion

abstract: Tag-based image retrieval (TBIR) has drawn much attention in recent years due to the explosive amount of digital images and crowdsourcing tags. However, the TBIR applications still suffer from the deficient and inaccurate tags provided by users. Inspired by the subspace clustering methods, we formulate the tag completion problem in a subspace clustering model which assumes that images are sampled from subspaces, and complete the tags using the state-of-the-art Low Rank Representation (LRR) method. And we propose a matrix completion algorithm to further refine the tags. Our empirical results on multiple benchmark datasets for image annotation show that the proposed algorithm outperforms state-of-the-art approaches when handling missing and noisy tags.


title: Curvature Tensor for the Spacetime of General Relativity

abstract: In the differential geometry of certain F-structures, the role of W-curvature tensor is very well known. A detailed study of this tensor has been made on the spacetime of general relativity. The spacetimes satisfying Einstein field equations with vanishing W-tensor have been considered and the existence of Killing and conformal Killing vector fields has been established. Perfect fluid spacetimes with vanishing W-tensor have also been considered. The divergence of W-tensor is studied in detail and it is seen, among other results, that a perfect fluid spacetime with conserved W-tensor represents either an Einstein space or a Friedmann-Robertson-Walker cosmological model.


title: Landau theory of helical Fermi liquids

abstract: Landau's phenomenological theory of Fermi liquids is a fundamental paradigm in many-body physics that has been remarkably successful in explaining the properties of a wide range of interacting fermion systems, such as liquid helium-3, nuclear matter, and electrons in metals. The d-dimensional boundaries of (d+1)-dimensional topological phases of matter such as quantum Hall systems and topological insulators provide new types of many-fermion systems that are topologically distinct from conventional d-dimensional many-fermion systems. We construct a phenomenological Landau theory for the two-dimensional helical Fermi liquid found on the surface of a three-dimensional time-reversal invariant topological insulator. In the presence of rotation symmetry, interactions between quasiparticles are described by ten independent Landau parameters per angular momentum channel, by contrast with the two (symmetric and antisymmetric) Landau parameters for a conventional spin-degenerate Fermi liquid. We then project quasiparticle states onto the Fermi surface and obtain an effectively spinless, projected Landau theory with a single projected Landau parameter per angular momentum channel that captures the spin-momentum locking or nontrivial Berry phase of the Fermi surface. As a result of this nontrivial Berry phase, projection to the Fermi surface can increase or lower the angular momentum of the quasiparticle interactions. We derive equilibrium properties, criteria for Fermi surface instabilities, and collective mode dispersions in terms of the projected Landau parameters. We briefly discuss experimental means of measuring projected Landau parameters.


title: Generative Image Modeling Using Spatial LSTMs

abstract: Modeling the distribution of natural images is challenging, partly because of strong statistical dependencies which can extend over hundreds of pixels. Recurrent neural networks have been successful in capturing long-range dependencies in a number of problems but only recently have found their way into generative image models. We here introduce a recurrent image model based on multi-dimensional long short-term memory units which are particularly suited for image modeling due to their spatial structure. Our model scales to images of arbitrary size and its likelihood is computationally tractable. We find that it outperforms the state of the art in quantitative comparisons on several image datasets and produces promising results when used for texture synthesis and inpainting.


title: Strategic decentralization in binary choice composite congestion games

abstract: This paper studies strategic decentralization in binary choice composite network congestion games. A player decentralizes if she lets some autonomous agents to decide respectively how to send different parts of her stock from the origin to the destination. This paper shows that, with convex, strictly increasing and differentiable arc cost functions, an atomic splittable player always has an optimal unilateral decentralization strategy. Besides, unilateral decentralization gives her the same advantage as being the leader in a Stackelberg congestion game. Finally, unilateral decentralization of an atomic player has a negative impact on the social cost and on the costs of the other players at the equilibrium of the congestion game.


title: Many-body dispersion effects in the binding of adsorbates on metal surfaces

abstract: A correct description of electronic exchange and correlation effects for molecules in contact with extended (metal) surfaces is a challenging task for first-principles modeling. In this work we demonstrate the importance of collective van der Waals dispersion effects beyond the pairwise approximation for organic--inorganic systems on the example of atoms, molecules, and nanostructures adsorbed on metals. We use the recently developed many-body dispersion (MBD) approach in the context of density-functional theory [Phys. Rev. Lett. 108, 236402 (2012); J. Chem. Phys. 140, 18A508 (2014)] and assess its ability to correctly describe the binding of adsorbates on metal surfaces. We briefly review the MBD method and highlight its similarities to quantum-chemical approaches to electron correlation in a quasiparticle picture. In particular, we study the binding properties of xenon, 3,4,9,10-perylene-tetracarboxylic acid (PTCDA), and a graphene sheet adsorbed on the Ag(111) surface. Accounting for MBD effects we are able to describe changes in the anisotropic polarizability tensor, improve the description of adsorbate vibrations, and correctly capture the adsorbate--surface interaction screening. Comparison to other methods and experiment reveals that inclusion of MBD effects improves adsorption energies and geometries, by reducing the overbinding typically found in pairwise additive dispersion-correction approaches.


title: On the Asymptotic Efficiency of Approximate Bayesian Computation Estimators

abstract: Many statistical applications involve models for which it is difficult to evaluate the likelihood, but from which it is relatively easy to sample. Approximate Bayesian computation is a likelihood-free method for implementing Bayesian inference in such cases. We present results on the asymptotic variance of estimators obtained using approximate Bayesian computation in a large-data limit. Our key assumption is that the data are summarized by a fixed-dimensional summary statistic that obeys a central limit theorem. We prove asymptotic normality of the mean of the approximate Bayesian computation posterior. This result also shows that, in terms of asymptotic variance, we should use a summary statistic that is the same dimension as the parameter vector, p; and that any summary statistic of higher dimension can be reduced, through a linear transformation, to dimension p in a way that can only reduce the asymptotic variance of the posterior mean. We look at how the Monte Carlo error of an importance sampling algorithm that samples from the approximate Bayesian computation posterior affects the accuracy of estimators. We give conditions on the importance sampling proposal distribution such that the variance of the estimator will be the same order as that of the maximum likelihood estimator based on the summary statistics used. This suggests an iterative importance sampling algorithm, which we evaluate empirically on a stochastic volatility model.


title: Test Set Diameter: Quantifying the Diversity of Sets of Test Cases

abstract: A common and natural intuition among software testers is that test cases need to differ if a software system is to be tested properly and its quality ensured. Consequently, much research has gone into formulating distance measures for how test cases, their inputs and/or their outputs differ. However, common to these proposals is that they are data type specific and/or calculate the diversity only between pairs of test inputs, traces or outputs. We propose a new metric to measure the diversity of sets of tests: the test set diameter (TSDm). It extends our earlier, pairwise test diversity metrics based on recent advances in information theory regarding the calculation of the normalized compression distance (NCD) for multisets. An advantage is that TSDm can be applied regardless of data type and on any test-related information, not only the test inputs. A downside is the increased computational time compared to competing approaches. Our experiments on four different systems show that the test set diameter can help select test sets with higher structural and fault coverage than random selection even when only applied to test inputs. This can enable early test design and selection, prior to even having a software system to test, and complement other types of test automation and analysis. We argue that this quantification of test set diversity creates a number of opportunities to better understand software quality and provides practical ways to increase it.


title: A simple non-equilibrium, statistical-physics toy model of thin-film growth

abstract: We present a simple non-equilibrium model of mass condensation with Lennard-Jones interactions between particles and the substrate. We show that when some number of particles is deposited onto the surface and the system is left to equilibrate, particles condense into an island if the density of particles becomes higher than some critical density. We illustrate this with numerically obtained phase diagrams for three-dimensional systems. We also solve a two-dimensional counterpart of this model analytically and show that not only the phase diagram but also the shape of the cross-sections of three-dimensional condensates qualitatively matches the two-dimensional predictions. Lastly, we show that when particles are being deposited with a constant rate, the system has two phases: a single condensate for low deposition rates, and multiple condensates for fast deposition. The behaviour of our model is thus similar to that of thin film growth processes, and in particular to Stranski-Krastanov growth.


title: New Vector-Like Fermions and Flavor Physics

abstract: We study renormalizable extensions of the standard model that contain vector-like fermions in a (single) complex representation of the standard model gauge group. There are 11 models where the vector-like fermions Yukawa couple to the standard model fermions via the Higgs field. These models do not introduce additional fine- tunings. They can lead to, and are constrained by, a number of different flavor- changing processes involving leptons and quarks, as well as direct searches. An interesting feature of the models with strongly interacting vector-like fermions is that constraints from neutral meson mixings (apart from CP violation in neutral kaon mixing) are not sensitive to higher scales than other flavor-changing neutral-current processes. We identify order 1/(4 pi M)^2 (where M is the vector-like fermion mass) one-loop contributions to the coefficients of the four-quark operators for meson mixing, that are not suppressed by standard model quark masses and/or mixing angles.


title: Completing Quantum Mechanics with Quantized Hidden Variables

abstract: I explore the possibility that a quantum system S may be described completely by the combination of its standard quantum state $|\psi\rangle$ and a (hidden) quantum state $|\phi\rangle$ (that lives in the same Hilbert space), such that the outcome of any standard projective measurement on the system S is determined once the two quantum states are specified. I construct an algorithm that retrieves the standard quantum-mechanical probabilities, which depend only on $|\psi\rangle$, by assuming that the (hidden) quantum state $|\phi\rangle$ is drawn at random from some fixed probability distribution Pr(.) and by averaging over Pr(.). Contextuality and Bell nonlocality turn out to emerge automatically from this algorithm as soon as the dimension of the Hilbert space of S is larger than 2. If $|\phi\rangle$ is not completely random, subtle testable deviations from standard quantum mechanics may arise in sequential measurements on single systems.


title: Sequential Nonparametric Testing with the Law of the Iterated Logarithm

abstract: We propose a new algorithmic framework for sequential hypothesis testing with i.i.d. data, which includes A/B testing, nonparametric two-sample testing, and independence testing as special cases. It is novel in several ways: (a) it takes linear time and constant space to compute on the fly, (b) it has the same power guarantee as a non-sequential version of the test with the same computational constraints up to a small factor, and (c) it accesses only as many samples as are required - its stopping time adapts to the unknown difficulty of the problem. All our test statistics are constructed to be zero-mean martingales under the null hypothesis, and the rejection threshold is governed by a uniform non-asymptotic law of the iterated logarithm (LIL). For the case of nonparametric two-sample mean testing, we also provide a finite sample power analysis, and the first non-asymptotic stopping time calculations for this class of problems. We verify our predictions for type I and II errors and stopping times using simulations.


title: From Paraphrase Database to Compositional Paraphrase Model and Back

abstract: The Paraphrase Database (PPDB; Ganitkevitch et al., 2013) is an extensive semantic resource, consisting of a list of phrase pairs with (heuristic) confidence estimates. However, it is still unclear how it can best be used, due to the heuristic nature of the confidences and its necessarily incomplete coverage. We propose models to leverage the phrase pairs from the PPDB to build parametric paraphrase models that score paraphrase pairs more accurately than the PPDB's internal scores while simultaneously improving its coverage. They allow for learning phrase embeddings as well as improved word embeddings. Moreover, we introduce two new, manually annotated datasets to evaluate short-phrase paraphrasing models. Using our paraphrase model trained using PPDB, we achieve state-of-the-art results on standard word and bigram similarity tasks and beat strong baselines on our new short phrase paraphrase tasks.


title: Local Ramsey theory. An abstract approach

abstract: Given a topological Ramsey space $(\mathcal R,\leq, r)$, we extend the notion of semiselective coideal to sets $\mathcal H\subseteq\mathcal R$ and study conditions for $\mathcal H$ that will enable us to make the structure $(\mathcal R,\mathcal H,\leq, r)$ a Ramsey space (not necessarily topological) and also study forcing notions related to $\mathcal H$ which will satisfy abstract versions of interesting properties of the corresponding forcing notions in the realm of Ellentuck's space. This extends results of Farah, and results of Mijares, to the most general context of topological Ramsey spaces. As applications, we prove that for every topological Ramsey space $\mathcal R$, under suitable large cardinal hypotheses every semiselective ultrafilter $\mathcal U\subseteq\mathcal R$ is generic over $L(\mathbb R)$; and that given a semiselective coideal $\mathcal H\subseteq\mathcal R$, every definable subset of $\mathcal R$ is $\mathcal H$--Ramsey. This generalizes the corresponding results for the case when $\mathcal R$ is equal to Ellentuck's space.


title: Truthful Linear Regression

abstract: We consider the problem of fitting a linear model to data held by individuals who are concerned about their privacy. Incentivizing most players to truthfully report their data to the analyst constrains our design to mechanisms that provide a privacy guarantee to the participants; we use differential privacy to model individuals' privacy losses. This immediately poses a problem, as differentially private computation of a linear model necessarily produces a biased estimation, and existing approaches to design mechanisms to elicit data from privacy-sensitive individuals do not generalize well to biased estimators. We overcome this challenge through an appropriate design of the computation and payment scheme.


title: Tunable inertia of chiral magnetic domain walls

abstract: The time it takes to accelerate an object from zero to a given velocity depends on the applied force and the environment. If the force ceases, it takes exactly the same time to completely decelerate. A magnetic domain wall (DW) is a topological object that has been observed to follow this behavior. Here we show that acceleration and deceleration times of chiral Neel walls driven by current are different in a system with low damping and moderate Dzyaloshinskii-Moriya (DM) exchange constant. The time needed to accelerate a DW with current via the spin Hall torque is much faster than the time it needs to decelerate once the current is turned off. The deceleration time is defined by the DM exchange constant whereas the acceleration time depends on the spin Hall torque, enabling tunable inertia of chiral DWs. Such unique feature of chiral DWs can be utilized to move and position DWs with lower current, key to the development of storage class memory devices.


title: Current driven "plasmonic boom" instability in three-dimensional gated periodic ballistic nanostructures

abstract: A new approach of using distributed transmission line analogy for solving transport equations for ballistic nanostructures is applied for solving the three dimensional problem of the electron transport in gated ballistic nanostructures with periodically changing width. The structures with the varying width allow for modulation of the electron drift velocity while keeping the plasma velocity constant. We predict that in such structures biased by a constant current, a periodic modulation of the electron drift velocity due the varying width results in the instability of the plasma waves if the electron drift velocity to plasma wave velocity ratio changes from below to above unity. The physics of such instability is similar to that of the sonic boom, but, in the periodically modulated structures, this analog of the sonic boom is repeated many times leading to a larger increment of the instability. The constant plasma velocity in the sections of different width leads to the resonant excitation of the unstable plasma modes with the varying bias current. This effect (that we refer to as the super plasmonic boom condition) results in a strong enhancement of the instability. The predicted instability involves the oscillating dipole charge carried by the plasma waves. The plasmons can be efficiently coupled to the terahertz (THz) electromagnetic radiation due to the periodic geometry of the gated structure. Our estimates show that the analyzed instability should enable powerful tunable terahertz electronic sources.