title: Jackson theorem and modulus of continuity in Hilbert spaces and on homogeneous manifolds

abstract: We consider a Hilbert space ${\bf H}$ equipped with a set of strongly continuous bounded semigroups satisfying certain conditions. The conditions allow to define a family of moduli of continuity $\Omega^{r}(s,f),\>r\in \mathbb{N}, s>0,$ of vectors in ${\bf H}$ and a family of Paley-Wiener subspaces $PW_{\sigma}$ parametrized by bandwidth $\sigma>0$. These subspaces are explored to introduce notion of the best approximation $\mathcal{E}(\sigma, f)$ of a general vector in ${\bf H}$ by Paley-Wiener vectors of a certain bandwidth $\sigma>0$. The main objective of the paper is to prove the so-called Jackson-type estimate $\mathcal{E}(\sigma, f)\leq C\left( \Omega^{r}(\sigma^{-1},f)+\sigma^{-r}\|f\|\right)$ for $\sigma>1$. It was shown in our previous publications that our assumptions are satisfied for a strongly continuous unitary representation of a Lie group $G$ in a Hilbert space ${\bf H}$. This way we obtain the Jackson-type estimates on homogeneous manifolds.


title: Dark energy, Ricci-nonflat spaces, and the Swampland

abstract: It was recently pointed out that the existence of dark energy imposes highly restrictive constraints on effective field theories that satisfy the Swampland conjectures. We provide a critical confrontation of these constraints with the cosmological framework emerging from the Salam-Sezgin model and its string realization by Cvetic, Gibbons, and Pope. We also discuss the implication of the constraints for string model building.


title: Data-driven learning of robust nonlocal physics from high-fidelity synthetic data

abstract: A key challenge to nonlocal models is the analytical complexity of deriving them from first principles, and frequently their use is justified a posteriori. In this work we extract nonlocal models from data, circumventing these challenges and providing data-driven justification for the resulting model form. Extracting provably robust data-driven surrogates is a major challenge for machine learning (ML) approaches, due to nonlinearities and lack of convexity. Our scheme allows extraction of provably invertible nonlocal models whose kernels may be partially negative. To achieve this, based on established nonlocal theory, we embed in our algorithm sufficient conditions on the non-positive part of the kernel that guarantee well-posedness of the learnt operator. These conditions are imposed as inequality constraints and ensure that models are robust, even in small-data regimes. We demonstrate this workflow for a range of applications, including reproduction of manufactured nonlocal kernels; numerical homogenization of Darcy flow associated with a heterogeneous periodic microstructure; nonlocal approximation to high-order local transport phenomena; and approximation of globally supported fractional diffusion operators by truncated kernels.


title: Characterising brown dwarf companions with IRDIS long-slit spectroscopy: HD 1160 B and HD 19467 B

abstract: The determination of the fundamental properties (mass, separation, age, gravity and atmospheric properties) of brown dwarf companions allows us to infer crucial informations on their formation and evolution mechanisms. Spectroscopy of substellar companions is available to date only for a limited number of objects (and mostly at very low resolution, R<50) because of technical limitations, i.e., contrast and angular resolution. We present medium resolution (R=350), coronagraphic long-slit spectroscopic observations with SPHERE of two substellar companions, HD 1160 B and HD 19467 B. We found that HD 1160 B has a peculiar spectrum that cannot be fitted by spectra in current spectral libraries. A good fit is possible only considering separately the Y+J and the H spectral band. The spectral type is between M5 and M7. We also estimated a T_eff of 2800-2900 K and a log(g) of 3.5-4.0 dex. The low surface gravity seems to favour young age (10-20 Myr) and low mass (~20 M Jup ) for this object. HD 19467 B is instead a fully evolved object with a T_eff of ~1000 K and log g of ~5.0 dex. Its spectral type is T6+/-1.


title: Algebraic Structure and Complexity of Bootstrap Percolation with External Inputs

abstract: In this paper a modification of the standard Bootstrap Percolation model is introduced. In our modification a discrete time update rule is constructed that allows for non-monotonicity - unlike its classical counterpart. External inputs to drive the system into desirable states are also included in the model. The algebraic structure and complexity properties of the system are inferred by studying the system's holonomy decomposition. We introduce methods of inferring the pools of reversibility for the system. Dependence of system complexity on process parameters is presented and discussed.


title: Towards a Generalized Approach to Nonlocal Elasticity via Fractional-Order Mechanics

abstract: This study presents a fractional-order continuum mechanics approach that allows combining selected characteristics of nonlocal elasticity, typical of classical integral and gradient formulations, under a single frame-invariant framework. The resulting generalized theory is capable of capturing both stiffening and softening effects and it is not subject to the inconsistencies often observed under selected external loads and boundary conditions. The governing equations of a 1D continuum are derived by continualization of the Lagrangian of a 1D lattice subject to long-range interactions. This approach is particularly well suited to highlight the connection between the fractional-order operators and the microscopic properties of the medium. The approach is also extended to derive, by means of variational principles, the governing equations of a 3D continuum in strong form. The positive definite potential energy, characteristic of our fractional formulation, always ensures well-posed governing equations. This aspect, combined with the differ-integral nature of fractional-order operators, guarantees both stability and the ability to capture dispersion without requiring additional inertia gradient terms. The proposed formulation is applied to the static and free vibration analyses of either Timoshenko beams or Mindlin plates. Numerical results, obtained by a fractional-order finite element method, show that the fractional-order formulation is able to model both stiffening and softening response in these slender structures. The numerical results provide the foundation to critically analyze the physical significance of the different fractional model parameters as well as their effect on the response of the structural elements.


title: A proof of P!=NP

abstract: We show that it is provable in PA that there is an arithmetically definable sequence $\{\phi_{n}:n \in \omega\}$ of $\Pi^{0}_{2}$-sentences, such that - PRA+$\{\phi_{n}:n \in \omega\}$ is $\Pi^{0}_{2}$-sound and $\Pi^{0}_{1}$-complete - the length of $\phi_{n}$ is bounded above by a polynomial function of $n$ with positive leading coefficient - PRA+$\phi_{n+1}$ always proves 1-consistency of PRA+$\phi_{n}$. One has that the growth in logical strength is in some sense "as fast as possible", manifested in the fact that the total general recursive functions whose totality is asserted by the true $\Pi^{0}_{2}$-sentences in the sequence are cofinal growth-rate-wise in the set of all total general recursive functions. We then develop an argument which makes use of a sequence of sentences constructed by an application of the diagonal lemma, which are generalisations in a broad sense of Hugh Woodin's "Tower of Hanoi" construction as outlined in his essay "Tower of Hanoi" in Chapter 18 of the anthology "Truth in Mathematics". The argument establishes the result that it is provable in PA that $P \neq NP$. We indicate how to pull the argument all the way down into EFA.


title: Various Sequences from Counting Subsets

abstract: We count the number of subsets of $\{1,2,\cdots,n\}$ under different conditions and study the sequence obtained as we let $n$ increase.


title: What country, university or research institute, performed the best on COVID-19? Bibliometric analysis of scientific literature

abstract: In this article, we conduct data mining to discover the countries, universities and companies, produced or collaborated the most research on Covid-19 since the pandemic started. We present some interesting findings, but despite analysing all available records on COVID-19 from the Web of Science Core Collection, we failed to reach any significant conclusions on how the world responded to the COVID-19 pandemic. Therefore, we increased our analysis to include all available data records on pandemics and epidemics from 1900 to 2020. We discover some interesting results on countries, universities and companies, that produced collaborated most the most in research on pandemic and epidemics. Then we compared the results with the analysing on COVID-19 data records. This has created some interesting findings that are explained and graphically visualised in the article.


title: Securing Digital Systems via Split-Chip Obfuscation

abstract: Security is an important facet of integrated circuit design for many applications. IP privacy and Trojan insertion are growing threats as circuit fabrication in advanced nodes almost inevitably relies on untrusted foundries. A proposed solution is Split-Chip Obfuscation that uses a combination trusted and untrusted IC fabrication scheme. By utilizing two CMOS processes, a system is endowed with the stronger security guaranties of a trusted legacy node while also leveraging the performance and density of an advanced untrusted node. Critical to the effectiveness of Split-Chip Obfuscation is finding an optimum partitioning of a system between the two ICs. In this paper, we develop a design flow for the Split-Chip Obfuscation scheme, defining the essential system metrics and creating a tool to rapidly assess the large design space. We demonstrate the concept of such a tool and show its application on an example SoC.


title: Context-Aware Learning to Rank with Self-Attention

abstract: Learning to rank is a key component of many e-commerce search engines. In learning to rank, one is interested in optimising the global ordering of a list of items according to their utility for users.Popular approaches learn a scoring function that scores items individually (i.e. without the context of other items in the list) by optimising a pointwise, pairwise or listwise loss. The list is then sorted in the descending order of the scores. Possible interactions between items present in the same list are taken into account in the training phase at the loss level. However, during inference, items are scored individually, and possible interactions between them are not considered. In this paper, we propose a context-aware neural network model that learns item scores by applying a self-attention mechanism. The relevance of a given item is thus determined in the context of all other items present in the list, both in training and in inference. We empirically demonstrate significant performance gains of self-attention based neural architecture over Multi-LayerPerceptron baselines, in particular on a dataset coming from search logs of a large scale e-commerce marketplace, Allegro.pl. This effect is consistent across popular pointwise, pairwise and listwise losses.Finally, we report new state-of-the-art results on MSLR-WEB30K, the learning to rank benchmark.


title: DisCoveR: Accurate & Efficient Discovery of Declarative Process Models

abstract: Declarative process modeling formalisms - which capture high-level process constraints - have seen growing interest, especially for modeling flexible processes. This paper presents DisCoveR, an extremely efficient and accurate declarative miner for learning Dynamic Condition Response (DCR) Graphs from event logs. We precisely formalize the algorithm, describe a highly efficient bit vector implementation and rigorously evaluate performance against two other declarative miners, representing the state-of-the-art in Declare and DCR Graphs mining. DisCoveR outperforms each of these w.r.t. a binary classification task, achieving an average accuracy of 96.2% in the Process Discovery Contest 2019. Due to its linear time complexity, DisCoveR also achieves run-times 1-2 orders of magnitude below its declarative counterparts. Finally, we show how the miner has been integrated in a state-of-the-art declarative process modeling framework as a model recommendation tool, discuss how discovery can play an integral part of the modeling task and report on how the integration has improved the modeling experience of end-users.


title: Classifying Suspicious Content in Tor Darknet

abstract: One of the tasks of law enforcement agencies is to find evidence of criminal activity in the Darknet. However, visiting thousands of domains to locate visual information containing illegal acts manually requires a considerable amount of time and resources. Furthermore, the background of the images can pose a challenge when performing classification. To solve this problem, in this paper, we explore the automatic classification Tor Darknet images using Semantic Attention Keypoint Filtering, a strategy that filters non-significant features at a pixel level that do not belong to the object of interest, by combining saliency maps with Bag of Visual Words (BoVW). We evaluated SAKF on a custom Tor image dataset against CNN features: MobileNet v1 and Resnet50, and BoVW using dense SIFT descriptors, achieving a result of 87.98% accuracy and outperforming all other approaches.


title: Riemannian geometry for Compound Gaussian distributions: application to recursive change detection

abstract: A new Riemannian geometry for the Compound Gaussian distribution is proposed. In particular, the Fisher information metric is obtained, along with corresponding geodesics and distance function. This new geometry is applied on a change detection problem on Multivariate Image Times Series: a recursive approach based on Riemannian optimization is developed. As shown on simulated data, it allows to reach optimal performance while being computationally more efficient.


title: mm-wave Rydberg-Rydberg resonances as a witness of intermolecular coupling in the arrested relaxation of a molecular ultracold plasma

abstract: Out-of-equilibrium, strong correlation in a many-body system triggers emergent properties that can act in important ways to constrain the natural dissipation of energy and matter. Networks of atoms, intricately engineered to arrange positions and tune interaction energies, exhibit striking dynamics. But, strong correlation itself can also act to restrict available phase space. Relaxation confined by strong correlation gives rise to scale invariance and density distributions characteristic of self-organized criticality. For some time, we have observed signs of self-organization in the avalanche, bifurcation and quench of a state-selected Rydberg gas of nitric oxide to form an ultracold, strongly correlated ultracold plasma. The robust arrested relaxation of this system forms a disordered state with quantum-mechanical properties that appear to support a coherent destruction of transport. Work reported here focuses on initial stages of avalanche and quench, using the mm-wave spectroscopy of an embedded quantum probe to characterize the intermolecular interaction dynamics associated with the evolution to plasma. Double-resonance excitation prepares a Rydberg gas of nitric oxide composed of a single selected state, $n_0f(2)$. Penning ionization, followed by an avalanche of electron-Rydberg collisions, forms a plasma of NO$^+$ ions and weakly bound electrons, in which a residual population of $n_0$ Rydberg molecules evolves to high-$\ell$. At long times, $n_0\ell(2) \rightarrow (n_0 \pm 1)d(2)$ depletion resonances signal collision-free energy redistribution in the basis of central-field Rydberg states. The widths and asymmetries of Fano lineshapes witness the degree to which coupling to the arrested bath broadens the bright state as well as how bright-state predissociation mixes the network of levels in the localized ensemble.


title: Investigation of Large-Margin Softmax in Neural Language Modeling

abstract: To encourage intra-class compactness and inter-class separability among trainable feature vectors, large-margin softmax methods are developed and widely applied in the face recognition community. The introduction of the large-margin concept into the softmax is reported to have good properties such as enhanced discriminative power, less overfitting and well-defined geometric intuitions. Nowadays, language modeling is commonly approached with neural networks using softmax and cross entropy. In this work, we are curious to see if introducing large-margins to neural language models would improve the perplexity and consequently word error rate in automatic speech recognition. Specifically, we first implement and test various types of conventional margins following the previous works in face recognition. To address the distribution of natural language data, we then compare different strategies for word vector norm-scaling. After that, we apply the best norm-scaling setup in combination with various margins and conduct neural language models rescoring experiments in automatic speech recognition. We find that although perplexity is slightly deteriorated, neural language models with large-margin softmax can yield word error rate similar to that of the standard softmax baseline. Finally, expected margins are analyzed through visualization of word vectors, showing that the syntactic and semantic relationships are also preserved.


title: Perceptual Hashing applied to Tor domains recognition

abstract: The Tor darknet hosts different types of illegal content, which are monitored by cybersecurity agencies. However, manually classifying Tor content can be slow and error-prone. To support this task, we introduce Frequency-Dominant Neighborhood Structure (F-DNS), a new perceptual hashing method for automatically classifying domains by their screenshots. First, we evaluated F-DNS using images subject to various content preserving operations. We compared them with their original images, achieving better correlation coefficients than other state-of-the-art methods, especially in the case of rotation. Then, we applied F-DNS to categorize Tor domains using the Darknet Usage Service Images-2K (DUSI-2K), a dataset with screenshots of active Tor service domains. Finally, we measured the performance of F-DNS against an image classification approach and a state-of-the-art hashing method. Our proposal obtained 98.75% accuracy in Tor images, surpassing all other methods compared.


title: Label Efficient Visual Abstractions for Autonomous Driving

abstract: It is well known that semantic segmentation can be used as an effective intermediate representation for learning driving policies. However, the task of street scene semantic segmentation requires expensive annotations. Furthermore, segmentation algorithms are often trained irrespective of the actual driving task, using auxiliary image-space loss functions which are not guaranteed to maximize driving metrics such as safety or distance traveled per intervention. In this work, we seek to quantify the impact of reducing segmentation annotation costs on learned behavior cloning agents. We analyze several segmentation-based intermediate representations. We use these visual abstractions to systematically study the trade-off between annotation efficiency and driving performance, i.e., the types of classes labeled, the number of image samples used to learn the visual abstraction model, and their granularity (e.g., object masks vs. 2D bounding boxes). Our analysis uncovers several practical insights into how segmentation-based visual abstractions can be exploited in a more label efficient manner. Surprisingly, we find that state-of-the-art driving performance can be achieved with orders of magnitude reduction in annotation cost. Beyond label efficiency, we find several additional training benefits when leveraging visual abstractions, such as a significant reduction in the variance of the learned policy when compared to state-of-the-art end-to-end driving models.


title: Additive stacking for disaggregate electricity demand forecasting

abstract: Future grid management systems will coordinate distributed production and storage resources to manage, in a cost effective fashion, the increased load and variability brought by the electrification of transportation and by a higher share of weather dependent production. Electricity demand forecasts at a low level of aggregation will be key inputs for such systems. We focus on forecasting demand at the individual household level, which is more challenging than forecasting aggregate demand, due to the lower signal-to-noise ratio and to the heterogeneity of consumption patterns across households. We propose a new ensemble method for probabilistic forecasting, which borrows strength across the households while accommodating their individual idiosyncrasies. In particular, we develop a set of models or 'experts' which capture different demand dynamics and we fit each of them to the data from each household. Then we construct an aggregation of experts where the ensemble weights are estimated on the whole data set, the main innovation being that we let the weights vary with the covariates by adopting an additive model structure. In particular, the proposed aggregation method is an extension of regression stacking (Breiman, 1996) where the mixture weights are modelled using linear combinations of parametric, smooth or random effects. The methods for building and fitting additive stacking models are implemented by the gamFactory R package, available at https://github.com/mfasiolo/gamFactory.


title: Insights into image contrast from dislocations in ADF-STEM

abstract: Competitive mechanisms contribute to image contrast from dislocations in annular dark field scanning transmission electron microscopy ADF STEM. A clear theoretical understanding of the mechanisms underlying the ADF STEM contrast is therefore essential for correct interpretation of dislocation images. This paper reports on a systematic study of the ADF STEM contrast from dislocations in a GaN specimen, both experimentally and computationally. Systematic experimental ADF STEM images of the edge character dislocations revealed a number of characteristic contrast features that are shown to depend on both the angular detection range and specific position of the dislocation in the sample. A theoretical model based on electron channelling and Bloch wave scattering theories, supported by multislice simulations using Grillo s strain channelling equation, is proposed to elucidate the physical origin of such complex contrast phenomena.


title: Acceptance of e-procurement in organisations

abstract: This research is concerned with the development of a realistic model for e-procurement adoption by organisations and groups observing the Rules of Islamic Sharia (RIS). This model is intended to be based on the behavioural control, subjective norms, and the recognition of the benefits and risks of e procurement adoption. The developed model,(E-PAM), combined and extended two existing models previously used for information technology adoption. Central to the design of the E-PAM is the principle that a realistic model should consider all relevant psychological, social, cultural, demography, and religious factors. .


title: The K-Centre Problem for Necklaces

abstract: In graph theory, the objective of the k-centre problem is to find a set of $k$ vertices for which the largest distance of any vertex to its closest vertex in the $k$-set is minimised. In this paper, we introduce the $k$-centre problem for sets of necklaces, i.e. the equivalence classes of words under the cyclic shift. This can be seen as the k-centre problem on the complete weighted graph where every necklace is represented by a vertex, and each edge has a weight given by the overlap distance between any pair of necklaces. Similar to the graph case, the goal is to choose $k$ necklaces such that the distance from any word in the language and its nearest centre is minimised. However, in a case of k-centre problem for languages the size of associated graph maybe exponential in relation to the description of the language, i.e., the length of the words l and the size of the alphabet q. We derive several approximation algorithms for the $k$-centre problem on necklaces, with logarithmic approximation factor in the context of l and k, and within a constant factor for a more restricted case.


title: A Survey for New Stars and Brown Dwarfs in the Ophiuchus Star-forming Complex

abstract: We have performed a survey for new members of the Ophiuchus cloud complex using high-precision astrometry from the second data release of Gaia, proper motions measured with multi-epoch images from the Spitzer Space Telescope, and color-magnitude diagrams constructed with photometry from various sources. Through spectroscopy of candidates selected with those data, we have identified 155 new young stars. Based on available measurements of kinematics, we classify 102, 47, and six of those stars as members of Ophiuchus, Upper Sco, and other populations in Sco-Cen, respectively. We have also assessed the membership of all other stars in the vicinity of Ophiuchus that have spectroscopic evidence of youth from previous studies, arriving at a catalog of 373 adopted members of the cloud complex. For those adopted members, we have compiled mid-IR photometry from Spitzer and the Wide-field Infrared Survey Explorer} and have used mid-IR colors to identify and classify circumstellar disks. We find that 210 of the members show evidence of disks, including 48 disks that are in advanced stages of evolution. Finally, we have estimated the relative median ages of the populations near the Ophiuchus clouds and the surrounding Upper Sco association using absolute K-band magnitudes (M_K) based on Gaia} parallaxes. If we adopt an age 10 Myr for Upper Sco, then the relative values of M_K imply median ages of ~2 Myr for L1689 and embedded stars in L1688, 3-4 Myr for low-extinction stars near L1688, and ~6 Myr for the group containing rho Oph.


title: Scheduling jobs with release dates on identical parallel machines by minimizing the total weighted completion time

abstract: This paper addresses the problem of scheduling a set of jobs that are released over the time on a set of identical parallel machines, aiming at the minimization of the total weighted completion time. This problem, referred to as $P|r_j|\sum w_jC_j$, is of great importance in practice, because it models a variety of real-life applications. Despite its importance, the $P|r_j|\sum w_jC_j$ has not received much attention in the recent literature. In this work, we fill this gap by proposing mixed integer linear programs and a tailored branch-and-price algorithm. Our {branch-and-price} relies on the decomposition of an arc-flow formulation and on the use of efficient exact and heuristic methods for solving the pricing subproblem. Computational experiments carried out on a set of randomly generated instances prove that the proposed methods can solve to the proven optimality instances with up to 200 jobs and 10 machines, and provide very low gaps for larger instances.


title: Classification of Industrial Control Systems screenshots using Transfer Learning

abstract: Industrial Control Systems depend heavily on security and monitoring protocols. Several tools are available for this purpose, which scout vulnerabilities and take screenshots from various control panels for later analysis. However, they do not adequately classify images into specific control groups, which can difficult operations performed by manual operators. In order to solve this problem, we use transfer learning with five CNN architectures, pre-trained on Imagenet, to determine which one best classifies screenshots obtained from Industrial Controls Systems. Using 337 manually labeled images, we train these architectures and study their performance both in accuracy and CPU and GPU time. We find out that MobilenetV1 is the best architecture based on its 97,95% of F1-Score, and its speed on CPU with 0.47 seconds per image. In systems where time is critical and GPU is available, VGG16 is preferable because it takes 0.04 seconds to process images, but dropping performance to 87,67%.


title: Nonparametric Score Estimators

abstract: Estimating the score, i.e., the gradient of log density function, from a set of samples generated by an unknown distribution is a fundamental task in inference and learning of probabilistic models that involve flexible yet intractable densities. Kernel estimators based on Stein's methods or score matching have shown promise, however their theoretical properties and relationships have not been fully-understood. We provide a unifying view of these estimators under the framework of regularized nonparametric regression. It allows us to analyse existing estimators and construct new ones with desirable properties by choosing different hypothesis spaces and regularizers. A unified convergence analysis is provided for such estimators. Finally, we propose score estimators based on iterative regularization that enjoy computational benefits from curl-free kernels and fast convergence.


title: Reduction of valuation risk by Kalman filtering in business valuation models

abstract: A recursive free cash flow model (FCFF) is proposed to determine the corporate value of a company in an efficient market in which new market and company-specific information is modelled by additive white noise. The stochastic equations of the FCFF model are solved explicitly to obtain the average corporate value and valuation risk. It is pointed out that valuation risk can be reduced significantly by implementing a conventional two-step Kalman filter in the recursive FCFF model, thus improving its predictive power. Systematic errors of the Kalman filter, caused by intermediate changes in risk and hence in the weighted average cost of capital (WACC), are detected by measuring the residuals. By including an additional adjustment step in the conventional Kalman filtering algorithm, it is shown that systematic errors can be eliminated by recursively adjusting the WACC. The performance of the three-step adaptive Kalman filter is tested by Monte Carlo simulation which demonstrates the reliability and robustness against systematic errors. It is also proved that the conventional and adaptive Kalman filtering algorithms can be implemented into other valuation models such as the economic value added model (EVA) and free cash flow to equity model (FCFE).


title: A Unifying Approximate Potential for Weighted Congestion Games

abstract: We provide a unifying, black-box tool for establishing existence of approximate equilibria in weighted congestion games and, at the same time, bounding their Price of Stability. Our framework can handle resources with general costs--including, in particular, decreasing ones--and is formulated in terms of a set of parameters which are determined via elementary analytic properties of the cost functions. We demonstrate the power of our tool by applying it to recover the recent result of Caragiannis and Fanelli [ICALP'19] for polynomial congestion games; improve upon the bounds for fair cost sharing games by Chen and Roughgarden [Theory Comput. Syst., 2009]; and derive new bounds for nondecreasing concave costs. An interesting feature of our framework is that it can be readily applied to mixtures of different families of cost functions; for example, we provide bounds for games whose resources are conical combinations of polynomial and concave costs. In the core of our analysis lies the use of a unifying approximate potential function which is simple and general enough to be applicable to arbitrary congestion games, but at the same time powerful enough to produce state-of-the-art bounds across a range of different cost functions.


title: Localized Excitons in Defective Monolayer Germanium Selenide

abstract: Germanium Selenide (GeSe) is a van der Waals-bonded layered material with promising optoelectronic properties, which has been experimentally synthesized for 2D semiconductor applications. In the monolayer, due to reduced dimensionality and, thus, screening environment, perturbations such as the presence of defects have a significant impact on its properties. We apply density functional theory and many-body perturbation theory to understand the electronic and optical properties of GeSe containing a single selenium vacancy in the $-2$ charge state. We predict that the vacancy results in mid-gap "trap states" that strongly localize the electron and hole density and lead to sharp, low-energy optical absorption peaks below the predicted pristine optical gap. Analysis of the exciton wavefunction reveals that the 2D Wannier-Mott exciton of the pristine monolayer is highly localized around the defect, reducing its Bohr radius by a factor of four and producing a dipole moment along the out-of-plane axis due to the defect-induced symmetry breaking. Overall, these results suggest that the vacancy is a strong perturbation to the system, demonstrating the importance of considering defects in the context of material design.


title: BeepTrace: Blockchain-enabled Privacy-preserving Contact Tracing for COVID-19 Pandemic and Beyond

abstract: The outbreak of COVID-19 pandemic has exposed an urgent need for effective contact tracing solutions through mobile phone applications to prevent the infection from spreading further. However, due to the nature of contact tracing, public concern on privacy issues has been a bottleneck to the existing solutions, which is significantly affecting the uptake of contact tracing applications across the globe. In this paper, we present a blockchain-enabled privacy-preserving contact tracing scheme: BeepTrace, where we propose to adopt blockchain bridging the user/patient and the authorized solvers to desensitize the user ID and location information. Compared with recently proposed contract tracing solutions, our approach shows higher security and privacy with the additional advantages of being battery friendly and globally accessible. Results show viability in terms of the required resource at both server and mobile phone perspectives. Through breaking the privacy concerns of the public, the proposed BeepTrace solution can provide a timely framework for authorities, companies, software developers and researchers to fast develop and deploy effective digital contact tracing applications, to conquer COVID-19 pandemic soon. Meanwhile, the open initiative of BeepTrace allows worldwide collaborations, integrate existing tracing and positioning solutions with the help of blockchain technology.


title: NOMA for Energy-Efficient LiFi-Enabled Bidirectional IoT Communication

abstract: In this paper, we consider a light fidelity (LiFi)-enabled bidirectional Internet of Things (IoT) communication system, where visible light and infrared light are used in the downlink and uplink, respectively. In order to improve the energy efficiency (EE) of the bidirectional LiFi-IoT system, non-orthogonal multiple access (NOMA) with a quality-of-service (QoS)-guaranteed optimal power allocation (OPA) strategy is applied to maximize the EE of the system. We derive a closed-form OPA set based on the identification of the optimal decoding orders in both downlink and uplink channels, which can enable low-complexity power allocation. Moreover, we propose an adaptive channel and QoS-based user pairing approach by jointly considering users' channel gains and QoS requirements. We further analyze the EE of the bidirectional LiFi-IoT system and the user outage probabilities (UOPs) of both downlink and uplink channels of the system. Extensive analytical and simulation results demonstrate the superiority of NOMA with OPA in comparison to orthogonal multiple access (OMA) and NOMA with typical channel-based power allocation strategies. It is also shown that the proposed adaptive channel and QoS-based user pairing approach greatly outperforms individual channel/QoS-based approaches, especially when users have diverse QoS requirements.


title: The correlation between photometric variability and radial velocity jitter, based on TESS and HARPS observations

abstract: The current and upcoming high precision photometric surveys such as TESS, CHEOPS, and PLATO will provide the community with thousands of new exoplanet candidates. As a consequence, the presence of such a correlation is crucial in selecting the targets with the lowest RV jitter for efficient RV follow-up of exoplanetary candidates. Studies of this type are also crucial to design optimized observational strategies to mitigate RV jitter when searching for Earth-mass exoplanets. Our goal is to assess the correlation between high-precision photometric variability measurements and high-precision RV jitter over different time scales. We analyze 171 G, K, and M stars with available TESS high precision photometric time-series and HARPS precise RVs. We derived the stellar parameters for the stars in our sample and measured the RV jitter and photometric variability. We also estimated chromospheric Ca II H $\&$ K activity indicator $log(R' _{HK})$, $\textit{v sin i}$, and the stellar rotational period. Finally, we evaluate how different stellar parameters and a RV sampling subset can have an impact on the potential correlations. We find a varying correlation between the photometric variability and RV jitter as function of time intervals between the TESS photometric observation and HARPS RV. As the time intervals of the observations considered for the analysis increases, the correlation value and significance becomes smaller and weaker, to the point that it becomes negligible. We also find that for stars with a photometric variability above 6.5 ppt the correlation is significantly stronger. We show that such a result can be due to the transition between the spot-dominated and the faculae-dominated regime. We quantified the correlations and updated the relationship between chromospheric Ca II H $\&$ K activity indicator $log(R' _{HK})$ and RV jitter.


title: Counterflow-Induced Inverse Energy Cascade in Three-Dimensional Superfluid Turbulence

abstract: Finite-temperature quantum turbulence is often described in terms of two immiscible fluids that can flow with a non-zero mean relative velocity. Such out-of-equilibrium state is known as counterflow superfluid turbulence. We report here the emergence of a counterflow-induced inverse energy cascade in three-dimensional superfluid flows by performing extensive numerical simulations of the Hall-Vinen-Bekarevich-Khalatnikov model. As the intensity of the mean counterflow is increased, an abrupt transition, from a fully three-dimensional turbulent flow to a quasi two-dimensional system exhibiting a split cascade, is observed. The findings of this work could motivate new experimental settings to study quasi two-dimensional superfluid turbulence in the bulk of three-dimensional experiments. They might also find applications beyond superfluids in systems described by more than one fluid component.


title: Examining the State-of-the-Art in News Timeline Summarization

abstract: Previous work on automatic news timeline summarization (TLS) leaves an unclear picture about how this task can generally be approached and how well it is currently solved. This is mostly due to the focus on individual subtasks, such as date selection and date summarization, and to the previous lack of appropriate evaluation metrics for the full TLS task. In this paper, we compare different TLS strategies using appropriate evaluation frameworks, and propose a simple and effective combination of methods that improves over the state-of-the-art on all tested benchmarks. For a more robust evaluation, we also present a new TLS dataset, which is larger and spans longer time periods than previous datasets.


title: Evolved Massive Stars at Low-metallicity II. Red Supergiant Stars in the Small Magellanic Cloud

abstract: We present the most comprehensive RSG sample for the SMC up to now, including 1,239 RSG candidates. The initial sample is derived based on a source catalog for the SMC with conservative ranking. Additional spectroscopic RSGs are retrieved from the literature, as well as RSG candidates selected from the inspection of CMDs. We estimate that there are in total $\sim$ 1,800 or more RSGs in the SMC. We purify the sample by studying the infrared CMDs and the variability of the objects, though there is still an ambiguity between AGBs and RSGs. There are much less RSGs candidates ($\sim$4\%) showing PAH emission features compared to the Milky Way and LMC ($\sim$15\%). The MIR variability of RSG sample increases with luminosity. We separate the RSG sample into two subsamples ("risky" and "safe") and identify one M5e AGB star in the "risky" subsample. Most of the targets with large variability are also the bright ones with large MLR. Some targets show excessive dust emission, which may be related to previous episodic mass loss events. We also roughly estimate the total gas and dust budget produced by entire RSG population as $\rm \sim1.9^{+2.4}_{-1.1}\times10^{-6}~M_{\odot}/yr$ in the most conservative case. Based on the MIST models, we derive a linear relation between $T_{\rm eff}$ and observed $\rm J-K_S$ color with reddening correction for the RSG sample. By using a constant bolometric correction and this relation, the Geneva evolutionary model is compared with our RSG sample, showing a good agreement and a lower initial mass limit of $\sim$7 $\rm M_\odot $ for the RSG population. Finally, we compare the RSG sample in the SMC and the LMC. Despite the incompleteness of LMC sample in the faint end, the result indicates that the LMC sample always shows redder color (except for the $\rm IRAC1-IRAC2$ and $\rm WISE1-WISE2$ colors due to CO absorption) and larger variability than the SMC sample.


title: Origin of robust exceptional points: a restricted bulk zero mode

abstract: Recently a type of robust exceptional points was found that is insensitive to the coupling disorder in the bulk. Here we show that a disparity emerges when the number of coupled cavities in this one-dimensional array changes from even to odd. The robust exceptional point only exists in the former case, whereas the location of the exceptional point in the latter depends inversely on the size of the cavity array and is subjected to coupling disorder in the bulk. We further show that the exceptional points in these two cases are second and third order, respectively. We elucidate the origin of the robust EP as a restricted bulk zero mode, which shares the same robustness against coupling disorder and has a finite amplitude adjacent to the boundary. This finding enables us to identify robust EPs in higher dimensional systems reliably, which can exist in the presence of either sublattice symmetry or the non-Hermitian particle-hole symmetry evolved from it.


title: M2GRL: A Multi-task Multi-view Graph Representation Learning Framework for Web-scale Recommender Systems

abstract: Combining graph representation learning with multi-view data (side information) for recommendation is a trend in industry. Most existing methods can be categorized as \emph{multi-view representation fusion}; they first build one graph and then integrate multi-view data into a single compact representation for each node in the graph. However, these methods are raising concerns in both engineering and algorithm aspects: 1) multi-view data are abundant and informative in industry and may exceed the capacity of one single vector, and 2) inductive bias may be introduced as multi-view data are often from different distributions. In this paper, we use a \emph{multi-view representation alignment} approach to address this issue. Particularly, we propose a multi-task multi-view graph representation learning framework (M2GRL) to learn node representations from multi-view graphs for web-scale recommender systems. M2GRL constructs one graph for each single-view data, learns multiple separate representations from multiple graphs, and performs alignment to model cross-view relations. M2GRL chooses a multi-task learning paradigm to learn intra-view representations and cross-view relations jointly. Besides, M2GRL applies homoscedastic uncertainty to adaptively tune the loss weights of tasks during training. We deploy M2GRL at Taobao and train it on 57 billion examples. According to offline metrics and online A/B tests, M2GRL significantly outperforms other state-of-the-art algorithms. Further exploration on diversity recommendation in Taobao shows the effectiveness of utilizing multiple representations produced by \method{}, which we argue is a promising direction for various industrial recommendation tasks of different focus.


title: The Effectiveness of Discretization in Forecasting: An Empirical Study on Neural Time Series Models

abstract: Time series modeling techniques based on deep learning have seen many advancements in recent years, especially in data-abundant settings and with the central aim of learning global models that can extract patterns across multiple time series. While the crucial importance of appropriate data pre-processing and scaling has often been noted in prior work, most studies focus on improving model architectures. In this paper we empirically investigate the effect of data input and output transformations on the predictive performance of several neural forecasting architectures. In particular, we investigate the effectiveness of several forms of data binning, i.e. converting real-valued time series into categorical ones, when combined with feed-forward, recurrent neural networks, and convolution-based sequence models. In many non-forecasting applications where these models have been very successful, the model inputs and outputs are categorical (e.g. words from a fixed vocabulary in natural language processing applications or quantized pixel color intensities in computer vision). For forecasting applications, where the time series are typically real-valued, various ad-hoc data transformations have been proposed, but have not been systematically compared. To remedy this, we evaluate the forecasting accuracy of instances of the aforementioned model classes when combined with different types of data scaling and binning. We find that binning almost always improves performance (compared to using normalized real-valued inputs), but that the particular type of binning chosen is of lesser importance.


title: A renormalization group approach to non-Hermitian topological quantum criticality

abstract: Critical transition points between symmetry-broken phases are characterized as fixed points in the renormalization group (RG) theory. We show that, following the standard Wilsonian procedure that traces out the large momentum modes, this well known fact can break down in non-Hermitian systems. Based on non-Hermitian Su-Schrieffer-Hegger (SSH)-type models, we propose a real-space decimation scheme to study the criticality between the topological and trivial phase. We provide concrete examples and an analytic proof to show that the real-space scheme perfectly overcomes the insufficiency of the standard method, especially in the sense that it always preserves the system at criticality as fixed points under RG. The proposed method can also greatly simplify the search of critical points for complicated non-Hermitian models by ruling out the irrelevant operators. These results pave the way towards more advanced RG-based techniques for the interacting non-Hermitian quantum systems.


title: A Comparison of Label-Synchronous and Frame-Synchronous End-to-End Models for Speech Recognition

abstract: End-to-end models are gaining wider attention in the field of automatic speech recognition (ASR). One of their advantages is the simplicity of building that directly recognizes the speech frame sequence into the text label sequence by neural networks. According to the driving end in the recognition process, end-to-end ASR models could be categorized into two types: label-synchronous and frame-synchronous, each of which has unique model behaviour and characteristic. In this work, we make a detailed comparison on a representative label-synchronous model (transformer) and a soft frame-synchronous model (continuous integrate-and-fire (CIF) based model). The results on three public dataset and a large-scale dataset with 12000 hours of training data show that the two types of models have respective advantages that are consistent with their synchronous mode.


title: Network On Network for Tabular Data Classification in Real-world Applications

abstract: Tabular data is the most common data format adopted by our customers ranging from retail, finance to E-commerce, and tabular data classification plays an essential role to their businesses. In this paper, we present Network On Network (NON), a practical tabular data classification model based on deep neural network to provide accurate predictions. Various deep methods have been proposed and promising progress has been made. However, most of them use operations like neural network and factorization machines to fuse the embeddings of different features directly, and linearly combine the outputs of those operations to get the final prediction. As a result, the intra-field information and the non-linear interactions between those operations (e.g. neural network and factorization machines) are ignored. Intra-field information is the information that features inside each field belong to the same field. NON is proposed to take full advantage of intra-field information and non-linear interactions. It consists of three components: field-wise network at the bottom to capture the intra-field information, across field network in the middle to choose suitable operations data-drivenly, and operation fusion network on the top to fuse outputs of the chosen operations deeply. Extensive experiments on six real-world datasets demonstrate NON can outperform the state-of-the-art models significantly. Furthermore, both qualitative and quantitative study of the features in the embedding space show NON can capture intra-field information effectively.


title: Critical Heat Engines in Massive Gravity

abstract: With in the extended thermodynamics, we study the efficiency $\eta_k$ of critical heat engines for charged black holes in massive gravity for spherical ($k=1$), flat ($k=0$) and hyperbolic ($k=-1$) topologies. Although, $\eta_k$ is in general higher (lower) for hyperbolic (spherical) topology, we show that this order can be reversed in critical heat engines with efficiency higher for spherical topology, following in particular the order: $ \eta_{\rm -1}^{\phantom{-1}} < \eta_{\rm 0}^{\phantom{0}} < \eta_{\rm +1}^{\phantom{+1}}$. Furthermore, the study of the near horizon region of the critical hole shows that, apart from the known $q\rightarrow \infty $ condition, additional scalings of massive gravity parameters, based on the topology of the geometry are required, to reveal the presence of a fully decoupled Rindler space-time with vanishing cosmological constant.


title: Poisson approximation of Poisson-driven point processes and extreme values in stochastic geometry

abstract: We study point processes that consist of certain centers of point tuples of an underlying Poisson process. Such processes arise in stochastic geometry in the study of exceedances of various functionals describing geometric properties of the Poisson process. We use a coupling of the point process with its Palm version to prove a general Poisson limit theorem. We then combine our general result with the theory of asymptotic shapes of large cells (Kendall's problem) in random mosaics and prove Poisson limit theorems for large cells (with respect to a general size functional) in the Poisson-Voronoi and -Delaunay mosaic. As a consequence, we establish Gumbel limits for the asymptotic distribution of concrete size functionals and specify the rate of convergence. This extends extreme value results from Calka and Chenavier (2014) and Chenavier (2014).


title: The Dark Side of 4321

abstract: The evidence of Dark Matter (DM) is one of the strongest observational arguments in favour of physics beyond the Standard Model. Despite expectations, a similar evidence has been lacking so far in collider searches, with the possible exception of $B$-physics discrepancies, a coherent set of persistent deviations in a homogeneous dataset consisting of $b \to c$ and $b \to s$ semi-leptonic transitions. We explore the question whether DM and the $B$ discrepancies may have a common origin. We do so in the context of the so-called 4321 gauge model, a UV-complete and calculable setup that yields a $U_1$ leptoquark, the by far most successful single mediator able to explain the $B$ anomalies, along with other new gauge bosons, including a $Z^\prime$. Adding to this setup a 'minimal' DM fermionic multiplet, consisting of a ${\bf 4}$ under the 4321's $SU(4)$, we find the resulting model in natural agreement with the relic-density observation and with the most severe direct-detection bounds, in the sense that the parameter space selected by $B$ physics is also the one favoured by DM phenomenology. The DM candidate is a particle with a mass in the WIMP range, freeze-out dynamics includes a co-annihilator (the 'rest' of the ${\bf 4}$ multiplet), and the most important gauge mediator in the DM sector is the $Z^\prime$.


title: A family of fractal non-contracting weakly regular branch groups

abstract: We construct a new family of groups that is non-contracting and weakly regular branch over the derived subgroup. This gives the first example of an infinite family of groups acting on a $d$-adic tree, with $d \geq 2$, with these properties.


title: On the use of cross-validation for the calibration of the adaptive lasso

abstract: The adaptive lasso refers to a class of methods that use weighted versions of the $L_1$-norm penalty, with weights derived from an initial estimate of the parameter vector to be estimated. Irrespective of the method chosen to compute this initial estimate, the performance of the adaptive lasso critically depends on the value of a hyperparameter, which controls the magnitude of the weighted $L_1$-norm in the penalized criterion. As for other machine learning methods, cross-validation is very popular for the calibration of the adaptive lasso, that this for the selection of a data-driven optimal value of this hyperparameter. However, the most simple cross-validation scheme is not valid in this context, and a more elaborate one has to be employed to guarantee an optimal calibration. The discrepancy of the simple cross-validation scheme has been well documented in other contexts, but less so when it comes to the calibration of the adaptive lasso, and, therefore, many statistical analysts still overlook it. In this work, we recall appropriate cross-validation schemes for the calibration of the adaptive lasso, and illustrate the discrepancy of the simple scheme, using both synthetic and real-world examples. Our results clearly establish the suboptimality of the simple scheme, in terms of support recovery and prediction error, for several versions of the adaptive lasso, including the popular one-step lasso.


title: Incompatibility of Frequency Splitting and Spatial Localization: A Quantitative Analysis of Hegerfeldt's Theorem

abstract: We prove quantitative versions of the following statement: If a solution of the 1+1-dimensional wave equation has spatially compact support and consists mainly of positive frequencies, then it must have a significant high-frequency component. Similar results are proven for the 3+1-dimensional wave equation.


title: Schwinger effect in compact space: a real time calculation

abstract: We compute the discharging rate of a uniform electric field due to Schwinger pair production in $(1+1)$-dimensional scalar electrodynamics with a compact dimension of radius $R$. Our calculation is performed in real time, using the in-in formalism. For large compactification radii, $R\to\infty$, we recover the standard non compact space result. However, other ranges of values of $R$ and of the mass $m$ of the charged scalar give rise to a richer set of behaviors. For $R\gtrsim{\cal O}(1/m)$ with $m$ large enough, the electric field oscillates in time, whereas for $R\to 0$ it decreases in steps. We discuss the origin of these results.


title: The space of monodromy data for the Jimbo-Sakai family of $q$-difference equations

abstract: We formulate a geometric Riemann-Hilbert correspondence that applies to the derivation by Jimbo and Sakai of equation $q$-PVI from ``isomonodromy'' conditions. This is a step within work in progress towards the application of $q$-isomonodromy and $q$-isoStokes to $q$-Painlev\'e.


title: Scalable Bayesian inference for self-excitatory stochastic processes applied to big American gunfire data

abstract: The Hawkes process and its extensions effectively model self-excitatory phenomena including earthquakes, viral pandemics, financial transactions, neural spike trains and the spread of memes through social networks. The usefulness of these stochastic process models within a host of economic sectors and scientific disciplines is undercut by the processes' computational burden: complexity of likelihood evaluations grows quadratically in the number of observations for both the temporal and spatiotemporal Hawkes processes. We show that, with care, one may parallelize these calculations using both central and graphics processing unit implementations to achieve over 100-fold speedups over single-core processing. Using a simple adaptive Metropolis-Hastings scheme, we apply our high-performance computing framework to a Bayesian analysis of big gunshot data generated in Washington D.C. between the years of 2006 and 2019, thereby extending a past analysis of the same data from under 10,000 to over 85,000 observations. To encourage wide-spread use, we provide hpHawkes, an open-source R package, and discuss high-level implementation and program design for leveraging aspects of computational hardware that become necessary in a big data setting.


title: L2-Stability Analysis of The Set-Membership Affine Projection Algorithm

abstract: In this letter, we study the local and the global robustness of the set-membership affine projection (SM-AP) algorithm. We demonstrate that the SM-AP algorithm has l2-stability. In fact, the SM-AP algorithm never diverges; no matter how the parameters of the SM-AP algorithm has been adopted. Finally, the simulation results substantiate the validity of the proposed analysis.


title: Modelling Grocery Retail Topic Distributions: Evaluation, Interpretability and Stability

abstract: Understanding the shopping motivations behind market baskets has high commercial value in the grocery retail industry. Analyzing shopping transactions demands techniques that can cope with the volume and dimensionality of grocery transactional data while keeping interpretable outcomes. Latent Dirichlet Allocation (LDA) provides a suitable framework to process grocery transactions and to discover a broad representation of customers' shopping motivations. However, summarizing the posterior distribution of an LDA model is challenging, while individual LDA draws may not be coherent and cannot capture topic uncertainty. Moreover, the evaluation of LDA models is dominated by model-fit measures which may not adequately capture the qualitative aspects such as interpretability and stability of topics. In this paper, we introduce clustering methodology that post-processes posterior LDA draws to summarise the entire posterior distribution and identify semantic modes represented as recurrent topics. Our approach is an alternative to standard label-switching techniques and provides a single posterior summary set of topics, as well as associated measures of uncertainty. Furthermore, we establish a more holistic definition for model evaluation, which assesses topic models based not only on their likelihood but also on their coherence, distinctiveness and stability. By means of a survey, we set thresholds for the interpretation of topic coherence and topic similarity in the domain of grocery retail data. We demonstrate that the selection of recurrent topics through our clustering methodology not only improves model likelihood but also outperforms the qualitative aspects of LDA such as interpretability and stability. We illustrate our methods on an example from a large UK supermarket chain.


title: State Complexity of Reversible Watson-Crick Automata

abstract: Reversible Watson-Crick automata introduced by Chatterjee et.al. is a reversible variant of an Watson-Crick automata. It has already been shown that the addition of DNA properties to reversible automata significantly increases the computational power of the model. In this paper, we analyze the state complexity of Reversible Watson-Crick automata with respect to non-deterministic finite automata. We show that Reversible Watson-Crick automata in spite of being reversible in nature enjoy state complexity advantage over non deterministic finite automata. The result is interesting because conversion from non deterministic to deterministic automata results in exponential blow up of the number of states and classically increase in number of heads of the automata cannot compensate for non-determinism in deterministic and reversible models.


title: Multi-head Watson-Crick quantum finite automata

abstract: Watson-Crick quantum finite automata were introduced by Ganguly et.al. by combining properties of DNA and Quantum automata. In this paper we introduce a multi-head version of the above automaton. We further show that the multi-head variant is computationally more powerful than one-way multi-head reversible finite automata. In fact we also show that the multi-head variant accepts a language which is not accepted by any one-way multi-head deterministic finite automata.


title: Refining the Census of the Upper Scorpius Association with Gaia

abstract: We have refined the census of stars and brown dwarfs in the Upper Sco association (~10 Myr, ~145 pc) by 1) updating the selection of candidate members from our previous survey to include the high-precision astrometry from the second data release of Gaia, 2) obtaining spectra of a few hundred candidate members to measure their spectral types and verify their youth, and 3) assessing the membership (largely with Gaia astrometry) of 2020 stars toward Upper Sco that show evidence of youth in this work and previous studies. We arrive at a catalog of 1761 objects that are adopted as members of Upper Sco. The distribution of spectral types among the adopted members is similar to those in other nearby star-forming regions, indicating a similar initial mass function. In previous studies, we have compiled mid-infrared photometry from WISE and the Spitzer Space Telescope for members of Upper Sco and used those data to identify the stars that show evidence of circumstellar disks; we present the same analysis for our new catalog of members. As in earlier work, we find that the fraction of members with disks increases with lower stellar masses, ranging from <=10% for >1 Msun to ~22% for 0.01-0.3 Msun. Finally, we have estimated the relative ages of Upper Sco and other young associations using their sequences of low-mass stars in M(G_RP) versus G_BP-G_RP. This comparison indicates that Upper Sco is a factor of two younger than the beta Pic association (21-24 Myr) according to both non-magnetic and magnetic evolutionary models.


title: Optimization of atomic density-fitting basis functions for molecular two-electron integral approximations

abstract: A general procedure for the optimization of atomic density-fitting basis functions is designed with the balance between accuracy and numerical stability in mind. Given one-electron wavefunctions and energies, weights are assigned to the product densities, modeling their contribution to the exchange and second-order correlation energy, and a simple weighted error measure is minimized. Generally-contracted Gaussian auxiliary basis sets are optimized to match the wavefunction basis sets [D. N. Laikov, Theor. Chem. Acc. 138, 40 (2019)] for all 102 elements in a scalar-relativistic approximation [D. N. Laikov, J. Chem. Phys. 150, 061102 (2019)].


title: Finite Mixture Approximation of CARMA(p,q) Models

abstract: In this paper we show how to approximate the transition density of a CARMA(p, q) model driven by means of a time changed Brownian Motion based on the Gauss-Laguerre quadrature. We then provide an analytical formula for option prices when the log price follows a CARMA(p, q) model. We also propose an estimation procedure based on the approximated likelihood density.


title: Combining the Causal Judgments of Experts with Possibly Different Focus Areas

abstract: In many real-world settings, a decision-maker must combine information provided by different experts in order to decide on an effective policy. Alrajeh, Chockler, and Halpern [2018] showed how to combine causal models that are compatible in the sense that, for variables that appear in both models, the experts agree on the causal structure. In this work we show how causal models can be combined in cases where the experts might disagree on the causal structure for variables that appear in both models due to having different focus areas. We provide a new formal definition of compatibility of models in this setting and show how compatible models can be combined. We also consider the complexity of determining whether models are compatible. We believe that the notions defined in this work are of direct relevance to many practical decision making scenarios that come up in natural, social, and medical science settings.


title: Connected three-body terms in single-reference unitary many-body theories: Iterative and perturbative approximations

abstract: This work introduces various approaches to include connected three-body terms in unitary many-body theories, focusing a representative example on the driven similarity renormalization group (DSRG). Starting from the least approximate method - the linearized DSRG truncated to one-, two-, and three-body operators [LDSRG(3)] - we develop several approximate LDSRG(3) models with reduced computational cost. Through a perturbative analysis, we motivate a family of iterative LDSRG(3)-$n$ and -$n'$ ($n=1,2,3,4$) methods that contain a subset of the LDSRG(3) diagrams. Among these variants, the LDSRG(3)-2 scheme has the same computational complexity of coupled cluster theory with singles, doubles, and triples (CCSDT), but it outperforms CCSDT in the accuracy of the predicted correlation energies. We also propose and implement two perturbative triples corrections based on the linearized DSRG truncated to one- and two-body operators augmented with recursive quadratic commutators [qDSRG(2)]. The resulting qDSRG(2)+(T) approach matches the accuracy of the "gold-standard" coupled cluster theory with singles, doubles, and perturbative triples model on the energetics of twenty-eight closed-shell atoms and small molecules.


title: Generalization of cosmological attractor approach to Einstein-Gauss-Bonnet gravity

abstract: We construct models with the Gauss-Bonnet term multiplied to a function of the scalar field leading to inflationary scenario. The consideration is related with the slow-roll approximation. The cosmological attractor approach gives the spectral index of scalar perturbations which is in a good agreement with modern observation and allows variability for tensor-to-scalar ratio. We reconstruct models with variability of parameters which allow to reproduce cosmological attractor predictions for inflationary parameters in the leading order of $1/N$ approximation in the Einstein-Gauss-Bonnet gravity.


title: Elucidating the mechanism of reactive uptake of N$_2$O$_5$ in aqueous aerosol

abstract: Nearly one third of all nitrogen oxides are removed from the atmosphere through the reactive uptake of N$_2$O$_5$ into aqueous aerosol. The primary step in reactive uptake is the rapid hydrolysis of N$_2$O$_5$, yet despite significant study, the mechanism and rate of this process are unknown. Here we use machine learning-based reactive many body potentials and methods of importance sampling molecular dynamics simulations to study the solvation and subsequent hydrolysis of N$_2$O$_5$. We find that hydrolysis to nitric acid proceeds through the coordinated fluctuation of intramolecular charge separation and solvation, and its characteristic rate is 4.1 ns$^{-1}$, orders of magnitude faster than traditionally assumed. This large rate calls into question standard models of reactive uptake that envision local equilibration between the gas and the bulk solution. We propose an alternative model based on interfacial reactivity that can explain existing experimental observations and is corroborated by explicit simulations.


title: Contact and isocontact embedding of $\pi$-manifolds

abstract: We prove some contact analogs of smooth embedding theorems for closed $\pi$-manifolds. We show that a closed, $k$-connected, $\pi$-manifold of dimension (2n + 1) that bounds a $\pi$-manifold, contact embeds in the $(4n-2k+3)$-dimensional Euclidean space with the standard contact structure. We also prove some isocontact embedding results for $\pi$-manifolds and parallelizable manifolds.


title: A new approach to the S-functional calculus

abstract: In this paper, we first prove that the S-spectrum of a bounded right quaternionic linear operator on a two-sided quaternionic Banach space is a union of the spectrum of some bounded linear operators on a complex Banach space. Furthermore, we show that the S-functional calculus is obtained by the Riesz-Dunford functional calculus for complex linear operators. We also give simple proofs of some already existing results.


title: Some Common Mistakes in the Teaching and Textbooks of Modal Logic

abstract: We discuss four common mistakes in the teaching and textbooks of modal logic. The first one is missing the axiom $\Diamond\varphi\leftrightarrow\neg\Box\neg\varphi$, when choosing $\Diamond$ as the primitive modal operator, misunderstanding that $\Box$ and $\Diamond$ are symmetric. The second one is forgetting to make the set of formulas for filtration closed under subformulas, when proving the finite model property through filtration, neglecting that $\Box\varphi$ and $\Diamond\varphi$ may be abbreviations of formulas. The third one is giving wrong definitions of canonical relations in minimal canonical models that are unmatched with the primitive modal operators. The final one is misunderstanding the rule of necessitation, without knowing its distinction from the rule of modus ponens. To better understand the rule of necessitation, we summarize six ways of defining deductive consequence in modal logic: omitted definition, classical definition, ternary definition, reduced definition, bounded definition, and deflationary definition, and show that the last three definitions are equivalent to each other.


title: Exploring formation scenarios for the exomoon candidate Kepler 1625b I

abstract: If confirmed, the Neptune-size exomoon candidate in the Kepler 1625 system will be the first natural satellite outside our Solar System. Its characteristics are nothing alike we know for a satellite. Kepler 1625b I is expected to be as massive as Neptune and to orbit at 40 planetary radii around a ten Jupiter mass planet. Because of its mass and wide orbit, this satellite was firstly thought to be captured instead of formed in-situ. In this work, we investigated the possibility of an in-situ formation of this exomoon candidate. To do so, we performed N-body simulations to reproduce the late phases of satellite formation and use a massive circum-planetary disc to explain the mass of this satellite. Our setups started soon after the gaseous nebula dissipation, when the satellite embryos are already formed. Also for selected exomoon systems we take into account a post-formation tidal evolution. We found that in-situ formation is viable to explain the origin of Kepler 1625b I, even when different values for the star-planet separation are considered. We show that for different star-planet separations the minimum amount of solids needed in the circum-planetary disc to form such a satellite varies, the wider is this separation more material is needed. In our simulations of satellite formation many satellites were formed close to the planet, this scenario changed after the tidal evolution of the systems. We concluded that if the Kepler1625 b satellite system was formed in-situ, tidal evolution was an important mechanism to sculpt its final architecture.


title: Tubes Containing String Modules in Symmetric Special Multiserial Algebras

abstract: Symmetric special multiserial algebras are algebras that correspond to decorated hypergraphs with orientation, called Brauer configurations. In this paper, we use the combinatorics of Brauer configurations to understand the module category of symmetric special multiserial algebras via their Auslander-Reiten quiver. In particular, we provide methods for determining the existence and ranks of tubes in the stable Auslander-Reiten quiver of symmetric special multiserial algebras using only the information from the underlying Brauer configuration. Firstly, we define a combinatorial walk around the Brauer configuration, called a Green `hyperwalk', which generalises the existing notion of a Green walk around a Brauer graph. Periodic Green hyperwalks are then shown to correspond to periodic projective resolutions of certain classes of string modules over the corresponding symmetric special multiserial algebra. Periodic Green hyperwalks thus determine certain classes of tubes in the stable Auslander-Reiten quiver, with the ranks of the tubes determined by the periods of the walks. Finally, we provide a description of additional rank two tubes in symmetric special multiserial algebras that do not arise from Green hyperwalks, but which nevertheless contain string modules at the mouth. This includes an explicit description of the space of extensions between string modules at the mouth of tubes of rank two.


title: On the geometry of null hypersurfaces of indefinite complex contact manifolds

abstract: We study the geometry of null hypersurfaces in indefinite complex contact manifolds. We prove several classification results for a variety of well-known null hypersurfaces, including the totally umbilic, totally screen umbilic, and the screen conformal ones. Furthermore, a characterization of the ambient space is given in case the underlying null hypersurface is totally contact umbilic, totally contact screen umbilic or contact screen conformal, i.e. we have proved that the ambient complex contact manifold must be a space of constant $GH$-sectional curvature of $-3$.


title: Rational Consensus

abstract: We provide a game-theoretic analysis of consensus, assuming that processes are controlled by rational agents and may fail by crashing. We consider agents that \emph{care only about consensus}: that is, (a) an agent's utility depends only on the consensus value achieved (and not, for example, on the number of messages the agent sends) and (b) agents strictly prefer reaching consensus to not reaching consensus. We show that, under these assumptions, there is no \emph{ex post Nash Equilibrium}, even with only one failure. Roughly speaking, this means that there must always exist a \emph{failure pattern} (a description of who fails, when they fail, and which agents they do not send messages to in the round that they fail) and initial preferences for which an agent can gain by deviating. On the other hand, if we assume that there is a distribution $\pi$ on the failure patterns and initial preferences, then under minimal assumptions on $\pi$, there is a Nash equilibrium that tolerates $f$ failures (i.e., $\pi$ puts probability 1 on there being at most $f$ failures) if $f+1 < n$ (where $n$ is the total number of agents). Moreover, we show that a slight extension of the Nash equilibrium strategy is also a \emph{sequential} equilibrium (under the same assumptions about the distribution $\pi$).


title: Enabling RAN Slicing Through Carrier Aggregation in mmWave Cellular Networks

abstract: The ever increasing number of connected devices and of new and heterogeneous mobile use cases implies that 5G cellular systems will face demanding technical challenges. For example, Ultra-Reliable Low-Latency Communication (URLLC) and enhanced Mobile Broadband (eMBB) scenarios present orthogonal Quality of Service (QoS) requirements that 5G aims to satisfy with a unified Radio Access Network (RAN) design. Network slicing and mmWave communications have been identified as possible enablers for 5G. They provide, respectively, the necessary scalability and flexibility to adapt the network to each specific use case environment, and low latency and multi-gigabit-per-second wireless links, which tap into a vast, currently unused portion of the spectrum. The optimization and integration of these technologies is still an open research challenge, which requires innovations at different layers of the protocol stack. This paper proposes to combine them in a RAN slicing framework for mmWaves, based on carrier aggregation. Notably, we introduce MilliSlice, a cross-carrier scheduling policy that exploits the diversity of the carriers and maximizes their utilization, thus simultaneously guaranteeing high throughput for the eMBB slices and low latency and high reliability for the URLLC flows.


title: Exact sum rules with approximate ground states

abstract: Electromagnetic and weak transitions tell us a great deal about the structure of atomic nuclei. Yet modeling transitions can be difficult: it is often easier to compute the ground state, if only as an approximation, than excited states. One alternative is through transition sum rules, in particular the non-energy-weighted and energy-weighted sum rules, which can be computed as expectation values of operators. We investigate by computing sum rules for a variety of nuclei, comparing the numerically exact full configuration-interaction shell model, as a reference, to Hartree-Fock, projected Hartree-Fock, and the nucleon pair approximation. These approximations yield reasonable agreement, which we explain by prior work on the systematics of transition moments.


title: Compactifications of affine homology $3$-cells into blow-ups of the projective $3$-space with trivial log canonical divisors

abstract: In this paper we classify all the compactifications of affine homology $3$-cells into the blow-ups of the projective $3$-space along smooth curves such that the log canonical divisors are linearly trivial. As a result, we prove that each embedded affine $3$-fold is isomorphic to the affine $3$-space except one example.


title: Real-Time Radar-Based Gesture Detection and Recognition Built in an Edge-Computing Platform

abstract: In this paper, a real-time signal processing frame-work based on a 60 GHz frequency-modulated continuous wave (FMCW) radar system to recognize gestures is proposed. In order to improve the robustness of the radar-based gesture recognition system, the proposed framework extracts a comprehensive hand profile, including range, Doppler, azimuth and elevation, over multiple measurement-cycles and encodes them into a feature cube. Rather than feeding the range-Doppler spectrum sequence into a deep convolutional neural network (CNN) connected with recurrent neural networks, the proposed framework takes the aforementioned feature cube as input of a shallow CNN for gesture recognition to reduce the computational complexity. In addition, we develop a hand activity detection (HAD) algorithm to automatize the detection of gestures in real-time case. The proposed HAD can capture the time-stamp at which a gesture finishes and feeds the hand profile of all the relevant measurement-cycles before this time-stamp into the CNN with low latency. Since the proposed framework is able to detect and classify gestures at limited computational cost, it could be deployed in an edge-computing platform for real-time applications, whose performance is notedly inferior to a state-of-the-art personal computer. The experimental results show that the proposed framework has the capability of classifying 12 gestures in real-time with a high F1-score.


title: Quantum repeaters in space

abstract: Long-distance entanglement is a very precious resource, but its distribution is very difficult due to the exponential losses of light in optical fibres. A possible solution consists in the use of quantum repeaters, based on entanglement swapping or quantum error correction. Alternatively, satellite-based free-space optical links can be exploited, achieving better loss-distance scaling. We propose to combine these two ingredients, quantum repeaters and satellite-based links, into a scheme that allows to achieve entanglement distribution over global distances with a small number of intermediate untrusted nodes. The entanglement sources, placed on satellites, send quantum states encoded in photons towards orbiting quantum repeater stations, where entanglement swapping is performed. The performance of this repeater chain is assessed in terms of the secret key rate achievable by the BB-84 cryptographic protocol. We perform a comparison with other repeater chain architectures and show that our scheme is superior in almost every situation, achieving higher key rates, reliability and flexibility. Finally, we analyse the feasibility of the implementation in the mid-term future and discuss exemplary orbital configurations. The integration of satellite-based links with ground repeater networks can be envisaged to represent the backbone of the future Quantum Internet.


title: On the rational motivic homotopy category

abstract: We study the structure of the rational motivic stable homotopy category over general base schemes. Our first class of results concerns the six operations: we prove absolute purity, stability of constructible objects, and Grothendieck-Verdier duality for SH_Q. Next, we prove that SH_Q is canonically SL-oriented; we compare SH_Q with the category of rational Milnor-Witt motives; and we relate the rational bivariant A^1-theory to Chow-Witt groups. These results are derived from analogous statements for the minus part of SH[1/2].


title: NR V2X Communications at Millimeter Waves: An End-to-End Performance Evaluation

abstract: 3GPP NR V2X represents the new 3GPP standard for next-generation vehicular systems which, among other innovations, supports vehicle-to-vehicle (V2V) operations in the millimeter wave (mmWave) spectrum to address the communication requirements of future intelligent automotive networks. While mmWaves will enable massive data rates and low latency, the propagation characteristics at very high frequencies become very challenging, thereby calling for accurate performance evaluations as a means to properly assess the performance of such systems. Along these lines, in this paper MilliCar, the new ns-3 module based on the latest NR V2X specifications, is used to provide an end-to-end performance evaluation of mmWave V2V networks. We investigate the impact of different propagation scenarios and system parameters, including the inter-vehicle distance, the adopted frame numerology, and the modulation and coding scheme, and provide guidelines towards the most promising V2V deployment configurations.


title: Discriminative Dictionary Design for Action Classification in Still Images and Videos

abstract: In this paper, we address the problem of action recognition from still images and videos. Traditional local features such as SIFT, STIP etc. invariably pose two potential problems: 1) they are not evenly distributed in different entities of a given category and 2) many of such features are not exclusive of the visual concept the entities represent. In order to generate a dictionary taking the aforementioned issues into account, we propose a novel discriminative method for identifying robust and category specific local features which maximize the class separability to a greater extent. Specifically, we pose the selection of potent local descriptors as filtering based feature selection problem which ranks the local features per category based on a novel measure of distinctiveness. The underlying visual entities are subsequently represented based on the learned dictionary and this stage is followed by action classification using the random forest model followed by label propagation refinement. The framework is validated on the action recognition datasets based on still images (Stanford-40) as well as videos (UCF-50) and exhibits superior performances than the representative methods from the literature.


title: GCN-Based User Representation Learning for Unifying Robust Recommendation and Fraudster Detection

abstract: In recent years, recommender system has become an indispensable function in all e-commerce platforms. The review rating data for a recommender system typically comes from open platforms, which may attract a group of malicious users to deliberately insert fake feedback in an attempt to bias the recommender system to their favour. The presence of such attacks may violate modeling assumptions that high-quality data is always available and these data truly reflect users' interests and preferences. Therefore, it is of great practical significance to construct a robust recommender system that is able to generate stable recommendations even in the presence of shilling attacks. In this paper, we propose GraphRfi - a GCN-based user representation learning framework to perform robust recommendation and fraudster detection in a unified way. In its end-to-end learning process, the probability of a user being identified as a fraudster in the fraudster detection component automatically determines the contribution of this user's rating data in the recommendation component; while the prediction error outputted in the recommendation component acts as an important feature in the fraudster detection component. Thus, these two components can mutually enhance each other. Extensive experiments have been conducted and the experimental results show the superiority of our GraphRfi in the two tasks - robust rating prediction and fraudster detection. Furthermore, the proposed GraphRfi is validated to be more robust to the various types of shilling attacks over the state-of-the-art recommender systems.


title: On a Hilfer fractional differential equation with nonlocal Erd\'{e}lyi-Kober fractional integral boundary conditions

abstract: We consider a Hilfer fractional differential equation with nonlocal Erd\'{e}lyi-Kober fractional integral boundary conditions. The existence, uniqueness and Ulam-Hyers stability results are investigated by means of the Krasnoselskii's fixed point theorem and Banach's fixed point theorem. An example is given to illustrate the main results.


title: Weak damping for the Korteweg-de Vries equation

abstract: For more than 20 years, the Korteweg-de Vries equation has been intensively explored from the mathematical point of view. Regarding control theory, when adding an internal force term in this equation, it is well known that the Korteweg-de Vries equation is exponentially stable in a bounded domain. In this work, we propose a weak forcing mechanism, with a lower cost than that already existing in the literature, to achieve the result of the global exponential stability to the Korteweg-de Vries equation.


title: High Rayleigh number variational multiscale large eddy simulations of Rayleigh-B\'{e}nard Convection

abstract: The variational multiscale (VMS) formulation is used to develop residual-based VMS large eddy simulation (LES) models for Rayleigh-B\'{e}nard convection. The resulting model is a mixed model that incorporates the VMS model and an eddy viscosity model. The Wall-Adapting Local Eddy-viscosity (WALE) model is used as the eddy viscosity model in this work. The new LES models were implemented in the finite element code Drekar. Simulations are performed using continuous, piecewise linear finite elements. The simulations ranged from $Ra = 10^6$ to $Ra = 10^{14}$ and were conducted at $Pr = 1$ and $Pr = 7$. Two domains were considered: a two-dimensional domain of aspect ratio 2 with a fluid confined between two parallel plates and a three-dimensional cylinder of aspect ratio $1/4$. The Nusselt number from the VMS results is compared against three dimensional direct numerical simulations and experiments. In all cases, the VMS results are in good agreement with existing literature.


title: Coronavirus: Case for Digital Money?

abstract: We discuss the pros of adopting government-issued digital currencies as well as a supranational digital iCurrency. One such pro is to get rid of paper money (and coinage), a ubiquitous medium for spreading germs, as highlighted by the recent coronavirus outbreak. We set forth three policy recommendations for adapting mobile devices as new digital wallets, regulatory oversight of sovereign digital currencies and user data protection, and a supranational digital iCurrency for facilitating international digital monetary linkages.


title: Local invariants of minimal generic curves on rational surfaces

abstract: Let (C,0) be a reduced curve germ in a normal surface singularity (X,0). The main goal is to recover the delta invariant of the abstract curve (C,0) from the topology of the embedding. We give explicit formulae whenever (C,0) is minimal generic and (X,0) is rational (as a continuation of previous works of the authors). Additionally we prove that if (X,0) is a quotient singularity, then the delta invariant of (C,0) only admits the values r-1 or r, where r is the number or irreducible components of (C,0). (r-1 realizes the extremal lower bound, valid only for `ordinary r-tuples'.)


title: Thermal radiation dominated heat transfer in nanomechanical silicon nitride drum resonators

abstract: Nanomechanical silicon nitride (SiN) drum resonators are currently employed in various fields of applications that arise from their unprecedented frequency response to physical quantities. In the present study, we investigate the thermal transport in nanomechanical SiN drum resonators by analytical modelling, computational simulations, and experiments for a better understanding of the underlying heat transfer mechanism causing the thermal frequency response. Our analysis indicates that radiative heat loss is a non-negligible heat transfer mechanism in nanomechanical SiN resonators limiting their thermal responsivity and response time. This finding is important for optimal resonator designs for thermal sensing applications as well as cavity optomechanics.


title: Generating Question Titles for Stack Overflow from Mined Code Snippets

abstract: Stack Overflow has been heavily used by software developers as a popular way to seek programming-related information from peers via the internet. The Stack Overflow community recommends users to provide the related code snippet when they are creating a question to help others better understand it and offer their help. Previous studies have shown that} a significant number of these questions are of low-quality and not attractive to other potential experts in Stack Overflow. These poorly asked questions are less likely to receive useful answers and hinder the overall knowledge generation and sharing process. Considering one of the reasons for introducing low-quality questions in SO is that many developers may not be able to clarify and summarize the key problems behind their presented code snippets due to their lack of knowledge and terminology related to the problem, and/or their poor writing skills, in this study we propose an approach to assist developers in writing high-quality questions by automatically generating question titles for a code snippet using a deep sequence-to-sequence learning approach. Our approach is fully data-driven and uses an attention mechanism to perform better content selection, a copy mechanism to handle the rare-words problem and a coverage mechanism to eliminate word repetition problem. We evaluate our approach on Stack Overflow datasets over a variety of programming languages (e.g., Python, Java, Javascript, C# and SQL) and our experimental results show that our approach significantly outperforms several state-of-the-art baselines in both automatic and human evaluation. We have released our code and datasets to facilitate other researchers to verify their ideas and inspire the follow-up work.


title: Applying the Nash Bargaining Solution for a Reasonable Royalty

abstract: There has been limited success applying the Nash Bargaining Solution (NBS) in assigning intellectual property damages due to the difficulty of relating it to the specific facts of the case. Because of this, parties are not taking advantage of Georgia-Pacific factor fifteen. This paper intends to bring clarity to the NBS so it can be applied to the facts of a case. This paper normalizes the NBS and provides a methodology for determining the bargaining weight in Nash's solution. Several examples demonstrate this normalized form, and a nomograph is added for computational ease.


title: Loaded microwave cavity for compact vapor-cell clocks

abstract: Vapor-cell devices based on microwave interrogation provide a stable frequency reference with a compact and robust setup. Further miniaturization must focus on optimizing the physics package, containing the microwave cavity and atomic reservoir. In this paper we present a compact cavity-cell assembly based on a dielectric-loaded cylindrical resonator. The structure accommodates a clock cell with $0.9 \, \mathrm{cm^3}$ inner volume and has an outer volume of only $35 \, \mathrm{cm^3}$. The proposed design aims at strongly reducing the core of the atomic clock, maintaining at the same time high-performing short-term stability ($\sigma_y(\tau) \leq 5\times 10^{-13} \,\tau^{-1/2}$ standard Allan deviation). The proposed structure is characterized in terms of magnetic field uniformity and atom-field coupling with the aid of finite-elements calculations. The thermal sensitivity is also analyzed and experimentally characterized. We present preliminary spectroscopy results by integrating the compact cavity within a rubidium clock setup based on the pulsed optically pumping technique. The obtained clock signals are compatible with the targeted performances. The loaded-cavity approach is thus a viable design option for miniaturized microwave clocks.


title: Rapid forward of gravity and tensor gravity data

abstract: The large-scale three-dimensional inversion of surface gravity / tensor gravity data is a very challenging numerical and practical problem, which is a highly physical memory usage, time-consuming computation and high precision for large-scale gravity models. Equivalent geometric architecture was introduced to avoid to calculate and to save sensitivity matrix. A new equivalent geometric architecture was not rely on symmetrical characteristic of gravity field by added three virtual grids into geophysical model. A new fast forward method was proposed based translation equivalent technique based toeplitz matrix, which a toeplitz matrix carried out fast matrix-vector multiplication by using the fast Fourier transform. Numerical experiments show that the method proposed in this paper is require little memory, high efficiency and high precision.


title: User Attention and Behaviour in Virtual Reality Art Encounter

abstract: With the proliferation of consumer virtual reality (VR) headsets and creative tools, content creators have started to experiment with new forms of interactive audience experience using immersive media. Understanding user attention and behaviours in virtual environment can greatly inform creative processes in VR. We developed an abstract VR painting and an experimentation system to study audience encounters through eye gaze and movement tracking. The data from a user experiment with 35 participants reveal a range of user activity patterns in art exploration. Deep learning models are used to study the connections between behavioural data and audience background. New integrated methods to visualise user attention as part of the artwork are also developed as a feedback loop to the content creator.


title: Electronic and magnetic properties of the Jahn-Teller active fluoride $\mathrm{NaCrF_{3}}$ from first-principles calculations

abstract: In perovskite-type compounds, the interplay of cooperative Jahn-Teller effect, electronic correlations and orbital degree of freedom leads to intriguing properties. $\mathrm{NaCrF_{3}}$ is a newly synthesized Jahn-Teller active fluoroperovskite where the $\mathrm{CrF_{6}^{4-}}$ octahedrons are considerably distorted. Based on the first-principles calculation, we analyze its electronic structure and magnetic properties. Our numerical results show that the $\mathrm{Cr^{2+}}$ ions adopt the high-spin $t_{2g\uparrow}^{3}e_{g\uparrow}^{1}$ configuration with $G$-type orbital ordering. We also estimate the magnetic exchange couplings and find that the in-plane and interplanar nearest-neighbor interactions are ferromagnetic and antiferromagnetic, respectively. The ground state of this material is $A$-type antiferromagnetic, in agreement with the experiments. Reasonable Curie-Weiss and $\mathrm{N\acute{e}el}$ temperatures compared to the experiments are given by mean-field approximation theory. Our results give a complete explanation of its electronic structure, magnetic and orbital order, and help to further comprehend the behaviors of Jahn-Teller active perovskite-type fluoride.


title: Scaling of PDFs, TMDs, and GPDs in soft-wall AdS/QCD

abstract: We explicitly demonstrate how to correctly define the hadronic parton distributions (PDFs, TMDs, and GPDs) in the soft-wall AdS/QCD approach, based on the use of a quadratic dilaton field, providing confinement and spontaneous breaking of conformal and chiral symmetries. The power behavior of parton distributions at large values of the light-cone variable is consistent with quark counting rules and Drell-Yan-West duality. All parton distributions are defined in terms of profile functions, which depend on the light-cone coordinate and are fixed from PDFs and electromagnetic form factors.