title: Robots Understanding Contextual Information in Human-Centered Environments using Weakly Supervised Mask Data Distillation

abstract: Contextual information in human environments, such as signs, symbols, and objects provide important information for robots to use for exploration and navigation. To identify and segment contextual information from complex images obtained in these environments, data-driven methods such as Convolutional Neural Networks (CNNs) are used. However, these methods require large amounts of human labeled data which are slow and time-consuming to obtain. Weakly supervised methods address this limitation by generating pseudo segmentation labels (PSLs). In this paper, we present the novel Weakly Supervised Mask Data Distillation (WeSuperMaDD) architecture for autonomously generating PSLs using CNNs not specifically trained for the task of context segmentation; i.e., CNNs trained for object classification, image captioning, etc. WeSuperMaDD uniquely generates PSLs using learned image features from sparse and limited diversity data; common in robot navigation tasks in human-centred environments (malls, grocery stores). Our proposed architecture uses a new mask refinement system which automatically searches for the PSL with the fewest foreground pixels that satisfies cost constraints. This removes the need for handcrafted heuristic rules. Extensive experiments successfully validated the performance of WeSuperMaDD in generating PSLs for datasets with text of various scales, fonts, and perspectives in multiple indoor/outdoor environments. A comparison with Naive, GrabCut, and Pyramid methods found a significant improvement in label and segmentation quality. Moreover, a context segmentation CNN trained using the WeSuperMaDD architecture achieved measurable improvements in accuracy compared to one trained with Naive PSLs. Our method also had comparable performance to existing state-of-the-art text detection and segmentation methods on real datasets without requiring segmentation labels for training.


title: Mahler's method in several variables and finite automata

abstract: We develop a theory of linear Mahler systems in several variables from the perspective of transcendence and algebraic independence, which also includes the possibility of dealing with several systems associated with sufficiently independent matrix transformations. Our main results go far beyond the existing literature, also surpassing those of two unpublished preprints the authors made available on the arXiv in 2018. The main new feature is that they apply now without any restriction on the matrices defining the corresponding Mahler systems. As a consequence, we settle several problems concerning expansions of numbers in multiplicatively independent bases. For instance, we prove that no irrational real number can be automatic in two multiplicatively independent integer bases, and we give a new proof and a broad algebraic generalization of Cobham's theorem in automata theory. We also provide a new proof and a multivariate generalization of Nishioka's theorem, a landmark result in Mahler's method.


title: Multiplicity dependence of $\chi_{c}$ and $\chi_{b}$ meson production

abstract: In this paper we analyze in detail the production of the $\chi_{c}$ and $\chi_{b}$ mesons in $pp$ collisions. Using the color dipole framework, we estimated the cross-sections in the kinematics of ongoing and forthcoming experiments, and found that our estimates are in reasonable agreement with currently available experimental data. We also analyzed the dependence on multiplicity of co-produced hadrons and found that it is significantly milder than that of $S$-wave quarkonia. We expect that the experimental confirmation of this result could constitute an important test of our understanding of multiplicity enhancement mechanisms in the production of different quarkonia states.


title: Toward a 6G AI-Native Air Interface

abstract: Each generation of cellular communication systems is marked by a defining disruptive technology of its time, such as orthogonal frequency division multiplexing (OFDM) for 4G or Massive multiple-input multiple-output (MIMO) for 5G. Since artificial intelligence (AI) is the defining technology of our time, it is natural to ask what role it could play for 6G. While it is clear that 6G must cater to the needs of large distributed learning systems, it is less certain if AI will play a defining role in the design of 6G itself. The goal of this article is to paint a vision of a new air interface which is partially designed by AI to enable optimized communication schemes for any hardware, radio environment, and application.


title: Remarks on dispersion-improved shallow water equations with uneven bottom

abstract: It is shown that asymptotically consistent modifications of (Boussinesq-like) shallow water approximations, in order to improve their dispersive properties, can fail for uneven bottoms (i.e., the dispersion is actually not improved). It is also shown that these modifications can lead to ill-posed equations when the water depth is not constant. These drawbacks are illustrated with the (fully nonlinear, weakly dispersive) Serre equations. We also derive asymptotically consistent, well-posed, modified Serre equations with improved dispersive properties for constant slopes of the bottom.


title: New inversion methods for the single/multi-shape CLD-to-PSD problem with spheroid particles

abstract: In this paper, we express the Chord Length Distribution (CLD) measure associated to a given Particle Size Distribution (PSD) when particles are modeled as suspended spheroids in a reactor. Using this approach, we propose two methods to reconstruct the unknown PSD from its CLD. In the single-shape case where all spheroids have the same shape, a Tikhonov regularization procedure is implemented. In the multi-shape case, the measured CLD mixes the contribution of the PSD associated to each shape. Then, an evolution model for a batch crystallization process allows to introduce a Back and Forth Nudging (BFN) algorithm, based on dynamical observers. We prove the convergence of this method when crystals are split into two clusters: spheres and elongated spheroids. These methods are illustrated with numerical simulations.


title: VSQL: Variational Shadow Quantum Learning for Classification

abstract: Classification of quantum data is essential for quantum machine learning and near-term quantum technologies. In this paper, we propose a new hybrid quantum-classical framework for supervised quantum learning, which we call Variational Shadow Quantum Learning (VSQL). Our method in particular utilizes the classical shadows of quantum data, which fundamentally represent the side information of quantum data with respect to certain physical observables. Specifically, we first use variational shadow quantum circuits to extract classical features in a convolution way and then utilize a fully-connected neural network to complete the classification task. We show that this method could sharply reduce the number of parameters and thus better facilitate quantum circuit training. Simultaneously, less noise will be introduced since fewer quantum gates are employed in such shadow circuits. Moreover, we show that the Barren Plateau issue, a significant gradient vanishing problem in quantum machine learning, could be avoided in VSQL. Finally, we demonstrate the efficiency of VSQL in quantum classification via numerical experiments on the classification of quantum states and the recognition of multi-labeled handwritten digits. In particular, our VSQL approach outperforms existing variational quantum classifiers in the test accuracy in the binary case of handwritten digit recognition and notably requires much fewer parameters.


title: Quartic $L^p$-convergence of cubic Riemannian splines

abstract: We prove quartic convergence of cubic spline interpolation for curves into Riemannian manifolds as the grid size of the interpolation grid tends to zero. In contrast to cubic spline interpolation in Euclidean space, where this result is classical, the interpolation operator is no longer linear. Still, concepts from the linear setting may be generalized to the Riemannian case, where we try to use intrinsic Riemannian formulations and avoid charts as much as possible.


title: Enhance Multimodal Transformer With External Label And In-Domain Pretrain: Hateful Meme Challenge Winning Solution

abstract: Hateful meme detection is a new research area recently brought out that requires both visual, linguistic understanding of the meme and some background knowledge to performing well on the task. This technical report summarises the first place solution of the Hateful Meme Detection Challenge 2020, which extending state-of-the-art visual-linguistic transformers to tackle this problem. At the end of the report, we also point out the shortcomings and possible directions for improving the current methodology.


title: Approximation of BV functions by neural networks: A regularity theory approach

abstract: In this paper we are concerned with the approximation of functions by single hidden layer neural networks with ReLU activation functions on the unit circle. In particular, we are interested in the case when the number of data-points exceeds the number of nodes. We first study the convergence to equilibrium of the stochastic gradient flow associated with the cost function with a quadratic penalization. Specifically, we prove a Poincar\'e inequality for a penalized version of the cost function with explicit constants that are independent of the data and of the number of nodes. As our penalization biases the weights to be bounded, this leads us to study how well a network with bounded weights can approximate a given function of bounded variation (BV). Our main contribution concerning approximation of BV functions, is a result which we call the localization theorem. Specifically, it states that the expected error of the constrained problem, where the length of the weights are less than $R$, is of order $R^{-1/9}$ with respect to the unconstrained problem (the global optimum). The proof is novel in this topic and is inspired by techniques from regularity theory of elliptic partial differential equations. Finally we quantify the expected value of the global optimum by proving a quantitative version of the universal approximation theorem.


title: Do the observational data favor a local void?

abstract: The increasing tension between the different local direct measurements of the Hubble expansion rate and that inferred from the Cosmic Microwave Background observation by $\Lambda$-Cold-Dark-Matter model could be a smoking gun of new physics, if not caused by either observational systematics or local bias. We generalize previous investigation on the local bias from a local void by globally fitting the Pantheon sample over all parameters in the radial profile function of a local void described by an inhomogeneous but isotropic Lema\^{i}tre-Tolman-Bondi metric with a cosmological constant. Our conclusion strengths the previous studies that the current tension on Hubble constant cannot be saved by a local void alone.


title: On a linearly damped 2 body problem

abstract: The usual equation for both motions of a single planet around the sun and electrons in the deterministic Rutherford-Bohr atomic model is conservative with a singular potential at the origin. When a dissipation is added, new phenomena appear. It is shown that whenever the momentum is not zero, the moving particle does not reach the center in finite time and its displacement does not blow-up either, even in the classical context where arbitrarily large velocities are allowed. Moreover we prove that all bounded solutions tend to $0$ for $t$ large, and some formal calculations suggest the existence of special orbits with an asymptotically spiraling exponentially fast convergence to the center.


title: Maximum $\log_q$ Likelihood Estimation for Parameters of Weibull Distribution and Properties: Monte Carlo Simulation

abstract: The maximum ${\log}_q$ likelihood estimation method is a generalization of the known maximum $\log$ likelihood method to overcome the problem for modeling non-identical observations (inliers and outliers). The parameter $q$ is a tuning constant to manage the modeling capability. Weibull is a flexible and popular distribution for problems in engineering. In this study, this method is used to estimate the parameters of Weibull distribution when non-identical observations exist. Since the main idea is based on modeling capability of objective function $\rho(x;\boldsymbol{\theta})=\log_q\big[f(x;\boldsymbol{\theta})\big]$, we observe that the finiteness of score functions cannot play a role in the robust estimation for inliers. The properties of Weibull distribution are examined. In the numerical experiment, the parameters of Weibull distribution are estimated by $\log_q$ and its special form, $\log$, likelihood methods if the different designs of contamination into underlying Weibull distribution are applied. The optimization is performed via genetic algorithm. The modeling competence of $\rho(x;\boldsymbol{\theta})$ and insensitiveness to non-identical observations are observed by Monte Carlo simulation. The value of $q$ can be chosen by use of the mean squared error in simulation and the $p$-value of Kolmogorov-Smirnov test statistic used for evaluation of fitting competence. Thus, we can overcome the problem about determining of the value of $q$ for real data sets.


title: Building an ID Card Repository with Progressive Web Application to Mitigate Fraud

abstract: A lot of service requires identity of users to mitigate undesirable incidents such as fraud. To cut down probability of potential fraud, ID Card of users are collected to be verified so people can verify users whenever an undesirable activity happens. However, to verify identity through an ID card, a repository for the ID Card is required. To verify ID cards, the ID Card repository will be connected to an automated ID Card Verification API. The ID Card repository is meant to be used both on mobile phones and desktop computers, so the concept of progressive web application is used. To be able to upload images smoothly and build progressive web application, the ID Card repository is built using ReactJS and Ant Design. Server side is powered by Strapi and MongoDB. GraphQL API is utilized to connect client side and server side. It involves queries to fetch data. To fetch data on the client side, Apollo client is used to in ReactJS. Git is utilized for version control system which gives contribution to Continuous Integration and Continuous Delivery. In this paper, we will discuss why Strapi is best suited on server side and how Ant Design, a library to style components in a web page, can provide required components in this web application.


title: Gegelati: Lightweight Artificial Intelligence through Generic and Evolvable Tangled Program Graphs

abstract: Tangled Program Graph (TPG) is a reinforcement learning technique based on genetic programming concepts. On state-of-the-art learning environments, TPGs have been shown to offer comparable competence with Deep Neural Networks (DNNs), for a fraction of their computational and storage cost. This lightness of TPGs, both for training and inference, makes them an interesting model to implement Artificial Intelligences (AIs) on embedded systems with limited computational and storage resources. In this paper, we introduce the Gegelati library for TPGs. Besides introducing the general concepts and features of the library, two main contributions are detailed in the paper: 1/ The parallelization of the deterministic training process of TPGs, for supporting heterogeneous Multiprocessor Systems-on-Chips (MPSoCs). 2/ The support for customizable instruction sets and data types within the genetically evolved programs of the TPG model. The scalability of the parallel training process is demonstrated through experiments on architectures ranging from a high-end 24-core processor to a low-power heterogeneous MPSoC. The impact of customizable instructions on the outcome of a training process is demonstrated on a state-of-the-art reinforcement learning environment. CCS Concepts: $\bullet$ Computer systems organization $\rightarrow$ Embedded systems; $\bullet$ Computing methodologies $\rightarrow$ Machine learning.


title: Minimizing Maintenance Cost Involving Flow-time and Tardiness Penalty with Unequal Release Dates

abstract: This paper proposes important and useful results relating to the minimization of the sum of the flow-time and the tardiness of tasks or jobs with unequal release dates (occurrence date), with application to maintenance planning and scheduling. Firstly, the policy of real-time maintenance is defined for minimizing the cost of tardiness and critical states. The required local optimality rule (FTR) is proved, in order to minimize the sum or the linear combination of the tasks' flow-time and tardiness costs. This rule has served to design a scheduling algorithm, with O(n 3) complexity when it is applied to schedule a set of n tasks on one processor. To evaluate its performance, the results are compared to a lower bound that is provided, in a numerical case study. Using this algorithm in combination with the tasks urgency criterion, a real-time algorithm is developed to schedule the tasks on q parallel processors. This latter algorithm is finally applied to schedule and assign preventive maintenance tasks to processors in the case of a distributed system. Its efficiency enables, as shown in the numerical example, to minimize the cost of preventive maintenance tasks, expressed as the sum of the tasks tardiness and flow-time. This corresponds to costs of critical states and of tardiness of preventive maintenance.


title: Noisy Deductive Reasoning: How Humans Construct Math, and How Math Constructs Universes

abstract: We present a computational model of mathematical reasoning according to which mathematics is a fundamentally stochastic process. That is, on our model, whether or not a given formula is deemed a theorem in some axiomatic system is not a matter of certainty, but is instead governed by a probability distribution. We then show that this framework gives a compelling account of several aspects of mathematical practice. These include: 1) the way in which mathematicians generate research programs, 2) the applicability of Bayesian models of mathematical heuristics, 3) the role of abductive reasoning in mathematics, 4) the way in which multiple proofs of a proposition can strengthen our degree of belief in that proposition, and 5) the nature of the hypothesis that there are multiple formal systems that are isomorphic to physically possible universes. Thus, by embracing a model of mathematics as not perfectly predictable, we generate a new and fruitful perspective on the epistemology and practice of mathematics.


title: Invariance under permutations as a semantic motivation for Stratification

abstract: This article examines the notion of invariance under different kinds of permutations in a milieu of a theory of classes and sets, as a semantic motivation for Quine's new foundations "NF". The approach largely depends on interpreting a finite axiomatization of NF beginning from the least restrictions on permutations and then gradually upgrading those restrictions as to enable interpreting NF. Comparisons with earlier works are drawn.


title: BiSNN: Training Spiking Neural Networks with Binary Weights via Bayesian Learning

abstract: Artificial Neural Network (ANN)-based inference on battery-powered devices can be made more energy-efficient by restricting the synaptic weights to be binary, hence eliminating the need to perform multiplications. An alternative, emerging, approach relies on the use of Spiking Neural Networks (SNNs), biologically inspired, dynamic, event-driven models that enhance energy efficiency via the use of binary, sparse, activations. In this paper, an SNN model is introduced that combines the benefits of temporally sparse binary activations and of binary weights. Two learning rules are derived, the first based on the combination of straight-through and surrogate gradient techniques, and the second based on a Bayesian paradigm. Experiments validate the performance loss with respect to full-precision implementations, and demonstrate the advantage of the Bayesian paradigm in terms of accuracy and calibration.


title: Local dispersive and Strichartz estimates for the Schr{\"o}dinger operator on the Heisenberg group

abstract: It was proved by H. Bahouri, P. G{\'e}rard and C.-J. Xu in [9] that the Schr{\"o}dinger equation on the Heisenberg group $\mathbb{H}^d$, involving the sublaplacian, is an example of a totally non-dispersive evolution equation: for this reason global dispersive estimates cannot hold. This paper aims at establishing local dispersive estimates on $\mathbb{H}^d$ for the linear Schr{\"o}dinger equation, by a refined study of the Schr{\"o}dinger kernel $S_t$ on $\mathbb{H}^d$. The sharpness of these estimates is discussed through several examples. Our approach, based on the explicit formula of the heat kernel on $\mathbb{H}^d$ derived by B. Gaveau in [20], is achieved by combining complex analysis and Fourier-Heisenberg tools. As a by-product of our results, we establish local Strichartz estimates and prove that the kernel $S_t$ concentrates on quantized horizontal hyperplanes of $\mathbb{H}^d$.


title: Nonminimal Lorentz Violation in Macroscopic Matter

abstract: The effects of Lorentz and CPT violations on macroscopic objects are explored. Effective composite coefficients for Lorentz violation are derived in terms of coefficients for electrons, protons, and neutrons in the Standard-Model Extension, including all minimal and nonminimal violations. The hamiltonian and modified Newton's second law for a test body are derived. The framework is applied to free-fall and torsion-balance tests of the weak equivalence principle and to orbital motion. The effects on continuous media are studied, and the frequency shifts in acoustic resonators are calculated.


title: Open Universe Models as Analogs of Multidimensional Electric Capacitors

abstract: A new approach to obtaining open Universes models as exact solutions of gravitational equations is considered. The proposed method is based on an analogy between electrostatics of conductors and open cosmological models which have a conformally-flat 4-metric in the Fock form. These cosmological models are solutions of the Einstein equations with the energy-momentum tensor of a Pascal perfect fluid. As a result, it is shown that the capacity of the multidimensional "ball" electric capacitor in multidimensional Euclidean auxiliary space is connected with harmonic functions by which the potentials of multidimensional capacitors are described. In turn, the conformal factor of the metric describing an open universe model in the Fock representation is a power function of this potential for each dimensionality of the Euclidean space. In particular, for 3D auxiliary Euclidean space in 4D space-time, there is the Friedman solution for an open universe filled with incoherent dust (with flat metric at spatial infinity). Further for 4D Euclidean space, we have an analogue of the open cosmological model with the equation of state of an ultra-relativistic gas. Other cases are listed in a table. A table of the matter states which generalizes this approach to multidimensional space-times is also constructed. Thus, the possibility of replacing the modelling problem in cosmology with the equivalent electrostatic problem for finding the capacity of capacitors is shown under specified boundary conditions. Exceptions from the general approach are also presented in the article.


title: Modeling and computer simulation of the mixing and heat transfer in heterogeneous turbulent two-phase jets of mutually immiscible liquids by the method of Professor Alfred I. Nakorchevskii. Part 1

abstract: The present paper is devoted to the mixing and heat transfer features of mutually immiscible liquids in the two-fluid turbulent heterogeneous jet flow. Many natural and technical processes deal with the turbulent jets of mutually immiscible liquids, which represent an important class of the modern multiphase system dynamics. Differential equations for the axially symmetrical two-dimensional stationary flow and the integral correlations in a cylindrical coordinate system were considered for the jet from a nozzle into a space filled with another fluid that is not miscible with the first one. Parameters of the turbulent mixing in the two-phase jet flow were modeled and analyzed. The results may be of interest for some research and industrial tasks, where the calculation of parameters of the multiphase turbulent mixing and heat transfer are important.


title: On Computable Geometric Expressions in Quantum Theory

abstract: Geometric Algebra and Calculus are mathematical languages encoding fundamental geometric relations that theories of physics seem to respect. We propose criteria given which statistics of expressions in geometric algebra are computable in quantum theory, in such a way that preserves their algebraic properties. They are that one must be able to arbitrarily transform the basis of the Clifford algebra, via multiplication by elements of the algebra that act trivially on the state space; all such elements must be neighbored by operators corresponding to factors in the original expression and not the state vectors. We explore the consequences of these criteria for a physics of dynamical multivector fields.


title: A trust-region augmented Hessian implementation for restricted and unrestricted Hartree-Fock and Kohn-Sham methods

abstract: We present a trust-region augmented Hessian implementation (TRAH-SCF) for restricted and unrestricted Hartree-Fock and Kohn-Sham methods. With TRAH-SCF convergence can always be achieved with tight convergence thresholds, which requires just a modest number of iterations. Our convergence benchmark study and our illustrative applications focus on open-shell molecules, also antiferromagnetically coupled systems, for which it is notoriously complicated to converge the Roothaan-Hall self-consistent field (SCF) equations. We compare the number of TRAH iterations to reach convergence with those of Pulay's and Kolmar's (K) variant of the direct inversion of the iterative subspace (DIIS) method and also analyze the obtained SCF solutions. Often TRAH-SCF finds a symmetry-broken solution with a lower energy than DIIS and KDIIS. For unrestricted calculations, this is accompanied by a larger spin contamination, i.e. larger deviation from the desired spin-restricted <S^2> expectation value. However, there are also rare cases in which DIIS finds a solution with a lower energy than KDIIS and TRAH. In rare cases, both TRAH-SCF and KDIIS may also converge to an excited-state determinant solution. For those calculations with negative-gap TRAH solutions, standard DIIS always diverges. If comparable, TRAH usually needs more iterations to converge than DIIS and KDIIS because for every new set of orbitals the level-shifted Newton-Raphson equations are solved approximately and iteratively by means of an eigenvalue problem. Nevertheless, the total runtime of TRAH-SCF is still competitive with the DIIS-based approaches even if extended basis sets are employed, which is illustrated for a large hemocyanin model complex.


title: Harmonic quasi-isometries of pinched Hadamard surfaces are injective

abstract: We prove that a harmonic quasi-isometric map between pinched Hadamard surfaces is a quasi-conformal diffeomorphism.


title: Revealing Giant Planet Interiors Beneath the Cloudy Veil

abstract: Observations from the Juno and Cassini missions provide essential constraints on the internal structures and compositions of Jupiter and Saturn, resulting in profound revisions of our understanding of the interior and atmospheres of Gas Giant planets. The next step to understand planetary origins in our Solar System requires a mission to their Ice Giant siblings, Uranus and Neptune.


title: A note on the intuitionistic logic of false belief

abstract: In this paper we analyse logic of false belief in intuitionistic setting. This logic, studied in its classical version by Steinsvold, Fan, Gilbert and Venturi, describes the following situation: a formula F is not satisfied in a given world, but we still believe in it (or we think that it should be accepted). Another interpretations are also possible: e.g. that we do not accept F but it is imposed on us by a kind of council or advisory board. From the mathematical point of view, the idea is expressed by an adequate form of modal operator W which is interpreted in relational frames with neighborhoods. We discuss monotonicity of forcing, soundness, completeness and several other issues. We present also some simple systems in which confirmation of previously accepted formula is modelled.


title: On finite generation of fiber ring of invariant jet differentials

abstract: The main result of this paper concerns the finite generation of the total ring of invariant $k$-jets as a generalization of a conjecture which was first mentioned in \cite{DMR} and later studied in \cite{D1, D2, Me, BK}. The conjecture in \cite{DMR} states that the fiber ring of the space of invariant jet differentials of a projective manifold is finitely generated on the regular locus, i.e. the normalized ring of invariant $k$-jets is finitely generated. We also prove this conjecture independently. Berczi-Kirwan has a partial attempt toward the question in \cite{BK} (2012), but the conjecture remains open. Our method is different and quite new to this question. The analytic automorphism group of regular $k$-jets of holomorphic curves on a projective variety $X$ is a non-reductive subgroup of the general linear group $GL_k \mathbb{C}$. In this case, the proof of the Chevalley theorem on the invariant polynomials in the fiber rings falls into difficulties. Different methods are required for the proof of the finite generation of the ring of invariants. We employ some techniques of algebraic Lie groups (not necessarily reductive) together with primary results obtained by Berczi and Kirwan (2012) to prove the finite generation of the ring of invariant jets. Besides, to above we present a systematic study of the structure theory of the non-reductive Lie group $G_k$ and its Lie algebra. We consider two actions of $G_k$, the first its adjoint action on its Lie algebra and the second the above action on the space of $k$-jets. We prove both of these two actions have generic stabilizers and obtain various results on the associate quotient maps. Finally, we present a result on the structure of the representation ring of $G_k$.


title: The exit from a metastable state: concentration of the exit point distribution on the low energy saddle points, part 2

abstract: We consider the first exit point distribution from a bounded domain $\Omega$ of the stochastic process $(X_t)_{t\ge 0}$ solution to the overdamped Langevin dynamics $$d X_t = -\nabla f(X_t) d t + \sqrt{h} \ d B_t$$ starting from deterministic initial conditions in $\Omega$, under rather general assumptions on $f$ (for instance, $f$ may have several critical points in $\Omega$). This work is a continuation of the previous paper \cite{DLLN-saddle1} where the exit point distribution from $\Omega$ is studied when $X_0$ is initially distributed according to the quasi-stationary distribution of $(X_t)_{t\ge 0}$ in $\Omega$. The proofs are based on analytical results on the dependency of the exit point distribution on the initial condition, large deviation techniques and results on the genericity of Morse functions.


title: QUARC: Quaternion Multi-Modal Fusion Architecture For Hate Speech Classification

abstract: Hate speech, quite common in the age of social media, at times harmless but can also cause mental trauma to someone or even riots in communities. Image of a religious symbol with derogatory comment or video of a man abusing a particular community, all become hate speech with its every modality (such as text, image, and audio) contributing towards it. Models based on a particular modality of hate speech post on social media are not useful, rather, we need models like multi-modal fusion models that consider both image and text while classifying hate speech. Text-image fusion models are heavily parameterized, hence we propose a quaternion neural network-based model having additional fusion components for each pair of modalities. The model is tested on the MMHS150K twitter dataset for hate speech classification. The model shows an almost 75% reduction in parameters and also benefits us in terms of storage space and training time while being at par in terms of performance as compared to its real counterpart.


title: On Fairness in Voting Consensus Protocols

abstract: Voting algorithms have been widely used as consensus protocols in the realization of fault-tolerant systems. These algorithms are best suited for distributed systems of nodes with low computational power or heterogeneous networks, where different nodes may have different levels of reputation or weight. Our main contribution is the construction of a fair voting protocol in the sense that the influence of the eventual outcome of a given participant is linear in its weight. Specifically, the fairness property guarantees that any node can actively participate in the consensus finding even with low resources or weight. We investigate effects that may arise from weighted voting, such as loss of anonymity, centralization, scalability, and discuss their relevance to protocol design and implementation.


title: Luminescent solar power: PV/thermal hybrid electricity generation for cost effective dispatchable solar energy

abstract: The challenge in solar energy today is not the cost of photovoltaic (PV) electricity generation, already competing with fossil fuel prices, but rather utility-scale energy storage and flexibility in supply. Low-cost thermal energy storage (TES) exists but relies on expensive heat engines. Here, we introduce the concept of luminescent solar power (LSP), where sunlight is absorbed in a photoluminescent (PL) absorber, followed by red-shifted PL emission matched to an adjacent PV cell's band-edge. This way the PV cell operates nearly as efficiently as under direct illumination, but with minimal excessive heat. The PL-absorber temperature rises due to thermalization, allowing it to store the excessive heat, which can later be converted into electricity. Tailored luminescent materials that support an additional 1.5kWh PV-electricity for every 1 kWh of (virtual) heat engine-electricity, with a dynamic shift between the two sources are experimentally demonstrated. Such an ideal hybrid system may lead to a potential reduction in the cost of electricity for a base-load solution.


title: Comparison of long-term natural aging to artificial aging in Duralumin

abstract: The understanding of long-term aging of aeronautical materials, in particular aluminium alloys used in the fuselage and structure of aircraft is of extreme importance for airline fleets. In this work, a plate from an old aircraft (Breguet) was retrieved and studied in terms of microstructure and mechanical properties. A comparison was made between this naturally-aged alloy and a modern alloy on which different artificial aging conditions were applied. The old alloy exhibits a precipitation of $\theta$-Al2Cu at grain boundaries and of $\Omega$-Al2Cu on dispersoids. This non-expected nanostructure for an alloy in T4 state was attributed to the heat that the plate experienced during the aircraft cycles. However, it is shown that this aging is reversible (after a solution treatment). Moreover, the very long time of outdoors exposure seems to have caused intergranular corrosion causing the early failure during tensile tests on some of the specimens. The artificial aging (low temperature, 100{\textdegree}C for up to 10,000h) applied on the modern 2017A alloy did not allow to reproduce the nanostructure of the old plate, meaning that isothermal conditions for artificial aging might not be appropriate in this case.


title: Tsallis uncertainty

abstract: It has been recently shown that the Bekenstein entropy bound is not respected by the systems satisfying modified forms of Heisenberg uncertainty principle (HUP) including the generalized and extended uncertainty principles, or even their combinations. On the other, the use of generalized entropies, which differ from Bekenstein entropy, in describing gravity and related topics signals us to different equipartition expressions compared to the usual one. In that way, The mathematical form of an equipartition theorem can be related to the algebraic expression of a particular entropy, different from the standard Bekenstein entropy, initially chosen to describe the black hole event horizon, see E. M. C. Abreu et al., MPLA 32, 2050266 (2020). Motivated by these works, we address three new uncertainty principles leading to recently introduced generalized entropies. In addition, the corresponding energy-time uncertainty relations and Unruh temperatures are also calculated. As a result, it seems that systems described by generalized entropies, such as those of Tsallis, do not necessarily meet HUP and may satisfy modified forms of HUP.


title: Multiple Sclerosis Lesion Segmentation -- A Survey of Supervised CNN-Based Methods

abstract: Lesion segmentation is a core task for quantitative analysis of MRI scans of Multiple Sclerosis patients. The recent success of deep learning techniques in a variety of medical image analysis applications has renewed community interest in this challenging problem and led to a burst of activity for new algorithm development. In this survey, we investigate the supervised CNN-based methods for MS lesion segmentation. We decouple these reviewed works into their algorithmic components and discuss each separately. For methods that provide evaluations on public benchmark datasets, we report comparisons between their results.


abstract: Application of deep learning to enhance the accuracy of intrusion detection in modern computer networks were studied in this paper. The identification of attacks in computer networks is divided in to two categories of intrusion detection and anomaly detection in terms of the information used in the learning phase. Intrusion detection uses both routine traffic and attack traffic. Abnormal detection methods attempt to model the normal behavior of the system, and any incident that violates this model is considered to be a suspicious behavior. For example, if the web server, which is usually passive, tries to There are many addresses that are likely to be infected with the worm. The abnormal diagnostic methods are Statistical models, Secure system approach, Review protocol, Check files, Create White list, Neural Networks, Genetic Algorithm, Vector Machines, decision tree. Our results have demonstrated that our approach offers high levels of accuracy, precision and recall together with reduced training time. In our future work, the first avenue of exploration for improvement will be to assess and extend the capability of our model to handle zero-day attacks.


title: High-order harmonic generation in an electron-positron-ion plasma

abstract: The laser interaction with an electron-positron-ion mixed plasma is studied, from the perspective of the associated high-order harmonic generation. For an idealized mixed plasma which is assumed with a sharp plasma-vacuum interface and uniform density distribution, when it is irradiated by a weakly relativistic laser pulse, well-defined signals at harmonics of the plasma frequency in the harmonic spectrum are observed. These characteristic signals are attributed to the inverse two-plasmon decay of the counterpropagating monochromatic plasma waves which are excited by the energetic electrons and the positron beam accelerated by the laser. Particle-in-cell simulations show the signal at twice the plasma frequency can be observed for a pair density as low as $\sim 10^{-5}$ of the plasma density. In the self-consistent scenario of pair production by an ultraintense laser striking a solid target, particle-in-cell simulations, which account for quantum electrodynamic effects (photon emission and pair production), show that dense (greater than the relativistically-corrected critical density) and hot pair plasmas can be created. The harmonic spectrum shows weak low order harmonics, indicating a high laser absorption due to quantum electrodynamic effects. The characteristic signals at harmonics of the plasma frequency are absent, because broadband plasma waves are excited due to the high plasma inhomogeneity introduced by the interaction. However, the high frequency harmonics are enhanced due to the high-frequency modulations from the direct laser coupling with created pair plasmas.


title: A Comparative Study between HLS and HDL on SoC for Image Processing Applications

abstract: The increasing complexity in today's systems and the limited market times demand new development tools for FPGA. Currently, in addition to traditional hardware description languages (HDLs), there are high-level synthesis (HLS) tools that increase the abstraction level in system development. Despite the greater simplicity of design and testing, HLS has some drawbacks in describing harware. This paper presents a comparative study between HLS and HDL for FPGA, using a Sobel filter as a case study in the image processing field. The results show that the HDL implementation is slightly better than the HLS version considering resource usage and response time. However, the programming effort required in the HDL solution is significantly larger than in the HLS counterpart.


title: Quantum Key Recovery Attack on SIMON Block Cipher

abstract: The quantum security of lightweight block ciphers is receiving more and more attention. However, the existing quantum attacks on lightweight block ciphers mainly focused on the quantum exhaustive search, while the quantum dedicated attacks combined with classical cryptanalysis methods haven't been well studied. In this paper, we study quantum key recovery attack on SIMON block cipher using Quantum Amplitude Amplification algorithm in Q1 model. At first, we reanalyze the quantum circuit complexity of quantum master key exhaustive search on SIMON block cipher. The Clifford gates count is estimated more accurately and the T gate count is reduced. We also reduce the T-depth and Full-depth due to some minor modifications to the circuit. Then, based on the differential cryptanalysis on SIMON32, SIMON48 and SIMON64 given by Biryukov et al. in FSE 2014, we give quantum round key recovery attacks on these SIMON variants and analyze quantum circuit complexity separately. We take the quantum attack on 19-round SIMON32/64 for an example and design the quantum circuit of the key recovery process. The two phases of this attack could be regarded as two QAA instances separately, and the first QAA instance consists of four sub-QAA instances. We conclude that the encryption complexity and circuit complexity of quantum dedicated attacks on 19-round SIMON32/64, 19-round SIMON 48 and 26-round SIMON64/128 are both lower than those of the quantum exhaustive search on these variants separately. Our work firstly studies the quantum dedicated attack on SIMON block cipher from the perspective of quantum circuit complexity, which is a more fine-grained analysis of quantum dedicated attacks' complexity.


title: A Conceptual Model for the Origin of the Cutoff Parameter in Exotic Compact Objects

abstract: A Black Hole (BH) is a spacetime region with a horizon and where geodesics converge to a singularity. At such a point, the gravitational field equations fail. As an alternative to the problem of the singularity arises the existence of Exotic Compact Objects (ECOs) that prevent the problem of the singularity through a transition phase of matter once it has crossed the horizon. ECOs are characterized by a closeness parameter or cutoff, $\epsilon$, which measures the degree of compactness of the object. This parameter is established as the difference between the radius of the ECO's surface and the gravitational radius. Thus, different values of $\epsilon$ correspond to different types of ECOs. If $\epsilon$ is very big, the ECO behaves more like a star than a black hole. On the contrary, if $\epsilon$ tends to a very small value, the ECO behaves like a black hole. It is considered a conceptual model of the origin of the cutoff for ECOs, when a dust shell contracts gravitationally from an initial position to near the Schwarzschild radius. This allowed us to find that the cutoff makes two types of contributions: a classical one governed by General Relativity and one of a quantum nature, if the ECO is very close to the horizon, when estimating that the maximum entropy is contained within the material that composes the shell. Such entropy coincides with the Bekenstein--Hawking entropy. The established cutoff corresponds to a dynamic quantity dependent on coordinate time that is measured by a Fiducial Observer (FIDO). Without knowing the details about quantum gravity, parameter $\epsilon$ is calculated, which, in general, allows distinguishing the ECOs from BHs. Specifically, a black shell (ECO) is undistinguishable from a BH.


title: Improved Image Matting via Real-time User Clicks and Uncertainty Estimation

abstract: Image matting is a fundamental and challenging problem in computer vision and graphics. Most existing matting methods leverage a user-supplied trimap as an auxiliary input to produce good alpha matte. However, obtaining high-quality trimap itself is arduous, thus restricting the application of these methods. Recently, some trimap-free methods have emerged, however, the matting quality is still far behind the trimap-based methods. The main reason is that, without the trimap guidance in some cases, the target network is ambiguous about which is the foreground target. In fact, choosing the foreground is a subjective procedure and depends on the user's intention. To this end, this paper proposes an improved deep image matting framework which is trimap-free and only needs several user click interactions to eliminate the ambiguity. Moreover, we introduce a new uncertainty estimation module that can predict which parts need polishing and a following local refinement module. Based on the computation budget, users can choose how many local parts to improve with the uncertainty guidance. Quantitative and qualitative results show that our method performs better than existing trimap-free methods and comparably to state-of-the-art trimap-based methods with minimal user effort.


title: Stochastic monotonicity and the Markov product for copulas

abstract: Given two random variables $X$ and $Y$, stochastic monotonicity describes a monotone influence of $X$ on $Y$. We prove two different characterizations of stochastically monotone $2$-copulas using the isomorphism between $2$-copulas and Markov operators. The first approach establishes a one-to-one correspondence between stochastically monotone copulas and monotonicity-preserving Markov operators. The second approach characterizes stochastically monotone copulas by their monotonicity property with respect to the Markov product. Applying the latter result, we identify all idempotent stochastically monotone copulas as ordinal sums of the independence copula $\Pi$.


title: 39 Hints to Facilitate the Use of Semantics for Data on Agriculture and Nutrition

abstract: In this paper, we report on the outputs and adoption of the Agrisemantics Working Group of the Research Data Alliance (RDA), consisting of a set of recommendations to facilitate the adoption of semantic technologies and methods for the purpose of data interoperability in the field of agriculture and nutrition. From 2016 to 2019, the group gathered researchers and practitioners at the crossing point between information technology and agricultural science, to study all aspects in the life cycle of semantic resources: conceptualization, edition, sharing, standardization, services, alignment, long term support. First, the working group realized a landscape study, a study of the uses of semantics in agrifood, then collected use cases for the exploitation of semantics resources-a generic term to encompass vocabularies, terminologies, thesauri, ontologies. The resulting requirements were synthesized into 39 "hints" for users and developers of semantic resources, and providers of semantic resource services. We believe adopting these recommendations will engage agrifood sciences in a necessary transition to leverage data production, sharing and reuse and the adoption of the FAIR data principles. The paper includes examples of adoption of those requirements, and a discussion of their contribution to the field of data science.


title: Can the zero-point energy of the quantized harmonic oscillator be lower? Possible implications for the physics of "dark energy" and "dark matter"

abstract: Replacing the canonical pair q and p of the harmonic oscillator (HO) by the locally and symplectically equivalent pair angle phi and action variable I implies a qualitative change of the global topological structure of the associated phase spaces: the pair (q,p) is an element of a topologically trivial plane R^2 whereas the pair (phi,I>0) is an element of a topologically non-trivial, infinitely connected, punctured plane R^2-{0}, which has the group SO(1,2) as its "canonical" group. Due to its infinitely many covering groups the resulting ("symplectic") spectrum of the associated quantum Hamiltonian is given by {hbar omega (n+b), n =0,1,...; b in (0,1]}, in contrast to the "orthodox" spectrum {hbar omega (n+1/2)}. The potentially most important implications concern the vibrations of diatomic molecules in the infrared, e.g. those of molecular hydrogen H_2. Those symplectic spectra of the HO may provide a simultaneous key to two outstanding astrophysical puzzles, namely the nature of dark (vacuum) energy and that of dark matter: To the former because the zero-point energy b hbar omega of free electromagnetic wave oscillator modes can be extremely small > 0 (b ca. exp(-35) for the measured dark energy density). And a key to the dark matter problem because the quantum zero-point energies of the Born-Oppenheimer potentials in which the two nuclei of H_2 or the nuclei of other primordial diatomic molecules vibrate can be lower, too, and, therefore, may lead to spectrally detuned "dark" H_2 molecules during the "Dark Ages" of the universe and forming WIMPs in the hypothesized sense. All results appear to be in surprisingly good agreement with the LambdaCDM model of the universe. Besides laboratory experiments the search for 21-cm radio signals from the Dark Ages of the universe and other astrophysical observations can help to explore those hypothetical implications.


title: Relations between different quantum R\'enyi divergences

abstract: Quantum generalizations of R\'enyi's entropies are a useful tool to describe a variety of operational tasks in quantum information processing. Two families of such generalizations turn out to be particularly useful: the Petz quantum R\'enyi divergence $\bar{D}_{\alpha}$ and the minimal quantum R\'enyi divergence $\widetilde{D}_{\alpha}$. Moreover, the maximum quantum R\'enyi divergence $\widehat{D}_{\alpha}$ is of particular mathematical interest. In this Master thesis, we investigate relations between these divergences and their applications in quantum information theory. Our main result is a reverse Araki-Lieb-Thirring inequality that implies a new relation between the minimal and the Petz divergence, namely that $\alpha \bar{D}_{\alpha}(\rho \| \sigma) \leqslant \widetilde{D}_{\alpha}(\rho \| \sigma)$ for $\alpha \in [0,1]$ and where $\rho$ and $\sigma$ are density operators. This bound suggests defining a "pretty good fidelity", whose relation to the usual fidelity implies the known relations between the optimal and pretty good measurement as well as the optimal and pretty good singlet fraction. In addition, we provide a new proof of the inequality $\widetilde{D}_{1}(\rho \| \sigma) \leqslant \widehat{D}_{1}(\rho \| \sigma)\, ,$ based on the Araki-Lieb-Thirring inequality. This leads to an elegant proof of the logarithmic form of the reverse Golden-Thompson inequality.


title: Gravitation in Unified Scalar Field Theory

abstract: The scalar field of space-time film is considered as unified fundamental field. The field model under consideration is the space-time generalization of the model for a two-dimensional thin film. The force and metrical interactions between solitons are considered. These interactions correspond to the electromagnetic and gravitational interactions respectively. The metrical interaction and its correspondence to the gravitational one are considered in detail. The practical applications of this approach are briefly discussed.


title: Cost Management on Commercial Cloud Platforms

abstract: Commercial cloud platforms are a powerful technology for astronomical research. Despite the benefits of cloud computing -- such as on-demand scalability and reduction of systems management overhead -- confusion over how to manage costs remains, for many, one of the biggest barriers to entry. This confusion is exacerbated by the rapid growth in services offered by commercial providers, by the growth in the number of these providers, and by storage, compute, and I/O metered at separate rates -- all of which can change without notice. As a rule, processing is very cheap, storage is more expensive, and downloading is very expensive. Thus, an application that produces large image data sets for download will be far more expensive than an application that performs extensive processing on a small data set. This Birds of a Feather (BoF) session aimed to quantify the above statement by presenting case studies of the costing of astronomy applications on commercial clouds that covered a range of processing scenarios; these presentations were the basis for discussion by the attendees.


title: Rovibrational quenching of C$_2$-anions in collisions with He, Ne, and Ar atoms

abstract: The dicarbon molecular anion is currently of interest as a candidate for laser cooling due to its electronic structure and favorable branching ratios to the ground electronic and vibrational states. Helium has been proposed as a buffer gas to cool the molecule's internal motion. We calculate the cross sections and corresponding rates for rovibrational inelastic collisions of the dicarbon anion with He, and also with Ne and Ar, on three-dimensional ab initio potential energy surfaces using quantum scattering theory. The rates for vibrational quenching with He and Ne are very small and are similar to those for small neutral molecules in collision with helium. The quenching rates for Ar, however, are far larger than those with the other noble gases, suggesting that this may be a more suitable gas for driving vibrational quenching in traps. The implications of these results for laser cooling of the dicarbon anion are discussed.


title: Noise-Assisted Quantum Autoencoder

abstract: Quantum autoencoder is an efficient variational quantum algorithm for quantum data compression. However, previous quantum autoencoders fail to compress and recover high-rank mixed states. In this work, we discuss the fundamental properties and limitations of the standard quantum autoencoder model in more depth, and provide an information-theoretic solution to its recovering fidelity. Based on this understanding, we present a noise-assisted quantum autoencoder algorithm to go beyond the limitations, our model can achieve high recovering fidelity for general input states. Appropriate noise channels are used to make the input mixedness and output mixedness consistent, the noise setup is determined by measurement results of the trash system. Compared with the original quantum autoencoder model, the measurement information is fully used in our algorithm. In addition to the circuit model, we design a (noise-assisted) adiabatic model of quantum autoencoder that can be implemented on quantum annealers. We verified the validity of our methods through compressing the thermal states of transverse field Ising model and Werner states. For pure state ensemble compression, we also introduce a projected quantum autoencoder algorithm.


title: On some geometric aspects of the class of hv-convex switching components

abstract: In the usual aim of discrete tomography, the reconstruction of an unknown discrete set is considered, by means of projection data collected along a set $U$ of discrete directions. Possible ambiguous reconstructions can arise if and only if switching components occur, namely, if and only if non-empty images exist having null projections along all the directions in $U$. In order to lower the number of allowed reconstructions, one tries to incorporate possible extra geometric constraints in the tomographic problem. In particular, the class $\mathbb{P}$ of horizontally and vertically convex connected sets (briefly, $hv$-convex polyominoes) has been largely considered. In this paper we introduce the class of $hv$-convex switching components, and prove some preliminary results on their geometric structure. The class includes all switching components arising when the tomographic problem is considered in $\mathbb{P}$, which highly motivates the investigation of such configurations. It turns out that the considered class can be partitioned in two disjointed subclasses of closed patterns, called windows and curls, respectively. It follows that all windows have a unique representation, while curls consist of interlaced sequences of sub-patterns, called $Z$-paths, which leads to the problem of understanding the combinatorial structure of such sequences. We provide explicit constructions of families of curls associated to some special sequences, and also give additional details on further allowed or forbidden configurations by means of a number of illustrative examples.


title: Checklist for responsible deep learning modeling of medical images based on COVID-19 detection studies

abstract: The sudden outbreak and uncontrolled spread of COVID-19 disease is one of the most important global problems today. In a short period of time, it has led to the development of many deep neural network models for COVID-19 detection with modules for explainability. In this work, we carry out a systematic analysis of various aspects of proposed models. Our analysis revealed numerous mistakes made at different stages of data acquisition, model development, and explanation construction. In this work, we overview the approaches proposed in the surveyed Machine Learning articles and indicate typical errors emerging from the lack of deep understanding of the radiography domain. We present the perspective of both: experts in the field - radiologists and deep learning engineers dealing with model explanations. The final result is a proposed checklist with the minimum conditions to be met by a reliable COVID-19 diagnostic model.


title: Masksembles for Uncertainty Estimation

abstract: Deep neural networks have amply demonstrated their prowess but estimating the reliability of their predictions remains challenging. Deep Ensembles are widely considered as being one of the best methods for generating uncertainty estimates but are very expensive to train and evaluate. MC-Dropout is another popular alternative, which is less expensive, but also less reliable. Our central intuition is that there is a continuous spectrum of ensemble-like models of which MC-Dropout and Deep Ensembles are extreme examples. The first uses an effectively infinite number of highly correlated models while the second relies on a finite number of independent models. To combine the benefits of both, we introduce Masksembles. Instead of randomly dropping parts of the network as in MC-dropout, Masksemble relies on a fixed number of binary masks, which are parameterized in a way that allows to change correlations between individual models. Namely, by controlling the overlap between the masks and their density one can choose the optimal configuration for the task at hand. This leads to a simple and easy to implement method with performance on par with Ensembles at a fraction of the cost. We experimentally validate Masksembles on two widely used datasets, CIFAR10 and ImageNet.


title: Emergence of a Cosmological Constant in Anisotropic Fluid Cosmology

abstract: We investigate anisotropic fluid cosmology in a situation where the spacetime metric back-reacts in a local, time-dependent way to the presence of inhomogeneities. We derive exact solutions to the Einstein field equations describing Friedmann-Lemaitre-Robertson-Walker (FLRW) large scale cosmological evolution in the presence of local inhomogeneities and time-dependent back reaction. We use our derivation to tackle the cosmological constant problem. A cosmological constant emerges by averaging the back reaction term on spatial scales of the order of $100 \ \text{Mpc}$, at which our universe begins to appear homogeneous and isotropic. We find that the order of magnitude of the "emerged" cosmological constant agrees with astrophysical observations and is related in a natural way to baryonic matter density. Thus, there is no coincidence problem in our framework.


title: Cost-Effective Federated Learning Design

abstract: Federated learning (FL) is a distributed learning paradigm that enables a large number of devices to collaboratively learn a model without sharing their raw data. Despite its practical efficiency and effectiveness, the iterative on-device learning process incurs a considerable cost in terms of learning time and energy consumption, which depends crucially on the number of selected clients and the number of local iterations in each training round. In this paper, we analyze how to design adaptive FL that optimally chooses these essential control variables to minimize the total cost while ensuring convergence. Theoretically, we analytically establish the relationship between the total cost and the control variables with the convergence upper bound. To efficiently solve the cost minimization problem, we develop a low-cost sampling-based algorithm to learn the convergence related unknown parameters. We derive important solution properties that effectively identify the design principles for different metric preferences. Practically, we evaluate our theoretical results both in a simulated environment and on a hardware prototype. Experimental evidence verifies our derived properties and demonstrates that our proposed solution achieves near-optimal performance for various datasets, different machine learning models, and heterogeneous system settings.


title: Conformal Killing symmetric tensors on Lie groups

abstract: We introduce the notion of metric Lie algebras of Killing type, which are characterized by the fact that all conformal Killing symmetric tensors are sums of Killing tensors and multiples of the metric tensor. We show that if a Lie algebra is either 2-step nilpotent, or 2- or 3-dimensional, or 4-dimensional non-solvable, or 4-dimensional solvable with 1-dimensional derived ideal, or has an abelian factor, then it is of Killing type with respect to any positive definite metric.


title: Asymptotic Behavior of Free Energy When Optimal Probability Distribution Is Not Unique

abstract: Bayesian inference is a widely used statistical method. The free energy and generalization loss, which are used to estimate the accuracy of Bayesian inference, are known to be small in singular models that do not have a unique optimal parameter. However, their characteristics are not yet known when there are multiple optimal probability distributions. In this paper, we theoretically derive the asymptotic behaviors of the generalization loss and free energy in the case that the optimal probability distributions are not unique and show that they contain asymptotically different terms from those of the conventional asymptotic analysis.


title: A search for rare and induced nuclear decays in hafnium

abstract: A measurement of hafnium foil using a modified ultra-low-background high purity detector with optimized sample-to-detector geometry was performed at Laboratori Nazionale del Gran Sasso. Radiopurity of the stock Hf foil was studied in detail, in addition to an analysis of data collected over 310 days to search for rare processes that can occur in natural Hf isotopes. Firstly, limits on alpha decays of all natural Hf isotopes to the first excited state of the daughter nuclides were established in the range of $10^{16}$-$10^{18}$a (90% C.L.). Secondly, a search for modes of double electron capture and electron capture with positron emission in $^{174}$Hf was performed, yielding half-life limits $10^{16}$-$10^{18}$a (90% C.L.). Lastly, novel dark matter-induced nuclear excitations in hafnium isotopes were investigated. For dark matter with 1 TeV/$c^2$ mass, leading limits on the inelastic dark matter--nucleon cross section are set for mass splittings in the range 428 keV $< \delta <$ 473 keV.


title: Dynamically stabilized spin superfluidity in frustrated magnets

abstract: We study the onset of spin superfluidity, namely coherent spin transport mediated by a topological spin texture, in frustrated exchange-dominated magnetic systems, engendered by an external magnetic field. We show that for typical device geometries used in nonlocal magnetotransport experiments, the magnetic field stabilizes a spin superflow against fluctuations, up to a critical current. For a given current, the critical field depends on the precessional frequency of the texture, which can be separately controlled. We contrast such dynamic stabilization of a spin superfluid to the conventional approaches based on topological stabilization.


title: Stopping a reaction-diffusion front

abstract: We revisit the problem of pinning a reaction-diffusion front by a defect, in particular by a reaction-free region. Using collective variables for the front and numerical simulations, we compare the behaviors of a bistable and monostable front. A bistable front can be pinned as confirmed by a pinning criterion, the analysis of the time independant problem and simulations. Conversely, a monostable front can never be pinned, it gives rise to a secondary pulse past the defect and we calculate the time this pulse takes to appear. These radically different behaviors of bistable and monostable fronts raise issues for modelers in particular areas of biology, as for example, the study of tumor growth in the presence of different tissues.


title: NLO QCD corrections to the production of top-antitop pairs in association with a W boson including leptonic decays

abstract: We present the QCD radiative corrections to the full off-shell $\rm t\bar{t}W^+$ production, considering a final state with three charged leptons, two b jets and missing energy. All interferences, off-shell effects and spin correlations are included in the calculation. Beyond presenting integrated and differential results for the full off-shell process, we compare them with those obtained applying a double-pole approximation to the virtual corrections.


title: Vanishing theorems for threefolds in characteristic $p>5$

abstract: We prove Grauert-Riemenschneider-type vanishing theorems for excellent dlt threefolds pairs whose closed points have perfect residue fields of positive characteristic $p>5$. Then we discuss applications to dlt singularities and to Mori fiber spaces of threefolds.


title: On Mazur rotations problem and its multidimensional versions

abstract: The article is a survey related to a classical unsolved problem in Banach space theory, appearing in Banach's famous book in 1932, and known as the Mazur rotations problem. Although the problem seems very difficult and rather abstract, its study sheds new light on the importance of norm symmetries of a Banach space, demonstrating sometimes unexpected connections with renorming theory and differentiability in functional analysis, with topological group theory and the theory of representations, with the area of amenability, with Fra\"iss\'e theory and Ramsey theory, and led to development of concepts of interest independent of Mazur problem. This survey focuses on results that have been published after 2000, stressing two lines of research which were developed in the last ten years. The first one is the study of approximate versions of Mazur rotations problem in its various aspects, most specifically in the case of the Lebesgue spaces Lp. The second one concerns recent developments of multidimensional formulations of Mazur rotations problem and associated results. Some new results are also included.


title: An implicit kinetic inviscid flux for predicting continuum flows in all speed regimes

abstract: In this study, the kinetic inviscid flux (KIF) is improved and an implicit strategy is coupled. The recently proposed KIF is a kind of inviscid flux, whose microscopic mechanism makes it good at solving shock waves, with advantages against the shock instability phenomenon. When developing the implicit KIF, a phenomenon is noticed that the kinetic flux vector splitting (KFVS) part in boundary layers not only reduces the accuracy, but seriously reduces the Courant-Friedrichs-Lewy (CFL) number as well. As a result, in this paper, a new weight is proposed about how to combine the KFVS method well with the totally thermalized transport (TTT) method. Besides admitting the using of larger CFL numbers, this new weight brings about more accurate numerical results like pressure, friction coefficient and heat flux when solving shock waves, boundary layers and complex supersonic/hypersonic flows. In order to examine the validity, accuracy and efficiency of the present method, six numerical test cases, covering the whole speed regime, are conducted, including the hypersonic viscous flow past a cylinder, the hypersonic double-cone flow, the hypersonic double-ellipsoid flow, the laminar shock boundary layer interaction, the supersonic flow around a ramp segment and the lid-driven cavity flow. The advantages of this scheme and corresponding mechanisms are to be discussed in detail.


title: On the Integrality Gap of Binary Integer Programs with Gaussian Data

abstract: For a binary integer program (IP) ${\rm max} ~ c^\mathsf{T} x, Ax \leq b, x \in \{0,1\}^n$, where $A \in \mathbb{R}^{m \times n}$ and $c \in \mathbb{R}^n$ have independent Gaussian entries and the right-hand side $b \in \mathbb{R}^m$ satisfies that its negative coordinates have $\ell_2$ norm at most $n/10$, we prove that the gap between the value of the linear programming relaxation and the IP is upper bounded by $\operatorname{poly}(m)(\log n)^2 / n$ with probability at least $1-2/n^7-2^{-\operatorname{poly}(m)}$. Our results give a Gaussian analogue of the classical integrality gap result of Dyer and Frieze (Math. of O.R., 1989) in the case of random packing IPs. In constrast to the packing case, our integrality gap depends only polynomially on $m$ instead of exponentially. Building upon recent breakthrough work of Dey, Dubey and Molinaro (SODA, 2021), we show that the integrality gap implies that branch-and-bound requires $n^{\operatorname{poly}(m)}$ time on random Gaussian IPs with good probability, which is polynomial when the number of constraints $m$ is fixed. We derive this result via a novel meta-theorem, which relates the size of branch-and-bound trees and the integrality gap for random logconcave IPs.


title: Beyond Privacy Trade-offs with Structured Transparency

abstract: Successful collaboration involves sharing information. However, parties may disagree on how the information they need to share should be used. We argue that many of these concerns reduce to 'the copy problem': once a bit of information is copied and shared, the sender can no longer control how the recipient uses it. From the perspective of each collaborator, this presents a dilemma that can inhibit collaboration. The copy problem is often amplified by three related problems which we term the bundling, edit, and recursive enforcement problems. We find that while the copy problem is not solvable, aspects of these amplifying problems have been addressed in a variety of disconnected fields. We observe that combining these efforts could improve the governability of information flows and thereby incentivise collaboration. We propose a five-part framework which groups these efforts into specific capabilities and offers a foundation for their integration into an overarching vision we call "structured transparency". We conclude by surveying an array of use-cases that illustrate the structured transparency principles and their related capabilities.


title: Chromatic periodic activity down to 120 MHz in a Fast Radio Burst

abstract: Fast radio bursts (FRBs) are extragalactic astrophysical transients whose brightness requires emitters that are highly energetic, yet compact enough to produce the short, millisecond-duration bursts. FRBs have thus far been detected between 300 MHz and 8 GHz, but lower-frequency emission has remained elusive. A subset of FRBs is known to repeat, and one of those sources, FRB 20180916B, does so with a 16.3 day activity period. Using simultaneous Apertif and LOFAR data, we show that FRB 20180916B emits down to 120 MHz, and that its activity window is both narrower and earlier at higher frequencies. Binary wind interaction models predict a narrower periodic activity window at lower frequencies, which is the opposite of our observations. Our detections establish that low-frequency FRB emission can escape the local medium. For bursts of the same fluence, FRB 20180916B is more active below 200 MHz than at 1.4 GHz. Combining our results with previous upper-limits on the all-sky FRB rate at 150 MHz, we find that there are 3-450 FRBs/sky/day above 50 Jy ms at 90% confidence. We are able to rule out the scenario in which companion winds cause FRB periodicity. We also demonstrate that some FRBs live in clean environments that do not absorb or scatter low-frequency radiation.


title: Local Central Limit Theorem for Multi-Group Curie-Weiss Models

abstract: We define a multi-group version of the mean-field spin model, also called Curie-Weiss model. It is known that, in the high temperature regime of this model, a central limit theorem holds for the vector of suitably scaled group magnetisations, that is the sum of spins belonging to each group. In this article, we prove a local central limit theorem for the group magnetisations in the high temperature regime.


title: SBV regularity for Burgers-Poisson equation

abstract: The SBV regularity of weak entropy solutions to the Burgers-Poisson equation is considered. We show that the derivative of a solution consists of only the absolutely continuous part and the jump part.


title: Fundamental theorem of asset pricing with acceptable risk in markets with frictions

abstract: We study the range of prices at which a rational agent should contemplate transacting a financial contract outside a given securities market. Trading is subject to nonproportional transaction costs and portfolio constraints and full replication by way of market instruments is not always possible. Rationality is defined in terms of consistency with market prices and acceptable risk thresholds. We obtain a direct and a dual description of market-consistent prices with acceptable risk. The dual characterization requires an appropriate extension of the classical Fundamental Theorem of Asset Pricing where the role of arbitrage opportunities is played by good deals, i.e., costless investment opportunities with acceptable risk-reward tradeoff. In particular, we highlight the importance of scalable good deals, i.e., investment opportunities that are good deals regardless of their volume.


title: Further evidence for the non-existence of a unified hoop conjecture

abstract: The hoop conjecture, introduced by Thorne almost five decades ago, asserts that black holes are characterized by the mass-to-circumference relation $4\pi {\cal M}/{\cal C}\geq1$, whereas horizonless compact objects are characterized by the opposite inequality $4\pi {\cal M}/{\cal C}<1$ (here ${\cal C}$ is the circumference of the smallest ring that can engulf the self-gravitating compact object in all azimuthal directions). It has recently been proved that a necessary condition for the validity of this conjecture in horizonless spacetimes of spatially regular charged compact objects is that the mass ${\cal M}$ be interpreted as the mass contained within the engulfing sphere (and not as the asymptotically measured total ADM mass). In the present paper we raise the following physically intriguing question: Is it possible to formulate a unified version of the hoop conjecture which is valid for both black holes and horizonless compact objects? In order to address this important question, we analyze the behavior of the mass-to-circumference ratio of Kerr-Newman black holes. We explicitly prove that if the mass ${\cal M}$ in the hoop relation is interpreted as the quasilocal Einstein-Landau-Lifshitz-Papapetrou and Weinberg mass contained within the black-hole horizon, then these charged and spinning black holes are characterized by the sub-critical mass-to-circumference ratio $4\pi {\cal M}/{\cal C}<1$. Our results provide evidence for the non-existence of a unified version of the hoop conjecture which is valid for both black-hole spacetimes and spatially regular horizonless compact objects.


title: A general framework for a joint calibration of VIX and VXX options

abstract: We analyze the VIX futures market with a focus on the exchange-traded notes written on such contracts, in particular we investigate the VXX notes tracking the short-end part of the futures term structure. Inspired by recent developments in commodity smile modelling, we present a multi-factor stochastic-local volatility model that is able to jointly calibrate plain vanilla options both on VIX futures and VXX notes, thus going beyond the failure of purely stochastic or simply local volatility models. We discuss numerical results on real market data by highlighting the impact of model parameters on implied volatilities.


title: Dispersive estimates for the wave and the Klein-Gordon equations in large time inside the Friedlander domain

abstract: We prove global in time dispersion for the wave and the Klein-Gordon equation inside the Friedlander domain by taking full advantage of the space-time localization of caustics and a precise estimate of the number of waves that may cross at a given, large time. Moreover, we uncover a significant difference between Klein-Gordon and the wave equation in the low frequency, large time regime, where Klein-Gordon exhibits a worse decay that the wave, unlike in the flat space.


title: A mathematical model of national-level food system sustainability

abstract: The global food system faces various endogeneous and exogeneous, biotic and abiotic risk factors, including a rising human population, higher population densities, price volatility and climate change. Quantitative models play an important role in understanding food systems' expected responses to shocks and stresses. Here, we present a stylised mathematical model of a national-level food system that incorporates domestic supply of a food commodity, international trade, consumer demand, and food commodity price. We derive a critical compound parameter signalling when domestic supply will become unsustainable and the food system entirely dependent on imports, which results in higher commodity prices, lower consumer demand and lower inventory levels. Using Bayesian estimation, we apply the dynamic food systems model to infer the sustainability of the UK pork industry. We find that the UK pork industry is currently sustainable but because the industry is dependent on imports to meet demand, a decrease in self-sufficiency below 50% (current levels are 60-65%) would lead it close to the critical boundary signalling its collapse. Our model provides a theoretical foundation for future work to determine more complex causal drivers of food system vulnerability.


title: Differentiation of Sliding Rescaled Ranges: New Approach to Encrypted and VPN Traffic Detection

abstract: We propose a new approach to traffic preprocessing called Differentiation of Sliding Rescaled Ranges (DSRR) expanding the ideas laid down by H.E. Hurst. We apply proposed approach on the characterizing encrypted and unencrypted traffic on the well-known ISCXVPN2016 dataset. We deploy DSRR for flow-base features and then solve the task VPN vs nonVPN with basic machine learning models. With DSRR and Random Forest, we obtain 0.971 Precision, 0.969 Recall and improve this result to 0.976 using statistical analysis of features in comparison with Neural Network approach that gives 0.93 Precision via 2D-CNN. The proposed method and the results can be found at https://github.com/AleksandrIvchenko/dsrr_vpn_nonvpn.


title: Optimal Hyper-Scalable Load Balancing with a Strict Queue Limit

abstract: Load balancing plays a critical role in efficiently dispatching jobs in parallel-server systems such as cloud networks and data centers. A fundamental challenge in the design of load balancing algorithms is to achieve an optimal trade-off between delay performance and implementation overhead (e.g. communication or memory usage). This trade-off has primarily been studied so far from the angle of the amount of overhead required to achieve asymptotically optimal performance, particularly vanishing delay in large-scale systems. In contrast, in the present paper, we focus on an arbitrarily sparse communication budget, possibly well below the minimum requirement for vanishing delay, referred to as the hyper-scalable operating region. Furthermore, jobs may only be admitted when a specific limit on the queue position of the job can be guaranteed. The centerpiece of our analysis is a universal upper bound for the achievable throughput of any dispatcher-driven algorithm for a given communication budget and queue limit. We also propose a specific hyper-scalable scheme which can operate at any given message rate and enforce any given queue limit, while allowing the server states to be captured via a closed product-form network, in which servers act as customers traversing various nodes. The product-form distribution is leveraged to prove that the bound is tight and that the proposed hyper-scalable scheme is throughput-optimal in a many-server regime given the communication and queue limit constraints. Extensive simulation experiments are conducted to illustrate the results.


title: Mapping resolutions of length three I

abstract: We produce some interesting families of resolutions of length three by describing certain open subsets of the spectrum of the generic ring for such resolutions constructed in a recent paper by Weyman.


title: The ITRF coordinates of the spherical center of FAST

abstract: The ITRF coordinates of the spherical center of the Five-hundred-meter Aperture Spherical radio Telescope (FAST) are $(X,Y,Z)=(-1668557.2070983793,$ $5506838.5266271923, 2744934.9655897617)$.


title: Invertibility as a witness of Markovianity of the quantum dynamical maps

abstract: Markovianity of the quantum open system processes is a topic of the considerable current interest. Typically, invertibility is assumed to be non-essential for Markovianity of the open-quantum-system dynamical maps. Nevertheless, in this paper we distinguish a class of physically important dynamical maps (processes) for which invertibility is a necessary condition for Markovianity. Since every quantum-state tomography directly provides information on invertibility of the map, no optimization procedure is necessary for determining non-Markovianity regarding the considered class of dynamical processes. On this basis we are able to provide a systematic insight and to distinguish mutual relations of the various approaches to quantum Markovianity. Notably, for the processes out of the considered class of dynamical maps, various relations are allowed between divisibility, invertibility and Markovianity of the dynamical maps.


title: Connectivity and Purity for logarithmic motives

abstract: The goal of this paper is to extend the work of Voevodsky and Morel on the homotopy $t$-structure on the category of motivic complexes to the context of motives for logarithmic schemes. To do so, we prove an analogue of Morel's connectivity theorem and show a purity statement for $(\mathbf{P}^1, \infty)$-local complexes of sheaves with log transfers. The homotopy $t$-structure on $\mathbf{logDM}^{\textrm{eff}}(k)$ is proved to be compatible with Voevodsky's $t$-structure i.e. we show that the comparison functor $R^{\overline{\square}}\omega^*\colon \mathbf{DM}^{\textrm{eff}}(k)\to \mathbf{logDM}^{\textrm{eff}}(k)$ is $t$-exact. The heart of the homotopy $t$-structure on $\mathbf{logDM}^{\textrm{eff}}(k)$ is the Grothendieck abelian category of strictly cube-invariant sheaves with log transfers: we use it to build a new version of the category of reciprocity sheaves in the style of Kahn--Saito--Yamazaki and R\"ulling.


title: All order effective action for charge diffusion from Schwinger-Keldysh holography

abstract: An effective action for diffusion of a conserved $U(1)$ charge is derived to all orders in the derivative expansion within a holographic model dual to the Schwinger-Keldysh closed time path. A systematic approach to solution of the 5D Maxwell equations in a doubled Schwarzschild-AdS$_5$ black brane geometry is developed. Constitutive relation for the stochastic charge current is shown to have a term induced by thermal fluctuations (coloured noise). All transport coefficient functions parameterising the effective action and constitutive relations are computed analytically in the hydrodynamic expansion, and then numerically for finite momenta.


title: Propagation of polarized gravitational waves

abstract: The propagation of high-frequency gravitational waves can be analyzed using the geometrical optics approximation. In the case of large but finite frequencies, the geometrical optics approximation is no longer accurate, and polarization-dependent corrections at first order in wavelength modify the propagation of gravitational waves via a spin-orbit coupling mechanism. We present a covariant derivation from first principles of effective ray equations describing the propagation of polarized gravitational waves, up to first-order terms in wavelength, on arbitrary spacetime backgrounds. The effective ray equations describe a gravitational spin Hall effect for gravitational waves and are of the same form as those describing the gravitational spin Hall effect of light, derived from Maxwell's equations.


title: GAP-net for Snapshot Compressive Imaging

abstract: Snapshot compressive imaging (SCI) systems aim to capture high-dimensional ($\ge3$D) images in a single shot using 2D detectors. SCI devices include two main parts: a hardware encoder and a software decoder. The hardware encoder typically consists of an (optical) imaging system designed to capture {compressed measurements}. The software decoder on the other hand refers to a reconstruction algorithm that retrieves the desired high-dimensional signal from those measurements. In this paper, using deep unfolding ideas, we propose an SCI recovery algorithm, namely GAP-net, which unfolds the generalized alternating projection (GAP) algorithm. At each stage, GAP-net passes its current estimate of the desired signal through a trained convolutional neural network (CNN). The CNN operates as a denoiser that projects the estimate back to the desired signal space. For the GAP-net that employs trained auto-encoder-based denoisers, we prove a probabilistic global convergence result. Finally, we investigate the performance of GAP-net in solving video SCI and spectral SCI problems. In both cases, GAP-net demonstrates competitive performance on both synthetic and real data. In addition to having high accuracy and high speed, we show that GAP-net is flexible with respect to signal modulation implying that a trained GAP-net decoder can be applied in different systems. Our code is at https://github.com/mengziyi64/ADMM-net.


title: Two generalizations of the Butterfly Theorem

abstract: We establish two direct extensions to the Butterfly Theorem on the cyclic quadrilateral along with the proofs using the projective method and analytic geometry of the Cartesian coordinate system.


title: Dispersion for the wave and Schr\"odinger equations outside a ball and counterexamples

abstract: We consider the wave and Schr\"odinger equations with Dirichlet boundary conditions in the exterior of a ball in $\mathbb{R}^d$. In dimension $d = 3$ we construct a sharp, global in time parametrix and then proceed to obtain sharp dispersive estimates, matching the $\mathbb{R}^3$ case, for all frequencies (low and high). If $d \ge 4$, we provide an explicit solution to the wave equation localized at large frequency $1/h$ with data $\delta_{Q_0}$, where $Q_0$ is a point at large distance s from the center of the ball : taking $s \sim h^{-1/3}$, the decay rate of that solution exhibits a $(t/h)^{d-3}/4$ loss with respect to the boundary less case, that occurs at $t \sim 2s$ with an observation point being symmetric to $Q_0$ with respect to the center of the ball (at the Poisson Arago spot). A similar counterexample is also obtained for the Schr\"odinger flow.


title: Factorization identities and algebraic Bethe ansatz for $D^{(2)}_{2}$ models

abstract: We express $D^{(2)}_{2}$ transfer matrices as products of $A^{(1)}_{1}$ transfer matrices, for both closed and open spin chains. We use these relations, which we call factorization identities, to solve the models by algebraic Bethe ansatz. We also formulate and solve a new integrable XXZ-like open spin chain with an even number of sites that depends on a continuous parameter, which we interpret as the rapidity of the boundary.

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


title: Parametrizations of the Spin Density Matrix

abstract: We propose for the spin density matrix two parametrizations which automatically fulfil the non-negativity conditions, without setting any bound on the parameters. The first one relies on a theorem, that we prove, and it is rather simple and easily adaptable to some specific reactions, where, for example, parity is conserved or angular momentum conservation entails selection rules. Moreover, in the case when the rank is less than the order of the density matrix, we show how to improve the fits to the data, either by implementing previous suggestions, or by elaborating an alternative method, for which we prove a second theorem. Our second parametrization is a variant of previous treatments, it appears suitable for some particular processes. Moreover, we discuss about the possibility of inferring the elements of the density matrix from the differential decay width. Last, we illustrate various examples of current interest, both in strong and weak decays; some of them may be helpful in the investigation of physics beyond the standard model.


title: Scattering resonances of large weakly open quantum graphs

abstract: In this paper, we consider a sequence of open quantum graphs, with uniformly bounded data, and we are interested in the asymptotic distribution of their scattering resonances. Supposing that the number of leads in our quantum graphs is small compared to the total number of edges, we show that most resonances are close to the real axis. More precisely, the asymptotic distribution of resonances of our open quantum graphs is the same as the asymptotic distribution of the square-root of the eigenvalues of the closed quantum graphs obtained by removing all the leads.


title: A Note on Generalized Algebraic Theories and Categories with Families

abstract: We give a new syntax independent definition of the notion of a generalized algebraic theory as an initial object in a category of categories with families (cwfs) with extra structure. To this end we define inductively how to build a valid signature $\Sigma$ for a generalized algebraic theory and the associated category of cwfs with a $\Sigma$-structure and cwf-morphisms that preserve this structure on the nose. Our definition refers to uniform families of contexts, types, and terms, a purely semantic notion. Furthermore, we show how to syntactically construct initial cwfs with $\Sigma$-structures. This result can be viewed as a generalization of Birkhoff's completeness theorem for equational logic. It is obtained by extending Castellan, Clairambault, and Dybjer's construction of an initial cwf. We provide examples of generalized algebraic theories for monoids, categories, categories with families, and categories with families with extra structure for some type formers of dependent type theory. The models of these are internal monoids, internal categories, and internal categories with families (with extra structure) in a category with families.


title: Limiting laws and consistent estimation criteria for fixed and diverging number of spiked eigenvalues

abstract: In this paper, we study limiting laws and consistent estimation criteria for the extreme eigenvalues in a spiked covariance model of dimension $p$. Firstly, for fixed $p$, we propose a generalized estimation criterion that can consistently estimate, $k$, the number of spiked eigenvalues. Compared with the existing literature, we show that consistency can be achieved under weaker conditions on the penalty term. Next, allowing both $p$ and $k$ to diverge, we derive limiting distributions of the spiked sample eigenvalues using random matrix theory techniques. Notably, our results do not require the spiked eigenvalues to be uniformly bounded from above or tending to infinity, as have been assumed in the existing literature. Based on the above derived results, we formulate a generalized estimation criterion and show that it can consistently estimate $k$, while $k$ can be fixed or grow at an order of $k=o(n^{1/3})$. We further show that the results in our work continue to hold under a general population distribution without assuming normality. The efficacy of the proposed estimation criteria is illustrated through comparative simulation studies.


title: LOFAR Detection of 110-188 MHz Emission and Frequency-Dependent Activity from FRB 20180916B

abstract: FRB 20180916B is a well-studied repeating fast radio burst source. Its proximity (~150 Mpc), along with detailed studies of the bursts, have revealed many clues about its nature -- including a 16.3-day periodicity in its activity. Here we report on the detection of 18 bursts using LOFAR at 110-188 MHz, by far the lowest-frequency detections of any FRB to date. Some bursts are seen down to the lowest-observed frequency of 110 MHz, suggesting that their spectra extend even lower. These observations provide an order-of-magnitude stronger constraint on the optical depth due to free-free absorption in the source's local environment. The absence of circular polarization and nearly flat polarization angle curves are consistent with burst properties seen at 300-1700 MHz. Compared with higher frequencies, the larger burst widths (~40-160 ms at 150 MHz) and lower linear polarization fractions are likely due to scattering. We find ~2-3 rad/m^2 variations in the Faraday rotation measure that may be correlated with the activity cycle of the source. We compare the LOFAR burst arrival times to those of 38 previously published and 22 newly detected bursts from the uGMRT (200-450 MHz) and CHIME/FRB (400-800 MHz). Simultaneous observations show 5 CHIME/FRB bursts when no emission is detected by LOFAR. We find that the burst activity is systematically delayed towards lower frequencies by ~3 days from 600 MHz to 150 MHz. We discuss these results in the context of a model in which FRB 20180916B is an interacting binary system featuring a neutron star and high-mass stellar companion.


title: Separation of scales: Dynamical approximations for composite quantum systems

abstract: We consider composite quantum-dynamical systems that can be partitioned into weakly interacting subsystems, similar to system-bath type situations. Using a factorized wave function ansatz, we mathematically characterize dynamical scale separation.Specifically, we investigate a coupling r{\'e}gime that is partially flat, i.e., slowly varying with respect to one set of variables, for example, those of the bath. Further, we study the situation where one of the sets of variables is semiclassically scaled and derive a quantum-classical formulation. In both situations, we propose two schemes of dimension reduction: one based on Taylor expansion (collocation) and the other one based on partial averaging (mean-field). We analyze the error for the wave function and for the action of observables, obtaining comparable estimates for both approaches. The present study is the first step towards a general analysis of scale separation in the context of tensorized wavefunction representations.


title: Global Regularity to Incompressible Viscoelastic System With a Class of Large Initial Data

abstract: The global existence of solutions to incompressible viscoelastic flows has been a longstanding open problem, even for the global weak solution. Under some special structure ("div-curl" condition) the global small smooth solution was obtained in \cite{llzhou, cz}. However, the result with large initial data remains unknown up to now, and it is studied in this paper. We shall put forward a new structure: the cone-condition and then derive the global smooth solution to 3D incompressible viscoelastic system with a class of large initial data. The key is to gain an angle quantity in the estimate of nonlinear terms by restricting the solution to a cone.