title: Use Cases, Requirements, and Design Considerations for 5G V2X

abstract: Ultimate goal of next generation Vehicle-to-everything (V2X) communication systems is enabling accident-free cooperative automated driving that uses the available roadway efficiently. To achieve this goal, the communication system will need to enable a diverse set of use cases, each with a specific set of requirements. We discuss the main use case categories, analyze their requirements, and compare them against the capabilities of currently available communication technologies. Based on the analysis, we identify a gap and point out towards possible system design for 5G V2X that could close the gap. Furthermore, we discuss an architecture of the 5G V2X radio access network that incorporates diverse communication technologies, including current and cellular systems in centimeter wave and millimeter wave, IEEE 802.11p and vehicular visible light communications. Finally, we discuss the role of future 5G V2X systems in enabling more efficient vehicular transportation: from improved traffic flow through reduced inter-vehicle spacing on highways and coordinated intersections in cities (the cheapest way to increasing the road capacity), to automated smart parking (no more visits to the parking!), ultimately enabling seamless end-to-end personal mobility.


title: Modeling the formation of R\&D alliances: An agent-based model with empirical validation

abstract: We develop an agent-based model to reproduce the size distribution of R\&D alliances of firms. Agents are uniformly selected to initiate an alliance and to invite collaboration partners. These decide about acceptance based on an individual threshold that is compared with the utility expected from joining the current alliance. The benefit of alliances results from the fitness of the agents involved. Fitness is obtained from an empirical distribution of agent's activities. The cost of an alliance reflects its coordination effort. Two free parameters $a_{c}$ and $a_{l}$ scale the costs and the individual threshold. If initiators receive $R$ rejections of invitations, the alliance formation stops and another initiator is selected. The three free parameters $(a_{c},a_{l},R)$ are calibrated against a large scale data set of about 15,000 firms engaging in about 15,000 R\&D alliances over 26 years. For the validation of the model we compare the empirical size distribution with the theoretical one, using confidence bands, to find a very good agreement. As an asset of our agent-based model, we provide an analytical solution that allows to reduce the simulation effort considerably. The analytical solution applies to general forms of the utility of alliances. Hence, the model can be extended to other cases of alliance formation. While no information about the initiators of an alliance is available, our results indicate that mostly firms with high fitness are able to attract newcomers and to establish larger alliances.


title: Hexapartite entanglement in an above-threshold Optical Parametric Oscillator

abstract: We demonstrate, theoretically and experimentally, the generation of hexapartite modal entanglement by the optical parametric oscillator (OPO) operating above the oscillation threshold. We show that the OPO generates a rich structure of entanglement among sets of six optical sideband modes interacting through the non-linear crystal. The class of quantum states thus produced can be controlled by a single parameter, the power of the external laser that pumps the system. Our platform allows for the generation of massive entanglement among many optical modes with well defined but vastly different frequencies, potentially bridging nodes of a multicolor quantum network.


title: Energy Calibration of CALET Onboard the International Space Station

abstract: In August 2015, the CALorimetric Electron Telescope (CALET), designed for long exposure observations of high energy cosmic rays, docked with the International Space Station (ISS) and shortly thereafter began tocollect data. CALET will measure the cosmic ray electron spectrum over the energy range of 1 GeV to 20 TeV with a very high resolution of 2% above 100 GeV, based on a dedicated instrument incorporating an exceptionally thick 30 radiation-length calorimeter with both total absorption and imaging (TASC and IMC) units. Each TASC readout channel must be carefully calibrated over the extremely wide dynamic range of CALET that spans six orders of magnitude in order to obtain a degree of calibration accuracy matching the resolution of energy measurements. These calibrations consist of calculating the conversion factors between ADC units and energy deposits, ensuring linearity over each gain range, and providing a seamless transition between neighboring gain ranges. This paper describes these calibration methods in detail, along with the resulting data and associated accuracies. The results presented in this paper show that a sufficient accuracy was achieved for the calibrations of each channel in order to obtain a suitable resolution over the entire dynamic range of the electron spectrum measurement.


title: Multiphasic profiles for the biologically important ion activities of NaCl and KCl

abstract: When plotted in linear transformations of the Michaelis-Menten equation, ion uptake in plants has been shown to be multiphasic, i.e. to be represented by a series of straight lines separated by discontinuous transitions (Nissen 1971, 1974, 1991, 1996). Reanalysis of data for other transport, binding and enzyme systems has also given such kinetics (Nissen and Mart\'in-Nieto 1998). Recently, such profiles have been found for a variety of biological as well as non-biological processes and phenomena, including activation of ion channels, binding, pH, folding/unfolding, effects of various interactions and chain length (Nissen 2015a,b, Nissen 2016a-d). These biological and nonbiological processes have little in common beyond the ions involved. Here I show that the multiphasic property seen in so many systems is present in the fundamental physical properties of the ion themselves. The characteristics of multiphasic profiles have now also been found in profiles for activities of ions in simple inorganic solutions, indicating that they are somehow causing the multiphasic profiles in more complex systems. A set of extensive and precise data (Lee et al. 2002) for the activities of the biologically very important ions Na+, K+ and Cl- (in NaCl and KCl) at four different temperatures (15, 25, 35 and 45oC) will be reanalyzed in the present paper. The activities of NaBr and KBr will be plotted in a forthcoming paper. Extensive data for these and other ion activities Wilczek-Vera et al. (2004) can also be precisely represented by multiphasic profiles (in preparation).


title: Competition of Direct and Indirect Sources of Thermal Entanglement in a spin star network

abstract: A spin star system consisting of three peripheral two-state systems and a central one is considered, with the peripheral spins assumed to interact with each other, as well as with the central one. It is shown that such two couplings, each one being a thermal entanglement source, can significantly compete in the formation of quantum correlations in the thermal state, to the point that they can destroy any thermal entanglement of the peripheral spins.


title: Instant Preheating in Quintessential Inflation with $\alpha$-Attractors

abstract: We investigate a compelling model of quintessential inflation in the context of $\alpha$-attractors, which naturally result in a scalar potential featuring two flat regions, the inflationary plateau and the quintessential tail. The "asymptotic freedom" of $\alpha$-attractors, near the kinetic poles, suppresses radiative corrections and interactions, which would otherwise threaten to lift the flatness of the quintessential tail and cause a 5th-force problem respectively. Since this is a non-oscillatory inflation model, we reheat the Universe through instant preheating. The parameter space is constrained by both inflation and dark energy requirements. We find an excellent correlation between the inflationary observables and model predictions, in agreement with the $\alpha$-attractors set-up. We also obtain successful quintessence for natural values of the parameters. Our model predicts potentially sizeable tensor perturbations (at the level of 1%) and a slightly varying equation of state for dark energy, to be probed in the near future.


title: Tunable Emergent Heterostructures in a Prototypical Correlated Metal

abstract: At the interface between two distinct materials desirable properties, such as superconductivity, can be greatly enhanced, or entirely new functionalities may emerge. Similar to in artificially engineered heterostructures, clean functional interfaces alternatively exist in electronically textured bulk materials. Electronic textures emerge spontaneously due to competing atomic-scale interactions, the control of which, would enable a top-down approach for designing tunable intrinsic heterostructures. This is particularly attractive for correlated electron materials, where spontaneous heterostructures strongly affect the interplay between charge and spin degrees of freedom. Here we report high-resolution neutron spectroscopy on the prototypical strongly-correlated metal CeRhIn5, revealing competition between magnetic frustration and easy-axis anisotropy -- a well-established mechanism for generating spontaneous superstructures. Because the observed easy-axis anisotropy is field-induced and anomalously large, it can be controlled efficiently with small magnetic fields. The resulting field-controlled magnetic superstructure is closely tied to the formation of superconducting and electronic nematic textures in CeRhIn5, suggesting that in-situ tunable heterostructures can be realized in correlated electron materials.


title: On some new properties of fractional derivatives with Mittag-Leffler kernel

abstract: We establish a new formula for the fractional derivative with Mittag-Leffler kernel, in the form of a series of Riemann-Liouville fractional integrals, which brings out more clearly the non-locality of fractional derivatives and is easier to handle for certain computational purposes. We also prove existence and uniqueness results for certain families of linear and nonlinear fractional ODEs defined using this fractional derivative. We consider the possibility of a semigroup property for these derivatives, and establish extensions of the product rule and chain rule, with an application to fractional mechanics.


title: Intersection patterns of linear subspaces with the hypercube

abstract: Following a combinatorial observation made by one of us recently in relation to a problem in quantum information [Nakata et al., Phys. Rev. X 7:021006 (2017)], we study what are the possible intersection cardinalities of a $k$-dimensional subspace with the hypercube in $n$-dimensional Euclidean space. We also propose two natural variants of the problem by restricting the type of subspace allowed. We find that whereas every natural number eventually occurs as the intersection cardinality for some $k$ and $n$, on the other hand for each fixed k, the possible intersections sizes are governed by severe restrictions. To wit, while the largest intersection size is evidently $2^k$, there is always a large gap to the second largest intersection size, which we find to be $\frac34 2^k$ for $k \geq 2$ (and $2^{k-1}$ in the restricted version). We also present several constructions, and propose a number of open questions and conjectures for future investigation.


title: Bounding Horizon Area by Angular Momentum, Charge, and Cosmological Constant in 5-Dimensional Minimal Supergravity

abstract: We establish a class of area-angular momentum-charge inequalities satisfied by stable marginally outer trapped surfaces in 5-dimensional minimal supergravity which admit a $U(1)^2$ symmetry. A novel feature is the fact that such surfaces can have the nontrivial topologies $S^1 \times S^2$ and $L(p,q)$. In addition to two angular momenta, they may be characterized by `dipole charge' as well as electric charge. We show that the unique geometries which saturate the inequalities are the horizon geometries corresponding to extreme black hole solutions. Analogous inequalities which also include contributions from a positive cosmological constant are also presented.


title: Best-Worst Scaling More Reliable than Rating Scales: A Case Study on Sentiment Intensity Annotation

abstract: Rating scales are a widely used method for data annotation; however, they present several challenges, such as difficulty in maintaining inter- and intra-annotator consistency. Best-worst scaling (BWS) is an alternative method of annotation that is claimed to produce high-quality annotations while keeping the required number of annotations similar to that of rating scales. However, the veracity of this claim has never been systematically established. Here for the first time, we set up an experiment that directly compares the rating scale method with BWS. We show that with the same total number of annotations, BWS produces significantly more reliable results than the rating scale.


title: Facile synthesis of potassium intercalated p-terphenyl and signatures of a possible high Tc phase

abstract: Synthesis methodology for flakes of p-terphenyl through sublimation under inert atmosphere of argon is presented. Flake morphology of p-terphenyl provides a favourable environment for efficient intercalation of potassium. Ratio of potassium and p-terphenyl is adjusted so as to obtain the desired superconducting phase i.e. potassium doped p-terphenyl (K3C18H14). A clear transition is observed at 107 K under Zero Field Cooled (ZFC) and Field Cooled (FC) mode. But overall the moment is positive possibly due to impurity phase dominating characteristics in the presence of negligible superconducting volume fraction. The M-H loop taken at 20 K shows magnetic behaviour in synthesized K- doped p-terphenyl but upon background subtraction, it does exhibit characteristics of a type-2 superconductor.


title: Self-sovereign Identity $-$ Opportunities and Challenges for the Digital Revolution

abstract: The interconnectedness of people, services and devices is a defining aspect of the digital revolution, and, secure digital identities are an important prerequisite for secure and legally compliant information exchange. Existing approaches to realize a secure identity management focus on central providers of identities such as national authorities or online service providers. Hence, changing residence or service provider often means to start over and creating new identities, because procedures for data portability are missing. Self-sovereign digital identities are instead created and managed by individuals, and enable them to maintain their digital identities independent from residence, national eID infrastructure and market-dominating service providers.


title: Hidden sector searches with SHiP and NA62

abstract: High-intensity proton beams impinging on a fixed target or beam dump allow to probe new physics via the production of new weakly-coupled particles in hadron decays. The CERN SPS provides opportunities to do so with the running NA62 experiment and the planned SHiP experiment. Reconstruction of kaon decay kinematics (beam mode) allows NA62 to probe for the existence of right-handed neutrinos and dark photons with masses below 0.45 GeV. Direct reconstruction of displaced vertices from the decays of new neutral particles (dump mode) will allow NA62 and SHiP to probe right-handed neutrinos with masses up to 5 GeV and mixings down to several orders of magnitude smaller than current constraints, in regions favoured in models which explain at once neutrino masses, matter-antimatter asymmetry and dark matter.


title: State-of-the-art Speech Recognition With Sequence-to-Sequence Models

abstract: Attention-based encoder-decoder architectures such as Listen, Attend, and Spell (LAS), subsume the acoustic, pronunciation and language model components of a traditional automatic speech recognition (ASR) system into a single neural network. In previous work, we have shown that such architectures are comparable to state-of-theart ASR systems on dictation tasks, but it was not clear if such architectures would be practical for more challenging tasks such as voice search. In this work, we explore a variety of structural and optimization improvements to our LAS model which significantly improve performance. On the structural side, we show that word piece models can be used instead of graphemes. We also introduce a multi-head attention architecture, which offers improvements over the commonly-used single-head attention. On the optimization side, we explore synchronous training, scheduled sampling, label smoothing, and minimum word error rate optimization, which are all shown to improve accuracy. We present results with a unidirectional LSTM encoder for streaming recognition. On a 12, 500 hour voice search task, we find that the proposed changes improve the WER from 9.2% to 5.6%, while the best conventional system achieves 6.7%; on a dictation task our model achieves a WER of 4.1% compared to 5% for the conventional system.


title: Tech Report: A Fast Multiscale Spatial Regularization for Sparse Hyperspectral Unmixing

abstract: Sparse hyperspectral unmixing from large spectral libraries has been considered to circumvent limitations of endmember extraction algorithms in many applications. This strategy often leads to ill-posed inverse problems, which can benefit from spatial regularization strategies. While existing spatial regularization methods improve the problem conditioning and promote piecewise smooth solutions, they lead to large nonsmooth optimization problems. Thus, efficiently introducing spatial context in the unmixing problem remains a challenge, and a necessity for many real world applications. In this paper, a novel multiscale spatial regularization approach for sparse unmixing is proposed. The method uses a signal-adaptive spatial multiscale decomposition based on superpixels to decompose the unmixing problem into two simpler problems, one in the approximation domain and another in the original domain. Simulation results using both synthetic and real data indicate that the proposed method can outperform state-of-the-art Total Variation-based algorithms with a computation time comparable to that of their unregularized counterparts.


title: Effect of the cosmological constant on the deflection angle by a rotating cosmic string

abstract: We report the effect of the cosmological constant and the internal energy density of a cosmic string on the deflection angle of light in the spacetime of a rotating cosmic string with internal structure. We first revisit the deflection angle by a rotating cosmic string and then provide a generalization using the geodesic equations and the Gauss-Bonnet Theorem. We show there is an agreement between the two methods when employing higher order terms of the linear mass density of the cosmic string. By modifying the integration domain for the global conical topology, we resolve the inconsistency between these two methods previously reported in the literature. We show that the deflection angle is not affected by the rotation of the cosmic string; however, the cosmological constant $\Lambda$ strongly affects the deflection angle, which generalizes the well-known result.


title: Brain-Computer Interface meets ROS: A robotic approach to mentally drive telepresence robots

abstract: This paper shows and evaluates a novel approach to integrate a non-invasive Brain-Computer Interface (BCI) with the Robot Operating System (ROS) to mentally drive a telepresence robot. Controlling a mobile device by using human brain signals might improve the quality of life of people suffering from severe physical disabilities or elderly people who cannot move anymore. Thus, the BCI user is able to actively interact with relatives and friends located in different rooms thanks to a video streaming connection to the robot. To facilitate the control of the robot via BCI, we explore new ROS-based algorithms for navigation and obstacle avoidance, making the system safer and more reliable. In this regard, the robot can exploit two maps of the environment, one for localization and one for navigation, and both can be used also by the BCI user to watch the position of the robot while it is moving. As demonstrated by the experimental results, the user's cognitive workload is reduced, decreasing the number of commands necessary to complete the task and helping him/her to keep attention for longer periods of time.


title: Constructive Arithmetics in Ore Localizations of Domains

abstract: For a non-commutative domain $R$ and a multiplicatively closed set $S$ the (left) Ore localization of $R$ at $S$ exists if and only if $S$ satisfies the (left) Ore property. Since the concept has been introduced by Ore back in the 1930's, Ore localizations have been widely used in theory and in applications. We investigate the arithmetics of the localized ring $S^{-1}R$ from both theoretical and practical points of view. We show that the key component of the arithmetics is the computation of the intersection of a left ideal with a submonoid $S$ of $R$. It is not known yet, whether there exists an algorithmic solution of this problem in general. Still, we provide such solutions for cases where $S$ is equipped with additional structure by distilling three most frequently occurring types of Ore sets. We introduce the notion of the (left) saturation closure and prove that it is a canonical form for (left) Ore sets in $R$. We provide an implementation of arithmetics over the ubiquitous $G$-algebras in \textsc{Singular:Plural} and discuss questions arising in this context. Numerous examples illustrate the effectiveness of the proposed approach.


title: Optimal Fast Johnson-Lindenstrauss Embeddings for Large Data Sets

abstract: Johnson-Lindenstrauss embeddings are widely used to reduce the dimension and thus the processing time of data. To reduce the total complexity, also fast algorithms for applying these embeddings are necessary. To date, such fast algorithms are only available either for a non-optimal embedding dimension or up to a certain threshold on the number of data points. We address a variant of this problem where one aims to simultaneously embed larger subsets of the data set. Our method follows an approach by Nelson: A subsampled Hadamard transform maps points into a space of lower, but not optimal dimension. Subsequently, a random matrix with independent entries projects to an optimal embedding dimension. For subsets whose size scales at least polynomially in the ambient dimension, the complexity of this method comes close to the number of operations just to read the data under mild assumptions on the size of the data set that are considerably less restrictive than in previous works. We also prove a lower bound showing that subsampled Hadamard matrices alone cannot reach an optimal embedding dimension. Hence, the second embedding cannot be omitted.


title: Estimating linear functionals of a sparse family of Poisson means

abstract: Assume that we observe a sample of size n composed of p-dimensional signals, each signal having independent entries drawn from a scaled Poisson distribution with an unknown intensity. We are interested in estimating the sum of the n unknown intensity vectors, under the assumption that most of them coincide with a given 'background' signal. The number s of p-dimensional signals different from the background signal plays the role of sparsity and the goal is to leverage this sparsity assumption in order to improve the quality of estimation as compared to the naive estimator that computes the sum of the observed signals. We first introduce the group hard thresholding estimator and analyze its mean squared error measured by the squared Euclidean norm. We establish a nonasymptotic upper bound showing that the risk is at most of the order of {\sigma}^2(sp + s^2sqrt(p)) log^3/2(np). We then establish lower bounds on the minimax risk over a properly defined class of collections of s-sparse signals. These lower bounds match with the upper bound, up to logarithmic terms, when the dimension p is fixed or of larger order than s^2. In the case where the dimension p increases but remains of smaller order than s^2, our results show a gap between the lower and the upper bounds, which can be up to order sqrt(p).


title: Enhanced diffusion in finite-size simulations of a fragile diatomic glass former

abstract: Using molecular dynamics simulations we investigate the finite-size dependence of the dynamical properties of a diatomic supercooled liquid. The simplicity of the molecule permits us to access the microsecond time scale. We find that the relaxation time decreases simultaneously with the strength of cooperative motions when the size of the system decreases. While the decrease of the cooperative motions is in agreement with previous studies, the decrease of the relaxation time opposes what has been reported to date in monatomic glass formers and in silica. This result suggests the presence of different competing physical mechanisms in the relaxation process. For very small box sizes the relaxation times behavior reverses itself and increases strongly when the box size decreases, thus leading to a nonmonotonic behavior. This result is in qualitative agreement with defect and facilitation theories.


title: Phase transition in the spiked random tensor with Rademacher prior

abstract: We consider the problem of detecting a deformation from a symmetric Gaussian random $p$-tensor $(p\geq 3)$ with a rank-one spike sampled from the Rademacher prior. Recently in Lesieur et al. (2017), it was proved that there exists a critical threshold $\beta_p$ so that when the signal-to-noise ratio exceeds $\beta_p$, one can distinguish the spiked and unspiked tensors and weakly recover the prior via the minimal mean-square-error method. On the other side, Perry, Wein, and Bandeira (2017) proved that there exists a $\beta_p'<\beta_p$ such that any statistical hypothesis test can not distinguish these two tensors, in the sense that their total variation distance asymptotically vanishes, when the signa-to-noise ratio is less than $\beta_p'$. In this work, we show that $\beta_p$ is indeed the critical threshold that strictly separates the distinguishability and indistinguishability between the two tensors under the total variation distance. Our approach is based on a subtle analysis of the high temperature behavior of the pure $p$-spin model with Ising spin, arising initially from the field of spin glasses. In particular, we identify the signal-to-noise criticality $\beta_p$ as the critical temperature, distinguishing the high and low temperature behavior, of the Ising pure $p$-spin mean-field spin glass model.

categories: math.PR cs.IT math-ph math.IT math.MP math.ST stat.TH


title: Mutual friction in superfluid $^3$He-B in the low-temperature regime

abstract: We measure the response of a rotating sample of superfluid $^3$He-B to spin-down to rest in the zero-temperature limit. Deviations from perfect cylindrical symmetry in the flow environment cause the initial response to become turbulent. The remaining high polarization of vortices along the rotation axis suppresses the turbulent behavior and leads to laminar late-time response. We determine the dissipation during laminar decay at $(0.13-0.22) T_{\mathrm{c}}$ from the precession frequency of the remnant vortex cluster. We extract the mutual friction parameter $\alpha$ and confirm that its dependence on temperature and pressure agrees with theoretical predictions. We find that the zero-temperature extrapolation of $\alpha$ has pressure-independent value $\alpha(T=0) \sim 5 \cdot 10^{-4}$, which we attribute to a process where Kelvin waves, excited at surfaces of the container, propagate into the bulk and enhance energy dissipation via overheating vortex core-bound fermions.


title: Pay for a Sliding Bloom Filter and Get Counting, Distinct Elements, and Entropy for Free

abstract: For many networking applications, recent data is more significant than older data, motivating the need for sliding window solutions. Various capabilities, such as DDoS detection and load balancing, require insights about multiple metrics including Bloom filters, per-flow counting, count distinct and entropy estimation. In this work, we present a unified construction that solves all the above problems in the sliding window model. Our single solution offers a better space to accuracy tradeoff than the state-of-the-art for each of these individual problems! We show this both analytically and by running multiple real Internet backbone and datacenter packet traces.


title: A Data-Driven Gradient Algorithm for High-Precision Quantum Control

abstract: In the quest to achieve scalable quantum information processing technologies, gradient-based optimal control algorithms (e.g., GRAPE) are broadly used for implementing high-precision quantum gates, but their performance is often hindered by deterministic or random errors in the system model and the control electronics. In this paper, we show that GRAPE can be taught to be more effective by jointly learning from the design model and the experimental data obtained from process tomography. The resulting data-driven gradient optimization algorithm (d-GRAPE) can in principle correct all deterministic gate errors, with a mild efficiency loss. The d-GRAPE algorithm may become more powerful with broadband controls that involve a large number of control parameters, while other algorithms usually slow down due to the increased size of the search space. These advantages are demonstrated by simulating the implementation of a two-qubit CNOT gate.


title: Arithmetic Progression Hypergraphs: Examining the Second Moment Method

abstract: In many data structure settings, it has been shown that using "double hashing" in place of standard hashing, by which we mean choosing multiple hash values according to an arithmetic progression instead of choosing each hash value independently, has asymptotically negligible difference in performance. We attempt to extend these ideas beyond data structure settings by considering how threshold arguments based on second moment methods can be generalized to "arithmetic progression" versions of problems. With this motivation, we define a novel "quasi-random" hypergraph model, random arithmetic progression (AP) hypergraphs, which is based on edges that form arithmetic progressions and unifies many previous problems. Our main result is to show that second moment arguments for 3-NAE-SAT and 2-coloring of 3-regular hypergraphs extend to the double hashing setting. We leave several open problems related to these quasi-random hypergraphs and the thresholds of associated problem variations.


title: Generic continuous spectrum for multi-dimensional quasi periodic Schr\"odinger operators with rough potentials

abstract: We study the multi-dimensional operator $(H_x u)_n=\sum_{|m-n|=1}u_{m}+f(T^n(x))u_n$, where $T$ is the shift of the torus $\T^d$. When $d=2$, we show the spectrum of $H_x$ is almost surely purely continuous for a.e. $\alpha$ and generic continuous potentials. When $d\geq 3$, the same result holds for frequencies under an explicit arithmetic criterion. We also show that general multi-dimensional operators with measurable potentials do not have eigenvalue for generic $\alpha$.


title: The Inner Phases of Colloidal Hexagonal Ice

abstract: Using numerical simulations that mimic recent experiments on hexagonal colloidal ice, we show that colloidal hexagonal artificial spin ice exhibits an inner phase within its ice state that has not been observed previously. Under increasing colloid-colloid repulsion, the initially paramagnetic system crosses into a disordered ice-regime, then forms a topologically charge ordered state with disordered colloids, and finally reaches a three-fold degenerate, ordered ferromagnetic state. This is reminiscent of, yet distinct from, the inner phases of the magnetic kagome spin ice analog. The difference in the inner phases of the two systems is explained by their difference in energetics and frustration.


title: Interior Structural Bifurcation of 2D Symmetric Incompressible Flows

abstract: The structural bifurcation of a 2D divergence free vector field $\mathbf{u}(\cdot, t)$ when $\mathbf{u}(\cdot, t_0)$ has an interior isolated singular point $\mathbf{x}_0$ of zero index has been studied by Ma and Wang. Although in the class of divergence free fields which undergo a local bifurcation around a singular point, the ones with index zero singular points are generic, this class excludes some important families of symmetric flows. In particular, when $\mathbf{u}(\cdot, t_0)$ is anti-symmetric with respect to $\mathbf{x}_0$, or symmetric with respect to the axis located on $\mathbf{x}_0$ and normal to the unique eigendirection of the Jacobian $D\mathbf{u}(\cdot, t_0)$, the vector field must have index 1 or -1 at the singular point. Thus we study the structural bifurcation when $\mathbf{u}(\cdot, t_0)$ has an interior isolated singular point $\mathbf{x}_0$ with index -1, 1. In particular we show that if such a vector field with its acceleration at $t_0$ both satisfy aforementioned symmetries then generically the flow will undergo a local bifurcation. Under these generic conditions, we rigorously prove the existence of flow patterns such as pairs of co-rotating vortices and double saddle connections. We also present numerical evidence of Stokes flow in a rectangular and cylindrical cavity showing that the bifurcation scenarios we present are indeed realizable.


title: Towards Practical Verification of Machine Learning: The Case of Computer Vision Systems

abstract: Due to the increasing usage of machine learning (ML) techniques in security- and safety-critical domains, such as autonomous systems and medical diagnosis, ensuring correct behavior of ML systems, especially for different corner cases, is of growing importance. In this paper, we propose a generic framework for evaluating security and robustness of ML systems using different real-world safety properties. We further design, implement and evaluate VeriVis, a scalable methodology that can verify a diverse set of safety properties for state-of-the-art computer vision systems with only blackbox access. VeriVis leverage different input space reduction techniques for efficient verification of different safety properties. VeriVis is able to find thousands of safety violations in fifteen state-of-the-art computer vision systems including ten Deep Neural Networks (DNNs) such as Inception-v3 and Nvidia's Dave self-driving system with thousands of neurons as well as five commercial third-party vision APIs including Google vision and Clarifai for twelve different safety properties. Furthermore, VeriVis can successfully verify local safety properties, on average, for around 31.7% of the test images. VeriVis finds up to 64.8x more violations than existing gradient-based methods that, unlike VeriVis, cannot ensure non-existence of any violations. Finally, we show that retraining using the safety violations detected by VeriVis can reduce the average number of violations up to 60.2%.


title: An UQ-ready finite element solver for a two-dimensional RANS model of free plane jets

abstract: Numerical solution of the system of partial differential equations arising from the Reynolds-Averaged Navier-Stokes (RANS) equations with $k-\epsilon$ turbulence model presents several challenges due to the advection dominated nature of the problem and the presence of highly nonlinear reaction terms. State-of-the-art software for the numerical solution of the RANS equations address these challenges by introducing non-differentiable perturbations in the model to ensure numerical stability. However, this approach leads to difficulties in the formulation of the higher-order forward/adjoint problems, which are needed for scalable Hessian-based uncertainty quantification (UQ) methods. In this note, we present the construction of a UQ-ready flow solver, i.e., one that is smoothly differentiable and provides not only forward solver capabilities but also adjoint and higher derivatives capabilities.


title: Removing Isolated Zeroes by Homotopy

abstract: Suppose that the inverse image of the zero vector by a continuous map $f:{\mathbb R}^n\to{\mathbb R}^q$ has an isolated point $P$. There is a local obstruction to removing this isolated zero by a small perturbation, generalizing the notion of index for vector fields, the $q=n$ case. The existence of a continuous map $g$ which approximates $f$ but is nonvanishing near $P$ is equivalent to a topological property we call "locally inessential," and for dimensions $n$, $q$ where $\pi_{n-1}(S^{q-1})$ is trivial, every isolated zero is locally inessential. We consider the problem of constructing such an approximation $g$, and show that there exists a continuous homotopy from $f$ to $g$ through locally nonvanishing maps. If $f$ is a semialgebraic map, then there exists such a homotopy which is also semialgebraic. For $q=2$ and $f$ real analytic with a locally inessential isolated zero, there exists a H\"older continuous homotopy $F(x,t)$ which, for $(x,t)\ne(P,0)$, is real analytic and nonvanishing. The existence of a smooth homotopy, given a smooth map $f$, is stated as an open question.


title: Specialization Models of Network Growth

abstract: One of the most important features observed in real networks is that, as a network's topology evolves so does the network's ability to perform various complex tasks. To explain this, it has also been observed that as a network grows certain subnetworks begin to specialize the function(s) they perform. Here, we introduce a class of models of network growth based on this notion of specialization and show that as a network is specialized using this method its topology becomes increasingly sparse, modular, and hierarchical, each of which are important properties observed in real networks. This procedure is also highly flexible in that a network can be specialized over any subset of its elements. This flexibility allows those studying specific networks the ability to search for mechanisms that describe the growth of these particular networks. As an example, we find that by randomly selecting these elements a network's topology acquires some of the most well-known properties of real networks including the small-world property, disassortativity, power-law like degree distributions, and power-law like clustering coefficients. As far as the authors know, this is the first such class of models that creates an increasingly modular and hierarchical network topology with these properties.


title: The Coulomb Hole of the Ne atom

abstract: We analyze the Coulomb hole of Ne from highly-accurate CISD wave functions obtained from optimized even-tempered basis sets. Using a two-fold extrapolation procedure we obtain highly accurate results that recover 97\% of the correlation energy. We confirm the existence of a shoulder in the short-range region of the Coulomb hole of the Ne atom, which is due to an internal reorganization of the $K$-shell caused by electron correlation of the core electrons. The feature is very sensitive to the quality of the basis set in the core region and it is not exclusive to Ne, being also present in most of second-row atoms, thus confirming that it is due to $K$-shell correlation effects.


title: The use of multilayer network analysis in animal behaviour

abstract: Network analysis has driven key developments in research on animal behaviour by providing quantitative methods to study the social structures of animal groups and populations. A recent formalism, known as \emph{multilayer network analysis}, has advanced the study of multifaceted networked systems in many disciplines. It offers novel ways to study and quantify animal behaviour as connected 'layers' of interactions. In this article, we review common questions in animal behaviour that can be studied using a multilayer approach, and we link these questions to specific analyses. We outline the types of behavioural data and questions that may be suitable to study using multilayer network analysis. We detail several multilayer methods, which can provide new insights into questions about animal sociality at individual, group, population, and evolutionary levels of organisation. We give examples for how to implement multilayer methods to demonstrate how taking a multilayer approach can alter inferences about social structure and the positions of individuals within such a structure. Finally, we discuss caveats to undertaking multilayer network analysis in the study of animal social networks, and we call attention to methodological challenges for the application of these approaches. Our aim is to instigate the study of new questions about animal sociality using the new toolbox of multilayer network analysis.

categories: q-bio.PE math.DS nlin.AO physics.data-an q-bio.QM


title: Stochastic Localization + Stieltjes Barrier = Tight Bound for Log-Sobolev

abstract: Logarithmic Sobolev inequalities are a powerful way to estimate the rate of convergence of Markov chains and to derive concentration inequalities on distributions. We prove that the log-Sobolev constant of any isotropic logconcave density in $R^n$ with support of diameter $D$ is $1/D$, resolving a question posed by Frieze and Kannan in 1997. This is asymptotically the best possible estimate and improves on the previous bound of $1/D^2$ by Kannan-Lov\'asz-Montenegro. It follows that for any isotropic logconcave density, the ball walk with step size $\delta = (1/\sqrt{n})$ mixes in $O(n^2D)$ proper steps from any starting point. This improves on the previous best bound of $O(n^2D^2)$ and is also asymptotically tight. The new bound leads to the following refined large deviation inequality for any L-Lipschitz function g over an isotropic logconcave density p: for any t > 0, $$P(|g(x)- \bar{g}(x)| \ge c . L. t) \le \exp(-\frac{t^2}{t+\sqrt{n}})$$ where $\bar{g}$ is the median or mean of $g$ for $x \sim p$; this generalizes/improves on previous bounds by Paouris and by Guedon-Milman. The technique also bounds the "small ball" probability in terms of the Cheeger constant, and recovers the current best bound. Our main proof is based on stochastic localization together with a Stieltjes-type barrier function.


title: Sum-of-squares optimization without semidefinite programming

abstract: We propose a homogeneous primal-dual interior-point method to solve sum-of-squares optimization problems by combining non-symmetric conic optimization techniques and polynomial interpolation. The approach optimizes directly over the sum-of-squares cone and its dual, circumventing the semidefinite programming (SDP) reformulation which requires a large number of auxiliary variables. As a result, it has substantially lower theoretical time and space complexity than the conventional SDP-based approach. Although our approach avoids the semidefinite programming reformulation, an optimal solution to the semidefinite program can be recovered with little additional effort. Computational results confirm that for problems involving high-degree polynomials, the proposed method is several orders of magnitude faster than semidefinite programming.


title: Posterior Integration on a Riemannian Manifold

abstract: The geodesic Markov chain Monte Carlo method and its variants enable computation of integrals with respect to a posterior supported on a manifold. However, for regular integrals, the convergence rate of the ergodic average will be sub-optimal. To fill this gap, this paper extends the efficient posterior integration method of Oates et al. (2017) to the case of a Riemannian manifold. In contrast to the original Euclidean case, no non-trivial boundary conditions are needed for a closed manifold. The method is assessed through simulation and deployed to compute posterior integrals for an Australian Mesozoic paleomagnetic pole model, whose parameters are constrained to lie on the manifold $M = \mathbb{S}^2 \times \mathbb{R}_+$.


title: The Effect of Negators, Modals, and Degree Adverbs on Sentiment Composition

abstract: Negators, modals, and degree adverbs can significantly affect the sentiment of the words they modify. Often, their impact is modeled with simple heuristics; although, recent work has shown that such heuristics do not capture the true sentiment of multi-word phrases. We created a dataset of phrases that include various negators, modals, and degree adverbs, as well as their combinations. Both the phrases and their constituent content words were annotated with real-valued scores of sentiment association. Using phrasal terms in the created dataset, we analyze the impact of individual modifiers and the average effect of the groups of modifiers on overall sentiment. We find that the effect of modifiers varies substantially among the members of the same group. Furthermore, each individual modifier can affect sentiment words in different ways. Therefore, solutions based on statistical learning seem more promising than fixed hand-crafted rules on the task of automatic sentiment prediction.


title: Optimizing aerodynamic lenses for single-particle imaging

abstract: A numerical simulation infrastructure capable of calculating the flow of gas and the trajectories of particles through an aerodynamic lens injector is presented. The simulations increase the fundamental understanding and predict optimized injection geometries and parameters. Our simulation results were compared to previous reports and also validated against experimental data for 500 nm polystyrene spheres from an aerosol-beam- characterization setup. The simulations yielded a detailed understanding of the radial phase-space distribution and highlighted weaknesses of current aerosol injectors for single-particle diffractive imaging. With the aid of these simulations we developed new experimental implementations to overcome current limitations.


title: Personalized Degrees: Effects on Link Formation in Dynamic Networks from an Egocentric Perspective

abstract: Understanding mechanisms driving link formation in dynamic social networks is a long-standing problem that has implications to understanding social structure as well as link prediction and recommendation. Social networks exhibit a high degree of transitivity, which explains the successes of common neighbor-based methods for link prediction. In this paper, we examine mechanisms behind link formation from the perspective of an ego node. We introduce the notion of personalized degree for each neighbor node of the ego, which is the number of other neighbors a particular neighbor is connected to. From empirical analyses on four on-line social network datasets, we find that neighbors with higher personalized degree are more likely to lead to new link formations when they serve as common neighbors with other nodes, both in undirected and directed settings. This is complementary to the finding of Adamic and Adar that neighbor nodes with higher (global) degree are less likely to lead to new link formations. Furthermore, on directed networks, we find that personalized out-degree has a stronger effect on link formation than personalized in-degree, whereas global in-degree has a stronger effect than global out-degree. We validate our empirical findings through several link recommendation experiments and observe that incorporating both personalized and global degree into link recommendation greatly improves accuracy.


title: One for All: Towards Language Independent Named Entity Linking

abstract: Entity linking (EL) is the task of disambiguating mentions in text by associating them with entries in a predefined database of mentions (persons, organizations, etc). Most previous EL research has focused mainly on one language, English, with less attention being paid to other languages, such as Spanish or Chinese. In this paper, we introduce LIEL, a Language Independent Entity Linking system, which provides an EL framework which, once trained on one language, works remarkably well on a number of different languages without change. LIEL makes a joint global prediction over the entire document, employing a discriminative reranking framework with many domain and language-independent feature functions. Experiments on numerous benchmark datasets, show that the proposed system, once trained on one language, English, outperforms several state-of-the-art systems in English (by 4 points) and the trained model also works very well on Spanish (14 points better than a competitor system), demonstrating the viability of the approach.


title: A Neighborhood-Assisted Hotelling's $T^2$ Test for High-Dimensional Means

abstract: Many tests have been proposed to remedy the classical Hotelling's $T^2$ test in the "large $p$, small $n$" paradigm, but the existence of an optimal sum-of-squares type test has not been explored. This paper shows that under certain conditions, the population Hotelling's $T^2$ test with the known $\Sigma^{-1}$ attains the best power among all the $L_2$-norm based tests with the data transformation by $\Sigma^{\eta}$ for $\eta \in (-\infty, \infty)$. To extend the result to the case of unknown $\Sigma^{-1}$, we propose a Neighborhood-Assisted Hotelling's $T^2$ statistic obtained by replacing the inverse of sample covariance matrix in the classical Hotelling's $T^2$ statistic with a regularized covariance estimator. Utilizing a regression model, we establish its asymptotic normality under mild conditions. We show that the proposed test is able to match the performance of the population Hotelling's $T^2$ test under certain conditions, and thus possesses certain optimality. Moreover, it can adaptively attain the best power by empirically choosing a neighborhood size to maximize its signal-to-noise ratio. Simulation experiments and case studies are given to demonstrate the empirical performance of the proposed test.


title: The relativistic jet of the gamma-ray emitting narrow-line Seyfert 1 galaxy 1H 0323+342

abstract: The detection of several radio-loud narrow-line Seyfert 1 (NLS1) galaxies by the Fermi Gamma-Ray Space Telescope hints at the existence of a rare, new class of gamma-ray emitting active galactic nuclei with low black hole masses. Like flat spectrum radio quasars (FSRQs), their gamma-ray emission is thought to be produced via the external Compton mechanism whereby relativistic jet electrons upscatter a photon field external to the jet, e.g. from the accretion disc, broad line region (BLR) and dusty torus, to higher energies. Here we study the origin of the gamma-ray emission in the lowest-redshift candidate among the currently-known gamma-ray emitting NLS1s, 1H 0323+342, and take a new approach. We observationally constrain the external photon field using quasi-simultaneous near-IR, optical and X-ray spectroscopy. Applying a one-zone leptonic jet model, we simulate the range of jet parameters for which this photon field, when Compton scattered to higher energies, can explain the gamma-ray emission. We find that the site of the gamma-ray emission lies well within the BLR and that the seed photons mainly originate from the accretion disc. The jet power that we determine, $1.0 \times 10^{45}$ erg s$^{-1}$, is approximately half the accretion disc luminosity. We show that this object is not simply a low-mass FSRQ, its jet is intrinsically less powerful than predicted by scaling a typical FSRQ jet by black hole mass and accretion rate. That gamma-ray emitting NLS1s appear to host underpowered jets may go some way to explaining why so few have been detected to date.


title: Computational Higher Type Theory III: Univalent Universes and Exact Equality

abstract: This is the third in a series of papers extending Martin-L\"of's meaning explanations of dependent type theory to a Cartesian cubical realizability framework that accounts for higher-dimensional types. We extend this framework to include a cumulative hierarchy of univalent Kan universes of Kan types, exact equality and other pretypes lacking Kan structure, and a cumulative hierarchy of pretype universes. As in Parts I and II, the main result is a canonicity theorem stating that closed terms of boolean type evaluate to either true or false. This establishes the computational interpretation of Cartesian cubical higher type theory based on cubical programs equipped with a deterministic operational semantics.


title: On the Cosmic No-Hair Conjecture in T2-symmetric non-linear scalar field spacetimes

abstract: We consider spacetimes solving the Einstein non-linear scalar field equations with T2-symmetry and show that they admit an areal time foliation in the expanding direction. In particular, we prove global existence and uniqueness of solutions to the corresponding system of evolution equations for all future times. The only assumption we have to make is that the potential is a non-negative smooth function. In the special case of a constant potential, a setting which is equivalent to a linear scalar field on a background with a positive cosmological constant, we achieve detailed asymptotic estimates for the different components of the spacetime metric. This result holds for all T3-Gowdy symmetric metrics and extends to certain T2-symmetric ones satisfying an a priori decay property. Building upon these asymptotic estimates, we show future causal geodesic completeness and prove the Cosmic No-Hair conjecture.


title: R-FCN-3000 at 30fps: Decoupling Detection and Classification

abstract: We present R-FCN-3000, a large-scale real-time object detector in which objectness detection and classification are decoupled. To obtain the detection score for an RoI, we multiply the objectness score with the fine-grained classification score. Our approach is a modification of the R-FCN architecture in which position-sensitive filters are shared across different object classes for performing localization. For fine-grained classification, these position-sensitive filters are not needed. R-FCN-3000 obtains an mAP of 34.9% on the ImageNet detection dataset and outperforms YOLO-9000 by 18% while processing 30 images per second. We also show that the objectness learned by R-FCN-3000 generalizes to novel classes and the performance increases with the number of training object classes - supporting the hypothesis that it is possible to learn a universal objectness detector. Code will be made available.


title: Chains of Semiprime and Prime Ideals in Leavitt Path Algebras

abstract: Semiprime ideals of an arbitrary Leavitt path algebra L are described in terms of their generators. This description is then used to show that the semiprime ideals form a complete sublattice of the lattice of ideals of L, and they enjoy a certain gap property identified by Kaplansky in prime spectra of commutative rings. It is also shown that the totally ordered sets that can be realized as prime spectra of Leavitt path algebras are precisely those that have greatest lower bounds on subchains and enjoy the aforementioned gap property. Finally, it is shown that a conjecture of Kaplansky regarding identifying von Neumann regular rings via their prime factors holds for Leavitt path algebras.


title: Hot Streaks in Artistic, Cultural, and Scientific Careers

abstract: The hot streak, loosely defined as winning begets more winnings, highlights a specific period during which an individual's performance is substantially higher than her typical performance. While widely debated in sports, gambling, and financial markets over the past several decades, little is known if hot streaks apply to individual careers. Here, building on rich literature on lifecycle of creativity, we collected large-scale career histories of individual artists, movie directors and scientists, tracing the artworks, movies, and scientific publications they produced. We find that, across all three domains, hit works within a career show a high degree of temporal regularity, each career being characterized by bursts of high-impact works occurring in sequence. We demonstrate that these observations can be explained by a simple hot-streak model we developed, allowing us to probe quantitatively the hot streak phenomenon governing individual careers, which we find to be remarkably universal across diverse domains we analyzed: The hot streaks are ubiquitous yet unique across different careers. While the vast majority of individuals have at least one hot streak, hot streaks are most likely to occur only once. The hot streak emerges randomly within an individual's sequence of works, is temporally localized, and is unassociated with any detectable change in productivity. We show that, since works produced during hot streaks garner significantly more impact, the uncovered hot streaks fundamentally drives the collective impact of an individual, ignoring which leads us to systematically over- or under-estimate the future impact of a career. These results not only deepen our quantitative understanding of patterns governing individual ingenuity and success, they may also have implications for decisions and policies involving predicting and nurturing individuals with lasting impact.


title: Distinguishing the albedo of exoplanets from stellar activity

abstract: Light curves show the flux variation from the target star and its orbiting planets as a function of time. In addition to the transit features created by the planets, the flux also includes the reflected light component of each planet, which depends on the planetary albedo. This signal is typically referred to as phase curve and could be easily identified if there were no additional noise. As well as instrumental noise, stellar activity, such as spots, can create a modulation in the data, which may be very difficult to distinguish from the planetary signal. We analyze the limitations imposed by the stellar activity on the detection of the planetary albedo, considering the limitations imposed by the predicted level of instrumental noise and the short duration of the observations planned in the context of the CHEOPS mission. As initial condition, we have assumed that each star is characterized by just one orbiting planet. We built mock light curves that included a realistic stellar activity pattern, the reflected light component of the planet and an instrumental noise level, which we have chosen to be at the same level as predicted for CHEOPS. We then fit these light curves to try to recover the reflected light component, assuming the activity patterns can be modeled with a Gaussian process.We estimate that at least one full stellar rotation is necessary to obtain a reliable detection of the planetary albedo. This result is independent of the level of noise, but it depends on the limitation of the Gaussian process to describe the stellar activity when the light curve time-span is shorter than the stellar rotation. Finally, in presence of typical CHEOPS gaps in the simulations, we confirm that it is still possible to obtain a reliable albedo.


title: Degree of coupling and efficiency of energy converters far-from-equilibrium

abstract: In this paper, we introduce a real symmetric and positive semi-definite matrix, which we call the non-equilibrium conductance matrix, and which generalizes the Onsager response matrix for a system in a non-equilibrium stationary state. We then express the thermodynamic efficiency in terms of the coefficients of this matrix using a parametrization similar to the one used near equilibrium. This framework, then valid arbitrarily far from equilibrium allows to set bounds on the thermodynamic efficiency by a universal function depending only on the degree of coupling between input and output currents. It also leads to new general power-efficiency trade-offs valid for macroscopic machines that are compared to trade-offs previously obtained from uncertainty relations. We illustrate our results on an unicycle heat to heat converter and on a discrete model of molecular motor.


title: Improving the Performance of Online Neural Transducer Models

abstract: Having a sequence-to-sequence model which can operate in an online fashion is important for streaming applications such as Voice Search. Neural transducer is a streaming sequence-to-sequence model, but has shown a significant degradation in performance compared to non-streaming models such as Listen, Attend and Spell (LAS). In this paper, we present various improvements to NT. Specifically, we look at increasing the window over which NT computes attention, mainly by looking backwards in time so the model still remains online. In addition, we explore initializing a NT model from a LAS-trained model so that it is guided with a better alignment. Finally, we explore including stronger language models such as using wordpiece models, and applying an external LM during the beam search. On a Voice Search task, we find with these improvements we can get NT to match the performance of LAS.


title: The Presence of Dust and Ice Scattering in X-Ray Emissions from Comets

abstract: X-ray emissions from cometary atmospheres were modeled from first principles using the charge-exchange interaction with solar wind ions as well as coherent scattering of solar X-rays from dust and ice grains. Scattering cross-sections were interpolated over the 1 nm-1 cm grain radius range using approximations based on the optically thin or thick nature of grains with different sizes. The theoretical emission model was compared to Chandra observations of Comets ISON and Ikeya-Zhang due to their high signal-to-noise ratios and clearly defined spectral features. Comparing the observed intensities to the model showed that the charge-exchange mechanism accurately reproduced the emission spectra below 1 keV, while dust and ice scattering was negligible. Examining the 1-2 keV range found dust and ice scattering emissions to agree well with observations, while charge-exchange contributions were insignificant. Spectral features between the scattering model and observations also trended similarly over the 1-2 keV range. The dust and ice density within the cometary atmosphere $n$ was varied with respect to grain size $a$ as the function $n(a) \propto a^{-\alpha}$, with Ikeya-Zhang requiring $\alpha = 2.5$ and ISON requiring $\alpha = 2.2$ to best fit the observed spectral intensities. These grain size dependencies agreed with independent observations and simulations of such systems. The overall findings demonstrate evidence of significant scattering emissions present above 1 keV in the analyzed cometary emission spectra and that the dust/ice density dependence on grain radius $a$ may vary significantly between comets.


title: Triaxial instabilities in rapidly rotating Neutron Stars

abstract: Viscosity driven bar mode secular instabilities of rapidly rotating neutron stars are studied using LORENE/Nrotstar code. These instabilities set a more rigorous limit to the rotation frequency of neutron star than the Kepler frequency/mass shedding limit. The procedure employed in the code comprises of perturbing an axisymmetric and stationary configuration of a neutron star and studying its evolution by constructing a series of triaxial quasi-equilibrium configurations. Symmetry breaking point was found out for Polytropic as well as 10 realistic Equations of states (EOS) from the CompOSE database. The concept of piecewise polytropic EOSs has been used to comprehend the rotational instability of Realistic EOSs and validated with 19 different Realistic EOSs from CompOSE. The possibility of detecting quasi-periodic gravitational waves from viscosity driven instability with ground based LIGO/VIRGO interferometers is also discussed very briefly.


title: Deformations of Lie algebras of type ${D}_{l}$ and $\overline{{D}_{l}}$ in characteristic 2

abstract: The study of global deformations of Lie algebras is related to the problem of classification of simple Lie algebras over fields of small characteristic. The classification of finite-dimensional simple Lie algebras is complete over algebraically closed fields of characteristic $p>3$ (\cite{Strade1}-\cite{Strade3}). Over the fields of characteristic 2, a large number of examples of Lie algebras are constructed that do not fit into previously known schemes. Description of the deformation of classical Lie algebras first gives new examples of simple Lie algebras, and second allows you to describe known examples as deformations of classical Lie algebras, as is done, for example, in \cite{CKK}. This paper describes the spaces of local deformations of Lie algebras of the type $D_l$ for $l>3$ and the factor of the algebra at the center $\overline{D}_l$, and describes some global deformations of Lie algebras of these types that are not rigid.


title: The complete unitary dual of non-compact Lie superalgebra su(p,q|m) via the generalised oscillator formalism, and non-compact Young diagrams

abstract: We study the unitary representations of the non-compact real forms of the complex Lie superalgebra sl(n|m). Among them, only the real form su(p,q|m) (p+q=n) admits nontrivial unitary representations, and all such representations are of the highest-weight type (or the lowest-weight type). We extend the standard oscillator construction of the unitary representations of non-compact Lie superalgebras over standard Fock spaces to generalised Fock spaces which allows us to define the action of oscillator determinants raised to non-integer powers. We prove that the proposed construction yields all the unitary representations including those with continuous labels. The unitary representations can be diagrammatically represented by non-compact Young diagrams. We apply our general results to the physically important case of four-dimensional conformal superalgebra su(2,2|4) and show how it yields readily its unitary representations including those corresponding to supermultiplets of conformal fields with continuous (anomalous) scaling dimensions.


title: Factoring Shape, Pose, and Layout from the 2D Image of a 3D Scene

abstract: The goal of this paper is to take a single 2D image of a scene and recover the 3D structure in terms of a small set of factors: a layout representing the enclosing surfaces as well as a set of objects represented in terms of shape and pose. We propose a convolutional neural network-based approach to predict this representation and benchmark it on a large dataset of indoor scenes. Our experiments evaluate a number of practical design questions, demonstrate that we can infer this representation, and quantitatively and qualitatively demonstrate its merits compared to alternate representations.


title: Neural Cross-Lingual Entity Linking

abstract: A major challenge in Entity Linking (EL) is making effective use of contextual information to disambiguate mentions to Wikipedia that might refer to different entities in different contexts. The problem exacerbates with cross-lingual EL which involves linking mentions written in non-English documents to entries in the English Wikipedia: to compare textual clues across languages we need to compute similarity between textual fragments across languages. In this paper, we propose a neural EL model that trains fine-grained similarities and dissimilarities between the query and candidate document from multiple perspectives, combined with convolution and tensor networks. Further, we show that this English-trained system can be applied, in zero-shot learning, to other languages by making surprisingly effective use of multi-lingual embeddings. The proposed system has strong empirical evidence yielding state-of-the-art results in English as well as cross-lingual: Spanish and Chinese TAC 2015 datasets.


title: Machine learning as an instrument for data unfolding

abstract: A method for correcting for detector smearing effects using machine learning techniques is presented. Compared to the standard approaches the method can use more than one reconstructed variable to infere the value of the unsmeared quantity on event by event basis. The method is implemented using a sequential neural network with a categorical cross entropy as the loss function. It is tested on a toy example and is shown to satisfy basic closure tests. Possible application of the method for analysis of the data from high energy physics experiments is discussed.


title: Mastering Chess and Shogi by Self-Play with a General Reinforcement Learning Algorithm

abstract: The game of chess is the most widely-studied domain in the history of artificial intelligence. The strongest programs are based on a combination of sophisticated search techniques, domain-specific adaptations, and handcrafted evaluation functions that have been refined by human experts over several decades. In contrast, the AlphaGo Zero program recently achieved superhuman performance in the game of Go, by tabula rasa reinforcement learning from games of self-play. In this paper, we generalise this approach into a single AlphaZero algorithm that can achieve, tabula rasa, superhuman performance in many challenging domains. Starting from random play, and given no domain knowledge except the game rules, AlphaZero achieved within 24 hours a superhuman level of play in the games of chess and shogi (Japanese chess) as well as Go, and convincingly defeated a world-champion program in each case.


title: Could the physical world be emergent instead of fundamental, and why should we ask? (short version)

abstract: In physics, there is the prevailing intuition that we are part of a unique external world, and that the goal of physics is to understand and describe this world. This assumption of the fundamentality of objective reality is often seen as a major prerequisite of any kind of scientific reasoning. However, here I argue that we should consider relaxing this assumption in a specific way in some contexts. Namely, there is a collection of open questions in and around physics that can arguably be addressed in a substantially more consistent and rigorous way if we consider the possibility that the first-person perspective is ultimately more fundamental than our usual notion of external world. These are questions like: which probabilities should an observer assign to future experiences if she is told that she will be simulated on a computer? How should we think of cosmology's Boltzmann brain problem, and what can we learn from the fact that measurements in quantum theory seem to do more than just reveal preexisting properties? Why are there simple computable laws of physics in the first place? This note summarizes a longer companion paper which constructs a mathematically rigorous theory along those lines, suggesting a simple and unified framework (rooted in algorithmic information theory) to address questions like those above. It is not meant as a "theory of everything" (in fact, it predicts its own limitations), but it shows how a notion of objective external world, looking very much like our own, can provably emerge from a starting point in which the first-person perspective is primary, without apriori assumptions on the existence of "laws" or a "physical world". While the ideas here are perfectly compatible with physics as we know it, they imply some quite surprising predictions and suggest that we may want to substantially revise the way we think about some foundational questions.


title: Analyzing Large-Scale, Distributed and Uncertain Data

abstract: The exponential growth of data in current times and the demand to gain information and knowledge from the data present new challenges for database researchers. Known database systems and algorithms are no longer capable of effectively handling such large data sets. MapReduce is a novel programming paradigm for processing distributable problems over large-scale data using a computer cluster. In this work we explore the MapReduce paradigm from three different angles. We begin by examining a well-known problem in the field of data mining: mining closed frequent itemsets over a large dataset. By harnessing the power of MapReduce, we present a novel algorithm for mining closed frequent itemsets that outperforms existing algorithms. Next, we explore one of the fundamental implications of "Big Data": The data is not known with complete certainty. A probabilistic database is a relational database with the addendum that each tuple is associated with a probability of its existence. A natural development of MapReduce is of a distributed relational database management system, where relational calculus has been reduced to a combination of map and reduce function. We take this development a step further by proposing a query optimizer over distributed, probabilistic database. Finally, we analyze the best known implementation of MapReduce called Hadoop, aiming to overcome one of its major drawbacks: it does not directly support the explicit specification of the data repeatedly processed throughout different jobs.Many data-mining algorithms, such as clustering and association-rules require iterative computation: the same data are processed again and again until the computation converges or a stopping condition is satisfied. We propose a modification to Hadoop such that it will support efficient access to the same data in different jobs.


title: Minimum Word Error Rate Training for Attention-based Sequence-to-Sequence Models

abstract: Sequence-to-sequence models, such as attention-based models in automatic speech recognition (ASR), are typically trained to optimize the cross-entropy criterion which corresponds to improving the log-likelihood of the data. However, system performance is usually measured in terms of word error rate (WER), not log-likelihood. Traditional ASR systems benefit from discriminative sequence training which optimizes criteria such as the state-level minimum Bayes risk (sMBR) which are more closely related to WER. In the present work, we explore techniques to train attention-based models to directly minimize expected word error rate. We consider two loss functions which approximate the expected number of word errors: either by sampling from the model, or by using N-best lists of decoded hypotheses, which we find to be more effective than the sampling-based method. In experimental evaluations, we find that the proposed training procedure improves performance by up to 8.2% relative to the baseline system. This allows us to train grapheme-based, uni-directional attention-based models which match the performance of a traditional, state-of-the-art, discriminative sequence-trained system on a mobile voice-search task.


title: Discrimination of the DPRK underground explosions and their aftershocks using the P/S spectral amplitude ratio

abstract: We have estimated the performance of discrimination criterion based on the P/S spectral amplitude ratios obtained from six underground tests conducted by the DPRK since October 2006 and six aftershocks induced by the last two explosions. Two aftershocks were detected in routine processing at the IDC. Three aftershocks were detected by a prototype waveform cross correlation procedure with explosions as master events, and one aftershock was found with the aftershocks as master event. Two seismic arrays USRK and KSRS of the IMS and two non-IMS 3-C stations SEHB (South Korea) and MDJ (China) were used. With increasing frequency, all stations demonstrate approximately the same level of deviation between the Pg/Lg spectral amplitude ratios belonging to the DPRK explosions and their aftershocks. For a single station, simple statistical estimates show that the probability of any of six aftershocks not to be a sample from the explosion population is larger than 99.996% at the KSRS and even larger at USRK. The probability of any of the DPRK explosion to be a representative of the aftershock population is extremely small as defined by the distance of 20 and more standard deviations to the mean explosion Pg/Lg value. For network discrimination, we use the Mahalanobis distance combining the Pg/Lg estimates at three stations: USRK, KSRS and MDJ. At frequencies above 4 Hz, the (squared) Mahalanobis distance, D2, between the populations of explosions and aftershocks is larger than 100. In the frequency band between 6 and 12 Hz at USRK, the aftershocks distance from the average explosion D2>21,000. Statistically, the probability to confuse explosions and aftershocks is negligible. These discrimination results are related only to the aftershocks of the DPRK tests and cannot be directly extrapolated to the population of tectonic earthquakes in the same area.


title: Nonlocal Games and Quantum Permutation Groups

abstract: We present a strong connection between quantum information and quantum permutation groups. Specifically, we define a notion of quantum isomorphisms of graphs based on quantum automorphisms from the theory of quantum groups, and then show that this is equivalent to the previously defined notion of quantum isomorphism corresponding to perfect quantum strategies to the isomorphism game. Moreover, we show that two connected graphs $X$ and $Y$ are quantum isomorphic if and only if there exists $x \in V(X)$ and $y \in V(Y)$ that are in the same orbit of the quantum automorphism group of the disjoint union of $X$ and $Y$. This connection links quantum groups to the more concrete notion of nonlocal games and physically observable quantum behaviours. We exploit this link by using ideas and results from quantum information in order to prove new results about quantum automorphism groups, and about quantum permutation groups more generally. In particular, we show that asymptotically almost surely all graphs have trivial quantum automorphism group. Furthermore, we use examples of quantum isomorphic graphs from previous work to construct an infinite family of graphs which are quantum vertex transitive but fail to be vertex transitive, answering a question from the quantum group literature. Our main tool for proving these results is the introduction of orbits and orbitals (orbits on ordered pairs) of quantum permutation groups. We show that the orbitals of a quantum permutation group form a coherent configuration/algebra, a notion from the field of algebraic graph theory. We then prove that the elements of this quantum orbital algebra are exactly the matrices that commute with the magic unitary defining the quantum group. We furthermore show that quantum isomorphic graphs admit an isomorphism of their quantum orbital algebras which maps the adjacency matrix of one graph to that of the other.


title: Neural Machine Translation by Generating Multiple Linguistic Factors

abstract: Factored neural machine translation (FNMT) is founded on the idea of using the morphological and grammatical decomposition of the words (factors) at the output side of the neural network. This architecture addresses two well-known problems occurring in MT, namely the size of target language vocabulary and the number of unknown tokens produced in the translation. FNMT system is designed to manage larger vocabulary and reduce the training time (for systems with equivalent target language vocabulary size). Moreover, we can produce grammatically correct words that are not part of the vocabulary. FNMT model is evaluated on IWSLT'15 English to French task and compared to the baseline word-based and BPE-based NMT systems. Promising qualitative and quantitative results (in terms of BLEU and METEOR) are reported.


title: On the homology of Lie algebras like $\mathfrak{gl}(\infty,R)$

abstract: We revisit a recent paper of Fialowski and Iohara. They compute the homology of the Lie algebra $\mathfrak{gl}(\infty,R)$ for $R$ an associative unital algebra over a field of characteristic zero. We explain how to obtain essentially the same results by a completely different method.


title: 1I/`Oumuamua as a Tidal Disruption Fragment From a Binary Star System

abstract: 1I/`Oumuamua is the first known interstellar small body, probably being only about 100~m in size. Against expectations based on comets, `Oumuamua does not show any activity and has a very elongated figure, and also exhibits undamped rotational tumbling. In contrast, `Oumuamua's trajectory indicates that it was moving with the local stars, as expected from a low-velocity ejection from a relatively nearby system. Here I assume that `Oumuamua is typical of 100-m interstellar objects, and speculate on its origins. I find that giant planets are relatively inefficient at ejecting small bodies from inner solar systems of main-sequence stars, and that binary systems offer a much better opportunity for ejections of non-volatile bodies. I also conclude that `Oumuamua is not a member of a collisional population, which could explain its dramatic difference from small asteroids. I observe that 100-m small bodies are expected to carry little mass in realistic collisional populations, and that occasional events when whole planets are disrupted in catastrophic encounters may dominate interstellar population of 100-m fragments. Unlike the Sun or Jupiter, red dwarf stars are very dense and are capable of thoroughly tidally disrupting terrestrial planets. I conclude that the origin of `Oumuamua as a fragment from a planet that was tidally disrupted and then ejected by a dense member of a binary system could explain its peculiarities.


title: A new extended Cardioid model: an application to wind data

abstract: The Cardioid distribution is a relevant model for circular data. However, this model is not suitable for scenarios were there is asymmetry or multimodality. In order to overcome this gap, an extended Cardioid model is proposed, which is called Exponentiated Cardioid (EC) distribution. Besides, some of its properties are derived, such as trigonometric moments, kurtosis and skewness. A discussion about the modality and and expressions for the quantiles through approximations of the studied model are also presented. To fit the EC model, two estimation methods are presented based on maximum likelihood and quantile least squares procedures. The performance of proposed estimators is evaluated in a Monte Carlo simulation study, adopting both bias and mean square error as comparison criteria. Finally, the proposed model is applied to a dataset in the wind direction context. Results indicate that the EC distribution may outperform Cardioid and the von Mises distributions.


title: Relativistic Dynamics of Point Magnetic Moment

abstract: The covariant motion of a classical point particle with magnetic moment in the presence of (external) electromagnetic fields is revisited. We are interested in understanding Lorentz force extension involving point particle magnetic moment (Stern-Gerlach force) and how the spin precession dynamics is modified for consistency. We introduce spin as a classical particle property inherent to Poincare\'e symmetry of space-time. We propose a covariant formulation of the magnetic force based on a \lq magnetic\rq\ 4-potential and show how the point particle magnetic moment relates to the Amperian (current loop) and Gilbertian (magnetic monopole) description. We show that covariant spin precession lacks a unique form and discuss connection to $g-2$ anomaly. We consider variational action principle and find that a consistent extension of Lorentz force to include magnetic spin force is not straightforward. We look at non-covariant particle dynamics, and present a short introduction to dynamics of (neutral) particles hit by a laser pulse of arbitrary shape.

categories: physics.class-ph hep-ph physics.acc-ph physics.plasm-ph


title: Law without law: from observer states to physics via algorithmic information theory

abstract: According to our current conception of physics, any valid physical theory is supposed to describe the objective evolution of a unique external world. However, this condition is challenged by quantum theory, which suggests that physical systems should not always be understood as having objective properties which are simply revealed by measurement. Furthermore, as argued below, several other conceptual puzzles in the foundations of physics and related fields point to limitations of our current perspective and motivate the exploration of an alternative: to start with the first-person (the observer) rather than the third-person perspective (the world). In this work, I propose a rigorous approach of this kind on the basis of algorithmic information theory. It is based on a single postulate: that universal induction determines the chances of what any observer sees next. That is, instead of a world or physical laws, it is the local state of the observer alone that determines those probabilities. Surprisingly, despite its solipsistic foundation, I show that the resulting theory recovers many features of our established physical worldview: it predicts that it appears to observers as if there was an external world that evolves according to simple, computable, probabilistic laws. In contrast to the standard view, objective reality is not assumed on this approach but rather provably emerges as an asymptotic statistical phenomenon. The resulting theory dissolves puzzles like cosmology's Boltzmann brain problem, makes concrete predictions for thought experiments like the computer simulation of agents, and suggests novel phenomena such as "probabilistic zombies" governed by observer-dependent probabilistic chances. It also suggests that some basic phenomena of quantum theory (Bell inequality violation and no-signalling) might be understood as consequences of this framework.


title: Semi-infinite herringbone waveguides in elastic plates

abstract: The paper includes novel results for the scattering and localisation of a time-harmonic flexural wave by a semi-infinite herringbone waveguide of rigid pins embedded within an elastic Kirchhoff plate. The analytical model takes into account the orientation and spacing of the constituent parts of the herringbone system, and incorporates dipole approximations for the case of closely spaced pins. Illustrative examples are provided, together with the predictive theoretical analysis of the localised waveforms.


title: The universal von Neumann algebra of smooth four-manifolds revisited

abstract: Making use of its smooth structure only, out of a connected oriented smooth $4$-manifold a von Neumann algebra is constructed. It is geometric in the sense that is generated by local operators and as a special four dimensional phenomenon it contains all algebraic (i.e., formal or coming from a metric) curvature tensors of the underlying $4$-manifold. The von Neumann algebra itself is a hyperfinite factor of ${\rm II}_1$-type hence is unique up to abstract isomorphisms of von Neumann algebras. Over a fixed $4$-manifold this universal von Neumann algebra admits a particular representation on a Hilbert space such that its unitary equivalence class is preserved by orientation-preserving diffeomorphisms consequently the Murray--von Neumann coupling constant of this representation is well-defined and gives rise to a new and computable real-valued smooth $4$-manifold invariant. Its link with Jones' subfactor theory is noticed as well as computations in the simply connected closed case are carried out. Application to the cosmological constant problem is also discussed. Namely, the aforementioned mathematical construction allows to reformulate the classical vacuum Einstein equation with cosmological constant over a $4$-manifold as an operator equation over its tracial universal von Neumann algebra such that the trace of a solution is naturally identified with the cosmological constant. This framework permits to use the observed magnitude of the cosmological constant to estimate by topological means the number of primordial black holes about the Planck era. This number turns out to be negligable which is in agreement with known density estimates based on the Press--Schechter mechanism.


title: Chemical reactions in the nitrogen-acetone ice induced by cosmic ray analogs: relevance for the Solar System

abstract: The radiolysis of a nitrogen-acetone mixture, condensed at 11 K, by 40 MeV $^{58}$Ni$^{11+}$ ions is studied. These results are representative of studies concerning solar system objects exposed to cosmic rays. In the Kuiper Belt, region of Trans-Neptunian Objects (TNOs), acetone, molecular nitrogen and other small molecules were detected and may be present on icy surfaces. Bombardment by cosmic rays triggers chemical reactions leading to synthesis of larger molecules. In this work, destruction cross sections of acetone and nitrogen in solid phase are determined from a sequence of infrared spectra obtained at increasing ion beam fluence. The results are analyzed and compared with those of previous experiments performed with pure acetone. It is observed that the molecular nitrogen column density decrease very fast, suggesting that nitrogen quickly leaves a porous sample under irradiation. The behavior of acetone in the mixture confirms that the ice formed by deposition of vapor mixture is more porous than that of pure acetone ice. The most abundant molecular species formed from the mixture during irradiation are: C$_3$H$_6$, C$_2$H$_6$, N$_3$, CO, CH$_4$ and CO$_2$. Some N-bearing species are also formed, but with low production yield. Comparing with pure acetone results, it is seen that dissolving acetone in nitrogen affects the formation cross sections of the new species: CH$_4$, CO$_2$ and H$_2$CO, for example, have formation cross section smaller than the respective values for irradiated pure acetone, while those for CO and C$_2$H$_6$ species are higher. This fact can explain the presence of C$_2$H$_6$ even in regions on Pluto where CH$_4$ is not pure, but diluted in a N$_2$ matrix together with less abundant species. These results also show the formation of more complex molecules, such as HNCO, acetic acid and, possibility, glycine.


title: Performance of a MICROMEGAS-based TPC in a high-energy neutron beam

abstract: The MICROMEGAS (MICRO-MEsh GAseous Structure) charge amplification structure has found wide use in many detection applications, especially as a gain stage for the charge readout of Time Projection Chambers (TPCs). Here we report on the behavior of a MICROMEGAS TPC when operated in a high-energy (up to 800 MeV) neutron beam. It is found that neutron-induced reactions can cause discharges in some drift gas mixtures that are stable in the absence of the neutron beam. The discharges result from recoil ions close to the MICROMEGAS that deposit high specific ionization density and have a limited diffusion time. For a binary drift gas, increasing the percentage of the molecular component (quench gas) relative to the noble component and operating at lower pressures generally improves stability.


title: Precise Neutron Lifetime Measurement with a Solenoidal Coil

abstract: The neutron lifetime, $\tau$ = 880.2 $\pm$ 1.0 sec , is an important parameter for particle physics and cosmology. There is, however, an 8.4 sec (4.0$\,\sigma$) deviation between the measured value of the neutron lifetime using two methods : one method counts neutrons that survive after some time, while the other counts protons resulting from neutron beta decay. A new method is being implemented at J-PARC / MLF / BL05 using a pulsed cold neutron beam. A Time Projection Chamber (TPC) records both the electrons from neutron beta decay and protons from the neutron-$^3$He capture reactions in order to estimate the neutron flux. Electron background signals require the largest correction and are source of uncertainty for this experiment. A solenoidal magnetic field can greatly reduce this background. The TPC drift region must be divided into three region in this case. A prototype detector was developed to study the multi drift layer TPC. The status of a study using a prototype detector is reported in this paper.


title: Influence of Diode Laser Intensity Modulation on Photoacoustic Image Quality for Oral Soft Tissue Imaging

abstract: Imaging technologies have been developed to assist physicians and dentist in the detection of various diseases. Photoacoustic imaging (PAI) is a new imaging technique that shows great promise to image soft tissues. The prototype of PAI system in this study utilized a non-ionizing 532nm continue-wave diode laser illumination to image oral soft tissue. The aim of this study was to investigate the effect of diode laser intensity modulation to the Photoacoustic image quality. Samples in this study were oral soft tissues from six Sprague Dawley rats imaged by using the PAI system. To determine the optimum duty cycle of laser intensity modulation, the laser exposure for oral soft tissue imaging was set in various duty cycles.


title: Towards Recovery of Conditional Vectors from Conditional Generative Adversarial Networks

abstract: A conditional Generative Adversarial Network allows for generating samples conditioned on certain external information. Being able to recover latent and conditional vectors from a condi- tional GAN can be potentially valuable in various applications, ranging from image manipulation for entertaining purposes to diagnosis of the neural networks for security purposes. In this work, we show that it is possible to recover both latent and conditional vectors from generated images given the generator of a conditional generative adversarial network. Such a recovery is not trivial due to the often multi-layered non-linearity of deep neural networks. Furthermore, the effect of such recovery applied on real natural images are investigated. We discovered that there exists a gap between the recovery performance on generated and real images, which we believe comes from the difference between generated data distribution and real data distribution. Experiments are conducted to evaluate the recovered conditional vectors and the reconstructed images from these recovered vectors quantitatively and qualitatively, showing promising results.


title: Optimal Quasi-Gray Codes: The Alphabet Matters

abstract: A quasi-Gray code of dimension $n$ and length $\ell$ over an alphabet $\Sigma$ is a sequence of distinct words $w_1,w_2,\dots,w_\ell$ from $\Sigma^n$ such that any two consecutive words differ in at most $c$ coordinates, for some fixed constant $c>0$. In this paper we are interested in the read and write complexity of quasi-Gray codes in the bit-probe model, where we measure the number of symbols read and written in order to transform any word $w_i$ into its successor $w_{i+1}$. We present construction of quasi-Gray codes of dimension $n$ and length $3^n$ over the ternary alphabet $\{0,1,2\}$ with worst-case read complexity $O(\log n)$ and write complexity $2$. This generalizes to arbitrary odd-size alphabets. For the binary alphabet, we present quasi-Gray codes of dimension $n$ and length at least $2^n - 20n$ with worst-case read complexity $6+\log n$ and write complexity $2$. This complements a recent result by Raskin [Raskin '17] who shows that any quasi-Gray code over binary alphabet of length $2^n$ has read complexity $\Omega(n)$. Our results significantly improve on previously known constructions and for the odd-size alphabets we break the $\Omega(n)$ worst-case barrier for space-optimal (non-redundant) quasi-Gray codes with constant number of writes. We obtain our results via a novel application of algebraic tools together with the principles of catalytic computation [Buhrman et al. '14, Ben-Or and Cleve '92, Barrington '89, Coppersmith and Grossman '75].


title: Percolation Threshold Results on \Erdos-\Renyi Graphs: an Empirical Process Approach

abstract: In this paper we define a directed percolation over Erdos-Renyi graphs and derive weak limit results for the resulting stochastic process.


title: Sub-structure and merger detection in resolved NIKA Sunyaev-Zel'dovich images of distant clusters

abstract: Sub-structures in the hot gas of galaxy clusters are related to their formation history and to the astrophysical processes at play in the intracluster medium (ICM). The thermal Sunyaev-Zel'dovich (tSZ) effect is directly sensitive to the line-of-sight integrated ICM pressure, and is thus particularly adapted to study ICM sub-structures. We apply structure-enhancement filtering algorithms to high resolution tSZ observations of distant clusters, in order to search for pressure discontinuities, compressions, as well as secondary peaks in the ICM. The same filters are applied to synthetic tSZ images extracted from RHAPSODY-G hydrodynamic simulations, in order to better interpret the extracted features. We also study the noise propagation trough the filters and quantify the impact of systematic effects, point source residuals being identified as the dominant potential contaminant. In 3 of our 6 NIKA clusters we identify features at high S/N that show clear evidence for merger events. In MACSJ0717 (z=0.55), three strong pressure gradients are observed on the E, SE and W sectors, and two main peaks in the pressure distribution are identified. We observe a lack of tSZ compact structure in the cool-core cluster PSZ1G045.85 (z=0.61), and a tSZ gradient ridge dominates in the SE. In the highest z cluster, CLJ1227 (z=0.89), we detect a ~45" (360 kpc) long ridge pressure gradient associated with a secondary pressure peak in the W region. Our results show that current tSZ facilities have now reached the angular resolution and sensitivity to allow an exploration of the details of pressure sub-structures in clusters, even at high z. This opens the possibility to quantify the impact of the dynamical state on the relation between the tSZ signal and the mass of clusters, which is important when using tSZ clusters to test cosmological models. This work also marks the first NIKA cluster sample data release.


title: Large deviations in the presence of cooperativity and slow dynamics

abstract: We study simple models of intermittency, involving switching between two states, within the dynamical large-deviation formalism. Singularities appear in the formalism when switching is cooperative, or when its basic timescale diverges. In the first case the unbiased trajectory distribution undergoes a symmetry breaking, leading to a change of shape of the large-deviation rate function for a particular dynamical observable. In the second case the symmetry of the unbiased trajectory distribution remains unbroken. Comparison of these models suggests that singularities of the dynamical large-deviation formalism can signal the dynamical equivalent of an equilibrium phase transition, but do not necessarily do so.