title: Online division of labour: emergent structures in Open Source Software

abstract: The development Open Source Software fundamentally depends on the participation and commitment of volunteer developers to progress. Several works have presented strategies to increase the on-boarding and engagement of new contributors, but little is known on how these diverse groups of developers self-organise to work together. To understand this, one must consider that, on one hand, platforms like GitHub provide a virtually unlimited development framework: any number of actors can potentially join to contribute in a decentralised, distributed, remote, and asynchronous manner. On the other, however, it seems reasonable that some sort of hierarchy and division of labour must be in place to meet human biological and cognitive limits, and also to achieve some level of efficiency. These latter features (hierarchy and division of labour) should translate into recognisable structural arrangements when projects are represented as developer-file bipartite networks. In this paper we analyse a set of popular open source projects from GitHub, placing the accent on three key properties: nestedness, modularity and in-block nestedness -which typify the emergence of heterogeneities among contributors, the emergence of subgroups of developers working on specific subgroups of files, and a mixture of the two previous, respectively. These analyses show that indeed projects evolve into internally organised blocks. Furthermore, the distribution of sizes of such blocks is bounded, connecting our results to the celebrated Dunbar number both in off- and on-line environments. Our analyses create a link between bio-cognitive constraints, group formation and online working environments, opening up a rich scenario for future research on (online) work team assembly.


title: Enabling magnetic resonance imaging of hollow-core microstructured optical fibers via nanocomposite coating

abstract: Optical fibers are widely used in bioimaging systems as flexible endoscopes capable of low-invasive penetration inside hollow tissue cavities. Here, we report on the technique which allows magnetic resonance imaging (MRI) of hollow-core microstructured fibers (HC-MFs), paving the way for combing MRI and optical bioimaging. Our approach is based on Layer-by-Layer assembly of oppositely charged polyelectrolytes and magnetite nanoparticles on the inner core surface of HC-MFs. Incorporation of magnetite nanoparticles into polyelectrolyte layers renders HC-MFs visible for MRI and induces the red-shift in their transmission spectra. Specifically, the transmission shifts up to 60 nm have been revealed for the several-layers composite coating along with the high-quality contrast of HC-MFs in MRI scans. Our results shed light on marrying fiber-based endoscopy with MRI that opens novel possibilities for minimally invasive clinical diagnostics and surgical procedures in vivo.


title: An Approximate Solution for Symbol-Level Multiuser Precoding Using Support Recovery

abstract: In this paper, we propose a low-complexity method to approximately solve the SINR-constrained optimization problem of symbol-level precoding (SLP). First, assuming a generic modulation scheme, the precoding optimization problem is recast as a standard non-negative least squares (NNLS). Then, we improve an existing closed-form SLP (CF-SLP) scheme using the conditions for nearly perfect recovery of the optimal solution support, followed by solving a reduced system of linear equations. We show through simulation results that in comparison with the CF-SLP method, the improved approximate solution of this paper, referred to as ICF-SLP, significantly enhances the performance with a negligible increase in complexity. We also provide comparisons with a fast-converging iterative NNLS algorithm, where it is shown that the ICF-SLP method is comparable in performance to the iterative algorithm with a limited maximum number of iterations. Analytic discussions on the complexities of different methods are provided, verifying the computational efficiency of the proposed method. Our results further indicate that the ICF-SLP scheme performs quite close to the optimal SLP, particularly in the large system regime.


title: The ALMA-PILS survey: First detection of nitrous acid (HONO) in the interstellar medium

abstract: Nitrogen oxides are thought to play a significant role as a nitrogen reservoir and to potentially participate in the formation of more complex species. Until now, only NO, N$_2$O and HNO have been detected in the interstellar medium. We report the first interstellar detection of nitrous acid (HONO). Twelve lines were identified towards component B of the low-mass protostellar binary IRAS~16293--2422 with the Atacama Large Millimeter/submillimeter Array, at the position where NO and N$_2$O have previously been seen. A local thermodynamic equilibrium model was used to derive the column density ($\sim$ 9 $\times$ 10$^{14}$ cm$^{-2}$ in a 0.5'' beam) and excitation temperature ($\sim$ 100 K) of this molecule. HNO, NO$_2$, NO$^+$, and HNO$_3$ were also searched for in the data, but not detected. We simulated the HONO formation using an updated version of the chemical code Nautilus and compared the results with the observations. The chemical model is able to reproduce satisfactorily the HONO, N$_2$O, and NO$_2$ abundances, but not the NO, HNO, and NH$_2$OH abundances. This could be due to some thermal desorption mechanisms being destructive and therefore limiting the amount of HNO and NH$_2$OH present in the gas phase. Other options are UV photodestruction of these species in ices or missing reactions potentially relevant at protostellar temperatures.


title: Spin Physics with a fixed-target experiment at the LHC

abstract: The multi-TeV proton and ion beams of the LHC would allow for the most energetic fixed-target experiment ever. In particular, $pp$, $p$d and $p$A collisions could be performed at $\sqrt{s_{NN}}$ = 115~GeV, as well as Pb$p$ and PbA collisions at $\sqrt{s_{NN}}$ = 72~GeV, in a parasitic way by making use of the already existing LHCb and ALICE detectors in fixed-target mode. This would offer the possibility to carry out a ground-breaking physics program, to study the nucleon and nuclear structure at high $x$, the spin content of the nucleon and the phases of the nuclear matter from a new rapidity viewpoint. In this talk I focus on the spin physics axis of the full program developed so far by the AFTER@LHC study group.


title: Influence of an inert charged Higgs boson on the muon $g-2$ and radiative neutrino masses in a scotogenic model

abstract: A simple extension of Ma's approach in a scotogenic model is studied for the purpose of simultaneously interpreting the neutrino data and the excess of muon anomalous magnetic moment (muon $g-2$). The feasible minimal extension is to add an $Z_2$-odd vector-like lepton doublet to the Ma's model. It is found that in addition to the neutrino data, the strict constraints on the relevant parameters are from the electroweak oblique parameters and the induced lepton-flavor violation processes, such as $\ell_i \to \ell_j \gamma$ and $\ell_i \to \ell^-_j \ell^-_j \ell^+_j$. Performing parameter scan, we numerically demonstrate that when the constraint conditions are satisfied, the muon $g-2$ of $O(10^{-9})$ can be achieved, where it can be expected that with a $5\sigma$ observation, the Muon $g-2$ experiment at Fermilab can observe $a_\mu \approx 13.31 \times 10^{-10}$ when the current experiment and the SM errors are reduced by a factor of 4 and 2, respectively. Moreover, the branching ratio of the $\tau \to \mu \gamma$ decay can match the Belle II sensitivity of $O(10^{-9})$ with an integrated luminosity of 50 ab$^{-1}$.


title: Algorithm and Architecture for Path Metric Aided Bit-Flipping Decoding of Polar Codes

abstract: Polar codes attract more and more attention of researchers in recent years, since its capacity achieving property. However, their error-correction performance under successive cancellation (SC) decoding is inferior to other modern channel codes at short or moderate blocklengths. SC-Flip (SCF) decoding algorithm shows higher performance than SC decoding by identifying possibly erroneous decisions made in initial SC decoding and flipping them in the sequential decoding attempts. However, it performs not well when there are more than one erroneous decisions in a codeword. In this paper, we propose a path metric aided bit-flipping decoding algorithm to identify and correct more errors efficiently. In this algorithm, the bit-flipping list is generated based on both log likelihood ratio (LLR) based path metric and bit-flipping metric. The path metric is used to verify the effectiveness of bit-flipping. In order to reduce the decoding latency and computational complexity, its corresponding pipeline architecture is designed. By applying these decoding algorithms and pipeline architecture, an improvement on error-correction performance can be got up to 0.25dB compared with SCF decoding at the frame error rate of $10^{-4}$, with low average decoding latency.


title: Neutrino oscillations in the Unruh radiation

abstract: The study of the decay of an accelerated proton recently provided a theoretical proof of the Unruh effect. On the basis of general covariance of Quantum Field Theory, indeed, it was found that the decay rates in the inertial and comoving frames do coincide only when the thermal nature of the accelerated vacuum is taken into account. Such an analysis was then extended to the case with neutrino mixing. In this Letter, we show that, by further embedding neutrino oscillations in the above framework, general covariance necessarily entails the use of flavor neutrinos as asymptotic states, as well as the occurrence of neutrino oscillations in the Unruh thermal bath.


title: Matter Growth in Imperfect Fluid Cosmology

abstract: Extensions of Einstein's General Relativity (GR) can formally be given a GR structure in which additional geometric degrees of freedom are mapped on an effective energy-momentum tensor. The corresponding effective cosmic medium can then be modeled as an imperfect fluid within GR. The imperfect fluid structure allows us to include, on a phenomenological basis, anisotropic stresses and energy fluxes which are considered as potential signatures for deviations from the cosmological standard $\Lambda$-cold-dark-matter ($\Lambda$CDM) model. As an example, we consider the dynamics of a scalar-tensor extension of the standard model, the $e_{\Phi}\Lambda$CDM model. We constrain the magnitudes of anisotropic pressure and energy flux with the help of redshift-space distortion (RSD) data for the matter growth function $f \sigma_8$.


title: An exact study of phase transitions in mean field Potts models

abstract: We construct the exact partition function of the Potts model on a complete graph subject to external fields with linear and nematic type couplings. The partition function is obtained as a solution to a linear diffusion equation and the free energy, in the thermodynamic limit, follows from its semiclassical limit. Analysis of singularities of the equations of state reveals the occurrence of phase transitions of nematic type at not zero external fields and allows for an interpretation of the phase transitions in terms of shock dynamics in the space of thermodynamics variables. The approach is shown at work in the case of a q-state model for q=3 but the method generalises to arbitrary q.


title: Stronger Lower Bounds for Online ORAM

abstract: Oblivious RAM (ORAM), introduced in the context of software protection by Goldreich and Ostrovsky [JACM'96], aims at obfuscating the memory access pattern induced by a RAM computation. Ideally, the memory access pattern of an ORAM should be independent of the data being processed. Since the work of Goldreich and Ostrovsky, it was believed that there is an inherent $ \Omega(\log n) $ bandwidth overhead in any ORAM working with memory of size $ n $. Larsen and Nielsen [CRYPTO'18] were the first to give a general $ \Omega(\log n) $ lower bound for any online ORAM, i.e., an ORAM that must process its inputs in an online manner. In this work, we revisit the lower bound of Larsen and Nielsen, which was proved under the assumption that the adversarial server knows exactly which server accesses correspond to which input operation. We give an $\Omega(\log n) $ lower bound for the bandwidth overhead of any online ORAM even when the adversary has no access to this information. For many known constructions of ORAM this information is provided implicitly as each input operation induces an access sequence of roughly the same length. Thus, they are subject to the lower bound of Larsen and Nielsen. Our results rule out a broader class of constructions and specifically, they imply that obfuscating the boundaries between the input operations does not help in building a more efficient ORAM. As our main technical contribution and to handle the lack of structure, we study the properties of access graphs induced naturally by the memory access pattern of an ORAM computation. We identify a particular graph property that can be efficiently tested and that all access graphs of ORAM computation must satisfy with high probability. This property is reminiscent of the Larsen-Nielsen property but it is substantially less structured; that is, it is more generic.


title: Event-Based Modeling with High-Dimensional Imaging Biomarkers for Estimating Spatial Progression of Dementia

abstract: Event-based models (EBM) are a class of disease progression models that can be used to estimate temporal ordering of neuropathological changes from cross-sectional data. Current EBMs only handle scalar biomarkers, such as regional volumes, as inputs. However, regional aggregates are a crude summary of the underlying high-resolution images, potentially limiting the accuracy of EBM. Therefore, we propose a novel method that exploits high-dimensional voxel-wise imaging biomarkers: n-dimensional discriminative EBM (nDEBM). nDEBM is based on an insight that mixture modeling, which is a key element of conventional EBMs, can be replaced by a more scalable semi-supervised support vector machine (SVM) approach. This SVM is used to estimate the degree of abnormality of each region which is then used to obtain subject-specific disease progression patterns. These patterns are in turn used for estimating the mean ordering by fitting a generalized Mallows model. In order to validate the biomarker ordering obtained using nDEBM, we also present a framework for Simulation of Imaging Biomarkers' Temporal Evolution (SImBioTE) that mimics neurodegeneration in brain regions. SImBioTE trains variational auto-encoders (VAE) in different brain regions independently to simulate images at varying stages of disease progression. We also validate nDEBM clinically using data from the Alzheimer's Disease Neuroimaging Initiative (ADNI). In both experiments, nDEBM using high-dimensional features gave better performance than state-of-the-art EBM methods using regional volume biomarkers. This suggests that nDEBM is a promising approach for disease progression modeling.


title: Computer code validation via mixture model estimation

abstract: When computer codes are used for modeling complex physical systems, their unknown parameters are tuned by calibration techniques. A discrepancy function may be added to the computer code in order to capture its discrepancy with the real physical process. By considering the validation question of a computer code as a Bayesian selection model problem, Damblin et al. (2016) have highlighted a possible confounding effect in certain configurations between the code discrepancy and a linear computer code by using a Bayesian testing procedure based on the intrinsic Bayes factor. In this paper, we investigate the issue of code error identifiability by applying another Bayesian model selection technique which has been recently developed by Kamary et al. (2014). By embedding the competing models within an encompassing mixture model, Kamary et al. (2014)'s method allows each observation to belong to a different mixing component, providing a more flexible inference, while remaining competitive in terms of computational cost with the intrinsic Bayesian approach. By using the technique of sharing parameters mentioned in Kamary et al. (2014), an improper non-informative prior can be used for some computer code parameters and we demonstrate that the resulting posterior distribution is proper. We then check the sensitivity of our posterior estimates to the choice of the parameter prior distributions. We illustrate that the value of the correlation length of the discrepancy Gaussian process prior impacts the Bayesian inference of the mixture model parameters and that the model discrepancy can be identified by applying the Kamary et al. (2014) method when the correlation length is not too small. Eventually, the proposed method is applied on a hydraulic code in an industrial context.


title: Higher ventricular rate during atrial fibrillation relates to increased cerebral hypoperfusions and hypertensive events

abstract: Atrial fibrillation (AF) is associated with cognitive impairment/dementia, independently of clinical cerebrovascular events (stroke/TIA). One of the plausible mechanisms is the occurrence of AF-induced transient critical hemodynamic events; however, it is presently unknown, if ventricular response rate during AF may impact on cerebral hemodynamics. AF was simulated at different ventricular rates (50, 70, 90, 110, 130 bpm) by two coupled lumped parameter validated models (systemic and cerebral circulation), and compared to corresponding control normal sinus rhythm simulations (NSR). Hemodynamic outcomes and occurrence of critical events (hypoperfusions and hypertensive events) were assessed along the internal carotid artery-middle cerebral artery pathway up to the capillary-venous bed. At the distal cerebral circle level (downstream middle cerebral artery), increasing ventricular rates lead to a reduced heart rate-related dampening of hemodynamic signals compared to NSR (p=0.003 and 0.002 for flow rate and pressure, respectively). This response causes a significant progressive increase in critical events in the distal cerebral circle (p<0.001) as ventricular rate increases during AF. On the other side, at the lowest ventricular response rates (HR 50 bpm), at the systemic-proximal cerebral circle level (up to middle cerebral artery) hypoperfusions (p<0.001) occur more commonly, compared to faster AF simulations. This computational study suggests that higher ventricular rates relate to a progressive increase in critical cerebral hemodynamic events (hypoperfusions and hypertensive events) at the distal cerebral circle. Thus, a rate control strategy aiming to around 60 bpm could be beneficial in terms on cognitive outcomes in patients with permanent AF.


title: An automated approach for photometry and dust mass calculation of the Crab nebula

abstract: Ample evidence exists regarding supernovae being a major contributor to interstellar dust. In this work, the deepest far-infrared observations of the Crab Nebula are used to revisit the estimation of} the dust mass present in this supernova remnant. Images in filters between 70 and 500 $\mu$m taken by the PACS and SPIRE instruments on-board of the Herschel Space Observatory are used. With an automated approach we constructed the spectral energy distribution of the Crab nebula to recover the dust mass. This approach makes use of several image processing techniques (thresholding, morphological processes, contouring, etc..) to objectively separate the nebula from its surrounding background. After subtracting the non-thermal synchrotron component from the integrated fluxes, the spectral energy distribution is found to be best fitted using a single modified blackbody of temperature $T=42.06\pm1.14$ K and a dust mass of $M_{d}=0.056\pm0.037$ M$_{\odot}$. In this paper, we show the importance of the photometric analysis and spectral energy distribution construction in the inference of the dust mass of the Crab nebula.


title: On the geometrical hypotheses underlying wave functions and their emerging dynamics

abstract: Classical mechanics for individual physical systems and quantum mechanics of non-relativistic particles are shown to be exceptional cases of a generalized dynamics described in terms of maps between two manifolds, the source being configuration space. The target space is argued to be 2-dimensional and flat, and their orthogonal directions are physically interpreted. All terms in the map equation have a geometrical meaning in the target space, and the pull-back of its rotational Killing one-form allows the construction of a velocity field in configuration space. Identification of this velocity field with tangent vectors in the source space leads to the dynamical law of motion. For a specific choice of an arbitrary scalar function present in the map equation, and using Cartesian coordinates in the target space, the map equation becomes linear and can be reduced to the Schr\"odinger equation. We link the bi-dimensionality of the target space with the essential non-locality of quantum mechanics. Many extensions of the framework here presented are immediate, with deep consequences yet to be explored.


title: Duality Between Dirac Fermions in Curved Spacetime and Optical solitons in Non-Linear Schrodinger Model: Magic of $1+1$-Dimensional Bosonization

abstract: Bosonization in curved spacetime maps massive Thirring model (self-interacting Dirac fermions) to a generalized sine-Gordon model, both living in $1+1$-dimensional curved spacetime. Applying this duality we have shown that the Thirring model fermion, in non-relativistic limit, gets identified with the soliton of non-linear Scrodinger model with Kerr form of non-linearity. We discuss one particular optical soliton in the latter model and relate it with the Thirring model fermion.


title: Regular ternary triangular forms

abstract: An integer of the form $T_x=\frac{x(x+1)}2$ for some positive integer $x$ is called a triangular number. A ternary triangular form $aT_{x}+bT_{y}+cT_{z}$ for positive integers $a,b$ and $c$ is called regular if it represents every positive integer that is locally represented. In this article, we prove that there are exactly 49 primitive regular ternary triangular forms.


title: Shadow Douglas--Rachford Splitting for Monotone Inclusions

abstract: In this work, we propose a new algorithm for finding a zero in the sum of two monotone operators where one is assumed to be single-valued and Lipschitz continuous. This algorithm naturally arises from a non-standard discretization of a continuous dynamical system associated with the Douglas--Rachford splitting algorithm. More precisely, it is obtained by performing an explicit, rather than implicit, discretization with respect to one of the operators involved. Each iteration of the proposed algorithm requires the evaluation of one forward and one backward operator.


title: Large fluctuations of the first detected quantum return time

abstract: How long does it take a quantum particle to return to its origin? As shown previously under repeated projective measurements aimed to detect the return, the closed cycle yields a geometrical phase which shows that the average first detected return time is quantized. For critical sampling times or when parameters of the Hamiltonian are tuned this winding number is modified. These discontinuous transitions exhibit gigantic fluctuations of the return time. While the general formalism of this problem was studied at length, the magnitude of the fluctuations, which is quantitatively essential, remains poorly characterized. Here, we derive explicit expressions for the variance of the return time, for quantum walks in finite Hilbert space. A classification scheme of the diverging variance is presented, for four different physical effects: the Zeno regime, when the overlap of an energy eigenstate and the detected state is small and when two or three phases of the problem merge. These scenarios present distinct physical effects which can be analyzed with the fluctuations of return times investigated here, leading to a topology-dependent time-energy uncertainty principle.


title: The Simultaneous Identification Capacity of the Classical--Quantum Multiple Access Channel with Stochastic Encoders for Transmission

abstract: In [1], it is shown that the simultaneous identification capacity region for the discrete, memoryless, classical-quantum multiple access channel is equal to the transmission capacity region for codes using a deterministic encoding scheme. Here, we use transmission codes with a stochastic encoding scheme and show that the analogous capacity theorem holds. Further, by using stochastic encoders, the proof of achievability is highly simplified.


title: Model-independent comparison between factorization algebras and algebraic quantum field theory on Lorentzian manifolds

abstract: This paper investigates the relationship between algebraic quantum field theories and factorization algebras on globally hyperbolic Lorentzian manifolds. Functorial constructions that map between these two types of theories in both directions are developed under certain natural hypotheses, including suitable variants of the local constancy and descent axioms. The main result is an equivalence theorem between (Cauchy constant and additive) algebraic quantum field theories and (Cauchy constant, additive and time-orderable) prefactorization algebras.


title: Accelerating geometric quantum gates through non-cyclic evolution and shortcut to adiabaticity

abstract: Fast and robust quantum gates is the cornerstone of fault-tolerance quantum computation. In this paper, we propose to achieve quantum gates based on non-cyclic geometric evolution. Dynamical phase during the evolution is cancelled by spin-echo process and the adiabatic control can be sped up through shortcut to adiabatic manner. Different from geometric gates based on cyclic evolution, the superiority of non-cyclic scheme is that the operation time is proportional to the rotation angle (but not the geometric phase) of quantum state. Therefore, the non-cyclic scheme becomes fairly fast in the case of quantum gates with small rotation angle which will be more insensitive to the decoherence and leakage to the states outside the computational basis. The proposed scheme is also robust against random noise due to the geometric characteristic of projective Hilbert space. Since the refined proposed scheme is fast and robust, it is an particularly suitable way to manipulate the physical systems with weak nonlinearity, such as superconucting systems.


title: Proton-proton collisions in the turbulent solar wind: Hybrid Boltzmann-Maxwell simulations

abstract: The mechanism of heating for hot, dilute, and turbulent plasmas represents a long-standing problem in space physics, whose implications concern both near-Earth environments and astrophysical systems. In order to explore the possible role of interparticle collisions, simulations of plasma turbulence -- in both collisionless and weakly collisional regimes -- have been compared by adopting Eulerian Hybrid Boltzmann-Maxwell simulations, being proton-proton collisions explicitly introduced through the nonlinear Dougherty operator. Although collisions do not significantly influence the statistical characteristics of the turbulence, they dissipate nonthermal features in the proton distribution function and suppress the enstrophy/entropy cascade in the velocity space, damping the spectral transfer toward large Hermite modes. This enstrophy dissipation is particularly effective in regions where the plasma distribution function is strongly distorted, suggesting that collisional effects are enhanced by fine velocity-space structures. A qualitative connection between the turbulent energy cascade in fluids and the enstrophy cascade in plasmas has been established, opening a new path to the understanding of astrophysical plasma turbulence


title: Generating Automated and Online Test Oracles for Simulink Models with Continuous and Uncertain Behaviors

abstract: Test automation requires automated oracles to assess test outputs. For cyber physical systems (CPS), oracles, in addition to be automated, should ensure some key objectives: (i) they should check test outputs in an online manner to stop expensive test executions as soon as a failure is detected; (ii) they should handle time- and magnitude-continuous CPS behaviors; (iii) they should provide a quantitative degree of satisfaction or failure measure instead of binary pass/fail outputs; and (iv) they should be able to handle uncertainties due to CPS interactions with the environment. We propose an automated approach to translate CPS requirements specified in a logic-based language into test oracles specified in Simulink -- a widely-used development and simulation language for CPS. Our approach achieves the objectives noted above through the identification of a fragment of Signal First Order logic (SFOL) to specify requirements, the definition of a quantitative semantics for this fragment and a sound translation of the fragment into Simulink. The results from applying our approach on 11 industrial case studies show that: (i) our requirements language can express all the 98 requirements of our case studies; (ii) the time and effort required by our approach are acceptable, showing potentials for the adoption of our work in practice, and (iii) for large models, our approach can dramatically reduce the test execution time compared to when test outputs are checked in an offline manner.


title: Mapping neutron star data to the equation of state using the deep neural network

abstract: The densest state of matter in the universe is uniquely realized inside central cores of the neutron star. While first-principles evaluation of the equation of state of such matter remains as one of the longstanding problems in nuclear theory, evaluation in light of neutron star phenomenology is feasible. Here we show results from a novel theoretical technique to utilize deep neural network with supervised learning. We input up-to-date observational data from neutron star X-ray radiations into the trained neural network and estimate a relation between the pressure and the mass density. Our results are consistent with extrapolation from the conventional nuclear models and the experimental bound on the tidal deformability inferred from gravitational wave observation.


title: Analogue Gravity Models for Planar Black Holes

abstract: Via constructing an explicit Lagrangian for which the perturbation equations are analogues of a scalar field propagating in a planar black hole space-time, it is found that all planar black holes conformal to a Painlev\'e-Gullstrand type line element can be realized as analogue metrics. This is valid for an arbitrary choice of conformal and blackening factor, thereby vastly extending the number of known examples of explicitly known analogue metrics.


title: Ultra-light dark matter in disk galaxies

abstract: Analytic arguments and numerical simulations show that bosonic ultra-light dark matter (ULDM) would form cored density distributions (`solitons') at the center of galaxies. ULDM solitons offer a promising way to exclude or detect ULDM by looking for a distinctive feature in the central region of galactic rotation curves. Baryonic contributions to the gravitational potential pose an obstacle to such analyses, being (i) dynamically important in the inner galaxy and (ii) highly non-spherical in rotation-supported galaxies, resulting in non-spherical solitons. We present an algorithm for finding the ground state soliton solution in the presence of stationary non-spherical background baryonic mass distribution. We quantify the impact of baryons on the predicted ULDM soliton in the Milky Way and in low surface-brightness galaxies from the SPARC database.


title: Numerical radius inequalities and its applications in estimation of zeros of polynomials

abstract: We present some upper and lower bounds for the numerical radius of a bounded linear operator defined on complex Hilbert space, which improves on the existing upper and lower bounds. We also present an upper bound for the spectral radius of sum of product of $n$ pairs of operators. As an application of the results obtained, we provide a better estimation for the zeros of a given polynomial.


title: Accelerating Generalized Linear Models with MLWeaving: A One-Size-Fits-All System for Any-precision Learning (Technical Report)

abstract: Learning from the data stored in a database is an important function increasingly available in relational engines. Methods using lower precision input data are of special interest given their overall higher efficiency but, in databases, these methods have a hidden cost: the quantization of the real value into a smaller number is an expensive step. To address the issue, in this paper we present MLWeaving, a data structure and hardware acceleration technique intended to speed up learning of generalized linear models in databases. ML-Weaving provides a compact, in-memory representation enabling the retrieval of data at any level of precision. MLWeaving also takes advantage of the increasing availability of FPGA-based accelerators to provide a highly efficient implementation of stochastic gradient descent. The solution adopted in MLWeaving is more efficient than existing designs in terms of space (since it can process any resolution on the same design) and resources (via the use of bit-serial multipliers). MLWeaving also enables the runtime tuning of precision, instead of a fixed precision level during the training. We illustrate this using a simple, dynamic precision schedule. Experimental results show MLWeaving achieves up to16 performance improvement over low-precision CPU implementations of first-order methods.


title: From Helmut J\"urgensen's Former Students: The Game of Informatics Research

abstract: Personal reflections are given on being students of Helmut J\"urgensen. Then, we attempt to address his hypothesis that informatics follows trend-like behaviours through the use of a content analysis of university job advertisements, and then via simulation techniques from the area of quantitative economics.


title: Computing Three-dimensional Constrained Delaunay Refinement Using the GPU

abstract: We propose the first GPU algorithm for the 3D triangulation refinement problem. For an input of a piecewise linear complex $\mathcal{G}$ and a constant $B$, it produces, by adding Steiner points, a constrained Delaunay triangulation conforming to $\mathcal{G}$ and containing tetrahedra mostly of radius-edge ratios smaller than $B$. Our implementation of the algorithm shows that it can be an order of magnitude faster than the best CPU algorithm while using a similar amount of Steiner points to produce triangulations of comparable quality.


title: Uncovering networks amongst stocks returns by studying nonlinear interactions in high frequency data of the Indian Stock Market using mutual information

abstract: In this paper, we explore the detection of clusters of stocks that are in synergy in the Indian Stock Market and understand their behaviour in different circumstances. We have based our study on high frequency data for the year 2014. This was a year when general elections were held in India, keeping this in mind our data set was divided into 3 subsets, pre-election period: Jan-Feb 2014; election period: Mar-May 2014 and :post-election period: Jun-Dec 2014. On analysing the spectrum of the correlation matrix, quite a few deviations were observed from RMT indicating a correlation across all the stocks. We then used mutual information to capture the non-linearity of the data and compared our results with widely used correlation technique using minimum spanning tree method. With a larger value of power law exponent {\alpha}, corresponding to distribution of degrees in a network, the nonlinear method of mutual information succeeds in establishing effective network in comparison to the correlation method. Of the two prominent clusters detected by our analysis, one corresponds to the financial sector and another to the energy sector. The financial sector emerged as an isolated, standalone cluster, which remain unaffected even during the election periods.


title: How Machine (Deep) Learning Helps Us Understand Human Learning: the Value of Big Ideas

abstract: I use simulation of two multilayer neural networks to gain intuition into the determinants of human learning. The first network, the teacher, is trained to achieve a high accuracy in handwritten digit recognition. The second network, the student, learns to reproduce the output of the first network. I show that learning from the teacher is more effective than learning from the data under the appropriate degree of regularization. Regularization allows the teacher to distinguish the trends and to deliver "big ideas" to the student. I also model other learning situations such as expert and novice teachers, high- and low-ability students and biased learning experience due to, e.g., poverty and trauma. The results from computer simulation accord remarkably well with finding of the modern psychological literature. The code is written in MATLAB and will be publicly available from the author's web page.


title: f(T) Quantum Cosmology

abstract: We quantize a flat cosmological model in the context of $f(T)$ theory of modified gravity using the Dirac's quantization approach for Hamiltonian constraint systems. In this regard, first we obtain the Wheeler-DeWitt equation as the operator equation of the Hamiltonian constraint and solve it for some typical cosmological models of $f(T)=T-2\Lambda$, $f(T)= \beta\sqrt{-2T}$ and $f(T)= \gamma T^2$. Then, in the context of classical-quantum correspondence, we interpret the obtained wavefunctions of the universe to describe an accelerating de Sitter universe which is found to be in good agreement with $f(T)=T-2\Lambda$ model. Finally, we study Bohm--de Broglie interpretation of the quantum model for $f(T)=T-2\Lambda$ model.


title: Enhancing REST HTTP with Random Linear Network Coding in Dynamic Edge Computing Environments

abstract: The rising number of IoT devices is accelerating the research on new solutions that will be able to efficiently deal with unreliable connectivity in highly dynamic computing applications. To improve the overall performance in IoT applications, there are multiple communication solutions available, either proprietary or open source, all of which satisfy different communication requirements. Most commonly, for this kind of communication, developers choose REST HTTP protocol as a result of its ease of use and compatibility with the existing computing infrastructure. In applications where mobility and unreliable connectivity play a significant role, ensuring a reliable exchange of data with the stateless REST HTTP protocol completely depends on the developer itself. This often means resending multiple request messages when the connection fails, constantly trying to access the service until the connection reestablishes. In order to alleviate this problem, in this paper, we combine REST HTTP with random linear network coding (RLNC) to reduce the number of additional retransmissions. We show how using RLNC with REST HTTP requests can decrease the reconnection time by reducing the additional packet retransmissions in unreliable highly dynamic scenarios.


title: Heuristics, Answer Set Programming and Markov Decision Process for Solving a Set of Spatial Puzzles

abstract: Spatial puzzles composed of rigid objects, flexible strings and holes offer interesting domains for reasoning about spatial entities that are common in the human daily-life's activities. The goal of this work is to investigate the automated solution of this kind of puzzles adapting an algorithm that combines Answer Set Programming (ASP) with Markov Decision Process (MDP), algorithm oASP(MDP), to use heuristics accelerating the learning process. ASP is applied to represent the domain as an MDP, while a Reinforcement Learning algorithm (Q-Learning) is used to find the optimal policies. In this work, the heuristics were obtained from the solution of relaxed versions of the puzzles. Experiments were performed on deterministic, non-deterministic and non-stationary versions of the puzzles. Results show that the proposed approach can accelerate the learning process, presenting an advantage when compared to the non-heuristic versions of oASP(MDP) and Q-Learning.


title: Research on the pixel-based and object-oriented methods of urban feature extraction with GF-2 remote-sensing images

abstract: During the rapid urbanization construction of China, acquisition of urban geographic information and timely data updating are important and fundamental tasks for the refined management of cities. With the development of domestic remote sensing technology, the application of Gaofen-2 (GF-2) high-resolution remote sensing images can greatly improve the accuracy of information extraction. This paper introduces an approach using object-oriented classification methods for urban feature extraction based on GF-2 satellite data. A combination of spectral, spatial attributes and membership functions was employed for mapping the urban features of Qinhuai District, Nanjing. The data preprocessing is carried out by ENVI software, and the subsequent data is exported into the eCognition software for object-oriented classification and extraction of urban feature information. Finally, the obtained raster image classification results are vectorized using the ARCGIS software, and the vector graphics are stored in the library, which can be used for further analysis and modeling. Accuracy assessment was performed using ground truth data acquired by visual interpretation and from other reliable secondary data sources. Compared with the result of pixel-based supervised (neural net) classification, the developed object-oriented method can significantly improve extraction accuracy, and after manual interpretation, an overall accuracy of 95.44% can be achieved, with a Kappa coefficient of 0.9405, which objectively confirmed the superiority of the object-oriented method and the feasibility of the utilization of GF-2 satellite data.


title: Descriptive Complexity of Deterministic Polylogarithmic Time and Space

abstract: We propose logical characterizations of problems solvable in deterministic polylogarithmic time (PolylogTime) and polylogarithmic space (PolylogSpace). We introduce a novel two-sorted logic that separates the elements of the input domain from the bit positions needed to address these elements. We prove that the inflationary and partial fixed point vartiants of this logic capture PolylogTime and PolylogSpace, respectively. In the course of proving that our logic indeed captures PolylogTime on finite ordered structures, we introduce a variant of random-access Turing machines that can access the relations and functions of a structure directly. We investigate whether an explicit predicate for the ordering of the domain is needed in our PolylogTime logic. Finally, we present the open problem of finding an exact characterization of order-invariant queries in PolylogTime.


title: Artificial Intelligence in Intelligent Tutoring Robots: A Systematic Review and Design Guidelines

abstract: This study provides a systematic review of the recent advances in designing the intelligent tutoring robot (ITR), and summarises the status quo of applying artificial intelligence (AI) techniques. We first analyse the environment of the ITR and propose a relationship model for describing interactions of ITR with the students, the social milieu and the curriculum. Then, we transform the relationship model into the perception-planning-action model for exploring what AI techniques are suitable to be applied in the ITR. This article provides insights on promoting human-robot teaching-learning process and AI-assisted educational techniques, illustrating the design guidelines and future research perspectives in intelligent tutoring robots.


title: Nanoantenna Enhanced Terahertz Interaction of Biomolecules

abstract: Terahertz time-domain spectroscopy (THz-TDS) is a non-invasive, non-contact and label-free technique for biological and chemical sensing as THz-spectra is less energetic and lies in the characteristic vibration frequency regime of proteins and DNA molecules. However, THz-TDS is less sensitive for detection of micro-organisms of size equal to or less than $ \lambda/100 $ (where, $ \lambda $ is wavelength of incident THz wave) and, molecules in extremely low concentrated solutions (like, a few femtomolar). After successful high-throughput fabrication of nanostructures, nanoantennas and metamaterials were found to be indispensable in enhancing the sensitivity of conventional THz-TDS. These nanostructures lead to strong THz field enhancement which when in resonance with absorption spectrum of absorptive molecules, causing significant changes in the magnitude of the transmission spectrum, therefore, enhancing the sensitivity and allowing detection of molecules and biomaterials in extremely low concentrated solutions. Hereby, we review the recent developments in ultra-sensitive and selective nanogap biosensors. We have also provided an in-depth review of various high-throughput nanofabrication techniques. We also discussed the physics behind the field enhancements in sub-skin depth as well as sub-nanometer sized nanogaps. We introduce finite-difference time-domain (FDTD) and molecular dynamics (MD) simulations tools to study THz biomolecular interactions. Finally, we provide a comprehensive account of nanoantenna enhanced sensing of viruses (like, H1N1) and biomolecules such as artificial sweeteners which are addictive and carcinogenic.


title: The twisted second moment of modular half integral weight $L$--functions

abstract: Given a half-integral weight holomorphic Kohnen newform $f$ on $\Gamma_0(4)$, we prove an asymptotic formula for large primes $p$ with power saving error term for \begin{equation*} \sideset{}{^*} \sum_{\chi \hspace{-0.15cm} \pmod{p}} | L(1/2,f,\chi) |^2. \end{equation*} Our result is unconditional, it does not rely on the Ramanujan--Petersson conjecture for the form $f$. This gives a very sharp Lindel\"{o}f on average result for Dirichlet series attached to Hecke eigenforms without an Euler product. The Lindel\"{o}f hypothesis for such series was originally conjectured by Hoffstein. There are two main inputs. The first is a careful spectral analysis of a highly unbalanced shifted convolution problem involving the Fourier coefficients of half-integral weight forms. The second input is a bound for sums of products of Sali\'{e} sums in the Polya--Vinogradov range. Half--integrality is fully exploited to establish such an estimate. We use the closed form evaluation of the Sali\'{e} sum to relate our problem to the sequence $\alpha n^2 \pmod{1}$. Our treatment of this sequence is inspired by work of Rudnick--Sarnak and the second author on the local spacings of $\alpha n^2$ modulo one.


title: Power bounded $m$-left invertible operators

abstract: A Hilbert space operator $S\in\B$ is left $m$-invertible by $T\in\B$ if $$\sum_{j=0}^m{(-1)^{m-j}\left(\begin{array}{clcr}m\\j\end{array}\right)T^jS^j}=0,$$ $S$ is $m$-isometric if $$\sum_{j=0}^m{(-1)^{m-j}\left(\begin{array}{clcr}m\\j\end{array}\right){S^*}^jS^j}=0$$ and $S$ is $(m,C)$-isometric for some conjugation $C$ of $\H$ if $$\sum_{j=0}^m{(-1)^{m-j}\left(\begin{array}{clcr}m\\j\end{array}\right){S^*}^jCS^jC}=0.$$ If a power bounded operator $S$ is left invertible by a power bounded operator $T$, then $S$ (also, $T^*$) is similar to an isometry. Translated to $m$-isometric and $(m,C)$-isometric operators $S$ this implies that $S$ is $1$-isometric, equivalently isometric, and (respectively) $(1,C)$-isometric.


title: The meta-problem and the transfer of knowledge between theories of consciousness: a software engineer's take

abstract: This contribution examines two radically different explanations of our phenomenal intuitions, one reductive and one strongly non-reductive, and identifies two germane ideas that could benefit many other theories of consciousness. Firstly, the ability of sophisticated agent architectures with a purely physical implementation to support certain functional forms of qualia or proto-qualia appears to entail the possibility of machine consciousness with qualia, not only for reductive theories but also for the nonreductive ones that regard consciousness as ubiquitous in Nature. Secondly, analysis of introspective psychological material seems to hint that, under the threshold of our ordinary waking awareness, there exist further 'submerged' or 'subliminal' layers of consciousness which constitute a hidden foundation and support and another source of our phenomenal intuitions. These 'submerged' layers might help explain certain puzzling phenomena concerning subliminal perception, such as the apparently 'unconscious' multisensory integration and learning of subliminal stimuli.


title: IBVP for anisotropic fractional type degenerate parabolic equation

abstract: This paper is a generalization of the author's previous work [14]. We extend the argument [14] for any uniformly elliptic operator in divergence form $\mathcal{L}u=-div(A(x)\nabla u)$, more precisely, we study a fractional type degenerate elliptic equation posed in bounded domains $$ \partial_t u=div(u\,A(x)\nabla \mathcal{L}^{-s}u) $$ where $\mathcal{L}^{-s}$ is the inverse $s$-fractional elliptic operator for any $s \in (0,1)$. We show the existence of solutions for measurable and bounded non-negative initial data, and homogeneous Dirichlet boundary condition.


title: Multiple-Relay Slotted ALOHA: Performance Analysis and Bounds

abstract: Wireless random access protocols are attracting a revived research interest as a simple yet effective solution for machine-type communications. In the quest to improve reliability and spectral efficiency of such schemes, the use of multiple receivers has recently emerged as a promising option. We study the potential of this approach considering a population of users that transmit data packets following a simple slotted ALOHA policy to a set of non-cooperative receivers or relays (uplink phase). These, in turn, independently forward - part of - what decoded towards a collecting sink (downlink phase). For an on-off fading channel model, we provide exact expressions for uplink throughput and packet loss rate for an arbitrary number of relays, characterising the benefits of multi-receiver schemes. Moreover, a lower bound on the minimum amount of downlink resources needed to deliver all information collected on the uplink is provided. The bound is proven to be achievable via random linear coding when no constraints in terms of latency are set. We complement our study discussing a family of simple forwarding policies that require no packet-level coding, and optimising their performance based on the amount of available downlink resources. The behaviour of both random linear coding and simplified policies is also characterised when receivers are equipped with finite buffers, revealing non-trivial tradeoffs.


title: Wormholes in exponential $f(R,T)$ gravity

abstract: Alternative gravity is nowadays an extremely important tool to address some persistent observational issues, such as the dark sector of the universe. They can also be applied to stellar astrophysics, leading to outcomes one step ahead of those obtained through General Relativity. In the present article we test a novel $f(R,T)$ gravity model within the physics and geometry of wormholes. The $f(R,T)$ gravity is a reputed alternative gravity theory in which the Ricci scalar $R$ in the Einstein-Hilbert gravitational lagrangian is replaced by a general function of $R$ and $T$, namely $f(R,T)$, with $T$ representing the trace of the energy-momentum tensor. We propose, for the first time in the literature, an exponential form for the dependence of the theory on $T$. We derive the field equations as well as the non-continuity equation and solve those to wormhole metric and energy-momentum tensor. The importance of applying alternative gravity to wormholes is that through these theories it might be possible to obtain wormhole solutions satisfying the energy conditions, departing from General Relativity well-known outcomes. In this article, we indeed show that it is possible to obtain wormhole solutions satisfying the energy conditions in the exponential $f(R,T)$ gravity. Naturally, there is still a lot to do with this model, as cosmological, galactical and stellar astrophysics applications, and the reader is strongly encouraged to do so, but, anyhow, one can see the present outcomes as a good indicative for the theory.


title: ABC: A Cryptocurrency-Focused Threat Modeling Framework

abstract: Cryptocurrencies are an emerging economic force, but there are concerns about their security. This is due, in part, to complex collusion cases and new threat vectors that could be missed by conventional security assessment strategies. To address these issues, we propose ABC, an Asset-Based Cryptocurrency-focused threat modeling framework capable of identifying such risks. ABC's key innovation is the use of collusion matrices. A collusion matrix forces a threat model to cover a large space of threat cases while simultaneously manages this process to prevent it from being overly complex. Moreover, ABC derives a system-specific threat categories that account for the financial aspects and the new asset types that cryptocurrencies introduce. We demonstrate that ABC is effective by conducting a user study and by presenting real-world use cases. The user study showed that around 71$\%$ of those who used ABC were able to identify financial security threats, as compared to only 13$\%$ of participants who used the popular framework STRIDE. The use cases further attest to the usefulness of ABC's tools for both cryptocurrency-based systems, as well as a cloud native security technology. This shows the potential of ABC as an effective security assessment technique for various types of large-scale distributed systems.


title: The Halo Drive: Fuel-Free Relativistic Propulsion of Large Masses via Recycled Boomerang Photons

abstract: Gravitational slingshots around a neutron star in a compact binary have been proposed as a means of accelerating large masses to potentially relativistic speeds. Such a slingshot is attractive since fuel is not expended for the acceleration, however it does entail a spacecraft diving into close proximity of the binary, which could be hazardous. It is proposed here that such a slingshot can be performed remotely using a beam of light which follows a boomerang null geodesic. Using a moving black hole as a gravitational mirror, kinetic energy from the black hole is transferred to the beam of light as a blueshift and upon return the recycled photons not only accelerate, but also add energy to, the spacecraft. It is shown here that this gained energy can be later expended to reach a terminal velocity of approximately 133% the velocity of the black hole. A civilization could exploit black holes as galactic way points but would be difficult to detect remotely, except for an elevated binary merger rate and excess binary eccentricity.


title: The Homunculus Brain and Categorical Logic

abstract: The interaction between syntax (formal language) and its semantics (meanings of language) is one which has been well studied in categorical logic. The results of this particular study are employed to understand how the brain is able to create meanings. To emphasize the toy character of the proposed model, we prefer to speak of the homunculus brain rather than the brain per se. The homunculus brain consists of neurons, each of which is modeled by a category, and axons between neurons, which are modeled by functors between the corresponding neuron-categories. Each neuron (category) has its own program enabling its working, i.e. a theory of this neuron. In analogy to what is known from categorical logic, we postulate the existence of a pair of adjoint functors, called Lang and Syn, from a category, now called BRAIN, of categories, to a category, now called MIND, of theories. Our homunculus is a kind of ``mathematical robot'', the neuronal architecture of which is not important. Its only aim is to provide us with the opportunity to study how such a simple brain-like structure could ``create meanings'' and perform abstraction operations out of its purely syntactic program. The pair of adjoint functors Lang and Syn model the mutual dependencies between the syntactical structure of a given theory of MIND and the internal logic of its semantics given by a category of BRAIN. In this way, a formal language (syntax) and its meanings (semantics) are interwoven with each other in a manner corresponding to the adjointness of the functors Lang and Syn. Higher cognitive functions of abstraction and realization of concepts are also modelled by a corresponding pair of adjoint functors. The categories BRAIN and MIND interact with each other with their entire structures and, at the same time, these very structures are shaped by this interaction.


title: The Ethics of AI Ethics -- An Evaluation of Guidelines

abstract: Current advances in research, development and application of artificial intelligence (AI) systems have yielded a far-reaching discourse on AI ethics. In consequence, a number of ethics guidelines have been released in recent years. These guidelines comprise normative principles and recommendations aimed to harness the "disruptive" potentials of new AI technologies. Designed as a comprehensive evaluation, this paper analyzes and compares these guidelines highlighting overlaps but also omissions. As a result, I give a detailed overview of the field of AI ethics. Finally, I also examine to what extent the respective ethical principles and values are implemented in the practice of research, development and application of AI systems - and how the effectiveness in the demands of AI ethics can be improved.


title: A Replication Study on Code Comprehension and Expertise using Lightweight Biometric Sensors

abstract: Code comprehension has been recently investigated from physiological and cognitive perspectives through the use of medical imaging. Floyd et al (i.e., the original study) used fMRI to classify the type of comprehension tasks performed by developers and relate such results to their expertise. We replicate the original study using lightweight biometrics sensors which participants (28 undergrads in computer science) wore when performing comprehension tasks on source code and natural language prose. We developed machine learning models to automatically identify what kind of tasks developers are working on leveraging their brain-, heart-, and skin-related signals. The best improvement over the original study performance is achieved using solely the heart signal obtained through a single device (BAC 87% vs. 79.1%). Differently from the original study, we were not able to observe a correlation between the participants' expertise and the classifier performance (tau = 0.16, p = 0.31). Our findings show that lightweight biometric sensors can be used to accurately recognize comprehension tasks opening interesting scenarios for research and practice.


title: Efficient Implementation of Elastohydrodynamics via Integral Operators

abstract: The dynamics of geometrically non-linear flexible filaments play an important role in a host of biological processes, from flagella-driven cell transport to the polymeric structure of complex fluids. Such problems have historically been computationally expensive due to numerical stiffness associated with the inextensibility constraint, as well as the often non-trivial boundary conditions on the governing high-order PDEs. Formulating the problem for the evolving shape of a filament via an integral equation in the tangent angle has recently been found to greatly alleviate this numerical stiffness. The contribution of the present manuscript is to enable the simulation of non-local interactions of multiple filaments in a computationally efficient manner using the method of regularized stokeslets within this framework. The proposed method is benchmarked against a non-local bead and link model, and recent code utilizing a local drag velocity law. Systems of multiple filaments (1) in a background fluid flow, (2) under a constant body force, and (3) undergoing active self-motility are modeled efficiently. Buckling instabilities are analyzed by examining the evolving filament curvature, as well as by coarse-graining the body frame tangent angles using a Chebyshev approximation for various choices of the relevant non-dimensional parameters. From these experiments, insight is gained into how filament-filament interactions can promote buckling, and further reveal the complex fluid dynamics resulting from arrays of these interacting fibers. By examining active moment-driven filaments, we investigate the speed of worm- and sperm-like swimmers for different governing parameters. The MATLAB(R) implementation is made available as an open-source library, enabling flexible extension for alternate discretizations and different surrounding flows.


title: A note on the normal largest gap between prime factors

abstract: Let $\{p_j(n)\}_{j=1}^{\omega(n)}$ denote the increasing sequence of distinct prime factors of an integer $n$. We provide details for the proof of a statement of Erd\H{o}s implying that, for any function $\xi(n)$ tending to infinity with $n$, we have $$f(n):=\max_{1\leqslant j<\omega(n)}\log \Big({\log p_{j+1}(n)\over \log p_j(n)}\Big)=\log_3n+O(\xi(n))$$ for almost all integers $n$.


title: Volumetric Maxima to be Attained by a Nonstatic Black Hole

abstract: Christodoulou and Rovelli have calculated maximal interior volume of a Schwarzschild black hole which linearly grows with time. Recently, the entropy of interior volume in a Schwarzschild black hole has also been calculated. In this article, the Eddington-Finkelstein metric is slightly modified. This modified metric satisfies Einstein's equations. The interior volume of a black hole is also calculated with the modified metric. The volume explicitly depends on a function of time, different from the Christodoulou and Rovelli volume. Also entropy is calculated corresponding to the volume which is proportional to the square of a function of time and thermodynamics is studied.


title: Thermodynamic Studies of Different Black Holes with Modifications of Entropy

abstract: In recent years, the thermodynamic properties of black holes are topics of interests. We investigate the thermodynamic properties like surface gravity and Hawking temperature on event horizon of regular black holes viz. {\it Hayward Class} and {\it asymptotically AdS (Anti-de Sitter)} black holes. We also analyze the {\it thermodynamic volume} and {\it naive geometric volume} of asymptotically AdS black holes and show that the entropy of these black holes is simply the ratio of the naive geometric volume to thermodynamic volume. We plot the different graphs and interpret them physically. We derive the {\it `cosmic-Censorship-Inequality'} for both type of black holes. Moreover, we calculate {\it the thermal heat capacity} of aforesaid black holes and study their stability in different regimes. Finally, we compute the logarithmic correction to the entropy for both the black holes considering the quantum fluctuations around the thermal equilibrium and study the corresponding thermodynamics.


title: El m\`etode de les l\'inies per a la resoluci\'o num\`erica d'equacions en derivades parcials. The method of lines for numerical solutions of partial differential equations

abstract: In this paper, we describe a semi-discrete method for a numerical resolution of a type of partial differential equations, called the method of lines (MOL). This method is based on the discretization of all but one of the variables of the problem. We illustrate this method by solving the Laplace equation in Cartesian coordinates. We compare the concepts used by the MOL with respect to the analytical method of variable separation. We show that the results obtained with the MOL are very good approximations of the analytical solutions.


title: Post-Keplerian motion in Reissner-Nordstr\"{o}m spacetime

abstract: We present the analytical post-Newtonian solutions for the test particle's motion in the Reissner-Nordstr\"{o}m spacetime. The solutions are formulated in the Wagoner-Will representation, the Epstein-Haugan representation, the Brumberg representation, and the Damour-Deruelle representation, respectively. The relations between the (post-)Keplerian parameters in different representations, as well as their relations to the orbital energy and angular momentum are also provided.


title: Vortex soliton in a cold atomic gas via electromagnetically induced transparency

abstract: We investigate the formation and propagation of vector vortex solitons (VS) and unipolar soliton (US) in a cold atomic gas with Bessel lattices (BLs). The system we consider is a cold, coherent atomic gas with a tripod or multipod level configuration. Dueing to the giant enhancement of Kerr nonlinearity contributed by electromagnetically induced transparency (EIT), a vector weak vortex soliton can be effectively formed with ultraslow propagating velocity. Furthermore, we demonstrate that the characteristics of 2D VS and US can be controlled and manipulated via adjusting BLs. The results predicted here may be used to design all-optical switching at very low light level.


title: A general framework to study the extremal phase transition of black holes

abstract: We investigate the universality of some features for the extremal phase transition of black holes and unify all the approaches which have been applied in different spacetimes. Unlike the other existing approaches where the information of the spacetime and its dimension is directly used to get various results, we provide a general formulation in which those results are obtained for any arbitrary black hole spacetime having an extremal limit. Calculating the second order moments of fluctuations of some thermodynamic quantities we show that, the phase transition occurs only in the microcanonical ensemble. Without considering any specific black hole we calculate the values of critical exponents for this type of phase transition. These are shown to be in agreement with the values obtained earlier for metric specified cases. Finally we extend our analysis to the geometrothermodynamics (henceforth GTD) formulation. We show that for any black hole, if there is an extremal point, the Ricci scalar for the Ruppeiner metric must diverge at that point.


title: Josephson Field-Effect Transistors Based on All-Metallic Al/Cu/Al Proximity Nanojunctions

abstract: We demonstrate the first \textit{all-metallic} mesoscopic superconductor-normal metal-superconductor (SNS) field-effect controlled Josephson transistors (SNS-FETs) and show their full characterization from the critical temperature $T_c$ down to 50 mK in the presence of both electric and magnetic field. The ability of a static electric field -applied by mean of a lateral gate electrode- to suppress the critical current $I_s$ in a proximity-induced superconductor is proven for both positive and negative gate voltage values. $I_s$ suppression reached typically about one third of its initial value, saturating at high gate voltages. The transconductance of our SNS-FETs obtains values as high as 100 nA/V at 100 mK. On the fundamental physics side, our results suggest that the mechanism at the basis of the observed phenomenon is quite general and does not rely on the existence of a true pairing potential, but rather the presence of superconducting correlations is enough for the effect to occur. On the technological side, our findings widen the family of materials available for the implementation of all-metallic field-effect transistors to \textit{synthetic} proximity-induced superconductors.


title: Buchdahl compactness limit and gravitational field energy

abstract: The main aim of this paper is essentially to point out that the Buchdahl compactness limit of a static object is given by \it{gravitational field energy being less than or equal to half of its non-gravitational matter energy}. It is thus entirely determined without any reference to interior distribution by the exterior unique solutions, the Schwarzschild for neutral and the Reissner-Nordstr{$\ddot o$}m for charged object. In terms of surface potential, it reads as $\Phi(R) = (M-Q^2/2R)/R \leq 4/9$ which translates to surface red-shift being less than or equal to $3$. It also prescribes an upper bound on charge an object could have, $Q^2/M^2 \leq 9/8 > 1$.


title: The temperature and entropy corrections on the charged hairy black holes

abstract: In this paper, we consider the first order correction of the entropy and temperature in a charged black hole with a scalar field. Here, we apply such correction for the different cases of black holes. These corrections are due to the thermal fluctuations of statistical physics. Also, we take advantage of such corrections and study the $ P - V $ critically and phase transition. Also, we investigate the effect of correction on the critical point and stability of the system. We obtain modified thermodynamics quantities and find effects of thermal fluctuations in the stability of the black hole. We find that stability of black hole is depend on the thermal fluctuations. Finally, we compare the results of the corrected and uncorrected by thermodynamical quantities.


title: Towards a Framework to Manage Perceptual Uncertainty for Safe Automated Driving

abstract: Perception is a safety-critical function of autonomous vehicles and machine learning (ML) plays a key role in its implementation. This position paper identifies (1) perceptual uncertainty as a performance measure used to define safety requirements and (2) its influence factors when using supervised ML. This work is a first step towards a framework for measuring and controling the effects of these factors and supplying evidence to support claims about perceptual uncertainty.


title: Dynamical phase transition in the 1D-transverse field Ising chain characterized by the transverse magnetization spectral function

abstract: We study a 1D-Quantum Ising Model in transverse field driven out of equilibrium by performing a composite quantum quench to deduce the asymptotic properties of the transverse magnetization stationary state via the analysis of the spectral function. What emerges is that, in correspondence of the dynamical phase transition transition predicted for this model, the spectral function vanishes giving a hint of the criticality. This result suggests also that linear response experiment can be used to detect this kind of phase transition.


title: Local asymptotic normality for shape and periodicity of a signal in the drift of a degenerate diffusion with internal variables

abstract: Taking a multidimensional time-homogeneous dynamical system and adding a randomly perturbed time-dependent deterministic signal to some of its components gives rise to a high-dimensional system of stochastic differential equations which is driven by possibly very low-dimensional noise. Equations of this type are commonly used in biology for modeling neurons or in statistical mechanics for certain Hamiltonian systems. Assuming that the signal depends on an unknown shape parameter $\theta$ and also has an unknown periodicity $T$, we prove Local Asymptotic Normality (LAN) jointly in $\theta$ and $T$ for the statistical experiment arising from (partial) observation of this diffusion in continuous time. The local scale turns out to be $n^{-1/2}$ for $\theta$ and $n^{-3/2}$ for $T$ which generalizes known results for simpler systems.


title: Uncertainty-aware performance assessment of optical imaging modalities with invertible neural networks

abstract: Purpose: Optical imaging is evolving as a key technique for advanced sensing in the operating room. Recent research has shown that machine learning algorithms can be used to address the inverse problem of converting pixel-wise multispectral reflectance measurements to underlying tissue parameters, such as oxygenation. Assessment of the specific hardware used in conjunction with such algorithms, however, has not properly addressed the possibility that the problem may be ill-posed. Methods: We present a novel approach to the assessment of optical imaging modalities, which is sensitive to the different types of uncertainties that may occur when inferring tissue parameters. Based on the concept of invertible neural networks, our framework goes beyond point estimates and maps each multispectral measurement to a full posterior probability distribution which is capable of representing ambiguity in the solution via multiple modes. Performance metrics for a hardware setup can then be computed from the characteristics of the posteriors. Results: Application of the assessment framework to the specific use case of camera selection for physiological parameter estimation yields the following insights: (1) Estimation of tissue oxygenation from multispectral images is a well-posed problem, while (2) blood volume fraction may not be recovered without ambiguity. (3) In general, ambiguity may be reduced by increasing the number of spectral bands in the camera. Conclusion: Our method could help to optimize optical camera design in an application-specific manner.


title: Interpolation of weighted extremal functions

abstract: An approach to complex interpolation of compact subsets of $\Bbb C^n$, including Brunn-Minkowski type inequalities for the capacities of the interpolating sets, was developed recently by means of plurisubharmonic geodesics between relative extremal functions of the given sets. Here we show that a much better control can be achieved by means of the geodesics between weighted relative extremal functions. In particular, we establish convexity properties of the capacities that are stronger than those given by the Brunn-Minkowski inequalities.


title: Egocentric Bias and Doubt in Cognitive Agents

abstract: Modeling social interactions based on individual behavior has always been an area of interest, but prior literature generally presumes rational behavior. Thus, such models may miss out on capturing the effects of biases humans are susceptible to. This work presents a method to model egocentric bias, the real-life tendency to emphasize one's own opinion heavily when presented with multiple opinions. We use a symmetric distribution centered at an agent's own opinion, as opposed to the Bounded Confidence (BC) model used in prior work. We consider a game of iterated interactions where an agent cooperates based on its opinion about an opponent. Our model also includes the concept of domain-based self-doubt, which varies as the interaction succeeds or not. An increase in doubt makes an agent reduce its egocentricity in subsequent interactions, thus enabling the agent to learn reactively. The agent system is modeled with factions not having a single leader, to overcome some of the issues associated with leader-follower factions. We find that agents belonging to factions perform better than individual agents. We observe that an intermediate level of egocentricity helps the agent perform at its best, which concurs with conventional wisdom that neither overconfidence nor low self-esteem brings benefits.


title: Discovery of a second pulsating intermediate helium-enriched sdOB star

abstract: We present the discovery of long-period, low-amplitude, g-mode pulsations in the intermediate He-rich hot subdwarf (sdOB) star Feige 46. Up until now only one other He-enriched sdOB star (LS IV -14116) was known to exhibit such pulsations. From our ground-based light curves of Feige 46, we extracted five independent periodicities ranging from 2294 s to 3400 s. We fitted our low-resolution, high signal-to-noise optical spectrum of the star with our grid of non-LTE model atmospheres and derived the following atmospheric parameters: Teff = 36120 $\pm$ 230 K, log g = 5.93 $\pm$ 0.04 and log N(He)/N(H) = -0.32 $\pm$ 0.03 (formal fitting errors only). These parameters are very similar to those of LS IV -14116 and place Feige 46 well outside of the instability strip where the hydrogen-rich g-mode sdB pulsators are found. We used the Gaia parallax and proper motion of Feige 46 to perform a kinematic analysis of this star and found that it likely belongs to the Galactic halo population. This is most certainly an intriguing and interesting result given that LS IV -14116 is also a halo object. The mechanism responsible for the pulsations in these two peculiar objects remains unclear but a possible scenario involves the $\epsilon$-mechanism. Although they are the only two members in their class of variable stars, these pulsators appear to have more in common than just their pulsation properties.


title: Joint Learning of Brain Lesion and Anatomy Segmentation from Heterogeneous Datasets

abstract: Brain lesion and anatomy segmentation in magnetic resonance images are fundamental tasks in neuroimaging research and clinical practice. Given enough training data, convolutional neuronal networks (CNN) proved to outperform all existent techniques in both tasks independently. However, to date, little work has been done regarding simultaneous learning of brain lesion and anatomy segmentation from disjoint datasets. In this work we focus on training a single CNN model to predict brain tissue and lesion segmentations using heterogeneous datasets labeled independently, according to only one of these tasks (a common scenario when using publicly available datasets). We show that label contradiction issues can arise in this case, and propose a novel adaptive cross entropy (ACE) loss function that makes such training possible. We provide quantitative evaluation in two different scenarios, benchmarking the proposed method in comparison with a multi-network approach. Our experiments suggest that ACE loss enables training of single models when standard cross entropy and Dice loss functions tend to fail. Moreover, we show that it is possible to achieve competitive results when comparing with multiple networks trained for independent tasks.


title: Talking about interaction*

abstract: Recent research has exposed disagreements over the nature and usefulness of what may (or may not) be Human-Computer Interaction's fundamental phenomenon: 'interaction'. For some, HCI's theorising about interaction has been deficient, impacting its capacity to inform decisions in design, suggesting the need either to perform first-principles definition work or broader administrative clarification and formalisation of the multitude of formulations of the concepts of interaction and their particular uses. For others, there remain open questions over the continued relevance of certain 'versions' of interaction as a useful concept in HCI at all. We pursue a different perspective in this paper, reviewing how HCI treats interaction through examining its 'conceptual pragmatics' within HCI's discourse. We argue that articulations of the concepts of interaction can be a site of productive conflict for HCI that for many reasons may resist attempts of formalisation as well as attempts to dispense with them. The main contribution of this paper is in specifying how we might go about talking of interaction and the value of interaction language as promiscuous concepts.


title: Random Matrix-Improved Estimation of the Wasserstein Distance between two Centered Gaussian Distributions

abstract: This article proposes a method to consistently estimate functionals $\frac1p\sum_{i=1}^pf(\lambda_i(C_1C_2))$ of the eigenvalues of the product of two covariance matrices $C_1,C_2\in\mathbb{R}^{p\times p}$ based on the empirical estimates $\lambda_i(\hat C_1\hat C_2)$ ($\hat C_a=\frac1{n_a}\sum_{i=1}^{n_a} x_i^{(a)}x_i^{(a){{\sf T}}}$), when the size $p$ and number $n_a$ of the (zero mean) samples $x_i^{(a)}$ are similar. As a corollary, a consistent estimate of the Wasserstein distance (related to the case $f(t)=\sqrt{t}$) between centered Gaussian distributions is derived. The new estimate is shown to largely outperform the classical sample covariance-based `plug-in' estimator. Based on this finding, a practical application to covariance estimation is then devised which demonstrates potentially significant performance gains with respect to state-of-the-art alternatives.


title: Support and Invertibility in Domain-Invariant Representations

abstract: Learning domain-invariant representations has become a popular approach to unsupervised domain adaptation and is often justified by invoking a particular suite of theoretical results. We argue that there are two significant flaws in such arguments. First, the results in question hold only for a fixed representation and do not account for information lost in non-invertible transformations. Second, domain invariance is often a far too strict requirement and does not always lead to consistent estimation, even under strong and favorable assumptions. In this work, we give generalization bounds for unsupervised domain adaptation that hold for any representation function by acknowledging the cost of non-invertibility. In addition, we show that penalizing distance between densities is often wasteful and propose a bound based on measuring the extent to which the support of the source domain covers the target domain. We perform experiments on well-known benchmarks that illustrate the short-comings of current standard practice.


title: Quantum observation scheme universally identifying causalities from correlations

abstract: It has long been recognized as a difficult problem to determine whether the observed statistical correlation between two classical variables arise from causality or from common causes. Recent research has shown that in quantum theoretical framework, the mechanisms of entanglement and quantum coherence provide an advantage in tackling this problem. In some particular cases, quantum common causes and quantum causality can be effectively distinguished using observations only. However, these solutions do not apply to all cases. There still exist enormous cases in which quantum common causes and quantum causality can not be distinguished. In this paper, along the line of considering unitary transformation as causality in the quantum world, we formally show quantum common causes and quantum causality are universally separable. Based on the analysis, we further provide a general method to discriminate the two.


title: Critical growth elliptic problems involving Hardy-Littlewood-Sobolev critical exponent in non-contractible domains

abstract: The paper is concerned with the existence and multiplicity of positive solutions of the nonhomogeneous Choquard equation over an annular type bounded domain. Precisely, we consider the following equation \[ -\De u = \left(\int_{\Om}\frac{|u(y)|^{2^*_{\mu}}}{|x-y|^{\mu}}dy\right)|u|^{2^*_{\mu}-2}u+f \; \text{in}\; \Om,\quad u = 0 \; \text{ on } \pa \Om , \] where $\Om$ is a smooth bounded annular domain in $\mathbb{R}^N( N\geq 3)$, $2^*_{\mu}=\frac{2N-\mu}{N-2}$, $f \in L^{\infty}(\Om)$ and $f \geq 0$. We prove the existence of four positive solutions of the above problem using the Lusternik-Schnirelmann theory and varitaional methods, when the inner hole of the annulus is sufficiently small.


title: A semilinear Schroedinger equation with random potential

abstract: We study a non-linear Schroedinger equation with a Hartree-type nonlinearity and a localized random time-dependent external potential. Sharp dispersive estimates for the linear Schroedinger equation with a random time-dependent potential enable us to also treat the case of small semi-linear perturbations. In both the linear and the nonlinear instances, we prove that, on average, energy remains bounded and solutions scatter.


title: Air-core fiber distribution of hybrid vector vortex-polarization entangled states

abstract: Entanglement distribution between distant parties is one of the most important and challenging tasks in quantum communication. Distribution of photonic entangled states using optical fiber links is a fundamental building block towards quantum networks. Among the different degrees of freedom, orbital angular momentum (OAM) is one of the most promising due to its natural capability to encode high dimensional quantum states. In this article, we experimentally demonstrate fiber distribution of hybrid polarization-vector vortex entangled photon pairs. To this end, we exploit a recently developed air-core fiber which supports OAM modes. High fidelity distribution of the entangled states is demonstrated by performing quantum state tomography in the polarization-OAM Hilbert space after fiber propagation, and by violations of Bell inequalities and multipartite entanglement tests. The present results open new scenarios for quantum applications where correlated complex states can be transmitted by exploiting the vectorial nature of light.


title: Geometry Mapping, Complete Pascal Scheme versus Standard Bilinear Approach

abstract: This paper presents a complete Pascal interpolation scheme for use in the plane geometry mapping applied in association with numerical methods. The geometry of a domain element is approximated by a complete Pascal polynomial. The interpolation procedure is formulated in a natural coordinate system. It also presents the methodology of constructing shape functions of Pascal type and establishing a transformation relation between natural and Cartesian variables. The performance of the presented approach is investigated firstly by calculating the geometrical properties of an arbitrary quadrilateral cross-section like area and moments of inertia and comparing the results with the exact values and with those provided by the standard linear approach and a serendipity family approach. Secondly, the assessment of the scheme follows using a straight-sided, compatible quadrilateral finite element for plate bending of which geometry is approximated by a complete set of second order with six free parameters. Triangular and quadrilateral shaped plates with different boundary conditions are computed and compared with well-known results in the literature. The presented procedure is of general applicability for elements with curved edges and not limited to straight-sided edges in the framework of numerical methods.


title: Quantum simulation of negative hydrogen ion using variational quantum eigensolver on IBM quantum computer

abstract: The negative hydrogen ion is the first three body quantum problem whose ground state energy is calculated using the `Chandrasekhar Wavefunction' that accounts for the electron-electron correlation. Solving multi-body systems is a daunting task in quantum mechanics as it includes choosing a trial wavefunction and the calculation of integrals for the system that becomes almost impossible for systems with three or more particles. This difficulty can be addressed by quantum computers. They have emerged as a tool to address different electronic structure problems with remarkable efficiency. They have been realized in various fields and proved their efficiency over classical computers. Here, we show the quantum simulation of H^{-} ion to calculate it's ground state energy in IBM quantum computer. The energy is found to be -0.5339355468 Hartree with an error of 0.8376% as compared to the theoretical value. We observe that the quantum computer is efficient in preparing the correlated wavefunction of H^{-} and calculating it's ground state energy. We use a recently developed algorithm known as `Variational Quantum Eigensolver' and implement it in IBM's 5-qubit quantum chip `ibmqx2'. The method consists of a quantum part i.e., state preparation and measurement of expectation values using the quantum computer, and the classical part i.e., the optimization routine run in a classical computer for energy convergence. An optimization routine is performed on classical computer by running quantum chemistry program and codes in QISKit to converge the energy to the minimum. We also present a comparison of different optimization routines and encoding methods used to converge the energy value to the minimum. The technique can be used to solve various many body problems with great efficiency.


title: Stellar wind accretion and accretion disk formation: applications to neutron star high mass X-ray binaries

abstract: Recent X-ray observations have revealed the complexity and diversity of high-mass X-ray binaries (HMXBs). This diversity challenges a classical understanding of the accretion process onto the compact objects. In this study, we reinforce the conventional concept of the nature of wind-fed accretion onto a neutron star considering the geometrical effect of radiatively accelerated wind, and re-evaluate the transported angular momentum by using a simple wind model. Our results suggest that even in an OB-type HMXB fed by stellar wind, a large amount of angular momentum could be transported to form an accretion disk due to the wind-inhomogeneity, if the binary separation is tight enough and/or stellar wind is slow. We apply our model into actual systems such as LMC X-4 and OAO 1657-415, and discuss the possibility of disk formations in these systems.


title: Nonsurjective maps between rectangular matrix spaces preserving disjointness, triple products, or norms

abstract: Let $M_{m,n}$ be the space of $m\times n$ real or complex rectangular matrices. Two matrices $A, B \in M_{m,n}$ are disjoint if $A^*B = 0_n$ and $AB^* = 0_m$. In this paper, a characterization is given for linear maps $\Phi: M_{m,n} \rightarrow M_{r,s}$ sending disjoint matrix pairs to disjoint matrix pairs, i.e., $A, B \in M_{m,n}$ are disjoint ensures that $\Phi(A), \Phi(B) \in M_{r,s}$ are disjoint. More precisely, it is shown that $\Phi$ preserves disjointness if and only if $\Phi$ is of the form $$\Phi(A) = U\begin{pmatrix} A \otimes Q_1 & 0 & 0 \cr 0 & A^t \otimes Q_2 & 0 \cr 0 & 0 & 0 \cr\end{pmatrix}V$$ for some unitary matrices $U \in M_{r,r}$ and $V\in M_{s,s}$, and positive diagonal matrices $Q_1, Q_2$, where $Q_1$ or $Q_2$ may be vacuous. The result is used to characterize nonsurjective linear maps that preserve the $JB^*$-triple product, or just the zero triple product, on rectangular matrices, defined by $\{A,B,C\} = \frac{1}{2}(AB^*C+CB^*A)$. The result is also applied to characterize linear maps between rectangular matrix spaces of different sizes preserving the Schatten $p$-norms or the Ky Fan $k$-norms.


title: Scattering study of Pulsars below 100 MHz using LWA1

abstract: Interstellar scattering causes pulsar profiles to grow asymmetrically, thus affecting the pulsar timing residuals, and is strongest at lower frequencies. Different Interstellar medium models predict different frequency ($\nu$) and dispersion measure (DM) dependencies for the scattering time-scale $\tau_{sc}$. For Gaussian inhomogeneity the expected scaling relation is $\tau_{sc} \propto \nu^{-4}\ DM^{2}$, while for a Kolmogorov distribution of irregularities, the expected relation is $\tau_{sc} \propto \nu^{-4.4}\ DM^{2.2}$. Previous scattering studies show a wide range of scattering index across all ranges of DM. A scattering index below 4 is believed to be either due to limitations of the underlying assumptions of the thin screen model or an anisotropic scattering mechanism. We present a study of scattering for seven nearby pulsars (DM $< 50$ pc cm$^{-3}$) observed at low frequencies ($10-88$ MHz), using the first station of the Long Wavelength Array (LWA1). We examine the scattering spectral index and DM variation over a period of about three years. The results yield insights into the small-scale structure of ISM as well as the applicability of the thin screen model for low DM pulsars.


title: Test vectors for Rankin-Selberg $L$-functions

abstract: We study the local zeta integrals attached to a pair of generic representations $(\pi,\tau)$ of $GL_n\times GL_m$, $n>m$, over a $p$-adic field. Through a process of unipotent averaging we produce a pair of corresponding Whittaker functions whose zeta integral is non-zero, and we express this integral in terms of the Langlands parameters of $\pi$ and $\tau$. In many cases, these Whittaker functions also serve as a test vector for the associated Rankin-Selberg (local) $L$-function.


title: On the Traffic Impacts of Optimally Controlled Connected and Automated Vehicles

abstract: The implementation of connected and automated vehicle (CAV) technologies enables a novel computational framework for real-time control actions aimed at optimizing energy consumption and associated benefits. Several research efforts reported in the literature to date have proposed decentralized control algorithms to coordinate CAVs in various traffic scenarios, e.g., highway on-ramps, intersections, and roundabouts. However, the impact of optimally coordinating CAVs on the performance of a transportation network has not been thoroughly analyzed yet. In this paper, we apply a decentralized optimal control framework in a transportation network and compare its performance to a baseline scenario consisting of human-driven vehicles. We show that introducing of CAVs yields radically improved roadway capacity and network performance.


title: Torus action on quaternionic projective plane and related spaces

abstract: For an action of a compact torus $T$ on a smooth compact manifold~$X$ with isolated fixed points the number $\frac{1}{2}\dim X-\dim T$ is called the complexity of the action. In this paper we study certain examples of torus actions of complexity one and describe their orbit spaces. We prove that $\mathbb{H}P^2/T^3\cong S^5$ and $S^6/T^2\cong S^4$, for the homogeneous spaces $\mathbb{H}P^2=Sp(3)/(Sp(2)\times Sp(1))$ and $S^6=G_2/SU(3)$. Here the maximal tori of the corresponding Lie groups $Sp(3)$ and $G_2$ act on the homogeneous spaces by the left multiplication. Next we consider the quaternionic analogues of smooth toric surfaces: they give a class of 8-dimensional manifolds with the action of $T^3$, generalizing $\mathbb{H}P^2$. We prove that their orbit spaces are homeomorphic to $S^5$ as well. We link this result to Kuiper--Massey theorem and some of its generalizations.


title: Mass Correction to Chiral Kinetic Equations

abstract: We study fermion mass correction to chiral kinetic equations in electromagnetic fields. Different from the chiral limit where fermion number density is the only independent distribution, the number and spin densities are coupled to each other for massive fermion systems. To the first order in $\hbar$, we derived the quantum correction to the classical on-shell condition and the Boltzmann-type transport equations. To the linear order in the fermion mass, the mass correction does not change the structure of the chiral kinetic equations and behaves like additional collision terms. While the mass correction exists already at classical level in general electromagnetic fields, it is only a first order quantum correction in the study of chiral magnetic effect.


title: On Boosting Semantic Street Scene Segmentation with Weak Supervision

abstract: Training convolutional networks for semantic segmentation requires per-pixel ground truth labels, which are very time consuming and hence costly to obtain. Therefore, in this work, we research and develop a hierarchical deep network architecture and the corresponding loss for semantic segmentation that can be trained from weak supervision, such as bounding boxes or image level labels, as well as from strong per-pixel supervision. We demonstrate that the hierarchical structure and the simultaneous training on strong (per-pixel) and weak (bounding boxes) labels, even from separate datasets, constantly increases the performance against per-pixel only training. Moreover, we explore the more challenging case of adding weak image-level labels. We collect street scene images and weak labels from the immense Open Images dataset to generate the OpenScapes dataset, and we use this novel dataset to increase segmentation performance on two established per-pixel labeled datasets, Cityscapes and Vistas. We report performance gains up to +13.2% mIoU on crucial street scene classes, and inference speed of 20 fps on a Titan V GPU for Cityscapes at 512 x 1024 resolution. Our network and OpenScapes dataset are shared with the research community.


title: Gapsets of small multiplicity

abstract: A gapset is the complement of a numerical semigroup in N. In this paper, we characterize all gapsets of multiplicity m $\le$ 4. As a corollary, we provide a new simpler proof that the number of gapsets of genus g and fixed multiplicity m $\le$ 4 is a nondecreasing function of g.


title: Limit behaviour of the minimal solution of a BSDE in the non Markovian setting

abstract: We use the functional It{\^o} calculus to prove that the solution of a BSDE with singular terminal condition is continuous at the terminal time. Hence we extend known results for a non-Markovian terminal condition.


title: The Fall of a Giant. Chemical evolution of Enceladus, alias the Gaia Sausage

abstract: We present the first chemical evolution model for Enceladus, alias the Gaia Sausage, to investigate the star formation history of one of the most massive satellites accreted by the Milky Way during a major merger event. Our best chemical evolution model for Enceladus nicely fits the observed stellar [$\alpha$/Fe]-[Fe/H] chemical abundance trends, and reproduces the observed stellar metallicity distribution function, by assuming low star formation efficiency, fast infall time scale, and mild outflow intensity. We predict a median age for Enceladus stars $12.33^{+0.92}_{-1.36}$ Gyr, and - at the time of the merger with our Galaxy ($\approx10$ Gyr ago from Helmi et al.) - we predict for Enceladus a total stellar mass $M_{\star} \approx 5 \times 10^{9}\,\text{M}_{\odot}$. By looking at the predictions of our best model, we discuss that merger events between the Galaxy and systems like Enceladus may have inhibited the gas accretion onto the Galaxy disc at high redshifts, heating up the gas in the halo. This scenario could explain the extended period of quenching in the star formation activity of our Galaxy about 10 Gyr ago, which is predicted by Milky Way chemical evolution models, in order to reproduce the observed bimodality in [$\alpha$/Fe]-[Fe/H] between thick- and thin-disc stars.