title: Spectral gap and cutoff phenomenon for the Gibbs sampler of $\nabla\varphi$ interfaces with convex potential

abstract: We consider the Gibbs sampler, or heat bath dynamics associated to log-concave measures on $\mathbb{R}^N$ describing $\nabla\varphi$ interfaces with convex potentials. Under minimal assumptions on the potential, we find that the spectral gap of the process is always given by $\mathrm{gap}_N=1-\cos(\pi/N)$, and that for all $\epsilon\in(0,1)$, its $\epsilon$-mixing time satisfies $T_N(\epsilon)\sim \frac{\log N}{2\mathrm{gap}_N}$ as $N\to\infty$, thus establishing the cutoff phenomenon. The results reveal a universal behavior in that they do not depend on the choice of the potential.


title: Modeling Stochastic Microscopic Traffic Behaviors: a Physics Regularized Gaussian Process Approach

abstract: Modeling stochastic traffic behaviors at the microscopic level, such as car-following and lane-changing, is a crucial task to understand the interactions between individual vehicles in traffic streams. Leveraging a recently developed theory named physics regularized Gaussian process (PRGP), this study presents a stochastic microscopic traffic model that can capture the randomness and measure errors in the real world. Physical knowledge from classical car-following models is converted as physics regularizers, in the form of shadow Gaussian process (GP), of a multivariate PRGP for improving the modeling accuracy. More specifically, a Bayesian inference algorithm is developed to estimate the mean and kernel of GPs, and an enhanced latent force model is formulated to encode physical knowledge into stochastic processes. Also, based on the posterior regularization inference framework, an efficient stochastic optimization algorithm is developed to maximize the evidence lower-bound of the system likelihood. To evaluate the performance of the proposed models, this study conducts empirical studies on real-world vehicle trajectories from the NGSIM dataset. Since one unique feature of the proposed framework is the capability of capturing both car-following and lane-changing behaviors with one single model, numerical tests are carried out with two separated datasets, one contains lane-changing maneuvers and the other doesn't. The results show the proposed method outperforms the previous influential methods in estimation precision.


title: On the Use of AI for Satellite Communications

abstract: This document presents an initial approach to the investigation and development of artificial intelligence (AI) mechanisms in satellite communication (SatCom) systems. We first introduce the nowadays SatCom operations which are strongly dependent on the human intervention. Along with those use cases, we present an initial way of automatizing some of those tasks and we show the key AI tools capable of dealing with those challenges. Finally, the long term AI developments in the SatCom sector is discussed.


title: Structure and Properties of Thermoresponsive Diblock Copolymers Embedded with Metal Oxide Nanoparticles

abstract: Nanostructured polymer-metal oxide composites are a current research area of great importance due to its highlight applications in sensors, optics, catalysts and drug delivery. Particularly the use of thermoresponsive polymers gives more flexibilities and possibilities in the design and construction of polymer templates. In the present investigation, the structure and magnetic properties of hybrid metal oxide/DBC films composed of two kinds of polystyrene-block-poly (N-isopropylacrylamide)(PS-b-PNIPAM) diblock copolymers (DBCs) with PS and PNIPAM as the major polymer domains respectively, and iron oxide were investigated. The thermoresponsive PNIPAM has a lower critical solution temperature (LCST) in aqueous solution at 32{\deg}C, which enables the controllable volume ratio of PS and PNIPAM in the structure of PS-b-PNIPAM diblock copolymers (DBCs). Thus, a temperature and humidity controlling cell was designed and built for precisely tuning the block structure of PS-b-PNIPAM DBCs, which was investigated by in-situ small-angle X-ray scattering (SAXS) and grazing-incidence small-angle X-ray scattering (GISAXS) measurements. The superparamagnetic behavior of the heat-treated hybrid iron oxide/PS-b-PNIPAM DBC films was investigated using a superconducting quantum interference device (SQUID) magnetometer.


title: Large scale analysis of generalization error in learning using margin based classification methods

abstract: Large-margin classifiers are popular methods for classification. We derive the asymptotic expression for the generalization error of a family of large-margin classifiers in the limit of both sample size $n$ and dimension $p$ going to $\infty$ with fixed ratio $\alpha=n/p$. This family covers a broad range of commonly used classifiers including support vector machine, distance weighted discrimination, and penalized logistic regression. Our result can be used to establish the phase transition boundary for the separability of two classes. We assume that the data are generated from a single multivariate Gaussian distribution with arbitrary covariance structure. We explore two special choices for the covariance matrix: spiked population model and two layer neural networks with random first layer weights. The method we used for deriving the closed-form expression is from statistical physics known as the replica method. Our asymptotic results match simulations already when $n,p$ are of the order of a few hundreds. For two layer neural networks, we reproduce the recently developed `double descent' phenomenology for several classification models. We also discuss some statistical insights that can be drawn from these analysis.


title: On uniqueness of additive actions on complete toric varieties

abstract: By an additive action on an algebraic variety $X$ we mean a regular effective action $\mathbb{G}_a^n\times X\to X$ with an open orbit of the commutative unipotent group $\mathbb{G}_a^n$. In this paper, we give a uniqueness criterion for additive action on a complete toric variety.


title: Monte Carlo Dropout Ensembles for Robust Illumination Estimation

abstract: Computational color constancy is a preprocessing step used in many camera systems. The main aim is to discount the effect of the illumination on the colors in the scene and restore the original colors of the objects. Recently, several deep learning-based approaches have been proposed to solve this problem and they often led to state-of-the-art performance in terms of average errors. However, for extreme samples, these methods fail and lead to high errors. In this paper, we address this limitation by proposing to aggregate different deep learning methods according to their output uncertainty. We estimate the relative uncertainty of each approach using Monte Carlo dropout and the final illumination estimate is obtained as the sum of the different model estimates weighted by the log-inverse of their corresponding uncertainties. The proposed framework leads to state-of-the-art performance on INTEL-TAU dataset.


title: Towards robust sensing for Autonomous Vehicles: An adversarial perspective

abstract: Autonomous Vehicles rely on accurate and robust sensor observations for safety critical decision-making in a variety of conditions. Fundamental building blocks of such systems are sensors and classifiers that process ultrasound, RADAR, GPS, LiDAR and camera signals~\cite{Khan2018}. It is of primary importance that the resulting decisions are robust to perturbations, which can take the form of different types of nuisances and data transformations, and can even be adversarial perturbations (APs). Adversarial perturbations are purposefully crafted alterations of the environment or of the sensory measurements, with the objective of attacking and defeating the autonomous systems. A careful evaluation of the vulnerabilities of their sensing system(s) is necessary in order to build and deploy safer systems in the fast-evolving domain of AVs. To this end, we survey the emerging field of sensing in adversarial settings: after reviewing adversarial attacks on sensing modalities for autonomous systems, we discuss countermeasures and present future research directions.


title: Simply rotating higher dimensional black holes in Einstein-Gauss-Bonnet theory

abstract: Using perturbative expansion in terms of powers of the rotation parameter $a$ we construct the axisymmetric and asymptotically flat black-hole metric in the $D$-dimensional Einstein-Gauss-Bonnet theory. In five-dimensional spacetime we find two solutions to the field equations, describing the asymptotically flat black holes, though only one of them is perturbative in mass, that is, goes over into the Minkowski spacetime when the black-hole mass goes to zero. We obtain the perturbative black-hole solution up to the order $O(\alpha a^3)$ for any $D$, where $\alpha$ is the Gauss-Bonnet coupling, while the $D=5$ solution which is nonperturbative in mass is found in analytic form up to the order $O(\alpha a^7)$. In order to check the convergence of the expansion in $a$ we analyze characteristics of photon orbits in this spacetime and compute frequencies of the photon orbits and radius of the photon sphere.


title: The regularity properties and blow-up for convolution wave equations and applications

abstract: In this paper, the Cauchy problem for linear and nonlinear convolution wave equations are studied.The equation involves convolution terms with a general kernel functions whose Fourier transform are operator functions defined in a Banach space E together with some growth conditions. Here, assuming enough smoothness on the initial data and the operator functions, the local, global existence, uniqueness and regularity properties of solutions are established in terms of fractional powers of given sectorial operator functon. Furthermore, conditions for finite time blow-up are provided. By choosing the space E and the operators, the regularity properties the wide class of nonlocal wave equations in the field of physics are obtained.


title: Basis functions for residual stresses

abstract: We consider arbitrary preexisting residual stress states in arbitrarily shaped, unloaded bodies. These stresses must be self-equilibrating and traction free. Common treatments of the topic tend to focus on either the mechanical origins of the stress, or methods of stress measurement at certain locations. Here we take the stress field as given and consider the problem of approximating any such stress field, in a given body, as a linear combination of predetermined fields which can serve as a basis. We consider planar stress states in detail, and introduce an extremization problem that leads to a linear eigenvalue problem. Eigenfunctions of that problem form an orthonormal basis for all possible residual stress states of sufficient smoothness. In numerical examples, convergence of the approximating stress fields is demonstrated in the $L^2$ norm for continuous stress fields as well as for a stress field with a simple discontinuity. Finally, we outline the extension of our theory to three dimensional bodies and states of stress. Our approach can be used to describe arbitrary preexisting residual stress states in arbitrarily shaped bodies using basis functions that are determined by the body geometry alone.


title: Choice of Interior Penalty Coefficient for Interior Penalty Discontinuous Galerkin Method for Biot's System by Employing Machine Learning

abstract: In this paper, the optimal choice of the interior penalty parameter of the discontinuous Galerkin finite element methods for both the elliptic problems and the Biot's systems are studied by utilizing the neural network and machine learning. It is crucial to choose the optimal interior penalty parameter, which is not too small or not too large for the stability, robustness, and efficiency of the numerical discretized solutions. Both linear regression and nonlinear artificial neural network methods are employed and compared using several numerical experiments to illustrate the capability of our proposed computational framework. This framework is an integral part of a developing automated numerical simulation platform because it can automatically identify the optimal interior penalty parameter. Real-time feedback could also be implemented to update and improve model accuracy on the fly.


title: Supporting Modularity in Simulink Models

abstract: Model-Based Development (MBD) is widely used for embedded controls development, with Matlab Simulink being one of the most used modelling environments in industry. As with all software, Simulink models are subject to evolution over their lifetime and must be maintained. Modularity is a fundamental software engineering principle facilitating the construction of complex software, and is used in textual languages such as C. However, as Simulink is a graphical modelling language, it is not currently well understood how modularity can be leveraged in development with Simulink, nor whether it can be supported with current Simulink modelling constructs. This paper presents an effective way of achieving modularity in Simulink by introducing the concept of a Simulink module. The effectiveness of the approach is measured using well-known indicators of modularity, including coupling and cohesion, cyclomatic complexity, and information hiding ability. A syntactic interface is defined in order to represent all data flow across the module boundary. Four modelling guidelines are also presented to encourage best practice. Also, a custom tool that supports the modelling of Simulink modules is described. Finally, this work is demonstrated and evaluated on a real-world example from the nuclear domain.


title: Strategic Evaluation in Optimizing the Internal Supply Chain Using TOPSIS: Evidence In A Coil Winding Machine Manufacturer

abstract: Most of the manufacturing firm aims to optimize their Supply Chain in terms of improved profitability of its products through value Addition. This study takes a critical look into the factors that affect the Performance of internal supply chain with respect to specific criteria. Accordingly, ranking these factors to get the critical dimensions of supply chain performance in the manufacturing industry. A semi-structured interview with the pre-defined set of questions used to collect the responses from decision makers of the firm. Multi criteria decision-making tool called TOPSIS is used to evaluate the responses and rank the factors. The results of this indicate that supplier relationship and inventory planning were most principal factors positively influencing on-time delivery of the product, production flexibility, cost savings, additional costs. This study helps to identify and optimize the process parameters using objective and subjective evaluation approach. The combined influence of the thought process of the manager to optimize the internal supply chain is extracted in this work.


title: Lifetime of the hypertriton

abstract: We calculate the lifetime of the hypertriton as function of the $\Lambda$ separation energy $B_\Lambda$ in an effective field theory with $\Lambda$ and deuteron degrees of freedom. We also consider the impact of new measurements of the weak decay parameter of the $\Lambda$. While the sensitivity of the total width to $B_\Lambda$ is small, the partial widths for decays into individual final states and the experimentally measured ratio $R=\Gamma_{^3\textrm{He}}/\left(\Gamma_{^3 \text{He}}+\Gamma_{pd}\right)$ show a strong dependence. For the standard value $B_\Lambda=(0.13\pm 0.05)$ MeV, we find $R=0.37\pm 0.05$, which is in good agreement with past experimental studies and theoretical calculations. For the recent STAR value $B_\Lambda=(0.41\pm0.12\pm0.11)$ MeV, we obtain $R=0.57\pm 0.11$.


title: Funnel control of nonlinear systems

abstract: Tracking of reference signals is addressed in the context of a class of nonlinear controlled systems modelled by $r$-th order functional differential equations, encompassing inter alia systems with unknown "control direction" and dead-zone input effects. A control structure is developed which ensures that, for every member of the underlying system class and every admissible reference signal, the tracking error evolves in a prescribed funnel chosen to reflect transient and asymptotic accuracy objectives. Two fundamental properties underpin the system class: bounded-input bounded-output stable internal dynamics, and a high-gain property (an antecedent of which is the concept of sign-definite high-frequency gain in the context of linear systems).


title: Non-parametric reconstruction of the cosmological \textit{jerk} parameter

abstract: The cosmological jerk parameter $j$ is reconstructed in a non-parametric way from observational data independent of a fiducial cosmological model. From this kinematical quantity, the equation of state parameter for composite matter distribution is also found out. The result shows that there is a deviation from the $\Lambda$CDM model close to $z=1.5$, at the $3\sigma$ confidence level.


title: The influence of material properties and process parameters on the spreading process in additive manufacturing

abstract: Laser powder bed fusion (LPBF) is an additive manufacturing (AM) technology. To achieve high product quality, the powder is best spread as a uniform, dense layer. The challenge for LPBF manufacturers is to develop a spreading process that can produce a consistent layer quality for the many powders used, which show considerable differences in spreadability. Therefore, we investigate the influence of material properties, process parameters and the type of spreading tool on the layer quality. The discrete particle method is used to simulate the spreading process and to define metrics to evaluate the powder layer characteristics. We found that particle shape and surface roughness in terms of rolling resistance and interparticle sliding friction as well as particle cohesion all have a major (sometimes surprising) influence on the powder layer quality: more irregular shaped particles, rougher particle surfaces and/or higher interfacial cohesion usually, but not always, lead to worse spreadability. Our findings illustrate that there is a trade-off between material properties and process parameters. Increasing the spreading speed decreases layer quality for non- and weakly cohesive powders, but improves it for strongly cohesive ones. Using a counter-clockwise rotating roller as a spreading tool improves the powder layer quality compared to spreading with a blade. Finally, for both geometries, a unique correlation between the quality criteria uniformity and mass fraction is reported and some of the findings are related to size-segregation during spreading.


title: Human-like Energy Management Based on Deep Reinforcement Learning and Historical Driving Experiences

abstract: Development of hybrid electric vehicles depends on an advanced and efficient energy management strategy (EMS). With online and real-time requirements in mind, this article presents a human-like energy management framework for hybrid electric vehicles according to deep reinforcement learning methods and collected historical driving data. The hybrid powertrain studied has a series-parallel topology, and its control-oriented modeling is founded first. Then, the distinctive deep reinforcement learning (DRL) algorithm, named deep deterministic policy gradient (DDPG), is introduced. To enhance the derived power split controls in the DRL framework, the global optimal control trajectories obtained from dynamic programming (DP) are regarded as expert knowledge to train the DDPG model. This operation guarantees the optimality of the proposed control architecture. Moreover, the collected historical driving data based on experienced drivers are employed to replace the DP-based controls, and thus construct the human-like EMSs. Finally, different categories of experiments are executed to estimate the optimality and adaptability of the proposed human-like EMS. Improvements in fuel economy and convergence rate indicate the effectiveness of the constructed control structure.


title: Solenoidal and potential velocity fields in weakly turbulent premixed flames

abstract: Direct Numerical Simulation data obtained earlier from two statistically 1D, planar, fully-developed, weakly turbulent, single-step-chemistry, premixed flames characterized by two significantly different (7.53 and 2.50) density ratios {\sigma} are analyzed to explore the influence of combustion-induced thermal expansion on the turbulence and the backward influence of such flow perturbations on the reaction-zone surface. For this purpose, the simulated velocity fields are decomposed into solenoidal and potential velocity subfields. The approach is justified by the fact that results obtained adopting (i) a widely used orthogonal Helmholtz-Hodge decomposition and (ii) a recently introduced natural decomposition are close in the largest part of the computational domain (including the entire mean flame brushes) except for narrow zones near the inlet and outlet boundaries. The results show that combustion-induced thermal expansion can significantly change turbulent flow of unburned mixture upstream of a premixed flame by generating potential velocity fluctuations. Within the flame brush, the potential and solenoidal velocity fields are negatively (positively) correlated in unburned reactants (burned products, respectively) provided that {\sigma}=7.53. Moreover, correlation between strain rates generated by the solenoidal and potential velocity fields and conditioned to the reaction zone is positive (negative) in the leading (trailing, respectively) halves of the mean flame brushes. Furthermore, the potential strain rate correlates negatively with the curvature of the reaction zone, whereas the solenoidal strain rate and the curvature are negatively (positively) correlated in the leading (trailing, respectively) halves of the mean flame brushes.


title: Existence and Uniqueness Results for a nonlinear fractional differential equations of order $\sigma\in(1,2)$

abstract: The main objective of this article is to discuss the local existence of the solution to an initial value problem involving a non-linear differential equation in the sense of Riemann-Liouville fractional derivative of order $\sigma\in(1,2),$ when the nonlinear term has a discontinuity at zero. Hereafter, by using some tools of Lebesgue spaces such as H\"older inequality, we obtain Nagumo-type, Krasnoselskii-Krein-type and Osgood-type uniqueness theorems for the problem.


title: Information Freshness-Aware Task Offloading in Air-Ground Integrated Edge Computing Systems

abstract: This paper studies the problem of information freshness-aware task offloading in an air-ground integrated multi-access edge computing system, which is deployed by an infrastructure provider (InP). A third-party real-time application service provider provides computing services to the subscribed mobile users (MUs) with the limited communication and computation resources from the InP based on a long-term business agreement. Due to the dynamic characteristics, the interactions among the MUs are modelled by a non-cooperative stochastic game, in which the control policies are coupled and each MU aims to selfishly maximize its own expected long-term payoff. To address the Nash equilibrium solutions, we propose that each MU behaves in accordance with the local system states and conjectures, based on which the stochastic game is transformed into a single-agent Markov decision process. Moreover, we derive a novel online deep reinforcement learning (RL) scheme that adopts two separate double deep Q-networks for each MU to approximate the Q-factor and the post-decision Q-factor. Using the proposed deep RL scheme, each MU in the system is able to make decisions without a priori statistical knowledge of dynamics. Numerical experiments examine the potentials of the proposed scheme in balancing the age of information and the energy consumption.


title: Network permeability changes according to a quadratic power law upon removal of a single edge

abstract: We report an empirical power law for the reduction of network permeability in statistically homogeneous spatial networks upon removal of a single edge. We characterize this power law for plexus-like microvascular sinusoidal networks from liver tissue, as well as perturbed two- and three-dimensional regular lattices. We provide a heuristic argument for the observed power law by mapping arbitrary spatial networks that satisfies Darcy's law on an small-scale resistor network.


title: The Price of Anarchy of Two-Buyer Sequential Multiunit Auctions

abstract: We study the efficiency of sequential multiunit auctions with two-buyers and complete information. For general valuation functions, we show that the price of anarchy is exactly $1/T$ for auctions with $T$ items for sale. For concave valuation functions, we show that the price of anarchy is bounded below by $1-1/e\simeq 0.632$. This bound is asymptotically tight as the number of items sold tends to infinity.


title: On the Surjectivity of Certain Maps IV: For Congruence Ideal Subgroups of Type $A_k$ and $C_k$

abstract: For a positive integer $k$, we extend the surjectivity results from special linear groups (Type $A_k$) and symplectic linear groups (Type $C_k$) onto product of generalized projective spaces by associating the rows or columns, to certain congruence ideal subgroups of special linear groups and symplectic linear groups.


title: Nonsinusoidal periodic Fourier series

abstract: According to harmonic analysis (Fourier analysis), any function $f(x)$, periodic over the interval $[-L, L]$, which satisfies the Dirichlet conditions, can be developed into an infinite sum (known in the literature as the trigonometric series, and for which, for reasons which will become evident in the course of this work, we will use the name of sinusoidal series), consisting of the weighted components of a complete biortogonal base, formed of the unitary function 1, of the fundamental harmonics $\sin(\pi x/L)$, even and $\cos(\pi x/L)$, odd ($2L$-periodic functions) and of the secondary harmonics $\sin(n\pi x/L)$ and $\cos(n\pi x/L)$ (periodic functions, with period $2L/n$, where $n\in \mathbb{Z}^+$, positive integers). The coefficients of these expansions (Fourier coefficients) can be calculated using Euler formulas. We will generalize this statement and show that the function $f(x)$ can also be developed into non-sinusoidal periodic series, formed from the sum of the weighted components of a complete, non-orthogonal base: the unit function 1, the fundamental quasi-harmonics $g(x)$, even and $h(x)$, odd ($2L$-periodic functions, with zero mean value over the definition interval) and the secondary quasi-harmonics $g_n(x)$ and $h_n(x)$ ($2L/n$-periodic functions), where $n\in \mathbb{Z}^+$. The fundamental quasi-harmonics $g(x)$ and $h(x)$ are any functions which admit expansions in sinusoidal series (satisfy Dirichlet conditions, or belong to $L^2$ space). The coefficients of these expansions are obtained with the help of certain algebraic relationships between the Fourier coefficients of the expansions of the functions $f(x)$, $g(x)$ and $h(x)$. In addition to their obvious theoretical importance, these types of expansions can have practical importance in the approximation of functions and in the numerical and analytical resolution of certain classes of differential equations.


title: Consensus-Based Current Sharing and Voltage Balancing in DC Microgrids with Exponential Loads

abstract: In this work, we present a novel consensus-based secondary control scheme for current sharing and voltage balancing in DC microgrids, composed of distributed generation units, dynamic RLC lines, and nonlinear ZIE (constant impedance, constant current, and exponential) loads. Situated atop a primary voltage control layer, our secondary controllers have a distributed structure, and utilize information exchanged over a communication network to compute necessary control actions. Besides showing that the desired objectives are always attained in steady state, we deduce sufficient conditions for the existence and uniqueness of an equilibrium point for constant power loads -- E loads with zero exponent. Our control design hinges only on the local parameters of the generation units, facilitating plug-and-play operations. We provide a voltage stability analysis, and illustrate the performance and robustness of our designs via simulations. All results hold for arbitrary, albeit connected, microgrid and communication network topologies.


title: DiffRNN: Differential Verification of Recurrent Neural Networks

abstract: Recurrent neural networks (RNNs) such as Long Short Term Memory (LSTM) networks have become popular in a variety of applications such as image processing, data classification, speech recognition, and as controllers in autonomous systems. In practical settings, there is often a need to deploy such RNNs on resource-constrained platforms such as mobile phones or embedded devices. As the memory footprint and energy consumption of such components become a bottleneck, there is interest in compressing and optimizing such networks using a range of heuristic techniques. However, these techniques do not guarantee the safety of the optimized network, e.g., against adversarial inputs, or equivalence of the optimized and original networks. To address this problem, we propose DIFFRNN, the first differential verification method for RNNs to certify the equivalence of two structurally similar neural networks. Existing work on differential verification for ReLUbased feed-forward neural networks does not apply to RNNs where nonlinear activation functions such as Sigmoid and Tanh cannot be avoided. RNNs also pose unique challenges such as handling sequential inputs, complex feedback structures, and interactions between the gates and states. In DIFFRNN, we overcome these challenges by bounding nonlinear activation functions with linear constraints and then solving constrained optimization problems to compute tight bounding boxes on nonlinear surfaces in a high-dimensional space. The soundness of these bounding boxes is then proved using the dReal SMT solver. We demonstrate the practical efficacy of our technique on a variety of benchmarks and show that DIFFRNN outperforms state-of-the-art RNN verification tools such as POPQORN.


title: Ergodic quasi-invariant measures on topologically mixing subshifts are isomorphic to Bernoulli shifts

abstract: We prove that a shift ergodic measure on a topologically mixing sub-shift is isomorphic to a Bernoulli shift whenever it is quasi invariant under permutations of finite number of coordinates. We prove also that Gibbs measures on topologically mixing subshift of finite type are quasi invariant.


title: On Coresets for Fair Clustering in Metric and Euclidean Spaces and Their Applications

abstract: Fair clustering is a constrained variant of clustering where the goal is to partition a set of colored points, such that the fraction of points of any color in every cluster is more or less equal to the fraction of points of this color in the dataset. This variant was recently introduced by Chierichetti et al. [NeurIPS, 2017] in a seminal work and became widely popular in the clustering literature. In this paper, we propose a new construction of coresets for fair clustering based on random sampling. The new construction allows us to obtain the first coreset for fair clustering in general metric spaces. For Euclidean spaces, we obtain the first coreset whose size does not depend exponentially on the dimension. Our coreset results solve open questions proposed by Schmidt et al. [WAOA, 2019] and Huang et al. [NeurIPS, 2019]. The new coreset construction helps to design several new approximation and streaming algorithms. In particular, we obtain the first true constant-approximation algorithm for metric fair clustering, whose running time is fixed-parameter tractable (FPT). In the Euclidean case, we derive the first $(1+\epsilon)$-approximation algorithm for fair clustering whose time complexity is near-linear and does not depend exponentially on the dimension of the space. Besides, our coreset construction scheme is fairly general and gives rise to coresets for a wide range of constrained clustering problems. This leads to improved constant-approximations for these problems in general metrics and near-linear time $(1+\epsilon)$-approximations in the Euclidean metric.


title: Kinetic approach to the nuclear-spin polaron formation

abstract: Under optical cooling of nuclei, a strongly correlated nuclear-spin polaron state can form in semiconductor nanostructures with localized charge carriers due to the strong hyperfine interaction of the localized electron spin with the surrounding nuclear spins. Here we develop a kinetic-equation formalism describing the nuclear-spin polaron formation. We present a derivation of the kinetic equations for an electron-nuclear spin system coupled to reservoirs of different electron and nuclear spin temperatures which generate the exact thermodynamic steady state for equal temperatures independent of the system size. We illustrate our approach using the analytical solution of the central spin model in the limit of an Ising form of the hyperfine coupling. For homogeneous hyperfine coupling constants, i.e., the box model, the model is reduced to an analytically solvable form. Based on the analysis of the nuclear-spin distribution function and the electron-nuclear spin correlators, we derive a relation between the electron and nuclear spin temperatures, where the correlated nuclear-spin polaron state is formed. In the limit of large nuclear baths, this temperature line coincides with the critical temperature of the mean-field theory for polaron formation. The criteria of the polaron formation in a finite-size system are discussed. We demonstrate that the system's behavior at the transition temperature does not depend on details of the hyperfine-coupling distribution function but only on the effective number of coupled bath spins. In addition, the kinetic equations enable the analysis of the temporal formation of the nuclear-polaron state, where we find the build-up process predominated by the nuclear spin-flip dynamics.


title: Rainbow polygons for colored point sets in the plane

abstract: Given a colored point set in the plane, a perfect rainbow polygon is a simple polygon that contains exactly one point of each color, either in its interior or on its boundary. Let $\operatorname{rb-index}(S)$ denote the smallest size of a perfect rainbow polygon for a colored point set $S$, and let $\operatorname{rb-index}(k)$ be the maximum of $\operatorname{rb-index}(S)$ over all $k$-colored point sets in general position; that is, every $k$-colored point set $S$ has a perfect rainbow polygon with at most $\operatorname{rb-index}(k)$ vertices. In this paper, we determine the values of $\operatorname{rb-index}(k)$ up to $k=7$, which is the first case where $\operatorname{rb-index}(k)\neq k$, and we prove that for $k\ge 5$, \[ \frac{40\lfloor (k-1)/2 \rfloor -8}{19} %Birgit: \leq\operatorname{rb-index}(k)\leq 10 \bigg\lfloor\frac{k}{7}\bigg\rfloor + 11. \] Furthermore, for a $k$-colored set of $n$ points in the plane in general position, a perfect rainbow polygon with at most $10 \lfloor\frac{k}{7}\rfloor + 11$ vertices can be computed in $O(n\log n)$ time.


title: Going beyond the minimal texture of quark mass matrices in the era of precision measurements

abstract: An attempt has been made to carry out a detailed analysis of quark mass matrices having structure beyond the minimal texture. In particular, keeping in mind, precision measurements of CKM parameters as well as refinements in the ranges of light quark masses, we have examined the viability of all possible combinations of hermitian texture 5 zero quark mass matrices. Interestingly, one finds that all these possibilities are now excluded by the present quark mixing data, thereby, having important implications for model building.


title: PAC Model Checking of Black-Box Continuous-Time Dynamical Systems

abstract: In this paper we present a novel model checking approach to finite-time safety verification of black-box continuous-time dynamical systems within the framework of probably approximately correct (PAC) learning. The black-box dynamical systems are the ones, for which no model is given but whose states changing continuously through time within a finite time interval can be observed at some discrete time instants for a given input. The new model checking approach is termed as PAC model checking due to incorporation of learned models with correctness guarantees expressed using the terms error probability and confidence. Based on the error probability and confidence level, our approach provides statistically formal guarantees that the time-evolving trajectories of the black-box dynamical system over finite time horizons fall within the range of the learned model plus a bounded interval, contributing to insights on the reachability of the black-box system and thus on the satisfiability of its safety requirements. The learned model together with the bounded interval is obtained by scenario optimization, which boils down to a linear programming problem. Three examples demonstrate the performance of our approach.


title: An Accelerated-Decomposition Approach for Security-Constrained Unit Commitment with Corrective Network Reconfiguration- Part II: Results and Discussion

abstract: This paper presents a novel approach to handle the computational complexity in security-constrained unit commitment (SCUC) with corrective network reconfiguration (CNR) to harness the flexibility in transmission networks. This is achieved with consideration of scalability through decomposing the SCUC/SCUC-CNR formulation and then fast screening non-critical sub-problems. This is compared against the extensive formulations of SCUC and SCUC-CNR to show the advantages of the proposed typical-decomposition and accelerated-decomposition approaches to SCUC and SCUC-CNR respectively. Simulation results on the IEEE 24-bus system show that the proposed methods are substantially faster without the loss in solution quality. The proposed accelerated-decomposition approaches can be implemented for large power systems as they have great performance in the scalability tests on the IEEE 73-bus system and the Polish system when compared against the respective extensive formulations and typical-decomposition approaches. Overall, a dynamic post-contingency network can substantially alleviate network congestion and lead to a lower optimal cost.


title: Contextualizing Enhances Gradient Based Meta Learning

abstract: Meta learning methods have found success when applied to few shot classification problems, in which they quickly adapt to a small number of labeled examples. Prototypical representations, each representing a particular class, have been of particular importance in this setting, as they provide a compact form to convey information learned from the labeled examples. However, these prototypes are just one method of representing this information, and they are narrow in their scope and ability to classify unseen examples. We propose the implementation of contextualizers, which are generalizable prototypes that adapt to given examples and play a larger role in classification for gradient-based models. We demonstrate how to equip meta learning methods with contextualizers and show that their use can significantly boost performance on a range of few shot learning datasets. We also present figures of merit demonstrating the potential benefits of contextualizers, along with analysis of how models make use of them. Our approach is particularly apt for low-data environments where it is difficult to update parameters without overfitting. Our implementation and instructions to reproduce the experiments are available at https://github.com/naveace/proto-context.


title: Competing Bandits: The Perils of Exploration Under Competition

abstract: Most online platforms strive to learn from interactions with users, and many engage in exploration: making potentially suboptimal choices for the sake of acquiring new information. We study the interplay between exploration and competition: how such platforms balance the exploration for learning and the competition for users. Here users play three distinct roles: they are customers that generate revenue, they are sources of data for learning, and they are self-interested agents which choose among the competing platforms. We consider a stylized duopoly model in which two firms face the same multi-armed bandit problem. Users arrive one by one and choose between the two firms, so that each firm makes progress on its bandit problem only if it is chosen. Through a mix of theoretical results and numerical simulations, we study whether and to what extent competition incentivizes the adoption of better bandit algorithms, and whether it leads to welfare increases for users. We find that stark competition induces firms to commit to a "greedy" bandit algorithm that leads to low welfare. However, weakening competition by providing firms with some "free" users incentivizes better exploration strategies and increases welfare. We investigate two channels for weakening the competition: relaxing the rationality of users and giving one firm a first-mover advantage. Our findings are closely related to the "competition vs. innovation" relationship, and elucidate the first-mover advantage in the digital economy.


title: Lower Bound on Derivatives of Costa's Differential Entropy

abstract: Several conjectures concern the lower bound for the differential entropy $H(X_t)$ of an $n$-dimensional random vector $X_t$ introduced by Costa. Cheng and Geng conjectured that $H(X_t)$ is completely monotone, that is, $C_1(m,n): (-1)^{m+1}(d^m/d^m t)H(X_t)\ge0$. McKean conjectured that Gaussian $X_{Gt}$ achieves the minimum of $(-1)^{m+1}(d^m/d^m t)H(X_t)$ under certain conditions, that is, $C_2(m,n): (-1)^{m+1}(d^m/d^m t)H(X_t)\ge(-1)^{m+1}(d^m/d^m t)H(X_{Gt})$. McKean's conjecture was only considered in the univariate case before: $C_2(1,1)$ and $C_2(2,1)$ were proved by McKean and $C_2(i,1),i=3,4,5$ were proved by Zhang-Anantharam-Geng under the log-concave condition. In this paper, we prove $C_2(1,n)$, $C_2(2,n)$ and observe that McKean's conjecture might not be true for $n>1$ and $m>2$. We further propose a weaker version $C_3(m,n): (-1)^{m+1}(d^m/d^m t)H(X_t)\ge(-1)^{m+1}\frac{1}{n}(d^m/d^m t)H(X_{Gt})$ and prove $C_3(3,2)$, $C_3(3,3)$, $C_3(3,4)$, $C_3(4,2)$ under the log-concave condition. A systematical procedure to prove $C_l(m,n)$ is proposed based on semidefinite programming and the results mentioned above are proved using this procedure.


title: Jupyter Notebooks on GitHub: Characteristics and Code Clones

abstract: Jupyter notebooks has emerged as a standard tool for data science programming. Programs in Jupyter notebooks are different from typical programs as they are constructed by a collection of code snippets interleaved with text and visualisation. This allows interactive exploration and snippets may be executed in different order which may give rise to different results due to side-effects between snippets. Previous studies have shown the presence of considerable code duplication -- code clones -- in sources of traditional programs, in both so-called systems programming languages and so-called scripting languages. In this paper we present the first large-scale study of code cloning in Jupyter notebooks. We analyse a corpus of 2.7 million Jupyter notebooks hosted on GitHJub, representing 37 million individual snippets and 227 million lines of code. We study clones at the level of individual snippets, and study the extent to which snippets are recurring across multiple notebooks. We study both identical clones and approximate clones and conduct a small-scale ocular inspection of the most common clones. We find that code cloning is common in Jupyter notebooks -- more than 70% of all code snippets are exact copies of other snippets (with possible differences in white spaces), and around 50% of all notebooks do not have any unique snippet, but consists solely of snippets that are also found elsewhere. In notebooks written in Python, at least 80% of all snippets are approximate clones and the prevalence of code cloning is higher in Python than in other languages. We further find that clones between different repositories are far more common than clones within the same repository. However, the most common individual repository from which a Jupyter notebook contains clones is the repository in which itself resides.


title: Shape monotonicity of the first Steklov-Dirichlet eigenvalue on eccentric annuli

abstract: In this paper, we investigate the monotonicity of the first Steklov--Dirichlet eigenvalue on eccentric annuli with respect to the distance, namely $t$, between the centers of the inner and outer boundaries of an annulus. We first show the differentiability of the eigenvalue in $t$ and obtain an integral expression for the derivative value in two and higher dimensions. We then derive an upper bound of the eigenvalue for each $t$, in two dimensions, by the variational formulation. We also obtain a lower bound of the eigenvalue, given a restriction that the two boundaries of the annulus are sufficiently close. The key point of the proof of the lower bound is in analyzing the limit behavior of an infinite series expansion of the first eigenfunction in bipolar coordinates. We also perform numerical experiments that exhibit the monotonicity for two dimensions.


title: Tracking the Untrackable

abstract: Although short-term fully occlusion happens rare in visual object tracking, most trackers will fail under these circumstances. However, humans can still catch up the target by anticipating the trajectory of the target even the target is invisible. Recent psychology also has shown that humans build the mental image of the future. Inspired by that, we present a HAllucinating Features to Track (HAFT) model that enables to forecast the visual feature embedding of future frames. The anticipated future frames focus on the movement of the target while hallucinating the occluded part of the target. Jointly tracking on the hallucinated features and the real features improves the robustness of the tracker even when the target is highly occluded. Through extensive experimental evaluations, we achieve promising results on multiple datasets: OTB100, VOT2018, LaSOT, TrackingNet, and UAV123.


title: Dual Dynamic Programming for Multi-Scale Mixed-Integer MPC

abstract: We propose a dual dynamic integer programming (DDIP) framework for solving multi-scale mixed-integer model predictive control (MPC) problems. Such problems arise in applications that involve long horizons and/or fine temporal discretizations as well as mixed-integer states and controls (e.g., scheduling logic and discrete actuators). The approach uses a nested cutting-plane scheme that performs forward and backward sweeps along the time horizon to adaptively approximate cost-to-go functions. The DDIP scheme proposed can handle general MPC formulations with mixed-integer controls and states and can perform forward-backward sweeps over block time partitions. We demonstrate the performance of the proposed scheme by solving mixed-integer MPC problems that arise in the scheduling of central heating, ventilation, and air-conditioning (HVAC) plants. We show that the proposed scheme is scalable and dramatically outperforms state-of-the-art mixed-integer solvers.


title: Internet Traffic Volumes Are Not Gaussian -- They Are Log-Normal: An 18-Year Longitudinal Study With Implications for Modelling and Prediction (Complete Version)

abstract: Getting good statistical models of traffic on network links is a well-known, often-studied problem. A lot of attention has been given to correlation patterns and flow duration. The distribution of the amount of traffic per unit time is an equally important but less studied problem. We study a large number of traffic traces from many different networks including academic, commercial and residential networks using state-of-the-art statistical techniques. We show that traffic obeys the log-normal distribution which is a better fit than the Gaussian distribution commonly claimed in the literature. We also investigate an alternative heavy-tailed distribution (the Weibull) and show that its performance is better than Gaussian but worse than log-normal. We examine anomalous traces which exhibit a poor fit for all distributions tried and show that this is often due to traffic outages or links that hit maximum capacity. We demonstrate that the data we look at is stationary if we consider samples of 15- minute long or even 1-hour long. This gives confidence that we can use the distributions for estimation and modelling purposes. We demonstrate the utility of our findings in two contexts: predicting that the proportion of time traffic will exceed a given level (for service level agreement or link capacity estimation) and predicting 95th percentile pricing. We also show that the log-normal distribution is a better predictor than Gaussian or Weibull distributions in both contexts.


title: Conceptual Modeling of Time for Computational Ontologies

abstract: To provide a foundation for conceptual modeling, ontologies have been introduced to specify the entities, the existences of which are acknowledged in the model. Ontologies are essential components as mechanisms to model a portion of reality in software engineering. In this context, a model refers to a description of objects and processes that populate a system. Developing such a description constrains and directs the design, development, and use of the corresponding system, thus avoiding such difficulties as conflicts and lack of a common understanding. In this cross-area research between modeling and ontology, there has been a growing interest in the development and use of domain ontologies (e.g., Resource Description Framework, Ontology Web Language). This paper contributes to the establishment of a broad ontological foundation for conceptual modeling in a specific domain through proposing a workable ontology (abbreviated as TM). A TM is a one-category ontology called a thimac (things/machines) that is used to elaborate the design and analysis of ontological presumptions. The focus of the study is on such notions as change, event, and time. Several current ontological difficulties are reviewed and remodeled in the TM. TM modeling is also contrasted with time representation in SysML. The results demonstrate that a TM is a useful tool for addressing these ontological problems.


title: When deep learning meets causal inference: a computational framework for drug repurposing from real-world data

abstract: Drug repurposing is an effective strategy to identify new uses for existing drugs, providing the quickest possible transition from bench to bedside. Existing methods for drug repurposing that mainly focus on pre-clinical information may exist translational issues when applied to human beings. Real world data (RWD), such as electronic health records and insurance claims, provide information on large cohorts of users for many drugs. Here we present an efficient and easily-customized framework for generating and testing multiple candidates for drug repurposing using a retrospective analysis of RWDs. Building upon well-established causal inference and deep learning methods, our framework emulates randomized clinical trials for drugs present in a large-scale medical claims database. We demonstrate our framework in a case study of coronary artery disease (CAD) by evaluating the effect of 55 repurposing drug candidates on various disease outcomes. We achieve 6 drug candidates that significantly improve the CAD outcomes but not have been indicated for treating CAD, paving the way for drug repurposing.


title: On the Jensen convex and Jensen concave envelopes of means

abstract: In recent papers the convexity of quasiarithmetic means was characterized under twice differentiability assumptions. One of the main goals of this paper is to show that the convexity or concavity of a quasiarithmetic mean implies the the twice continuous differentiability of its generator. As a consequence of this result, we can characterize those quasiarithmetic means which admit a lower convex and upper concave quasiarithmetic envelop.


title: Sheaf quantization in Weinstein symplectic manifolds

abstract: Using the microlocal theory of sheaves, we associate a category to each Weinstein manifold. By constructing a microlocal specialization functor, we show that exact Lagrangians give objects in our category, and that the category is invariant under Weinstein homotopy.


title: Nested Hybrid Cylindrical Array Design and DoA Estimation for Massive IoT Networks

abstract: Reducing cost and power consumption while maintaining high network access capability is a key physical-layer requirement of massive Internet of Things (mIoT) networks. Deploying a hybrid array is a cost- and energy-efficient way to meet the requirement, but would penalize system degree of freedom (DoF) and channel estimation accuracy. This is because signals from multiple antennas are combined by a radio frequency (RF) network of the hybrid array. This paper presents a novel hybrid uniform circular cylindrical array (UCyA) for mIoT networks. We design a nested hybrid beamforming structure based on sparse array techniques and propose the corresponding channel estimation method based on the second-order channel statistics. As a result, only a small number of RF chains are required to preserve the DoF of the UCyA. We also propose a new tensor-based two-dimensional (2-D) direction-of-arrival (DoA) estimation algorithm tailored for the proposed hybrid array. The algorithm suppresses the noise components in all tensor modes and operates on the signal data model directly, hence improving estimation accuracy with an affordable computational complexity. Corroborated by a Cramer-Rao lower bound (CRLB) analysis, simulation results show that the proposed hybrid UCyA array and the DoA estimation algorithm can accurately estimate the 2-D DoAs of a large number of IoT devices.


title: Brane with Transverse Rotation and Background Fields: Boundary State and Tachyon Condensation

abstract: The boundary state corresponding to the D$p$-brane with a transverse rotation in the presence of the Kalb-Ramond and tachyon background fields and a $U(1)$ internal field will be constructed. We shall investigate effects of the open string tachyon condensation on this brane via its boundary state. We demonstrate that the background fields and transverse rotation cannot protect the brane against the collapse. Our calculations are in the context of the bosonic string theory.


title: Boundedness And Compactness Of Cauchy-Type Integral Commutator On Weighted Morrey Spaces

abstract: In this paper we study the boundedness and compactness characterizations of the commutator of Cauchy type integrals $\mathcal C$ on a bounded strongly pseudoconvex domain $D$ in $C^n$ with boundary $bD$ satisfying the minimum regularity condition $C^{2}$ based on the recent result of Lanzani-Stein and Duong-Lacey-Li-Wick-Wu. We point out that in this setting the Cauchy type integral $\mathcal C$ is the sum of the essential part $\mathcal{C}^\sharp$ which is a Calder\'on-Zygmund operator and a remainder $\mathcal R$ which is no longer a Calder\'on-Zygmund operator. We show that the commutator $[b, \mathcal C]$ is bounded on weighted Morrey space $L_{v}^{p,\kappa}(bD)$ ($v\in A_p, 1<p<\infty$) if and only if $b$ is in the BMO space on $bD$. Moreover, the commutator $[b, \mathcal C]$ is compact on weighted Morrey space $L_{v}^{p,\kappa}(bD)$ ($v\in A_p, 1<p<\infty$) if and only if $b$ is in the VMO space on $bD$.


title: Detection capabilities of the Athena X-IFU for the warm-hot intergalactic medium using gamma-ray burst X-ray afterglows

abstract: At low redshifts, the observed baryonic density falls far short of the total number of baryons predicted. Cosmological simulations suggest that these baryons reside in filamentary gas structures, known as the warm-hot intergalactic medium (WHIM). As a result of the high temperatures of these filaments, the matter is highly ionised such that it absorbs and emits far-UV and soft X-ray photons. Athena, the proposed European Space Agency X-ray observatory, aims to detect the `missing' baryons in the WHIM up to redshifts of $z=1$ through absorption in active galactic nuclei and gamma-ray burst afterglow spectra, allowing for the study of the evolution of these large-scale structures of the Universe. This work simulates WHIM filaments in the spectra of GRB X-ray afterglows with Athena using the SImulation of X-ray TElescopes (SIXTE) framework. We investigate the feasibility of their detection with the X-IFU instrument, through O VII ($E=573$ eV) and O VIII ($E=674$ eV) absorption features, for a range of equivalent widths imprinted onto GRB afterglow spectra of observed starting fluxes ranging between $10^{-12}$ and $10^{-10}$ erg cm$^{-2}$ s$^{-1}$, in the 0.3-10 keV energy band. The analyses of X-IFU spectra by blind line search show that Athena will be able to detect O VII-O VIII absorption pairs with EW$_\mathrm{O VII} > 0.13$ eV and EW$_\mathrm{O VIII} > 0.09$ eV for afterglows with $F>2 \times 10^{-11}$ erg cm$^{-2}$ s$^{-1}$. This allows for the detection of $\approx$ 45-137 O VII-O VIII absorbers during the four-year mission lifetime. The work shows that to obtain an O VII-O VIII detection of high statistical significance, the local hydrogen column density should be limited at $N_\mathrm{H}<8 \times 10^{20}$ cm$^{-2}$.


title: Analysing Meso and Macro conversation structures in an online suicide support forum

abstract: Platforms like Reddit and Twitter offer internet users an opportunity to talk about diverse issues, including those pertaining to physical and mental health. Some of these forums also function as a safe space for severely distressed mental health patients to get social support from peers. The online community platform Reddit's SuicideWatch is one example of an online forum dedicated specifically to people who suffer from suicidal thoughts, or who are concerned about people who might be at risk. It remains to be seen if these forums can be used to understand and model the nature of online social support, not least because of the noisy and informal nature of conversations. Moreover, understanding how a community of volunteering peers react to calls for help in cases of suicidal posts, would help to devise better tools for online mitigation of such episodes. In this paper, we propose an approach to characterise conversations in online forums. Using data from the SuicideWatch subreddit as a case study, we propose metrics at a macroscopic level -- measuring the structure of the entire conversation as a whole. We also develop a framework to measure structures in supportive conversations at a mesoscopic level -- measuring interactions with the immediate neighbours of the person in distress. We statistically show through comparison with baseline conversations from random Reddit threads that certain macro and meso-scale structures in an online conversation exhibit signatures of social support, and are particularly over-expressed in SuicideWatch conversations.


title: Variable Selection in Macroeconomic Forecasting with Many Predictors

abstract: In the data-rich environment, using many economic predictors to forecast a few key variables has become a new trend in econometrics. The commonly used approach is factor augment (FA) approach. In this paper, we pursue another direction, variable selection (VS) approach, to handle high-dimensional predictors. VS is an active topic in statistics and computer science. However, it does not receive as much attention as FA in economics. This paper introduces several cutting-edge VS methods to economic forecasting, which includes: (1) classical greedy procedures; (2) l1 regularization; (3) gradient descent with sparsification and (4) meta-heuristic algorithms. Comprehensive simulation studies are conducted to compare their variable selection accuracy and prediction performance under different scenarios. Among the reviewed methods, a meta-heuristic algorithm called sequential Monte Carlo algorithm performs the best. Surprisingly the classical forward selection is comparable to it and better than other more sophisticated algorithms. In addition, we apply these VS methods on economic forecasting and compare with the popular FA approach. It turns out for employment rate and CPI inflation, some VS methods can achieve considerable improvement over FA, and the selected predictors can be well explained by economic theories.


title: A note on an extension of Gelfond's constant

abstract: The aim of this note is to provide a natural extension of Gelfond's constant $e^\pi$ using a hypergeometric function approach. An extension is also found for the square root of this constant. A few interesting special cases are presented.


title: Inter-Mobile-Device Distance Estimation using Network Localization Algorithms for Digital Contact Logging Applications

abstract: Mobile applications are being developed for automated logging of contacts via Bluetooth to help scale up digital contact tracing efforts in the context of the ongoing COVID-19 pandemic. A useful component of such applications is inter-device distance estimation, which can be formulated as a network localization problem. We survey several approaches and evaluate the performance of each on real and simulated Bluetooth Low Energy (BLE) measurement datasets with respect to both distance estimate accuracy and the proximity detection problem. We investigate the effects of obstructions like pockets, differences between device models, and the environment (i.e. indoors or outdoors) on performance. We conclude that while direct estimation can provide the best proximity detection when Received Signal Strength Indicator (RSSI) measurements are available, network localization algorithms like Isomap, Local Linear Embedding, and the spring model outperform direct estimation in the presence of missing or very noisy measurements. The spring model consistently achieves the best distance estimation accuracy.


title: Bayesian Non-Parametric Detection Heterogeneity in Ecological Models

abstract: Detection heterogeneity is inherent to ecological data, arising from factors such as varied terrain or weather conditions, inconsistent sampling effort, or heterogeneity of individuals themselves. Incorporating additional covariates into a statistical model is one approach for addressing heterogeneity, but is no guarantee that any set of measurable covariates will adequately address the heterogeneity, and the presence of unmodelled heterogeneity has been shown to produce biases in the resulting inferences. Other approaches for addressing heterogeneity include the use of random effects, or finite mixtures of homogeneous subgroups. Here, we present a non-parametric approach for modelling detection heterogeneity for use in a Bayesian hierarchical framework. We employ a Dirichlet process mixture which allows a flexible number of population subgroups without the need to pre-specify this number of subgroups as in a finite mixture. We describe this non-parametric approach, then consider its use for modelling detection heterogeneity in two common ecological motifs: capture-recapture and occupancy modelling. For each, we consider a homogeneous model, finite mixture models, and the non-parametric approach. We compare these approaches using two simulation studies, and observe the non-parametric approach as the most reliable method for addressing varying degrees of heterogeneity. We also present two real-data examples, and compare the inferences resulting from each modelling approach. Analyses are carried out using the \texttt{nimble} package for \texttt{R}, which provides facilities for Bayesian non-parametric models.


title: "Self-Wiener" Filtering: Data-Driven Deconvolution of Deterministic Signals

abstract: We consider the problem of robust deconvolution, and particularly the recovery of an unknown deterministic signal convolved with a known filter and corrupted by additive noise. We present a novel, non-iterative data-driven approach. Specifically, our algorithm works in the frequency-domain, where it tries to mimic the optimal unrealizable non-linear Wiener-like filter as if the unknown deterministic signal were known. This leads to a threshold-type regularized estimator, where the threshold at each frequency is determined in a data-driven manner. We perform a theoretical analysis of our proposed estimator, and derive approximate formulas for its Mean Squared Error (MSE) at both low and high Signal-to-Noise Ratio (SNR) regimes. We show that in the low SNR regime our method provides enhanced noise suppression, and in the high SNR regime it approaches the optimal unrealizable solution. Further, as we demonstrate in simulations, our solution is highly suitable for (approximately) bandlimited or frequency-domain sparse signals, and provides a significant gain of several dBs relative to other methods in the resulting MSE.


title: Minimality and uniqueness for decompositions of specific ternary forms

abstract: The paper deals with the computation of the rank and the identifiability of a specific ternary form. Often, one knows some short Waring decomposition of a given form, and the problem is to determine whether the decomposition is minimal and unique. We show how the analysis of the Hilbert-Burch matrix of the set of points representing the decomposition can solve this problem in the case of ternary forms. Moreover, when the decomposition is not unique, we show how the procedure of liaison can provide alternative, maybe shorter, decompositions. We give an explicit algorithm that tests our criterion of minimality for the case of ternary forms of degree $9$. This is the first numerical case in which a new phaenomenon appears: the span of $18$ general powers of linear forms contains points of (subgeneric) rank $18$, but it also contains points whose rank is $17$, due to the existence of a second shorter decomposition which is completely different from the given one.


title: Semi-algebraic motives

abstract: We define a category of motives for semi-algebraic spaces and show that it is trivial. This implies that there is no good extension of algebraic de Rham cohomology to semi-algebraic spaces compatible with the period isomorphism.


title: On consistency and existence in mathematics

abstract: This paper engages the question "Does the consistency of a set of axioms entail the existence of a model in which they are satisfied?" within the frame of the Frege-Hilbert controversy. The question is related historically to the formulation, proof, and reception of G\"odel's Completeness Theorem. Tools from mathematical logic are then used to argue that there are precise senses in which Frege was correct to maintain that demonstrating consistency is as difficult as it can be but also in which Hilbert was correct to maintain that demonstrating existence given consistency is as easy as it can be.


title: Privacy-Preserving Multi-Operator Contact Tracing for Early Detection of Covid19 Contagions

abstract: The outbreak of coronavirus disease 2019 (covid-19) is imposing a severe worldwide lock-down. Contact tracing based on smartphones' applications (apps) has emerged as a possible solution to trace contagions and enforce a more sustainable selective quarantine. However, a massive adoption of these apps is required to reach the critical mass needed for effective contact tracing. As an alternative, geo-location technologies in next generation networks (e.g., 5G) can enable Mobile Operators (MOs) to perform passive tracing of users' mobility and contacts with a promised accuracy of down to one meter. To effectively detect contagions, the identities of positive individuals, which are known only by a Governmental Authority (GA), are also required. Note that, besides being extremely sensitive, these data might also be critical from a business perspective. Hence, MOs and the GA need to exchange and process users' geo-locations and infection status data in a privacy-preserving manner. In this work, we propose a privacy-preserving protocol that enables multiple MOs and the GA to share and process users' data to make only the final users discover the number of their contacts with positive individuals. The protocol is based on existing privacy-enhancing strategies that guarantee that users' mobility and infection status are only known to their MOs and to the GA, respectively. From extensive simulations, we observe that the cost to guarantee total privacy (evaluated in terms of data overhead introduced by the protocol) is acceptable, and can also be significantly reduced if we accept a negligible compromise in users' privacy.


title: Intrinsic Properties of Bipolarons in Armchair Graphene Nanoribbons

abstract: We performed an investigation concerning bipolaron dynamics in armchair graphene nanoribbons (AGNRs) under the influence of different electric field and electron-phonon coupling regimes. By studying the response to the electric excitation, we were able to determine the effective mass and terminal velocity of this quasiparticle in AGNRs. Remarkably, bipolarons in narrower AGNRs move as fast as the ones in conjugated polymers. Our findings pave the way to enhance the understanding of the behavior of charge carriers in graphene nanoribbons.


title: Discrete Point Flow Networks for Efficient Point Cloud Generation

abstract: Generative models have proven effective at modeling 3D shapes and their statistical variations. In this paper we investigate their application to point clouds, a 3D shape representation widely used in computer vision for which, however, only few generative models have yet been proposed. We introduce a latent variable model that builds on normalizing flows with affine coupling layers to generate 3D point clouds of an arbitrary size given a latent shape representation. To evaluate its benefits for shape modeling we apply this model for generation, autoencoding, and single-view shape reconstruction tasks. We improve over recent GAN-based models in terms of most metrics that assess generation and autoencoding. Compared to recent work based on continuous flows, our model offers a significant speedup in both training and inference times for similar or better performance. For single-view shape reconstruction we also obtain results on par with state-of-the-art voxel, point cloud, and mesh-based methods.


title: Persistence properties for the dispersion generalized BO-ZK equation in weighted anisotropic Sobolev spaces

abstract: In this paper we study the initial-value problem associated with the dispersion generalized-Benjamin-Ono-Zakharov-Kuznetsov equation, $$ u_{t}+D^{a+1}_x \partial_{x}u+u_{xyy}+uu_{x}=0, \qquad a\in(0,1). $$ More specifically, we study the persistence property of the solution in the weighted anisotropic Sobolev spaces $$ H^{(1+a)s,2s}(\R^{2})\cap L^{2}((x^{2r_1} +y^{2r_2})dxdy), $$ for appropriate $s$, $r_1$ and $r_2$. By establishing unique continuation properties we also show that our results are sharp with respect to the decay in the $x$-direction.


title: NPCFace: Negative-Positive Collaborative Training for Large-scale Face Recognition

abstract: The training scheme of deep face recognition has greatly evolved in the past years, yet it encounters new challenges in the large-scale data situation where massive and diverse hard cases occur. Especially in the range of low false accept rate (FAR), there are various hard cases in both positives (intra-class) and negatives (inter-class). In this paper, we study how to make better use of these hard samples for improving the training. The literature approaches this by margin-based formulation in either positive logit or negative logits. However, the correlation between hard positive and hard negative is overlooked, and so is the relation between the margins in positive and negative logits. We find such correlation is significant, especially in the large-scale dataset, and one can take advantage from it to boost the training via relating the positive and negative margins for each training sample. To this end, we propose an explicit collaboration between positive and negative margins sample-wisely. Given a batch of hard samples, a novel Negative-Positive Collaboration loss, named NPCFace, is formulated, which emphasizes the training on both negative and positive hard cases via the collaborative-margin mechanism in the softmax logits, and also brings better interpretation of negative-positive hardness correlation. Besides, the emphasis is implemented with an improved formulation to achieve stable convergence and flexible parameter setting. We validate the effectiveness of our approach on various benchmarks of large-scale face recognition, and obtain advantageous results especially in the low FAR range.


title: Coulomb Corrections for Bose-Einstein Correlations from One- And Three-Dimensional L\'evy-Type Source Functions

abstract: In the study of femtoscopic correlations in high-energy physics, besides Bose--Einstein correlations, one has to take final-state interactions into account. Amongst them, Coulomb interactions play a prominent role in the case of charged particles. Recent measurements have shown that in heavy-ion collisions, Bose--Einstein correlations can be best described by L\'evy-type sources instead of the more common Gaussian assumption. Furthermore, three-dimensional measurements have indicated that, depending on the choice of frame, a deviation from spherical symmetry observed under the assumption of Gaussian source functions persists in the case of L\'evy-type sources. To clarify such three-dimensional L\'evy-type correlation measurements, it is thus important to study the effect of Coulomb interactions in the case of non-spherical L\'evy sources. We calculated the Coulomb correction factor numerically in the case of such a source function for assorted kinematic domains and parameter values using the Metropolis--Hastings algorithm and compared our results with previous methods to treat Coulomb interactions in the presence of L\'evy sources.


title: Multi-Server Weakly-Private Information Retrieval

abstract: Private information retrieval (PIR) protocols ensure that a user can download a file from a database without revealing any information on the identity of the requested file to the servers storing the database. While existing protocols strictly impose that no information is leaked on the file's identity, this work initiates the study of the tradeoffs that can be achieved by relaxing the perfect privacy requirement. We refer to such protocols as weakly-private information retrieval (WPIR) protocols. In particular, for the case of multiple noncolluding replicated servers, we study how the download rate, the upload cost, and the access complexity can be improved when relaxing the full privacy constraint. To quantify the information leakage on the requested file's identity we consider mutual information (MI), worst-case information leakage, and maximal leakage (MaxL). We present two WPIR schemes, denoted by Scheme A and Scheme B, based on two recent PIR protocols and show that the download rate of the former can be optimized by solving a convex optimization problem. We also show that Scheme A achieves an improved download rate compared to the recently proposed scheme by Samy et al. under the so-called $\epsilon$-privacy metric. Additionally, a family of schemes based on partitioning is presented. Moreover, we provide an information-theoretic converse bound for the maximum possible download rate for the MI and MaxL privacy metrics under a practical restriction on the alphabet size of queries and answers. For two servers and two files, the bound is tight under the MaxL metric, which settles the WPIR capacity in this particular case. Finally, we compare the performance of the proposed schemes and their gap to the converse bound.


title: Look and Listen: A Multi-modality Late Fusion Approach to Scene Classification for Autonomous Machines

abstract: The novelty of this study consists in a multi-modality approach to scene classification, where image and audio complement each other in a process of deep late fusion. The approach is demonstrated on a difficult classification problem, consisting of two synchronised and balanced datasets of 16,000 data objects, encompassing 4.4 hours of video of 8 environments with varying degrees of similarity. We first extract video frames and accompanying audio at one second intervals. The image and the audio datasets are first classified independently, using a fine-tuned VGG16 and an evolutionary optimised deep neural network, with accuracies of 89.27% and 93.72%, respectively. This is followed by late fusion of the two neural networks to enable a higher order function, leading to accuracy of 96.81% in this multi-modality classifier with synchronised video frames and audio clips. The tertiary neural network implemented for late fusion outperforms classical state-of-the-art classifiers by around 3% when the two primary networks are considered as feature generators. We show that situations where a single-modality may be confused by anomalous data points are now corrected through an emerging higher order integration. Prominent examples include a water feature in a city misclassified as a river by the audio classifier alone and a densely crowded street misclassified as a forest by the image classifier alone. Both are examples which are correctly classified by our multi-modality approach.


title: Mass-dependence of pseudocritical temperature in mean field approximation

abstract: We restrict our computation in the mean field approximation which could lead to a clear critical behavior. We analyze the scaling behavior with different shape of interaction kernel by considering different dressed-gluon models. The critical exponent we obtained is consistent with that in the $3D$ $\textrm{O}(4)$ universality class. The size of critical region is up to $m_{0}^{} \le 2\sim 4\;$MeV in this mean field approximation which sets naturally an upper bound of the critical region since the fluctuations beyond mean-field usually diminish the critical region. Besides, we analyze the possible percentage of the maximum chiral susceptibility and pion mass range at which the chiral phase transition temperature is independent of the current quark mass. The results show that the percentage and the pion mass range depend on the details of interaction kernel, which differs in gluon models.


title: Optimal control of an optical quantum memory based on noble-gas spins

abstract: In Ref. [Katz et al., arXiv:2007.08770 (2020)], we present a mechanism and optimal procedures for mapping the quantum state of photons onto an optically inaccessible macroscopic state of noble-gas spins, which functions as a quantum memory. Here we introduce and analyze a detailed model of the memory operation. We derive the equations of motion for storage and retrieval of non-classical light and design optimal control strategies. The detailed model accounts for quantum noise and for thermal atomic motion, including the effects of optical mode structure and imperfect anti-relaxation wall coating. We conclude with proposals of practical experimental configurations of the memory, with lifetimes ranging from seconds to hours.


title: Optimization based model order reduction for stochastic systems

abstract: In this paper, we bring together the worlds of model order reduction for stochastic linear systems and $\mathcal H_2$-optimal model order reduction for deterministic systems. In particular, we supplement and complete the theory of error bounds for model order reduction of stochastic differential equations. With these error bounds, we establish a link between the output error for stochastic systems (with additive and multiplicative noise) and modified versions of the $\mathcal H_2$-norm for both linear and bilinear deterministic systems. When deriving the respective optimality conditions for minimizing the error bounds, we see that model order reduction techniques related to iterative rational Krylov algorithms (IRKA) are very natural and effective methods for reducing the dimension of large-scale stochastic systems with additive and/or multiplicative noise. We apply modified versions of (linear and bilinear) IRKA to stochastic linear systems and show their efficiency in numerical experiments.


title: A quantum simulation of dissociative ionization of $H_2^+$ in full dimensionality with time dependent surface flux method

abstract: The dissociative ionization of $H_2^+$ in a linearly polarized, 400 nm laser pulse is simulated by solving a three-particle time-dependent Schr\"odinger equation in full dimensionality without using any data from quantum chemistry computation. The joint energy spectrum (JES) is computed using a time-dependent surface flux (tSurff) method, the details of which are given. The calculated ground energy is -0.597 atomic units and internuclear distance is 1.997 atomic units if the kinetic energy term of protons is excluded, consistent with the reported precise values from quantum chemistry computation. If the kinetic term of the protons is included, the ground energy is -0.592 atomic units with an internuclear distance 2.05 atomic units. Energy sharing is observed in JES and we find peak of the JES with respect to nuclear kinetic energy release (KER) is within $2\sim4$ eV, which is different from the previous two dimensional computations (over 10 eV), but is close to the reported experimental values. The projected energy distribution on azimuth angles shows that the electron and the protons tend to dissociate in the direction of polarization of the laser pulse.


title: Existence results for the higher-order $Q$-curvature equation

abstract: We obtain existence results for the $Q$-curvature equation of order $2k$ on a closed Riemannian manifold of dimension $n\ge 2k+1$, where $k\ge1$ is an integer. We obtain these results under the assumptions that the Yamabe invariant of order $2k$ is positive and the Green's function of the corresponding operator is positive, which are satisfied for instance when the manifold is Einstein with positive scalar curvature. In the case where $2k+1\le n\le2k+3$ or $(M,g)$ is locally conformally flat, we assume moreover that the operator has positive mass. In the case where $n\ge2k+4$ and $(M,g)$ is not locally conformally flat, the results essentially reduce to the determination of the sign of a complicated constant depending only on $n$ and $k$.


title: Mixed Moments for the Product of Ginibre Matrices

abstract: We study the ensemble of a product of n complex Gaussian i.i.d. matrices. We find this ensemble is Gaussian with a variance matrix which is averaged over a multi-Wishart ensemble. We compute the mixed moments and find that at large $N$, they are given by an enumeration of non-crossing pairings weighted by Fuss-Catalan numbers.

categories: math-ph cond-mat.stat-mech hep-th math.MP stat.ML


title: Time Series Source Separation with Slow Flows

abstract: In this paper, we show that slow feature analysis (SFA), a common time series decomposition method, naturally fits into the flow-based models (FBM) framework, a type of invertible neural latent variable models. Building upon recent advances on blind source separation, we show that such a fit makes the time series decomposition identifiable.


title: Overlapping-sample Mendelian randomisation with multiple exposures: A Bayesian approach

abstract: Background: Mendelian randomization (MR) has been widely applied to causal inference in medical research. It uses genetic variants as instrumental variables (IVs) to investigate putative causal relationship between an exposure and an outcome. Traditional MR methods have dominantly focussed on a two-sample setting in which IV-exposure association study and IV-outcome association study are independent. However, it is not uncommon that participants from the two studies fully overlap (one-sample) or partly overlap (overlapping-sample). Methods: We proposed a method that is applicable to all the three sample settings. In essence, we converted a two- or overlapping- sample problem to a one-sample problem where data of some or all of the individuals were incomplete. Assume that all individuals were drawn from the same population and unmeasured data were missing at random. Then the unobserved data were treated au pair with the model parameters as unknown quantities, and thus, could be imputed iteratively conditioning on the observed data and estimated parameters using Markov chain Monte Carlo. We generalised our model to allow for pleiotropy and multiple exposures and assessed its performance by a number of simulations using four metrics: mean, standard deviation, coverage and power. Results: Higher sample overlapping rate and stronger instruments led to estimates with higher precision and power. Pleiotropy had a notably negative impact on the estimates. Nevertheless, overall the coverages were high and our model performed well in all the sample settings. Conclusions: Our model offers the flexibility of being applicable to any of the sample settings, which is an important addition to the MR literature which has restricted to one- or two- sample scenarios. Given the nature of Bayesian inference, it can be easily extended to more complex MR analysis in medical research.


title: One family of 13315 stable periodic orbits of the non-hierarchical unequal-mass triple system

abstract: The three-body problem has been studied for more than three centuries [1,2], and has received much attention in recent years [3-5]. It shows complex dynamical phenomena due to the mutual gravitational interaction of the three bodies. Triple systems are common in astronomy, but all observed periodic triple systems are hierarchical up till now [6-8]. It is traditionally believed that bound non-hierarchical triple systems are almost unstable and disintegrate into a stable binary system and a single star [5], and thus stable periodic orbits of non-hierarchical triple systems are rather scarce. Here we report one family of 13315 stable periodic orbits of the non-hierarchical triple system with unequal mass. Compared with the narrow mass region (only 10E-5) of the stable figure-eight solution [9], our newly-found stable periodic orbits can have fairly large mass region. It is found that many of these newly-found stable periodic orbits have the mass ratios close to those of the hierarchical triple systems that have been measured by the astronomical observation. It implies that these stable periodic orbits of the non-hierarchical triple system with distinctly unequal masses can be quite possibly observed in practice. Our investigation also suggests that there should exist an infinite number of stable periodic orbits of non-hierarchical triple systems with distinctly unequal masses. Obviously, these stable periodic orbits of the non-hierarchical unequal-mass triple system have broad impact for the astrophysical scenario: they could inspire the theoretical and observational study of the non-hierarchical triple system, the formation of triple stars [6], the gravitational waves pattern [10] and the gravitational waves observation [11] of the non-hierarchical triple system.


title: A Comprehensive Evaluation of Multi-task Learning and Multi-task Pre-training on EHR Time-series Data

abstract: Multi-task learning (MTL) is a machine learning technique aiming to improve model performance by leveraging information across many tasks. It has been used extensively on various data modalities, including electronic health record (EHR) data. However, despite significant use on EHR data, there has been little systematic investigation of the utility of MTL across the diverse set of possible tasks and training schemes of interest in healthcare. In this work, we examine MTL across a battery of tasks on EHR time-series data. We find that while MTL does suffer from common negative transfer, we can realize significant gains via MTL pre-training combined with single-task fine-tuning. We demonstrate that these gains can be achieved in a task-independent manner and offer not only minor improvements under traditional learning, but also notable gains in a few-shot learning context, thereby suggesting this could be a scalable vehicle to offer improved performance in important healthcare contexts.


title: A unified ballistic transport relation for anisotropic dispersions and generalized dimensions

abstract: An analytical formula is derived for particle and energy densities of fermions and bosons, and their ballistic momentum and energy currents for anisotropic energy dispersions in generalized dimensions. The formulation considerably simplifies the comparison of the statistical properties and ballistic particle and energy transport currents of electrons, acoustic phonons, and photons in various dimensions in a unified manner. Assorted examples of its utility are discussed, ranging from blackbody radiation to Schottky diodes and ballistic transistors, quantized electrical and thermal conductance, generalized ballistic Seebeck and Peltier coefficients, their Onsager relations, the generalized Wiedemann-Franz law and the robustness of the Lorenz number, and ballistic thermoelectric power factors, all of which are obtained from the single formula. The new formulation predicts a thermoelectric power factor behaviour of 3D Dirac bands which has not been observed yet.


title: Transition probabilities and transition rates in discrete phase space

abstract: The evolution of the discrete Wigner function is formally similar to a probabilistic process, but the transition probabilities, like the discrete Wigner function itself, can be negative. We investigate these transition probabilities, as well as the transition rates for a continuous process, aiming particularly to give simple criteria for deciding when a set of such quantities corresponds to a legitimate quantum process. We also show how the transition rates for any Hamiltonian evolution can be worked out by expanding the Hamiltonian as a linear combination of displacement operators in the discrete phase space.


title: Random perturbations of an eco-epidemiological model

abstract: We consider random perturbations of a general eco-epidemiological model. We prove the existence of a global random attractor, the persistence of susceptibles preys and provide conditions for the simultaneous extinction of infectives and predators. We also discuss the dynamics of the corresponding random epidemiological $SI$ and predator-prey models. We obtain for this cases a global random attractor, prove the prevalence of susceptibles/preys and provide conditions for the extinctions of infectives/predators.


title: The Gaia-ESO Survey: Spectroscopic-asteroseismic analysis of K2 stars in Gaia-ESO

abstract: The extensive stellar spectroscopic datasets that are available for studies in Galactic Archeaology thanks to, for example, the Gaia-ESO Survey, now benefit from having a significant number of targets that overlap with asteroseismology projects such as Kepler, K2 and CoRoT. Combining the measurements from spectroscopy and asteroseismology allows us to attain greater accuracy with regard to the stellar parameters needed to characterise the stellar populations of the Milky Way. The aim of this Gaia-ESO Survey special project is to produce a catalogue of self-consistent stellar parameters by combining measurements from high-resolution spectroscopy and precision asteroseismology. We carried out an iterative analysis of 90 K2@Gaia-ESO red giants. The spectroscopic values of Teff were used as input in the seismic analysis to obtain log(g) values. The seismic estimates of log(g) were then used to re-determine the spectroscopic values of Teff and [Fe/H]. Only one iteration was required to obtain parameters that are in good agreement for both methods and thus, to obtain the final stellar parameters. A detailed analysis of outliers was carried out to ensure a robust determination of the parameters. The results were then combined with Gaia DR2 data to compare the seismic log(g) with a parallax-based log(g) and to investigate instances of variations in the velocity and possible binaries within the dataset. This analysis produced a high-quality catalogue of stellar parameters for 90 red giant stars observed by both K2 and Gaia-ESO that were determined through iterations between spectroscopy and asteroseismology. We compared the seismic gravities with those based on Gaia parallaxes to find an offset which is similar to other studies that have used asteroseismology. Our catalogue also includes spectroscopic chemical abundances and radial velocities, as well as indicators for possible binary detections.


title: The resurgent structure of quantum knot invariants

abstract: The asymptotic expansion of quantum knot invariants in complex Chern-Simons theory gives rise to factorially divergent formal power series. We conjecture that these series are resurgent functions whose Stokes automorphism is given by a pair of matrices of $q$-series with integer coefficients, which are determined explicitly by the fundamental solutions of a pair of linear $q$-difference equations. We further conjecture that for a hyperbolic knot, a distinguished entry of those matrices equals to the Dimofte-Gaiotto-Gukov 3D-index, and thus is given by a counting of BPS states. We illustrate our conjectures explicitly by matching theoretically and numerically computed integers for the cases of the $4_1$ and the $5_2$ knots.


title: Modulational instability of dust-ion-acoustic waves and associated envelope solitons in a non-thermal plasma

abstract: A theoretical investigation has been made to understand the mechanism of the formation of both bright and dark envelope soltions associated with dust-ion-acoustic waves (DIAWs) propagating in an unmagnetized three component dusty plasma medium having inertial warm positive ions and negative dust grains, and inertialess non-thermal Cairns' distributed electrons. A nonlinear Schr\"{o}dinger equation (NLSE) is derived by employing reductive perturbation method. The effects of plasma parameters, viz., $\gamma_2$ (the ratio of the positive ion temperature to electron temperature times the charge state of ion) and $\nu$ (the ratio of the charge state of negative dust grain to positive ion) on the modulational instability of DIAW which is governed by NLSE, are extensively studied. It is found that increasing the value of the ion (electron) temperature reduces (enhances) the critical wave number ($k_c$). The results of our present theoretical work may be used to interpret the nonlinear electrostatic structures which can exist in many astrophysical environments and laboratory plasmas.


title: Near-threshold $K^*(892)^+$ meson production in the interaction of $\pi^-$ mesons with nuclei

abstract: We study the inclusive strange vector meson $K^*(892)^+$ production in ${\pi^-}A$ reactions at near-threshold laboratory incident pion momenta of 1.4--2.0 GeV/c within a nuclear spectral function approach. The approach accounts for incoherent primary $\pi^-$ meson--proton ${\pi^-}p \to {K^*(892)^+}\Sigma^-$ production processes as well as the influence of the scalar $K^*(892)^+$--nucleus potential (or the $K^*(892)^+$ in-medium mass shift) on these processes. We calculate the absolute differential and total cross sections for the production of $K^*(892)^+$ mesons off carbon and tungsten nuclei at laboratory angles of 0$^{\circ}$--45$^{\circ}$ and at these momenta within five scenarios for the above shift. We show that the $K^*(892)^+$ momentum distributions and their excitation functions (absolute and relative) possess a high sensitivity to changes in the in-medium $K^*(892)^+$ mass shift in the low-momentum region of 0.1--0.6 GeV/c. Therefore, the measurement of such observables in a dedicated experiment at the GSI pion beam facility in the near-threshold momentum domain will allow to get valuable information on the $K^*(892)^+$ in-medium properties.


title: Multimessenger observations of counterparts to IceCube-190331A

abstract: High-energy neutrinos are a promising tool for identifying astrophysical sources of high and ultra-high energy cosmic rays (UHECR). Prospects of detecting neutrinos at high energies ($\gtrsim$TeV) from blazars have been boosted after the recent association of IceCube-170922A and TXS 0506+056. We investigate the high-energy neutrino, IceCube-190331A, a high-energy starting event (HESE) with a high likelihood of being astrophysical in origin. We initiated a Swift/XRT and UVOT tiling mosaic of the neutrino localisation, and followed up with ATCA radio observations, compiling a multiwavelength SED for the most likely source of origin. NuSTAR observations of the neutrino location and a nearby X-ray source were also performed. We find two promising counterpart in the 90% confidence localisation region and identify the brightest as the most likely counterpart. However, no Fermi/LAT $\gamma$-ray source and no prompt Swift/BAT source is consistent with the neutrino event. At this point it is unclear whether any of the counterparts produced IceCube-190331A. We note that the Helix Nebula is also consistent with the position of the neutrino event, and we calculate that associated particle acceleration processes cannot produce the required energies to generate a high-energy HESE neutrino.