title: Towards Minkowski space solutions of Dyson-Schwinger Equations through un-Wick rotation

abstract: The fermion self-energy is calculated from the rainbow-ladder truncation of the Dyson-Schwinger equation (DSE) in quantum electrodynamics (QED) for spacelike momenta and in the complex momentum plane close to the timelike region, both using Pauli-Villars regularization. Specifically, the DSE is solved in the complex momentum plane by rotating either the energy component of the four-momentum or the magnitude of Euclidean four-momentum to reach the timelike region in Minkowski space. The coupling constant is appropriately chosen to ensure the singularities of the fermion propagator are located in the timelike region while producing significant differences from the perturbative solutions. For simplicity, we choose Feynman gauge, but the method is applicable in other covariant gauges as well. We demonstrate that the approximate spectral representation based on the fermion self-energy near the timelike region is consistent with the solution of the DSE directly in the Euclidean space.


title: Modeling elastic properties of polystyrene through coarse-grained molecular dynamics simulations

abstract: This paper presents an extended coarse-grained investigation of the elastic properties of polystyrene. In particular, we employ the well-known MARTINI force field and its modifications to perform extended molecular dynamics simulations at the $\mu$s timescale, which take slow relaxation processes of polystyrene into account, such that the simulations permit analyzing the bulk modulus, the shear modulus, and the Poisson ratio. We show that through the iterative modification of MARTINI force field parameters it turns out to be possible to affect the shear modulus and the bulk modulus of the system, making them closer to those values reported in the experiment.


title: The far-infrared polarization spectrum of Rho Ophiuchi A from HAWC+/SOFIA observations

abstract: We report on polarimetric maps made with HAWC+/SOFIA toward Rho Oph A, the densest portion of the Rho Ophiuchi molecular complex. We employed HAWC+ bands C (89 $\mu$m) and D (154 $\mu$m). The slope of the polarization spectrum was investigated by defining the quantity R_DC = p_D/p_C, where p_C and p_D represent polarization degrees in bands C and D, respectively. We find a clear correlation between R_DC and the molecular hydrogen column density across the cloud. A positive slope (R_DC > 1) dominates the lower density and well illuminated portions of the cloud, that are heated by the high mass star Oph S1, whereas a transition to a negative slope (R_DC < 1) is observed toward the denser and less evenly illuminated cloud core. We interpret the trends as due to a combination of: (1) Warm grains at the cloud outskirts, which are efficiently aligned by the abundant exposure to radiation from Oph S1, as proposed in the radiative torques theory; and (2) Cold grains deep in the cloud core, which are poorly aligned due to shielding from external radiation. To assess this interpretation, we developed a very simple toy model using a spherically symmetric cloud core based on Herschel data, and verified that the predicted variation of R_DC is consistent with the observations. This result introduces a new method that can be used to probe the grain alignment efficiency in molecular clouds, based on the analysis of trends in the far-infrared polarization spectrum.


title: A microscopic model for inflation from supersymmetry breaking

abstract: We have proposed recently a framework for inflation driven by supersymmetry breaking with the inflaton being a superpartner of the goldstino, that avoids the main problems of supergravity inflation, allowing for: naturally small slow-roll parameters, small field initial conditions, absence of a (pseudo)scalar companion of the inflation, and a nearby minimum with tuneable cosmological constant. It contains a chiral multiplet charged under a gauged R-symmetry which is restored at the maximum of the scalar potential with a plateau where inflation takes place. The effective field theory relies on two phenomenological parameters corresponding to corrections to the K\"ahler potential up to second order around the origin. The first guarantees the maximum at the origin and the second allows the tuning of the vacuum energy between the F- and D-term contributions. Here, we provide a microscopic model leading to the required effective theory. It is a Fayet-Iliopoulos model with two charged chiral multiplets under a second U(1) R-symmetry coupled to supergravity. In the Brout-Englert-Higgs phase of this U(1), the gauge field becomes massive and can be integrated out in the limit of small supersymmetry breaking scale. In this work, we perform this integration and we show that there is a region of parameter space where the effective supergravity realises our proposal of small field inflation from supersymmetry breaking consistently with observations and with a minimum of tuneable energy that can describe the present phase of our Universe.


title: Chattering-Free Implementation of Continuous Terminal Algorithm with Implicit Euler Method

abstract: This paper proposes an efficient implementation for a continuous terminal algorithm (CTA). Although CTA is a continuous version of the famous twisting algorithm (TA), the conventional implementations of this CTA still suffer from chattering, especially when the gains and the time-step sizes are selected very large. The proposed implementation is based on an implicit Euler method and it totally suppresses the chattering. The proposed implementation is compared with the conventional explicit Euler implementation through simulations. It shows that the proposed implementation is very efficient and the chattering is suppressed both in the control input and output.


title: From Specifications to Behavior: Maneuver Verification in a Semantic State Space

abstract: To realize a market entry of autonomous vehicles in the foreseeable future, the behavior planning system will need to abide by the same rules that humans follow. Product liability cannot be enforced without a proper solution to the approval trap. In this paper, we define a semantic abstraction of the continuous space and formalize traffic rules in linear temporal logic (LTL). Sequences in the semantic state space represent maneuvers a high-level planner could choose to execute. We check these maneuvers against the formalized traffic rules using runtime verification. By using the standard model checker NuSMV, we demonstrate the effectiveness of our approach and provide runtime properties for the maneuver verification. We show that high-level behavior can be verified in a semantic state space to fulfill a set of formalized rules, which could serve as a step towards safety of the intended functionality.


title: Phase transition in PCA with missing data: Reduced signal-to-noise ratio, not sample size!

abstract: How does missing data affect our ability to learn signal structures? It has been shown that learning signal structure in terms of principal components is dependent on the ratio of sample size and dimensionality and that a critical number of observations is needed before learning starts (Biehl and Mietzner, 1993). Here we generalize this analysis to include missing data. Probabilistic principal component analysis is regularly used for estimating signal structures in datasets with missing data. Our analytic result suggests that the effect of missing data is to effectively reduce signal-to-noise ratio rather than - as generally believed - to reduce sample size. The theory predicts a phase transition in the learning curves and this is indeed found both in simulation data and in real datasets.


title: On The S-Matrix of Ising Field Theory in Two Dimensions

abstract: We explore the analytic structure of the non-perturbative S-matrix in arguably the simplest family of massive non-integrable quantum field theories: the Ising field theory (IFT) in two dimensions, which may be viewed as the Ising CFT deformed by its two relevant operators, or equivalently, the scaling limit of the Ising model in a magnetic field. Our strategy is that of collider physics: we employ Hamiltonian truncation method (TFFSA) to extract the scattering phase of the lightest particles in the elastic regime, and combine it with S-matrix bootstrap methods based on unitarity and analyticity assumptions to determine the analytic continuation of the 2 to 2 S-matrix element to the complex s-plane. Focusing primarily on the "high temperature" regime in which the IFT interpolates between that of a weakly coupled massive fermion and the E8 affine Toda theory, we will numerically determine 3-particle amplitudes, follow the evolution of poles and certain resonances of the S-matrix, and exclude the possibility of unknown wide resonances up to reasonably high energies.


title: Nonparametric pricing and hedging of exotic derivatives

abstract: In the spirit of Arrow-Debreu, we introduce a family of financial derivatives that act as primitive securities in that exotic derivatives can be approximated by their linear combinations. We call these financial derivatives signature payoffs. We show that signature payoffs can be used to nonparametrically price and hedge exotic derivatives in the scenario where one has access to price data for other exotic payoffs. The methodology leads to a computationally tractable and accurate algorithm for pricing and hedging using market prices of a basket of exotic derivatives that has been tested on real and simulated market prices, obtaining good results.


title: On the explicit representation of the trace space $H^{\frac{3}{2}}$ and of the solutions to biharmonic Dirichlet problems on Lipschitz domains via multi-parameter Steklov problems

abstract: We consider the problem of describing the traces of functions in $H^2(\Omega)$ on the boundary of a Lipschitz domain $\Omega$ of $\mathbb R^N$, $N\geq 2$. We provide a definition of those spaces, in particular of $H^{\frac{3}{2}}(\partial\Omega)$, by means of Fourier series associated with the eigenfunctions of new multi-parameter biharmonic Steklov problems which we introduce with this specific purpose. These definitions coincide with the classical ones when the domain is smooth. Our spaces allow to represent in series the solutions to the biharmonic Dirichlet problem. Moreover, a few spectral properties of the multi-parameter biharmonic Steklov problems are considered, as well as explicit examples. Our approach is similar to that developed by G. Auchmuty for the space $H^1(\Omega)$, based on the classical second order Steklov problem.


title: Electromagnetic properties of the $d^*(2380)$ hexaquark

abstract: Experiments with intense photon and electron beams have the potential to provide access to nontrivial properties of the recently discovered $d^*(2380)$ hexaquark including its size, structure, magnetic moment, quadrupole and octupole deformations. In this paper we investigate the sensitivity of ongoing and planned experiments to various properties of the $d^*(2380)$, employing models based on both constituent quark and pion cloud frameworks. Our calculations indicate that for photoinduced reactions on the deuteron the $d^*(2380)$ is predominantly produced from the $D-wave$ component of the deuteron. We confirm earlier findings that the intrinsic quadrupole deformation of the $d^*(2380)$ should be small. We also demonstrate an ability to extract the $d^*(2380)$ magnetic moment and put constrains on the $d^*(2380)$ $M3/E2$ ratio.


title: The Noether charges of all analytic Lagrangians associated with a scale invariant action

abstract: Here we consider scale invariant dynamical systems within a classical particle description of Lagrangian mechanics. We begin by showing the condition under which a spatial and temporal scale transformation of such a system can lead to a symmetry by leaving the action unchanged. We then derive the form of all analytic Lagrangians that possess such a symmetry under change of scale. Finally, we write down the Noether charges of all analytic Lagrangians that are associated with a scale invariant action.


title: Robust axion insulator and Chern insulator phases in a two-dimensional antiferromagnetic topological insulator

abstract: The intricate interplay between nontrivial topology and magnetism in two-dimensional (2D) materials has led to the emergence of many novel phenomena and functionalities. An outstanding example is the quantum anomalous Hall (QAH) effect, which was realized in magnetically doped topological insulators (TIs) in the absence of magnetic field. Recently, the layered van der Waals compound MnBi2Te4 has been theoretically predicted and experimentally verified to be a TI with interlayer antiferromagnetic (AFM) order. It is a rare stoichiometric material with coexisting topology and magnetism, thus represents a perfect building block for complex topological-magnetic structures. Here we investigate the quantum transport behaviors of both bulk crystal and exfoliated MnBi2Te4 flakes in a field effect transistor geometry. In the 6 septuple layers (SLs) device tuned into the insulating regime, we observe a large longitudinal resistance and zero Hall plateau, which are characteristic of the axion insulator state. The robust axion insulator state occurs in zero magnetic field, over a wide magnetic field range, and at relatively high temperatures. Moreover, a moderate magnetic field drives a quantum phase transition from the axion insulator phase to a Chern insulator phase with zero longitudinal resistance and quantized Hall resistance h/e2 (h is the Plank constant and e is the elemental charge). These results pave the road for using even-number-SL MnBi2Te4 to realize the quantized topological magnetoelectric effect and axion electrodynamics in condensed matter systems.


title: Bulk properties of single crystals of the valence-unstable compound SmRh$_2$Si$_2$

abstract: We present the crystal growth as well as the structural, chemical and physical chracterization of SmRh$_2$Si$_2$ single crystals. Their ground state is antiferromagnetic, as indicated by the behaviour of the magnetic susceptibility and the specific heat at the second order phase transition observed at T$_{\rm N}$ = 64 K. The Sommerfeld coefficient is small and similar to that of LuRh$_2$Si$_2$ with $\gamma_0\approx$ J/(molK$^2$). Susceptibility measurements show no Curie-Weiss behaviour at high temperatures which is a consequence of the large Van-Vleck contribution of the excited multiplets of Sm$^{3+}$. Previous angle-resolved photoemission studies showed that at 10 K, the valence of the Sm ions is smaller than three at the surface as well as in the bulk, suggesting a possible Kondo screening of the Sm$^{3+}$ ions. This could not be observed in our thermodynamic and transport measurements.


title: On double q-Laplace transform and applications

abstract: We introduce four q-analogs of the double Laplace transform and prove some of their main properties. Next we show how they can be used to solve some q-functional equations and partial q-differential equations.


title: Inflationary scenario driven by type IV singularity in $f(T)$ gravity

abstract: In this paper, we investigate the effects of Type IV singularity through $f(T)$ gravity description of inflationary universe, where $T$ denotes the torsion scalar. With the Friedmann equations of the theory, we reconstruct a $f(T)$ model according to a given Hubble rate susceptible to describe the inflationary era near the type IV singularity. Moreover, we calculate the Hubble flow parameters in order to determine the dynamical evolution of the cosmological system. The results show that some of the Hubble flow parameters are small near the Type IV singularity and become singular at Type IV Singularity, indicating that a dynamical instability of the cosmological system occurs a that point. This means that the dynamical cosmological evolution up to that point, ceases to be the final attractor since the system is abruptly interrupted. Furthermore, by considering the $f(T)$ trace anomaly equation and the slow-roll conditions, we deal with the de Sitter inflationary description of the reconstructed model. As results, the model leads to a conditional instability, view as the source of the graceful exit from inflation. Our theoretical $f(T)$ description based on slow-roll parameters not only confirms some observational data on spectral index and the scalar-to-tensor ratio from Planck data and BICEP$2$/Keck-Array data, but also shows the property of $f(T)$ gravity in describing the early and late-time evolution of our universe.


title: Internet of Intelligence: The Collective Advantage for Advancing Communications and Intelligence

abstract: The fifth-generation cellular networks (5G) has boosted the unprecedented convergence between the information world and physical world. On the other hand, empowered with the enormous amount of data and information, artificial intelligence (AI) has been universally applied and pervasive AI is believed to be an integral part of the six-generation cellular networks (6G). Consequently, benefiting from the advancement in communication technology and AI, we boldly argue that the conditions for collective intelligence (CI) will be mature in the 6G era and CI will emerge among the widely connected beings and things. Afterwards, we highlight the potential huge impact of CI on both communications and intelligence. In particular, we introduce a regular language (i.e., the information economy metalanguage) supporting the future collective communications to augment human intelligence and explain its potential applications in naming Internet information and pushing information centric networks forward. Meanwhile, we propose a stigmergy-based federated collective intelligence and demonstrate its achievement in a simulated scenario where the agents collectively work together to form a pattern through simple indirect communications. In a word, CI could advance both communications and intelligence.


title: A family of higher-order single layer plate models meeting $C^0_z$ -- requirements for arbitrary laminates

abstract: In the framework of displacement-based equivalent single layer (ESL) plate theories for laminates, this paper presents a generic and automatic method to extend a basis higher-order shear deformation theory (polynomial, trigonometric, hyperbolic, ...) to a multilayer $C^0_z$ higher-order shear deformation theory. The key idea is to enhance the description of the cross-sectional warping: the odd high-order $C^1_z$ function of the basis model is replaced by one odd and one even high-order function and including the characteristic zig-zag behaviour by means of piecewise linear functions. In order to account for arbitrary lamination schemes, four such piecewise continuous functions are considered. The coefficients of these four warping functions are determined in such a manner that the interlaminar continuity as well as the homogeneity conditions at the plate's top and bottom surfaces are {\em a priori} exactly verified by the transverse shear stress field. These $C_z^0$ ESL models all have the same number of DOF as the original basis HSDT. Numerical assessments are presented by referring to a strong-form Navier-type solution for laminates with arbitrary stacking sequences as well for a sandwich plate. In all practically relevant configurations for which laminated plate models are usually applied, the results obtained in terms of deflection, fundamental frequency and local stress response show that the proposed zig-zag models give better results than the basis models they are issued from.


title: On some average properties of convex mosaics

abstract: In a convex mosaic in $\mathbb{R} ^d$ we denote the average number of vertices of a cell by $\bar v$ and the average number of cells meeting at a node by $\bar n$. Except for the $d=2$ planar case, there is no known formula prohibiting points in any range of the $[\bar n, \bar v]$ plane (except for the unphysical $\bar n, \bar v < d+1$ strips). Nevertheless, in $d=3$ dimensions if we plot the 28 points corresponding to convex uniform honeycombs, the 28 points corresponding to their duals and the 3 points corresponding to Poisson-Voronoi, Poisson-Delaunay and random hyperplane mosaics, then these points appear to accumulate on a narrow strip of the $[\bar n, \bar v]$ plane. To explore this phenomenon we introduce the harmonic degree $\bar h= \bar n\bar v/(\bar n + \bar v)$ of a $d$-dimensional mosaic. We show that the observed narrow strip on the $[\bar n, \bar v]$ plane corresponds to a narrow range of $\bar h$. We prove that for every $\bar h^{\star} \in (d, 2^{d-1}]$ there exists a convex mosaic with harmonic degree $\bar h^{\star}$ and we conjecture that there exist no $d$-dimensional mosaic outside this range. We also show that the harmonic degree has deeper geometric interpretations. In particular, in case of Euclidean mosaics it is related to the average of the sum of vertex angles and their polars, and in case of 2D mosaics, it is related to the average excess angle.


title: High-frequency dynamics of active region moss as observed by IRIS

abstract: The high temporal, spatial and spectral resolution of Interface Region Imaging Spectrograph (IRIS) has provided new insights into the understanding of different small-scale processes occurring at the chromospheric and transition region (TR) heights. We study the dynamics of high-frequency oscillations of active region (AR 2376) moss as recorded by simultaneous imaging and spectral data of IRIS. Wavelet transformation, power maps generated from slit-jaw images in the Si IV 1400\AA passband, and sit-and-stare spectroscopic observations of the Si IV 1403\AA spectral line reveal the presence of high-frequency oscillations with $\sim$1-2 minute periods in the bright moss regions. The presence of such low periodicities is further confirmed by intrinsic mode functions (IMFs) as obtained by the empirical mode decomposition (EMD) technique. We find evidence of the presence of slow waves and reconnection-like events, and together they cause the high-frequency oscillations in the bright moss regions.


title: Algorithm for the reconstruction of dynamic objects in CT-scanning using optical flow

abstract: Computed Tomography is a powerful imaging technique that allows non-destructive visualization of the interior of physical objects in different scientific areas. In traditional reconstruction techniques the object of interest is mostly considered to be static, which gives artefacts if the object is moving during the data acquisition. In this paper we present a method that, given only scan results of multiple successive scans, can estimate the motion and correct the CT-images for this motion assuming that the motion field is smooth over the complete domain using optical flow. The proposed method is validated on simulated scan data. The main contribution is that we show we can use the optical flow technique from imaging to correct CT-scan images for motion.


title: KnowBias: A Novel AI Method to Detect Polarity in Online Content

abstract: We propose a novel training and inference method for detecting political bias in long text content such as newspaper opinion articles. Obtaining long text data and annotations at sufficient scale for training is difficult, but it is relatively easy to extract political polarity from tweets through their authorship; as such, we train on tweets and perform inference on articles. Universal sentence encoders and other existing methods that aim to address this domain-adaptation scenario deliver inaccurate and inconsistent predictions on articles, which we show is due to a difference in opinion concentration between tweets and articles. We propose a two-step classification scheme that utilizes a neutral detector trained on tweets to remove neutral sentences from articles in order to align opinion concentration and therefore improve accuracy on that domain. We evaluate our two-step approach using a variety of test suites, including a set of tweets and long-form articles where annotations were crowd-sourced to decrease label noise, measuring accuracy and Spearman-rho rank correlation. In practice, KnowBias achieves a high accuracy of 86 (rho = 0.65) on these tweets and 75 (rho = 0.69) on long-form articles. While we validate our method on political bias, our scheme is general and can be readily applied to other settings, where there exist such domain mismatches between source and target domains. Our implementation is available for public use at https://knowbias.ml.


title: A note on Modified Third-order Jacobsthal numbers

abstract: Modified third-order Jacobsthal sequence is defined in this study. Some properties involving this sequence, including the Binet-style formula and the generating function are also presented.


title: Meta Distribution for Downlink NOMA in Cellular Networks with 3GPP-inspired User Ranking

abstract: This paper presents the meta distribution analysis of the downlink two-user non-orthogonal multiple access (NOMA) in cellular networks. We propose a novel user ranking technique wherein the users from the cell center (CC) and cell edge (CE) regions are paired for the non-orthogonal transmission. Inspired by how users are partitioned in 3GPP cellular models, the CC and CE users are characterized based on the mean powers received from the serving and the dominant interfering BSs. We demonstrate that the proposed technique ranks users in an accurate order with distinct link qualities, which is imperative for the performance of NOMA system. The exact moments of the meta distributions for the CC and CE users under NOMA and orthogonal multiple access (OMA) are derived. In addition, we provide tight beta distribution approximations for the meta distributions and exact expressions of the mean local delays and the cell throughputs for the NOMA and OMA cases. To the best of our knowledge, this is the first comprehensive analysis of NOMA using stochastic geometry with 3GPP-inspired user ranking scheme that depends upon both of the link qualities from the serving and dominant interfering BSs.


title: Pseudo-Triangle Visibility Graph: Characterization and Reconstruction

abstract: The visibility graph of a simple polygon represents visibility relations between its vertices. Knowing the correct order of the vertices around the boundary of a polygon and its visibility graph, it is an open problem to locate the vertices in a plane in such a way that it will be consistent with this visibility graph. This problem has been solved for special cases when we know that the target polygon is a {\it tower} or a {\it spiral}. Knowing that a given visibility graph belongs to a simple polygon with at most three concave chains on its boundary, a {\it pseuodo-triangle}, we propose a linear time algorithm for reconstructing one of its corresponding polygons. Moreover, we introduce a set of necessary and sufficient properties for characterizing visibility graphs of pseudo-triangles and propose polynomial algorithms for checking these properties.


title: Optimal execution with rough path signatures

abstract: We present a method for obtaining approximate solutions to the problem of optimal execution, based on a signature method. The framework is general, only requiring that the price process is a geometric rough path and the price impact function is a continuous function of the trading speed. Following an approximation of the optimisation problem, we are able to calculate an optimal solution for the trading speed in the space of linear functions on a truncation of the signature of the price process. We provide strong numerical evidence illustrating the accuracy and flexibility of the approach. Our numerical investigation both examines cases where exact solutions are known, demonstrating that the method accurately approximates these solutions, and models where exact solutions are not known. In the latter case, we obtain favourable comparisons with standard execution strategies.


title: Comment on "R\'enyi entropy yields artifficial biases not in the data and incorrect updating due to the infinite-size data"

abstract: In their recent paper [Phys. Rev. E 99 (2019) 032134], T. Oikinomou and B. Bagci have argued that R\'enyi entropy is ill-suited for inference purposes because it is not consistent with the Shore{ Johnson axioms of statistical estimation theory. In this Comment we seek to clarify the latter statement by showing that there are several issues in Oikinomou{Bagci reasonings which lead to erroneous conclusions. When all these issues are properly accounted for, no violation of Shore- Johnson axioms is found.


title: Epicyclic oscillations in the Hartle-Thorne external geometry

abstract: The external Hartle-Thorne geometry, which describes the space-time outside a slowly-rotating compact star, is characterized by the gravitational mass $M$, angular momentum $J$ and quadrupole moment $Q$ of the star and gives a convenient description which, for the rotation frequencies of more than 95 % of known pulsars, is sufficiently accurate for most purposes. We focus here on the motion of particles in these space-times, presenting a detailed systematic analysis of the frequency properties of radial and vertical epicyclic motion and of orbital motion. Our investigation is motivated by X-ray observations of binary systems containing a rotating neutron star which is accreting matter from its binary companion. In these systems, twin high-frequency quasi-periodic oscillations are sometimes observed with a frequency ratio approaching $3:2$ or $5:4$ and these may be explained by models involving the orbital and epicyclic frequencies of quasi-circular geodesic motion. In our analysis, we use realistic equations of state for the stellar matter and proceed in a self-consistent way, following the Hartle-Thorne approach in calculating both the corresponding values of $Q$, $M$ and $J$ for the stellar model and the properties of the surrounding spacetime. Our results are then applied to a range of geodetical models for QPOs. A key feature of our study is that it implements the recently-discovered universal relations among neutron star parameters so that the results can be directly used for models with different masses $M$, radii $R$ and rotational frequencies $f_\mathrm{rot}$.


title: Static Pricing: Universal Guarantees for Reusable Resources

abstract: We consider a fundamental pricing model in which a fixed number of units of a reusable resource are used to serve customers. Customers arrive to the system according to a stochastic process and upon arrival decide whether or not to purchase the service, depending on their willingness-to-pay and the current price. The service time during which the resource is used by the customer is stochastic and the firm may incur a service cost. This model represents various markets for reusable resources such as cloud computing, shared vehicles, rotable parts, and hotel rooms. In the present paper, we analyze this pricing problem when the firm attempts to maximize a weighted combination of three central metrics: profit, market share, and service level. Under Poisson arrivals, exponential service times, and standard assumptions on the willingness-to-pay distribution, we establish a series of results that characterize the performance of static pricing in such environments. In particular, while an optimal policy is fully dynamic in such a context, we prove that a static pricing policy simultaneously guarantees 78.9% of the profit, market share, and service level from the optimal policy. Notably, this result holds for any service rate and number of units the firm operates. Our proof technique relies on a judicious construction of a static price that is derived directly from the optimal dynamic pricing policy. In the special case where there are two units and the induced demand is linear, we also prove that the static policy guarantees 95.5% of the profit from the optimal policy. Our numerical findings on a large testbed of instances suggest that the latter result is quite indicative of the profit obtained by the static pricing policy across all parameters.


title: Global weak solutions for quantum isothermal fluids

abstract: We construct global weak solutions to isothermal quantum Navier-Stokes equations, with or without Korteweg term, in the whole space of dimension at most three. Instead of working on the initial set of unknown functions, we consider an equivalent reformulation, based on a time-dependent rescaling, that we introduced in a previous paper to study the large time behavior, and which provides suitable a priori estimates, as opposed to the initial formulation where the potential energy is not signed. We proceed by working on tori whose size eventually becomes infinite. On each fixed torus, we consider the equations in the presence of drag force terms. Such equations are solved by regularization, and the limit where the drag force terms vanish is treated by resuming the notion of renormalized solution developed by I. Lacroix-Violet and A. Vasseur. We also establish global existence of weak solutions for the isothermal Korteweg equation (no viscosity), when initial data are well-prepared, in the sense that they stem from a Madelung transform.


title: Privacy of Agents' Costs in Peer-to-Peer Distributed Optimization

abstract: In this paper, we propose a protocol that preserves (statistical) privacy of agents' costs in peer-to-peer distributed optimization against a passive adversary that corrupts certain number of agents in the network. The proposed protocol guarantees privacy of the affine parts of the honest agents' costs (agents that are not corrupted by the adversary) if the corrupted agents do not form a vertex cut of the underlying communication topology. Therefore, if the (passive) adversary corrupts at most t arbitrary agents in the network then the proposed protocol can preserve the privacy of the affine parts of the remaining honest agents' costs if the communication topology has (t+1)-connectivity. The proposed privacy protocol is a composition of a privacy mechanism (we propose) with any (non-private) distributed optimization algorithm.


title: The effects of imitation dynamics on vaccination behaviours in SIR-network model

abstract: We present a series of SIR-network models, extended with a game-theoretic treatment of imitation dynamics which result from regular population mobility across residential and work areas and the ensuing interactions. Each considered SIR-network model captures a class of vaccination behaviours influenced by epidemic characteristics, interaction topology, and imitation dynamics. Our focus is the eventual vaccination coverage, produced under voluntary vaccination schemes, in response to these varying factors. Using the next generation matrix method, we analytically derive and compare expressions for the basic reproduction number $R_0$ for the proposed SIR-network models. Furthermore, we simulate the epidemic dynamics over time for the considered models, and show that if individuals are sufficiently responsive towards the changes in the disease prevalence, then the more expansive travelling patterns encourage convergence to the endemic, mixed equilibria. On the contrary, if individuals are insensitive to changes in the disease prevalence, we find that they tend to remain unvaccinated in all the studied models. Our results concur with earlier studies in showing that residents from highly connected residential areas are more likely to get vaccinated. We also show that the existence of the individuals committed to receiving vaccination reduces $R_0$ and delays the disease prevalence, and thus is essential to containing epidemics.


title: Rank-one isometries of CAT(0) cube complexes and their centralisers

abstract: If $G$ is a group acting geometrically on a CAT(0) cube complex $X$ and if $g \in G$ is an infinite-order element, we show that exactly one of the following situations occurs: (i) $g$ defines a rank-one isometry of $X$; (ii) the stable centraliser $SC_G(g)= \{ h \in G \mid \exists n \geq 1, [h,g^n]=1 \}$ of $g$ is not virtually cyclic; (iii) $\mathrm{Fix}_Y(g^n)$ is finite for every $n \geq 1$ and the sequence $(\mathrm{Fix}_Y(g^n))$ takes infinitely many values, where $Y$ is a cubical component of the Roller boundary of $X$ which contains an endpoint of an axis of $g$. We also show that (iii) cannot occur in several cases, providing a purely algebraic characterisation of rank-one isometries.


title: Composition operators on Sobolev spaces and Ball's classes

abstract: In this paper we study geometric aspects of Ball's classes in the context of nonlinear elasticity problems. The suggested approach is based on the characterization of Ball's classes $A_{q,q'}(\Omega)$ in terms of composition operators on Sobolev spaces. This characterization allows us to obtain the volume compression (distortion) estimates of topological mappings of Ball's classes. We prove also that Sobolev homeomorphisms of Ball's classes which possess the Luzin $N$-property are absolutely continuous with respect to capacity.


title: The 2019 DAVIS Challenge on VOS: Unsupervised Multi-Object Segmentation

abstract: We present the 2019 DAVIS Challenge on Video Object Segmentation, the third edition of the DAVIS Challenge series, a public competition designed for the task of Video Object Segmentation (VOS). In addition to the original semi-supervised track and the interactive track introduced in the previous edition, a new unsupervised multi-object track will be featured this year. In the newly introduced track, participants are asked to provide non-overlapping object proposals on each image, along with an identifier linking them between frames (i.e. video object proposals), without any test-time human supervision (no scribbles or masks provided on the test video). In order to do so, we have re-annotated the train and val sets of DAVIS 2017 in a concise way that facilitates the unsupervised track, and created new test-dev and test-challenge sets for the competition. Definitions, rules, and evaluation metrics for the unsupervised track are described in detail in this paper.


title: A note on torsion subgroups of groups acting on finite-dimensional CAT(0) cube complexes

abstract: In this article, we state and prove a general criterion which prevents some groups from acting properly on finite-dimensional CAT(0) cube complexes. As an application, we show that, for every non-trivial finite group $F$, the lamplighter group $F \wr \mathbb{F}_2$ over a free group does not act properly on a finite-dimensional CAT(0) cube complex (although it acts properly on a infinite-dimensional CAT(0) cube complex). We also deduce from this general criterion that, roughly speaking, given a group $G$ acting on a CAT(0) cube complex of finite dimension and an infinite torsion subgroup $L \leq G$, either the normaliser $N_G(L)$ is close to be free abelian or, for every $k \geq 1$, $N_G(L)$ contains a non-abelian free subgroup commuting with a subgroup of $L$ of size $\geq k$.


title: Measurement of azimuthal dependent muon flux by 2\,m\,$\times$\,2\,m RPC stack at IICHEP-Madurai

abstract: The proposed 50 \,kton\, INO-ICAL experiment is an upcoming underground high energy physics experiment planned to be commissioned at Bodi hills near Theni, India ($9^{\circ}57'N$, $77^{\circ}16'E$) to study various properties of neutrino oscillations using atmospheric neutrinos produced by extensive air shower phenomenon. The resistive plate chamber has been chosen as the active detector element for the proposed INO-ICAL. An experimental setup consisting a stack of 12 layers of glass resistive plate chambers each with a size of $\sim$2\,m$\times$2\,m has been built at IICHEP, Madurai to study the performance and long-term stability of the resistive plate chambers(RPCs) commercially produced in large quantities by the Indian industries as well as its electronics for the front-end and subsequent signal processing. In this study, the azimuthal dependence of muon flux at various zenith angles at Madurai (9$^{\circ}$56'N, 78$^{\circ}$00'E and at an altitude of 160\,m above mean sea level) has been presented along with the comparison of Monte Carlo from CORSIKA and HONDA predictions.


title: Monopole polarization of C60 fullerene shell by an electric charge in its center

abstract: The spatial distributions of electric charges forming the C60 shell have been analyzed with the Poisson equation. It has been shown that the modification of formulas for the rectangular-potential-well as a model potential of the C60 shell by means of addition to them the Coulomb-potential-like terms does not describe the monopole polarization of the shell by the electric charge Z in the center of the shell. The phenomenological potentials simulating the C60 shell potential should belong to a family of potentials with a non-flat bottom. In the paper some model potentials have been proposed and discussed. It has been shown that by varying the semithiknesses of these potential wells we could describe the various degrees of the monopole polarization of the C60 shell that due to shifting of collectivized electrons of the shell relative to the rigid positive carcass of C60 fullerene. Constructed here, the model potentials for the C60 shell can be used to describe the processes of elastic electron scattering by endohedral A+@C60 positive ions.


title: From Video Game to Real Robot: The Transfer between Action Spaces

abstract: Deep reinforcement learning has proven to be successful for learning tasks in simulated environments, but applying same techniques for robots in real-world domain is more challenging, as they require hours of training. To address this, transfer learning can be used to train the policy first in a simulated environment and then transfer it to physical agent. As the simulation never matches reality perfectly, the physics, visuals and action spaces by necessity differ between these environments to some degree. In this work, we study how general video games can be directly used instead of fine-tuned simulations for the sim-to-real transfer. Especially, we study how the agent can learn the new action space autonomously, when the game actions do not match the robot actions. Our results show that the different action space can be learned by re-training only part of neural network and we obtain above 90% mean success rate in simulation and robot experiments.


title: Egocentric Hand Track and Object-based Human Action Recognition

abstract: Egocentric vision is an emerging field of computer vision that is characterized by the acquisition of images and video from the first person perspective. In this paper we address the challenge of egocentric human action recognition by utilizing the presence and position of detected regions of interest in the scene explicitly, without further use of visual features. Initially, we recognize that human hands are essential in the execution of actions and focus on obtaining their movements as the principal cues that define actions. We employ object detection and region tracking techniques to locate hands and capture their movements. Prior knowledge about egocentric views facilitates hand identification between left and right. With regard to detection and tracking, we contribute a pipeline that successfully operates on unseen egocentric videos to find the camera wearer's hands and associate them through time. Moreover, we emphasize on the value of scene information for action recognition. We acknowledge that the presence of objects is significant for the execution of actions by humans and in general for the description of a scene. To acquire this information, we utilize object detection for specific classes that are relevant to the actions we want to recognize. Our experiments are targeted on videos of kitchen activities from the Epic-Kitchens dataset. We model action recognition as a sequence learning problem of the detected spatial positions in the frames. Our results show that explicit hand and object detections with no other visual information can be relied upon to classify hand-related human actions. Testing against methods fully dependent on visual features, signals that for actions where hand motions are conceptually important, a region-of-interest-based description of a video contains equally expressive information with comparable classification performance.


title: Analysis of metastable behavior via solutions of Poisson equations

abstract: We herein review the recent progress on the study of metastability based on the analysis of solutions of Poisson equations related to the generators of the underlying metastable dynamics. This review paper is based on the joint work with Claudio Landim [24] and Fraydoun Rezakhanlou [26].


title: Sparsity Double Robust Inference of Average Treatment Effects

abstract: Many popular methods for building confidence intervals on causal effects under high-dimensional confounding require strong "ultra-sparsity" assumptions that may be difficult to validate in practice. To alleviate this difficulty, we here study a new method for average treatment effect estimation that yields asymptotically exact confidence intervals assuming that either the conditional response surface or the conditional probability of treatment allows for an ultra-sparse representation (but not necessarily both). This guarantee allows us to provide valid inference for average treatment effect in high dimensions under considerably more generality than available baselines. In addition, we showcase that our results are semi-parametrically efficient.


title: Human Action Recognition with Deep Temporal Pyramids

abstract: Deep convolutional neural networks (CNNs) are nowadays achieving significant leaps in different pattern recognition tasks including action recognition. Current CNNs are increasingly deeper, data-hungrier and this makes their success tributary of the abundance of labeled training data. CNNs also rely on max/average pooling which reduces dimensionality of output layers and hence attenuates their sensitivity to the availability of labeled data. However, this process may dilute the information of upstream convolutional layers and thereby affect the discrimination power of the trained representations, especially when the learned categories are fine-grained. In this paper, we introduce a novel hierarchical aggregation design, for final pooling, that controls granularity of the learned representations w.r.t the actual granularity of action categories. Our solution is based on a tree-structured temporal pyramid that aggregates outputs of CNNs at different levels. Top levels of this hierarchy are dedicated to coarse categories while deep levels are more suitable to fine-grained ones. The design of our temporal pyramid is based on solving a constrained minimization problem whose solution corresponds to the distribution of weights of different representations in the temporal pyramid. Experiments conducted using the challenging UCF101 database show the relevance of our hierarchical design w.r.t other related methods.


title: On the amount of peculiar velocity field information in supernovae from LSST and beyond

abstract: Peculiar velocities introduce correlations between supernova magnitudes, which implies that the supernova Hubble diagram residual carries information on both the matter power spectrum at the present time and its growth rate. By a combination of brute-force exact computations of likelihoods and Fisher matrix analysis, we investigate how this information, which comes from supernova data only, depends on different survey parameters such as covered area, depth, and duration. We show that, for a survey like The Rubin Observatory Legacy Survey of Space and Time (LSST) and a fixed redshift depth, the same observing time provides the same cosmological information whether one observes a larger area, or a smaller area during more years. We also show that although the peculiar velocity information is peaked in the range $z \in [0, 0.2]$, there is yet plenty of information in $z \in [0.2, 0.5]$, and for very high supernova number densities there is even more information in the latter range. We conclude that, after 5 years, LSST could measure $\sigma_8$ with an uncertainty of 0.17 with the current strategy, and that this could be improved to 0.09 if the supernova completeness is improved to 20%. Moreover, we forecast results considering the extra parameter $\gamma$, and show that this creates a non-linear degeneracy with $\sigma_8$ that makes the Fisher matrix analysis inadequate. Finally, we discuss the possibility of achieving competitive results with the current Zwicky Transient Facility.


title: Pronounced structural crossover in supercritical water

abstract: There have been ample studies of the many phases of H2O in both its solid and low pressure liquid states, and the transitions between them. Using molecular dynamics simulations we address the hitherto unexplored deeply supercritical pressures, where no qualitative transitions are thought to take place and where all properties are expected to vary smoothly. On the basis of these simulations we predict that water at supercritical pressures undergoes a structural crossover across the Frenkel line at pressures as high as 45 times the critical pressure. This provides a new insight into the water phase diagram and establishes a link between the structural and dynamical properties of supercritical water. Specifically, the crossover is demonstrated by a sharp and pronounced at low pressures, and smooth at high pressures, signified by changes in the pair distribution functions and local coordination which coincide with the dynamical transition (the loss of all oscillatory molecular motion) at the Frenkel line on the phase diagram.


title: A quantized Riemann-Hilbert problem in Donaldson-Thomas theory

abstract: We introduce Riemann-Hilbert problems determined by refined Donaldson-Thomas theory. They involve piecewise holomorphic maps from the complex plane to the group of automorphisms of a quantum torus algebra. We study the simplest case in detail and use the Barnes double gamma function to construct a solution.


title: Fast approximation of the $p$-radius, matrix pressure or generalised Lyapunov exponent for positive and dominated matrices

abstract: If A_1,...,A_N are real square matrices then the p-radius, generalised Lyapunov exponent or matrix pressure is defined to be the asymptotic exponential growth rate of the sum $\sum_{i_1,\ldots,i_n=1}^N \|A_{i_n}\cdots A_{i_1}\|^p$, where p is a real parameter. Under its various names this quantity has been investigated for its applications to topics including wavelet regularity and refinement equations, fractal geometry and the large deviations theory of random matrix products. In this article we present a new algorithm for computing the p-radius under the hypothesis that the matrices are all positive, or more generally under the hypothesis that they satisfy a weaker condition called domination. This algorithm is based on interpreting the p-radius as the leading eigenvalue of a trace-class operator on a Hilbert space and estimating that eigenvalue via approximations to the Fredholm determinant of the operator. In this respect our method is closely related to the work of Z.-Q. Bai and M. Pollicott on computing the top Lyapunov exponent of a random matrix product. For pairs of positive matrices of low dimension our method yields substantial improvements over existing methods.


title: Ultra-High Performance of Nano-Engineered Graphene-Based Natural Jute Fiber Composites

abstract: Natural fibers composites are considered as sustainable alternative to synthetic composites due to their environmental and economic benefits. However, they suffer from poor mechanical and interfacial properties due to a random fiber orientation and weak fiber-matrix interface. Here we report nano-engineered graphene-based natural jute fiber preforms with a new fiber architecture (NFA) which significantly improves their properties and performances. Our graphene-based NFA of jute fiber perform enhances Young modulus of jute-epoxy composites by ~324% and tensile strength by ~110% more than untreated jute fiber composites, by arranging fibers in parallel direction through individualisation and nano surface engineering with graphene derivatives. This could potentially lead to manufacturing of high performance natural alternatives to synthetic composites in various stiffness driven high performance applications.


title: A Framework for Predicting Impactability of Healthcare Interventions Using Machine Learning Methods, Administrative Claims, Sociodemographic and App Generated Data

abstract: It is not clear how to target patients who are most likely to benefit from digital care management programs ex-ante, a shortcoming of current risk score based approaches. This study focuses on defining impactability by identifying those patients most likely to benefit from technology enabled care management, delivered through a digital health platform, including a mobile app and clinician web dashboard. Anonymized insurance claims data were used from a commercially insured population across several U.S. states and combined with inferred sociodemographic data and data derived from the patient-held mobile application itself. Our approach involves the creation of two models and the comparative analysis of the methodologies and performances therein. We first train a cost prediction model to calculate the differences in predicted (without intervention) versus actual (with onboarding onto digital health platform) healthcare expenditure for patients (N = 1,242). This enables the classification of impactability if differences in predicted versus actual costs meet a predetermined threshold. A random forest machine learning model was then trained to accurately categorize new patients as impactable versus not impactable, reaching an overall accuracy of 71.9%. We then modify these parameters through grid search to define the parameters that deliver optimal performance. A roadmap is proposed to iteratively improve the performance of the model. As the number of newly onboarded patients and length of use continues to increase, the accuracy of predicting impactability will improve commensurately as more advanced machine learning techniques such as deep learning become relevant. This approach is generalizable to analyzing the impactability of any intervention and is a key component of realising closed loop feedback systems for continuous improvement in healthcare.


title: Hybrid Mortality Prediction using Multiple Source Systems

abstract: The use of artificial intelligence in clinical care to improve decision support systems is increasing. This is not surprising since, by its very nature, the practice of medicine consists of making decisions based on observations from different systems both inside and outside the human body. In this paper, we combine three general systems (ICU, diabetes, and comorbidities) and use them to make patient clinical predictions. We use an artificial intelligence approach to show that we can improve mortality prediction of hospitalized diabetic patients. We do this by utilizing a machine learning approach to select clinical input features that are more likely to predict mortality. We then use these features to create a hybrid mortality prediction model and compare our results to non-artificial intelligence models. For simplicity, we limit our input features to patient comorbidities and features derived from a well-known mortality measure, the Sequential Organ Failure Assessment (SOFA).


title: Galaxy Learning -- A Position Paper

abstract: The recent rapid development of artificial intelligence (AI, mainly driven by machine learning research, especially deep learning) has achieved phenomenal success in various applications. However, to further apply AI technologies in real-world context, several significant issues regarding the AI ecosystem should be addressed. We identify the main issues as data privacy, ownership, and exchange, which are difficult to be solved with the current centralized paradigm of machine learning training methodology. As a result, we propose a novel model training paradigm based on blockchain, named Galaxy Learning, which aims to train a model with distributed data and to reserve the data ownership for their owners. In this new paradigm, encrypted models are moved around instead, and are federated once trained. Model training, as well as the communication, is achieved with blockchain and its smart contracts. Pricing of training data is determined by its contribution, and therefore it is not about the exchange of data ownership. In this position paper, we describe the motivation, paradigm, design, and challenges as well as opportunities of Galaxy Learning.


title: Self-similar Cauchy problems and generalized Mittag-Leffler functions

abstract: By observing that the fractional Caputo derivative can be expressed in terms of a multiplicative convolution operator, we introduce and study a class of such operators which also have the same self-similarity property as the Caputo derivative. We proceed by identifying a subclass which is in bijection with the set of Bernstein functions and we provide several representations of their eigenfunctions, expressed in terms of the corresponding Bernstein function, that generalize the Mittag-Leffler function. Each eigenfunction turns out to be the Laplace transform of the right-inverse of a non-decreasing self-similar Markov process associated via the so-called Lamperti mapping to this Bernstein function. Resorting to spectral theoretical arguments, we investigate the generalized Cauchy problems, defined with these self-similar multiplicative convolution operators. In particular, we provide both a stochastic representation, expressed in terms of these inverse processes and an explicit representation, given in terms of the generalized Mittag-Leffler functions, of the solution of these self-similar Cauchy problems.


title: Interpreting the distributions of FRB observables

abstract: Fast radio bursts (FRBs) are short-duration radio transients of unknown origin. Thus far, they have been blindly detected at millisecond timescales with dispersion measures (DMs) between 110--2600\,pc\,cm$^{-3}$. However, the observed pulse width, DM, and even brightness distributions depend strongly on the time and frequency resolution of the detection instrument. Spectral and temporal resolution also significantly affect FRB detection rates, similar to beam size and system-equivalent flux density (SEFD). I discuss the interplay between underlying FRB properties and instrumental response, and provide a generic formalism for calculating the \textit{observed} distributions of parameters given an intrinsic FRB distribution, focusing on pulse width and DM. I argue that if there exist many FRBs of duration $<<$\,1\,ms (as with giant pulses from Galactic pulsars) or events with high DM, they are being missed due to the deleterious effects of smearing. I outline how to optimise spectral and temporal resolution for FRB surveys that are throughput-limited. I also investigate how such effects may have been imprinted on the distributions of FRBs at real telescopes, like the different observed DMs at ASKAP and Parkes. Finally, I discuss the impact of intrinsic correlations between FRB parameters on detection statistics.


title: Performance Analysis of a 5G Transceiver Implementation for Remote Areas Scenarios

abstract: The fifth generation of mobile communication networks will support a large set of new services and applications. One important use case is the remote area coverage for broadband Internet access. This use case ha significant social and economic impact, since a considerable percentage of the global population living in low populated area does not have Internet access and the communication infrastructure in rural areas can be used to improve agribusiness productivity. The aim of this paper is to analyze the performance of a 5G for Remote Areas transceiver, implemented on field programmable gate array based hardware for real-time processing. This transceiver employs the latest digital communication techniques, such as generalized frequency division multiplexing waveform combined with 2 by 2 multiple-input multiple-output diversity scheme and polar channel coding. The performance of the prototype is evaluated regarding its out-of-band emissions and bit error rate under AWGN channel.


title: The Effectiveness of Relativistic Invariance in AdS${}_3$

abstract: We use relativistic invariance to investigate two aspects of integrable AdS${}_3$ string theory. Firstly, we write down the all-loop TBA equations for the massless sector of the theory with R-R flux, using the recently discovered hidden relativistic symmetry. Secondly, for the low-energy relativistic limit of the theory with NS-NS flux we write down the S matrix, dressing factors and TBA. We find that the integrable system coincides with a restriction to AdS${}_3$ of the relativistic q-deformed AdS${}_5$ theory. We also comment on the relativistic limit of the the small-$k$ NS-NS theory.


title: Lifelong Sequential Modeling with Personalized Memorization for User Response Prediction

abstract: User response prediction, which models the user preference w.r.t. the presented items, plays a key role in online services. With two-decade rapid development, nowadays the cumulated user behavior sequences on mature Internet service platforms have become extremely long since the user's first registration. Each user not only has intrinsic tastes, but also keeps changing her personal interests during lifetime. Hence, it is challenging to handle such lifelong sequential modeling for each individual user. Existing methodologies for sequential modeling are only capable of dealing with relatively recent user behaviors, which leaves huge space for modeling long-term especially lifelong sequential patterns to facilitate user modeling. Moreover, one user's behavior may be accounted for various previous behaviors within her whole online activity history, i.e., long-term dependency with multi-scale sequential patterns. In order to tackle these challenges, in this paper, we propose a Hierarchical Periodic Memory Network for lifelong sequential modeling with personalized memorization of sequential patterns for each user. The model also adopts a hierarchical and periodical updating mechanism to capture multi-scale sequential patterns of user interests while supporting the evolving user behavior logs. The experimental results over three large-scale real-world datasets have demonstrated the advantages of our proposed model with significant improvement in user response prediction performance against the state-of-the-arts.


title: Robust mode conversion in NV centers using exceptional points

abstract: We show that microwave-driven NV centers can function as topological mode switches by utilizing a special degeneracy called an exceptional point (EP). By tuning the intensities and frequencies of the driving fields, we find an EP---where two normal modes of the system coalesce---and, then, use it to simulate the dynamics and demonstrate topological and non-reciprocal mode switching. By comparing density matrices of the input and output states, we find that the quantum correlations decrease by three orders of magnitude at room temperature, and discuss ways for improving this result. This work extends the theory of topological mode switches (originally derived for pure states) to mixed states and is, therefore, applicable to general open quantum systems. Our theory enables exploring new phenomena (e.g., high-order EPs in low-dimensional systems) and presents a crucial step towards incorporating topological mode switches in quantum-information applications.


title: The floatability of aerosols and waves damping on Titan's seas

abstract: Titan, Saturn's largest moon, has a dense atmosphere, together with lakes and seas of liquid hydrocarbons. These liquid bodies, which are in polar regions and up to several hundred kilometres in diameter, generally have smooth surfaces despite evidence of near-surface winds. Photochemically generated organic aerosols form a haze that can settle and potentially interact with the liquid surface. Here we investigate the floatability of these aerosols on Titan's seas and their potential to dampen waves. We find that the majority of aerosols are denser than the liquid hydrocarbons, but that some could have liquid-repelling properties. From calculation of the capillary forces, we propose that these 'liquidophobic' aerosols could float and form a persistent film on Titan's seas. We numerically model the wave damping efficiency of such a film under the conditions on Titan, demonstrating that even a film one molecule thick may inhibit formation of waves larger than a few centimetres in wavelength. We conclude that the presence of a floating film of aerosols deposited on Titan's lakes and seas could explain the remarkable smoothness of their surfaces.


title: Aging and rejuvenation during elastostatic loading of amorphous alloys

abstract: Using molecular dynamics simulations, we investigate the effect of uniaxial elastostatic compression on the potential energy, structural relaxation, and mechanical properties of binary glasses. We consider the three-dimensional Kob-Andersen binary mixture, which was initially cooled from the liquid state to the glass phase with a slow rate at zero pressure. The glass was then loaded with a static stress at the annealing temperature during extended time intervals. It is found that the static stress below the yielding point induces large-scale plastic deformation and significant rejuvenation when the annealing temperature is smaller than a fraction of the glass transition temperature. By contrast, aging effects become dominant at sufficiently small values of the static stress and higher annealing temperatures. The mechanical tests after the elastostatic compression have shown that both the elastic modulus and the yield stress decrease in rejuvenated samples, while the opposite trend was observed for relaxed glasses. These results might be useful for the thermomechanical processing of metallic glasses with optimized mechanical properties.


title: Constructing the CKVs of Bianchi III and V spacetimes

abstract: We determine the conformal algebra of Bianchi III and Bianchi V spacetimes or, equivalently, we determine all Bianchi III and Bianchi V spacetimes which admit a proper conformal Killing vector. The algorithm that we use has been developed in Class. Quantum. Grav. 15, 2909 (1998) and concerns the computation of the CKVs of decomposable spacetimes. The main point of this method is that a decomposable space admits a CKV if the reduced space admits a gradient homothetic vector the latter being possible only if the reduced space is flat or a space of constant curvature. We apply this method in a stepwise manner starting from the two dimensional spacetime which admits an infinite number of CKVs and we construct step by step the Bianchi III and V spacetimes by assuming that CKVs survive as we increase the dimension of the space. We find that there is only one Bianchi III and one Bianchi V spacetime which admit at maximum one proper CKV. In each case we determine the conformal Killing vector and the corresponding conformal factor. As an application in the spacetimes we found we study the kinematics of the comoving observers and the dynamics of the corresponding cosmological fluid. As a second application we determine in these spacetimes generators of the Lie symmetries of the wave equation.


title: Distances between surfaces in 4-manifolds

abstract: If $\Sigma$ and $\Sigma'$ are homotopic embedded surfaces in a $4$-manifold then they may be related by a regular homotopy (at the expense of introducing double points) or by a sequence of stabilisations and destabilisations (at the expense of adding genus). This naturally gives rise to two integer-valued notions of distance between the embeddings: the singularity distance $d_{\text{sing}}(\Sigma,\Sigma')$ and the stabilisation distance $d_{\text{st}}(\Sigma,\Sigma')$. Using techniques similar to those used by Gabai in his proof of the 4-dimensional light-bulb theorem, we prove that $d_{\text{st}}(\Sigma,\Sigma')\leq d_{\text{sing}}(\Sigma,\Sigma')+1$.


title: Optomechanical measurement of thermal transport in two-dimensional MoSe2 lattices

abstract: Nanomechanical resonators have emerged as sensors with exceptional sensitivities. These sensing capabilities open new possibilities in the studies of the thermodynamic properties in condensed matter. Here, we use mechanical sensing as a novel approach to measure the thermal properties of low-dimensional materials. We measure the temperature dependence of both the thermal conductivity and the specific heat capacity of a transition metal dichalcogenide (TMD) monolayer down to cryogenic temperature, something that has not been achieved thus far with a single nanoscale object. These measurements show how heat is transported by phonons in two-dimensional systems. Both the thermal conductivity and the specific heat capacity measurements are consistent with predictions based on first-principles.


title: Exponential convergence to equilibrium for the d-dimensional East model

abstract: Kinetically constrained models (KCMs) are interacting particle systems on $Z^d$ with a continuous-time constrained Glauber dynamics, which were introduced by physicists to model the liquid-glass transition. One of the most well-known KCMs is the one-dimensional East model. Its generalization to higher dimension, the d-dimensional East model, is much less understood. Prior to this paper, convergence to equilibrium in the d-dimensional East model was proven to be at least stretched exponential, by Chleboun, Faggionato and Martinelli in 2015. We show that the d-dimensional East model exhibits exponential convergence to equilibrium in all settings for which convergence is possible.


title: AdS Carroll Chern-Simons supergravity in 2+1 dimensions and its flat limit

abstract: Carroll symmetries arise when the velocity of light is sent to zero (ultra-relativistic limit). In this paper, we present the construction of the three-dimensional Chern-Simons supergravity theory invariant under the so-called AdS Carroll superalgebra, which was obtained in the literature as a contraction of the AdS superalgebra. The action is characterized by two coupling constants. Subsequently, we study its flat limit, obtaining the three-dimensional Chern-Simons supergravity theory invariant under the super-Carroll algebra, which is a contraction of the Poincar\'e superalgebra. We apply the flat limit at the level of the superalgebra, Chern-Simons action, supersymmetry transformation laws, and field equations.


title: Scalable and Jointly Differentially Private Packing

abstract: We introduce an $(\epsilon, \delta)$-jointly differentially private algorithm for packing problems. Our algorithm not only achieves the optimal trade-off between the privacy parameter $\epsilon$ and the minimum supply requirement (up to logarithmic factors), but is also scalable in the sense that the running time is linear in the number of agents $n$. Previous algorithms either run in cubic time in $n$, or require a minimum supply per resource that is $\sqrt{n}$ times larger than the best possible.


title: Threshold-based Selective Cooperative-NOMA

abstract: In this letter, we propose threshold-based selective cooperative-NOMA (TBS-C-NOMA) to increase the data reliability of conventional cooperative-NOMA (C-NOMA) networks. In TBS-C-NOMA, the intra-cell user forwards the symbols of cell-edge user after successive interference canceler (SIC) only if the signal-to-interference plus noise ratio (SINR) is greater than the pre-determined threshold value. Hence, the data reliability of the cell-edge user is increased by eliminating the effect of the error propagation. We derive closed-form end-to-end exact bit error probability (BEP) of proposed system for various modulation constellations. Then, the optimum threshold value is analyzed in order to minimize BEP. The obtained expressions are validated via simulations and it is revealed that TBS-C-NOMA outperforms C-NOMA and full diversity order is achieved.


title: Zero cycles on the moduli space of curves

abstract: While the Chow groups of 0-dimensional cycles on the moduli spaces of Deligne-Mumford stable pointed curves can be very complicated, the span of the 0-dimensional tautological cycles is always of rank 1. The question of whether a given moduli point [C,p_1,...,p_n] determines a tautological 0-cycle is subtle. Our main results address the question for curves on rational and K3 surfaces. If C is a nonsingular curve on a nonsingular rational surface of positive degree with respect to the anticanonical class, we prove [C,p_1,...,p_n] is tautological if the number of markings does not exceed the virtual dimension in Gromov-Witten theory of the moduli space of stable maps. If C is a nonsingular curve on a K3 surface, we prove [C,p_1,...,p_n] is tautological if the number of markings does not exceed the genus of C and every marking is a Beauville-Voisin point. The latter result provides a connection between the rank 1 tautological 0-cycles on the moduli of curves and the rank 1 tautological 0-cycles on K3 surfaces. Several further results related to tautological 0-cycles on the moduli spaces of curves are proven. Many open questions concerning the moduli points of curves on other surfaces (Abelian, Enriques, general type) are discussed.


title: Stability properties of the steady state for the isentropic compressible Navier-Stokes equations with density dependent viscosity in bounded intervals

abstract: We prove existence and asymptotic stability of the stationary solution for the compressible Navier-Stokes equations for isentropic gas dynamics with a density dependent diffusion in a bounded interval. We present the necessary conditions to be imposed on the boundary data which ensure existence and uniqueness of the steady state, and we subsequent investigate its stability properties by means of the construction of a suitable Lyapunov functional for the system. The Saint-Venant system, modeling the dynamics of a shallow compressible fluid, fits into this general framework.


title: Negligible thermal contributions to the spin pumping signal in ferromagnetic metal-Platinum bilayers

abstract: Spin pumping by ferromagnetic resonance is one of the most common technique to determine spin hall angles, Edelstein lengths or spin diffusion lengths of a large variety of materials. In recent years, rising concerns have appeared regarding the interpretation of these experiments, underlining that the signal could arise purely from thermoelectric effects, rather than from coherent spin pumping. Here, we propose a method to evaluate the presence or absence of thermal effects in spin pumping signals, by combining bolometry and spin pumping by ferromagnetic resonance measurements, and comparing their timescale. Using a cavity to perform the experiments on Pt\Permalloy and La0.7Sr0.3MnO3\Pt samples, we conclude on the absence of any measurable thermoelectric contribution such as the spin Seebeck and anomalous Nernst effects at resonance


title: Evolution of Magnetic Helicity in Solar Cycle 24

abstract: We propose a novel approach to reconstruct the surface magnetic helicity density on the Sun or sun-like stars. The magnetic vector potential is determined via decomposition of vector magnetic field measurements into toroidal and poloidal components. The method is verified using data from a non-axisymmetric dynamo model. We apply the method to vector field synoptic maps from Helioseismic and Magnetic Imager (HMI) onboard of Solar Dynamics Observatory (SDO) to study evolution of the magnetic helicity density during solar cycle 24. It is found that the mean helicity density of the non-axisymmetric magnetic field of the Sun evolves in a way which is similar to that reported for the current helicity density of the solar active regions. It has predominantly the negative sign in the northern hemisphere, and it is positive in the southern hemisphere. Also, the hemispheric helicity rule for the non-axisymmetric magnetic field showed the sign inversion at the end of cycle 24. Evolution of magnetic helicity density of large-scale axisymmetric magnetic field is different from that expected in dynamo theory. On one hand, the mean large- and small-scale components of magnetic helicity density display the hemispheric helicity rule of opposite sign at the beginning of cycle 24. However, later in the cycle, the two helicities exhibit the same sign in contrast with the theoretical expectations.


title: Clustering Images by Unmasking - A New Baseline

abstract: We propose a novel agglomerative clustering method based on unmasking, a technique that was previously used for authorship verification of text documents and for abnormal event detection in videos. In order to join two clusters, we alternate between (i) training a binary classifier to distinguish between the samples from one cluster and the samples from the other cluster, and (ii) removing at each step the most discriminant features. The faster-decreasing accuracy rates of the intermediately-obtained classifiers indicate that the two clusters should be joined. To the best of our knowledge, this is the first work to apply unmasking in order to cluster images. We compare our method with k-means as well as a recent state-of-the-art clustering method. The empirical results indicate that our approach is able to improve performance for various (deep and shallow) feature representations and different tasks, such as handwritten digit recognition, texture classification and fine-grained object recognition.


title: Can the Optimizer Cost be Used to Predict Query Execution Times?

abstract: Predicting the execution time of queries is an important problem with applications in scheduling, service level agreements and error detection. During query planning, a cost is associated with the chosen execution plan and used to rank competing plans. It would be convenient to use that cost to predict execution time, but it has been claimed in the literature that this is not possible. In this paper, we thoroughly investigate this claim considering both linear and non-linear models. We find that the accuracy using more complex models with only the optimizer cost is comparable to the reported accuracy in the literature. The most accurate method in the literature is nearest-neighbour regression which does not produce a model. The published results used a large feature set to identify nearest neighbours. We show that it is possible to achieve the same level of accuracy using only the cost to identify nearest neighbours. Using a smaller feature set brings the advantages of reduced overhead in terms of both storage space for the training data and the time to produce a prediction.


title: Personalized Optimization with User's Feedback

abstract: This paper develops an online algorithm to solve a time-varying optimization problem with an objective that comprises a known time-varying cost and an unknown function. This problem structure arises in a number of engineering systems and cyber-physical systems where the known function captures time-varying engineering costs, and the unknown function models user's satisfaction; in this context, the objective is to strike a balance between given performance metrics and user's satisfaction. Key challenges related to the problem at hand are related to (1) the time variability of the problem, and (2) the fact that learning of the user's utility function is performed concurrently with the execution of the online algorithm. This paper leverages Gaussian processes (GP) to learn the unknown cost function from noisy functional evaluation and build pertinent upper confidence bounds. Using the GP formalism, the paper then advocates time-varying optimization tools to design an online algorithm that exhibits tracking of the oracle-based optimal trajectory within an error ball, while learning the user's satisfaction function with no-regret. The algorithmic steps are inexact, to account for possible limited computational budgets or real-time implementation considerations. Numerical examples are illustrated based on a problem related to vehicle platooning.


title: Long-Range Microwave Mediated Interactions Between Electron Spins

abstract: Entangling gates for electron spins in semiconductor quantum dots are generally based on exchange, a short-ranged interaction that requires wavefunction overlap. Coherent spin-photon coupling raises the prospect of using photons as long-distance interconnects for spin qubits. Realizing a key milestone for spin-based quantum information processing, we demonstrate microwave-mediated spin-spin interactions between two electrons that are physically separated by more than 4 mm. Coherent spin-photon coupling is demonstrated for each individual spin using microwave transmission spectroscopy. An enhanced vacuum Rabi splitting is observed when both spins are tuned into resonance with the cavity, indicative of a coherent spin-spin interaction. Our results demonstrate that microwave-frequency photons can be used as a resource to generate long-range two-qubit gates between spatially separated spins.


title: Performance Analysis of SSK-NOMA

abstract: In this paper, we consider the combination between two promising techniques: space-shift keying (SSK) and non-orthogonal multiple access (NOMA) for future radio access networks. We analyze the performance of SSK-NOMA networks and provide a comprehensive analytical framework of SSK-NOMA regarding bit error probability (BEP), ergodic capacity and outage probability. It is worth pointing out all analysis also stand for conventional SIMO-NOMA networks. We derive closed-form exact average BEP (ABEP) expressions when the number of users in a resource block is equal to i.e., $L=3$. Nevertheless, we analyze the ABEP of users when the number of users is more than i.e., $L\geq3$, and derive bit-error-rate (BER) union bound since the error propagation due to iterative successive interference canceler (SIC) makes the exact analysis intractable. Then, we analyze the achievable rate of users and derive exact ergodic capacity of the users so the ergodic sum rate of the system in closed-forms. Moreover, we provide the average outage probability of the users exactly in the closed-form. All derived expressions are validated via Monte Carlo simulations and it is proved that SSK-NOMA outperforms conventional NOMA networks in terms of all performance metrics (i.e., BER, sum rate, outage). Finally, the effect of the power allocation (PA) on the performance of SSK-NOMA networks is investigated and the optimum PA is discussed under BER and outage constraints.


title: Linearized and Compensated Interferometric System for High-Velocity Traceable Length Calibration on a Metre Scale

abstract: We report on a traceable calibration system for a 3500mm-long console that carries a measurement system for inspecting the diameter of a circular reactor chassis. The system uses two single-pass laser interferometers with homodyne fringe detection for measurement in two degrees of freedom. The hybrid FPGA-microcontroller control module carries out the fringe detection together with the application-specific scale linearization approach and the compensation of environmental influences such as thermal elongation and the refractive index of air fluctuations. We demonstrated the system feasibility with an accuracy of a few microns and translation velocity higher than 0:1 metre per second.


title: On a Gambini-Pullin-inspired Maxwell electrodynamics with Lorentz-violating dimension-$5$ operators

abstract: We explore the properties of a new Maxwell electrodynamics coupled to a Lorentz-violating background through the presence of higher-derivative terms. Physical implications of this alternative effective theory modified by Lorentz-violating operators of mass dimension-$5$ are considered, such as modified dispersion relations which exhibit the vacuum birefringence phenomenon. Subsequently, we analyze the energy-momentum tensor in the case we reproduce the Gambini-Pullin electrodynamics. We explicitly show that for a background time-like four-vector, $n^{\mu}$, the equations of motion indeed reproduce those encountered by Gambini and Pullin in the framework of loop quantum gravity . Finally, extended expressions for Maxwell-type equations are written down in the case the external Lorentz-violating four-vector is space-like.


title: Full-Gradient Representation for Neural Network Visualization

abstract: We introduce a new tool for interpreting neural net responses, namely full-gradients, which decomposes the neural net response into input sensitivity and per-neuron sensitivity components. This is the first proposed representation which satisfies two key properties: completeness and weak dependence, which provably cannot be satisfied by any saliency map-based interpretability method. For convolutional nets, we also propose an approximate saliency map representation, called FullGrad, obtained by aggregating the full-gradient components. We experimentally evaluate the usefulness of FullGrad in explaining model behaviour with two quantitative tests: pixel perturbation and remove-and-retrain. Our experiments reveal that our method explains model behaviour correctly, and more comprehensively than other methods in the literature. Visual inspection also reveals that our saliency maps are sharper and more tightly confined to object regions than other methods.


title: The Delay Time of Gravitational Wave -- Gamma-Ray Burst Associations

abstract: The first gravitational wave (GW) - gamma-ray burst (GRB) association, GW170817/GRB 170817A, had an offset in time, with the GRB trigger time delayed by $\sim$1.7 s with respect to the merger time of the GW signal. We generally discuss the astrophysical origin of the delay time, $\Delta t$, of GW-GRB associations within the context of compact binary coalescence (CBC) -- short GRB (sGRB) associations and GW burst -- long GRB (lGRB) associations. In general, the delay time should include three terms, the time to launch a clean (relativistic) jet, $\Delta t_{\rm jet}$; the time for the jet to break out from the surrounding medium, $\Delta t_{\rm bo}$; and the time for the jet to reach the energy dissipation and GRB emission site, $\Delta t_{\rm GRB}$. For CBC-sGRB associations, $\Delta t_{\rm jet}$ and $\Delta t_{\rm bo}$ are correlated, and the final delay can be from 10 ms to a few seconds. For GWB-lGRB associations, $\Delta t_{\rm jet}$ and $\Delta t_{\rm bo}$ are independent. The latter is at least $\sim$10 s, so that $\Delta t$ of these associations is at least this long. For certain jet launching mechanisms of lGRBs, $\Delta t$ can be minutes or even hours long due to the extended engine waiting time $\Delta t_{\rm wait}$ to launch a jet. We discuss the cases of GW170817/GRB 170817A and GW150914/GW150914-GBM within this theoretical framework and suggest that the delay times of future GW/GRB associations will shed light into the jet launching mechanisms of GRBs.


title: Uncountable dichromatic number without short directed cycles

abstract: A. Hajnal and P. Erd\H{o}s proved that a graph with uncountable chromatic number cannot avoid short cycles, it must contain for example $ C_4 $ (among other obligatory subgraphs). It was shown recently by D. T. Soukup that, in contrast of the undirected case, it is consistent that for any $ n<\omega $ there exists an uncountably dichromatic digraph without directed cycles shorter than $ n $. He asked if it is provable already in ZFC. We answer his question positively by constructing for every infinite cardinal $ \kappa $ and $ n<\omega $ a digraph of size $ 2^{\kappa} $ with dichromatic number at least $ \kappa^{+} $ which does not contain directed cycles of length less than $ n $ as a subdigraph.


title: Conditioning of restricted Fourier matrices and super-resolution of MUSIC

abstract: This paper studies stable recovery of a collection of point sources from its noisy $M+1$ low-frequency Fourier coefficients. We focus on the super-resolution regime where the minimum separation of the point sources is below $1/M$. We propose a separated clumps model where point sources are clustered in far apart sets, and prove an accurate lower bound of the Fourier matrix with nodes restricted to the source locations. This estimate gives rise to a theoretical analysis on the super-resolution limit of the MUSIC algorithm.


title: The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games

abstract: We study multiplayer quantitative reachability games played on a finite directed graph, where the objective of each player is to reach his target set of vertices as quickly as possible. Instead of the well-known notion of Nash equilibrium (NE), we focus on the notion of subgame perfect equilibrium (SPE), a refinement of NE well-suited in the framework of games played on graphs. It is known that there always exists an SPE in quantitative reachability games and that the constrained existence problem is decidable. We here prove that this problem is PSPACE-complete. To obtain this result, we propose a new algorithm that iteratively builds a set of constraints characterizing the set of SPE outcomes in quantitative reachability games. This set of constraints is obtained by iterating an operator that reinforces the constraints up to obtaining a fixpoint. With this fixpoint, the set of SPE outcomes can be represented by a finite graph of size at most exponential. A careful inspection of the computation allows us to establish PSPACE membership.


title: Engineering a QoS Provider Mechanism for Edge Computing with Deep Reinforcement Learning

abstract: With the development of new system solutions that integrate traditional cloud computing with the edge/fog computing paradigm, dynamic optimization of service execution has become a challenge due to the edge computing resources being more distributed and dynamic. How to optimize the execution to provide Quality of Service (QoS) in edge computing depends on both the system architecture and the resource allocation algorithms in place. We design and develop a QoS provider mechanism, as an integral component of a fog-to-cloud system, to work in dynamic scenarios by using deep reinforcement learning. We choose reinforcement learning since it is particularly well suited for solving problems in dynamic and adaptive environments where the decision process needs to be frequently updated. We specifically use a Deep Q-learning algorithm that optimizes QoS by identifying and blocking devices that potentially cause service disruption due to dynamicity. We compare the reinforcement learning based solution with state-of-the-art heuristics that use telemetry data, and analyze pros and cons.


title: Field effect and photoconduction in Au25 Nanoclusters Films

abstract: Quantum confined Au nanoclusters exhibit molecule-like properties, including atomic precision and discrete energy levels. The electrical conductivity of Au nanocluster films can vary by several orders of magnitude, and is determined by the strength of the electronic coupling between the individual nanoclusters in the film. Similar to quantum confined, semiconducting quantum dots, the electrical coupling in films is dependent on the size and structure of the Au core and the length and conjugation of the organic ligands surrounding it. Unlike quantum dots, however, semiconducting transport has not been reported in Au nanocluster films. We demonstrate that through a simple yet careful choice of cluster size and organic ligands, stable Au nanocluster films can electronically couple and become semiconducting, exhibiting electric field effect and photoconductivity. The molecule-like nature of the Au nanoclusters is evidenced by a hopping transport mechanism reminiscent of doped, disordered organic semiconductor films. These results demonstrate the potential of metal nanoclusters as a solution processed material for semiconducting devices.


title: Computer Science and Metaphysics: A Cross-Fertilization

abstract: Computational philosophy is the use of mechanized computational techniques to unearth philosophical insights that are either difficult or impossible to find using traditional philosophical methods. Computational metaphysics is computational philosophy with a focus on metaphysics. In this paper, we (a) develop results in modal metaphysics whose discovery was computer assisted, and (b) conclude that these results work not only to the obvious benefit of philosophy but also, less obviously, to the benefit of computer science, since the new computational techniques that led to these results may be more broadly applicable within computer science. The paper includes a description of our background methodology and how it evolved, and a discussion of our new results.


title: Nonlocalized Clustering and Evolution of Cluster Structure in Nuclei

abstract: We explain various facets of the THSR (Tohsaki-Horiuchi-Schuck-R\"opke) wave function. We first discuss the THSR wave function as a wave function of cluster-gas state, since the THSR wave function was originally introduced to elucidate the 3$\alpha$-condensate-like character of the Hoyle state ($0_2^+$ state) of $^{12}$C. We briefly review the cluster-model studies of the Hoyle state in 1970's in order to explain how there emerged the idea to assign the $\alpha$ condensate character to the Hoyle state. We then explain that the THSR wave function can describe very well also non-gaslike ordinary cluster states with spatial localization of clusters. This fact means that the dynamical motion of clusters is of nonlocalized nature just as in gas-like states of clusters and the localization of clusters is due to the inter-cluster Pauli principle which is against the close approach of two clusters. The nonlocalized cluster dynamics is formulated by the container model of cluster dynamics. The container model describes gas-like state and non-gaslike states as the solutions of the Hill-Wheeler equation with respect to the size parameter of THSR wave function which is just the size parameter of the container. When we notice that fact that the THSR wave function with the smallest value of size parameter is equivalent to the shell-model wave function, we see that the container model describes the evolution of cluster structure from the ground state with shell-model structure up to the gas-like cluster state via ordinary non-gaslike cluster states. For the description of various cluster structure, more generation of THSR wave function have been introduced and we review some typical examples with their actual applications.


title: Toward Extremely Low Bit and Lossless Accuracy in DNNs with Progressive ADMM

abstract: Weight quantization is one of the most important techniques of Deep Neural Networks (DNNs) model compression method. A recent work using systematic framework of DNN weight quantization with the advanced optimization algorithm ADMM (Alternating Direction Methods of Multipliers) achieves one of state-of-art results in weight quantization. In this work, we first extend such ADMM-based framework to guarantee solution feasibility and we have further developed a multi-step, progressive DNN weight quantization framework, with dual benefits of (i) achieving further weight quantization thanks to the special property of ADMM regularization, and (ii) reducing the search space within each step. Extensive experimental results demonstrate the superior performance compared with prior work. Some highlights: we derive the first lossless and fully binarized (for all layers) LeNet-5 for MNIST; And we derive the first fully binarized (for all layers) VGG-16 for CIFAR-10 and ResNet for ImageNet with reasonable accuracy loss.


title: Minimum Ply Covering of Points with Disks and Squares

abstract: Following the seminal work of Erlebach and van Leeuwen in SODA 2008, we introduce the minimum ply covering problem. Given a set $P$ of points and a set $S$ of geometric objects, both in the plane, our goal is to find a subset $S'$ of $S$ that covers all points of $P$ while minimizing the maximum number of objects covering any point in the plane (not only points of $P$). For objects that are unit squares and unit disks, this problem is NP-hard and cannot be approximated by a ratio smaller than 2. We present 2-approximation algorithms for this problem with respect to unit squares and unit disks. Our algorithms run in polynomial time when the optimum objective value is bounded by a constant. Motivated by channel-assignment in wireless networks, we consider a variant of the problem where the selected unit disks must be 3-colorable, i.e., colored by three colors such that all disks of the same color are pairwise disjoint. We present a polynomial-time algorithm that achieves a 2-approximate solution, i.e., a solution that is 6-colorable. We also study the weighted version of the problem in dimension one, where $P$ and $S$ are points and weighted intervals on a line, respectively. We present an algorithm that solves this problem in $O(n + m + M )$-time where $n$ is the number of points, $m$ is the number of intervals, and $M$ is the number of pairs of overlapping intervals. This repairs a solution claimed by Nandy, Pandit, and Roy in CCCG 2017.


title: Flip Distance to some Plane Configurations

abstract: We study an old geometric optimization problem in the plane. Given a perfect matching $M$ on a set of $n$ points in the plane, we can transform it to a non-crossing perfect matching by a finite sequence of flip operations. The flip operation removes two crossing edges from $M$ and adds two non-crossing edges. Let $f(M)$ and $F(M)$ denote the minimum and maximum lengths of a flip sequence on $M$, respectively. It has been proved by Bonnet and Miltzow (2016) that $f(M)=O(n^2)$ and by van Leeuwen and Schoone (1980) that $F(M)=O(n^3)$. We prove that $f(M)=O(n\Delta)$ where $\Delta$ is the spread of the point set, which is defined as the ratio between the longest and the shortest pairwise distances. This improves the previous bound if the point set has sublinear spread. For a matching $M$ on $n$ points in convex position we prove that $f(M)=n/2-1$ and $F(M)={{n/2} \choose 2}$; these bounds are tight. Any bound on $F(\cdot)$ carries over to the bichromatic setting, while this is not necessarily true for $f(\cdot)$. Let $M'$ be a bichromatic matching. The best known upper bound for $f(M')$ is the same as for $F(M')$, which is essentially $O(n^3)$. We prove that $f(M')\le n-2$ for points in convex position, and $f(M')= O(n^2)$ for semi-collinear points. The flip operation can also be defined on spanning trees. For a spanning tree $T$ on a convex point set we show that $f(T)=O(n\log n)$.