title: Unconventional temperature dependence of the anomalous Hall effect in HgCr2Se4

abstract: At sufficiently low temperatures, many quantum effects, such as weak localization, electron-electron interaction (EEI), and Kondo screening, can lead to pronounced corrections to the semiclassical electron transport. Although low temperature corrections to longitudinal resistivity, ordinary Hall resistivity, or anomalous Hall resistivity are often observed, the corrections to three of them have never been simultaneously detected in a single sample. Here, we report on the observation of $\sqrt T$-type temperature dependences of the longitudinal, ordinary Hall and AH resistivities at temperatures down to at least 20 mK in $n$-type HgCr$_2$Se$_4$, a half-metallic ferromagnetic semiconductor that can reach extremely low carrier densities. For the samples with moderate disorder, the longitudinal and ordinary Hall conductivities can be satisfactorily described by the EEI theory developed by Altshuler \textit{et al.}, whereas the large corrections to AH conductivity are inconsistent with the existing theory, which predicts vanishing and finite corrections to AH conductivity for EEI and weak localization, respectively.


title: Non-Gaussian thermostatistical considerations upon the Saha equation

abstract: The Saha equation provides the relation between two consecutive ionization state populations, like the Maxwell-Boltzmann velocity distribution of the atoms in a gas ensemble. Saha equation can also consider the partitions functions for both states and its main application is in stellar astrophysics population statistics. This paper presents two non-Gaussian thermostatistical generalizations for the Saha equation: the first one towards the Tsallis nonextensive $q$-entropy and the other one is based upon Kaniadakis $\kappa$-statistics. Both thermostatistical formalisms are very successful when used in several complex astrophysical statistical systems and we have demonstrated here that they work also in Saha's ionization distribution. We have obtained new chemical $q$-potentials and their respective graphical regions with a well defined boundary that separated the two symmetric intervals for the $q$-potentials. The asymptotic behavior of the $q$-potential was also discussed. Besides the proton-electron, we have also investigated the complex atoms and pair production ionization reactions.


title: R(p,q)- analogs of discrete distributions: general formalism and application

abstract: In this paper, we define and discuss $\mathcal{R}(p,q)$- deformations of basic univariate discrete distributions of the probability theory. We mainly focus on binomial, Euler, P\'olya and inverse P\'olya distributions. We discuss relevant $\mathcal{R}(p,q)-$ deformed factorial moments of a random variable, and establish associated expressions of mean and variance. Futhermore, we derive a recursion relation for the probability distributions. Then, we apply the same approach to build main distributional properties characterizing the generalized $q-$ Quesne quantum algebra, used in physics. Other known results in the literature are also recovered as particular cases.


title: We just cannot have classical and quantum behavior at the same TIME

abstract: Frauchiger and Renner recently cast doubt on the universal applicability of Quantum Mechanics [1]. In the following, it is pointed out that their conclusion of one of three common-sense conditions, demanded for Quantum Mechanics, being inevitably and permanently violated is not inevitable; there is a way out. Here, it is argued for fully accepting encompassing complementarity and for a basic conceptualization of quantum mechanics, in which different aspects are exhibited under different circumstances. The reported result is taken as an indication of a fundamental arrow of time pointing in the direction from the quantum --> classical domain. With the origin of thermodynamic time at that interface, its unrestricted applicability in isolated quantum systems is questioned. The bold proposal is that TIME as we know it just does not exist at the quantum level. Time instead commences together with causality at all interfaces to the classic domain whenever a minimum amount of energy is transferred in an uncontrolled manner, i.e., without well-balanced compensation. Insisting on fully comprehensive self-consistency opens new perspectives on (retro-)causality and also on an inflation phase at the beginnings of our universe.


title: ALIS: An efficient method to compute high spectral resolution polarized solar radiances using the Monte Carlo approach

abstract: An efficient method to compute accurate polarized solar radiance spectra using the (three-dimensional) Monte Carlo model MYSTIC has been developed. Such high resolution spectra are measured by various satellite instruments for remote sensing of atmospheric trace gases. ALIS (Absorption Lines Importance Sampling) allows the calculation of spectra by tracing photons at only one wavelength: In order to take into account the spectral dependence of the absorption coefficient a spectral absorption weight is calculated for each photon path. At each scattering event the local estimate method is combined with an importance sampling method to take into account the spectral dependence of the scattering coefficient. Since each wavelength grid point is computed based on the same set of random photon paths, the statistical error is the almost same for all wavelengths and hence the simulated spectrum is not noisy. The statistical error mainly results in a small relative deviation which is independent of wavelength and can be neglected for those remote sensing applications where differential absorption features are of interest. Two example applications are presented: The simulation of shortwave-infrared polarized spectra as measured by GOSAT from which CO$_2$ is retrieved, and the simulation of the differential optical thickness in the visible spectral range which is derived from SCIAMACHY measurements to retrieve NO$_2$. The computational speed of ALIS (for one- or three-dimensional atmospheres) is of the order of or even faster than that of one-dimensional discrete ordinate methods, in particular when polarization is considered.


title: Are four dimensions enough, a note on ambient cosmology

abstract: The group of homothetic symmetries in the conformal infinity (the $4$-dimensional "ambient boundary") of a $5$-dimensional spacetime restricts the choice of topology to a topology under which the group of homeomorphisms of a spacetime manifold is the group of homothetic transformations. Since there are such spacetime topologies in the class of Zeeman-G\"obel, under which the formation of basic contradiction present in proofs of singularity theorems is impossible, an important question is raised: why should one construct a $5$-dimensional metric, in order to return back such a topology to its $4$-dimensional conformal boundary, while such topologies, like those ones in the Zeeman-G\"obel class, are already considered as more "natural" topologies for a spacetime, rather than the artificial (according to Zeeman) manifold topology?


title: Beginnings of the Helicity Basis in the (S,0)+(0,S) Representations of the Lorentz Group

abstract: We write solutions of relativistic quantum equations explicitly in the helicity basis for S=1/2 and S=1. We present the analyses of relations between Dirac-like and Majorana-like field operators. Several interesting features of bradyonic and tachyonic solutions are presented.


title: Quantization of ratio gravity in Minkowski spacetime and mass generation mechanism

abstract: Recently, the theory of ratio gravity (RG) has introduced a new description of spacetime curvature and gravity as well as dark energy. This paper proposes a quantization approach through a simple model for RG. By solving the ratio gravity equations in Minkowski spacetime, we found there are two wave solutions coupled to a symmetry broken scalar field. We postulate the related Lagrangian with massless fermion doublets coupling a scalar field, and perform the related one-loop calculation. The theory provides the non-zero and positive masses for three generations of three types of massive fermions: apparently as leptons (electron, muon, tau), and quarks (up, charm, top, down, strange, bottom). The predicted masses of the top and bottom quarks (181 GeV and 3.5 GeV) are close to the experimental data. We address the possibility that RG quantization may offer mass generation mechanism for fermions.


title: On Differences of Multiplicative Functions and Solutions of the Equation $n-\varphi(n) = c$

abstract: We will study the solutions to the equation $f(n) - g(n) = c$, where $f$ and $g$ are multiplicative functions and $c$ is a constant. More precisely, we prove that the number of solutions does not exceed $c^{1-\epsilon}$ when $f, g$ and solutions $n$ satisfy some certain constraints, such as $f(n) > g(n)$ for $n > 1$. In particular, we will prove the following estimate: the number of solutions to the equation $n - \varphi(n) = c$ is: $$ G(c + 1) + O(c^{0.75 + o(1)}), $$ where $G(k)$ is the number of ways to represent $k$ as a sum of two primes. This result is based on some properties of configurations of points and lines.


title: Poisson approximation

abstract: We overview results on the topic of Poisson approximation that are missed in existing surveys. The topic of Poisson approximation to the distribution of a sum of integer-valued random variables is presented as well. We do not restrict ourselves to a particular method, and overview the whole range of issues including the general limit theorem, estimates of the accuracy of approximation, asymptotic expansions, etc. Related results on the accuracy of compound Poisson approximation are presented as well. We indicate a number of open problems and discuss directions of further research.


title: Visual Distortions in 360-degree Videos

abstract: Omnidirectional (or 360-degree) images and videos are emergent signals in many areas such as robotics and virtual/augmented reality. In particular, for virtual reality, they allow an immersive experience in which the user is provided with a 360-degree field of view and can navigate throughout a scene, e.g., through the use of Head Mounted Displays. Since it represents the full 360-degree field of view from one point of the scene, omnidirectional content is naturally represented as spherical visual signals. Current approaches for capturing, processing, delivering, and displaying 360-degree content, however, present many open technical challenges and introduce several types of distortions in these visual signals. Some of the distortions are specific to the nature of 360-degree images, and often different from those encountered in the classical image communication framework. This paper provides a first comprehensive review of the most common visual distortions that alter 360-degree signals undergoing state of the art processing in common applications. While their impact on viewers' visual perception and on the immersive experience at large is still unknown ---thus, it stays an open research topic--- this review serves the purpose of identifying the main causes of visual distortions in the end-to-end 360-degree content distribution pipeline. It is essential as a basis for benchmarking different processing techniques, allowing the effective design of new algorithms and applications. It is also necessary to the deployment of proper psychovisual studies to characterise the human perception of these new images in interactive and immersive applications.


title: A set of formulas for primes

abstract: A new set of formulas for primes is presented. These formulas are more efficient and grow much slower than the two known formulas of Mills and Wright. 3 new formulas are explained.


title: Three-dimensional transformation for rotating coordinate systems and its applications in physics

abstract: Applications of the three-dimensional transformation for rotating coordinate systems to quantum mechanics, general theory relativity and optics are considered.


title: Personal Universes: A Solution to the Multi-Agent Value Alignment Problem

abstract: AI Safety researchers attempting to align values of highly capable intelligent systems with those of humanity face a number of challenges including personal value extraction, multi-agent value merger and finally in-silico encoding. State-of-the-art research in value alignment shows difficulties in every stage in this process, but merger of incompatible preferences is a particularly difficult challenge to overcome. In this paper we assume that the value extraction problem will be solved and propose a possible way to implement an AI solution which optimally aligns with individual preferences of each user. We conclude by analyzing benefits and limitations of the proposed approach.


title: Tunneling radiation of fermions from the non-stationary Kerr black hole

abstract: In this paper, the tunneling radiation of fermions with spin $1/2$ and $3/2$ from the non-stationary Kerr black hole are investigated. First, according to the Dirac equation for spin $1/2$ fermions and Rarita-Schwinger equation for spin $3/2$ fermions, we construct the corresponding gamma matrixes and the derive Hamilton-Jacobi equation for spin $1/2$ and $3/2$ fermions. Then, the tunneling behavior of fermions on the event horizon is studied. Finally, we obtain the thermodynamic properties of the non-stationary Kerr black hole. The result shows that the tunneling radiation rate, surface gravity and temperature are all related to ${\dot r_H}$ and ${r'_H}$


title: Primes in Beatty sequence

abstract: For a polynomial $g(x)$ of deg $k \geq 2$ with integer coefficients and positive integer leading coefficient, we prove an upper bound for the least prime $p$ such that $g(p)$ is in non-homogeneous Beatty sequence $\lbrace \lfloor \alpha n+\beta\rfloor : n=1,2,3, \dots \rbrace$, where $\alpha, \beta \in \mathbb{R}$ with $\alpha >1$ is irrational and we prove an asymptotic formula for the number of primes $p$ such that $g(p)=\lfloor \alpha n+\beta \rfloor.$ Next we obtain an asymptotic formula for number of primes $p$ of the form $p=\lfloor \alpha n+\beta \rfloor$ which also satisfies $p \equiv f \pmod d$ where $f, d$ are integers with $1\leq f < d$ and $(f,d)=1$.


title: Age-of-Information for Computation-Intensive Messages in Mobile Edge Computing

abstract: Age-of-information (AoI) is a novel metric that measures the freshness of information in status update scenarios. It is essential for real-time applications to transmit status update packets to the destination node as timely as possible. However, for some applications, status information embedded in the packets is not revealed until complicated data processing, which is computational expensive and time consuming. As mobile edge server has sufficient computational resource and is placed close to users, mobile edge computing (MEC) is expected to reduce age for computation-intensive messages. In this paper, we study the AoI for computation-intensive data in MEC, and consider two schemes: local computing by user itself and remote computing at MEC server. The two computing models are unified into a two-node tandem queuing model. Zero-wait policy is adopted, i.e., a new message is generated once the previous one leaves the first node. We consider exponentially distributed service time and infinite queue size, and hence, the second node can be seen as a First-Come-First-Served (FCFS) M/M/1 system. Closed-form average AoI is derived for the two computing schemes. The region where remote computing outperforms local computing is characterized. Simulation results show that the remote computing is greatly superior to the local computing when the remote computing rate is large enough, and that there exists an optimal transmission rate so that remote computing is better than local computing for a largest range.


title: A* Tree Search for Portfolio Management

abstract: We propose a planning-based method to teach an agent to manage portfolio from scratch. Our approach combines deep reinforcement learning techniques with search techniques like AlphaGo. By uniting the advantages in A* search algorithm with Monte Carlo tree search, we come up with a new algorithm named A* tree search in which best information is returned to guide next search. Also, the expansion mode of Monte Carlo tree is improved for a higher utilization of the neural network. The suggested algorithm can also optimize non-differentiable utility function by combinatorial search. This technique is then used in our trading system. The major component is a neural network that is trained by trading experiences from tree search and outputs prior probability to guide search by pruning away branches in turn. Experimental results on simulated and real financial data verify the robustness of the proposed trading system and the trading system produces better strategies than several approaches based on reinforcement learning.


title: A Computational Framework for Motor Skill Acquisition

abstract: There have been numerous attempts in explaining the general learning behaviours by various cognitive models. Multiple hypotheses have been put further to qualitatively argue the best-fit model for motor skill acquisition task and its variations. In this context, for a discrete sequence production (DSP) task, one of the most insightful models is Verwey's Dual Processor Model (DPM). It largely explains the learning and behavioural phenomenon of skilled discrete key-press sequences without providing any concrete computational basis of reinforcement. Therefore, we propose a quantitative explanation for Verwey's DPM hypothesis by experimentally establishing a general computational framework for motor skill learning. We attempt combining the qualitative and quantitative theories based on a best-fit model of the experimental simulations of variations of dual processor models. The fundamental premise of sequential decision making for skill learning is based on interacting model-based (MB) and model-free (MF) reinforcement learning (RL) processes. Our unifying framework shows the proposed idea agrees well to Verwey's DPM and Fitts' three phases of skill learning. The accuracy of our model can further be validated by its statistical fit with the human-generated data on simple environment tasks like the grid-world.


title: A comprehensive spectroscopic and photometric analysis of DA and DB white dwarfs from SDSS and Gaia

abstract: We present a detailed spectroscopic and photometric analysis of DA and DB white dwarfs drawn from the Sloan Digital Sky Survey with trigonometric parallax measurements available from the Gaia mission. The temperature and mass scales obtained from fits to $ugriz$ photometry appear reasonable for both DA and DB stars, with almost identical mean masses of $\langle M \rangle = 0.617~M_\odot$ and $0.620~M_\odot$, respectively. The comparison with similar results obtained from spectroscopy reveals several problems with our model spectra for both pure hydrogen and pure helium compositions. In particular, we find that the spectroscopic temperatures of DA stars exceed the photometric values by $\sim$10% above $T_{\rm eff}\sim14,000$~K, while for DB white dwarfs, we observe large differences between photometric and spectroscopic masses below $T_{\rm eff}\sim16,000$~K. We attribute these discrepancies to the inaccurate treatment of Stark and van der Waals broadening in our model spectra, respectively. Despite these problems, the mean masses derived from spectroscopy --- $\langle M \rangle = 0.615~M_\odot$ and $0.625~M_\odot$ for the DA and DB stars, respectively --- agree extremely well with those obtained from photometry. Our analysis also reveals the presence of several unresolved double degenerate binaries, including DA+DA, DB+DB, DA+DB, and even DA+DC systems. We finally take advantage of the Gaia parallaxes to test the theoretical mass-radius relation for white dwarfs. We find that 65% of the white dwarfs are consistent within the 1$\sigma$ confidence level with the predictions of the mass-radius relation, thus providing strong support to the theory of stellar degeneracy.


title: A study on some combinatorial sets in partial semigroups

abstract: In this article, we investigate the image and preimage of the important combinatorial sets such as central sets, $C$-sets, and $J_\delta$-sets which play an important role in the study of combinatorics under certain partial semigroup homomorphism. Using that we prove certain results which deal with the existence of $C$-set which are not central in partial semigroup framework.


title: On finite groups in which commutators are covered by Engel subgroups

abstract: Let $m,n$ be positive integers and $w$ a multilinear commutator word. Assume that $G$ is a finite group having subgroups $G_1,\ldots,G_m$ whose union contains all $w$-values in $G$. Assume further that all elements of the subgroups $G_1,\ldots,G_m$ are $n$-Engel in $G$. It is shown that the verbal subgroup $w(G)$ is $s$-Engel for some $\{m,n,w\}$-bounded number $s$.


title: JECL: Joint Embedding and Cluster Learning for Image-Text Pairs

abstract: We propose JECL, a method for clustering image-caption pairs by training parallel encoders with regularized clustering and alignment objectives, simultaneously learning both representations and cluster assignments. These image-caption pairs arise frequently in high-value applications where structured training data is expensive to produce, but free-text descriptions are common. JECL trains by minimizing the Kullback-Leibler divergence between the distribution of the images and text to that of a combined joint target distribution and optimizing the Jensen-Shannon divergence between the soft cluster assignments of the images and text. Regularizers are also applied to JECL to prevent trivial solutions. Experiments show that JECL outperforms both single-view and multi-view methods on large benchmark image-caption datasets, and is remarkably robust to missing captions and varying data sizes.


title: On the Parameterized Complexity of $k$-Edge Colouring

abstract: For every fixed integer $k \geq 1$, we prove that $k$-Edge Colouring is fixed-parameter-tractable when parameterized by the number of vertices of maximum degree.


title: On the cohomology of Torelli groups

abstract: We completely describe the algebraic part of the rational cohomology of the Torelli groups of the manifolds $\#^g S^n \times S^n$ relative to a disc in a stable range, for $2n \geq 6$. Our calculation is also valid for $2n=2$ assuming that the rational cohomology groups of these Torelli groups are finite dimensional in a stable range.


title: Beyond socket options: making the Linux TCP stack truly extensible

abstract: The Transmission Control Protocol (TCP) is one of the most important protocols in today's Internet. Its specification and implementations have been refined for almost forty years. The Linux TCP stack is one of the most widely used TCP stacks given its utilisation on servers and Android smartphones and tablets. However, TCP and its implementations evolve very slowly. In this paper, we demonstrate how to leverage the eBPF virtual machine that is part of the recent versions of the Linux kernel to make the TCP stack easier to extend. We demonstrate a variety of use cases where the eBPF code is injected inside a running kernel to update or tune the TCP implementation. We first implement the TCP User Timeout Option. Then we propose a new option that enables a client to request a server to use a specific congestion control scheme. Our third extension is a TCP option that sets the initial congestion window. We then demonstrate how eBPF code can be used to tune the acknowledgment strategy.


title: The Jensen Effect and Functional Single Index Models: Estimating the Ecological Implications of Nonlinear Reaction Norms

abstract: This paper develops tools to characterize how species are affected by environmental variability, based on a functional single index model relating a response such as growth rate or survival to environmental conditions. In ecology, the curvature of such responses are used, via Jensen's inequality, to determine whether environmental variability is harmful or beneficial, and differing nonlinear responses to environmental variability can contribute to the coexistence of competing species. Here, we address estimation and inference for these models with observational data on individual responses to environmental conditions. Because nonparametric estimation of the curvature (second derivative) in a nonparametric functional single index model requires unrealistic sample sizes, we instead focus on directly estimating the effect of the nonlinearity, by comparing the average response to a variable environment with the response at the expected environment, which we call the Jensen Effect. We develop a test statistic to assess whether this effect is significantly different from zero. In doing so we re-interpret the SiZer method of Chaudhuri and Marron (1995) by maximizing a test statistic over smoothing parameters. We show that our proposed method works well both in simulations and on real ecological data from the long-term data set described in Drake (2005).


title: Implicit Discontinuous Galerkin Method for the Boltzmann Equation

abstract: An implicit high-order discontinuous Galerkin (DG) method is developed to find steady-state solution of rarefied gas flow described by the Boltzmann equation with full collision operator. In the physical space, velocity distribution function is approximated by the piecewise polynomials of degree up to 4, while in the velocity space the fast spectral method is incorporated into the DG to evaluate the collision operator. A specific polynomial approximation for the collision operator is proposed to reduce the computational complexity of the fast spectral method by $K$ times, where for two-dimensional problems $K$ is 15 when DG with 4th-order polynomials are used on triangular mesh. Based on the first-order upwind scheme, a sweeping technique is employed to solve the local linear equations resulting from the DG discretization sequentially over spatial elements. This technique can preserve stability of the scheme and requires no nonlinear limiter in solving hypersonic rarefied gas flow when the flow is fully resolved. Moreover, without assembling large sparse linear system, the computational cost in terms of memory and CPU time can be significantly reduced. Five different one/two-dimensional tests including low-speed microscale flows and hypersonic rarefied gas flows are used to verify the proposed approach. Our results show that, DG schemes of different order of approximating polynomial require the same number of iterative steps to obtain the steady-state solution with the same order of accuracy; and the higher order the scheme, fewer spatial elements thus less CPU time is needed. Besides, our method can be faster than the finite difference solver by about one order of magnitude. The produced solutions can be used as benchmark data for assessing the accuracy of other gas kinetic solvers for the Boltzmann equation and gas kinetic models that simplify the Boltzmann collision operator.


title: Further studies on numerical instabilities of Godunov-type schemes for strong shocks

abstract: In this paper, continuous research is undertaken to explore the underlying mechanism of numerical shock instabilities of Godunov-type schemes for strong shocks. By conducting dissipation analysis of Godunov-type schemes and a sequence of numerical experiments, we are able to clarify that the instability may be attributed to insufficient entropy production inside the numerical shock structure. As a result, a general entropy-control technique for improving the robustness of various Godunov-type schemes at strong shocks is developed. It plays a part in guaranteeing that enough entropy is produced inside the numerical shock structure. Furthermore, such a modified approach does not introduce any additional numerical dissipation on linear degenerate waves to suppress the shock instability. Numerical results that are obtained for various test cases indicate that the proposed methods have a good performance in terms of accuracy and robustness.


title: Deriving Cyber-security Requirements for Cyber Physical Systems

abstract: Today's cyber physical systems (CPS) are not well protected against cyber attacks. Protected CPS often have holes in their defense, due to the manual nature of today's cyber security design process. It is necessary to automate or semi-automate the design and implementation of CPS to meet stringent cyber security requirements (CSR), without sacrificing functional performance, timing and cost constraints. Step one is deriving, for each CPS, the CSR that flow from the particular functional design for that CPS. That is the task assumed by our system, Deriving Cyber-security Requirements Yielding Protected Physical Systems - DCRYPPS. DCRYPPS applies Artificial Intelligence (AI) technologies, including planning and model based diagnosis to an important area of cyber security.


title: Low-Shot Learning from Imaginary 3D Model

abstract: Since the advent of deep learning, neural networks have demonstrated remarkable results in many visual recognition tasks, constantly pushing the limits. However, the state-of-the-art approaches are largely unsuitable in scarce data regimes. To address this shortcoming, this paper proposes employing a 3D model, which is derived from training images. Such a model can then be used to hallucinate novel viewpoints and poses for the scarce samples of the few-shot learning scenario. A self-paced learning approach allows for the selection of a diverse set of high-quality images, which facilitates the training of a classifier. The performance of the proposed approach is showcased on the fine-grained CUB-200-2011 dataset in a few-shot setting and significantly improves our baseline accuracy.


title: Patterns of Effects and Sensitivity Analysis for Differences-in-Differences

abstract: Applied analysts often use the differences-in-differences (DID) method to estimate the causal effect of policy interventions with observational data. The method is widely used, as the required before and after comparison of a treated and control group is commonly encountered in practice. DID removes bias from unobserved time-invariant confounders. While DID removes bias from time-invariant confounders, bias from time-varying confounders may be present. Hence, like any observational comparison, DID studies remain susceptible to bias from hidden confounders. Here, we develop a method of sensitivity analysis that allows investigators to quantify the amount of bias necessary to change a study's conclusions. Our method operates within a matched design that removes bias from observed baseline covariates. We develop methods for both binary and continuous outcomes. We then apply our methods to two different empirical examples from the social sciences. In the first application, we study the effect of changes to disability payments in Germany. In the second, we re-examine whether election day registration increased turnout in Wisconsin.


title: Coresets for $(k,l)$-Clustering under the Fr\'echet Distance

abstract: Clustering is the task of partitioning a given set of geometric objects. This is thoroughly studied when the objects are points in the euclidean space. There are also several approaches for points in general metric spaces. In this thesis we consider clustering polygonal curves, i.e., curves composed of line segments, under the Fr\'echet distance. We obtain clusterings by minimizing an objective function, which yields a set of centers that induces a partition of the input. The objective functions we consider is the so called $(k,l)$-\textsc{center}, where we are to find the $k$ center-curves that minimize the maximum distance between any input-curve and a nearest center-curve and the so called $k$-\textsc{median}, where we are to find the $k$ center-curves that minimize the sum of the distances between the input-curves and a nearest center-curve. Given a set of $n$ polygonal curves, we are interested in reducing this set to an $\epsilon$-coreset, i.e., a notably smaller set of curves that has a very similar clustering-behavior. We develop a construction method for such $\epsilon$-coresets for the $(k,l)$-\textsc{center}, that yields $\epsilon$-coresets of size of a polynomial of $\frac{1}{\epsilon}$, in time linear in $n$ and a polynomial of $\frac{1}{\epsilon}$, for line segments. Also, we develop a construction technique for the $(k,l)$-\textsc{center} that yields $\epsilon$-coresets of size exponential in $m$ with basis $\frac{1}{\epsilon}$, in time sub-quadratic in $n$ and exponential in $m$ with basis $\frac{1}{\epsilon}$, for general polygonal curves. Finally, we develop a construction method for the $k$-\textsc{median}, that yields $\epsilon$-coresets of size polylogarithmic in $n$ and a polynomial of $\frac{1}{\epsilon}$, in time linear in $n$ and a polynomial of $\frac{1}{\epsilon}$.


title: The NL-flow polynomial

abstract: In 1982 V\'{i}ctor Neumann-Lara introduced the dichromatic number of a digraph $D$ as the smallest integer $k$ such that the vertices $V$ of $D$ can be colored with $k$ colors and each color class induces an acyclic digraph. Later a flow theory for the dichromatic number transferring Tutte's theory of nowhere-zero flows (NZ-flows) from classic graph colorings has been developed by Hochst\"attler. The purpose of this paper is to pursue this analogy by introducing a new definition of algebraic Neumann-Lara-flows (NL-flows) and a closed formula for their polynomial. Furthermore we generalize the Equivalence Theorem for nowhere-zero flows to NL-flows in the setting of regular oriented matroids. Finally we discuss computational aspects of computing the NL-flow polynomial for orientations of complete digraphs and obtain a closed formula in the acyclic case.


title: A Fast Distributed Asynchronous Newton-Based Optimization Algorithm

abstract: One of the most important problems in the field of distributed optimization is the problem of minimizing a sum of local convex objective functions over a networked system. Most of the existing work in this area focus on developing distributed algorithms in a synchronous setting under the presence of a central clock, where the agents need to wait for the slowest one to finish the update, before proceeding to the next iterate. Asynchronous distributed algorithms remove the need for a central coordinator, reduce the synchronization wait, and allow some agents to compute faster and execute more iterations. In the asynchronous setting, the only known algorithms for solving this problem could achieve either linear or sublinear rate of convergence. In this work, we built upon the existing literature to develop and analyze an asynchronous Newton-based method to solve a penalized version of the problem. We show that this algorithm guarantees almost sure convergence with global linear and local quadratic rate in expectation. Numerical studies confirm superior performance of our algorithm against other asynchronous methods.


title: The Day the Universes Interacted: Quantum Cosmology without a Wave function

abstract: In this article we present a new outlook on the cosmology, based on the quantum model proposed by M. Hall, D.-A. Deckert and H. Wiseman (HDW). In continuation of the idea of that model we consider finitely many classical homogeneous and isotropic universes whose evolutions are determined by the standard Einstein-Friedman equations but that also interact with each other quantum-mechanically via the mechanism proposed by HDW. The crux of the idea lies in the fact that unlike every other interpretation of the quantum mechanics, the HDW model requires no decoherence mechanism and thus allows the quantum mechanical effects to manifest themselves not just on micro-scale, but on a cosmological scale as well. We further demonstrate that the addition of this new quantum-mechanical interaction lead to a number of interesting cosmological predictions, and might even provide natural physical explanations for the phenomena of ``dark matter'' and ``phantom fields''.


title: Mutual Context Network for Jointly Estimating Egocentric Gaze and Actions

abstract: In this work, we address two coupled tasks of gaze prediction and action recognition in egocentric videos by exploring their mutual context. Our assumption is that in the procedure of performing a manipulation task, what a person is doing determines where the person is looking at, and the gaze point reveals gaze and non-gaze regions which contain important and complementary information about the undergoing action. We propose a novel mutual context network (MCN) that jointly learns action-dependent gaze prediction and gaze-guided action recognition in an end-to-end manner. Experiments on public egocentric video datasets demonstrate that our MCN achieves state-of-the-art performance of both gaze prediction and action recognition.


title: The XUV irradiation and likely atmospheric escape of the super-Earth $\pi$ Men c

abstract: $\pi$ Men c was recently announced as the first confirmed exoplanet from the TESS mission. The planet has a radius of just 2 R$_{\rm\oplus}$ and it transits a nearby Sun-like star of naked-eye brightness, making it the ideal target for atmospheric characterisation of a super-Earth. Here we analyse archival $\textit{ROSAT}$ and $\textit{Swift}$ observations of $\pi$ Men in order to determine the X-ray and extreme-ultraviolet irradiation of the planetary atmosphere and assess whether atmospheric escape is likely to be on-going. We find that $\pi$ Men has a similar level of X-ray emission to the Sun, with $L_{\rm X}/L_{\rm bol} = (4.84^{+0.92}_{-0.84})\times10^{-7}$. However, due to its small orbital separation, the high-energy irradiation of the super-Earth is around 2000 times stronger than suffered by the Earth. We show that this is sufficient to drive atmospheric escape at a rate greater than that readily detected from the warm Neptune GJ 436b. Furthermore, we estimate $\pi$ Men to be four times brighter at Ly $\alpha$ than GJ 436. Given the small atmospheric scale heights of super-Earths, together with their potentially cloudy atmospheres, and the consequent difficulty in measuring transmission spectra, we conclude that ultraviolet absorption by material escaping $\pi$ Men c presents the best opportunity currently to determine the atmospheric composition of a super-Earth.


title: A large-deviations principle for all the cluster sizes of a sparse Erd\H{o}s-R\'enyi graph

abstract: Let $\mathcal{G}(N,\frac 1Nt_N)$ be the Erd\H{o}s-R\'enyi graph with connection probability $\frac 1Nt_N\sim t/N$ as $N\to\infty$ for a fixed $t\in(0,\infty)$. We derive a large-deviations principle for the empirical measure of the sizes of all the connected components of $\mathcal{G}(N,\frac 1Nt_N)$, registered according to microscopic sizes (i.e., of finite order), macroscopic ones (i.e., of order $N$), and mesoscopic ones (everything in between). The rate function explicitly describes the microscopic and macroscopic components and the fraction of vertices in components of mesoscopic sizes. Moreover, it clearly captures the well known phase transition at $t=1$ as part of a comprehensive picture. The proofs rely on elementary combinatorics and on known estimates and asymptotics for the probability that subgraphs are connected. We also draw conclusions for the strongly related model of the multiplicative coalescent, the Marcus--Lushnikov coagulation model with monodisperse initial condition, and its gelation phase transition.


title: On the Capacity Region of the Layered Packet Erasure Broadcast Channel with Feedback

abstract: In this paper, the capacity region of the Layered Packet Erasure Broadcast Channel (LPE-BC) with Channel Output Feedback (COF) available at the transmitter is investigated. The LPE-BC is a high-SNR approximation of the fading Gaussian BC recently proposed by Tse and Yates, who characterized the capacity region for any number of users and any number of layers when there is no COF. This paper derives capacity inner and outer bounds for the LPE-BC with COF for the case of two users and any number of layers. The inner bounds generalize past results for the two-user erasure BC, which is a special case of the LPE-BC with COF with only one layer. The novelty lies in the use of \emph{inter-user \& inter-layer network coding} retransmissions (for those packets that have only been received by the unintended user), where each random linear combination may involve packets intended for any user originally sent on any of the layers. Analytical and numerical examples show that the proposed outer bound is optimal for some LPE-BCs.


title: Regularity of the inverse mapping in Banach function spaces

abstract: We study the regularity properties of the inverse of a bilipschitz mapping $f$ belonging $W^m X_{\text{loc}}$, where $X$ is an arbitrary Banach function space. Namely, we prove that the inverse mapping $f^{-1}$ is also in $W^m X_{\text{loc}}$. Furthermore, the paper shows that the class of bilipschitz mappings in $W^m X_{\text{loc}}$ is closed with respect to composition and multiplication.


title: Hasimoto variables, generalized vortex filament equations, Heisenberg models and Schrodinger maps arising from group-invariant NLS systems

abstract: The deep geometrical relationships holding among the NLS equation, the vortex filament equation,the Heisenberg spin model, and the Schrodinger map equation are extended to the general setting of Hermitian symmetric spaces. New results are obtained by utilizing a generalized Hasimoto variable which arises from applying the general theory of parallel moving frames. The example of complex projective space CP^N= SU(N+1)/U(N) is used to illustrate the method and results.


title: Monocular Neural Image Based Rendering with Continuous View Control

abstract: We present an approach that learns to synthesize high-quality, novel views of 3D objects or scenes, while providing fine-grained and precise control over the 6-DOF viewpoint. The approach is self-supervised and only requires 2D images and associated view transforms for training. Our main contribution is a network architecture that leverages a transforming auto-encoder in combination with a depth-guided warping procedure to predict geometrically accurate unseen views. Leveraging geometric constraints renders direct supervision via depth or flow maps unnecessary. If large parts of the object are occluded in the source view, a purely learning based prior is used to predict the values for dis-occluded pixels. Our network furthermore predicts a per-pixel mask, used to fuse depth-guided and pixel-based predictions. The resulting images reflect the desired 6-DOF transformation and details are preserved. We thoroughly evaluate our architecture on synthetic and real scenes and under fine-grained and fixed-view settings. Finally, we demonstrate that the approach generalizes to entirely unseen images such as product images downloaded from the internet.


title: On curves with Poritsky property

abstract: For a given closed convex planar curve $\gamma$ with smooth boundary and a given $p>0$, the string construction yields a family of nested billiards $\Gamma_p$ for which $\gamma$ is a caustic. The action of the corresponding reflections $T_p$ on the tangent lines to $\gamma$ induces their actions on the tangency points: a family of string diffeomorphisms $\mathcal T_p:\gamma\to\gamma$. We say that $\gamma$ has string Poritsky property, if it admits a parameter $t$ (called Poritsky string length) in which all the transformations $\mathcal T_p$ with small $p$ are translations $t\mapsto t+c_p$. These definitions also make sense for germs of curves $\gamma$. Poritsky property is closely related to the famous Birkhoff Conjecture. It is classically known that each conic has string Poritsky property. In 1950 H.Poritsky proved the converse: each germ of planar curve with Poritsky property is a conic. In the present paper we extend this Poritsky's result to germs of curves on simply connected complete surfaces with Riemannian metric of constant curvature and to outer billiards on all these surfaces. In the general case of curves with Poritsky property on any two-dimensional surface with Riemannian metric we prove the two following results: 1) the Poritsky string length coincides with Lazutkin parameter, introduced by V.F.Lazutkin in 1973, up to additive and multiplicative constants; 2) a germ of $C^5$-smooth curve with Poritsky property is uniquely determined by its 4-th jet. In the Euclidean case the latter statement follows from the above-mentioned Poritsky's result.


title: Investigating High Mass X-ray Binaries at hard X-rays with INTEGRAL

abstract: The INTEGRAL archive developed at INAF-IASF Milano with the available public observations from late 2002 to 2016 is investigated to extract the X-ray properties of 58 High Mass X-ray Binaries (HMXBs). This sample consists of sources hosting either a Be star (Be/XRBs) or an early-type supergiant companion (SgHMXBs), including the Supergiant Fast X-ray Transients (SFXTs). INTEGRAL light curves (sampled at 2 ks) are used to build their hard X-ray luminosity distributions, returning the source duty cycles, the range of variability of the X-ray luminosity and the time spent in each luminosity state. The phenomenology observed with INTEGRAL, together with the source variability at soft X-rays taken from the literature, allows us to obtain a quantitative overview of the main sub-classes of massive binaries in accretion (Be/XRBs, SgHMXBs and SFXTs). Although some criteria can be derived to distinguish them, some SgHMXBs exist with intermediate properties, bridging together persistent SgHMXBs and SFXTs.


title: IDStack -- The Common Protocol for Document Verification built on Digital Signatures

abstract: The use of physical documents is inconvenient and inefficient in today's world, which motivates us to move towards the use of digital documents. Digital documents can solve many problems of inefficiency of data management but proving their authenticity and verifying them is still a problem. This paper presents a solution for this problem using text extraction, digital signatures and a correlation score for a set of documents. The paper discusses the impacts and advantages of the proposed technologies against other possible technologies that could serve the same purpose.


title: DFT+DMFT study of oxygen vacancies in a Mott Insulator

abstract: Oxygen vacancies are a common source of excess electrons in complex oxides. In Mott insulators these additional electrons can induce a metal-insulator transition (MIT), fundamentally altering the electronic properties of the system. Here we study the effect of oxygen vacancies in LaTiO3, a prototypical Mott insulator close to the MIT. We show that the introduction of oxygen vacancies creates a vacancy-related band immediately below the partially filled Ti-t2g bands. We study the effect of this additional band on the Mott MIT using a combination of density functional theory and dynamical mean-field theory (DFT+DMFT), employing a minimal correlated subspace consisting of effective Ti-t2g orbitals plus an additional Wannier function centered on the vacancy site. We find that the Mott insulating state in LaTiO3 is robust to the presence of the vacancy band, which remains fully occupied even in the presence of a local Coulomb repulsion.


title: Coupled fast and slow feedbacks lead to continual evolution: A general modeling approach

abstract: The Red Queen Hypothesis, which suggests that continual evolution can result from solely biotic interactions, has been studied in macroevolutionary and microevolutionary contexts. While the latter has been effective in describing examples in which evolution does not cease, describing which properties lead to continual evolution or to stasis remains a major challenge. In many contexts it is unclear which assumptions are necessary for continual evolution, and whether described behavior is robust under perturbations. Our aim here is to prove continual evolution under minimal conditions and in a general framework, thus automatically obtaining robustness. We show that the combination of a fast positive and a slow negative feedback causes continual evolution with a single evolving trait, provided the ecological timescale is sufficiently separated from the timescales of mutations and negative feedback. Our approach and results form a next step towards a deeper understanding of the evolutionary dynamics resulting from biotic interactions.


title: Selective optomechanically-induced amplification with driven oscillators

abstract: We study optomechanically-induced transparency (OMIT) in a compound system consisting of an optical cavity and an acoustic molecule, which features not only double OMIT peaks but also light advance. We find that by selectively driving one of the acoustic modes, OMIT peaks can be amplified either symmetrically or asymmetrically, accompanied by either significantly enhanced advance or a transition from advance to delay of the signal light. The sensitive impacts of the mechanical driving fields on the optical properties, including the signal transition and its high-order sidebands, are also revealed. Our results confirm that selective acoustic control of OMIT devices provides a versatile route to achieve multi-band optical modulations, weak-signal sensing, and coherent communications of light.


title: Non-adiabatic transformation of a spin-chain geometry via local control

abstract: We consider transformation from a closed to an open spin chain and vice versa produced by changing single link strength in a pair of neighboring spins. We show that in the non-adiabatic time domain fidelity of such a process can be increased by proper choosing of the control function for spin-spin exchange coupling. We obtain this function for an antiferromagnetic quantum Ising chain and present heuristic reasons restricting possible time-dependences of Hamiltonians applied for a high-fidelity control.


title: Analytic approach to calculations of mass spectra and decay constants of heavy-light quarkonia in the framework of Bethe-Salpeter equation

abstract: This work is an extension of the work in \cite{bhatnagar18} to ground and excited states of $0^{++}, 0^{-+}$, and $1^{--}$ of heavy-light ($c\overline{u}, c\overline{s}, b\overline{u}, b\overline{s}$, and $b\overline{c}$) quarkonia in the framework of a QCD motivated Bethe-Salpeter equation (BSE) by making use of the exact treatment of the spin structure $(\gamma_{\mu}\bigotimes\gamma_{\mu})$ in the interaction kernel, in contrast to the approximate treatment of the same in our previous works \cite{hluf16, bhatnagar18}), which is a substantial improvement over our previous works \cite{hluf16,bhatnagar18}. In this $4\times 4$ BSE framework, the coupled Salpeter equations for $Q\overline{q}$ (that are more involved than the equal mass ($Q\overline{Q}$) mesons) are first shown to decouple for the confining part of interaction, under heavy-quark approximation, and analyically solved, and later the one-gluon-exchange interaction is perturbatively incorporated, leading to their mass spectral equations. The analytic forms of wave functions obtained from these equations are then used for calculation of leptonic decay constants of ground and excited states of $0^{-+}$, and $1^{--}$ as a test of these wave functions and the over all framework.


title: Capturing Vacuum Fluctuations and Photon Correlations in Cavity Quantum Electrodynamics with Multi-Trajectory Ehrenfest Dynamics

abstract: We describe vacuum fluctuations and photon-field correlations in interacting quantum mechanical light-matter systems, by generalizing the application of mixed quantum-classical dynamics techniques. We employ the multi-trajectory implementation of Ehrenfest mean field theory, traditionally developed for electron-nuclear problems, to simulate the spontaneous emission of radiation in a model quantum electrodynamical cavity-bound atomic system. We investigate the performance of this approach in capturing the dynamics of spontaneous emission from the perspective of both the atomic system and the cavity photon field, through a detailed comparison with exact benchmark quantum mechanical observables and correlation functions. By properly accounting for the quantum statistics of the vacuum field, while using mixed quantum-classical (mean field) trajectories to describe the evolution, we identify a surprisingly accurate and promising route towards describing quantum effects in realistic correlated light-matter systems.


title: The homogeneous internal structure of CM-like asteroid (41) Daphne

abstract: Context. CM-like asteroids (Ch and Cgh classes) are a major population within the broader C-complex, encompassing about 10% of the mass of the main asteroid belt. Their internal structure has been predicted to be homogeneous, based on their compositional similarity as inferred from spectroscopy (Vernazza et al., 2016, AJ 152, 154) and numerical modeling of their early thermal evolution (Bland & Travis, 2017, Sci. Adv. 3, e1602514). Aims. Here we aim to test this hypothesis by deriving the density of the CM-like asteroid (41) Daphne from detailed modeling of its shape and the orbit of its small satellite. Methods. We observed Daphne and its satellite within our imaging survey with the Very Large Telescope extreme adaptive-optics SPHERE/ZIMPOL camera (ID 199.C-0074, PI P. Vernazza) and complemented this data set with earlier Keck/NIRC2 and VLT/NACO observations. We analyzed the dynamics of the satellite with our Genoid meta-heuristic algorithm. Combining our high-angular resolution images with optical lightcurves and stellar occultations, we determine the spin period, orientation, and 3-D shape, using our ADAM shape modeling algorithm. Results. The satellite orbits Daphne on an equatorial, quasi-circular, prograde orbit, like the satellites of many other large main-belt asteroids. The shape model of Daphne reveals several large flat areas that could be large impact craters. The mass determined from this orbit combined with the volume computed from the shape model implies a density for Daphne of 1.77+/-0.26 g/cm3 (3 {\sigma}). This density is consistent with a primordial CM-like homogeneous internal structure with some level of macroporosity (~17%). Conclusions. Based on our analysis of the density of Daphne and 75 other Ch/Cgh-type asteroids gathered from the literature, we conclude that the primordial internal structure of the CM parent bodies was homogeneous.


title: Quantum fields without Wick rotation

abstract: We discuss the calculation of one-loop effective actions in Lorentzian spacetimes, based on a very simple application of the method of steepest descent to the integral over the field. We show that for static spacetimes this procedure agrees with the analytic continuation of Euclidean calculations. We also discuss how to calculate the effective action by integrating a renormalization group equation. We show that the result is independent of arbitrary choices in the definition of the coarse-graining and we see again that the Lorentzian and Euclidean calculations agree. When applied to quantum gravity on static backgrounds, our procedure is equivalent to analytically continuing time and the integral over the conformal factor.


title: Scale-Aware Trident Networks for Object Detection

abstract: Scale variation is one of the key challenges in object detection. In this work, we first present a controlled experiment to investigate the effect of receptive fields for scale variation in object detection. Based on the findings from the exploration experiments, we propose a novel Trident Network (TridentNet) aiming to generate scale-specific feature maps with a uniform representational power. We construct a parallel multi-branch architecture in which each branch shares the same transformation parameters but with different receptive fields. Then, we adopt a scale-aware training scheme to specialize each branch by sampling object instances of proper scales for training. As a bonus, a fast approximation version of TridentNet could achieve significant improvements without any additional parameters and computational cost compared with the vanilla detector. On the COCO dataset, our TridentNet with ResNet-101 backbone achieves state-of-the-art single-model results of 48.4 mAP. Codes are available at https://git.io/fj5vR.


title: SMS MUSSELS: A Navigator-free Reconstruction for Simultaneous MultiSlice Accelerated MultiShot Diffusion Weighted Imaging

abstract: Purpose: To introduce a novel reconstruction method for simultaneous multi-slice (SMS) accelerated multi shot diffusion weighted imaging (ms-DWI). Methods: SMS acceleration using blipped CAIPI schemes have been proposed to speed up the acquisition of ms-DWIs. The reconstruction of the above data requires (i) phase compensation to combine data from different shots and (ii) slice unfolding to separate the data of different slices. The traditional approach is to first estimate the phase maps corresponding to each shot from a navigator or from the slice-aliased individual shot data. The phase maps are subsequently fed to a iterative reconstruction scheme to recover the slice unfolded DWIs. We propose a novel reconstruction method to jointly recover the slice-unfolded k-space data of the multiple shots. The proposed reconstruction is enabled by the low-rank property inherent in the k-space samples of a ms-DW acquisition. Specifically, we recover the missing samples of the multi-shot acquisition by enforcing a low-rank penalty on the block-Hankel matrix formed by the k-space data of each shot for each slice. The joint recovery of the slice-unfolded k-space data is then performed using a SENSE-based slice-unfolding subject to the low-rank constraint. The proposed joint recovery scheme is tested on simulated and in-vivo data and compared to similar un-navigated methods at slice acceleration factors of 2 and 3. Results: Our experiments show effective slice unaliasing and successful recovery of DWIs with minimal phase artifacts using the proposed method. The performance is comparable to existing methods at low acceleration factors and better than existing methods as the acceleration factor increase. Conclusion: For the slice acceleration factors considered in this study, the proposed method can successfully recover DWIs from SMS-accelerated ms-DWI acquisitions.


title: Resilient Design of 5G Mobile-Edge Computing Over Intermittent mmWave Links

abstract: Two enablers of the 5th Generation (5G) of mobile communication systems are the high data rates achievable with millimeter-wave radio signals and the cloudification of the network's mobile edge, made possible also by Multi-access Edge Computing (MEC). In 5G networks, user devices may exploit the high capacity of their mobile connection and the computing capabilities of the edge cloud to offload computational tasks to MEC servers, which run applications on devices' behalf. This paper investigates new methods to perform power- and latency-constrained offloading. First, aiming to minimize user devices' transmit power, the opportunity to exploit concurrent communication links between the device and the edge cloud is studied. The optimal number of channels for simultaneous transmission is characterized in a deterministic and a probabilistic scenario. Subsequently, blocking events that obstruct millimeter-wave channels making them `intermittent' are considered. Resource overprovisioning and error-correcting codes against asymmetric block erasures are proposed to jointly contrast blocking and exploit multi-link communications' diversity. The asymmetric block-erasure channel is characterized by a study of its outage probability. The analysis is performed in a framework that yields closed-form expressions. These, together with corroborating numerical results, are intended to provide reference points and bounds to optimal performance in practical applications.


title: Simulation of Nonlinear Signal Propagation in Multimode Fibers on Multi-GPU Systems

abstract: Mode-division multiplexing (MDM) is seen as a possible solution to satisfy the rising capacity demands of optical communication networks. To make MDM a success, fibers supporting the propagation of a huge number of modes are of interest. Many of the system aspects occurring during the propagation can be evaluated by using appropriate models. However, fibers are a nonlinear medium and, therefore, numerical simulations are required. For a large number of modes, the simulation of the nonlinear signal propagation leads to new challenges, for example regarding the required memory, which we address with an implementation incorporating multiple GPU-accelerators. Within this paper, we evaluate two different approaches to realize the communication between the GPUs and analyze the performance for simulations involving up to 8 Tesla GPUs. We show results for a MDM transmission system utilizing the extremely large but practically very relevant number of 120 spatial modes as an application example and analyze the impact of the nonlinear effects on the transmitted signals.


title: Hodge theory of degenerations, (I): Consequences of the decomposition theorem

abstract: We use the Decomposition Theorem to derive several generalizations of the Clemens-Schmid sequence, relating asymptotic Hodge theory of a degeneration to the mixed Hodge theory of its singular fiber(s).


title: Warm (Pseudo)Scalar Inflation

abstract: In this note, we will introduce an action for warm inflation model with direct coupling between the pseudoscalar field and mass-less $SU(2)$ gauge fields. The potential of inflaton is protected against the thermal corrections in a thermal bath of gauge fields even with strong direct interaction between inflaton and light fields. The dissipation parameter of this model is approximately constant in the high-dissipative regime. In this regime, the model is compatible with observational data and non-Gaussianity is in order of Hubble slow-roll parameter $\frac{\epsilon_{\phi}}{1+Q}$ even in $f<M_p$ limit.


title: Shrinkage for Categorical Regressors

abstract: This paper introduces a flexible regularization approach that reduces point estimation risk of group means stemming from e.g. categorical regressors, (quasi-)experimental data or panel data models. The loss function is penalized by adding weighted squared l2-norm differences between group location parameters and informative first-stage estimates. Under quadratic loss, the penalized estimation problem has a simple interpretable closed-form solution that nests methods established in the literature on ridge regression, discretized support smoothing kernels and model averaging methods. We derive risk-optimal penalty parameters and propose a plug-in approach for estimation. The large sample properties are analyzed in an asymptotic local to zero framework by introducing a class of sequences for close and distant systems of locations that is sufficient for describing a large range of data generating processes. We provide the asymptotic distributions of the shrinkage estimators under different penalization schemes. The proposed plug-in estimator uniformly dominates the ordinary least squares in terms of asymptotic risk if the number of groups is larger than three. Monte Carlo simulations reveal robust improvements over standard methods in finite samples. Real data examples of estimating time trends in a panel and a difference-in-differences study illustrate potential applications.


title: Determining the fraction of cosmic-ray protons at ultra-high energies with cosmogenic neutrinos

abstract: Cosmogenic neutrinos are produced when ultra-high-energy cosmic rays (UHECRs) interact with cosmological photon fields. Limits on the diffuse flux of these neutrinos can be used to constrain the fraction of protons arriving at Earth with energies $E_{p} \gtrsim 30$ EeV, thereby providing constraints on the composition of UHECRs without fully relying on hadronic interaction models. We show to which extent current neutrino telescopes already constrain this fraction of protons and discuss the prospects for next-generation detectors to further constrain it. Additionally, we discuss the implications of these limits for several popular candidates for UHECR source classes.


title: Phase-space continuity equations for quantum decoherence, purity, von Neumann and R\'enyi entropies

abstract: Phase-space features of the Wigner flow are examined so to provide a set of continuity equations that describe the flux of quantum information in the phase-space. The reported results suggest that the non-classicality profile of anharmonic (periodic) quantum systems can be consistently obtained in terms of the fluxes of probability, purity and von Neumann entropy. Extensions of the such phase-space quantifiers are also investigated in the context of the so-called R\'enyi entropy.


title: 3D non-conforming mesh model for flow in fractured porous media using Lagrange multipliers

abstract: This work presents a modeling approach for single-phase flow in 3D fractured porous media with non-conforming meshes. To this end, a Lagrange multiplier method is combined with a parallel $L^2$-projection variational transfer approach. This Lagrange multiplier method enables the use of non-conforming meshes and depicts the variable coupling between fracture and matrix domain. The $L^2$-projection variational transfer allows general, accurate, and parallel projection of variables between non-conforming meshes (i.e. between fracture and matrix domain). Comparisons of simulations with 2D benchmarks show good agreement, and the method is further validated on 3D fracture networks by comparing it to results from conforming mesh simulations which were used as a reference. Application to realistic fracture networks with hundreds of fractures is demonstrated. Mesh size and mesh convergence are investigated for benchmark cases and 3D fracture network applications. Results demonstrate that the Lagrange multiplier method, in combination with the $L^2$-projection method, is capable of modeling single-phase flow through realistic 3D fracture networks.


title: Black hole entropy as a consequence of excision

abstract: Black hole entropy is shown to be a consequence of restricting our description of physics to the exterior of black holes. This precludes the need for a statistical mechanical description of this entropy in terms of microstates.


title: Comparison of QAOA with Quantum and Simulated Annealing

abstract: We present a comparison between the Quantum Approximate Optimization Algorithm (QAOA) and two widely studied competing methods, Quantum Annealing (QA) and Simulated Annealing (SA). To achieve this, we define a class of optimization problems with respect to their spectral properties which are exactly solvable with QAOA. In this class, we identify instances for which QA and SA have an exponentially small probability to find the solution. Consequently, our results define a first demarcation line between QAOA, Simulated Annealing and Quantum Annealing, and highlight the fundamental differences between an interference-based search heuristic such as QAOA and heuristics that are based on thermal and quantum fluctuations like SA and QA respectively.


title: On Cartesian product of matrices

abstract: Recently, Bapat and Kurata [\textit{Linear Algebra Appl.}, 562(2019), 135-153] defined the Cartesian product of two square matrices $A$ and $B$ as $A\oslash B=A\otimes \J+\J\otimes B$, where $\J$ is the all one matrix of appropriate order and $\otimes$ is the Kronecker product. In this article, we find the expression for the trace of the Cartesian product of any finite number of square matrices in terms of traces of the individual matrices. Also, we establish some identities involving the Cartesian product of matrices. Finally, we apply the Cartesian product to study some graph-theoretic properties.


title: Schwinger-Keldysh mechanism in extended quasi single field inflation

abstract: We study an extension of quasi-single field model of inflation containing multiple semi-heavy isocurvaton fields using the Schwinger-Keldysh mechanism. We calculate the amplitudes and the shapes of the bispectrum and the trispectrum. We show that the diagrammatic approach associated with the Schwinger-Keldysh mechanism simplifies the analysis considerably compared to standard in-in formalism. This method is helpful to study the spectroscopy of masses and couplings of light and semi-heavy fields during inflation.


title: G.A.S. I: A prescription for turbulence-regulated star formation and its impact on galaxy properties

abstract: Star formation in galaxies is inefficient, and understanding how star formation is regulated in galaxies is one of the most fundamental challenges of contemporary astrophysics. Radiative cooling, feedback from supernovae and active galactic nuclei, large-scale dynamics and dissipation of turbulent energy act over various time and spatial scales, and all regulate star formation in a complex gas cycle. This paper presents the physics implemented in a new semi-analytical model of galaxy formation and evolution: G.A.S.. The fundamental underpinning of our new model is the development of a multi-phase interstellar medium in which energy produced by supernovae and active galactic nuclei maintains an equilibrium between the diffuse, hot, stable gas and a cooler, clumpy, low-volume filling factor gas. The hot gas is susceptible to thermal and dynamical instabilities. We include a description of how turbulence leads to the formation of giant molecular clouds through an inertial turbulent energy cascade. We explicitly model the evolution of the velocity dispersion at different scales of the cascade and account for thermal instabilities in the hot halo gas. We show that rapid and multiple exchanges between diffuse and unstable gas phases strongly regulates star-formation rates in galaxies because only a small fraction of the unstable gas is forming stars. For high mass halos, cooling is naturally regulated by the growth of thermal instabilities, so we do not need to implement strong AGN feedback. The characteristic timescales describing the gas cycle are in good agreement with observations. Results are in good agreement with the observed stellar mass function from z=6.0 to z=0.5. Thermal instabilities and the cascade of turbulent energy in the dense gas phase introduce a delay between gas accretion and star formation, which keeps galaxy growth inefficient in the early Universe.


title: Unexplored reactivity of (Sn)2- Oligomers with transition metals in low-temperature solid-state reactions

abstract: Chalcogenides (Q = S, Se, Te), one of the most important family of materials in solid-state chemistry, differ from oxides by their ability to form covalently-bonded (Qn)2- oligomers. Each chalcogen atom within such entity fulfills the octet rule by sharing electrons with other chalcogen atoms but some antibonding levels are vacant. This makes these oligomers particularly suited for redox reactions in solid state, namely towards elemental metals with a low redox potential that may be oxidized. We recently used this strategy to design, at low temperature and in an orientated manner, materials with 2D infinite layers through the topochemical insertion of copper into preformed precursors containing (S2)2- and/or (Se2)2- dimers (i.e. La2O2S2, Ba2F2S2 and LaSe2). Herein we extend the validity of the concept to the redox activity of (S2)2- and (S3)2- oligomers towards 3d transition metal elements (Cu, Ni, Fe) and highlight the strong relationship between the structures of the precursors, BaS2 and BaS3, and the products, BaCu2S2, BaCu4S3, BaNiS2 and BaFe2S3. Clearly, beyond the natural interest for the chemical reactivity of oligomers to generate compounds, this soft chemistry route may conduct to the rational conception of materials with a predicted crystal structure.


title: Koji: Automating pipelines with mixed-semantics data sources

abstract: We propose a new result-oriented semantic for defining data processing workflows that manipulate data in different semantic forms (files or services) in a unified manner. This approach enables users to define workflows for a vast variety of reproducible data-processing tasks in a simple declarative manner which focuses on application-level results, while automating all control-plane considerations (like failure recovery without loss of progress and computation reuse) behind the scenes. The uniform treatment of files and services as data enables easy integration with existing data sources (e.g. data acquisition APIs) and sinks of data (e.g. database services). Whereas the focus on containers as transformations enables reuse of existing data-processing systems. We describe a declarative configuration mechanism, which can be viewed as an intermediate representation (IR) of reproducible data processing pipelines in the same spirit as, for instance, TensorFlow\cite{tensorflow} and ONNX\cite{onnx} utilize IRs for defining tensor-processing pipelines.


title: Reconstruction of piecewise constant functions from X-ray data

abstract: We show that on a two-dimensional compact nontrapping Riemannian manifold with strictly convex boundary, a piecewise constant function can be recovered from its integrals over geodesics. We adapt the injectivity proof which uses variations through geodesics to recover the function and we improve this result when the manifold is simple and the function is constant on tiles with geodesic edges, showing that the Jacobi fields of these variations are sufficient. We give also explicit formulas for the values near the boundary. We finally study the stability of the reconstruction method.


title: Model Learning: A Survey on Foundation, Tools and Applications

abstract: The quality and correct functioning of software components embedded in electronic systems are of utmost concern especially for safety and mission-critical systems. Model-based testing and formal verification techniques can be employed to enhance the reliability of software systems. Formal models form the basis and are prerequisite for the application of these techniques. An emerging and promising model learning technique can complement testing and verification techniques by providing learned models of black box systems fully automatically. This paper surveys one such state of the art technique called model learning which recently has attracted much attention of researchers especially from the domains of testing and verification. This survey paper reviews and provides comparison summaries highlighting the merits and shortcomings of learning techniques, algorithms, and tools which form the basis of model learning. This paper also surveys the successful applications of model learning technique in multidisciplinary fields making it promising for testing and verification of realistic systems.


title: Stance Classification for Rumour Analysis in Twitter: Exploiting Affective Information and Conversation Structure

abstract: Analysing how people react to rumours associated with news in social media is an important task to prevent the spreading of misinformation, which is nowadays widely recognized as a dangerous tendency. In social media conversations, users show different stances and attitudes towards rumourous stories. Some users take a definite stance, supporting or denying the rumour at issue, while others just comment it, or ask for additional evidence related to the veracity of the rumour. On this line, a new shared task has been proposed at SemEval-2017 (Task 8, SubTask A), which is focused on rumour stance classification in English tweets. The goal is predicting user stance towards emerging rumours in Twitter, in terms of supporting, denying, querying, or commenting the original rumour, looking at the conversation threads originated by the rumour. This paper describes a new approach to this task, where the use of conversation-based and affective-based features, covering different facets of affect, has been explored. Our classification model outperforms the best-performing systems for stance classification at SemEval-2017 Task 8, showing the effectiveness of the feature set proposed.


title: Influence of composition and precipitation evolution on damage at grain boundaries in a crept polycrystalline Ni-based superalloy

abstract: The microstructural and compositional evolution of intergranular carbides and borides prior to and after creep deformation at 850 $^\circ$C in a polycrystalline nickel-based superalloy was studied. Primary MC carbides, enveloped within intergranular $\rm \gamma'$ layers, decomposed resulting in the formation of layers of the undesirable $\rm \eta$ phase. These layers have a composition corresponding to Ni$_{3}$Ta as measured by atom probe tomography and their structure is consistent with the D0$_{24}$ hexagonal structure as revealed by transmission electron microscopy. Electron backscattered diffraction reveals that they assume various misorientations with regard to the adjacent grains. As a consequence, these layers act as brittle recrystallized zones and crack initiation sites. The composition of the MC carbides after creep was altered substantially, with the Ta content decreasing and the Hf and Zr contents increasing, suggesting a beneficial effect of Hf and Zr additions on the stability of MC carbides. By contrast, $\rm M_{5}B_3$ borides were found to be microstructurally stable after creep and without substantial compositional changes. Borides at 850 $^\circ$C were found to coarsen, resulting in some cases into $\rm \gamma'$-depleted zones, where, however, no cracks were observed. The major consequences of secondary phases on the microstructural stability of superalloys during the design of new polycrystalline superalloys are discussed.


title: On the Global Geometry of Sphere-Constrained Sparse Blind Deconvolution

abstract: Blind deconvolution is the problem of recovering a convolutional kernel $\boldsymbol a_0$ and an activation signal $\boldsymbol x_0$ from their convolution $\boldsymbol y = \boldsymbol a_0 \circledast \boldsymbol x_0$. This problem is ill-posed without further constraints or priors. This paper studies the situation where the nonzero entries in the activation signal are sparsely and randomly populated. We normalize the convolution kernel to have unit Frobenius norm and cast the sparse blind deconvolution problem as a nonconvex optimization problem over the sphere. With this spherical constraint, every spurious local minimum turns out to be close to some signed shift truncation of the ground truth, under certain hypotheses. This benign property motivates an effective two stage algorithm that recovers the ground truth from the partial information offered by a suboptimal local minimum. This geometry-inspired algorithm recovers the ground truth for certain microscopy problems, also exhibits promising performance in the more challenging image deblurring problem. Our insights into the global geometry and the two stage algorithm extend to the convolutional dictionary learning problem, where a superposition of multiple convolution signals is observed.


title: The Group Element of Cybercrime: Types, Dynamics, and Criminal Operations

abstract: While cybercrime can often be an individual activity pursued by lone hackers, it has increasingly grown into a group activity, with networks across the world. This chapter critically examines the group element of cybercrime from several perspectives. It identifies the platforms that online groups---cybercriminal and otherwise---use to interact, and considers groups as both perpetrators and victims of cybercrime. A key novelty is the discovery of new types of online groups whose collective actions border on criminality. The chapter also analyzes how online cybercrime groups form, organize, and operate. It explores issues such as trust, motives, and means, and draws on several poignant examples, from Anonymous to LulzSec, to illustrate the arguments.


title: Different Maps for Different Uses. A Program Transformation for Intermediate Verification Languages

abstract: In theorem prover or SMT solver based verification, the program to be verified is often given in an intermediate verification language such as Boogie, Why, or CHC. This setting raises new challenges. We investigate a preprocessing step which takes the similar role that alias analysis plays in verification, except that now, a (mathematical) map is used to model the memory or a data object of type array. We present a program transformation that takes a program P to an equivalent program P' such that, by verifying P' instead of P, we can reduce the burden of the exponential explosion in the number of case splits. Here, the case splits are according to whether two statements using the same map variable are independent or not; if they are independent, we might as well employ two different map variables and thus remove the need for a case split (this is the idea behind the program transformation). We have implemented the program transformation and show that, in an ideal case, we can avoid the exponential explosion.


title: Bayesian inference over model-spaces increases the accuracy of model comparison and allows formal testing of hypotheses about model distributions in experimental populations

abstract: Determining the best model or models for a particular data set, a process known as Bayesian model comparison, is a critical part of probabilistic inference. Typically, this process assumes a fixed model-space (that is, a fixed set of candidate models). However, it is also possible to perform Bayesian inference over model-spaces themselves, thus determining which spaces provide the best explanation for observed data. Model-space inference (MSI) allows the effective exclusion of poorly performing models (a process analogous to Automatic Relevance Detection), and thus mitigates against the well-known phenomenon of model dilution, resulting in posterior probability estimates that are, on average, more accurate than those produced when using a fixed model-space. We focus on model comparison in the context of multiple independent data sets (as produced, for example, by multi-subject behavioural or neuroimaging studies), and cast our proposal as a development of random-effects Bayesian Model Selection, the current state-of-the-art in the field. We demonstrate the increased accuracy of MSI using simulated behavioural and neuroimaging data, as well as by assessing predictive performance in previously-acquired empirical data. Additionally, we explore other applications of MSI, including formal testing for a diversity of models within a population, and comparison of model-spaces between populations. Our approach thus provides an important new tool for model comparison.


title: A billiards-like dynamical system for attacking chess pieces

abstract: We apply a one-dimensional discrete dynamical system originally considered by Arnol'd reminiscent of mathematical billiards to the study of two-move riders, a type of fairy chess piece. In this model, particles travel through a bounded convex region along line segments of one of two fixed slopes. We apply this dynamical system to characterize the vertices of the inside-out polytope arising from counting placements of nonattacking chess pieces and also to give a bound for the period of the counting quasipolynomial. The analysis focuses on points of the region that are on trajectories that contain a corner or on cycles of full rank, or are crossing points thereof. As a consequence, we give a simple proof that the period of the bishops' counting quasipolynomial is 2, and provide formulas bounding periods of counting quasipolynomials for many two-move riders including all partial nightriders. We draw parallels to the theory of mathematical billiards and pose many new open questions.


title: Copula-based Semiparametric Regression Method for Bivariate Data under General Interval Censoring

abstract: This research is motivated by discovering and underpinning genetic causes for the progression of a bilateral eye disease, Age-related Macular Degeneration (AMD), of which the primary outcomes, progression times to late-AMD, are bivariate and interval-censored due to intermittent assessment times. We propose a novel class of copula-based semiparametric transformation models for bivariate data under general interval censoring, which includes the case 1 interval censoring (current status data) and case 2 interval censoring. Specifically, the joint likelihood is modeled through a two-parameter Archimedean copula, which can flexibly characterize the dependence between the two margins in both tails. The marginal distributions are modeled through semiparametric transformation models using sieves, with the proportional hazards or odds model being a special case. We develop a computationally efficient sieve maximum likelihood estimation procedure for the unknown parameters, together with a generalized score test for the regression parameter(s). For the proposed sieve estimators of finite-dimensional parameters, we establish their asymptotic normality and efficiency. Extensive simulations are conducted to evaluate the performance of the proposed method in finite samples. Finally, we apply our method to a genome-wide analysis of AMD progression using the Age-Related Eye Disease Study (AREDS) data, to successfully identify novel risk variants associated with the disease progression. We also produce predicted joint and conditional progression-free probabilities, for patients with different genetic characteristics.


title: Optimization of Ride Sharing Systems Using Event-driven Receding Horizon Control

abstract: We develop an event-driven Receding Horizon Control (RHC) scheme for a Ride Sharing System (RSS) in a transportation network where vehicles are shared to pick up and drop off passengers so as to minimize a weighted sum of passenger waiting and traveling times. The RSS is modeled as a discrete event system and the event-driven nature of the controller significantly reduces the complexity of the vehicle assignment problem, thus enabling its real-time implementation. Simulation results using actual city maps and real taxi traffic data illustrate the effectiveness of the RH controller in terms of real-time implementation and performance relative to known greedy heuristics.


title: Data is Personal: Attitudes and Perceptions of Data Visualization in Rural Pennsylvania

abstract: Many of the guidelines that inform how designers create data visualizations originate in studies that unintentionally exclude populations that are most likely to be among the 'data poor'. In this paper, we explore which factors may drive attention and trust in rural populations with diverse economic and educational backgrounds - a segment that is largely underrepresented in the data visualization literature. In 42 semi-structured interviews in rural Pennsylvania (USA), we find that a complex set of factors intermix to inform attitudes and perceptions about data visualization - including educational background, political affiliation, and personal experience. The data and materials for this research can be found at https://osf.io/uxwts/


title: When products of projections diverge

abstract: Slow convergence of cyclic projections implies divergence of random projections and vice versa. Let $L_1,L_2,\dots,L_K$ be a family of $K$ closed subspaces of a Hilbert space. It is well known that although the cyclic product of the orthogonal projections on these spaces always converges in norm, random products might diverge. Moreover, in the cyclic case there is a dichotomy: the convergence is fast if and only if $L_1^{\perp}+\dots+L_K^{\perp}$ is closed; otherwise the convergence is arbitrarily slow. We prove a parallel to this result concerning random products: we characterize those families $L_1,\dots,L_K$ for which all random products converge using their geometric and combinatorial structure.


title: Unconventional magnetization textures and domain-wall pinning in Sm-Co magnets

abstract: The most powerful magnets for high temperature applications are Sm-Co-based alloys with a microstructure that combines magnetically soft and hard regions. The microstructure consists of a dense domain-wall-pinning network that endows the material with remarkable magnetic hardness. A precise understanding of the coupling between magnetism and microstructure is essential for enhancing the performance of Sm-Co magnets, but experiments and theory have not yet converged to a unified model. Here, we combine transmission electron microscopy, atom probe tomography, and nanometer-resolution off-axis electron holography with micromagnetic simulations to show that the magnetization processes in Sm-Co magnets result from an interplay between curling instabilities and pinning effects at the intersections between magnetically soft and hard regions. We also find that topologically non-trivial magnetic domains separated by a complex network of domain walls play a key role in the magnetic state. Our findings reveal a previously hidden aspect of magnetism and provide insight into the full potential of high-performance magnetic materials.


title: Simultaneous Optical and Electrical Spin-Torque Magnetometry with Stroboscopic Detection of Spin-Precession Phase

abstract: Spin-based coherent information processing and encoding utilize the precession phase of spins in magnetic materials. However, the detection and manipulation of spin precession phases remain a major challenge for advanced spintronic functionalities. By using simultaneous electrical and optical detection, we demonstrate the direct measurement of the precession phase of Permalloy ferromagnetic resonance driven by the spin-orbit torques from adjacent heavy metals. The spin Hall angle of the heavy metals can be independently determined from concurrent electrical and optical signals. The stroboscopic optical detection also allows spatially measuring local spin-torque parameters and the induced ferromagnetic resonance with comprehensive amplitude and phase information. Our study offers a route towards future advanced characterizations of spin-torque oscillators, magnonic circuits, and tunnelling junctions, where measuring the current-induced spin dynamics of individual nanomagnets are required.


title: Jets in non-equilibrium quark-gluon plasma

abstract: Jets are a promising way to probe the non-equilibrium physics of quark-gluon plasma (QGP). We study how an out-of-equilibrium medium induces a jet particle to emit gluons. Evaluation of the emission rate is complicated by Weibel instabilities which lead to an exponential growth of chromomagnetic fields. Deriving a quantum field theoretical description of an unstable QGP medium, we show that the chromomagnetic fields deflect jet particles during the gluon emission.


title: Long-term Spot Stability in the Post-common-envelope Binary QS Vir

abstract: We observed the post-common-envelope eclipsing binary with a white dwarf component, QS Vir, using the 1.88 m telescope of Kotammia Observatory in Egypt. The new observations were analyzed together with all multicolor light curves available online (sampling a period of 25 yr), using a full-feature binary system modeling software based on Roche geometry. This is the first time complete photometric modeling was done with most of these data. QS Vir is a detached system, with the red dwarf component underfilling its Roche lobe by a small margin. All light curves feature out-of-eclipse variability that is associated with ellipsoidal variation, mutual irradiation and irregularities in surface brightness of the tidally distorted and magnetically active red dwarf. We tested models with one, two, and three dark spots and found that one spot is sufficient to account for the light curve asymmetry in all data sets, although this does not rule out the presence of multiple spots. We also found that a single spotted model cannot fit light curves observed simultaneously in different filters. Instead, each filter requires a different spot configuration. To thoroughly explore the parameter space of spot locations, we devised a grid-search procedure and used it to find consistent solutions. Based on this, we conclude that the dark spot responsible for light curve distortions has been stable for the past 15 yr, after a major migration that happened between 1993 and 2002, possibly due to a flip-flop event.


title: An in-place, subquadratic algorithm for permutation inversion

abstract: We assume the permutation $\pi$ is given by an $n$-element array in which the $i$-th element denotes the value $\pi(i)$. Constructing its inverse in-place (i.e. using $O(\log{n})$ bits of additional memory) can be achieved in linear time with a simple algorithm. Limiting the numbers that can be stored in our array to the range $[1...n]$ still allows a straightforward $O(n^2)$ time solution. The time complexity can be improved using randomization, but this only improves the expected, not the pessimistic running time. We present a deterministic algorithm that runs in $O(n^{3/2})$ time.


title: Price-Coupling Games and the Generation Expansion Planning Problem

abstract: In this paper, we introduce and study a class of games called price-coupling games that arise in many scenarios, especially in the electricity industry. In a price-coupling game, there is a part of the objective function of a player which has an identical form for all players and there is coupling in the cost functions of players through a price which is determined uniformly for all players by an independent entity called the \textit{price-determining player} (e.g. independent system operator (ISO) in an electricity market). This price appears in the objective function only in the part which is identical for all players. We study the existence of equilibria in such games under two broad categories, namely \textit{price-anticipative} and \textit{price-taking} formulations. In the price-anticipative formulation, the players anticipate the price and make their decisions while in the price-taking formulation, the players make their decisions considering the price as a given parameter. We model the price-anticipative case as a leader-follower formulation where the players (leaders) conjecture the price (follower's decision) and make their decision. The price-taking formulation is modelled as an $N+1$ player game with the additional player as the price-determining player. The existence of an equilibrium in such games are not easy mainly because of the coupled-constraint structure of the game and the non-convexity of the action set. We give conditions for the existence of equilibria in both formulations. We apply our results to analyze the existence of an equilibrium in the generation expansion planning problem using the above results.


title: DSConv: Efficient Convolution Operator

abstract: Quantization is a popular way of increasing the speed and lowering the memory usage of Convolution Neural Networks (CNNs). When labelled training data is available, network weights and activations have successfully been quantized down to 1-bit. The same cannot be said about the scenario when labelled training data is not available, e.g. when quantizing a pre-trained model, where current approaches show, at best, no loss of accuracy at 8-bit quantizations. We introduce DSConv, a flexible quantized convolution operator that replaces single-precision operations with their far less expensive integer counterparts, while maintaining the probability distributions over both the kernel weights and the outputs. We test our model as a plug-and-play replacement for standard convolution on most popular neural network architectures, ResNet, DenseNet, GoogLeNet, AlexNet and VGG-Net and demonstrate state-of-the-art results, with less than 1% loss of accuracy, without retraining, using only 4-bit quantization. We also show how a distillation-based adaptation stage with unlabelled data can improve results even further.


title: Star-disc (mis-)alignment in Rho Oph and Upper Sco: insights from spatially resolved disc systems with K2 rotation periods

abstract: The discovery of close in, giant planets (hot Jupiters) with orbital angular momentum vectors misaligned with respect to the rotation axis of their host stars presents problems for planet formation theories in which planets form in discs with angular momentum vectors aligned with that of the star. Violent, high eccentricity migration mechanisms purported to elevate planetary orbits above the natal disc plane predict populations of proto-hot Jupiters which have not been observed with Kepler. Alternative theories invoking primordial star-disc misalignments have recently received more attention. Here, the relative alignment between stars and their protoplanetary discs is assessed for the first time for a sample of 20 pre-main-sequence stars. Recently published rotation periods derived from high quality, long duration, high cadence K2 light curves for members of the $\rho$ Ophiuchus and Upper Scorpius star forming regions are matched with high angular resolution observations of spatially resolved discs and projected rotational velocities to determine stellar rotation axis inclination angles which are then compared to the disc inclinations. Ten of the fifteen systems for which the stellar inclination could be estimated are consistent with star-disc alignment while five systems indicate potential misalignments between the star and its disc. The potential for chance misalignment of aligned systems due to projection effects and characteristic measurement uncertainties is also investigated. While the observed frequency of apparent star-disc misalignments could be reproduced by a simulated test population in which 100% of systems are truly aligned, the distribution of the scale of inferred misalignment angles could not.