title: Fast Estimation of Causal Interactions using Wold Processes

abstract: We here focus on the task of learning Granger causality matrices for multivariate point processes. In order to accomplish this task, our work is the first to explore the use of Wold processes. By doing so, we are able to develop asymptotically fast MCMC learning algorithms. With $N$ being the total number of events and $K$ the number of processes, our learning algorithm has a $O(N(\,\log(N)\,+\,\log(K)))$ cost per iteration. This is much faster than the $O(N^3\,K^2)$ or $O(K^3)$ for the state of the art. Our approach, called GrangerBusca, is validated on nine datasets. This is an advance in relation to most prior efforts which focus mostly on subsets of the Memetracker data. Regarding accuracy, GrangerBusca is three times more accurate (in Precision@10) than the state of the art for the commonly explored subsets Memetracker. Due to GrangerBusca's much lower training complexity, our approach is the only one able to train models for larger, full, sets of data.


title: Gradual System F

abstract: Bringing the benefits of gradual typing to a language with parametric polymorphism like System F, while preserving relational parametricity, has proven extremely challenging: first attempts were formulated a decade ago, and several designs have been recently proposed, with varying syntax, behavior, and properties. Starting from a detailed review of the challenges and tensions that affect the design of gradual parametric languages, this work presents an extensive account of the semantics and metatheory of GSF, a gradual counterpart of System F. In doing so, we also report on the extent to which the Abstracting Gradual Typing methodology can help us derive such a language. Among gradual parametric languages that follow the syntax of System F, GSF achieves a unique combination of properties. We clearly establish the benefits and limitations of the language, and discuss several extensions of GSF towards a practical programming language.


title: Electronic structure of monolayer antimonene nanoribbons under out-of-plane and transverse bias

abstract: A systematic study of the electronic properties of single layer Sb (antimonene) nanoribbons is presented. By using a 6-orbital tight-binding Hamiltonian, we study the electronic band structure of finite ribbons with zigzag or armchair termination. We show that there is good agreement between ab initio calculations and the tight-binding model. We study how the size of the gap can be controlled by applying an external bias potential. An electric field applied perpendicular to the antimonene layer is found to increase the band gap, while a transverse bias potential leads to a position dependent reduction of the band gap. Both kinds of bias potential break inversion symmetry of the crystal. This, together with the strong intrinsic spin-orbit coupling of antimonene, leads to spin-splitting of the valence band states.


title: Measuring supermassive black hole peculiar motion using H$_2$O megamasers

abstract: H$_2$O megamasers residing in the accretion disks of active galactic nuclei (AGN) exhibit Keplerian rotation about the central supermassive black hole (SMBH). Such disk maser systems are excellent tools for diagnosing the kinematic status of the SMBH, and they currently provide the only direct and unambiguous measure of SMBH velocities outside of the Milky Way. We have measured the galaxy recession velocities for a sample of 10 maser disk systems using a combination of spatially resolved HI disk modeling, spatially integrated HI profile fitting, and optical spectral line and continuum fitting. In comparing the SMBH velocities to those of their host galaxies, we find two (out of 10) systems -- J0437+2456 and NGC 6264 -- for which the SMBH and galaxy velocities show a statistically significant ($>$3$\sigma$) difference. For NGC 6264 the apparent velocity offset can likely be explained by ionized gas motion within the host galaxy (e.g., from AGN-driven shocks). The velocity measurements for J0437+2456, however, imply a SMBH peculiar velocity of $69.6 \pm 12.7$ km s$^{-1}$ (5.5$\sigma$). We thus consider J0437+2456 to be a promising candidate for hosting either a recoiling or binary SMBH, though additional observations are necessary to exclude the possibility of a systematic offset between the galactic recession velocity and that measured using the optical spectrum.


title: Benchmarking treewidth as a practical component of tensor-network--based quantum simulation

abstract: Tensor networks are powerful factorization techniques which reduce resource requirements for numerically simulating principal quantum many-body systems and algorithms. The computational complexity of a tensor network simulation depends on the tensor ranks and the order in which they are contracted. Unfortunately, computing optimal contraction sequences (orderings) in general is known to be a computationally difficult (NP-complete) task. In 2005, Markov and Shi showed that optimal contraction sequences correspond to optimal (minimum width) tree decompositions of a tensor network's line graph, relating the contraction sequence problem to a rich literature in structural graph theory. While treewidth-based methods have largely been ignored in favor of dataset-specific algorithms in the prior tensor networks literature, we demonstrate their practical relevance for problems arising from two distinct methods used in quantum simulation: multi-scale entanglement renormalization ansatz (MERA) datasets and quantum circuits generated by the quantum approximate optimization algorithm (QAOA). We exhibit multiple regimes where treewidth-based algorithms outperform domain-specific algorithms, while demonstrating that the optimal choice of algorithm has a complex dependence on the network density, expected contraction complexity, and user run time requirements. We further provide an open source software framework designed with an emphasis on accessibility and extendability, enabling replicable experimental evaluations and future exploration of competing methods by practitioners.


title: A mechanism of macroscopic rigid-body behavior through evanescent mode

abstract: It has been numerically found that the setup of Newton's cradle can exhibit a rigid-body like behavior, that is, the target cluster starts to move collectively without emitting the outermost particle if the purely repulsive interaction between the neighbouring particles is very "soft" [KS, Phys. Rev. Lett. 104, 124302 (2010)]. We show theoretically that such an interaction leads to an evanescent mode within the cluster, which delivers the momentum within the cluster without any propagating oscillation.


title: Finite Size Effect from Classical Strings in deformed AdS$_3\times$ S$^3$

abstract: We study the finite size effect of rigidly rotating and spinning folded strings in $(AdS_3\times S^3)_{\varkappa}$ background. We calculate the leading order exponential corrections to the infinite size dispersion relation of the giant magnon, and single spike solutions. For the spinning folded strings we write the finite size effect in terms of the known Lambert $W$-function.


title: Rule Induction Partitioning Estimator

abstract: RIPE is a novel deterministic and easily understandable prediction algorithm developed for continuous and discrete ordered data. It infers a model, from a sample, to predict and to explain a real variable $Y$ given an input variable $X \in \mathcal X$ (features). The algorithm extracts a sparse set of hyperrectangles $\mathbf r \subset \mathcal X$, which can be thought of as rules of the form If-Then. This set is then turned into a partition of the features space $\mathcal X$ of which each cell is explained as a list of rules with satisfied their If conditions. The process of RIPE is illustrated on simulated datasets and its efficiency compared with that of other usual algorithms.


title: Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation

abstract: (CROPPED TO FIT IN ARXIV'S SILLY LIMIT. SEE PDF FOR COMPLETE ABSTRACT.) We are the first to thoroughly explore a large space of formal secure compilation criteria based on robust property preservation, i.e., the preservation of properties satisfied against arbitrary adversarial contexts. We study robustly preserving various classes of trace properties such as safety, of hyperproperties such as noninterference, and of relational hyperproperties such as trace equivalence. This leads to many new secure compilation criteria, some of which are easier to practically achieve and prove than full abstraction, and some of which provide strictly stronger security guarantees. For each of the studied criteria we propose an equivalent "property-free" characterization that clarifies which proof techniques apply. For relational properties and hyperproperties, which relate the behaviors of multiple programs, our formal definitions of the property classes themselves are novel. We order our criteria by their relative strength and show several collapses and separation results. Finally, we adapt existing proof techniques to show that even the strongest of our secure compilation criteria, the robust preservation of all relational hyperproperties, is achievable for a simple translation from a statically typed to a dynamically typed language.


title: Electrodisintegration of Deuteron into Dark Matter and Proton Close to Threshold

abstract: We discuss an investigation of the dark matter decay modes of the neutron, proposed by Fornal and Grinstein (Phys. Rev. Lett. 120 191801 (2018)) and Ivanov et al. ( arXiv:1806.10107 [hep-ph]) for solution of the neutron lifetime anomaly problem, through the analysis of the electrodisintegration of the deuteron d into dark matter fermions chi and protons p close to threshold. We calculate the triple-differential cross section for the reaction e^- + d ->\chi + p + e^- and propose to search for such a dark matter channel in coincidence experiments on the electrodisintegration of the deuteron e^- + d -> n + p + e^- into neutrons n and protons close to threshold with outgoing electrons, protons and neutrons in coincidence. A missing of neutron signals should testify a detection of dark matter fermions.


title: Machine learning enhanced global optimization by clustering local environments to enable bundled atomic energies

abstract: We show how to speed up global optimization of molecular structures using machine learning methods. To represent the molecular structures we introduce the auto-bag feature vector that combines: i) a local feature vector for each atom, ii) an unsupervised clustering of such feature vectors for many atoms across several structures, and iii) a count for a given structure of how many times each cluster is represented. During subsequent global optimization searches, accumulated structure-energy relations of relaxed structural candidates are used to assign local energies to each atom using supervised learning. Specifically, the local energies follow from assigning energies to each cluster of local feature vectors and demanding the sum of local energies to amount to the structural energies in the least squares sense. The usefulness of the method is demonstrated in basin hopping searches for 19-atom structures described by single- or double-well Lennard- Jones type potentials and for 24-atom carbon structures described by density functional theory (DFT). In all cases, utilizing the local energy information derived on-the-fly enhances the rate at which the global minimum energy structure is found.


title: A Survey Investigating Usage of Virtual Personal Assistants

abstract: Despite significant improvements in automatic speech recognition and spoken language understanding - human interaction with Virtual Personal Assistants (VPAs) through speech remains irregular and sporadic. According to recent studies, currently the usage of VPAs is constrained to basic tasks such as checking facts, playing music, and obtaining weather updates.In this paper, we present results of a survey (N = 118) that analyses usage of VPAs by frequent and infrequent users. We investigate how usage experience, performance expectations, and privacy concerns differ between these two groups. The results indicate that, compared with infrequent users, frequent users of VPAs are more satisfied with their assistants, more eager to use them in a variety of settings, yet equally concerned about their privacy.


title: VERITAS observations of the BL Lac object TXS 0506+056

abstract: On 2017 September 22, the IceCube Neutrino Observatory reported the detection of the high-energy neutrino event \icnu, of potential astrophysical origin. It was soon determined that the neutrino direction was consistent with the location of the gamma-ray blazar \txs~(3FGL J0509.4+0541), which was in an elevated gamma-ray emission state as measured by the \emph{Fermi} satellite. VERITAS observations of the neutrino/blazar region started on 2017 September 23 in response to the neutrino alert and continued through 2018 February 6. While no significant very-high-energy (VHE; E $>$ 100 GeV) emission was observed from the blazar by VERITAS in the two-week period immediately following the IceCube alert, TXS 0506+056 was detected by VERITAS with a significance of 5.8 standard deviations ($\sigma$) in the full 35-hour data set. The average photon flux of the source during this period was $(8.9 \pm 1.6) \times 10^{-12} \; \mathrm{cm}^{-2} \, \mathrm{s}^{-1}$, or 1.6\% of the Crab Nebula flux, above an energy threshold of 110 GeV, with a soft spectral index of $4.8 \pm 1.3$.


abstract: We investigate Poisson-Lie duals of the $\eta$-deformed $\mathrm{AdS}_2 \times \mathrm{S}^2 \times \mathrm{T}^6$ superstring. The $\eta$-deformed background satisfies a generalisation of the type II supergravity equations. We discuss three Poisson-Lie duals, with respect to (i) the full $\mathfrak{psu}(1,1|2)$ superalgebra, (ii) the full bosonic subalgebra and (iii) the Cartan subalgebra, for which the corresponding backgrounds are expected to satisfy the standard type II supergravity equations. The metrics and B-fields for the first two cases are the same and given by an analytic continuation of the $\lambda$-deformed model on $\mathrm{AdS}_2 \times \mathrm{S}^2 \times \mathrm{T}^6$ with the torus undeformed. However, the RR fluxes and dilaton will differ. Focusing on the second case we explicitly derive the background and show agreement with an analytic continuation of a known embedding of the $\lambda$-deformed model on $\mathrm{AdS}_2 \times \mathrm{S}^2$ in type II supergravity.


title: Split Regular $Hom$-Leibniz Color $3$-Algebras

abstract: We introduce and describe the class of split regular $Hom$-Leibniz color $3$-algebras as the natural extension of the class of split Lie algebras, split Leibniz algebras, split Lie $3$-algebras, split Lie triple systems, split Leibniz $3$-algebras, and some other algebras. More precisely, we show that any of such split regular $Hom$-Leibniz color $3$-algebras $T$ is of the form ${T}={\mathcal U} +\sum\limits_{j}I_{j}$, with $\mathcal U$ a subspace of the $0$-root space ${T}_0$, and $I_{j}$ an ideal of $T$ satisfying {for} $j\neq k:$ \[[{ T},I_j,I_k]+[I_j,{ T},I_k]+[I_j,I_k,T]=0.\] Moreover, if $T$ is of maximal length, we characterize the simplicity of $T$ in terms of a connectivity property in its set of non-zero roots.


title: A Dense Companion to the Short-Period Millisecond Pulsar Binary PSR J0636+5128

abstract: PSR J0636+5128 is a millisecond pulsar in one of the most compact pulsar binaries known, with a 96\,min orbital period. The pulsar mass function suggests a very low-mass companion, similar to that seen in so-called "black widow" binaries. Unlike in most of those, however, no radio eclipses by material driven off from the companion were seen leading to the possibility that the companion was a degenerate remnant of a carbon-oxygen white dwarf. We report the discovery of the optical counterpart of its companion in images taken with the Gemini North and Keck~I telescopes. The companion varies between $r=25$ and $r=23$ on the 96\,min orbital period of the binary, caused by irradiation from the pulsar's energetic wind. We modeled the multi-color lightcurve using parallax constraints from pulsar timing and determine a companion mass of $(1.71\pm0.23)\times 10^{-2}\,M_\odot$, a radius of $(7.6\pm1.4)\times 10^{-2}\,R_\odot$, and a mean density of $54\pm26\,{\rm g\,cm}^{-3}$, all for an assumed neutron star mass of $1.4\,M_\odot$. This makes the companion to PSR J0636+5128 one of the densest of the "black widow" systems. Modeling suggests that the composition is not predominantly hydrogen, perhaps due to an origin in an ultra-compact X-ray binary.


title: Thin film of a topological insulator as a spin Hall insulator

abstract: We study spin conductivity of the surface states in a thin film of a topological insulator with Kubo formulas. Hybridization between the different sides of the film opens a gap at the Dirac point. We found that in the gapped region spin conductivity remains finite. In the gapless region near the band gap spin conductivity is enhanced. These findings make a thin film of a topological insulator as a promising material for spintronic applications.


title: Pricing without martingale measure

abstract: For several decades, the no-arbitrage (NA) condition and the martingale measures have played a major role in the financial asset's pricing theory. We propose a new approach for estimating the super-replication cost based on convex duality instead of martingale measures duality: Our prices will be expressed using Fenchel conjugate and bi-conjugate. The super-hedging problem leads endogenously to a weak condition of NA called Absence of Immediate Profit (AIP). We propose several characterizations of AIP and study the relation with the classical notions of no-arbitrage. We also give some promising numerical illustrations.


title: Push-Down Trees: Optimal Self-Adjusting Complete Trees

abstract: This paper studies a fundamental algorithmic problem related to the design of demand-aware networks: networks whose topologies adjust toward the traffic patterns they serve, in an online manner. The goal is to strike a tradeoff between the benefits of such adjustments (shorter routes) and their costs (reconfigurations). In particular, we consider the problem of designing a self-adjusting tree network which serves single-source, multi-destination communication. The problem has interesting connections to self-adjusting datastructures. We present two constant-competitive online algorithms for this problem, one randomized and one deterministic. Our approach is based on a natural notion of Most Recently Used (MRU) tree, maintaining a working set. We prove that the working set is a cost lower bound for any online algorithm, and then present a randomized algorithm RANDOM-PUSH which approximates such an MRU tree at low cost, by pushing less recently used communication partners down the tree, along a random walk. Our deterministic algorithm MOVE-HALF does not directly maintain an MRU tree, but its cost is still proportional to the cost of an MRU tree, and also matches the working set lower bound.


title: Comment on "Experimental retrodiction of trajectories in double interferometer"

abstract: A comment on a misleading statement contained in [Phys. Rev. A 97, 062115 (2018)]. v2: a typo corrected


title: Stochastic pair approximation treatment of the noisy voter model

abstract: We present a full stochastic description of the pair approximation scheme to study binary-state dynamics on heterogeneous networks. Within this general approach, we obtain a set of equations for the dynamical correlations, fluctuations and finite-size effects, as well as for the temporal evolution of all relevant variables. We test this scheme for a prototypical model of opinion dynamics known as the noisy voter model that has a finite-size critical point. Using a closure approach based on a system size expansion around a stochastic dynamical attractor we obtain very accurate results, as compared with numerical simulations, for stationary and time dependent quantities whether below, within or above the critical region. We also show that finite-size effects in complex networks cannot be captured, as often suggested, by merely replacing the actual system size $N$ by an effective network dependent size $N_{{\rm eff}}$


title: Virtualizing the Stampede2 Supercomputer with Applications to HPC in the Cloud

abstract: Methods developed at the Texas Advanced Computing Center (TACC) are described and demonstrated for automating the construction of an elastic, virtual cluster emulating the Stampede2 high performance computing (HPC) system. The cluster can be built and/or scaled in a matter of minutes on the Jetstream self-service cloud system and shares many properties of the original Stampede2, including: i) common identity management, ii) access to the same file systems, iii) equivalent software application stack and module system, iv) similar job scheduling interface via Slurm. We measure time-to-solution for a number of common scientific applications on our virtual cluster against equivalent runs on Stampede2 and develop an application profile where performance is similar or otherwise acceptable. For such applications, the virtual cluster provides an effective form of "cloud bursting" with the potential to significantly improve overall turnaround time, particularly when Stampede2 is experiencing long queue wait times. In addition, the virtual cluster can be used for test and debug without directly impacting Stampede2. We conclude with a discussion of how science gateways can leverage the TACC Jobs API web service to incorporate this cloud bursting technique transparently to the end user.


title: Quantum Critical Detector : Amplifying Weak Signals Using First-Order Dynamical Quantum Phase Transitions

abstract: We introduce a first-order quantum-phase-transition model, which exhibits giant sensitivity $\chi \propto N^2$ at the critical point. Exploiting this effect, we propose a quantum critical detector (QCD) to amplify weak input signals. The time-dynamic QCD functions by triggering a first-order dynamical quantum phase transition in a system of spins with long-range interactions coupled to a bosonic mode. We numerically demonstrate features of the dynamical quantum phase transition, which leads to a time-dependent quantum gain. We also show the linear scaling with the spin number $N$ in both the quantum gain and the corresponding signal-to-quantum noise ratio of this QCD. Our QCD can be a resource for metrology, weak signal amplification, and single photon detection.


title: Proofs and Performance Evaluation of Greedy Multi-Channel Neighbor Discovery Approaches

abstract: The accelerating penetration of physical environments by objects with information processing and wireless communication capabilities requires approaches to find potential communication partners and discover services. In the present work, we focus on passive discovery approaches in multi-channel wireless networks based on overhearing periodic beacon transmissions of neighboring devices which are otherwise agnostic to the discovery process. We propose a family of low-complexity algorithms that generate listening schedules guaranteed to discover all neighbors. The presented approaches simultaneously depending on the beacon periods optimize the worst case discovery time, the mean discovery time, and the mean number of neighbors discovered until any arbitrary in time. The presented algorithms are fully compatible with technologies such as IEEE 802.11 and IEEE 802.15.4. Complementing the proposed low-complexity algorithms, we formulate the problem of computing discovery schedules that minimize the mean discovery time for arbitrary beacon periods as an integer linear problem. We study the performance of the proposed approaches analytically, by means of numerical experiments, and by extensively simulating them under realistic conditions. We observe that the generated listening schedules significantly - by up to factor 4 for the mean discovery time, and by up to 300% for the mean number of neighbors discovered until each point in time - outperform the Passive Scan, a discovery approach defined in the IEEE 802.15.4 standard. Based on the gained insights, we discuss how the selection of the beacon periods influences the efficiency of the discovery process, and provide recommendations for the design of systems and protocols.


title: A Quasiparticle Transport Explanation for Collectivity in the Smallest of Collision Systems (p + p and e+e-)

abstract: The field of heavy ion physics is at a crossroads in understanding experimental signatures of collectivity in small collision systems, p + p and p(d/3He) + A, at RHIC and the LHC. A wealth of data obtained in the latter class of asymmetric systems indicate the existence of particle emission patterns similar to those observed in larger A+A collisions [1], raising the question of whether the same physics is at play in both cases, lest the cruelty of nature be somehow exposed. In this talk, we present an extension of earlier studies using the quasiparticle transport model AMPT to predict particle emission patterns in the smallest of collision systems, namely p + p and e+e-. The e+e- results have been previously published [2] and we thus focus here on an extended set of calculations, as shown at the Quark Matter 2018 Conference.


title: Preinflationary dynamics of power-law potential in loop quantum cosmology

abstract: In this article, I mainly discuss the dynamics of the pre-inflationary Universe for the potential $V(\phi) \propto \phi^n$ with $n=5/3$ in the context of loop quantum cosmology, in which the big bang singularity is resolved by a non-singular quantum bounce. In the case of the kinetic energy-dominated initial conditions of the scalar field at the bounce, the numerical evolution of the Universe can be split up into three regimes: {\em bouncing, transition,} and {\em slow-roll inflation}. In the bouncing regime, the~numerical evolution of the scale factor does not depend on a wide range of initial values, {or on}~the inflationary potentials. I calculate the number of $e$-folds in the slow-roll regime, by which observationally identified initial conditions are obtained. Additionally, I display the phase portrait for the model under consideration.


title: Analysis of a Dynamic Voluntary Contribution Mechanism Public Good Game

abstract: I present a dynamic, voluntary contribution mechanism, public good game and derive its potential outcomes. In each period, players endogenously determine contribution productivity by engaging in costly investment. The level of contribution productivity carries from period to period, creating a dynamic link between periods. The investment mimics investing in the stock of technology for producing public goods such as national defense or a clean environment. After investing, players decide how much of their remaining money to contribute to provision of the public good, as in traditional public good games. I analyze three kinds of outcomes of the game: the lowest payoff outcome, the Nash Equilibria, and socially optimal behavior. In the lowest payoff outcome, all players receive payoffs of zero. Nash Equilibrium occurs when players invest any amount and contribute all or nothing depending on the contribution productivity. Therefore, there are infinitely many Nash Equilibria strategies. Finally, the socially optimal result occurs when players invest everything in early periods, then at some point switch to contributing everything. My goal is to discover and explain this point. I use mathematical analysis and computer simulation to derive the results.


title: High-dimensional quantum communication complexity beyond strategies based on Bell's theorem

abstract: Quantum resources can improve communication complexity problems (CCPs) beyond their classical constraints. One quantum approach is to share entanglement and create correlations violating a Bell inequality, which can then assist classical communication. A second approach is to resort solely to the preparation, transmission and measurement of a single quantum system; in other words quantum communication. Here, we show the advantages of the latter over the former in high-dimensional Hilbert space. We focus on a family of CCPs, based on facet Bell inequalities, study the advantage of high-dimensional quantum communication, and realise such quantum communication strategies using up to ten-dimensional systems. The experiment demonstrates, for growing dimension, an increasing advantage over quantum strategies based on Bell inequality violation. For sufficiently high dimensions, quantum communication also surpasses the limitations of the post-quantum Bell correlations obeying only locality in the macroscopic limit. Surprisingly, we find that the advantages are tied to the use of measurements that are not rank-one projective. We provide an experimental semi-device-independent falsification of such measurements in Hilbert space dimension six.


title: Variations of the Catalan numbers from some nonassociative binary operations

abstract: We investigate certain nonassociative binary operations that satisfy a four-parameter generalization of the associative law. From this we obtain variations of the ubiquitous Catalan numbers and connections to many interesting combinatorial objects such as binary trees, plane trees, lattice paths, and permutations.


title: On deformation-gradient tensors as two-point tensors in curvilinear coordinates

abstract: We derive a general expression for the deformation-gradient tensor by invoking the standard definition of a gradient of a vector field in curvilinear coordinates. This expression shows the connection between the standard definition of a gradient of a vector field and the deformation gradient tensor in continuum mechanics. We illustrate its application in the context of problems discussed by Ogden [1997].


title: Artificial Neural Networks-based Track Fitting of Cosmic Muons through Stacked Resistive Plate Chambers

abstract: The India-based Neutrino Observatory (INO) collaboration, as part of its detector R\&D program, has developed prototype stacks of resistive plate chambers (RPCs) to study their performance. These stacks have also been used as testbenches for the development of related hardware and software. A crucial parameter in the characterisation of these detectors and other physics studies is the detection efficiency, which is estimated from track fitting of cosmic muons passing through the stack. So far, a simple straight line fit was used for track fitting, which was sensitive to noise hits and led to rejection of events. In this paper, we present our first results of using artificial neural networks (ANN) for track fitting of cosmic muons traversing a stack of RPCs. We present in detail, the simulation framework designed for this purpose and show that ANN offers better track reconstruction efficiency than straight line fitting. We also discuss the influence of noise and detection efficiency of cosmic muons on the track reconstruction efficiency.


title: Implementation and benchmarking of a crosstalk-free method for wavefront Zernike coefficients reconstruction using Shack-Hartmann sensor data

abstract: In wavefront characterization, often the combination of a Shack-Hartmann sensor and a reconstruction method utilizing the Cartesian derivatives of Zernike circle polynomials (the least-squares method, to be called here Method A) is used, which is known to introduce crosstalk. In \citep{janssen2014zernike} a crosstalk-free analytic expression of the LMS estimator of the wavefront Zernike coefficients is given in terms of wavefront partial derivatives (leading to what we call Method B). Here, we show an implementation of this analytic result where the derivative data are obtained using the Shack-Hartmann sensor and compare it with the conventional least-squares method.


title: Polynomial solutions of the Dirichlet problem for the Tricomi equation in a strip

abstract: An inhomogeneous Tricomi equation is considered in a strip with a polynomial right-hand side. It is shown that the Dirichlet boundary value problem with polynomial boundary conditions has a polynomial solution. An algorithm for constructing this polynomial solution is given and examples are considered. If the strip lies in the ellipticity region of the equation, then this solution is unique in the class of functions of polynomial growth. If the strip lies in a mixed region, then the solution of the Dirichlet problem is not unique in the class of functions of polynomial growth, but it is unique in the class of polynomials.


title: Perturbative solutions of the $f(R)$-theory of gravity in a central gravitational field and some applications

abstract: Exact solutions of an $ f(R) $-theory (of gravity) in a static central (gravitational) field have been studied in the literature quite well, but, to find and study exact solutions in the case of a non-static central field are not easy at all. There are, however, approximation methods of finding a solution in a central field which is not necessarily static. It is shown in this article that an approximate solution of an $f(R)$-theory in a general central field, which is not necessary to be static, can be found perturbatively around a solution of the Einstein equation in the general theory of relativity. In particular, vacuum solutions are found for $f(R)$ of general and some special forms. Further, applications to the investigation of a planetary motion and light's propagation in a central field are presented. An effect of an $f(R)$-gravity is also estimated for the SgrA*--S2 system. The latter gravitational system is much stronger than the Sun--Mercury system, thus the effect could be much stronger and, thus, much more measurable.


title: Learning Product Codebooks using Vector Quantized Autoencoders for Image Retrieval

abstract: Vector-Quantized Variational Autoencoders (VQ-VAE)[1] provide an unsupervised model for learning discrete representations by combining vector quantization and autoencoders. In this paper, we study the use of VQ-VAE for representation learning for downstream tasks, such as image retrieval. We first describe the VQ-VAE in the context of an information-theoretic framework. We show that the regularization term on the learned representation is determined by the size of the embedded codebook before the training and it affects the generalization ability of the model. As a result, we introduce a hyperparameter to balance the strength of the vector quantizer and the reconstruction error. By tuning the hyperparameter, the embedded bottleneck quantizer is used as a regularizer that forces the output of the encoder to share a constrained coding space such that learned latent features preserve the similarity relations of the data space. In addition, we provide a search range for finding the best hyperparameter. Finally, we incorporate the product quantization into the bottleneck stage of VQ-VAE and propose an end-to-end unsupervised learning model for the image retrieval task. The product quantizer has the advantage of generating large-size codebooks. Fast retrieval can be achieved by using the lookup tables that store the distance between any pair of sub-codewords. State-of-the-art retrieval results are achieved by the learned codebooks.


title: Kinetic theory for a simple modeling of phase transition: Dynamics out of local equilibrium

abstract: This is a continuation of the previous work (Takata & Noguchi, J. Stat. Phys., 2018) that introduces the presumably simplest model of kinetic theory for phase transition. Here, main concern is to clarify the stability of uniform equilibrium states in the kinetic regime, rather than that in the continuum limit. It is found by the linear stability analysis that the linear neutral curve is invariant with respect to the Knudsen number, though the transition process is dependent on the Knudsen number. In addition, numerical computations of the (nonlinear) kinetic model are performed to investigate the transition processes in detail. Numerical results show that (unexpected) incomplete transitions may happen as well as clear phase transitions.


title: Optimal Network Topology for Effective Collective Response

abstract: Natural, social, and artificial multi-agent systems usually operate in dynamic environments, where the ability to respond to changing circumstances is a crucial feature. An effective collective response requires suitable information transfer among agents, and thus is critically dependent on the agents' interaction network. In order to investigate the influence of the network topology on collective response, we consider an archetypal model of distributed decision-making---the leader-follower linear consensus---and study the collective capacity of the system to follow a dynamic driving signal (the "leader") for a range of topologies and system sizes. The analysis reveals a nontrivial relationship between optimal topology and frequency of the driving signal. Interestingly, the response is optimal when each individual interacts with a certain number of agents which decreases monotonically with the frequency and, for large enough systems, is independent of the size of the system. This phenomenology is investigated in experiments of collective motion using a swarm of land robots. The emergent collective response to both a slow- and a fast-changing leader is measured and analyzed for a range of interaction topologies. These results have far-reaching practical implications for the design and understanding of distributed systems, since they highlight that a dynamic rewiring of the interaction network is paramount to the effective collective operations of multi-agent systems at different time-scales.


title: Criticality and dominance of axion physics in highly magnetized vacuum

abstract: In a constant and homogeneous magnetic background, quantum vacuum fluctuations due to axion-like fields can dominate over those associated with the electron-positron fields. Considering the framework of axion-electrodynamics, the self-energy operator for the electromagnetic field is determined with an accuracy to second-order in the axion-diphoton coupling. This outcome is utilized for establishing modifications to the propagation characteristics of photons and to the Coulomb potential of a static pointlike charge. Notably, in the magnetosphere of a neutron star, the effect of photon capture by the magnetic field, known in QED as relating to gamma-quanta, is extended in axion electrodynamics to include X-ray photons with the result that a specially polarized part of the heat radiation from the surface is canalized along the magnetic field. Besides, for field strengths larger than the critical scale associated with this theory, the modified Coulomb potential is of Yukawa-type in the direction perpendicular to the magnetic field at distances much smaller than the Compton wavelength of an axion, while along the field it follows approximately the Coulomb law at any length scale. We find that at unlimitedly large magnetic fields the longstanding problem -- overcome in QED -- that the ground-state energy of a hydrogen atom is unbounded from below, is reinstated. However, in axion-electrodynamics this unboundedness is cut off because the largest magnetic field treatable within this theory is limited by the unitarity of the associated scattering matrix.


title: Linear Polarization Features in the Quiet-Sun Photosphere: Structure and Dynamics

abstract: We present detailed characteristics of linear polarization features (LPFs) in the quiet-Sun photosphere from high resolution observations obtained with Sunrise/IMaX. We explore differently treated data with various noise levels in linear polarization signals, from which structure and dynamics of the LPFs are studied. Physical properties of the detected LPFs are also obtained from the results of Stokes inversions. The number of LPFs, as well as their sizes and polarization signals, are found to be strongly dependent on the noise level, and on the spatial resolution. While the linear polarization with signal-to-noise ratio $\geq4.5$ covers about 26% of the entire area in the least noisy data in our study (with a noise level of $1.7\times10^{-4}$ in the unit of Stokes $I$ continuum), the detected (spatially resolved) LPFs cover about 10% of the area at any given time, with an occurrence rate on the order of $8\times10^{-3}$ s$^{-1}$ arcsec$^{-2}$. The LPFs were found to be short lived (in the range of $30-300$ s), relatively small structures (radii of $\approx0.1-1.5$ arcsec), highly inclined, posing hG fields, and move with an average horizontal speed of 1.2 km s$^{-1}$. The LPFs were observed (almost) equally on both upflow and downflow regions, with intensity contrast always larger than that of the the average quiet-Sun.


title: On the Decomposition of Forces

abstract: We show that any continuously differentiable force is decomposed into the sum of a Rayleigh force and a gyroscopic force. We also extend this result to piecewise continuously differentiable forces. Our result improves the result on the decomposition of forces in a book by David Merkin and further extends it to piecewise continuously differentiable forces.


title: Monotonous betting strategies in warped casinos

abstract: Suppose that the outcomes of a roulette table are not entirely random, in the sense that there exists a successful betting strategy. Is there a successful `separable' strategy, in the sense that it does not use the winnings from betting on red in order to bet on black, and vice-versa? We study this question from an algorithmic point of view and observe that every strategy $M$ can be replaced by a separable strategy which is computable from $M$ and successful on any outcome-sequence where $M$ is successful. We then consider the case of mixtures and show: (a) there exists an effective mixture of separable strategies which succeeds on every casino sequence with effective Hausdorff dimension less than 1/2; (b) there exists a casino sequence of effective Hausdorff dimension 1/2 on which no effective mixture of separable strategies succeeds. Finally we extend (b) to a more general class of strategies.


title: Optimal Binaural LCMV Beamforming in Complex Acoustic Scenarios: Theoretical and Practical Insights

abstract: Binaural beamforming algorithms for head-mounted assistive listening devices are crucial to improve speech quality and speech intelligibility in noisy environments, while maintaining the spatial impression of the acoustic scene. While the well-known BMVDR beamformer is able to preserve the binaural cues of one desired source, the BLCMV beamformer uses additional constraints to also preserve the binaural cues of interfering sources. In this paper, we provide theoretical and practical insights on how to optimally set the interference scaling parameters in the BLCMV beamformer for an arbitrary number of interfering sources. In addition, since in practice only a limited temporal observation interval is available to estimate all required beamformer quantities, we provide an experimental evaluation in a complex acoustic scenario using measured impulse responses from hearing aids in a cafeteria for different observation intervals. The results show that even rather short observation intervals are sufficient to achieve a decent noise reduction performance and that a proposed threshold on the optimal interference scaling parameters leads to smaller binaural cue errors in practice.


title: Tsallis holographic dark energy in the Brans-Dicke cosmology

abstract: Using the Tsallis generalized entropy, holographic hypothesis and also considering the Hubble horizon as the IR cutoff, we build a holographic model for dark energy and study its cosmological consequences in the Brans-Dicke framework. At first, we focus on a non-interacting universe, and thereinafter, we study the results of considering a sign-changeable interaction between the dark sectors of the cosmos. Our investigations show that, compared with the flat case, the power and freedom of the model in describing the cosmic evolution is significantly increased in the presence of the curvature. The stability analysis also indicates that, independent of the universe curvature, both the interacting and non-interacting cases are classically unstable. In fact, both the classical stability criterion and an acceptable behavior for the cosmos quantities, including the deceleration and density parameters as well as the equation of state, are not simultaneously obtainable.


title: PDE-constrained LDDMM via geodesic shooting and inexact Gauss-Newton-Krylov optimization using the incremental adjoint Jacobi equations

abstract: The class of non-rigid registration methods proposed in the framework of PDE-constrained Large Deformation Diffeomorphic Metric Mapping is a particularly interesting family of physically meaningful diffeomorphic registration methods. Inexact Newton-Krylov optimization has shown an excellent numerical accuracy and an extraordinarily fast convergence rate in this framework. However, the Galerkin representation of the non-stationary velocity fields does not provide proper geodesic paths. In this work, we propose a method for PDE-constrained LDDMM parameterized in the space of initial velocity fields under the EPDiff equation. The derivation of the gradient and the Hessian-vector products are performed on the final velocity field and transported backward using the adjoint and the incremental adjoint Jacobi equations. This way, we avoid the complex dependence on the initial velocity field in the derivations and the computation of the adjoint equation and its incremental counterpart. The proposed method provides geodesics in the framework of PDE-constrained LDDMM, and it shows performance competitive to benchmark PDE-constrained LDDMM and EPDiff-LDDMM methods.


title: Moving Objects Analytics: Survey on Future Location & Trajectory Prediction Methods

abstract: The tremendous growth of positioning technologies and GPS enabled devices has produced huge volumes of tracking data during the recent years. This source of information constitutes a rich input for data analytics processes, either offline (e.g. cluster analysis, hot motion discovery) or online (e.g. short-term forecasting of forthcoming positions). This paper focuses on predictive analytics for moving objects (could be pedestrians, cars, vessels, planes, animals, etc.) and surveys the state-of-the-art in the context of future location and trajectory prediction. We provide an extensive review of over 50 works, also proposing a novel taxonomy of predictive algorithms over moving objects. We also list the properties of several real datasets used in the past for validation purposes of those works and, motivated by this, we discuss challenges that arise in the transition from conventional to Big Data applications. CCS Concepts: Information systems > Spatial-temporal systems; Information systems > Data analytics; Information systems > Data mining; Computing methodologies > Machine learning Additional Key Words and Phrases: mobility data, moving object trajectories, trajectory prediction, future location prediction.


title: Automatically Composing Representation Transformations as a Means for Generalization

abstract: A generally intelligent learner should generalize to more complex tasks than it has previously encountered, but the two common paradigms in machine learning -- either training a separate learner per task or training a single learner for all tasks -- both have difficulty with such generalization because they do not leverage the compositional structure of the task distribution. This paper introduces the compositional problem graph as a broadly applicable formalism to relate tasks of different complexity in terms of problems with shared subproblems. We propose the compositional generalization problem for measuring how readily old knowledge can be reused and hence built upon. As a first step for tackling compositional generalization, we introduce the compositional recursive learner, a domain-general framework for learning algorithmic procedures for composing representation transformations, producing a learner that reasons about what computation to execute by making analogies to previously seen problems. We show on a symbolic and a high-dimensional domain that our compositional approach can generalize to more complex problems than the learner has previously encountered, whereas baselines that are not explicitly compositional do not.


title: Origin of skyrmion lattice phase splitting in Zn-substituted Cu$_{2}$OSeO$_{3}$

abstract: We present an investigation into the structural and magnetic properties of Zn-substituted Cu$_{2}$OSeO$_{3}$, a system in which the skyrmion lattice (SkL) phase in the magnetic field-temperature phase diagram was previously seen to split as a function of increasing Zn concentration. We find that splitting of the SkL is only observed in polycrystalline samples and reflects the occurrence of several coexisting phases with different Zn content, each distinguished by different magnetic behaviour. No such multiphase behaviour is observed in single crystal samples.


title: Fractional Brownian motions ruled by nonlinear equations

abstract: In this note we consider generalized diffusion equations in which the diffusivity coefficient is not necessarily constant in time, but instead it solves a nonlinear fractional differential equation involving fractional Riemann-Liouville time-derivative. Our main contribution is to highlight the link between these generalised equations and fractional Brownian motion (fBm). In particular, we investigate the governing equation of fBm and show that its diffusion coefficient must satisfy an additive evolutive fractional equation. We derive in a similar way the governing equation of the iterated fractional Brownian motion.


title: A Sharp Condition for Exact Support Recovery of Sparse Signals With Orthogonal Matching Pursuit

abstract: Support recovery of sparse signals from noisy measurements with orthogonal matching pursuit (OMP) has been extensively studied in the literature. In this paper, we show that for any $K$-sparse signal $\x$, if the sensing matrix $\A$ satisfies the restricted isometry property (RIP) of order $K + 1$ with restricted isometry constant (RIC) $\delta_{K+1} < 1/\sqrt {K+1}$, then under some constraint on the minimum magnitude of the nonzero elements of $\x$, the OMP algorithm exactly recovers the support of $\x$ from the measurements $\y=\A\x+\v$ in $K$ iterations, where $\v$ is the noise vector. This condition is sharp in terms of $\delta_{K+1}$ since for any given positive integer $K\geq 2$ and any $1/\sqrt{K+1}\leq t<1$, there always exist a $K$-sparse $\x$ and a matrix $\A$ satisfying $\delta_{K+1}=t$ for which OMP may fail to recover the signal $\x$ in $K$ iterations. Moreover, the constraint on the minimum magnitude of the nonzero elements of $\x$ is weaker than existing results.


title: Algorithms that Remember: Model Inversion Attacks and Data Protection Law

abstract: Many individuals are concerned about the governance of machine learning systems and the prevention of algorithmic harms. The EU's recent General Data Protection Regulation (GDPR) has been seen as a core tool for achieving better governance of this area. While the GDPR does apply to the use of models in some limited situations, most of its provisions relate to the governance of personal data, while models have traditionally been seen as intellectual property. We present recent work from the information security literature around `model inversion' and `membership inference' attacks, which indicate that the process of turning training data into machine learned systems is not one-way, and demonstrate how this could lead some models to be legally classified as personal data. Taking this as a probing experiment, we explore the different rights and obligations this would trigger and their utility, and posit future directions for algorithmic governance and regulation.


title: Stable Throughput Region of the Two-User Interference Channel

abstract: We consider the two-user interference channel where two independent pairs communicate concurrently and investigate its stable throughput region. First, the stability region is characterized for the general case, i.e., without any specific consideration on the transmission and reception structures. Second, we explore two different interference harnessing strategies at the receiver: treating interference as noise and successive interference cancellation. Furthermore, we provide conditions for the convexity of the stability region and for which a certain receiver strategy leads to broader stability region. The impact of multiple transmit antennas on the stability region is briefly discussed. Finally, we study the effect of random access on the stability region of the two-user interference channel.


title: Bulk geometry from entanglement entropy of CFT

abstract: In this paper, we compute the exact form of the bulk geometry emerging from a $(1+1)$-dimensional conformal field theory using the holographic principle. We first consider the $(2+1)$-dimensional asymptotic $AdS$ metric in Poincare coordinates and compute the area functional corresponding to the static minimal surface $\gamma_A$ and obtain the entanglement entropy making use of the holographic entanglement entropy proposal. We then use the results of the entanglement entropy for $(1+1)$-dimensional conformal field theory on an infinite line, on an infinite line at a finite temperature and on a circle. Comparing these results with the holographic entanglement entropy, we are able to extract the proper structure of the bulk metric. Finally, we also carry out our analysis in the case of $\mathcal{N}=4$ super Yang-Mills theory and obtain the exact form of the dual bulk geometry corresponding to this theory. The analysis reveals the behavior of the bulk metric in both the near boundary region and deep inside the bulk. The results also show the influence of the boundary UV cut-off "$a$" on the bulk metric. It is observed that the reconstructed metrics match exactly with the known results in the literature when one moves deep inside the bulk or towards the turning point.


title: General sum-connectivity index of trees and unicyclic graphs with fixed maximum degree

abstract: The general sum-connectivity index of a graph $G$ is defined as $\chi_\alpha(G)=\sum\limits_{uv\in E(G)} {(d(u)+d(v))^{\alpha}}$, where $d(v)$ denotes the degree of the vertex $v$ in $G$ and $\alpha$ is a real number. In this paper it is deduced the maximum value for the general sum-connectivity index of $n$-vertex trees for $-1.7036\leq \alpha <0$ and of $n$-vertex unicyclic graphs for $-1\le \alpha <0$ respectively, with fixed maximum degree $\triangle $. The corresponding extremal graphs, as well as the $n$-vertex unicyclic graphs with the second maximum general sum-connectivity index for $n\ge 4$ are characterized. This extends the corresponding results by Du, Zhou and Trinajsti\' c [arXiv:1210.5043] about sum-connectivity index.


title: Correlation effects in the diluteness pattern in non-integral dimensional systems on $\nu=\frac{4}{5}$ superdiffusion process

abstract: The effect of the correlations in the diluteness pattern in the systems with non-integral dimensionality, on $\nu=\frac{4}{5}$ superdiffusion process is considered in this paper. These spatial correlations have proved to be very effective in the critical phenomena. To simulate the particles motion in this process, we employ the loop erased random walk (LERW). The spatial correlations between imperfections (site-diluteness) also have been modeled by the Ising model on a square lattice. It models the forbidden regions into which the particles are not allowed to enter. The correlations are controlled by an artificial temperature $T$. The trace of the walkers is shown to be self-similar, whose fingerprint is the power-law behaviors. The detailed analysis of the random walker's traces reveal that the (Ising-type) correlations affect their geometrical properties. At the critical artificial temperature $T_c$ we observe that the exponent of end-to-end distance $\nu$ becomes $0.807\pm 0.002$. The fractal dimension of the walker's trace is the other geometrical quantity which scales inversely with the square root of the correlation length of the Ising model, i.e. $D_f(T)-D_f(T_c)\sim \zeta^{-\alpha}$ in which $\alpha=0.43\pm 0.05$. The winding angle test also reveals that the traces are compatible with the Schramm-Loewner evolution theory, and the diffusivity parameter for $T=T_c$ is $\kappa=1.89\pm 0.05$.


title: Parametrizing modified gravities with vector degrees of freedom: anisotropic growth and lensing

abstract: We consider the problem of parametrizing modified gravity theories that include an additional vector field in the sub-Hubble regime within the quasi-static approximation. We start from the most general set of second order equations for metric and vector field perturbations and allow for both temporal and spatial components of the background vector field. We find that in the case in which dark matter obeys standard conservation equations, eight parameters are needed to fully characterize the theory. If dark matter vorticity can be neglected, the number of independent parameters is reduced to four. In addition to the usual scale and redshift dependence, the effective parameters have an additional angular dependence induced by the preferred direction set by the background vector. In the considered sub-Hubble regime, we show that this angular dependence appears only through even multipoles and generates anisotropies in the growth function which translate into anisotropies in the galaxy and lensing convergence power spectra. The angular dependence generated by the preferred direction is different from that induced by redshift space distortions and could be disentangled in the data collected by future galaxy surveys.


title: An Essay on the Completion of Quantum Theory. II: Unitary Time Evolution

abstract: In this second part of the `essay on the completion of quantum theory' we define the {\em unitary setting of completed quantum mechanics}, by adding as intrinsic data to those from Part I (arXiv:1711.08643) the choice of a north pole N and south pole S in the geometric space. Then we explain that, in the unitary setting, a complete observable corresponds to a right (or left) invariant vector field (Hamiltonian field) on the geometric space, and {\em unitary time evolution} is the flow of such a vector field. This interpretation is in fact nothing but the Lie group-Lie group algebra correspondence, for a geometric space that can be interpreted as the Cayley transform of the usual, Hermitian operator space. In order to clarify the geometric nature of this setting, we realize the Cayley transform as a member of a natural octahedral group that can be associated to any triple of pairwise transversal elements.


title: Physical time and thermal clocks

abstract: In this paper I discuss the concept of time in physics. I consider the thermal time hypothesis and I claim that thermal clocks and atomic clocks measure different physical times, whereby thermal time and relativistic time are not compatible with each other. This hypothesis opens the possibility of a new foundation of the theory of physical time, and new perspectives in theoretical and philosophical researches.


title: Self-similarity of optical rotation trajectories around the Poincare sphere with application to an ultra-narrow atomic bandpass filter

abstract: We present an investigation of magneto-optic rotation in both the Faraday and Voigt geometries. We show that more physical insight can be gained in a comparison of the Faraday and Voigt effects by visualising optical rotation trajectories on the Poincare sphere. This insight is applied to design and experimentally demonstrate an improved ultra-narrow optical bandpass filter based on combining optical rotation from two cascaded cells - one in the Faraday geometry and one in the Voigt geometry. Our optical filter has an equivalent noise bandwidth of 0.56 GHz, and a figure-of-merit value of 1.22(2) GHz$^{-1}$ which is higher than any previously demonstrated filter on the Rb D2 line.


title: Geometric inequalities for hypersurfaces with nonnegative sectional curvature in hyperbolic space

abstract: In this article, we will use inverse mean curvature flow to establish an optimal Sobolev-type inequality for hypersurfaces $\Sigma$ with nonnegative sectional curvature in $\mathbb{H}^n$. As an application, we prove the hyperbolic Alexandrov-Fenchel inequalities for hypersurfaces with nonnegative sectional curvature in $\mathbb{H}^n$: \begin{align*} \int_{\Sigma} p_{2k}\geq \omega_{n-1}\left[\left(\frac{|\Sigma|}{\omega_{n-1}}\right)^\frac{1}{k}+\left(\frac{|\Sigma|}{\omega_{n-1}}\right)^{\frac{1}{k}\frac{n-1-2k}{n-1}}\right]^k, \end{align*} where $p_i$ is the normalized $i$-th mean curvature. Equality holds if and only if $\Sigma$ is a geodesic sphere in $\mathbb{H}^n$. For a domain $\Omega\subset \mathbb{H}^n$ with $\Sigma=\partial \Omega$ having nonnegative sectional curvature, we prove an optimal inequality for quermassintegral in $\mathbb{H}^n$: \begin{align*} W_{2k+1}(\Omega)\geq \frac{\omega_{n-1}}{n}\sum_{i=0}^{k}\frac{n-1-2k}{n-1-2i}C_k^i\left(\frac{|\Sigma|}{\omega_{n-1}}\right)^\frac{n-1-2i}{n-1}, \end{align*} where $W_i(\Omega)$ is the $i$-th quermassintegral in integral geometry. Equality holds if and only if $\Sigma$ is a geodesic sphere in $\mathbb{H}^n$. All these inequalities was previously proved by Ge, Wang and Wu \cite{Ge-Wang-Wu2014} under the stronger condition that $\Sigma$ is horospherical convex.


title: On the centralizers of minimal aperiodic actions on the Cantor set

abstract: In this article we study the centralizer of a minimal aperiodic action of a countable group on the Cantor set (an aperiodic minimal Cantor system). We show that any countable residually finite group is the subgroup of the centralizer of some minimal $\mathbb Z$ action on the Cantor set, and that any countable group is the subgroup of the normalizer of a minimal aperiodic action of an abelian countable free group on the Cantor set. On the other hand we show that for any countable group $G$, the centralizer of any minimal aperiodic $G$-action on the Cantor set is a subgroup of the centralizer of a minimal $\mathbb Z$-action.


title: One-Log Call Iterative Solution of the Colebrook Equation for Flow Friction Based on Pade Polynomials

abstract: The 80 year-old empirical Colebrook function, widely used as an informal standard for hydraulic resistance, relates implicitly the unknown flow friction factor, with the known Reynolds number and the known relative roughness of a pipe inner surface. It is based on logarithmic law in the form that captures the unknown flow friction factor in a way that it cannot be extracted analytically. As an alternative to the explicit approximations or to the iterative procedures that require at least a few evaluations of computationally expensive logarithmic function or non-integer powers, this paper offers an accurate and computationally cheap iterative algorithm based on Pade polynomials with only one log-call in total for the whole procedure (expensive log-calls are substituted with Pade polynomials in each iteration with the exception of the first). The proposed modification is computationally less demanding compared with the standard approaches of engineering practice, but does not influence the accuracy or the number of iterations required to reach the final balanced solution.


title: Extended family of generalized Chaplygin gas models

abstract: The generalized Chaplygin gas is usually defined as a barotropic perfect fluid with an equation of state $p=-A \rho^{-\alpha}$, where $\rho$ and $p$ are the proper energy density and pressure, respectively, and $A$ and $\alpha$ are positive real parameters. It has been extensively studied in the literature as a quartessence prototype unifying dark matter and dark energy. Here, we consider an extended family of generalized Chaplygin gas models parameterized by three positive real parameters $A$, $\alpha$ and $\beta$, which, for two specific choices of $\beta$ [$\beta=1$ and $\beta=\left(1+\alpha\right)/(2\alpha)$], is described by two different Lagrangians previously identified in the literature with the generalized Chaplygin gas. We show that, for $\beta > 1/2$, the linear stability conditions and the maximum value of the sound speed $c_s$ are regulated solely by $\beta$, with $0 \le c_s \le 1$ if $\beta \ge 1$. We further demonstrate that in the non-relativistic regime the standard equation of state $p=-A \rho^{-\alpha}$ of the generalized Chaplygin gas is always recovered, while in the relativistic regime this is true only if $\beta=\left(1+\alpha\right)/(2\alpha)$. We present a regularization of the ($\alpha\rightarrow 0$, $A \rightarrow \infty$) limit of the generalized Chaplygin gas, showing that it leads to a logarithmic Chaplygin gas model with an equation of state of the form $p = {\mathcal A} \ln\left(\rho/\rho_{*}\right)$, where ${\mathcal A}$ is a real parameter and $\rho_*>0$ is an arbitrary energy density. We finally derive its Lagrangian formulation.


title: Deep semi-supervised segmentation with weight-averaged consistency targets

abstract: Recently proposed techniques for semi-supervised learning such as Temporal Ensembling and Mean Teacher have achieved state-of-the-art results in many important classification benchmarks. In this work, we expand the Mean Teacher approach to segmentation tasks and show that it can bring important improvements in a realistic small data regime using a publicly available multi-center dataset from the Magnetic Resonance Imaging (MRI) domain. We also devise a method to solve the problems that arise when using traditional data augmentation strategies for segmentation tasks on our new training scheme.


title: The effect of strong electron-rattling phonon coupling on some superconducting properties

abstract: Using the Eliashberg theory of superconductivity we have examined several properties of a model in which electrons are coupled only to rattling phonon modes represented by a sharp peak in the electron-phonon coupling function. Our choice of parameters was guided by experiments on $\beta$-pyrochlore oxide superconductor KOs$_{2}$Os$_{6}$. We have calculated the temperature dependence of the superconducting gap edge, the quasiparticle decay rate, the NMR relaxation rate assuming that the coupling between the nuclear spins and the conduction electrons is via a contact hyperfine interaction which would be appropriate for the O-site in KOs$_{2}$Os$_{6}$, and the microwave conductivity. We examined the limit of very strong coupling by considering three values of the electron-phonon coupling parameter $\lambda=$ 2.38, 3, and 5 and {\em did not} assume that the rattler frequency $\Omega_{0}$ is temperature dependent in the superconducting state. We obtained a very unusual temperature dependence of the superconducting gap edge $\Delta(T)$, very much like the one extracted from photoemission experiments on KOs$_2$O$_6$.


title: Comptage des syst\`emes locaux $\ell$-adiques sur une courbe

abstract: Let $X_{1}$ be a projective, smooth and geometrically connected curve over $\mathbb{F}_{q}$ with $q=p^{n}$ elements where $p$ is a prime number, and let $X$ be its base change to an algebraic closure of $\mathbb{F}_{q}$. We give a formula for the number of irreducible $\ell$-adic local systems ($\ell\neq p$) with a fixed rank over $X$ fixed by the Frobenius endomorphism. We prove that this number behaves like a Lefschetz fixed point formula for a variety over $\mathbb{F}_q$, which generalises a result of Drinfeld in rank $2$ and proves a conjecture of Deligne. To do this, we pass to the automorphic side by Langlands correspondence, then use Arthur's non-invariant trace formula and link this number to the number of $\mathbb{F}_q$-points of the moduli space of stable Higgs bundles.


title: A BRITE view on the massive O-type supergiant V973 Scorpii: Hints towards internal gravity waves or subsurface convection zones

abstract: Stochastically-triggered photospheric light variations reaching $\sim$$40$ mmag peak-to-valley amplitudes have been detected in the O8Iaf supergiant V973 Scorpii as the outcome of two months of high-precision time-resolved photometric observations with the BRIght Target Explorer (BRITE) nanosatellites. The amplitude spectrum of the time series photometry exhibits a pronounced broad bump in the low-frequency regime ($\lesssim$$0.9$ d$^{-1}$) where several prominent frequencies are detected. A time-frequency analysis of the observations reveals typical mode lifetimes of the order of $5-10$ days. The overall features of the observed brightness amplitude spectrum of V973 Sco match well with those extrapolated from two-dimensional hydrodynamical simulations of convectively-driven internal gravity waves randomly excited from deep in the convective cores of massive stars. An alternative or additional possible source of excitation from a subsurface convection zone needs to be explored in future theoretical investigations.


title: Subset synchronization of DFAs and PFAs, and some other results

abstract: This paper contains results which arose from the research which led to arXiv:1801.10436, but which did not fit in arXiv:1801.10436. So arXiv:1801.10436 contains the highlight results, but there are more results which are interesting enough to be shared.


title: Scikit-Multiflow: A Multi-output Streaming Framework

abstract: Scikit-multiflow is a multi-output/multi-label and stream data mining framework for the Python programming language. Conceived to serve as a platform to encourage democratization of stream learning research, it provides multiple state of the art methods for stream learning, stream generators and evaluators. scikit-multiflow builds upon popular open source frameworks including scikit-learn, MOA and MEKA. Development follows the FOSS principles and quality is enforced by complying with PEP8 guidelines and using continuous integration and automatic testing. The source code is publicly available at https://github.com/scikit-multiflow/scikit-multiflow.


title: A study of the $c$-$\mathrm{C_{3}HD}$/$c$-$\mathrm{C_{3}H_{2}}$ ratio in low-mass star forming regions

abstract: We use the deuteration of $c$-$\mathrm{C_{3}H_{2}}$ to probe the physical parameters of starless and protostellar cores, related to their evolutionary states, and compare it to the $\mathrm{N_{2}H^{+}}$-deuteration in order to study possible differences between the deuteration of C- and N-bearing species. We observed the main species $c$-$\mathrm{C_{3}H_{2}}$, the singly and doubly deuterated species $c$-$\mathrm{C_{3}HD}$ and $c$-$\mathrm{C_{3}D_{2}}$, as well as the isotopologue $c$-$\mathrm{{H^{13}CC_{2}H}}$ toward 10 starless cores and 5 protostars in the Taurus and Perseus Complexes. We examined the correlation between the $N$($c$-$\mathrm{C_{3}HD}$)/$N$($c$-$\mathrm{C_{3}H_{2}}$) ratio and the dust temperature along with the $\mathrm{H_2}$ column density and the CO depletion factor. The resulting $N$($c$-$\mathrm{C_{3}HD}$)/$N$($c$-$\mathrm{C_{3}H_{2}}$) ratio is within the error bars consistent with $10\%$ in all starless cores with detected $c$-$\mathrm{C_{3}HD}$. This also accounts for the protostars except for the source HH211, where we measure a high deuteration level of $23\%$. The deuteration of $\mathrm{N_{2}H^{+}}$ follows the same trend but is considerably higher in the dynamically evolved core L1544. Toward the protostellar cores the coolest objects show the largest deuterium fraction in $c$-$\mathrm{C_{3}H_{2}}$. We show that the deuteration of $c$-$\mathrm{C_{3}H_{2}}$ can trace the early phases of star formation and is comparable to that of $\mathrm{N_{2}H^{+}}$. However, the largest $c$-$\mathrm{C_{3}H_{2}}$ deuteration level is found toward protostellar cores, suggesting that while $c$-$\mathrm{C_{3}H_{2}}$ is mainly frozen onto dust grains in the central regions of starless cores, active deuteration is taking place on ice.


title: Finite-temperature equation of state of polarized fermions at unitarity

abstract: We study in a nonperturbative fashion the thermodynamics of a unitary Fermi gas over a wide range of temperatures and spin polarizations. To this end, we use the complex Langevin method, a first principles approach for strongly coupled systems. Specifically, we show results for the density equation of state, the magnetization, and the magnetic susceptibility. At zero polarization, our results agree well with state-of-the art results for the density equation of state and with experimental data. At finite polarization and low fugacity, our results are in excellent agreement with the third-order virial expansion. In the fully quantum mechanical regime close to the balanced limit, the critical temperature for superfluidity appears to depend only weakly on the spin polarization.


title: Observations and perspectives on the prebiotic sequence evolution

abstract: The post-genomic era has brought opportunities to bridge traditionally separate fields of early history of life and brought new insight into origin and evolution of biodiversity. According to distributions of codons in genome sequences, I found a relationship between the genetic code and the tree of life. This remote and profound relationship involves the origin and evolution of the genetic code and the diversification and expansion of genomes. Here, a prebiotic picture of the triplex nucleic acid evolution is proposed to explain the origin of the genetic code, where the transition from disorder to order in the origin of life might be due to the increasing stabilities of triplex base pairs. The codon degeneracy can be obtained in detail based on the coevolution of the genetic code with amino acids, or equivalently, the coevolution of tRNAs with aaRSs. This theory is based on experimental data such as the stability of triplex base pairs and the statistical features of genomic codon distributions. Several experimentally testable proposals have been developed. This study should be regarded as an exploratory attempt to reveal the early evolution of life based on sequence information in a statistical manner.


title: Disentangling co-occurrence patterns in n-partite ecosystems

abstract: The need to harmonise apparently irreconcilable arrangements in an ecosystem --nestedness and segregation-- has triggered so far different strategies. Methodological refinements, or the inclusion of behavioural preferences to the network dynamics offer a limited approach to the problem, since one remains constrained within a 2-dimensional view of an ecosystem, i.e. a presence-absence matrix. Here we question this partial-view paradigm, and show that nestedness and segregation may coexist across a varied range of scenarios. To do so, we rely on an upscaled representation of an ecological community as an $n$-partite hypergraph, inspired by Hutchinson's high-dimensional niche concept and the latest trends on ecological multilayer networks. This yields an inclusive description of an ecological system, for which we develop a natural extension of the definition of nestedness to larger dimensional spaces, revealing how competitive exclusion may operate regardless of a highly nested bipartite system.

categories: physics.soc-ph nlin.AO physics.bio-ph q-bio.PE


title: Online Heart Rate Prediction using Acceleration from a Wrist Worn Wearable

abstract: In this paper we study the prediction of heart rate from acceleration using a wrist worn wearable. Although existing photoplethysmography (PPG) heart rate sensors provide reliable measurements, they use considerably more energy than accelerometers and have a major impact on battery life of wearable devices. By using energy-efficient accelerometers to predict heart rate, significant energy savings can be made. Further, we are interested in understanding patient recovery after a heart rate intervention, where we expect a variation in heart rate over time. Therefore, we propose an online approach to tackle the concept as time passes. We evaluate the methods on approximately 4 weeks of free living data from three patients over a number of months. We show that our approach can achieve good predictive performance (e.g., 2.89 Mean Absolute Error) while using the PPG heart rate sensor infrequently (e.g., 20.25% of the samples).


title: Learning to Segment Medical Images with Scribble-Supervision Alone

abstract: Semantic segmentation of medical images is a crucial step for the quantification of healthy anatomy and diseases alike. The majority of the current state-of-the-art segmentation algorithms are based on deep neural networks and rely on large datasets with full pixel-wise annotations. Producing such annotations can often only be done by medical professionals and requires large amounts of valuable time. Training a medical image segmentation network with weak annotations remains a relatively unexplored topic. In this work we investigate training strategies to learn the parameters of a pixel-wise segmentation network from scribble annotations alone. We evaluate the techniques on public cardiac (ACDC) and prostate (NCI-ISBI) segmentation datasets. We find that the networks trained on scribbles suffer from a remarkably small degradation in Dice of only 2.9% (cardiac) and 4.5% (prostate) with respect to a network trained on full annotations.


title: AFLOW-QHA3P: Robust and automated method to compute thermodynamic properties of solids

abstract: Accelerating the calculations of finite-temperature thermodynamic properties is a major challenge for rational materials design. Reliable methods can be quite expensive, limiting their effective applicability in autonomous high-throughput workflows. Here, the 3-phonons quasi-harmonic approximation (QHA) method is introduced, requiring only three phonon calculations to obtain a thorough characterization of the material. Leveraging a Taylor expansion of the phonon frequencies around the equilibrium volume, the method efficiently resolves the volumetric thermal expansion coefficient, specific heat at constant pressure, the enthalpy, and bulk modulus. Results from the standard QHA and experiments corroborate the procedure, and additional comparisons are made with the recently developed self-consistent QHA. The three approaches - 3-phonons, standard, and self- consistent QHAs - are all included within the automated, open-source framework AFLOW, allowing automated determination of properties with various implementations within the same framework.


title: The Hausdorff-Young inequality on Lie groups

abstract: We prove several results about the best constants in the Hausdorff-Young inequality for noncommutative groups. In particular, we establish a sharp local central version for compact Lie groups, and extend known results for the Heisenberg group. In addition, we prove a universal lower bound to the best constant for general Lie groups.


title: Exact relation between canonical and metric energy-momentum tensors for higher derivative tensor field theories

abstract: We discuss the relation between canonical and metric energy-momentum tensors for field theories with actions that can depend on the higher derivatives of tensor fields in a flat spacetime. In order to obtain it we use a modification of the Noether's procedure for curved space-time. For considered case the difference between these two tensors turns out to have more general form than for theories with no more than first order derivatives. Despite this fact we prove that the difference between corresponding integrals of motion still has the form of integral over 2-dimensional surface that is infinitely remote in the spacelike directions.


title: Bias due to neutrinos must not uncorrect'd go

abstract: In cosmologies with massive neutrinos, the galaxy bias defined with respect to the total matter field (cold dark matter, baryons, and non-relativistic neutrinos) depends on the sum of the neutrino masses $M_{\nu}$, and becomes scale-dependent even on large scales. This effect has been usually neglected given the sensitivity of current surveys, but becomes a severe systematic for future surveys aiming to provide the first detection of non-zero $M_{\nu}$. The effect can be corrected for by defining the bias with respect to the density field of cold dark matter and baryons instead of the total matter field. In this work, we provide a simple prescription for correctly mitigating the neutrino-induced scale-dependent bias effect in a practical way. We clarify a number of subtleties regarding how to properly implement this correction in the presence of redshift-space distortions and non-linear evolution of perturbations. We perform a MCMC analysis on simulated galaxy clustering data that match the expected sensitivity of the \textit{Euclid} survey. We find that the neutrino-induced scale-dependent bias can lead to important shifts in both the inferred mean value of $M_{\nu}$, as well as its uncertainty. We show how these shifts propagate to other cosmological parameters correlated with $M_{\nu}$, such as the cold dark matter physical density $\Omega_{cdm} h^2$ and the scalar spectral index $n_s$. In conclusion, we find that correctly accounting for the neutrino-induced scale-dependent bias will be of crucial importance for future galaxy clustering analyses. We encourage the cosmology community to correctly account for this effect using the simple prescription we present in our work. The tools necessary to easily correct for the neutrino-induced scale-dependent bias will be made publicly available in an upcoming release of the Boltzmann solver \texttt{CLASS}.


title: How to identify the roots of broad research topics and fields? The introduction of RPYS sampling using the example of climate change research

abstract: Since the introduction of the reference publication year spectroscopy (RPYS) method and the corresponding program CRExplorer, many studies have been published revealing the historical roots of topics, fields, and researchers. The application of the method was restricted up to now by the available memory of the computer used for running the CRExplorer. Thus, many users could not perform RPYS for broader research fields or topics. In this study, we present various sampling methods to solve this problem: random, systematic, and cluster sampling. We introduce the script language of the CRExplorer which can be used to draw many samples from the population dataset. Based on a large dataset of publications from climate change research, we compare RPYS results using population data with RPYS results using different sampling techniques. From our comparison with the full RPYS (population spectrogram), we conclude that the cluster sampling performs worst and the systematic sampling performs best. The random sampling also performs very well but not as well as the systematic sampling. The study therefore demonstrates the fruitfulness of the sampling approach for applying RPYS.


title: Quantifying the randomness of copies of noisy Popescu-Rohrlich correlations

abstract: In a no-signaling world, the outputs of a nonlocal box cannot be completely predetermined, a feature that is exploited in many quantum information protocols exploiting non-locality, such as device-independent randomness generation and quantum key distribution. This relation between non-locality and randomness can be formally quantified through the min-entropy, a measure of the unpredictability of the outputs that holds conditioned on the knowledge of any adversary that is limited only by the no-signaling principle. This quantity can easily be computed for the noisy Popescu-Rohrlich (PR) box, the paradigmatic example of non-locality. In this paper, we consider the min-entropy associated to several copies of noisy PR boxes. In the case where n noisy PR-boxes are implemented using n non-communicating pairs of devices, it is known that each PR-box behaves as an independent biased coin: the min-entropy per PR-box is constant with the number of copies. We show that this doesn't hold in more general scenarios where several noisy PR-boxes are implemented from a single pair of devices, either used sequentially n times or producing n outcome bits in a single run. In this case, the min-entropy per PR-box is smaller than the min-entropy of a single PR-box, and it decreases as the number of copies increases.


title: Fatigue effects in elastic materials with variational damage models: A vanishing viscosity approach

abstract: We study the existence of quasistatic evolutions for a family of gradient damage models which take into account fatigue, that is the process of weakening in a material due to repeated applied loads. The main feature of these models is the fact that damage is favoured in regions where the cumulation of the elastic strain (or other relevant variables, depend on the model) is higher. To prove the existence of a quasistatic evolution, we follow a vanishing viscosity approach based on two steps: we first let the time-step $\tau$ of the time-discretisation and later the viscosity parameter $\epsilon$ go to zero. As $\tau \to 0$, we find $\epsilon$-approximate viscous evolutions; then, as $\epsilon \to 0$, we find a rescaled approximate evolution satisfying an energy-dissipation balance.


title: A Library for Constraint Consistent Learning

abstract: This paper introduces the first, open source software library for Constraint Consistent Learning (CCL). It implements a family of data-driven methods that are capable of (i) learning state-independent and -dependent constraints, (ii) decomposing the behaviour of redundant systems into task- and null-space parts, and (iii) uncovering the underlying null space control policy. It is a tool to analyse and decompose many everyday tasks, such as wiping, reaching and drawing. The library also includes several tutorials that demonstrate its use with both simulated and real world data in a systematic way. This paper documents the implementation of the library, tutorials and associated helper methods. The software is made freely available to the community, to enable code reuse and allow users to gain in-depth experience in statistical learning in this area.


title: Non-Hermitian topology: a unifying framework for the Andreev versus Majorana states controversy

abstract: Andreev bound states (ABSs) in hybrid semiconductor-superconductor nanowires can have near-zero energy in parameter regions where band topology predicts trivial phases. This surprising fact has been used to challenge the interpretation of a number of transport experiments in terms of non-trivial topology with Majorana zero modes (MZMs). We show that this ongoing ABS versus MZM controversy is fully clarified when framed in the language of non-Hermitian topology, the natural description for open quantum systems. This change of paradigm allows us to understand topological transitions and the emergence of pairs of zero modes more broadly, in terms of exceptional point (EP) bifurcations of system eigenvalue pairs in the complex plane. Within this framework, we show that some zero energy ABSs are actually non-trivial, and share all the properties of conventional MZMs, such as the recently observed $2e^2/h$ conductance quantization. From this point of view, any distinction between such ABS zero modes and conventional MZMs becomes artificial. The key feature that underlies their common non-trivial properties is an asymmetric coupling of Majorana components to the reservoir, which triggers the EP bifurcation.


title: Stochastic Telegraph Equation Limit for the Stochastic Six Vertex Model

abstract: In this article we study the stochastic six vertex model under the scaling proposed by Borodin and Gorin (2018), where the weights of corner-shape vertices are tuned to zero, and prove Conjecture 6.1 therein: that the height fluctuation converges in finite dimensional distributions to the solution of stochastic telegraph equation.


title: A $Z^k$-invariant subspace without the wandering property

abstract: We study operators of multiplication by $z^k$ in Dirichlet-type spaces $D_\alpha$. We establish the existence of $k$ and $\alpha$ for which some $z^k$-invariant subspaces of $D_\alpha$ do not satisfy the wandering property. As a consequence of the proof, any Dirichlet-type space accepts an equivalent norm under which the wandering property fails for some space for the operator of multiplication by $z^k$, for any $k \geq 6$.


title: Unseeded low-rank graph matching by transform-based unsupervised point registration

abstract: The problem of learning a correspondence relationship between nodes of two networks has drawn much attention of the computer science community and recently that of statisticians. The unseeded version of this problem, in which we do not know any part of the true correspondence, is a long-standing challenge. For low-rank networks, the problem can be translated into an unsupervised point registration problem, in which two point sets generated from the same distribution are matchable by an unknown orthonormal transformation. Conventional methods generally lack consistency guarantee and are usually computationally costly. In this paper, we propose a novel approach to this problem. Instead of simultaneously estimating the unknown correspondence and orthonormal transformation to match up the two point sets, we match their distributions via minimizing our designed loss function capturing the discrepancy between their Laplace transforms, thus avoiding the optimization over all possible correspondences. This dramatically reduces the dimension of the optimization problem from $\Omega(n^2)$ parameters to $O(d^2)$ parameters, where $d$ is the fixed rank, and enables convenient theoretical analysis. In this paper, we provide arguably the first consistency guarantee and explicit error rate for general low-rank models. Our method provides control over the computational complexity ranging from $\omega(n)$ (any growth rate faster than $n$) to $O(n^2)$ while pertaining consistency. We demonstrate the effectiveness of our method through several numerical examples.


title: Why Might the Standard Large $N$ Analysis Fail in the O($N$) Model: The Role of Cusps in the Fixed Point Potentials

abstract: The large $N$ expansion plays a fundamental role in quantum and statistical field theory. We show on the example of the O$(N)$ model that at $N=\infty$, its traditional implementation misses in all dimensions below four some fixed points of the renormalization group. These new fixed points show singularities at $N=\infty$ in their effective potential that become a boundary layer at finite $N$. We show that they have a physical impact on the multicritcal physics of the $O(N$) model at finite $N$. We also show that the mechanism at play holds also for the O($N$)$\otimes$O(2) model and is thus probably generic.


title: Know When to Fold 'Em: Self-Assembly of Shapes by Folding in Oritatami

abstract: An oritatami system (OS) is a theoretical model of self-assembly via co-transcriptional folding. It consists of a growing chain of beads which can form bonds with each other as they are transcribed. During the transcription process, the $\delta$ most recently produced beads dynamically fold so as to maximize the number of bonds formed, self-assemblying into a shape incrementally. The parameter $\delta$ is called the delay and is related to the transcription rate in nature. This article initiates the study of shape self-assembly using oritatami. A shape is a connected set of points in the triangular lattice. We first show that oritatami systems differ fundamentally from tile-assembly systems by exhibiting a family of infinite shapes that can be tile-assembled but cannot be folded by any OS. As it is NP-hard in general to determine whether there is an OS that folds into (self-assembles) a given finite shape, we explore the folding of upscaled versions of finite shapes. We show that any shape can be folded from a constant size seed, at any scale n >= 3, by an OS with delay 1. We also show that any shape can be folded at the smaller scale 2 by an OS with unbounded delay. This leads us to investigate the influence of delay and to prove that, for all {\delta} > 2, there are shapes that can be folded (at scale 1) with delay {\delta} but not with delay {\delta}'<{\delta}. These results serve as a foundation for the study of shape-building in this new model of self-assembly, and have the potential to provide better understanding of cotranscriptional folding in biology, as well as improved abilities of experimentalists to design artificial systems that self-assemble via this complex dynamical process.


title: On $r$-uniform hypergraphs with circumference less than $r$

abstract: We show that for each $k\geq 4$ and $n>r\geq k+1$, every $n$-vertex $r$-uniform hypergraph with no Berge cycle of length at least $k$ has at most $\frac{(k-1)(n-1)}{r}$ edges. The bound is exact, and we describe the extremal hypergraphs. This implies and slightly refines the theorem of Gy\H{o}ri, Katona and Lemons that for $n>r\geq k\geq 3$, every $n$-vertex $r$-uniform hypergraph with no Berge path of length $k$ has at most $\frac{(k-1)n}{r+1}$ edges. To obtain the bounds, we study bipartite graphs with no cycles of length at least $2k$, and then translate the results into the language of multi-hypergraphs.


title: A spectral penalty method for two-sided fractional differential equations with general boundary conditions

abstract: We consider spectral approximations to the conservative form of the two-sided Riemann-Liouville (R-L) and Caputo fractional differential equations (FDEs) with nonhomogeneous Dirichlet (fractional and classical, respectively) and Neumann (fractional) boundary conditions. In particular, we develop a spectral penalty method (SPM) by using the Jacobi poly-fractonomial approximation for the conservative R-L FDEs while using the polynomial approximation for the conservative Caputo FDEs. We establish the well-posedness of the corresponding weak problems and analyze sufficient conditions for the coercivity of the SPM for different types of fractional boundary value problems. This analysis allows us to estimate the proper values of the penalty parameters at boundary points. We present several numerical examples to verify the theory and demonstrate the high accuracy of SPM, both for stationary and time dependent FDEs. Moreover, we compare the results against a Petrov-Galerkin spectral tau method (PGS-$\tau$, an extension of [Z. Mao, G.E. Karniadakis, SIAM J. Numer. Anal., 2018]) and demonstrate the superior accuracy of SPM for all cases considered.


title: LEAP: An Innovative Direction Dependent Ionospheric Calibration Scheme for Low Frequency Arrays

abstract: The ambitious scientific goals of the SKA require a matching capability for calibration of atmospheric propagation errors, which contaminate the observed signals. We demonstrate a scheme for correcting the direction-dependent ionospheric and instrumental phase effects at the low frequencies and with the wide fields of view planned for SKA-Low. It leverages bandwidth smearing, to filter-out signals from off-axis directions, allowing the measurement of the direction-dependent antenna-based gains in the visibility domain; by doing this towards multiple directions it is possible to calibrate across wide fields of view. This strategy removes the need for a global sky model, therefore all directions are independent. We use MWA results at 88 and 154 MHz under various weather conditions to characterise the performance and applicability of the technique. We conclude that this method is suitable to measure and correct for temporal fluctuations and direction-dependent spatial ionospheric phase distortions on a wide range of scales: both larger and smaller than the array size. The latter are the most intractable and pose a major challenge for future instruments. Moreover this scheme is an embarrassingly parallel process, as multiple directions can be processed independently and simultaneously. This is an important consideration for the SKA, where the current planned architecture is one of compute-islands with limited interconnects. Current implementation of the algorithm and on-going developments are discussed.


title: Toward Convolutional Blind Denoising of Real Photographs

abstract: While deep convolutional neural networks (CNNs) have achieved impressive success in image denoising with additive white Gaussian noise (AWGN), their performance remains limited on real-world noisy photographs. The main reason is that their learned models are easy to overfit on the simplified AWGN model which deviates severely from the complicated real-world noise model. In order to improve the generalization ability of deep CNN denoisers, we suggest training a convolutional blind denoising network (CBDNet) with more realistic noise model and real-world noisy-clean image pairs. On the one hand, both signal-dependent noise and in-camera signal processing pipeline is considered to synthesize realistic noisy images. On the other hand, real-world noisy photographs and their nearly noise-free counterparts are also included to train our CBDNet. To further provide an interactive strategy to rectify denoising result conveniently, a noise estimation subnetwork with asymmetric learning to suppress under-estimation of noise level is embedded into CBDNet. Extensive experimental results on three datasets of real-world noisy photographs clearly demonstrate the superior performance of CBDNet over state-of-the-arts in terms of quantitative metrics and visual quality. The code has been made available at https://github.com/GuoShi28/CBDNet.