title: Baseline Dependent Averaging in Radio Interferometry

abstract: This paper presents a detailed analysis of the applicability and benefits of baseline dependent averaging (BDA) in modern radio interferometers and in particular the Square Kilometre Array (SKA). We demonstrate that BDA does not affect the information content of the data other than a well-defined decorrelation loss for which closed form expressions are readily available. We verify these theoretical findings using simulations. We therefore conclude that BDA can be used reliably in modern radio interferometry allowing a reduction of visibility data volume (and hence processing costs for handling visibility data) by more than 80%.


title: The concentration-compactness principle for fractional order Sobolev spaces in unbounded domains and applications to the generalized fractional Brezis-Nirenberg problem

abstract: In this paper we extend the well-known concentration -- compactness principle for the Fractional Laplacian operator in unbounded domains. As an application we show sufficient conditions for the existence of solutions to some critical equations involving the fractional $p-$laplacian in the whole ${\mathbb R}^n$.


title: Bulk dynamics of Brownian hard disks: Dynamical density functional theory versus experiments on two-dimensional colloidal hard spheres

abstract: Using dynamical density functional theory (DDFT), we theoretically study Brownian self-diffusion and structural relaxation of hard disks and compare to experimental results on quasi two-dimensional colloidal hard spheres. To this end, we calculate the self and distinct van Hove correlation functions by extending a recently proposed DDFT-approach for three-dimensional systems to two dimensions. We find that the theoretical results for both self- and distinct part of the van Hove function are in very good quantitative agreement with the experiments up to relatively high fluid packing fractions of roughly 0.60. However, at even higher densities, deviations between experiment and the theoretical approach become clearly visible. Upon increasing packing fraction, in experiments the short-time self diffusive behavior is strongly affected by hydrodynamic effects and leads to a significant decrease in the respective mean-squared displacement. In contrast, and in accordance with previous simulation studies, the present DDFT which neglects hydrodynamic effects, shows no dependence on the particle density for this quantity.


title: Random Walks on Polytopes of Constant Corank

abstract: We show that the pivoting process associated with one line and $n$ points in $r$-dimensional space may need $\Omega(\log^r n)$ steps in expectation as $n \to \infty$. The only cases for which the bound was known previously were for $r \le 3$. Our lower bound is also valid for the expected number of pivoting steps in the following applications: (1) The Random-Edge simplex algorithm on linear programs with $n$ constraints in $d = n - r$ variables; and (2) the directed random walk on a grid polytope of corank $r$ with $n$ facets.


title: Generating subdirect products

abstract: We study conditions under which subdirect products of various types of algebraic structures are finitely generated or finitely presented. In the case of two factors, we prove general results for arbitrary congruence permutable varieties, which generalise previously known results for groups, and which apply to modules, rings, $K$-algebras and loops. For instance, if $C$ is a fiber product of $A$ and $B$ over a common quotient $D$, and if $A$, $B$ and $D$ are finitely presented, then $C$ is finitely generated. For subdirect products of more than two factors we establish a general connection with projections on pairs of factors and higher commutators. More detailed results are provided for groups, loops, rings and $K$-algebras. In particular, let $C$ be a subdirect product of $K$-algebras $A_1,\dots,A_n$ for a Noetherian ring $K$ such that the projection of $C$ onto any $A_i\times A_j$ has finite co-rank in $A_i\times A_j$. Then $C$ is finitely generated (resp. finitely presented) if and only if all $A_i$ are finitely generated (resp. finitely presented). Finally, examples of semigroups and lattices are provided which indicate further complications as one ventures beyond congruence permutable varieties.


title: Dimension of CPT posets

abstract: A collection of linear orders on $X$, say $\mathcal{L}$, is said to \emph{realize} a partially ordered set (or poset) $\mathcal{P} = (X, \preceq)$ if, for any two distinct $x,y \in X$, $x \preceq y$ if and only if $x \prec_L y$, $\forall L \in \mathcal{L}$. We call $\mathcal{L}$ a \emph{realizer} of $\mathcal{P}$. The \emph{dimension} of $\mathcal{P}$, denoted by $dim(\mathcal{P})$, is the minimum cardinality of a realizer of $\mathcal{P}$. A \emph{containment model} $M_{\mathcal{P}}$ of a poset $\mathcal{P}=(X,\preceq)$ maps every $x \in X$ to a set $M_x$ such that, for every distinct $x,y \in X,\ x \preceq y$ if and only if $M_x \varsubsetneq M_y$. We shall be using the collection $(M_x)_{x \in X}$ to identify the containment model $M_{\mathcal{P}}$. A poset $\mathcal{P}=(X,\preceq)$ is a Containment order of Paths in a Tree (CPT poset), if it admits a containment model $M_{\mathcal{P}}=(P_x)_{x \in X}$ where every $P_x$ is a path of a tree $T$, which is called the host tree of the model. We show that if a poset $\mathcal{P}$ admits a CPT model in a host tree $T$ of maximum degree $\Delta$ and radius $r$, then \rogers{$dim(\mathcal{P}) \leq \lg\lg \Delta + (\frac{1}{2} + o(1))\lg\lg\lg \Delta + \lg r + \frac{1}{2} \lg\lg r + \frac{1}{2}\lg \pi + 3$. This bound is asymptotically tight up to an additive factor of $\min(\frac{1}{2}\lg\lg\lg \Delta, \frac{1}{2}\lg\lg r)$. Further, let $\mathcal{P}(1,2;n)$ be the poset consisting of all the $1$-element and $2$-element subsets of $[n]$ under `containment' relation and let $dim(1,2;n)$ denote its dimension. The proof of our main theorem gives a simple algorithm to construct a realizer for $\mathcal{P}(1,2;n)$ whose cardinality is only an additive factor of at most $\frac{3}{2}$ away from the optimum.


title: Study on cosmogenic activation in germanium detectors for future tonne-scale CDEX experiment

abstract: A study on cosmogenic activation in germanium was carried out to evaluate the cosmogenic background level of natural and $^{70}$Ge depleted germanium detectors. The production rates of long-lived radionuclides were calculated with Geant4 and CRY. Results were validated by comparing the simulated and experimental spectra of CDEX-1B detector. Based on the validated codes, the cosmogenic background level was predicted for further tonne-scale CDEX experiment. The suppression of cosmogenic background level could be achieved by underground germanium crystal growth and high-purity germanium detector fabrication to reach the sensitivity requirement for direct detection of dark matter. With the low cosmogenic background, new physics channels, such as solar neutrino research and neutrinoless double-beta decay experiments, were opened and the corresponding simulations and evaluations were carried out.


title: Revisiting Transmission Scheduling in RF Energy Harvesting Wireless Communications

abstract: The transmission scheduling is a critical problem in radio frequency (RF) energy harvesting communications. Existing transmission strategies in an RF-based energy harvesting system is mainly based on a classic model, in which the data transmission is scheduled in a fixed feasible energy tunnel. In this paper, we re-examine the classic energy harvesting model and show through the theoretical analysis and experimental results that the bounds of feasible energy tunnel are dynamic, which can be affected by the transmission scheduling due to the impact of residual energy on the harvested one. To describe a practical energy harvesting process more accurately, a new model is proposed by adding a feedback loop that reflects the interplay between the energy harvest and the data transmission. Furthermore, to improve network performance, we revisit the design of an optimal transmission scheduling strategy based on the new model. To handle the challenge of the endless feedback loop in the new model, a recursive algorithm is developed. The simulation results reveal that the new transmission scheduling strategy can balance the efficiency of energy reception and energy utilization regardless of the length of energy packets, achieving improved throughput performance for wireless communications.


title: Direct observation of multi-spinon excitations outside of the two-spinon continuum in the antiferromagnetic spin chain cuprate Sr2CuO3

abstract: One-dimensional (1D) magnetic insulators have attracted significant interest as a platform for studying emergent phenomena such as quasiparticle fractionalization and quantum criticality. The antiferromagnetic Heisenberg chain of spins-1/2 is an important reference system; its elementary excitations are spin-1/2 quasiparticles called spinons that are always created in pairs. However, while inelastic neutron scattering (INS) experiments routinely observe the excitation continuum associated with two-spinon states, the presence of more complex dynamics associated with four-spinon states has only been inferred from comparison with theory. Here, we show that resonant inelastic x-ray scattering (RIXS) is capable of accessing the four-spinon excitations directly, in a spectroscopic region separated from the two-spinon continuum. Our results provide the first direct measurement of four-spinon excitations, which is made possible by the fundamentally different correlation functions probed by RIXS compared to INS. This advance holds great promise as a tool in the search for novel quantum states, in particular quantum spin liquids.


title: On the Well-Posedness of a Parametric Spectral Estimation Problem and Its Numerical Solution

abstract: This paper concerns a spectral estimation problem in which we want to find a spectral density function that is consistent with estimated second-order statistics. It is an inverse problem admitting multiple solutions, and selection of a solution can be based on prior functions. We show that the problem is well-posed when formulated in a parametric fashion, and that the solution parameter depends continuously on the prior function. In this way, we are able to obtain a smooth parametrization of admissible spectral densities. Based on this result, the problem is reparametrized via a bijective change of variables out of a numerical consideration, and then a continuation method is used to compute the unique solution parameter. Numerical aspects such as convergence of the proposed algorithm and certain computational procedures are addressed. A simple example is provided to show the effectiveness of the algorithm.


title: Fisher Information Perspective of Pauli's Electron

abstract: A non relativistic electron with a spin is described by Pauli's equation. It has been shown that this system can be interpreted as a vortical fluid which has both similarities and differences with classical ideal flows. Moreover, it was demonstrated that the internal energy of the spin fluid can partially be interpreted in terms of Fisher Information. While previous work on the subject has mainly ignored electromagnetic fields which are represented by a vector potential here we remove this limitation and study the system under general electromagnetic interaction.


title: Parsimonious Network based on Fuzzy Inference System (PANFIS) for Time Series Feature Prediction of Low Speed Slew Bearing Prognosis

abstract: In recent years, the utilization of rotating parts, e.g. bearings and gears, has been continuously supporting the manufacturing line to produce consistent output quality. Due to their critical role, the breakdown of these components might significantly impact the production rate. A proper condition based monitoring (CBM) is among a few ways to maintain and monitor the rotating systems. Prognosis, as one of the major tasks in CBM that predicts and estimates the remaining useful life of the machine, has attracted significant interest in decades. This paper presents a literature review on prognosis approaches from published papers in the last decade. The prognostic approaches are described comprehensively to provide a better idea on how to select an appropriate prognosis method for specific needs. An advanced predictive analytics, namely Parsimonious Network Based on Fuzzy Inference System (PANFIS), was proposed and tested into the low speed slew bearing data. PANFIS differs itself from conventional prognostic approaches in which it supports for online lifelong prognostics without the requirement of retraining or reconfiguration phase. The method is applied to normal-to-failure bearing vibration data collected for 139 days and to predict the time-domain features of vibration slew bearing signals. The performance of the proposed method is compared to some established methods such as ANFIS, eTS, and Simp_eTS. From the results, it is suggested that PANFIS offers outstanding performance compared to those of other methods.


title: The Cut and Dominating Set Problem in A Steganographer Network

abstract: A steganographer network corresponds to a graphic structure that the involved vertices (or called nodes) denote social entities such as the data encoders and data decoders, and the associated edges represent any real communicable channels or other social links that could be utilized for steganography. Unlike traditional steganographic algorithms, a steganographer network models steganographic communication by an abstract way such that the concerned underlying characteristics of steganography are quantized as analyzable parameters in the network. In this paper, we will analyze two problems in a steganographer network. The first problem is a passive attack to a steganographer network where a network monitor has collected a list of suspicious vertices corresponding to the data encoders or decoders. The network monitor expects to break (disconnect) the steganographic communication down between the suspicious vertices while keeping the cost as low as possible. The second one relates to determining a set of vertices corresponding to the data encoders (senders) such that all vertices can share a message by neighbors. We point that, the two problems are equivalent to the minimum cut problem and the minimum-weight dominating set problem.


title: On the centroid of increasing trees

abstract: A centroid node in a tree is a node for which the sum of the distances to all other nodes attains its minimum, or equivalently a node with the property that none of its branches contains more than half of the other nodes. We generalise some known results regarding the behaviour of centroid nodes in random recursive trees (due to Moon) to the class of very simple increasing trees, which also includes the families of plane-oriented and $d$-ary increasing trees. In particular, we derive limits of distributions and moments for the depth and label of the centroid node nearest to the root, as well as for the size of the subtree rooted at this node.


title: An Integrated Pipeline Architecture for Modeling Urban Land Use, Travel Demand, and Traffic Assignment

abstract: Integrating land use, travel demand, and traffic models represents a gold standard for regional planning, but is rarely achieved in a meaningful way, especially at the scale of disaggregate data. In this report, we present a new pipeline architecture for integrated modeling of urban land use, travel demand, and traffic assignment. Our land use model, UrbanSim, is an open-source microsimulation platform used by metropolitan planning organizations worldwide for modeling the growth and development of cities over long (~30 year) time horizons. UrbanSim is particularly powerful as a scenario analysis tool, enabling planners to compare and contrast the impacts of different policy decisions on long term land use forecasts in a statistically rigorous way. Our travel demand model, ActivitySim, is an agent-based modeling platform that produces synthetic origin--destination travel demand data. Finally, we use a static user equilibrium traffic assignment model based on the Frank-Wolfe algorithm to assign vehicles to specific network paths to make trips between origins and destinations. This traffic assignment model runs in a high-performance computing environment. The resulting congested travel time data can then be fed back into UrbanSim and ActivitySim for the next model run. This technical report introduces this research area, describes this project's achievements so far in developing this integrated pipeline, and presents an upcoming research agenda.


title: Diagonal complexes for surfaces of finite type and surfaces with involution

abstract: Two related constructions are studied: (1) The diagonal complex $\mathcal{D}$ and its barycentric subdivision $\mathcal{BD}$ related to a \textit{punctured} oriented surface $F$ equipped with a number of labeled marked points. (2) The symmetric diagonal complex $\mathcal{D}^{inv}$ and its barycentric subdivision $\mathcal{BD}^{inv}$ related to a symmetric (=with an involution) oriented surface $F$ equipped with a number of (symmetrically placed) labeled marked points. Eliminating a puncture gives rise to a bundle whose fibers are homeomorphic to a surgery of the surface $F$. The bundle can be viewed as the "universal curve with holes". The symmetric complex is shown to be homotopy equivalent to the complex of a punctured surface obtained by a surgery of the initial symmetric surface.


title: The Dynamics of Knowledge Acquisition via Self-Learning in Complex Networks

abstract: Studies regarding knowledge organization and acquisition are of great importance to understand areas related to science and technology. A common way to model the relationship between different concepts is through complex networks. In such representations, network's nodes store knowledge and edges represent their relationships. Several studies that considered this type of structure and knowledge acquisition dynamics employed one or more agents to discover node concepts by walking on the network. In this study, we investigate a different type of dynamics considering a single node as the "network brain". Such brain represents a range of real systems such as the information about the environment that is acquired by a person and is stored in the brain. To store the discovered information in a specific node, the agents walk on the network and return to the brain. We propose three different dynamics and test them on several network models and on a real system, which is formed by journal articles and their respective citations. Surprisingly, the results revealed that, according to the adopted walking models, the efficiency of self-knowledge acquisition has only a weak dependency on the topology, search strategy and localization of the network brain.


title: An Energy Balance Based Method for Parameter Identification of a Free-Flying Robot Grasping An Unknown Object

abstract: The estimation of inertial parameters of a robotic system is crucial for better trajectory tracking performance, specially when model-based controllers are used for carrying out precise tasks. In this paper, we consider the scenario of grasping an object of unknown properties by a free-flyer space robot with limited actuation. The problem is to find the inertial parameters of the complete system after grasping has been performed. Excitation is provided in inertial space, and the excitation trajectories are found by optimization. Truncated Fourier series are used to represent the reference as well as tracked trajectory. An approach based on the energy balance between the actuation work and the rate of change of kinetic energy is introduced to calculate the number of harmonics in the Fourier series used to represent the executed trajectory, while trying to find a balance between accounting for saturation effects and keeping out noise. The effect of input saturation on parameter estimation is also studied. Simulation results using the Space CoBot free-flyer robot are presented to show the feasibility of the approach.


title: The QCD axion beyond the classical level: A lattice study

abstract: The axion is a hypothetical elementary particle postulated by the Peccei-Quinn theory to resolve the strong CP problem in QCD. If axions exist and have low mass, they are a candidate for dark matter as well. So far our knowledge of the properties of the QCD axion rests on semi-classical arguments and effective theory. In this work we perform, for the first time, a fully dynamical investigation of the Peccei-Quinn theory, focussing on the axion mass, by simulating the theory on the lattice. The results of the simulation are found to be in conflict with present axion phenomenology.


title: Studies in Tours of Knight on Rectangular Boards

abstract: The author has constructed and enumerated tours of knight having various magic properties on 4 x n and 6 x n boards. 16 magic tours of knight have been discovered on 4 x 18 board, 88 on 4 x 20 board, 464 on 4 x 22 board, 2076 on 4 x 24 board, 9904 on 4 x 26 board and 47456 on 4 x 28 board. Magic tours exist on all boards of size 4 x 2k for k > 8. Quasi-magic tour exists on 6 x 11 board. 8 magic tours of knight have been discovered on 6 x 12 board and magic tours exist on all boards of size 6 x 4k for k > 2.


title: Ruled hypersurfaces with constant mean curvature in complex space forms

abstract: We show that ruled real hypersurfaces with constant mean curvature in the complex projective and hyperbolic spaces must be minimal. This provides their classification, by virtue of a result of Lohnherr and Reckziegel.


title: Probability distribution function of crossover frequency of operational amplifiers

abstract: For the first time the cumulative distribution function of the crossover frequency of a contemporary operational amplifier ADA4898-2 is experimentally studied. Using a USB Lock-In amplifier, which allows automatic frequency sweep of the current response of a non-inverting amplifier with significant static amplification, we measure the crossover frequency of 200 samples of ADA4898-2 operational amplifiers. This new method gives a significant advantage in accuracy and speed of study of every operational amplifier. The theory we use is based on the universal relation between time dependent output and input voltages. This common relation for all operational amplifiers is applicable for frequencies much smaller than the crossover frequency and the frequencies of non-dominant poles. In other words, this approximation is adequate, when an operational amplifier is included in a circuit with significant amplification.


title: Differential Operator Method of Finding A Particular Solution to An Ordinary Nonhomogeneous Linear Differential Equation with Constant Coefficients

abstract: We systematically introduce the idea of applying differential operator method to find a particular solution of an ordinary nonhomogeneous linear differential equation with constant coefficients when the nonhomogeneous term is a polynomial function, exponential function, sine function, cosine function or any possible product of these functions. In particular, different from the differential operator method introduced in literature, we propose and highlight utilizing the definition of the inverse of differential operator to determine a particular solution. We suggest that this method should be introduced in textbooks and widely used for determining a particular solution of an ordinary nonhomogeneous linear differential equation with constant coefficients in parallel to the method of undetermined coefficients.


title: Learning Analytics in Massive Open Online Courses

abstract: Educational technology has obtained great importance over the last fifteen years. At present, the umbrella of educational technology incorporates multitudes of engaging online environments and fields. Learning analytics and Massive Open Online Courses (MOOCs) are two of the most relevant emerging topics in this domain. Since they are open to everyone at no cost, MOOCs excel in attracting numerous participants that can reach hundreds and hundreds of thousands. Experts from different disciplines have shown significant interest in MOOCs as the phenomenon has rapidly grown. In fact, MOOCs have been proven to scale education in disparate areas. Their benefits are crystallized in the improvement of educational outcomes, reduction of costs and accessibility expansion. Due to their unusual massiveness, the large datasets of MOOC platforms require advanced tools and methodologies for further examination. The key importance of learning analytics is reflected here. MOOCs offer diverse challenges and practices for learning analytics to tackle. In view of that, this thesis combines both fields in order to investigate further steps in the learning analytics capabilities in MOOCs. The primary research of this dissertation focuses on the integration of learning analytics in MOOCs, and thereafter looks into examining students' behavior on one side and bridging MOOC issues on the other side. The research was done on the Austrian iMooX xMOOC platform. We followed the prototyping and case studies research methodology to carry out the research questions of this dissertation. The main contributions incorporate designing a general learning analytics framework, learning analytics prototype, records of students' behavior in nearly every MOOC's variables (discussion forums, interactions in videos, self-assessment quizzes, login frequency), a cluster of student engagement...


title: Information and Communications Technologies for Sustainable Development Goals: State-of-the-Art, Needs and Perspectives

abstract: In September 2015, the United Nations General Assembly accepted the 2030 Development Agenda, which has included 92 paragraphs, and the Paragraph 91 defined 17 sustainable development goals (SDGs) and 169 associated targets. The goal of this paper is to discover the correlations among SDGs and information and communications technologies (ICTs). This paper discusses the roles and opportunities that ICTs play in pursuing the SDGs. We identify a number of research gaps to those three pillars, social, economic, and environmental perspectives, of sustainable development. After extensive literature reviews on the SDG-related research initiatives and activities, we find that the majority of contributions to SDGs recognized by the IEEE and ACM research communities have mainly focused on the technical aspects, while there are lack of the holistic social good perspectives. Therefore, there are essential and urgent needs to raise the awareness and call for attentions on how to innovate and energize ICTs in order to best assist all nations to achieve the SDGs by 2030.


title: Microwave Tube Fault-Current Model for Design of Crowbar Protection

abstract: Many applications that use high energy plasma are realized using Microwave tubes (MWT) that operate at peak power in the range of hundreds of MW and frequency in GHz. One failure mode of the MWT is due to the excess energy in the tube during internal arcing events. Crowbar is used to protect the MWT by diverting the energy during fault. To compute the energy released into the MWT, the dc fault current model and the MWT model are essential. An equivalent fuse wire model is utilized for the MWT for the crowbar applications. The paper proposes a model for the dc fault current, the analysis for which is based on Joules Integral energy concept. The model provides flexibility to choose a range of practically observed reactance to resistance ratio (X/R) of transformer and also allows the use of a range of dc current limiting resistances that are utilized in the High Voltage (HV) power supply circuits in Microwave applications. The non-linearity of the system due to the multipulse diode rectifier is also considered by introducing a correction factor in the model. This paper shows that the same correction factor can be applied for both dc side parallel and series connected rectifier circuits. Both dc fault current and MWT models are verified experimentally. Using the model a 10kV , 1kA crowbar is built to limit the energy in MWT below 10J.


title: Surface excitations, shape deformation and the long-time behavior in a stirred Bose-Einstein condensate

abstract: The surface excitations, shape deformation and the formation of persistent current for a Gaussian obstacle potential rotating in an highly oblate Bose-Einstein condensate(BEC)are investigated. Vortex dipole can be produced and trapped in the center of the stirrer even for slow motion of the stirring beam. When the barrier angular velocity is above some critical value, the condensate shape can be deformed remarkably according to the rotation frequency due to the existence of plenty of surface wave excitations. After a long enough time, a few vortices are found to be left either trapped in the condensate or pinned by the obstacle, a vortex dipole or several vortices can be trapped at the beam center, which enables the possibility of vortex manipulation.


title: Game of the Cursed Prince based on Android

abstract: Nowadays Games become an entertainment alternative for various circles, industry and game development business is also a profitable industry. In Indonesia the amount of game consumption is very high, especially the console game type RPG (Role Playing Game). The task of this research is developing game software using Unity 3D to create an Android-based RPG game app. The story is packed with RPG genres so the player can feel the main role of the storys imagination. The game to be built is a game titled The Cursed Prince. Users will get the sensation of royal adventure. Multiplayer game system, graphics in 3D game, The main character in this game is Prince, enemies in this game are wizards and monsters, Game is not limited time to complete. And the game can be saved, so it can be reopened. The game of The Cursed Prince can be part of Indonesian Industry Gaming development.


title: OpenQSEI: a MATLAB package for Quasi Static Elasticity Imaging

abstract: Quasi Static Elasticity Imaging (QSEI) aims to computationally reconstruct the inhomogeneous distribution of the elastic modulus using a measured displacement field. QSEI is a well-established imaging modality used in medical imaging for localizing tissue abnormalities. More recently, QSEI has shown promise in applications of structural health monitoring and materials characterization. Despite the growing usage of QSEI in multiple fields, fully-executable open source packages are not readily available. To address this, OpenQSEI is developed using a MATLAB platform and shared in an online community setting for continual algorithmic improvement. In this article, we describe the mathematical background of QSEI and demonstrate the basic functionalities of OpenQSEI with examples.


title: Inter-Theory Relations in Physics: Case Studies from Quantum Mechanics and Quantum Field Theory

abstract: The relationship that is widely presumed to hold between physical theories and their successors, in which the successors in some sense explain the success of the theories they replace, is known commonly as 'reduction.' I argue that one traditional approach to theory reduction in physics, founded on the notion that a superseded theory should simply be a mathematical limit of the theory that supersedes it, is misleading as a general picture of the relationship whereby one theory encompasses the domain of empirical validity of another. I defend an alternative account that builds upon a certain general type of relationship between dynamical systems models describing the same physical system. I demonstrate how this particular relationship resembles the methodological prescriptions set out by Ernest Nagel's more general approach to reduction across the sciences. After clarifying these points of general methodology, I go on to apply this approach to a number of particular inter-theory reductions in physics involving quantum theory. I consider three reductions: first, connecting classical mechanics and non-relativistic quantum mechanics; second, connecting classical electrodynamics and quantum electrodynamics; and third, connecting non-relativistic quantum mechanics and quantum electrodynamics. In all cases, a certain core set of mechanisms, employing decoherence together with variations of Ehrenfest's Theorem, serves to underwrite the occurrence of approximately classical behavior. For concreteness, I consider two particular realist interpretations of quantum theory - the Everett and Bohm theories - as potential bases for these reductions. However, many of the technical results concerning these reductions pertain also more generally to the bare, uninterpreted formalism of quantum theory.


title: An extension theorem for embedded Riemannian symmetric spaces of non-compact type and an application to their universal property

abstract: It is known that a geodesic Y in an abstract reflection space X in the sense of Loos, without any assumption of differential structure, canonically admits an action of a 1-parameter subgroup of the group of transvections of X. In this article, we prove an analog of this result stating that, if X contains an embedded hyperbolic plane H, then this yields a canonical action of a subgroup of the transvection group of X isomorphic to a perfect central extension of PSL(2,R). This result can be further extended to arbitrary Riemannian symmetric spaces of non-compact type embedded in X and can be used to prove that a Riemannian symmetric space and, more generally, the Kac-Moody symmetric space G/K for an algebraically simply connected two-spherical Kac-Moody group G satisfies a universal property similar to the universal property that the group G satisfies itself.


title: Screening for cancer using a learning Internet advertising system

abstract: Studies have shown that the traces people leave when browsing the internet may indicate the onset of diseases such as cancer. Here we show that the adaptive engines of advertising systems in conjunction with clinically verified questionnaires can be used to identify people who are suspected of having one of three types of solid tumor cancers. In the first study, 308 people were recruited through ads shown on the Bing search engine to complete a clinically verified risk questionnaire. A classifier trained to predict questionnaire response using only past queries on Bing reached an Area Under the Curve of 0.64 for all three cancer types, verifying that past searches could be used to identify people with suspected cancer. The second study was conducted using the Google ads system in the same configuration as in the first study. However, in this study the ads system was set to automatically learn to identify people with suspected cancer. A total of 70,586 people were shown the ads, and 6,484 clicked and were referred to complete the clinical questionnaires. People from countries with higher Internet access and lower life expectancy tended to click more on the ads. Over time the advertisement system learned to identify people who were likely to have symptoms consistent with suspected cancer, such that the percentage of people completing the questionnaires and found to have suspected cancer reached approximately 11\% at the end of the experiment. These results demonstrate the utility of using search engine queries to screen for possible cancer and the application of modern advertising systems to help identify people who are likely suffering from serious medical conditions. This is especially true in countries where medical services are less developed.


title: Novel Common Vehicle Information Model (CVIM) for Future Automotive Vehicle Big Data Marketplaces

abstract: Even though connectivity services have been introduced in many of the most recent car models, access to vehicle data is currently limited due to its proprietary nature. The European project AutoMat has therefore developed an open Marketplace providing a single point of access for brand-independent vehicle data. Thereby, vehicle sensor data can be leveraged for the design and implementation of entirely new services even beyond trafficrelated applications (such as hyper-local traffic forecasts). This paper presents the architecture for a Vehicle Big Data Marketplace as enabler of cross-sectorial and innovative vehicle data services. Therefore, the novel Common Vehicle Information Model (CVIM) is defined as an open and harmonized data model, allowing the aggregation of brand-independent and generic data sets. Within this work the realization of a prototype CVIM and Marketplace implementation is presented. The two use-cases of local weather prediction and road quality measurements are introduced to show the applicability of the AutoMat concept and prototype to non-automotive application


title: Low Intensity LiDAR using Compressed Sensing and a Photon Number Resolving Detector

abstract: LiDAR (laser based radar) systems are a major part of many new real-world interactive systems, one of the most notable being autonomous cars. The current market LiDAR systems are limited by detector sensitivity: when output power is at eye-safe levels, the range is limited. Long range operation also slows image acquisition as flight-time increases. We present an approach that combines a high sensitivity photon number resolving diode with machine learning and a micro-mechanical digital mirror device to achieve safe and fast long range 3D scanning.


title: Teaching Autonomous Driving Using a Modular and Integrated Approach

abstract: Autonomous driving is not one single technology but rather a complex system integrating many technologies, which means that teaching autonomous driving is a challenging task. Indeed, most existing autonomous driving classes focus on one of the technologies involved. This not only fails to provide a comprehensive coverage, but also sets a high entry barrier for students with different technology backgrounds. In this paper, we present a modular, integrated approach to teaching autonomous driving. Specifically, we organize the technologies used in autonomous driving into modules. This is described in the textbook we have developed as well as a series of multimedia online lectures designed to provide technical overview for each module. Then, once the students have understood these modules, the experimental platforms for integration we have developed allow the students to fully understand how the modules interact with each other. To verify this teaching approach, we present three case studies: an introductory class on autonomous driving for students with only a basic technology background; a new session in an existing embedded systems class to demonstrate how embedded system technologies can be applied to autonomous driving; and an industry professional training session to quickly bring up experienced engineers to work in autonomous driving. The results show that students can maintain a high interest level and make great progress by starting with familiar concepts before moving onto other modules.


title: A Learning-based Stochastic MPC Design for Cooperative Adaptive Cruise Control to Handle Interfering Vehicles

abstract: Vehicle to Vehicle (V2V) communication has a great potential to improve reaction accuracy of different driver assistance systems in critical driving situations. Cooperative Adaptive Cruise Control (CACC), which is an automated application, provides drivers with extra benefits such as traffic throughput maximization and collision avoidance. CACC systems must be designed in a way that are sufficiently robust against all special maneuvers such as cutting-into the CACC platoons by interfering vehicles or hard braking by leading cars. To address this problem, a Neural- Network (NN)-based cut-in detection and trajectory prediction scheme is proposed in the first part of this paper. Next, a probabilistic framework is developed in which the cut-in probability is calculated based on the output of the mentioned cut-in prediction block. Finally, a specific Stochastic Model Predictive Controller (SMPC) is designed which incorporates this cut-in probability to enhance its reaction against the detected dangerous cut-in maneuver. The overall system is implemented and its performance is evaluated using realistic driving scenarios from Safety Pilot Model Deployment (SPMD).


title: Udo Pachner (1947-2002) - A "Hidden Champion" in Mathematics

abstract: Udo Pachner proved that all simplicial manifolds which are homeomorphic can be transformed into each other by a sequence of simple transformations now commonly called "Pachner moves". For a fixed dimension there are only finitely many types of Pachner moves. This makes it possible to identify invariants by proving the invariance only for a finite number of transformations. This fact has proved useful for various applications in p.l. topology and in loop quantum gravity theory. The paper is meant to honor the importance of Pachner's results and to make them known to a wider community.


title: Detection of Light Sleep Periods Using an Accelerometer Based Alarm System

abstract: Light sleep is a sleeping period which occurs within each hour during the sleep. This is the period when people are closest to awakening. With this being the case people tend to move more frequently and aggressively during these periods. The characteristics of sleeping stages, detection of light sleep periods and analysis of light sleep periods were clarified. The sleeping patterns of different subjects were analyzed. In this paper the most suitable moment for waking a person up will be described. The detection of this moment and the development process of a system dedicated to this purpose will be explained, and also some experimental results that are acquired via different tests will be shared and analyzed.


title: A Deep Learning Approach for Privacy Preservation in Assisted Living

abstract: In the era of Internet of Things (IoT) technologies the potential for privacy invasion is becoming a major concern especially in regards to healthcare data and Ambient Assisted Living (AAL) environments. Systems that offer AAL technologies make extensive use of personal data in order to provide services that are context-aware and personalized. This makes privacy preservation a very important issue especially since the users are not always aware of the privacy risks they could face. A lot of progress has been made in the deep learning field, however, there has been lack of research on privacy preservation of sensitive personal data with the use of deep learning. In this paper we focus on a Long Short Term Memory (LSTM) Encoder-Decoder, which is a principal component of deep learning, and propose a new encoding technique that allows the creation of different AAL data views, depending on the access level of the end user and the information they require access to. The efficiency and effectiveness of the proposed method are demonstrated with experiments on a simulated AAL dataset. Qualitatively, we show that the proposed model learns privacy operations such as disclosure, deletion and generalization and can perform encoding and decoding of the data with almost perfect recovery.


title: A surge of light at the birth of a supernova

abstract: It is difficult to establish the properties of massive stars that explode as supernovae. The electromagnetic emission during the first minutes to hours after the emergence of the shock from the stellar surface conveys important information about the final evolution and structure of the exploding star. However, the unpredictable nature of supernova events hinders the detection of this brief initial phase. Here we report the serendipitous discovery of a newly born, normal type IIb supernova (SN 2016gkg), which reveals a rapid brightening at optical wavelengths of about 40 magnitudes per day. The very frequent sampling of the observations allowed us to study in detail the outermost structure of the progenitor of the supernova and the physics of the emergence of the shock. We develop hydrodynamical models of the explosion that naturally account for the complete evolution of the supernova over distinct phases regulated by different physical processes. This result suggests that it is appropriate to decouple the treatment of the shock propagation from the unknown mechanism that triggers the explosion.


title: Feedforward Control of Magnetically Levitated Planar Actuators

abstract: The present report summarizes the work conducted during the internship on Feedforward Control of the Magnetic Levitation Setup. Different feedforward strategies, specifically tailored for this setup, are developed and reviewed. These feedforward methods explicitly take the intrinsic position-dependent behavior of the magnetic levitation setup into account. Additionally, closed-loop stability of the given setup is assessed. All investigations are carried out under the rigid-body assumption of the structure. Analysis and simulation show the potential performance improvement obtained with such feedforward strategies.


title: The Maximal Negative Ion of the Time-Dependent Thomas-Fermi and the Vlasov Atom

abstract: We show an atom of atomic number $Z$ described by the time-dependent Thomas-Fermi equation or the Vlasov equation cannot bind more than $4Z$ electrons.


title: Indentation of a two-dimensional bonded elastic layer with surface tension

abstract: Surface tension is a prominent factor for the deformation of solids at micro-/nano-scale. This paper investigates the effects of surface tension on the two-dimensional contact problems of an elastic layer bonded to the rigid substrate. Under the plane strain assumption, the elastic field induced by a uniformly distributed pressure within a finite width is formulated by applying the Fourier integral transform, and the limiting process leading to the solutions for a line force brings the requisite surface Greens function. For the indentation of an elastic layer by a rigid cylinder, the corresponding singular integral equation is derived, and subsequently solved by using an effective numerical method based on Gauss-Chebyshev quadrature formula. It is found from the theoretical and numerical results that the existence of surface tension strongly enhances the hardness of the elastic layer and significantly affects the distribution of contact pressure, when the size of contact region is comparable to the elastocapillary length. In addition, an approximated relationship between external load and half-width of contact is generalized in an explicit and concise form, which is useful and convenient for practical applications.


title: Distributions of countable models of disjoint unions of Ehrenfeucht theories

abstract: We describe Rudin-Keisler preorders and distribution functions of numbers of limit models for disjoint unions of Ehrenfeucht theories. Decomposition formulas for these distributions are found.


title: Large-N_c sum rules for charmed baryons at subleading orders

abstract: Sum rules for the low-energy constants of the chiral SU(3) Lagrangian with charmed baryons of spin J^P=1/2^+ and J^P=3/2^+ baryons are derived from large-N_c QCD. We consider the large-$N_c$ operator expansion at subleading orders for current-current correlation functions in the charmed baryon-ground states for two scalar and two axial-vector currents.


title: Dynamical structure of Carrollian Electrodynamics

abstract: We present an action of ultra-relativistic electrodynamics on a flat Carroll manifold. The model exhibits a couple of physical degrees of freedom per space-point. We observe that the action of the conformal Carroll algebra on the phase space is Hamiltonian in 4 space-time dimensions. Moreover the elements of the algebra give rise to an infinite number of conserved charges and the charge algebra is an exact realization of the kinematical algebra.


title: The Detectability of Earth's Biosignatures Across Time

abstract: Over the past two decades, enormous advances in the detection of exoplanets have taken place. Currently, we have discovered hundreds of earth-sized planets, several of them within the habitable zone of their star. In the coming years, the efforts will concentrate in the characterization of these planets and their atmospheres to try to detect the presence of biosignatures. However, even if we discovered a second Earth, it is very unlikely that it would present a stage of evolution similar to the present-day Earth. Our planet has been far from static since its formation about 4.5 Ga ago; on the contrary, during this time, it has undergone multiple changes in it's atmospheric composition, it's temperature structure, it's continental distribution, and even changes in the forms of life that inhabit it. All these changes have affected the global properties of Earth as seen from an astronomical distance. Thus, it is of interest not only to characterize the observables of the Earth as it is today, but also at different epochs. Here we review the detectability of the Earth's globally-averaged properties over time. This includes atmospheric composition and biosignatures, and surface properties that can be interpreted as sings of habitability (bioclues). The resulting picture is that truly unambiguous biosignatures are only detectable for about 1/4 of the Earth's history. The rest of the time we rely on detectable bioclues that can only establish an statistical likelihood for the presence of life on a given planet.


title: On transitive group G-groupoids

abstract: The purpose of this paper is to study the transitive group-groupoids.


title: River Crossing Problems: Algebraic Approach

abstract: We consider two river crossing problems, about jealous husbands and about missionaries and cannibals. The missionaries and cannibals problem arose a thousand years after the jealous husbands problem, although its solution had actually appeared several hundred years before its formulation. We apply an algebraic approach to study these problems, using a symmetry group action on the state set of the jealous husband problem; then category theory is used to describe the relationship between the two problems. Some historical issues are also touched, related to the fact that the missionaries and cannibals problem arose precisely when the group approach began to be widely spread and popularized. This is the approach that naturally connects both problems.


title: Averaging of density kernel estimators

abstract: Averaging provides an alternative to bandwidth selection for density kernel estimation. We propose a procedure to combine linearly several kernel estimators of a density obtained from different, possibly data-driven, bandwidths. The method relies on minimizing an easily tractable approximation of the integrated square error of the combination. It provides, at a small computational cost, a final solution that improves on the initial estimators in most cases. The average estimator is proved to be asymptotically as efficient as the best possible combination (the oracle), with an error term that decreases faster than the minimax rate obtained with separated learning and validation samples. The performances are tested numerically, with results that compare favorably to other existing procedures in terms of mean integrated square errors.


title: Autoencoder based image compression: can the learning be quantization independent?

abstract: This paper explores the problem of learning transforms for image compression via autoencoders. Usually, the rate-distortion performances of image compression are tuned by varying the quantization step size. In the case of autoen-coders, this in principle would require learning one transform per rate-distortion point at a given quantization step size. Here, we show that comparable performances can be obtained with a unique learned transform. The different rate-distortion points are then reached by varying the quantization step size at test time. This approach saves a lot of training time.


title: Generalized Chacon polynomial constructions

abstract: We define a generalization of Chacon's classical automorphism and answer the question of whether its important properties remain. We calculate the family of polynimials representing the automorphism, given in recurrence formulae, and infer its basic characterictics, namely the palindromic property and the sequence of degrees.


title: Search for time modulations in the decay constant of 40K and 226Ra at the underground Gran Sasso Laboratory

abstract: Time modulations at per mil level have been reported to take place in the decay constant of several nuclei with period of one year (most cases) but also of about one month or one day. On the other hand, experiments with similar or better sensitivity have been unable to detect any modulation. In this letter we give the results of the activity study of two different sources: 40K and 226Ra. The two gamma spectrometry experiments have been performed underground at the Gran Sasso Laboratory, this way suppressing the time dependent cosmic ray background. Briefly, our measurements reached the sensitivity of 3.4 and 3.5 parts over 10^6 for 40K and 226Ra, respectively (1 sigma) and they do not show any statistically significant evidence of time dependence in the decay constant. We also give the results of the activity measurement at the time of the two strong X-class solar flares which took place in September 2017. Our data do not show any unexpected time dependence in the decay rate of 40K in correspondence with the two flares. To the best of our knowledge, these are the most precise and accurate results on the stability of the decay constant as function of time.


title: Characteristics and energy dependence of recurrent galactic cosmic-ray flux depressions and of a Forbush decrease with LISA Pathfinder

abstract: Galactic cosmic-ray (GCR) energy spectra observed in the inner heliosphere are modulated by the solar activity, the solar polarity and structures of solar and interplanetary origin. A high counting rate particle detector (PD) aboard LISA Pathfinder (LPF), meant for subsystems diagnostics, was devoted to the measurement of galactic cosmic-ray and solar energetic particle integral fluxes above 70 MeV n$^{-1}$ up to 6500 counts s$^{-1}$. PD data were gathered with a sampling time of 15 s. Characteristics and energy-dependence of GCR flux recurrent depressions and of a Forbush decrease dated August 2, 2016 are reported here. The capability of interplanetary missions, carrying PDs for instrument performance purposes, in monitoring the passage of interplanetary coronal mass ejections (ICMEs) is also discussed.


title: From Phonology to Syntax: Unsupervised Linguistic Typology at Different Levels with Language Embeddings

abstract: A core part of linguistic typology is the classification of languages according to linguistic properties, such as those detailed in the World Atlas of Language Structure (WALS). Doing this manually is prohibitively time-consuming, which is in part evidenced by the fact that only 100 out of over 7,000 languages spoken in the world are fully covered in WALS. We learn distributed language representations, which can be used to predict typological properties on a massively multilingual scale. Additionally, quantitative and qualitative analyses of these language embeddings can tell us how language similarities are encoded in NLP models for tasks at different typological levels. The representations are learned in an unsupervised manner alongside tasks at three typological levels: phonology (grapheme-to-phoneme prediction, and phoneme reconstruction), morphology (morphological inflection), and syntax (part-of-speech tagging). We consider more than 800 languages and find significant differences in the language representations encoded, depending on the target task. For instance, although Norwegian Bokm{\aa}l and Danish are typologically close to one another, they are phonologically distant, which is reflected in their language embeddings growing relatively distant in a phonological task. We are also able to predict typological features in WALS with high accuracies, even for unseen language families.


title: An important step for the computation of the HOMFLYPT skein module of the lens spaces $L(p,1)$ via braids

abstract: We prove that, in order to derive the HOMFLYPT skein module of the lens spaces $L(p,1)$ from the HOMFLYPT skein module of the solid torus, $\mathcal{S}({\rm ST})$, it suffices to solve an infinite system of equations obtained by imposing on the Lambropoulou invariant $X$ for knots and links in the solid torus, braid band moves that are performed only on the first moving strand of elements in a set $\Lambda^{aug}$, augmenting the basis $\Lambda$ of $\mathcal{S}({\rm ST})$.


title: A Finite-Model-Theoretic View on Propositional Proof Complexity

abstract: We establish new, and surprisingly tight, connections between propositional proof complexity and finite model theory. Specifically, we show that the power of several propositional proof systems, such as Horn resolution, bounded-width resolution, and the monomial calculus of bounded degree, can be characterised in a precise sense by variants of fixed-point logics that are of fundamental importance in descriptive complexity theory. Our main results are that Horn resolution has the same expressive power as least fixed-point logic, that bounded-width resolution captures existential least fixed-point logic, and that the polynomial calculus with bounded degree over the rationals solves precisely the problems definable in fixed-point logic with counting. We also study the bounded-degree polynomial calculus. Over the rationals, it captures fixed-point logic with counting if we restrict the bit-complexity of the coefficients. For unrestricted coefficients, we can only say that the bounded-degree polynomial calculus is at most as powerful as bounded variable infinitary counting logic, but a precise logical characterisation of its power remains an open problem. These connections between logics and proof systems allow us to establish finite-model-theoretic tools for proving lower bounds for the polynomial calculus over the rationals and also over finite fields. This is a corrected version of the paper (arXiv:1802.09377) published originally on January 23, 2019.


title: Decreasing height along continued fractions

abstract: The fact that the euclidean algorithm eventually terminates is pervasive in mathematics. In the language of continued fractions, it can be stated by saying that the orbits of rational points under the Gauss map x-->{1/x} eventually reach zero. Analogues of this fact for Gauss maps defined over quadratic number fields have relevance in the theory of flows on translation surfaces, and have been established via powerful machinery, ultimately relying on the Veech dichotomy. In this paper, for each commensurability class of noncocompact triangle groups of quadratic invariant trace field, we construct a Gauss map whose defining matrices generate a group in the class; we then provide a direct and self-contained proof of termination. As a byproduct, we provide a new proof of the fact that noncocompact triangle groups of quadratic invariant trace field have the projective line over that field as the set of cross-ratios of cusps. Our proof is based on an analysis of the action of nonnegative matrices with quadratic integer entries on the Weil height of points. As a consequence of the analysis, we show that long symbolic sequences in the alphabet of our maps can be effectively split into blocks of predetermined shape having the property that the height of points which obey the sequence and belong to the base field decreases strictly at each block end. Since the height cannot decrease infinitely, the termination property follows.


title: Mapping of Jupiter's tropospheric NH$_3$ abundance using ground-based IRTF/TEXES observations at 5 $\mu$m

abstract: We report on results of an observing campaign to support the Juno mission. At the beginning of 2016, using TEXES (Texas Echelon cross-dispersed Echelle Spectrograph), mounted on the NASA Infrared Telescope Facility (IRTF), we obtained data cubes of Jupiter in the 1930--1943 cm$^{-1}$ spectral ranges (around 5 $\mu$m), which probe the atmosphere in the 1--4 bar region, with a spectral resolution of $\approx$ 0.15 cm$^{-1}$ and an angular resolution of $\approx$ 1.4". This dataset is analysed by a code that combines a line-by-line radiative transfer model with a non-linear optimal estimation inversion method. The inversion retrieves the vertical abundance profiles of NH$_3$ - which is the main contributor at these wavelengths - with a maximum sensitivity at $\approx$ 1--3 bar, as well as the cloud transmittance. This retrieval is performed on over more than one thousand pixels of our data cubes, producing maps of the disk, where all the major belts are visible. We present our retrieved NH$_3$ abundance maps which can be compared with the distribution observed by Juno's MWR (Bolton et al., 2017; Li et al., 2017) in the 2 bar region and discuss their significance for the understanding of Jupiter's atmospheric dynamics. We are able to show important latitudinal variations - such as in the North Equatorial Belt (NEB), where the NH$_3$ abundance is observed to drop down to 60 ppmv at 2 bar - as well as longitudinal variability. In the zones, we find the NH$_3$ abundance to increase with depth, from 100 $\pm$ 15 ppmv at 1 bar to 500 $\pm$ 30 ppmv at 3 bar. We also display the cloud transmittance--NH$_3$ abundance relationship, and find different behaviour for the NEB, the other belts and the zones. Using a simple cloud model, we are able to fit this relationship, at least in the NEB, including either NH$_3$-ice or NH$_4$SH particles with sizes between 10 and 100 $\mu$m.


title: Apparent remote synchronization of amplitudes: a demodulation and interference effect

abstract: A form of "remote synchronization" was recently described wherein amplitude fluctuations across a ring of non-identical, non-linear electronic oscillators become entrained into spatially-structured patterns. According to linear models and mutual information, synchronization and causality dip at a certain distance, then recover before eventually fading. Here, the underlying mechanism is finally elucidated through novel experiments and simulations. The system non-linearity is found to have a dual role: it supports chaotic dynamics, and it enables energy exchange between the lower and higher sidebands of a predominant frequency. This frequency acts as carrier signal in an arrangement resembling standard amplitude modulation, wherein the lower sideband and the demodulated baseband signals spectrally overlap. Due to a spatially-dependent phase relationship, at a certain distance near-complete destructive interference occurs between them, causing the observed dip. Methods suitable for detecting non-trivial entrainment, such as transfer entropy and the auxiliary system approach, nevertheless reveal that synchronization and causality actually decrease with distance monotonically. Remoteness is, therefore, arguably only apparent, as also reflected in the propagation of external perturbations. These results demonstrate a complex mechanism of dynamical interdependence, and exemplify how it can lead to incorrectly inferring synchronization and causality.


title: DropLasso: A robust variant of Lasso for single cell RNA-seq data

abstract: Single-cell RNA sequencing (scRNA-seq) is a fast growing approach to measure the genome-wide transcriptome of many individual cells in parallel, but results in noisy data with many dropout events. Existing methods to learn molecular signatures from bulk transcriptomic data may therefore not be adapted to scRNA-seq data, in order to automatically classify individual cells into predefined classes. We propose a new method called DropLasso to learn a molecular signature from scRNA-seq data. DropLasso extends the dropout regularisation technique, popular in neural network training, to esti- mate sparse linear models. It is well adapted to data corrupted by dropout noise, such as scRNA-seq data, and we clarify how it relates to elastic net regularisation. We provide promising results on simulated and real scRNA-seq data, suggesting that DropLasso may be better adapted than standard regularisa- tions to infer molecular signatures from scRNA-seq data.


title: Global homotopy theory

abstract: This book introduces a new context for global homotopy theory, i.e., equivariant homotopy theory with universal symmetries. Many important equivariant theories naturally exist not just for a particular group, but in a uniform way for all groups in a specific class. Prominent examples are equivariant stable homotopy, equivariant $K$-theory or equivariant bordism. Global equivariant homotopy theory studies such uniform phenomena, i.e., the adjective `global' refers to simultaneous and compatible actions of all compact Lie groups. We give a self-contained treatment of unstable and stable global homotopy theory, modeled by orthogonal spaces respectively orthogonal spectra under global equivalences. Specific topics include the global stable homotopy category, operations on equivariant homotopy groups, global model structures, and ultra-commutative multiplications. The book includes many explicit examples and detailed calculations.


title: Are Khovanov-Rozansky polynomials consistent with evolution in the space of knots?

abstract: $R$-coloured knot polynomials for $m$-strand torus knots $Torus_{[m,n]}$ are described by the Rosso-Jones formula, which is an example of evolution in $n$ with Lyapunov exponents, labelled by Young diagrams from $R^{\otimes m}$. This means that they satisfy a finite-difference equation (recursion) of finite degree. For the gauge group $SL(N)$ only diagrams with no more than $N$ lines can contribute and the recursion degree is reduced. We claim that these properties (evolution/recursion and reduction) persist for Khovanov-Rozansky (KR) polynomials, obtained by additional factorization modulo $1+{\bf t}$, which is not yet adequately described in quantum field theory. Also preserved is some weakened version of differential expansion, which is responsible at least for a simple relation between {\it reduced} and {\it unreduced} Khovanov polynomials. However, in the KR case evolution is incompatible with the mirror symmetry under the change $n\longrightarrow -n$, what can signal about an ambiguity in the KR factorization even for torus knots. }


title: Using Curvilinear Features in Focus for Registering a Single Image to a 3D Object

abstract: In the context of 2D/3D registration, this paper introduces an approach that allows to match features detected in two different modalities: photographs and 3D models, by using a common 2D reprensentation. More precisely, 2D images are matched with a set of depth images, representing the 3D model. After introducing the concept of curvilinear saliency, related to curvature estimation, we propose a new ridge and valley detector for depth images rendered from 3D model. A variant of this detector is adapted to photographs, in particular by applying it in multi-scale and by combining this feature detector with the principle of focus curves. Finally, a registration algorithm for determining the correct viewpoint of the 3D model and thus the pose is proposed. It is based on using histogram of gradients features adapted to the features manipulated in 2D and in 3D, and the introduction of repeatability scores. The results presented highlight the quality of the features detected, in term of repeatability, and also the interest of the approach for registration and pose estimation.


title: Sharp estimates of the spherical heat kernel

abstract: We prove sharp two-sided global estimates for the heat kernel associated with a Euclidean sphere of arbitrary dimension. This solves a long-standing open problem.


title: Learning Anonymized Representations with Adversarial Neural Networks

abstract: Statistical methods protecting sensitive information or the identity of the data owner have become critical to ensure privacy of individuals as well as of organizations. This paper investigates anonymization methods based on representation learning and deep neural networks, and motivated by novel information theoretical bounds. We introduce a novel training objective for simultaneously training a predictor over target variables of interest (the regular labels) while preventing an intermediate representation to be predictive of the private labels. The architecture is based on three sub-networks: one going from input to representation, one from representation to predicted regular labels, and one from representation to predicted private labels. The training procedure aims at learning representations that preserve the relevant part of the information (about regular labels) while dismissing information about the private labels which correspond to the identity of a person. We demonstrate the success of this approach for two distinct classification versus anonymization tasks (handwritten digits and sentiment analysis).


title: Estimating Precipitation Extremes using Log-Histospline

abstract: One of the commonly used approaches to modeling extremes is the peaks-over-threshold (POT) method. The POT method models exceedances over a threshold that is sufficiently high or low so that the exceedance has approximately a generalized Pareto distribution (GPD). This method requires the selection of a threshold that might affect the estimates. Here we propose an alternative method, the Log-Histospline (LHSpline), to explore modeling the tail behavior and the remainder of the density in one step using the full range of the data. LHSpline applies a smoothing spline model to a finely binned histogram of the log transformed data to estimate its log density. By construction, a LHSpline estimation is constrained to have polynomial tail behavior, a feature commonly observed in daily rainfall observations. We illustrate the LHSpline method by analyzing precipitation data collected in Houston, Texas.


title: Bayesian Sample Size Determination for Planning Hierarchical Bayes Small Area Estimates

abstract: This paper devises a fully Bayesian sample size determination method for hierarchical model-based small area estimation with a decision risk approach. A new loss function specified around a desired maximum posterior variance target implements conventional official statistics criteria of estimator reliability (coefficient of variation of up to 20 per cent). This approach comes with an efficient binary search algorithm identifying the minimum effective sample size needed to produce small area estimates under this threshold constraint. Traditional survey sampling design tools can then be used to plan appropriate data collection using the resulting effective sample size target. This approach is illustrated in a case study on small area prevalence of life limiting health problems for 6 age groups across 1,956 small areas in Northern England, using the recently developed Integrated Nested Laplace Approximation method for spatial generalised linear mixed hierarchical models.


title: On the strong separation conjecture

abstract: This paper contains a partial result on the Pierce--Birkhoff conjecture on piece-wise polynomial functions defined by a finite collection {f 1,. .., f r} of polynomials. In the nineteen eighties, generalizing the problem from the polynomial ring to an artibtrary ring $\Sigma$, J. Madden proved that the Pierce--Birkhoff conjecture for $\Sigma$ is equivalent to a statement about an arbitrary pair of points $\alpha$, $\beta$ $\in$ Sper $\Sigma$ and their separating ideal < $\alpha$, $\beta$ >, we refer to this statement as the local Pierce-Birkhoff conjecture at $\alpha$, $\beta$. In [8] we introduced a slightly stronger conjecture, also stated for a pair of points $\alpha$, $\beta$ $\in$ Sper $\Sigma$ and the separating ideal < $\alpha$, $\beta$ >, called the Connectedness conjecture, about a finite collection of elements {f 1, . . ., fr} $\subset$ $\Sigma$. In the paper [10] we introduced a new conjecture, called the Strong Connectednessconjecture, and proved that the Strong Connectedness conjecture in dimension n--1 implies the Strong Connectedness conjecture in dimension n in the case when ht(< $\alpha$, $\beta$ >) $\le$ n -- 1.The Pierce-Birkhoff Conjecture for r = 2 is equivalent to the Connectedness Conjecture for r = 1, this conjecture is called the Separation Conjecture. The Strong Connectedness Conjecture for r = 1 is called the Strong Separation Conjecture. In the present paper, we fix a polynomial f $\in$ R[x, z] where R is a real closed field and x = (x1, . . ., xn), z are n + 1 independent variables. We define the notion of two points $\alpha$, $\beta$ $\in$ Sper R[x, z] being in good position with respect to f. The main result of this paper is a proof of the Strong Separation Conjecture in the case when $\alpha$ and $\beta$ are in good position with respect to f.


title: On the first critical field in the 3D Ginzburg-Landau model of superconductivity

abstract: The Ginzburg-Landau model is a phenomenological description of superconductivity. A crucial feature of type-II superconductors is the occurrence of vortices, which appear above a certain value of the applied magnetic field called the first critical field. In this paper we estimate this value, when the Ginzburg-Landau parameter is large, and we characterize the behavior of the Meissner solution, the unique vortexless configuration that globally minimizes the Ginzburg-Landau energy below the first critical field. In addition, we show that beyond this value, for a certain range of the strength of the applied field, there exists a unique Meissner-type solution that locally minimizes the energy.


title: Technical Report for "Incentivizing Wi-Fi Network Crowdsourcing: A Contract Theoretic Approach"

abstract: Crowdsourced wireless community network enables individual users to share their private Wi-Fi access points (APs) with each other, hence can achieve a large Wi-Fi coverage with a small deployment cost via crowdsourcing. This paper presents a novel contract-based incentive framework to incentivize such a Wi-Fi network crowdsourcing under incomplete information (where each user has certain private information such as mobility pattern and Wi-Fi access quality). In the proposed framework, the network operator designs and offers a set of contract items to users, each consisting of a Wi-Fi access price (that a user can charge others for accessing his AP) and a subscription fee (that a user needs to pay the operator for joining the community). Different from the existing contracts in the literature, in our contract model each user's best choice depends not only on his private information but also on other users' choices. This greatly complicates the contract design, as the operator needs to analyze the equilibrium choices of all users, rather than the best choice of each single user. We first derive the feasible contract that guarantees the users' truthful information disclosure based on the equilibrium analysis of user choice, and then derive the optimal (and feasible) contract that yields the maximal profit for the operator. Our analysis shows that a user who provides a higher Wi-Fi access quality is more likely to choose a higher Wi-Fi access price and subscription fee, regardless of the user mobility pattern. Simulation results further show that when increasing the average Wi-Fi access quality of users, the operator can gain more profit, but (counter-intuitively) offer lower Wi-Fi access prices and subscription fees for users.


title: Electromagnetic helicity in complex media

abstract: Optical helicity density is usually discussed for monochromatic electromagnetic fields in free space. It plays an important role in the interaction with chiral molecules or nanoparticles. Here we introduce the optical helicity density in a dispersive isotropic medium. Our definition is consistent with biorthogonal Maxwell electromagnetism in optical media, the Brillouin energy density, as well as with the recently-introduced canonical momentum and spin of light in dispersive media. We consider a number of examples, including electromagnetic waves in dielectrics, negative-index materials, and metals, as well as interactions of light in a medium with chiral and magnetoelectric molecules.


title: Lean Internal Startups for Software Product Innovation in Large Companies: Enablers and Inhibitors

abstract: To compete in this age of disruption, large companies cannot rely on cost efficiency, lead time reduction and quality improvement. They are now looking for ways to innovate like startups. Meanwhile, the awareness and use of the Lean startup approach have grown rapidly amongst the software startup community in recent years. This study investigates how Lean internal startup facilitates software product innovation in large companies and identifies its enablers and inhibitors. A multiple case study approach is followed in the investigation. Two software product innovation projects from two large companies are examined, using a conceptual framework that is based on the method-in-action framework and extended with the previously developed Lean-Internal Corporate Venture model. Seven face-to-face in-depth interviews of the employees with different roles are conducted. Within-case analysis and cross-case comparison are applied to draw the findings from the cases. A generic process flow summarises the common key processes of Lean internal startups. The findings suggest that an internal startup that is initiated management or employees faces different challenges. A list of enablers of applying Lean startup in large companies are identified, including top management support and cross-functional team. Both cases face different inhibitors due to the different process of inception, objective of the team and type of the product. Our contributions are threefold. First, this study is one of the first attempt to investigate the use of Lean startup approach in large companies empirically. Second, the study shows the potential of the method-in-action framework to investigate the Lean startup approach in non-startup context. The third is a general process of Lean internal startup and the evidence of the enablers and inhibitors of implementing it, which are both theory-informed and empirically grounded.


title: A superconvergent HDG method for Stokes flow with strongly enforced symmetry of the stress tensor

abstract: This work proposes a superconvergent hybridizable discontinuous Galerkin (HDG) method for the approximation of the Cauchy formulation of the Stokes equation using same degree of polynomials for the primal and mixed variables. The novel formulation relies on the well-known Voigt notation to strongly enforce the symmetry of the stress tensor. The proposed strategy introduces several advantages with respect to the existing HDG formulations. First, it remedies the suboptimal behavior experienced by the classical HDG method for formulations involving the symmetric part of the gradient of the primal variable. The optimal convergence of the mixed variable is retrieved and an element-by-element post-process procedure leads to a superconvergent velocity field, even for low-order approximations. Second, no additional enrichment of the discrete spaces is required and a gain in computational efficiency follows from reducing the quantity of stored information and the size of the local problems. Eventually, the novel formulation naturally imposes physical tractions on the Neumann boundary. Numerical validation of the optimality of the method and its superconvergent properties is performed in 2D and 3D using meshes of different element types.


title: Scattering Amplitudes -- Wilson Loops Duality for the First Non-planar Correction

abstract: We study the first non-planar correction to gluon scattering amplitudes in ${\cal N}=4$ SYM theory. The correction takes the form of a double trace partial amplitude and is suppressed by one power of $1/N$ with respect to the leading single trace contribution. We extend the duality between planar scattering amplitudes and null polygonal Wilson loops to the double trace amplitude. The new duality relates the amplitude to the correlation function of two infinite null polygonal Wilson lines that are subject to a quantum periodicity constraint. We test the duality perturbatively at one-loop order and demonstrate it for the dual string in AdS. The duality allows us to extend the notion of the loop integrand beyond the planar limit and to determine it using recursion relations. It also allows one to apply the integrability-based pentagon operator product expansion approach to the first non-planar order.


title: Attraction versus Persuasion: Information Provision in Search Markets

abstract: We consider a model of oligopolistic competition in a market with search frictions, in which competing firms with products of unknown quality advertise how much information a consumer's visit will glean. In the unique symmetric equilibrium of this game, the countervailing incentives of attraction and persuasion yield a payoff function for each firm that is linear in the firm's realized effective value. If the expected quality of the products is sufficiently high (or competition is sufficiently fierce), this corresponds to full information--firms provide the first-best level of information. If not, this corresponds to information dispersion--firms randomize over signals.


title: Tomographic X-ray data of 3D emoji

abstract: This is the documentation of the tomographic X-ray data of emoji phantom made available at https://zenodo.org/record/1183532#.WpA35Y5rIy1. The data can be freely used for scientific purposes with appropriate references to the data and to this document in arxiv.org. The data set consists of (1) the X-ray sinogram of a single 2D slice of 33 emoji faces (contains 15 different emoji faces) made by small squared ceramic stones and (2) the corresponding static and dynamic measurement matrices modeling the linear operation of the X-ray transform. Each of these sinograms was obtained from a measured 60-projection fan-beam sinogram by down-sampling and taking logarithms. The original (measured) sinogram is also provided in its original form and resolution. The original (measured) sinogram is also provided in its original form and resolution.


title: Call center service times are lognormal. A Fokker--Planck description

abstract: Call centers are service networks in which agents provide telephone-based services. An important part of call center operations is represented by service durations. In recent statistical analysis of real data, it has been noticed that the distribution of service times reveals a remarkable fit to the lognormal distribution. In this paper we discuss a possible source of this behavior by resorting to classical methods of statistical mechanics of multi-agent systems. The microscopic service time variation leading to a linear kinetic equation with lognormal equilibrium density is built up introducing as main criterion for decision a suitable value function in the spirit of the prospect theory of Kahneman and Twersky.


title: Area Coverage of Expanding E.T. Signals in the Galaxy: SETI and Drake's N

abstract: The Milky Way Galaxy contains an unknown number, $N$, of civilizations that emit electromagnetic radiation (of unknown wavelengths) over a finite lifetime, $L$. Here we are assuming that the radiation is not produced indefinitely, but within $L$ as a result of some unknown limiting event. When a civilization stops emitting, the radiation continues traveling outward at the speed of light, $c$, but is confined within a shell wall having constant thickness, $cL$. We develop a simple model of the Galaxy that includes both the birthrate and detectable lifetime of civilizations to compute the possibility of a SETI detection at the Earth. Two cases emerge for radiation shells that are (1) thinner than or (2) thicker than the size of the Galaxy, corresponding to detectable lifetimes, $L$, less than or greater than the light-travel time, $\sim 100,000$ years, across the Milky Way, respectively. For case (1), each shell wall has a thickness smaller than the size of the Galaxy and intersects the galactic plane in a donut shape (annulus) that fills only a fraction of the Galaxy's volume, inhibiting SETI detection. But the ensemble of such shell walls may still fill our Galaxy, and indeed may overlap locally, given a sufficiently high birthrate of detectable civilizations. In the second case, each radiation shell is thicker than the size of our Galaxy. Yet, the ensemble of walls may or may not yield a SETI detection depending on the civilization birthrate. We compare the number of different electromagnetic transmissions arriving at Earth to Drake's $N$, the number of currently emitting civilizations, showing that they are equal to each other for both cases (1) and (2). However, for $L < 100,000$ years, the transmissions arriving at Earth may come from distant civilizations long extinct, while civilizations still alive are sending signals yet to arrive.


title: $L^2\times L^2 \to L^1$ boundedness criteria

abstract: We obtain a sharp $L^2\times L^2 \to L^1$ boundedness criterion for a class of bilinear operators associated with a multiplier given by a signed sum of dyadic dilations of a given function, in terms of the $L^q$ integrability of this function; precisely we show that boundedness holds if and only if $q<4$. We discuss applications of this result concerning bilinear rough singular integrals and bilinear dyadic spherical maximal functions. Our second result is an optimal $L^2\times L^2\to L^1$ boundedness criterion for bilinear operators associated with multipliers with $L^\infty$ derivatives. This result provides the main tool in the proof of the first theorem and is also manifested in terms of the $L^q$ integrability of the multiplier. The optimal range is $q<4$ which, in the absence of Plancherel's identity on $L^1$, should be compared to $q=\infty$ in the classical $L^2\to L^2$ boundedness for linear multiplier operators.


title: Detection of interstellar HCS and its metastable isomer HSC: new pieces in the puzzle of sulfur chemistry

abstract: We present the first identification in interstellar space of the thioformyl radical (HCS) and its metastable isomer HSC. These species were detected toward the molecular cloud L483 thanks to observations carried out with the IRAM 30m telescope in the 3 mm band. We derive beam-averaged column densities of 7e12 cm-2 for HCS and 1.8e11 cm-2 for HSC, which translate to fractional abundances relative to H2 of 2e-10 and 6e-12, respectively. Although the amount of sulfur locked by these radicals is low, their detection allows to put interesting constraints on the chemistry of sulfur in dark clouds. Interestingly, the H2CS/HCS abundance ratio is found to be quite low, around 1, in contrast with the oxygen analogue case, in which the H2CO/HCO abundance ratio is around 10 in dark clouds. Moreover, the radical HCS is found to be more abundant than its oxygen analogue, HCO. The metastable species HOC, the oxygen analogue of HSC, has not been yet observed in space. These observational constraints are confronted with the outcome of a recent model of the chemistry of sulfur in dark clouds. The model underestimates the fractional abundance of HCS by at least one order of magnitude, overestimates the H2CS/HCS abundance ratio, and does not provide an abundance prediction for the metastable isomer HSC. These observations should prompt a revision of the chemistry of sulfur in interstellar clouds.


title: Quantum reflections, random walks and cut-off

abstract: We study the cut-off phenomenon for random walks on free unitary quantum groups coming from quantum conjugacy classes of classical reflections. We obtain in particular a quantum analogue of the result of U. Porod concerning certain mixtures of such reflections. We also study random walks on quantum reflection groups and more generally free wreath products of finite group by quantum permutation groups.


title: Vector Meson Photoproduction with a Linearly Polarized Beam

abstract: We propose a model based on Regge theory to describe photoproduction of light vector mesons. We fit the SLAC data and make predictions for the energy and momentum transfer dependence of the spin-density matrix elements in photoproduction of $\omega$, $\rho^0$ and $\phi$ mesons at $E_\gamma \sim 8.5$ GeV, which are soon to be measured at Jefferson Lab.


title: Model independent New Physics analysis in $\Lambda_b\to\Lambda\mu^+\mu^-$ decay

abstract: We study the rare $\Lambda_b\to\Lambda\mu^+\mu^-$ decay in the Standard Model and beyond. Beyond the Standard Model we include new vector and axial-vector operators, scalar and pseudo-scalar operators, and tensor operators in the effective Hamiltonian. Working in the helicity basis and using appropriate parametrization of the $\Lambda_b \to \Lambda$ hadronic matrix elements, we give expressions of hadronic and leptonic helicity amplitudes and derive expression of double differential branching ratio with respect to dilepton invariant mass squared and cosine of lepton angle. Appropriately integrating the differential branching ratio over the lepton angle, we obtain the longitudinal polarization fraction and the leptonic forward-backward asymmetry and sequentially study the observables in the presence of the new couplings. To analyze the implications of the new vector and axial-vector couplings, we follow the current global fits to $b\to s\mu^+\mu^-$ data. While the impacts of scalar couplings can be significant, exclusive $\bar{B}\to X_s\mu^+\mu^-$ data imply stringent constraints on the tensor couplings and hence the effects on $\Lambda_b\to\Lambda\mu^+\mu^-$ are negligible.


title: Improving Graph Convolutional Networks with Non-Parametric Activation Functions

abstract: Graph neural networks (GNNs) are a class of neural networks that allow to efficiently perform inference on data that is associated to a graph structure, such as, e.g., citation networks or knowledge graphs. While several variants of GNNs have been proposed, they only consider simple nonlinear activation functions in their layers, such as rectifiers or squashing functions. In this paper, we investigate the use of graph convolutional networks (GCNs) when combined with more complex activation functions, able to adapt from the training data. More specifically, we extend the recently proposed kernel activation function, a non-parametric model which can be implemented easily, can be regularized with standard $\ell_p$-norms techniques, and is smooth over its entire domain. Our experimental evaluation shows that the proposed architecture can significantly improve over its baseline, while similar improvements cannot be obtained by simply increasing the depth or size of the original GCN.


title: Environmental Policy Regulation and Corporate Compliance in a Spatial Evolutionary Game Model

abstract: We use an evolutionary game model to study the interplay between corporate environmental compliance and enforcement promoted by the policy maker in a country facing a pollution trap, i.e., a scenario in which the vast majority of firms do not internalize their pollution negative externality and auditors do not inspect firms. The game conflict is due to the trade-off in which firms are better-off when they pollute and are not inspected, while social welfare is maximized when auditors do not need to inspect socially responsible corporations that account for pollution in their production decisions regarding technology used and emission level. Starting with a well-mixed two-population game model, there is no long-run equilibrium and the shares of polluters and shirking auditors keep oscillating over time. In contrast, when firms and auditors are allocated in a spatial network, the game displays a rich dynamics depending on the inspecting cost. While the oscillatory behaviour is still possible, there is a set of parameters for which a long run robust equilibrium is achieved with the country leaving the pollution trap. On the other hand, an excessively high inspection cost leads to an ineffective auditing process where the few compliant firms are driven out of the country.


title: Search for a heavy resonance decaying to a pair of vector bosons in the lepton plus merged jet final state at $\sqrt{s} =$ 13 TeV

abstract: A search for a new heavy particle decaying to a pair of vector bosons (WW or WZ) is presented using data from the CMS detector corresponding to an integrated luminosity of 35.9 fb$^{-1}$ collected in proton-proton collisions at a centre-of-mass energy of 13 TeV in 2016. One of the bosons is required to be a W boson decaying to e$\nu$ or $\mu\nu$, while the other boson is required to be reconstructed as a single massive jet with substructure compatible with that of a highly-energetic quark pair from a W or Z boson decay. The search is performed in the resonance mass range between 1.0 and 4.5 TeV. The largest deviation from the background-only hypothesis is observed for a mass near 1.4 TeV and corresponds to a local significance of 2.5 standard deviations. The result is interpreted as an upper bound on the resonance production cross section. Comparing the excluded cross section values and the expectations from theoretical calculations in the bulk graviton and heavy vector triplet models, spin-2 WW resonances with mass smaller than 1.07 TeV and spin-1 WZ resonances lighter than 3.05 TeV, respectively, are excluded at 95% confidence level.


title: Lattice QCD with QCDLAB

abstract: QCDLAB is a set of programs, written in GNU Octave, for lattice QCD computations. Version 2.0 includes the generation of configurations for the SU(3) theory, computation of rectangle Wilson loops as well as the low lying meson spectrum with Wilson fermions. Version 2.1 includes also the computation of the low lying meson spectrum using minimally doubled chiral fermions. In this paper, we give a brief tutorial on lattice QCD computations using QCDLAB.


title: Reparametrization Invariance and Partial Re-Summations of the Heavy Quark Expansion

abstract: We extend existing work on reparametrization invariance (RPI) of the heavy-quark expansion. We discuss the total rates of inclusive processes and obtain results which have a manifest RPI and can be expressed through matrix elements of operators and states defined in full QCD. This approach leads to a partial re-summation of higher-order terms in the heavy-quark expansion and has the advantage that the number of independent parameters is reduced.


title: Infinitely many odd zeta values are irrational. By elementary means

abstract: In this small note, we provide an elementary proof of the fact that infinitely many odd zeta values are irrational. For the first time, this celebrated theorem been proven by Rivoal and Ball--Rivoal. The original proof uses highly non-elementary methods like the saddle-point method and Nesterenko's linear independence criterion. Recently, Zudilin has re-proven a slightly weaker form of his important result that at least one of the odd zeta values $\zeta(5),\zeta(7),\zeta(9)$ and $\zeta(11)$ is irrational, by elementary means. His new main ingredient are certain 'twists by half' of hypergeometric series. Generalizing this to 'higher twists' allows us to give a purely elementary proof of the result of Rivoal and Ball--Rivoal.


title: Principles of Bayesian Inference using General Divergence Criteria

abstract: When it is acknowledged that all candidate parameterised statistical models are misspecified relative to the data generating process, the decision maker (DM) must currently concern themselves with inference for the parameter value minimising the KL-divergence between the model and the process (Walker, 2013). However, it has long been known that minimising the KL-divergence places a large weight on correctly capturing the tails of the sample distribution. As a result the DM is required to worry about the robustness of their model to tail misspecifications if they want to conduct principled inference. In this paper we alleviate these concerns for the DM. We advance recent methodological developments in general Bayesian updating (Bissiri, Holmes and Walker, 2016) to propose a statistically well principled Bayesian updating of beliefs targeting the minimisation of more general divergence criteria. We improve both the motivation and the statistical foundations of existing Bayesian minimum divergence estimation (Hooker and Vidyashankar, 2014; Ghosh and Basu, 2016), allowing the well principled Bayesian to target predictions from the model that are close to the genuine model in terms of some alternative divergence measure to the KL-divergence. Our principled formulation allows us to consider a broader range of divergences than have previously been considered. In fact we argue defining the divergence measure forms an important, subjective part of any statistical analysis, and aim to provide some decision theoretic rational for this selection. We illustrate how targeting alternative divergence measures can impact the conclusions of simple inference tasks, and discuss then how our methods might apply to more complicated, high dimensional models.


title: On the automorphism group of a symplectic half-flat 6-manifold

abstract: We prove that the automorphism group of a compact 6-manifold $M$ endowed with a symplectic half-flat SU(3)-structure has abelian Lie algebra with dimension bounded by min$\{5,b_1(M)\}$. Moreover, we study the properties of the automorphism group action and we discuss relevant examples. In particular, we provide new complete examples on $T\mathbb{S}^3$ which are invariant under a cohomogeneity one action of SO(4).