title: Cosmological constraints on the Multi Scalar Field Dark Matter model

abstract: The main aim of this paper is to provide cosmological constraints on the Multi Scalar Field Dark Matter model (MSFDM), in which we assume the dark matter is made up of different ultra-light scalar fields. As a first approximation, we consider they are real and do not interact with each other. We study the equations for both the background and perturbations for $N$-fields and present the evolution of the density parameters, the mass power spectrum and the CMB spectrum. In particular, we focus on two scalar fields with several combinations for the potentials $V(\phi) = 1/2 m_{\phi}^2 \phi^2$, $V(\phi) = m_{\phi}^2f^2\left[1+\cos(\phi/f)\right]$ and $V(\phi) = m_{\phi}^2f^2\left[\cosh(\phi/f)-1\right]$, however the work, along with the code, could be easily extended to more fields. We use the data from BAO, Big Bang Nucleosynthesis, Lyman-$\alpha$ forest and Supernovae to find constraints on the sampling parameters for the cases of a single field and double field, along with the Bayesian evidence. We found that some combinations of the potentials get penalized through the evidence, however for others there is a preference as good as for the cold dark matter.


title: Binomial expansion for saturated and symbolic powers of sums of ideals

abstract: There are two different notions for symbolic powers of ideals existing in the literature, one defined in terms of associated primes, the other in terms of minimal primes. Elaborating on an idea known to Eisenbud, Herzog, Hibi, and Trung, we interpret both notions of symbolic powers as suitable saturations of the ordinary powers. We prove a binomial expansion formula for saturated powers of sums of ideals. This gives a uniform treatment to an array of existing and new results on both notions of symbolic powers of such sums: binomial expansion formulas, computations of depth and regularity, and criteria for the equality of ordinary and symbolic powers.


title: Deep Spatially and Temporally Aware Similarity Computation for Road Network Constrained Trajectories

abstract: Trajectory similarity computation has drawn massive attention, as it is core functionality in a wide range of applications such as ride-sharing, traffic analysis, and social recommendation. Motivated by the recent success of deep learning technologies, researchers start devoting efforts to learning-based similarity analyses to overcome the limitations (i.e., high cost and poor adaptability) of traditional methods. Specifically, deep trajectory similarity computation aims to learn a distance function that can evaluate how similar two trajectories are via neural networks. However, existing learning-based methods focus on spatial similarity but ignore the time dimension of trajectories, which is suboptimal for time-aware applications. Besides, they tend to disregard the embedding of trajectories into road networks, restricting their applicability in real scenarios. In this paper, we propose an effective learning-based framework, called ST2Vec, to perform efficient spatially and temporally aware trajectory similarity computation in road networks. Finally, extensive experimental evaluation using three real trajectory data sets shows that ST2Vec outperforms all the state-of-the-art approaches substantially.


title: KGBoost: A Classification-based Knowledge Base Completion Method with Negative Sampling

abstract: Knowledge base completion is formulated as a binary classification problem in this work, where an XGBoost binary classifier is trained for each relation using relevant links in knowledge graphs (KGs). The new method, named KGBoost, adopts a modularized design and attempts to find hard negative samples so as to train a powerful classifier for missing link prediction. We conduct experiments on multiple benchmark datasets, and demonstrate that KGBoost outperforms state-of-the-art methods across most datasets. Furthermore, as compared with models trained by end-to-end optimization, KGBoost works well under the low-dimensional setting so as to allow a smaller model size.


title: Personalized On-Device E-health Analytics with Decentralized Block Coordinate Descent

abstract: Actuated by the growing attention to personal healthcare and the pandemic, the popularity of E-health is proliferating. Nowadays, enhancement on medical diagnosis via machine learning models has been highly effective in many aspects of e-health analytics. Nevertheless, in the classic cloud-based/centralized e-health paradigms, all the data will be centrally stored on the server to facilitate model training, which inevitably incurs privacy concerns and high time delay. Distributed solutions like Decentralized Stochastic Gradient Descent (D-SGD) are proposed to provide safe and timely diagnostic results based on personal devices. However, methods like D-SGD are subject to the gradient vanishing issue and usually proceed slowly at the early training stage, thereby impeding the effectiveness and efficiency of training. In addition, existing methods are prone to learning models that are biased towards users with dense data, compromising the fairness when providing E-health analytics for minority groups. In this paper, we propose a Decentralized Block Coordinate Descent (D-BCD) learning framework that can better optimize deep neural network-based models distributed on decentralized devices for E-health analytics. Benchmarking experiments on three real-world datasets illustrate the effectiveness and practicality of our proposed D-BCD, where additional simulation study showcases the strong applicability of D-BCD in real-life E-health scenarios.


title: Discrete signature and its application to finance

abstract: Signatures, one of the key concepts of rough path theory, have recently gained prominence as a means to find appropriate feature sets in machine learning systems. In this paper, in order to compute signatures directly from discrete data without going through the transformation to continuous data, we introduced a discretized version of signatures, called "flat discrete signatures". We showed that the flat discrete signatures can represent the quadratic variation that has a high relevance in financial applications. We also introduced the concept of "discrete signatures" that is a generalization of "flat discrete signatures". This concept is defined to reflect the fact that data closer to the current time is more important than older data, and is expected to be applied to time series analysis. As an application of discrete signatures, we took up a stock market related problem and succeeded in performing a good estimation with fewer data points than before.


title: Domain Adaptation on Point Clouds via Geometry-Aware Implicits

abstract: As a popular geometric representation, point clouds have attracted much attention in 3D vision, leading to many applications in autonomous driving and robotics. One important yet unsolved issue for learning on point cloud is that point clouds of the same object can have significant geometric variations if generated using different procedures or captured using different sensors. These inconsistencies induce domain gaps such that neural networks trained on one domain may fail to generalize on others. A typical technique to reduce the domain gap is to perform adversarial training so that point clouds in the feature space can align. However, adversarial training is easy to fall into degenerated local minima, resulting in negative adaptation gains. Here we propose a simple yet effective method for unsupervised domain adaptation on point clouds by employing a self-supervised task of learning geometry-aware implicits, which plays two critical roles in one shot. First, the geometric information in the point clouds is preserved through the implicit representations for downstream tasks. More importantly, the domain-specific variations can be effectively learned away in the implicit space. We also propose an adaptive strategy to compute unsigned distance fields for arbitrary point clouds due to the lack of shape models in practice. When combined with a task loss, the proposed outperforms state-of-the-art unsupervised domain adaptation methods that rely on adversarial domain alignment and more complicated self-supervised tasks. Our method is evaluated on both PointDA-10 and GraspNet datasets. The code and trained models will be publicly available.


title: Positive Hermitian Curvature Flow on special linear groups and perfect solitons

abstract: We study invariant solutions to the Positive Hermitian Curvature Flow, introduced by Ustinovskiy, on complex Lie groups. We show in particular that the canonical scale-static metrics on the special linear groups, arising from the Killing form, are dynamically unstable. This disproves a conjecture of Ustinovskiy. We also construct certain perfect Lie groups that admit at least two distinct invariant solitons for the flow, only one of which is algebraic. This is the second known example of a geometric flow with non-algebraic, homogeneous solitons. The first being the G2-Laplacian flow.


title: A prototype of quantum von Neumann architecture

abstract: A modern computer system, based on the von Neumann architecture, is a complicated system with several interactive modular parts. Quantum computing, as the most generic usage of quantum information, follows a hybrid architecture so far, namely, quantum algorithms are stored and controlled classically, and mainly the executions of them are quantum, leading to the so-called quantum processing units. Such a quantum-classical hybrid is constrained by its classical ingredients, and cannot reveal the computational power of a fully quantum computer system as conceived from the beginning of the field. Recently, the nature of quantum information has been further recognized, such as the no-programming and no-control theorems, and the unifying understandings of quantum algorithms and computing models. As a result, in this work we propose a model of universal quantum computer system, the quantum version of the von Neumann architecture. It uses ebits (i.e., Bell states) as elements of the quantum memory unit, and qubits as elements of the quantum control unit and processing unit. As a digital quantum system, its global configurations can be viewed as tensor-network states. Its universality is proved by the capability to execute quantum algorithms based on a program composition scheme via a universal quantum gate teleportation. It is also protected by the uncertainty principle, the fundamental law of quantum information, making it quantum-secure distinct from the classical case. In particular, we introduce a few variants of quantum circuits, including the tailed, nested, and topological ones, to characterize the roles of quantum memory and control, which could also be of independent interest in other contexts. In all, our primary study demonstrates the manifold power of quantum information and paves the way for the creation of quantum computer systems in the near future.

categories: quant-ph cs.CC cs.IT cs.SY eess.SY math.IT


title: Balancing Fairness and Robustness via Partial Invariance

abstract: The Invariant Risk Minimization (IRM) framework aims to learn invariant features from a set of environments for solving the out-of-distribution (OOD) generalization problem. The underlying assumption is that the causal components of the data generating distributions remain constant across the environments or alternately, the data "overlaps" across environments to find meaningful invariant features. Consequently, when the "overlap" assumption does not hold, the set of truly invariant features may not be sufficient for optimal prediction performance. Such cases arise naturally in networked settings and hierarchical data-generating models, wherein the IRM performance becomes suboptimal. To mitigate this failure case, we argue for a partial invariance framework. The key idea is to introduce flexibility into the IRM framework by partitioning the environments based on hierarchical differences, while enforcing invariance locally within the partitions. We motivate this framework in classification settings with causal distribution shifts across environments. Our results show the capability of the partial invariant risk minimization to alleviate the trade-off between fairness and risk in certain settings.


title: High-throughput Discovery and Intelligent Design of 2D Functional Materials for Various Applications

abstract: Novel technologies and new materials are in high demand for future energy-efficient electronic devices to overcome the fundamental limitations of miniaturization of current silicon-based devices. Two-dimensional (2D) materials show promising applications in the next generation devices because they can be tailored on the specific property that a technology is based on, and be compatible with other technologies, such as the silicon-based (opto)electronics. Although the number of experimentally discovered 2D materials is growing, the speed is very slow and only a few dozen 2D materials have been synthesized or exfoliated since the discovery of graphene. Recently, a novel computational technique, dubbed "high-throughput computational materials design", becomes a burgeoning area of materials science, which is the combination of the quantum-mechanical theory, materials genome, and database construction with intelligent data mining. This new and powerful tool can greatly accelerate the discovery, design and application of 2D materials by creating database containing a large amount of 2D materials with calculated fundamental properties, and then intelligently mining (via high-throughput automation or machine learning) the database in the search of 2D materials with the desired properties for particular applications, such as energy conversion, electronics, spintronics, and optoelectronics.


title: Expedition: A System for the Unsupervised Learning of a Hierarchy of Concepts

abstract: We present a system for bottom-up cumulative learning of myriad concepts corresponding to meaningful character strings, and their part-related and prediction edges. The learning is self-supervised in that the concepts discovered are used as predictors as well as targets of prediction. We devise an objective for segmenting with the learned concepts, derived from comparing to a baseline prediction system, that promotes making and using larger concepts, which in turn allows for predicting larger spans of text, and we describe a simple technique to promote exploration, i.e. trying out newly generated concepts in the segmentation process. We motivate and explain a layering of the concepts, to help separate the (conditional) distributions learnt among concepts. The layering of the concepts roughly corresponds to a part-whole concept hierarchy. With rudimentary segmentation and learning algorithms, the system is promising in that it acquires many concepts (tens of thousands in our small-scale experiments), and it learns to segment text well: when fed with English text with spaces removed, starting at the character level, much of what is learned respects word or phrase boundaries, and over time the average number of "bad" splits within segmentations, i.e. splits inside words, decreases as larger concepts are discovered and the system learns when to use them during segmentation. We report on promising experiments when the input text is converted to binary and the system begins with only two concepts, "0" and "1". The system is transparent, in the sense that it is easy to tell what the concepts learned correspond to, and which ones are active in a segmentation, or how the system "sees" its input. We expect this framework to be extensible and we discuss the current limitations and a number of directions for enhancing the learning and inference capabilities.


title: Performance Evaluations of Noisy Approximate Quantum Fourier Arithmetic

abstract: The Quantum Fourier Transform (QFT) grants competitive advantages, especially in resource usage and circuit approximation, for performing arithmetic operations on quantum computers, and offers a potential route towards a numerical quantum-computational paradigm. In this paper, we utilize efficient techniques to implement QFT-based integer addition and multiplications. These operations are fundamental to various quantum applications including Shor's algorithm, weighted sum optimization problems in data processing and machine learning, and quantum algorithms requiring inner products. We carry out performance evaluations of these implementations based on IBM's superconducting qubit architecture using different compatible noise models. We isolate the sensitivity of the component quantum circuits on both one-/two-qubit gate error rates, and the number of the arithmetic operands' superposed integer states. We analyze performance, and identify the most effective approximation depths for quantum add and quantum multiply within the given context. We observe significant dependency of the optimal approximation depth on the degree of machine noise and the number of superposed states in certain performance regimes. Finally, we elaborate on the algorithmic challenges - relevant to signed, unsigned, modular and non-modular versions - that could also be applied to current implementations of QFT-based subtraction, division, exponentiation, and their potential tensor extensions. We analyze performance trends in our results and speculate on possible future development within this computational paradigm.


title: Zero-sum Stochastic Differential Games of Impulse Versus Continuous Control by FBSDEs

abstract: We consider a stochastic differential game in the context of forward-backward stochastic differential equations, where one player implements an impulse control while the opponent controls the system continuously. Utilizing the notion of "backward semigroups" we first prove the dynamic programming principle (DPP) for a truncated version of the problem in a straightforward manner. Relying on a uniform convergence argument then enables us to show the DPP for the general setting. In particular, this avoids technical constraints imposed in previous works dealing with the same problem. Moreover, our approach allows us to consider impulse costs that depend on the present value of the state process in addition to unbounded coefficients. Using the dynamic programming principle we deduce that the upper and lower value functions are both solutions (in viscosity sense) to the same Hamilton-Jacobi-Bellman-Isaacs obstacle problem. By showing uniqueness of solutions to this partial differential inequality we conclude that the game has a value.


title: Quantum Fluctuation Theorem under Continuous Measurement and Feedback

abstract: While the fluctuation theorem in classical systems has been thoroughly generalized under various feedback control setups, an intriguing situation in quantum systems, namely under continuous feedback, remains to be investigated. In this work, we derive the generalized fluctuation theorem under continuous quantum measurement and feedback. The essence for the derivation is to newly introduce the operationally meaningful information, which we call quantum-classical-transfer (QC-transfer) entropy. QC-transfer entropy can be naturally interpreted as the quantum counterpart of transfer entropy that is commonly used in classical time series analysis. We also verify our theoretical results by numerical simulation and propose an experiment-numerics hybrid verification method. Our work reveals a fundamental connection between quantum thermodynamics and quantum information, which can be experimentally tested with artificial quantum systems such as circuit quantum electrodynamics.


title: Additive energies on discrete cubes

abstract: We prove that for $d\geq 0$ and $k\geq 2$, for any subset $A$ of a discrete cube $\{0,1\}^d$, the $k-$higher energy of $A$ (the number of $2k-$tuples $(a_1,a_2,\dots,a_{2k})$ in $A^{2k}$ with $a_1-a_2=a_3-a_4=\dots=a_{2k-1}-a_{2k}$) is at most $|A|^{\log_{2}(2^k+2)}$, and $\log_{2}(2^k+2)$ is the best possible exponent. We also show that if $d\geq 0$ and $2\leq k\leq 10$, for any subset $A$ of a discrete cube $\{0,1\}^d$, the $k-$additive energy of $A$ (the number of $2k-$tuples $(a_1,a_2,\dots,a_{2k})$ in $A^{2k}$ with $a_1+a_2+\dots+a_k=a_{k+1}+a_{k+2}+\dots+a_{2k}$) is at most $|A|^{\log_2{ \binom{2k}{k}}}$, and $\log_2{ \binom{2k}{k}}$ is the best possible exponent. We discuss the analogous problems for the sets $\{0,1,\dots,n\}^d$ for $n\geq 2$.


title: Almost volume cone implies almost metric cone for annuluses centered at a compact set in $RCD(K, N)$-spaces

abstract: In \cite{CC1}, Cheeger-Colding considered manifolds with lower Ricci curvature bound and gave some almost rigidity results about warped products including almost metric cone rigidity and quantitative splitting theorem. As a generalization of manifolds with lower Ricci curvature bound, for metric measure spaces in $RCD(K, N)$, $1<N<\infty$, splitting theorem \cite{Gi13} and "volume cone implies metric cone" rigidity for balls and annuluses of a point \cite{PG} have been proved. In this paper we will generalize Cheeger-Colding's \cite{CC1} result about "almost volume cone implies almost metric cone for annuluses of a compact subset " to $RCD(K, N)$-spaces. More precisely, consider a $RCD(K, N)$-space $(X, d, \mathfrak m)$ and a Borel subset $\Omega\subset X$. If the closed subset $S=\partial \Omega$ has finite outer curvature, the diameter ${diam}(S)\leq D$ and the mean curvature of $S$ satisfies $$m(x)\leq m, \, \forall x\in S,$$ and \begin{equation*}\mathfrak m(A_{a, b}(S))\geq (1-\epsilon)\int_a^b \left({sn}'_H(r)+ \frac{m}{n-1}{sn}_H(r)\right)^{n-1}dr \mathfrak m_S(S)\end{equation*} then $A_{a', b'}(S)$ is measured Gromov-Hausdorff close to a warped product $(a', b')\times_{{sn}'_H(r)+ \frac{m}{n-1}{sn}_H(r)}Y,$ $A_{a, b}(S)=\{x\in X\setminus \Omega, \, a<d(x, S)<b\}$, $a<a'<b'<b$, $Y$ is a metric space with finite components with each component is a $RCD(0, N-1)$-space when $m=0, K=0$ and is a $RCD(N-2, N-1)$-space for other cases and $H=\frac{K}{N-1}$. Note that when $m=0, K=0$, our result is a kind of quantitative splitting theorem and in other cases it is an almost metric cone rigidity. To prove this result, different from \cite{Gi13, PG}, we will use \cite{GiT}'s second order differentiation formula and a method similar as \cite{CC1}.


title: MUSE: Marginal Unbiased Score Expansion and Application to CMB Lensing

abstract: We present the marginal unbiased score expansion (MUSE) method, an algorithm for generic high-dimensional hierarchical Bayesian inference. MUSE performs approximate marginalization over arbitrary non-Gaussian latent parameter spaces, yielding Gaussianized asymptotically unbiased and near-optimal constraints on global parameters of interest. It is computationally much cheaper than exact alternatives like Hamiltonian Monte Carlo (HMC), excelling on funnel problems which challenge HMC, and does not require any problem-specific user supervision like other approximate methods such as Variational Inference or many Simulation-Based Inference methods. MUSE makes possible the first joint Bayesian estimation of the delensed Cosmic Microwave Background (CMB) power spectrum and gravitational lensing potential power spectrum, demonstrated here on a simulated data set as large as the upcoming South Pole Telescope 3G 1500 deg$^2$ survey, corresponding to a latent dimensionality of ${\sim}\,6$ million and of order 100 global bandpower parameters. On a subset of the problem where an exact but more expensive HMC solution is feasible, we verify that MUSE yields nearly optimal results. We also demonstrate that existing spectrum-based forecasting tools which ignore pixel-masking underestimate predicted error bars by only ${\sim}\,10\%$. This method is a promising path forward for fast lensing and delensing analyses which will be necessary for future CMB experiments such as SPT-3G, Simons Observatory, or CMB-S4, and can complement or supersede existing HMC approaches. The success of MUSE on this challenging problem strengthens its case as a generic procedure for a broad class of high-dimensional inference problems.


title: From Deterioration to Acceleration: A Calibration Approach to Rehabilitating Step Asynchronism in Federated Optimization

abstract: In the setting of federated optimization, where a global model is aggregated periodically, step asynchronism occurs when participants conduct model training by efficiently utilizing their computational resources. It is well acknowledged that step asynchronism leads to objective inconsistency under non-i.i.d. data, which degrades the model's accuracy. To address this issue, we propose a new algorithm FedaGrac, which calibrates the local direction to a predictive global orientation. Taking advantage of the estimated orientation, we guarantee that the aggregated model does not excessively deviate from the global optimum while fully utilizing the local updates of faster nodes. We theoretically prove that FedaGrac holds an improved order of convergence rate than the state-of-the-art approaches and eliminates the negative effect of step asynchronism. Empirical results show that our algorithm accelerates the training and enhances the final accuracy.


title: UniMiSS: Universal Medical Self-Supervised Learning via Breaking Dimensionality Barrier

abstract: Self-supervised learning (SSL) opens up huge opportunities for medical image analysis that is well known for its lack of annotations. However, aggregating massive (unlabeled) 3D medical images like computerized tomography (CT) remains challenging due to its high imaging cost and privacy restrictions. In this paper, we advocate bringing a wealth of 2D images like chest X-rays as compensation for the lack of 3D data, aiming to build a universal medical self-supervised representation learning framework, called UniMiSS. The following problem is how to break the dimensionality barrier, \ie, making it possible to perform SSL with both 2D and 3D images? To achieve this, we design a pyramid U-like medical Transformer (MiT). It is composed of the switchable patch embedding (SPE) module and Transformers. The SPE module adaptively switches to either 2D or 3D patch embedding, depending on the input dimension. The embedded patches are converted into a sequence regardless of their original dimensions. The Transformers model the long-term dependencies in a sequence-to-sequence manner, thus enabling UniMiSS to learn representations from both 2D and 3D images. With the MiT as the backbone, we perform the UniMiSS in a self-distillation manner. We conduct expensive experiments on six 3D/2D medical image analysis tasks, including segmentation and classification. The results show that the proposed UniMiSS achieves promising performance on various downstream tasks, outperforming the ImageNet pre-training and other advanced SSL counterparts substantially. Code is available at \def\UrlFont{\rm\small\ttfamily} \url{https://github.com/YtongXie/UniMiSS-code}.


title: Interpreting Audiograms with Multi-stage Neural Networks

abstract: Audiograms are a particular type of line charts representing individuals' hearing level at various frequencies. They are used by audiologists to diagnose hearing loss, and further select and tune appropriate hearing aids for customers. There have been several projects such as Autoaudio that aim to accelerate this process through means of machine learning. But all existing models at their best can only detect audiograms in images and classify them into general categories. They are unable to extract hearing level information from detected audiograms by interpreting the marks, axis, and lines. To address this issue, we propose a Multi-stage Audiogram Interpretation Network (MAIN) that directly reads hearing level data from photos of audiograms. We also established Open Audiogram, an open dataset of audiogram images with annotations of marks and axes on which we trained and evaluated our proposed model. Experiments show that our model is feasible and reliable.


title: Discrete Orthogonality Relations for the Multi-Indexed Orthogonal Polynomials in Discrete Quantum Mechanics with Pure Imaginary Shifts

abstract: The discrete orthogonality relations for the multi-indexed orthogonal polynomials in discrete quantum mechanics with pure imaginary shifts are investigated. We show that the discrete orthogonality relations hold for the case-(1) multi-indexed orthogonal polynomials of continuous Hahn, Wilson and Askey-Wilson types, and conjecture their normalization constants.


title: New method of exponential potentials reconstruction based on given scale factor in phantonical two-field models

abstract: We investigate two-field cosmological model with phantom and canonical fields (phantonical model as a generalisation of the quintom model for global universe evolution, including early inflationary stage). The model is represented as the chiral cosmological model with the target space conformal to 2D pseudo-Euclidean space. We found three sorts of exact solutions for a constant potential by direct integration of dynamic equations and proposed new method of exact solution construction also extended for e-folds N-formalism for the case of non-constant exponential potential. We show that the exact solutions of cosmological dynamic equations can be obtained in explicit form for any type of scale factor evolution $a(t)$ which implies the explicit inverse dependence $t=t(a)$, considering the quasi de Sitter expansion of the universe with non-negligible kinetic energies of scalar fields and showing that the appeared effective cosmological constant can be considered as the source of second accelerated expansion of the universe. Further we analyze cosmological perturbations in the two-field model under consideration reducing it to the single field one. Such transition give us the way of cosmological parameters calculation and comparison them to observational data. We find that in proposed two-field cosmological model the isocurvature perturbations are negligible, and observable curvature perturbations are induced by adiabatic modes only. The series of phantonical models based on exact inflationary solutions are represented, and it is shown the correspondence to observational data for these models.


title: Do conspicuous manuscripts experience shorter time in the duration of peer review?

abstract: A question often asked by authors is how long would it take for the peer review process. Peer review duration has been concerned much by authors and attracted much attention in academia these years. Existing research on this field focuses primarily on a single quantitative dimension. Seldom studies considered that peer review duration is closely related to the attractiveness of manuscripts. This study aims to fill this research gap employing attention economy theory. By analyzing the peer review history from the British Medical Journal (BMJ), we find that a significant negative relationship exists between the peer review duration and altmetric attention score (AAs). Overall, our study contributes to understanding peer review behavior from a new perspective and bridging the divide between peer reviews and altmetrics.


title: Electroweak effects in polarized muon-electron scattering

abstract: A theoretical description of elastic polarized muon-electron scattering is presented. Complete one-loop electroweak radiative corrections are calculated with taking into account the exact dependence on the muon mass. The effects due to some higher order corrections and the electroweak scheme dependence are analyzed. The case of longitudinally polarized fermions in the initial state is investigated. Analytical results are derived with the help of the SANC system. Numerical results are presented for unpolarized and polarized cross sections. Calculations are realized in the Monte Carlo integrator MCSANCee and generator ReneSANCe which allow the implementation of any experimental cut used in the analysis of elastic $\mu - e$ scattering data.


title: Colloquium: Advances in automation of quantum dot devices control

abstract: Arrays of quantum dots (QDs) are a promising candidate system to realize scalable, coupled qubit systems and serve as a fundamental building block for quantum computers. In such semiconductor quantum systems, devices now have tens of individual electrostatic and dynamical voltages that must be carefully set to localize the system into the single-electron regime and to realize good qubit operational performance. The mapping of requisite QD locations and charges to gate voltages presents a challenging classical control problem. With an increasing number of QD qubits, the relevant parameter space grows sufficiently to make heuristic control unfeasible. In recent years, there has been considerable effort to automate device control that combines script-based algorithms with machine learning (ML) techniques. In this Colloquium, a comprehensive overview of the recent progress in the automation of QD device control is presented, with a particular emphasis on silicon- and GaAs-based QDs formed in two-dimensional electron gases. Combining physics-based modeling with modern numerical optimization and ML has proven effective in yielding efficient, scalable control. Further integration of theoretical, computational, and experimental efforts with computer science and ML holds vast potential in advancing semiconductor and other platforms for quantum computing.


title: Design considerations of the European DEMO's IR-interferometer/polarimeter based on TRAVIS simulations

abstract: Interferometry is the primary density control diagnostic for large-scale fusion devices, including ITER and DEMO. In this paper we present a ray tracing simulation based on TRAVIS accounting for relativistic effects. The study shows that measurements will over-estimate the plasma density by as much as 20 degree. In addition, we present a measurement geometry, which will enable vertical position control during the plasma's ramp-up phase when gap-reflectometers and neutron cameras are still blind.


title: Nonlocal operators of small order

abstract: In this work we study nonlocal operators and corresponding spaces of order strictly below one and investigate interior regularity properties of weak solutions to the associated Poisson problem depending on the regularity of the right-hand side. Our method exploits the variational structure of the problem, in particular, we prove that if the right-hand is of class $C^{\infty}$ and the kernel satisfies similar regularity properties away from its singularity, then any weak solution is of class $C^{\infty}$.


title: Hashing It Out: A Survey of Programmers' Cannabis Usage, Perception, and Motivation

abstract: Cannabis is one of the most common mind-altering substances. It is used both medicinally and recreationally and is enmeshed in a complex and changing legal landscape. Anecdotal evidence suggests that some software developers may use cannabis to aid some programming tasks. At the same time, anti-drug policies and tests remain common in many software engineering environments, sometimes leading to hiring shortages for certain jobs. Despite these connections, little is actually known about the prevalence of, and motivation for, cannabis use while programming. In this paper, we report the results of the first large-scale survey of cannabis use by programmers. We report findings about 803 developers' (including 450 full-time programmers') cannabis usage prevalence, perceptions, and motivations. For example, we find that some programmers do regularly use cannabis while programming: 35% of our sample has tried programming while using cannabis, and 18% currently do so at least once a month. Furthermore, this cannabis usage is primarily motivated by a perceived enhancement to certain software development skills (such as brainstorming or getting into a programming zone) rather than medicinal reasons (such as pain relief). Finally, we find that cannabis use while programming occurs at similar rates for programming employees, managers, and students despite differences in cannabis perceptions and visibility. Our results have implications for programming job drug policies and motivate future research into cannabis use while programming.


title: Scenario-Based Safety Assessment Framework for Automated Vehicles

abstract: Automated vehicles (AVs) are expected to increase traffic safety and traffic efficiency, among others by enabling flexible mobility-on-demand systems. This is particularly important in Singapore, being one of the world's most densely populated countries, which is why the Singaporean authorities are currently actively facilitating the deployment of AVs. As a consequence, however, the need arises for a formal AV road approval procedure. To this end, a safety assessment framework is proposed, which combines aspects of the standardized functional safety design methodology with a traffic scenario-based approach. The latter involves using driving data to extract AV-relevant traffic scenarios. The underlying approach is based on decomposition of scenarios into elementary events, subsequent scenario parametrization, and sampling of the estimated probability density functions of the scenario parameters to create test scenarios. The resulting test scenarios are subsequently employed for virtual testing in a simulation environment and physical testing on a proving ground and in real life. As a result, the proposed assessment pipeline thus provides statistically relevant and quantitative measures for the AV performance in a relatively short time frame due to the simulation-based approach. Ultimately, the proposed methodology provides authorities with a formal road approval procedure for AVs. In particular, the proposed methodology will support the Singaporean Land Transport Authority for road approval of AVs.


title: SuperStyleNet: Deep Image Synthesis with Superpixel Based Style Encoder

abstract: Existing methods for image synthesis utilized a style encoder based on stacks of convolutions and pooling layers to generate style codes from input images. However, the encoded vectors do not necessarily contain local information of the corresponding images since small-scale objects are tended to "wash away" through such downscaling procedures. In this paper, we propose deep image synthesis with superpixel based style encoder, named as SuperStyleNet. First, we directly extract the style codes from the original image based on superpixels to consider local objects. Second, we recover spatial relationships in vectorized style codes based on graphical analysis. Thus, the proposed network achieves high-quality image synthesis by mapping the style codes into semantic labels. Experimental results show that the proposed method outperforms state-of-the-art ones in terms of visual quality and quantitative measurements. Furthermore, we achieve elaborate spatial style editing by adjusting style codes.


title: Improving evidential deep learning via multi-task learning

abstract: The Evidential regression network (ENet) estimates a continuous target and its predictive uncertainty without costly Bayesian model averaging. However, it is possible that the target is inaccurately predicted due to the gradient shrinkage problem of the original loss function of the ENet, the negative log marginal likelihood (NLL) loss. In this paper, the objective is to improve the prediction accuracy of the ENet while maintaining its efficient uncertainty estimation by resolving the gradient shrinkage problem. A multi-task learning (MTL) framework, referred to as MT-ENet, is proposed to accomplish this aim. In the MTL, we define the Lipschitz modified mean squared error (MSE) loss function as another loss and add it to the existing NLL loss. The Lipschitz modified MSE loss is designed to mitigate the gradient conflict with the NLL loss by dynamically adjusting its Lipschitz constant. By doing so, the Lipschitz MSE loss does not disturb the uncertainty estimation of the NLL loss. The MT-ENet enhances the predictive accuracy of the ENet without losing uncertainty estimation capability on the synthetic dataset and real-world benchmarks, including drug-target affinity (DTA) regression. Furthermore, the MT-ENet shows remarkable calibration and out-of-distribution detection capability on the DTA benchmarks.


title: Path-entangling evolution and quantum gravitational interaction

abstract: We explore a general feature of the interaction mediated by the gravitational fields of spatially superposed masses. For this purpose, based on quantum information theory, we characterize the evolution of two particles each in a superposition state of paths. The evolution is assumed to be given by a completely positive trace-preserving (CPTP) map. We further assume that the probability of particle being on each path is unchanged during the evolution. This property is called population-preserving. We examine when a population-preserving CPTP map can create entanglement in terms of separable operations, which form a large class of local operations and classical communication (LOCC). In general, entanglement is not always generated by inseparable or non-LOCC operations, and one can consider a model of gravity described by an inseparable operation which does not create entanglement. However, we find that a population-preserving CPTP map is inseparable if and only if it can create entanglement. This means that the above model of gravity is incompatible with the possible evolution of spatially superposed masses.


title: Ultrafast time- and angle-resolved photoemission spectroscopy with widely tunable probe photon energy of 5.3-7.0 eV for investigating dynamics of three-dimensional materials

abstract: Time- and angle-resolved photoemission spectroscopy (TrARPES) is a powerful technique for capturing the ultrafast dynamics of charge carriers and revealing photo-induced phase transitions in quantum materials. However, the lack of widely tunable probe photon energy, which is critical for accessing the dispersions at different out-of-plane momentum $k_z$ in TrARPES measurements, has hindered the ultrafast dynamics investigation of 3D quantum materials such as Dirac or Weyl semimetals. Here we report the development of a TrARPES system with a highly tunable probe photon energy from 5.3 to 7.0 eV. The tunable probe photon energy is generated by the fourth harmonic generation of a tunable wavelength femtosecond laser source by combining a $\beta$-BaB$_2$O$_4$ (BBO) crystal and a KBe$_2$BO$_3$F$_2$ (KBBF) crystal. High energy resolution of 29 - 48 meV and time resolution of 280 - 320 fs are demonstrated on 3D topological materials ZrTe$_5$ and Sb$_2$Te$_3$. Our work opens up new opportunities for exploring ultrafast dynamics in 3D quantum materials.


title: Population inversion and Dirac fermion cooling in 3D Dirac semimetal Cd$_3$As$_2$

abstract: Revealing the ultrafast dynamics of three-dimensional (3D) Dirac fermions upon photoexcitation is critical for both fundamental science and device applications. So far, how the cooling of 3D Dirac fermions differs from that of two-dimensional (2D) Dirac fermions and whether there is population inversion are fundamental questions that remain to be answered. Here we reveal the ultrafast dynamics of Dirac fermions in a model 3D Dirac semimetal Cd$_3$As$_2$ by ultrafast time- and angle-resolved photoemission spectroscopy (TrARPES) with a tunable probe photon energy from 5.3 - 6.9 eV. The energy- and momentum-resolved relaxation rate shows a linear dependence on the energy, suggesting Dirac fermion cooling through intraband relaxation. Moreover, a population inversion is reported based on the observation of accumulated photoexcited carriers in the conduction band with a lifetime of $\tau_n$ = 3.0 ps. Our work provides direct experimental evidence for a long-lived population inversion in a 3D Dirac semimetal, which is in contrast to 2D graphene where the interband relaxation occurs on a much faster timescale.


title: iDREAM: industrial Detector of REactor Antineutrinos for Monitoring at Kalinin nuclear power plant

abstract: The paper is devoted to the description of the iDREAM detector and its systems. iDREAM is a prototype detector designed to demonstrate the feasibility of antineutrino detectors for remote reactor monitoring and safeguard purposes. Antineutrinos are detected with a 1 ton liquid scintillator via inverse beta decay on protons. In order to suppress cosmic muons, gamma and neutron background, the detector is housed in a dedicated shielding. The detector is installed at the Kalinin nuclear power plant (Russia), 20 m from the 3 GW$_{th}$ reactor core.


title: EUSO-SPB2 Telescope Optics and Testing

abstract: The Extreme Universe Space Observatory - Super Pressure Balloon (EUSO-SPB2) mission will fly two custom telescopes that feature Schmidt optics to measure \v{C}erenkov- and fluorescence-emission of extensive air-showers from cosmic rays at the PeV and EeV-scale, and search for tau-neutrinos. Both telescopes have 1-meter diameter apertures and UV/UV-visible sensitivity. The \v{C}erenkov telescope uses a bifocal mirror segment alignment, to distinguish between a direct cosmic ray that hits the camera versus the \v{C}erenkov light from outside the telescope. Telescope integration and laboratory calibration will be performed in Colorado. To estimate the point spread function and efficiency of the integrated telescopes, a test beam system that delivers a 1-meter diameter parallel beam of light is being fabricated. End-to-end tests of the fully integrated instruments will be carried out in a field campaign at dark sites in the Utah desert using cosmic rays, stars, and artificial light sources. Laser tracks have long been used to characterize the performance of fluorescence detectors in the field. For EUSO-SPB2 an improvement in the method that includes a correction for aerosol attenuation is anticipated by using a bi-dynamic Lidar configuration in which both the laser and the telescope are steerable. We plan to conduct these field tests in Fall 2021 and Spring 2022 to accommodate the scheduled launch of EUSO-SPB2 in 2023 from Wanaka, New Zealand.


title: The MUSE-Faint survey. III. No large dark-matter cores and no significant tidal stripping in ultra-faint dwarf galaxies

abstract: [Abridged] Aims. The lowest-mass galaxies, ultra-faint dwarf galaxies, promise unparalleled constraints on how feedback regulates galaxy formation, and on the small-scale matter power spectrum. Their inner dark-matter densities can also be used to constrain dark-matter models. In this paper, we present 201 new stellar line-of-sight velocities from the MUSE-Faint survey for the (ultra-)faint dwarf galaxies Antlia B, Leo T, Hydra II, and Grus 1. Combining these with literature data, we obtain the tightest constraints to date on their dark-matter halo masses and inner dark-matter densities. Methods. We use the Jeans equations implemented in CJAM to model the density profiles and constrain the presence of dark-matter cores and solitons (a prediction of fuzzy dark-matter models). Further modelling is done with GravSphere to test the influence of the choice of modelling tool. We calculate masses, concentrations, and circular velocities from the profiles, include results for Eridanus 2 from our previous work, and compare these properties to theoretical scaling relations, deriving constraints on tidal stripping in the process. Results. We find that dark-matter cores as large as those of more massive dwarf galaxies are ruled out for our galaxies (core radius $r_\mathrm{c} < 66$-$95\,\mathrm{pc}$ at the 68% confidence level). We constrain the soliton radii to $r_\mathrm{sol} < 13$-$112\,\mathrm{pc}$ (68% confidence level). We find that the galaxies are consistent with not having been significantly tidally stripped within their half-light radii. The virial masses and concentrations are sensitive to the choice of dynamical modelling tool: GravSphere produces results consistent with $M_{200} \sim 10^9\,M_\odot$, as expected from models in which ultra-faint dwarf galaxies are re-ionization fossils, while CJAM prefers haloes that are less massive.


title: One-step inversion algorithms for spectral CT, with application to dynamic Cone Beam CT

abstract: Dual Energy Cone Beam Computed Tomography (DE-CBCT) is a promising technique for several medical applications, including dynamic angiography. Recently, a dynamical two-step method has been proposed : first, the water and iodine projections are computed from the multi-energy sinograms, then, a dynamic image of the iodine contrast is reconstructed using 4D Total-Variation (TV) constrained reconstruction from the iodine projections. In contrast to the 2-step methods, one-step methods use a model relating directly the multi-material images to the multi-energy sinograms. This kind of methods are well-known to reduce the noise correlation between the material images by avoiding the intermediate decomposition step, but request to solve an non-convex large scale optimization problem which can be challenging. In this work we use the Non-Linear Primal-Dual Hybrid Gradient Method (NL-PDHGM) optimization framework to propose two versions of a one-step method which is based on an empirical model : the first one is a version which considers the multi-material images as static object whereas the second version is developped for a specific application with a static water image and a dynamic iodine image consisting of a series of 3D iodine images associated to different time points. This last version is developped to obtain the evolution of the iodine concentration in the blood vessels during a single CBCT scan. To evaluate the proposed one-step methods we used simulations which consider a CBCT system with dual layer spectral detector and a brain phantom with a static and a dynamic vascular tree. The proposed one-step methods are compared with 2-step methods.


title: Generalized LRS Estimator for Min-entropy Estimation

abstract: The min-entropy is a widely used metric to quantify the randomness of generated random numbers, which measures the difficulty of guessing the most likely output. It is difficult to accurately estimate the min-entropy of a non-independent and identically distributed (non-IID) source. Hence, NIST Special Publication (SP) 800-90B adopts ten different min-entropy estimators and then conservatively selects the minimum value among ten min-entropy estimates. Among these estimators, the longest repeated substring (LRS) estimator estimates the collision entropy instead of the min-entropy by counting the number of repeated substrings. Since the collision entropy is an upper bound on the min-entropy, the LRS estimator inherently provides \emph{overestimated} outputs. In this paper, we propose two techniques to estimate the min-entropy of a non-IID source accurately. The first technique resolves the overestimation problem by translating the collision entropy into the min-entropy. Next, we generalize the LRS estimator by adopting the general R{\'{e}}nyi entropy instead of the collision entropy (i.e., R{\'{e}}nyi entropy of order two). We show that adopting a higher order can reduce the variance of min-entropy estimates. By integrating these techniques, we propose a generalized LRS estimator that effectively resolves the overestimation problem and provides stable min-entropy estimates. Theoretical analysis and empirical results support that the proposed generalized LRS estimator improves the estimation accuracy significantly, which makes it an appealing alternative to the LRS estimator.


title: HK multiplicity, $F$-threshold and the Paley-Wiener theorem

abstract: For a given algebraically closed field $k$ of characteristic $p>0$ we consider the set ${\mathcal C}_k$, of graded isomorphism classes of {\em standard graded pairs} $(R, I)$, where $R$ is a standard graded ring over the field and $I$ is a graded ideal of finite colength. Here we give a ring homomorphism $\Pi:\Z[{\mathcal C}_k] \longrightarrow H(\C)[X]$, where $H(\C)$ denotes the ring of entire functions. The related entire function and the homomorphism $\Pi$ keep track of the two positive characteristic invariants, $e_{HK}(R, I)$ and $c^I({\bf m})$ of the ring: (1) composing the map $\Pi$ with the evaluation map at $z=0$ gives a ring homomorphism $\Pi_e:\Z[{\mathcal C}_k] \longrightarrow \R[X]$ which sends $$(R,I) \to e_{HK}(R^0, IR^0)+ e_{HK}(R^1, IR^1)X+\cdots + e_{HK}(R^d, IR^d)X^d,$$ where $R^i$ is the union of $i$ dimensional components of $R$ and $e_{HK}(R^i, IR^i)$ is the HK multiplicity of the pair $(R^i, IR^i)$, and in particular the top coefficient is $e_{HK}(R, I)$. (2) If, in addition, $R$ is a two dimensional ring or $\mbox {Proj~R}$ is strongly $F$-regular, then the Fourier transform ${\widehat f}_{R, I}$ belongs to the Paley-Wiener class of the real number, namely the $F$-threshold $c^I_{\bf m}(R)$ of the maximal ideal ${\bf m}$.


title: Intrinsic properties of the bars formed by the bar instability in flat stellar discs

abstract: The properties of the bars formed by the bar instability are examined for flat stellar discs. The initial mass models chosen are Kuzmin--Toomre discs, for which two types of exact equilibrium distribution function (DF) are employed in order to realize different distributions of Toomre's $Q$ values along the radius. First, the most linearly unstable, global two-armed modes (MLUGTAMs) of these disc models are determined by numerically solving the linearized collisionless Boltzmann equation. Next, we carry out $N$-body simulations whose models are constructed from the DFs adopted above. The latter simulations unravel that the MLUGTAMs corresponding to those obtained from the former modal calculations are excited in the early phases of evolution, finally being deformed into bars in the nonlinear regime by the bar instability. We show that for simulated bars, the length increases and the axis ratio, in essence, decreases as the amplitude increases. These correlations are almost similar to those of the observed bars. In addition, we find that these bar properties are tightly correlated with the initial typical $Q$ value, irrespective of the DF. In conclusion, a disc with a smaller typical $Q$ value produces a bar which is smaller in amplitude, shorter in length and rounder in shape. This finding might suggest that the Hubble sequence for barred galaxies is the sequence of decreasing $Q$ from SBa to SBc or SBd. The implied correlations between the initial typical $Q$ value and each of the bar properties are discussed on the basis of the characteristics of the MLUGTAMs.


title: Enhanced Frame and Event-Based Simulator and Event-Based Video Interpolation Network

abstract: Fast neuromorphic event-based vision sensors (Dynamic Vision Sensor, DVS) can be combined with slower conventional frame-based sensors to enable higher-quality inter-frame interpolation than traditional methods relying on fixed motion approximations using e.g. optical flow. In this work we present a new, advanced event simulator that can produce realistic scenes recorded by a camera rig with an arbitrary number of sensors located at fixed offsets. It includes a new configurable frame-based image sensor model with realistic image quality reduction effects, and an extended DVS model with more accurate characteristics. We use our simulator to train a novel reconstruction model designed for end-to-end reconstruction of high-fps video. Unlike previously published methods, our method does not require the frame and DVS cameras to have the same optics, positions, or camera resolutions. It is also not limited to objects a fixed distance from the sensor. We show that data generated by our simulator can be used to train our new model, leading to reconstructed images on public datasets of equivalent or better quality than the state of the art. We also show our sensor generalizing to data recorded by real sensors.


title: Simulating pharmaceutical treatment effects on osteoporosis via a bone remodeling algorithm targeting hypermineralized sites

abstract: Pharmaceutical treatments can slow bone degradation, thus reducing the fracture risk inherent in osteoporosis. Antiresorptive treatments block the over-activation of osteoclasts vs osteoblasts, but the resulting decrease in bone remodeling frequency may weaken bone structure over time, with no gain in bone volume. Anabolic treatments, however, induce gain in bone volume. The quantitative results from existing studies on the effects of treatments over time are general and nonpatient-specific, while numerical models simulating evolution of patient-specific bone microarchitecture consider a spatially random distribution of the remodeling process. Here, we propose a new approach to simulate the remodeling over decades of an individual patient's bone microarchitecture, based on the hypothesis that the oldest sites, which are hypermineralized and more brittle, are remodeled first. Taking these older sites as prime targets of remodeling, simulations show that severe osteoporosis profoundly degrades the mechanical properties of the bone structure, which can be restored and even improved by anabolic, more than by antiresorptive, therapies.


title: Designing Optimal Scaffold Topographies to Promote Nucleus-Guided Mechanosensitive Cell Migration Using in Silico Models

abstract: Computational models have become an essential part of exploratory protocols in cell biology, as a complement to in vivo or in vitro experiments. These virtual models have the twofold advantage of enabling access to new types of data and validate complex theories. The design of mechanically functionalized biomaterials or scaffolds, to promote cell proliferation and invasion in the absence or in the complement of synthetic chemical coatings, can certainly benefit from these hybrid testing approaches. The underlying fundamental process of cell migration and in particular its dependence on the cell mechanical/geometrical environment remains crudely understood. Currently at least two theories explain the migration patterns observed by cells on curved topographies, involving either polymerization dynamics of actin or assembly dynamics of focal adhesions. We recently proposed a third mechanism relying on nucleus mechanosensitivity, which has been tested extensively experimentally and computationally. We now explore the hypothesis that nucleosensitivity could be a mechanism for cells to optimally find microenvironments suited for mitosis, providing mechanical stability and relaxation. By means of a computational mechanical model with intracellular structure detail, we investigate how the complex interplay between this new migration mechanism and the microenvironment topography can lead to more relaxed cells and organelles. To go further, we simulated in this study cell migration via a novel protocol in silico which generates dynamical ripple wave on a deformable substrate and changes topography over time. This kind of in silico protocols based on a new understanding of cell migration and nucleosensitivity could, therefore, inform the design of optimized scaffold topographies for cell invasion and proliferation.


title: Discretization and Re-synthesis: an alternative method to solve the Cocktail Party Problem

abstract: Deep learning based models have significantly improved the performance of speech separation with input mixtures like the cocktail party. Prominent methods (e.g., frequency-domain and time-domain speech separation) usually build regression models to predict the ground-truth speech from the mixture, using the masking-based design and the signal-level loss criterion (e.g., MSE or SI-SNR). This study demonstrates, for the first time, that the synthesis-based approach can also perform well on this problem, with great flexibility and strong potential. Specifically, we propose a novel speech separation/enhancement model based on the recognition of discrete symbols, and convert the paradigm of the speech separation/enhancement related tasks from regression to classification. By utilizing the synthesis model with the input of discrete symbols, after the prediction of discrete symbol sequence, each target speech could be re-synthesized. Evaluation results based on the WSJ0-2mix and VCTK-noisy corpora in various settings show that our proposed method can steadily synthesize the separated speech with high speech quality and without any interference, which is difficult to avoid in regression-based methods. In addition, with negligible loss of listening quality, the speaker conversion of enhanced/separated speech could be easily realized through our method.


title: Intersection and Union Hierarchies of Deterministic Context-Free Languages and Pumping Lemmas

abstract: We study the computational complexity of finite intersections and unions of deterministic context-free (dcf) languages. Earlier, Wotschke [J. Comput. System Sci. 16 (1978) 456--461] demonstrated that intersections of $(d+1)$ dcf languages are in general more powerful than intersections of $d$ dcf languages for any positive integer $d$ based on the intersection hierarchy separation of Liu and Weiner [Math. Systems Theory 7 (1973) 185--192]. The argument of Liu and Weiner, however, works only on bounded languages of particular forms, and therefore Wotschke's result is not directly extendable to disprove any given language to be written in the form of $d$ intersection of dcf languages. To deal with the non-membership of a wide range of languages, we circumvent the specialization of their proof argument and devise a new and practical technical tool: two pumping lemmas for finite unions of dcf languages. Since the family of dcf languages is closed under complementation and also under intersection with regular languages, these pumping lemmas help us establish a non-membership relation of languages formed by finite intersections of non-bounded languages as well. We also refer to a relationship to deterministic limited automata of Hibbard [Inf. Control 11 (1967) 196--238] in this regard.


title: An Exact Algorithm for the Linear Tape Scheduling Problem

abstract: Magnetic tapes are often considered as an outdated storage technology, yet they are still used to store huge amounts of data. Their main interests are a large capacity and a low price per gigabyte, which come at the cost of a much larger file access time than on disks. With tapes, finding the right ordering of multiple file accesses is thus key to performance. Moving the reading head back and forth along a kilometer long tape has a non-negligible cost and unnecessary movements thus have to be avoided. However, the optimization of tape request ordering has then rarely been studied in the scheduling literature, much less than I/O scheduling on disks. For instance, minimizing the average service time for several read requests on a linear tape remains an open question. Therefore, in this paper, we aim at improving the quality of service experienced by users of tape storage systems, and not only the peak performance of such systems. To this end, we propose a reasonable polynomial-time exact algorithm while this problem and simpler variants have been conjectured NP-hard. We also refine the proposed model by considering U-turn penalty costs accounting for inherent mechanical accelerations. Then, we propose low-cost variants of our optimal algorithm by restricting the solution space, yet still yielding an accurate suboptimal solution. Finally, we compare our algorithms to existing solutions from the literature on logs of the mass storage management system of a major datacenter. This allows us to assess the quality of previous solutions and the improvement achieved by our low-cost algorithms. Aiming for reproducibility, we make available the complete implementation of the algorithms used in our evaluation, alongside the dataset of tape requests that is, to the best of our knowledge, the first of its kind to be publicly released.


title: Full Transformer Framework for Robust Point Cloud Registration with Deep Information Interaction

abstract: Recent Transformer-based methods have achieved advanced performance in point cloud registration by utilizing advantages of the Transformer in order-invariance and modeling dependency to aggregate information. However, they still suffer from indistinct feature extraction, sensitivity to noise, and outliers. The reasons are: (1) the adoption of CNNs fails to model global relations due to their local receptive fields, resulting in extracted features susceptible to noise; (2) the shallow-wide architecture of Transformers and lack of positional encoding lead to indistinct feature extraction due to inefficient information interaction; (3) the omission of geometrical compatibility leads to inaccurate classification between inliers and outliers. To address above limitations, a novel full Transformer network for point cloud registration is proposed, named the Deep Interaction Transformer (DIT), which incorporates: (1) a Point Cloud Structure Extractor (PSE) to model global relations and retrieve structural information with Transformer encoders; (2) a deep-narrow Point Feature Transformer (PFT) to facilitate deep information interaction across two point clouds with positional encoding, such that Transformers can establish comprehensive associations and directly learn relative position between points; (3) a Geometric Matching-based Correspondence Confidence Evaluation (GMCCE) method to measure spatial consistency and estimate inlier confidence by designing the triangulated descriptor. Extensive experiments on clean, noisy, partially overlapping point cloud registration demonstrate that our method outperforms state-of-the-art methods.


title: An upper bound for the number of chess diagrams without promotion

abstract: The number of legal chess diagrams without promotion is bounded from above by 2 x 10 40. This number is obtained by restricting both bishops and pawns position and by a precise bound when no chessman has been captured. We improve this estimate and show that the number of diagrams is less than 4 x 10 37. To achieve this, we define a graph on the set of diagrams and a notion of class of pawn structure, leading to a method for bounding pawn positions with any number of men on the board.


title: Morphisms and minimisation of weighted automata

abstract: This paper studies the algorithms for the minimisation of weighted automata. It starts with the definition of morphisms-which generalises and unifies the notion of bisimulation to the whole class of weighted automata-and the unicity of a minimal quotient for every automaton, obtained by partition refinement. From a general scheme for the refinement of partitions, two strategies are considered for the computation of the minimal quotient: the Domain Split and the Predecesor Class Split algorithms. They correspond respectivly to the classical Moore and Hopcroft algorithms for the computation of the minimal quotient of deterministic Boolean automata. We show that these two strategies yield algorithms with the same quadratic complexity and we study the cases when the second one can be improved in order to achieve a complexity similar to the one of Hopcroft algorithm.


title: Optimized integrating factor technique for Schr\"odinger-like equations

abstract: The integrating factor technique is widely used to solve numerically (in particular) the Schr\"odinger equation in the context of spectral methods. Here, we present an improvement of this method exploiting the freedom provided by the gauge condition of the potential. Optimal gauge conditions are derived considering the equation and the temporal numerical resolution with an adaptive embedded scheme of arbitrary order. We illustrate this approach with the nonlinear Schr\"odinger (NLS) and with the Schr\"odinger-Newton (SN) equations. We show that this optimization increases significantly the overall computational speed, sometimes by a factor five or more. This gain is crucial for long time simulations.


title: Feature extraction and classification algorithm, which one is more essential? An experimental study on a specific task of vibration signal diagnosis

abstract: With the development of machine learning, a data-driven model has been widely used in vibration signal fault diagnosis. Most data-driven machine learning algorithms are built based on well-designed features, but feature extraction is usually required to be completed in advance. In the deep learning era, feature extraction and classifier learning are conducted simultaneously, which will lead to an end-to-end learning system. This paper explores which one of the two key factors, i.e., feature extraction and classification algorithm, is more essential for a specific task of vibration signal diagnosis during a learning system is generated. Feature extractions from vibration signal based on both well-known Gaussian model and statistical characteristics are discussed, respectively. And several classification algorithms are selected to experimentally validate the comparative impact of both feature extraction and classification algorithm on prediction performance.


title: A Mechanism to Attract Electrons

abstract: In a startling discovery it has been recently found that certain density of states (DOS) can become negative in mesoscopic systems wherein electrons can travel back in time. We give a brief introduction to the hierarchy of density of states in mesoscopic systems as we want to point out some robust phenomenon that can be experimentally observed with our present day technologies. They can have direct consequences on thermodynamic effects and also can provide indirect evidence of time travel. Essentially certain members of the hierarchy of DOS become negative in these regimes and that can attract other electrons.


title: Can Machine Learning Tools Support the Identification of Sustainable Design Leads From Product Reviews? Opportunities and Challenges

abstract: The increasing number of product reviews posted online is a gold mine for designers to know better about the products they develop, by capturing the voice of customers, and to improve these products accordingly. In the meantime, product design and development have an essential role in creating a more sustainable future. With the recent advance of artificial intelligence techniques in the field of natural language processing, this research aims to develop an integrated machine learning solution to obtain sustainable design insights from online product reviews automatically. In this paper, the opportunities and challenges offered by existing frameworks - including Python libraries, packages, as well as state-of-the-art algorithms like BERT - are discussed, illustrated, and positioned along an ad hoc machine learning process. This contribution discusses the opportunities to reach and the challenges to address for building a machine learning pipeline, in order to get insights from product reviews to design more sustainable products, including the five following stages, from the identification of sustainability-related reviews to the interpretation of sustainable design leads: data collection, data formatting, model training, model evaluation, and model deployment. Examples of sustainable design insights that can be produced out of product review mining and processing are given. Finally, promising lines for future research in the field are provided, including case studies putting in parallel standard products with their sustainable alternatives, to compare the features valued by customers and to generate in fine relevant sustainable design leads.


title: Signatures of Lifshitz transition in the optical conductivity of two-dimensional tilted Dirac materials

abstract: Lifshitz transition is a kind of topological phase transition in which the Fermi surface is reconstructed. It can occur in the two-dimensional (2D) tilted Dirac materials when the energy bands change between the type-I phase ($0<t<1$) and the type-II phase ($t>1$) through the type-III phase ($t=1$), where different tilts are parametrized by the values of $t$. In order to characterize the Lifshitz transition therein, we theoretically investigate the longitudinal optical conductivities (LOCs) in type-I, type-II, and type-III Dirac materials within linear response theory. In the undoped case, the LOCs are constants either independent of the tilt parameter in both type-I and type-III phases or determined by the tilt parameter in the type-II phase. In the doped case, the LOCs are anisotropic and possess two critical frequencies determined by $\omega=\omega_1(t)$ and $\omega=\omega_2(t)$, which are also confirmed by the joint density of state. The tilt parameter and chemical potential can be extracted from optical experiments by measuring the positions of these two critical boundaries and their separation $\Delta\omega(t)=\omega_2(t)-\omega_1(t)$. With increasing the tilting, the separation becomes larger in the type-I phase whereas smaller in the type-II phase. The LOCs in the regime of large photon energy are exactly the same as that in the undoped case. The type of 2D tilted Dirac bands can be determined by the asymptotic background values, critical boundaries and their separation in the LOCs. These can therefore be taken as signatures of Lifshitz transition therein. The results of this work are expected to be qualitatively valid for a large number of 2D tilted Dirac materials, such as 8-\emph{Pmmn} borophene monolayer, $\alpha$-SnS$_2$, TaCoTe$_2$, TaIrTe$_4$, and $1T^\prime$ transition metal dichalcogenides, due to the underlying intrinsic similarities of 2D tilted Dirac bands.


title: An Online Orchestration Mechanism for General-Purpose Edge Computing

abstract: In recent years, the fast development of mobile communications and cloud systems has substantially promoted edge computing. By pushing server resources to the edge, mobile service providers can deliver their content and services with enhanced performance, and mobile-network carriers can alleviate congestion in the core networks. Although edge computing has been attracting much interest, most current research is application-specific, and analysis is lacking from a business perspective of edge cloud providers (ECPs) that provide general-purpose edge cloud services to mobile service providers and users. In this article, we present a vision of general-purpose edge computing realized by multiple interconnected edge clouds, analyzing the business model from the viewpoint of ECPs and identifying the main issues to address to maximize benefits for ECPs. Specifically, we formalize the long-term revenue of ECPs as a function of server-resource allocation and public data-placement decisions subject to the amount of physical resources and inter-cloud data-transportation cost constraints. To optimize the long-term objective, we propose an online framework that integrates the drift-plus-penalty and primal-dual methods. With theoretical analysis and simulations, we show that the proposed method approximates the optimal solution in a challenging environment without having future knowledge of the system.


title: Forward-backward algorithms with a biallelic mutation-drift model: Orthogonal polynomials, and a coalescent/urn-model based approach

abstract: Inference of the marginal likelihood of sample allele configurations using backward algorithms yields identical results with the Kingman coalescent, the Moran model, and the diffusion model (up to a scaling of time). For inference of probabilities of ancestral population allele frequencies at any given point in the past - either of discrete ancestral allele configurations as in the coalescent, or of ancestral allele proportions as in the backward diffusion - backward approaches need to be combined with corresponding forward ones. This is done in so-called forward-backward algorithms. In this article, we utilize orthogonal polynomials in forward-backward algorithms. They enable efficient calculation of past allele configurations of an extant sample and probabilities of ancestral population allele frequencies in equilibrium and in non-equilibrium. We show that the genealogy of a sample is fully described by the backward polynomial expansion of the marginal likelihood of its allele configuration.


title: Digital signatures with Quantum Candies

abstract: Quantum candies (qandies) is a pedagogical simple model which describes many concepts from quantum information processing (QIP) intuitively, without the need to understand or make use of superpositions, and without the need of using complex algebra. One of the topics in quantum cryptography which gains research attention in recent years is quantum digital signatures (QDS), involving protocols to securely sign classical bits using quantum methods. In this paper we show how the "qandy model" can be used to describe three QDS protocols, in order to provide an important and potentially practical example of the power of "superpositionless" quantum information processing, for individuals without background knowledge in the field.


title: The codegree threshold of $K_4^-$

abstract: The codegree threshold $\mathrm{ex}_2(n, F)$ of a $3$-graph $F$ is the minimum $d=d(n)$ such that every $3$-graph on $n$ vertices in which every pair of vertices is contained in at least $d+1$ edges contains a copy of $F$ as a subgraph. We study $\mathrm{ex}_2(n, F)$ when $F=K_4^-$, the $3$-graph on $4$ vertices with $3$ edges. Using flag algebra techniques, we prove that if $n$ is sufficiently large then $\mathrm{ex}_2(n, K_4^-)\leq (n+1)/4$. This settles in the affirmative a conjecture of Nagle from 1999. In addition, we obtain a stability result: for every near-extremal configuration $G$, there is a quasirandom tournament $T$ on the same vertex set such that $G$ is close in the edit distance to the $3$-graph $C(T)$ whose edges are the cyclically oriented triangles from $T$. For infinitely many values of $n$, we are further able to determine $\mathrm{ex}_2(n, K_4^-)$ exactly and to show that tournament-based constructions $C(T)$ are extremal for those values of $n$.


title: Semi-Supervised Clustering via Information-Theoretic Markov Chain Aggregation

abstract: We connect the problem of semi-supervised clustering to constrained Markov aggregation, i.e., the task of partitioning the state space of a Markov chain. We achieve this connection by considering every data point in the dataset as an element of the Markov chain's state space, by defining the transition probabilities between states via similarities between corresponding data points, and by incorporating semi-supervision information as hard constraints in a Hartigan-style algorithm. The introduced Constrained Markov Clustering (CoMaC) is an extension of a recent information-theoretic framework for (unsupervised) Markov aggregation to the semi-supervised case. Instantiating CoMaC for certain parameter settings further generalizes two previous information-theoretic objectives for unsupervised clustering. Our results indicate that CoMaC is competitive with the state-of-the-art.


title: Irreducibility of Severi varieties on K3 surfaces

abstract: Let $(S,L)$ be a general primitively polarized $K3$ surface of genus $g$. For every $0\leq \delta \leq g$ we consider the Severi variety parametrizing integral curves in $|L|$ with exactly $\delta$ nodes as singularities. We prove that its closure in $|L|$ is connected as soon as $\delta\leq g-1$. If $\delta\leq g-4$, we obtain the stronger result that the Severi variety is irreducible, as predicted by a well-known conjecture. The results are obtained by degeneration to Halphen surfaces.


title: Network analysis of Reynolds number scaling in wall-bounded Lagrangian mixing

abstract: The dispersion and mixing of passive particles in a turbulent channel flow is investigated by means of a network-based representation of their motion. We employ direct numerical simulations at five different Reynolds numbers, from $\mathrm{Re}_{\tau}$ = 180 up to $\mathrm{Re}_{\tau}$ = 950, and obtain sets of particle trajectories via numerical integration. By dividing the channel domain into wall-normal levels, the motion of particles across these levels is used to build a time-varying complex network, which is able to capture the transient phase of the wall-normal mixing process and its dependence on the Reynolds number, $\mathrm{Re}_{\tau}$. Using network metrics, we observe that the dispersion of clouds of tracers depends highly on both their wall-normal starting position and the time elapsed from their release. We identify two main mechanisms that contribute to the long lasting inhibition of the dispersion of particles released near the walls. We also show how the relative importance of these mechanisms varies with the Reynolds number. In particular, at low $\mathrm{Re}_{\tau}$ the weaker velocity fluctuations appear dominant in inhibiting dispersion, while at higher Reynolds numbers a larger role is played by cyclic patterns of motion. At the higher Reynolds numbers employed in this work, we find that most network properties are Reynolds-independent when scaled with outer flow variables. Instead, at lower $\mathrm{Re}_{\tau}$, the aforementioned scaling is not observed. We explore the meaning of the emergence of this scaling in relation to the features of dispersion and to the network definition.


title: Quality of Data in Machine Learning

abstract: A common assumption exists according to which machine learning models improve their performance when they have more data to learn from. In this study, the authors wished to clarify the dilemma by performing an empirical experiment utilizing novel vocational student data. The experiment compared different machine learning algorithms while varying the number of data and feature combinations available for training and testing the models. The experiment revealed that the increase of data records or their sample frequency does not immediately lead to significant increases in the model accuracies or performance, however the variance of accuracies does diminish in the case of ensemble models. Similar phenomenon was witnessed while increasing the number of input features for the models. The study refutes the starting assumption and continues to state that in this case the significance in data lies in the quality of the data instead of the quantity of the data.


title: AI-Empowered Persuasive Video Generation: A Survey

abstract: Promotional videos are rapidly becoming a popular medium for persuading people to change their behaviours in many settings (e.g., online shopping, social enterprise initiatives). Today, such videos are often produced by professionals, which is a time-, labour- and cost-intensive undertaking. In order to produce such contents to support a large applications (e.g., e-commerce), the field of artificial intelligence (AI)-empowered persuasive video generation (AIPVG) has gained traction in recent years. This field is interdisciplinary in nature, which makes it challenging for new researchers to grasp. Currently, there is no comprehensive survey of AIPVG available. In this paper, we bridge this gap by reviewing key AI techniques that can be utilized to automatically generate persuasive videos. We offer a first-of-its-kind taxonomy which divides AIPVG into three major steps: 1) visual material understanding, which extracts information from the visual materials (VMs) relevant to the target of promotion; 2) visual storyline generation, which shortlists and arranges high-quality VMs into a sequence in order to compose a storyline with persuasive power; and 3) post-production, which involves background music generation and still image animation to enhance viewing experience. We also introduce the evaluation metrics and datasets commonly adopted in the field of AIPVG. We analyze the advantages and disadvantages of the existing works belonging to the above-mentioned steps, and discuss interesting potential future research directions.


title: Extending 3-DoF Metrics to Model User Behaviour Similarity in 6-DoF Immersive Applications

abstract: Immersive reality technologies, such as Virtual and Augmented Reality, have ushered a new era of user-centric systems, in which every aspect of the coding--delivery--rendering chain is tailored to the interaction of the users. Understanding the actual interactivity and behaviour of the users is still an open challenge and a key step to enabling such a user-centric system. Our main goal is to extend the applicability of existing behavioural methodologies for studying user navigation in the case of 6 Degree-of-Freedom (DoF). Specifically, we first compare the navigation in 6-DoF with its 3-DoF counterpart highlighting the main differences and novelties. Then, we define new metrics aimed at better modelling behavioural similarities between users in a 6-DoF system. We validate and test our solutions on real navigation paths of users interacting with dynamic volumetric media in 6-DoF Virtual Reality conditions. Our results show that metrics that consider both user position and viewing direction better perform in detecting user similarity while navigating in a 6-DoF system. Having easy-to-use but robust metrics that underpin multiple tools and answer the question ``how do we detect if two users look at the same content?" open the gate to new solutions for a user-centric system.


title: WIP: Exploring DSME MAC for LoRa -- A System Integration and First Evaluation

abstract: LoRa is a popular wireless technology that enables low-throughput (bytes) long-range communication (km) at low energy consumption (mW). Its transmission, though, is on one side prone to interference during long on-air times, and on the other side subject to duty cycle restrictions. LoRaWAN defines a MAC and a vertical stack on top of LoRa. LoRaWAN circumvents the above limitations by imposing a centralized network architecture, which heavily reduces downlink capacity and prevents peer-to-peer communication. This makes it unusable for many deployments. The Deterministic and Synchronous Multichannel Extension (DSME) of IEEE 802.15.4e benefits of time-slotted communication and peer-to-peer communication and has the potential to overcome LoRaWAN limitations. In this work, we implement DSME on top of LoRa in the open source IoT OS RIOT and open the field for first evaluation experiments on real hardware. Initial results indicate that DSME-LoRa not only enables reliable peer-to-peer communication for constrained IoT devices, but also scales with an increasing number of nodes.


title: Image registration for multi-band images taken by ONC-T onboard Hayabusa2

abstract: Hayabusa2, a Japanese sample-return mission to a C-type asteroid, arrived at its target 162173 Ryugu in June 2018. The optical navigation cameras (ONC-T, ONC-W1, ONC-W2) successfully obtained numerous images of Ryugu. ONC-T is a telescopic framing camera with a charge-coupled device (CCD), has seven filter bands in ultraviolet, visible and near infrared wavelength ranges, and were used to map the spectral distribution of the Ryugu surface. Since the locations of a target seen in ONC-T images are slightly different among different wavelength images in one multi-band observation sequence due to changes in spacecraft positions and attitudes during the filter-changing sequence, one of the image processing issues is image co-registration among images for different wavelength bands. To quickly complete the image co-registration to meet a limited mission schedule, we combined conventional image co-registration techniques with several improvements based on previous planetary missions. The results of our analysis using actual ONC-T images indicate that image co-registration can reach accuracy on the order of 0.1 pixels, which is sufficient for many spectral mapping applications for Ryugu analyses.


title: Greenberger-Horne-Zeilinger state generation in qubit-chains via a single $\pi/2$-pulse

abstract: A protocol for generating Greenberger-Horne-Zeilinger states in a system of $N$ coupled qubits is proposed. The Hamiltonian model assumes $N$-wise interactions between the $N$ qubits and the presence of a controllable time-dependent field acting upon one spin only. Implementing such a scenario is in the experimental reach. The dynamical problem is exactly solved thanks to the symmetries of the Hamiltonian model. The possibility of generating GHZ states under both adiabatic and non-adiabatic conditions is shown and discussed in detail.


title: The FUor star V2493 Cyg (HBC 722) -- eleven years at maximum brightness

abstract: At the time of stellar evolution, young stellar objects go through processes of increased activity and instability. Star formation takes place in several stages during which the star accumulates enough mass to initiate thermonuclear reactions in the nucleus. A significant percentage of the mass of Sun-like stars accumulates during periods of increased accretion known as FUor outbursts. Since we know only about two dozen stars of this type, the study of each new object is very important for our knowledge. In this paper, we present data from photometric monitoring on a FUor object V2493 Cyg discovered in 2010. Our data were obtained in the optical region with BVRI Johnson-Cousins set of filters during the period from November 2016 to February 2021. The results of our observations show that during this period no significant changes in the brightness of the star were registered. We only detect variations with a small amplitude around the maximum brightness value. Thus, since 2013 V2493 Cyg remains at its maximum brightness, without a decrease in brightness. Such photometric behavior is not typical of other stars from FUor type. Usually the light curves of FUors are asymmetrical, with a very rapid rise and gradual decline of the brightness. V2493 Cyg remains unique in this respect with a very rapid rise in brightness and prolonged retention in maximum light. Our period analysis made for the interval February 2013 - February 2021 reveals a well-defined period of 914+/-10 days. Such periodicity can be explained by dust structures remaining from star formation in orbit around the star.


title: Communication-oriented Model Fine-tuning for Packet-loss Resilient Distributed Inference under Highly Lossy IoT Networks

abstract: The distributed inference (DI) framework has gained traction as a technique for real-time applications empowered by cutting-edge deep machine learning (ML) on resource-constrained Internet of things (IoT) devices. In DI, computational tasks are offloaded from the IoT device to the edge server via lossy IoT networks. However, generally, there is a communication system-level trade-off between communication latency and reliability; thus, to provide accurate DI results, a reliable and high-latency communication system is required to be adapted, which results in non-negligible end-to-end latency of the DI. This motivated us to improve the trade-off between the communication latency and accuracy by efforts on ML techniques. Specifically, we have proposed a communication-oriented model tuning (COMtune), which aims to achieve highly accurate DI with low-latency but unreliable communication links. In COMtune, the key idea is to fine-tune the ML model by emulating the effect of unreliable communication links through the application of the dropout technique. This enables the DI system to obtain robustness against unreliable communication links. Our ML experiments revealed that COMtune enables accurate predictions with low latency and under lossy networks.


title: Numerical method to solve impulse control problems for partially observed piecewise deterministic Markov processes

abstract: Designing efficient and rigorous numerical methods for sequential decision-making under uncertainty is a difficult problem that arises in many applications frameworks. In this paper we focus on the numerical solution of a subclass of impulse control problem for piecewise deterministic Markov process (PDMP) when the jump times are hidden. We first state the problem as a partially observed Markov decision process (POMDP) on a continuous state space and with controlled transition kernels corresponding to some specific skeleton chains of the PDMP. Then we proceed to build a numerically tractable approximation of the POMDP by tailor-made discretizations of the state spaces. The main difficulty in evaluating the discretization error come from the possible random or boundary jumps of the PDMP between consecutive epochs of the POMDP and requires special care. Finally we extensively discuss the practical construction of discretization grids and illustrate our method on simulations.


title: Alpha-alpha scattering in the Multiverse

abstract: We investigate the phase shifts of low-energy alpha-alpha scattering under variations of the fundamental parameters of the Standard Model, namely the light quark mass, the electromagnetic fine-structure constant as well as the QCD theta-angle. As a first step, we recalculate alpha-alpha scattering in our Universe utilizing various improvements in the adiabatic projection method, which leads to an improved, parameter-free prediction of the S- and D-wave phase shifts for laboratory energies below 10 MeV. We find that positive shifts in the pion mass have a small effect on the S-wave phase shift, whereas lowering the pion mass adds some repulsion in the two-alpha system. The effect on the D-wave phase shift turns out to be more pronounced as signaled by the D-wave resonance parameters. Variations of the fine-structure constant have almost no effect on the low-energy alpha-alpha phase shifts. We further show that up-to-and-including next-to-leading order in the chiral expansion, variations of these phase shifts with respect to the QCD theta-angle can be expressed in terms of the theta-dependent pion mass.

categories: hep-th astro-ph.CO hep-lat hep-ph nucl-th


title: Stochastic 0-dimensional Biogeochemical Flux Model: Effect of temperature fluctuations on the dynamics of the biogeochemical properties in a marine ecosystem

abstract: We present a new stochastic model, based on a 0-dimensional version of the well known biogeochemical flux model (BFM), which allows to take into account the temperature random fluctuations present in natural systems and therefore to describe more realistically the dynamics of real marine ecosystems. The study presents a detailed analysis of the effects of randomly varying temperature on the lower trophic levels of the food web and ocean biogeochemical processes. More in detail, the temperature is described as a stochastic process driven by an additive self-correlated Gaussian noise. Varying both correlation time and intensity of the noise source, the predominance of different plankton populations is observed, with regimes shifted towards the coexistence or the exclusion of some populations. Finally a Fourier analysis carried out on the time series of the plankton populations shows how the ecosystem responds to the seasonal driving for different values of the noise intensity.


title: Towards Intelligent Context-Aware 6G Security

abstract: Imagine interconnected objects with embedded artificial intelligence (AI), empowered to sense the environment, see it, hear it, touch it, interact with it, and move. As future networks of intelligent objects come to life, tremendous new challenges arise for security, but also new opportunities, allowing to address current, as well as future, pressing needs. In this paper we put forward a roadmap towards the realization of a new security paradigm that we articulate as intelligent context-aware security. The premise of this roadmap is that sensing and advanced AI will enable context awareness, which in turn can drive intelligent security mechanisms, such as adaptation and automation of security controls. This concept not only provides immediate answers to burning open questions, in particular with respect to non-functional requirements, such as energy or latency constraints, heterogeneity of radio frequency (RF) technologies and long life span of deployed devices, but also, more importantly, offers a viable answer to scalability by allowing such constraints to be met even in massive connectivity regimes. Furthermore, the proposed roadmap has to be designed ethically, by explicitly placing privacy concerns at its core. The path towards this vision and some of the challenges along the way are discussed in this contribution.


title: Phase Diagram and Topological Expansion in the Complex Quartic Random Matrix Model

abstract: We use the Riemann-Hilbert approach, together with string and Toda equations, to study the topological expansion in the quartic random matrix model. The coefficients of the topological expansion are generating functions for the numbers $\mathscr{N}_j(g)$ of $4$-valent connected graphs with $j$ vertices on a compact Riemann surface of genus $g$. We explicitly evaluate these numbers for Riemann surfaces of genus $0,1,2,$ and $3$. Also, for a Riemann surface of an arbitrary genus $g$, we also calculate the leading term in the asymptotics of $\mathscr{N}_j(g)$ as the number of vertices tends to infinity. Using the theory of quadratic differentials, we characterize the critical contours in the complex parameter plane where phase transitions in the quartic model take place, thereby proving a result of David \cite{DAVID}. These phase transitions are of the following four types: a) one-cut to two-cut through the splitting of the cut at the origin, b) two-cut to three-cut through the birth of a new cut at the origin, c) one-cut to three-cut through the splitting of the cut at two symmetric points, and d) one-cut to three-cut through the birth of two symmetric cuts.