title: Ends, tangles and critical vertex sets

abstract: We show that an arbitrary infinite graph $G$ can be compactified by its ends plus its critical vertex sets, where a finite set $X$ of vertices of an infinite graph is critical if its deletion leaves some infinitely many components each with neighbourhood precisely equal to $X$. We further provide a concrete separation system whose $\aleph_0$-tangles are precisely the ends plus critical vertex sets. Our tangle compactification $\vert G\vert_{\Gamma}$ is a quotient of Diestel's (denoted by $\vert G\vert_{\Theta}$), and both use tangles to compactify a graph in much the same way as the ends of a locally finite and connected graph compactify it in its Freudenthal compactification. Finally, generalising both Diestel's construction of $\vert G\vert_{\Theta}$ and our construction of $\vert G\vert_{\Gamma}$, we show that $G$ can be compactified by every inverse limit of compactifications of the sets of components obtained by deleting a finite set of vertices. Diestel's $\vert G\vert_{\Theta}$ is the finest such compactification, and our $\vert G\vert_{\Gamma}$ is the coarsest one. Both coincide if and only if all tangles are ends. This answers two questions of Diestel.


title: Image Compression Using Proposed Enhanced Run Length Encoding Algorithm

abstract: In this paper, we will present p roposed enhance process of image compression by using RLE algorithm. This proposed yield to decrease the size of compressing image, but the original method used primarily for compressing a binary images [1].Which will yield increasing the size of an original image mostly when used for color images. The test of an enhanced algorithm is performed on sample consists of ten BMP 24-bit true color images, building an application by using visual basic 6.0 to show the size after and before compression process and computing the compression ratio for RLE and for the enhanced RLE algorithm.


title: Spontaneous decay of small copper cluster anions Cu$_n^-$, $n=3-6$ on long time scales

abstract: We have measured the spontaneous neutral particle emission from copper cluster anions (Cu$_n^-$, $n=3-6$) stored at cryogenic temperatures in one of the electrostatic ion storage rings of the DESIREE (Double ElectroStatic Ion Ring ExpEriment) facility at Stockholm University. The measured rate of emission from the stored Cu$_3^-$ ions follows a single power law decay for about 1 ms but then decreases much more rapidly with time. The latter behavior may be due to a decrease in the density of available final states in Cu$_3$ as the excitation energies of the decaying ions approach the electron detachment threshold. The emissions from Cu$_4^-$, Cu$_5^-$ and Cu$_6^-$ are well-described by sums of two power laws that are quenched by radiative cooling of the stored ions with characteristic times between a few and hundreds of milliseconds. We relate these two-component behaviors to populations of stored ions with higher and lower angular momenta. In a separate experiment, we studied the laser-induced decay of Cu$_6^-$ ions that were excited by 1.13 eV or 1.45 eV photons after 46 milliseconds of storage.


title: New Science, New Media: An Assessment of the Online Education and Public Outreach Initiatives of The Dark Energy Survey

abstract: As large-scale international collaborations become the standard for astronomy research, a wealth of opportunities have emerged to create innovative education and public outreach (EPO) programming. In the past two decades, large collaborations have focused EPO strategies around published data products. Newer collaborations have begun to explore other avenues of public engagement before and after data are made available. We present a case study of the online EPO program of The Dark Energy Survey, currently one of the largest international astronomy collaborations actively taking data. DES EPO is unique at this scale in astronomy, as far as we are aware, as it evolved organically from scientists' passion for EPO and is entirely organized and implemented by the volunteer efforts of collaboration scientists. We summarize the strategy and implementation of eight EPO initiatives. For content distributed via social media, we present reach and user statistics over the 2016 calendar year. DES EPO online products reached ~2,500 users per post, and 94% of these users indicate a predisposition to science-related interests. We find no obvious correlation between post type and post reach, with the most popular posts featuring the intersections of science and art and/or popular culture. We conclude that one key issue of the online DES EPO program was designing material which would inspire new interest in science. The greatest difficulty of the online DES EPO program was sustaining scientist participation and collaboration support; the most successful programs are those which capitalized on the hobbies of participating scientists. We present statistics and recommendations, along with observations from individual experience, as a potentially instructive resource for scientists or EPO professionals interested in organizing EPO programs and partnerships for large science collaborations or organizations.


title: Positioning of Multiple Photon Interaction Events in Cross Strip Cadmium Zinc Telluride Detectors for PET

abstract: This report summarizes work done during PhD rotation that proposes an algorithm that uses anode- cathode trigger time difference and cathode to anode pulse height ratio to resolve photon event positioning degeneracy in a novel Cadmium Zinc Telluride (CZT) photon detector for positron emission tomography (PET). The detectors used comprise 40 mm x 40 mm x 5 mm monolithic CZT crystals that employ a cross-strip electrode pattern with interspersed steering electrodes to obtain high spatial and energy resolution. The specific positioning degeneracy studied results when a photon event interacts in two detector pixels, triggering two anode and two cathode strips, hence presenting four pixels as potential interaction locations. An experiment was performed where a 1 mm diameter collimated pencil beam of annihilation photons was used to target a detector pixel of known location. The data acquired provided an empirical basis to train and test the algorithm. The study shows that, depending on the restrictions applied on the data set, the proposed algorithm accurately identifies the true photon interaction locations 59.7% to 66.7% of the time, which is 19.4% to 33.4% better than an unbiased Bernoulli trial. Further improvements of the algorithm will enhance the effective system photon sensitivity by extracting useful information from events which would otherwise be discarded.


title: Some remarks on semirings and their ideals

abstract: In this paper, we give semiring version of some classical results in commutative algebra related to Euclidean rings, PIDs, UFDs, G-domains, and GCD and integrally closed domains.


title: Spontaneous growth of spinor fields in gravity

abstract: We show that spinor fields nonminimally coupled to gravity can grow spontaneously in the presence of matter. We name this phenomenon spontaneous spinorization after the spontaneous scalarization scenario in scalar-tensor theories. Underlying reason for the growth of the spinor is an instability similar to the tachyon of spontaneous scalarization. We first present the structure of a tachyonic Dirac equation, and incorporate it into the matter coupling in gravity. This causes the zero-spinor solution to be unstable and leads to spontaneous growth. We investigate the behavior of the resulting theory for a spherically symmetric neutron star that has grown a spinor cloud. Spontaneous spinorization has the potential to lead to order-of-unity deviations from general relativity in strong fields in a similar manner to its close relative spontaneous scalarization. This makes the theory especially relevant to gravitational wave science and neutron star astrophysics.


title: Learning to Reason with HOL4 tactics

abstract: Techniques combining machine learning with translation to automated reasoning have recently become an important component of formal proof assistants. Such "hammer" tech- niques complement traditional proof assistant automation as implemented by tactics and decision procedures. In this paper we present a unified proof assistant automation approach which attempts to automate the selection of appropriate tactics and tactic-sequences com- bined with an optimized small-scale hammering approach. We implement the technique as a tactic-level automation for HOL4: TacticToe. It implements a modified A*-algorithm directly in HOL4 that explores different tactic-level proof paths, guiding their selection by learning from a large number of previous tactic-level proofs. Unlike the existing hammer methods, TacticToe avoids translation to FOL, working directly on the HOL level. By combining tactic prediction and premise selection, TacticToe is able to re-prove 39 percent of 7902 HOL4 theorems in 5 seconds whereas the best single HOL(y)Hammer strategy solves 32 percent in the same amount of time.


title: TacticToe: Learning to Prove with Tactics

abstract: We implement a automated tactical prover TacticToe on top of the HOL4 interactive theorem prover. TacticToe learns from human proofs which mathematical technique is suitable in each proof situation. This knowledge is then used in a Monte Carlo tree search algorithm to explore promising tactic-level proof paths. On a single CPU, with a time limit of 60 seconds, TacticToe proves 66.4 percent of the 7164 theorems in HOL4's standard library, whereas E prover with auto-schedule solves 34.5 percent. The success rate rises to 69.0 percent by combining the results of TacticToe and E prover.


title: Modified Algebraic Bethe Ansatz: Twisted XXX Case

abstract: We prove the modified algebraic Bethe Ansatz characterization of the spectral problem for the closed XXX Heisenberg spin chain with an arbitrary twist and arbitrary positive (half)-integer spin at each site of the chain. We provide two basis to characterize the spectral problem and two families of inhomogeneous Baxter T-Q equations. The two families satisfy an inhomogeneous quantum Wronskian equation.


title: Small-d MSR Codes with Optimal Access, Optimal Sub-Packetization and Linear Field Size

abstract: This paper presents an explicit construction of a class of optimal-access, minimum storage regenerating (MSR) codes, for small values of the number $d$ of helper nodes. The construction is valid for any parameter set $(n,k,d)$ with $d \in \{k+1, k+2, k+3\}$ and employs a finite field $\mathbb{F}_q$ of size $q=O(n)$. We will refer to the constructed codes as Small-d MSR codes. The sub-packetization level $\alpha$ is given by $\alpha = s^{{\lceil\frac{n}{s}\rceil}}$, where $s=d-k+1$. By an earlier result on the sub-packetization level for optimal-access MSR codes, this is the smallest value possible.


title: The Maximum Trajectory Coverage Query in Spatial Databases

abstract: With the widespread use of GPS-enabled mobile devices, an unprecedented amount of trajectory data is becoming available from various sources such as Bikely, GPS-wayPoints, and Uber. The rise of innovative transportation services and recent break-throughs in autonomous vehicles will lead to the continued growth of trajectory data and related applications. Supporting these services in emerging platforms will require more efficient query processing in trajectory databases. In this paper, we propose two new coverage queries for trajectory databases: (i) k Maximizing Reverse Range Search on Trajectories (kMaxRRST); and (ii) a Maximum k Coverage Range Search on Trajectories (MaxkCovRST). We propose a novel index structure, the Trajectory Quadtree (TQ-tree) that utilizes a quadtree to hierarchically organize trajectories into different quadtree nodes, and then applies a z-ordering to further organize the trajectories by spatial locality inside each node. This structure is highly effective in pruning the trajectory search space, which is of independent interest. By exploiting the TQ-tree data structure, we develop a divide-and-conquer approach to compute the trajectory "service value", and a best-first strategy to explore the trajectories using the appropriate upper bound on the service value to efficiently process a kMaxRRST query. Moreover, to solve the MaxkCovRST, which is a non-submodular NP-hard problem, we propose a greedy approximation which also exploits the TQ-tree. We evaluate our algorithms through an extensive experimental study on several real datasets, and demonstrate that our TQ-tree based algorithms outperform common baselines by two to three orders of magnitude.


title: From solar cells to ocean buoys: Wide-bandwidth limits to absorption by metaparticle arrays

abstract: In this paper, we develop an approximate wide-bandwidth upper bound to the absorption enhancement in arrays of metaparticles, applicable to general wave-scattering problems and motivated here by ocean-buoy energy extraction. We show that general limits, including the well-known Yablonovitch result in solar cells, arise from reciprocity conditions. The use of reciprocity in the stochastic regime leads us to a corrected diffusion model from which we derive our main result: an analytical prediction of optimal array absorption that closely matches exact simulations for both random and optimized arrays under angle/frequency averaging. This result also enables us to propose and quantify approaches to increase performance through careful particle design and/or using external reflectors. We show in particular that the use of membranes on the water's surface allows substantial enhancement.


title: Toolbox: Gaussian comparison on Eucledian balls

abstract: In the work a characterization of difference of multivariate Gaussian measures is found on the family of centered Eucledian balls. In particular, it helps to bound corresponding Kolmogorov distance.


title: A Compressed Sensing Approach for Distribution Matching

abstract: In this work, we formulate the fixed-length distribution matching as a Bayesian inference problem. Our proposed solution is inspired from the compressed sensing paradigm and the sparse superposition (SS) codes. First, we introduce sparsity in the binary source via position modulation (PM). We then present a simple and exact matcher based on Gaussian signal quantization. At the receiver, the dematcher exploits the sparsity in the source and performs low-complexity dematching based on generalized approximate message-passing (GAMP). We show that GAMP dematcher and spatial coupling lead to asymptotically optimal performance, in the sense that the rate tends to the entropy of the target distribution with vanishing reconstruction error in a proper limit. Furthermore, we assess the performance of the dematcher on practical Hadamard-based operators. A remarkable feature of our proposed solution is the possibility to: i) perform matching at the symbol level (nonbinary); ii) perform joint channel coding and matching.


title: Higher ideles and class field theory

abstract: We use higher ideles and duality theorems to develop a universal approach to higher dimensional class field theory.


title: Friction-free quantum machines

abstract: The operation of a quantum heat engine in finite time generally faces a trade-off between efficiency and power. Using shortcuts to adiabaticity (STA), this trade off can be avoided to engineer thermal machines that operate at maximum efficiency and tunable output power. We demonstrate the use of STA to engineer a scalable superadiabatic quantum Otto cycle and report recent experimental progress to tailor quantum friction in finite-time quantum thermodynamics. In the presence of quantum friction, it is also shown that the use of a many-particle working medium can boost the performance of the quantum machines with respect to an ensemble of single-particle thermal machines.


title: On the Reeb spaces of definable maps

abstract: We prove that the Reeb space of a proper definable map $f:X \rightarrow Y$ in an arbitrary o-minimal expansion of a real closed field is realizable as a proper definable quotient. This result can be seen as an o-minimal analog of Stein factorization of proper morphisms in algebraic geometry. We also show that the Betti numbers of the Reeb space of $f$ can be arbitrarily large compared to those of $X$, unlike in the special case of Reeb graphs of manifolds. Nevertheless, in the special case when $f:X \rightarrow Y$ is a semi-algebraic map and $X$ is closed and bounded, we prove a singly exponential upper bound on the Betti numbers of the Reeb space of $f$ in terms of the number and degrees of the polynomials defining $X,Y$, and $f$.


title: Closed periodic orbits in anomalous gravitation

abstract: Newton famously showed that a gravitational force inversely proportional to the square of the distance, $F \sim 1/r^2$, formally explains Kepler's three laws of planetary motion. But what happens to the familiar elliptical orbits if the force were to taper off with a different spatial exponent? Here we expand generic textbook treatments by a detailed geometric characterisation of the general solution to the equation of motion for a two-body `sun/planet' system under anomalous gravitation $F \sim 1/r^{\alpha} (1 \leq \alpha < 2)$. A subset of initial conditions induce closed self-intersecting periodic orbits resembling hypotrochoids with perihelia and aphelia forming regular polygons. We provide time-resolved trajectories for a variety of exponents $\alpha$, and discuss conceptual connections of the case $\alpha = 1$ to Modified Newtonian Dynamics and galactic rotation curves.


title: MegaDepth: Learning Single-View Depth Prediction from Internet Photos

abstract: Single-view depth prediction is a fundamental problem in computer vision. Recently, deep learning methods have led to significant progress, but such methods are limited by the available training data. Current datasets based on 3D sensors have key limitations, including indoor-only images (NYU), small numbers of training examples (Make3D), and sparse sampling (KITTI). We propose to use multi-view Internet photo collections, a virtually unlimited data source, to generate training data via modern structure-from-motion and multi-view stereo (MVS) methods, and present a large depth dataset called MegaDepth based on this idea. Data derived from MVS comes with its own challenges, including noise and unreconstructable objects. We address these challenges with new data cleaning methods, as well as automatically augmenting our data with ordinal depth relations generated using semantic segmentation. We validate the use of large amounts of Internet data by showing that models trained on MegaDepth exhibit strong generalization-not only to novel scenes, but also to other diverse datasets including Make3D, KITTI, and DIW, even when no images from those datasets are seen during training.


title: Noncommutative Electrodynamics from $SO(2,3)_\star$ Model of Noncommutative Gravity

abstract: In our previous work we have constructed a model of noncommutative (NC) gravity based on $SO(2,3)_\star$ gauge symmetry. In this paper we extend the model by adding matter fields: fermions and a $U(1)$ gauge field. Using the enveloping algebra approach and the Seiberg-Witten map we construct actions for these matter fields and expand the actions up to first order in the noncommutativity (deformation) parameter. Unlike in the case of pure NC gravity, first non-vanishing NC corrections are linear in the noncommutativity parameter. In the flat space-time limit we obtain a non-standard NC Electrodynamics. Finally, we discuss effects of noncommutativity on relativistic Landau levels of an electron in a constant background magnetic field and in addition we calculate the induced NC magnetic dipole moment of the electron.


title: Adaptive Algorithm for Sparse Signal Recovery

abstract: Spike and slab priors play a key role in inducing sparsity for sparse signal recovery. The use of such priors results in hard non-convex and mixed integer programming problems. Most of the existing algorithms to solve the optimization problems involve either simplifying assumptions, relaxations or high computational expenses. We propose a new adaptive alternating direction method of multipliers (AADMM) algorithm to directly solve the presented optimization problem. The algorithm is based on the one-to-one mapping property of the support and non-zero element of the signal. At each step of the algorithm, we update the support by either adding an index to it or removing an index from it and use the alternating direction method of multipliers to recover the signal corresponding to the updated support. Experiments on synthetic data and real-world images show that the proposed AADMM algorithm provides superior performance and is computationally cheaper, compared to the recently developed iterative convex refinement (ICR) algorithm.


title: BATMAN : plate-forme blockchain pour l'authentification et la confiance dans les WSNs

abstract: Wireless Sensor networks (WSN) today suffer from a lack of security adapted to their multiple constraints, to which authentication and trust management solutions such as PGP only partially responds. On the one hand, the constraints of autonomy and co-operation of the nodes necessary to guarantee the coherence of the network do not require a distributed solution. On the other hand, the constraints of energy consumption and the low computing power of the nodes require the use of algorithms of low complexity (Zhang2014) . To our knowledge, no solution can answer both these problems at the same time. We are proposing a new solution for securing WSNs named BATMAN (Blockchain Authentication and Trust Module in Ad-hoc Networks) to reply to these challenges. We present a model of centralized management for authentication and trust, implementable on the Tezos blockchain, and evaluate through simulation the confidence estimators proposed here.


title: Design and performance of a low-intensity LED driver for detector study purposes

abstract: A custom LED driver producing light pulses with very low intensity and O(10 ns) duration was designed and constructed. A microcontroller was employed to handle the amplitudes and the repetition rates of the output pulses. In addition, it also provided both a PC control of the system through a RS232 interface and an external trigger I/O. A WLS fibre directly coupled to a LED provides unique characteristics of the output light pulse. The combination of a quasi delta light pulse source and physical absorption-emission medium results in an output light profile maximally close to the plastic sctintillators. The light generator is intended to be used to test the response and the rate capability of different photodetectors. Its design, operational characteristics, and stability are described and discussed.


title: Approximate Controllability of Impulsive Non-local Non-linear Fractional Dynamical Systems and Optimal Control

abstract: We establish existence, approximate controllability and optimal control of a class of impulsive non-local non-linear fractional dynamical systems in Banach spaces. We use fractional calculus, sectorial operators and Krasnoselskii fixed point theorems for the main results. Approximate controllability results are discussed with respect to the inhomogeneous non-linear part. Moreover, we prove existence results of optimal pairs of corresponding fractional control systems with a Bolza cost functional.


title: On tensoring with the Steinberg representation

abstract: Let $G$ be a simple, simply connected algebraic group over an algebraically closed field of prime characteristic $p>0$. Recent work of Kildetoft and Nakano and of Sobaje has shown close connections between two long-standing conjectures of Donkin: one on tilting modules and the lifting of projective modules for Frobenius kernels of $G$ and another on the existence of certain filtrations of $G$-modules. A key question related to these conjectures is whether the tensor product of the $r$th Steinberg module with a simple module with $p^{r}$th restricted highest weight admits a good filtration. In this paper we verify this statement when (i) $p\geq 2h-4$ ($h$ is the Coxeter number), (ii) for all rank two groups, (iii) for $p\geq 3$ when the simple module corresponds to a fundamental weight and (iv) for a number of cases when the rank is less than or equal to five.


title: $D$ wave charmonia

abstract: Inspired by the recent observations of the vector charmonium-like states at BES III Collaboration and $\psi(3842)$ at LHCb Collaboration, we comb the $D$ wave charmonium state in the present work. We first evaluate the possibility of $Y(4320)$ as $\psi(3^3D_1)$ by investigating its open charm decays in quark-pair creation model and we find the width of $Y(4320)$ can be reproduced in a reasonable parameter range. Moreover, we take $\psi(3770)$, $\psi(4160)$ and $Y(4320)$ as the scale of $1D$, $2D$ and $3D$ charmonia to estimate the open charm decays of other $D$ wave charmonia. The total and partial widths of $D$ wave charmonium states have been predicted, which could be tested by further measurements at LHCb and Belle II Collaborations.


title: Holographic complexity of black non-susy D3-brane and the high temperature limit

abstract: The holographic complexity of a `black' non-susy $D3$-brane is computed. The difference in the holographic complexity between this geometry in the Fefferman-Graham coordinates and that of the $AdS_5$ geometry is obtained for a strip type subsystem. This is then related to the changes in the energy and the entanglement entropy of the system. We next take the high temperature limit of the change in complexity and observe that it scales with the temperature in the same way as the holographic entanglement entropy. The crossover of the holographic complexity to its corresponding thermal counterpart is similar to the corresponding crossover of the holographic entanglement entropy in the high temperature limit. We further repeat the analysis for $\mathcal{N} =4$ super Yang-Mills theory and observe a similar behaviour.


title: Versality in mirror symmetry

abstract: One of the attractions of homological mirror symmetry is that it not only implies the previous predictions of mirror symmetry (e.g., curve counts on the quintic), but it should in some sense be `less of a coincidence' than they are and therefore easier to prove. In this survey we explain how Seidel's approach to mirror symmetry via versality at the large volume/large complex structure limit makes this idea precise.


title: Specification-Driven Multi-Perspective Predictive Business Process Monitoring (Extended Version)

abstract: Predictive analysis in business process monitoring aims at forecasting the future information of a running business process. The prediction is typically made based on the model extracted from historical process execution logs (event logs). In practice, different business domains might require different kinds of predictions. Hence, it is important to have a means for properly specifying the desired prediction tasks, and a mechanism to deal with these various prediction tasks. Although there have been many studies in this area, they mostly focus on a specific prediction task. This work introduces a language for specifying the desired prediction tasks, and this language allows us to express various kinds of prediction tasks. This work also presents a mechanism for automatically creating the corresponding prediction model based on the given specification. Thus, different from previous studies, our approach enables us to deal with various kinds of prediction tasks based on the given specification. A prototype implementing our approach has been developed and experiments using a real-life event log have been conducted.


title: The PADME Tracking System

abstract: The Positron Annihilation into Dark Matter Experiment (PADME) at LNF-INFN Linac aims to perform a search for dark photons in positron-on-target annihilation process. A key component of the setup is the tracking system which allows vetoing the bremsstrahlung-induced background. Different solutions for the detector will be shown and will be discussed. Attention will be paid to the possibility to construct a hybrid tracker based on plastic scintillator fibers read out by CCD matrices.


title: Modeling Semantic Plausibility by Injecting World Knowledge

abstract: Distributional data tells us that a man can swallow candy, but not that a man can swallow a paintball, since this is never attested. However both are physically plausible events. This paper introduces the task of semantic plausibility: recognizing plausible but possibly novel events. We present a new crowdsourced dataset of semantic plausibility judgments of single events such as "man swallow paintball". Simple models based on distributional representations perform poorly on this task, despite doing well on selection preference, but injecting manually elicited knowledge about entity properties provides a substantial performance boost. Our error analysis shows that our new dataset is a great testbed for semantic plausibility models: more sophisticated knowledge representation and propagation could address many of the remaining errors.


title: Algebraic matching techniques for fast decoding of polar codes with Reed-Solomon kernel

abstract: We propose to reduce the decoding complexity of polar codes with non-Arikan kernels by employing a (near) ML decoding algorithm for the codes generated by kernel rows. A generalization of the order statistics algorithm is presented for soft decoding of Reed-Solomon codes. Algebraic properties of the Reed-Solomon code are exploited to increase the reprocessing order. The obtained algorithm is used as a building block to obtain a decoder for polar codes with Reed-Solomon kernel.


title: Qualification conditions-free characterizations of the $\varepsilon$-subdifferential of convex integral functions

abstract: We provide formulae for the $\varepsilon$-subdifferential of the integral function $ I_f(x):=\int_T f(t,x) d\mu(t), $ where the integrand $f:T\times X \to [-\infty,+\infty]$ is measurable in $(t,x)$ and convex in $x$. The state variable lies in a locally convex space, possibly non-separable, while $T$ is given a structure of a nonnegative complete $\sigma$-finite measure space $(T,\mathcal{A},\mu)$. The resulting characterizations are given in terms of the $\epsilon$-subdifferential of the data functions involved in the integrand, $f$, without requiring any qualification conditions. We also derive new formulas when some usual continuity-type conditions are in force. These results are new even for the finite sum of convex functions and for the finite-dimensional setting.


title: Beam test measurements of Low Gain Avalanche Detector single pads and arrays for the ATLAS High Granularity Timing Detector

abstract: For the high luminosity upgrade of the LHC at CERN, ATLAS is considering the addition of a High Granularity Timing Detector (HGTD) in front of the end cap and forward calorimeters at |z| = 3.5 m and covering the region 2.4 < |{\eta}| < 4 to help reducing the effect of pile-up. The chosen sensors are arrays of 50 {\mu}m thin Low Gain Avalanche Detectors (LGAD). This paper presents results on single LGAD sensors with a surface area of 1.3x1.3 mm2 and arrays with 2x2 pads with a surface area of 2x2 mm^2 or 3x3 mm^2 each and different implant doses of the p+ multiplication layer. They are obtained from data collected during a beam test campaign in Autumn 2016 with a pion beam of 120 GeV energy at the CERN SPS. In addition to several quantities measured inclusively for each pad, the gain, efficiency and time resolution have been estimated as a function of the position of the incident particle inside the pad by using a beam telescope with a position resolution of few {\mu}m. Different methods to measure the time resolution are compared, yielding consistent results. The sensors with a surface area of 1.3x1.3 mm^2 have a time resolution of about 40 ps for a gain of 20 and of about 27 ps for a gain of 50 and fulfill the HGTD requirements. Larger sensors have, as expected, a degraded time resolution. All sensors show very good efficiency and time resolution uniformity.


title: Hyperdrive: A Multi-Chip Systolically Scalable Binary-Weight CNN Inference Engine

abstract: Deep neural networks have achieved impressive results in computer vision and machine learning. Unfortunately, state-of-the-art networks are extremely compute and memory intensive which makes them unsuitable for mW-devices such as IoT end-nodes. Aggressive quantization of these networks dramatically reduces the computation and memory footprint. Binary-weight neural networks (BWNs) follow this trend, pushing weight quantization to the limit. Hardware accelerators for BWNs presented up to now have focused on core efficiency, disregarding I/O bandwidth and system-level efficiency that are crucial for deployment of accelerators in ultra-low power devices. We present Hyperdrive: a BWN accelerator dramatically reducing the I/O bandwidth exploiting a novel binary-weight streaming approach, which can be used for arbitrarily sized convolutional neural network architecture and input resolution by exploiting the natural scalability of the compute units both at chip-level and system-level by arranging Hyperdrive chips systolically in a 2D mesh while processing the entire feature map together in parallel. Hyperdrive achieves 4.3 TOp/s/W system-level efficiency (i.e., including I/Os)---3.1x higher than state-of-the-art BWN accelerators, even if its core uses resource-intensive FP16 arithmetic for increased robustness.


title: Maximal Ferrers Diagram Codes: Constructions and Genericity Considerations

abstract: This paper investigates the construction of rank-metric codes with specified Ferrers diagram shapes. These codes play a role in the multilevel construction for subspace codes. A conjecture from 2009 provides an upper bound for the dimension of a rank-metric code with given specified Ferrers diagram shape and rank distance. While the conjecture in its generality is wide open, several cases have been established in the literature. This paper contributes further cases of Ferrers diagrams and ranks for which the conjecture holds true. In addition, the proportion of maximal Ferrers diagram codes within the space of all rank-metric codes with the same shape and dimension is investigated. Special attention is being paid to MRD codes. It is shown that for growing field size the limiting proportion depends highly on the Ferrers diagram. For instance, for $[m\times 2]$-MRD codes with rank~$2$ this limiting proportion is close to $1/e$.


title: ALMA Reveals A Collision Between Protostellar Outflows in BHR71

abstract: For a binary protostellar outflow system in which its members are located so close to each other (the separation being smaller than the addition of the widths of the flows) and with large opening angles, the collision seems unavoidable regardless of the orientation of the outflows. This is in contrast to the current observational evidence of just a few regions with indications of colliding outflows. Here, using sensitive observations of the Atacama Large Millimeter/Submillimeter Array (ALMA), we report resolved images of carbon monoxide (CO) towards the binary flows associated with the BHR71 protostellar system. These images reveal for the first time solid evidence that their flows are partially colliding, increasing the brightness of the CO, the dispersion of the velocities in the interaction zone, and changing part of the orientation in one of the flows. Additionally, this impact opened the possibility of knowing the 3D geometry of the system, revealing that one of its components (IRS2) should be closer to us.


title: Why Software Effort Estimation Needs SBSE

abstract: Industrial practitioners now face a bewildering array of possible configurations for effort estimation. How to select the best one for a particular dataset? This paper introduces OIL (short for optimized learning), a novel configuration tool for effort estimation based on differential evolution. When tested on 945 software projects, OIL significantly improved effort estimations, after exploring just a few configurations (just a few dozen). Further OIL's results are far better than two methods in widespread use: estimation-via-analogy and a recent state-of-the-art baseline published at TOSEM'15 by Whigham et al. Given that the computational cost of this approach is so low, and the observed improvements are so large, we conclude that SBSE should be a standard component of software effort estimation.


title: Theory of Emergent Josephson Lattice in Neutral Twisted Bilayer Graphene (Moi\'re is Different)

abstract: `More is Different' (Anderson, 1972) in graphene. A bilayer and a twist spring surprises. Recently discovered superconductivity (T$_c\approx$ 1.7 K) at an ultra low doping density $\sim 10^{11}$cm${}^{-2}$ has alerted the community to look for an electron-electron interaction based mechanism, as phonon-induced attraction seems inadequate. We suggest a mechanism of superconductivity, where an important role is played by the dense (density $\approx$ 2 $\times$ 10${}^{15}$cm$^{-2}$) $\pi$-electron fluid of graphene layers. This fluid bears off-shell resonating valence bond correlations (RVB) at the carbon-carbon bond scale. A commensurate twist $\theta\approx 1.1^\circ$, creates charge neutral carrier puddles (size $\sim$ 50 \AA) and forms a triangular Moir\'e lattice of local AA registry. AA registry dopes equal numbers of electrons and holes via interlayer tunneling, whereas AB registry does not. Carriers inside the charge neutral puddles form equal numbers of -2e and +2e Cooper pairs, using on-shell RVB correlations. A Josephson-Moir\'e lattice emerges. Coulomb blockade competes with pair tunneling and creates a Bose Mott insulator. Gate doping dopes the Bose Hubbard model and creates superconductivity. Our message is that RVB correlations, which remain dormant in (carrierless) neutral graphene become on-shell for two added electrons, as they are indistinguishable from electrons that make the background $\pi$-fluid in graphene.


title: Search for Dark Matter Gamma-ray Emission from the Andromeda Galaxy with the High-Altitude Water Cherenkov Observatory

abstract: The Andromeda Galaxy (M31) is a nearby ($\sim$780 kpc) galaxy similar to our own Milky Way. Observational evidence suggests that it resides in a large halo of dark matter (DM), making it a good target for DM searches. We present a search for gamma rays from M31 using 1017 days of data from the High Altitude Water Cherenkov (HAWC) Observatory. With its wide field of view and constant monitoring, HAWC is well-suited to search for DM in extended targets like M31. No DM annihilation or decay signal was detected for DM masses from 1 to 100 TeV in the $b\bar{b}$, $t\bar{t}$, $\tau^{+}\tau^{-}$, $\mu^{+}\mu^{-}$, and $W^{+}W^{-}$ channels. Therefore we present limits on those processes. Our limits nicely complement the existing body of DM limits from other targets and instruments. Specifically the DM decay limits from our benchmark model are the most constraining for DM masses from 25 TeV to 100 TeV in the $b\bar{b}, t\bar{t}$ and $\mu^{+}\mu{-}$ channels. In addition to DM-specific limits, we also calculate general gamma-ray flux limits for M31 in 5 energy bins from 1 TeV to 100 TeV.


title: A Multi-Scale Spin-Glass Mean-Field Model

abstract: In this paper a multi-scale version of the Sherrington and Kirkpatrick model is introduced and studied. The pressure per particle in the thermodynamical limit is proved to obey a variational principle of Parisi type. The result is achieved by means of lower and upper bounds. The lower bound is obtained with a Ruelle cascade using the interpolation technique, while the upper bound exploits factorisation properties of the equilibrium measure and the synchronisation technique


title: Updating the generator in PPGN-h with gradients flowing through the encoder

abstract: The Generative Adversarial Network framework has shown success in implicitly modeling data distributions and is able to generate realistic samples. Its architecture is comprised of a generator, which produces fake data that superficially seem to belong to the real data distribution, and a discriminator which is to distinguish fake from genuine samples. The Noiseless Joint Plug & Play model offers an extension to the framework by simultaneously training autoencoders. This model uses a pre-trained encoder as a feature extractor, feeding the generator with global information. Using the Plug & Play network as baseline, we design a new model by adding discriminators to the Plug & Play architecture. These additional discriminators are trained to discern real and fake latent codes, which are the output of the encoder using genuine and generated inputs, respectively. We proceed to investigate whether this approach is viable. Experiments conducted for the MNIST manifold show that this indeed is the case.


title: Central Limit Theorems for Classical Multidimensional Scaling

abstract: Classical multidimensional scaling is a widely used method in dimensionality reduction and manifold learning. The method takes in a dissimilarity matrix and outputs a low-dimensional configuration matrix based on a spectral decomposition. In this paper, we present three noise models and analyze the resulting configuration matrices, or embeddings. In particular, we show that under each of the three noise models the resulting embedding gives rise to a central limit theorem. We also provide compelling simulations and real data illustrations of these central limit theorems. This perturbation analysis represents a significant advancement over previous results regarding classical multidimensional scaling behavior under randomness.


title: Imbalance Entanglement: Symmetry Decomposition of Negativity

abstract: In the presence of symmetry, entanglement measures of quantum many-body states can be decomposed into contributions arising from distinct symmetry sectors. Here we investigate the decomposability of negativity, a measure of entanglement between two parts of a generally open system in a mixed state. While the entanglement entropy of a subsystem within a closed system can be resolved according to its total preserved charge, we find that negativity of two subsystems may be decomposed into contributions associated with their charge imbalance. We show that this charge-imbalance decomposition of the negativity may be measured by employing existing techniques based on creation and manipulation of many-body twin or triple states in cold atomic setups. Next, using a geometrical construction in terms of an Aharonov-Bohm-like flux inserted in a Riemann geometry, we compute this decomposed negativity in critical one-dimensional systems described by conformal field theory. We show that it shares the same distribution as the charge-imbalance between the two subsystems. We numerically confirm our field theory results via an exact calculations for non-interacting particles based on a double-gaussian representation of the partially transposed density matrix.

categories: cond-mat.stat-mech cond-mat.quant-gas physics.atom-ph quant-ph


title: Circuit-centric quantum classifiers

abstract: The current generation of quantum computing technologies call for quantum algorithms that require a limited number of qubits and quantum gates, and which are robust against errors. A suitable design approach are variational circuits where the parameters of gates are learnt, an approach that is particularly fruitful for applications in machine learning. In this paper, we propose a low-depth variational quantum algorithm for supervised learning. The input feature vectors are encoded into the amplitudes of a quantum system, and a quantum circuit of parametrised single and two-qubit gates together with a single-qubit measurement is used to classify the inputs. This circuit architecture ensures that the number of learnable parameters is poly-logarithmic in the input dimension. We propose a quantum-classical training scheme where the analytical gradients of the model can be estimated by running several slightly adapted versions of the variational circuit. We show with simulations that the circuit-centric quantum classifier performs well on standard classical benchmark datasets while requiring dramatically fewer parameters than other methods. We also evaluate sensitivity of the classification to state preparation and parameter noise, introduce a quantum version of dropout regularisation and provide a graphical representation of quantum gates as highly symmetric linear layers of a neural network.


title: Enhanced energy gain in a dielectric laser accelerator using a tilted pulse front laser

abstract: Using an 800 nm, 45 fs pulse-front-tilted laser we demonstrate a record 315 keV energy gain in a dual grating dielectric laser accelerator (DLA) and average accelerating gradients of 560 MV/m over 0.5 mm. These results open a new regime in DLA characterized by significant evolution of the beam distribution in the longitudinal phase space, corresponding to >1/4 of a synchrotron oscillation. By tilting the laser wavefront we control the resonant velocity of the DLA and observe a net energy gain, indicating that a tapered optical phase could be used to achieve very high energy gain.


title: Star Clusters in the Magellanic Clouds - II. Age-Dating, Classification and Spatio-Temporal Distribution of the SMC Clusters

abstract: Aim: We aim to estimate the age and reddening parameters of already identified star clusters within the Small Magellanic Cloud (SMC) in a consistent way using available photometric data, classify them based on their mass and strength, and study their spatio- temporal distribution. Methods: We have used a semi-automated quantitative method, developed in the first paper of this series (Paper I), to estimate the cluster parameters using the V and I band photometric data from the Optical Gravitational Lensing Experiment (OGLE) III survey. Results: We estimated parameters of 179 star clusters (17 newly parameterised) and classified them into 4 groups. We present an online catalog of parameters, and cleaned and isochrone-fitted Color Magnitude Diagrams of 179 clusters. We compiled age information of 468 clusters by combining previous studies with our catalog, to study their spatio-temporal distribution. Most of the clusters located in the southern part of the SMC are in the age range 600 Myr-1.25 Gyr, whereas, the clusters younger than 100 Myr are mostly found in the northern SMC, with the central SMC showing continuous cluster formation. The peak of the cluster age distribution is identified at 130 Myr, very similar to the Large Magellanic Cloud (LMC) in Paper I. Conclusion: We suggest that the burst of cluster formation at 130 Myr is due to the most recent LMC-SMC interaction. 90% of the studied sample is found to have mass <1700 M_sun, suggesting that the SMC is dominated by low mass clusters. There is a tentative evidence for compact clusters in the LMC when compared to those in the Galaxy and the SMC. A progressive shifting of cluster location from the South to North of the SMC is identified in last 600 Myr. The details of spatio-temporal distribution of clusters presented in two videos in this study can be used as a tool to constrain details of the recent LMC-SMC interactions.


title: Recursive Optimization of Convex Risk Measures: Mean-Semideviation Models

abstract: We develop recursive, data-driven, stochastic subgradient methods for optimizing a new, versatile, and application-driven class of convex risk measures, termed here as mean-semideviations, strictly generalizing the well-known and popular mean-upper-semideviation. We introduce the MESSAGEp algorithm, which is an efficient compositional subgradient procedure for iteratively solving convex mean-semideviation risk-averse problems to optimality. We analyze the asymptotic behavior of the MESSAGEp algorithm under a flexible and structure-exploiting set of problem assumptions. In particular: 1) Under appropriate stepsize rules, we establish pathwise convergence of the MESSAGEp algorithm in a strong technical sense, confirming its asymptotic consistency. 2) Assuming a strongly convex cost, we show that, for fixed semideviation order $p>1$ and for $\epsilon\in\left[0,1\right)$, the MESSAGEp algorithm achieves a squared-${\cal L}_{2}$ solution suboptimality rate of the order of ${\cal O}(n^{-\left(1-\epsilon\right)/2})$ iterations, where, for $\epsilon>0$, pathwise convergence is simultaneously guaranteed. This result establishes a rate of order arbitrarily close to ${\cal O}(n^{-1/2})$, while ensuring strongly stable pathwise operation. For $p\equiv1$, the rate order improves to ${\cal O}(n^{-2/3})$, which also suffices for pathwise convergence, and matches previous results. 3) Likewise, in the general case of a convex cost, we show that, for any $\epsilon\in\left[0,1\right)$, the MESSAGEp algorithm with iterate smoothing achieves an ${\cal L}_{1}$ objective suboptimality rate of the order of ${\cal O}(n^{-\left(1-\epsilon\right)/\left(4\bf{1}_{\left\{ p>1\right\} }+4\right)})$ iterations. This result provides maximal rates of ${\cal O}(n^{-1/4})$, if $p\equiv1$, and ${\cal O}(n^{-1/8})$, if $p>1$, matching the state of the art, as well.


title: 3D Registration of Curves and Surfaces using Local Differential Information

abstract: This article presents for the first time a global method for registering 3D curves with 3D surfaces without requiring an initialization. The algorithm works with 2-tuples point+vector that consist in pairs of points augmented with the information of their tangents or normals. A closed-form solution for determining the alignment transformation from a pair of matching 2-tuples is proposed. In addition, the set of necessary conditions for two 2-tuples to match is derived. This allows fast search of correspondences that are used in an hypothesise-and-test framework for accomplishing global registration. Comparative experiments demonstrate that the proposed algorithm is the first effective solution for curve vs surface registration, with the method achieving accurate alignment in situations of small overlap and large percentage of outliers in a fraction of a second. The proposed framework is extended to the cases of curve vs curve and surface vs surface registration, with the former being particularly relevant since it is also a largely unsolved problem.


title: A Tool for Analysis and Synthesis of Heterogeneous Multi-agent Systems under Rank-deficient Coupling

abstract: The behavior of heterogeneous multi-agent systems is studied when the coupling matrices are possibly all different and/or singular, that is, its rank is less than the system dimension. Rank-deficient coupling allows exchange of limited state information, which is suitable for the study of multi-agent systems under output coupling. We present a coordinate change that transforms the heterogeneous multi-agent system into a singularly perturbed form. The slow dynamics is still a reduced-order multi-agent system consisting of a weighted average of the vector fields of all agents, and some sub-dynamics of agents. The weighted average is an emergent dynamics, which we call a blended dynamics. By analyzing or synthesizing the blended dynamics, one can predict or design the behavior of a heterogeneous multi-agent system when the coupling gain is sufficiently large. For this result, stability of the blended dynamics is required. Since stability of the individual agent is not asked, the stability of the blended dynamics is the outcome of trading off the stability among the agents. It can be seen that, under the stability of the blended dynamics, the initial conditions of the individual agents are forgotten as time goes on, and thus, the behavior of the synthesized multi-agent system is initialization-free and is suitable for plug-and-play operation. As a showcase, we apply the proposed tool to four application problems; distributed state estimation for linear systems, practical synchronization of heterogeneous Van der Pol oscillators, estimation of the number of nodes in a network, and a problem of distributed optimization.


title: Projective Line Revisited

abstract: This article provides a new perspective on the geometry of a projective line, which helps clarify and illuminate some classical results about projective plane. As part of the same train of ideas, the article also provides a proof of the nine-point circle theorem valid for any affine plane over any field of characteristic different from 2.


title: A Cryptographic Test of Quantumness and Certifiable Randomness from a Single Quantum Device

abstract: We consider a new model for the testing of untrusted quantum devices, consisting of a single polynomial-time bounded quantum device interacting with a classical polynomial-time verifier. In this model we propose solutions to two tasks - a protocol for efficient classical verification that the untrusted device is "truly quantum," and a protocol for producing certifiable randomness from a single untrusted quantum device. Our solution relies on the existence of a new cryptographic primitive for constraining the power of an untrusted quantum device: post-quantum secure trapdoor claw-free functions which must satisfy an adaptive hardcore bit property. We show how to construct this primitive based on the hardness of the learning with errors (LWE) problem.


title: Anisotropic equation of state of charged and neutral vector boson gases in a constant magnetic field. Astrophysical implications

abstract: We obtain the pressures and equations of state (EoS) of charged and neutral vector boson gases in a constant magnetic field. The axial symmetry imposed to the system by the field splits the pressures in the parallel and perpendicular directions along the magnetic axis, and this leads to anisotropic equations of state. The values of pressures and energy densities are in the order of those of Fermi gases in compact objects. This opens the possibility to the existence of magnetized boson stars. Under certain conditions, the perpendicular pressure might be negative imposing a bound to the stability of the star. Other implications of negative pressures are also discussed.


title: Essential dimension of representations of algebras

abstract: Let $k$ be a field, $A$ a finitely generated associative $k$-algebra and $\operatorname{Rep}_A[n]$ the functor $\operatorname{Fields}_k\to \operatorname{Sets}$, which sends a field $K$ containing $k$ to the set of isomorphism classes of representations of $A_K$ of dimension at most $n$. We study the asymptotic behavior of the essential dimension of this functor, i.e., the function $r_A(n) := \operatorname{ed}_k(\operatorname{Rep}_A[n])$, as $n\to\infty$. In particular, we show that the rate of growth of $r_A(n)$ determines the representation type of $A$. That is, $r_A(n)$ is bounded from above if $A$ is of finite representation type, grows linearly if $A$ is of tame representation type and grows quadratically if A is of wild representation type. Moreover, $r_A(n)$ is a finer invariant of A, which allows us to distinguish among algebras of the same representation type.


title: Deflection of light by rotating regular black holes using the Gauss-Bonnet theorem

abstract: In this paper, we study the weak gravitational lensing in the spacetime of rotating regular black hole geometries such as Ayon-Beato-Garc\'ia (ABG), Bardeen, and Hayward black holes. We calculate the deflection angle of light using the Gauss-Bonnet theorem (GBT) and show that the deflection of light can be viewed as a partially topological effect in which the deflection angle can be calculated by considering a domain outside of the light ray applied to the black hole optical geometries. Then, we demonstrate also the deflection angle via the geodesics formalism for these black holes to verify our results and explore the differences with the Kerr solution. These black holes have in addition to the total mass and rotation parameter, different parameters as electric charge, magnetic charge, and deviation parameter. Newsworthy, we find that the deflection of light has correction terms coming from these parameters which generalizes the Kerr deflection angle.


title: Adversarial Teacher-Student Learning for Unsupervised Domain Adaptation

abstract: The teacher-student (T/S) learning has been shown effective in unsupervised domain adaptation [1]. It is a form of transfer learning, not in terms of the transfer of recognition decisions, but the knowledge of posteriori probabilities in the source domain as evaluated by the teacher model. It learns to handle the speaker and environment variability inherent in and restricted to the speech signal in the target domain without proactively addressing the robustness to other likely conditions. Performance degradation may thus ensue. In this work, we advance T/S learning by proposing adversarial T/S learning to explicitly achieve condition-robust unsupervised domain adaptation. In this method, a student acoustic model and a condition classifier are jointly optimized to minimize the Kullback-Leibler divergence between the output distributions of the teacher and student models, and simultaneously, to min-maximize the condition classification loss. A condition-invariant deep feature is learned in the adapted student model through this procedure. We further propose multi-factorial adversarial T/S learning which suppresses condition variabilities caused by multiple factors simultaneously. Evaluated with the noisy CHiME-3 test set, the proposed methods achieve relative word error rate improvements of 44.60% and 5.38%, respectively, over a clean source model and a strong T/S learning baseline model.


title: Universal Planning Networks

abstract: A key challenge in complex visuomotor control is learning abstract representations that are effective for specifying goals, planning, and generalization. To this end, we introduce universal planning networks (UPN). UPNs embed differentiable planning within a goal-directed policy. This planning computation unrolls a forward model in a latent space and infers an optimal action plan through gradient descent trajectory optimization. The plan-by-gradient-descent process and its underlying representations are learned end-to-end to directly optimize a supervised imitation learning objective. We find that the representations learned are not only effective for goal-directed visual imitation via gradient-based trajectory optimization, but can also provide a metric for specifying goals using images. The learned representations can be leveraged to specify distance-based rewards to reach new target states for model-free reinforcement learning, resulting in substantially more effective learning when solving new tasks described via image-based goals. We were able to achieve successful transfer of visuomotor planning strategies across robots with significantly different morphologies and actuation capabilities.


title: Sectional connecting lemma

abstract: A hyperbolic set on a compact manifold M, satisfies the property: given two of your any points p and q, such that for all positive \epsilon>0, there is a trajectory in the hyperbolic set from a point \epsilon-close to p to a point \epsilon-close to q, then there is a point in M whose \alpha-limit is that of p and whose \omega-limit is that of q. Bautista and Morales give a version of this property, for sectional-Anosov flows (vector fields whose maximal invariant set is sectional-hyperbolic), including some conditions; among them that limit the dimension of M to three. In this paper, we prove a generalization of this result, for sectional-hyperbolic sets of codimension one in high dimensions.


title: Geometry from Matrices via D-branes

abstract: In this paper, we give a map from matrices to a commutative geometry from a bound state of a D2-brane and N D0-branes. For this, tachyons in auxiliary unstable D-brane system describing the bound state play crucial roles. We found the map obtained in this way coincides with the recent proposals. We also consider the map from the geometry to matrices in a large N limit and argue that the map is a matrix regularization of geometry.


title: On the failure of Gorensteinness at weight 1 Eisenstein points of the eigencurve

abstract: We prove that the cuspidal eigencurve $C_{\mathrm{cusp}}$ is \'etale over the weight space at any classical weight $1$ Eisenstein point $f$ and meets two Eisenstein components of the eigencurve $C$ transversally at $f$. Further, we prove that the local ring of $C$ at $f$ is Cohen--Macaulay but not Gorenstein and compute the Fourier coefficients of a basis of overconvergent weight $1$ modular forms lying in the same generalised eigenspace as $f$. In addition, we prove an $R=T$ theorem for the local ring at $f$ of the closed subspace of $C$ given by the union of $C_{\mathrm{cusp}}$ and one Eisenstein component and prove unconditionally, via a geometric construction of the residue map, that the corresponding congruence ideal is generated by the Kubota--Leopoldt $p$-adic $L$-function. Finally we obtain a new proof of the Ferrero--Greenberg Theorem and Gross' formula for the derivative of the $p$-adic $L$-function at the trivial zero.


title: Progress on ELROI satellite license plate flight prototypes

abstract: The Extremely Low-Resource Optical Identifier (ELROI) beacon is a concept for a milliwatt optical "license plate" that can provide unique ID numbers for everything that goes into space. Using photon counting to enable extreme background rejection in real time, the ID number can be uniquely identified from the ground in a few minutes, even if the ground station detects only a few photons per second. The ELROI concept has been validated in long-range ground tests, and orbital prototypes are scheduled for launch in 2018 and beyond. We discuss the design and signal characteristics of these prototypes, including a PC-104 form factor unit which was integrated into a CubeSat and is currently scheduled to launch in May 2018, and basic requirements on ground stations for observing them. We encourage others to consider observing our test flights.


title: DeepMVS: Learning Multi-view Stereopsis

abstract: We present DeepMVS, a deep convolutional neural network (ConvNet) for multi-view stereo reconstruction. Taking an arbitrary number of posed images as input, we first produce a set of plane-sweep volumes and use the proposed DeepMVS network to predict high-quality disparity maps. The key contributions that enable these results are (1) supervised pretraining on a photorealistic synthetic dataset, (2) an effective method for aggregating information across a set of unordered images, and (3) integrating multi-layer feature activations from the pre-trained VGG-19 network. We validate the efficacy of DeepMVS using the ETH3D Benchmark. Our results show that DeepMVS compares favorably against state-of-the-art conventional MVS algorithms and other ConvNet based methods, particularly for near-textureless regions and thin structures.


title: Interactive Hand Pose Estimation: Boosting accuracy in localizing extended finger joints

abstract: Accurate 3D hand pose estimation plays an important role in Human Machine Interaction (HMI). In the reality of HMI, joints in fingers stretching out, especially corresponding fingertips, are much more important than other joints. We propose a novel method to refine stretching-out finger joint locations after obtaining rough hand pose estimation. It first detects which fingers are stretching out, then neighbor pixels of certain joint vote for its new location based on random forests. The algorithm is tested on two public datasets: MSRA15 and ICVL. After the refinement stage of stretching-out fingers, errors of predicted HMI finger joint locations are significantly reduced. Mean error of all fingertips reduces around 5mm (relatively more than 20%). Stretching-out fingertip locations are even more precise, which in MSRA15 reduces 10.51mm (relatively 41.4%).


title: Strongly interacting soliton gas and formation of rogue waves

abstract: We study numerically the properties of (statistically) homogeneous soliton gas depending on soliton density (proportional to number of solitons per unit length) and soliton velocities, in the framework of the focusing one-dimensional Nonlinear Schr{\"o}dinger (NLS) equation. In order to model such gas we use N-soliton solutions (N-SS) with $N\sim 100$, which we generate with specific implementation of the dressing method combined with 100-digits arithmetics. We examine the major statistical characteristics, in particular the kinetic and potential energies, the kurtosis, the wave-action spectrum and the probability density function (PDF) of wave intensity. We show that in the case of small soliton density the kinetic and potential energies, as well as the kurtosis, are very well described by the analytical relations derived without taking into account soliton interactions. With increasing soliton density and velocities, soliton interactions enhance, and we observe increasing deviations from these relations leading to increased absolute values for all of these three characteristics. The wave-action spectrum is smooth, decays close to exponentially at large wavenumbers and widens with increasing soliton density and velocities. The PDF of wave intensity deviates from the exponential (Rayleigh) PDF drastically for rarefied soliton gas, transforming much closer to it at densities corresponding to essential interaction between the solitons. Rogue waves emerging in soliton gas are multi-soliton collisions, and yet some of them have spatial profiles very similar to those of the Peregrine solutions of different orders. We present example of three-soliton collision, for which even the temporal behavior of the maximal amplitude is very well approximated by the Peregrine solution of the second order.


title: Radioactive contamination of scintillators

abstract: Low counting experiments (search for double $\beta$ decay and dark matter particles, measurements of neutrino fluxes from different sources, search for hypothetical nuclear and subnuclear processes, low background $\alpha$, $\beta$, $\gamma$ spectrometry) require extremely low background of a detector. Scintillators are widely used to search for rare events both as conventional scintillation detectors and as cryogenic scintillating bolometers. Radioactive contamination of a scintillation material plays a key role to reach low level of background. Origin and nature of radioactive contamination of scintillators, experimental methods and results are reviewed. A programme to develop radiopure crystal scintillators for low counting experiments is discussed briefly.


title: Explicit Formulae of Cauchy Polynomials with a $q$ Parameter in Terms of $r$-Whitney Numbers

abstract: The Cauchy polynomials with a $q$ parameter were recently defined, and several arithmetical properties were studied. In this paper, we establish explicit formulae for computing the Cauchy polynomials with a $q$ parameter in terms of $r$-Whitney numbers of the first kind. We also obtain several properties and combinatorial identities.


title: Remote detection of undeclared nuclear reactors using the WATCHMAN detector

abstract: Remote detection of undeclared nuclear reactors remains one of the key goals concerning global nuclear security. To meet this goal the WATCHMAN collaboration has proposed the construction of a water based antineutrino detector, sited 13 to 25 kilometres from a nuclear reactor complex. Antineutrinos from the reactor interact in the water of the detector via an inverse beta decay interaction resulting in two distinct cones of Cherenkov light tens of milliseconds apart. Using this interaction WATCHMAN (WATer Cherenkov Monitor for ANtineutrinos) will be the first detector to determine the active/inactive status of a reactor complex at a stand-off greater than 10 kilometres. The water used in the detector will be doped with gadolinium, providing the first demonstration of the potential of gadolinium doped detectors for reactor monitoring and will confirm the potential of the technology for use in larger multi-kiloton neutrino experiments. The proposed WATCHMAN design will be a kiloton scale water based detector, constructed of a 16 metre diameter tank with a height of 16 metres and will comprise approximately 3000 photomultiplier tubes. An overview of the remote monitoring goals of the WATCHMAN collaboration will be given, with a detailed description of the proposed detector. An outline of the two proposed WATCHMAN sites will also be detailed with a prediction of the expected antineutrino rate and the time taken to determine the switch between the associated reactor on and off state at each site. A brief summary of the project and the future goals non-proliferation goals of the collaboration will also be presented.


title: mQAPViz: A divide-and-conquer multi-objective optimization algorithm to compute large data visualizations

abstract: Algorithms for data visualizations are essential tools for transforming data into useful narratives. Unfortunately, very few visualization algorithms can handle the large datasets of many real-world scenarios. In this study, we address the visualization of these datasets as a Multi-Objective Optimization Problem. We propose mQAPViz, a divide-and-conquer multi-objective optimization algorithm to compute large-scale data visualizations. Our method employs the Multi-Objective Quadratic Assignment Problem (mQAP) as the mathematical foundation to solve the visualization task at hand. The algorithm applies advanced sampling techniques originating from the field of machine learning and efficient data structures to scale to millions of data objects. The algorithm allocates objects onto a 2D grid layout. Experimental results on real-world and large datasets demonstrate that mQAPViz is a competitive alternative to existing techniques.


title: Confidence from Invariance to Image Transformations

abstract: We develop a technique for automatically detecting the classification errors of a pre-trained visual classifier. Our method is agnostic to the form of the classifier, requiring access only to classifier responses to a set of inputs. We train a parametric binary classifier (error/correct) on a representation derived from a set of classifier responses generated from multiple copies of the same input, each subject to a different natural image transformation. Thus, we establish a measure of confidence in classifier's decision by analyzing the invariance of its decision under various transformations. In experiments with multiple data sets (STL-10,CIFAR-100,ImageNet) and classifiers, we demonstrate new state of the art for the error detection task. In addition, we apply our technique to novelty detection scenarios, where we also demonstrate state of the art results.


title: An architecture for distributed ledger-based M2M auditing for Electric Autonomous Vehicles

abstract: Electric Autonomous Vehicles (EAVs) promise to be an effective way to solve transportation issues such as accidents, emissions and congestion, and aim at establishing the foundation of Machine-to-Machine (M2M) economy. For this to be possible, the market should be able to offer appropriate charging services without involving humans. The state-of-the-art mechanisms of charging and billing do not meet this requirement, and often impose service fees for value transactions that may also endanger users and their location privacy. This paper aims at filling this gap and envisions a new charging architecture and a billing framework for EAV which would enable M2M transactions via the use of Distributed Ledger Technology (DLT).


title: Where are the most ancient stars in the Milky Way?

abstract: The oldest stars in the Milky Way (MW) bear imprints of the Galaxy's early assembly history. We use FIRE cosmological zoom-in simulations of three MW-mass disk galaxies to study the spatial distribution, chemistry, and kinematics of the oldest surviving stars ($z_{\rm form} \gtrsim 5$) in MW-like galaxies. We predict the oldest stars to be less centrally concentrated at $z=0$ than stars formed at later times as a result of two processes. First, the majority of the oldest stars are not formed $\textit{in situ}$ but are accreted during hierarchical assembly. These $\textit{ex situ}$ stars are deposited on dispersion-supported, halo-like orbits but dominate over old stars formed $\textit{in situ}$ in the solar neighborhood, and in some simulations, even in the galactic center. Secondly, old stars formed $\textit{in situ}$ are driven outwards by bursty star formation and energetic feedback processes that create a time-varying gravitational potential at $z\gtrsim 2$, similar to the process that creates dark matter cores and expands stellar orbits in bursty dwarf galaxies. The total fraction of stars that are ancient is more than an order of magnitude higher for sight lines $\textit{away}$ from the bulge and inner halo than for inward-looking sight lines. Although the task of identifying specific stars as ancient remains challenging, we anticipate that million-star spectral surveys and photometric surveys targeting metal-poor stars already include hundreds of stars formed before $z=5$. We predict most of these targets to have higher metallicity ($-3 < \rm [Fe/H] < -2$) than the most extreme metal-poor stars.


title: Astrometric Effects of Gravitational Wave Backgrounds with non-Einsteinian Polarizations

abstract: The Gaia mission offers a new opportunity to search for the low frequency gravitational wave background using astrometric measurements. In this paper, the astrometric effect of gravitational waves is reviewed, with a particular focus on the effect of non-Einsteinian gravitational wave polarizations. A stochastic gravitational wave background generates a correlated vector field of astrometric deflections on the sky. A convenient decomposition for the correlation matrix is introduced, enabling it to be calculated for all possible gravitational wave polarizations and compared to the redshift correlations from the pulsar-timing literature; in the case of a GR background of transverse traceless gravitational waves, this also allows us to identify an astrometric analog of the famous Hellings-Downs curve. Finally, the cross-correlation between the redshift and astrometric signal is also calculated; this may form the basis for future joint pulsar-timing and astrometry searches for arbitrarily polarized gravitational wave backgrounds.


title: Dark Sectors at the Fermilab SeaQuest Experiment

abstract: We analyze the unique capability of the existing SeaQuest experiment at Fermilab to discover well-motivated dark sector physics by measuring displaced electron, photon, and hadron decay signals behind a compact shield. A planned installation of a refurbished electromagnetic calorimeter could provide powerful new sensitivity to GeV-scale vectors, dark Higgs bosons, scalars, axions, and inelastic and strongly interacting dark matter models. This sensitivity is both comparable and complementary to NA62, SHiP, and FASER. SeaQuest's ability to collect data now and over the next few years provides an especially exciting opportunity.


title: Exploring H$_2$O Prominence in Reflection Spectra of Cool Giant Planets

abstract: The H2O abundance of a planetary atmosphere is a powerful indicator of formation conditions. Inferring H2O in the solar system giant planets is challenging, due to condensation depleting the upper atmosphere of water vapour. Substantially warmer hot Jupiter exoplanets readily allow detections of H2O via transmission spectroscopy, but such signatures are often diminished by the presence of clouds made of other species. In contrast, highly scattering H2O clouds can brighten planets in reflected light, enhancing molecular signatures. Here, we present an extensive parameter space survey of the prominence of H2O absorption features in reflection spectra of cool (Teff<400K) giant exoplanetary atmospheres. The impact of effective temperature, gravity, metallicity, and sedimentation efficiency is explored. We find prominent H2O features around 0.94um, 0.83um, and across a wide spectral region from 0.4-0.73um. The 0.94um feature is only detectable where high-altitude water clouds brighten the planet: T~150K, g>~20m/s^2, fsed>~3, m<~10xsolar. In contrast, planets with g<~20m/s^2 and T>~180K display prominent H2O features embedded in the Rayleigh slope from 0.4-0.73um. High fsed enhances H2O features around 0.94um, and enables them to be detected at lower temperatures. High m results in dampened H2O absorption features, due to H2O vapour condensing to form bright optically thick clouds that dominate the continuum. We verify these trends via self-consistent modelling of the low gravity exoplanet HD 192310c, revealing that its reflection spectrum is expected to be dominated by H2O absorption from 0.4-0.73um for m<~10xsolar. Our results demonstrate that H2O is manifestly detectable in reflected light spectra of cool giant planets only marginally warmer than Jupiter, providing an avenue to directly constrain the C/O and O/H ratios of a hitherto unexplored population of exoplanetary atmospheres.


title: Observational evidence for the formation of trapping horizons in astrophysical black holes

abstract: Black holes in general relativity are characterized by their trapping horizon, a one-way membrane that can be crossed only inwards. The existence of trapping horizons in astrophysical black holes can be tested observationally using a reductio ad absurdum argument, replacing black holes by horizonless configurations with a physical surface and looking for inconsistencies with electromagnetic and gravitational wave observations. In this approach, the radius of the horizonless object is always larger than but arbitrarily close to the position where the horizon of a black hole of the same mass would be located. Upper bounds on the radius of these alternatives have been provided using electromagnetic observations (in optical/IR band) of astronomical sources at the center of galaxies, but lower bounds were lacking, leaving unconstrained huge regions of parameter space. We show here that lower bounds on the radius of horizonless objects that do not develop trapping horizons can be placed using observations of accreting systems. This result is model-independent and relies only on the local notion of causality dictated by the spacetime geometry around the horizonless object. These observational bounds reduce considerably the previously allowed parameter space, boosting the prospects of establishing the existence of trapping horizons using electromagnetic observations.


title: The Projected Dark and Baryonic Ellipsoidal Structure of 20 CLASH Galaxy Clusters

abstract: We reconstruct the two-dimensional (2D) matter distributions in 20 high-mass galaxy clusters selected from the CLASH survey by using the new approach of performing a joint weak lensing analysis of 2D shear and azimuthally averaged magnification measurements. This combination allows for a complete analysis of the field, effectively breaking the mass-sheet degeneracy. In a Bayesian framework, we simultaneously constrain the mass profile and morphology of each individual cluster assuming an elliptical Navarro-Frenk-White halo characterized by the mass, concentration, projected axis ratio, and position angle of the projected major axis.. We find that spherical mass estimates of the clusters from azimuthally averaged weak-lensing measurements in previous work are in excellent agreement with our results from a full 2D analysis. Combining all 20 clusters in our sample, we detect the elliptical shape of weak-lensing halos at the $5\sigma$ significance level within a scale of 2Mpc$/h$. The median projected axis ratio is $0.67\pm 0.07$ at a virial mass of $M_\mathrm{vir}=(15.2\pm 2.8) \times 10^{14} M_\odot$, which is in agreement with theoretical predictions of the standard collisionless cold dark matter model. We also study misalignment statistics of the brightest cluster galaxy, X-ray, thermal Sunyaev-Zel'dovich effect, and strong-lensing morphologies with respect to the weak-lensing signal. Among the three baryonic tracers studied here, we find that the X-ray morphology is best aligned with the weak-lensing mass distribution, with a median misalignment angle of $21\pm 7$ degrees. We also conduct a stacked quadrupole shear analysis assuming that the X-ray major axis is aligned with that of the projected mass distribution. This yields a consistent axis ratio of $0.67\pm 0.10$, suggesting again a tight alignment between the intracluster gas and dark matter.


title: Electronic hydrodynamics and the breakdown of the Wiedemann-Franz and Mott laws in interacting metals

abstract: We present the theory of thermoelectric transport in metals with long-lived quasiparticles, carefully addressing the interplay of electron-electron scattering as well as electron-impurity scattering, but neglecting electron-phonon scattering. In Fermi liquids with a large Fermi surface and weak electron-impurity scattering, we provide universal and simple formulas for the behavior of the thermoelectric conductivities across the ballistic-to-hydrodynamic crossover. In this regime, the electrical conductivity is relatively unchanged by hydrodynamic effects. In contrast, the thermal conductivity can be parametrically smaller than predicted by the Wiedemann-Franz law. A less severe violation of the Mott law arises. We quantitatively compare the violations of the Wiedemann-Franz law arising from (i) momentum-conserving electron-electron scattering in the collision integral, (ii) hydrodynamic modifications of the electron-impurity scattering rate, and (iii) thermal broadening of the Fermi surface, and show that (i) is the largest. We present simple formulas for electrical and thermal magnetoconductivity across the ballistic-to-hydrodynamic limit, along with a more complicated formula for the thermoelectric magnetoconductivity. In a finite magnetic field, the Lorenz number may be smaller or larger than predicted by the Wiedemann-Franz law, and the crossover between these behaviors is a clear prediction for experiments. The arbitrarily strong violation of the Wiedemann-Franz law found in our work arises entirely from electron-electron interaction effects within the Fermi liquid paradigm, and does not imply any non-Fermi liquid behavior. We predict clear experimental signatures of bulk hydrodynamics in high-mobility 2D GaAs semiconductor structures, where failure of the Wiedemann-Franz law should persist down to very low temperatures in high-quality, low-density samples.


title: HCN $J$=4-3, HNC $J$=1-0, $\mathrm{H^{13}CN}$ $J$=1-0, and $\mathrm{HC_3N}$ $J$=10-9 Maps of Galactic Center Region I: Spatially-Resolved Measurements of Physical Conditions and Chemical Composition

abstract: This {\it supplement} paper presents the maps of HCN $J$=4-3, HNC $J$=1-0, $\mathrm{H^{13}CN}$ $J$=1-0, and HC$_3$N $J$=10-9 for the Galactic central molecular zone (CMZ), which have been obtained using the Atacama Submillimeter Telescope Experiment and Nobeyama Radio Observatory 45-m telescope. Three-dimensional maps (2-D in space and 1-D in velocity) of the gas kinetic temperature ($T_\mathrm{kin}$), hydrogen volume density ($n_\mathrm{H_2}$), and fractional abundances of eight molecules (HCN, HNC, $\mathrm{HC_3N}$, HCO$^+$, $\mathrm{H_2CO}$, SiO, CS, and $\mathrm{N_2H^+}$) have been constructed from our and archival data. We have developed a method with hierarchical Bayesian inference for this analysis, which has successfully suppressed the artificial correlations among the parameters created by systematic errors due to the deficiency in the simple one-zone excitation analysis and the calibration uncertainty. The typical values of $T_\mathrm{kin}$ and $n_\mathrm{H_2}$ are $10^{1.8}\ $K and $10^{4.2}\ \mathrm{cm}^{-3}$, respectively, and the presence of an additional cold/low-density component is also indicated. The distribution of high-temperature regions is poorly correlated with known active star-forming regions, while a few of them coincide with shocked clouds. Principal component analysis has identified two distinct groups in the eight analyzed molecules: one group with large PC1 and PC2 scores and the other with a large $T_\mathrm{kin}$ dependence, which could be explained using two regimes of shock chemistry with fast ($\gtrsim 20\ \mathrm{km\,s}^{-1}$) and slow ($\lesssim 20\ \mathrm{km\,s}^{-1}$) velocity shocks, respectively. This supports the idea that the mechanical sputtering of dust grains and the mechanical heating play primary roles in the chemical and thermal processes in CMZ clouds.


title: CLUMP-3D. Testing $\Lambda$CDM with galaxy cluster shapes

abstract: The $\Lambda$CDM model of structure formation makes strong predictions on concentration and shape of DM (dark matter) halos, which are determined by mass accretion processes. Comparison between predicted shapes and observations provides a geometric test of the $\Lambda$CDM model. Accurate and precise measurements needs a full three-dimensional analysis of the cluster mass distribution. We accomplish this with a multi-probe 3D analysis of the X-ray regular CLASH (Cluster Lensing And Supernova survey with Hubble) clusters combining strong and weak lensing, X-ray photometry and spectroscopy, and the Sunyaev-Zel'dovich effect. The cluster shapes and concentrations are consistent with $\Lambda$CDM predictions. The CLASH clusters are randomly oriented, as expected given the sample selection criteria. Shapes agree with numerical results for DM-only halos, which hints at baryonic physics being not so effective in making halos rounder.


title: Dissolved Massive Metal-Rich Globular Clusters Can Cause the Range of UV Upturn Strengths Found among Early-type Galaxies

abstract: I discuss a scenario in which the ultraviolet (UV) upturn of giant early-type galaxies (ETGs) is primarily due to helium-rich stellar populations that formed in massive metal-rich globular clusters (GCs) which subsequently dissolved in the strong tidal field in the central regions of the massive host galaxy. These massive GCs are assumed to show UV upturns similar to those observed recently in M87, the central giant elliptical galaxy in the Virgo cluster of galaxies. Data taken from the literature reveals a strong correlation between the strength of the UV upturn and the specific frequency of metal-rich GCs in ETGs. Adopting a Schechter function parametrization of GC mass functions, simulations of long-term dynamical evolution of GC systems show that the observed correlation between UV upturn strength and GC specific frequency can be explained by variations in the characteristic truncation mass ${\cal{M}}_{\rm c}$ such that ${\cal{M}}_{\rm c}$ increases with ETG luminosity in a way that is consistent with observed GC luminosity functions in ETGs. These findings suggest that the nature of the UV upturn in ETGs and the variation of its strength among ETGs are causally related to that of helium-rich populations in massive GCs, rather than intrinsic properties of field stars in massive galactic spheroids. With this in mind, I predict that future studies will find that [N/Fe] decreases with increasing galactocentric radius in massive ETGs, and that such gradients have the largest amplitudes in ETGs with the strongest UV upturns.


title: Around The Way: Testing $\Lambda$CDM with Milky Way Stellar Stream Constraints

abstract: Recent analyses of the Pal 5 and GD-1 tidal streams suggest that the inner dark matter halo of the Milky Way is close to spherical, in tension with predictions from collisionless N-body simulations of cosmological structure formation. We use the Eris simulation to test whether the combination of dissipative physics and hierarchical structure formation can produce Milky Way-like galaxies whose dark matter halos match the tidal stream constraints from the GD-1 and Pal 5 clusters. We use a dynamical model of the simulated Eris galaxy to generate many realizations of the GD-1 and Pal 5 tidal streams, marginalize over observational uncertainties in the cluster galactocentric positions and velocities, and compare with the observational constraints. We find that the total density and potential of Eris contributed by baryons and dark matter satisfies constraints from the existing Milky Way stellar stream data, as the baryons both round and redistribute the dark matter during the dissipative formation of the galaxy, and provide a centrally-concentrated mass distribution that rounds the inner potential. The Eris dark matter halo or a spherical Navarro-Frenk-White dark matter work comparably well in modeling the stream data. In contrast, the equivalent dark matter-only ErisDark simulation produces a prolate halo that cannot reproduce the observed stream data. The on-going Gaia mission will provide decisive tests of the consistency between $\Lambda$CDM and Milky Way streams, and should distinguish between models like Eris and more spherical halos.


title: Singlet pairing and superconductivity in t-J ladders with Mott insulating stripes

abstract: Pairing in superconductors occurs in a variety of channels and can be produced by various mechanisms. Here, we show that, in the presence of strong correlations, a novel singlet-pair superconducting phase can occur in ladder geometries with the fermions in the pairs residing on different sides of a Mott insulating stripe. The antiferromagnet correlations in the Mott stripe provide the pairing "glue" in such a phase. We study, using the density matrix renormalization group method, the ground state of four-leg t-J ladders with Mott insulating stripes in the inner two legs. Pairing and superconductivity are revealed by the presence of negative binding energies and by algebraically decaying interleg singlet-pair correlations, respectively.


title: A gradient based method for modeling baryons and matter in halos of fast simulations

abstract: Fast N-body PM simulations with a small number of time steps such as FastPM or COLA have been remarkably successful in modeling the galaxy statistics, but their lack of small scale force resolution and long time steps cannot give accurate halo matter profiles or matter power spectrum. High resolution N-body simulations can improve on this, but lack baryonic effects, which can only be properly included in hydro simulations. Here we present a scheme to calibrate the fast simulations to mimic the precision of the hydrodynamic simulations or high resolution N-body simulations. The scheme is based on a gradient descent of either effective gravitational potential, which mimics the short range force, or of effective enthalpy, which mimics gas hydrodynamics and feedback. The scheme is fast and differentiable, and can be incorporated as a post-processing step into any simulation. It gives very good results for the matter power spectrum for several of the baryonic feedback and dark matter simulations, and also gives improved dark matter halo profiles. The scheme is even able to find the large subhalos, and increase the correlation coefficient between the fast simulations and the high resolution N-body or hydro simulations. It can also be used to add baryonic effects to the high resolution N-body simulations. While the method has free parameters that can be calibrated on various simulations, they can also be viewed as astrophysical nuisance parameters describing baryonic effects that can be marginalized over during the data analysis. In this view these parameters can be viewed as an efficient parametrization of baryonic effects.


title: Parametrizing the Reionization History with the Redshift Midpoint, Duration, and Asymmetry

abstract: A new parametrization of the reionization history is presented to facilitate robust comparisons between different observations and with theory. The evolution of the ionization fraction with redshift can be effectively captured by specifying the midpoint, duration, and asymmetry parameters. Lagrange interpolating functions are then used to construct analytical curves that exactly fit corresponding ionization points. The shape parametrizations are excellent matches to theoretical results from radiation-hydrodynamic simulations. The comparative differences for reionization observables are: ionization fraction $|\Delta x_\text{i}| \lesssim 0.03$, 21cm brightness temperature $|\Delta T_\text{b}| \lesssim 0.7\, \text{mK}$, Thomson optical depth $|\Delta \tau| \lesssim 0.001$, and patchy kinetic Sunyaev-Zel'dovich angular power $|\Delta D_\ell | \lesssim 0.1\, \mu\text{K}^2$. This accurate and flexible approach will allow parameter-space studies and self-consistent constraints on the reionization history from 21cm, CMB, and high-redshift galaxies and quasars.


title: Spectral Properties of Cool Stars: Extended Abundance Analysis of Kepler Objects of Interest

abstract: Accurate stellar parameters and precise elemental abundances are vital pieces to correctly characterize discovered planetary systems, better understand planet formation, and trace galactic chemical evolution. We have performed a uniform spectroscopic analysis for 1127 stars, yielding accurate gravity, temperature, and projected rotational velocity in addition to precise abundances for 15 elements (C, N, O, Na, Mg, Al, Si, Ca, Ti, V, Cr, Mn, Fe, Ni, and Y). Most of the stars in this sample are Kepler Objects of Interest, observed by the California-Kepler Survey (CKS) and include 1,003 stars hosting 1,562 confirmed planets. This catalog extends the uniform analysis of our previous catalog, bringing the total of homogeneously analyzed stars to almost 2,700 F, G, and K dwarfs. To ensure consistency between the catalogs, we performed an analysis of our ability to recover parameters as a function of S/N ratio and present individual uncertainties as well as functions to calculate uncertainties for parameters derived from lower S/N ratio spectra. With the updated parameters, we used isochrone fitting to derived new radii, masses and ages for the stars. Finally, we look at the Mg/Si ratios of super-Earth and sub-Neptune hosts to test whether differences in initial composition might lead to differences in planet radius. We find no differences in the Mg/Si distribution as a function of planet radius.


title: Importance of orbital fluctuations for the magnetic dynamics in heavy-fermion compound SmB$_6$

abstract: The emergent dynamical processes associated with magnetic excitations in heavy-fermion SmB$_6$ are investigated. By imposing multiorbital interactions on a first-principles model, we find the interplay between spin and orbital fluctuations in the $f$ manifold is highly sensitive to local correlations. The magnetic phase diagram constructed at zero temperature reveals quantum critical features with the existence of several competing phases. Within the random phase approximation, we perform a comprehensive study of the spin-spin correlation function, and our results agree with neutron scattering experiments. Spectral weight analysis shows the low energy spin excitations are selectively accompanied by orbital fluctuations, indicating a non-trivial entanglement between the spin and orbital degree of freedom driven by relativistic couplings.


title: Thermal radiation as a probe of one-dimensional electron liquids

abstract: Motivated by recent developments in the field of plasmonics, we develop the theory of radiation from one-dimensional electron liquids, showing that the spectrum of thermal radiation emitted from the system exhibits signatures of non-Fermi liquid behavior. We derive a multipole expansion for the radiation based on the Tomonaga-Luttinger liquid model. While the dipole radiation pattern is determined by the conductivity of the system, we demonstrate that the quadrupole radiation can reveal important features of the quantum liquid, such as the Luttinger parameter. Radiation offers a probe of the interactions of the system, including Mott physics as well as non-linear Luttinger liquid behavior. We show that these effects can be probed in current experiments on effectively one-dimensional electron liquids, such as carbon nanotubes.


title: CLUMP-3D: Three-dimensional Shape and Structure of 20 CLASH Galaxy Clusters from Combined Weak and Strong Lensing

abstract: We perform a three-dimensional triaxial analysis of 16 X-ray regular and 4 high-magnification galaxy clusters selected from the CLASH survey by combining two-dimensional weak-lensing and central strong-lensing constraints. In a Bayesian framework, we constrain the intrinsic structure and geometry of each individual cluster assuming a triaxial Navarro-Frenk-White halo with arbitrary orientations, characterized by the mass $M_{200\mathrm{c}}$, halo concentration $C_{200\mathrm{c}}$, and triaxial axis ratios ($q_{\mathrm{a}} \le q_{\mathrm{b}}$), and investigate scaling relations between these halo structural parameters. From triaxial modeling of the X-ray-selected subsample, we find that the halo concentration decreases with increasing cluster mass, with a mean concentration of $C_{200\mathrm{c}} = 4.82\pm0.30$ at the pivot mass $M_{200\mathrm{c}}=10^{15}M_{\odot}h^{-1}$. This is consistent with the result from spherical modeling, $C_{200\mathrm{c}}=4.51\pm 0.14$. Independently of the priors, the minor-to-major axis ratio $q_{\mathrm{a}}$ of our full sample exhibits a clear deviation from the spherical configuration ($q_{\mathrm{a}}=0.52 \pm 0.04$ at $10^{15}M_{\odot}h^{-1}$ with uniform priors), with a weak dependence on the cluster mass. Combining all 20 clusters, we obtain a joint ensemble constraint on the minor-to-major axis ratio of $q_{\mathrm{a}}=0.652^{+0.162}_{-0.078}$ and a lower bound on the intermediate-to-major axis ratio of $q_{\mathrm{b}}>0.63$ at the $2\sigma$ level from an analysis with uniform priors. Assuming priors on the axis ratios derived from numerical simulations, we constrain the degree of triaxiality for the full sample to be $\mathcal{T}=0.79 \pm 0.03$ at $10^{15}M_{\odot}h^{-1}$, indicating a preference for a prolate geometry of cluster halos. We find no statistical evidence for an orientation bias ($f_{\mathrm{geo}}=0.93 \pm 0.07$) (abridged)


title: Higher geometry for non-geometric T-duals

abstract: We investigate topological T-duality in the framework of non-abelian gerbes and higher gauge groups. We show that this framework admits the gluing of locally defined T-duals, in situations where no globally defined ("geometric") T-duals exists. The gluing results into new, higher-geometrical objects that can be used to study non-geometric T-duals, alternatively to other approaches like non-commutative geometry.