title: Path Planning Problems with Side Observations-When Colonels Play Hide-and-Seek

abstract: Resource allocation games such as the famous Colonel Blotto (CB) and Hide-and-Seek (HS) games are often used to model a large variety of practical problems, but only in their one-shot versions. Indeed, due to their extremely large strategy space, it remains an open question how one can efficiently learn in these games. In this work, we show that the online CB and HS games can be cast as path planning problems with side-observations (SOPPP): at each stage, a learner chooses a path on a directed acyclic graph and suffers the sum of losses that are adversarially assigned to the corresponding edges; and she then receives semi-bandit feedback with side-observations (i.e., she observes the losses on the chosen edges plus some others). We propose a novel algorithm, EXP3-OE, the first-of-its-kind with guaranteed efficient running time for SOPPP without requiring any auxiliary oracle. We provide an expected-regret bound of EXP3-OE in SOPPP matching the order of the best benchmark in the literature. Moreover, we introduce additional assumptions on the observability model under which we can further improve the regret bounds of EXP3-OE. We illustrate the benefit of using EXP3-OE in SOPPP by applying it to the online CB and HS games.


title: Multi-User Detection Based on Expectation Propagation for the Non-Coherent SIMO Multiple Access Channel

abstract: We consider the non-coherent single-input multiple-output (SIMO) multiple access channel with general signaling under spatially correlated Rayleigh block fading. We propose a novel soft-output multi-user detector that computes an approximate marginal posterior of each transmitted signal using only the knowledge about the channel distribution. Our detector is based on expectation propagation (EP) approximate inference and has polynomial complexity in the number of users, the number of receive antennas, and channel coherence time. We also propose two simplifications of this detector with reduced complexity. With Grassmannian signaling, the proposed detectors outperform a state-of-the-art non-coherent detector with projection-based interference mitigation. With pilot-assisted signaling, the EP detector outperforms, in terms of symbol error rate, some conventional coherent pilot-based detectors, including a sphere decoder and a joint channel estimation-data detection scheme. Our EP-based detectors produce accurate approximates of the true posterior leading to high achievable sum-rates. The gains of these detectors are further observed in terms of the bit error rate when using their soft outputs for a turbo channel decoder.


title: Differential phase encoded measurement-device-independent quantum key distribution

abstract: We present a measurement-device-independent quantum key distribution (MDI-QKD) using single photons in a linear superposition of three orthogonal time-bin states, for generating the key. The orthogonal states correspond to three distinct paths in the delay line interferometers used by two (trusted) sources. The key information is decoded based on the measurement outcomes obtained by an untrusted third party Charles, who uses a beamsplitter to measure the phase difference between pulses traveling through different paths of the two delay lines. The proposed scheme combines the best of both differential-phase-shift (DPS) QKD and MDI-QKD. It is more robust against phase fluctuations, and also ensures protection against detector side-channel attacks. We prove unconditional security by demonstrating an equivalent protocol involving shared entanglement between the two trusted parties. We show that the secure key rate for our protocol compares well to existing protocols in the asymptotic regime. For the decoy-state variant of our protocol, we evaluate the secure key rate by using a phase-post-selection technique. Finally, we estimate the bit error rate and the phase error rate, in the finite key regime.


title: SKA-Phase 1 sensitivity for synchrotron radio emission from multi-TeV Dark Matter candidates

abstract: In the era of radio astronomy, the high sensitivity of the Square Kilometre Array (SKA) could play a decisive role in the detection of new radio sources. In this work, we study the SKA sensitivity to the synchrotron radio emission expected by the annihilation of TeV DM candidate in the Draco dwarf spheroidal galaxy. On the one hand, we consider model-independent DM candidates: we find out that with 1000 hours of data-taking, SKA1-MID will be able to exclude up to 10 TeV thermal DM candidates that annihilate in $W^+W^-$ and $b\bar b$ channels. We also study as these constraints improve by including a density enhancement due to a DM-spike associated with an intermediate-mass black hole in Draco. On the other hand, we consider extra-dimensional brane-world DM candidates, dubbed branons. In this specific scenario, SKA allows us to set constraints on the branon parameter space ($f$,$M$), where $f$ is related to the coupling of the branon to the Standard Model particles and $M$ is the mass of the branon itself. In particular, we consider two different branon DM candidates. We find out that SKA will be able to set more stringent constraints on the branon DM candidate required in order to fit the AMS-02 data, yet the sensitivity of the instrument should be improved in order to study the branon candidate for the Galactic Centre. Nonetheless, we show that SKA represents - among other detectors - the most promising instrument for multi-wavelength detection of synchrotron radio emission by annihilating multi-TeV DM.


title: KPZ equation limit of stochastic higher spin six vertex model

abstract: We consider the stochastic higher spin six vertex (SHS6V) model introduced in [Corwin-Petrov, 2016] with general integer spin parameters $I, J$. Starting from near stationary initial condition, we prove that the SHS6V model converges to the KPZ equation under weakly asymmetric scaling. This generalizes the result of [Corwin-Ghosal-Shen-Tsai, 2018] from $I = J =1$ to general $I, J$.


title: Constraints on HD113337 fundamental parameters and planetary system. Combining long-base visible interferometry, disk imaging and high-contrast imaging

abstract: HD113337 is a Main-Sequence F6V field star more massive than the Sun, hosting one (possibly two) radial velocity (RV) giant planet(s) and a cold debris disk (marked by an infrared excess). We used the VEGA interferometer on the CHARA array to measure HD113337 angular diameter, and derived its linear radius using the Gaia parallax. We computed the bolometric flux to derive its effective temperature and luminosity, and we estimated its mass and age using evolutionary tracks. We used Herschel images to partially resolve the outer disk, and high-contrast images of HD113337 with the LBTI to probe the 10-80 au separation range. Finally, we combined the deduced contrast maps with previous RV of the star using the MESS2 software to bring upper mass limits on possible companions at all separations up to 80 au, taking advantage of the constraints on the age and inclination (brought by the fundamental parameter analysis and the disk imaging, respectively). We derive a limb-darkened angular diameter of 0.386 $\pm$ 0.009 mas that converts into a linear radius of 1.50 $\pm$ 0.04 solar radius. The fundamental parameter analysis leads to an effective temperature of 6774 $\pm$ 125 K, and to two possible age solutions: one young within 14-21 Myr and one old within 0.8-1.7 Gyr. We partially resolve the known outer debris disk and model its emission. Our best solution corresponds to a radius of 85 $\pm$ 20 au, an extension of 30 $\pm$ 20 au and an inclination within 10-30 degrees for the outer disk. The combination of imaging contrast limits, published RV, and our new age and inclination solutions leads to a first possible estimation of the true masses of the planetary companions: $\sim 7_{-2}^{+4}$ Jupiter masses for HD113337 b (confirmed companion), and $\sim 16_{-3}^{+10}$ Jupiter masses for HD113337 c (candidate). We also constrain possible additional companions at larger separations.


title: Specification and Reactive Synthesis of Robust Controllers

abstract: This paper investigates the synthesis of robust controllers from logical specification of regular properties given in an interval temporal logic QDDC. Our specification encompasses both hard robustness and soft robustness. Here, hard robustness guarantees invariance of commitment under user-specified relaxed (weakened) assumptions. A systematic framework for logically specifying the assumption weakening by means of a formula, called Robustness Criterion, is presented. The soft robustness pertains to the ability of the controller to maintain the commitment for as many inputs as possible, irrespective of any assumption. We present a uniform method for the synthesis of a robust controller which guarantees the specified hard robustness and it optimizes the specified soft robustness. The method is implemented using a tool DCSynth, which provides soft requirement optimized controller synthesis. Through the case study of a synchronous bus arbiter, we experimentally show the impact of hard robustness criteria as well as soft robustness on the ability of the synthesized controllers to meet the commitment "as much as possible". Both, the worst-case and the expected case behaviors are analyzed.


title: Velocity Saturation effect on Low Frequency Noise in short channel Single Layer Graphene FETs

abstract: Graphene devices for analog and RF applications are prone to Low Frequency Noise (LFN) due to its upconversion to undesired phase noise at higher frequencies. Such applications demand the use of short channel graphene transistors that operate at high electric fields in order to ensure a high speed. Electric field is inversely proportional to device length and proportional to channel potential so it gets maximized as the drain voltage increases and the transistor length shrinks. Under these conditions though, short channel effects like Velocity Saturation (VS) should be taken into account. Carrier number and mobility fluctuations have been proved to be the main sources that generate LFN in graphene devices. While their contribution to the bias dependence of LFN in long channels has been thoroughly investigated, the way in which VS phenomenon affects LFN in short channel devices under high drain voltage conditions has not been well understood. At low electric field operation, VS effect is negligible since carriers velocity is far away from being saturated. Under these conditions, LFN can be precicely predicted by a recently established physics-based analytical model. The present paper goes a step furher and proposes a new model which deals with the contribution of VS effect on LFN under high electric field conditions. The implemented model is validated with novel experimental data, published for the first time, from CVD grown back-gated single layer graphene transistors operating at gigahertz frequencies. The model accurately captures the reduction of LFN especially near charge neutrality point because of the effect of VS mechanism. Moreover, an analytical expression for the effect of contact resistance on LFN is derived. This contact resistance contribution is experimentally shown to be dominant at higher gate voltages and is accurately described by the proposed model.


title: Breast mass classification in ultrasound based on Kendall's shape manifold

abstract: Morphological features play an important role in breast mass classification in sonography. While benign breast masses tend to have a well-defined ellipsoidal contour, shape of malignant breast masses is commonly ill-defined and highly variable. Various handcrafted morphological features have been developed over the years to assess this phenomenon and help the radiologists differentiate benign and malignant masses. In this paper we propose an automatic approach to morphology analysis, we express shapes of breast masses as points on the Kendall's shape manifold. Next, we use the full Procrustes distance to develop support vector machine classifiers for breast mass differentiation. The usefulness of our method is demonstrated using a dataset of B-mode images collected from 163 breast masses. Our method achieved area under the receiver operating characteristic curve of 0.81. The proposed method can be used to assess shapes of breast masses in ultrasound without any feature engineering.


title: ColCOS$\Phi$: A Multiple Pheromone Communication System for Swarm Robotics and Social Insects Research

abstract: In the last few decades we have witnessed how the pheromone of social insect has become a rich inspiration source of swarm robotics. By utilising the virtual pheromone in physical swarm robot system to coordinate individuals and realise direct/indirect inter-robot communications like the social insect, stigmergic behaviour has emerged. However, many studies only take one single pheromone into account in solving swarm problems, which is not the case in real insects. In the real social insect world, diverse behaviours, complex collective performances and flexible transition from one state to another are guided by different kinds of pheromones and their interactions. Therefore, whether multiple pheromone based strategy can inspire swarm robotics research, and inversely how the performances of swarm robots controlled by multiple pheromones bring inspirations to explain the social insects' behaviours will become an interesting question. Thus, to provide a reliable system to undertake the multiple pheromone study, in this paper, we specifically proposed and realised a multiple pheromone communication system called ColCOS$\Phi$. This system consists of a virtual pheromone sub-system wherein the multiple pheromone is represented by a colour image displayed on a screen, and the micro-robots platform designed for swarm robotics applications. Two case studies are undertaken to verify the effectiveness of this system: one is the multiple pheromone based on an ant's forage and another is the interactions of aggregation and alarm pheromones. The experimental results demonstrate the feasibility of ColCOS$\Phi$ and its great potential in directing swarm robotics and social insects research.


title: Piezoelectric Phononic Plates: Retrieving the Frequency Band Structure via All-electric Experiments

abstract: We propose an experimental technique based on all-electric measurements to retrieve the frequency response of a one-dimensional piezoelectric phononic crystal plate, structured periodically with millimeter-scaled metallic strips on its two surfaces. The metallic electrodes, used for the excitation of Lamb-like guided modes in the plate, ensure at the same time control of their dispersion by means of externally loaded electric circuits that offer non-destructive tunability in the frequency response of these structures. Our results, in very good agreement with finite-element numerical predictions, reveal interesting symmetry aspects that are employed to analyze the frequency band structure of such crystals. More importantly, Lamb-like guided modes interact with electric-resonant bands induced by inductance loads on the plate, whose form and symmetry are discussed and analyzed in depth, showing unprecedented dispersion characteristics.


title: A necessary condition in a De Giorgi type conjecture for elliptic systems in infinite strips

abstract: Given a bounded Lipschitz domain $\omega\subset\mathbb{R}^{d-1}$ and a lower semicontinuous function $W:\mathbb{R}^N\to\mathbb{R}_+\cup\{+\infty\}$ that vanishes on a finite set and that is bounded from below by a positive constant at infinity, we show that every map $u:\mathbb{R}\times\omega\to\mathbb{R}^N$ with \[ \int_{\mathbb{R}\times\omega}\big(\lvert\nabla u\rvert^2+W(u)\big)\mathop{}\mathopen{}\mathrm{d} x_1\mathop{}\mathopen{}\mathrm{d}x'<+\infty\] has a limit $u^\pm\in\{W=0\}$ as $x_1\to\pm\infty$. The convergence holds in $L^2(\omega)$ and almost everywhere in $\omega$. We also prove a similar result for more general potentials $W$ in the case where the considered maps $u$ are divergence-free in $\mathbb{R}\times\omega$ with $\omega$ being the $(d-1)$-torus and $N=d$.


title: Giant Panda Face Recognition Using Small Dataset

abstract: Giant panda (panda) is a highly endangered animal. Significant efforts and resources have been put on panda conservation. To measure effectiveness of conservation schemes, estimating its population size in wild is an important task. The current population estimation approaches, including capture-recapture, human visual identification and collection of DNA from hair or feces, are invasive, subjective, costly or even dangerous to the workers who perform these tasks in wild. Cameras have been widely installed in the regions where pandas live. It opens a new possibility for non-invasive image based panda recognition. Panda face recognition is naturally a small dataset problem, because of the number of pandas in the world and the number of qualified images captured by the cameras in each encounter. In this paper, a panda face recognition algorithm, which includes alignment, large feature set extraction and matching is proposed and evaluated on a dataset consisting of 163 images. The experimental results are encouraging.


title: $D$ mesons as a probe of Casimir effect for chiral symmetry breaking

abstract: We propose $D$ mesons as probes to investigate finite-volume effects for chiral symmetry breaking at zero and finite temperature. By using the $2+1$-flavor linear-sigma model with constituent light quarks, we analyze the Casimir effects for the $\sigma$ mean fields: The chiral symmetry is rapidly restored by the antiperiodic boundary for light quarks, and the chiral symmetry breaking is catalyzed by the periodic boundary. We also show the phase diagram of the $\sigma$ mean fields on the volume and temperature plane. For $D$ mesons, we employ an effective model based on the chiral-partner structure, where the volume dependence of $D$ mesons is induced by the $\sigma$ mean fields. We find that $D_s$ mesons are less sensitive to finite volume than $D$ mesons, which is caused by the insensitivity of $\sigma_s$ mean fields. An anomalous mass shift of $D$ mesons at high temperature with the periodic boundary will be useful in examinations with lattice QCD simulations. The dependence on the number of compactified spatial dimensions is also studied.


title: Cutoff on Graphs and the Sarnak-Xue Density of Eigenvalues

abstract: It was recently shown by Lubetzky and Peres (2016) and by Sardari (2018) that Ramanujan graphs, i.e., graphs with the optimal spectrum, exhibit cutoff of the simple random walk in an optimal time and have an optimal almost-diameter. We show that this spectral condition can be replaced by a weaker condition, the Sarnak-Xue density property, to deduce similar results. This allows us to prove that some natural families of Schreier graphs of the $SL_2(\mathbb{F}_t)$-action on the projective line exhibit cutoff, thus proving a special case of a conjecture of Rivin and Sardari.


title: Hierarchy of Transportation Network Parameters and Hardness Results

abstract: The graph parameters highway dimension and skeleton dimension were introduced to capture the properties of transportation networks. As many important optimization problems like Travelling Salesperson, Steiner Tree or $k$-Center arise in such networks, it is worthwhile to study them on graphs of bounded highway or skeleton dimension. We investigate the relationships between mentioned parameters and how they are related to other important graph parameters that have been applied successfully to various optimization problems. We show that the skeleton dimension is incomparable to any of the parameters distance to linear forest, bandwidth, treewidth and highway dimension and hence, it is worthwhile to study mentioned problems also on graphs of bounded skeleton dimension. Moreover, we prove that the skeleton dimension is upper bounded by the max leaf number and that for any graph on at least three vertices there are edge weights such that both parameters are equal. Then we show that computing the highway dimension according to most recent definition is NP-hard, which answers an open question stated by Feldmann et al. Finally we prove that on graphs $G=(V,E)$ of skeleton dimension $\mathcal{O}(\log^2 \vert V \vert)$ it is NP-hard to approximate the $k$-Center problem within a factor less than $2$.


title: Heterogeneous Multi-sensor Calibration based on Graph Optimization

abstract: Many robotics and mapping systems contain multiple sensors to perceive the environment. Extrinsic parameter calibration, the identification of the position and rotation transform between the frames of the different sensors, is critical to fuse data from different sensors. When obtaining multiple camera to camera, lidar to camera and lidar to lidar calibration results, inconsistencies are likely. We propose a graph-based method to refine the relative poses of the different sensors. We demonstrate our approach using our mapping robot platform, which features twelve sensors that are to be calibrated. The experimental results confirm that the proposed algorithm yields great performance.


title: Comment on "Inclusion of the backaction term in the total optical force exerted upon Rayleigh particles in nonresonant structures"

abstract: The conventional dipole approximation (CDA) assumes that the EM fields a small particle generates in the presence of its surrounding material bodies are equal to the EM fields a point-like dipole generates in the absence of the material bodies. The authors of [Phys. Rev. A 98, 013806 (2018)] investigate a modified dipole approximation (MDA), which assumes that the EM fields the particle generates are equal to the EM fields a point-like dipole generates in the presence of the material bodies. The authors interpret the approximate EM force under the MDA as the sum of four terms named 'generalized gradient force', 'generalized radiation pressure', 'generalized spin curl force', and 'new force term'. I show that such an interpretation is wrong and misleading: the generalized gradient force is not a gradient force; the generalized radiation pressure is not a radiation pressure; and the generalized spin curl force is not a spin curl force. In the case where the particle interacts with only one resonant EM mode of small enough linewidth, which is usually called 'self-induced back-action trapping' in the literature, I rectify some of the statements in their paper, and clear up some common misconceptions in the literature. In the case where the particle does not interact with any EM modes of small enough linewidth, I show that the numerical examples in their paper are inconclusive, and more importantly, the MDA is in principle inaccurate when the CDA is inaccurate. It should be noted that finding the approximate EM force under the MDA is computationally as hard as finding the exact EM force.


title: Physics-as-Inverse-Graphics: Unsupervised Physical Parameter Estimation from Video

abstract: We propose a model that is able to perform unsupervised physical parameter estimation of systems from video, where the differential equations governing the scene dynamics are known, but labeled states or objects are not available. Existing physical scene understanding methods require either object state supervision, or do not integrate with differentiable physics to learn interpretable system parameters and states. We address this problem through a physics-as-inverse-graphics approach that brings together vision-as-inverse-graphics and differentiable physics engines, enabling objects and explicit state and velocity representations to be discovered. This framework allows us to perform long term extrapolative video prediction, as well as vision-based model-predictive control. Our approach significantly outperforms related unsupervised methods in long-term future frame prediction of systems with interacting objects (such as ball-spring or 3-body gravitational systems), due to its ability to build dynamics into the model as an inductive bias. We further show the value of this tight vision-physics integration by demonstrating data-efficient learning of vision-actuated model-based control for a pendulum system. We also show that the controller's interpretability provides unique capabilities in goal-driven control and physical reasoning for zero-data adaptation.


title: Gravitational Wave Signatures of Highly Magnetized Neutron Stars

abstract: Motivated by the recent gravitational wave detection by the LIGO-VIRGO observatories, we study the Love number and dimensionless tidal polarizability of highly magnetized stars. We also investigate the fundamental quasi-normal mode of neutron stars subject to high magnetic fields. To perform our calculations we use the chaotic field approximation and consider both nucleonic and hyperonic stars. As far as the fundamental mode is concerned, we conclude that the role played by the constitution of the stars is far more relevant than the intensity of the magnetic field and if massive stars are considered, the ones constituted by nucleons only present frequencies somewhat lower than the ones with hyperonic cores, a feature that can be used to point out the real internal structure of neutron stars. Moreover, our studies clearly indicate that strong magnetic fields play a crucial role in the deformability of low mass neutron stars, with possible consequences on the interpretation of the detected gravitational waves signatures.


title: Time-Polynomial Lieb-Robinson bounds for finite-range spin-network models

abstract: The Lieb-Robinson bound sets a theoretical upper limit on the speed at which information can propagate in non-relativistic quantum spin networks. In its original version, it results in an exponentially exploding function of the evolution time, which is partially mitigated by an exponentially decreasing term that instead depends upon the distance covered by the signal (the ratio between the two exponents effectively defining an upper bound on the propagation speed). In the present paper, by properly accounting for the free parameters of the model, we show how to turn this construction into a stronger inequality where the upper limit only scales polynomially with respect to the evolution time. Our analysis applies to any chosen topology of the network, as long as the range of the associated interaction is explicitly finite. For the special case of linear spin networks we present also an alternative derivation based on a perturbative expansion approach which improves the previous inequality. In the same context we also establish a lower bound to the speed of the information spread which yields a non trivial result at least in the limit of small propagation times.


title: GRDN:Grouped Residual Dense Network for Real Image Denoising and GAN-based Real-world Noise Modeling

abstract: Recent research on image denoising has progressed with the development of deep learning architectures, especially convolutional neural networks. However, real-world image denoising is still very challenging because it is not possible to obtain ideal pairs of ground-truth images and real-world noisy images. Owing to the recent release of benchmark datasets, the interest of the image denoising community is now moving toward the real-world denoising problem. In this paper, we propose a grouped residual dense network (GRDN), which is an extended and generalized architecture of the state-of-the-art residual dense network (RDN). The core part of RDN is defined as grouped residual dense block (GRDB) and used as a building module of GRDN. We experimentally show that the image denoising performance can be significantly improved by cascading GRDBs. In addition to the network architecture design, we also develop a new generative adversarial network-based real-world noise modeling method. We demonstrate the superiority of the proposed methods by achieving the highest score in terms of both the peak signal-to-noise ratio and the structural similarity in the NTIRE2019 Real Image Denoising Challenge - Track 2:sRGB.


title: ET-GAN: Cross-Language Emotion Transfer Based on Cycle-Consistent Generative Adversarial Networks

abstract: Despite the remarkable progress made in synthesizing emotional speech from text, it is still challenging to provide emotion information to existing speech segments. Previous methods mainly rely on parallel data, and few works have studied the generalization ability for one model to transfer emotion information across different languages. To cope with such problems, we propose an emotion transfer system named ET-GAN, for learning language-independent emotion transfer from one emotion to another without parallel training samples. Based on cycle-consistent generative adversarial network, our method ensures the transfer of only emotion information across speeches with simple loss designs. Besides, we introduce an approach for migrating emotion information across different languages by using transfer learning. The experiment results show that our method can efficiently generate high-quality emotional speech for any given emotion category, without aligned speech pairs.


title: Carbon-rich (DQ) white dwarfs in the Sloan Digital Sky Survey

abstract: Among the spectroscopically identified white dwarfs, a fraction smaller than 2% have spectra dominated by carbon lines, mainly molecular C2, but also in a smaller group by CI and CII lines. These are together called DQ white dwarfs. We want to derive atmospheric parameters Teff,log g, and carbon abundances for a large sample of these stars and discuss implications for their spectral evolution. Sloan Digital Sky Survey spectra and ugriz photometry were used, together with GAIA Data Release 2 parallaxes and G band photometry. These were fitted to synthetic spectra and theoretical photometry derived from model atmospheres. We found that the DQs hotter than Teff ~10000 K have masses ~0.4 Msun larger than the cooler ones, which have masses typical for the majority of white dwarfs, ~0.6 Msun. A significant fraction of the hotter objects with Teff > 14500 K have atmospheres dominated by carbon.


title: Space VLBI: from first ideas to operational missions

abstract: The operational period of the first generation of dedicated Space VLBI (SVLBI) missions commenced in 1997 with the launch of the Japan-led mission VSOP/HALCA and is coming to closure in 2019 with the completion of in-flight operations of the Russia-led mission RadioAstron. They were preceded by the SVLBI demonstration experiment with the Tracking and Data Relay Satellite System (TDRSS) in 1986--1988. While the comprehensive lessons learned from the first demonstration experiment and two dedicated SVLBI missions are still awaiting thorough attention, several preliminary conclusions can be made. This paper addresses some issues of implementation of these missions as they progressed over four decades from the original SVLBI concepts to the operational status.


title: Temporally Coupled Dynamical Movement Primitives in Cartesian Space

abstract: Control of robot orientation in Cartesian space implicates some difficulties, because the rotation group SO(3) is not contractible, and only globally contractible state spaces support continuous and globally asymptotically stable feedback control systems. In this paper, unit quaternions are used to represent orientations, and it is first shown that the unit quaternion set minus one single point is contractible. This is used to design a control system for temporally coupled dynamical movement primitives (DMPs) in Cartesian space. The functionality of the control system is verified experimentally on an industrial robot.


title: Evidence for nematic superconductivity of topological surface states in PbTaSe2

abstract: Spontaneous symmetry breaking has been a paradigm to describe the phase transitions in condensed matter physics. In addition to the continuous electromagnetic gauge symmetry, an unconventional superconductor can break discrete symmetries simultaneously, such as time reversal and lattice rotational symmetry. In this work we report a characteristic in-plane 2-fold behaviour of the resistive upper critical field and point-contact spectra on the superconducting semimetal PbTaSe2 with topological nodal-rings, despite its hexagonal lattice symmetry (or D_3h in bulk while C_3v on surface, to be precise). However, we do not observe any lattice rotational symmetry breaking signal from field-angle-dependent specific heat. It is worth noting that such surface-only electronic nematicity is in sharp contrast to the observation in the topological superconductor candidate, CuxBi2Se3, where the nematicity occurs in various bulk measurements. In combination with theory, superconducting nematicity is likely to emerge from the topological surface states of PbTaSe2, rather than the proximity effect. The issue of time reversal symmetry breaking is also addressed. Thus, our results on PbTaSe2 shed new light on possible routes to realize nematic superconductivity with nontrivial topology.


title: Symmetries of complex flat manifolds

abstract: In this article we show how to calculate the group of automorphisms of flat K\"ahler manifolds. Moreover we are interested in the problem of classification of such manifolds up to biholomorphism. We consider these problems from two points of view. The first one treats the automorphism group as a subgroup of the group of affine transformations, while in the second one we analyze it using automorphisms of complex tori. This leads us to the analogues of the Bieberbach theorems in the complex case. We end with some examples, which in particular show that in general the finiteness of the automorphism group depends not only on the fundamental group of a flat manifold.


title: Triggering the QCD phase transition through the Unruh effect: chiral symmetry restoration for uniformly accelerated observers

abstract: In this work we study the chiral phase transition as observed by an accelerating observer taking into account the Unruh effect. We use Chiral Perturbation Theory at leading order and the large $N$ limit ($N$ being the number of pions) as an effective description of low-energy QCD, and the Thermalization Theorem to compute the relevant partition function for the accelerating observer. As a result, we obtain that chiral symmetry is restored for uniformly accelerated observers with acceleration $a$ larger than the critical value $a_c=4\pi f_\pi$, with $f_\pi$ being the pion decay constant.


title: A Framework for Measuring the Costs of Security at Runtime

abstract: In Industry 4.0, Cyber-Physical Systems (CPS) are formed by components, which are interconnected with each other over the Internet of Things (IoT). The resulting capabilities of sensing and affecting the physical world offer a vast range of opportunities, yet, at the same time pose new security challenges. To address these challenges there are various IoT Frameworks, which offer solutions for managing and controlling IoT-components and their interactions. In this regard, providing security for an interaction usually requires performing additional security-related tasks (e.g. authorisation, encryption, etc.) to prevent possible security risks. Research currently focuses more on designing and developing these frameworks and does not satisfactorily provide methodologies for evaluating the resulting costs of providing security. In this paper we propose an initial approach for measuring the resulting costs of providing security for interacting IoT-components by using a Security Cost Modelling Framework. Furthermore, we describe the necessary building blocks of the framework and provide an experimental design showing how it could be used to measure security costs at runtime.


title: Four electron spin qubits with exchange interaction

abstract: Four electron spin qubits in quantum dots are studied by means of an exchange interaction Hamiltonian. The time-independent Schr\"odinger equation is exactly analytically solved for the symmetric case, that is equal qubit frequencies and equal couplings. The spin system can be used as two data-qubits and two ancillas, thereby realizing a $X$ and $Z$ stabilizing circuit exploited in error correction and surface codes. The unitary evolution of corresponding stable states is calculated and consequences for error syndromes and fidelities are assessed. It is also shown that applying the evolution operator for a prescribed duration and subsequent measurement of the ancillas lead to a `verifiable' two-qubit phase gate.


title: The proton charge radius extracted from the Initial State Radiation experiment at MAMI

abstract: We report on a comprehensive reinterpretation of the existing cross-section data for elastic electron-proton scattering obtained by the initial-state radiation technique, resulting in a significantly improved accuracy of the extracted proton charge radius. By refining the external energy corrections we have achieved an outstanding description of the radiative tail, essential for a detailed investigation of the proton finite-size effects on the measured cross-sections. This development, together with a novel framework for determining the radius, based on a regression analysis of the cross-sections employing a polynomial model for the form factor, led us to a new value for the charge radius, which is $(0.870 \pm 0.014_\mathrm{stat.}\pm 0.024_\mathrm{sys.} \pm 0.003_\mathrm{mod.})\,\mathrm{fm}$.


title: A Note on a Unitary Analog to Redheffer's Matrix

abstract: We study a unitary analog to Redheffer's matrix. It is first proved that the determinant of this matrix is the unitary analogue to that of Redheffer's matrix. We also show that the coefficients of the characteristic polynomial may be expressed as sums of Stirling numbers of the second kind. This implies in particular that $1$ is an eigenvalue with algebraic multiplicity greater than that of Redheffer's matrix.


title: Local Asymptotic Equivalence of the Bai and Ng (2004) and Moon and Perron (2004) Frameworks for Panel Unit Root Testing

abstract: This paper considers unit-root tests in large n and large T heterogeneous panels with cross-sectional dependence generated by unobserved factors. We reconsider the two prevalent approaches in the literature, that of Moon and Perron (2004) and the PANIC setup proposed in Bai and Ng (2004). While these have been considered as completely different setups, we show that, in case of Gaussian innovations, the frameworks are asymptotically equivalent in the sense that both experiments are locally asymptotically normal (LAN) with the same central sequence. Using Le Cam's theory of statistical experiments we determine the local asymptotic power envelope and derive an optimal test jointly in both setups. We show that the popular Moon and Perron (2004) and Bai and Ng (2010) tests only attain the power envelope in case there is no heterogeneity in the long-run variance of the idiosyncratic components. The new test is asymptotically uniformly most powerful irrespective of possible heterogeneity. Moreover, it turns out that for any test, satisfying a mild regularity condition, the size and local asymptotic power are the same under both data generating processes. Thus, applied researchers do not need to decide on one of the two frameworks to conduct unit root tests. Monte-Carlo simulations corroborate our asymptotic results and document significant gains in finite-sample power if the variances of the idiosyncratic shocks differ substantially among the cross sectional units.


title: Reconstructing the cosmic-ray energy from the radio signal measured in one single station

abstract: Short radio pulses can be measured from showers of both high-energy cosmic rays and neutrinos. While commonly several antenna stations are needed to reconstruct the energy of an air shower, we describe a novel method that relies on the radio signal measured in one antenna station only. Exploiting a broad frequency bandwidth of $80-300$ MHz, we obtain a statistical energy resolution of better than 15\% on a realistic Monte Carlo set. This method is both a step towards energy reconstruction from the radio signal of neutrino induced showers, as well as a promising tool for cosmic-ray radio arrays. Especially for hybrid arrays where the air shower geometry is provided by an independent detector, this method provides a precise handle on the energy of the shower even with a sparse array.


title: Spin relaxation in Cs$_2$CuCl$_{4-x}$Br$_x$

abstract: The quantum-spin S = 1=2 chain system Cs$_2$CuCl$_4$ is of high interest due to competing anti-ferromagnetic intra-chain J and inter-chain exchange J' interactions and represents a paramount example for Bose-Einstein condensation of magnons [R. Coldea et al., Phys. Rev. Lett. 88, 137202 (2002)]. Substitution of chlorine by bromine allows tuning the competing exchange interactions and corresponding magnetic frustration. Here we report on electron spin resonance (ESR) in single crystals of Cs$_2$CuCl$_{4-x}$Br$_x$ with the aim to analyze the evolution of anisotropic exchange contributions. The main source of the ESR linewidth is attributed to the uniform Dzyaloshinskii-Moriya interaction. The vector components of the Dzyaloshinskii-Moriya interaction are determined from the angular dependence of the ESR spectra using a high-temperature approximation. The obtained results support the site selectivity of the Br substitution suggested from the evolution of lattice parameters and magnetic susceptibility dependent on the Br concentration.


title: Proving Non-Termination via Loop Acceleration

abstract: We present the first approach to prove non-termination of integer programs that is based on loop acceleration. If our technique cannot show non-termination of a loop, it tries to accelerate it instead in order to find paths to other non-terminating loops automatically. The prerequisites for our novel loop acceleration technique generalize a simple yet effective non-termination criterion. Thus, we can use the same program transformations to facilitate both non-termination proving and loop acceleration. In particular, we present a novel invariant inference technique that is tailored to our approach. An extensive evaluation of our fully automated tool LoAT shows that it is competitive with the state of the art.


title: Unitarity of the infinite-volume three-particle scattering amplitude arising from a finite-volume formalism

abstract: In a previous publication, two of us derived a relation between the scattering amplitude of three identical bosons, $\mathcal M_3$, and a real function referred to as the {divergence-free} K matrix and denoted $\mathcal K_{\text{df},3}$. The result arose in the context of a relation between finite-volume energies and $\mathcal K_{\text{df},3}$, derived to all orders in the perturbative expansion of a generic low-energy effective field theory. In this work we set aside the role of the finite volume and focus on the infinite-volume relation between $\mathcal K_{\text{df},3}$ and $\mathcal M_3$. We show that, for any real choice of $\mathcal K_{\text{df},3}$, $\mathcal M_3$ satisfies the three-particle unitarity constraint to all orders. Given that $\mathcal K_{\text{df},3}$ is also free of a class of kinematic divergences, the function may provide a useful tool for parametrizing three-body scattering data. Applications include the phenomenological analysis of experimental data (where the connection to the finite volume is irrelevant) as well as calculations in lattice quantum chromodynamics (where the volume plays a key role).


title: Tailoring of multi-pulse dynamics in mode-locked laser via optoacoustic manipulation of quasi-continuous-wave background

abstract: A variety of nonequilibrium multi-pulse states can emerge in a mode-locked laser through the interactions between the quasi-continuous-wave background (qCWB) and optical pulses inside the laser cavity. However, they have been long regarded as unpredictable and hardly controllable due to the noise-like nature of the qCWB, and relevant previous studies thus lack a clear understanding of their underlying mechanisms. Here, we demonstrate that the qCWB landscape can be manipulated via optoacoustically mediated interactions between the qCWB and mode-locked pulses, which dramatically alters the behaviors of multi-pulse dynamics in unprecedented manners. In this process, impulsive qCWB modulations are created at well-defined temporal locations, which act as the point emitters and attractive potentials for drifting pulse bunches and soliton rains. Hence, we can transport a single pulse bunch from a certain temporal position to another on the qCWB, and also make the soliton rain created and collided exclusively at specific temporal locations, in sharp contrast to the conventional cases. Our study opens up new possibilities to control the nonequilibrium multi-pulse phenomena precisely in the time domain, which would not only help the observation and clear understanding of undiscovered features of multi-pulse dynamics but offer a practical means of advanced optical information processing.


title: Model-Agnostic Counterfactual Explanations for Consequential Decisions

abstract: Predictive models are being increasingly used to support consequential decision making at the individual level in contexts such as pretrial bail and loan approval. As a result, there is increasing social and legal pressure to provide explanations that help the affected individuals not only to understand why a prediction was output, but also how to act to obtain a desired outcome. To this end, several works have proposed optimization-based methods to generate nearest counterfactual explanations. However, these methods are often restricted to a particular subset of models (e.g., decision trees or linear models) and differentiable distance functions. In contrast, we build on standard theory and tools from formal verification and propose a novel algorithm that solves a sequence of satisfiability problems, where both the distance function (objective) and predictive model (constraints) are represented as logic formulae. As shown by our experiments on real-world data, our algorithm is: i) model-agnostic ({non-}linear, {non-}differentiable, {non-}convex); ii) data-type-agnostic (heterogeneous features); iii) distance-agnostic ($\ell_0, \ell_1, \ell_\infty$, and combinations thereof); iv) able to generate plausible and diverse counterfactuals for any sample (i.e., 100% coverage); and v) at provably optimal distances.


title: Development of an Intuitive Foot-Machine Interface for Robotic Surgery

abstract: The human-machine interface is of critical importance for master-slave control of the robotic system for surgery, in which current systems offer the control or two robotic arms teleoperated by the surgeon's hands. To relax the need for surgical assistants and augment dexterity in surgery, it has been recently proposed to use a robot like a third arm that can be controlled seamlessly, independently from the natural arms, and work together with them. This report will develop and investigate this concept by implementing foot control of a robotic surgical arm. A novel passive haptic foot-machine interface system and analysis of its performances were introduced in this report. This interface using a parallel-serial hybrid structure with springs and force sensors, which allows intuitive control of a slave robotic arm with four degrees of freedom (dof). The elastic isometric design enables a user to control the interface system accurately and adaptively, with an enlarged sensing range breaking the physical restriction of the pedal size. A subject specific (independent component analysis, ICA) model is identified to map the surgeon's foot movements into kinematic parameters of the slave robotic arm. To validate the system and assess the performance it allows, 10 subjects carried out experiments to manipulate the foot-machine interface system in various movements. With these experimental data, the mapping models were built and verified. A comparison between different mapping models was made and analyzed proving the ICA algorithm is obviously dominant over other methods.


title: The Chan-Vese Model with Elastica and Landmark Constraints for Image Segmentation

abstract: In order to completely separate objects with large sections of occluded boundaries in an image, we devise a new variational level set model for image segmentation combining the Chan-Vese model with elastica and landmark constraints. For computational efficiency, we design its Augmented Lagrangian Method (ALM) or Alternating Direction Method of Multiplier (ADMM) method by introducing some auxiliary variables, Lagrange multipliers, and penalty parameters. In each loop of alternating iterative optimization, the sub-problems of minimization can be easily solved via the Gauss-Seidel iterative method and generalized soft thresholding formulas with projection, respectively. Numerical experiments show that the proposed model can not only recover larger broken boundaries but can also improve segmentation efficiency, as well as decrease the dependence of segmentation on parameter tuning and initialization.


title: Parallel tale of seniority isomers in 130Cd and 206Hg: Testing the robustness of magic numbers

abstract: The neutron-rich nuclei 130Cd and 206Hg, so important in the astrophysical processes, may also be useful in tracking the evolution of nuclear shell gaps as one traverses the neutron-rich region. The high spin 8+ isomer in 130Cd and the 10+ isomer in 206Hg turn out to be the lampposts, which may shed light on the shell gaps and validity of the seniority scheme in the neutron-rich systems. We explore the robustness of the N=82 and N=126 magic numbers in the neutron-rich 130Cd and 206Hg nuclides, respectively. A parallel between the two nuclides in terms of the high-spin isomers allows us to investigate these waiting-point nuclei, which have limited experimental data, by using the concept of seniority as the stepping stone. In this paper, we report large scale shell model calculations by using the available realistic effective interactions derived from the Charge Dependent Bonn potential through the renormalized G matrix. We also explore if any change in the interaction is also required to consistently explain both the level structures as well the B(E2) values. A structural similarity between the 8+ isomer in 130Cd and the 10+ isomer in 206Hg is noticed due to goodness of seniority. They are found to possess a maximally aligned, seniority v = 2 configuration from their respective intruder orbits. No shell quenching seems to be needed for the seniority isomers in these nuclei. Therefore, N=82 and 126 appear to be very robust magic numbers even in the neutron-rich region.


title: Topological chiral modes in random scattering networks

abstract: Using elementary graph theory, we show the existence of interface chiral modes in random oriented scattering networks and discuss their topological nature. For particular regular networks (e.g. L-lattice, Kagome and triangular networks), an explicit mapping with time-periodically driven (Floquet) tight-binding models is found. In that case, the interface chiral modes are identified as the celebrated anomalous edge states of Floquet topological insulators and their existence is enforced by a symmetry imposed by the associated network. This work thus generalizes these anomalous chiral states beyond Floquet systems, to a class of discrete-time dynamical systems where a periodic driving in time is not required.


title: Asymptotics for Recurrence Coefficients of X1-Jacobi Polynomials and Christoffel Function

abstract: Computing asymptotics of the recurrence coefficients of X1-Jacobi polynomials we investigate the limit of Christoffel function. We also study the relation between the normalized counting measure based on the zeros of the modified average characteristic polynomial and the Christoffel function in limit. The proofs of corresponding theorems with respect to ordinary orthogonal polynomials are based on the three-term recurrence relation. The main point is that exceptional orthogonal polynomials possess at least five-term formulae and so the Christoffel-Darboux formula also fails. It seems that these difficulties can be handled in combinatorial way.


title: Electronic structure and tunability of 2D hexagonal boron arsenide

abstract: Group theory and density functional theory methods are combined to obtain compact and accurate $k\cdot p$ Hamiltonians that describe the bandstructures around the $K$ and $\Gamma$ points for the 2D material hexagonal boron arsenide (h-BAs) predicted to be an important low-bandgap material for electric, thermoelectric, and piezoelectric properties that supplements the well-studied 2D material hexagonal boron nitride. Hexagonal boron arsenide is a direct bandgap material with band extrema at the $K$ point. The bandgap becomes indirect with a conduction-band minimum at the $\Gamma$ point subject to a strong electric field or biaxial strain. At even higher electric field strengths (approximately 0.75 V/$\r{A}$) or a large strain ($14$~\%) 2D hexagonal boron arsenide becomes metallic. Our $k\cdot p$ models include to leading orders the influence of strain, electric, and magnetic fields. Excellent qualitative and quantitative agreement between density functional theory and $k\cdot p$ predictions are demonstrated for different types of strain and electric fields.


title: Semigroups associated with differential-algebraic equations

abstract: We consider differential-algebraic equations in infinite dimensional state spaces and study, under which conditions we can associate a $C_{0}$-semigroup with such equations. We determine the right space of initial values and characterise the existence of a $C_{0}$-semigroup in the case of operator pencils with polynomially bounded resolvents.


title: Towards Automated Boundary Value Testing with Program Derivatives and Search

abstract: A natural and often used strategy when testing software is to use input values at boundaries, i.e. where behavior is expected to change the most, an approach often called boundary value testing or analysis (BVA). Even though this has been a key testing idea for long it has been hard to clearly define and formalize. Consequently, it has also been hard to automate. In this research note we propose one such formalization of BVA by, in a similar way as to how the derivative of a function is defined in mathematics, considering (software) program derivatives. Critical to our definition is the notion of distance between inputs and outputs which we can formalize and then quantify based on ideas from Information theory. However, for our (black-box) approach to be practical one must search for test inputs with specific properties. Coupling it with search-based software engineering is thus required and we discuss how program derivatives can be used as and within fitness functions. This brief note does not allow a deeper, empirical investigation but we use a simple illustrative example throughout to introduce the main ideas. By combining program derivatives with search, we thus propose a practical as well as theoretically interesting technique for automated boundary value (analysis and) testing.


title: How Low Can Vacuum Energy Go When Your Fields Are Finite-Dimensional?

abstract: According to the holographic bound, there is only a finite density of degrees of freedom in space when gravity is taken into account. Conventional quantum field theory does not conform to this bound, since in this framework, infinitely many degrees of freedom may be localized to any given region of space. In this paper, we explore the viewpoint that quantum field theory may emerge from an underlying theory that is locally finite-dimensional, and we construct a locally finite-dimensional version of a Klein-Gordon scalar field using generalized Clifford algebras. Demanding that the finite-dimensional field operators obey a suitable version of the canonical commutation relations makes this construction essentially unique. We then find that enforcing local finite dimensionality in a holographically consistent way leads to a huge suppression of the quantum contribution to vacuum energy, to the point that the theoretical prediction becomes plausibly consistent with observations.


title: Decision-making with reference information

abstract: We often try to predict others' actions by obtaining supporting information that shows a preference index of surrounding people. In order to reproduce these situations, we propose a game named "One-sided Preference Game with Reference Information (OSPG-R)." We conducted experiments in which players who have similar preferences compete for objects in OSPG-R. In the experiment, we used three different types of objects: boxes, faces, and cars. Our results show that the most frequently selected object was not the most popular one. In order to gain deeper insights into the experiment's results, we constructed a decision-making model based on two assumptions: (1) players are rational and (2) are convinced that the other players' preference orders are equivalent to the preference index for the group. Compared to the choice behavior of the model, the experiment's results show that there was a tendency to take risks when the objects were faces, or the priority of that particular player was low.


title: Evaluating Appointment Postponement in Scheduling Patients at a Diagnostic Clinic

abstract: Diagnostic clinics are among healthcare facilities that suffer from long waiting times which can cause medical issues and lead to increases in patient no-shows. Reducing waiting times without significant capital investments is a challenging task. We tackle this challenge by proposing a new appointment scheduling policy for such clinics that does not require significant investments. The clinic in our study serves outpatients, inpatients, and emergency patients. Emergency patients must be seen on arrival, and inpatients must be given next day appointments. Outpatients, however, can be given later appointments. The proposed policy takes advantage of this by allowing the postponement of the acceptance of appointment requests from outpatients. The appointment scheduling process is modeled as a two-stage stochastic programming problem where a portion of the clinic capacity is allocated to inpatients and emergency patients in the first stage. In the second stage, outpatients are scheduled based on their priority classes. After a detailed analysis of the solutions obtained from the two-stage stochastic model, we develop a simple, non-anticipative policy for patient scheduling. We evaluate the performance of this proposed, easy-to-implement policy in a simulation study which shows significant improvements in outpatient indirect waiting times.


title: A unified analysis of nano-to-microscale particle dispersion in tubular blood flow

abstract: Transport of solid particles in blood flow exhibits qualitative differences in the transport mechanism when the particle varies from nanoscale to microscale size comparable to the red blood cell (RBC). The effect of microscale particle margination has been investigated by several groups. Also, the transport of nanoscale particles (NPs) in blood has received considerable attention in the past. This study attempts to bridge the gap by quantitatively showing how the transport mechanism varies with particle size from nano- to microscale. Using a three-dimensional (3D) multiscale method, the dispersion of particles in microscale tubular flows is investigated for various hematocrits, vessel diameters and particle sizes. NPs exhibit a nonuniform, smoothly-dispersed distribution across the tube radius due to severe Brownian motion. The near-wall concentration of NPs can be moderately enhanced by increasing hematocrit and confinement. Moreover, there exists a critical particle size ($\sim$1 $\mu$m) that leads to excessive retention of particles in the cell-free region near the wall, i.e., margination. Above this threshold, the margination propensity increases with the particle size. The dominance of RBC-enhanced shear-induced diffusivity (RESID) over Brownian diffusivity (BD) results in 10 times higher radial diffusion rates in the RBC-laden region compared to that in the cell-free layer, correlated with the high margination propensity of microscale particles. This work captures the particle size-dependent transition from Brownian-motion dominant dispersion to margination using a unified 3D multiscale computational approach, and highlights the linkage between the radial distribution of RESID and the margination of particles in confined blood flows.

categories: cond-mat.soft physics.bio-ph physics.comp-ph physics.flu-dyn


title: The Largest Contained Quadrilateral and the Smallest Enclosing Parallelogram of a Convex Polygon

abstract: We present a linear-time algorithm for finding the quadrilateral of largest area contained in a convex polygon, and we show that it is closely related to an old algorithm for the smallest enclosing parallelogram of a convex polygon.


title: A trust model for spreading gossip in social networks

abstract: We introduce here a multi-type bootstrap percolation model, which we call T-Bootstrap Percolation (T-BP), and apply it to study information propagation in social networks. In this model, a social network is represented by a graph G whose vertices have different labels corresponding to the type of role the person plays in the network (e.g. a student, an educator, etc.). Once an initial set of vertices of G is randomly selected to be carrying a gossip (e.g. to be infected), the gossip propagates to a new vertex provided it is transmitted by a minimum threshold of vertices with different labels. By considering random graphs, which have been shown to closely represent social networks, we study different properties of the T-BP model through numerical simulations, and describe its implications when applied to rumour spread, fake news, and marketing strategies.


title: Curves on a smooth surface with position vectors lie in the tangent plane

abstract: The present paper deals with a study of curves on a smooth surface whose position vector always lies in the tangent plane of the surface and it is proved that such curves remain invariant under isometry of surfaces. It is also shown that length of the position vector, tangential component of the position vector and geodesic curvature of a curve on a surface whose position vector always lies in the tangent plane are invariant under isometry of surfaces.


title: Multiscale Poromechanics of Wet Cement Paste

abstract: Capillary effects such as imbibition-drying cycles impact the mechanics of granular systems over time. A multiscale poromechanics framework was applied to cement paste, that is the most common building material, experiencing broad humidity variations over the lifetime of infrastructure. First, the liquid density distribution at intermediate to high relative humidities is obtained using a lattice gas density functional method together with a realistic nano-granular model of cement hydrates. The calculated adsorption/desorption isotherms and pore size distributions are discussed and compare well to nitrogen and water experiments. The standard method for pore size distribution determination from desorption data is evaluated. Then, the integration of the Korteweg liquid stress field around each cement hydrate particle provided the capillary forces at the nanoscale. The cement mesoscale structure was relaxed under the action of the capillary forces. Local irreversible deformations of the cement nano-grains assembly were identified due to liquid-solid interactions. The spatial correlations of the nonaffine displacements extend to a few tens of nm. Finally, the Love-Weber method provided the homogenized liquid stress at the micronscale. The homogenization length coincided with the spatial correlation length nonaffine displacements. Our results on the solid response to capillary stress field suggest that the micronscale texture is not affected by mild drying, while local irreversible deformations still occur. These results pave the way towards understanding capillary phenomena induced stresses in heterogeneous porous media ranging from construction materials, hydrogels to living systems.


title: A Novel General Compact Model Approach for 7nm Technology Node Circuit Optimization from Device Perspective and Beyond

abstract: This work presents a novel general compact model for 7nm technology node devices like FinFETs. As an extension of previous conventional compact model that based on some less accurate elements including one-dimensional Poisson equation for three-dimensional devices and analytical equations for short channel effects, quantum effects and other physical effects, the general compact model combining few TCAD calibrated compact models with statistical methods can eliminate the tedious physical derivations. The general compact model has the advantages of efficient extraction, high accuracy, strong scaling capability and excellent transfer capability. As a demo application, two key design knobs of FinFET and their multiple impacts on RC control ESD power clamp circuit are systematically evaluated with implementation of the newly proposed general compact model, accounting for device design, circuit performance optimization and variation control. The performance of ESD power clamp can be improved extremely. This framework is also suitable for pathfinding researches on 5nm node gate-all-around devices, like nanowire (NW) FETs, nanosheet (NSH) FETs and beyond.


title: Thermal Transport Dynamics in Active Heat Transfer Fluids (AHTF)

abstract: We present results of molecular dynamics (MD) calculations of the effective thermal conductivity of nanofluids containing self-propelled nanoparticles. The translational and rotational dynamics observed in the simulations follow the behavior expected from the standard theoretical analysis of Brownian and self-propelled nanoparticles. The superposition of self-propulsion and rotational Brownian motion causes the behavior of the self-propelled nanoparticles to resemble Brownian diffusion with an effective coefficient that is larger than the standard Brownian value by a factor of several thousand. As a result of the enhanced diffusion (and the convective mixing resulting from the motion), we observe a discriminable increase of the effective thermal conductivity of the solution. While the increases we observe are in the range of several percent, they are significant considering that, without propulsion, the nanofluid thermal conductivity is essentially not affected by the Brownian motion and can be understood within the effective medium theory of thermal conduction. Our results constitute a proof of concept that self-propelled particles have the potential to enhance thermal conductivity of the liquid in which they are immersed, an idea that could ultimately be implemented in a broad variety of cooling applications.


title: No compelling evidence for clathrate hydrate formation under interstellar medium conditions over laboratory timescales

abstract: A recent article reported experimental observations of methane and CO2 clathrate formation at conditions similar to the interstellar medium (ISM), namely 10-30 K and 10-10 mbar. The authors conducted time-dependent reflection-absorption infrared spectroscopy (RAIRS) of vapor-deposited H2O:CH4 and H2O:CO2 mixtures and interpreted new blue and red -shifted peaks from those of trapped CH4 and CO2 in amorphous ice, respectively, as indicative of clathrate formation. In this Letter to the Editor, we point out potential pitfalls and caution against the implications drawn for the ISM.


title: Observational constraints on interacting Tsallis holographic dark energy models

abstract: In this paper, we investigate a recent proposed model - so called the Tsallis holographic dark energy (THDE) model. In this case, we consider the non-gravitational and phenomenological interaction between dark sectors. We fit the free parameters of the model using Pantheon Supernovae Type Ia data, Baryon Acoustic Oscillations, Cosmic Microwave Background, Gamma-Ray burst and the the local value of the Hubble constant. We examine the THDE model to check its compatibility with observational data using objective Information Criterion (IC). We find that the THDE model cannot be supported by observational data. Using the Alcock-Paczynski (AP) test we check the deviation of the model compared to $\Lambda$CDM. Surveying the evolution of squared of sound speed $v^2_s$ as an another test we check the stability of the interacting and non-interacting THDE models. In addition, using the modified version of the CAMB package, we observe the suppressing the CMB spectrum at small K-modes and large scale.


title: Tuning contact line dynamics and deposition patterns in volatile liquid mixtures

abstract: The spreading of a pure, volatile liquid on a wettable substrate has been studied in extensive detail. Here we show that the addition of a miscible, non-volatile liquid can strongly alter the contact line dynamics and the final liquid deposition pattern. We observe two distinct regimes of behavior depending on the relative strength of solutal Marangoni forces and surface wetting. Finger-like instabilities precede the deposition of a sub-micron thick film for large Marangoni forces and small solute contact angles, whereas isolated, pearl-like drops emerge and are deposited in quasi-crystalline patterns for small Marangoni forces and large solute contact angles. This behavior can be tuned by directly varying the contact angle of the solute liquid on the solid substrate.


title: Constraining the properties of dense matter and neutron stars by combining nuclear physics and gravitational waves from GW170817

abstract: Gravitational waves from neutron-star mergers are expected to provide stringent constraints on the structure of neutron stars. At the same time, recent advances in nuclear theory have enabled reliable calculations of the low density equation of state using effective field theory based Hamiltonians and advanced techniques to solve the quantum many-body problem. In this paper, we address how the first observation of gravitational waves from GW170817 can be combined with modern calculations of the equation of state to extract useful insights about the equation of state of matter encountered inside neutron stars. We analyze the impact of various uncertainties and we show that the tidal deformability extracted from GW170817 is compatible, while less constraining, than modern nuclear physics knowledge.


title: Provable robustness against all adversarial $l_p$-perturbations for $p\geq 1$

abstract: In recent years several adversarial attacks and defenses have been proposed. Often seemingly robust models turn out to be non-robust when more sophisticated attacks are used. One way out of this dilemma are provable robustness guarantees. While provably robust models for specific $l_p$-perturbation models have been developed, we show that they do not come with any guarantee against other $l_q$-perturbations. We propose a new regularization scheme, MMR-Universal, for ReLU networks which enforces robustness wrt $l_1$- and $l_\infty$-perturbations and show how that leads to the first provably robust models wrt any $l_p$-norm for $p\geq 1$.


title: On some information geometric structures concerning Mercator projections

abstract: Some information geometric structures concerning the Mercator projections are studied. It is known that a loxodrome on the surface of the globe is related to the straight line on a Mercator map by the Mercator projection. It is not well known that an affine connection with torsion plays a fundamental role to describe an auto-parallel path on the surface. Based on these information geometric structures, Gauss distribution is reconsidered from the view point of the affine connection with a torsion. Some relations with deformed functions are also pointed out.


title: Hydrogen bond analysis of confined water in mesoporous silica using the reactive force field

abstract: The structural and dynamical properties of water confined in nanoporous silica with a pore diameter of 2.7 nm were investigated by performing large-scale molecular dynamics simulations using the reactive force field. The radial distribution function and diffusion coefficient of water were calculated, and the values at the center of the pore agreed well with experimental values for real water. In addition, the pore was divided into thin coaxial layers, and the average number of hydrogen bonds, hydrogen bond lifetime, and hydrogen bond strength were calculated as a function of the radial distance from the pore central axis. The analysis showed that hydrogen bonds involving silanol (Si-OH) have a longer lifetime, although the average number of hydrogen bonds per atom does not change from that at the pore center. The longer lifetime, as well as smaller diffusion coefficient, of these hydrogen bonds is attributed to their greater strength.


title: Two new explicit formulas for the Bernoulli Numbers

abstract: In this brief note, we give two explicit formulas for the Bernoulli Numbers in terms of the Stirling numbers of the second kind, and the Eulerian Numbers. To the best of our knowledge, these formulas are new. We also derive two more probably known formulas.


title: Simulation Environment for Link Energy Estimation in Networks-on-Chip with Virtual Channels

abstract: Network-on-chip (NoC) is the most promising design paradigm for the interconnect architecture of a multiprocessor system-on-chip (MPSoC). On the downside, a NoC has a significant impact on the overall energy consumption of the system. NoC simulators are highly relevant for design space exploration even at an early stage. Since links in NoC consume up to 50% of the energy, a realistic energy consumption of links in NoC simulators is important. This work presents a simulation environment which implements a technique to precisely estimate the data dependent link energy consumption in NoCs with virtual channels for the first time. Our model works at a high level of abstraction, making it feasible to estimate the energy requirements at an early design stage. Additionally, it enables the fast evaluation and early exploration of low-power coding techniques. The presented model is applicable for 2D and 3D NoCs. A case study for an image processing application shows that the current link model leads to an underestimate of the link energy consumption by up to a factor of four. In contrast, the technique presented in this paper estimates the energy quantities precisely with an error below 1% compared to results obtained by precise, but computational extensive, bit-level simulation.


title: Delay lines test method for the Blade Template

abstract: This paper proposes a method for testing the delay lines of Blade asynchronous timing resilience template. It consists of an offline test method, with low area overhead, for measuring the internal propagation delay of the delay lines with external testers.


title: Automated Ground Truth Estimation of Vulnerable Road Users in Automotive Radar Data Using GNSS

abstract: Annotating automotive radar data is a difficult task. This article presents an automated way of acquiring data labels which uses a highly accurate and portable global navigation satellite system (GNSS). The proposed system is discussed besides a revision of other label acquisitions techniques and a problem description of manual data annotation. The article concludes with a systematic comparison of conventional hand labeling and automatic data acquisition. The results show clear advantages of the proposed method without a relevant loss in labeling accuracy. Minor changes can be observed in the measured radar data, but the so introduced bias of the GNSS reference is clearly outweighed by the indisputable time savings. Beside data annotation, the proposed system can also provide a ground truth for validating object tracking or other automated driving system applications.


title: Dynamics of a composite quantum bouncing ball

abstract: I construct the state of a quantum particle with internal degree of freedom bouncing on a perfect reflector in presence of gravity. I predict from the result that revival of position expectation is possible for such system.


title: Poisson fluctuations for edge counts in high-dimensional random geometric graphs

abstract: We prove a Poisson limit theorem in the total variation distance of functionals of a general Poisson point process using the Malliavin-Stein method. Our estimates only involve first and second order difference operators and are closely related to the corresponding bounds for the normal approximation in the Wasserstein distance by Last, Peccati and Schulte (2016). As an application of this Poisson limit theorem, we consider a stationary Poisson point process in $\mathbb{R}^d$ and connect any two points whenever their distance is less than or equal to a prescribed distance parameter. This construction gives rise to the well known random geometric graph. The number of edges of this graph is counted that have a midpoint in the $d$-dimensional unit ball. A quantitative Poisson limit theorem for this counting statistic is derived, as the space dimension $d$ and the intensity of the Poisson point process tend to infinity simultaneously, showing that the phase transition phenomenon holds also in the high-dimensional set-up.


title: Soft Options Critic

abstract: The option-critic architecture (Bacon, Harb, and Precup 2017) and several variants have successfully demonstrated the use of the options framework proposed by Sutton et al (Sutton, Precup, and Singh1999) to scale learning and planning in hierarchical tasks. Although most of these frameworks use entropy as a regularizer to improve exploration, they do not maximize entropy along with returns at every time step. (Haarnoja et al., 2018d) recently introduced an off-policy actor critic algorithm in theSoft Actor Critic paper that maximize returns while maximizing entropy in a constrained manner thus enabling learning of robust options in continuous and discrete action spaces In this paper we adopt the architecture of soft-actor critic to investigate the effect of maximizing entropy of each options and inter-option policy in options framework. We derive the soft options improvement theorem and propose a novel soft-options framework to incorporate maximization of entropy of actions and options in a constrained manner. Our experiments show that the modified options-critic framework generates robust policies which allows fast recovery when environment is subjected to perturbations and outperforms vanilla options-critic framework in most hierarchical tasks


title: Regularization of Cylindrical Processes In Locally Convex Spaces

abstract: Let $\Phi$ be a locally convex space and let $\Phi'$ denote its strong dual. In this paper we introduce sufficient conditions for the existence of a continuous or a c\`{a}dl\`{a}g $\Phi'$-valued version to a cylindrical process defined on $\Phi$. Our result generalizes many other known results on the literature and their different connections will be discussed. As an application, we use our results to show the existence of a $\Phi'$-valued c\`{a}dl\`{a}g L\'{e}vy process version to a given cylindrical L\'{e}vy process in $\Phi'$.


title: Unidirectional planar Hall voltages induced by surface acoustic waves in ferromagnetic thin films

abstract: The electromotive forces induced by surface acoustic waves (SAWs) are investigated in ferromagnetic thin films. CoFeB thin films deposited on LiNbO$_3$ substrates are patterned into Hall-bars to study the acoustoelectric transport properties of the device. The longitudinal and transverse dc voltages that develop in the Hall bars, which are parallel and orthogonal to the flow of the SAW, respectively, are measured under application of an in-plane magnetic field. The longitudinal voltage scales linearly with the SAW power and reverses its polarity upon changing the direction to which the SAW propagates, suggesting generation of a dc acoustic current via the SAW excitation. The magnetic field has little influence on the acoustic current. In contrast, the SAW induced transverse voltage shows significant dependence on the relative angle between the magnetic field and the SAW propagation direction. Such field angle dependent voltage resembles that of the planar Hall voltage induced by electric current. Interestingly, the angle dependent acoustic transverse voltage does not depend on the SAW propagation direction. Moreover, the magnitude of the equivalent angle dependent acoustic transverse resistance is more than one order of magnitude larger than that of the planar Hall resistance. These results show the unique acoustoelectric transport properties of ferromagnetic thin films.


title: Split Network Polytopes and Network Spaces

abstract: Phylogenetics begins with reconstructing biological family trees from genetic data. Since Nature is not limited to tree-like histories, we use networks to organize our data, and have discovered new polytopes, metric spaces, and simplicial complexes that help us do so. Moreover, we show that the space of phylogenetic trees dually embeds into the Balanced Minimum Evolution polytope, and use this result to find a complex of faces within the subtour-elimination facets of the Symmetric Traveling Salesman polytope, which is shown to be dual to a quotient complex in network space.


title: Induction of Non-Monotonic Rules From Statistical Learning Models Using High-Utility Itemset Mining

abstract: We present a fast and scalable algorithm to induce non-monotonic logic programs from statistical learning models. We reduce the problem of search for best clauses to instances of the High-Utility Itemset Mining (HUIM) problem. In the HUIM problem, feature values and their importance are treated as transactions and utilities respectively. We make use of TreeExplainer, a fast and scalable implementation of the Explainable AI tool SHAP, to extract locally important features and their weights from ensemble tree models. Our experiments with UCI standard benchmarks suggest a significant improvement in terms of classification evaluation metrics and running time of the training algorithm compared to ALEPH, a state-of-the-art Inductive Logic Programming (ILP) system.


title: Cavity QED of Strongly Correlated Electron Systems: A No-go Theorem for Photon Condensation

abstract: In spite of decades of work it has remained unclear whether or not superradiant quantum phases, referred to here as photon condensates, can occur in equilibrium. In this Letter, we first show that when a non-relativistic quantum many-body system is coupled to a cavity field, gauge invariance forbids photon condensation. We then present a microscopic theory of the cavity quantum electrodynamics of an extended Falicov-Kimball model, showing that, in agreement with the general theorem, its insulating ferroelectric and exciton condensate phases are not altered by the cavity and do not support photon condensation.


title: Solving polyhedral d.c. optimization problems via concave minimization

abstract: The problem of minimizing the difference of two convex functions is called polyhedral d.c. optimization problem if at least one of the two component functions is polyhedral. We characterize the existence of global optimal solutions of polyhedral d.c. optimization problems. This result is used to show that, whenever the existence of an optimal solution can be certified, polyhedral d.c. optimization problems can be solved by certain concave minimization algorithms. No further assumptions are necessary in case of the first component being polyhedral and just some mild assumptions to the first component are required for the case where the second component is polyhedral. In case of both component functions being polyhedral, we obtain a primal and dual existence test and a primal and dual solution procedure. Numerical examples are discussed.


title: A Novel Demodulation and Estimation Algorithm for Blackout Communication: Extract Principal Components with Deep Learning

abstract: For reentry or near space communication, owing to the influence of the time-varying plasma sheath channel environment, the received IQ baseband signals are severely rotated on the constellation. Researches have shown that the frequency of electron density varies from 20kHz to 100 kHz which is on the same order as the symbol rate of most TT\&C communication systems and a mass of bandwidth will be consumed to track the time-varying channel with traditional estimation. In this paper, motivated by principal curve analysis, we propose a deep learning (DL) algorithm which called symmetric manifold network (SMN) to extract the curves on the constellation and classify the signals based on the curves. The key advantage is that SMN can achieve joint optimization of demodulation and channel estimation. From our simulation results, the new algorithm significantly reduces the symbol error rate (SER) compared to existing algorithms and enables accurate estimation of fading with extremely high bandwith utilization rate.


title: Exploring the solution landscape enables more reliable network community detection

abstract: To understand how a complex system is organized and functions, researchers often identify communities in the system's network of interactions. Because it is practically impossible to explore all solutions to guarantee the best one, many community-detection algorithms rely on multiple stochastic searches. But for a given combination of network and stochastic algorithm, how many searches are sufficient to find a solution that is good enough? The standard approach is to pick a reasonably large number of searches and select the network partition with the highest quality or derive a consensus solution based on all network partitions. However, if different partitions have similar qualities such that the solution landscape is degenerate, the single best partition may miss relevant information, and a consensus solution may blur complementary communities. Here we address this degeneracy problem with coarse-grained descriptions of the solution landscape. We cluster network partitions based on their similarity and suggest an approach to determine the minimum number of searches required to describe the solution landscape adequately. To make good use of all partitions, we also propose different ways to explore the solution landscape, including a significance clustering procedure. We test these approaches on synthetic networks and a real-world network using two contrasting community-detection algorithms: The algorithm that can identify more general structures requires more searches and networks with clearer community structures require fewer searches. We also find that exploring the coarse-grained solution landscape can reveal complementary solutions and enable more reliable community detection.


title: Indicating Asynchronous Multipliers

abstract: Multiplication is a basic arithmetic operation that is encountered in almost all general-purpose microprocessing and digital signal processing applications, and multiplication is physically realized using a multiplier. This paper discusses the physical implementation of indicating asynchronous multipliers, which are inherently elastic and are robust to timing, process, and parametric variations, and are modular. We consider the physical implementation of many weak-indication asynchronous multipliers using a 32/28-nm CMOS technology by adopting the array multiplier architecture. The multipliers are synthesized in a semi-custom ASIC-design style. The 4-phase return-to-zero (RTZ) and the 4-phase return-to-one (RTO) handshake protocols are considered for the data communication. The multipliers are realized using strong-indication or weak-indication full adders. Strong-indication 2-input AND function is used to generate the partial products in the case of both RTZ and RTO handshaking. The full adders considered are derived from different indicating asynchronous logic design methods. Among the multipliers considered, a weak-indication asynchronous multiplier utilizing the biased weak-indication full adder is found to be efficient in terms of the cycle time and the power-cycle time product with respect to both RTZ and RTO handshaking. Also, the 4-phase RTO handshake protocol is found to be preferable than the 4-phase RTZ handshake protocol for achieving enhanced optimizations in the design metrics.


title: Efficient posterior sampling for high-dimensional imbalanced logistic regression

abstract: High-dimensional data are routinely collected in many areas. We are particularly interested in Bayesian classification models in which one or more variables are imbalanced. Current Markov chain Monte Carlo algorithms for posterior computation are inefficient as $n$ and/or $p$ increase due to worsening time per step and mixing rates. One strategy is to use a gradient-based sampler to improve mixing while using data sub-samples to reduce per-step computational complexity. However, usual sub-sampling breaks down when applied to imbalanced data. Instead, we generalize piece-wise deterministic Markov chain Monte Carlo algorithms to include importance-weighted and mini-batch sub-sampling. These approaches maintain the correct stationary distribution with arbitrarily small sub-samples, and substantially outperform current competitors. We provide theoretical support and illustrate gains in simulated and real data applications.


title: Derivative Manipulation for General Example Weighting

abstract: Real-world large-scale datasets usually contain noisy labels and are imbalanced. Therefore, we propose derivative manipulation (DM), a novel and general example weighting approach for training robust deep models under these adverse conditions. DM has two main merits. First, loss function and example weighting are common techniques in the literature. DM reveals their connection (a loss function does example weighting) and is a replacement of both. Second, despite that a loss defines an example weighting scheme by its derivative, in the loss design, we need to consider whether it is differentiable. Instead, DM is more flexible by directly modifying the derivative so that a loss can be a non-elementary format too. Technically, DM defines an emphasis density function by a derivative magnitude function. DM is generic in that diverse weighting schemes can be derived. Extensive experiments on both vision and language tasks prove DM's effectiveness.


title: Tractable Approach to MmWaves Cellular Analysis with FSO Backhauling under Feedback Delay and Hardware Limitations

abstract: In this work, we investigate the performance of a millimeter waves (mmWaves) cellular system with free space optical (FSO) backhauling. MmWave channels are subject to Nakagami-m fading while the optical links experience the Double Generalized Gamma including atmospheric turbulence, path loss and the misalignment between the transmitter and the receiver aperture (also known as the pointing errors). The FSO model also takes into account the receiver detection technique which could be either heterodyne or intensity modulation and direct detection (IM/DD). Each user equipment (UE) has to be associated to one serving base station (BS) based on the received signal strength (RSS) or Channel State Information (CSI). We assume partial relay selection (PRS) with CSI based on mmWaves channels to select the BS associated with the highest received CSI. Each serving BS decodes the received signal for denoising, converts it into modulated FSO signal, and then forwards it to the data center. Thereby, each BS can be viewed as a decode-and-forward (DF) relay. In practice, the relay hardware suffers from nonlinear high power amplification (HPA) impairments which, substantially degrade the system performance. In this work, we will discuss the impacts of three common HPA impairments named respectively, soft envelope limiter (SEL), traveling wave tube amplifier (TWTA), and solid state power amplifier (SSPA). Novel closed-forms and tight upper bounds of the outage probability, the probability of error, and the achievable rate are derived. Capitalizing on these performance, we derive the high SNR asymptotes to get engineering insights into the system gain such as the diversity order.


title: CIF: Continuous Integrate-and-Fire for End-to-End Speech Recognition

abstract: In this paper, we propose a novel soft and monotonic alignment mechanism used for sequence transduction. It is inspired by the integrate-and-fire model in spiking neural networks and employed in the encoder-decoder framework consists of continuous functions, thus being named as: Continuous Integrate-and-Fire (CIF). Applied to the ASR task, CIF not only shows a concise calculation, but also supports online recognition and acoustic boundary positioning, thus suitable for various ASR scenarios. Several support strategies are also proposed to alleviate the unique problems of CIF-based model. With the joint action of these methods, the CIF-based model shows competitive performance. Notably, it achieves a word error rate (WER) of 2.86% on the test-clean of Librispeech and creates new state-of-the-art result on Mandarin telephone ASR benchmark.


title: Strong coupling constants and radiative decays of the heavy tensor mesons

abstract: In this article, we analyze tensor-vector-pseudoscalar(TVP) type of vertices $D_{2}^{*+}D^{+}\rho$, $D_{2}^{*0}D^{0}\rho$, $D_{2}^{*+}D^{+}\omega$, $D_{2}^{*0}D^{0}\omega$, $B_{2}^{*+}B^{+}\rho$, $B_{2}^{*0}B^{0}\rho$, $B_{2}^{*+}B^{+}\omega$, $B_{2}^{*0}B^{0}\omega$, $B_{s2}^{*}B_{s}\phi$ and $D_{s2}^{*}D_{s}\phi$, in the frame work of three point QCD sum rules. According to these analysis, we calculate their strong form factors which are used to fit into analytical functions of $Q^{2}$. Then, we obtain the strong coupling constants by extrapolating these strong form factors into deep time-like regions. As an application of this work, the coupling constants for radiative decays of these heavy tensor mesons are also calculated at the point of $Q^{2}=0$. With these coupling constants, we finally calculate the radiative decay widths of these tensor mesons.


title: New estimate for the multinomial Mittag-Leffler function

abstract: In this paper, a new estimate is obtained for the multinomial Mittag-Leffler function. This function was introduced by Yuri Luchko and Rudolfo Gorenflo as the fundamental solution of the ordinary differential equation of fractional discrete distributed order.


title: Variational Inequalities on Geodesic Spaces

abstract: In this paper, we introduce a new variational inequality problem(VIP) associated with nonself multivalued nonexpansive mappings in $CAT(0)$ spaces.


title: Service Shifting: a Paradigm for Service Resilience in 5G

abstract: Many real-world services can be provided through multiple virtual network function (VNF) graphs, corresponding, e.g., to high- and low-complexity variants of the service itself. Based on this observation, we extend the concept of service scaling in network orchestration to service shifting, i.e., upgrading or downgrading the VNF graph to use among those implementing the same service. Service shifting can serve multiple goals, from reducing operational costs to reacting to infrastructure problems. Furthermore, it enhances the flexibility of service-level agreements between network operators and third party content providers ("verticals). In this paper, we introduce and describe the service shifting concept, its benefits, and the associated challenges, with special reference to how service shifting can be integrated within real-world 5G architectures and implementations. We conclude that existing network orchestration frameworks can be easily extended to support service shifting, and its adoption has the potential to make 5G network slices easier for the operators to manage under high-load conditions, while still meeting the verticals' requirements.


title: HUMBO: Bridging Response Generation and Facial Expression Synthesis

abstract: Spoken dialogue systems that assist users to solve complex tasks such as movie ticket booking have become an emerging research topic in artificial intelligence and natural language processing areas. With a well-designed dialogue system as an intelligent personal assistant, people can accomplish certain tasks more easily via natural language interactions. Today there are several virtual intelligent assistants in the market; however, most systems only focus on textual or vocal interaction. In this paper, we present HUMBO, a system aiming at generating dialogue responses and simultaneously synthesize corresponding visual expressions on faces for better multimodal interaction. HUMBO can (1) let users determine the appearances of virtual assistants by a single image, and (2) generate coherent emotional utterances and facial expressions on the user-provided image. This is not only a brand new research direction but more importantly, an ultimate step toward more human-like virtual assistants.


title: Models of set theory in which separation theorem fails

abstract: We make use of a finite support product of the Jensen minimal forcing to define a model of set theory in which the separation theorem fails for projective classes $\mathbf\Sigma^1_n$ and $\mathbf\Pi^1_n$, for a given $n\ge3$.