title: Quantum critical properties of Bose-Hubbard models

abstract: The Mott insulator-to-superfluid transition exhibited by the Bose-Hubbard model on a two-dimensional square lattice occurs for any value of the chemical potential, but becomes critical at the tips of the so-called Mott lobes only. Employing a numerical approach based on a combination of high-order perturbation theory and hypergeometric analytic continuation we investigate how quantum critical properties manifest themselves in computational practice. We consider two-dimensional triangular lattices and three-dimensional cubic lattices for comparison, providing accurate parametrizations of the phase boundaries at the tips of the respective first lobes. In particular, we lend strong support to a recently suggested inequality which bounds the divergence exponent of the one-particle correlation function in terms of that of the two-particle correlation function, and which sharpens to an equality if and only if a system becomes critical.


title: DLTPy: Deep Learning Type Inference of Python Function Signatures using Natural Language Context

abstract: Due to the rise of machine learning, Python is an increasingly popular programming language. Python, however, is dynamically typed. Dynamic typing has shown to have drawbacks when a project grows, while at the same time it improves developer productivity. To have the benefits of static typing, combined with high developer productivity, types need to be inferred. In this paper, we present DLTPy: a deep learning type inference solution for the prediction of types in function signatures based on the natural language context (identifier names, comments and return expressions) of a function. We found that DLTPy is effective and has a top-3 F1-score of 91.6%. This means that in most of the cases the correct type is within the top-3 predictions. We conclude that natural language contained in comments and return expressions are beneficial to predicting types more accurately. DLTPy does not significantly outperform or underperform the previous work NL2Type for Javascript, but does show that similar prediction is possible for Python.


title: Stability of Redundancy Systems with Processor Sharing

abstract: We investigate the stability condition for redundancy-d systems where each of the servers follows a processor-sharing (PS) discipline. We allow for generally distributed job sizes, with possible dependence among the d replica sizes being governed by an arbitrary joint distribution. We establish that the stability condition is characterized by the expectation of the minimum of d replica sizes being less than the mean interarrival time per server. In the special case of identical replicas, the stability condition is insensitive to the job size distribution given its mean, and the stability condition is inversely proportional to the number of replicas. In the special case of i.i.d. replicas, the stability threshold decreases (increases) in the number of replicas for job size distributions that are NBU (NWU). We also discuss extensions to scenarios with heterogeneous servers.


title: GeoTrackNet-A Maritime Anomaly Detector using Probabilistic Neural Network Representation of AIS Tracks and A Contrario Detection

abstract: Representing maritime traffic patterns and detecting anomalies from them are key to vessel monitoring and maritime situational awareness. We propose a novel approach -- referred to as GeoTrackNet -- for maritime anomaly detection from AIS data streams. Our model exploits state-of-the-art neural network schemes to learn a probabilistic representation of AIS tracks and a contrario detection to detect abnormal events. The neural network provides a new means to capture complex and heterogeneous patterns in vessels' behaviours, while the \textit{a contrario} detector takes into account the fact that the learnt distribution may be location-dependent. Experiments on a real AIS dataset comprising more than 4.2 million AIS messages demonstrate the relevance of the proposed method compared with state-of-the-art schemes.


title: Optimal control of the FitzHugh-Nagumo stochastic model with nonlinear diffusion

abstract: We consider the existence and first order conditions of optimality for a stochastic optimal control problem inspired by the celebrated FitzHugh-Nagumo model, with nonlinear diffusion term, perturbed by a linear multiplicative Brownian-type noise. The main novelty of the present paper relies on the application of the {\it rescaling method} which allows us to reduce the original problem to a random optimal one.


title: Optical Superoscillatory Poisson-Arago Spots

abstract: Optical diffraction limit has been a long-term scientific issue since Ernst Abbe first introduced the concept in 1873. It is a constraint on the smallest light spot that can be achieved. Substantial effort has been invested in the past decade to beat this limit by exploiting evanescent waves. But this method encounters serious near-field limitations. A more promising route to breaking the constraint is to explore optical superoscillation in the far field with engineered metamaterials. However, these particular structures involve with very complicated optimization-based design that requires precisely tailoring the interference of propagating waves with low spatial frequency. To overcome these limitations, here we explore a new approach based on the two-hundred-year-old discovery: Possion-Arago spots. We show for the first time that by using a single disc, constructive interference of propagating waves with high-spatial-frequency wavevectors can be realized, generating a diffraction-unlimited localized Possion-Arago spot with achievable size down to $\lambda/$20. Actually, such an element permits creation of an ultra-long nearly nondiffracting superoscillatory needle with appreciable field of view. This easy-to-fabrication element provides a promising route to overcome the diffraction limit, thus might open new avenues to exploit various applications in different fields.


title: Relativistic stars in mass-varying massive gravity

abstract: Mass-varying massive gravity allows the graviton mass to vary according to different environments. We investigate neutron star and white dwarf solutions in this theory and find that the graviton mass can become very large near the compact stars and settle down quickly to small cosmological values away the stars, similar to that of black holes in the theory. It is found that there exists a tower of compact star solutions where the graviton mass decreases radially to zero non-trivially. We compute the massive graviton effects on the mass-radius relations of the compact stars, and also compare the relative strengths between neutron stars and white dwarfs in constraining the parameter space of mass-varying massive gravity.


title: An invariant variant of the little Grothendieck theorem for Sobolev spaces

abstract: We prove that every Hilbert space operator which factorizes invariantly through Sobolev space $W^1_1(\mathbb{T}^d)$ belongs to some non-trivial Schatten class.


title: A novel framework for joint sparse clustering and alignment of functional data

abstract: We propose a novel framework for sparse functional clustering that also embeds an alignment step. Sparse functional clustering means finding a grouping structure while jointly detecting the parts of the curves' domains where their grouping structure shows the most. Misalignment is a well-known issue in functional data analysis, that can heavily affect functional clustering results if not properly handled. Therefore, we develop a sparse functional clustering procedure that accounts for the possible curve misalignment: the coherence of the functional measure used in the clustering step to the class where the warping functions are chosen is ensured, and the well-posedness of the sparse clustering problem is proved. A possible implementing algorithm is also proposed, that jointly performs all these tasks: clustering, alignment, and domain selection. The method is tested on simulated data in various realistic situations, and its application to the Berkeley Growth Study data and to the AneuRisk65 data set is discussed.


title: Role of axial twin boundaries on deformation mechanisms in Cu nanopillars

abstract: In recent years, twinned nanopillars have attracted tremendous attention for research due to their superior mechanical properties. However, most of the studies were focused on nanopillars with twin boundaries (TBs) perpendicular to loading direction. Nanopillars with TBs parallel to loading direction have received minimal interest. In this backdrop, the present study is aimed at understanding the role of axial TBs on strength and deformation behaviour of Cu nanopillars using atomistic simulations. Tensile and compression tests have been performed on $<$112$>$ nanopillars with and without TBs. Twinned nanopillars with twin boundary spacing in the range 1.6-5 nm were considered. The results indicate that, under both tension and compression, yield strength increases with decreasing twin boundary spacing and is always higher than that of perfect nanopillars. Under compression, the deformation in $<$112$>$ perfect as well as twinned nanopillars proceeds by the slip of extended dislocations. In twinned nanopillars, an extensive cross-slip by way of Friedel-Escaig and Fleischer mechanisms has been observed in compression. On the other hand, under tensile loading, the deformation in perfect nanopillars occurs by partial slip/twinning, while in twinned nanopillars, it proceeds by the slip of extended dislocations. This extended dislocation activity is facilitated by stair-rod formation and its dissociation on the twin boundary. Similar to compressive loading, the extended dislocations under tensile loading also exhibit cross-slip activity in twinned nanopillars. However, this cross-slip activity occurs only through Fleischer mechanism and no Friedel-Escaig mechanism of cross-slip has been observed under tensile loading.


title: Heavy quark momentum diffusion coefficient from the lattice

abstract: We report progress towards computing the heavy quark momentum diffusion coefficient from the lattice correlator of two chromoelectric fields attached to a Polyakov loop in pure SU(3) gauge theory. Using a multilevel algorithm and tree-level improvement, we study the behavior of the diffusion coefficient as a function of temperature in the wide range $1.1 < T/Tc < 10^4$.


title: EduBERT: Pretrained Deep Language Models for Learning Analytics

abstract: The use of large pretrained neural networks to create contextualized word embeddings has drastically improved performance on several natural language processing (NLP) tasks. These computationally expensive models have begun to be applied to domain-specific NLP tasks such as re-hospitalization prediction from clinical notes. This paper demonstrates that using large pretrained models produces excellent results on common learning analytics tasks. Pre-training deep language models using student forum data from a wide array of online courses improves performance beyond the state of the art on three text classification tasks. We also show that a smaller, distilled version of our model produces the best results on two of the three tasks while limiting computational cost. We make both models available to the research community at large.


title: Artificial boundary method for the solution of pricing European options under the Heston model

abstract: This paper considers the valuation of a European call option under the Heston stochastic volatility model. We present the asymptotic solution to the option pricing problem in powers of the volatility of variance. Then we introduce the artificial boundary method for solving the problem on a truncated domain, and derive several artificial boundary conditions (ABCs) on the artificial boundary of the bounded computational domain. A typical finite difference scheme and quadrature rule are used for the numerical solution of the reduced problem. Numerical experiments show that the proposed ABCs are able to improve the accuracy of the results and have a significant advantage over the widely-used boundary conditions by Heston in the original paper (Heston, 1993).


title: Gardens of Eden in the Game of Life

abstract: We prove that in the Game of Life, if the thickness-four zero-padding of a rectangular pattern is not an orphan, then the corresponding finite-support configuration is not a Garden of Eden, and that the preimage of every finite-support configuration has dense semilinear configurations. In particular finite-support Gardens of Eden are in co-NP.


title: Location of small points on an elliptic curve by an equidistribution argument

abstract: Let $E$ be an elliptic curve defined over a number field $K$ without complex multiplication. If $\Gamma \subset E(\overline{K})$ is a subgroup of finite rank, a very special case of a conjecture of R\'emond predicts that points of small height in $E(K(\Gamma))$ lie in the division group of $\Gamma$. Using an equidistribution argument, we will show that this conjecture is true for groups of rank arbitrarily large.


title: Editorial: EVA 2019 data competition on spatio-temporal prediction of Red Sea surface temperature extremes

abstract: Large, non-stationary spatio-temporal data are ubiquitous in modern statistical applications, and the modeling of spatio-temporal extremes is crucial for assessing risks in environmental sciences among others. While the modeling of extremes is challenging in itself, the prediction of rare events at unobserved spatial locations and time points is even more difficult. In this editorial, we describe the data competition that was organized for the 11th international conference on Extreme-Value Analysis (EVA 2019), for which several teams modeled and predicted Red Sea surface temperature extremes over space and time. After introducing the dataset and the goal of the competition, we disclose the final ranking of the teams, and we finally discuss some interesting outcomes and future challenges.


title: GPU Support for Automatic Generation of Finite-Differences Stencil Kernels

abstract: The growth of data to be processed in the Oil & Gas industry matches the requirements imposed by evolving algorithms based on stencil computations, such as Full Waveform Inversion and Reverse Time Migration. Graphical processing units (GPUs) are an attractive architectural target for stencil computations because of its high degree of data parallelism. However, the rapid architectural and technological progression makes it difficult for even the most proficient programmers to remain up-to-date with the technological advances at a micro-architectural level. In this work, we present an extension for an open source compiler designed to produce highly optimized finite difference kernels for use in inversion methods named Devito. We embed it with the Oxford Parallel Domain Specific Language (OP-DSL) in order to enable automatic code generation for GPU architectures from a high-level representation. We aim to enable users coding in a symbolic representation level to effortlessly get their implementations leveraged by the processing capacities of GPU architectures. The implemented backend is evaluated on a NVIDIA GTX Titan Z, and on a NVIDIA Tesla V100 in terms of operational intensity through the roof-line model for varying space-order discretization levels of 3D acoustic isotropic wave propagation stencil kernels with and without symbolic optimizations. It achieves approximately 63% of V100's peak performance and 24% of Titan Z's peak performance for stencil kernels over grids with 256 points. Our study reveals that improving memory usage should be the most efficient strategy for leveraging the performance of the implemented solution on the evaluated architectures.


title: Securing Soft IP Cores in FPGA based Reconfigurable Mobile Heterogeneous Systems

abstract: The mobile application market is rapidly growing and changing, offering always brand new software to install in increasingly powerful devices. Mobile devices become pervasive and more heterogeneous, embedding latest technologies such as multicore architectures, special-purpose circuits and reconfigurable logic. In a future mobile market scenario reconfigurable systems are employed to provide high-speed functionalities to assist execution of applications. However, new security concerns are introduced. In particular, protecting the Intellectual Property of the exchanged soft IP cores is a serious concern. The available techniques for preserving integrity, confidentiality and authenticity suffer from the limitation of heavily relying onto the system designer. In this paper we propose two different protocols suitable for the secure deployment of soft IP cores in FPGA-based mobile heterogeneous systems where multiple independent actors are involved: a simple scenario requiring trust relationship between entities, and a more complex scenario where no trust relationship exists through adoption of the Direct Anonymous Attestation protocol. Finally, we provide a prototype implementation of the proposed architectures.


title: The world of strategies with memory

abstract: As part of a generalized "prisoners' dilemma", is considered that the evolution of a population with a full set of behavioral strategies limited only by the depth of memory. Each subsequent generation of the population successively loses the most disadvantageous strategies of behavior of the previous generation. It is shown that an increase in memory in a population is evolutionarily beneficial. The winners of evolutionary selection invariably refer to agents with maximum memory. The concept of strategy complexity is introduced. It is shown that strategies that win in natural selection have maximum or near maximum complexity. Despite the fact that at a separate stage of evolution, according to the payout matrix, the individual gain, while refusing to cooperate, exceeded the gain obtained while cooperating. The winning strategies always belonged to the so-called respectable strategies that are clearly prone to cooperation.


title: Fiction Sentence Expansion and Enhancement via Focused Objective and Novelty Curve Sampling

abstract: We describe the task of sentence expansion and enhancement, in which a sentence provided by a human is expanded in some creative way. The expansion should be understandable, believably grammatical, and optimally meaning-preserving. Sentence expansion and enhancement may serve as an authoring tool, or integrate in dynamic media, conversational agents, or variegated advertising. We implement a neural sentence expander trained on sentence compressions generated from a corpus of modern fiction. We modify an MLE objective to support the task by focusing on new words, and decode at test time with controlled curve-like novelty sampling. We run our sentence expander on sentences provided by human subjects and have humans evaluate these expansions. We show that, although the generation methods are inferior to professional human writers, they are comparable to, and as well liked as, our subjects' original input sentences, and preferred over baselines.


title: The anomalous production of multi-lepton and its impact on the measurement of $Wh$ production at the LHC

abstract: Anomalies in multi-lepton final states at the Large Hadron Collider (LHC) have been reported in Refs.~\cite{vonBuddenbrock:2017gvy,vonBuddenbrock:2019ajh}. These can be interpreted in terms of the production of a heavy boson, $H$, decaying into a Standard Model (SM) Higgs boson, $h$, and a singlet scalar, $S$, which is treated as a SM Higgs-like boson. This process would naturally affect the measurement of the $Wh$ signal strength at the LHC, where $h$ is produced in association with leptons and di-jets. Here, $h$ would be produced with lower transverse momentum, $p_{Th}$, compared to SM processes. Corners of the phase-space are fixed according to the model parameters derived in Refs.~\cite{vonBuddenbrock:2016rmr,vonBuddenbrock:2017gvy} without additional tuning, thus nullifying potential look-else-where effects or selection biases. Provided that no stringent requirements are made on $p_{Th}$ or related observables, the signal strength of $Wh$ is $\mu(Wh)=2.41 \pm 0.37$. This corresponds to a deviation from the SM of $3.8\sigma$. This result further strengthens the need to measure with precision the SM Higgs boson couplings in $e^+e^-$, and $e^-p$ collisions, in addition to $pp$ collisions.


title: ReD-CaNe: A Systematic Methodology for Resilience Analysis and Design of Capsule Networks under Approximations

abstract: Recent advances in Capsule Networks (CapsNets) have shown their superior learning capability, compared to the traditional Convolutional Neural Networks (CNNs). However, the extremely high complexity of CapsNets limits their fast deployment in real-world applications. Moreover, while the resilience of CNNs have been extensively investigated to enable their energy-efficient implementations, the analysis of CapsNets' resilience is a largely unexplored area, that can provide a strong foundation to investigate techniques to overcome the CapsNets' complexity challenge. Following the trend of Approximate Computing to enable energy-efficient designs, we perform an extensive resilience analysis of the CapsNets inference subjected to the approximation errors. Our methodology models the errors arising from the approximate components (like multipliers), and analyze their impact on the classification accuracy of CapsNets. This enables the selection of approximate components based on the resilience of each operation of the CapsNet inference. We modify the TensorFlow framework to simulate the injection of approximation noise (based on the models of the approximate components) at different computational operations of the CapsNet inference. Our results show that the CapsNets are more resilient to the errors injected in the computations that occur during the dynamic routing (the softmax and the update of the coefficients), rather than other stages like convolutions and activation functions. Our analysis is extremely useful towards designing efficient CapsNet hardware accelerators with approximate components. To the best of our knowledge, this is the first proof-of-concept for employing approximations on the specialized CapsNet hardware.


title: The supersingular isogeny problem in genus 2 and beyond

abstract: Let $A/\overline{\mathbb{F}}\_p$ and $A'/\overline{\mathbb{F}}\_p$ be supersingular principally polarized abelian varieties of dimension $g>1$. For any prime $\ell \ne p$, we give an algorithm that finds a path $\phi \colon A \rightarrow A'$ in the $(\ell, \dots , \ell)$-isogeny graph in $\widetilde{O}(p^{g-1})$ group operations on a classical computer, and $\widetilde{O}(\sqrt{p^{g-1}})$ calls to the Grover oracle on a quantum computer. The idea is to find paths from $A$ and $A'$ to nodes that correspond to products of lower dimensional abelian varieties, and to recurse down in dimension until an elliptic path-finding algorithm (such as Delfs--Galbraith) can be invoked to connect the paths in dimension $g=1$. In the general case where $A$ and $A'$ are any two nodes in the graph, this algorithm presents an asymptotic improvement over all of the algorithms in the current literature. In the special case where $A$ and $A'$ are a known and relatively small number of steps away from each other (as is the case in higher dimensional analogues of SIDH), it gives an asymptotic improvement over the quantum claw finding algorithms and an asymptotic improvement over the classical van Oorschot--Wiener algorithm.


title: PFASST-ER: Combining the Parallel Full Approximation Scheme in Space and Time with parallelization across the method

abstract: To extend prevailing scaling limits when solving time-dependent partial differential equations, the parallel full approximation scheme in space and time (PFASST) has been shown to be a promising parallel-in-time integrator. Similar to a space-time multigrid, PFASST is able to compute multiple time-steps simultaneously and is therefore in particular suitable for large-scale applications on high performance computing systems. In this work we couple PFASST with a parallel spectral deferred correction (SDC) method, forming an unprecedented doubly time-parallel integrator. While PFASST provides global, large-scale "parallelization across the step", the inner parallel SDC method allows to integrate each individual time-step "parallel across the method" using a diagonalized local Quasi-Newton solver. This new method, which we call "PFASST with Enhanced concuRrency" (PFASST-ER), therefore exposes even more temporal parallelism. For two challenging nonlinear reaction-diffusion problems, we show that PFASST-ER works more efficiently than the classical variants of PFASST and can be used to run parallel-in-time beyond the number of time-steps.


title: On the star-critical Ramsey number of a forest versus complete graphs

abstract: Let $G$ and $G_1, G_2, \ldots , G_t$ be given graphs. By $G\rightarrow (G_1, G_2, \ldots , G_t)$ we mean if the edges of $G$ are arbitrarily colored by $t$ colors, then for some $i$, $1\leq i\leq t$, the spanning subgraph of $G$ whose edges are colored with the $i$-th color, contains a copy of $G_i$. The Ramsey number $R(G_1, G_2, \ldots, G_t)$ is the smallest positive integer $n$ such that $K_n\rightarrow (G_1, G_2, \ldots , G_t)$ and the size Ramsey number $\hat{R}(G_1, G_2, \ldots , G_t)$ is defined as $\min\{|E(G)|:~G\rightarrow (G_1, G_2, \ldots , G_t)\}$. Also, for given graphs $G_1, G_2, \ldots , G_t$ with $r=R(G_1, G_2, \ldots , G_t)$, the star-critical Ramsey number $R_*(G_1, G_2, \ldots , G_t)$ is defined as $\min\{\delta(G):~G\subseteq K_r, ~G\rightarrow (G_1, G_2, \ldots , G_t)\}$. In this paper, the Ramsey number and also the star-critical Ramsey number of a forest versus any number of complete graphs will be computed exactly in terms of the Ramsey number of complete graphs. As a result, the computed star-critical Ramsey number is used to give a tight bound for the size Ramsey number of a forest versus a complete graph.


title: Scaling up real networks by geometric branching growth

abstract: Real networks often grow through the sequential addition of new nodes that connect to older ones in the graph. However, many real systems evolve through the branching of fundamental units, whether those be scientific fields, countries, or species. Here, we provide empirical evidence for self-similar growth of network structure in the evolution of real systems and present the Geometric Branching Growth model, which predicts this evolution and explains the symmetries observed. The model produces multiscale unfolding of a network in a sequence of scaled-up replicas preserving network features, including clustering and community structure, at all scales. Practical applications in real instances include the tuning of network size for best response to external influence and finite-size scaling to assess critical behavior under random link failures.


title: R-mode oscillations in eclipsing binaries

abstract: The presence of r mode oscillations (global modes of Rossby waves coupled with buoyancy) in an eclipsing binary is recognized as frequency groups in a frequency-amplitude diagram obtained from a Fourier analysis of Kepler light curve data. The frequency at the upper bound of an r-mode frequency group is close to the rotation frequency of the star. Analysing about eight hundred Kepler light curves of eclipsing binaries finds about seven hundred cases showing the signature of r modes. Sometimes two sets of the frequency groups are found, which indicates the two component stars to have slightly different rotation frequencies. Plotting thus obtained rotation frequencies with respect to orbital frequencies, we find that rotation is roughly synchronous to the orbital frequency if the latter is larger than about 1 c/d, while some stars rotate super-synchronously in systems with longer orbital periods.


title: scikit-hubness: Hubness Reduction and Approximate Neighbor Search

abstract: This paper introduces scikit-hubness, a Python package for efficient nearest neighbor search in high-dimensional spaces. Hubness is an aspect of the curse of dimensionality, and is known to impair various learning tasks, including classification, clustering, and visualization. scikit-hubness provides algorithms for hubness analysis ("Is my data affected by hubness?"), hubness reduction ("How can we improve neighbor retrieval in high dimensions?"), and approximate neighbor search ("Does it work for large data sets?"). It is integrated into the scikit-learn environment, enabling rapid adoption by Python-based machine learning researchers and practitioners. Users will find all functionality of the scikit-learn neighbors package, plus additional support for transparent hubness reduction and approximate nearest neighbor search. scikit-hubness is developed using several quality assessment tools and principles, such as PEP8 compliance, unit tests with high code coverage, continuous integration on all major platforms (Linux, MacOS, Windows), and additional checks by LGTM. The source code is available at https://github.com/VarIr/scikit-hubness under the BSD 3-clause license. Install from the Python package index with $ pip install scikit-hubness.


title: The Dawn of Dust Astronomy

abstract: We review the development of dust science from the first ground-based astronomical observations of dust in space to compositional analysis of individual dust particles and their source objects. A multitude of observational techniques is available for the scientific study of space dust: from meteors and interplanetary dust particles collected in the upper atmosphere to dust analyzed in situ or returned to Earth. In situ dust detectors have been developed from simple dust impact detectors determining the dust hazard in Earth orbit to dust telescopes capable of providing compositional analysis and accurate trajectory determination of individual dust particles in space. The concept of Dust Astronomy has been developed, recognizing that dust particles, like photons, carry information from remote sites in space and time. From knowledge of the dust particles' birthplace and their bulk properties, we learn about the remote environment out of which the particles were formed. Dust Observatory missions like Cassini, Stardust, and Rosetta study Saturn's satellites and rings and the dust environments of comet Wild 2 and comet Churyumov-Gerasimenko, respectively. Supplemented by simulations of dusty processes in the laboratory we are beginning to understand the dusty environments in space.


title: The $l^p$ norms of a class of weighted mean matrices

abstract: We study the $l^p$ norms of a class of weighted mean matrices whose diagonal terms are given by $n^{\alpha}/\sum^{n}_{i=1}i^{\alpha}$ with $\alpha > -1$. The $l^p$ norms of such matrices are known for $p \geq 2, (\alpha+1)p >1$ and $1<p \leq 4/3, 1/p \leq \alpha \leq 1$. In this paper, we determine the $l^p$ norms of such matrices for $p \geq 1.35, 0\leq \alpha \leq 1$.


title: Phasing a deployable sparse telescope

abstract: After launching and deploying a sparse space telescope, fine tuning is required to correct for inaccurate initial placement of its elements. We selected unique shapes and locations of these telescope aperture segments, to be able to distinguish between their diffraction patterns, while at the same time having a proper spatial frequency coverage. Then we improved the combined wave front, without measuring it directly: First we correlated each segment's focal image with its distinctive template, to correct its tilt. Next we interfered them with the other segments, pair by pair, using their limited coherence, to locate their mutual optical path differences. Finally, we optimized the combined focal image for fine alignment.


title: $(2k+1)$-connected tournaments with large minimum out-degree are $k$-linked

abstract: Pokrovskiy conjectured that there is a function $f: \mathbb{N} \rightarrow \mathbb{N}$ such that any $2k$-strongly-connected tournament with minimum out and in-degree at least $f(k)$ is $k$-linked. In this paper, we show that any $(2k+1)$-strongly-connected tournament with minimum out-degree at least some polynomial in $k$ is $k$-linked, thus resolving the conjecture up to the additive factor of $1$ in the connectivity bound, but without the extra assumption that the minimum in-degree is large. Moreover, we show the condition on high minimum out-degree is necessary by constructing arbitrarily large tournaments that are $(2.5k-1)$-strongly-connected but are not $k$-linked.


title: Efficient Convolutional Neural Networks for Depth-Based Multi-Person Pose Estimation

abstract: Achieving robust multi-person 2D body landmark localization and pose estimation is essential for human behavior and interaction understanding as encountered for instance in HRI settings. Accurate methods have been proposed recently, but they usually rely on rather deep Convolutional Neural Network (CNN) architecture, thus requiring large computational and training resources. In this paper, we investigate different architectures and methodologies to address these issues and achieve fast and accurate multi-person 2D pose estimation. To foster speed, we propose to work with depth images, whose structure contains sufficient information about body landmarks while being simpler than textured color images and thus potentially requiring less complex CNNs for processing. In this context, we make the following contributions. i) we study several CNN architecture designs combining pose machines relying on the cascade of detectors concept with lightweight and efficient CNN structures; ii) to address the need for large training datasets with high variability, we rely on semi-synthetic data combining multi-person synthetic depth data with real sensor backgrounds; iii) we explore domain adaptation techniques to address the performance gap introduced by testing on real depth images; iv) to increase the accuracy of our fast lightweight CNN models, we investigate knowledge distillation at several architecture levels which effectively enhance performance. Experiments and results on synthetic and real data highlight the impact of our design choices, providing insights into methods addressing standard issues normally faced in practical applications, and resulting in architectures effectively matching our goal in both performance and speed.


title: Financial Market Directional Forecasting With Stacked Denoising Autoencoder

abstract: Forecasting stock market direction is always an amazing but challenging problem in finance. Although many popular shallow computational methods (such as Backpropagation Network and Support Vector Machine) have extensively been proposed, most algorithms have not yet attained a desirable level of applicability. In this paper, we present a deep learning model with strong ability to generate high level feature representations for accurate financial prediction. Precisely, a stacked denoising autoencoder (SDAE) from deep learning is applied to predict the daily CSI 300 index, from Shanghai and Shenzhen Stock Exchanges in China. We use six evaluation criteria to evaluate its performance compared with the back propagation network, support vector machine. The experiment shows that the underlying financial model with deep machine technology has a significant advantage for the prediction of the CSI 300 index.


title: Multi-Component Extension of CAC Systems

abstract: In this paper an approach to generate multi-dimensionally consistent $N$-component systems is proposed. The approach starts from scalar multi-dimensionally consistent quadrilateral systems and makes use of the cyclic group. The obtained $N$-component systems inherit integrable features such as B\"acklund transformations and Lax pairs, and exhibit interesting aspects, such as nonlocal reductions. Higher order single component lattice equations (on larger stencils) and multi-component discrete Painlev\'e equations can also be derived in the context, and the approach extends to $N$-component generalizations of higher dimensional lattice equations.


title: Generic regularity of free boundaries for the obstacle problem

abstract: The goal of this paper is to establish generic regularity of free boundaries for the obstacle problem in $\mathbb R^n$. By classical results of Caffarelli, the free boundary is $C^\infty$ outside a set of singular points. Explicit examples show that the singular set could be in general $(n-1)$-dimensional ---that is, as large as the regular set. Our main result establishes that, generically, the singular set has zero $\mathcal H^{n-4}$ measure (in particular, it has codimension 3 inside the free boundary). In particular, for $n\leq4$, the free boundary is generically a $C^\infty$ manifold. This solves a conjecture of Schaeffer (dating back to 1974) on the generic regularity of free boundaries in dimensions $n\leq4$.


title: Learning Bayesian networks from demographic and health survey data

abstract: Child mortality from preventable diseases such as pneumonia and diarrhoea in low and middle-income countries remains a serious global challenge. We combine knowledge with available Demographic and Health Survey (DHS) data from India, to construct Causal Bayesian Networks (CBNs) and investigate the factors associated with childhood diarrhoea. We make use of freeware tools to learn the graphical structure of the DHS data with score-based, constraint-based, and hybrid structure learning algorithms. We investigate the effect of missing values, sample size, and knowledge-based constraints on each of the structure learning algorithms and assess their accuracy with multiple scoring functions. Weaknesses in the survey methodology and data available, as well as the variability in the CBNs generated by the different algorithms, mean that it is not possible to learn a definitive CBN from data. However, knowledge-based constraints are found to be useful in reducing the variation in the graphs produced by the different algorithms, and produce graphs which are more reflective of the likely influential relationships in the data. Furthermore, valuable insights are gained into the performance and characteristics of the structure learning algorithms. Two score-based algorithms in particular, TABU and FGES, demonstrate many desirable qualities; a) with sufficient data, they produce a graph which is similar to the reference graph, b) they are relatively insensitive to missing values, and c) behave well with knowledge-based constraints. The results provide a basis for further investigation of the DHS data and for a deeper understanding of the behaviour of the structure learning algorithms when applied to real-world settings.


title: Dark matter -- Modified dynamics: Reaction vs. Prediction

abstract: The dark energy-cold dark matter paradigm ($\Lambda$CDM) has gained widespread acceptance because it explains the pattern of anisotropies observed in the cosmic microwave background radiation, the observed distribution of large scale inhomogeneities in detectable matter, and the perceived overall expansion history of the Universe. It is further {\it assumed} that the cosmic dark matter component clusters on the scale of bound astronomical systems and thereby accounts for the observed difference between the directly detectable (baryonic) mass and the total Newtonian dynamical mass. In this respect the paradigm fails; it is falsified by the existence of a simple algorithm, modified Newtonian dynamics (MOND), which explains, not only general scaling relations for astronomical systems, but quite precisely predicts the effective gravitational acceleration in such objects from the observed distribution of detectable baryonic matter -- all of this with one additional universal parameter having units of acceleration. On this sub-Hubble scale, the dark matter hypothesis is essentially reactive, while MOND is successfully predictive.


title: PTAS for Steiner Tree on Map Graphs

abstract: We study the Steiner tree problem on map graphs, which substantially generalize planar graphs as they allow arbitrarily large cliques. We obtain a PTAS for Steiner tree on map graphs, which builds on the result for planar edge weighted instances of Borradaile et al. The Steiner tree problem on map graphs can be casted as a special case of the planar node-weighted Steiner tree problem, for which only a 2.4-approximation is known. We prove and use a contraction decomposition theorem for planar node weighted instances. This readily reduces the problem of finding a PTAS for planar node-weighted Steiner tree to finding a spanner, i.e., a constant-factor approximation containing a nearly optimum solution. Finally, we pin-point places where known techniques for constructing such spanner fail on node weighted instances and further progress requires new ideas.


title: Short-Packet Transmission over a Bidirectional Massive MIMO link

abstract: We consider the transmission of short packets over a bidirectional communication link where multiple devices, e.g., sensors and actuators, exchange small-data payloads with a base station equipped with a large antenna array. Using results from finite-blocklength information theory, we characterize the minimum SNR required to achieve a target error probability for a fixed packet length and a fixed payload size. Our nonasymptotic analysis, which applies to the scenario in which the bidirectional communication is device-initiated, and also to the more challenging case when it is base-station initiated, provides guidelines on the design of massive multiple-input multiple-output links that need to support sporadic ultra-reliable low-latency transmissions. Specifically, it allows us to determine the optimal amount of resources that need to be dedicated to the acquisition of channel state information.


title: Stable Visual Summaries for Trajectory Collections

abstract: The availability of devices that track moving objects has led to an explosive growth in trajectory data. When exploring the resulting large trajectory collections, visual summaries are a useful tool to identify time intervals of interest. A typical approach is to represent the spatial positions of the tracked objects at each time step via a one-dimensional ordering; visualizations of such orderings can then be placed in temporal order along a time line. There are two main criteria to assess the quality of the resulting visual summary: spatial quality -- how well does the ordering capture the structure of the data at each time step, and stability -- how coherent are the orderings over consecutive time steps or temporal ranges? In this paper we introduce a new Stable Principal Component (SPC) method to compute such orderings, which is explicitly parameterized for stability, allowing a trade-off between the spatial quality and stability. We conduct extensive computational experiments that quantitatively compare the orderings produced by ours and other stable dimensionality-reduction methods to various state-of-the-art approaches using a set of well-established quality metrics that capture spatial quality and stability. We conclude that stable dimensionality reduction outperforms existing methods on stability, without sacrificing spatial quality or efficiency; in particular, our new SPC method does so at a fraction of the computational costs.


title: On Multipliers and completely bounded Multipliers -- the case SL(2,R)

abstract: For the Fourier Algebra of SL(2,R) any bounded multiplier is completely bounded.


title: Refined description and stability for singular solutions of the 2D Keller-Segel system

abstract: We construct solutions to the two dimensional parabolic-elliptic Keller-Segel model for chemotaxis that blow up in finite time $T$. The solution is decomposed as the sum of a stationary state concentrated at scale $\lambda$ and of a perturbation. We rely on a detailed spectral analysis for the linearized dynamics in the parabolic neighbourhood of the singularity performed by the authors, providing a refined expansion of the perturbation. Our main result is the construction of a stable dynamics in the full nonradial setting for which the stationary state collapses with the universal law $\lambda \sim 2e^{-\frac{2+\gamma}{2}}\sqrt{T-t}e^{-\sqrt{\frac{|\ln (T-t)|}{2}}}$ where $\gamma$ is the Euler constant. This improves on the earlier result by Raphael and Schweyer 2014 and gives a new robust approach to so-called type II singularities for critical parabolic problems. A by-product of the spectral analysis we developed is the existence of unstable blowup dynamics with speed $\lambda_\ell \sim C_0(T-t)^{\frac{\ell}{2}} |\ln(T-t)|^{-\frac{\ell}{2(\ell - 1)}}$ for $\ell \geq 2$ integer.


title: The role of the chiral phase transition in modelling the kaon to pion ratio

abstract: A sharp peak in the $K^+/\pi^+$ ratio in relativistic heavy-ion collision is discussed in the framework of the SU(3) Polyakov-loop extended NJL model with vector interaction. In the model, the $K^+/\pi^+$ ratio was calculated along the chiral phase transition line for different values of the vector coupling $g_V$. We showed that the value of the vector coupling had no significant effect on the $K^+/\pi^+$ behaviour.


title: Relating lp regularization and reweighted l1 regularization

abstract: We propose a general framework of iteratively reweighted l1 methods for solving lp regularization problems. We prove that after some iteration k, the iterates generated by the proposed methods have the same support and sign as the limit points, and are bounded away from 0, so that the algorithm behaves like solving a smooth problem in the reduced space. As a result, the global convergence can be easily obtained and an update strategy for the smoothing parameter is proposed which can automatically terminate the updates for zero components. We show that lp regularization problems are locally equivalent to a weighted l1 regularization problem and every optimal point corresponds to a Maximum A Posterior estimation for independently and non-identically distributed Laplace prior parameters. Numerical experiments exhibit the behaviors and the efficiency of our proposed methods.


title: Quantitative homogenization for the case of an interface between two heterogeneous media

abstract: In this article we are interested in quantitative homogenization results for linear elliptic equations in the non-stationary situation of a straight interface between two heterogenous media. This extends the previous work [Josien, 2019] to a substantially more general setting, in which the surrounding heterogeneous media may be periodic or random stationary and ergodic. Our main result is a quantification of the sublinearity of a homogenization corrector adapted to the interface, which we construct using an improved version of the method developed in [Fischer and Raithel, 2017]. This quantification is optimal up to a logarithmic loss and allows to derive almost-optimal convergence rates.


title: DNA-functionalized gold nanoparticle assemblies for Surface Enhanced Raman Scattering

abstract: The programmable assembly of DNA strands is a promising tool for building tailored bottom-up nanostructures. Here, we present a plasmonic nanosystem obtained by the base-pairing mediated aggregation of gold nanoparticles (NPs) which are separately functionalized with two different single-stranded DNA chains. Their controlled assembly is mediated by a complementary DNA "bridge" sequence. We monitor the formation of DNA assembled NP aggregates in solution, and we study their Surface Enhanced Raman Scattering (SERS) response by comparison with the single NP constituents. We interpret the revealed SERS signatures in terms of the molecular and NP organization at the nanoscale, demonstrating that the action of the DNA bridge molecule yields regular NP aggregates with controlled interparticle distance and reproducible SERS response. This demonstrates the potential of the present system as a stable, biocompatible, and recyclable SERS sensor.


title: Relativistic Quantum Theory

abstract: The purpose of this paper is to sketch an approach towards a reconciliation of quantum theory with relativity theory. It will actually be argued that these two theories ultimately rely on one another. A general operator-algebraic framework for relativistic quantum theory is outlined. Some concepts of space-time structure are translated into algebra. Following deep results of Buchholz et al., the key role of massless modes, photons and gravitons, and of Huygens' Principle in a relativistic quantum theory well suited to describe "events" and "measurements" is highlighted. In summary, a relativistic version of the "ETH Approach" to quantum mechanics is described.


title: Two novel classes of arbitrary high-order structure-preserving algorithms for canonical Hamiltonian systems

abstract: In this paper, we systematically construct two classes of structure-preserving schemes with arbitrary order of accuracy for canonical Hamiltonian systems. The one class is the symplectic scheme, which contains two new families of parameterized symplectic schemes that are derived by basing on the generating function method and the symmetric composition method, respectively. Each member in these schemes is symplectic for any fixed parameter. A more general form of generating functions is introduced, which generalizes the three classical generating functions that are widely used to construct symplectic algorithms. The other class is a novel family of energy and quadratic invariants preserving schemes, which is devised by adjusting the parameter in parameterized symplectic schemes to guarantee energy conservation at each time step. The existence of the solutions of these schemes is verified. Numerical experiments demonstrate the theoretical analysis and conservation of the proposed schemes.


title: Joint Active and Passive Beamforming for Intelligent Reflecting Surface-Assisted Massive MIMO Systems

abstract: In this paper, we study the problem of joint active and passive beamforming for intelligent reflecting surface (IRS)-assisted massive MIMO systems, where multiple IRSs equipped with a large number of passive elements are deployed to assist a base station (BS) to simultaneously serve a small number of single-antenna users in the same time-frequency resource. Our objective is to maximize the minimum signal to interference plus noise (SINR) at users by jointly optimizing the transmit precoding vector at the BS and phase shift parameters at IRSs. We show that an interesting automatic interference cancelation (AIC) property holds asymptotically as the number of passive elements approaches infinity, i.e., when an IRS is optimally tuned to serve a certain user, this IRS will become interference-free to other users. By utilizing this property, the max-min problem can be converted into an IRS-user association problem, where the objective is to determine which IRSs are assigned for each user. An exhaustive search scheme and a greedy search scheme are proposed to solve the IRS-user association problem. Our theoretical analysis reveals that our proposed solution attains an SINR that scales quadratically with the number of reflecting elements. Also, our theoretical result suggests that even with a moderate number of active antennas at the BS, a massive MIMO like gain can be achieved by increasing the number of passive reflecting elements, thus significantly reducing the energy consumption at the BS. Simulation results are provided to corroborate our theoretical results and to illustrate the effectiveness of our proposed solution.


title: Short and long term near-infrared spectroscopic variability of eruptive protostars from VVV

abstract: Numerous eruptive variable young stellar objects (YSOs), mostly Class I systems, were recently detected by the near-infrared Vista Variables in the Via Lactea (VVV) survey. We present an exploratory near-infrared spectroscopic variability study of 14 eruptive YSOs. The variations were sampled over 1-day and 1 to 2-year intervals and analysed in combination with VVV light curves. CO overtone absorption features are observed on 3 objects with FUor-like spectra: all show deeper absorption when they are brighter. This implies stronger emission from the circumstellar disc with a steeper vertical temperature gradient when the accretion rate is higher. This confirms the nature of fast VVV FUor-like events, in line with the accepted picture for classical FUors. The absence of Br$\gamma$ emission in a FUor-like object declining to pre-outburst brightness suggests that reconstruction of the stellar magnetic field is a slow process. Within the 1-day timescale, 60% of H$_2$-emitting YSOs show significant but modest variation, and 2/6 sources have large variations in Br$\gamma$. Over year-long timescales, H$_2$ flux variations remain modest despite up to 1.8 mag variation in $K_s$. This indicates that emission from the molecular outflow usually arises further from the protostar and is unaffected by relatively large changes in accretion rate on year-long timescales. Two objects show signs of on/off magnetospheric accretion traced by Br$\gamma$ emission. In addition, a 60% inter-night brightening of the H$_2$ outflow is detected in one YSO.


title: SemEval-2017 Task 3: Community Question Answering

abstract: We describe SemEval-2017 Task 3 on Community Question Answering. This year, we reran the four subtasks from SemEval-2016:(A) Question-Comment Similarity,(B) Question-Question Similarity,(C) Question-External Comment Similarity, and (D) Rerank the correct answers for a new question in Arabic, providing all the data from 2015 and 2016 for training, and fresh data for testing. Additionally, we added a new subtask E in order to enable experimentation with Multi-domain Question Duplicate Detection in a larger-scale scenario, using StackExchange subforums. A total of 23 teams participated in the task, and submitted a total of 85 runs (36 primary and 49 contrastive) for subtasks A-D. Unfortunately, no teams participated in subtask E. A variety of approaches and features were used by the participating systems to address the different subtasks. The best systems achieved an official score (MAP) of 88.43, 47.22, 15.46, and 61.16 in subtasks A, B, C, and D, respectively. These scores are better than the baselines, especially for subtasks A-C.


title: GDPArrrrr: Using Privacy Laws to Steal Identities

abstract: The General Data Protection Regulation (GDPR) has become a touchstone model for modern privacy law, in part because it empowers consumers with unprecedented control over the use of their personal information. However, this same power may be susceptible to abuse by malicious attackers. In this paper, we consider how legal ambiguity surrounding the "Right of Access" process may be abused by social engineers. This hypothesis is tested through an adversarial case study of more than 150 businesses. We find that many organizations fail to employ adequate safeguards against Right of Access abuse and thus risk exposing sensitive information to unauthorized third parties. This information varied in sensitivity from simple public records to Social Security Numbers and account passwords. These findings suggest a critical need to improve the implementation of the subject access request process. To this end, we propose possible remediations which may be appropriate for further consideration by government, industry and individuals.


title: T-ReX: a graph-based filament detection method

abstract: Numerical simulations and observations show that galaxies are not uniformly distributed in the universe but, rather, they are spread across a filamentary structure. In this large-scale pattern, highly dense regions are linked together by bridges and walls, all of them surrounded by vast, nearly-empty areas. While nodes of the network are widely studied in the literature, simulations indicate that half of the mass budget comes from a more diffuse part of the network, which is made up of filaments. In the context of recent and upcoming large galaxy surveys, it becomes essential that we identify and classify features of the Cosmic Web in an automatic way in order to study their physical properties and the impact of the cosmic environment on galaxies and their evolution. In this work, we propose a new approach for the automatic retrieval of the underlying filamentary structure from a 2D or 3D galaxy distribution using graph theory and the assumption that paths that link galaxies together with the minimum total length highlight the underlying distribution. To obtain a smoothed version of this topological prior, we embedded it in a Gaussian mixtures framework. In addition to a geometrical description of the pattern, a bootstrap-like estimate of these regularised minimum spanning trees allowed us to obtain a map characterising the frequency at which an area of the domain is crossed. Using the distribution of halos derived from numerical simulations, we show that the proposed method is able to recover the filamentary pattern in a 2D or 3D distribution of points with noise and outliers robustness with a few comprehensible parameters.


title: On the Equilibria and Efficiency of Electricity Markets with Renewable Power Producers and Congestion Constraints

abstract: With increasing renewable penetration in power systems, a prominent challenge in efficient and reliable power system operation is handling the uncertainties inherent in the renewable generation. In this paper, we propose a simple two-settlement market mechanism in which renewable power producers (RPPs) participate, so that a) the independent system operator (ISO) does not need to consider the uncertainties of the renewables in its economic dispatch, and yet b) the market equilibrium is shown to approach social efficiency as if the ISO solves a stochastic optimization taking into account all the uncertainties. In showing this result, a key innovation is a new approach of efficiently computing the Nash equilibrium (NE) among the strategic RPPs in congestion-constrained power networks. In particular, the proposed approach decouples finding an NE into searching over congestion patterns and computing an NE candidate assuming a congestion pattern. As such, the computational complexity of finding an NE grows only cubically with the number of RPPs in the market. We demonstrate our results in the IEEE 14-bus system and show that the NE approaches social efficiency as the number of RPPs grows.


title: Hardy spaces meet harmonic weights

abstract: We investigate the Hardy space $H^1_L$ associated with a self-adjoint operator $L$ defined in a general setting in [S. Hofmann, et. al., Hardy spaces associated to non-negative self-adjoint operators satisfying Davies-Gaffney estimates, Mem. Amer. Math. Soc. 214 (2011), no. 1007, vi+78.]. We assume that there exists an $L$-harmonic non-negative function $h$ such that the semigroup $\exp(-tL)$, after applying the Doob transform related to $h$, satisfies the upper and lower Gaussian estimates. Under this assumption we describe an illuminating characterisation of the Hardy space $H^1_L$ in terms of a simple atomic decomposition associated with the $L$-harmonic function $h$. Our approach also yields a natural characterisation of the $BMO$-type space corresponding to the operator $L$ and dual to $H^1_L$ in the same circumstances. The applications include surprisingly wide range of operators, such as: Laplace operators with Dirichlet boundary conditions on some domains in $\mathbb{R}^d$, Schr\"odinger operators with certain potentials, and Bessel operators.


title: Using Laplacian Spectrum as Graph Feature Representation

abstract: Graphs possess exotic features like variable size and absence of natural ordering of the nodes that make them difficult to analyze and compare. To circumvent this problem and learn on graphs, graph feature representation is required. A good graph representation must satisfy the preservation of structural information, with two particular key attributes: consistency under deformation and invariance under isomorphism. While state-of-the-art methods seek such properties with powerful graph neural-networks, we propose to leverage a simple graph feature: the graph Laplacian spectrum (GLS). We first remind and show that GLS satisfies the aforementioned key attributes, using a graph perturbation approach. In particular, we derive bounds for the distance between two GLS that are related to the \textit{divergence to isomorphism}, a standard computationally expensive graph divergence. We finally experiment GLS as graph representation through consistency tests and classification tasks, and show that it is a strong graph feature representation baseline.


title: Prototype Selection Based on Clustering and Conformance Metrics for Model Discovery

abstract: Process discovery aims at automatically creating process models on the basis of event data captured during the execution of business processes. Process discovery algorithms tend to use all of the event data to discover a process model. This attitude sometimes leads to discover imprecise and/or complex process models that may conceal important information of processes. To address this problem, several techniques, from data filtering to model repair, have been elaborated in the literature. In this paper, we introduce a new incremental prototype selection algorithm based on clustering of process instances. The method aims to iteratively compute a unique process model with a different set of selected prototypes, i.e., representative of whole event data and stops when conformance metrics decrease. The proposed method has been implemented in both the ProM and the RapidProM platforms. We applied the proposed method on several real event data with state-of-the-art, process discovery algorithms. Results show that using the proposed method leads to improve the general quality of discovered process models.


title: Brownian motion approach to anomalous rotation of galaxies

abstract: It has been shown that the weak-interacting limit of the metric-skew-tensor-gravity (MSTG) can explain the anomalous rotation of galaxies without non-baryonic dark matter. We show that MSTG is related to the equilibrium-state of ordinary Brownian motion. We also explore if other stochastic processes can model anomalous rotation. Furthermore, we analyze phase-diagrams that elucidate the condensation of a gravitating cloud towards a Kepler-Newton system and illustrate regions of existence of rotating objects.


title: Distributed stochastic subgradient-free algorithm for Nash equilibrium seeking in two-network zero-sum games

abstract: This paper investigates the distributed Nash equilibrium seeking problem for two-network zero-sum games with set constraints, where the two networks have the opposite nonsmooth cost functions. The interaction of the agents in each network is characterized by an unbalanced directed graph. We are particularly interested in the case that the local cost function of each agent in the two networks is unknown in this paper. We first construct the stochastic subgradient-free two-variable oracles based on the measurements of the local cost functions. Instead of using subgradients of the local cost functions, the subgradient-free two-variable oracles are employed to design the distributed algorithm for the agents to search the Nash equilibrium. Under the strong connectivity assumption, it is shown that the proposed algorithm guarantees that the states of all the agents converge almost surely to the neighborhood of the Nash equilibrium, where the scale of the neighborhood can be arbitrarily small by selecting suitable smooth parameter in the oracles. Numerical simulations are finally given to validate the theoretical results.


title: Continuous Histograms for Anisotropy of 2D Symmetric Piece-wise Linear Tensor Fields

abstract: The analysis of contours of scalar fields plays an important role in visualization. For example the contour tree and contour statistics can be used as a means for interaction and filtering or as signatures. In the context of tensor field analysis, such methods are also interesting for the analysis of derived scalar invariants. While there are standard algorithms to compute and analyze contours, they are not directly applicable to tensor invariants when using component-wise tensor interpolation. In this chapter we present an accurate derivation of the contour spectrum for invariants with quadratic behavior computed from two-dimensional piece-wise linear tensor fields. For this work, we are mostly motivated by a consistent treatment of the anisotropy field, which plays an important role as stability measure for tensor field topology. We show that it is possible to derive an analytical expression for the distribution of the invariant values in this setting, which is exemplary given for the anisotropy in all details. Our derivation is based on a topological sub-division of the mesh in triangles that exhibit a monotonic behavior. This triangulation can also directly be used to compute the accurate contour tree with standard algorithms. We compare the results to a na\"ive approach based on linear interpolation on the original mesh or the subdivision.


title: Non-linear flow modes of identified particles in Pb-Pb collisions at $\sqrt{s_{\rm{NN}}}$ = 5.02 TeV

abstract: The $p_{\rm{T}}$-differential non-linear flow modes, $v_{4,22}$, $v_{5,32}$, $v_{6,33}$ and $v_{6,222}$ for $\pi^{\pm}$, $\rm{K}^{\pm}$ , $\rm{K}^{0}_{S}$ , p + $\overline{\rm{p}}$, $\Lambda$ + $\overline{\Lambda}$ and $\phi$-meson have been measured for the first time at $\sqrt{s_{\rm{NN}}}$ = 5.02 TeV in Pb-Pb collisions with the ALICE detector at the Large Hadron Collider. The results were obtained with a multi-particle technique, correlating the identified hadrons with reference charged particles from a different pseudorapidity region. These non-linear observables probe the contribution from the second and third order initial spatial anisotropy coefficients to higher flow harmonics. All the characteristic features observed in previous $p_{\rm{T}}$-differential anisotropic flow measurements for various particle species are also present in the non-linear flow modes, i.e. increase of magnitude with increasing centrality percentile, mass ordering at low $p_{\rm{T}}$ and particle type grouping in the intermediate $p_{\rm{T}}$ range. Hydrodynamical calculations (iEBE-VISHNU) that use different initial conditions and values of shear and bulk viscosity to entropy density ratios are confronted with the data at low transverse momenta. These calculations exhibit a better agreement with the anisotropic flow coefficients than the non-linear flow modes. These observations indicate that non-linear flow modes can provide additional discriminatory power in the study of initial conditions as well as new stringent constraints to hydrodynamical calculations.


title: SemEval-2017 Task 4: Sentiment Analysis in Twitter

abstract: This paper describes the fifth year of the Sentiment Analysis in Twitter task. SemEval-2017 Task 4 continues with a rerun of the subtasks of SemEval-2016 Task 4, which include identifying the overall sentiment of the tweet, sentiment towards a topic with classification on a two-point and on a five-point ordinal scale, and quantification of the distribution of sentiment towards a topic across a number of tweets: again on a two-point and on a five-point ordinal scale. Compared to 2016, we made two changes: (i) we introduced a new language, Arabic, for all subtasks, and (ii)~we made available information from the profiles of the Twitter users who posted the target tweets. The task continues to be very popular, with a total of 48 teams participating this year.


title: Pythia: AI-assisted Code Completion System

abstract: In this paper, we propose a novel end-to-end approach for AI-assisted code completion called Pythia. It generates ranked lists of method and API recommendations which can be used by software developers at edit time. The system is currently deployed as part of Intellicode extension in Visual Studio Code IDE. Pythia exploits state-of-the-art large-scale deep learning models trained on code contexts extracted from abstract syntax trees. It is designed to work at a high throughput predicting the best matching code completions on the order of 100 $ms$. We describe the architecture of the system, perform comparisons to frequency-based approach and invocation-based Markov Chain language model, and discuss challenges serving Pythia models on lightweight client devices. The offline evaluation results obtained on 2700 Python open source software GitHub repositories show a top-5 accuracy of 92\%, surpassing the baseline models by 20\% averaged over classes, for both intra and cross-project settings.


title: Coordination of interdependent natural gas and electricity systems based on information gap decision theory

abstract: The interactions of the natural gas (NG) network and the electricity system are increased by using gas-fired generation units, which use NG to produce electricity. There are various uncertainty sources such as the forced outage of generating units or market price fluctuations that affect the economic operation of both NG and electricity systems. This study focuses on the steady-state formulation of the integrated NG transmission grid and electricity system by considering the uncertainty of electricity market price based on information gap decision theory. The higher and lower costs than the expected cost originated from the fluctuations of electricity market price are modelled by the robustness and opportunity functions, respectively. The objective is to minimise the cost of zone one while satisfying the constraints of two interdependent systems, which can obtain revenue from selling power to its connected zones in short-term scheduling. The capability of the proposed method is demonstrated by applying it on a 20-node NG network and IEEE RTS 24-bus. The proposed short-term coordination between NG and electricity infrastructures is solved and discussed.


title: Double logarithms in ${\cal N} \geq 4$ supergravity: weak gravity and Shapiro's time delay

abstract: A study of the double logarithmic in the center-of-mass energy, $s$, contributions to the four-graviton scattering amplitude is presented for four-dimensional ${\cal N} \geq 4$ supergravities. This includes a novel representation for the coefficients of the perturbative expansion based on exactly solvable recurrences. A review is given of the structure in the complex angular momentum plane for the $t$-channel partial wave singularities of the different amplitudes. Working in impact parameter representation, $\rho$, it is shown that the resummation of double logarithms makes gravity weaker in regions of small $\rho$ and large $s$. This screening of the gravitational interaction at short distances in the double logarithmic sector of the amplitudes is more acute as the number of gravitinos in the theory increases. It brings corrections to the eikonal phase which can change the sign of the graviton's deflection angle and generate regions with repulsive interaction. For very small impact parameters there appears a constant negative shift in both the eikonal phase and Shapiro's time delay which is not large enough to generate causality violation.


title: Surface Following using Deep Reinforcement Learning and a GelSightTactile Sensor

abstract: Tactile sensors can provide detailed contact in-formation that can facilitate robots to perform dexterous, in-hand manipulation tasks. One of the primitive but important tasks is surface following that is a key feature for robots while exploring unknown environments or workspace of inaccurate modeling. In this paper, we propose a novel end-to-end learning strategy, by directly mapping the raw tactile data acquired from a GelSight tactile sensor to the motion of the robot end-effector.Experiments on a KUKA youBot platform equipped with theGelSight sensor show that 80% of the actions generated by a fully trained SFDQN model are proper surface following actions; the autonomous surface following test also indicates that the proposed solution works well on a test surface.


title: Variations on the proximate order

abstract: The concept of proximate order is widely used in the theories of entire, meromorphic, subharmonic and plurisubharmonic functions. We give a general interpretation of this concept as a proximate growth function relative to a model growth function. If a function is the proximate growth function with respect to the identity function on the positive semi-axis, then the logarithm of this function is the classical proximate order. Our definition uses only one condition. This form of definition is also new for the classical proximate order.


title: The Transformative Potential of Artificial Intelligence

abstract: The terms 'human-level artificial intelligence' and 'artificial general intelligence' are widely used to refer to the possibility of advanced artificial intelligence (AI) with potentially extreme impacts on society. These terms are poorly defined and do not necessarily indicate what is most important with respect to future societal impacts. We suggest that the term 'transformative AI' is a helpful alternative, reflecting the possibility that advanced AI systems could have very large impacts on society without reaching human-level cognitive abilities. To be most useful, however, more analysis of what it means for AI to be 'transformative' is needed. In this paper, we propose three different levels on which AI might be said to be transformative, associated with different levels of societal change. We suggest that these distinctions would improve conversations between policy makers and decision makers concerning the mid- to long-term impacts of advances in AI. Further, we feel this would have a positive effect on strategic foresight efforts involving advanced AI, which we expect to illuminate paths to alternative futures. We conclude with a discussion of the benefits of our new framework and by highlighting directions for future work in this area.


title: A Spectral View on Slow Invariant Manifolds in Complex-Time Dynamical Systems

abstract: Many real-analytic flows, e.g. in chemical kinetics, share a multiple time scale spectral structure. The trajectories of the corresponding dynamical systems are observed to bundle near so-called slow invariant manifolds (SIMs), which are usually addressed in a singular perturbation context. This work exploits the analytic structure of the involved vector fields and presents observations that connect one dimensional slow invariant manifolds to the imaginary-time spectral structure of Riemann surfaces in analytic continuations of dynamical systems to complex time.


title: Topological Eternal Hilltop Inflation and the Swampland Criteria

abstract: The swampland criteria put significant constraints on inflation models. In this paper, I show that hilltop inflation on the brane may provide an initial condition for hilltop inflation and produce topological eternal inflation without violating the swampland distance and refined de Sitter criteria. This shows a way that string theory may not be incompatible with eternal inflation.


title: A Synergistic Approach for Internet of Things and Cloud Integration: Current Research and Future Direction

abstract: Cloud computing and Internet of Things have independently changed the course of technological development. The use of a synergistic approach that amalgamates the benefits of both these path breaking technologies into a single package is expected to have flourishing benefits. However, such an integration is faced with numerous limitations and challenges. This paper surveys the different aspects of each of these technologies and explores the possibilities, benefits, limitations and challenges that rise from the development of a convergent approach. We have also investigated the current research and future direction.


title: Remote scanning for ultra-large field of view in wide-field microscopy and full-field OCT

abstract: Imaging specimens over large scales and with a sub-micron resolution is instrumental to biomedical research. Yet, the number of pixels to form such an image usually exceeds the number of pixels provided by conventional cameras. While most microscopes are equipped with a motorized stage to displace the specimen and acquire the image tile-by-tile, we propose an alternative strategy that does not require any moving part in the sample plane. We propose to add a scanning mechanism in the detection unit of the microscope to collect sequentially different sub-areas of the field of view. Our approach, called remote scanning, is compatible with all camera-based microscopes. We evaluate the performances in both wide-field microscopy and full-field optical coherence tomography and we show that a field of view of 2.2 mm with 1.1 micron resolution can be achieved. We finally demonstrate that the method is especially suited to image biological samples such as millimetric engineered tissues.


title: Deep Learning for Optimal Deployment of UAVs with Visible Light Communications

abstract: In this paper, the problem of dynamical deployment of unmanned aerial vehicles (UAVs) equipped with visible light communication (VLC) capabilities for optimizing the energy efficiency of UAV-enabled networks is studied. In the studied model, the UAVs can simultaneously provide communications and illumination to service ground users. Since ambient illumination increases the interference over VLC links while reducing the illumination threshold of the UAVs, it is necessary to consider the illumination distribution of the target area for UAV deployment optimization. This problem is formulated as an optimization problem which jointly optimizes UAV deployment, user association, and power efficiency while meeting the illumination and communication requirements of users. To solve this problem, an algorithm that combines the machine learning framework of gated recurrent units (GRUs) with convolutional neural networks (CNNs) is proposed. Using GRUs and CNNs, the UAVs can model the long-term historical illumination distribution and predict the future illumination distribution. Given the prediction of illumination distribution, the original nonconvex optimization problem can be divided into two sub-problems and is then solved using a low-complexity, iterative algorithm. Then, the proposed algorithm enables UAVs to determine the their deployment and user association to minimize the total transmit power. Simulation results using real data from the Earth observations group (EOG) at NOAA/NCEI show that the proposed approach can achieve up to 68.9% reduction in total transmit power compared to a conventional optimal UAV deployment that does not consider the illumination distribution and user association.


title: Corpus-Level End-to-End Exploration for Interactive Systems

abstract: A core interest in building Artificial Intelligence (AI) agents is to let them interact with and assist humans. One example is Dynamic Search (DS), which models the process that a human works with a search engine agent to accomplish a complex and goal-oriented task. Early DS agents using Reinforcement Learning (RL) have only achieved limited success for (1) their lack of direct control over which documents to return and (2) the difficulty to recover from wrong search trajectories. In this paper, we present a novel corpus-level end-to-end exploration (CE3) method to address these issues. In our method, an entire text corpus is compressed into a global low-dimensional representation, which enables the agent to gain access to the full state and action spaces, including the under-explored areas. We also propose a new form of retrieval function, whose linear approximation allows end-to-end manipulation of documents. Experiments on the Text REtrieval Conference (TREC) Dynamic Domain (DD) Track show that CE3 outperforms the state-of-the-art DS systems.


title: Mixed cationic clusters of nitrogen and hydrogen

abstract: The addition of small impurities, such as a single proton charge carrier, in noble gas clusters has recently been shown to have considerable effects on their geometries and stabilities. Here we report on a mass spectrometric study of cationic clusters of N$_2$ molecules and the effects that adding hydrogen, in the form of D$_2$, has on the systems. Protonated nitrogen clusters formed by the breakup of D$_2$ are shown to have similar behaviors as protonated rare gas clusters. For larger systems consisting of different mixtures of intact N$_2$ and D$_2$, the different molecular species are found to sometimes be interchangeable with regards to magic numbers. This is especially true for the (N$_2$)$_n$(D$_2$)$_m$D$^+$ systems with $n+m=17$, which is particularly abundant for all measured combinations of $n$ and $m$.


title: Solving Jigsaw Puzzles with Eroded Boundaries

abstract: Jigsaw puzzle solving is an intriguing problem which has been explored in computer vision for decades. This paper focuses on a specific variant of the problem - solving puzzles with eroded boundaries. Such erosion makes the problem extremely difficult, since most existing solvers utilize solely the information at the boundaries. Nevertheless, this variant is important since erosion and missing data often occur at the boundaries. The key idea of our proposed approach is to inpaint the eroded boundaries between puzzle pieces and later leverage the quality of the inpainted area to classify a pair of pieces as 'neighbors or not'. An interesting feature of our architecture is that the same GAN discriminator is used for both inpainting and classification; Training of the second task is simply a continuation of the training of the first, beginning from the point it left off. We show that our approach outperforms other SOTA methods


title: Learning scale-variant features for robust iris authentication with deep learning based ensemble framework

abstract: In recent years, mobile Internet has accelerated the proliferation of smart mobile development. The mobile payment, mobile security and privacy protection have become the focus of widespread attention. Iris recognition becomes a high-security authentication technology in these fields, it is widely used in distinct science fields in biometric authentication fields. The Convolutional Neural Network (CNN) is one of the mainstream deep learning approaches for image recognition, whereas its anti-noise ability is weak and needs a certain amount of memory to train in image classification tasks. Under these conditions we put forward a fine-tuning neural network model based on the Mask R-CNN and Inception V4 neural network model, which integrates every component in an overall system that combines the iris detection, extraction, and recognition function as an iris recognition system. The proposed framework has the characteristics of scalability and high availability; it not only can learn part-whole relationships of the iris image but also enhancing the robustness of the whole framework. Importantly, the proposed model can be trained using the different spectrum of samples, such as Visible Wavelength (VW) and Near Infrared (NIR) iris biometric databases. The recognition average accuracy of 99.10% is achieved while executing in the mobile edge calculation device of the Jetson Nano.


title: Mapping the Potential and Pitfalls of "Data Dividends" as a Means of Sharing the Profits of Artificial Intelligence

abstract: Identifying strategies to more broadly distribute the economic winnings of AI technologies is a growing priority in HCI and other fields. One idea gaining prominence centers on "data dividends", or sharing the profits of AI technologies with the people who generated the data on which these technologies rely. Despite the rapidly growing discussion around data dividends - including backing by prominent politicians - there exists little guidance about how data dividends might be designed and little information about if they will work. In this paper, we begin the process of developing a concrete design space for data dividends. We additionally simulate the effects of a variety of important design decisions using well-known datasets and algorithms. We find that seemingly innocuous decisions can create counterproductive effects, e.g. severely concentrated dividends and demographic disparities. Overall, the outcomes we observe -- both desirable and undesirable -- highlight the need for dividend implementers to make design decisions cautiously.


title: Guiding the Self-organization of Cyber-Physical Systems

abstract: Self-organization offers a promising approach for designing adaptive systems. Given the inherent complexity of most cyber-physical systems, adaptivity is desired, as predictability is limited. Here I summarize different concepts and approaches that can facilitate self-organization in cyber-physical systems, and thus be exploited for design. Then I mention real-world examples of systems where self-organization has managed to provide solutions that outperform classical approaches, in particular related to urban mobility. Finally, I identify when a centralized, distributed, or self-organizing control is more appropriate.


title: Improving Non-Intrusive Load Disaggregation through an Attention-Based Deep Neural Network

abstract: Energy disaggregation, known in the literature as Non-Intrusive Load Monitoring (NILM), is the task of inferring the power demand of the individual appliances given the aggregate power demand recorded by a single smart meter which monitors multiple appliances. In this paper, we propose a deep neural network that combines a regression subnetwork with a classification subnetwork for solving the NILM problem. Specifically, we improve the generalization capability of the overall architecture by including an encoder-decoder with a tailored attention mechanism in the regression subnetwork. The attention mechanism is inspired by the temporal attention that has been successfully applied in neural machine translation, text summarization, and speech recognition. The experiments conducted on two publicly available datasets--REDD and UK-DALE--show that our proposed deep neural network outperforms the state-of-the-art in all the considered experimental conditions. We also show that modeling attention translates into the network's ability to correctly detect the turning on or off an appliance and to locate signal sections with high power consumption, which are of extreme interest in the field of energy disaggregation.


title: Temporarily Unavailable: Memory Inhibition in Cognitive and Computer Science

abstract: Inhibition is one of the core concepts in Cognitive Psychology. The idea of inhibitory mechanisms actively weakening representations in the human mind has inspired a great number of studies in various research domains. In contrast, Computer Science only recently has begun to consider inhibition as a second basic processing quality beside activation. Here, we review psychological research on inhibition in memory and link the gained insights with the current efforts in Computer Science of incorporating inhibitory principles for optimizing information retrieval in Personal Information Management. Four common aspects guide this review in both domains: 1. The purpose of inhibition to increase processing efficiency. 2. Its relation to activation. 3. Its links to contexts. 4. Its temporariness. In summary, the concept of inhibition has been used by Computer Science for enhancing software in various ways already. Yet, we also identify areas for promising future developments of inhibitory mechanisms, particularly context inhibition.


title: On the Legal Compatibility of Fairness Definitions

abstract: Past literature has been effective in demonstrating ideological gaps in machine learning (ML) fairness definitions when considering their use in complex socio-technical systems. However, we go further to demonstrate that these definitions often misunderstand the legal concepts from which they purport to be inspired, and consequently inappropriately co-opt legal language. In this paper, we demonstrate examples of this misalignment and discuss the differences in ML terminology and their legal counterparts, as well as what both the legal and ML fairness communities can learn from these tensions. We focus this paper on U.S. anti-discrimination law since the ML fairness research community regularly references terms from this body of law.


title: HyperTraPS: Inferring probabilistic patterns of trait acquisition in evolutionary and disease progression pathways

abstract: The explosion of data throughout the biomedical sciences provides unprecedented opportunities to learn about the dynamics of evolution and disease progression, but harnessing these large and diverse datasets remains challenging. Here, we describe a highly generalisable statistical platform to infer the dynamic pathways by which many, potentially interacting, discrete traits are acquired or lost over time in biomedical systems. The platform uses HyperTraPS (hypercubic transition path sampling) to learn progression pathways from cross-sectional, longitudinal, or phylogenetically-linked data with unprecedented efficiency, readily distinguishing multiple competing pathways, and identifying the most parsimonious mechanisms underlying given observations. Its Bayesian structure quantifies uncertainty in pathway structure and allows interpretable predictions of behaviours, such as which symptom a patient will acquire next. We exploit the model's topology to provide visualisation tools for intuitive assessment of multiple, variable pathways. We apply the method to ovarian cancer progression and the evolution of multidrug resistance in tuberculosis, demonstrating its power to reveal previously undetected dynamic pathways.


title: Complex Hessian Operator associated to an $m$-positive closed current and weighted $m$-capacity

abstract: In this paper, we first study the definition and the continuity of the complex Hessian operator associated to an $m$-positive closed current $T$, for some classes of unbounded $m$-subharmonic functions as well as when we consider a regularization sequence of $T$. Next, we introduce the notion of weighted $(m,T)$-capacity in the complex Hessian setting and we investigate the link with the weighted $m$-extremal function. As an application we give a characterization of the Cegrell classes ${\mathscr F}^m$ and ${\mathscr E}^m$ by means of the weighted $(m,1)$-capacity. Furthermore, we prove a subsolution theorem for a general complex Hessian equation relatively to $T$.


title: A multifactor regime-switching model for inter-trade durations in the limit order market

abstract: This paper studies inter-trade durations in the NASDAQ limit order market and finds that inter-trade durations in ultra-high frequency have two modes. One mode is to the order of approximately 10^{-4} seconds, and the other is to the order of 1 second. This phenomenon and other empirical evidence suggest that there are two regimes associated with the dynamics of inter-trade durations, and the regime switchings are driven by the changes of high-frequency traders (HFTs) between providing and taking liquidity. To find how the two modes depend on information in the limit order book (LOB), we propose a two-state multifactor regime-switching (MF-RSD) model for inter-trade durations, in which the probabilities transition matrices are time-varying and depend on some lagged LOB factors. The MF-RSD model has good in-sample fitness and the superior out-of-sample performance, compared with some benchmark duration models. Our findings of the effects of LOB factors on the inter-trade durations help to understand more about the high-frequency market microstructure.


title: $q$-Supercongruences modulo the fourth power of a cyclotomic polynomial via creative microscoping

abstract: By applying Chinese remainder theorem for coprime polynomials and the "creative microscoping" method recently introduced by the author and Zudilin, we establish parametric generalizations of three $q$-supercongruences modulo the fourth power of a cyclotomic polynomial. The original $q$-supercongruences then follow from these parametric generalizations by taking the limits as the parameter tends to $1$ (l'H\^opital's rule is utilized here). In particular, we prove a complete $q$-analogue of the (J.2) supercongruence of Van Hamme and a complete $q$-analogue of a "divergent" Ramanujan-type supercongruence, thus confirming two recent conjectures of the author. We also put forward some related conjectures, including a $q$-supercongruence modulo the fifth power of a cyclotomic polynomial.


title: Three Orthogonal Dimensions for Psychoacoustic Sonification

abstract: Objective: Three perceptually orthogonal auditory dimensions for multidimensional and multivariate data sonification are identified and experimentally validated. Background: Psychoacoustic investigations have shown that orthogonal acoustical parameters may interfere perceptually. The literature hardly offers any solutions to this problem, and previous auditory display approaches have failed to implement auditory dimensions that are perceived orthogonally by a user. In this study we demonstrate how a location in three-dimensional space can be sonified unambiguously by the implementation of perceptually orthogonal psychoacoustic attributes in monophonic playback. Method: Perceptually orthogonal auditory attributes are identified from literature research and experience in music and psychoacoustic research. We carried out an experiment with 21 participants who identified sonified locations in two-dimensional space. Results: With just 5 minutes of explanation and exploration, naive users can interpret our multidimensional sonification with high accuracy. Conclusion: We identified a set of perceptually orthogonal auditory dimensions suitable for three-dimensional data sonification. Application: Three-dimensional data sonification promises blind navigation, e.g. for unmanned vehicles, and reliable real-time monitoring of multivariate data, e.g., in the patient care sector.


title: A modified thermodynamics of rotating and charged BTZ black hole

abstract: We present the thermodynamics of a charged and rotating BTZ black holes here. In particular, we derive expressions for various macroscopic thermal quantities such as entropy, Hawking temperature, Helmholtz free energy, internal energy, enthalpy, Gibbs free energy, and specific heat. To study the effects of small statistical thermal fluctuations around the equilibrium on thermodynamics, we calculated the leading-order corrections to the various thermodynamical potentials of charged and rotating BTZ black hole and do comparative analysis for the fixed values of charge and angular momentum.


title: Measurement-Protected Quantum Key Distribution

abstract: In the distribution of quantum states over a long distance, not only are quantum states corrupted by interactions with an environment but also a measurement setting should be re-aligned such that detection events can be ensured for the resulting states. In this work, we present measurement-protected quantum key distribution where a measurement is protected against the interactions quantum states experience during the transmission, without the verification of a channel. As a result, a receiver does not have to revise the measurement that has been prepared in a noiseless scenario since it would remain ever optimal. The measurement protection is achieved by applications of local unitary transformations before and after the transmission, that leads to a supermap transforming an arbitrary channel to a depolarization one. An experimental demonstration is presented with the polarization encoding on photonic qubits. It is shown that the security bounds for prepare-and-measure protocols can be improved, for instance, errors up to 20.7% can be tolerated in the Bennett-Brassard 1984 protocol.


title: Phase behavior of a cell fluid model with modified morse potential

abstract: The present manuscript gives a theoretical description of the first-order phase transition in a cell fluid model with a modified Morse potential and additional repulsive interaction. In the framework of the grand canonical ensemble, the equation of state of the system in terms of chemical potential-temperature and terms of density-temperature is calculated for a wide range of density and temperature. The behavior of the chemical potential as a function of temperature and density is investigated. The maximum and minimum admissible values of the chemical potential, which approach each other with decreasing temperature, are exhibited. The existence of a liquid-gas phase transition in a limited temperature range below the critical $T_c$ is established.


title: Concave connection cost Facility Location and the Star Inventory Routing problem

abstract: We study a variant of the uncapacitated facility location problem (UFL), where connection costs of clients are defined by (client specific) concave nondecreasing functions of the connection distance in the underlying metric. A special case capturing the complexity of this variant is the setting called facility location with penalties where clients may either connect to a facility or pay a (client specific) penalty. We show that the best known approximation algorithms for UFL may be adapted to the concave connection cost setting. The key technical contribution is an argument that the JMS algorithm for UFL may be adapted to provide the same approximation guarantee for the more general concave connection cost variant. We also study the star inventory routing with facility location (SIRPFL) problem that was recently introduced by Jiao and Ravi, which asks to jointly optimize the task of clustering of demand points with the later serving of requests within created clusters. We show that the problem may be reduced to the concave connection cost facility location and substantially improve the approximation ratio for all three variants of SIRPFL.