title: Lower Bounds of Success Probabilities for High-Fidelity Approach in KLM Scheme

abstract: In the Knill-Laflamme-Milburn (KLM) scheme, the success probability of quantum teleportation is given by ${n \over n+1}$, wehre $2n$ is the number of the ancilla qubits. For the high-fidelity approach in the KLM scheme, the success probability is approximately given by $1-{1 \over n^{2}}$ for large $n$. We give an explicit prescription to prepare an optimal ancilla state and give an exact lower bound of the success probability for the high-fidelity approach for arbitrary $n$.


title: Wavenet based low rate speech coding

abstract: Traditional parametric coding of speech facilitates low rate but provides poor reconstruction quality because of the inadequacy of the model used. We describe how a WaveNet generative speech model can be used to generate high quality speech from the bit stream of a standard parametric coder operating at 2.4 kb/s. We compare this parametric coder with a waveform coder based on the same generative model and show that approximating the signal waveform incurs a large rate penalty. Our experiments confirm the high performance of the WaveNet based coder and show that the speech produced by the system is able to additionally perform implicit bandwidth extension and does not significantly impair recognition of the original speaker for the human listener, even when that speaker has not been used during the training of the generative model.


title: A Comparison of Simulated JWST Observations Derived from Equilibrium and Non-Equilibrium Chemistry Models of Giant Exoplanets

abstract: We aim to see if the difference between equilibrium and disequilibrium chemistry is observable in the atmospheres of transiting planets by the James Webb Space Telescope (JWST). We perform a case study comparing the dayside emission spectra of three planets like HD 189733b, WASP-80b, and GJ436b, in and out of chemical equilibrium at two metallicities each. These three planets were chosen because they span a large range of planetary masses and equilibrium temperatures, from hot and Jupiter-sized to warm and Neptune-sized. We link the one-dimensional disequilibrium chemistry model from Venot et al. (2012) in which thermochemical kinetics, vertical transport, and photochemistry are taken into account, to the one-dimensional, pseudo line-by-line radiative transfer model, Pyrat Bay, developed especially for hot Jupiters, and then simulate JWST spectra using PandExo for comparing the effects of temperature, metallicity, and radius. We find the most significant differences from 4 to 5 $\mu$m due to disequilibrium from CO and CO$_{2}$ abundances, and also H$_{2}$O for select cases. Our case study shows a certain "sweet spot" of planetary mass, temperature, and metallicity where the difference between equilibrium and disequilibrium is observable. For a planet similar to WASP-80b, JWST's NIRSpec G395M can detect differences due to disequilibrium chemistry with one eclipse event. For a planet similar to GJ 436b, the observability of differences due to disequilibrium chemistry is possible at low metallicity given five eclipse events, but not possible at the higher metallicity.


title: Characterization of the Two-Dimensional Five-Fold Lattice Tiles

abstract: In 1885, Fedorov discovered that a convex domain can form a lattice tiling of the Euclidean plane if and only if it is a parallelogram or a centrally symmetric hexagon. It is known that there is no other convex domain which can form a two-, three- or four-fold lattice tiling in the Euclidean plane, but there is a centrally symmetric convex decagon which can form a five-fold lattice tiling. This paper characterizes all the convex domains which can form a five-fold lattice tiling of the Euclidean plane.


title: Quantum Limitation to the Coherent Emission of Accelerated Charges

abstract: Accelerated charges emit electromagnetic radiation. According to classical electrodynamics if the charges move along sufficiently close trajectories they emit coherently, i.e., their emitted energy scales quadratically with their number rather than linearly. By investigating the emission by a two-electron wave packet in the presence of an electromagnetic plane wave within strong-field QED, we show that quantum effects deteriorate the coherence predicted by classical electrodynamics even if the typical quantum nonlinearity parameter of the system is much smaller than unity. We explain this result by observing that coherence effects are also controlled by a new quantum parameter which relates the recoil undergone by the electron with the width of its wave packet in momentum space.


title: Multiplicity and concentration results for a fractional Choquard equation via penalization method

abstract: This paper is devoted to the study of the following fractional Choquard equation $$ \varepsilon^{2s}(-\Delta)^{s} u + V(x)u = \varepsilon^{\mu-N}\left(\frac{1}{|x|^{\mu}}*F(u)\right)f(u) \mbox{ in } \mathbb{R}^{N}, $$ where $\varepsilon>0$ is a parameter, $s\in (0, 1)$, $N>2s$, $(-\Delta)^{s}$ is the fractional Laplacian, $V$ is a positive continuous potential with local minimum, $0<\mu<2s$, and $f$ is a superlinear continuous function with subcritical growth. By using the penalization method and the Ljusternik-Schnirelmann theory, we investigate the multiplicity and concentration of positive solutions for the above problem.


title: The 1.5 post-Newtonian radiative quadrupole moment in the context of a nonlocal field theory of gravity

abstract: We recently suggested a nonlocal modification of Einstein's field equations in which Newton's constant $G$ was promoted to a covariant differential operator $G_\Lambda(\Box_g)$. The latter contains two independent contributions, which operate respectively in the infrared (IR) and ultraviolet (UV) energy regimes. In the light of the recent direct gravitational radiation measurements we aim to determine the UV-modified 1.5 post-Newtonian radiative quadrupole moment of a generic $n$-body system. We eventually use these initial results in the particular context of a binary system and observe that in the limit vanishing UV parameters we precisely recover the corresponding general relativistic results. Moreover we observe that the leading order deviation of the UV-modified radiative quadrupole moment numerically coincides with findings obtained in the framework of calculations performed previously in the context of possible deviations of the perihelion precession of Mercury.


title: Optimizing Electric Taxi Charging System: A Data-Driven Approach from Transport Energy Supply Chain Perspective

abstract: In the last decade, the development of electric taxis has motivated rapidly growing research interest in efficiently allocating electric charging stations in the academic literature. To address the driving pattern of electric taxis, we introduce the perspective of transport energy supply chain to capture the charging demand and to transform the charging station allocation problem to a location problem. Based on the P-median and the Min-max models, we developed a data-driven method to evaluate the system efficiency and service quality. We also conduct a case study using GPS trajectory data in Beijing, where various location strategies are evaluated from perspectives of system efficiency and service quality. Also, situations with and without congestion are comparatively evaluated.


title: Learning to Segment Moving Objects

abstract: We study the problem of segmenting moving objects in unconstrained videos. Given a video, the task is to segment all the objects that exhibit independent motion in at least one frame. We formulate this as a learning problem and design our framework with three cues: (i) independent object motion between a pair of frames, which complements object recognition, (ii) object appearance, which helps to correct errors in motion estimation, and (iii) temporal consistency, which imposes additional constraints on the segmentation. The framework is a two-stream neural network with an explicit memory module. The two streams encode appearance and motion cues in a video sequence respectively, while the memory module captures the evolution of objects over time, exploiting the temporal consistency. The motion stream is a convolutional neural network trained on synthetic videos to segment independently moving objects in the optical flow field. The module to build a 'visual memory' in video, i.e., a joint representation of all the video frames, is realized with a convolutional recurrent unit learned from a small number of training video sequences. For every pixel in a frame of a test video, our approach assigns an object or background label based on the learned spatio-temporal features as well as the 'visual memory' specific to the video. We evaluate our method extensively on three benchmarks, DAVIS, Freiburg-Berkeley motion segmentation dataset and SegTrack. In addition, we provide an extensive ablation study to investigate both the choice of the training data and the influence of each component in the proposed framework.


title: Dynamics of expansion of the Universe in model with the additional coupling between dark energy and dark matter

abstract: We study the dynamics of expansion of the homogeneous isotropic Universe and the evolution of its components in the model with nonminimally coupled dynamical dark energy. Dark energy, like the other components of the Universe, is described by the perfect fluid approximation with the equation of state (EoS) $p_ {de}=w\rho_{de}$, where the EoS parameter $w$ depends on time and is parameterized via the squared adiabatic sound speed $c_{ a}^2$ which is assumed to be constant. On basis of the general covariant conservation equations for the interacting dark energy and dark matter and Einstein equations in Friedmann-Lemaitre-Robertson-Walker metric we analyze the evolution of energy densities of the hidden components and the dynamics of expansion of the Universe with two types of interaction: proportional to the sum of densities of the hidden components and proportional to their product. For the first interaction the analytical expressions for the densities of dark energy and dark matter were obtained and analyzed in detail. For the second one the evolution of densities of hidden components of the Universe was analyzed on basis of the numerical solutions of their energy-momentum conservation equations. For certain values of the parameters of these models the energy densities of dark components become negative. So to ensure that the densities are always positive we put constraints on the interaction parameter for both models.


title: Finite size and volume effects in line node semimetals: a first-principles investigation

abstract: We systematically study the bulk and finite size effects on the band structure of prototypical line node materials using density functional theory based computations. For the bulk system, we analyze quantum oscillations with changes in the Fermi surface topology. We show that ultra thin slabs are gapped, with the first signatures of the line node appearing beyond a critical thickness. Further, motivated by possibility of tuning the bulk line node, we find that the line node radius is rather sensitive to bulk volume change. Based on this observation, we propose that application of pressure or suitable substrate engineering can be used as an effective means to control and tune the line node and the accompanying surface drumhead states.


title: Outer billiards outside regular octagon: set of full measure and an aperiodic point

abstract: In this paper, outer billiards outside regular octagon are studied in details. We described all periodic points and their periods; also, we proved that the periodic points form a set of full measure outside the octagon and found an aperiodic point.


title: Relative Ding and $K$-stability of toric Fano manifolds in low dimensions

abstract: The purpose of this paper is to clarify all of the uniformly relatively Ding stable toric Fano threefolds and fourfolds as well as unstable ones. The key player in our classification result is the Mabuchi constants, which can be calculated by combinatorial data of the associated moment polytopes due to the work of Yao [33]. In Tables 1-3, we give the list of uniform relative Ding stability of all toric Fano manifolds in dimension up to four with the values of the Mabuchi constants. As an application of our main theorem (Theorem 1.1), we clarify the difference between relative $K$-stability and relative Ding stability by considering some specific toric Fano manifolds (Corollaries 1.6 and 1.9). In the proof of Corollary 1.9, we used Bott tower structure of relatively Ding unstable toric Fano manifolds.


title: A multi-level parallel solver for rarefied gas flows in porous media

abstract: A high-performance gas kinetic solver using multi-level parallelization is developed to enable pore-scale simulations of rarefied flows in porous media. The Boltzmann model equation is solved by the discrete velocity method with an iterative scheme. The multi-level MPI/OpenMP parallelization is implemented with the aim to efficiently utilise the computational resources to allow direct simulation of rarefied gas flows in porous media based on digital rock images for the first time. The multi-level parallel approach is analyzed in details confirming its better performance than the commonly-used MPI processing alone for an iterative scheme. With high communication efficiency and appropriate load balancing among CPU processes, parallel efficiency of 94% is achieved for 1536 cores in the 2D simulations, and 81% for 12288 cores in the 3D simulations. While decomposition in the spatial space does not affect the simulation results, one additional benefit of this approach is that the number of subdomains can be kept minimal to avoid deterioration of the convergence rate of the iteration process. This multi-level parallel approach can be readily extended to solve other Boltzmann model equations.


title: Quantitative evaluation of the piezoelectric response of unpoled ferroelectric ceramics from elastic and dielectric measurements: tetragonal BaTiO$_3$

abstract: A method for evaluating the piezoelectric response of unpoled ferroelectric ceramics from elastic and dielectric measurements is proposed and tested on BaTiO$_3$. The method is based on the observation that the softening in a ferroelectric phase with respect to the paraelectric phase is of piezoelectric origin. The angular averages of the piezoelectric softening in unpoled ceramics are calculated for ferroelectric phases of different symmetries. The expression of the orientational average with the piezoelectric and dielectric constants of single crystal tetragonal BaTiO$_3$ from the literature reproduces well the softening of the Young's modulus of unpoled ceramic BaTiO$_3$, after a correction for the porosity. The agreement is good in the temperature region sufficiently far from the Curie temperature and from the transition to the orthorhombic phase, where the effect of fluctuations should be negligible, but deviations are found outside this region, and the reason for this is discussed. This validates the determination of the piezoelectric response by means of purely elastic measurements on unpoled samples. The method is indirect and, for quantitative assessments, requires the knowledge of the dielectric tensor. On the other hand, it does not require poling of the sample, and therefore is insensitive to inaccuracies from incomplete poling, and can even be used with materials that cannot be poled, for example due to excessive electrical conductivity. While the proposed example of the Young's modulus of a ceramic provides an orientational average of all the single crystal piezoelectric constants, a Resonant Ultrasound Spectroscopy measurement of a single unpoled ceramic sample through the ferroelectric transition can in principle measure all the piezoelectric constants, together with the elastic ones.


title: On the Cauchy problem for the periodic fifth-order KP-I equation

abstract: The aim of this paper is to investigate the Cauchy problem for the periodic fifth order KP-I equation \[\partial_t u - \partial_x^5 u -\partial_x^{-1}\partial_y^2u + u\partial_x u = 0,~(t,x,y)\in\mathbb{R}\times\mathbb{T}^2\] We prove global well-posedness for constant $x$ mean value initial data in the space $\mathbb{E} = \{u\in L^2,~\partial_x^2 u \in L^2,~\partial_x^{-1}\partial_y u \in L^2\}$ which is the natural energy space associated with this equation.


title: Existence and nonexistence of solutions for p(x)-curl systems arising in electromagnetism

abstract: In this paper, we study the existence and the nonexistence of solutions for a new class of $p(x)-$curl systems arising in electromagnetism. This work generalizes some results obtained in the $p-$curl case. There seems to be no results on the nonexistence of solutions for curl systems with variable exponent.


title: Theory Concepts for Heavy Exotic Mesons

abstract: Some of the currently most popular conjectures for the structure of the recently discovered heavy mesons that do not find a place in the quark model quarkonium spectrum are sketched. Furthermore, some observables are identified that should allow one to identify the most prominent components of individual states.


title: Inferring agent objectives at different scales of a complex adaptive system

abstract: We introduce a framework to study the effective objectives at different time scales of financial market microstructure. The financial market can be regarded as a complex adaptive system, where purposeful agents collectively and simultaneously create and perceive their environment as they interact with it. It has been suggested that multiple agent classes operate in this system, with a non-trivial hierarchy of top-down and bottom-up causation classes with different effective models governing each level. We conjecture that agent classes may in fact operate at different time scales and thus act differently in response to the same perceived market state. Given scale-specific temporal state trajectories and action sequences estimated from aggregate market behaviour, we use Inverse Reinforcement Learning to compute the effective reward function for the aggregate agent class at each scale, allowing us to assess the relative attractiveness of feature vectors across different scales. Differences in reward functions for feature vectors may indicate different objectives of market participants, which could assist in finding the scale boundary for agent classes. This has implications for learning algorithms operating in this domain.


title: The Lagrangian structure of the Vlasov-Poisson system in domains with specular reflection

abstract: In this work, we deal with the Vlasov-Poisson system in smooth physical domains with specular boundary condition, under mild integrability assumptions, and $d \ge 3$. We show that the Lagrangian and Eulerian descriptions of the system are also equivalent in this context by extending the recent developments by Ambrosio, Colombo, and Figalli to our setting. In particular, assuming that the total energy is bounded, we prove the existence of renormalized solutions, and we also show that they are transported by a weak notion of flow that allows velocity jumps at the boundary. Finally, we show that flows can be globally defined for $d = 3, 4$.


title: Distributed Algorithms Made Secure: A Graph Theoretic Approach

abstract: In the area of distributed graph algorithms a number of network's entities with local views solve some computational task by exchanging messages with their neighbors. Quite unfortunately, an inherent property of most existing distributed algorithms is that throughout the course of their execution, the nodes get to learn not only their own output but rather learn quite a lot on the inputs or outputs of many other entities. This leakage of information might be a major obstacle in settings where the output (or input) of network's individual is a private information. In this paper, we introduce a new framework for \emph{secure distributed graph algorithms} and provide the first \emph{general compiler} that takes any "natural" non-secure distributed algorithm that runs in $r$ rounds, and turns it into a secure algorithm that runs in $\widetilde{O}(r \cdot D \cdot poly(\Delta))$ rounds where $\Delta$ is the maximum degree in the graph and $D$ is its diameter. The security of the compiled algorithm is information-theoretic but holds only against a semi-honest adversary that controls a single node in the network. This compiler is made possible due to a new combinatorial structure called \emph{private neighborhood trees}: a collection of $n$ trees $T(u_1),\ldots,T(u_n)$, one for each vertex $u_i \in V(G)$, such that each tree $T(u_i)$ spans the neighbors of $u_i$ {\em without going through $u_i$}. Intuitively, each tree $T(u_i)$ allows all neighbors of $u_i$ to exchange a \emph{secret} that is hidden from $u_i$, which is the basic graph infrastructure of the compiler. In a $(d,c)$-private neighborhood trees each tree $T(u_i)$ has depth at most $d$ and each edge $e \in G$ appears in at most $c$ different trees. We show a construction of private neighborhood trees with $d=\widetilde{O}(\Delta \cdot D)$ and $c=\widetilde{O}(D)$.


title: Analogue simulation of gravitational waves in a 3+1 dimensional Bose-Einstein condensate

abstract: The recent detections of gravitational waves (GWs) by the LIGO and Virgo collaborations have opened the field of GW astronomy, intensifying interest in GWs and other possible detectors sensitive in different frequency ranges. Although strong GW producing events are rare and currently unpredictable, GWs can in principle be simulated in analogue systems at will in the lab. Simulation of GWs in a manifestly quantum system would allow for the study of the interaction of quantum phenomena with GWs. Such predicted interaction is exploited in a recently proposed Bose-Einstein condensate (BEC) based GW detector. In this paper, we show how to manipulate a BEC to mimic the effect of a passing GW. By simultaneously varying the external potential applied to the BEC, and an external magnetic field near a Feshbach resonance, we show that the resulting change in speed of sound can directly reproduce a GW metric. We also show how to simulate a metric used in the recently proposed BEC based GW detector, to provide an environment for testing the proposed metrology scheme of the detector. Explicit expressions for simulations of various GW sources are given. This result is also useful to generally test the interaction of quantum phenomena with GWs in a curved spacetime analogue experiment.


title: Stochastic Maximum Likelihood Optimization via Hypernetworks

abstract: This work explores maximum likelihood optimization of neural networks through hypernetworks. A hypernetwork initializes the weights of another network, which in turn can be employed for typical functional tasks such as regression and classification. We optimize hypernetworks to directly maximize the conditional likelihood of target variables given input. Using this approach we obtain competitive empirical results on regression and classification benchmarks.


title: Multipoint secant and interpolation methods with nonmonotone line search for solving systems of nonlinear equations

abstract: Multipoint secant and interpolation methods are effective tools for solving systems of nonlinear equations. They use quasi-Newton updates for approximating the Jacobian matrix. Owing to their ability to more completely utilize the information about the Jacobian matrix gathered at the previous iterations, these methods are especially efficient in the case of expensive functions. They are known to be local and superlinearly convergent. We combine these methods with the nonmonotone line search proposed by Li and Fukushima (2000), and study global and superlinear convergence of this combination. Results of numerical experiments are presented. They indicate that the multipoint secant and interpolation methods tend to be more robust and efficient than Broyden's method globalized in the same way.


title: Graviton-mediated dark matter model explanation the DAMPE electron excess and search at $e^+e^-$ colliders

abstract: The very recent result of the DAMPE cosmic ray spectrum of electrons shows a narrow bump above the background at around 1.4 TeV. We attempt to explain the DAMPE electron excess in a simplified Kaluza-Klein graviton-mediated dark matter model, in which the graviton only interacts with leptons and dark matter. The related phenomenological discussions are given and this simplified graviton-mediated dark matter model has the potential to be cross-tested in future lepton collider experiments.


title: Higher-order corrections for $tZ$ production via anomalous couplings

abstract: I present higher-order corrections from soft-gluon emission for the associated production of a top quark with a $Z$ boson via anomalous $t$-$q$-$Z$ couplings at LHC energies. Approximate next-to-next-to-leading order (aNNLO) double-differential cross sections are derived from soft-gluon resummation at next-to-leading-logarithm accuracy. The total $tZ$ production cross sections and the top-quark transverse-momentum and rapidity distributions are calculated at aNNLO for various LHC energies. It is shown that the soft-gluon corrections are dominant and large for this process.


title: Learning Fast and Slow: PROPEDEUTICA for Real-time Malware Detection

abstract: Existing malware detectors on safety-critical devices have difficulties in runtime detection due to the performance overhead. In this paper, we introduce PROPEDEUTICA, a framework for efficient and effective real-time malware detection, leveraging the best of conventional machine learning (ML) and deep learning (DL) techniques. In PROPEDEUTICA, all software start execution are considered as benign and monitored by a conventional ML classifier for fast detection. If the software receives a borderline classification from the ML detector (e.g. the software is 50% likely to be benign and 50% likely to be malicious), the software will be transferred to a more accurate, yet performance demanding DL detector. To address spatial-temporal dynamics and software execution heterogeneity, we introduce a novel DL architecture (DEEPMALWARE) for PROPEDEUTICA with multi-stream inputs. We evaluated PROPEDEUTICA with 9,115 malware samples and 1,338 benign software from various categories for the Windows OS. With a borderline interval of [30%-70%], PROPEDEUTICA achieves an accuracy of 94.34% and a false-positive rate of 8.75%, with 41.45% of the samples moved for DEEPMALWARE analysis. Even using only CPU, PROPEDEUTICA can detect malware within less than 0.1 seconds.


title: Ococo: an online variant and consensus caller

abstract: Motivation: Identifying genomic variants is an essential step for connecting genotype and phenotype. The usual approach consists of statistical inference of variants from alignments of sequencing reads. State-of-the-art variant callers can resolve a wide range of different variant types with high accuracy. However, they require that all read alignments be available from the beginning of variant calling and be sorted by coordinates. Sorting is computationally expensive, both memory- and speed-wise, and the resulting pipelines suffer from storing and retrieving large alignments files from external memory. Therefore, there is interest in developing methods for resource-efficient variant calling. Results: We present Ococo, the first program capable of inferring variants in a real-time, as read alignments are fed in. Ococo inputs unsorted alignments from a stream and infers single-nucleotide variants, together with a genomic consensus, using statistics stored in compact several-bit counters. Ococo provides a fast and memory-efficient alternative to the usual variant calling. It is particularly advantageous when reads are sequenced or mapped progressively, or when available computational resources are at a premium.


title: Modeling optical and UV polarization of AGNs

abstract: Optical observations cannot resolve the structure of active galactic nuclei (AGN), and a unified model for AGN was inferred mostly from indirect methods. Optical reverberation mapping allowed us to constrain the spatial dimension of the broad emission line region and thereby to measure the mass of supermassive black holes. Recently, reverberation was also applied to the polarized signal emerging from different AGN components. In principle, this should allow us to measure the spatial dimensions of the sub-parsec reprocessing media. We modeled scattering-induced polarization and tested different geometries for the circumnuclear dust component. Our tests included the effects of clumpiness and different dust prescriptions. To further extend the model, we also explored the effects of additional ionized winds stretched along the polar direction, and of an equatorial scattering ring that is responsible for the polarization angle observed in pole-on AGN. The simulations were run using a time-dependent version of the {\sc stokes} code. Our modeling confirms the previously found polarization characteristics as a function of the observer`s viewing angle. When the dust adopts a flared-disk geometry, the lags reveal a clear difference between type 1 and type 2 AGN. This distinction is less clear for a torus geometry where the time lag is more sensitive to the geometry and optical depth of the inner surface layers of the funnel. The presence of a scattering equatorial ring and ionized outflows increased the recorded polarization time lags, and the polar outflows smooths out dependence on viewing angle. Together with other AGN observables, the polarization time lag places new, independent constraints on the inner geometry of AGN. If we conduct time-dependent spectropolarimetric observing campaigns of AGN, this method has a high potential for a census of supermassive black holes.


title: Supersymmetry Breaking and Nambu-Goldstone Fermions in Interacting Majorana Chains

abstract: We introduce and study a lattice fermion model in one dimension with explicit $\mathcal{N}=1$ supersymmetry (SUSY). The Hamiltonian of the model is defined by the square of a supercharge built from Majorana fermion operators. The model describes interacting Majorana fermions and its properties depend only on a single parameter $g$. When $g=1$, we find that SUSY is unbroken and the ground states are identical to those of the frustration-free Kitaev chains. We also find a parameter regime in which SUSY is restored in the infinite volume limit. For sufficiently large $g$, we prove that SUSY is spontaneously broken and the low-lying excitations are gapless, which can be thought of as Nambu-Goldstone fermions. We then show numerically that these gapless modes have cubic dispersion at long wavelength.


title: An Upper Bound on the GKS Game via Max Bipartite Matching

abstract: The sensitivity conjecture is a longstanding conjecture concerning the relationship between the degree and sensitivity of a Boolean function. In 2015, a communication game was formulated by Justin Gilmer, Michal Kouck\'{y}, and Michael Saks to attempt to make progress on this conjecture. Andrew Drucker independently formulated this game. Shortly after the creation of the GKS game, Nisan Szegedy obtained a protocol for the game with a cost of $O(n^{.4732})$. We improve Szegedy's result to a cost of $O(n^{.4696})$ by providing a technique to identify whether a set of codewords can be used as a viable strategy in this game.


title: The Maximal Positively Invariant Set: Polynomial Setting

abstract: This note considers the maximal positively invariant set for polynomial discrete time dynamics subject to constraints specified by a basic semialgebraic set. The note utilizes a relatively direct, but apparently overlooked, fact stating that the related preimage map preserves basic semialgebraic structure. In fact, this property propagates to underlying set--dynamics induced by the associated restricted preimage map in general and to its maximal trajectory in particular. The finite time convergence of the corresponding maximal trajectory to the maximal positively invariant set is verified under reasonably mild conditions. The analysis is complemented with a discussion of computational aspects and a prototype implementation based on existing toolboxes for polynomial optimization.


title: The downwind hemisphere of the heliosphere: Eight years of IBEX-Lo observations

abstract: We present a comprehensive study of energetic neutral atoms (ENAs) of 10 eV to 2.5 keV from the downwind hemisphere of the heliosphere. These ENAs are believed to originate mostly from pickup protons and solar wind protons in the inner heliosheath. This study includes all low-energy observations made with the Interstellar Boundary Explorer over the first 8 years. Since the protons around 0.1 keV dominate the plasma pressure in the inner heliosheath in downwind direction, these ENA observations offer the unique opportunity to constrain the plasma properties and dimensions of the heliosheath where no in-situ observations are available. We first derive energy spectra of ENA intensities averaged over time for 49 macropixels covering the entire downwind hemisphere. The results confirm previous studies regarding integral intensities and the roll-over around 0.1 keV energy. With the expanded dataset we now find that ENA intensities at 0.2 and 0.1 keV seem to anti-correlate with solar activity. We then derive the product of total plasma pressure and emission thickness of protons in the heliosheath to estimate lower limits on the thickness of the inner heliosheath. The temporally averaged ENA intensities support a rather spherical shape of the termination shock and a heliosheath thickness between 150 and 210 au for most regions of the downwind hemisphere. Around the nominal downwind direction of 76{\deg} ecliptic longitude, the heliosheath is at least 280 au thick. There, the neutral hydrogen density seems to be depleted compared to upwind directions by roughly a factor of 2.


title: Consensus tracking in multi agent system with nonlinear and non identical dynamics via event driven sliding modes

abstract: In this work, leader follower consensus objective has been addressed with the synthesis of an event based controller utilizing sliding mode robust control. The schema has been partitioned into two parts viz. finite time consensus problem and event triggered control mechanism. A nonlinear multi agent system with non identical dynamics has been put forward to illustrate the robust capabilities of the proposed control. The first part incorporates matching of states of the followers with those of the leader via consensus tracking algorithm. In the subsequent part, an event triggered rule is devised to save computational power and restrict periodic updating of the controller involved while ensuring desired closed loop performance of the system. Switching of the event based controller is achieved via sliding mode control. Advantage of using switched controller like sliding mode is that it retains its inherent robustness as well as event triggering approach aids in saving energy expenditure. Efficacy of the proposed scheme is confirmed via numerical simulations.


title: Gravitational clustering of cosmic relic neutrinos in the Milky Way

abstract: The standard model of cosmology predicts the existence of cosmic neutrino background in the present Universe. To detect cosmic relic neutrinos in the vicinity of the Earth, it is necessary to evaluate the gravitational clustering effects on relic neutrinos in the Milky Way. Here we introduce a reweighting technique in the N-one-body simulation method, so that a single simulation can yield neutrino density profiles for different neutrino masses and phase space distributions. In light of current experimental results that favor small neutrino masses, the neutrino number density contrast around the Earth is found to be almost proportional to the square of neutrino mass. The density contrast-mass relation and the reweighting technique are useful for studying the phenomenology associated with the future detection of the cosmic neutrino background.


title: RF-Based Direction Finding of UAVs Using DNN

abstract: This paper presents a sparse denoising autoencoder (SDAE)-based deep neural network (DNN) for the direction finding (DF) of small unmanned aerial vehicles (UAVs). It is motivated by the practical challenges associated with classical DF algorithms such as MUSIC and ESPRIT. The proposed DF scheme is practical and low-complex in the sense that a phase synchronization mechanism, an antenna calibration mechanism, and the analytical model of the antenna radiation pattern are not essential. Also, the proposed DF method can be implemented using a single-channel RF receiver. The paper validates the proposed method experimentally as well.


title: Matrix methods for Pad\'e approximation: numerical calculation of poles, zeros and residues

abstract: A representation of the Pad\'e approximation of the $Z$-transform of a signal as a resolvent of a tridiagonal matrix $J$ is given. Several formulas for the poles, zeros and residues of the Pad\'e approximation in terms of the matrix $J$ are proposed. Their numerical stability is tested and compared. Methods for computing forward and backward errors are presented.


title: Does the gravitomagnetic monopole exist? A clue from a black hole x-ray binary

abstract: The gravitomagnetic monopole is the proposed gravitational analogue of Dirac's magnetic monopole. However, an observational evidence of this aspect of fundamental physics was elusive. Here, we employ a technique involving three primary X-ray observational methods used to measure a black hole spin to search for the gravitomagnetic monopole. These independent methods give significantly different spin values for an accreting black hole. We demonstrate that the inclusion of one extra parameter due to the gravitomagnetic monopole not only makes the spin and other parameter values inferred from the three methods consistent with each other but also makes the inferred black hole mass consistent with an independently measured value. We argue that this first indication of the gravitomagnetic monopole, within our paradigm, is not a result of fine tuning.


title: Low cost underwater acoustic localization

abstract: Over the course of the last decade, the cost of marine robotic platforms has significantly decreased. In part this has lowered the barriers to entry of exploring and monitoring larger areas of the earth's oceans. However, these advances have been mostly focused on autonomous surface vehicles (ASVs) or shallow water autonomous underwater vehicles (AUVs). One of the main drivers for high cost in the deep water domain is the challenge of localizing such vehicles using acoustics. A low cost one-way travel time underwater ranging system is proposed to assist in localizing deep water submersibles. The system consists of location aware anchor buoys at the surface and underwater nodes. This paper presents a comparison of methods together with details on the physical implementation to allow its integration into a deep sea micro AUV currently in development. Additional simulation results show error reductions by a factor of three.


title: Statistical Inference for Incomplete Ranking Data: The Case of Rank-Dependent Coarsening

abstract: We consider the problem of statistical inference for ranking data, specifically rank aggregation, under the assumption that samples are incomplete in the sense of not comprising all choice alternatives. In contrast to most existing methods, we explicitly model the process of turning a full ranking into an incomplete one, which we call the coarsening process. To this end, we propose the concept of rank-dependent coarsening, which assumes that incomplete rankings are produced by projecting a full ranking to a random subset of ranks. For a concrete instantiation of our model, in which full rankings are drawn from a Plackett-Luce distribution and observations take the form of pairwise preferences, we study the performance of various rank aggregation methods. In addition to predictive accuracy in the finite sample setting, we address the theoretical question of consistency, by which we mean the ability to recover a target ranking when the sample size goes to infinity, despite a potential bias in the observations caused by the (unknown) coarsening.


title: SAdS black holes and spacetime atoms: a heuristic approach

abstract: In this work, both extended phase space and holographic equipartition approaches are employed to develop an exact Van der Waals description of non--rotating $D=4$ SAdS black holes as an ensemble of spacetime atoms. After a possible microscopical interaction model is introduced, statistical mechanics techniques, with certain heuristic gravitational constraints, are used to derive the equation of state and the Bekenstein--Hawking entropy. The procedure is generalized to the charged $D=4$ SAdS black hole and to arbitrary $D\ge 3$ dimensions for the uncharged cases.


title: Solid H2 in the interstellar medium

abstract: Condensation of H 2 in the interstellar medium (ISM) has long been seen as a possibility, either by deposition on dust grains or thanks to a phase transition combined with self-gravity. H 2 condensation might explain the observed low efficiency of star formation and might help to hide baryons in spiral galaxies. Our aim is to quantify the solid fraction of H 2 in the ISM due to a phase transition including self-gravity for different densities and temperatures in order to use the results in more complex simulations of the ISM as subgrid physics. We used molecular dynamics simulations of fluids at different temperatures and densities to study the formation of solids. Once the simulations reached a steady state, we calculated the solid mass fraction, energy increase, and timescales. By determining the power laws measured over several orders of magnitude, we extrapolated to lower densities the higher density fluids that can be simulated with current computers. The solid fraction and energy increase of fluids in a phase transition are above 0.1 and do not follow a power law. Fluids out of a phase transition are still forming a small amount of solids due to chance encounters of molecules. The solid mass fraction and energy increase of these fluids are linearly dependent on density and can easily be extrapolated. The timescale is below one second, the condensation can be considered instantaneous. The presence of solid H 2 grains has important dynamic implications on the ISM as they may be the building blocks for larger solid bodies when gravity is included. We provide the solid mass fraction, energy increase, and timescales for high density fluids and extrapolation laws for lower densities.


title: Search-based Tier Assignment for Optimising Offline Availability in Multi-tier Web Applications

abstract: Web programmers are often faced with several challenges in the development process of modern, rich internet applications. Technologies for the different tiers of the application have to be selected: a server-side language, a combination of JavaScript, HTML and CSS for the client, and a database technology. Meeting the expectations of contemporary web applications requires even more effort from the developer: many state of the art libraries must be mastered and glued together. This leads to an impedance mismatch problem between the different technologies and it is up to the programmer to align them manually. Multi-tier or tierless programming is a web programming paradigm that provides one language for the different tiers of the web application, allowing the programmer to focus on the actual program logic instead of the accidental complexity that comes from combining several technologies. While current tierless approaches therefore relieve the burden of having to combine different technologies into one application, the distribution of the code is explicitly tied into the program. Certain distribution decisions have an impact on crosscutting concerns such as information security or offline availability. Moreover, adapting the programs such that the application complies better with these concerns often leads to code tangling, rendering the program more difficult to understand and maintain. We introduce an approach to multi-tier programming where the tierless code is decoupled from the tier specification. The developer implements the web application in terms of slices and an external specification that assigns the slices to tiers. A recommender system completes the picture for those slices that do not have a fixed placement and proposes slice refinements as well. This recommender system tries to optimise the tier specification with respect to one or more crosscutting concerns. This is in contrast with current cutting edge solutions that hide distribution decisions from the programmer. In this paper we show that slices, together with a recommender system, enable the developer to experiment with different placements of slices, until the distribution of the code satisfies the programmer's needs. We present a search-based recommender system that maximises the offline availability of a web application and a concrete implementation of these concepts in the tier-splitting tool Stip.js.


title: Tunable Plasmonic Nanoantennas in Rolled-up Microtubes Coupled to Integrated Quantum Wells

abstract: We propose and realize a tunable plasmonic nanoantenna design consisting of two stacked Ag cuboids that are integrated into a rolled-up semiconductor microtube. The antenna's resonance is tuned by varying the cuboid's distance to match the photoluminescence emission of an embedded GaAs quantum well. Spatially, spectrally and temporally resolved photoluminescence measurements reveal a redshift and a reduction in lifetime of the quantum-well emission as signatures for the coupling to the antenna system. By means of finite-element electromagnetic simulations, we assign the coupling to an excitation of a high-order plasmonic mode inside the Ag cuboids.


title: Introspection for C and its Applications to Library Robustness

abstract: Context: In C, low-level errors, such as buffer overflow and use-after-free, are a major problem, as they cause security vulnerabilities and hard-to-find bugs. C lacks automatic checks, and programmers cannot apply defensive programming techniques because objects (e.g., arrays or structs) lack run-time information about bounds, lifetime, and types. Inquiry: Current approaches to tackling low-level errors include dynamic tools, such as bounds or type checkers, that check for certain actions during program execution. If they detect an error, they typically abort execution. Although they track run-time information as part of their runtimes, they do not expose this information to programmers. Approach: We devised an introspection interface that allows C programmers to access run-time information and to query object bounds, object lifetimes, object types, and information about variadic arguments. This enables library writers to check for invalid input or program states and thus, for example, to implement custom error handling that maintains system availability and does not terminate on benign errors. As we assume that introspection is used together with a dynamic tool that implements automatic checks, errors that are not handled in the application logic continue to cause the dynamic tool to abort execution. Knowledge: Using the introspection interface, we implemented a more robust, source-compatible version of the C standard library that validates parameters to its functions. The library functions react to otherwise undefined behavior; for example, they can detect lurking flaws, handle unterminated strings, check format string arguments, and set errno when they detect benign usage errors. Grounding: Existing dynamic tools maintain run-time information that can be used to implement the introspection interface, and we demonstrate its implementation in Safe Sulong, an interpreter and dynamic bug-finding tool for C that runs on a Java Virtual Machine and can thus easily expose relevant run-time information. Importance: Using introspection in user code is a novel approach to tackling the long-standing problem of low-level errors in C. As new approaches are lowering the performance overhead of run-time information maintenance, the usage of dynamic runtimes for C could become more common, which could ultimately facilitate a more widespread implementation of such an introspection interface.


title: On exact correlation functions of chiral ring operators in $2d$ $\mathcal{N}=(2, 2)$ SCFTs via localization

abstract: We study the extremal correlation functions of (twisted) chiral ring operators via superlocalization in $\mathcal{N}=(2, 2)$ superconformal field theories (SCFTs) with central charge $c\geq 3$, especially for SCFTs with Calabi-Yau geometric phases. We extend the method in arXiv:1602.05971 with mild modifications, so that it is applicable to disentangle operators mixing on $S^2$ in nilpotent (twisted) chiral rings of $2d$ SCFTs. With the extended algorithm and technique of localization, we compute exactly the extremal correlators in $2d$ $\mathcal{N}=(2, 2)$ (twisted) chiral rings as non-holomorphic functions of marginal parameters of the theories. Especially in the context of Calabi-Yau geometries, we give an explicit geometric interpretation to our algorithm as the Griffiths transversality with projection on the Hodge bundle over Calabi-Yau complex moduli. We also apply the method to compute extremal correlators in K\"{a}hler moduli, or say twisted chiral rings, of several interesting Calabi-Yau manifolds. In the case of complete intersections in toric varieties, we provide an alternative formalism for extremal correlators via localization onto Higgs branch. In addition, as a spinoff we find that, from the extremal correlators of the top element in twisted chiral rings, one can extract chiral correlators in A-twisted topological theories.


title: Magnetic fields: a tool for the study of organic solar cells

abstract: Charge transfer in polymer devices represents a crucial, though highly inaccessible stage of photocurrent generation. In this article we propose studying the properties and behaviour of organic solar cells through the modification of photocurrent generation when an external magnetic field is applied. By allowing the parameters of our theoretical model not to be constrained to any specific material, we are able to show that not only a modest external magnetic field leads to a significant increase in photocurrent intensity, but also how such magnetic field can be used to study in detail the energy levels and transition rates within the polymer compound. Systematic exploration of key properties in organic composites thus can lead to highly optimised devices in which a magnetic field produces an enhancement in the efficiency of polymer solar cells.


title: Excitation and charge transfer in low-energy hydrogen atom collisions with neutral oxygen

abstract: Excitation and charge transfer in low-energy O+H collisions is studied; it is a problem of importance for modelling stellar spectra and obtaining accurate oxygen abundances in late-type stars including the Sun. The collisions have been studied theoretically using a previously presented method based on an asymptotic two-electron linear combination of atomic orbitals (LCAO) model of ionic-covalent interactions in the neutral atom-hydrogen-atom system, together with the multichannel Landau-Zener model. The method has been extended to include configurations involving excited states of hydrogen using an estimate for the two-electron transition coupling, but this extension was found to not lead to any remarkably high rates. Rate coefficients are calculated for temperatures in the range 1000 - 20000 K, and charge transfer and (de)excitation processes involving the first excited S-states, 4s.5So and 4s.3So, are found to have the highest rates.


title: Automorphisms of cubic surfaces in positive characteristic

abstract: We classify all possible automorphism groups of smooth cubic surfaces over an algebraically closed field of arbitrary characteristic. As an intermediate step we also classify automorphism groups of quartic del Pezzo surfaces. We show that the moduli space of smooth cubic surfaces is rational in every characteristic, determine the dimensions of the strata admitting each possible isomorphism class of automorphism group, and find explicit normal forms in each case. Finally, we completely characterize when a smooth cubic surface in positive characteristic, together with a group action, can be lifted to characteristic zero.


title: Constraints on cosmic strings using data from the first Advanced LIGO observing run

abstract: Cosmic strings are topological defects which can be formed in GUT-scale phase transitions in the early universe. They are also predicted to form in the context of string theory. The main mechanism for a network of Nambu-Goto cosmic strings to lose energy is through the production of loops and the subsequent emission of gravitational waves, thus offering an experimental signature for the existence of cosmic strings. Here we report on the analysis conducted to specifically search for gravitational-wave bursts from cosmic string loops in the data of Advanced LIGO 2015-2016 observing run (O1). No evidence of such signals was found in the data, and as a result we set upper limits on the cosmic string parameters for three recent loop distribution models. In this paper, we initially derive constraints on the string tension $G\mu$ and the intercommutation probability, using not only the burst analysis performed on the O1 data set, but also results from the previously published LIGO stochastic O1 analysis, pulsar timing arrays, cosmic microwave background and Big-Bang nucleosynthesis experiments. We show that these data sets are complementary in that they probe gravitational waves produced by cosmic string loops during very different epochs. Finally, we show that the data sets exclude large parts of the parameter space of the three loop distribution models we consider.


title: Episodic memory for continual model learning

abstract: Both the human brain and artificial learning agents operating in real-world or comparably complex environments are faced with the challenge of online model selection. In principle this challenge can be overcome: hierarchical Bayesian inference provides a principled method for model selection and it converges on the same posterior for both off-line (i.e. batch) and online learning. However, maintaining a parameter posterior for each model in parallel has in general an even higher memory cost than storing the entire data set and is consequently clearly unfeasible. Alternatively, maintaining only a limited set of models in memory could limit memory requirements. However, sufficient statistics for one model will usually be insufficient for fitting a different kind of model, meaning that the agent loses information with each model change. We propose that episodic memory can circumvent the challenge of limited memory-capacity online model selection by retaining a selected subset of data points. We design a method to compute the quantities necessary for model selection even when the data is discarded and only statistics of one (or few) learnt models are available. We demonstrate on a simple model that a limited-sized episodic memory buffer, when the content is optimised to retain data with statistics not matching the current representation, can resolve the fundamental challenge of online model selection.


title: Energy loss during Dark Matter propagation in an overburden

abstract: As experimental constraints on DM interactions become ever more sensitive and push into new regimes of DM mass, it becomes more and more challenging to accurately model the process by which Dark Matter particles lose energy through scattering in the Earth's surface or other overburdens. We show that a commonly-used approximation due to Starkman, Gould, Esmailzadeh and Dimopoulos (SGED) can fail badly in computing the attenuation, even while being useful for an order-of-magnitude estimate of the maximum cross section reach. We introduce a method of importance sampling which makes Monte-Carlo simulation of energy loss feasible, in spite of factor-$10^7$ or greater attenuation. We demonstrate the validity of our new method and expose multiple problems with the SGED approximation, this reveals interesting features of the energy loss process. We spot-check the recent Emken, Kouvaris and Shoemaker "$5\,\Delta v$" prescription to place limits on cross sections based on a limited-statistics analysis, and find that an accurate simulation yields a factor of $\rm{4.4\times10^6}$ and $\rm{2.4\times10^4}$ larger number of events, for 50 MeV and 1 GeV DM mass respectively, than if the EKS $5\,\Delta v$ prescription were valid.


title: Settling velocity of quasi-neutrally-buoyant inertial particles

abstract: We investigate the sedimentation properties of quasi-neutrally buoyant inertial particles carried by incompressible zero-mean fluid flows. We obtain generic formulae for the terminal velocity in generic space-and-time periodic (or steady) flows, along with further information for flows endowed with some degree of spatial symmetry such as odd parity in the vertical direction. These expressions consist in space-time integrals of auxiliary quantities which satisfy partial differential equations of the advection--diffusion--reaction type, that can be solved at least numerically since our scheme implies a huge reduction of the problem dimensionality from the full phase space to the classical physical space.


title: Fractal homogenization of multiscale interface problems

abstract: Inspired by continuum mechanical contact problems with geological fault networks, we consider elliptic second order differential equations with jump conditions on a sequence of multiscale networks of interfaces with a finite number of non-separating scales. Our aim is to derive and analyze a description of the asymptotic limit of infinitely many scales in order to quantify the effect of resolving the network only up to some finite number of interfaces and to consider all further effects as homogeneous. As classical homogenization techniques are not suited for this kind of geometrical setting, we suggest a new concept, called fractal homogenization, to derive and analyze an asymptotic limit problem from a corresponding sequence of finite-scale interface problems. We provide an intuitive characterization of the corresponding fractal solution space in terms of generalized jumps and gradients together with continuous embeddings into L2 and Hs, s<1/2. We show existence and uniqueness of the solution of the asymptotic limit problem and exponential convergence of the approximating finite-scale solutions. Computational experiments involving a related numerical homogenization technique illustrate our theoretical findings.


title: The Game of Blocking Pebbles

abstract: Graph Pebbling is a well-studied single-player game on graphs. We introduce the game of Blocking Pebbles which adapts Graph Pebbling into a two-player strategy game in order to examine it within the context of Combinatorial Game Theory. Positions with game values matching all integers, all nimbers, and many infinitesimals and switches are found.


title: Light-induced new collective modes in La$_{1.905}$Ba$_{0.095}$CuO$_4$ superconductor

abstract: We report near and mid-infrared pump c-axis terahertz probe measurement on a superconducting single crystal La$_{1.905}$Ba$_{0.095}$CuO$_4$ with T$_c$=32 K. The measurement reveals that the pump-induced change occurs predominantly at the Josephson plasma edge position below T$_c$. Upon excited by the strong near-infrared pulses, the superconducting state is severely disturbed and incoherent quasiparticle excitations develop in frequency regime above the static plasma edge. However, within very short time delay ($\sim$1.5 ps) we observe the reappearance of a very sharp Josephson plasma edge at frequency lower than the static Josephson plasma edge and the emergence of a new light-induced Josephson mode at higher energy. The results imply that the light can induce new Josephson couplings with different coupling strengths. Similar but weaker effect is observed for the mid-infrared pump. No pump induced effect is detected above T$_c$.


title: On Chern's conjecture for minimal hypersurfaces in spheres

abstract: Using a new estimate for the Peng-Terng invariant and the multiple-parameter method, we verify a rigidity theorem on the stronger version of Chern Conjecture for minimal hypersurfaces in spheres. More precisely, we prove that if $M$ is a compact minimal hypersurface in $\mathbb{S}^{n+1}$ whose squared length of the second fundamental form satisfies $0\leq S-n\leq\frac{n}{18}$, then $S\equiv n$ and $M$ is a Clifford torus.


title: The MICROSCOPE mission: first results of a space test of the Equivalence Principle

abstract: According to the Weak Equivalence Principle, all bodies should fall at the same rate in a gravitational field. The MICROSCOPE satellite, launched in April 2016, aims to test its validity at the $10^{-15}$ precision level, by measuring the force required to maintain two test masses (of titanium and platinum alloys) exactly in the same orbit. A non-vanishing result would correspond to a violation of the Equivalence Principle, or to the discovery of a new long-range force. Analysis of the first data gives $\delta\rm{(Ti,Pt)}= [-1 \pm 9 (\mathrm{stat}) \pm 9 (\mathrm{syst})] \times 10^{-15}$ (1$\sigma$ statistical uncertainty) for the titanium-platinum E\"otv\"os parameter characterizing the relative difference in their free-fall accelerations.


title: A Study of the Scrum Master's Role

abstract: Scrum is an increasingly common approach to software development adopted by organizations around the world. However, as organizations transition from traditional plan-driven development to agile development with Scrum, the question arises as to which Scrum role (Product Owner, Scrum Master, or Scrum Team Member) corresponds to a Project Manager, or conversely which Scrum role should the Project Managers adopt? In an attempt to answer this question, we adopted a mixed-method research approach comprising a systematic literature review and embedded case study of a commercial software development team. Our research has identified activities that comprise the Scrum Master role, and which additional roles are actually performed by Scrum Masters in practice. We found nine activities that are performed by Scrum Masters. In addition, we found that Scrum Masters also perform other roles, most importantly as Project Managers. This latter situation results in tension and conflict of interest that could have a negative impact on the performance of the team as a whole. These results point to the need to re-assess the role of Project Managers in organizations that adopt Scrum as a development approach. We hypothesize that it might be better for Project Managers to become Product Owners, as aspects of this latter role are more consistent with the traditional responsibilities of a Project Manager.


title: Principle of Conservation of Computational Complexity

abstract: In this manuscript, we derive the principle of conservation of computational complexity. We measure computational complexity as the number of binary computations (decisions) required to solve a problem. Every problem then defines a unique solution space measurable in bits. For an exact result, decisions in the solution space can neither be predicted nor discarded, only transferred between input and algorithm. We demonstrate and explain this principle using the example of the propositional logic satisfiability problem ($SAT$). It inevitably follows that $SAT \not\in P \Rightarrow P\neq NP$. We also provide an alternative explanation for the undecidability of the halting problem based on the principle.


title: A segmentation-free isogeometric extended mortar contact method

abstract: This paper presents a new isogeometric mortar contact formulation based on an extended finite element interpolation to capture physical pressure discontinuities at the contact boundary. The so called two-half-pass algorithm is employed, which leads to an unbiased formulation and, when applied to the mortar setting, has the additional advantage that the mortar coupling term is no longer present in the contact forces. As a result, the computationally expensive segmentation at overlapping master-slave element boundaries, usually required in mortar methods (although often simplified with loss of accuracy), is not needed from the outset. For the numerical integration of general contact problems, the so-called refined boundary quadrature is employed, which is based on adaptive partitioning of contact elements along the contact boundary. The contact patch test shows that the proposed formulation passes the test without using either segmentation or refined boundary quadrature. Several numerical examples are presented to demonstrate the robustness and accuracy of the proposed formulation.


title: Constructible 1-motives and exactness

abstract: We prove that arbitrary pullbacks, as well as Betti and \'etale realisation functors, are t-exact for the constructible motivic t-structure on the category of cohomological 1-motives over a base scheme.


title: General $N$-solitons and their dynamics in several nonlocal nonlinear Schr\"odinger equations

abstract: General $N$-solitons in three recently-proposed nonlocal nonlinear Schr\"odinger equations are presented. These nonlocal equations include the reverse-space, reverse-time, and reverse-space-time nonlinear Schr\"odinger equations, which are nonlocal reductions of the Ablowitz-Kaup-Newell-Segur (AKNS) hierarchy. It is shown that general $N$-solitons in these different equations can be derived from the same Riemann-Hilbert solutions of the AKNS hierarchy, except that symmetry relations on the scattering data are different for these equations. This Riemann-Hilbert framework allows us to identify new types of solitons with novel eigenvalue configurations in the spectral plane. Dynamics of $N$-solitons in these equations is also explored. In all the three nonlocal equations, a generic feature of their solutions is repeated collapsing. In addition, multi-solitons can behave very differently from fundamental solitons and may not correspond to a nonlinear superposition of fundamental solitons.


title: The classification of Lagrangians nearby the Whitney immersion

abstract: The Whitney immersion is a Lagrangian sphere inside the four-dimensional symplectic vector space which has a single transverse double point of Whitney self-intersection number $+1.$ This Lagrangian also arises as the Weinstein skeleton of the complement of a binodal cubic curve inside the projective plane, and the latter Weinstein manifold is thus the `standard' neighbourhood of Lagrangian immersions of this type. We classify the Lagrangians inside such a neighbourhood which are homologically essential, and which either are embedded or immersed with a single double point; they are shown to be Hamiltonian isotopic to either product tori, Chekanov tori, or rescalings of the Whitney immersion.


title: Existence, uniqueness and homogenization of nonlinear parabolic problems with dynamical boundary conditions in perforated media

abstract: We consider a nonlinear parabolic problem with dynamical boundary conditions in a media perforated by periodically distributed holes of size $\varepsilon$. The existence and uniqueness of solution is analyzed. Moreover, passing to the limit when $\varepsilon$ goes to zero, a new nonlinear parabolic problem defined on a unified domain without holes with zero Dirichlet boundary condition and with extra-terms coming from the influence of the dynamical boundary conditions is rigorously derived.


title: Path Planning using Positive Invariant Sets

abstract: We present an algorithm for steering the output of a linear system from a feasible initial condition to a desired target position, while satisfying input constraints and non-convex output constraints. The system input is generated by a collection of local linear state-feedback controllers. The path-planning algorithm selects the appropriate local controller using a graph search, where the nodes of the graph are the local controllers and the edges of the graph indicate when it is possible to transition from one local controller to another without violating input or output constraints. We present two methods for computing the local controllers. The first uses a fixed-gain controller and scales its positive invariant set to satisfy the input and output constraints. We provide a linear program for determining the scale-factor and a condition for when the linear program has a closed-form solution. The second method designs the local controllers using a semi-definite program that maximizes the volume of the positive invariant set that satisfies state and input constraints. We demonstrate our path-planning algorithm on docking of a spacecraft. The semi-definite programming based control design has better performance but requires more computation.


title: Spinorial flux tubes in SO(N) gauge theories in 2+1 dimensions

abstract: We investigate whether one can observe in SO(3) and SO(4) (lattice) gauge theories the presence of spinorial flux tubes, i.e. ones that correspond to the fundamental representation of SU(2); and similarly for SO(6) and SU(4). We do so by calculating the finite volume dependence of the JP=2+ glueball in 2+1 dimensions, using lattice simulations. We show how this provides strong evidence that these SO(N) gauge theories contain states that are composed of pairs of (conjugate) winding spinorial flux tubes, i.e. ones that are in the (anti)fundamental of the corresponding SU(N') gauge theories. Moreover, these two flux tubes can be arbitrarily far apart. This is so despite the fact that the fields that are available in the SO(N) lattice field theories do not appear to allow us to construct operators that project onto single spinorial flux tubes.


title: Two-dimensional abelian BF theory in Lorenz gauge as a twisted N=(2,2) superconformal field theory

abstract: We study the two-dimensional topological abelian BF theory in the Lorenz gauge and, surprisingly, we find that the gauged-fixed theory is a free type B twisted N=(2,2) superconformal theory with odd linear target space, with the ghost field c being the pullback of the linear holomorphic coordinate on the target. The BRST operator of the gauge-fixed theory equals the total Q of type B twisted theory. This unexpected identification of two different theories opens a way for nontrivial deformations of both of these theories.


title: The antenna phase center motion effect in space-based experiments for fundamental physics and astronomy

abstract: We consider the effect of phase center motion of mechanically steerable high-gain parabolic antennas for ground-based and spacecraft-mounted antennas. For spacecrafts on highly elliptic Earth orbits the magnitude of the effect is as large as several mm/s in terms of the required velocity correction, both for ground-based and spacecraft-mounted antennas. We illustrate this with real data from the RadioAstron spacecraft and also provide results of our simulations for the concept of a possible follow-up space very long baseline radio astronomy mission. We also consider a specific configuration of satellite communication links, with simultaneously operating one-way down link and two-way loop link, pioneered by the Gravity Probe A experiment. We find that this configuration provides for complete compensation of the phase center motion effect due to the onboard antenna and significant compensation of that due to the ground antenna. This result is important for future space-based fundamental physics experiments, primarily those concerned with studies of gravity.


title: Green's function for second order elliptic equations with singular lower order coefficients

abstract: We construct Green's function for second order elliptic operators of the form $Lu=-\nabla \cdot (\mathbf{A} \nabla u + \boldsymbol{b} u)+ \boldsymbol c \cdot \nabla u+ du$ in a domain and obtain pointwise bounds, as well as Lorentz space bounds. We assume that the matrix of principal coefficients $\mathbf A$ is uniformly elliptic and bounded and the lower order coefficients $\boldsymbol{b}$, $\boldsymbol{c}$, and $d$ belong to certain Lebesgue classes and satisfy the condition $d - \nabla \cdot \boldsymbol{b} \ge 0$. In particular, we allow the lower order coefficients to be singular. We also obtain the global pointwise bounds for the gradient of Green's function in the case when the mean oscillations of the coefficients $\mathbf A$ and $\boldsymbol{b}$ satisfy the Dini conditions and the domain is $C^{1, \rm{Dini}}$.


title: Large directed flow of open charm mesons probes the three dimensional distribution of matter in heavy ion collisions

abstract: Thermalized matter created in non-central relativistic heavy-ion collisions is expected to be tilted in the reaction plane with respect to the beam axis. The most notable consequence of this forward-backward symmetry breaking is the observation of rapidity-odd directed flow for charged particles. On the other hand, the production points for heavy quarks are forward-backward symmetric and shifted in the transverse plane with respect to the fireball. The drag of heavy quarks from the asymmetrically distributed thermalized matter generates a large directed flow for heavy flavor mesons. We predict a very large rapidity odd directed flow of $D$ mesons in non-central Au-Au collisions at $\sqrt{s_{NN}}=200$ GeV, $several$ $times$ $larger$ than for charged particles. A possible experimental observation of a large directed flow for heavy flavor mesons would represent an almost direct probe of the 3-dimensional distribution of matter in heavy-ion collisions.


title: Non-perturbative method to compute thermal correlations in one-dimensional systems: A brief overview

abstract: We develop a highly efficient method to numerically simulate thermal fluctuations and correlations in non-relativistic continuous bosonic one-dimensional systems. We start by noticing the equivalence of their description through the transfer matrix formalism and a Fokker-Planck equation for a distribution evolving in space. The corresponding stochastic differential (It\={o}) equation is very suitable for computer simulations, allowing the calculation of arbitrary correlation functions. As an illustration, we apply our method to the case of two tunnel-coupled quasicondensates of bosonic atoms.


title: Protonation induced high-Tc phases in iron-based superconductors evidenced by NMR and magnetization measurements

abstract: Chemical substitution during growth is a well-established method to manipulate electronic states of quantum materials, and leads to rich spectra of phase diagrams in cuprate and iron-based superconductors. Here we report a novel and generic strategy to achieve nonvolatile electron doping in series of (i.e. 11 and 122 structures) Fe-based superconductors by ionic liquid gating induced protonation at room temperature. Accumulation of protons in bulk compounds induces superconductivity in the parent compounds, and enhances the Tc largely in some superconducting ones. Furthermore, the existence of proton in the lattice enables the first proton nuclear magnetic resonance (NMR) study to probe directly superconductivity. Using FeS as a model system, our NMR study reveals an emergent high-Tc phase with no coherence peak which is hard to measure by NMR with other isotopes. This novel electric-field-induced proton evolution opens up an avenue for manipulation of competing electronic states (e.g. Mott insulators), and may provide an innovative way for a broad perspective of NMR measurements with greatly enhanced detecting resolution.


title: Mixed-precision training of deep neural networks using computational memory

abstract: Deep neural networks have revolutionized the field of machine learning by providing unprecedented human-like performance in solving many real-world problems such as image and speech recognition. Training of large DNNs, however, is a computationally intensive task, and this necessitates the development of novel computing architectures targeting this application. A computational memory unit where resistive memory devices are organized in crossbar arrays can be used to locally store the synaptic weights in their conductance states. The expensive multiply accumulate operations can be performed in place using Kirchhoff's circuit laws in a non-von Neumann manner. However, a key challenge remains the inability to alter the conductance states of the devices in a reliable manner during the weight update process. We propose a mixed-precision architecture that combines a computational memory unit storing the synaptic weights with a digital processing unit and an additional memory unit accumulating weight updates in high precision. The new architecture delivers classification accuracies comparable to those of floating-point implementations without being constrained by challenges associated with the non-ideal weight update characteristics of emerging resistive memories. A two layer neural network in which the computational memory unit is realized using non-linear stochastic models of phase-change memory devices achieves a test accuracy of 97.40% on the MNIST handwritten digit classification problem.


title: A dual framework for low-rank tensor completion

abstract: One of the popular approaches for low-rank tensor completion is to use the latent trace norm regularization. However, most existing works in this direction learn a sparse combination of tensors. In this work, we fill this gap by proposing a variant of the latent trace norm that helps in learning a non-sparse combination of tensors. We develop a dual framework for solving the low-rank tensor completion problem. We first show a novel characterization of the dual solution space with an interesting factorization of the optimal solution. Overall, the optimal solution is shown to lie on a Cartesian product of Riemannian manifolds. Furthermore, we exploit the versatile Riemannian optimization framework for proposing computationally efficient trust region algorithm. The experiments illustrate the efficacy of the proposed algorithm on several real-world datasets across applications.


title: Moduli spaces of witch curves topologically realize the 2-associahedra

abstract: For $r \geq 1$ and $\mathbf{n} \in \mathbb{Z}_{\geq0}^r\setminus\{\mathbf{0}\}$, we construct the compactified moduli space $\overline{2\mathcal{M}}_{\mathbf{n}}$ of witch curves of type $\mathbf{n}$. We equip $\overline{2\mathcal{M}}_{\mathbf{n}}$ with a stratification by the 2-associahedron $W_{\mathbf{n}}$, and prove that $\overline{2\mathcal{M}}_{\mathbf{n}}$ is compact and metrizable. In addition, we show that the forgetful map $\overline{2\mathcal{M}}_{\mathbf{n}} \to \overline{\mathcal{M}}_r$ to the moduli space of stable disk trees is continuous and respects the stratifications.


title: Why my photos look sideways or upside down? Detecting Canonical Orientation of Images using Convolutional Neural Networks

abstract: Image orientation detection requires high-level scene understanding. Humans use object recognition and contextual scene information to correctly orient images. In literature, the problem of image orientation detection is mostly confronted by using low-level vision features, while some approaches incorporate few easily detectable semantic cues to gain minor improvements. The vast amount of semantic content in images makes orientation detection challenging, and therefore there is a large semantic gap between existing methods and human behavior. Also, existing methods in literature report highly discrepant detection rates, which is mainly due to large differences in datasets and limited variety of test images used for evaluation. In this work, for the first time, we leverage the power of deep learning and adapt pre-trained convolutional neural networks using largest training dataset to-date for the image orientation detection task. An extensive evaluation of our model on different public datasets shows that it remarkably generalizes to correctly orient a large set of unconstrained images; it also significantly outperforms the state-of-the-art and achieves accuracy very close to that of humans.


title: Fractional-order operators: Boundary problems, heat equations

abstract: The first half of this work gives a survey of the fractional Laplacian (and related operators), its restricted Dirichlet realization on a bounded domain, and its nonhomogeneous local boundary conditions, as treated by pseudodifferential methods. The second half takes up the associated heat equation with homogeneous Dirichlet condition. Here we recall recently shown sharp results on interior regularity and on $L_p$-estimates up to the boundary, as well as recent H\"older estimates. This is supplied with new higher regularity estimates in $L_2$-spaces using a technique of Lions and Magenes, and higher $L_p$-regularity estimates (with arbitrarily high H\"older estimates in the time-parameter) based on a general result of Amann. Moreover, it is shown that an improvement to spatial $C^\infty $-regularity at the boundary is not in general possible.


title: Particle Computation: Complexity, Algorithms, and Logic

abstract: We investigate algorithmic control of a large swarm of mobile particles (such as robots, sensors, or building material) that move in a 2D workspace using a global input signal (such as gravity or a magnetic field). We show that a maze of obstacles to the environment can be used to create complex systems. We provide a wide range of results for a wide range of questions. These can be subdivided into external algorithmic problems, in which particle configurations serve as input for computations that are performed elsewhere, and internal logic problems, in which the particle configurations themselves are used for carrying out computations. For external algorithms, we give both negative and positive results. If we are given a set of stationary obstacles, we prove that it is NP-hard to decide whether a given initial configuration of unit-sized particles can be transformed into a desired target configuration. Moreover, we show that finding a control sequence of minimum length is PSPACE-complete. We also work on the inverse problem, providing constructive algorithms to design workspaces that efficiently implement arbitrary permutations between different configurations. For internal logic, we investigate how arbitrary computations can be implemented. We demonstrate how to encode dual-rail logic to build a universal logic gate that concurrently evaluates and, nand, nor, and or operations. Using many of these gates and appropriate interconnects, we can evaluate any logical expression. However, we establish that simulating the full range of complex interactions present in arbitrary digital circuits encounters a fundamental difficulty: a fan-out gate cannot be generated. We resolve this missing component with the help of 2x1 particles, which can create fan-out gates that produce multiple copies of the inputs. Using these gates we provide rules for replicating arbitrary digital circuits.


title: Elemental Abundances of Kepler Objects of Interest in APOGEE. I. Two Distinct Orbital Period Regimes Inferred from Host Star Iron Abundances

abstract: The Apache Point Observatory Galactic Evolution Experiment (APOGEE) has observed $\sim$600 transiting exoplanets and exoplanet candidates from \textit{Kepler} (Kepler Objects of Interest, KOIs), most with $\geq$18 epochs. The combined multi-epoch spectra are of high signal-to-noise (typically $\geq$100) and yield precise stellar parameters and chemical abundances. We first confirm the ability of the APOGEE abundance pipeline, ASPCAP, to derive reliable [Fe/H] and effective temperatures for FGK dwarf stars -- the primary \textit{Kepler} host stellar type -- by comparing the ASPCAP-derived stellar parameters to those from independent high-resolution spectroscopic characterizations for 221 dwarf stars in the literature. With a sample of 282 close-in ($P<100$ days) KOIs observed in the APOGEE KOI goal program, we find a correlation between orbital period and host star [Fe/H] characterized by a critical period, $P_\mathrm{crit}$= $8.3^{+0.1}_{-4.1}$ days, below which small exoplanets orbit statistically more metal-enriched host stars. This effect may trace a metallicity dependence of the protoplanetary disk inner-radius at the time of planet formation or may be a result of rocky planet ingestion driven by inward planetary migration. We also consider that this may trace a metallicity dependence of the dust sublimation radius, but find no statistically significant correlation with host $T_\mathrm{eff}$ and orbital period to support such a claim.


title: tHoops: A Multi-Aspect Analytical Framework Spatio-Temporal Basketball Data

abstract: During the past few years advancements in sports information systems and technology has allowed us to collect a number of detailed spatio-temporal data capturing various aspects of basketball. For example, shot charts, that is, maps capturing locations of (made or missed) shots, and spatio-temporal trajectories for all the players on the court can capture information about the offensive and defensive tendencies and schemes of a team. Characterization of these processes is important for player and team comparisons, pre-game scouting, game preparation etc. Playing tendencies among teams have traditionally been compared in a heuristic manner. Recently automated ways for similar comparisons have appeared in the sports analytics literature. However, these approaches are almost exclusively focused on the spatial distribution of the underlying actions (usually shots taken), ignoring a multitude of other parameters that can affect the action studied. In this work, we propose a framework based on tensor decomposition for obtaining a set of prototype spatio-temporal patterns based on the core spatiotemporal information and contextual meta-data. The core of our framework is a 3D tensor X, whose dimensions represent the entity under consideration (team, player, possession etc.), the location on the court and time. We make use of the PARAFAC decomposition and we decompose the tensor into several interpretable patterns, that can be thought of as prototype patterns of the process examined (e.g., shot selection, offensive schemes etc.). We also introduce an approach for choosing the number of components to be considered. Using the tensor components, we can then express every entity as a weighted combination of these components. The framework introduced in this paper can have further applications in the work-flow of the basketball operations of a franchise, which we also briefly discuss.


title: An all-optical atom trap as a target for MOTRIMS-like collision experiments

abstract: Momentum-resolved scattering experiments with laser-cooled atomic targets have been performed since almost two decades with MOTRIMS (Magneto-Optical Trap Recoil Ion Momentum Spectroscopy) setups. Compared to experiments with gas-jet targets, MOTRIMS features significantly lower target temperatures allowing for an excellent recoil ion momentum resolution. However, the coincident and momentum-resolved detection of electrons was long rendered impossible due to incompatible magnetic field requirements. Here we report on a novel experimental approach which is based on an all-optical $^6$Li atom trap that -- in contrast to magneto-optical traps -- does not require magnetic field gradients in the trapping region. Atom temperatures of about 2 mK and number densities up to 10$^9$ cm$^{-3}$ make this trap ideally suited for momentum-resolved electron-ion coincidence experiments. The overall configuration of the new trap is very similar to conventional magneto-optical traps. It mainly requires small modifications of laser beam geometries and polarization which makes it easily implementable in other existing MOTRIMS experiments.


title: Charged Obstacles Augment Electrokinetic Energy Conversion Efficiency

abstract: In the present study, we delineate the effect of introducing flow obstructions on streaming potential and energy conversion efficiency in a narrow fluidic confinement taking into consideration the wall hydrodynamic slip, finite ionic size, and local permittivity variation effects. We consider two types of the geometric pattern of flow obstacle between which regular pattern turns out to be more effective. It is observed that, implementing structured flow obstacles of radii greater than 10% of channel height and charge density ratio (charge density of flow obstacle surface to that of channel wall) greater than or equal to 9 renders significant enhancement of power generation efficiency. On the other hand, it is effective to operate at a charge density ratio~1 for obstacles radii less than or equal to 10% of channel height. An effective normalized pitch length of magnitude 0.6 or above has to be maintained in order to obtain optimum energy conversion efficiency. We found that implementation of charged flow obstacle causes a significant enhancement of energy conversion efficiency (~18% with regular pattern) comparing to planar slit channel (~4%) without considering wall hydrodynamic slip and steric effects. Introducing finite ionic size and wall hydrodynamic slip effect, pertinent to flows in narrow confinement, leads to further enhancement in electrokinetic energy conversion efficiency.


title: Evershed and counter-Evershed flows in sunspot MHD simulations

abstract: There have been a few reports in the literature of counter-Evershed flows observed in well developed sunspot penumbrae, i.e. flows directed towards the umbra along penumbral filaments. Here we investigate the driving forces of such counter-Evershed flows in a radiative magnetohydrodynamic simulation of a sunspot and compare them with the forces acting on the normal Evershed flow. The simulation covers a timespan of 100 solar hours and generates an Evershed outflow exceeding 8 km s$^{-1}$ in the penumbra along radially aligned filaments where the magnetic field is almost horizontal. Additionally, the simulation produces a fast counter-Evershed flow (i.e., an inflow near $\tau = 1$) in some regions within the penumbra, reaching peak flow speeds of $\sim$12 km s$^{-1}$. The counter-Evershed flows are transient and typically last a few hours before they turn into outflows again. By using the kinetic energy equation and evaluating its various terms in the simulation box, we found that the Evershed flow occurs due to overturning convection in a strongly inclined magnetic field while the counter-Evershed flows can be well described as siphon flows.


title: Multi-directed graph complexes and quasi-isomorphisms between them II: Sourced graphs

abstract: We prove that the inclusion from oriented graph complex into graph complex with at least one source is a quasi-isomorphism, showing that homology of the "sourced" graph complex is also equal to the homology of standard Kontsevich's graph complex. This result may have applications in theory of multi-vector fields $T_{\rm poly}^{\geq 1}$ of degree at least one, and to the hairy graph complex which computes the rational homotopy of the space of long knots. The result is generalized to multi-directed graph complexes, showing that all such graph complexes are quasi-isomorphic. These complexes play a key role in the deformation theory of multi-oriented props recently invented by Sergei Merkulov. We also develop a theory of graph complexes with arbitrary edge types.


title: Gravitational Memory in Higher Dimensions

abstract: It is shown that there is a universal gravitational memory effect measurable by inertial detectors in even spacetime dimensions $d\geq 4$. The effect falls off at large radius $r$ as $r^{3-d}$. Moreover this memory effect sits at one corner of an infrared triangle with the other two corners occupied by Weinberg's soft graviton theorem and infinite-dimensional asymptotic symmetries.


title: The Extremely Luminous Quasar Survey (ELQS) in the SDSS footprint I.: Infrared Based Candidate Selection

abstract: Studies of the most luminous quasars at high redshift directly probe the evolution of the most massive black holes in the early Universe and their connection to massive galaxy formation. However, extremely luminous quasars at high redshift are very rare objects. Only wide area surveys have a chance to constrain their population. The Sloan Digital Sky Survey (SDSS) has so far provided the most widely adopted measurements of the quasar luminosity function (QLF) at $z>3$. However, a careful re-examination of the SDSS quasar sample revealed that the SDSS quasar selection is in fact missing a significant fraction of $z\gtrsim3$ quasars at the brightest end. We have identified the purely optical color selection of SDSS, where quasars at these redshifts are strongly contaminated by late-type dwarfs, and the spectroscopic incompleteness of the SDSS footprint as the main reasons. Therefore we have designed the Extremely Luminous Quasar Survey (ELQS), based on a novel near-infrared JKW2 color cut using WISE AllWISE and 2MASS all-sky photometry, to yield high completeness for very bright ($m_{\rm{i}} < 18.0$) quasars in the redshift range of $3.0\leq z\leq5.0$. It effectively uses random forest machine-learning algorithms on SDSS and WISE photometry for quasar-star classification and photometric redshift estimation. The ELQS will spectroscopically follow-up $\sim 230$ new quasar candidates in an area of $\sim12000\,\rm{deg}^2$ in the SDSS footprint, to obtain a well-defined and complete quasars sample for an accurate measurement of the bright-end quasar luminosity function at $3.0\leq z\leq5.0$. In this paper we present the quasar selection algorithm and the quasar candidate catalog.


title: Refining the Two-Dimensional Signed Small Ball Inequality

abstract: The two-dimensional signed small ball inequality states that for all possible choices of signs, $$ \left\| \sum_{|R| = 2^{-n}}{ \varepsilon_R h_R} \right\|_{L^{\infty}} \gtrsim n,$$ where the summation runs over all dyadic rectangles in the unit square and $h_R$ denotes the associated Haar function. This inequality first appeared in the work of Talagrand, and alternative proofs are due to Temlyakov and Bilyk & Feldheim (who showed that the supremum equals $n+1$ in all cases). We prove that for all integers $0\leq k \leq n+1$ and all possible choices of signs, $$ \left| \left\{ x \in [0,1)^2: \sum_{|R| = 2^{-n}}{ \varepsilon_R h_R} = n + 1 - 2k\right\} \right| = \frac{1}{2^{n+1}}\binom{n+1}{k}.$$


title: Model Checking in multiplayer games development

abstract: Multiplayer computer games play a big role in the ever-growing entertainment industry. Being competitive in this industry means releasing the best possible software, and reliability is a key feature to win the market. Computer games are also actively used to simulate different robotic systems where reliability is even more important, and potentially critical. Traditional software testing approaches can check a subset of all the possible program executions, and they can never guarantee complete absence of errors in the source code. On the other hand, during more than twenty years, Model Checking has demonstrated to be a powerful instrument for formal verification of large hardware and software components. In this paper, we contribute with a novel approach to formally verify computer games. We propose a method of model construction that starts from a computer game description and utilizes Model Checking technique. We apply the method on a case study: the game Penguin Clash. Finally, an approach to game model reduction (and its implementation) is introduced in order to address the state explosion problem.


title: The Case for Learned Index Structures

abstract: Indexes are models: a B-Tree-Index can be seen as a model to map a key to the position of a record within a sorted array, a Hash-Index as a model to map a key to a position of a record within an unsorted array, and a BitMap-Index as a model to indicate if a data record exists or not. In this exploratory research paper, we start from this premise and posit that all existing index structures can be replaced with other types of models, including deep-learning models, which we term learned indexes. The key idea is that a model can learn the sort order or structure of lookup keys and use this signal to effectively predict the position or existence of records. We theoretically analyze under which conditions learned indexes outperform traditional index structures and describe the main challenges in designing learned index structures. Our initial results show, that by using neural nets we are able to outperform cache-optimized B-Trees by up to 70% in speed while saving an order-of-magnitude in memory over several real-world data sets. More importantly though, we believe that the idea of replacing core components of a data management system through learned models has far reaching implications for future systems designs and that this work just provides a glimpse of what might be possible.


title: Speeding Up BigClam Implementation on SNAP

abstract: We perform a detailed analysis of the C++ implementation of the Cluster Affiliation Model for Big Networks (BigClam) on the Stanford Network Analysis Project (SNAP). BigClam is a popular graph mining algorithm that is capable of finding overlapping communities in networks containing millions of nodes. Our analysis shows a key stage of the algorithm - determining if a node belongs to a community - dominates the runtime of the implementation, yet the computation is not parallelized. We show that by parallelizing computations across multiple threads using OpenMP we can speed up the algorithm by 5.3 times when solving large networks for communities, while preserving the integrity of the program and the result.