title: Classification of postoperative surgical site infections from blood measurements with missing data using recurrent neural networks

abstract: Clinical measurements that can be represented as time series constitute an important fraction of the electronic health records and are often both uncertain and incomplete. Recurrent neural networks are a special class of neural networks that are particularly suitable to process time series data but, in their original formulation, cannot explicitly deal with missing data. In this paper, we explore imputation strategies for handling missing values in classifiers based on recurrent neural network (RNN) and apply a recently proposed recurrent architecture, the Gated Recurrent Unit with Decay, specifically designed to handle missing data. We focus on the problem of detecting surgical site infection in patients by analyzing time series of their blood sample measurements and we compare the results obtained with different RNN-based classifiers.


title: Wikipedia for Smart Machines and Double Deep Machine Learning

abstract: Very important breakthroughs in data centric deep learning algorithms led to impressive performance in transactional point applications of Artificial Intelligence (AI) such as Face Recognition, or EKG classification. With all due appreciation, however, knowledge blind data only machine learning algorithms have severe limitations for non-transactional AI applications, such as medical diagnosis beyond the EKG results. Such applications require deeper and broader knowledge in their problem solving capabilities, e.g. integrating anatomy and physiology knowledge with EKG results and other patient findings. Following a review and illustrations of such limitations for several real life AI applications, we point at ways to overcome them. The proposed Wikipedia for Smart Machines initiative aims at building repositories of software structures that represent humanity science & technology knowledge in various parts of life; knowledge that we all learn in schools, universities and during our professional life. Target readers for these repositories are smart machines; not human. AI software developers will have these Reusable Knowledge structures readily available, hence, the proposed name ReKopedia. Big Data is by now a mature technology, it is time to focus on Big Knowledge. Some will be derived from data, some will be obtained from mankind gigantic repository of knowledge. Wikipedia for smart machines along with the new Double Deep Learning approach offer a paradigm for integrating datacentric deep learning algorithms with algorithms that leverage deep knowledge, e.g. evidential reasoning and causality reasoning. For illustration, a project is described to produce ReKopedia knowledge modules for medical diagnosis of about 1,000 disorders. Data is important, but knowledge deep, basic, and commonsense is equally important.


title: Towards operational natural language

abstract: The multiplicity of software projects' stakeholders and activities leads to the multiplicity of software specification views and thus creates the need to establish mutual consistency between them. The process of establishing such consistency is error-prone and requires adequate tool support. The present article introduces specogramming - an approach that treats a modern object-oriented integrated development environment as a word processor. The approach turns the process of documenting initial specifications into a simplified form of programming and turns structured-natural-language specifications into runnable programs that yield multiple consistent-by-construction views, one of which is structured natural language.


title: High-charge relativistic electron bunches from a kHz laser-plasma accelerator

abstract: We report on electron wakefield acceleration in the resonant bubble regime with few-millijoule near-single-cycle laser pulses at a kilohertz repetition rate. Using very tight focusing of the laser pulse in conjunction with microscale supersonic gas jets, we demonstrate a stable relativistic electron source with a high charge per pulse up to 24 pC/shot. The corresponding average current is 24 nA, making this kilohertz electron source useful for various applications.


title: Reaction rates and transport in neutron stars

abstract: Understanding signals from neutron stars requires knowledge about the transport inside the star. We review the transport properties and the underlying reaction rates of dense hadronic and quark matter in the crust and the core of neutron stars and point out open problems and future directions.


title: Optimal rates of linear convergence of the averaged alternating modified reflections method for two subspaces

abstract: The averaged alternating modified reflections (AAMR) method is a projection algorithm for finding the closest point in the intersection of convex sets to any arbitrary point in a Hilbert space. This method can be seen as an adequate modification of the Douglas--Rachford method that yields a solution to the best approximation problem. In this paper we consider the particular case of two subspaces in a Euclidean space. We obtain the rate of linear convergence of the AAMR method in terms of the Friedrichs angle between the subspaces and the parameters defining the scheme, by studying the linear convergence rates of the powers of matrices. We further optimize the value of these parameters in order to get the minimal convergence rate, which turns out to be better than the one of other projection methods. Finally, we provide some numerical experiments that demonstrate the theoretical results.


title: Enhancement of Electromagnetically Induced Transparency in Metamaterials Using Long Range Coupling Mediated by a Hyperbolic Material

abstract: Near-field coupling is a fundamental physical effect, which plays an important role in the establishment of classical analog of electromagnetically induced transparency (EIT). However, in a normal environment the coupling length between the bright and dark artificial atoms is very short and far less than one wavelength, owing to the exponentially decaying property of near fields. In this work, we report the realization of a long range EIT, by using a hyperbolic metamaterial (HMM) which can convert the near fields into high-k propagating waves to overcome the problem of weak coupling at long distance. Both simulation and experiment show that the coupling length can be enhanced by nearly two orders of magnitude with the aid of a HMM. This long range EIT might be very useful in a variety of applications including sensors, detectors, switch, long-range energy transfer, etc.


title: Nematic Spin Liquid Phase in a Frustrated Spin-1 System on the Square Lattice

abstract: Frustration in quantum spin systems promote a variety of novel quantum phases. An important example is the frustrated spin-$1$ model on the square lattice with the nearest-neighbor bilinear ($J_1$) and biquadratic ($K_1$) interactions. We provide strong evidence for a nematic spin liquid phase in a range of $K_1/J_1$ near the SU(3)-symmetric point ($J_1 = K_1$), based on the linear flavor-wave theory and extensive density matrix renormalization group calculation. This phase displays no spin dipolar or quadrupolar order, preserves translational symmetry but spontaneously breaks $C_4$ lattice rotational symmetry, and possesses fluctuations peaked at the wavevector $(\pi, 2\pi/3)$. The spin excitation gap drops rapidly with system size and appears to be gapless, and the nematic order is attributed to the dominant $(\pi, 2\pi/3)$ fluctuations. Our results provide a novel mechanism for electronic nematic order and, more generally, open up a new avenue to explore frustration-induced exotic ground states.


title: Random walk on a randomly oriented honeycomb lattice

abstract: We study the recurrence behaviour of random walks on partially oriented honeycomb lattices. The vertical edges are undirected while the orientation of the horizontal edges is random: depending on their distribution, we prove a.s. transience in some cases, and a.s. recurrence in other ones. The results extend those obtained for the partially oriented square grid lattices (Campanino and Petritis (2003), Campanino and Petritis (2014)).


title: Results on the Aharonov-Bohm effect without contact with the solenoid

abstract: We add a confining potential to the Aharonov-Bohm model resulting in no contact of the particle with the solenoid (border); this is characterized by a unique self-adjoint extension of the initial Hamiltonian operator. It is shown that the spectrum of such extension is discrete and the first eigenvalue is found to be a nonconstant 1-periodic function of the magnetic flux circulation with a minimum at integers and maximum at half-integer circulations. This is a rigorous verification of the effect.


title: Multi-Label Zero-Shot Learning with Structured Knowledge Graphs

abstract: In this paper, we propose a novel deep learning architecture for multi-label zero-shot learning (ML-ZSL), which is able to predict multiple unseen class labels for each input instance. Inspired by the way humans utilize semantic knowledge between objects of interests, we propose a framework that incorporates knowledge graphs for describing the relationships between multiple labels. Our model learns an information propagation mechanism from the semantic label space, which can be applied to model the interdependencies between seen and unseen class labels. With such investigation of structured knowledge graphs for visual reasoning, we show that our model can be applied for solving multi-label classification and ML-ZSL tasks. Compared to state-of-the-art approaches, comparable or improved performances can be achieved by our method.


title: Multiwinner Elections with Diversity Constraints

abstract: We develop a model of multiwinner elections that combines performance-based measures of the quality of the committee (such as, e.g., Borda scores of the committee members) with diversity constraints. Specifically, we assume that the candidates have certain attributes (such as being a male or a female, being junior or senior, etc.) and the goal is to elect a committee that, on the one hand, has as high a score regarding a given performance measure, but that, on the other hand, meets certain requirements (e.g., of the form "at least $30\%$ of the committee members are junior candidates and at least $40\%$ are females"). We analyze the computational complexity of computing winning committees in this model, obtaining polynomial-time algorithms (exact and approximate) and NP-hardness results. We focus on several natural classes of voting rules and diversity constraints.


title: Training Simplification and Model Simplification for Deep Learning: A Minimal Effort Back Propagation Method

abstract: We propose a simple yet effective technique to simplify the training and the resulting model of neural networks. In back propagation, only a small subset of the full gradient is computed to update the model parameters. The gradient vectors are sparsified in such a way that only the top-k elements (in terms of magnitude) are kept. As a result, only k rows or columns (depending on the layout) of the weight matrix are modified, leading to a linear reduction in the computational cost. Based on the sparsified gradients, we further simplify the model by eliminating the rows or columns that are seldom updated, which will reduce the computational cost both in the training and decoding, and potentially accelerate decoding in real-world applications. Surprisingly, experimental results demonstrate that most of time we only need to update fewer than 5% of the weights at each back propagation pass. More interestingly, the accuracy of the resulting models is actually improved rather than degraded, and a detailed analysis is given. The model simplification results show that we could adaptively simplify the model which could often be reduced by around 9x, without any loss on accuracy or even with improved accuracy. The codes, including the extension, are available at https://github.com/lancopku/meSimp


title: Variational projector augmented-wave method: theoretical analysis and preliminary numerical results

abstract: In Kohn-Sham electronic structure computations, wave functions have singularities at nuclear positions. Because of these singularities, plane-wave expansions give a poor approximation of the eigenfunctions. In conjunction with the use of pseudo-potentials, the PAW (projector augmented-wave) method circumvents this issue by replacing the original eigenvalue problem by a new one with the same eigenvalues but smoother eigenvectors. Here a slightly different method, called VPAW (variational PAW), is proposed and analyzed. This new method allows for a better convergence with respect to the number of plane-waves. Some numerical tests on an idealized case corroborate this efficiency.


title: Graph Clustering using Effective Resistance

abstract: $ \def\vecc#1{\boldsymbol{#1}} $We design a polynomial time algorithm that for any weighted undirected graph $G = (V, E,\vecc w)$ and sufficiently large $\delta > 1$, partitions $V$ into subsets $V_1, \ldots, V_h$ for some $h\geq 1$, such that $\bullet$ at most $\delta^{-1}$ fraction of the weights are between clusters, i.e. \[ w(E - \cup_{i = 1}^h E(V_i)) \lesssim \frac{w(E)}{\delta};\] $\bullet$ the effective resistance diameter of each of the induced subgraphs $G[V_i]$ is at most $\delta^3$ times the average weighted degree, i.e. \[ \max_{u, v \in V_i} \mathsf{Reff}_{G[V_i]}(u, v) \lesssim \delta^3 \cdot \frac{|V|}{w(E)} \quad \text{ for all } i=1, \ldots, h.\] In particular, it is possible to remove one percent of weight of edges of any given graph such that each of the resulting connected components has effective resistance diameter at most the inverse of the average weighted degree. Our proof is based on a new connection between effective resistance and low conductance sets. We show that if the effective resistance between two vertices $u$ and $v$ is large, then there must be a low conductance cut separating $u$ from $v$. This implies that very mildly expanding graphs have constant effective resistance diameter. We believe that this connection could be of independent interest in algorithm design.


title: Quantum Information and Elementary Particles

abstract: Motivated by string theory and standard model physics, we discuss the possibility of other particles-based quantum information. A special attention is put on the consideration of the graviton in light of the gravitational wave detection. This may offer a new take in approaching quantum information using messenger particles. The construction is readily extended to higher dimensional qubits where we speculate on possible connections with open and closed string sectors in terms of quiver and graph theories, respectively. In particular, we reveal that the vectorial qubits could be associated with skeleton diagrams considered as extended quivers.


title: Strong Reductions between Relatives of the Stable Ramsey's Theorem

abstract: A complete analysis is given of the computable reductions that hold between $\mathsf{SRT}^2_2$, $\mathsf{SPT}^2_2$, and $\mathsf{SIPT}^2_2$. In particular, while $\mathsf{D}^2_2\le_{\rm sW}\mathsf{SIPT}^2_2\le_{\rm sW}\mathsf{SPT}^2_2\le_{\rm sW}\mathsf{SRT}^2_2$, it is shown that $\mathsf{SRT}^2_2\not\le_{\rm sc}\mathsf{SPT}^2_2\not\le_{\rm sc}\mathsf{SIPT}^2_2\not\le_{\rm sc}\mathsf{D}^2_2$.


title: Cubes, side lengths and centres

abstract: It is known that in $\mathbb{R}^n,n\geq 2$, a compact set which contains $n-1$ spheres with all radii in $[1/2,1]$ or with all possible centres in $[0,1]^n$ has full Hausdorff dimension. In fact the later set has positive Lebesgue measure. In this paper we consider a similar problem with sphere replacing by fractal cubes. The radii set and the centre set are also considered to be fractal sets. In addition we discuss the exceptional set in the setting of general largeness. In the end, an Furstenberg type example is discussed which can be somehow considered as the Furstenberg $\times 2$, $\times 3$ set conjecture (now theorem) in the setting of cubes/circles sets considered here.


title: An Experimental Platform for Pulsed-Power Driven Magnetic Reconnection

abstract: We describe a versatile pulsed-power driven platform for magnetic reconnection experiments, based on exploding wire arrays driven in parallel [Suttle, L. G. et al. PRL, 116, 225001]. This platform produces inherently magnetised plasma flows for the duration of the generator current pulse (250 ns), resulting in a long-lasting reconnection layer. The layer exists for long enough to allow evolution of complex processes such as plasmoid formation and movement to be diagnosed by a suite of high spatial and temporal resolution laser-based diagnostics. We can access a wide range of magnetic reconnection regimes by changing the wire material or moving the electrodes inside the wire arrays. We present results with aluminium and carbon wires, in which the parameters of the inflows and the layer which forms are significantly different. By moving the electrodes inside the wire arrays, we change how strongly the inflows are driven. This enables us to study both symmetric reconnection in a range of different regimes, and asymmetric reconnection.


title: Community Detection in Dynamic Networks via Adaptive Label Propagation

abstract: An adaptive label propagation algorithm (ALPA) is proposed to detect and monitor communities in dynamic networks. Unlike the traditional methods by re-computing the whole community decomposition after each modification of the network, ALPA takes into account the information of historical communities and updates its solution according to the network modifications via a local label propagation process, which generally affects only a small portion of the network. This makes it respond to network changes at low computational cost. The effectiveness of ALPA has been tested on both synthetic and real-world networks, which shows that it can successfully identify and track dynamic communities. Moreover, ALPA could detect communities with high quality and accuracy compared to other methods. Therefore, being low-complexity and parameter-free, ALPA is a scalable and promising solution for some real-world applications of community detection in dynamic networks.


title: Nonlinear oscillatory mixing in the generalized Landau scenario

abstract: We present a set of phase-space portraits illustrating the extraordinary oscillatory possibilities of the dynamical systems through the so-called generalized Landau scenario. In its simplest form the scenario develops in N dimensions around a saddle-node pair of fixed points experiencing successive Hopf bifurcations up to exhausting their stable manifolds and generating N-1 different limit cycles. The oscillation modes associated with these cycles extend over a wide phase-space region by mixing ones within the others and by affecting both the transient trajectories and the periodic orbits themselves. A mathematical theory covering the mode-mixing mechanisms is lacking, and our aim is to provide an overview of their main qualitative features in order to stimulate research on it.


title: First lattice calculation of the QED corrections to leptonic decay rates

abstract: The leading-order electromagnetic and strong isospin-breaking corrections to the ratio of $K_{\mu 2}$ and $\pi_{\mu 2}$ decay rates are evaluated for the first time on the lattice, following a method recently proposed. The lattice results are obtained using the gauge ensembles produced by the European Twisted Mass Collaboration with $N_f = 2 + 1 + 1$ dynamical quarks. Systematics effects are evaluated and the impact of the quenched QED approximation is estimated. Our result for the correction to the tree-level $K_{\mu 2} / \pi_{\mu 2}$ decay ratio is $-1.22\,(16) \%$ to be compared to the estimate $-1.12\,(21) \%$ based on Chiral Perturbation Theory and adopted by the Particle Data Group.


title: Discovery of Complex Anomalous Patterns of Sexual Violence in El Salvador

abstract: When sexual violence is a product of organized crime or social imaginary, the links between sexual violence episodes can be understood as a latent structure. With this assumption in place, we can use data science to uncover complex patterns. In this paper we focus on the use of data mining techniques to unveil complex anomalous spatiotemporal patterns of sexual violence. We illustrate their use by analyzing all reported rapes in El Salvador over a period of nine years. Through our analysis, we are able to provide evidence of phenomena that, to the best of our knowledge, have not been previously reported in literature. We devote special attention to a pattern we discover in the East, where underage victims report their boyfriends as perpetrators at anomalously high rates. Finally, we explain how such analyzes could be conducted in real-time, enabling early detection of emerging patterns to allow law enforcement agencies and policy makers to react accordingly.


title: Symmetries and regularity for holomorphic maps between balls

abstract: Let $f:{\mathbb B}^n \to {\mathbb B}^N$ be a holomorphic map. We study subgroups $\Gamma_f \subseteq {\rm Aut}({\mathbb B}^n)$ and $T_f \subseteq {\rm Aut}({\mathbb B}^N)$. When $f$ is proper, we show both these groups are Lie subgroups. When $\Gamma_f$ contains the center of ${\bf U}(n)$, we show that $f$ is spherically equivalent to a polynomial. When $f$ is minimal we show that there is a homomorphism $\Phi:\Gamma_f \to T_f$ such that $f$ is equivariant with respect to $\Phi$. To do so, we characterize minimality via the triviality of a third group $H_f$. We relate properties of ${\rm Ker}(\Phi)$ to older results on invariant proper maps between balls. When $f$ is proper but completely non-rational, we show that either both $\Gamma_f$ and $T_f$ are finite or both are noncompact.


title: Learning a Robust Representation via a Deep Network on Symmetric Positive Definite Manifolds

abstract: Recent studies have shown that aggregating convolutional features of a pre-trained Convolutional Neural Network (CNN) can obtain impressive performance for a variety of visual tasks. The symmetric Positive Definite (SPD) matrix becomes a powerful tool due to its remarkable ability to learn an appropriate statistic representation to characterize the underlying structure of visual features. In this paper, we propose to aggregate deep convolutional features into an SPD matrix representation through the SPD generation and the SPD transformation under an end-to-end deep network. To this end, several new layers are introduced in our network, including a nonlinear kernel aggregation layer, an SPD matrix transformation layer, and a vectorization layer. The nonlinear kernel aggregation layer is employed to aggregate the convolutional features into a real SPD matrix directly. The SPD matrix transformation layer is designed to construct a more compact and discriminative SPD representation. The vectorization and normalization operations are performed in the vectorization layer for reducing the redundancy and accelerating the convergence. The SPD matrix in our network can be considered as a mid-level representation bridging convolutional features and high-level semantic features. To demonstrate the effectiveness of our method, we conduct extensive experiments on visual classification. Experiment results show that our method notably outperforms state-of-the-art methods.


title: Logic Bug Detection and Localization Using Symbolic Quick Error Detection

abstract: We present Symbolic Quick Error Detection (Symbolic QED), a structured approach for logic bug detection and localization which can be used both during pre-silicon design verification as well as post-silicon validation and debug. This new methodology leverages prior work on Quick Error Detection (QED) which has been demonstrated to drastically reduce the latency, in terms of the number of clock cycles, of error detection following the activation of a logic (or electrical) bug. QED works through software transformations, including redundant execution and control flow checking, of the applied tests. Symbolic QED combines these error-detecting QED transformations with bounded model checking-based formal analysis to generate minimal-length bug activation traces that detect and localize any logic bugs in the design. We demonstrate the practicality and effectiveness of Symbolic QED using the OpenSPARC T2, a 500-million-transistor open-source multicore System-on-Chip (SoC) design, and using "difficult" logic bug scenarios observed in various state-of-the-art commercial multicore SoCs. Our results show that Symbolic QED: (i) is fully automatic, unlike manual techniques in use today that can be extremely time-consuming and expensive; (ii) requires only a few hours in contrast to manual approaches that might take days (or even months) or formal techniques that often take days or fail completely for large designs; and (iii) generates counter-examples (for activating and detecting logic bugs) that are up to 6 orders of magnitude shorter than those produced by traditional techniques. Significantly, this new approach does not require any additional hardware.


title: Mechanizing Principia Logico-Metaphysica in Functional Type Theory

abstract: Principia Logico-Metaphysica contains a foundational logical theory for metaphysics, mathematics, and the sciences. It includes a canonical development of Abstract Object Theory [AOT], a metaphysical theory (inspired by ideas of Ernst Mally, formalized by Zalta) that distinguishes between ordinary and abstract objects. This article reports on recent work in which AOT has been successfully represented and partly automated in the proof assistant system Isabelle/HOL. Initial experiments within this framework reveal a crucial but overlooked fact: a deeply-rooted and known paradox is reintroduced in AOT when the logic of complex terms is simply adjoined to AOT's specially-formulated comprehension principle for relations. This result constitutes a new and important paradox, given how much expressive and analytic power is contributed by having the two kinds of complex terms in the system. Its discovery is the highlight of our joint project and provides strong evidence for a new kind of scientific practice in philosophy, namely, computational metaphysics. Our results were made technically possible by a suitable adaptation of Benzm\"uller's metalogical approach to universal reasoning by semantically embedding theories in classical higher-order logic. This approach enables one to reuse state-of-the-art higher-order proof assistants, such as Isabelle/HOL, for mechanizing and experimentally exploring challenging logics and theories such as AOT. Our results also provide a fresh perspective on the question of whether relational type theory or functional type theory better serves as a foundation for logic and metaphysics.


title: Destabilizing turbulence in pipe flow

abstract: Turbulence is the major cause of friction losses in transport processes and it is responsible for a drastic drag increase in flows over bounding surfaces. While much effort is invested into developing ways to control and reduce turbulence intensities, so far no methods exist to altogether eliminate turbulence if velocities are sufficiently large. We demonstrate for pipe flow that appropriate distortions to the velocity profile lead to a complete collapse of turbulence and subsequently friction losses are reduced by as much as 95%. Counterintuitively, the return to laminar motion is accomplished by initially increasing turbulence intensities or by transiently amplifying wall shear. The usual measures of turbulence levels, such as the Reynolds number (Re) or shear stresses, do not account for the subsequent relaminarization. Instead an amplification mechanism measuring the interaction between eddies and the mean shear is found to set a threshold below which turbulence is suppressed beyond recovery.


title: Cube packings in Euclidean spaces

abstract: In this paper we study some cube packing problems. In particular we are interested in compact subsets of $\mathbb{R}^n,n\geq 2$, which contain boundaries of cubes with all side lengths in $(0,1)$. We show here that such sets must have lower box dimension at least $n-0.5$ and we will also provide sharp examples. We also show here that such sets must be large in general in a precise sense which is also introduced in this paper.


title: The Spinor-Tensor Gravity of the Classical Dirac Field

abstract: In this work, with the help of the quantum hydrodynamic formalism, the gravitational equation associated to the Dirac field is derived. The hydrodynamic representation of the Dirac equation have been generalizaed to the curved space-time in the covariant form. Thence, the metric of the spacetime has been defined by imposing the minimum action principle. The derived gravity shows the spontaneous emergence of the cosmological gravity tensor (CGT) as a part of the energy-impulse tensor density (EITD) that in the classical limit leads to the cosmological constant (CC). Even if the classical cosmological constant is set to zero, the CGT is non zero, allowing to have a stable quantum vacuum (out of the collapsed branched polymer phase). The theory shows that in the classical limit, the gravity equation leads to the general relativity equation. In the perturbative approach, the CGT leads to a second order correction to the Newtonian gravity that takes contribution from the space where the mass is localized (and the spacetime is curvilinear) while tends to zero as the spacetime approaches to the flat vacuum leading, as a mean, to an overall cosmological cosmological constant that may possibly be compatible with the astronomical observations. The Dirac field gravity shows analogies with the modified Brans-Dicke gravity where each spinor term brings an effective gravity constant G divided by its field squared.


title: Digital Nonlinearity Compensation in High-Capacity Optical Fibre Communication Systems: Performance and Optimisation

abstract: Meeting the ever-growing information rate demands has become of utmost importance for optical communication systems. However, it has proven to be a challenging task due to the presence of Kerr effects, which have largely been regarded as a major bottleneck for enhancing the achievable information rates in modern optical communications. In this work, the optimisation and performance of digital nonlinearity compensation are discussed for maximising the achievable information rates in spectrally-efficient optical fibre communication systems. It is found that, for any given target information rate, there exists a trade-off between modulation format and compensated bandwidth to reduce the computational complexity requirement of digital nonlinearity compensation.


title: Liouville quantum gravity on the annulus

abstract: In this work we construct Liouville quantum gravity on an annulus in the complex plane. This construction is aimed at providing a rigorous mathematical framework to the work of theoretical physicists initiated by Polyakov in 1981. It is also a very important example of a conformal field theory (CFT). Results have already been obtained on the Riemann sphere and on the unit disk so this paper will follow the same approach. The case of the annulus contains two difficulties: it is a surface with two boundaries and it has a non-trivial moduli space. We recover the Weyl anomaly - a formula verified by all CFT - and deduce from it the KPZ formula. We also show that the full partition function of Liouville quantum gravity integrated over the moduli space is finite. This allows us to give the joint law of the Liouville measures and of the random modulus and to write the conjectured link with random planar maps.


title: FDD Massive MIMO Channel Estimation with Arbitrary 2D-Array Geometry

abstract: This paper addresses the problem of downlink channel estimation in frequency-division duplexing (FDD) massive multiple-input multiple-output (MIMO) systems. The existing methods usually exploit hidden sparsity under a discrete Fourier transform (DFT) basis to estimate the cdownlink channel. However, there are at least two shortcomings of these DFT-based methods: 1) they are applicable to uniform linear arrays (ULAs) only, since the DFT basis requires a special structure of ULAs, and 2) they always suffer from a performance loss due to the leakage of energy over some DFT bins. To deal with the above shortcomings, we introduce an off-grid model for downlink channel sparse representation with arbitrary 2D-array antenna geometry, and propose an efficient sparse Bayesian learning (SBL) approach for the sparse channel recovery and off-grid refinement. The main idea of the proposed off-grid method is to consider the sampled grid points as adjustable parameters. Utilizing an in-exact block majorization-minimization (MM) algorithm, the grid points are refined iteratively to minimize the off-grid gap. Finally, we further extend the solution to uplink-aided channel estimation by exploiting the angular reciprocity between downlink and uplink channels, which brings enhanced recovery performance.


title: Spatial Mode Diversity for Robust Free-Space Optical Communications

abstract: Free-space communication links are severely affected by atmospheric turbulence, which causes degradation in the transmitted signal. One of the most common solutions to overcome this is to exploit diversity. In this approach, information is sent in parallel using two or more transmitters that are spatially separated, with each beam therefore experiencing different atmospheric turbulence, lowering the probability of a receive error. In this work we propose and experimentally demonstrate a generalization of diversity based on spatial modes of light, which we have termed $\textit{modal diversity}$. We remove the need for a physical separation of the transmitters by exploiting the fact that spatial modes of light experience different perturbations, even when travelling along the same path. For this proof-of-principle we selected modes from the Hermite-Gaussian and Laguerre-Gaussian basis sets and demonstrate an improvement in Bit Error Rate by up to 54\%. We outline that modal diversity enables physically compact and longer distance free space optical links without increasing the total transmit power.


title: Reconstruction of the External Stimuli from Brain Signals

abstract: Despite the rapid advances in Brain-computer Interfacing (BCI) and continuous effort to improve the accuracy of brain decoding systems, the urge for the systems to reconstruct the experiences of the users has been widely acknowledged. This urge has been investigated by some researchers during the past years in terms of reconstruction of the naturalistic images, abstract images, video and audio. In this study, we try to tackle this issue by regressing the stimuli spectrogram using the spectrogram analysis of the brain signals. The results of our regression-based method suggest the feasibility of such reconstructions using the neuroimaging techniques that are appropriate for out-of-lab scenarios.


title: A proof of Lusztig's conjectures for affine type $G_2$ with arbitrary parameters

abstract: We prove Lusztig's conjectures ${\bf P1}$--${\bf P15}$ for the affine Weyl group of type $\tilde{G}_2$ for all choices of parameters. Our approach to compute Lusztig's $\mathbf{a}$-function is based on the notion of a "balanced system of cell representations" for the Hecke algebra. We show that for arbitrary Coxeter type the existence of balanced system of cell representations is sufficient to compute the $\mathbf{a}$-function and we explicitly construct such a system in type $\tilde{G}_2$ for arbitrary parameters. We then investigate the connection between Kazhdan-Lusztig cells and the Plancherel Theorem in type $\tilde{G}_2$, allowing us to prove ${\bf P1}$ and determine the set of Duflo involutions. From there, the proof of the remaining conjectures follows very naturally, essentially from the combinatorics of Weyl characters of types $G_2$ and $A_1$, along with some explicit computations for the finite cells.


title: Introduction to intelligent computing unit 1

abstract: This brief note highlights some basic concepts required toward understanding the evolution of machine learning and deep learning models. The note starts with an overview of artificial intelligence and its relationship to biological neuron that ultimately led to the evolution of todays intelligent models.


title: Understanding Graph and Understanding Map and their Potential Applications

abstract: Based on the previously proposed concept Understanding Tree, this paper introduces two concepts: Understanding Graph and Understanding Map, and explores their potential applications. Understanding Graph and Understanding Map can be deemed as special cases of mind map, semantic network, or concept map. The two main differences are: Firstly, the data sources for constructing Understanding Map and Understanding Graph are distinctive and simple. Secondly, the relations between concepts in Understanding Graph and Understanding Map are monotonous. Based on their characteristics, applications of them include quantitatively measuring a concept's complexity degree, quantitatively measuring a concept's importance degree in a domain, and computing an optimized learning sequence for comprehending a concept etc. Further study involves evaluating their performances in these applications.


title: On the attractor of piecewise expanding maps of the interval

abstract: We consider piecewise expanding maps of the interval with finitely many branches of monotonicity and show that they are generically combinatorially stable, i.e., the number of ergodic attractors and their corresponding mixing periods do not change under small perturbations of the map. Our methods provide a topological description of the attractor and, in particular, give an elementary proof of the density of periodic orbits.


title: Cut-off phenomenon for random walks on free orthogonal quantum groups

abstract: We give bounds in total variation distance for random walks associated to pure central states on free orthogonal quantum groups. As a consequence, we prove that the analogue of the uniform plane Kac walk on this quantum group has a cut-off at $N\ln(N)/2(1-\cos(\theta))$. This is the first result of this type for genuine compact quantum groups. We also obtain similar results for mixtures of rotations and quantum permutations.


title: Dirac and Weyl Fermions -- the Only Causal Systems

abstract: Causal systems describe the localizability of relativistic quantum systems complying with the principles of special relativity and elementary causality. At their classification we restrict ourselves to real mass and finite spinor systems. It follows that (up to certain not yet discarded unitarily related systems) the only irreducible causal systems are the Dirac and the Weyl fermions. Their wave-equations are established as a mere consequence of causal localization. - The bounded localized Dirac and Weyl wavefunctions are studied in detail. One finds that, at the speed of light, the carriers shrink in the past and expand in the future. For every direction in space there is a definite time at which the change from shrinking to expanding occurs. A late changing time characterizes those states, which shrink to a delta-strip if boosted in the opposite direction. Using a density result for these late-change states one shows that all Dirac and Weyl wave-functions are subjected to Lorentz contraction. The latter is discussed in some detail. - We tackle the question whether a causal system induces a representation of a causal logic and thus provides a localization in proper space-time regions rather than on spacelike hyperplanes. The causal logic generated by the spacelike relation is shown to do not admit representations at all. But the logic generated by the non-timelike relation in general does, and the necessary condition is derived that there is a projection valued measure on every non-timelike non-spacelike hyperplane being the high boost limit of the localization on the spacelike hyperplanes. Dirac and Weyl systems are shown to satisfy this condition and thus to extend to all non-timelike hyperplanes, which implies more profound properties of the causal systems. The bounded localized eigenstates of the projections to non-spacelike flat strips are late-change states.


title: Analysis and X-ray tomography

abstract: These are lecture notes for the course "Analysis and X-ray tomography" given at the University of Jyv\"askyl\"a (Fall 2017), Rice University (Spring 2019), and Tampere University (Spring 2021). The course is a broad overview of various tools in analysis that can be used to study X-ray tomography. The focus is on tools and ideas, not so much on technical details and minimal assumptions. Only very basic functional analysis is assumed as background. Exercise problems are included.


title: Ramanujan Graphs

abstract: This is an item on Ramanujan Graphs for a planned encyclopedia on Ramanujan. The notion of Ramanujan graphs is explained, as well as the reason to name these graphs after Ramanujan.


title: Matrix product state approximations for infinite systems

abstract: We prove that ground states of gapped local Hamiltonians on an infinite spin chain can be efficiently approximated by matrix product states with a bond dimension which scales as D~(L-1)/epsilon, where any local quantity on L consecutive spins is approximated to accuracy epsilon.


title: High Resolution FDMA MIMO Radar

abstract: Traditional multiple input multiple output radars, which transmit orthogonal coded waveforms, suffer from range-azimuth resolution trade-off. In this work, we adopt a frequency division multiple access (FDMA) approach that breaks this conflict. We combine narrow individual bandwidth for high azimuth resolution and large overall total bandwidth for high range resolution. We process all channels jointly to overcome the FDMA range resolution limitation to a single bandwidth, and address range-azimuth coupling using a random array configuration.


title: Meixner- Pollaczek Quantum System

abstract: In an effort to achieve our aims (getting larger quantum system) in the recent reformulation of quantum mechanics without potential function [1-5], we obtained a new quantum system associated with Meixner Pollaczek Orthogonal polynomial class (hereby called Meixner - Pollaczek Quantum system). The energy spectrum and wave function of the quantum system were given. To the best of our knowledge, this quantum system is not found in physics literatures.


title: An Iterative Closest Points Approach to Neural Generative Models

abstract: We present a simple way to learn a transformation that maps samples of one distribution to the samples of another distribution. Our algorithm comprises an iteration of 1) drawing samples from some simple distribution and transforming them using a neural network, 2) determining pairwise correspondences between the transformed samples and training data (or a minibatch), and 3) optimizing the weights of the neural network being trained to minimize the distances between the corresponding vectors. This can be considered as a variant of the Iterative Closest Points (ICP) algorithm, common in geometric computer vision, although ICP typically operates on sensor point clouds and linear transforms instead of random sample sets and neural nonlinear transforms. We demonstrate the algorithm on simple synthetic data and MNIST data. We furthermore demonstrate that the algorithm is capable of handling distributions with both continuous and discrete variables.


title: A complete and partial integrability technique of the Lorenz system

abstract: In this paper we deal with the well-known nonlinear Lorenz system that describes the deterministic chaos phenomenon. We consider an interesting problem with time-varying phenomena in quantum optics. Then we establish from the motion equations the passage to the Lorenz system. Furthermore, we show that the reduction to the third order non linear equation can be performed. Therefore, the obtained differential equation can be analytically solved in some special cases and transformed to Abel, Dufing, Painlev\'{e} and generalized Emden-Fowler equations. So, a motivating technique that permitted a complete and partial integrability of the Lorenz system is presented.


title: Efficient Diverse Ensemble for Discriminative Co-Tracking

abstract: Ensemble discriminative tracking utilizes a committee of classifiers, to label data samples, which are in turn, used for retraining the tracker to localize the target using the collective knowledge of the committee. Committee members could vary in their features, memory update schemes, or training data, however, it is inevitable to have committee members that excessively agree because of large overlaps in their version space. To remove this redundancy and have an effective ensemble learning, it is critical for the committee to include consistent hypotheses that differ from one-another, covering the version space with minimum overlaps. In this study, we propose an online ensemble tracker that directly generates a diverse committee by generating an efficient set of artificial training. The artificial data is sampled from the empirical distribution of the samples taken from both target and background, whereas the process is governed by query-by-committee to shrink the overlap between classifiers. The experimental results demonstrate that the proposed scheme outperforms conventional ensemble trackers on public benchmarks.


title: Calibration of Distributionally Robust Empirical Optimization Models

abstract: We study the out-of-sample properties of robust empirical optimization problems with smooth $\phi$-divergence penalties and smooth concave objective functions, and develop a theory for data-driven calibration of the non-negative "robustness parameter" $\delta$ that controls the size of the deviations from the nominal model. Building on the intuition that robust optimization reduces the sensitivity of the expected reward to errors in the model by controlling the spread of the reward distribution, we show that the first-order benefit of ``little bit of robustness" (i.e., $\delta$ small, positive) is a significant reduction in the variance of the out-of-sample reward while the corresponding impact on the mean is almost an order of magnitude smaller. One implication is that substantial variance (sensitivity) reduction is possible at little cost if the robustness parameter is properly calibrated. To this end, we introduce the notion of a robust mean-variance frontier to select the robustness parameter and show that it can be approximated using resampling methods like the bootstrap. Our examples show that robust solutions resulting from "open loop" calibration methods (e.g., selecting a $90\%$ confidence level regardless of the data and objective function) can be very conservative out-of-sample, while those corresponding to the robustness parameter that optimizes an estimate of the out-of-sample expected reward (e.g., via the bootstrap) with no regard for the variance are often insufficiently robust.


title: Dynamic Displacement Disorder of Cubic BaTiO$_3$

abstract: The three dimensional distribution of the X-ray diffuse scattering intensity of BaTiO$_3$ has been recorded in a synchrotron experiment and simultaneously computed using molecular dynamics simulations of a shell-model. Together these have allowed the details of the disorder in paraelectric BaTiO$_3$ to be clarified. The narrow sheets of diffuse scattering, related to the famous anisotropic longitudinal correlations of Ti ions, are shown to be caused entirely by the overdamped anharmonic soft phonon branch. This finding demonstrates that the occurrence of narrow sheets of diffuse scattering agrees with a displacive picture of the cubic phase of this textbook ferroelectric material.


title: RV-detected Kepler-multi Analogs Exhibit Intra-system Mass Uniformity

abstract: Recent work has shown that the planets in the $Kepler$ Mission's population of multi-transiting systems show surprising uniformity in both mass and radius. In this brief note, I show that this intra-system mass uniformity extends to multiple-planet systems detected with the Doppler velocity technique, thereby avoiding possible biases associated with masses determined by transit timing. I also show that intra-system mass uniformity breaks down when a system contains one or more giant planets.


title: Electromagnetic Form Factors of Nucleon Excitations in Lattice QCD

abstract: Variational analysis techniques in lattice QCD are powerful tools that give access to the full spectrum of QCD. At zero momentum, these techniques are well established and can cleanly isolate energy eigenstates of either positive or negative parity. In order to compute the form factors of a single energy eigenstate, we must perform a variational analysis at non-zero momentum. When we do this with baryons, we run into issues with parity mixing in the Dirac spinors, as boosted baryons are not eigenstates of parity. Due to this parity mixing, care must be taken to ensure that the projected correlation functions provided by the variational analysis correspond to the same states at zero momentum. This can be achieved through the parity-expanded variational analysis (PEVA) technique, a novel method developed at the University of Adelaide for ensuring the successful and consistent isolation of boosted baryons. Utilising this technique, we are able to compute the form factors of baryon excitations without contamination from other states. We present world-first calculations of excited state nucleon form factors using this new technique.


title: Holographic DC Conductivity for a Power-law Maxwell Field

abstract: We consider a neutral and static black brane background with a probe power-law Maxwell field. Via the membrane paradigm, an expression for the holographic DC conductivity of the dual conserved current is obtained. We also discuss the dependence of the DC conductivity on the temperature, charge density and spatial components of the external field strength in the boundary theory. Our results show that there might be more than one phase in the boundary theory. Phase transitions could occur where the DC conductivity or its derivatives are not continuous. Specifically, we find that one phase possesses a charge-conjugation symmetric contribution, negative magneto-resistance and Mott-like behavior.


title: Approaching nonsmooth nonconvex minimization through second order proximal-gradient dynamical systems

abstract: We investigate the asymptotic properties of the trajectories generated by a second-order dynamical system of proximal-gradient type stated in connection with the minimization of the sum of a nonsmooth convex and a (possibly nonconvex) smooth function. The convergence of the generated trajectory to a critical point of the objective is ensured provided a regularization of the objective function satisfies the Kurdyka-\L{}ojasiewicz property. We also provide convergence rates for the trajectory formulated in terms of the \L{}ojasiewicz exponent.


title: Parallelized Kalman-Filter-Based Reconstruction of Particle Tracks on Many-Core Architectures

abstract: Faced with physical and energy density limitations on clock speed, contemporary microprocessor designers have increasingly turned to on-chip parallelism for performance gains. Algorithms should accordingly be designed with ample amounts of fine-grained parallelism if they are to realize the full performance of the hardware. This requirement can be challenging for algorithms that are naturally expressed as a sequence of small-matrix operations, such as the Kalman filter methods widely in use in high-energy physics experiments. In the High-Luminosity Large Hadron Collider (HL-LHC), for example, one of the dominant computational problems is expected to be finding and fitting charged-particle tracks during event reconstruction; today, the most common track-finding methods are those based on the Kalman filter. Experience at the LHC, both in the trigger and offline, has shown that these methods are robust and provide high physics performance. Previously we reported the significant parallel speedups that resulted from our efforts to adapt Kalman-filter-based tracking to many-core architectures such as Intel Xeon Phi. Here we report on how effectively those techniques can be applied to more realistic detector configurations and event complexity.


title: Small influence of magnetic ordering on lattice dynamics in TaFe$_{1.25}$Te$_3$

abstract: Raman scattering spectra of zigzag spin chain TaFe$_{1.25}$Te$_3$ single crystal are presented in a temperature range from 80 to 300 K. Nine Raman active modes of $A_g$ and $B_g$ symmetry are clearly observed and assigned by probing different scattering channels, which is confirmed by lattice dynamics calculations. Temperature dependence of the Raman modes linewidth is mainly governed by the lattice anharmonicity. The only deviation from the conventional behavior is observed for $A_g$ symmetry modes in a vicinity of the magnetic phase transition at $T_N \approx 200$ K. This implies that the electron-phonon interaction weakly changes with temperature and magnetic ordering, whereas small changes in the spectra near the critical temperature can be ascribed to spin fluctuations.


title: Impact of Beauty and Charm H1-ZEUS Combined Measurements on PDFs and Determination of the Strong Coupling

abstract: In this QCD analysis, we investigate the impact of recent measurements of heavy-flavor charm and beauty cross sections data sets on the simultaneous determination of Parton Distribution Functions (PDFs) and the strong coupling, $\alpha_s(M^2_Z)$. We perform three different fits based on Variable-Flavour Number Scheme (VFNS) at the Leading Order (LO) and Next-to-Leading Order (NLO) and choose the full HERA run I and II combined data as a new measurement of inclusive Deep Inelastic Scattering (DIS) cross sections for our base data set. We show that including charm and beauty cross sections data reduces the uncertainty of gluon distribution and improves the fit quality up to 4.1\% from leading order to next-to-leading order and up to 1.7\% for only NLO without and with beauty and charm data contributions.


title: Resonance frequency broadening of wave-particle interaction in tokamaks due to Alfv\'{e}nic eigenmode

abstract: We use a guiding center code ORBIT to study the broadening of resonances and the parametric dependence of the resonance frequency broadening width $\Delta\Omega$ on the nonlinear particle trapping frequency $\omega_b$ of wave-particle interaction with specific examples using realistic equilibrium DIII-D shot 159243 (Collins et al. 2016 Phys. Rev. Lett. 116 095001). When the mode amplitude is small, the pendulum approximation for energetic particle dynamics near the resonance is found to be applicable and the ratio of the resonance frequency width to the deeply trapped bounce frequency $\Delta\Omega/\omega_b$ equals 4, as predicted by theory. This factor 4 is demonstrated for the first time in realistic instability conditions. It is found that as the mode amplitude increases, the coefficient $a=\Delta\Omega/\omega_b$ becomes increasingly smaller because of the breaking down of the nonlinear pendulum approximation for the wave-particle interaction.


title: Stellar population properties for 2 million galaxies from SDSS DR14 and DEEP2 DR4 from full spectral fitting

abstract: We determine the stellar population properties - age, metallicity, dust reddening, stellar mass and the star formation history - for all spectra classified as galaxies that were published by the Sloan Digital Sky Survey (SDSS data release 14) and by the DEEP2 (data release 4) galaxy surveys. We perform full spectral fitting on individual spectra, making use of high spectral resolution stellar population models. Calculations are carried out for several choices of the model input, including three stellar initial mass functions and three input stellar libraries to the models. We study the accuracy of parameter derivation, in particular the stellar mass, as a function of the signal-to-noise of the galaxy spectra. We find that at low redshift, a signal to noise ratio per pixel around 20 (5) allows a statistical accuracy on $\log_{10}(M^{*}/M_{\odot})$ of 0.2 (0.4) dex, for the Chabrier IMF. For the first time, we study DEEP2 galaxies selected by their \OII luminosity in the redshift range $0.83<z<1.03$, finding that they are consistent with a flat number density in stellar mass in the range $10^9<M/M_{\odot}<10^{11.5}$. We find the resulting stellar mass function based on SDSS or eBOSS in agreement with previous studies (Maraston et al. 2013). We publish all catalogs of properties as well as model spectra of the continuum for these galaxies as a value added catalog of the fourteenth data release of the SDSS. This catalog is about twice as large as its predecessors (DR12) and will aid a variety of studies on galaxy evolution and cosmology.


title: The CARMENES search for exoplanets around M dwarfs: High-resolution optical and near-infrared spectroscopy of 324 survey stars

abstract: The CARMENES radial velocity (RV) survey is observing 324 M dwarfs to search for any orbiting planets. In this paper, we present the survey sample by publishing one CARMENES spectrum for each M dwarf. These spectra cover the wavelength range 520--1710nm at a resolution of at least $R > 80,000$, and we measure its RV, H$\alpha$ emission, and projected rotation velocity. We present an atlas of high-resolution M-dwarf spectra and compare the spectra to atmospheric models. To quantify the RV precision that can be achieved in low-mass stars over the CARMENES wavelength range, we analyze our empirical information on the RV precision from more than 6500 observations. We compare our high-resolution M-dwarf spectra to atmospheric models where we determine the spectroscopic RV information content, $Q$, and signal-to-noise ratio. We find that for all M-type dwarfs, the highest RV precision can be reached in the wavelength range 700--900nm. Observations at longer wavelengths are equally precise only at the very latest spectral types (M8 and M9). We demonstrate that in this spectroscopic range, the large amount of absorption features compensates for the intrinsic faintness of an M7 star. To reach an RV precision of 1ms$^{-1}$ in very low mass M dwarfs at longer wavelengths likely requires the use of a 10m class telescope. For spectral types M6 and earlier, the combination of a red visual and a near-infrared spectrograph is ideal to search for low-mass planets and to distinguish between planets and stellar variability. At a 4m class telescope, an instrument like CARMENES has the potential to push the RV precision well below the typical jitter level of 3-4ms$^{-1}$.


title: A simpler description of the $\kappa$-topologies on the spaces $\mathscr{D}_{L^p}$, $L^p$, $\mathscr{M}^1$

abstract: The $\kappa$-topologies on the spaces $\mathscr{D}_{L^p}$, $L^p$ and $\mathscr{M}^1$ are defined by a neighbourhood basis consisting of polars of absolutely convex and compact subsets of their (pre-)dual spaces. In many cases it is more convenient to work with a description of the topology by means of a family of semi-norms defined by multiplication and/or convolution with functions and by classical norms. We give such families of semi-norms generating the $\kappa$-topologies on the above spaces of functions and measures defined by integrability properties. In addition, we present a sequence-space representation of the spaces $\mathscr{D}_{L^p}$ equipped with the $\kappa$-topology, which complements a result of J.~Bonet and M.~Maestre. As a byproduct, we give a characterisation of the compact subsets of the spaces $\mathscr{D}'_{L^p}$, $L^p$ and $\mathscr{M}^1$.


title: Random affine simplexes

abstract: For a fixed $k\in\{1,\dots,d\}$ consider random vectors $X_0,\dots, X_{k}\in\mathbb R^d$ with an arbitrary spherically symmetric joint density function. Let $A$ be any non-singular $d\times d$ matrix. We show that the $k$-dimensional volume of the convex hull of affinely transformed $X_{i}$'s satisfies \[ |\mathrm{conv}(AX_0,\dots,AX_{k})|\stackrel{d}{=}\frac{|P_\xi\mathcal{E}|}{\kappa_k}\cdot|\mathrm{conv}(X_0,\dots,X_{k})|, \] where $\mathcal{E}:=\{\mathbf{x}\in\mathbb R^d:{\mathbf{x}^\top (A^\top A)^{-1}\mathbf{x}}\leq 1\}$ is an ellipsoid, $P_\xi$ denotes the orthogonal projection to a random uniformly chosen $k$-dimensional linear subspace $\xi$ independent of $X_0,\dots, X_{k}$, and $\kappa_k$ is the volume of the unit $k$-dimensional ball. We express $|P_\xi\mathcal{E}|$ in terms of Gaussian random matrices. The important special case $k=1$ corresponds to the distance between two random points: \[ |AX_0-AX_1|\stackrel{d}{=}\sqrt{\frac{\lambda_1^2N_1^2+\dots+\lambda_d^2N_d^2}{N_1^2+\dots+N_d^2}}\cdot|X_0-X_1|, \] where $N_1,\dots,N_d$ are i.i.d. standard Gaussian variables independent of $X_0,X_1$ and $\lambda_1,\dots,\lambda_d$ are the singular values of $A$. As an application, we derive the following integral geometry formula for ellipsoids: \[ \frac{\kappa_{d}^{k+1}}{\kappa_k^{d+1}}\,\frac{\kappa_{k(d+p)+k}}{\kappa_{k(d+p)+d}}\,\int\limits_{A_{d,k}}|\mathcal{E}\cap E|^{p+d+1}\,\mu_{d,k}(dE)=|\mathcal{E}|^{k+1}\,\int\limits_{G_{d,k}}|P_L\mathcal{E}|^p\,\nu_{d,k}(dL), \] where $p> -d+k-1$ and $A_{d,k}$ and $G_{d,k}$ are the affine and the linear Grassmannians equipped with their respective Haar measures. The case $p=0$ reduces to an affine version of the integral formula of Furstenberg and Tzkoni.


title: Rogue periodic waves of the focusing NLS equation

abstract: Rogue waves on the periodic background are considered for the nonlinear Schrodinger (NLS) equation in the focusing case. The two periodic wave solutions are expressed by the Jacobian elliptic functions dn and cn. Both periodic waves are modulationally unstable with respect to long-wave perturbations. Exact solutions for the rogue waves on the periodic background are constructed by using the explicit expressions for the periodic eigenfunctions of the Zakharov-Shabat spectral problem and the Darboux transformations. These exact solutions labeled as rogue periodic waves generalize the classical rogue wave (the so-called Peregrine's breather). The magnification factor of the rogue periodic waves is computed as a function of the wave amplitude (the elliptic modulus). Rogue periodic waves constructed here are compared with the rogue wave patterns obtained numerically in recent publications.


title: Confronting the Potential-driven DBI-inspired nonminimal kinetic coupling (Dinkic) inflation to the observational data

abstract: In the previous work, a new kind of inflation model was proposed, which has the interesting property that its perturbation equation of motion gets a correction of k^4, due to the non-linearity of the kinetic term. Nonetheless, the scale-invariance of the power spectrum remains valid, both in large-k and small-k limits. In this paper, we investigate in detail the spectral index, the index running and the tensor/scalar ratio in this model, especially on the potential-driven case, and compare the results to the current PLANCK/BICEP observational data. We also discuss the tensor spectrum in this case, which is expected to be tested by the future observations on primordial gravitational waves.


title: A generic and fast C++ optimization framework

abstract: The development of the mlpack C++ machine learning library (http://www.mlpack.org/) has required the design and implementation of a flexible, robust optimization system that is able to solve the types of arbitrary optimization problems that may arise all throughout machine learning problems. In this paper, we present the generic optimization framework that we have designed for mlpack. A key priority in the design was ease of implementation of both new optimizers and new objective functions to be optimized; therefore, implementation of a new optimizer requires only one method and implementation of a new objective function requires at most four functions. This leads to simple and intuitive code, which, for fast prototyping and experimentation, is of paramount importance. When compared to optimization frameworks of other libraries, we find that mlpack's supports more types of objective functions, is able to make optimizations that other frameworks do not, and seamlessly supports user-defined objective functions and optimizers.


title: Inflation and Cosmological Constant

abstract: In construction of an inflationary model, one usually assumes that the matter sector of the gravitational action is minimally coupled to the background. It means that the matter (inflaton) part of the action is coupled with the same metric of the gravitational part. We elaborate on this assumption and investigate some of the consequences. We assume that the gravitational and the inflaton sectors belong to different units (or conformal frames). We show that this coupling can convert a single-field inflationary model into a two-field one with a mixed kinetic term. The energy-momentum tensor of the inflaton is therefore non-conserved due to the interaction with the conformal factor. This allows an energy exchange between the two fields and provides us with a mechanism for reduction of a large effective cosmological constant during inflation.


title: Learning to Play Othello with Deep Neural Networks

abstract: Achieving superhuman playing level by AlphaGo corroborated the capabilities of convolutional neural architectures (CNNs) for capturing complex spatial patterns. This result was to a great extent due to several analogies between Go board states and 2D images CNNs have been designed for, in particular translational invariance and a relatively large board. In this paper, we verify whether CNN-based move predictors prove effective for Othello, a game with significantly different characteristics, including a much smaller board size and complete lack of translational invariance. We compare several CNN architectures and board encodings, augment them with state-of-the-art extensions, train on an extensive database of experts' moves, and examine them with respect to move prediction accuracy and playing strength. The empirical evaluation confirms high capabilities of neural move predictors and suggests a strong correlation between prediction accuracy and playing strength. The best CNNs not only surpass all other 1-ply Othello players proposed to date but defeat (2-ply) Edax, the best open-source Othello player.


title: Properties of Particle Trajectory Around a Weakly Magnetized Black Hole

abstract: In this paper, we consider charged accelerating AdS black holes with nonlinear electromagnetic source. The metric chosen by us is of a regular black hole which shows regular nature at poles and a conical effect which corresponds to a cosmic string. In such a space time construction of the Lagrangian for a charged particle is done. Cyclic coordinates as well as the corresponding symmetry generators, i.e., the Killing vectors are found. Conservation laws corresponding to the symmetries are counted. Euler Lagrange equations are found. The orbit is mainly taken to be a circular one and effective potential is found. The minimum velocity obtained by a particle to escape from innermost stable circular orbit is found. The values of this escape velocity is plotted with respect to the radius of the event horizon of the central black hole for different parametric values. The nature of the escape velocity is studied when the central object is working with gravitational force and charge simultaneously. Effective potential and effective force are also plotted. The range of radius of event horizon for which the effective force turns to be positive is found out. A pathway of future studies of accretion disc around such black holes is made.


title: Splitting families in Galois cohomology

abstract: Let $k$ be a field, with absolute Galois group $\Gamma$. Let $A/k$ be a finite \'etale group scheme of multiplicative type, i.e. a discrete $\Gamma$-module. Let $n \geq 2$ be an integer, and let $x \in H^n(k,A)$ be a cohomology class. We show that there exists a countable set $I$, and a familiy $(X_i)_{i \in I}$ of (smooth, geometrically integral) $k$-varieties, such that the following holds. For any field extension $l/k$, the restriction of $x$ vanishes in $H^n(l,A)$ if and only if (at least) one of the $X_i$'s has an $l$-point. We moreover show that the $X_i$'s can be made into an ind-variety. In the case $n=2$, we note that one variety is enough.


title: Cautious NMPC with Gaussian Process Dynamics for Autonomous Miniature Race Cars

abstract: This paper presents an adaptive high performance control method for autonomous miniature race cars. Racing dynamics are notoriously hard to model from first principles, which is addressed by means of a cautious nonlinear model predictive control (NMPC) approach that learns to improve its dynamics model from data and safely increases racing performance. The approach makes use of a Gaussian Process (GP) and takes residual model uncertainty into account through a chance constrained formulation. We present a sparse GP approximation with dynamically adjusting inducing inputs, enabling a real-time implementable controller. The formulation is demonstrated in simulations, which show significant improvement with respect to both lap time and constraint satisfaction compared to an NMPC without model learning.


title: Performance differences for in-class and online administration of low-stakes research-based assessments

abstract: Research-based assessments (RBAs), such as the Force Concept Inventory, have played central roles in many course transformations from traditional lecture-based instruction to research-based teaching methods. In order to support instructors in assessing their courses, the online Learning About STEM Student Outcomes (LASSO) platform simplifies administering, scoring, and interpreting RBAs. Reducing the barriers to using RBAs will support more instructors in objectively assessing the efficacy of their courses and, subsequently, transforming their courses to improve student outcomes. The purpose of this study was to investigate the extent to which RBAs administered online and outside of class with the LASSO platform provided equivalent data to traditional paper and pencil tests administered in class. Research indicates that these two modes of administering assessments provide equivalent data for graded exams that are administered in class. However, little research has focused on ungraded (low-stakes) exams that are administered outside of class. We used an experimental design to investigate the differences between these two test modes. Results indicated that the LASSO platform provided equivalent data to paper and pencil tests.


title: Dependent landmark drift: robust point set registration with a Gaussian mixture model and a statistical shape model

abstract: The goal of point set registration is to find point-by-point correspondences between point sets, each of which characterizes the shape of an object. Because local preservation of object geometry is assumed, prevalent algorithms in the area can often elegantly solve the problems without using geometric information specific to the objects. This means that registration performance can be further improved by using prior knowledge of object geometry. In this paper, we propose a novel point set registration method using the Gaussian mixture model with prior shape information encoded as a statistical shape model. Our transformation model is defined as a combination of the similar transformation, motion coherence, and the statistical shape model. Therefore, the proposed method works effectively if the target point set includes outliers and missing regions, or if it is rotated. The computational cost can be reduced to linear, and therefore the method is scalable to large point sets. The effectiveness of the method will be verified through comparisons with existing algorithms using datasets concerning human body shapes, hands, and faces.


title: Analytic formulas for the rapid evaluation of the orbit response matrix and chromatic functions from lattice parameters in circular accelerators

abstract: Measurements and analysis of orbit response matrix have been providing for decades a formidable tool in the detection of linear lattice imperfections and their correction. Basically all storage-ring-based synchrotron light sources across the world make routinely use of this technique in their daily operation, reaching in some cases a correction of linear optics down to 1% beta beating and 0.1% coupling. During the design phase of a new storage ring it is also applied in simulations for the evaluation of magnetic and mechanical tolerances. However, this technique is known for its intrinsic slowness compared to other methods based on turn-by-turn beam position data, both in the measurement and in the data analysis. In this paper analytic formulas are derived and discussed that shall greatly speed up this second part. The mathematical formalism based on the Lie algebra and the resonance driving terms is extended to the off-momentum regime and explicit analytic formulas for the evaluation of chromatic functions from lattice parameters are also derived. The robustness of these formulas, which are linear in the magnet strengths, is tested with different lattice configurations.


title: Cosmological abundance of the QCD axion coupled to hidden photons

abstract: We study the cosmological evolution of the QCD axion coupled to hidden photons. For a moderately strong coupling, the motion of the axion field leads to an explosive production of hidden photons by tachyonic instability. We use lattice simulations to evaluate the cosmological abundance of the QCD axion. In doing so, we incorporate the backreaction of the produced hidden photons on the axion dynamics, which becomes significant in the non-linear regime. We find that the axion abundance is suppressed by at most ${\cal O}(10^{2})$ for the decay constant $f_a = 10^{16}$ GeV, compared to the case without the coupling. For a sufficiently large coupling, the motion of the QCD axion becomes strongly damped, and as a result, the axion abundance is enhanced. Our results show that the cosmological upper bound on the axion decay constant can be relaxed by a few hundred for a certain range of the coupling to hidden photons.


title: Metric Map Merging using RFID Tags & Topological Information

abstract: A map merging component is crucial for the proper functionality of a multi-robot system performing exploration, since it provides the means to integrate and distribute the most important information carried by the agents: the explored-covered space and its exact (depending on the SLAM accuracy) morphology. Map merging is a prerequisite for an intelligent multi-robot team aiming to deploy a smart exploration technique. In the current work, a metric map merging approach based on environmental information is proposed, in conjunction with spatially scattered RFID tags localization. This approach is divided into the following parts: the maps approximate rotation calculation via the obstacles poses and localized RFID tags, the translation employing the best localized common RFID tag and finally the transformation refinement using an ICP algorithm.


title: Quantum Secrecy in Thermal States

abstract: We propose to perform quantum key distribution using quantum correlations occurring within thermal states produced by low power sources such as LED's. These correlations are exploited through the Hanbury Brown and Twiss effect. We build an optical central broadcast protocol using a superluminescent diode which allows switching between laser and thermal regimes, enabling us to provide experimental key rates in both regimes. We provide a theoretical analysis and show that quantum secrecy is possible, even in high noise situations.


title: A magnetically driven origin for the low luminosity GRB 170817A associated with GW170817

abstract: The gamma-ray burst GRB 170817A associated with GW170817 is subluminous and subenergetic compared with other typical short GRBs. It may be due to a relativistic jet viewed off-axis, or a structured jet, or cocoon emission. Giant flares from magnetars may possibly be ruled out. However, the luminosity and energetics of GRB 170817A is coincident with that of magnetar giant flares. After the coalescence of the binary neutron star, a hypermassive neutron star may be formed. The hypermassive neutron star may have magnetar-strength magnetic field. During the collapse of the hypermassive neutron star, the magnetic field energy will also be released. This giant-flare-like event may explain the the luminosity and energetics of GRB 170817A. Bursts with similar luminosity and energetics are expected in future neutron star-neutron star or neutron star-black hole mergers.


title: The Electroweak Vacuum Decay and the Gravitational Contribution

abstract: Whether the Standard Model electroweak vacuum is stable, metastable or unstable depends crucially on the top mass (and, to a lesser extent, on other measurable quantities). These topics are reviewed and updated by taking into account the most recent determination of the top and Higgs masses. Moreover, the correction to the vacuum decay due to Einstein gravity is described. This process is also discussed in a scenario, called softened gravity, which has been proposed as a solution of the Higgs mass hierarchy problem.


title: Participation and Performance on Paper- and Computer-Based Low-Stakes Assessments

abstract: High-stakes assessments, such the Graduate Records Examination, have transitioned from paper to computer administration. Low-stakes Research-Based Assessments (RBAs), such as the Force Concept Inventory, have only recently begun this transition to computer administration with online services. These online services can simplify administering, scoring, and interpreting assessments, thereby reducing barriers to instructors' use of RBAs. By supporting instructors' objective assessment of the efficacy of their courses, these services can stimulate instructors to transform their courses to improve student outcomes. We investigate the extent to which RBAs administered outside of class with the online Learning About STEM Student Outcomes (LASSO) platform provide equivalent data to tests administered on paper in class, in terms of both student participation and performance. We use an experimental design to investigate the differences between these two assessment conditions with 1,310 students in 25 sections of 3 college physics courses spanning 2 semesters. Analysis conducted using Hierarchical Linear Models indicates that student performance on low-stakes RBAs is equivalent for online (out-of-class) and paper-and-pencil (in-class) administrations. The models also show differences in participation rates across assessment conditions and student grades, but that instructors can achieve participation rates with online assessments equivalent to paper assessments by offering students credit for participating and by providing multiple reminders to complete the assessment. We conclude that online out-of-class administration of RBAs can save class and instructor time while providing participation rates and performance results equivalent to in-class paper-and-pencil tests.


title: Exponentially-tailed regularity and time asymptotic for the homogeneous Boltzmann equation

abstract: We present in this document the Lebesgue and Sobolev propagation of exponential tails for solutions of the homogeneous Boltzmann equation for hard and Maxwell interactions. In addition, we show the $L^{p}$-integrability creation of such tails in the case of hard interactions. The document also presents a result on exponentially-fast convergence to thermodynamical equilibrium and propagation of singularities and regularization of such solutions. All these results are valid under the mere Grad's cut-off condition for the angular scattering kernel. Highlights of this contribution include: (1) full range of $L^{p}$-norms with $p\in[1,\infty]$, (2) analysis for the critical case of Maxwell interactions, (3) propagation of fractional Sobolev exponential tails using pointwise conmutators, and (4) time asymptotic and propagation of regularity and singularities under general physical data. In many ways, this work is an improvement and an extension of several classical works in the area; we use known techniques and introduce new and flexible ideas that achieve the proofs in an elementary manner.


title: Deep Local Binary Patterns

abstract: Local Binary Pattern (LBP) is a traditional descriptor for texture analysis that gained attention in the last decade. Being robust to several properties such as invariance to illumination translation and scaling, LBPs achieved state-of-the-art results in several applications. However, LBPs are not able to capture high-level features from the image, merely encoding features with low abstraction levels. In this work, we propose Deep LBP, which borrow ideas from the deep learning community to improve LBP expressiveness. By using parametrized data-driven LBP, we enable successive applications of the LBP operators with increasing abstraction levels. We validate the relevance of the proposed idea in several datasets from a wide range of applications. Deep LBP improved the performance of traditional and multiscale LBP in all cases.


title: How Wrong Am I? - Studying Adversarial Examples and their Impact on Uncertainty in Gaussian Process Machine Learning Models

abstract: Machine learning models are vulnerable to Adversarial Examples: minor perturbations to input samples intended to deliberately cause misclassification. Current defenses against adversarial examples, especially for Deep Neural Networks (DNN), are primarily derived from empirical developments, and their security guarantees are often only justified retroactively. Many defenses therefore rely on hidden assumptions that are subsequently subverted by increasingly elaborate attacks. This is not surprising: deep learning notoriously lacks a comprehensive mathematical framework to provide meaningful guarantees. In this paper, we leverage Gaussian Processes to investigate adversarial examples in the framework of Bayesian inference. Across different models and datasets, we find deviating levels of uncertainty reflect the perturbation introduced to benign samples by state-of-the-art attacks, including novel white-box attacks on Gaussian Processes. Our experiments demonstrate that even unoptimized uncertainty thresholds already reject adversarial examples in many scenarios. Comment: Thresholds can be broken in a modified attack, which was done in arXiv:1812.02606 (The limitations of model uncertainty in adversarial settings).


title: Hyperelliptic Curves with Many Automorphisms

abstract: We determine all complex hyperelliptic curves with many automorphisms and decide which of their jacobians have complex multiplication.


title: On optimal coding of non-linear dynamical systems

abstract: We consider the problem of zero-delay coding of a dynamical system over a discrete noiseless channel under three estimation criteria concerned with the low-distortion regime. For these three criteria, formulated stochastically in terms of a probability distribution for the initial state, we characterize the smallest channel capacities above which the estimation objectives can be achieved. The results establish further connections between topological and metric entropy of dynamical systems and information theory.


title: Models of radial velocities and transit light curves

abstract: Research in extrasolar-planet science is data-driven. With the advent of radial-velocity instruments like HARPS and HARPS-N, and transit space missions like Kepler, our ability to discover and characterise extrasolar planets is no longer limited by instrumental precision but by our ability to model the data accurately. This chapter presents the models that describe radial-velocity measurements and transit light curves. I begin by deriving the solution of the two-body problem and from there, the equations describing the radial velocity of a planet-host star and the distance between star and planet centres, necessary to model transit light curves. Stochastic models are then presented and I delineate how they are used to model complex physical phenomena affecting the exoplanet data sets, such as stellar activity. Finally, I give a brief overview of the processes of Bayesian inference, focussing on the construction of likelihood functions and prior probability distributions. In particular, I describe different methods to specify ignorance priors.


title: Klein tunneling and electron optics in Dirac-Weyl fermion systems with tilted energy dispersion

abstract: The outstanding electronic properties of relativistic-like fermions have been extensively studied in solid state systems with isotropic linear dispersions such as graphene. Here, we show that 2D and 3D Dirac-Weyl (DW) materials exhibiting tilted energy dispersions could induce drastically different transport phenomena, compared to the non-tilted case. Indeed, the Klein tunneling of DW fermions of opposite chiralities is predicted to appear along two separated oblique directions. In addition, valley filtering and beam splitting effects are easily tailored by dopant engineering techniques while the refraction of electron waves is dramatically modified by the tilt, thus paving the way for emerging applications in electron optics and valleytronics.


title: Well-posedness of a Debye type system endowed with a full wave equation

abstract: We prove well-posedness for a transport-diffusion problem coupled with a wave equation for the potential. We assume that the initial data are small. A bilinear form in the spirit of Kato's proof for the Navier-Stokes equations is used, coupled with suitable estimates in Chemin-Lerner spaces. In the one dimensional case, we get well-posedness for arbitrarily large initial data by using Gagliardo-Nirenberg inequalities.


title: Division algebras of slice functions

abstract: This work studies slice functions over finite-dimensional division algebras. Their zero sets are studied in detail along with their multiplicative inverses, for which some unexpected phenomena are discovered. The results are applied to prove some useful properties of the subclass of slice regular functions, previously known only over quaternions. Firstly, they are applied to derive from the maximum modulus principle a version of the minimum modulus principle, which is in turn applied to prove the open mapping theorem. Secondly, they are applied to prove, in the context of the classification of singularities, the counterpart of the Casorati-Weierstrass theorem.


title: Evolving soft locomotion in aquatic and terrestrial environments: effects of material properties and environmental transitions

abstract: Designing soft robots poses considerable challenges: automated design approaches may be particularly appealing in this field, as they promise to optimize complex multi-material machines with very little or no human intervention. Evolutionary soft robotics is concerned with the application of optimization algorithms inspired by natural evolution in order to let soft robots (both morphologies and controllers) spontaneously evolve within physically-realistic simulated environments, figuring out how to satisfy a set of objectives defined by human designers. In this paper a powerful evolutionary system is put in place in order to perform a broad investigation on the free-form evolution of walking and swimming soft robots in different environments. Three sets of experiments are reported, tackling different aspects of the evolution of soft locomotion. The first two sets explore the effects of different material properties on the evolution of terrestrial and aquatic soft locomotion: particularly, we show how different materials lead to the evolution of different morphologies, behaviors, and energy-performance tradeoffs. It is found that within our simplified physics world stiffer robots evolve more sophisticated and effective gaits and morphologies on land, while softer ones tend to perform better in water. The third set of experiments starts investigating the effect and potential benefits of major environmental transitions (land - water) during evolution. Results provide interesting morphological exaptation phenomena, and point out a potential asymmetry between land-water and water-land transitions: while the first type of transition appears to be detrimental, the second one seems to have some beneficial effects.


title: Unsupervised Reverse Domain Adaptation for Synthetic Medical Images via Adversarial Training

abstract: To realize the full potential of deep learning for medical imaging, large annotated datasets are required for training. Such datasets are difficult to acquire because labeled medical images are not usually available due to privacy issues, lack of experts available for annotation, underrepresentation of rare conditions and poor standardization. Lack of annotated data has been addressed in conventional vision applications using synthetic images refined via unsupervised adversarial training to look like real images. However, this approach is difficult to extend to general medical imaging because of the complex and diverse set of features found in real human tissues. We propose an alternative framework that uses a reverse flow, where adversarial training is used to make real medical images more like synthetic images, and hypothesize that clinically-relevant features can be preserved via self-regularization. These domain-adapted images can then be accurately interpreted by networks trained on large datasets of synthetic medical images. We test this approach for the notoriously difficult task of depth-estimation from endoscopy. We train a depth estimator on a large dataset of synthetic images generated using an accurate forward model of an endoscope and an anatomically-realistic colon. This network predicts significantly better depths when using synthetic-like domain-adapted images compared to the real images, confirming that the clinically-relevant features of depth are preserved.


title: Symmetry breaking, and the effect of matter density on neutrino oscillation

abstract: A proposal for the neutrino mass, based on neutrino-scalar field interaction, is introduced. The scalar field is also non-minimally coupled to the Ricci scalar and hence relates the neutrino mass to the matter density. In a dense region, the scalar field obeys the $Z_2$ symmetry, and the neutrino is massless. In a dilute region, the $Z_2$ symmetry breaks and neutrino acquires mass from the non-vanishing expectation value of the scalar field. We consider this scenario in the framework of a spherical dense object whose outside is a dilute region. In this background, we study the neutrino flavors oscillation, along with the consequences of the theory on oscillation length and MSW effect. This preliminary model may shed some lights on the existing anomalies within the neutrino data, concerning the different oscillating behavior of the neutrinos in regions with different densities.


title: Loom: Query-aware Partitioning of Online Graphs

abstract: As with general graph processing systems, partitioning data over a cluster of machines improves the scalability of graph database management systems. However, these systems will incur additional network cost during the execution of a query workload, due to inter-partition traversals. Workload-agnostic partitioning algorithms typically minimise the likelihood of any edge crossing partition boundaries. However, these partitioners are sub-optimal with respect to many workloads, especially queries, which may require more frequent traversal of specific subsets of inter-partition edges. Furthermore, they largely unsuited to operating incrementally on dynamic, growing graphs. We present a new graph partitioning algorithm, Loom, that operates on a stream of graph updates and continuously allocates the new vertices and edges to partitions, taking into account a query workload of graph pattern expressions along with their relative frequencies. First we capture the most common patterns of edge traversals which occur when executing queries. We then compare sub-graphs, which present themselves incrementally in the graph update stream, against these common patterns. Finally we attempt to allocate each match to single partitions, reducing the number of inter-partition edges within frequently traversed sub-graphs and improving average query performance. Loom is extensively evaluated over several large test graphs with realistic query workloads and various orderings of the graph updates. We demonstrate that, given a workload, our prototype produces partitionings of significantly better quality than existing streaming graph partitioning algorithms Fennel and LDG.


title: Integrability of Conformal Blocks I: Calogero-Sutherland Scattering Theory

abstract: Conformal blocks are the central ingredient of the conformal bootstrap programme. We elaborate on our recent observation that uncovered a relation with wave functions of an integrable Calogero-Sutherland Hamiltonian in order to develop a systematic theory of conformal blocks. Our main goal here is to review central ingredients of the Heckman-Opdam theory for scattering states of Calogero-Sutherland models with special emphasis to the relation with scalar 4-point blocks. We will also discuss a number of direct consequences for conformal blocks, including a new series expansion for blocks of arbitrary complex spin and a complete analysis of their poles and residues. Applications to the Froissart-Gribov formula for conformal field theory, as well as extensions to spinning blocks and defects are briefly discussed before we conclude with an outlook on forthcoming work concerning algebraic consequences of integrability.


title: Effective holographic theory of charge density waves

abstract: We use Gauge/Gravity duality to write down an effective low energy holographic theory of charge density waves. We consider a simple gravity model which breaks translations spontaneously in the dual field theory in a homogeneous manner, capturing the low energy dynamics of phonons coupled to conserved currents. We first focus on the leading two-derivative action, which leads to excited states with non-zero strain. We show that including subleading quartic derivative terms leads to dynamical instabilities of AdS$_2$ translation invariant states and to stable phases breaking translations spontaneously. We compute analytically the real part of the electric conductivity. The model allows to construct Lifshitz-like hyperscaling violating quantum critical ground states breaking translations spontaneously. At these critical points, the real part of the dc conductivity can be metallic or insulating.


title: Bounds for the Nakamura number

abstract: The Nakamura number is an appropriate invariant of a simple game to study the existence of social equilibria and the possibility of cycles. For symmetric quota games its number can be obtained by an easy formula. For some subclasses of simple games the corresponding Nakamura number has also been characterized. However, in general, not much is known about lower and upper bounds depending of invariants on simple, complete or weighted games. Here, we survey such results and highlight connections with other game theoretic concepts.


title: A Simple Model for a Dual Non-Abelian Monopole-Vortex Complex

abstract: We investigate the flux-tube joining two equal and opposite electric charges using the dual Ginzburg-Landau model of superconductivity. The model is supplemented with an additional scalar field carrying a non-Abelian global symmetry, broken in the vortex cores. The presence of orientational moduli makes the flux tube non-Abelian. We perform a detailed study of the low energy theory of this soliton. We also analyze the solution representing superconducting droplets in the presence of the monopole anti - monopole pair.


title: P4-compatible High-level Synthesis of Low Latency 100 Gb/s Streaming Packet Parsers in FPGAs

abstract: Packet parsing is a key step in SDN-aware devices. Packet parsers in SDN networks need to be both reconfigurable and fast, to support the evolving network protocols and the increasing multi-gigabit data rates. The combination of packet processing languages with FPGAs seems to be the perfect match for these requirements. In this work, we develop an open-source FPGA-based configurable architecture for arbitrary packet parsing to be used in SDN networks. We generate low latency and high-speed streaming packet parsers directly from a packet processing program. Our architecture is pipelined and entirely modeled using templated C++ classes. The pipeline layout is derived from a parser graph that corresponds a P4 code after a series of graph transformation rounds. The RTL code is generated from the C++ description using Xilinx Vivado HLS and synthesized with Xilinx Vivado. Our architecture achieves 100 Gb/s data rate in a Xilinx Virtex-7 FPGA while reducing the latency by 45% and the LUT usage by 40% compared to the state-of-the-art.


title: Partial Truthfulness in Minimal Peer Prediction Mechanisms with Limited Knowledge

abstract: We study minimal single-task peer prediction mechanisms that have limited knowledge about agents' beliefs. Without knowing what agents' beliefs are or eliciting additional information, it is not possible to design a truthful mechanism in a Bayesian-Nash sense. We go beyond truthfulness and explore equilibrium strategy profiles that are only partially truthful. Using the results from the multi-armed bandit literature, we give a characterization of how inefficient these equilibria are comparing to truthful reporting. We measure the inefficiency of such strategies by counting the number of dishonest reports that any minimal knowledge-bounded mechanism must have. We show that the order of this number is $\Theta(\log n)$, where $n$ is the number of agents, and we provide a peer prediction mechanism that achieves this bound in expectation.