title: Photometry of asteroids (5141), (43032), (85953), (259221), and (363599) observed at Pic du Midi Observatory

abstract: These are the first results of an observational program devoted to the complete physical data of asteroids that could produce or feed meteoroid streams. Our results are based on the optical observation at Pic du Midi observatory in April 6-7, 2016 and January 17-18, 2018. We will present the light curve of asteroid (259221) 2003 BA21, associated with Daytime Sextantids (221 DSX) and November theta Aurigids (390 THA); the light curves and colors of asteroid (363599) 2004 FG11, associated with Daytime zeta Perseids (172 ZPE) as well as g-r and g-i; and the corresponding reflectances for the (85953) 1999 FK21, associated with Daytime eta Sagittariids (100 XSA). We will also present the colors for two additional objects, namely, (5141) Tachibana and (43032) 1999 VR26.


title: Auction Mechanisms in Cloud/Fog Computing Resource Allocation for Public Blockchain Networks

abstract: As an emerging decentralized secure data management platform, blockchain has gained much popularity recently. To maintain a canonical state of blockchain data record, proof-of-work based consensus protocols provide the nodes, referred to as miners, in the network with incentives for confirming new block of transactions through a process of "block mining" by solving a cryptographic puzzle. Under the circumstance of limited local computing resources, e.g., mobile devices, it is natural for rational miners, i.e., consensus nodes, to offload computational tasks for proof of work to the cloud/fog computing servers. Therefore, we focus on the trading between the cloud/fog computing service provider and miners, and propose an auction-based market model for efficient computing resource allocation. In particular, we consider a proof-of-work based blockchain network. Due to the competition among miners in the blockchain network, the allocative externalities are particularly taken into account when designing the auction mechanisms. Specifically, we consider two bidding schemes: the constant-demand scheme where each miner bids for a fixed quantity of resources, and the multi-demand scheme where the miners can submit their preferable demands and bids. For the constant-demand bidding scheme, we propose an auction mechanism that achieves optimal social welfare. In the multi-demand bidding scheme, the social welfare maximization problem is NP-hard. Therefore, we design an approximate algorithm which guarantees the truthfulness, individual rationality and computational efficiency. Through extensive simulations, we show that our proposed auction mechanisms with the two bidding schemes can efficiently maximize the social welfare of the blockchain network and provide effective strategies for the cloud/fog computing service provider.


title: Quantum work statistics and resource theories: bridging the gap through Renyi divergences

abstract: The work performed on or extracted from a non-autonomous quantum system described by means of a two-point projective-measurement approach takes the form of a stochastic variable. We show that the cumulant generating function of work can be recast in the form of quantum Renyi divergences, and by exploiting convexity of this cumulant generating function, derive a single-parameter family of bounds for the first moment of work. Higher order moments of work can also be obtained from this result. In this way, we establish a link between quantum work statistics in stochastic approaches on the one hand and resource theories for quantum thermodynamics on the other hand, a theory in which Renyi divergences take a central role. To explore this connection further, we consider an extended framework involving a control switch and an auxiliary battery, which is instrumental to reconstruct the work statistics of the system. We compare and discuss our bounds on the work distribution to findings on deterministic work studied in resource theoretic settings.


title: Near-Lossless Deep Feature Compression for Collaborative Intelligence

abstract: Collaborative intelligence is a new paradigm for efficient deployment of deep neural networks across the mobile-cloud infrastructure. By dividing the network between the mobile and the cloud, it is possible to distribute the computational workload such that the overall energy and/or latency of the system is minimized. However, this necessitates sending deep feature data from the mobile to the cloud in order to perform inference. In this work, we examine the differences between the deep feature data and natural image data, and propose a simple and effective near-lossless deep feature compressor. The proposed method achieves up to 5% bit rate reduction compared to HEVC-Intra and even more against other popular image codecs. Finally, we suggest an approach for reconstructing the input image from compressed deep features in the cloud, that could serve to supplement the inference performed by the deep model.


title: High Performance Metal-Insulator-Graphene Diodes for Radio Frequency Power Detection Application

abstract: Vertical metal-insulator-graphene (MIG) diodes for radio frequency (RF) power detection are realized using a scalable approach based on graphene grown by chemical vapor deposition and TiO2 as barrier material. The temperature dependent current flow through the diode can be described by thermionic emission theory taking into account a bias induced barrier lowering at the graphene TiO2 interface. The diodes show excellent figures of merit for static operation, including high on-current density of up to 28 A/cm^2, high asymmetry of up to 520, strong maximum nonlinearity of up to 15, and large maximum responsivity of up to 26 V^{-1}, outperforming state-of-the-art metal-insulator-metal and MIG diodes. RF power detection based on MIG diodes is demonstrated, showing a responsivity of 2.8 V/W at 2.4 GHz and 1.1 V/W at 49.4 GHz.


title: A second order positivity preserving well-balanced finite volume scheme for Euler equations with gravity for arbitrary hydrostatic equilibria

abstract: We present a well-balanced finite volume solver for the compressible Euler equations with gravity where the approximate Riemann solver is derived using a relaxation approach. Besides the well-balanced property, the scheme is robust with respect to the physical admissible states. Another feature of the method is that it can maintain general stationary solutions of the hydrostatic equilibrium up to machine precision. For the first order scheme we present a well-balanced and positivity preserving second order extension using a modified minmod slope limiter. To maintain the well-balanced property, we reconstruct in equilibrium variables. Numerical examples are performed to demonstrate the accuracy, well-balanced and positivity preserving property of the presented scheme for up to 3 space dimensions.


title: Short note on an open problem

abstract: In this work, we investigate a problem posed by Feng Qi and Bai-Ni Guo in their paper Complete monotonicities of functions involving the gamma and digamma functions.


title: On the classification of two-qubit group orbits and the use of coarse-grained 'shape' as a superselection property

abstract: Recently a complete set of entropic conditions has been derived for the interconversion structure of states under quantum operations that respect a specified symmetry action, however the core structure of these conditions is still only partially understood. Here we develop a coarse-grained description with the aim of shedding light on both the structure and the complexity of this general problem. Specifically, we consider the degree to which one can associate a basic `shape' property to a quantum state or channel that captures coarse-grained data either for state interconversion or for the use of a state within a simulation protocol. We provide a complete solution for the two-qubit case under the rotation group, give analysis for the more general case and discuss possible extensions of the approach.


title: Norming subspaces of Banach spaces

abstract: We show that, if $X$ is a closed subspace of a Banach space $E$ and $Z$ is a closed subspace of $E^*$ such that $Z$ is norming for $X$ and $X$ is total over $Z$ (as well as $X$ is norming for $Z$ and $Z$ is total over $X$), then $X$ and the pre-annihilator of $Z$ are complemented in $E$ whenever $Z$ is $w^*$-closed or $X$ is reflexive.


title: The pc-scale radio structure of MIR-observed radio galaxies

abstract: We investigated the relationship between the accretion process and jet properties by ultilizing the VLBA and mid-infrared (MIR) data for a sample of 45 3CRR radio galaxies selected with a flux density at 178 MHz $>16.4$ Jy, 5 GHz VLA core flux density $\geq$ 7 mJy, and MIR observations. The pc-scale radio structure at 5 GHz are presented by using our VLBA observations for 21 sources in February, 2016, the analysis on the archival data for 16 objects, and directly taking the measurements for 8 radio galaxies available in literatures. The accretion mode is constrained from the Eddington ratio with a dividing value of 0.01, which is estimated from the MIR-based bolometric luminosity and the black hole masses. While most FRII radio galaxies have higher Eddington ratio than FRIs, we found that there is indeed no single correspondence between the FR morphology and accretion mode with eight FRIIs at low accretion and two FRIs at high accretion rate. There is a significant correlation between the VLBA core luminosity at 5 GHz and the Eddington ratio. Various morphologies are found in our sample, including core only, single-sided core-jet, and two-sided core-jet structures. We found that the higher accretion rate may be more likely related with the core-jet structure, thus more extended jet. These results imply that the higher accretion rates are likely able to produce more powerful jets. There is a strong correlation between the MIR luminosity at 15 $\mu$m and VLBA 5 GHz core luminosity, in favour of the tight relation between the accretion disk and jets. In our sample, the core brightness temperature ranges from $10^{9}$ to $10^{13.38}$ K with a median value of $10^{11.09}$ K indicating that systematically the beaming effect may not be significant....


title: A Formal Approach to Analyzing Cyber-Forensics Evidence

abstract: The frequency and harmfulness of cyber-attacks are increasing every day, and with them also the amount of data that the cyber-forensics analysts need to collect and analyze. In this paper, we propose a formal analysis process that allows an analyst to filter the enormous amount of evidence collected and either identify crucial information about the attack (e.g., when it occurred, its culprit, its target) or, at the very least, perform a pre-analysis to reduce the complexity of the problem in order to then draw conclusions more swiftly and efficiently. We introduce the Evidence Logic EL for representing simple and derived pieces of evidence from different sources. We propose a procedure, based on monotonic reasoning, that rewrites the pieces of evidence with the use of tableau rules, based on relations of trust between sources and the reasoning behind the derived evidence, and yields a consistent set of pieces of evidence. As proof of concept, we apply our analysis process to a concrete cyber-forensics case study.


title: Almost Sure Central Limit Theorem in Sub-linear Expectation Spaces

abstract: Peng (2006) initiated a new kind of central limit theorem under sub-linear expectations. Song (2017) gave an estimate of the rate of convergence of Peng's central limit theorem. Based on these results, we establish a new kind of almost sure central limit theorem under sub-linear expectations in this paper, which is a quasi sure convergence version of Peng's central limit theorem. Moreover, this result is a natural extension of the classical almost sure central limit theorem to the case where the probability is no longer additive. Meanwhile, we prove a new kind of strong law of large numbers for non-additive probabilities without the independent identically distributed assumption.


title: Computation of optimal linear strong stability preserving methods via adaptive spectral transformations of Poisson-Charlier measures

abstract: Strong stability preserving (SSP) coefficients govern the maximally allowable step-size at which positivity or contractivity preservation of integration methods for initial value problems is guaranteed. In this paper, we show that the task of computing linear SSP coefficients of explicit one-step methods is, to a certain extent, equivalent to the problem of characterizing positive quadratures with integer nodes with respect to Poisson-Charlier measures. Using this equivalence, we provide sharp upper and lower bounds for the optimal linear SSP coefficients in terms of the zeros of generalized Laguerre orthogonal polynomials. This in particular provides us with a sharp upper bound for the optimal SSP coefficients of explicit Runge-Kutta methods. Also based on this equivalence, we propose a highly efficient and stable algorithm for computing these coefficients, and their associated optimal linear SSP methods, based on adaptive spectral transformations of Poisson-Charlier measures. The algorithm possesses the remarkable property that its complexity depends only on the order of the method and thus is independent of the number of stages. Our results are achieved by adapting and extending an ingenious technique by Bernstein in his seminal work on absolutely monotonic functions. Moreover, the techniques introduced in this work can be adapted to solve the integer quadrature problem for any positive discrete multi-parametric measure supported on $\mathbb{N}$ under some mild conditions on the zeros of the associated orthogonal polynomials.


title: A Functional Mapping for Passively Mode-Locked Semiconductor Lasers

abstract: We present a novel approach for the analysis of passively mode-locked semiconductor lasers that allows for efficient parameter sweeps and time jitter analysis. It permits accessing the ultra-low repetition rate regime where pulses become localized states. The analysis including slow (e.g. thermal) processes or transverse dynamics becomes feasible. Our method bridges the divide between the phenomenological, yet highly efficient, pulse iterative model that is the Haus master equation, and the more involved first principle descriptions relying on time delayed equations. Our iterative functional mapping exploits the fundamental division of the mode-locking regime between fast and slow stages and allows computing the dynamics only in the pulse vicinity. Reductions of the simulation times and of the memory footprint up to two orders of magnitudes are demonstrated. Finally, the mapping also provides a general framework for deducing the Haus master equation from first principle models based upon delayed differential equations.


title: Word combinatorics for stochastic differential equations: splitting integrators

abstract: We present an analysis based on word combinatorics of splitting integrators for Ito or Stratonovich systems of stochastic differential equations. In particular we present a technique to write down systematically the expansion of the local error; this makes it possible to easily formulate the conditions that guarantee that a given integrator achieves a prescribed strong or weak order. This approach bypasses the need to use the Baker-Campbell-Hausdorff (BCH) formula and shows the existence of an order barrier of two for the attainable weak order. The paper also provides a succinct introduction to the combinatorics of words.


title: Dynamical topological invariant for non-Hermitian Rice-Mele model

abstract: We study a non-Hermitian Rice-Mele model without breaking time-reversal symmetry, with the non-Hermiticity arising from imbalanced hopping rates. The Berry connection, Berry curvature and Chern number are introduced in the context of biorthonormal inner product. It is shown that for a bulk system, although the Berry connection can be complex numbers, the Chern number is still quantized, as topological invariant. For an opened chain system, the mid-gap edge modes are obtained exactly, obeying the bulk-edge correspondence. Furthermore, we also introduce a local current in the context of biorthonormal inner product to measure the pumping charge generated by a cyclic adiabatic evolution. Analytical analysis and numerical simulation of the time evolution of the mid-gap states show that the pumping charge can be a dynamical topological invariant in correspondence with the Chern number. It indicates that the geometric concepts for Hermitian topological insulator can be extended to the non-Hermitian regime.


title: Design and Implementation of a Remote Care Application Based on Microservice Architecture

abstract: Microservice Architecture (MSA) is an architectural style for service-based software systems. MSA puts a strong emphasis on high cohesion and loose coupling of the services that provide systems' functionalities. As a result of this, MSA-based software architectures exhibit increased scalability and extensibility, and facilitate the application of continuous integration techniques. This paper presents a case study of an MSA-based Remote Care Application (RCA) that allows caregivers to remotely access smart home devices. The goal of the RCA is to assist persons being cared in Activities of Daily Living. Employing MSA for the realization of the RCA yielded several lessons learned, e.g., (i) direct transferability of domain models based on Domain-driven Design; (ii) more efficient integration of features; (iii) speedup of feature delivery due to MSA facilitating automated deployment.


title: Multistable rippling of graphene on SiC: A Density Functional Theory study

abstract: Graphene monolayer grown by Si evaporation from the 0001 surface of SiC displays a moir\'e pattern of corrugation whose structure is ambiguous: different measurements and theoretical studies show either protruding bumps surrounded by valleys, or, reversely, wells surrounded by crests. Here we address the fine structure of monolayer graphene on SiC by means of Density Functional Theory, using a model including the full symmetry of the system and the substrate (1648 atoms) and therefore realistically reproducing the experimental sample. We find that accurate treatment of the vdW interactions between monolayer and the underlying substrate-bound buffer layer is crucial in stabilizing one or the opposite corrugation pattern, which explain the different results and measurement available in the literature. Our study indicates that at low temperature a state more closely following the topography of the underneath buffer layer is stabilized, while others are metastable. Since environmental conditions (e.g. temperature or doping) can influence the vdW forces and reduce the energy differences, this system is prone to externally driven switching between different (opposite) corrugation states. In turn, corrugation is related to local reactivity and to electronic properties of graphene. This opens to potentially interesting applications in nano-electronics or tailored graphene chemical functionalization.


title: An Investigation of the Interstellar Environment of Supernova Remnant CTB 87

abstract: We present a new millimeter CO-line observation towards supernova remnant (SNR) CTB 87, which was regarded purely as a pulsar wind nebula (PWN), and an optical investigation of a coincident surrounding superbubble. The CO observation shows that the SNR delineated by the radio emission is projectively covered by a molecular cloud (MC) complex at V$_{\rm {LSR}}$ = $-60$ to $-54$ km s$^{-1}$. Both the symmetric axis of the radio emission and the trailing X-ray PWN appear projectively to be along a gap between two molecular gas patches at $-58$ to $-57$ km s$^{-1}$. Asymmetric broad profiles of $^{12}$CO lines peaked at $-58$ km s$^{-1}$ are found at the eastern and southwestern edges of the radio emission. This represents a kinematic signature consistent with an SNR-MC interaction. We also find that a superbubble, $\sim 37'$ in radius, appears to surround the SNR from HI 21cm (V$_{\rm {LSR}} \sim -61$ to $-68$ km s$^{-1}$), WISE mid-IR, and optical extinction data. We build a multi-band photometric stellar sample of stars within the superbubble region and find 82 OB star candidates. The likely peak distance in the stars' distribution seems consistent with the distance previously suggested for CTB 87. We suggest the arc-like radio emission is mainly the relic of the part of blastwave that propagates into the MC complex and is now in a radiative stage while the other part of blastwave has been expanding into the low-density region in the superbubble. This scenario naturally explains the lack of the X-ray emission related to the ejecta and blastwave. The SNR-MC interaction also favours a hadronic contribution to the {\gamma}-ray emission from the CTB 87 region.


title: Recommending Outfits from Personal Closet

abstract: We consider grading a fashion outfit for recommendation, where we assume that users have a closet of items and we aim at producing a score for an arbitrary combination of items in the closet. The challenge in outfit grading is that the input to the system is a bag of item pictures that are unordered and vary in size. We build a deep neural network-based system that can take variable-length items and predict a score. We collect a large number of outfits from a popular fashion sharing website, Polyvore, and evaluate the performance of our grading system. We compare our model with a random-choice baseline, both on the traditional classification evaluation and on people's judgment using a crowdsourcing platform. With over 84% in classification accuracy and 91% matching ratio to human annotators, our model can reliably grade the quality of an outfit. We also build an outfit recommender on top of our grader to demonstrate the practical application of our model for a personal closet assistant.


title: Density and intersection of (1,1)-currents

abstract: We study density currents associated with a collection of positive closed (1,1)-currents. We prove that the density current is unique and determined by the usual wedge product in some classical situations including the case where the currents have bounded potentials. As an application, we compare density currents with the non-pluripolar product and the Andersson-Wulcan product. We also analyse some situations where the wedge product is not well-defined but the density can be explicitly computed.


title: Correlation of structural, nanomechanical and electrostatic properties of single and few-layers MoS2

abstract: We have decoupled the intrinsic optical and electrostatic effects arising in monolayer and few-layer molybdenum disulphide from those influenced by the flake-substrate interaction.


title: Do meteoritic silicon carbide grains originate from asymptotic giant branch stars of super-solar metallicity?

abstract: We compare literature data for the isotopic ratios of Zr, Sr, and Ba from analysis of single meteoritic stardust silicon carbide (SiC) grains to new predictions for the slow neutron-capture process (the s process) in metal-rich asymptotic giant branch (AGB) stars. The models have initial metallicities Z = 0.014 (solar) and Z = 0.03 (twice-solar) and initial masses 2 - 4.5 Msun, selected such as the condition C/O>1 for the formation of SiC is achieved. Because of the higher Fe abundance, the twice-solar metallicity models result in a lower number of total free neutrons released by the 13C({\alpha},n)16O neutron source. Furthermore, the highest-mass (4 - 4.5 Msun) AGB stars of twice-solar metallicity present a milder activation of the 22Ne({\alpha},n)25Mg neutron source than their solar metallicity counterparts, due to cooler temperatures resulting from the effect of higher opacities. They also have a lower amount of the 13C neutron source than the lower-mass models, following their smaller He-rich region. The combination of these different effects allows our AGB models of twice-solar metallicity to provide a match to the SiC data without the need to consider large variations in the features of the 13C neutron source nor neutron-capture processes different from the s process. This raises the question if the AGB parent stars of meteoritic SiC grains were in fact on average of twice-solar metallicity. The heavier-than-solar Si and Ti isotopic ratios in the same grains are in qualitative agreement with an origin in stars of super-solar metallicity because of the chemical evolution of the Galaxy. Further, the SiC dust mass ejected from C-rich AGB stars is predicted to significantly increase with increasing the metallicity.


title: The Second APOKASC Catalog: The Empirical Approach

abstract: We present a catalog of stellar properties for a large sample of 6676 evolved stars with APOGEE spectroscopic parameters and \textit{Kepler} asteroseismic data analyzed using five independent techniques. Our data includes evolutionary state, surface gravity, mean density, mass, radius, age, and the spectroscopic and asteroseismic measurements used to derive them. We employ a new empirical approach for combining asteroseismic measurements from different methods, calibrating the inferred stellar parameters, and estimating uncertainties. With high statistical significance, we find that asteroseismic parameters inferred from the different pipelines have systematic offsets that are not removed by accounting for differences in their solar reference values. We include theoretically motivated corrections to the large frequency spacing ($\Delta \nu$) scaling relation, and we calibrate the zero point of the frequency of maximum power ($\nu_{\rm max}$) relation to be consistent with masses and radii for members of star clusters. For most targets, the parameters returned by different pipelines are in much better agreement than would be expected from the pipeline-predicted random errors, but 22\% of them had at least one method not return a result and a much larger measurement dispersion. This supports the usage of multiple analysis techniques for asteroseismic stellar population studies. The measured dispersion in mass estimates for fundamental calibrators is consistent with our error model, which yields median random and systematic mass uncertainties for RGB stars of order 4\%. Median random and systematic mass uncertainties are at the 9\% and 8\% level respectively for RC stars.


title: Role of substrate on interaction of water molecules with graphene oxide and reduced graphene oxide

abstract: We study local electronic properties of graphene oxide (GO) and reduced graphene oxide (RGO) on metallic (Pt) and insulating (Si3N4) substrates in controlled humidity environment. We demonstrate that the supporting substrate plays a crucial role in interaction of these materials with water, with Pt making both GO and RGO insensitive to humidity variations and change in environment. On the other hand, in the case of Si3N4 substrate a significant difference between GO and RGO with respect to humidity variations is demonstrated, indicating complete water coverage at ~60% R.H for RGO and ~30% R.H. for GO. Irrespective of the substrate, both GO and RGO demonstrate relative independence of their electronic properties on the material thickness, with similar trends observed for 1, 2 and 3 layers when subject to humidity variations. This indicates a relatively minor role of material thickness in GO-based humidity sensors.


title: Brown-Teitelboim Instantons and the First Law of Thermodynamics of (Anti) de Sitter Space

abstract: We study the instantons (or bounces) in the Brown-Teitelboim (BT) mechanism of relaxation of cosmological constant which is a cosmological version of the Schwinger mechanism. The BT mechanism is a false vacuum decay of (A)dS$_{d+1}$ (and $R^{1, d}$) spaces via spontaneous nucleations of spherical $(d-1)$-branes and thus ostensibly has bearings on (A)dS$_{d+1}$/CFT$_d$ holography. In this paper we focus on the four-dimensional case, although the higher or lower-dimensional generalization is straightforward. As is the case with pair productions near black hole and de Sitter horizons, we show that the BT instanton action for a membrane nucleation encodes the first law of thermodynamics of (Anti) de Sitter space. In particular, the membrane instanton precisely accounts for the change of entropy of (A)dS space before and after nucleation, in good accordance with AdS$_{d+1}$/CFT$_d$ in which the $(d-1)$-branes make up all degrees of freedom of AdS$_{d+1}$ space. In light of this lesser-known perspective presented here we also make remarks on (1) (A)dS/CFT and (2) complexity. For the complexity we observe that the Lorentzian bounce action may have close connection to complexity.


title: Relativistic calculations of X-Ray transition energies and isotope shifts in heavy atoms

abstract: X-Ray transition energies and isotope shifts in heavy atoms are evaluated. The energy levels with vacancies in the inner shells are calculated within the approximation of the average of nonrelativistic configuration employing the Dirac-Fock-Sturm method. The obtained results are compared with other configuration-interaction theoretical calculations and with experimental data.


title: Young supertableaux and the large $\mathcal{N} = 4$ superconformal algebra

abstract: In this paper we consider unitary highest weight irreducible representations of the `Large' $\mathcal{N}=4$ superconformal algebra $A_\gamma$ in the Ramond sector as infinite-dimensional graded modules of its zero mode subalgebra, $\mathfrak{su}(2|2)$. We describe how representations of $\mathfrak{su}(2|2)$ may be classified using Young supertableaux, and use the decomposition of $A_\gamma$ as an $\mathfrak{su}(2|2)$ module to discuss the states which contribute to the supersymmetric index $I_1$, previously proposed in the literature by Gukov, Martinec, Moore and Strominger.


title: A security approach based on honeypots: Protecting Online Social network from malicious profiles

abstract: In the recent years, the fast development and the exponential utilization of social networks have prompted an expansion of social Computing. In social networks users are interconnected by edges or links, where Facebook, twitter, LinkedIn are most popular social networks websites. Due to the growing popularity of these sites they serve as a target for cyber criminality and attacks. It is mostly based on how users are using these sites like Twitter and others. Attackers can easily access and gather personal and sensitive users information. Users are less aware and least concerned about the security setting. And they easily become victim of identity breach. To detect malicious users or fake profiles different techniques have been proposed like our approach which is based on the use of social honeypots to discover malicious profiles in it. Inspired by security researchers who used honeypots to observe and analyze malicious activity in the networks, this method uses social honeypots to trap malicious users. The two key elements of the approach are: (1) The deployment of social honeypots for harvesting information of malicious profiles. (2) Analysis of the characteristics of these malicious profiles and those of deployed honeypots for creating classifiers that allow to filter the existing profiles and monitor the new profiles.


title: Water affinity to epitaxial graphene: the impact of layer thickness

abstract: The sensitivity to water of epitaxial graphene is examined in this study.


title: Nonthermal states arising from confinement in one and two dimensions

abstract: We show that confinement in the quantum Ising model leads to nonthermal eigenstates, in both continuum and lattice theories, in both one (1D) and two dimensions (2D). In the ordered phase, the presence of a confining longitudinal field leads to a profound restructuring of the excitation spectrum, with the low-energy two-particle continuum being replaced by discrete 'meson' modes (linearly confined pairs of domain walls). These modes exist far into the spectrum and are atypical, in the sense that expectation values in the state with energy $E$ do not agree with the microcanonical (thermal) ensemble prediction. Single meson states persist above the two meson threshold, due to a surprising lack of hybridization with the ($n\geq4$)-domain wall continuum, a result that survives into the thermodynamic limit and that can be understood from analytical calculations. The presence of such states is revealed in anomalous post-quench dynamics, such as the lack of a light cone, the suppression of the growth of entanglement entropy, and the absence of thermalization for some initial states. The nonthermal states are confined to the ordered phase - the disordered (paramagnetic) phase exhibits typical thermalization patterns in both 1D and 2D in the absence of integrability.


title: Directional Sinogram Inpainting for Limited Angle Tomography

abstract: In this paper we propose a new joint model for the reconstruction of tomography data under limited angle sampling regimes. In many applications of Tomography, e.g. Electron Microscopy and Mammography, physical limitations on acquisition lead to regions of data which cannot be sampled. Depending on the severity of the restriction, reconstructions can contain severe, characteristic, artefacts. Our model aims to address these artefacts by inpainting the missing data simultaneously with the reconstruction. Numerically, this problem naturally evolves to require the minimisation of a non-convex and non-smooth functional so we review recent work in this topic and extend results to fit an alternating (block) descent framework. We illustrate the effectiveness of this approach with numerical experiments on two synthetic datasets and one Electron Microscopy dataset.


title: Exact boundary free energy of the open XXZ chain with arbitrary boundary conditions

abstract: We derive an exact formula for the boundary free energy of the open Heisenberg XXZ spin chain. We allow for arbitrary boundary magnetic fields, but assume zero bulk magnetization. The result is completely analogous to earlier formulas for the so-called $g$-function: it is expressed as a combination of single integrals and two simple Fredholm determinants. Our expressions can be evaluated easily using numerical algorithms with arbitrary precision. We demonstrate that the boundary free energy can show a wide variety of behaviour as a function of the temperature, depending on the anisotropy and the boundary fields. We also compute the low temperature limit of the boundary free energy, and reproduce the known results for the ground state boundary energy, including the case of non-diagonal fields.


title: An Integer Programming Approach to the Student-Project Allocation Problem with Preferences over Projects

abstract: The Student-Project Allocation problem with preferences over Projects (SPA-P) involves sets of students, projects and lecturers, where the students and lecturers each have preferences over the projects. In this context, we typically seek a stable matching of students to projects (and lecturers). However, these stable matchings can have different sizes, and the problem of finding a maximum stable matching (MAX-SPA-P) is NP-hard. There are two known approximation algorithms for MAX-SPA-P, with performance guarantees of 2 and 3/2. In this paper, we describe an Integer Programming (IP) model to enable MAX-SPA-P to be solved optimally. Following this, we present results arising from an empirical analysis that investigates how the solution produced by the approximation algorithms compares to the optimal solution obtained from the IP model, with respect to the size of the stable matchings constructed, on instances that are both randomly-generated and derived from real datasets. Our main finding is that the 3/2-approximation algorithm finds stable matchings that are very close to having maximum cardinality.


title: Spontaneous rotation can stabilise ordered chiral active fluids

abstract: Active hydrodynamic theories are a powerful tool to study the emergent ordered phases of internally driven particles such as bird flocks, bacterial suspension and their artificial analogues. While theories of orientationally ordered phases are by now well established, the effect of chirality on these phases is much less studied. In this paper, we present the first complete dynamical theory of orientationally ordered chiral particles in two-dimensional incompressible systems. We show that phase-coherent states of rotating chiral particles are remarkably stable in both momentum-conserved and non-conserved systems in contrast to their non-rotating counterparts. Furthermore, defect separation -- which drives chaotic flows in non-rotating active fluids -- is suppressed by intrinsic rotation of chiral active particles. We thus establish chirality as a source of dramatic stabilization in active systems, which could be key in interpreting the collective behaviours of some biological tissues, cytoskeletal systems and collections of bacteria.


title: Elastic scattering of twisted electrons by atomic target: Going beyond the Born approximation

abstract: The elastic scattering of twisted electrons by neutral atoms is studied within the fully relativistic framework. The electron-atom interaction is taken into account in all orders, thus allowing us to explore high-order effects beyond the first Born approximation. In order to illustrate these effects, detailed calculations of the total and differential cross sections as well as the degree of polarization of scattered electrons are performed. Together with the analysis of the effects beyond the first Born approximation, we discuss the influence of the kinematic parameters of the incident twisted electrons on the angular and polarization properties of the scattered electrons.


title: Link and code: Fast indexing with graphs and compact regression codes

abstract: Similarity search approaches based on graph walks have recently attained outstanding speed-accuracy trade-offs, taking aside the memory requirements. In this paper, we revisit these approaches by considering, additionally, the memory constraint required to index billions of images on a single server. This leads us to propose a method based both on graph traversal and compact representations. We encode the indexed vectors using quantization and exploit the graph structure to refine the similarity estimation. In essence, our method takes the best of these two worlds: the search strategy is based on nested graphs, thereby providing high precision with a relatively small set of comparisons. At the same time it offers a significant memory compression. As a result, our approach outperforms the state of the art on operating points considering 64-128 bytes per vector, as demonstrated by our results on two billion-scale public benchmarks.


title: PANDA: Facilitating Usable AI Development

abstract: Recent advances in artificial intelligence (AI) and machine learning have created a general perception that AI could be used to solve complex problems, and in some situations over-hyped as a tool that can be so easily used. Unfortunately, the barrier to realization of mass adoption of AI on various business domains is too high because most domain experts have no background in AI. Developing AI applications involves multiple phases, namely data preparation, application modeling, and product deployment. The effort of AI research has been spent mostly on new AI models (in the model training stage) to improve the performance of benchmark tasks such as image recognition. Many other factors such as usability, efficiency and security of AI have not been well addressed, and therefore form a barrier to democratizing AI. Further, for many real world applications such as healthcare and autonomous driving, learning via huge amounts of possibility exploration is not feasible since humans are involved. In many complex applications such as healthcare, subject matter experts (e.g. Clinicians) are the ones who appreciate the importance of features that affect health, and their knowledge together with existing knowledge bases are critical to the end results. In this paper, we take a new perspective on developing AI solutions, and present a solution for making AI usable. We hope that this resolution will enable all subject matter experts (eg. Clinicians) to exploit AI like data scientists.


title: Thickness dependent hydrophobicity of epitaxial graphene

abstract: This article addresses the much debated question whether the degree of hydrophobicity of single-layer graphene (1LG) is different from the one of double-layer graphene (2LG). Knowledge of the water affinity of graphene and its spatial variations is critically important as it can affect the graphene properties as well as the performance of graphene devices exposed to humidity. By employing chemical force microscopy (CFM) with a probe rendered hydrophobic by functionalization with octadecyltrichlorosilane (OTS), the adhesion force between the probe and epitaxial graphene on SiC has been measured in deionized water. Owing to the hydrophobic attraction, a larger adhesion force was measured on 2LG domains of graphene surfaces, thus showing that 2LG is more hydrophobic than 1LG. Identification of 1LG and 2LG domains was achieved through Kelvin probe force microscopy and Raman spectral mapping. Approximate values of the adhesion force per OTS molecule have been calculated through contact area analysis. Furthermore, the contrast of friction force images measured in contact mode was reversed to the 1LG/2LG adhesion contrast and its origin was discussed in terms of the likely water depletion over hydrophobic domains as well as deformation in the contact area between AFM tip and 1LG.


title: Symbolic Automata with Memory: a Computational Model for Complex Event Processing

abstract: We propose an automaton model which is a combination of symbolic and register automata, i.e., we enrich symbolic automata with memory. We call such automata Register Match Automata (RMA). RMA extend the expressive power of symbolic automata, by allowing formulas to be applied not only to the last element read from the input string, but to multiple elements, stored in their registers. RMA also extend register automata, by allowing arbitrary formulas, besides equality predicates. We study the closure properties of RMA under union, concatenation, Kleene+, complement and determinization and show that RMA, contrary to symbolic automata, are not determinizable when viewed as recognizers, without taking the output of transitions into account. However, when a window operator, a quintessential feature in Complex Event Processing, is used, RMA are indeed determinizable even when viewed as recognizers. We present detailed algorithms for constructing deterministic RMA from regular expressions extended with $n$-ary constraints. We show how RMA can be used in Complex Event Processing in order to detect patterns upon streams of events, using a framework that provides denotational and compositional semantics, and that allows for a systematic treatment of such automata.


title: Spin transport in graphene/transition metal dichalcogenide heterostructures

abstract: Since its discovery, graphene has been a promising material for spintronics: its low spin-orbit coupling, negligible hyperfine interaction, and high electron mobility are obvious advantages for transporting spin information over long distances. However, such outstanding transport properties also limit the capability to engineer active spintronics, where strong spin-orbit coupling is crucial for creating and manipulating spin currents. To this end, transition metal dichalcogenides, which have larger spin-orbit coupling and good interface matching, appear to be highly complementary materials for enhancing the spin-dependent features of graphene while maintaining its superior charge transport properties. In this review, we present the theoretical framework and the experiments performed to detect and characterize the spin-orbit coupling and spin currents in graphene/transition metal dichalcogenide heterostructures. Specifically, we will concentrate on recent measurements of Hanle precession, weak antilocalization and the spin Hall effect, and provide a comprehensive theoretical description of the interconnection between these phenomena.


title: Profile-guided memory optimization for deep neural networks

abstract: Recent years have seen deep neural networks (DNNs) becoming wider and deeper to achieve better performance in many applications of AI. Such DNNs however require huge amounts of memory to store weights and intermediate results (e.g., activations, feature maps, etc.) in propagation. This requirement makes it difficult to run the DNNs on devices with limited, hard-to-extend memory, degrades the running time performance, and restricts the design of network models. We address this challenge by developing a novel profile-guided memory optimization to efficiently and quickly allocate memory blocks during the propagation in DNNs. The optimization utilizes a simple and fast heuristic algorithm based on the two-dimensional rectangle packing problem. Experimenting with well-known neural network models, we confirm that our method not only reduces the memory consumption by up to $49.5\%$ but also accelerates training and inference by up to a factor of four thanks to the rapidity of the memory allocation and the ability to use larger mini-batch sizes.


title: Force Estimation from OCT Volumes using 3D CNNs

abstract: \textit{Purpose} Estimating the interaction forces of instruments and tissue is of interest, particularly to provide haptic feedback during robot assisted minimally invasive interventions. Different approaches based on external and integrated force sensors have been proposed. These are hampered by friction, sensor size, and sterilizability. We investigate a novel approach to estimate the force vector directly from optical coherence tomography image volumes. \textit{Methods} We introduce a novel Siamese 3D CNN architecture. The network takes an undeformed reference volume and a deformed sample volume as an input and outputs the three components of the force vector. We employ a deep residual architecture with bottlenecks for increased efficiency. We compare the Siamese approach to methods using difference volumes and two-dimensional projections. Data was generated using a robotic setup to obtain ground truth force vectors for silicon tissue phantoms as well as porcine tissue. \textit{Results} Our method achieves a mean average error of 7.7 +- 4.3 mN when estimating the force vector. Our novel Siamese 3D CNN architecture outperforms single-path methods that achieve a mean average error of 11.59 +- 6.7 mN. Moreover, the use of volume data leads to significantly higher performance compared to processing only surface information which achieves a mean average error of 24.38 +- 22.0 mN. Based on the tissue dataset, our methods shows good generalization in between different subjects. \textit{Conclusions} We propose a novel image-based force estimation method using optical coherence tomography. We illustrate that capturing the deformation of subsurface structures substantially improves force estimation. Our approach can provide accurate force estimates in surgical setups when using intraoperative optical coherence tomography.


title: Positive solutions for nonlinear nonhomogeneous parametric Robin problems

abstract: We study a parametric Robin problem driven by a nonlinear nonhomogeneous differential operator and with a superlinear Carath\'eodory reaction term. We prove a bifurcation-type theorem for small values of the parameter. Also, we show that as the parameter $\lambda>0$ approaches zero we can find positive solutions with arbitrarily big and arbitrarily small Sobolev norm. Finally we show that for every admissible parameter value there is a smallest positive solution $u^*_{\lambda}$ of the problem and we investigate the properties of the map $\lambda\mapsto u^*_{\lambda}$.


title: First-order answer set programming as constructive proof search

abstract: We propose an interpretation of the first-order answer set programming (FOASP) in terms of intuitionistic proof theory. It is obtained by two polynomial translations between FOASP and the bounded-arity fragment of the Sigma_1 level of the Mints hierarchy in first-order intuitionistic logic. It follows that Sigma_1 formulas using predicates of fixed arity (in particular unary) is of the same strength as FOASP. Our construction reveals a close similarity between constructive provability and stable entailment, or equivalently, between the construction of an answer set and an intuitionistic refutation. This paper is under consideration for publication in Theory and Practice of Logic Programming


title: Characterization of mean value harmonic functions on norm induced metric measure spaces with weighted Lebesgue measure

abstract: We study the mean-value harmonic functions on open subsets of $\mathbb{R}^n$ equipped with weighted Lebesgue measures and norm induced metrics. Our main result is a necessary condition saying that all such functions solve a certain homogeneous system of elliptic PDEs. Moreover, a converse result is established in case of analytic weights. Assuming Sobolev regularity of weight $w \in W^{l,\infty}$ we show that strongly harmonic functions are as well in $W^{l,\infty}$ and that they are analytic, whenever the weight is analytic. The analysis is illustrated by finding all mean-value harmonic functions in $\mathbb{R}^2$ for the $l^p$-distance $1 \leq p \leq \infty$. The essential outcome is a certain discontinuity with respect to $p$, i.e. that for all $p \ne 2$ there are only finitely many linearly independent mean-value harmonic functions, while for $p=2$ there are infinitely many of them. We conclude with a remarkable observation that strongly harmonic functions in $\mathbb{R}^n$ possess the mean value property with respect to infinitely many weight functions obtained from a given weight.


title: Numerical inversion of 3D geodesic X-ray transform arising from traveltime tomography

abstract: In this paper, we consider the inverse problem of determining an unknown function defined in three space dimensions from its geodesic X-ray transform. The standard X-ray transform is defined on the Euclidean metric and is given by the integration of a function along straight lines. The geodesic X-ray transform is the generalization of the standard X-ray transform in Riemannian manifolds and is defined by integration of a function along geodesics. This paper is motivated by Uhlmann and Vasy's theoretical reconstruction algorithm for geodesic X-ray transform and mathematical formulation for traveltime tomography to develop a novel numerical algorithm for the stated goal. Our numerical scheme is based on a Neumann series approximation and a layer stripping approach. In particular, we will first reconstruct the unknown function by using a convergent Neumann series for each small neighborhood near the boundary. Once the solution is constructed on a layer near the boundary, we repeat the same procedure for the next layer, and continue this process until the unknown function is recovered on the whole domain. One main advantage of our approach is that the reconstruction is localized, and is therefore very efficient, compared with other global approaches for which the reconstructions are performed on the whole domain. We illustrate the performance of our method by showing some test cases including the Marmousi model. Finally, we apply this method to a travel time tomography in 3D, in which the inversion of the geodesic X-ray transform is one important step, and present several numerical results to validate the scheme.


title: On right coideal subalgebras of quantum groups

abstract: Right coideal subalgebras are interesting substructures of Hopf algebras such as quantum groups. Examples of right coideal subalgebras are the quantum Borel part as well as quantum symmetric pairs. Classifying right coideal subalgebras is a difficult question with notable results by Schneider, Heckenberger and Kolb. After reviewing these results, as main result we prove that an arbitrary right coideal subalgebras has a particularly nice set of generators. This allows in principle to specify the set of right coideal subalgebras in a given case. As application we determine right coideal subalgebras of the quantum groups Uq(sl2) and Uq(sl3) and discuss their representation theoretic properties.


title: Real-time single-pixel video imaging with Fourier domain regularization

abstract: We present a closed-form image reconstruction method for single pixel imaging based on the generalized inverse of the measurement matrix. Its numerical cost scales linearly with the number of measured samples. Regularization is obtained by minimizing the norms of the convolution between the reconstructed image and a set of spatial filters, and the final reconstruction formula can be expressed in terms of matrix pseudoinverse. At high compression this approach is an interesting alternative to the methods of compressive sensing based on l1-norm optimization, which are too slow for real-time applications. For instance, we demonstrate experimental single-pixel detection with real-time reconstruction obtained in parallel with the measurement at the frame rate of $11$ Hz for highly compressive measurements with the resolution of $256\times 256$. For this purpose, we preselect the sampling functions to match the average spectrum obtained with an image database. The sampling functions are selected from the Walsh-Hadamard basis, from the discrete cosine basis, or from a subset of Morlet wavelets convolved with white noise. We show that by incorporating the quadratic criterion into the closed-form reconstruction formula, we are able to use binary rather than continuous sampling reaching similar reconstruction quality as is obtained by minimizing the total variation. This makes it possible to use cosine or Morlet-based sampling with digital micromirror devices without advanced binarization methods.


title: Chiral SDW and d + id superconductivity in the magic-angle twisted bilayer-graphene

abstract: We model the newly synthesized magic-angle twisted bilayer-graphene superconductor with two $p_{x,y}$-like Wannier orbitals on the superstructure honeycomb lattice, where the hopping integrals are constructed via the Slater-Koster formulism by symmetry analysis. The characteristics exhibited in this simple model are well consistent with both the rigorous calculations and experiment observations. A van Hove singularity and Fermi-surface (FS) nesting are found in the doping levels relevant to the correlated insulator and unconventional superconductivity revealed experimentally, base on which we identify the two phases as weak-coupling FS instabilities. Then, with repulsive Hubbard interactions turning on, we performed random-phase-approximation (RPA) based calculations to identify the electron instabilities. As a result, we find chiral $d+id$ topological superconductivity bordering the correlated insulating state near half-filling, identified as noncoplanar chiral spin-density wave (SDW) ordered state, featuring quantum anomalous Hall effect. The phase-diagram obtained in our approach is qualitatively consistent with experiments.


title: Post-selected Classical Query Complexity

abstract: We study classical query algorithms with post-selection, and find that they are closely connected to rational functions with nonnegative coefficients. We show that the post-selected classical query complexity of a Boolean function is equal to the minimal degree of a rational function with nonnegative coefficients that approximates it (up to a factor of two). For post-selected quantum query algorithms, a similar relationship was shown by Mahadev and de Wolf, where the rational approximations are allowed to have negative coefficients. Using our characterisation, we find an exponentially large separation between post-selected classical query complexity and post-selected quantum query complexity, by proving a lower bound on the degree of rational approximations (with nonnegative coefficients) to the Majority function. This lower bound can be generalised to arbitrary symmetric functions, and allows us to find an unbounded separation between non-deterministic quantum and post-selected classical query complexity. All lower bounds carry over into the communication complexity setting. We show that the zero-error variants of post-selected query algorithms are equivalent to non-deterministic classical query algorithms, which in turn are characterised by nonnegative polynomials, and for some problems require exponentially more queries to the input than their bounded-error counterparts. Finally, we describe a post-selected query algorithm for approximating the Majority function, and an efficient query algorithm for approximate counting.


title: Higgs boson $ZZ$ couplings in Higgs-strahlung at the ILC

abstract: We derive the fully differential cross section of the Higgs-strahlung process $f \bar{f} \to Z \to Z (\to f_Z \bar{f}_Z) X (\to f_X \bar{f}_X)$, where $f$, $f_Z$, and $f_X$ are arbitrary fermions and $X$ is a spin-zero particle with arbitrary couplings to $Z$ bosons and fermions. This process with $f = e$ and $X = h$ ($h$ denotes the Higgs boson) is planned to be measured at the ILC to put constraints on the couplings $g_1$, $g_2$, $g_3$ of the Higgs boson to $Z$ bosons. Using the obtained fully differential cross section, we define observables measurement of which yields the tightest constraints on the couplings. Explicit dependences of these observables on $g_i$ are derived.


title: Measuring the electric dipole moment of the electron in BaF

abstract: We investigate the merits of a measurement of the permanent electric dipole moment of the electron ($e$EDM) with barium monofluoride molecules, thereby searching for phenomena of CP violation beyond those incorporated in the Standard Model of particle physics. Although the BaF molecule has a smaller enhancement factor in terms of the effective electric field than other molecules used in current studies (YbF, ThO and ThF$^+$), we show that a competitive measurement is possible by combining Stark-deceleration, laser-cooling and an intense primary cold source of BaF molecules. With the long coherent interaction times obtainable in a cold beam of BaF, a sensitivity of $5\times10^{-30}$ e$\cdot$cm for an $e$EDM is feasible. We describe the rationale, the challenges and the experimental methods envisioned to achieve this target.


title: Distributed Ledger Technology: Blockchain Compared to Directed Acyclic Graph

abstract: Nowadays, blockchain is becoming a synonym for distributed ledger technology. However, blockchain is only one of the specializations in the field and is currently well-covered in existing literature, but mostly from a cryptographic point of view. Besides blockchain technology, a new paradigm is gaining momentum: directed acyclic graphs. The contribution presented in this paper is twofold. Firstly, the paper analyzes distributed ledger technology with an emphasis on the features relevant to distributed systems. Secondly, the paper analyses the usage of directed acyclic graph paradigm in the context of distributed ledgers, and compares it with the blockchain-based solutions. The two paradigms are compared using representative implementations: Bitcoin, Ethereum and Nano. We examine representative solutions in terms of the applied data structures for maintaining the ledger, consensus mechanisms, transaction confirmation confidence, ledger size, and scalability.


title: Tur\'an numbers of theta graphs

abstract: The theta graph $\Theta_{\ell,t}$ consists of two vertices joined by $t$ vertex-disjoint paths of length $\ell$ each. For fixed odd $\ell$ and large $t$, we show that the largest graph not containing $\Theta_{\ell,t}$ has at most $c_{\ell} t^{1-1/\ell}n^{1+1/\ell}$ edges and that this is tight apart from the value of $c_{\ell}$.


title: Parametric System Identification Using Quantized Data

abstract: The estimation of signal parameters using quantized data is a recurrent problem in electrical engineering. As an example, this includes the estimation of a noisy constant value and of the parameters of a sinewave, that is, its amplitude, initial record phase, and offset. Conventional algorithms, such as the arithmetic mean, in the case of the estimation of a constant, are known not to be optimal in the presence of quantization errors. They provide biased estimates if particular conditions regarding the quantization process are not met, as it usually happens in practice. In this paper, a quantile-based estimator is presented, which is based on the Gauss-Markov theorem. The general theory is first described and the estimator is then applied to both direct current and alternate current input signals with unknown characteristics. Using simulations and experimental results, it is shown that the new estimator outperforms conventional estimators in both problems, by removing the estimation bias.


title: Record high bandwidth integrated graphene photodetectors for communication beyond 180 Gb/s

abstract: We report on the fastest silicon waveguide integrated photodetectors with a bandwidth larger than 128 GHz for ultrafast optical communication. The photodetectors are based on CVD graphene that is compatible to wafer scale production methods.


title: The automation of next-to-leading order electroweak calculations

abstract: We present the key features relevant to the automated computation of all the leading- and next-to-leading order contributions to short-distance cross sections in a mixed-coupling expansion, with special emphasis on the first subleading NLO term in the QCD+EW scenario, commonly referred to as NLO EW corrections. We discuss, in particular, the FKS subtraction in the context of a mixed-coupling expansion; the extension of the FKS subtraction to processes that include final-state tagged particles, defined by means of fragmentation functions; and some properties of the complex mass scheme. We combine the present paper with the release of a new version of MadGraph5_aMC@NLO, capable of dealing with mixed-coupling expansions. We use the code to obtain illustrative inclusive and differential results for the 13-TeV LHC.


title: Time-constrained multi-agent task scheduling based on prescribed performance control

abstract: The problem of time-constrained multi-agent task scheduling and control synthesis is addressed. We assume the existence of a high level plan which consists of a sequence of cooperative tasks, each of which is associated with a deadline and several Quality-of-Service levels. By taking into account the reward and cost of satisfying each task, a novel scheduling problem is formulated and a path synthesis algorithm is proposed. Based on the obtained plan, a distributed hybrid control law is further designed for each agent. Under the condition that only a subset of the agents are aware of the high level plan, it is shown that the proposed controller guarantees the satisfaction of time constraints for each task. A simulation example is given to verify the theoretical results.


title: Joint Deformable Registration of Large EM Image Volumes: A Matrix Solver Approach

abstract: Large electron microscopy image datasets for connectomics are typically composed of thousands to millions of partially overlapping two-dimensional images (tiles), which must be registered into a coherent volume prior to further analysis. A common registration strategy is to find matching features between neighboring and overlapping image pairs, followed by a numerical estimation of optimal image deformation using a so-called solver program. Existing solvers are inadequate for large data volumes, and inefficient for small-scale image registration. In this work, an efficient and accurate matrix-based solver method is presented. A linear system is constructed that combines minimization of feature-pair square distances with explicit constraints in a regularization term. In absence of reliable priors for regularization, we show how to construct a rigid-model approximation to use as prior. The linear system is solved using available computer programs, whose performance on typical registration tasks we briefly compare, and to which future scale-up is delegated. Our method is applied to the joint alignment of 2.67 million images, with more than 200 million point-pairs and has been used for successfully aligning the first full adult fruit fly brain.


title: Some Characterizations in Kenmotsu manifolds with a new connection

abstract: The present study initially identified the generalized symmetric connections $(\alpha,\beta)$ typed, which can be regarded as more generalised forms of quarter and semi-symmetric connections. The quarter and semi-symmetric connections are obtained respectively particularly when $(\alpha,\beta)=(1,0)$ and $(\alpha,\beta)=(0,1)$ are taken into consideration. Taking that into account, a new generalized symmetric metric connection was attained upon Kenmotsu manifolds. In compliance with the new connection, some results were provided through calculation of tensors belonging to Kenmotsu manifold involving curvature tensor, ricci tensor, projective curvature tensor and coincircular curvature tensor. Ultimately, an original example was presented.


title: Deep Keyframe Detection in Human Action Videos

abstract: Detecting representative frames in videos based on human actions is quite challenging because of the combined factors of human pose in action and the background. This paper addresses this problem and formulates the key frame detection as one of finding the video frames that optimally maximally contribute to differentiating the underlying action category from all other categories. To this end, we introduce a deep two-stream ConvNet for key frame detection in videos that learns to directly predict the location of key frames. Our key idea is to automatically generate labeled data for the CNN learning using a supervised linear discriminant method. While the training data is generated taking many different human action videos into account, the trained CNN can predict the importance of frames from a single video. We specify a new ConvNet framework, consisting of a summarizer and discriminator. The summarizer is a two-stream ConvNet aimed at, first, capturing the appearance and motion features of video frames, and then encoding the obtained appearance and motion features for video representation. The discriminator is a fitting function aimed at distinguishing between the key frames and others in the video. We conduct experiments on a challenging human action dataset UCF101 and show that our method can detect key frames with high accuracy.


title: Structure detection of Wiener-Hammerstein systems with process noise

abstract: Identification of nonlinear block-oriented models has been extensively studied. The presence of the process noise, more precisely its location in the block-oriented model influences essentially the development of a consistent identification algorithm. The present work is proposed with the aim to localize the process noise in the block-oriented model for accurate nonlinear modeling. To this end, the response of a Wiener-Hammerstein system is theoretically analyzed, the disturbance component in the output, caused by the process noise preceding the static nonlinearity, is shown to be dependent on the input signal. Inspired by such theoretical observation, a simple and new protocol is developed to determine the location of the process noise with respect to the static nonlinearity by using an input signal that is periodic, but nonstationary within one period. In addition, the proposed technique is promising to detect the type of certain static nonlinearity (e.g., dead-zone, saturation). Finally, it is validated on a simulated example and a real-life benchmark.


title: Candidate Labeling for Crowd Learning

abstract: Crowdsourcing has become very popular among the machine learning community as a way to obtain labels that allow a ground truth to be estimated for a given dataset. In most of the approaches that use crowdsourced labels, annotators are asked to provide, for each presented instance, a single class label. Such a request could be inefficient, that is, considering that the labelers may not be experts, that way to proceed could fail to take real advantage of the knowledge of the labelers. In this paper, the use of candidate labeling for crowd learning is proposed, where the annotators may provide more than a single label per instance to try not to miss the real label. The main hypothesis is that, by allowing candidate labeling, knowledge can be extracted from the labelers more efficiently by than in the standard crowd learning scenario. Empirical evidence which supports that hypothesis is presented.


title: Multi-particle azimuthal correlations for extracting event-by-event elliptic and triangular flow in Au$+$Au collisions at $\sqrt{s_{_{NN}}}=200$ GeV

abstract: We present measurements of elliptic and triangular azimuthal anisotropy of charged particles detected at forward rapidity $1<|\eta|<3$ in Au$+$Au collisions at $\sqrt{s_{_{NN}}}=200$ GeV, as a function of centrality. The multiparticle cumulant technique is used to obtain the elliptic flow coefficients $v_2\{2\}$, $v_2\{4\}$, $v_2\{6\}$, and $v_2\{8\}$, and triangular flow coefficients $v_3\{2\}$ and $v_3\{4\}$. Using the small-variance limit, we estimate the mean and variance of the event-by-event $v_2$ distribution from $v_2\{2\}$ and $v_2\{4\}$. In a complementary analysis, we also use a folding procedure to study the distributions of $v_2$ and $v_3$ directly, extracting both the mean and variance. Implications for initial geometrical fluctuations and their translation into the final state momentum distributions are discussed.


title: Extended Vertical Lists for Temporal Pattern Mining from Multivariate Time Series

abstract: Temporal Pattern Mining (TPM) is the problem of mining predictive complex temporal patterns from multivariate time series in a supervised setting. We develop a new method called the Fast Temporal Pattern Mining with Extended Vertical Lists. This method utilizes an extension of the Apriori property which requires a more complex pattern to appear within records only at places where all of its subpatterns are detected as well. The approach is based on a novel data structure called the Extended Vertical List that tracks positions of the first state of the pattern inside records. Extensive computational results indicate that the new method performs significantly faster than the previous version of the algorithm for TMP. However, the speed-up comes at the expense of memory usage.


title: Efficient Multidimensional Regularization for Volterra Series Estimation

abstract: This paper presents an efficient nonparametric time domain nonlinear system identification method. It is shown how truncated Volterra series models can be efficiently estimated without the need of long, transient-free measurements. The method is a novel extension of the regularization methods that have been developed for impulse response estimates of linear time invariant systems. To avoid the excessive memory needs in case of long measurements or large number of estimated parameters, a practical gradient-based estimation method is also provided, leading to the same numerical results as the proposed Volterra estimation method. Moreover, the transient effects in the simulated output are removed by a special regularization method based on the novel ideas of transient removal for Linear Time-Varying (LTV) systems. Combining the proposed methodologies, the nonparametric Volterra models of the cascaded water tanks benchmark are presented in this paper. The results for different scenarios varying from a simple Finite Impulse Response (FIR) model to a 3rd degree Volterra series with and without transient removal are compared and studied. It is clear that the obtained models capture the system dynamics when tested on a validation dataset, and their performance is comparable with the white-box (physical) models.


title: Dynamic Signal Measurements Based on Quantized Data

abstract: The estimation of the parameters of a dynamic signal, such as a sine wave, based on quantized data is customarily performed using the least-square estimator (LSE), such as the sine fit. However, the characteristics of the experiments and the measurement setup hardly satisfy the requirements ensuring the LSE to be optimal in the minimum mean-square-error sense. This occurs if the input signal is characterized by a large signal-to-noise ratio resulting in the deterministic component of the quantization error dominating the random error component and when the ADC transition levels are not uniformly distributed over the quantizer input range. In this paper, it is first shown that the LSE applied to quantized data does not perform as expected when the quantizer is not uniform. Then, an estimator is introduced that overcomes these limitations. It uses the values of the transition levels so that a prior quantizer calibration phase is necessary. The estimator properties are analyzed and both numerical and experimental results are described to illustrate its performance. It is shown that the described estimator outperforms the LSE and it also provides an estimate of the probability distribution function of the noise before quantization.


title: Decentralized learning with budgeted network load using Gaussian copulas and classifier ensembles

abstract: We examine a network of learners which address the same classification task but must learn from different data sets. The learners cannot share data but instead share their models. Models are shared only one time so as to preserve the network load. We introduce DELCO (standing for Decentralized Ensemble Learning with COpulas), a new approach allowing to aggregate the predictions of the classifiers trained by each learner. The proposed method aggregates the base classifiers using a probabilistic model relying on Gaussian copulas. Experiments on logistic regressor ensembles demonstrate competing accuracy and increased robustness in case of dependent classifiers. A companion python implementation can be downloaded at https://github.com/john-klein/DELCO


title: MPGM: Scalable and Accurate Multiple Network Alignment

abstract: Protein-protein interaction (PPI) network alignment is a canonical operation to transfer biological knowledge among species. The alignment of PPI-networks has many applications, such as the prediction of protein function, detection of conserved network motifs, and the reconstruction of species' phylogenetic relationships. A good multiple-network alignment (MNA), by considering the data related to several species, provides a deep understanding of biological networks and system-level cellular processes. With the massive amounts of available PPI data and the increasing number of known PPI networks, the problem of MNA is gaining more attention in the systems-biology studies. In this paper, we introduce a new scalable and accurate algorithm, called MPGM, for aligning multiple networks. The MPGM algorithm has two main steps: (i) SEEDGENERATION and (ii) MULTIPLEPERCOLATION. In the first step, to generate an initial set of seed tuples, the SEEDGENERATION algorithm uses only protein sequence similarities. In the second step, to align remaining unmatched nodes, the MULTIPLEPERCOLATION algorithm uses network structures and the seed tuples generated from the first step. We show that, with respect to different evaluation criteria, MPGM outperforms the other state-of-the-art algorithms. In addition, we guarantee the performance of MPGM under certain classes of network models. We introduce a sampling-based stochastic model for generating k correlated networks. We prove that for this model, if a sufficient number of seed tuples are available, the MULTIPLEPERCOLATION algorithm correctly aligns almost all the nodes. Our theoretical results are supported by experimental evaluations over synthetic networks.


title: New forms of quantum value indefiniteness suggest that incompatible views on contexts are epistemic

abstract: Extensions of the Kochen-Specker theorem use quantum logics whose classical interpretation suggests a true-implies-value indefiniteness property. This can be interpreted as an indication that any view of a quantum state beyond a single context is epistemic.


title: Equilibrium of nuclear matter in QCD sum rules

abstract: We calculate the nucleon parameters in symmetric nuclear matter employing the QCD sum rules approach. We focus on the average energy per nucleon and study the equilibrium states of the matter. We treat the matter as a relativistic system of interacting nucleons. Assuming the dependence of the nucleon mass on the light quark mass $m_q$ to be more important than that of nucleon interactions we find that the contribution of the relativistic nucleons to the scalar quark condensate can be expressed as that caused by free nucleons at rest multiplied by the density dependent factor $F(\rho)$. We demonstrate that there are no equilibrium states while we include only the condensates with dimension $d \leq 3$. There are equilibrium states if we include the lowest order radiative corrections and the condensates with $d \leq 4$. They manifest themselves for the nucleon sigma term $\sigma_N >60$ MeV. Including the condensates with $ d \leq 6$ we find equilibrium states of nuclear matter for $\sigma_N> 41$ MeV. In all cases the equilibrium states are due to influence of the relativistic motion of the nucleons composing the matter on the scalar quark condensate.


title: Corrected Empirical Bayes Confidence Region in a Multivariate Fay-Herriot Model

abstract: In the small area estimation, the empirical best linear unbiased predictor (EBLUP) in the linear mixed model is useful because it gives a stable estimate for a mean of a smallarea. For measuring uncertainty of EBLUP, much of research is focused on second-orderunbiased estimation of mean squared prediction errors in the univariate case. In this paper, we consider the multivariate Fay-Herriot model where the covariance matrix of random effects is fully unknown, and obtain a confidence reagion of the small area mean that is based on the Mahalanobis distance centered around EBLUP and is second order correct. A positive-definite, consistent and second-order unbiased estimator of the covariance matrix of the random effects is also suggested. The performance is investigated through simulation study.


title: Abundances of Mg and K in the atmospheres of turn-off stars in Galactic globular cluster 47 Tucanae

abstract: We determined abundances of Mg and K in the atmospheres of 53 (Mg) and 75 (K) turn-off (TO) stars of the Galactic globular cluster 47 Tuc. The obtained abundances, together with those of Li, O, and Na, were used to search for possible relations between the abundances of K and other light elements, Li, O, Na, and Mg, as well as the connections between the chemical composition of TO stars and their kinematical properties. Abundances of Mg and K were determined using archival VLT FLAMES/GIRAFFE spectra, in combination with the 1D NLTE spectral synthesis methodology. Spectral line profiles were computed with the MULTI code, using ATLAS9 stellar model atmospheres. We also utilized 3D hydrodynamical CO5BOLD and 1D hydrostatic LHD model atmospheres for computing 3D-1D LTE abundance corrections for the spectral lines of Mg and K, in order to assess the influence of convection on their formation in the atmospheres of TO stars. The determined average abundance-to-iron ratios and their RMS variations due to star-to-star abundance spreads were $\langle{\rm[Mg/Fe]}\rangle^{\rm 1D NLTE}=0.47\pm0.12$, and $\langle{\rm [K/Fe]}\rangle^{\rm 1D NLTE}=0.39\pm0.09$. Although the data suggest the possible existence of a weak correlation in the [K/Fe]-[Na/Fe] plane, its statistical significance is low. No statistically significant relations between the abundance of K and other light elements were detected. Also, we did not find any significant correlations or anti-correlations between the [Mg/Fe] and [K/Fe] ratios and projected distance from the cluster center. Similarly, no relations between the absolute radial velocities of individual stars and abundances of Mg and K in their atmospheres were detected. The 3D-1D abundance corrections were found to be small ($\leq 0.1$\,dex) for the lines of Mg and K used in this study, thus indicating that the influence of convection on their formation is small.


abstract: Edelman and Greene constructed a correspondence between reduced words of the reverse permutation and standard Young tableaux. We prove that for any reduced word the shape of the region of the insertion tableau containing the smallest possible entries evolves exactly as the upper-left component of the permutation's (Rothe) diagram. Properties of the Edelman-Greene bijection restricted to 132-avoiding and 2143-avoiding permutations are presented. We also consider the Edelman-Greene bijection applied to non-reduced words.


title: Maximum Throughput Scheduling for Multi-connectivity in Millimeter-Wave Networks

abstract: Multi-connectivity is emerging as promising solution to provide reliable communications and seamless connectivity at the millimeter-wave frequency range. Due to the obstacles that cause frequent interruptions at such high frequency range, connectivity to multiple cells can drastically increase the network performance in terms of throughput and reliability by coordination among the network elements. In this paper, we propose an algorithm for the link scheduling optimization that maximizes the network throughput for multi-connectivity in millimeter-wave cellular networks. The considered approach exploits a centralized architecture, fast link switching, proactive context preparation and data forwarding between millimeter-wave access points and the users. The proposed algorithm is able to numerically approach the global optimum and to quantify the potential gain of multi-connectivity in millimeter-wave cellular networks.


title: Shape-preserving and unidirectional frequency conversion using four-wave mixing Bragg scattering

abstract: In this work, we investigate the properties of four-wave mixing Bragg scattering in a configuration that employs orthogonally polarized pumps in a birefringent waveguide. This configuration enables a large signal conversion bandwidth, and allows strongly unidirectional frequency conversion as undesired Bragg-scattering processes are suppressed by waveguide birefringence. Moreover, we show that this form of four-wave mixing Bragg scattering preserves the (arbitrary) signal pulse shape, even when driven by pulsed pumps.


title: Quantifier Elimination for Reasoning in Economics

abstract: We consider the use of Quantifier Elimination (QE) technology for automated reasoning in economics. QE dates back to Tarski's work in the 1940s with software to perform it dating to the 1970s. There is a great body of work considering its application in science and engineering but we show here how it can also find application in the social sciences. We explain how many suggested theorems in economics could either be proven, or even have their hypotheses shown to be inconsistent, automatically; and describe the application of this in both economics education and research. We describe a bank of QE examples gathered from economics literature and note the structure of these are, on average, quite different to those occurring in the computer algebra literature. This leads us to suggest a new incremental QE approach based on result memorization of commonly occurring generic QE results.


title: The rest-frame UV-to-optical spectroscopy of APM 08279+5255 - BAL classification and black hole mass estimates

abstract: We present the analysis of the rest-frame optical-to-UV spectrum of APM 08279+5255, a well-known lensed broad absorption line (BAL) quasar at $z = 3.911$. The spectroscopic data are taken with the optical DOLoRes and near-IR NICS instruments at TNG, and include the previously unexplored range between C III] $\lambda$1910 and [O III] $\lambda\lambda$4959,5007. We investigate the possible presence of multiple BALs by computing "balnicity" and absorption indexes (i.e. BI, BI$_0$ and AI) for the transitions Si IV $\lambda$1400, C IV $\lambda$1549, Al III $\lambda$1860 and Mg II $\lambda$2800. No clear evidence for the presence of absorption features is found in addition to the already known, prominent BAL associated to C IV, which supports a high-ionization BAL classification for APM 08279+5255. We also study the properties of the [O III], H$\beta$ and Mg II emission lines. We find that [O III] is intrinsically weak ($F_{\rm [OIII]}/F_{\rm H\beta} \lesssim 0.04$), as it is typically found in luminous quasars with a strongly blueshifted C IV emission line ($\sim$2500 km s$^{-1}$ for APM 08279+5255). We compute the single-epoch black hole mass based on Mg II and H$\beta$ broad emission lines, finding $M_{\rm BH} = (2 \div 3) \times 10^{10}\mu^{-1}$ M$_\odot$, with the magnification factor $\mu$ that can vary between 4 and 100 according to CO and rest-frame UV-to-mid-IR imaging respectively. Using a Mg II equivalent width (EW)-to-Eddington ratio relation, the EW$_{\rm MgII} \sim 27$ \AA\ measured for APM 08279+5255 translates into an Eddington ratio of $\sim$0.4, which is more consistent with $\mu=4$. This magnification factor also provides a value of $M_{\rm BH}$ that is consistent with recent reverberation-mapping measurements derived from C IV and Si IV.


title: Thermal fluctuations in the conical state of monoaxial helimagnets

abstract: The effect of thermal fluctuations on the phase structure of monoaxial helimagnets with external magnetic field parallel to the chiral axis is analyzed by means of a saddle point expansion of the free energy. The phase transition that separates the conical and forced ferromagnetic phases is changed to first order by the thermal fluctuations. In a purely monoaxial system the pitch of the conical state remains independent of temperature and magnetic field, as in mean field theory, even when fluctuations are taken into account. However, in presence of weak Dzyaloshinskii-Moriya interactions in the plane perpendicular to the chiral axis, thermal fluctuations induce a dependence of the pitch on temperature and magnetic field. This may serve to determine the nature of magnetic interactions in such systems.


title: High-order Radio Frequency Differentiation via Photonic Signal Processing with an Integrated Micro-resonator Kerr Optical Frequency Comb Source

abstract: We demonstrate the use of integrated micro-resonator based optical frequency comb sources as the basis for transversal filtering functions for microwave and radio frequency photonic filtering and advanced functions.


title: Urban water networks as an alternative source for district heating and emergency heat-wave cooling

abstract: Urban water networks can contribute to the energy transition of cities by serving as alternatives sources for heating and cooling. Indeed, the thermal energy potential of the urban water cycle is considerable. Paris is taken as an example to present an assessment of the field performance of a district-scale waste water heat recovery system and to explore potential techniques for emergency cold recovery from drinking or non-potable water networks in response to heat-waves. The case heat recovery system was found to provide significant greenhouse gas emission reductions (up to 75%) and limited primary energy savings (around 30%). These limited savings are found to be mainly due to the performance of the heat pump system. Three emergency cold recovery techniques are presented as a response to heat-waves: subway station cooling, ice production for individual cooling, and "heat-wave shelter" cooling in association with pavement-watering. The cold generation potential of each approach is assessed with a special consideration for mains water temperature sanitary limitations. Finally, technical obstacles and perspectives are discussed.


title: Joule-Thomson Expansion of RN-AdS Black Holes in $f(R)$ gravity

abstract: In this paper, we study Joule-Thomson effects for charged AdS black holes in $f(R)$ gravity. We obtain the inversion temperatures as well as inversion curves, and investigate similarities and differences between van der Waals fluids and charged AdS black holes in $f(R)$ gravity for this expansion. In addition, we determine the position of the inversion point versus different values of the mass $M$, the charge $Q$ and the parameter $b$ for such black hole. At this point, the Joule-Thomson coefficient $\mu$ vanishes, an import feature that we used to obtain the cooling-heating regions by scrutinizing the sign of the $\mu$ quantity.


title: Riemann, Thorin, van Dantzig Pairs, Wald Couples and Hadamard Factorisation

abstract: Zeros of entire functions can be found using either the Fourier methods of Riemann-Polya or the Generalized Gamma Convolution (GGC) methods of Thorin-Bondesson. This connection is based on a duality between the Hadamard-Weierstrass factorisation and van Dantzig Pairs-Wald couples of random variables. We demonstrate the methodology on particular functions including the Riemann zeta and xi-functions, Ramanujan's tau function, L-functions and Gamma and Hyperbolic functions.


title: Equilibrium Computation in Atomic Splittable Routing Games with Convex Cost Functions

abstract: We present polynomial-time algorithms as well as hardness results for equilibrium computation in atomic splittable routing games, for the case of general convex cost functions. These games model traffic in freight transportation, market oligopolies, data networks, and various other applications. An atomic splittable routing game is played on a network where the edges have traffic-dependent cost functions, and player strategies correspond to flows in the network. A player can thus split it's traffic arbitrarily among different paths. While many properties of equilibria in these games have been studied, efficient algorithms for equilibrium computation are known for only two cases: if cost functions are affine, or if players are symmetric. Neither of these conditions is met in most practical applications. We present two algorithms for routing games with general convex cost functions on parallel links. The first algorithm is exponential in the number of players, while the second is exponential in the number of edges; thus if either of these is small, we get a polynomial-time algorithm. These are the first algorithms for these games with convex cost functions. Lastly, we show that in general networks, given input $C$, it is NP-hard to decide if there exists an equilibrium where every player has cost at most $C$.


title: Varying constants driven baryogenesis

abstract: We study the spontaneous baryogenesis scenario in the early universe for three different frameworks of varying constants theories. We replace the constants by dynamical scalar fields playing the role of thermions. We first obtain the results for baryogenesis driven by the varying gravitational constant, $G$, as in the previous literature, then challenge the problem for varying fine structure constant $\alpha$ models as well as for varying speed of light $c$ models. We show that in each of these frameworks the current observational value of the baryon to entropy ratio, $\eta_B \sim 8.6 \cdot 10^{-11}$, can be obtained for large set of parameters of dynamical constants models as well as the decoupling temperature, and the characteristic cut-off length scale.


title: Note on the convolution of harmonic mappings

abstract: Dorff et al. \cite{DN} formulated a question concerning the convolution of two right half-plane mappings, where the normalization of the functions was considered incorrectly. In this paper, we have reformulated the open problem in correct form and provided a solution to it in a more general form. In addition, we also obtain two new theorems which correct and improve some other results.


title: $\Lambda$CDM Cosmology for Astronomers

abstract: The homogeneous, isotropic, and flat $\Lambda$CDM universe favored by observations of the cosmic microwave background can be described using only Euclidean geometry, locally correct Newtonian mechanics, and the basic postulates of special and general relativity. We present simple derivations of the most useful equations connecting astronomical observables (redshift, flux density, angular diameter, brightness, local space density,...) with the corresponding intrinsic properties of distant sources (lookback time, distance, spectral luminosity, linear size, specific intensity, source counts,...). We also present an analytic equation for lookback time that is accurate within 0.1% for all redshifts $z$. The exact equation for comoving distance is an elliptic integral that must be evaluated numerically, but we found a simple approximation with errors $< 0.2$% for all redshifts up to $z \approx 50$.


title: Frequentist and Bayesian Quantum Phase Estimation

abstract: Frequentist and Bayesian phase estimation strategies lead to conceptually different results on the state of knowledge about the true value of the phase shift. We compare the two frameworks and their sensitivity bounds to the estimation of an interferometric phase shift limited by quantum noise, considering both the cases of a fixed and a fluctuating parameter. We point out that frequentist precision bounds, such as the Cram\`er-Rao bound, for instance, do not apply to Bayesian strategies and vice-versa. Similarly, bounds for fluctuating parameters make no statement about the estimation of a fixed parameter.


title: TOA Positioning for a TDMA Localization System

abstract: Positioning with one single communication between base stations and user devices can effectively save air time and thus expand the user volume to infinite. However, this usually demands accurate synchronization between base stations. Wireless synchronization between base stations can simplify the deployment of the positioning system but requires accurate clock offset estimation between base stations. A time division multiple access (TDMA) localization system in which user devices only receive signals from base stations to generate time of arrival (TOA) measurements to position themselves and no cables are needed to interconnect base stations for clock synchronization is proposed, implemented and tested. In this system, the user devices can easily join in or exit without influence to other users and the update rate of each user can be easily adjusted independently according to its specific requirement.


title: About sunflowers

abstract: Alon, Shpilka and Umans considered the following version of usual sunflower-free subset: a subset $\mbox{$\cal F$}\subseteq \{1,\ldots ,D\}^n$ for $D>2$ is sunflower-free if for every distinct triple $x,y,z\in \mbox{$\cal F$}$ there exists a coordinate $i$ where exactly two of $x_i,y_i,z_i$ are equal. Combining the polynomial method with character theory Naslund and Sawin proved that any sunflower-free set $\mbox{$\cal F$}\subseteq \{1,\ldots ,D\}^n$ has size $$ |\mbox{$\cal F$}|\leq c_D^n, $$ where $c_D=\frac{3}{2^{2/3}}(D-1)^{2/3}$. In this short note we give a new upper bound for the size of sunflower-free subsets of $\{1,\ldots ,D\}^n$. Our main result is a new upper bound for the size of sunflower-free $k$-uniform subsets. More precisely, let $k$ be an arbitrary integer. Let $\mbox{$\cal F$}$ be a sunflower-free $k$-uniform set system. Consider $M:=|\bigcup\limits_{F\in \mbox{$\cal F$}} F|. $ Then $$ |\mbox{$\cal F$}|\leq 3(\lceil\frac{2k}{3}\rceil+1)(2^{1/3}\cdot 3e)^k(\lceil\frac Mk\rceil -1)^{\lceil\frac{2k}{3}\rceil}. $$ In the proof we use Naslund and Sawin's result about sunflower-free subsets in $\{1,\ldots ,D\}^n$.


title: 1-D modelling and CFD study of the transient behaviour of a single phase Coupled Natural Circulation Loop

abstract: A Coupled Natural Circulation Loop (CNCL) consists of two Natural Circulation Loops (NCL) coupled thermally via a common heat exchanger. The transient modelling of such systems that have practical relevance has not been reported in the literature to the best of the author's knowledge. The present work aims to bridge this gap and investigate the dynamic characteristics of a CNCL system using a 1-D mathematical model. The validation of the model is accomplished by comparison of the results obtained via 3-D CFD simulation. Both horizontal and vertical CNCL systems have been considered for this study and behaviour of the system for parallel and counter flow configurations in the heat exchanger section is elaborated. Transient and steady state CFD analysis has been conducted to analyse CNCL system for different heater and cooler orientations and flow initialisation. The behaviour of the CNCL system is then examined by carrying a thorough parametric study employing the validated 1-D single phase CNCL model with liquid sodium as the operating fluid. The CNCL orientation (vertical or horizontal) coupled with the heater and cooler configuration determines the system dynamics and behaviour. The CNCL system also exhibits chaotic flow oscillations at high heat loads.