title: Social Network De-anonymization: More Adversarial Knowledge, More Users Re-Identified?

abstract: Following the trend of data trading and data publishing, many online social networks have enabled potentially sensitive data to be exchanged or shared on the web. As a result, users' privacy could be exposed to malicious third parties since they are extremely vulnerable to de-anonymization attacks, i.e., the attacker links the anonymous nodes in the social network to their real identities with the help of background knowledge. Previous work in social network de-anonymization mostly focuses on designing accurate and efficient de-anonymization methods. We study this topic from a different perspective and attempt to investigate the intrinsic relation between the attacker's knowledge and the expected de-anonymization gain. One common intuition is that the more auxiliary information the attacker has, the more accurate de-anonymization becomes. However, their relation is much more sophisticated than that. To simplify the problem, we attempt to quantify background knowledge and de-anonymization gain under several assumptions. Our theoretical analysis and simulations on synthetic and real network data show that more background knowledge may not necessarily lead to more de-anonymization gain in certain cases. Though our analysis is based on a few assumptions, the findings still leave intriguing implications for the attacker to make better use of the background knowledge when performing de-anonymization, and for the data owners to better measure the privacy risk when releasing their data to third parties.


title: Breathers as Metastable States for the Discrete NLS equation

abstract: We study metastable motions in weakly damped Hamiltonian systems. These are believed to inhibit the transport of energy through Hamiltonian, or nearly Hamiltonian, systems with many degrees of freedom. We investigate this question in a very simple model in which the breather solutions that are thought to be responsible for the metastable states can be computed perturbatively to an arbitrary order. Then, using a modulation hypothesis, we derive estimates for the rate at which the system drifts along this manifold of periodic orbits and verify the optimality of our estimates numerically.


title: Study of $b \to s\ell\ell$ decays at ATLAS

abstract: The study of flavour-changing neutral currents (FCNC) gives access to important tests of the Standard Model (SM) and allows to search for hints of beyond the SM phenomena. We present here the study of the very rare decays $B^0\rightarrow \mu^+\mu^-$ and $B_s^0\rightarrow \mu^+\mu^-$ using data corresponding to an integrated luminosity of 25 fb$^{-1}$ of $7$~TeV and $8$~TeV proton-proton collisions collected with the ATLAS detector during the LHC Run 1. For $B^0$, an upper limit on the branching fraction is set at BR$(B^0 \rightarrow \mu^+\mu^-) < 4.2\times 10^{-10}$ at 95\% confidence level. For $B^0_s$, the branching fraction BR$(B^0_s \rightarrow \mu^+\mu^-)=(0.9^{+1.1}_{-0.8})\times 10^{-9}$ is measured. The results are consistent with the SM expectation with a p-value of 4.8\%, corresponding to 2.0 standard deviations. Another study sensitive to possible new physics contributions in $b \rightarrow s\ell\ell$ decays is the angular analysis of the decay $B^0 \rightarrow K^*\mu^+\mu^-$. Here we present the results obtained using proton-proton collisions at $\sqrt{s}=8$~TeV from LHC data collected with the ATLAS detector. The study is based on 20.3 fb$^{-1}$ of integrated luminosity collected during 2012. Measurements of the $K^*$ longitudinal polarisation fraction and a set of angular parameters obtained for this decay are presented. The results are compared to a variety of theoretical predictions and found to be compatible with them.


title: A Comprehensive Survey on Fog Computing: State-of-the-art and Research Challenges

abstract: Cloud computing with its three key facets (i.e., IaaS, PaaS, and SaaS) and its inherent advantages (e.g., elasticity and scalability) still faces several challenges. The distance between the cloud and the end devices might be an issue for latency-sensitive applications such as disaster management and content delivery applications. Service Level Agreements (SLAs) may also impose processing at locations where the cloud provider does not have data centers. Fog computing is a novel paradigm to address such issues. It enables provisioning resources and services outside the cloud, at the edge of the network, closer to end devices or eventually, at locations stipulated by SLAs. Fog computing is not a substitute for cloud computing but a powerful complement. It enables processing at the edge while still offering the possibility to interact with the cloud. This article presents a comprehensive survey on fog computing. It critically reviews the state of the art in the light of a concise set of evaluation criteria. We cover both the architectures and the algorithms that make fog systems. Challenges and research directions are also introduced. In addition, the lessons learned are reviewed and the prospects are discussed in terms of the key role fog is likely to play in emerging technologies such as Tactile Internet.


title: Measurement of quarkonium production cross sections in pp collisions at $\sqrt{s}=$ 13 TeV

abstract: Differential production cross sections of J/$\psi$ and $\psi$(2S) charmonium and $\Upsilon$(nS) (n = 1, 2, 3) bottomonium states are measured in proton-proton collisions at $\sqrt{s} =$ 13 TeV, with data collected by the CMS detector at the LHC, corresponding to an integrated luminosity of 2.3 fb$^{-1}$ for the J/$\psi$ and 2.7 fb$^{-1}$ for the other mesons. The five quarkonium states are reconstructed in the dimuon decay channel, for dimuon rapidity $|y| <$ 1.2. The double-differential cross sections for each state are measured as a function of $y$ and transverse momentum, and compared to theoretical expectations. In addition, ratios are presented of cross sections for prompt $\psi$(2S) to J/$\psi$, $\Upsilon$(2S) to $\Upsilon$(1S), and $\Upsilon$(3S) to $\Upsilon$(1S) production.


title: Testing the limits of the Maxwell distribution of velocities for atoms flying nearly parallel to the walls of a thin cell

abstract: For a gas at thermal equilibrium, it is usually assumed that the velocity distribution follows an isotropic 3-dimensional Maxwell-Boltzmann (M-B) law. This assumption classically implies the assumption of a "cos theta" law for the flux of atoms leaving the surface, although such a law has no grounds in surface physics. In a variety of recently developed sub-Doppler laser spectroscopy techniques for gases one-dimensionally confined in a thin cell, the specific contribution of atoms moving nearly parallel to the boundary of the vapor container becomes essential. We report here on the implementation of an experiment to probe effectively the distribution of atomic velocities parallel to the windows for a thin (60 microns) Cs vapor cell. The principle of the set-up relies on a spatially separated pump-probe experiment, where the variations of the signal amplitude with the pump-probe separation provide the information on the velocity distribution. The experiment is performed in a sapphire cell on the Cs resonance line, which benefits of a long-lived hyperfine optical pumping. Presently, we can analyze specifically the density of atoms with slow normal velocities ~ 5-20 m/s, already corresponding to unusual grazing flight theta at ~85{\deg}-88.5{\deg} from the normal to the surface and no deviation from the M-B law is found within the limits of our elementary set-up. Finally we suggest tracks to explore more parallel velocities, when surface details -roughness or structure- and the atom-surface interaction should play a key role to restrict the applicability of a M-B-type distribution.


title: Denoising random forests

abstract: This paper proposes a novel type of random forests called a denoising random forests that are robust against noises contained in test samples. Such noise-corrupted samples cause serious damage to the estimation performances of random forests, since unexpected child nodes are often selected and the leaf nodes that the input sample reaches are sometimes far from those for a clean sample. Our main idea for tackling this problem originates from a binary indicator vector that encodes a traversal path of a sample in the forest. Our proposed method effectively employs this vector by introducing denoising autoencoders into random forests. A denoising autoencoder can be trained with indicator vectors produced from clean and noisy input samples, and non-leaf nodes where incorrect decisions are made can be identified by comparing the input and output of the trained denoising autoencoder. Multiple traversal paths with respect to the nodes with incorrect decisions caused by the noises can then be considered for the estimation.


title: A Derivative-Free Gauss-Newton Method

abstract: We present DFO-GN, a derivative-free version of the Gauss-Newton method for solving nonlinear least-squares problems. As is common in derivative-free optimization, DFO-GN uses interpolation of function values to build a model of the objective, which is then used within a trust-region framework to give a globally-convergent algorithm requiring $O(\epsilon^{-2})$ iterations to reach approximate first-order criticality within tolerance $\epsilon$. This algorithm is a simplification of the method from [H. Zhang, A. R. Conn, and K. Scheinberg, A Derivative-Free Algorithm for Least-Squares Minimization, SIAM J. Optim., 20 (2010), pp. 3555-3576], where we replace quadratic models for each residual with linear models. We demonstrate that DFO-GN performs comparably to the method of Zhang et al. in terms of objective evaluations, as well as having a substantially faster runtime and improved scalability.


title: (Non-)thermal production of WIMPs during kination

abstract: Understanding the nature of the Dark Matter (DM) is one of the current challenges in modern astrophysics and cosmology. Knowing the properties of the DM particle would shed light on physics beyond the Standard Model and even provide us with details of the early Universe. In fact, the detection of such a relic would bring us information from the pre-Big Bang Nucleosynthesis (BBN) period, an epoch from which we have no data, and could even hint at inflationary physics. In this work, we assume that the expansion rate of the Universe after inflationary is governed by the kinetic energy of a scalar field $\phi$, in the so-called "kination" model. We assume that the $\phi$ field decays into both radiation and DM particles, which we take to be Weakly Interacting Massive Particles (WIMPs). The present abundance of WIMPs is then fixed during the kination period through either a thermal "freeze-out" or "freeze-in" mechanism, or through a non-thermal process governed by the decay of $\phi$. We explore the parameter space of this theory with the requirement that the present WIMP abundance provides the correct DM relic budget. Requiring that BBN occurs during the standard cosmological scenario sets a limit on the temperature at which the kination period ends. Using this limit and assuming the WIMP has a mass $m_\chi = 100\,$GeV, we obtain that the thermally-averaged WIMP annihilation cross section has to satisfy the constraints $4 \times 10^{-16}{\rm \,GeV^{-2}} \lesssim \langle\sigma v\rangle \lesssim 2\times 10^{-5} {\rm \,GeV^{-2}}$ in order for having at least one of the production mechanism to yield the observed amount of DM. This result shows how the properties of the WIMP particle, if ever measured, can yield information on the pre-BBN content of the Universe.


title: Kirszbraun-type Theorems For Graphs

abstract: The classical Kirszbraun theorem says that all $1$-Lipschitz functions $f:A\longrightarrow \mathbb{R}^n$, $A\subset \mathbb{R}^n$, with the Euclidean metric have a $1$-Lipschitz extension to $\mathbb{R}^n$. For metric spaces $X,Y$ we say that $Y$ is $X$-Kirszbraun if all $1$-Lipschitz functions $f:A\longrightarrow Y$, $A\subset X$, have a $1$-Lipschitz extension to~$X$. We analyze the case when $X$ and $Y$ are graphs with the usual path metric. We prove that $\mathbb{Z}^d$-Kirszbraun graphs are exactly graphs that satisfies a certain Helly property. We also consider complexity aspects of these properties.


title: Error Analysis for the Linear Feedback Particle Filter

abstract: This paper is concerned with the convergence and the error analysis for the feedback particle filter (FPF) algorithm. The FPF is a controlled interacting particle system where the control law is designed to solve the nonlinear filtering problem. For the linear Gaussian case, certain simplifications arise whereby the linear FPF reduces to one form of the ensemble Kalman filter. For this and for the more general nonlinear non-Gaussian case, it has been an open problem to relate the convergence and error properties of the finite-N algorithm to the mean-field limit (where the exactness results have been obtained). In this paper, the equations for empirical mean and covariance are derived for the finite-N linear FPF. Remarkably, for a certain deterministic form of FPF, the equations for mean and variance are identical to the Kalman filter. This allows strong conclusions on convergence and error properties based on the classical filter stability theory for the Kalman filter. It is shown that the error converges to zero even with finite number of particles. The paper also presents propagation of chaos estimates for the finite-N linear filter. The error estimates are illustrated with numerical experiments.


title: An Artificial-Noise-Aided Secure Scheme for Hybrid Parallel PLC/Wireless OFDM Systems

abstract: We investigate the physical-layer security of indoor hybrid parallel power-line/wireless orthogonal-frequency division-multiplexing (OFDM) communication systems. We propose an artificial-noise (AN) aided scheme to enhance the system's security in the presence of an eavesdropper by exploiting the decoupled nature of the power-line and wireless communication media. The proposed scheme does not require the instantaneous channel state information of the eavesdropper's links to be known at the legitimate nodes. In our proposed scheme, the legitimate transmitter (Alice) and the legitimate receiver (Bob) cooperate to secure the hybrid system where an AN signal is shared from Bob to Alice on the link with the lower channel-to-noise ratio (CNR) while the information stream in addition to a noisy-amplified version of the received AN signal is transmitted from Alice to Bob on the link with higher CNR at each OFDM sub-channel. In addition, we investigate the effect of the transmit power levels at both Alice and Bob and the power allocation ratio between the data and AN signals at Alice on the secure throughput. We investigate both single-link eavesdropping attacks, where only one link is exposed to eavesdropping attacks, and two-link eavesdropping attacks, where the two links are exposed to eavesdropping attacks.


title: From Jacobi off-shell currents to integral relations

abstract: In this paper, we study off-shell currents built from the Jacobi identity of the kinematic numerators of $gg\to X$ with $X=ss,q\bar{q},gg$. We find that these currents can be schematically written in terms of three-point interaction Feynman rules. This representation allows for a straightforward understanding of the Colour-Kinematics duality as well as for the construction of the building blocks for the generation of higher-multiplicity tree-level and multi-loop numerators. We also provide one-loop integral relations through the Loop-Tree duality formalism with potential applications and advantages for the computation of relevant physical processes at the Large Hadron Collider. We illustrate these integral relations with the explicit examples of QCD one-loop numerators of $gg\to ss$.


title: Derivation of the stochastic Burgers equation with Dirichlet boundary conditions from the WASEP

abstract: We consider the weakly asymmetric simple exclusion process on the discrete space $\{1,...,n-1\}$, in contact with stochastic reservoirs, both with density $\rho\in{(0,1)}$ at the extremity points, and starting from the invariant state, namely the Bernoulli product measure of parameter $\rho$. Under time diffusive scaling $tn^2$ and for $\rho=\frac12$, when the asymmetry parameter is taken of order $1/ \sqrt n$, we prove that the density fluctuations at stationarity are macroscopically governed by the energy solution of the stochastic Burgers equation with Dirichlet boundary conditions, which is shown to be unique and different from the Cole-Hopf solution.


title: Wettability of reentrant surfaces: a global energy approach

abstract: In this work we consider two possible wetting states for a droplet when placed on a substrate: the Fakir configuration of a Cassie-Baxter (CB) state with a droplet residing on top of roughness grooves and the Wenzel (W) state characterized by the homogeneous wetting of the surface. We extend a theoretical model based on the global interfacial energies for both states to study the wetting behavior of simple and double reentrant surfaces. Due to the minimization of the energies associated to each wetting state, we predict the thermodynamic wetting state of the droplet for a given surface and obtain its contact angle ${\theta}_C$. We first use this model to find the geometries for pillared, simple and double reentrant surfaces that most enhances ${\theta}_C$ and conclude that the repellent behavior of these surfaces is governed by the relation between the height and width of the reentrances. We compare our results with recent experiments and discuss the limitations of this thermodynamic approach. To address one of these limitations, we implement Monte Carlo simulations of the cellular Potts Model in three dimensions, allowing us to investigate the dependency of the wetting state on the initial state of the droplet. We find that when the droplet is initialized in a CB state, it gets trapped in a local minimum and stays in the repellent behavior irrespective of the theoretical prediction. When the initial state is W, simulations show a good agreement with theory for pillared surfaces, but for reentrant surfaces the agreement only happens in few cases: for most simulated geometries the contact angle reached by the droplet in simulations is higher than ${\theta}_C$ predicted by the model. Moreover, we find that the contact angle of the simulated droplet is higher when placed on the reentrant surfaces than for a pillared surfaces with the same height, width and pillar distance.


title: Combining Tensor Networks with Monte Carlo Methods for Lattice Gauge Theories

abstract: Gauged gaussian Projected Entangled Pair States are particular tensor network constructions that describe lattice states of fermionic matter interacting with dynamical gauge fields. We show how one can efficiently compute, using Monte-Carlo techniques, expectation values of physical observables in that class of states. This opens up the possibility of using tensor network techniques to investigate lattice gauge theories in two and three spatial dimensions.


title: The oldest stars of the bulge: new information on the ancient Galaxy

abstract: Recently the search for the oldest stars have started to focus on the Bulge region. The Galactic bulge hosts extremely old stars, with ages compatible with the ages of the oldest halo stars. The data coming from these recent observations present new chemical signatures and therefore provide complementary constraints to those already found in the halo. So, the study of the oldest bulge stars can improve dramatically the constraints on the nature of first stars and how they polluted the pristine ISM of our Galaxy. We present our first results regarding the light elements (CNO) and the neutron capture elements. Our findings in the oldest bulge stars support the scenario where the first stellar generations have been fast rotators.


title: Limiting empirical spectral distribution for the non-backtracking matrix of an Erd\H{o}s-R\'enyi random graph

abstract: In this note, we give a precise description of the limiting empirical spectral distribution (ESD) for the non-backtracking matrices for an Erd\H{o}s-R\'{e}nyi graph assuming $np/\log n$ tends to infinity. We show that derandomizing part of the non-backtracking random matrix simplifies the spectrum considerably, and then we use Tao and Vu's replacement principle and the Bauer-Fike theorem to show that the partly derandomized spectrum is, in fact, very close to the original spectrum.


title: Imposing jump conditions on nonconforming interfaces for the Correction Function Method: a least squares approach

abstract: We introduce a technique that simplifies the problem of imposing jump conditions on interfaces that are not aligned with a computational grid in the context of the Correction Function Method (CFM). The CFM offers a general framework to solve Poisson's equation in the presence of discontinuities to high order of accuracy, while using a compact discretization stencil. A key concept behind the CFM is enforcing the jump conditions in a least squares sense. This concept requires computing integrals over sections of the interface, which is a challenge in 3-D when only an implicit representation of the interface is available (e.g., the zero contour of a level set function). The technique introduced here is based on a new formulation of the least squares procedure that relies only on integrals over domains that are amenable to simple quadrature after local coordinate transformations. We incorporate this technique into a fourth order accurate implementation of the CFM, and show examples of solutions to Poisson's equation computed in 2-D and 3-D.


title: Synergy in the Knowledge Base of U.S. Innovation Systems at National, State, and Regional Levels: The Contributions of High-Tech Manufacturing and Knowledge-Intensive Services

abstract: Using information theory, we measure innovation systemness as synergy among size-classes, zip-codes, and technological classes (NACE-codes) for 8.5 million American companies. The synergy at the national level is decomposed at the level of states, Core-Based Statistical Areas (CBSA), and Combined Statistical Areas (CSA). We zoom in to the state of California and in more detail to Silicon Valley. Our results do not support the assumption of a national system of innovations in the U.S.A. Innovation systems appear to operate at the level of the states; the CBSA are too small, so that systemness spills across their borders. Decomposition of the sample in terms of high-tech manufacturing (HTM), medium-high-tech manufacturing (MHTM), knowledge-intensive services (KIS), and high-tech services (HTKIS) does not change this pattern, but refines it. The East Coast -- New Jersey, Boston, and New York -- and California are the major players, with Texas a third one in the case of HTKIS. Chicago and industrial centers in the Midwest also contribute synergy. Within California, Los Angeles contributes synergy in the sectors of manufacturing, the San Francisco area in KIS. Knowledge-intensive services in Silicon Valley and the Bay area -- a CSA composed of seven CBSA -- spill over to other regions and even globally.


title: Rate-Splitting Multiple Access for Downlink Communication Systems: Bridging, Generalizing and Outperforming SDMA and NOMA

abstract: Space-Division Multiple Access (SDMA) utilizes linear precoding to separate users in the spatial domain and relies on fully treating any residual multi-user interference as noise. Non-Orthogonal Multiple Access (NOMA) uses linearly precoded superposition coding with successive interference cancellation (SIC) and relies on user grouping and ordering to enforce some users to fully decode and cancel interference created by other users. In this paper, we argue that to efficiently cope with the high throughput, heterogeneity of Quality-of-Service (QoS), and massive connectivity requirements of future multi-antenna wireless networks, multiple access design needs to depart from SDMA and NOMA. We develop a novel multiple access framework, called Rate-Splitting Multiple Access (RSMA). RSMA is a more general and powerful multiple access for downlink multi-antenna systems that contains SDMA and NOMA as special cases. RSMA relies on linearly precoded rate-splitting with SIC to decode part of the interference and treat the remaining part of the interference as noise. This capability of RSMA to partially decode interference and partially treat interference as noise enables to softly bridge the two extremes of fully decoding interference and treating interference as noise, and provide room for rate and QoS enhancements, and complexity reduction. The three multiple access schemes are compared and extensive numerical results show that RSMA provides a smooth transition between SDMA and NOMA and outperforms them both in a wide range of network loads (underloaded and overloaded regimes) and user deployments (with a diversity of channel directions, channel strengths and qualities of Channel State Information at the Transmitter). Moreover, RSMA provides rate and QoS enhancements over NOMA at a lower computational complexity for the transmit scheduler and the receivers (number of SIC layers).


title: Simulating the deep decarbonisation of residential heating for limiting global warming to 1.5C

abstract: Whole-economy scenarios for limiting global warming to 1.5C suggest that direct carbon emissions in the buildings sector should decrease to almost zero by 2050, but leave unanswered the question how this could be achieved by real-world policies. We take a modelling-based approach for simulating which policy measures could induce an almost-complete decarbonisation of residential heating, the by far largest source of direct emissions in residential buildings. Under which assumptions is it possible, and how long would it take? Policy effectiveness highly depends on behavioural decision- making by households, especially in a context of deep decarbonisation and rapid transformation. We therefore use the non-equilibrium bottom-up model FTT:Heat to simulate policies for a transition towards low-carbon heating in a context of inertia and bounded rationality, focusing on the uptake of heating technologies. Results indicate that the near-zero decarbonisation is achievable by 2050, but requires substantial policy efforts. Policy mixes are projected to be more effective and robust for driving the market of efficient low-carbon technologies, compared to the reliance on a carbon tax as the only policy instrument. In combination with subsidies for renewables, near-complete decarbonisation could be achieved with a residential carbon tax of 50-200Euro/tCO2. The policy-induced technology transition would increase average heating costs faced by households initially, but could also lead to cost reductions in most world regions in the medium term. Model projections illustrate the uncertainty that is attached to household behaviour for prematurely replacing heating systems.


title: Statistical Significance and Effect Sizes of Differences among Research Universities at the Level of Nations and Worldwide based on the Leiden Rankings

abstract: The Leiden Rankings can be used for grouping research universities by considering universities which are not statistically significantly different as homogeneous sets. The groups and intergroup relations can be analyzed and visualized using tools from network analysis. Using the so-called "excellence indicator" PPtop-10%--the proportion of the top-10% most-highly-cited papers assigned to a university--we pursue a classification using (i) overlapping stability intervals, (ii) statistical-significance tests, and (iii) effect sizes of differences among 902 universities in 54 countries; we focus on the UK, Germany, Brazil, and the USA as national examples. Although the groupings remain largely the same using different statistical significance levels or overlapping stability intervals, these classifications are uncorrelated with those based on effect sizes. Effect sizes for the differences between universities are small (w <.2). The more detailed analysis of universities at the country level suggests that distinctions beyond three or perhaps four groups of universities (high, middle, low) may not be meaningful. Given similar institutional incentives, isomorphism within each eco-system of universities should not be underestimated. Our results suggest that networks based on overlapping stability intervals can provide a first impression of the relevant groupings among universities. However, the clusters are not well-defined divisions between groups of universities.


title: Quantitative Analysis of DoS Attacks and Client Puzzles in IoT Systems

abstract: Denial of Service (DoS) attacks constitute a major security threat to today's Internet. This challenge is especially pertinent to the Internet of Things (IoT) as devices have less computing power, memory and security mechanisms to mitigate DoS attacks. This paper presents a model that mimics the unique characteristics of a network of IoT devices, including components of the system implementing `Crypto Puzzles' - a DoS mitigation technique. We created an imitation of a DoS attack on the system, and conducted a quantitative analysis to simulate the impact such an attack may potentially exert upon the system, assessing the trade off between security and throughput in the IoT system. We model this through stochastic model checking in PRISM and provide evidence that supports this as a valuable method to compare the efficiency of different implementations of IoT systems, exemplified by a case study.


title: On the first restricted cohomology of a reductive Lie algebra and its Borel subalgebras

abstract: Let k be an algebraically closed field of characteristic p>0 and let G be a connected reductive group over k. Let B be a Borel subgroup of G and let g and b be the Lie algebras of G and B. Denote the first Frobenius kernels of G and B by G_1 and B_1. Furthermore, denote the algebras of polynomial functions on G and g by k[G] and k[g], and similar for B and b. The group G acts on k[G] via the conjugation action and on k[g] via the adjoint action. Similarly, B acts on k[B] via the conjugation action and on k[b] via the adjoint action. We show that, under certain mild assumptions, the cohomology groups H^1(G_1,k[g]), H^1(B_1,k[b]), H^1(G_1,k[G]) and H^1(B_1,k[B]) are zero. We also extend all our results to the cohomology for the higher Frobenius kernels.


title: A new class of bell-shaped functions

abstract: We provide a large class of functions $f$ that are bell-shaped: the $n$-th derivative of $f$ changes its sign exactly $n$ times. This class is described by means of Stieltjes-type representation of the logarithm of the Fourier transform of $f$, and it contains all previously known examples of bell-shaped functions, as well as extended generalised gamma convolutions, including all density functions of stable distributions. The proof involves representation of $f$ as the convolution of a P\'olya frequency function and a function which is absolutely monotone on $(-\infty, 0)$ and completely monotone on $(0, \infty)$. In the final part we disprove three plausible generalisations of our result.


title: An E11 invariant gauge fixing

abstract: We consider the non-linear realisation of the semi-direct product of E11 and its vector representation which leads to a spacetime with tangent group that is the Cartan involution invariant subalgera of E11. We give an alternative derivation of the invariant tangent space metric that this space-time possesses and compute this metric at low levels in eleven, five and four dimensions. We show that one can gauge fix the non-linear realisation in an E11 invariant manner.


title: Star network synchronization led by strong coupling-induced frequency squeezing

abstract: We consider a star network consisting of N oscillators coupled to a central one which in turn is coupled to an infinite set of oscillators (reservoir), which makes it leaking. Two of the N + 1 normal modes are dissipating, while the remaining N - 1 lie in a frequency range which is more and more squeezed as the coupling strengths increase, which realizes synchronization of the single parts of the system.


title: Respiratory and cardiac monitoring at night using a wrist wearable optical system

abstract: Sleep monitoring provides valuable insights into the general health of an individual and helps in the diagnostic of sleep-derived illnesses. Polysomnography, is considered the gold standard for such task. However, it is very unwieldy and therefore not suitable for long-term analysis. Here, we present a non-intrusive wearable system that, by using photoplethysmography, it can estimate beat-to-beat intervals, pulse rate, and breathing rate reliably during the night. The performance of the proposed approach was evaluated empirically in the Department of Psychology at the University of Fribourg. Each participant was wearing two smart-bracelets from Ava as well as a complete polysomnographic setup as reference. The resulting mean absolute errors are 17.4 ms (MAPE 1.8%) for the beat-to-beat intervals, 0.13 beats-per-minute (MAPE 0.20%) for the pulse rate, and 0.9 breaths-per-minute (MAPE 6.7%) for the breath rate.


title: Named Entity Recognition in Twitter using Images and Text

abstract: Named Entity Recognition (NER) is an important subtask of information extraction that seeks to locate and recognise named entities. Despite recent achievements, we still face limitations with correctly detecting and classifying entities, prominently in short and noisy text, such as Twitter. An important negative aspect in most of NER approaches is the high dependency on hand-crafted features and domain-specific knowledge, necessary to achieve state-of-the-art results. Thus, devising models to deal with such linguistically complex contexts is still challenging. In this paper, we propose a novel multi-level architecture that does not rely on any specific linguistic resource or encoded rule. Unlike traditional approaches, we use features extracted from images and text to classify named entities. Experimental tests against state-of-the-art NER for Twitter on the Ritter dataset present competitive results (0.59 F-measure), indicating that this approach may lead towards better NER models.


title: Probabilistic Count Matrix Factorization for Single Cell Expression Data Analysis

abstract: The development of high throughput single-cell sequencing technologies now allows the investigation of the population level diversity of cellular transcriptomes. This diversity has shown two faces. First, the expression dynamics (gene to gene variability) can be quantified more accurately, thanks to the measurement of lowly-expressed genes. Second, the cell-to-cell variability is high, with a low proportion of cells expressing the same gene at the same time/level. Those emerging patterns appear to be very challenging from the statistical point of view, especially to represent and to provide a summarized view of single-cell expression data. PCA is one of the most powerful framework to provide a suitable representation of high dimensional datasets, by searching for latent directions catching the most variability in the data. Unfortunately, classical PCA is based on Euclidean distances and projections that work poorly in presence of over-dispersed counts that show drop-out events (zero-inflation) like single-cell expression data We propose a probabilistic Count Matrix Factorization (pCMF) approach for single-cell expression data analysis, that relies on a sparse Gamma-Poisson factor model. This hierarchical model is inferred using a variational EM algorithm. It is able to jointly build a low dimensional representation of cells and genes. We show how this probabilistic framework induces a geometry that is suitable for single-cell data visualization, and produces a compression of the data that is very powerful for clustering purposes. Our method is competed against other standard representation methods like t-SNE, and we illustrate its performance for the representation of single-cell data. We especially focus on publicly available single-cell RNA-seq datasets.


title: Stochastic gradient descent performs variational inference, converges to limit cycles for deep networks

abstract: Stochastic gradient descent (SGD) is widely believed to perform implicit regularization when used to train deep neural networks, but the precise manner in which this occurs has thus far been elusive. We prove that SGD minimizes an average potential over the posterior distribution of weights along with an entropic regularization term. This potential is however not the original loss function in general. So SGD does perform variational inference, but for a different loss than the one used to compute the gradients. Even more surprisingly, SGD does not even converge in the classical sense: we show that the most likely trajectories of SGD for deep networks do not behave like Brownian motion around critical points. Instead, they resemble closed loops with deterministic components. We prove that such "out-of-equilibrium" behavior is a consequence of highly non-isotropic gradient noise in SGD; the covariance matrix of mini-batch gradients for deep networks has a rank as small as 1% of its dimension. We provide extensive empirical validation of these claims, proven in the appendix.

categories: cs.LG cond-mat.stat-mech math.OC stat.ML


title: dart_board: Binary Population Synthesis with Markov Chain Monte Carlo

abstract: By employing Monte Carlo random sampling, traditional binary population synthesis (BPS) offers a substantial improvement in efficiency over brute force, grid-based studies. Even so, BPS models typically require a large number of simulation realizations, a computationally expensive endeavor, to generate statistically robust results. Recent advances in statistical methods have led us to revisit the traditional approach to BPS. In this work we describe our publicly available code dart_board which combines rapid binary evolution codes, typically used in traditional BPS, with modern Markov chain Monte Carlo methods. dart_board takes a novel approach that treats the initial binary parameters and the supernova kick vector as model parameters. This formulation has several advantages, including the ability to model either populations of systems or individual binaries, the natural inclusion of observational uncertainties, and the flexible addition of new constraints which are problematic to include using traditional BPS. After testing our code with mock systems, we demonstrate the flexibility of dart_board by applying it to three examples: (i) a generic population of high mass X-ray binaries (HMXBs), (ii) the population of HMXBs in the Large Magellanic Cloud (LMC) in which the spatially resolved star formation history is used as a prior, and (iii) one particular HMXB in the LMC, Swift J0513.4-6547, in which we include observations of the system's component masses and orbital period. Although this work focuses on HMXBs, dart_board can be applied to a variety of stellar binaries including the recent detections by gravitational wave observatories of merging compact object binaries.


title: E11 and the non-linear dual graviton

abstract: The non-linear duality relation between the gravity and dual gravity fields are found in E theory by carrying out $E_{11}$ variations of previously found duality relations. We also find the dual graviton equation of motion up to the addition of some very specific terms whose coefficients are not determined. Using the calculations in this paper this ambiguity was resolved in reference [15] where the full non-linear dual gravity equation was found. As a result the equations of motion in E theory have now been found at the full non-linear level up to, and including, level three, which contains the dual graviton field. When truncated to contain fields at levels three and less, and the spacetime is restricted to be the familiar eleven dimensional space time, the equations are equivalent to those of eleven dimensional supergravity.


title: Extraction efficiency of drifting electrons in a two-phase xenon time projection chamber

abstract: We present a measurement of the extraction efficiency of quasi-free electrons from the liquid into the gas phase in a two-phase xenon time-projection chamber. The measurements span a range of electric fields from 2.4 to 7.1 kV/cm in the liquid xenon, corresponding to 4.5 to 13.1 kV/cm in the gaseous xenon. Extraction efficiency continues to increase at the highest extraction fields, implying that additional charge signal may be attained in two-phase xenon detectors through careful high-voltage engineering of the gate-anode region.


title: Descent polynomials

abstract: Let $n$ be a nonnegative integer and $I$ be a finite set of positive integers. In 1915, MacMahon proved that the number of permutations in the symmetric group $\mathfrak{S}_n$ with descent set $I$ is a polynomial in $n$. We call this the descent polynomial. However, basic properties of these polynomials such as a description of their coefficients and roots do not seem to have been studied in the literature. Much more recently, in 2013, Billey, Burdzy, and Sagan showed that the number of elements of $\mathfrak{S}_n$ with peak set $I$ is a polynomial in $n$ times a certain power of two. Since then, there have been a flurry of papers investigating properties of this peak polynomial. The purpose of the present paper is to study the descent polynomial. We will see that it displays some interesting parallels with its peak relative. Conjectures and questions for future research are scattered throughout.


title: Classification of Engel Knots

abstract: For any Engel 4-fold, we show that the scanning map from the space of Engel knots to the space of formal Engel knots is a weak homotopy equivalence when restricted to the complement of the orbits of the Engel kernel. This is a relative, parametric and close h-principle.


title: Machine Translation of Low-Resource Spoken Dialects: Strategies for Normalizing Swiss German

abstract: The goal of this work is to design a machine translation (MT) system for a low-resource family of dialects, collectively known as Swiss German, which are widely spoken in Switzerland but seldom written. We collected a significant number of parallel written resources to start with, up to a total of about 60k words. Moreover, we identified several other promising data sources for Swiss German. Then, we designed and compared three strategies for normalizing Swiss German input in order to address the regional diversity. We found that character-based neural MT was the best solution for text normalization. In combination with phrase-based statistical MT, our solution reached 36% BLEU score when translating from the Bernese dialect. This value, however, decreases as the testing data becomes more remote from the training one, geographically and topically. These resources and normalization techniques are a first step towards full MT of Swiss German dialects.


title: How to estimate the 3D power spectrum of the Lyman-$\alpha$ forest

abstract: We derive and numerically implement an algorithm for estimating the 3D power spectrum of the Lyman-$\alpha$ (Ly-$\alpha$) forest flux fluctuations. The algorithm exploits the unique geometry of Ly-$\alpha$ forest data to efficiently measure the cross-spectrum between lines of sight as a function of parallel wavenumber, transverse separation and redshift. The key to fast evaluation is to approximate the global covariance matrix as block-diagonal, where only pixels from the same spectrum are correlated. We then compute the eigenvectors of the derivative of the signal covariance with respect to cross-spectrum parameters, and project the inverse-covariance-weighted spectra onto them. This acts much like a radial Fourier transform over redshift windows. The resulting cross-spectrum inference is then converted into our final product, an approximation of the likelihood for the 3D power spectrum expressed as second order Taylor expansion around a fiducial model. We demonstrate the accuracy and scalability of the algorithm and comment on possible extensions. Our algorithm will allow efficient analysis of the upcoming Dark Energy Spectroscopic Instrument dataset.


title: Phase boundaries in alternating field quantum XY model with Dzyaloshinskii-Moriya interaction: Sustainable entanglement in dynamics

abstract: We report all phases and corresponding critical lines of the quantum anisotropic transverse XY model with Dzyaloshinskii-Moriya (DM) interaction along with uniform and alternating transverse magnetic fields (ATXY) by using appropriately chosen order parameters. We prove that when DM interaction is weaker than the anisotropy parameter, it has no effect at all on the zero-temperature states of the XY model with uniform transverse magnetic field which is not the case for the ATXY model. However, when DM interaction is stronger than the anisotropy parameter, we show appearance of a new gapless phase - a chiral phase - in the XY model with uniform as well as alternating field. We further report that first derivatives of nearest neighbor two-site entanglement with respect to magnetic fields can detect all the critical lines present in the system. We also observe that the factorization surface at zero-temperature present in this model without DM interaction becomes a volume on the introduction of the later. We find that DM interaction can generate bipartite entanglement sustainable at large times, leading to a proof of ergodic nature of bipartite entanglement in this system, and can induce a transition from non-monotonicity of entanglement with temperature to a monotonic one.


title: Future cosmic microwave background delensing with galaxy surveys

abstract: The primordial B-modes component of the cosmic microwave background (CMB) polarization is a promising experimental dataset to probe the inflationary paradigm. B-modes are indeed a direct consequence of the presence of gravitational waves in the early universe. However, several secondary effects in the low redshift universe will produce \textit{non-primordial} B-modes. In particular, the gravitational interactions of CMB photons with large-scale structures will distort the primordial E-modes, adding a lensing B-mode component to the primordial signal. Removing the lensing component ("delensing") will then be necessary to constrain the amplitude of the primordial gravitational waves. Here we examine the role of current and future large-scale structure surveys in a multi-tracers approach to CMB delensing. We find that, in general, galaxy surveys should be split into tomographic bins as this can increase the reduction of lensing B-modes by $\sim 25\%$ in power in the most futuristic case. Ongoing or recently completed CMB experiments (CMB-S2) will particularly benefit from large-scale structure tracers that, once properly combined, will have a better performance than a CMB internal reconstruction. With the decrease of instrumental noise, the lensing B-modes power removed using CMB internal reconstruction alone will rapidly increase. Nevertheless, optical galaxy surveys will still play an important role even for CMB S4. In particular, an LSST-like survey can a achieve a delensing performance comparable to a 3G CMB experiment but with entirely different systematics. This redundancy will be essential to demonstrate the robustness against systematics of an eventual detection of primordial B-modes.


title: Data Science: A Powerful Catalyst for Cross-Sector Collaborations to Transform the Future of Global Health - Developing a New Interactive Relational Mapping Tool

abstract: The increasingly complex and rapidly changing global health and socio-economic landscape requires fundamentally new ways of thinking, acting and collaborating to solve growing systems challenges. Cross-sectoral collaborations between governments, businesses, international organizations, private investors, academia and non-profits are essential for lasting success in achieving the Sustainable Development Goals (SDGs), and securing a prosperous future for the health and wellbeing of all people. Our aim is to use data science and innovative technologies to map diverse stakeholders and their initiatives around SDGs and specific health targets - with particular focus on SDG 3 (Good Health & Well Being) and SDG 17 (Partnerships for the Goals) - to accelerate cross-sector collaborations. Initially, the mapping tool focuses on Geneva, Switzerland as the world center of global health diplomacy with over 80 key stakeholders and influencers present. As we develop the next level pilot, we aim to build on users' interests, with a potential focus on non-communicable diseases (NCDs) as one of the emerging and most pressing global health issues that requires new collaborative approaches. Building on this pilot, we can later expand beyond only SDG 3 to other SDGs.


title: How Should a Robot Assess Risk? Towards an Axiomatic Theory of Risk in Robotics

abstract: Endowing robots with the capability of assessing risk and making risk-aware decisions is widely considered a key step toward ensuring safety for robots operating under uncertainty. But, how should a robot quantify risk? A natural and common approach is to consider the framework whereby costs are assigned to stochastic outcomes - an assignment captured by a cost random variable. Quantifying risk then corresponds to evaluating a risk metric, i.e., a mapping from the cost random variable to a real number. Yet, the question of what constitutes a "good" risk metric has received little attention within the robotics community. The goal of this paper is to explore and partially address this question by advocating axioms that risk metrics in robotics applications should satisfy in order to be employed as rational assessments of risk. We discuss general representation theorems that precisely characterize the class of metrics that satisfy these axioms (referred to as distortion risk metrics), and provide instantiations that can be used in applications. We further discuss pitfalls of commonly used risk metrics in robotics, and discuss additional properties that one must consider in sequential decision making tasks. Our hope is that the ideas presented here will lead to a foundational framework for quantifying risk (and hence safety) in robotics applications.


title: Unsupervised Neural Machine Translation

abstract: In spite of the recent success of neural machine translation (NMT) in standard benchmarks, the lack of large parallel corpora poses a major practical problem for many language pairs. There have been several proposals to alleviate this issue with, for instance, triangulation and semi-supervised learning techniques, but they still require a strong cross-lingual signal. In this work, we completely remove the need of parallel data and propose a novel method to train an NMT system in a completely unsupervised manner, relying on nothing but monolingual corpora. Our model builds upon the recent work on unsupervised embedding mappings, and consists of a slightly modified attentional encoder-decoder model that can be trained on monolingual corpora alone using a combination of denoising and backtranslation. Despite the simplicity of the approach, our system obtains 15.56 and 10.21 BLEU points in WMT 2014 French-to-English and German-to-English translation. The model can also profit from small parallel corpora, and attains 21.81 and 15.24 points when combined with 100,000 parallel sentences, respectively. Our implementation is released as an open source project.


title: Continuous-variable geometric phase and its manipulation for quantum computation in a superconducting circuit

abstract: Geometric phase, associated with holonomy transformation in quantum state space, is an important quantum-mechanical effect. Besides fundamental interest, this effect has practical applications, among which geometric quantum computation is a paradigm, where quantum logic operations are realized through geometric phase manipulation that has some intrinsic noise-resilient advantages and may enable simplified implementation of multiqubit gates compared to the dynamical approach. Here we report observation of a continuous-variable geometric phase and demonstrate a quantum gate protocol based on this phase in a superconducting circuit, where five qubits are controllably coupled to a resonator. Our geometric approach allows for one-step implementation of $n$-qubit controlled-phase gates, which represents a remarkable advantage compared to gate decomposition methods, where the number of required steps dramatically increases with $n$. Following this approach, we realize these gates with $n$ up to 4, verifying the high efficiency of this geometric manipulation for quantum computation.


title: Isolation and connectivity in random geometric graphs with self-similar intensity measures

abstract: Random geometric graphs consist of randomly distributed nodes (points), with pairs of nodes within a given mutual distance linked. In the usual model the distribution of nodes is uniform on a square, and in the limit of infinitely many nodes and shrinking linking range, the number of isolated nodes is Poisson distributed, and the probability of no isolated nodes is equal to the probability the whole graph is connected. Here we examine these properties for several self-similar node distributions, including smooth and fractal, uniform and nonuniform, and finitely ramified or otherwise. We show that nonuniformity can break the Poisson distribution property, but it strengthens the link between isolation and connectivity. It also stretches out the connectivity transition. Finite ramification is another mechanism for lack of connectivity. The same considerations apply to fractal distributions as smooth, with some technical differences in evaluation of the integrals and analytical arguments.


title: Trends in European flood risk over the past 150 years

abstract: Flood risk changes in time and is influenced by both natural and socio-economic trends and interactions. In Europe, previous studies of historical flood losses corrected for demographic and economic growth ("normalized") have been limited in temporal and spatial extent, leading to an incomplete representation in trends of losses over time. In this study we utilize a gridded reconstruction of flood exposure in 37 European countries and a new database of damaging floods since 1870. Our results indicate that since 1870 there has been an increase in annually inundated area and number of persons affected, contrasted by a substantial decrease in flood fatalities, after correcting for change in flood exposure. For more recent decades we also found a considerable decline in financial losses per year. We estimate, however, that there is large underreporting of smaller floods beyond most recent years, and show that underreporting has a substantial impact on observed trends.


title: Some thoughts on constructing a microscopic theory with holographic degrees of freedom

abstract: Holographic principle states that the maximum entropy of a system is its boundary area in Planck units. However, such a holographic entropy cannot be realized by the conventional quantum field theory. We need a new microscopic theory which naturally possesses all the holographic degrees of freedom. In this paper, we provide some preliminary thoughts on how to construct a theory with holographic degrees of freedom. It may shed light on the understanding of quantum properties of gravity and the early stage of the universe.


title: Measuring the Impact of Urban Street Trees on Air Quality and Respiratory Illness

abstract: New streams of data enable us to associate physical objects with rich multi-dimensional data on the urban environment. This study presents how open data integration can contribute to deeper insights into urban ecology. We analyze street trees in New York City (NYC) with cross-domain data integration methods by combining crowd-sourced tree census data - which includes geolocation, species, size, and condition of each street tree - with pollen activity and allergen severity, neighborhood demographics, and spatial-temporal data on tree condition from NYC 311 complaints. We further integrate historical data on neighborhood asthma hospitalization rates by Zip Code and in-situ air quality monitoring data (PM 2.5) to investigate how street trees impact local air quality and the prevalence of respiratory illnesses. The results indicate although the number of trees contributes to better air quality, species with severe allergens may increase local asthma hospitalization rates in vulnerable populations.


title: Hiding in plain sight: insights about health-care trends gained through open health data

abstract: The open data movement constitutes an approach to achieving accountability for government organizations, and is aligned with one of the sustainable development goals outlined by the United Nations. In the area of health care, government agencies at the Federal and State levels have released open health data consisting of de-identified patient outcomes, costs and ratings. We have applied big data analytics to understand patterns and trends in open health data. We envision the use of this data by concerned citizens to understand both national and local trends in health expenditures. We have built an open-source tool, BOAT (Big Data Open Source Analytics Tool, https://github.com/fdudatamining) to facilitate analytical exploration of open health data sets. We used BOAT to analyze data from the New York Statewide Planning and Research Cooperative System and determined that there has been a significant increase (40 percent) in the incidences of mental health issues amongst adolescents from 2009-2014. Using BOAT we analyzed costs for hip replacement surgery for 168,676 patients is in New York State, and showed that 88% of these patients had surgery costs of less than \$30,000. This figure provides a basis to understand the decision by The California Public Employees' Retirement System to cap hip replacement reimbursements at $30,000, resulting in significant savings. Our tool could enable researchers, hospitals, insurers and citizens to obtain an unbiased view on health-care expenditures, costs and emerging trends. Our tool is especially valuable in the current economic environment, where a significant amount of reporting is controlled by special interests groups and lobbies.


title: Demographics in Social Media Data for Public Health Research: Does it matter?

abstract: Social media data provides propitious opportunities for public health research. However, studies suggest that disparities may exist in the representation of certain populations (e.g., people of lower socioeconomic status). To quantify and address these disparities in population representation, we need demographic information, which is usually missing from most social media platforms. Here, we propose an ensemble approach for inferring demographics from social media data. Several methods have been proposed for inferring demographic attributes such as, age, gender and race/ethnicity. However, most of these methods require large volumes of data, which makes their application to large scale studies challenging. We develop a scalable approach that relies only on user names to predict gender. We develop three separate classifiers trained on data containing the gender labels of 7,953 Twitter users from Kaggle.com. Next, we combine predictions from the individual classifiers using a stacked generalization technique and apply the ensemble classifier to a dataset of 36,085 geotagged foodborne illness related tweets from the United States. Our ensemble approach achieves an accuracy, precision, recall, and F1 score of 0.828, 0.851, 0.852 and 0.837, respectively, higher than the individual machine learning approaches. The ensemble classifier also covers any user with an alphanumeric name, while the data matching approach, which achieves an accuracy of 0.917, only covers 67% of users. Application of our method to reports of foodborne illness in the United States highlights disparities in tweeting by gender and shows that counties with a high volume of foodborne-illness related tweets are heavily overrepresented by female Twitter users.


title: Instantaneous Bethe-Salpeter Look at the Lightest Pseudoscalar Mesons

abstract: Within our description of Goldstone-type pseudoscalar mesons as almost massless bound states of quark and antiquark by a three-dimensional bound-state equation of Bethe-Salpeter origin, taking into account the pointwise behaviour of the full light-quark propagators enables to characterize the effective interquark interactions more precisely than earlier studies exploiting just specific aspects.


title: Turbulence strength in ultimate Taylor-Couette turbulence

abstract: We provide experimental measurements for the effective scaling of the Taylor-Reynolds number within the bulk $\text{Re}_{\lambda,\text{bulk}}$, based on local flow quantities as a function of the driving strength (expressed as the Taylor number Ta), in the ultimate regime of Taylor-Couette flow. The data are obtained through flow velocity field measurements using Particle Image Velocimetry (PIV). We estimate the value of the local dissipation rate $\epsilon(r)$ using the scaling of the second order velocity structure functions in the longitudinal and transverse direction within the inertial range---without invoking Taylor's hypothesis. We find an effective scaling of $\epsilon_{\text{bulk}} /(\nu^{3}d^{-4})\sim \text{Ta}^{1.40}$, (corresponding to $\text{Nu}_{\omega,\text{bulk}} \sim \text{Ta}^{0.40}$ for the dimensionless local angular velocity transfer), which is nearly the same as for the global energy dissipation rate obtained from both torque measurements ($\text{Nu}_{\omega} \sim \text{Ta}^{0.40}$) and Direct Numerical Simulations ($\text{Nu}_{\omega} \sim \text{Ta}^{0.38}$). The resulting Kolmogorov length scale is then found to scale as $\eta_{\text{bulk}}/d \sim \text{Ta}^{-0.35}$ and the turbulence intensity as $I_{\theta,\text{bulk}} \sim \text{Ta}^{-0.061}$. With both the local dissipation rate and the local fluctuations available we finally find that the Taylor-Reynolds number effectively scales as Re$_{\lambda,\text{bulk}}\sim \text{Ta}^{0.18}$ in the present parameter regime of $4.0 \times 10^8 < \text{Ta} < 9.0 \times 10^{10}$.


title: Transition metal doped ZnS monolayer: The first principles insights

abstract: Structural and electronic properties of pristine and transition metal doped ZnS monolayer are investigated within the framework of density functional theory. The pristine ZnS monolayer is showing direct band gap of about 2.8 eV. The investigated transition metal doping showed the transition from non-magnetic semiconductor to a magnetic system e.g. magnetic semiconductor for Co doped ZnS and half metal for Ni doped ZnS monolayers. The Co doped ZnS monolayer showed higher formation energy, confirming the strong bonding than that of Ni doped ZnS monolayer. The electron difference density shows the charge sharing between transition metal (Ni and Co) and S, confirming the covalent bond formation.


title: A Connection between Feed-Forward Neural Networks and Probabilistic Graphical Models

abstract: Two of the most popular modelling paradigms in computer vision are feed-forward neural networks (FFNs) and probabilistic graphical models (GMs). Various connections between the two have been studied in recent works, such as e.g. expressing mean-field based inference in a GM as an FFN. This paper establishes a new connection between FFNs and GMs. Our key observation is that any FFN implements a certain approximation of a corresponding Bayesian network (BN). We characterize various benefits of having this connection. In particular, it results in a new learning algorithm for BNs. We validate the proposed methods for a classification problem on CIFAR-10 dataset and for binary image segmentation on Weizmann Horse dataset. We show that statistically learned BNs improve performance, having at the same time essentially better generalization capability, than their FFN counterparts.


title: On the dimension and smoothness of radial projections

abstract: This paper contains two results on the dimension and smoothness of radial projections of sets and measures in Euclidean spaces. To introduce the first one, assume that $E,K \subset \mathbb{R}^{2}$ are non-empty Borel sets with $\dim_{\mathrm{H}} K > 0$. Does the radial projection of $K$ to some point in $E$ have positive dimension? Not necessarily: $E$ can be zero-dimensional, or $E$ and $K$ can lie on a common line. I prove that these are the only obstructions: if $\dim_{\mathrm{H}} E > 0$, and $E$ does not lie on a line, then there exists a point in $x \in E$ such that the radial projection $\pi_{x}(K)$ has Hausdorff dimension at least $(\dim_{\mathrm{H}} K)/2$. Applying the result with $E = K$ gives the following corollary: if $K \subset \mathbb{R}^{2}$ is Borel set, which does not lie on a line, then the set of directions spanned by $K$ has Hausdorff dimension at least $(\dim_{\mathrm{H}} K)/2$. For the second result, let $d \geq 2$ and $d - 1 < s < d$. Let $\mu$ be a compactly supported Radon measure in $\mathbb{R}^{d}$ with finite $s$-energy. I prove that the radial projections of $\mu$ are absolutely continuous with respect to $\mathcal{H}^{d - 1}$ for every centre in $\mathbb{R}^{d} \setminus \operatorname{spt} \mu$, outside an exceptional set of dimension at most $2(d - 1) - s$. In fact, for $x$ outside an exceptional set as above, the proof shows that $\pi_{x\sharp}\mu \in L^{p}(S^{d - 1})$ for some $p > 1$. The dimension bound on the exceptional set is sharp.


title: Semantic Code Repair using Neuro-Symbolic Transformation Networks

abstract: We study the problem of semantic code repair, which can be broadly defined as automatically fixing non-syntactic bugs in source code. The majority of past work in semantic code repair assumed access to unit tests against which candidate repairs could be validated. In contrast, the goal here is to develop a strong statistical model to accurately predict both bug locations and exact fixes without access to information about the intended correct behavior of the program. Achieving such a goal requires a robust contextual repair model, which we train on a large corpus of real-world source code that has been augmented with synthetically injected bugs. Our framework adopts a two-stage approach where first a large set of repair candidates are generated by rule-based processors, and then these candidates are scored by a statistical model using a novel neural network architecture which we refer to as Share, Specialize, and Compete. Specifically, the architecture (1) generates a shared encoding of the source code using an RNN over the abstract syntax tree, (2) scores each candidate repair using specialized network modules, and (3) then normalizes these scores together so they can compete against one another in comparable probability space. We evaluate our model on a real-world test set gathered from GitHub containing four common categories of bugs. Our model is able to predict the exact correct repair 41\% of the time with a single guess, compared to 13\% accuracy for an attentional sequence-to-sequence model.


title: Using Social Network Analysis on classroom video data

abstract: We propose a novel application of Social Network Analysis (SNA) using classroom video data as a means of quantitatively and visually exploring the collaborations between students. The context for our study was a summer program that works with first generation students and deaf/hard-of-hearing students to engage in authentic science practice and develop a supportive community. We applied SNA to data from one activity during the two-week program to test our approach and as a means to begin to assess whether the goals of the program are being met. We used SNA to identify groups that were interacting in unexpected ways and then to highlight how individuals were contributing to the overall group behavior. We plan to expand our new use of SNA to video data on a larger scale.


title: Noise-tolerant quantum speedups in quantum annealing without fine tuning

abstract: Quantum annealing is a powerful alternative model for quantum computing, which can succeed in the presence of environmental noise even without error correction. However, despite great effort, no conclusive proof of a quantum speedup (relative to state of the art classical algorithms) has been shown for these systems, and rigorous theoretical proofs of a quantum advantage generally rely on exponential precision in at least some aspects of the system, an unphysical resource guaranteed to be scrambled by random noise. In this work, we propose a new variant of quantum annealing, called RFQA, which can maintain a scalable quantum speedup in the face of noise and modest control precision. Specifically, we consider a modification of flux qubit-based quantum annealing which includes random, but coherent, low-frequency oscillations in the directions of the transverse field terms as the system evolves. We show that this method produces a quantum speedup for finding ground states in the Grover problem and quantum random energy model, and thus should be widely applicable to other hard optimization problems which can be formulated as quantum spin glasses. Further, we show that this speedup should be resilient to two realistic noise channels ($1/f$-like local potential fluctuations and local heating from interaction with a finite temperature bath), and that another noise channel, bath-assisted quantum phase transitions, actually accelerates the algorithm and may outweigh the negative effects of the others. The modifications we consider have a straightforward experimental implementation and could be explored with current technology.


title: Techreport: Time-sensitive probabilistic inference for the edge

abstract: In recent years the two trends of edge computing and artificial intelligence became both crucial for information processing infrastructures. While the centralized analysis of massive amounts of data seems to be at odds with computation on the outer edge of distributed systems, we explore the properties of eventually consistent systems and statistics to identify sound formalisms for probabilistic inference on the edge. In particular we treat time itself as a random variable that we incorporate into statistical models through probabilistic programming.


title: Three-dimensional image reconstruction in J-PET using Filtered Back Projection method

abstract: We present a method and preliminary results of the image reconstruction in the Jagiellonian PET tomograph. Using GATE (Geant4 Application for Tomographic Emission), interactions of the 511 keV photons with a cylindrical detector were generated. Pairs of such photons, flying back-to-back, originate from e+e- annihilations inside a 1-mm spherical source. Spatial and temporal coordinates of hits were smeared using experimental resolutions of the detector. We incorporated the algorithm of the 3D Filtered Back Projection, implemented in the STIR and TomoPy software packages, which differ in approximation methods. Consistent results for the Point Spread Functions of ~5/7,mm and ~9/20, mm were obtained, using STIR, for transverse and longitudinal directions, respectively, with no time of flight information included.


title: New-Type Internal Target for Structural Ion Stripping

abstract: The search is now on for, new materials that can be used for ionic stripping. Materials that maximize the stripping of the structural ion are important for conducting experiments with quark-gluon plasma. Although this paper is a theoretical study, it offers practical application, in heavy-ion accelerators, of the new effect of collision multiplicity with high-energy ions interacting with polyatomic targets. It is shown that internal nanostructured targets in which the collision multiplicity effect is manifested can more efficiently strip out structural ions compared to standard internal targets for stripping. A target consisting of oriented nano-tubes with the $C_{240}$ chirality (10,0) is considered as an example. A comparison with the stripping process on a carbon target with the same number of misaligned atoms in a unit of volume $C$ is provided.


title: On the tuning in the $(m_h, m_t)$ plane: Standard Model criticality vs. High-scale SUSY

abstract: We analyse the predictions of both Higgs and top masses in a generic MSSM satisfying gauge-coupling unification, radiative electroweak symmetry breaking, with a natural (non-splitted) spectrum of soft-breaking terms, and an arbitrary soft-breaking scale (above a few TeV). This procedure allows us to identify a relatively narrow SUSY-allowed region in the $(m_h, m_t)$ plane. We argue that the compatibility of the measured values of Higgs and top masses with this SUSY-allowed region is not less surprising than the corresponding compatibility with the narrow SM metastability region. As such, it provides a non-trivial signal of the compatibility of present data with a supersymmetric completion of the SM.


title: On necessary conditions for the Comparison Principle and the Sub and Supersolutions Method for the stationary Kirchhoff Equation

abstract: In this paper we propose a counterexample to the validity of the Comparison Principle and of the Sub and Supersolution Method for nonlocal problems like the stationary Kirchhoff Equation. This counterexample shows that in general smooth bounded domains in any dimension, these properties cannot hold true if the nonlinear nonlocal term $M(\|u\|^2)$ is somewhere increasing with respect to the $H_0^1$-norm of the solution. Comparing with existing results, this fills a gap between known conditions on $M$ that guarantee or prevent these properties, and leads to a condition which is necessary and sufficient for the validity of the Comparison Principle.


title: Full-Duplex Non-Orthogonal Multiple Access for Modern Wireless Networks

abstract: Non-orthogonal multiple access (NOMA) is an interesting concept to provide higher capacity for future wireless communications. In this article, we consider the feasibility and benefits of combining full-duplex operation with NOMA for modern communication systems. Specifically, we provide a comprehensive overview on application of full-duplex NOMA in cellular networks, cooperative and cognitive radio networks, and characterize gains possible due to full-duplex operation. Accordingly, we discuss challenges, particularly the self-interference and inter-user interference and provide potential solutions to interference mitigation and quality-of-service provision based on beamforming, power control, and link scheduling. We further discuss future research challenges and interesting directions to pursue to bring full-duplex NOMA into maturity and use in practice.


title: Grad-CAM++: Improved Visual Explanations for Deep Convolutional Networks

abstract: Over the last decade, Convolutional Neural Network (CNN) models have been highly successful in solving complex vision problems. However, these deep models are perceived as "black box" methods considering the lack of understanding of their internal functioning. There has been a significant recent interest in developing explainable deep learning models, and this paper is an effort in this direction. Building on a recently proposed method called Grad-CAM, we propose a generalized method called Grad-CAM++ that can provide better visual explanations of CNN model predictions, in terms of better object localization as well as explaining occurrences of multiple object instances in a single image, when compared to state-of-the-art. We provide a mathematical derivation for the proposed method, which uses a weighted combination of the positive partial derivatives of the last convolutional layer feature maps with respect to a specific class score as weights to generate a visual explanation for the corresponding class label. Our extensive experiments and evaluations, both subjective and objective, on standard datasets showed that Grad-CAM++ provides promising human-interpretable visual explanations for a given CNN architecture across multiple tasks including classification, image caption generation and 3D action recognition; as well as in new settings such as knowledge distillation.


title: Asymptotic degree distributions in large (homogeneous) random networks: A little theory and a counterexample

abstract: In random graph models, the degree distribution of an individual node should be distinguished from the (empirical) degree distribution of the graph that records the fractions of nodes with given degree. We introduce a general framework to explore when these two degree distributions coincide asymptotically in large homogeneous random networks. The discussion is carried under three basic statistical assumptions on the degree sequences: (i) a weak form of distributional homogeneity; (ii) the existence of an asymptotic (nodal) degree distribution; and (iii) a weak form of asymptotic uncorrelatedness. We show that this asymptotic equality may fail in homogeneous random networks for which (i) and (ii) hold but (iii) does not. The counterexample is found in the class of random threshold graphs. An implication of this finding is that random threshold graphs cannot be used as a substitute to the Barab\'asi-Albert model for scale-free network modeling, as has been proposed by some authors. The results can also be formulated for non-homogeneous models by making use of a random sampling procedure over the nodes.


title: On Fair Reinsurance Premiums; Capital Injections in a Perturbed Risk Model

abstract: We consider a risk model where deficits after ruin are covered by a new type of reinsurance contract that provides capital injections. To allow the insurance company's survival after ruin, the reinsurer injects capital only at ruin times caused by jumps larger than a chosen retention level. Otherwise capital must be raised from the shareholders for small deficits. The problem here is to determine adequate reinsurance premiums. It seems fair to base the net reinsurance premium on the discounted expected value of any future capital injections. Inspired by the results of Huzak et al. (2004) and Ben Salah (2014) on successive ruin events, we show that an explicit formula for these reinsurance premiums exists in a setting where aggregate claims are modeled by a subordinator and a Brownian perturbation. Here ruin events are due either to Brownian oscillations or jumps and reinsurance capital injections only apply in the latter case. The results are illustrated explicitly for two specific risk models and in some numerical examples.


title: Intercalating cobalt between graphene and iridium (111): a spatially-dependent kinetics from the edges

abstract: Using low-energy electron microscopy, we image in real time the intercalation of a cobalt monolayer between graphene and the (111) surface of iridium. Our measurements reveal that the edges of a graphene flake represent an energy barrier to intercalation. Based on a simple description of the growth kinetics, we estimate this energy barrier and find small, but substantial, local variations. These local variations suggest a possible influence of the graphene orientation with respect to its substrate and of the graphene edge termination on the energy value of the barrier height. Besides, our measurements show that intercalated cobalt is energetically more favorable than cobalt on bare iridium, indicating a surfactant role of graphene.


title: Commissioning of the J-PET detector for studies of decays of positronium atoms

abstract: The Jagiellonian Positron Emission Tomograph (J-PET) is a detector for medical imaging of the whole human body as well as for physics studies involving detection of electron-positron annihilation into photons. J-PET has high angular and time resolution and allows for measurement of spin of the positronium and the momenta and polarization vectors of annihilation quanta. In this article, we present the potential of the J-PET system for background rejection in the decays of positronium atoms.


title: The degeneracy of Laplace invariants for hyperbolic systems possessing integrals

abstract: A direct generalization of Laplace invariants to the case of hyperbolic partial differential systems is considered. The proof of the following statement is given: the determinant of a Laplace invariant vanishes if the corresponding system admits an integral.


title: NGC 6705 a young $\alpha$-enhanced Open Cluster from OCCASO data

abstract: The stellar [$\alpha$/Fe] abundance is sometimes used as a proxy for stellar age, following standard chemical evolution models for the Galaxy, as seen by different observational results. In this work we show that the Open Cluster NGC6705/M11 has a significant $\alpha$-enhancement [$\alpha$/Fe]$>0.1$ dex, despite its young age ($\sim$300 Myr), challenging the current paradigm. We use high resolution (R$>65,000$) high signal-to-noise ($\sim$70) spectra of 8 Red Clump stars, acquired within the OCCASO survey. We determine very accurate chemical abundances of several $\alpha$ elements, using an equivalent width methodology (Si, Ca and Ti), and spectral synthesis fits (Mg and O). We obtain [Si/Fe]=$0.13\pm0.05$, [Mg/Fe]=$0.14\pm0.07$, [O/Fe]=$0.17\pm0.07$, [Ca/Fe]=$0.06\pm0.05$ and [Ti/Fe]=$0.03\pm0.03$. Our results place these cluster within the group of young [$\alpha$/Fe]-enhanced field stars recently found by several authors in the literature. The ages of our stars have an uncertainty of around 50 Myr, much more precise than for field stars. By integrating the cluster's orbit in several non-axisymmetric Galactic potentials, we establish the M11's most likely birth radius to lie between 6.8-7.5 kpc from the Galactic center, not far from its current position. With the robust Open Cluster age scale, our results prove that a moderate [$\alpha$/Fe]-enhancement is no guarantee for a star to be old, and that not all $\alpha$-enhanced stars can be explained with an evolved blue straggler scenario. Based on our orbit calculations, we further argue against a Galactic bar origin of M11.


title: Convergence Rates of Latent Topic Models Under Relaxed Identifiability Conditions

abstract: In this paper we study the frequentist convergence rate for the Latent Dirichlet Allocation (Blei et al., 2003) topic models. We show that the maximum likelihood estimator converges to one of the finitely many equivalent parameters in Wasserstein's distance metric at a rate of $n^{-1/4}$ without assuming separability or non-degeneracy of the underlying topics and/or the existence of more than three words per document, thus generalizing the previous works of Anandkumar et al. (2012, 2014) from an information-theoretical perspective. We also show that the $n^{-1/4}$ convergence rate is optimal in the worst case.


title: Envelope and phase distribution of a resonance transmission through a complex environment

abstract: A transmission amplitude is considered for quantum or wave transport mediated by a single resonance coupled to the background of many chaotic states. Such a model provides a useful approach to quantify fluctuations in an established signal induced by a complex environment. Applying random matrix theory to the problem, we derive an exact result for the joint distribution of the transmission intensity (envelope) and the transmission phase at arbitrary coupling to the background with finite absorption. The intensity and phase are distributed within a certain region, revealing essential correlations even at strong absorption. In the latter limit, we obtain a simple asymptotic expression that provides a uniformly good approximation of the exact distribution within its whole support, thus going beyond the Rician distribution often used for such purposes. Exact results are also derived for the marginal distribution of the phase, including its limiting forms at weak and strong absorption.

categories: cond-mat.mes-hall math-ph math.MP nucl-th quant-ph


title: Thermodynamic potential for quark-gluon plasma with finite quark masses and chemical potential

abstract: We summarize the derivation of the finite temperature, finite chemical potential thermodynamic potential in the bag-model approximation to quantum chromodynamics (QCD) that includes a finite $s$-quark mass in the Feynman diagram contributions for both zero-order and two-loop corrections to the quark interaction. The thermodynamic potential for quarks in QCD is a desired ingredient for computations of the equation of state in the early universe, supernovae, neutron stars, and heavy-ion collisions. The 2-loop contributions are normally divergent and become even more difficult in the limit of finite quark masses and finite chemical potential. We introduce various means to interpolate between the low and high chemical potential limits. Although physically well motivated, we show that the infinite series Pad\'e rational polynomial interpolation scheme introduces spurious poles. Nevertheless, we show that lower order interpolation schemes such as polynomial interpolation reproduce the Pad\'e result without the presence of spurious poles. We propose that in this way one can determine the equation of state for the two-loop corrections for arbitrary chemical potential, temperature and quark mass. This provides a new realistic bag-model treatment of the QCD equation of state. We compute the QCD phase diagram with up to the two-loop corrections. We show that the two-loop corrections decrease the pressure of the quark-gluon plasma and therefore increase the critical temperature and chemical potential of the phase transition. We also show, however, that the correction for finite $s$-quark mass in the two-loop correction serves to decrease the critical temperature for the quark-hadron phase transition in the early universe.


title: On a conjecture by Eckhoff and Dolnikov concerning line transversals to Euclidean disks

abstract: Let $K$ be a convex body in the Euclidean plane $\mathbb R^2$. We say that a point set $X \subseteq \mathbb R^2$ satsfies the property $T(K)$ if the family of translates $\{ K + x : x \in X \}$ has a line transversal. A weaker property, $T(K, s)$, of the set $X$ is that every subset $Y \subseteq X$ consisting of at most $s$ elements satisfies the property $T(K)$. The following question goes back to Gr\"unbaum: given $K$ and $s$, what is the minimal positive number $\lambda = \lambda(K, s)$ such that every finite point set in $\mathbb R^2$ with the property $T(K, s)$ also satisfies the property $T(\lambda K)$? The constant $\lambda_{disj}(K, s)$ is defined similarly, with the only additional assumption that the translates $x + K$ and $y + K$ are disjoint for every $x, y \in X$, $x \neq y$. One case of particular interest is $s = 3$ and $K = B$, where $B$ is a unit Euclidean ball. Namely, it was conjectured by Eckhoff and, independently, Dolnikov that $\lambda (B, 3) = \frac{1 + \sqrt{5}}{2}$. In this paper we propose a stronger conjecture, which, on the other hand, admits an algebraic formulation in a finite alphabet. We verify our conjecture numerically on a sufficiently dense grid in the space of parameters and thereby obtain an estimate $\lambda_{disj}(B, 3) \leq \lambda(B, 3) \leq 1.645$. This is an improvement on the previously known upper bounds $\lambda(B, 3) \leq \frac{1 + \sqrt{1 + 4\sqrt{2}}}{2} \approx 1.79$ (Jer\'onimo Castro and Rold\'an-Pensado, 2011) and $\lambda_{disj}(B, 3) \leq 1.65$ (Heppes, 2005).


title: Summations of Linear Recurrent Sequences

abstract: We give an extension of Sister Celine's method of proving hypergeometric sum identities that allows it to handle a larger variety of input summands. We then apply this to several problems. Some give new results, and some reprove already known results in an automated way.


title: Continuous Authentication Using One-class Classifiers and their Fusion

abstract: While developing continuous authentication systems (CAS), we generally assume that samples from both genuine and impostor classes are readily available. However, the assumption may not be true in certain circumstances. Therefore, we explore the possibility of implementing CAS using only genuine samples. Specifically, we investigate the usefulness of four one-class classifiers OCC (elliptic envelope, isolation forest, local outliers factor, and one-class support vector machines) and their fusion. The performance of these classifiers was evaluated on four distinct behavioral biometric datasets, and compared with eight multi-class classifiers (MCC). The results demonstrate that if we have sufficient training data from the genuine user the OCC, and their fusion can closely match the performance of the majority of MCC. Our findings encourage the research community to use OCC in order to build CAS as they do not require knowledge of impostor class during the enrollment process.


title: On the domain of implicit functions in a projective limit setting without additional norm estimates

abstract: We examine how implicit functions on ILB-Fr\'echet spaces can be obtained without metric or norm estimates which are classically assumed. We obtain implicit functions defined on a domain $D$ which is not necessarily open, but which contains the unit open ball of a Banach space. The corresponding inverse functions theorem is obtained, and we finish with an open question on the adequate (generalized) notion of differentiation, needed for the corresponding version of the Fr\"obenius theorem.


title: Mapping onto ideal chains overestimates self-entanglements in polymer melts

abstract: In polymer physics it is typically assumed that excluded volume interactions are effectively screened in polymer melts. Hence, chains could be described by an effective random walk without excluded volume interactions. In this letter, we show that this mapping is problematic by analyzing the occurrence of knots, their spectrum and sizes in polymer melts, corresponding random walks and chains in dilute solution. The effective random walk severely overrates the occurrence of knots and their complexity, particularly when compared to melts of flexible chains, indicating that non-trivial effects due to remnants of self-avoidance still play a significant role for the chain lengths considered in this numerical study. For melts of semiflexible chains, the effect is less pronounced. In addition, we find that chains in a melt are very similar in structure and topology to dilute single chains close to the collapse transition, which indicates that the latter are also not well-represented by random walks. We finally show that typical equilibration procedures are well-suited to relax the topology in melts.


title: Virtual Differential Passivity based Control for Tracking of Flexible-joints Robots

abstract: Based on recent advances in contraction methods in systems and control, in this paper we present the virtual differential passivity based control (v-dPBC) technique. This is a constructive design method that combines the concept of virtual systems and of differential passivity. We apply the method to the tracking control problem of flexible joints robots (FJRs) which are formulated in the port-Hamiltonian (pH) framework. Simulations on a single flexible joint link are presented for showing the performance of a controller obtained with this approach.


title: Bright soliton to quantum droplet transition in a mixture of Bose-Einstein condensates

abstract: Attractive Bose-Einstein condensates can host two types of macroscopic self-bound states of different nature: bright solitons and quantum liquid droplets. Here, we investigate the connection between them with a Bose-Bose mixture confined in an optical waveguide. We develop a simple theoretical model to show that, depending on atom number and interaction strength, solitons and droplets can be smoothly connected or remain distinct states coexisting only in a bi-stable region. We experimentally measure their spin composition, extract their density for a broad range of parameters and map out the boundary of the region separating solitons from droplets.


title: A mathematical bridge between discretized gauge theories in quantum physics and approximate reasoning in pairwise comparisons

abstract: We describe a mathematical link between aspects of information theory, called pairwise comparisons, and discretized gauge theories. The link is made by the notion of holonomy along the edges of a simplex. This correspondance leads to open questions in both field.

categories: math-ph cs.IT math.DG math.IT math.LO math.MP


title: The Ellis group conjecture and variants of definable amenability

abstract: We consider definable topological dynamics for $NIP$ groups admitting certain decompositions in terms of specific classes of definably amenable groups. For such a group, we find a description of the Ellis group of its universal definable flow. This description shows that the Ellis group is of bounded size. Under additional assumptions, it is shown to be independent of the model, proving a conjecture proposed by Newelski. Finally we apply the results to new classes of groups definable in o-minimal structures, generalizing all of the previous results for this setting.


title: Galactic Cosmic-Rays in a Breeze

abstract: We study a scenario in which the Fermi bubbles are formed through a Galactocentric outflow of gas and pre-accelerated cosmic-rays (CR). We take into account CR energy losses due to proton-proton interactions with the gas present in the bubbles, and calculate the associated gamma-ray emission. We find that CRs diffusing and advecting within a breeze outflow result in an approximately flat surface brightness profile of the gamma-ray emission, as observed by Fermi satellite. Finally, we apply similar outflow profiles to larger Galactocentric radii, and investigate their effects on the CR spectrum and boron-to-carbon ratio. Hardenings can appear in the spectrum, even in cases with equal CR diffusion coefficients in the disk and halo.


title: Temperature and polarization dependence of low-energy magnetic fluctuations in nearly-optimal-doped NaFe$_{0.9785}$Co$_{0.0215}$As

abstract: We use unpolarized and polarized neutron scattering to study the temperature and polarization dependence of low-energy magnetic fluctuations in nearly-optimal-doped NaFe$_{0.9785}$Co$_{0.0215}$As, with coexisting superconductivity ($T_{\rm c}\approx19$ K) and weak antiferromagnetic order ($T_{\rm N}\approx30$ K, ordered moment $\approx0.02$ $\mu_{\rm B}$/Fe). A single spin resonance mode with intensity tracking the superconducting order parameter is observed, although energy of the mode only softens slightly on approaching $T_{\rm c}$. Polarized neutron scattering reveals that the single resonance is mostly isotropic in spin space, similar to overdoped NaFe$_{0.935}$Co$_{0.045}$As but different from optimal electron-, hole-, and isovalent-doped BaFe$_2$As$_2$ compounds, all featuring an additional prominent anisotropic component. Spin anisotropy in NaFe$_{0.9785}$Co$_{0.0215}$As is instead present at energies below the resonance, which becomes partially gapped below $T_{\rm c}$, similar to the situation in optimal-doped YBa$_2$Cu$_3$O$_{6.9}$. Our results indicate that anisotropic spin fluctuations in NaFe$_{1-x}$Co$_x$As appear in the form of a resonance in the underdoped regime, become partially gapped below $T_{\rm c}$ near optimal doping and disappear in overdoped compounds.


title: Free-space creation of ultralong anti-diffracting light beam with multiple energy oscillations adjusted using optical pen

abstract: A light beam propagating with an infinite anti-diffracting distance requires infinite power to preserve its shape. However, the fundamental barrier of finite power in free space has made the problem of diffraction insurmountable over the past few decades. Here, to overcome this limitation, we report an approach that employs the multiple energy oscillation mechanism, thereby permitting the creation of a light beam with an ultralong anti-diffracting distance in free space. The anti-diffracting distance is no longer restricted by finite power in free space but instead depends on the number of energy oscillations. This unprecedented propagation behavior is attributed to a new understanding of non-diffractive light beam: when an anti-diffracting light beam completely discharges its energy, it cannot recharge again. A versatile optical pen is therefore developed to manipulate the number, amplitude, position and phase of energy oscillations for an arbitrary numerical aperture of a focusing lens so that energy recharge can occur in free space and multiple energy oscillations can be realized. A light beam with a tunable number of energy oscillations is eventually generated in free space and propagates along a wavy trajectory. This work will enable extending non-diffractive light beams to an expanded realm and facilitate extensive developments in optics and other research fields, such as electronics and acoustics.


title: Constant-pressure nested sampling with atomistic dynamics

abstract: The nested sampling algorithm has been shown to be a general method for calculating the pressure-temperature-composition phase diagrams of materials. While the previous implementation used single-particle Monte Carlo moves, these are inefficient for condensed systems with general interactions where single-particle moves cannot be evaluated faster than the energy of the whole system. Here we enhance the method by using all-particle moves: either Galilean Monte Carlo or a total enthalpy Hamiltonian Monte Carlo algorithm, introduced in this paper. We show that these algorithms enable the determination of phase transition temperatures with equivalent accuracy to the previous method at $1/N$ of the cost for an $N$-particle system with general interactions, or at equal cost when single particle moves can be done in $1/N$ of the cost of a full $N$-particle energy evaluation.


title: A Relative Efficiency Gap formula for measuring Political Gerrymandering

abstract: The efficiency gap formula was introduced in to measure political gerrymandering. It played a key role in the Gill v. Whitford case whose appeal is currently before the Supreme Court, but it was very recently shown by Bernstein and Duchin to have some problematic mathematical properties. We propose a new relative version of the efficiency gap formula that inherits its desirable but not its undesirable features. Instead of measuring the difference between the number of votes wasted by the two parties, we measure the difference between the proportions of their votes that the two parties wasted.