title: ARTIST: Fast radiative transfer for large-scale simulations of the epoch of reionisation

abstract: We introduce the "Asymmetric Radiative Transfer In Shells Technique" (ARTIST), a new method for photon propagation on large scales that explicitly conserves photons, propagates photons at the speed of light, approximately accounts for photon directionality, and closely reproduces results of more detailed radiative transfer (RT) codes. Crucially, it is computationally fast enough to evolve the large cosmological volumes required to predict the 21cm power spectrum on scales that will be probed by future experiments targeting the Epoch of Reionisation (EoR). Most semi-numerical models aimed at predicting the EoR 21cm signal make use of an excursion set formalism (ESF) approach, which achieves computational viability by compromising on photon conservation, constraining ionised regions to be spherical by construction, and not accounting for light-travel time. By implementing our RT method within the semi-numerical code SimFast21, we show that ARTIST predicts a significantly different evolution for the EoR ionisation field compared to the code's native ESF. In particular, ARTIST predicts a more gradual evolution of the volume-averaged ionisation fraction, and up to an order-of-magnitude difference in the ionisation power, depending on the physical parameters assumed. Its application to large-scale EoR simulations will therefore allow more physically-motivated constraints to be obtained for key EoR parameters, such as the escape fraction.


title: An upper limit on primordial magnetic fields from ultra-faint dwarf galaxies

abstract: The presence of primordial magnetic fields increases the minimum halo mass in which star formation is possible at high redshifts. Estimates of the dynamical mass of ultra-faint dwarf galaxies (UFDs) within their half-light radius constrain their virialized halo mass before their infall into the Milky Way. The inferred halo mass and formation redshift of the UFDs place upper bounds on the primordial comoving magnetic field, $B_0$. We derive an upper limit of $0.50\pm 0.086$ ($0.31\pm 0.04$) nG on $B_0~$ assuming the average formation redshift of the UFD host halos is $z_{\rm form}=$ 10 (20), respectively.


title: 4$\pi$ and 8$\pi$ dual Josephson effects induced by symmetry defects

abstract: In topological insulator edges, the duality between the Zeeman field orientation and the proximitized superconducting phase has been recently exploited to predict a magneto-Josephson effect with a 4$\pi$ periodicity. We revisit this latter Josephson effect in the light of this duality and show that the same 4$\pi$ quantum anomaly occurs when bridging two spinless Thouless pumps to a p-wave superconducting region that could be as small as a single and experimentally-relevant superconducting quantum dot - a point-like defect. This interpretation as a dual Josephson effect never requires the presence of Majorana modes but rather builds on the topological properties of adiabatic quantum pumps with Z topological invariants. It allows for the systematic construction of dual Josephson effects of arbitrary periodicity, such as 4$\pi$ and 8$\pi$, by using point-like defects whose symmetry differs from that of the pump, dubbed symmetry defects. Although adiabatic quantum pumps are typically discussed via mappings to two-dimensional geometries, we show that this phenomenology does not have any counterpart in conventional two-dimensional systems.


title: Quantum skyrmions in frustrated ferromagnets

abstract: We develop a quantum theory of magnetic skyrmions and antiskyrmions in a spin-1/2 Heisenberg magnet with frustrating next-nearest neighbor interactions. Using exact diagonalization we show numerically that a quantum skyrmion exists as a stable many-magnon bound state and investigate its quantum numbers. We then derive a phenomenological Schr\"odinger equation for the quantum skyrmion and its internal degrees of freedom. We find that quantum skyrmions have highly unusual properties. Their bandwidth is exponentially small and arises from tunneling processes between skyrmion and antiskyrmion. The bandstructure changes both qualitatively and quantitatively when a single spin is added or removed from the quantum skyrmion, reflecting a locking of angular momentum and spin quantum numbers characteristic for skyrmions. Additionally, while for weak forces the quantum skyrmion is accelerated parallel to the force, it moves in a perpendicular direction for stronger fields.


title: Constraining First Star Formation with 21cm-Cosmology

abstract: Within standard $\Lambda$CDM cosmology, Population III (Pop III) star formation in minihalos of mass $M_\mathrm{halo}\gtrsim 5\times10^5$ M$_\odot$ provides the first stellar sources of Lyman$\alpha$ (Ly$\alpha$) photons. The Experiment to Detect the Global Epoch of Reionization Signature (EDGES) has measured a strong absorption signal of the redshifted 21 cm radiation from neutral hydrogen at $z\approx 17$, requiring efficient formation of massive stars before then. In this paper, we investigate whether star formation in minihalos plays a significant role in establishing the early Ly$\alpha$ background required to produce the EDGES absorption feature. We find that Pop III stars are important in providing the necessary Ly$\alpha$-flux at high redshifts, and derive a best-fitting average Pop III stellar mass of $\sim$ 750M$_\odot{}$ per minihalo, corresponding to a star formation efficiency of 0.1%. Further, it is important to include baryon-dark matter streaming velocities in the calculation, to limit the efficiency of Pop~III star formation in minihalos. Without this effect, the cosmic dawn coupling between 21 cm spin temperature and that of the gas would occur at redshifts higher than what is implied by EDGES.


title: Constraining the Black Hole Initial Mass Function with LIGO/VIRGO Observations

abstract: Prior to the detection of black holes (BHs) via the gravitational waves (GWs) they generate at merger, the presence of BHs was inferred in X-ray binaries, mostly via dynamical measurements, with masses in the range between $\sim 5-20~M_\odot$. The LIGO discovery of the first BHs via GWs was surprising in that the two BHs that merged had masses of $35.6^{+4.8}_{-3.0}$ and $30.6^{+3.0}_{-4.4}\,M_\odot$, which are both above the range inferred from X-ray binaries. With 20 BH detections from the O1/O2 runs, the distribution of masses remains generally higher than the X-ray inferred one, while the effective spins are generally lower, suggesting that, at least in part, the GW-detected population might be of dynamical origin rather than produced by the common evolution of field binaries. Here we perform high-resolution N-body simulations of a cluster of isolated BHs with a range of initial mass spectra and upper mass cut-offs, and study the resulting binary mass spectrum resulting from the dynamical interactions. Our clusters have properties similar to those of the massive remnants in an OB association $\sim 10 \, \mathrm{Myr}$ after formation. We perform a likelihood analysis for each of our dynamically-formed binary population against the data from the O1 and O2 LIGO/Virgo runs. We find that an initial mass spectrum $M_{\rm BH}\propto M^{-2.35}$ with an upper mass cutoff $M_{\rm max}\sim 50M_\odot$ is favored by the data, together with a slight preference for a merger rate that increases with redshift.


title: Machine learning assisted measurement of local topological invariants

abstract: The continuous effort towards topological quantum devices calls for an efficient and non-invasive method to assess the conformity of components in different topological phases. Here, we show that machine learning paves the way towards non-invasive topological quality control. To do so, we use a local topological marker, able to discriminate between topological phases of one-dimensional wires. The direct observation of this marker in solid state systems is challenging, but we show that an artificial neural network can learn to approximate it from the experimentally accessible local density of states. Our method distinguishes different non-trivial phases, even for systems where direct transport measurements are not available and for composite systems. This new approach could find significant use in experiments, ranging from the study of novel topological materials to high-throughput automated material design.


title: Global Spacetime Structure of Compactified Inflationary Universe

abstract: We investigate the global spacetime structure of torus de Sitter universe, which is exact de Sitter space with torus identification based on the flat chart. We show that past incomplete null geodesics in torus de Sitter universe are locally extendible. Then we give an extension of torus de Sitter universe so that at least one of the past incomplete null geodesics in the original spacetime becomes complete. However we find that extended torus de Sitter universe has two ill behaviors. The first one is a closed causal curve. The second one is so called quasi regular singularity, which means that there is no global, consistent extension of spacetime where all curves become complete, nevertheless each curve is locally extensible.


title: On large deviations for sums of discrete m-dependent random variables

abstract: The ratio $P(S_n=x)/P(Z_n=x)$ is investigated for three cases: (a) when $S_n$ is a sum of 1-dependent non-negative integer-valued random variables (rvs), satisfying some moment conditions, and $Z_n$ is Poisson rv; (b) when $S_n$ is a statistic of 2-runs and $Z_n$ is negative binomial rv; and (c) when $S_n$ is statistic of $N(1,1)$-events and $Z_n$ is a binomial r.v. We also consider the approximation of $P(S_n\geqslant x)$ by Poisson distribution with parameter depending on $x$.


title: Holographic Studies of The Generic Massless Cubic Gravities

abstract: We consider the generic massless cubic gravities coupled to a negative bare cosmological constant mainly in $D=5$ and $D=4$ dimensions, which are Einstein gravity extended with cubic curvature invariants where the linearized excited spectrum around the AdS background contains no massive modes. The generic massless cubic gravities are more general than Myers quasi-topological gravity in $D=5$ and Einsteinian cubic gravity in $D=4$. It turns out that the massless cubic gravities admit the black holes at least in a perturbative sense with the coupling constants of the cubic terms becoming infinitesimal. The first order approximate black hole solutions with arbitrary boundary topology $k$ are presented, and in addition, the second order approximate planar black holes are exhibited as well. We then establish the holographic dictionary for such theories by presenting $a$-charge, $C_T$-charge and energy flux parameters $t_2$ and $t_4$. By perturbatively discussing the holographic R\'enyi entropy, we find $a$, $C_T$ and $t_4$ can somehow determine the R\'enyi entropy with the limit $q\rightarrow 1$, $q\rightarrow 0$ and $q\rightarrow \infty$ up to the first order, where $q$ is the order of the R\'enyi entropy. For holographic hydrodynamics, we discuss the shear-viscosity-entropy-ratio and find that the patterns deviating from the KSS bound $1/(4\pi)$ can somehow be controlled by $((c-a)/c,t_4)$ up to the first order in $D=5$, and $((\mathcal{C}_T-\tilde{a})/\mathcal{C}_T,t_4)$ up to the second order in $D=4$, where $\mathcal{C}_T$ and $\tilde{a}$ differ from $C_T$-charge and $a$-charge by inessential overall constants.


title: Global solutions and stability properties of the 5th order Gardner equation

abstract: In this work, we deal with the initial value problem of the 5th-order Gardner equation in $\mathbb{R}$, presenting the local well-posedness result in $H^2(\mathbb{R})$. As a consequence of the local result, in addition to $H^2$-energy conservation law, we are able to prove the global well-posedness result in $H^2(\mathbb{R})$. Finally, we present a stability result for 5th order Gardner breather solution in the Sobolev space $H^2(\mathbb{R})$.


title: Developing a reasoning inventory for measuring physics quantitative literacy

abstract: In an effort to improve the quality of citizen engagement in workplace, politics, and other domains in which quantitative reasoning plays an important role, Quantitative Literacy (QL) has become the focus of considerable research and development efforts in mathematics education. QL is characterized by sophisticated reasoning with elementary mathematics. In this project, we extend the notions of QL to include the physics domain and call it Physics Quantitative Literacy (PQL). We report on early stage development from a collaboration that focuses on reasoning inventory design and data analysis methodology for measuring the development of PQL across the introductory physics sequence. We have piloted a prototype assessment designed to measure students' PQL in introductory physics: Physics Inventory of Quantitative Literacy (PIQL). This prototype PIQL focuses on two components of PQL: proportional reasoning, and reasoning with negative quantities. We present preliminary results from approximately 1,000 undergraduate and 20 graduate students.


title: MAXENT3D_PID: An Estimator for the Maximum-entropy Trivariate Partial Information Decomposition

abstract: Chicharro (2017) introduced a procedure to determine multivariate partial information measures within the maximum entropy framework, separating unique, redundant, and synergistic components of information. Makkeh, Theis, and Vicente (2018) formulated the latter trivariate partial information measure as Cone Programming. In this paper, we present MAXENT3D_PID, a production-quality software that computes the trivariate partial information measure based on the Cone Programming model. We describe in detail our software, explain how to use it, and perform some experiments reflecting its accuracy in estimating the trivariate partial information decomposition.


title: RetinaMask: Learning to predict masks improves state-of-the-art single-shot detection for free

abstract: Recently two-stage detectors have surged ahead of single-shot detectors in the accuracy-vs-speed trade-off. Nevertheless single-shot detectors are immensely popular in embedded vision applications. This paper brings single-shot detectors up to the same level as current two-stage techniques. We do this by improving training for the state-of-the-art single-shot detector, RetinaNet, in three ways: integrating instance mask prediction for the first time, making the loss function adaptive and more stable, and including additional hard examples in training. We call the resulting augmented network RetinaMask. The detection component of RetinaMask has the same computational cost as the original RetinaNet, but is more accurate. COCO test-dev results are up to 41.4 mAP for RetinaMask-101 vs 39.1mAP for RetinaNet-101, while the runtime is the same during evaluation. Adding Group Normalization increases the performance of RetinaMask-101 to 41.7 mAP. Code is at:https://github.com/chengyangfu/retinamask


title: Cosmic acceleration from topological considerations II: Fiber bundles

abstract: In this work we study an alternative topological model for explaining the observed acceleration of space-time, we answer the question of whether this acceleration could be a consequence of the topology of the universe. For doing that, we propose that the whole universe is composed of a four dimensional base space, which represents space-time, endowed with a fiber forming a principal fiber bundle. We analyze this hypothesis for a homogeneous and isotropic four dimensional space-time and show that the effect of the fiber onto the base space is that the space-time accelerates depending on the group of the fiber, even in an oscillatory way, resembling the behavior of the universe according to recent observations. We conclude that there is the possibility of the accelerating behavior of the universe being due to its whole topology instead of an exotic kind of matter.


title: Precise Charged Particle Timing with the PICOSEC Detector

abstract: The experimental requirements in near future accelerators (e.g. High Luminosity-LHC) has stimulated intense interest in development of detectors with high precision timing capabilities. With this as a goal, a new detection concept called PICOSEC, which is based to a "two-stage" MicroMegas detector coupled to a Cherenkov radiator equipped with a photocathode has been developed. Results obtained with this new detector yield a time resolution of 24\,ps for 150\,GeV muons and 76\,ps for single photoelectrons. In this paper we will report on the performance of the PICOSEC in test beams, as well as simulation studies and modelling of its timing characteristics.


title: When does privatization spur entrepreneurial performance? The moderating effect of institutional quality in an emerging market

abstract: We explore how institutional quality moderates the effectiveness of privatization on entrepreneurs sales performance. To do this, we blend agency theory and entrepreneurial cognition theory with insights from institutional economics to develop a model of emerging market venture performance. Using data from the World Banks Enterprise Survey of entrepreneurs in China, our results suggest that private-owned enterprises (POEs) outperform state-owned enterprises (SOEs) but only in environments with high-quality market institutions. In environments with low-quality market institutions, SOEs outperform POEs. These findings suggest that the effectiveness of privatization on entrepreneurial performance is context-specific, which reveals more nuance than previously has been attributed.


title: No-Regret Bayesian Optimization with Unknown Hyperparameters

abstract: Bayesian optimization (BO) based on Gaussian process models is a powerful paradigm to optimize black-box functions that are expensive to evaluate. While several BO algorithms provably converge to the global optimum of the unknown function, they assume that the hyperparameters of the kernel are known in advance. This is not the case in practice and misspecification often causes these algorithms to converge to poor local optima. In this paper, we present the first BO algorithm that is provably no-regret and converges to the optimum without knowledge of the hyperparameters. During optimization we slowly adapt the hyperparameters of stationary kernels and thereby expand the associated function class over time, so that the BO algorithm considers more complex function candidates. Based on the theoretical insights, we propose several practical algorithms that achieve the empirical sample efficiency of BO with online hyperparameter estimation, but retain theoretical convergence guarantees. We evaluate our method on several benchmark problems.


title: New classes of chiral topological nodes with non-contractible surface Fermi arcs in CoSi

abstract: In condensed matter systems, chiral topological nodes are robust band crossing points in momentum space that carry nonzero Chern numbers. The chirality is manifested by the presence of surface Fermi arcs connecting the projections of nodes with opposite Chern numbers. In addition to the well-known Weyl nodes, theorists have proposed several other types of chiral topological nodes in condensed matter systems, but the direct experimental evidence of their existence is still lacking. Here, using angle-resolved photoemission spectroscopy, we reveal two types of new chiral nodes, namely the spin-1 nodes and charge-2 Dirac nodes, at the band crossing points near the Fermi level in CoSi, the projections of which on the (001) surface are connected by topologically protected surface Fermi arcs. As these chiral nodes in CoSi are enforced at the Brillouin zone (BZ) center and corner by the crystalline symmetries, the surface Fermi arcs connecting their projections form a non-contractible path traversing the entire (001) surface BZ, in sharp contrast to pairs of Weyl nodes with small separation. Our work marks the first experimental observation of chiral topological nodes beyond the Weyl nodes both in the bulk and on the surface in condensed matter systems.


title: Measurements of inclusive and differential fiducial cross-sections of $t\bar{t}\gamma$ production in leptonic final states at $\sqrt{s}$ = 13 TeV

abstract: The latest results of the ATLAS experiment for the production of a top-quark pair in association with a photon using proton-proton collision data from the LHC at a centre-of-mass energy of 13 TeV are summarised here. This includes inclusive and differential cross-sections measurements performed in single-lepton and dilepton final states in a fiducial volume corresponding to the experimental acceptance.


title: Unsupervised Moving Object Detection via Contextual Information Separation

abstract: We propose an adversarial contextual model for detecting moving objects in images. A deep neural network is trained to predict the optical flow in a region using information from everywhere else but that region (context), while another network attempts to make such context as uninformative as possible. The result is a model where hypotheses naturally compete with no need for explicit regularization or hyper-parameter tuning. Although our method requires no supervision whatsoever, it outperforms several methods that are pre-trained on large annotated datasets. Our model can be thought of as a generalization of classical variational generative region-based segmentation, but in a way that avoids explicit regularization or solution of partial differential equations at run-time.


title: Separation for dot-depth two

abstract: The dot-depth hierarchy of Brzozowski and Cohen classifies the star-free languages of finite words. By a theorem of McNaughton and Papert, these are also the first-order definable languages. The dot-depth rose to prominence following the work of Thomas, who proved an exact correspondence with the quantifier alternation hierarchy of first-order logic: each level in the dot-depth hierarchy consists of all languages that can be defined with a prescribed number of quantifier blocks. One of the most famous open problems in automata theory is to settle whether the membership problem is decidable for each level: is it possible to decide whether an input regular language belongs to this level? Despite a significant research effort, membership by itself has only been solved for low levels. A recent breakthrough was achieved by replacing membership with a more general problem: separation. Given two input languages, one has to decide whether there exists a third language in the investigated level containing the first language and disjoint from the second. The motivation is that: (1) while more difficult, separation is more rewarding (2) it provides a more convenient framework (3) all recent membership algorithms are reductions to separation for lower levels. We present a separation algorithm for dot-depth two. While this is our most prominent application, our result is more general. We consider a family of hierarchies that includes the dot-depth: concatenation hierarchies. They are built via a generic construction process. One first chooses an initial class, the basis, which is the lowest level in the hierarchy. Further levels are built by applying generic operations. Our main theorem states that for any concatenation hierarchy whose basis is finite, separation is decidable for level one. In the special case of the dot-depth, this can be lifted to level two using previously known results.


title: v-SVR Polynomial Kernel for Predicting the Defect Density in New Software Projects

abstract: An important product measure to determine the effectiveness of software processes is the defect density (DD). In this study, we propose the application of support vector regression (SVR) to predict the DD of new software projects obtained from the International Software Benchmarking Standards Group (ISBSG) Release 2018 data set. Two types of SVR (e-SVR and v-SVR) were applied to train and test these projects. Each SVR used four types of kernels. The prediction accuracy of each SVR was compared to that of a statistical regression (i.e., a simple linear regression, SLR). Statistical significance test showed that v-SVR with polynomial kernel was better than that of SLR when new software projects were developed on mainframes and coded in programming languages of third generation


title: ALFAA: Active Learning Fingerprint Based Anti-Aliasing for Correcting Developer Identity Errors in Version Control Data

abstract: Graphs of developer networks are important for software engineering research and practice. For these graphs to realistically represent the networks, accurate developer identities are imperative. We aim to identify developer identity errors from open source software repositories in VCS, investigate the nature of these errors, design corrective algorithms, and estimate the impact of the errors on networks inferred from this data. We investigate these questions using over 1B Git commits with over 23M recorded author identities. By inspecting the author strings that occur most frequently, we group identity errors into categories. We then augment the author strings with 3 behavioral fingerprints: time-zone frequencies, the set of files modified, and a vector embedding of the commit messages. We create a manually validated set of identities for a subset of OpenStack developers using an active learning approach and use it to fit supervised learning models to predict the identities for the remaining author strings in OpenStack. We compare these predictions with a commercial effort and a leading research method. Finally, we compare network measures for file-induced author networks based on corrected and raw data. We find commits done from different environments, misspellings, organizational IDs, default values, and anonymous IDs to be the major sources of errors. We also find supervised learning methods to reduce errors by several times in comparison to existing methods and the active learning approach to be an effective way to create validated datasets and that correction of developer identity has a large impact on the inference of the social network. We believe that our proposed Active Learning Fingerprint Based Anti-Aliasing (ALFAA) approach will expedite research progress in the software engineering domain for applications that depend upon graphs of developers or other social networks.


title: On the Descriptive Complexity of Color Coding

abstract: Color coding is an algorithmic technique used in parameterized complexity theory to detect "small" structures inside graphs. The idea is to derandomize algorithms that first randomly color a graph and then search for an easily-detectable, small color pattern. We transfer color coding to the world of descriptive complexity theory by characterizing -- purely in terms of the syntactic structure of describing formulas -- when the powerful second-order quantifiers representing a random coloring can be replaced by equivalent, simple first-order formulas. Building on this result, we identify syntactic properties of first-order quantifiers that can be eliminated from formulas describing parameterized problems. The result applies to many packing and embedding problems, but also to the long path problem. Together with a new result on the parameterized complexity of formula families involving only a fixed number of variables, we get that many problems lie in FPT just because of the way they are commonly described using logical formulas.


title: Simultaneous Monomialization

abstract: We give a new proof of the simultaneous embedded local uniformization Theorem in zero characteristic for essentially of finite type rings and for quasi excellent rings. The results are a consequence of the simultaneaous monomialization presented here. The methods develop the key elements theory that is a more subtle notion than the notion of key polynomials.


title: Continuous Regular Functions

abstract: Following Chaudhuri, Sankaranarayanan, and Vardi, we say that a function $f:[0,1] \to [0,1]$ is $r$-regular if there is a B\"{u}chi automaton that accepts precisely the set of base $r \in \mathbb{N}$ representations of elements of the graph of $f$. We show that a continuous $r$-regular function $f$ is locally affine away from a nowhere dense, Lebesgue null, subset of $[0,1]$. As a corollary we establish that every differentiable $r$-regular function is affine. It follows that checking whether an $r$-regular function is differentiable is in $\operatorname{PSPACE}$. Our proofs rely crucially on connections between automata theory and metric geometry developed by Charlier, Leroy, and Rigo.


title: Computational analysis of shock-induced flow through stationary particle clouds

abstract: We investigate the shock-induced flow through random particle arrays using particle-resolved Large Eddy Simulations for different incident shock wave Mach numbers, particle volume fractions and particle sizes. We analyze trends in mean flow quantities and the unresolved terms in the volume averaged momentum equation, as we vary the three parameters. We find that the shock wave attenuation and certain mean flow trends can be predicted by the opacity of the particle cloud, which is a function of particle size and particle volume fraction. We show that the Reynolds stress field plays an important role in the momentum balance at the particle cloud edges, and therefore strongly affects the reflected shock wave strength. The Reynolds stress was found to be insensitive to particle size, but strongly dependent on particle volume fraction. It is in better agreement with results from simulations of flow through particle clouds at fixed mean slip Reynolds numbers in the incompressible regime, than with results from other shock wave particle cloud studies, which have utilized either inviscid or two-dimensional approaches. We propose an algebraic model for the streamwise Reynolds stress based on the observation that the separated flow regions are the primary contributions to the Reynolds stress.


title: On Positivities of Certain q-Special Functions

abstract: In this work we shall apply the Bochner's theorem to prove certain combinations of Euler's q-exponentials are positive definite functions. Then we apply this positivity to prove curious inequalities for the Jacobi theta function $\vartheta_{4}$ and q-Gamma function $\Gamma_{q}$.


title: Progress toward Barium Tagging in High Pressure Xenon Gas with Single Molecule Fluorescence Imaging

abstract: We present an update on the development of techniques to adapt Single Molecule Fluorescent Imaging for the tagging of individual barium ions in high pressure xenon gas detectors, with the goal of realizing a background-free neutrinoless double beta decay technology. Previously reported progress is reviewed, including the recent demonstration of single barium dication sensitivity using SMFI. We then describe two important advances: 1) the development of a new class of custom barium sensing fluorescent dyes, which exhibit a significantly stronger response to barium than commercial calcium sensing compounds in aqueous solution; 2) the first demonstration of a dry-phase chemosensor for barium ions. This proceeding documents work presented at the 9th Symposium on Large TPCs for Rare Event Detection in Paris, France.


title: Effects of Disorder on Thermoelectric Properties of Semiconducting Polymers

abstract: Organic materials have attracted recent interest as thermoelectric (TE) converters due to their low cost and ease of fabrication. We examine the effects of disorder on the TE properties of semiconducting polymers based on the Gaussian disorder model (GDM) for site energies while employing Pauli's master equation approach to model hopping between localized sites. Our model is in good agreement with experimental results and a useful tool to study hopping transport. We show that stronger overlap between sites can improve the electrical conductivity without adversely affecting the Seebeck coefficient. We find that positional disorder aids the formation of new conduction paths with an increased probability of carriers in high energy sites leading to a simultaneous increase in electrical conductivity and Seebeck coefficient. On the other hand, energetic disorder leads to increased energy gap between sites, hindering transport, and adversely affects both conductivity and Seebeck. Furthermore, positional correlation primarily affects conductivity, while correlation in energy has no effect on TE properties of polymers. Our results also show that the Lorenz number increases with Seebeck coefficient, largely deviating from the Sommerfeld value, in agreement with experiments and in contrast to band conductors. We conclude that reducing energetic disorder while increasing positional disorder can lead to higher TE power factors.


title: Optimal Asynchronous Dynamic Policies in Energy-Efficient Data Centers

abstract: In this paper, we use a Markov decision process to find optimal asynchronous policy of an energy-efficient data center with two groups of heterogeneous servers, a finite buffer, and a fast setup process at sleep state. Servers in Group 1 always work. Servers in Group 2 may either work or sleep, and a fast setup process occurs when server's states are changed from sleep to work. In such a data center, an asynchronous dynamic policy is designed as two sub-policies: The setup policy and the sleep policy, which determine the switch rule between the work and sleep states for the servers in Group 2. To analyze the optimal asynchronous dynamic policy, we apply the Markov decision process to establish a policy-based Poisson equation, which provides expression for the unique solution of the performance potential by means of the RG-factorization. Based on this, we can characterize the monotonicity and optimality of the long-run average profit of the data center with respect to the asynchronous dynamic policy under different service prices. Furthermore, we prove that the bang-bang control is always optimal for this optimization problem, and supports a threshold-type dynamic control in the energy-efficient data center. We hope that the methodology and results derived in this paper can shed light to the study of more general energy-efficient data centers.


title: On Covers of Dihedral 2-Groups by Powerful Subgroups

abstract: A finite $p$-group $G$ is called \textit{powerful} if either $p$ is odd and $[G,G]\subseteq G^p$ or $p=2$ and $[G,G]\subseteq G^4$. A {\em{cover}} for a group is a collection of subgroups whose union is equal to the entire group. We will discuss covers of $p$-groups by powerful $p$-subgroups. The size of the smallest cover of a $p$-group by powerful $p$-subgroups is called the \textit{powerful covering number}. In this paper we determine the powerful covering number of the dihedral 2-groups.


title: Observing the Effects of Legacy 10G on 100G Channels in Dispersion Managed Optical Systems

abstract: We show that 10G channels generate both amplitude and phase noise on 100G channels. Amplitude noise can be managed as the ASE and NLI noise, while the DSP robustness to the phase noise sets the guard-band.


title: On Markov Decision Processes with Borel Spaces and an Average Cost Criterion

abstract: We consider average-cost Markov decision processes (MDPs) with Borel state and action spaces and universally measurable policies. For the nonnegative cost model and an unbounded cost model, we introduce a set of conditions under which we prove the average cost optimality inequality (ACOI) via the vanishing discount factor approach. Unlike most existing results on the ACOI, which require compactness/continuity conditions on the MDP, our result does not and can be applied to problems with discontinuous dynamics and one-stage costs. The key idea here is to replace the compactness/continuity conditions used in the prior work by what we call majorization type conditions. In particular, among others, we require that for each state, on selected subsets of actions at that state, the state transition stochastic kernel is majorized by finite measures, and we use this majorization property together with Egoroff's theorem to prove the ACOI. We also consider the minimum pair approach for average-cost MDPs and apply the majorization idea. For the case of a discrete action space and strictly unbounded costs, we prove the existence of a minimum pair that consists of a stationary policy and an invariant probability measure induced by the policy. This result is derived by combining Lusin's theorem with another majorization condition we introduce, and it can be applied to a class of countable action space MDPs in which, with respect to the state variable, the dynamics and one-stage costs are discontinuous.


title: Incentive-based integration of useful work into blockchains

abstract: Blockchains have recently gained popularity thanks to their ability to record "digital truth". They are designed to keep persistence, security, and avoid attacks which is useful for many applications. However, they are still problematic in their energy consumption, governance, and scalability Current solutions either require vast computing power via Proof-of-Work (PoW) or cannot directly utilize computing power as a resource in virtual mining. Here, we propose incentive-based protocols that use competitions to integrate computing power into blockchains. We introduce Proof-of-Accumulated-Work (PoAW): miners compete in costumer-submitted jobs, accumulate recorded work whenever they are successful, and, over time, are remunerated. The underlying competition replaces the standard hash puzzle-based competitions of PoW. A competition is managed by a dynamically-created small masternode network (dTMN) of invested miners. dTMNs allow for scalability as we do not need the entire network to manage the competition. Using careful design on incentives, our system preserves security, avoids attacks, and offers new markets to miners. When there are no costumers the system converges into a standard protocol. Our proposed solution improves the way by which the blockchain infrastructure works and makes use of its computing power. We also discuss how the protocol can be used by fields that require solving difficult optimization problems, such as Artificial Intelligence and Pattern Recognition in Big Data.


title: Fueling Peter's Mill: Mikhail Lomonosov's Educational Training in Russia and Germany, 1731-1741

abstract: This article, the second in a series about the Russian scientist Mikhail Lomonosov (1711-1765), traces his education from his arrival in Moscow in 1731 to study at the Slavo-Greco-Latin Academy, through his admission to the St. Petersburg Academy of Sciences in 1736, to his trip abroad to complete his educational studies from 1736 to 1741. Lomonosov's story during this time opens a vista on the introduction of modern physics and modern science into Russia. Michael D. Gordin has argued that Peter the Great's plans to Westernize Russia were more broadly conceived than he is usually credited, with ambitions that exceeded mere utilitarian and pragmatic goals. Lomonosov's career trajectory is a good example, illustrating how different aspects of the Petrine vision intersected with and reinforced each other. The article ends with Lomonosov's return to Russia from Germany in 1741, an important landmark in the growth of the Academy and of Russian science.


title: Broadcasting Information subject to State Masking over a MIMO State Dependent Gaussian Channel

abstract: The problem of channel coding over the Gaussian multiple-input multiple-output (MIMO) broadcast channel (BC) with additive independent Gaussian states is considered. The states are known in a noncausal manner to the encoder, and it wishes to minimize the amount of information that the receivers can learn from the channel outputs about the state sequence. The state leakage rate is measured as a normalized blockwise mutual information between the state sequence and the channel outputs' sequences. We employ a new version of a state-dependent extremal inequality and show that Gaussian input maximizes the state-dependent version of Marton's outer bound. Further we show that our inner bound coincides with the outer bound. Our result generalizes previously studied scalar Gaussian BC with state and MIMO BC without state.


title: Cocon: Computation in Contextual Type Theory

abstract: We describe a Martin-L\"of style dependent type theory, called Cocon, that allows us to mix the intensional function space that is used to represent higher-order abstract syntax (HOAS) trees with the extensional function space that describes (recursive) computations. We mediate between HOAS representations and computations using contextual modal types. Our type theory also supports an infinite hierarchy of universes and hence supports type-level computation -- thereby providing metaprogramming and (small-scale) reflection. Our main contribution is the development of a Kripke-style model for Cocon that allows us to prove normalization. From the normalization proof, we derive subject reduction and consistency. Our work lays the foundation to incorporate the methodology of logical frameworks into systems such as Agda and bridges the longstanding gap between these two worlds.


title: INTERPOL: Information Theoretically Verifiable Polynomial Evaluation

abstract: We study the problem of verifiable polynomial evaluation in the user-server and multi-party setups. We propose {INTERPOL}, an information-theoretically verifiable algorithm that allows a user to delegate the evaluation of a polynomial to a server, and verify the correctness of the results with high probability and in sublinear complexity. Compared to the existing approaches which typically rely on cryptographic assumptions, {INTERPOL} stands out in that it does not assume any computational limitation on the server. {INTERPOL} relies on decomposition of polynomial evaluation into two matrix multiplications, and injection of computation redundancy in the form of locally computed parities with secret coefficients for verification. We show that {INTERPOL} has several desirable properties such as adaptivity and public verifiability. Furthermore, by generalizing {INTERPOL} to a multi-party setting consisting of a network of $n$ untrusted nodes, where each node is interested in evaluating the same polynomial, we demonstrate that we can achieve an overall computational complexity comparable to a trusted setup, while guaranteeing information-theoretic verification at each node.


title: The three-dimensional general relativistic Poynting-Robertson effect I: radial radiation field

abstract: In this paper we investigate the three-dimensional (3D) motion of a test particle in a stationary, axially symmetric spacetime around a central compact object, under the influence of a radiation field. To this aim we extend the two-dimensional (2D) version of the Poynting-Robertson effect in General Relativity (GR) that was developed in previous studies. The radiation flux is modeled by photons which travel along null geodesics in the 3D space of a Kerr background and are purely radial with respect to the zero angular momentum observer (ZAMO) frames. The 3D general relativistic equations of motion that we derive are consistent with the classical (i.e. non-GR) description of the Poynting-Robertson effect in 3D. The resulting dynamical system admits a critical hypersurface, on which radiation force balances gravity. Selected test particle orbits are calculated and displayed, and their properties described. It is found that test particles approaching the critical hypersurface at a finite latitude and with non-zero angular moment are subject to a latitudinal drift and asymptotically reach a circular orbit on the equator of the critical hypersurface, where they remain at rest with respect to the ZAMO. On the contrary, test particles that have lost all their angular momentum by the time they reach the critical hypersurface do not experience this latitudinal drift and stay at rest with respects to the ZAMO at fixed non-zero latitude.


title: On determinantal equations for curves and Frobenius split hypersurfaces

abstract: I consider the problem of existence of intrinsic determinantal equations for plane projective curves and hypersurfaces in projective space and prove that in many cases of interest there exist intrinsic determinantal equations. In particular I prove (1) in characteristic two any ordinary, plane projective curve of genus at least one is given by an intrinsic determinantal equation (2) in characteristic three any plane projective curve is an intrinsic Pfaffian (3) in any positive characteristic any plane projective curve is set theoretically the determinant of an intrinsic matrix (4) in any positive characteristic, any Frobenius split hypersurface in ${\bf P}^n$ is given by set theoretically as the determinant of an intrinsic matrix with homogeneous entries of degree between $1$ and $n-1$. In particular this implies that any smooth, Fano hypersurface is set theoretically given by an intrinsic determinantal equation and the same is also true for any Frobenius split Calabi-Yau hypersurface.


title: A Ramanujan enigma involving the first Stieltjes constant

abstract: We provide a rigorous formulation of Entry 17(v) in Ramanujan's Notebooks and show how this relates to the first Stieltjes constant. A new proposition 4.5 is included to show the close relationship with some analysis presented by Candelpergher in 2017.


title: Collaborative Privacy for Web Applications

abstract: Real-time, online-editing web apps provide free and convenient services for collaboratively editing, sharing and storing files. The benefits of these web applications do not come for free: not only do service providers have full access to the users' files, but they also control access, transmission, and storage mechanisms for them. As a result, user data may be at risk of data mining, third-party interception, or even manipulation. To combat this, we propose a new system for helping to preserve the privacy of user data within collaborative environments. There are several distinct challenges in producing such a system, including developing an encryption mechanism that does not interfere with the back-end (and often proprietary) control mechanisms utilized by the service, and identifying transparent code hooks through which to obfuscate user data. Toward the first challenge, we develop a character-level encryption scheme that is more resilient to the types of attacks that plague classical substitution ciphers. For the second challenge, we design a browser extension that robustly demonstrates the feasibility of our approach, and show a concrete implementation for Google Chrome and the widely-used Google Docs platform. Our example tangibly demonstrates how several users with a shared key can collaboratively and transparently edit a Google Docs document without revealing the plaintext directly to Google.


title: Special values of the Lommel functions and associated integrals

abstract: Special values of the Lommel functions allow the calculation of Fresnel like integrals. These closed form expressions along with their asymptotic values are reported.


title: A Framework for Analyzing Fog-Cloud Computing Cooperation Applied to Information Processing of UAVs

abstract: Unmanned aerial vehicles (UAVs) are a relatively new technology. Their application can often involve complex and unseen problems. For instance, they can work in a cooperative-based environment under the supervision of a ground station to speed up critical decision-making processes. However, the amount of information exchanged among the aircraft and ground station is limited by high distances, low bandwidth size, restricted processing capability, and energy constraints. These drawbacks restrain large-scale operations such as large area inspections. New distributed state-of-the-art processing architectures, such as fog computing, can improve latency, scalability, and efficiency to meet time constraints via data acquisition, processing, and storage at different levels. Under these amendments, this research work proposes a mathematical model to analyze distribution-based UAVs topologies and a fog-cloud computing framework for large-scale mission and search operations. The tests have successfully predicted latency and other operational constraints, allowing the analysis of fog-computing advantages over traditional cloud-computing architectures.


title: How Uniform is the Uniform Distribution on Permutations?

abstract: For large $q$, does the (discrete) uniform distribution on the set of $q!$ permutations of the vector $(1,2,\dots,q)$ closely approximate the (continuous) uniform distribution on the $(q-2)$-sphere that contains them? These permutations comprise the vertices of the regular permutohedron, a $(q-1)$-dimensional convex polyhedron. Surprisingly to me, the answer is emphatically no: these permutations are confined to a negligible portion of the sphere, and the regular permutohedron occupies a negligible portion of the ball. However, $(1,2,\dots,q)$ is not the most favorable configuration for approximate spherical uniformity of permutations. Unlike the permutations of $(1,2,\dots,q)$, the normalized surface area of the largest empty spherical cap among the permutations of the most favorable configuration approaches 0 as $q\to\infty$. Several open questions are posed.


title: Time reversal symmetry in cosmology and the creation of a universe-antiuniverse pair

abstract: The classical evolution of the universe can be seen as a parametrised worldline of the minisuperspace, with the time variable $t$ the parameter that parametrises the worldline. The time reversal symmetry of the field equations implies that for any positive oriented solution there can be a symmetric negative oriented one that, in terms of the same time variable, represent an expanding and a contracting universe, respectively. However, the choice of the time variable induced by the correct value of the Schr\"odinger equation in the two universes makes that their physical time variables could be reversely related. In that case, the two universes would be both expanding universes from the point of view of their internal inhabitants, who identify matter with the particles that move in their spacetimes and antimatter with the particles that move in the time reversely symmetric universe. If the assumptions considered are consistent with a realistic scenario of our universe, the creation of a universe-antiuniverse pair might explain two main and related problems in cosmology: the time asymmetry and the primordial matter-antimatter asymmetry of our universe.


title: Adapted complex and involutive structures

abstract: We define and study complex structures and generalizations on spaces consisting of geodesics or harmonic maps that are compatible with the symmetries of these spaces. The main results are about existence and uniqueness of such structures.


title: Interpretation of coincidence data from strip detectors and extraction of absolute cross section using 3-body Monte Carlo simulation method

abstract: Accurate knowledge of the response of the detection system is very crucial for unambiguous interpretation of the experimental data. A simulation code has been developed using the Monte Carlo technique involving 3-body kinematics for the analysis of data obtained with segmented large area Si $\Delta E-E$ detector telescopes in nuclear reaction measurements. Care was taken in the analysis to maximize the angular coverage and statistics. The emphasis is placed to extract the absolute cross sections of the different reaction processes, for which coincident measurements are unavoidable. The estimated detection efficiency of different coincidence events are found to depend on various parameters, e.g., the relative energy of the breakup fragments, incident beam energy of the projectile, ground state $Q$-value of the reaction, the excitation of the ejectile as well as target like nuclei, mass asymmetry of the breakup fragments, detection threshold, and geometric solid angle of the detection setup. The interpretation of the various observables from the exclusive measurements of breakup and transfer breakup reactions is reported.


title: Effect of Scalar Boson on Fermionic Dark Star

abstract: The role of scalar boson exchange as a mediator of the fermionic dark particle interaction and the mass of dark particle on the bulk properties of fermionic dark stars including their moment of inertia and tidal deformability are studied. We have found that the role of the attractive nature of the scalar boson exchange and the fermionic dark particle mass can control the stiffness of the fermionic dark star equation of state. By increasing the strength of scalar boson coupling, the fermionic dark star becomes more compact. As a consequence, if scalar boson exchange contribution is included the compactness of a dark star can exceed $C$=0.22. We also compare the fermionic dark stars moment of inertia and tidal deformability to those of neutron stars (with and without hyperons in neutron star core) predicted by relativistic mean field model. It is evidence that the properties of both types of stars are quite different. We also have found that the universal I-Love relation in fermionic dark stars is not affected by scalar boson exchange contribution and the fermionic dark particle mass. Possible observations of fermionic dark stars are also discussed.


title: Thermal transport at a nanoparticle-water interface: A molecular dynamics and continuum modeling study

abstract: Heat transfer between a silver nanoparticle and surrounding water has been studied using molecular dynamics (MD) simulations. The thermal conductance (Kapitza conductance) at the interface between a nanoparticle and surrounding water has been calculated using four different approaches: transient with/without temperature gradient (internal thermal resistance) in the nanoparticle, steady-state non-equilibrium and finally equilibrium simulations. The results of steady-state non-equilibrium and equilibrium are in agreement but differ from the transient approach results. MD simulations results also reveal that in the quenching process of a hot silver nanoparticle, heat dissipates into the solvent over a length-scale of ~ 2nm and over a timescale of less than 5ps. By introducing a continuum solid-like model and considering a heat conduction mechanism in water, it is observed that the results of the temperature distribution for water shells around the nanoparticle agree well with MD results. It is also found that the local water thermal conductivity around the nanoparticle is greater by about 50 percent than that of bulk water. These results have important implications for understanding heat transfer mechanisms in nanofluids systems and also for cancer photothermal therapy, wherein an accurate local description of heat transfer in an aqueous environment is crucial.


title: Construction of J2-Invariant Periodic Relative Motion in Highly Elliptical Orbits

abstract: Two satellites with mean orbital elements which differ only in terms of right ascension of the ascending node, argument of perigee, and mean anomaly are notable for having the same mean orbital element secular drift rates due to the J2 perturbation. The relative orbits which result from this configuration are discounted in the literature for not providing sufficiently many degrees of freedom with which to design relative orbit geometries suitable for real world missions. However, this paper will explore a variety of useful geometries which result from this limited design space, and provide analytical formulas for the differences between chief and deputy mean orbital elements as a function of the desired orbit geometry and inertial chief orbit. These include in-track-centered, quadrant-time-centered, offset-circular, rectilinear, boomerang-shaped, and cross-track only geometries.


title: Star sampling with and without replacement

abstract: Star sampling (SS) is a random sampling procedure on a graph wherein each sample consists of a randomly selected vertex (the star center) and its one-hop neighbors (the star endpoints). We consider the use of star sampling to find any member of an arbitrary target set of vertices in a graph, where the figure of merit (cost) is either the expected number of samples (unit cost) or the expected number of star centers plus star endpoints (linear cost) until a vertex in the target set is encountered, either as a star center or as a star point. We analyze this performance measure on three related star sampling paradigms: SS with replacement (SSR), SS without center replacement (SSC), and SS without star replacement (SSS). We derive exact and approximate expressions for the expected unit and linear costs of SSR, SSC, and SSS on Erdos-Renyi (ER) graphs. Our results show there is i) little difference in unit cost, but ii) significant difference in linear cost, across the three paradigms. Although our results are derived for ER graphs, experiments on "real-world" graphs suggest our performance expressions are reasonably accurate for non-ER graphs.


title: Damping and softening of transverse acoustic phonons in colossal magnetoresistive La$_{0.7}$Ca$_{0.3}$MnO$_3$ and La$_{0.7}$Sr$_{0.3}$MnO$_3$

abstract: Neutron spectroscopy is used to probe transverse acoustic phonons near the (2, 2, 0) Bragg position in colossal magnetoresistive La0.7Ca0.3MnO3 and La0.7Sr0.3MnO3. Upon warming to temperatures near Tc = 257 K the phonon peaks in La0.7Ca0.3MnO3 soften and damp significantly with the phonon half width at half maximum approaching 2.5 meV for phonons at a reduced wave vector of q = (0.2, 0.2, 0). Concurrently a quasielastic component develops that dominates the spectrum near the polaron position at high temperatures. This quasielastic scattering is ~5 times more intense near Tc than in La0.7Sr0.3MnO3 despite comparable structural distortions in the two. The damping becomes more significant near the polaron position with a temperature dependence similar to that of polaron structural distortions. An applied magnetic field of 9.5 T only partially reverses the damping and quasielastic component, despite smaller fields being sufficient to drive the colossal magnetoresistive effect. The phonon energy, on the other hand, is unaffected by field. The damping in La0.7Sr0.3MnO3 near Tc at a reduced wave vector of q = (0.25, 0.25, 0) is significantly smaller but displays a similar trend with an applied magnetic field.


title: On the construction of Weakly Ulrich bundles

abstract: I provide a construction of intrinsic weakly Ulrich bundles of large rank on any smooth complete surface in ${\bf P}^3$ over fields of characteristic $p>0$ and also for some classes of surfaces of general type in ${\bf P}^n$. I also construct intrinsic weakly Ulrich bundles on any Frobenius split variety of dimension at most three. The bundles constructed here are in fact ACM and weakly Ulrich bundles and so I call them almost Ulrich bundles. Frobenius split varieties in dimension three include as special cases: (1) smooth hypersurfaces in ${\bf P}^4$ of degree at most four, (2) Frobenius split, smooth quintics in ${\bf P}^4$ (3) Frobenius split Calabi-Yau varieties of dimension at most three (4) Frobenius split (i.e ordinary) abelian varieties of dimension at most three.


title: Detecting Overfitting of Deep Generative Networks via Latent Recovery

abstract: State of the art deep generative networks are capable of producing images with such incredible realism that they can be suspected of memorizing training images. It is why it is not uncommon to include visualizations of training set nearest neighbors, to suggest generated images are not simply memorized. We demonstrate this is not sufficient and motivates the need to study memorization/overfitting of deep generators with more scrutiny. This paper addresses this question by i) showing how simple losses are highly effective at reconstructing images for deep generators ii) analyzing the statistics of reconstruction errors when reconstructing training and validation images, which is the standard way to analyze overfitting in machine learning. Using this methodology, this paper shows that overfitting is not detectable in the pure GAN models proposed in the literature, in contrast with those using hybrid adversarial losses, which are amongst the most widely applied generative methods. The paper also shows that standard GAN evaluation metrics fail to capture memorization for some deep generators. Finally, the paper also shows how off-the-shelf GAN generators can be successfully applied to face inpainting and face super-resolution using the proposed reconstruction method, without hybrid adversarial losses.


title: EmPoWeb: Empowering Web Applications with Browser Extensions

abstract: Browser extensions are third party programs, tightly integrated to browsers, where they execute with elevated privileges in order to provide users with additional functionalities. Unlike web applications, extensions are not subject to the Same Origin Policy (SOP) and therefore can read and write user data on any web application. They also have access to sensitive user information including browsing history, bookmarks, cookies and list of installed extensions. Extensions have a permanent storage in which they can store data and can trigger the download of arbitrary files on the user's device. For security reasons, browser extensions and web applications are executed in separate contexts. Nonetheless, in all major browsers, extensions and web applications can interact by exchanging messages. Through these communication channels, a web application can exploit extension privileged capabilities and thereby access and exfiltrate sensitive user information. In this work, we analyzed the communication interfaces exposed to web applications by Chrome, Firefox and Opera browser extensions. As a result, we identified many extensions that web applications can exploit to access privileged capabilities. Through extensions' APIS, web applications can bypass SOP, access user cookies, browsing history, bookmarks, list of installed extensions, extensions storage, and download arbitrary files on the user's device. Our results demonstrate that the communications between browser extensions and web applications pose serious security and privacy threats to browsers, web applications and more importantly to users. We discuss countermeasures and proposals, and believe that our study and in particular the tool we used to detect and exploit these threats, can be used as part of extensions review process by browser vendors to help them identify and fix the aforementioned problems in extensions.


title: Characterizing and evaluating adversarial examples for Offline Handwritten Signature Verification

abstract: The phenomenon of Adversarial Examples is attracting increasing interest from the Machine Learning community, due to its significant impact to the security of Machine Learning systems. Adversarial examples are similar (from a perceptual notion of similarity) to samples from the data distribution, that "fool" a machine learning classifier. For computer vision applications, these are images with carefully crafted but almost imperceptible changes, that are misclassified. In this work, we characterize this phenomenon under an existing taxonomy of threats to biometric systems, in particular identifying new attacks for Offline Handwritten Signature Verification systems. We conducted an extensive set of experiments on four widely used datasets: MCYT-75, CEDAR, GPDS-160 and the Brazilian PUC-PR, considering both a CNN-based system and a system using a handcrafted feature extractor (CLBP). We found that attacks that aim to get a genuine signature rejected are easy to generate, even in a limited knowledge scenario, where the attacker does not have access to the trained classifier nor the signatures used for training. Attacks that get a forgery to be accepted are harder to produce, and often require a higher level of noise - in most cases, no longer "imperceptible" as previous findings in object recognition. We also evaluated the impact of two countermeasures on the success rate of the attacks and the amount of noise required for generating successful attacks.


title: Strong convergence in the motivic Adams spectral sequence

abstract: We prove strong convergence results for the motivic Adams spectral sequence of the sphere spectrum over fields with finite virtual cohomological dimension at the prime 2, and over arbitrary fields at odd primes. We show that the motivic Adams spectral sequence is not strongly convergent over number fields. As applications we give bounds on the exponents of the $(\ell,\eta)$-completed motivic stable stems, and calculate the zeroth $(\ell,\eta)$-completed motivic stable stems.


title: Euler and the Multiplication Formula for the Gamma Function

abstract: We show that an apparently overlooked result of Euler from \cite{E421} is essentially equivalent to the general multiplication formula for the $\Gamma$-function that was proven by Gauss in \cite{Ga28}.


title: Large Scale Studies of Memory, Storage, and Network Failures in a Modern Data Center

abstract: The workloads running in the modern data centers of large scale Internet service providers (such as Amazon, Baidu, Facebook, Google, and Microsoft) support billions of users and span globally distributed infrastructure. Yet, the devices used in modern data centers fail due to a variety of causes, from faulty components to bugs to misconfiguration. Faulty devices make operating large scale data centers challenging because the workloads running in modern data centers consist of interdependent programs distributed across many servers, so failures that are isolated to a single device can still have a widespread effect on a workload. In this dissertation, we measure and model the device failures in a large scale Internet service company, Facebook. We focus on three device types that form the foundation of Internet service data center infrastructure: DRAM for main memory, SSDs for persistent storage, and switches and backbone links for network connectivity. For each of these device types, we analyze long term device failure data broken down by important device attributes and operating conditions, such as age, vendor, and workload. We also build and release statistical models to examine the failure trends for the devices we analyze. Our key conclusion in this dissertation is that we can gain a deep understanding of why devices fail---and how to predict their failure---using measurement and modeling. We hope that the analysis, techniques, and models we present in this dissertation will enable the community to better measure, understand, and prepare for the hardware reliability challenges we face in the future.


title: On regularity and irregularity of certain holomorphic singular integral operators

abstract: We survey recent work and announce new results concerning two singular integral operators whose kernels are holomorphic functions of the output variable, specifically the Cauchy-Leray integral and the Cauchy-Szeg\H o projection associated to various classes of bounded domains in $\mathbb C^n$ with $n\geq 2$.


title: Mean Estimation from One-Bit Measurements

abstract: We consider the problem of estimating the mean of a symmetric log-concave distribution under the constraint that only a single bit per sample from this distribution is available to the estimator. We study the mean squared error as a function of the sample size (and hence the number of bits). We consider three settings: first, a centralized setting, where an encoder may release $n$ bits given a sample of size $n$, and for which there is no asymptotic penalty for quantization; second, an adaptive setting in which each bit is a function of the current observation and previously recorded bits, where we show that the optimal relative efficiency compared to the sample mean is precisely the efficiency of the median; lastly, we show that in a distributed setting where each bit is only a function of a local sample, no estimator can achieve optimal efficiency uniformly over the parameter space. We additionally complement our results in the adaptive setting by showing that \emph{one} round of adaptivity is sufficient to achieve optimal mean-square error.


title: Handcrafted vs Deep Learning Classification for Scalable Video QoE Modeling

abstract: Mobile video traffic is dominant in cellular and enterprise wireless networks. With the advent of diverse applications, network administrators face the challenge to provide high QoE in the face of diverse wireless conditions and application contents. Yet, state-of-the-art networks lack analytics for QoE, as this requires support from the application or user feedback. While there are existing techniques to map QoS to QoE by training machine learning models without requiring user feedback, these techniques are limited to only few applications, due to insufficient QoE ground-truth annotation for ML. To address these limitations, we focus on video telephony applications and model key artefacts of spatial and temporal video QoE. Our key contribution is designing content- and device-independent metrics and training across diverse WiFi conditions. We show that our metrics achieve a median 90% accuracy by comparing with mean-opinion-score from more than 200 users and 800 video samples over three popular video telephony applications -- Skype, FaceTime and Google Hangouts. We further extend our metrics by using deep neural networks, more specifically we use a combined CNN and LSTM model. We achieve a median accuracy of 95% by combining our QoE metrics with the deep learning model, which is a 38% improvement over the state-of-the-art well known techniques.


title: Braking index jumps in young pulsars

abstract: The departure of all measured pulsar braking indexes from the "canonical" dipole value 3 has been attributed to several causes in the past. Careful monitoring of the Crab pulsar has revealed permanent changes in the spin-down rate which are most likely the accumulation of small jumps in the angle $\alpha$ between the magnetic and spin axis. Recently, a large permanent change in the braking index of the in the "Crab twin" pulsar B0540-69 has been reported, and an analogous phenomenon seen in the high-field pulsar PSR 1846-0258 has been seen following a glitch, while another similar event (in PSR J119-6127) needs to be confirmed. We argue in this work that a common physical origin of all these observations can be attributed to the counter-alignment of the axis without serious violations of the observed features and with very modest inferred values of the hypothesized jump in the $\alpha$ angle. In addition, detected increases of the X-ray luminosities after the events are an additional ingredient for this interpretation. We argue that a component of a time-dependent torque has been identified, being an important ingredient towards a full solution of observed pulsar timing behavior which is in search of a consistent modeling.


title: Bernoulli disjointness

abstract: Generalizing a result of Furstenberg, we show that for every infinite discrete group $G$, the Bernoulli flow $2^G$ is disjoint from every minimal $G$-flow. From this, we deduce that the algebra generated by the minimal functions $\mathfrak{A}(G)$ is a proper subalgebra of $\ell^\infty(G)$ and that the enveloping semigroup of the universal minimal flow $M(G)$ is a proper quotient of the universal enveloping semigroup $\beta G$. When $G$ is countable, we also prove that for any metrizable, minimal $G$-flow, there exists a free, minimal flow disjoint from it and that there exist continuum many mutually disjoint minimal, free, metrizable $G$-flows. Finally, improving a result of Frisch, Tamuz, and Vahidi Ferdowsi and answering a question of theirs, we show that if $G$ is a countable icc group, then it admits a free, minimal, proximal flow.


title: Deep Learning for Anomaly Detection: A Survey

abstract: Anomaly detection is an important problem that has been well-studied within diverse research areas and application domains. The aim of this survey is two-fold, firstly we present a structured and comprehensive overview of research methods in deep learning-based anomaly detection. Furthermore, we review the adoption of these methods for anomaly across various application domains and assess their effectiveness. We have grouped state-of-the-art research techniques into different categories based on the underlying assumptions and approach adopted. Within each category we outline the basic anomaly detection technique, along with its variants and present key assumptions, to differentiate between normal and anomalous behavior. For each category, we present we also present the advantages and limitations and discuss the computational complexity of the techniques in real application domains. Finally, we outline open issues in research and challenges faced while adopting these techniques.


title: Application of Multivariate Adaptive Regression Splines (MARSplines) for Predicting Hansen Solubility Parameters Based on 1D and 2D Molecular Descriptors Computed from SMILES String

abstract: A new method of Hansen solubility parameters (HSPs) prediction was developed by combining the multivariate adaptive regression splines (MARSplines) methodology with a simple multivariable regression involving 1D and 2D PaDEL molecular descriptors. In order to adopt the MARSplines approach to QSPR/QSAR problems, several optimization procedures were proposed and tested. The effectiveness of the obtained models was checked via standard QSPR/QSAR internal validation procedures provided by the QSARINS software and by predicting the solubility classification of polymers and drug-like solid solutes in collections of solvents. By utilizing information derived only from SMILES strings, the obtained models allow for computing all of the three Hansen solubility parameters including dispersion, polarization, and hydrogen bonding. Although several descriptors are required for proper parameters estimation, the proposed procedure is simple and straightforward and does not require a molecular geometry optimization. The obtained HSP values are highly correlated with experimental data, and their application for solving solubility problems leads to essentially the same quality as for the original parameters. Based on provided models, it is possible to characterize any solvent and liquid solute for which HSP data are unavailable.


title: Graph embeddings into Hamming spaces

abstract: Graph embeddings deal with injective maps from a given simple, undirected graph $G=(V,E)$ into a metric space, such as $\mathbb{R}^n$ with the Euclidean metric. This concept is widely studied in computer science, see \cite{ge1}, but also offers attractive research in pure graph theory \cite{ge2}. In this note we show that any graph can be embedded into a particularly simple metric space: $\{0,1\}^n$ with the Hamming distance, for large enough $n$.


title: Leggett-Garg tests of macrorealism: checks for non-invasiveness and generalizations to higher-order correlators

abstract: In the tests for macrorealism proposed by Leggett and Garg, the temporal correlation functions of a dichotomic variable Q must be measured in a non-invasive way to rule out alternative classical explanations of Leggett-Garg inequality violations. Ideal negative measurements, in which a null result is argued to be a non-invasive determination of the system's state, are often used. From a quantum-mechanical perspective, such a measurement collapses the wave function and will therefore typically be found to be invasive under any experimental check. Here, a simple modified ideal negative measurement protocol is described for measuring the correlation functions which is argued to be non-invasive from both classical and quantum perspectives and hence the non-invasiveness can then be checked experimentally, thereby permitting a quantitative measure of the degree of clumsiness of the measurement. It is also shown how this procedure may be extended to measure higher-order correlation functions and a number of higher-order conditions for macrorealism are derived.


title: Path integral action of a particle with the generalized uncertainty principle and correspondence with noncommutativity

abstract: The existence of an observer independent minimum length scale can lead to the modification of the Heisenberg uncertainty principle to the generalized uncertainty principle. This in turn would be responsible for the modification of the Hamiltonian describing a non-relativistic particle moving in the presence of an arbitrary potential. In this work we carry out a path integral formulation to compute the transition amplitude for this particle. The formalism yields the action of such a particle in an arbitrary potential. Interestingly, the action indicates that there is an upper bound to the velocity that a particle can have which depends on the generalized uncertainty principle parameter. We then compute explicitly the propagator of a free particle and particle moving in a harmonic oscilltor potential using the path integral representation of the transition amplitude. We observe that there exists a curious connection between the transition amplitude of the free particle in the generalized uncertainty priciple framework with the corresponding result in noncommutative space found from the path integral formulation in \cite{sgprl}. From the harmonic oscillator result for the transition amplitude, we calculate the ground state energy of the harmonic oscillator. The result shows that the ground state energy of the harmonic oscillator in the framework of the Heisenberg uncertainty principle gets augmented by the presence of the generalized uncertainty principle and also depends on the mass of the particle. We also demonstrate that the result agrees with that obatined using the operatorial approach.


title: Removable sets in non-uniformly elliptic problems

abstract: We analyze fine properties of solutions to quasilinear elliptic equations with double phase structure and characterize, in the terms of intrinsic Hausdorff measures, the removable sets for H\"older continuous solutions.


title: The Marolf-Ori singularity inside fast spinning black holes

abstract: The effective shock wave singularity at the outgoing leg of the inner horizon of a linearly perturbed fast spinning black hole is studied numerically for either scalar field, or vacuum, gravitational perturbations. We demonstrate the occurrence of the Marolf-Ori singularity, including changes of order unity in the scalar field $\phi$ for the scalar field model, and in the Weyl scalars $\psi_0$ and $\psi_4$ (rescaled appropriately by the horizon function $\Delta$) and the Kretschmann curvature scalar $K$ for the vacuum, gravitational perturbations model for both null and timelike geodesic observers. We quantify the shock sharpening effect and show that in all cases its rate agrees with expectations.


title: Towards platform-independent specification and verification of the standard trigonometry functions

abstract: Research project "Platform-independent approach to formal specification and verification of standard mathematical functions" is aimed onto a development of an incremental combined approach to the specification and verification of the standard mathematical functions like sqrt, cos, sin, etc. Platform-independence means that we attempt to design a relatively simple axiomatization of the computer arithmetic in terms of real, rational, and integer arithmetic (i.e. the fields R and Q of real and rational numbers, the ring Z of integers) but don't specify neither base of the computer arithmetic, nor a format of numbers' representation. Incrementality means that we start with the most straightforward specification of the simplest easy to verify algorithm in real numbers and finish with a realistic specification and a verification of an algorithm in computer arithmetic. We call our approach combined because we start with a manual (pen-and-paper) verification of some selected algorithm in real numbers, then use these algorithm and verification as a draft and proof-outlines for the algorithm in computer arithmetic and its manual verification, and finish with a computer-aided validation of our manual proofs with some proof-assistant system (to avoid appeals to "obviousness" that are very common in human-carried proofs). In the paper we present first steps towards a platform-independent incremental combined approach to specification and verification of the standard functions cos and sin that implement mathematical trigonometric functions cos and sin.


title: Context Aware Machine Learning

abstract: We propose a principle for exploring context in machine learning models. Starting with a simple assumption that each observation may or may not depend on its context, a conditional probability distribution is decomposed into two parts: context-free and context-sensitive. Then by employing the log-linear word production model for relating random variables to their embedding space representation and making use of the convexity of natural exponential function, we show that the embedding of an observation can also be decomposed into a weighted sum of two vectors, representing its context-free and context-sensitive parts, respectively. This simple treatment of context provides a unified view of many existing deep learning models, leading to revisions of these models able to achieve significant performance boost. Specifically, our upgraded version of a recent sentence embedding model not only outperforms the original one by a large margin, but also leads to a new, principled approach for compositing the embeddings of bag-of-words features, as well as a new architecture for modeling attention in deep neural networks. More surprisingly, our new principle provides a novel understanding of the gates and equations defined by the long short term memory model, which also leads to a new model that is able to converge significantly faster and achieve much lower prediction errors. Furthermore, our principle also inspires a new type of generic neural network layer that better resembles real biological neurons than the traditional linear mapping plus nonlinear activation based architecture. Its multi-layer extension provides a new principle for deep neural networks which subsumes residual network (ResNet) as its special case, and its extension to convolutional neutral network model accounts for irrelevant input (e.g., background in an image) in addition to filtering.


title: Preventing Posterior Collapse with delta-VAEs

abstract: Due to the phenomenon of "posterior collapse," current latent variable generative models pose a challenging design choice that either weakens the capacity of the decoder or requires augmenting the objective so it does not only maximize the likelihood of the data. In this paper, we propose an alternative that utilizes the most powerful generative models as decoders, whilst optimising the variational lower bound all while ensuring that the latent variables preserve and encode useful information. Our proposed $\delta$-VAEs achieve this by constraining the variational family for the posterior to have a minimum distance to the prior. For sequential latent variable models, our approach resembles the classic representation learning approach of slow feature analysis. We demonstrate the efficacy of our approach at modeling text on LM1B and modeling images: learning representations, improving sample quality, and achieving state of the art log-likelihood on CIFAR-10 and ImageNet $32\times 32$.


title: Interference Effects in $t{\bar t}$ Production at the LHC as a Window on New Physics

abstract: Many extensions of the Standard Model contain (pseudo)scalar bosons with masses in the TeV range. At hadron colliders, such particles would predominantly be produced in gluon fusion and would decay into top quark pair final sates, a signal that interferes with the large QCD background $gg \to t\bar t$. This phenomenon is of interest for searches for by the LHC experiments. Here, we consider the signal and background interference in this process and study it in various benchmark scenarios, including models with extra singlet (pseudo)scalar resonances, two-Higgs doublet models, and the minimal supersymmetric extension of the SM with parameters chosen to obtain the measured light Higgs mass (the hMSSM). We allow for the possible exchanges of beyond the SM vector-like particles as well as scalar quarks. We calculate the possible interference effects including realistic estimates of the attainable detection efficiency and mass resolution. Studies of our benchmark scenarios indicate that searches with an LHC detector could permit the observation of the $t\bar t$ final states or constrain significantly large regions of the parameter spaces of the benchmark scenarios.


title: Ambient Effects on Photogating in MoS2 Photodetectors

abstract: Atomically thin transition metal dichalcogenides (TMDs) are ideal candidates for ultrathin optoelectronics that is flexible and semitransparent. Photodetectors based on TMDs show remarkable performance, with responsivity and detectivity higher than 10^3 A/W and 10^12 Jones, respectively, but they are plagued by response times as slow as several tens of seconds. Although it is well established that gas adsorbates such as water and oxygen create charge traps and significantly increase both the responsivity and the response time, the underlying mechanism is still unclear. Here we study the influence of adsorbates on MoS2 photodetectors under ambient conditions, vacuum and illumination at different wavelengths. We show that, for wavelengths sufficiently short to excite electron-hole pairs in the MoS2, light illumination causes desorption of water and oxygen molecules. The change in the molecular gating provided by the physisorbed molecules is the dominant contribution to the device photoresponse in ambient conditions.


title: How Can We Make GAN Perform Better in Single Medical Image Super-Resolution? A Lesion Focused Multi-Scale Approach

abstract: Single image super-resolution (SISR) is of great importance as a low-level computer vision task. The fast development of Generative Adversarial Network (GAN) based deep learning architectures realises an efficient and effective SISR to boost the spatial resolution of natural images captured by digital cameras. However, the SISR for medical images is still a very challenging problem. This is due to (1) compared to natural images, in general, medical images have lower signal to noise ratios, (2) GAN based models pre-trained on natural images may synthesise unrealistic patterns in medical images which could affect the clinical interpretation and diagnosis, and (3) the vanilla GAN architecture may suffer from unstable training and collapse mode that can also affect the SISR results. In this paper, we propose a novel lesion focused SR (LFSR) method, which incorporates GAN to achieve perceptually realistic SISR results for brain tumour MRI images. More importantly, we test and make comparison using recently developed GAN variations, e.g., Wasserstein GAN (WGAN) and WGAN with Gradient Penalty (WGAN-GP), and propose a novel multi-scale GAN (MS-GAN), to achieve a more stabilised and efficient training and improved perceptual quality of the super-resolved results. Based on both quantitative evaluations and our designed mean opinion score, the proposed LFSR coupled with MS-GAN has performed better in terms of both perceptual quality and efficiency.


title: An exact continuum model for low-energy electronic states of twisted bilayer graphene

abstract: We introduce a complete physical model for the single-particle electronic structure of twisted bilayer graphene (tBLG), which incorporates the crucial role of lattice relaxation. Our model, based on $k \cdot p$ perturbation theory, combines the accuracy of DFT calculations through effective tight-binding Hamiltonians with the computational efficiency and complete control of the twist angle offered by continuum models. The inclusion of relaxation significantly changes the bandstructure at the first magic-angle twist corresponding to flat bands near the Fermi level (the "low-energy" states), and eliminates the appearance of a second magic-angle twist. We show that minimal models for the low-energy states of tBLG can be easily modified to capture the changes in electronic states as a function of twist angle.


title: Duality of gauges and symplectic forms in vector spaces

abstract: A gauge $\gamma$ in a vector space $X$ is a distance function given by the Minkowski functional associated to a convex body $K$ containing the origin in its interior. Thus, the outcoming concept of gauge spaces $(X, \gamma)$ extends that of finite dimensional real Banach spaces by simply neglecting the symmetry axiom (a viewpoint that Minkowski already had in mind). If the dimension of $X$ is even, then the fixation of a symplectic form yields an identification between $X$ and its dual space $X^*$ . The image of the polar body $K^{\circ}\subseteq X^*$ under this identification yields a (skew-)dual gauge on $X$. In this paper, we study geometric properties of this so-called dual gauge, such as its behavior under isometries and its relation to orthogonality. A version of the Mazur-Ulam theorem for gauges is also proved. As an application of the theory, we show that closed characteristics of the boundary of a (smooth) convex body are optimal cases of a certain isoperimetric inequality.


title: Contour forward flux sampling: Sampling rare events along multiple collective variables

abstract: Many rare event transitions involve multiple collective variables (CVs) and the most appropriate combination of CVs is generally unknown a priori. We thus introduce a new method, contour forward flux sampling (cFFS), to study rare events with multiple CVs simultaneously. cFFS places nonlinear interfaces on-the-fly from the collective progress of the simulations, without any prior knowledge of the energy landscape or appropriate combination of CVs. We demonstrate cFFS on analytical potential energy surfaces and a conformational change in alanine dipeptide.


title: Person as Population: A Longitudinal View of Single-Subject Causal Inference for Analyzing Self-Tracked Health Data

abstract: Single-subject health data are becoming increasingly available thanks to advances in self-tracking technology (e.g., wearable devices, mobile apps, sensors, implants). Many users and health caregivers seek to use such observational time series data to recommend changing health practices in order to achieve desired health outcomes. However, there are few available causal inference approaches that are flexible enough to analyze such idiographic data. We develop a recently introduced causal-analysis framework based on n-of-1 randomized trials, and implement a flexible random-forests g-formula approach to estimating a recurring individualized effect called the "average period treatment effect". In the process, we argue that our approach essentially resembles that of a longitudinal study by partitioning a single time series into periods taking on binary treatment levels. We analyze six years of the author's own self-tracked physical activity and weight data to demonstrate our approach, and compare the results of our analysis to one that does not properly account for confounding.


title: Anomalous blue-shift of terahertz whispering-gallery modes via dielectric and metallic tuning

abstract: The vast majority of resonant systems show a red-shift for the resonance frequency when a perturbation, e.g. losses, are introduced to the system. In contrast, here we report for the first time the experimental demonstration of both red- and anomalous blue-shifting of whispering-gallery modes (WGMs) using dielectric and metallic substrates. The maximum blue-shift is more than three times as large as the expected red-shift, proving that the anomalous blue-shift is more than a peculiar curiosity. The experiments are performed in the terahertz (THz) frequency range with coherent continuous-wave spectroscopy. The results establish dielectric and metallic tuning as a novel, and viable approach to tune high quality (high-Q) WGMs, and provide valuable insights into the anomalous blue-shift of WGM cavity systems. The tuning capabilities for these compact monolithic resonators is of significant interest for fundamental science and technological applications alike.


title: Review on Learning and Extracting Graph Features for Link Prediction

abstract: Link prediction in complex networks has attracted considerable attention from interdisciplinary research communities, due to its ubiquitous applications in biological networks, social networks, transportation networks, telecommunication networks, and, recently, knowledge graphs. Numerous studies utilized link prediction approaches in order sto find missing links or predict the likelihood of future links as well as employed for reconstruction networks, recommender systems, privacy control, etc. This work presents an extensive review of state-of-art methods and algorithms proposed on this subject and categorizes them into four main categories: similarity-based methods, probabilistic methods, relational models, and learning-based methods. Additionally, a collection of network data sets has been presented in this paper, which can be used in order to study link prediction. We conclude this study with a discussion of recent developments and future research directions.


title: Network generation and evolution based on spatial and opinion dynamics components

abstract: In this paper, a model for a spatial network evolution based on a Metropolis simulation is presented. The model uses an energy function that depends both on the distance between the nodes and the stated preferences. The agents influence their network neighbors opinions using the CODA model. That means each agent has a preference between two options based on its probabilistic assessment of which option is the best one. The algorithm generates realistic networks for opinion problems as well as temporal dynamics for those networks. The transition from a random state to an ordered situation, as temperature decreases, is described. Different types of networks appear based on the relative strength of the spatial and opinion components of the energy.


title: Stroke-based sketched symbol reconstruction and segmentation

abstract: Hand-drawn objects usually consist of multiple semantically meaningful parts. For example, a stick figure consists of a head, a torso, and pairs of legs and arms. Efficient and accurate identification of these subparts promises to significantly improve algorithms for stylization, deformation, morphing and animation of 2D drawings. In this paper, we propose a neural network model that segments symbols into stroke-level components. Our segmentation framework has two main elements: a fixed feature extractor and a Multilayer Perceptron (MLP) network that identifies a component based on the feature. As the feature extractor we utilize an encoder of a stroke-rnn, which is our newly proposed generative Variational Auto-Encoder (VAE) model that reconstructs symbols on a stroke by stroke basis. Experiments show that a single encoder could be reused for segmenting multiple categories of sketched symbols with negligible effects on segmentation accuracies. Our segmentation scores surpass existing methodologies on an available small state of the art dataset. Moreover, extensive evaluations on our newly annotated big dataset demonstrate that our framework obtains significantly better accuracies as compared to baseline models. We release the dataset to the community.


title: Measurements of the pp $\to$ WZ inclusive and differential production cross section and constraints on charged anomalous triple gauge couplings at $\sqrt{s} =$ 13 TeV

abstract: The WZ production cross section is measured in proton-proton collisions at a centre-of-mass energy $\sqrt{s} =$ 13 TeV using data collected with the CMS detector, corresponding to an integrated luminosity of 35.9 fb$^{-1}$. The inclusive cross section is measured to be $\sigma_{\text{tot}}$(pp $\to$ WZ$)$ = 48.09 $^{+1.00}_{-0.96}$ (stat) $^{+0.44}_{-0.37}$ (theo) $^{+2.39}_{-2.17}$ (syst) $\pm$ 1.39 (lumi) pb, resulting in a total uncertainty of $-$2.78/$+$2.98 pb. Fiducial cross section and ratios of charge-dependent cross section measurements are provided. Differential cross section measurements are also presented with respect to three variables: the Z boson transverse momentum $p_\mathrm{T}$, the leading jet $p_\mathrm{T}$, and the $m$(WZ) variable, defined as the invariant mass of the system composed of the three leptons and the missing transverse momentum. Differential measurements with respect to the W boson $p_\mathrm{T}$, separated by charge, are also shown. Results are consistent with standard model predictions, favouring next-to-next-to-leading-order predictions over those at next-to-leading order. Constraints on anomalous triple gauge couplings are derived via a binned maximum likelihood fit to the $m$(WZ) variable.


title: On the Turing Completeness of Modern Neural Network Architectures

abstract: Alternatives to recurrent neural networks, in particular, architectures based on attention or convolutions, have been gaining momentum for processing input sequences. In spite of their relevance, the computational properties of these alternatives have not yet been fully explored. We study the computational power of two of the most paradigmatic architectures exemplifying these mechanisms: the Transformer (Vaswani et al., 2017) and the Neural GPU (Kaiser & Sutskever, 2016). We show both models to be Turing complete exclusively based on their capacity to compute and access internal dense representations of the data. In particular, neither the Transformer nor the Neural GPU requires access to an external memory to become Turing complete. Our study also reveals some minimal sets of elements needed to obtain these completeness results.