title: LiteCON: An All-Photonic Neuromorphic Accelerator for Energy-efficient Deep Learning (Preprint)

abstract: Deep learning is highly pervasive in today's data-intensive era. In particular, convolutional neural networks (CNNs) are being widely adopted in a variety of fields for superior accuracy. However, computing deep CNNs on traditional CPUs and GPUs brings several performance and energy pitfalls. Several novel approaches based on ASIC, FPGA, and resistive-memory devices have been recently demonstrated with promising results. Most of them target only the inference (testing) phase of deep learning. There have been very limited attempts to design a full-fledged deep learning accelerator capable of both training and inference. It is due to the highly compute and memory-intensive nature of the training phase. In this paper, we propose LiteCON, a novel analog photonics CNN accelerator. LiteCON uses silicon microdisk-based convolution, memristor-based memory, and dense-wavelength-division-multiplexing for energy-efficient and ultrafast deep learning. We evaluate LiteCON using a commercial CAD framework (IPKISS) on deep learning benchmark models including LeNet and VGG-Net. Compared to the state-of-the-art, LiteCON improves the CNN throughput, energy efficiency, and computational efficiency by up to 32x, 37x, and 5x respectively with trivial accuracy degradation.


title: An Asymmetric Sparse Telescope

abstract: We designed and built a novel model of a deployed space telescope which can reliably align its segments to achieve the finest possible resolution. An asymmetric design of both the segment shapes and their pupil locations were tested in simulation and experiment. We optimised the sparse aperture for better spatial frequency coverage and for smoother images with less artifacts. The unique segment shapes allow for an easier identification and alignment, and the feedback is based only upon the focal image. The autonomous alignment and fine tuning are governed by mechanical simplicity and reliability.


title: Inverse Design in the Complex Plane: Manipulating Quasi-Normal Modes

abstract: Utilising the fact that the frequency response of a material can be decomposed into the quasi-normal modes supported by the system, we present two methods to directly manipulate the complex frequencies of quasi-normal modes in the complex plane. We first consider an `eigen-permittivity' approach that allows one to find how to shift the permittivity of the structure everywhere in order to place a single quasi-normal mode at a desired complex frequency. Secondly, we then use perturbation theory for quasi-normal modes to iteratively change the structure until a given selection of quasi-normal modes occur at desired complex frequencies.


title: Absolute Measurements of Branching Fractions of Cabibbo-Suppressed Hadronic $D^{0(+)}$ Decays Involving Multiple Pions

abstract: By analyzing $e^+e^-$ annihilation data with an integrated luminosity of $2.93~\rm fb^{-1}$ collected at the center-of-mass energy $\sqrt s=$ 3.773 GeV with the BESIII detector, we present the first absolute measurements of the branching fractions of twenty Cabibbo-suppressed hadronic $D^{0(+)}$ decays involving multiple pions. The largest four branching fractions obtained are $\mathcal{B}(D^0\to\pi^+\pi^-\pi^0)= (1.343\pm0.013_{\rm stat}\pm0.016_{\rm syst})\%$, $\mathcal{B}(D^0\to\pi^+\pi^-2\pi^0)= (0.998\pm0.019_{\rm stat}\pm0.024_{\rm syst})\%$, $\mathcal{B}(D^+\to 2\pi^+\pi^-\pi^0)= (1.174\pm0.021_{\rm stat}\pm0.021_{\rm syst})\%$, and $\mathcal{B}(D^+\to 2\pi^+\pi^-2\pi^0)=(1.074\pm0.040_{\rm stat}\pm0.030_{\rm syst})\%$. The $CP$ asymmetries for the six decays with highest event yields are also determined.


title: RetrieverTTS: Modeling Decomposed Factors for Text-Based Speech Insertion

abstract: This paper proposes a new "decompose-and-edit" paradigm for the text-based speech insertion task that facilitates arbitrary-length speech insertion and even full sentence generation. In the proposed paradigm, global and local factors in speech are explicitly decomposed and separately manipulated to achieve high speaker similarity and continuous prosody. Specifically, we proposed to represent the global factors by multiple tokens, which are extracted by cross-attention operation and then injected back by link-attention operation. Due to the rich representation of global factors, we manage to achieve high speaker similarity in a zero-shot manner. In addition, we introduce a prosody smoothing task to make the local prosody factor context-aware and therefore achieve satisfactory prosody continuity. We further achieve high voice quality with an adversarial training stage. In the subjective test, our method achieves state-of-the-art performance in both naturalness and similarity. Audio samples can be found at https://ydcustc.github.io/retrieverTTS-demo/.


title: Extreme Pebble Accretion in Ringed Protoplanetary Discs

abstract: Axisymmetric dust rings containing tens to hundreds of Earth masses of solids have been observed in protoplanetary discs with (sub-)millimetre imaging. Here, we investigate the growth of a planetary embryo in a massive (150M$_\oplus$) axisymmetric dust trap through dust and gas hydrodynamics simulations. When accounting for the accretion luminosity of the planetary embryo from pebble accretion, the thermal feedback on the surrounding gas leads to the formation of an anticyclonic vortex. Since the vortex forms at the location of the planet, this has significant consequences for the planet's growth: as dust drifts towards the pressure maximum at the centre of the vortex, which is initially co-located with the planet, a rapid accretion rate is achieved, in a distinct phase of ``vortex-assisted'' pebble accretion. Once the vortex separates from the planet due to interactions with the disc, it accumulates dust, shutting off accretion onto the planet. We find that this rapid accretion, mediated by the vortex, results in a planet containing $\approx$ 100M$_\oplus$ of solids. We follow the evolution of the vortex, as well as the efficiency with which dust grains accumulate at its pressure maximum as a function of their size, and investigate the consequences this has for the growth of the planet as well as the morphology of the protoplanetary disc. We speculate that this extreme formation scenario may be the origin of giant planets which are identified to be significantly enhanced in heavy elements.


title: Pseudoscalar charmonium pair interactions via the Pomeron exchange mechanism

abstract: Following the observation of the fully-heavy tetraquark candidates $X(6900)$ and possible $X(6300)$ in the di-$J/\psi$ spectrum by the LHCb Collaboration, we investigate the near-threshold dynamics of the pseudoscalar quarkonium pairs in a coupled-channel approach in the di-$\eta_c$ channel. We show that the Pomeron exchange mechanism should be a general dynamics in the near-threshold heavy quarkonium pair interactions. In the di-$\eta_c$ channel, a coupled-channel system involving the di-$\eta_c$, $\eta_c$-$\eta_c(2S)$ and di-$\eta_c(2S)$ interactions can be established. Their $S$-wave interactions near threshold via the Pomeron exchange potential can produce near-threshold resonance poles similar to the di-$J/\psi$, $J/\psi$-$\psi(2S)$ and di-$\psi(2S)$ coupled channels. Interestingly, we find here that the pole positions are more shifted to the corresponding thresholds and turn out to be different from those seen in the di-$J/\psi$ spectrum. Taking into account the suppression of the heavy quark spin flips in the transitions between two vector and two pseudoscalar heavy quarkonium systems, the enhancements in the di-$\eta_c$ spectrum should be different from those seen in the di-$J/\psi$ channel. Experimental study of the di-$\eta_c$ channel should be useful for disentangling the nature of the fully-heavy tetraquark systems.


title: Chattering Phenomenon in Quantum Optimal Control

abstract: We present a quantum optimal control problem which exhibits a chattering phenomenon. This is the first instance of such a process in quantum control. Using the Pontryagin Maximum Principle and a general procedure due to V. F. Borisov and M. I. Zelikin, we characterize the local optimal synthesis, which is then globalized by a suitable numerical algorithm. We illustrate the importance of detecting chattering phenomena because of their impact on the efficiency of numerical optimization procedures.


title: Unbounded visibility domains, the end compactification, and applications

abstract: In this paper we study when the Kobayashi distance on a Kobayashi hyperbolic domain has certain visibility properties, with a focus on unbounded domains. "Visibility" in this context is reminiscent of visibility, seen in negatively curved Riemannian manifolds, in the sense of Eberlein-O'Neill. However, we do not assume that the domains studied are Cauchy-complete with respect to the Kobayashi distance, as this is hard to establish for domains in $\mathbb{C}^d$, $d \geq 2$. We study the various ways in which this property controls the boundary behavior of holomorphic maps. Among these results is a Carath\'eodory-type extension theorem for biholomorphisms between planar domains, notably: between infinitely-connected domains. We also explore connections between our visibility property and Gromov hyperbolicity of the Kobayashi distance.


title: Search for the semileptonic decay $D_s^+\to \pi^0e^+\nu_e$

abstract: We present the first search for the semileptonic decay $D_s^+\to \pi^0 e^+\nu_e$ using a data sample of electron-positron collisions recorded with the BESIII detector at center-of-mass energies between 4.178 and 4.226~GeV, corresponding to an integrated luminosity of 6.32~fb$^{-1}$. This decay is expected to be sensitive to $\pi^0$--$\eta$ mixing. No significant signal is observed. We set an upper limit of $6.4 \times 10^{-5}$ on the branching fraction at the $90\%$ confidence level.


title: The Statistical Similarity of Repeating and Non-Repeating Fast Radio Bursts

abstract: In this paper, we present a sample of 21 repeating fast radio bursts (FRBs) detected by different radio instruments before September 2021. Using the Anderson--Darling test, we compared the distributions of extra-Galactic dispersion measure ($DM_{\rm E}$) of non-repeating FRBs, repeating FRBs and all FRBs. It was found that the $ DM_{\rm E}$ values of three sub-samples are log-normally distributed. The $DM_{\rm E}$ of repeaters and non-repeaters were drawn from a different distribution on basis of the Mann--Whitney--Wilcoxon test. In addition, assuming that the non-repeating FRBs identified currently may be potentially repeators, i.e., the repeating FRBs to be universal and representative, one can utilize the averaged fluence of repeating FRBs as an indication from which to derive an apparent intensity distribution function (IDF) with a power-law index of $a_1=$ $1.10\pm 0.14$ ($a_2=$ $1.01\pm 0.16$, the observed fluence as a statistical variant), which is in good agreement with the previous IDF of 16 non-repeating FRBs found by Li et al. Based on the above statistics of repeating and non-repeating FRBs, we propose that both types of FRBs may have different cosmological origins, spatial distributions and circum-burst environments. Interestingly, the differential luminosity distributions of repeating and non-repeating FRBs can also be well described by a broken power-law function with the same power-law index of $-$1.4.


title: When are Post-hoc Conceptual Explanations Identifiable?

abstract: Interest in understanding and factorizing learned embedding spaces through conceptual explanations is steadily growing. When no human concept labels are available, concept discovery methods search trained embedding spaces for interpretable concepts like object shape or color that can provide post-hoc explanations for decisions. Unlike previous work, we argue that concept discovery should be identifiable, meaning that a number of known concepts can be provably recovered to guarantee reliability of the explanations. As a starting point, we explicitly make the connection between concept discovery and classical methods like Principal Component Analysis and Independent Component Analysis by showing that they can recover independent concepts under non-Gaussian distributions. For dependent concepts, we propose two novel approaches that exploit functional compositionality properties of image-generating processes. Our provably identifiable concept discovery methods substantially outperform competitors on a battery of experiments including hundreds of trained models and dependent concepts, where they exhibit up to 29 % better alignment with the ground truth. Our results highlight the strict conditions under which reliable concept discovery without human labels can be guaranteed and provide a formal foundation for the domain. Our code is available online.


title: High-order Lohner-type algorithm for rigorous computation of Poincar\'e maps in systems of Delay Differential Equations with several delays

abstract: We present a Lohner-type algorithm for rigorous integration of systems of Delay Differential Equations (DDEs) with multiple delays and its application in computation of Poincar\'e maps to study the dynamics of some bounded, eternal solutions. The algorithm is based on a piecewise Taylor representation of the solutions in the phase-space and it exploits the smoothing of solutions occurring in DDEs to produces enclosures of solutions of a high order. We apply the topological techniques to prove various kinds of dynamical behavior, for example, existence of (apparently) unstable periodic orbits in Mackey-Glass Equation (in the regime of parameters where chaos is numerically observed) and persistence of symbolic dynamics in a delay-perturbed chaotic ODE (the R\"ossler system).


title: A new solution of Einstein's field equations in isotropic coordinates

abstract: In this work, an exact solution of Einstein's field equations in isotropic coordinates for anisotropic matter distribution is obtained by considering a particular metric choice of metric potential $g_{rr}$. To check the feasibility of the model, we have investigated all the physical characteristics of a realistic star. It is found that the model is potentially stable, and the adiabatic index is greater than $\frac{4}{3}$. The model have been analysed for Compact star \textbf{4U 1538-52}.


title: Integral equation study of effective attraction between like-charged particles mediated by cations: Comparison between IPY2 and HNC closures

abstract: Effective interactions between like-charged particles immersed in an electrolyte solution were calculated using two integral equation theories, hypernetted-chain (HNC)-Ornstein--Zernike (OZ) and ionic Percus--Yevick 2 (IPY2)-OZ. When the HNC-OZ theory was adopted, the electrolyte concentration dependence of the effective interaction showed a reentrant behavior. By contrast, the IPY2-OZ theory did not indicate the behavior. Monte Carlo simulations were performed for one of the model systems, and the results agreed qualitatively with those calculated using the HNC-OZ theory.

categories: cond-mat.soft physics.chem-ph physics.class-ph physics.comp-ph


title: Hyper-Specific Prefixes: Gotta Enjoy the Little Things in Interdomain Routing

abstract: Autonomous Systems (ASes) exchange reachability information between each other using BGP -- the de-facto standard inter-AS routing protocol. While IPv4 (IPv6) routes more specific than /24 (/48) are commonly filtered (and hence not propagated), route collectors still observe many of them. In this work, we take a closer look at those "hyper-specific" prefixes (HSPs). In particular, we analyze their prevalence, use cases, and whether operators use them intentionally or accidentally. While their total number increases over time, most HSPs can only be seen by route collector peers. Nonetheless, some HSPs can be seen constantly throughout an entire year and propagate widely. We find that most HSPs represent (internal) routes to peering infrastructure or are related to address block relocations or blackholing. While hundreds of operators intentionally add HSPs to well-known routing databases, we observe that many HSPs are possibly accidentally leaked routes.


title: Pattern avoiding alternating involutions

abstract: We enumerate and characterize some classes of alternating and reverse alternating involutions avoiding a single pattern of length three or four. If on one hand the case of patterns of length three is trivial, on the other hand, the length four case is more challenging and involves sequences of combinatorial interest, such as Motzkin and Fibonacci numbers.


title: Correction to baryon spectrum in holographic QCD

abstract: We study solitons in the context of Sakai-Sugimoto-Witten holographic model of QCD. In the large 't Hooft coupling limit, flat space instantons give an approximate description of baryons. We provide an ansatz through deforming the BPST instanton by zero modes and obtain a subleading correction to the effective action. We also consider the quantum mechanical description of the collective coordinates. The correction term appears as a perturbation to the potential of the Hamiltonian and hence we can derive a first order correction to the mass spectrum of baryons.


title: Optimal analysis of finite element methods for the stochastic Stokes equations

abstract: Numerical analysis for the stochastic Stokes equations is still challenging even though it has been well done for the corresponding deterministic equations. In particular, the pre-existing error estimates of finite element methods for the stochastic Stokes equations { in the $L^\infty(0, T; L^2(\Omega; L^2))$ norm} all suffer from the order reduction with respect to the spatial discretizations. The best convergence result obtained for these fully discrete schemes is only half-order in time and first-order in space, which is not optimal in space in the traditional sense. The objective of this article is to establish strong convergence of $O(\tau^{1/2}+ h^2)$ in the $L^\infty(0, T; L^2(\Omega; L^2))$ norm for approximating the velocity, and strong convergence of $O(\tau^{1/2}+ h)$ in the $L^{\infty}(0, T;L^2(\Omega;L^2))$ norm for approximating the time integral of pressure, where $\tau$ and $h$ denote the temporal step size and spatial mesh size, respectively. The error estimates are of optimal order for the spatial discretization considered in this article (with MINI element), and consistent with the numerical experiments. The analysis is based on the fully discrete Stokes semigroup technique and the corresponding new estimates.


title: Spatial Positioning Token (SPToken) for Smart Parking

abstract: In this paper, we describe an approach to guide drivers searching for a parking space (PS). The proposed system suggests a sequence of routes that drivers should traverse in order to maximise the expected likelihood of finding a PS and minimise the travel distance. This system is built on our recent architecture SPToken, which combines both Distributed Ledger Technology (DLT) and Reinforcement Learning (RL) to realise a system for the estimation of an unknown distribution without disturbing the environment. For this, we use a number of virtual tokens that are passed from vehicle to vehicle to enable a massively parallelised RL system that estimates the best route for a given origin-destination (OD) pair, using crowdsourced information from participant vehicles. Additionally, a moving window with reward memory mechanism is included to better cope with non-stationary environments. Simulation results are given to illustrate the efficacy of our system.


title: Lifted directed-worm algorithm

abstract: Nonreversible Markov chains can outperform reversible chains in the Markov chain Monte Carlo method. Lifting is a versatile approach to introducing net stochastic flow in state space and constructing a nonreversible Markov chain. We present here an application of the lifting technique to the directed-worm algorithm. The transition probability of the worm update is optimized using the geometric allocation approach; the worm backscattering probability is minimized, and the stochastic flow breaking the detailed balance is maximized. We demonstrate the performance improvement over the previous worm and cluster algorithms for the four-dimensional hypercubic lattice Ising model. The sampling efficiency of the present algorithm is approximately 80, 5, and 1.7 times as high as those of the standard worm algorithm, the Wolff cluster algorithm, and the previous lifted worm algorithm, respectively. We estimate the dynamic critical exponent of the hypercubic lattice Ising model to be $z \approx 0$ in the worm and the Wolff cluster updates. The lifted version of the directed-worm algorithm can be applied to a variety of quantum systems as well as classical systems.


title: CSI Sensing from Heterogeneous User Feedbacks: A Constrained Phase Retrieval Approach

abstract: This paper investigates the downlink channel state information (CSI) sensing in 5G heterogeneous networks composed of user equipments (UEs) with different feedback capabilities. We aim to enhance the CSI accuracy of UEs only affording the low-resolution Type-I codebook. While existing works have demonstrated that the task can be accomplished by solving a phase retrieval (PR) formulation based on the feedback of precoding matrix indicator (PMI) and channel quality indicator (CQI), they need many feedback rounds. In this paper, we propose a novel CSI sensing scheme that can significantly reduce the feedback overhead. Our scheme involves a novel parameter dimension reduction design by exploiting the spatial consistency of wireless channels among nearby UEs, and a constrained PR (CPR) formulation that characterizes the feasible region of CSI by the PMI information. To address the computational challenge due to the non-convexity and the large number of constraints of CPR, we develop a two-stage algorithm that firstly identifies and removes inactive constraints, followed by a fast first-order algorithm. The study is further extended to multi-carrier systems. Extensive tests over DeepMIMO and QuaDriGa datasets showcase that our designs greatly outperform existing methods and achieve the high-resolution Type-II codebook performance with a few rounds of feedback.


title: Improving Worst Case Visual Localization Coverage via Place-specific Sub-selection in Multi-camera Systems

abstract: 6-DoF visual localization systems utilize principled approaches rooted in 3D geometry to perform accurate camera pose estimation of images to a map. Current techniques use hierarchical pipelines and learned 2D feature extractors to improve scalability and increase performance. However, despite gains in typical recall@0.25m type metrics, these systems still have limited utility for real-world applications like autonomous vehicles because of their `worst' areas of performance - the locations where they provide insufficient recall at a certain required error tolerance. Here we investigate the utility of using `place specific configurations', where a map is segmented into a number of places, each with its own configuration for modulating the pose estimation step, in this case selecting a camera within a multi-camera system. On the Ford AV benchmark dataset, we demonstrate substantially improved worst-case localization performance compared to using off-the-shelf pipelines - minimizing the percentage of the dataset which has low recall at a certain error tolerance, as well as improved overall localization performance. Our proposed approach is particularly applicable to the crowdsharing model of autonomous vehicle deployment, where a fleet of AVs are regularly traversing a known route.


title: Origin of the spontaneous oscillations in a simplified coagulation-fragmentation system driven by a source

abstract: We consider a system of aggregated clusters of particles, subjected to coagulation and fragmentation processes with mass dependent rates. Each monomer particle can aggregate with larger clusters, and each cluster can fragment into individual monomers with a rate directly proportional to the aggregation rate. The dynamics of the cluster densities is governed by a set of Smoluchowski equations, and we consider the addition of a source of monomers at constant rate. The whole dynamics can be reduced to solving a unique non-linear differential equation which displays self-oscillations in a specific range of parameters, and for a number of distinct clusters in the system large enough. This collective phenomenon is due to the presence of a fluctuating damping coefficient and is closely related to the Li\'enard self-oscillation mechanism observed in a more general class of physical systems such as the van der Pol oscillator.


title: Computation as uncertainty reduction: a simplified order-theoretic framework

abstract: Although there is a somewhat standard formalization of computability on countable sets given by Turing machines, the same cannot be said about uncountable sets. Among the approaches to define computability in these sets, order-theoretic structures have proven to be useful. Here, we discuss the mathematical structure needed to define computability using order-theoretic concepts. In particular, we introduce a more general framework and discuss its limitations compared to the previous one in domain theory. We expose four features in which the stronger requirements in the domain-theoretic structure allow to improve upon the more general framework: computable elements, computable functions, model dependence of computability and complexity theory. Crucially, we show computability of elements in uncountable spaces can be defined in this new setup, and argue why this is not the case for computable functions. Moreover, we show the stronger setup diminishes the dependence of computability on the chosen order-theoretic structure and that, although a suitable complexity theory can be defined in the stronger framework and the more general one posesses a notion of computable elements, there appears to be no proper notion of element complexity in the latter.


title: Modal analysis of electromagnetic resonators: user guide for the MAN program

abstract: All electromagnetic systems, in particular resonators or antennas, have resonances with finite lifetimes. The associated eigenstates, also called quasinormal modes, are essentially non-Hermitian and determine the optical responses of the system. We introduce MAN (Modal Analysis of Nanoresonators), a software with many open scripts, which computes and normalizes the quasinormal modes of virtually any electromagnetic resonator, be it composed of dispersive, anisotropic, or non-reciprocal materials. MAN reconstructs the scattered field in the basis formed by the quasinormal modes of the resonator and provides a transparent interpretation of the physics. The software is implemented in MATLAB and has been developed over the past ten years. MAN features many toolboxes that illustrate how to use the software for various emblematic computations in low and high frequency regimes. A specific effort has been devoted to interface the solver with the finite-element software COMSOL Multiphysics. However, MAN can also be used with other frequency-domain numerical solvers. This article introduces the program, summarizes the relevant theoretical background. MAN includes a comprehensive set of classical models and toolboxes that can be downloaded from the web.


title: Generating near-infrared facial expression datasets with dimensional affect labels

abstract: Facial expression analysis has long been an active research area of computer vision. Traditional methods mainly analyse images for prototypical discrete emotions; as a result, they do not provide an accurate depiction of the complex emotional states in humans. Furthermore, illumination variance remains a challenge for face analysis in the visible light spectrum. To address these issues, we propose using a dimensional model based on valence and arousal to represent a wider range of emotions, in combination with near infra-red (NIR) imagery, which is more robust to illumination changes. Since there are no existing NIR facial expression datasets with valence-arousal labels available, we present two complementary data augmentation methods (face morphing and CycleGAN approach) to create NIR image datasets with dimensional emotion labels from existing categorical and/or visible-light datasets. Our experiments show that these generated NIR datasets are comparable to existing datasets in terms of data quality and baseline prediction performance.


title: Explaining Any ML Model? -- On Goals and Capabilities of XAI

abstract: An increasing ubiquity of machine learning (ML) motivates research on algorithms to explain ML models and their predictions -- so-called eXplainable Artificial Intelligence (XAI). Despite many survey papers and discussions, the goals and capabilities of XAI algorithms are far from being well understood. We argue that this is because of a problematic reasoning scheme in XAI literature: XAI algorithms are said to complement ML models with desired properties, such as "interpretability", or "explainability". These properties are in turn assumed to contribute to a goal, like "trust" in an ML system. But most properties lack precise definitions and their relationship to such goals is far from obvious. The result is a reasoning scheme that obfuscates research results and leaves an important question unanswered: What can one expect from XAI algorithms? In this article, we clarify the goals and capabilities of XAI algorithms from a concrete perspective: that of their users. Explaining ML models is only necessary if users have questions about them. We show that users can ask diverse questions, but that only one of them can be answered by current XAI algorithms. Answering this core question can be trivial, difficult or even impossible, depending on the ML application. Based on these insights, we outline which capabilities policymakers, researchers and society can reasonably expect from XAI algorithms.


title: Parallel Instance Filtering for Malware Detection

abstract: Machine learning algorithms are widely used in the area of malware detection. With the growth of sample amounts, training of classification algorithms becomes more and more expensive. In addition, training data sets may contain redundant or noisy instances. The problem to be solved is how to select representative instances from large training data sets without reducing the accuracy. This work presents a new parallel instance selection algorithm called Parallel Instance Filtering (PIF). The main idea of the algorithm is to split the data set into non-overlapping subsets of instances covering the whole data set and apply a filtering process for each subset. Each subset consists of instances that have the same nearest enemy. As a result, the PIF algorithm is fast since subsets are processed independently of each other using parallel computation. We compare the PIF algorithm with several state-of-the-art instance selection algorithms on a large data set of 500,000 malicious and benign samples. The feature set was extracted using static analysis, and it includes metadata from the portable executable file format. Our experimental results demonstrate that the proposed instance selection algorithm reduces the size of a training data set significantly with the only slightly decreased accuracy. The PIF algorithm outperforms existing instance selection methods used in the experiments in terms of the ratio between average classification accuracy and storage percentage.


title: Sessile condensate droplets as quasi-static wall deformations in direct numerical simulations of channel flow with condensation

abstract: Condensation is an important aspect of many flow applications due to the universal presence of humidity in the air at ambient conditions. For direct numerical simulations of such flows, simulating the gas phase as a mixture characterized by temperature and humidity coupled by the release and absorption of latent heat has been shown to yield results consistent with multiphase direct numerical simulations at reduced costs. Modeling sessile droplets as quasi-static deformations based on the underlying condensation rates at the surface extends the single-phase approach to include the interaction between droplets and flow while retaining the advantages of simulating the gas phase only. The results of simulations of turbulent flow through a cooled, vertical channel with and without droplets show increased turbulent transport of heat and vapor due to the presence of condensate droplets, both in the immediate vicinity of the droplets and for the channel as a whole. In particular, the breaking of the symmetry of the wall shifts condensation from the surrounding areas onto the droplet surfaces.


title: Feature Learning for Nonlinear Dimensionality Reduction toward Maximal Extraction of Hidden Patterns

abstract: Dimensionality reduction (DR) plays a vital role in the visual analysis of high-dimensional data. One main aim of DR is to reveal hidden patterns that lie on intrinsic low-dimensional manifolds. However, DR often overlooks important patterns when the manifolds are distorted or masked by certain influential data attributes. This paper presents a feature learning framework, FEALM, designed to generate a set of optimized data projections for nonlinear DR in order to capture important patterns in the hidden manifolds. These projections produce maximally different nearest-neighbor graphs so that resultant DR outcomes are significantly different. To achieve such a capability, we design an optimization algorithm as well as introduce a new graph dissimilarity measure, named neighbor-shape dissimilarity. Additionally, we develop interactive visualizations to assist comparison of obtained DR results and interpretation of each DR result. We demonstrate FEALM's effectiveness through experiments and case studies using synthetic and real-world datasets.


title: Dimensionality reduction of Poisson's equation with application to particle-in-cell simulations of Hall thrusters

abstract: In this article, we introduce a novel dimensionality reduction formulation for the Poisson's equation in the Vlasov-Poisson system that yields a reduced-order particle-in-cell scheme. This scheme allows a remarkable reduction in the computational cost of self-consistent kinetic simulations of Hall thrusters. The formulation of the dimensionality reduction approach, together with its verification for a general Poisson's problem, is presented. Moreover, we show the results of several "quasi-2D" axial-azimuthal simulations we performed with the conditions of a well-established 2D3V reference case. Comparison between the results of the quasi-2D simulations and the reference case revealed that our method is able to resolve accurately the axial distributions of the intensive plasma parameters. In addition, the characteristics of the azimuthal instabilities observed from the quasi-2D simulation are shown to be closely in line with those reported in the literature. Accordingly, the reduced-order PIC scheme is verified as a viable, low-computational-cost alternative to the traditional multi-dimensional particle-in-cell simulations of Hall thrusters.


title: Fourier transform of the orthogonal polynomials on the unit ball

abstract: Fourier transform of multivariate orthogonal polynomials on the unit ball are obtained. By using Parseval's identity, a new family of multivariate orthogonal functions are introduced. The results are expressed in terms of the continuous Hahn polynomials.


title: The split Gibbs sampler revisited: improvements to its algorithmic structure and augmented target distribution

abstract: Developing efficient Bayesian computation algorithms for imaging inverse problems is challenging due to the dimensionality involved and because Bayesian imaging models are often not smooth. Current state-of-the-art methods often address these difficulties by replacing the posterior density with a smooth approximation that is amenable to efficient exploration by using Langevin Markov chain Monte Carlo (MCMC) methods. An alternative approach is based on data augmentation and relaxation, where auxiliary variables are introduced in order to construct an approximate augmented posterior distribution that is amenable to efficient exploration by Gibbs sampling. This paper proposes a new accelerated proximal MCMC method called latent space SK-ROCK (ls SK-ROCK), which tightly combines the benefits of the two aforementioned strategies. Additionally, instead of viewing the augmented posterior distribution as an approximation of the original model, we propose to consider it as a generalisation of this model. Following on from this, we empirically show that there is a range of values for the relaxation parameter for which the accuracy of the model improves, and propose a stochastic optimisation algorithm to automatically identify the optimal amount of relaxation for a given problem. In this regime, ls SK-ROCK converges faster than competing approaches from the state of the art, and also achieves better accuracy since the underlying augmented Bayesian model has a higher Bayesian evidence. The proposed methodology is demonstrated with a range of numerical experiments related to image deblurring and inpainting, as well as with comparisons with alternative approaches from the state of the art. An open-source implementation of the proposed MCMC methods is available from https://github.com/luisvargasmieles/ls-MCMC.


title: Increasing countries financial resilience through global catastrophe risk pooling

abstract: Extreme weather events can have severe impacts on national economies, leading the recovery of low- to middle-income countries to become reliant on foreign financial aid. Foreign aid, however, is slow and uncertain. Therefore, the Sendai Framework and the Paris Agreement advocate for more resilient financial instruments like sovereign catastrophe risk pools. Existing pools, however, might not fully exploit financial resilience potentials because they were not designed with the goal of maximizing risk diversification and they pool risk only regionally. To address this, we introduce a method that forms pools maximizing risk diversification and which selects countries with low bilateral correlations or low shares in the pool risk. We apply the method to explore the benefits of global pooling with respect to regional pooling. We find that global pooling increases risk diversification, it lowers countries shares in the pool risk and it increases the number of countries profiting from risk pooling.


title: Subsequences With Gap Constraints: Complexity Bounds for Matching and Analysis Problems

abstract: We consider subsequences with gap constraints, i.e., length-k subsequences p that can be embedded into a string w such that the induced gaps (i.e., the factors of w between the positions to which p is mapped to) satisfy given gap constraints $gc = (C_1, C_2, ..., C_{k-1})$; we call p a gc-subsequence of w. In the case where the gap constraints gc are defined by lower and upper length bounds $C_i = (L^-_i, L^+_i) \in \mathbb{N}^2$ and/or regular languages $C_i \in REG$, we prove tight (conditional on the orthogonal vectors (OV) hypothesis) complexity bounds for checking whether a given p is a gc-subsequence of a string w. We also consider the whole set of all gc-subsequences of a string, and investigate the complexity of the universality, equivalence and containment problems for these sets of gc-subsequences.


title: Statistical Depth for Big Functional Data with Application to Neuroimaging

abstract: Functional depth is the functional data analysis technique that orders a functional data set. Unlike the case of data on the real line, defining this order is non-trivial, and particularly, with functional data, there are a number of properties that any depth should satisfy. We propose a new depth which both satisfies the properties required of a functional depth but also one which can be used in the case where there are a very large number of functional observations or in the case where the observations are functions of several continuous variables (such as images, for example). We give theoretical justification for our choice, and evaluate our proposed depth through simulation. We finally apply the proposed depth to the problem of yielding a completely non-parametric deconvolution of Positron Emission Tomography (PET) data for a very large number of curves across the image, as well as to the problem of finding a representative subject from a set of PET scans.


title: Orthogonal decomposition of multivariate densities in Bayes spaces and its connection with copulas

abstract: Bayes spaces were initially designed to provide a geometric framework for the modeling and analysis of distributional data. It has recently come to light that this methodology can be exploited to provide an orthogonal decomposition of bivariate probability distributions into an independent and an interaction part. In this paper, new insights into these results are provided by reformulating them using Hilbert space theory and a multivariate extension is developed using a distributional analog of the Hoeffding-Sobol identity. A connection between the resulting decomposition of a multivariate density and its copula-based representation is also provided.


title: Computing diffraction anomalies as nonlinear eigenvalue problems

abstract: When a plane electromagnetic wave impinges upon a diffraction grating or other periodic structures, reflected and transmitted waves propagate away from the structure in different radiation channels. A diffraction anomaly occurs when the outgoing waves in one or more radiation channels vanish. Zero reflection, zero transmission and perfect absorption are important examples of diffraction anomalies, and they are useful for manipulating electromagnetic waves and light. Since diffraction anomalies appear only at specific frequencies and/or wavevectors, and may require the tuning of structural or material parameters, they are relatively difficult to find by standard numerical methods. Iterative methods may be used, but good initial guesses are required. To determine all diffraction anomalies in a given frequency interval, it is necessary to repeatedly solve the diffraction problem for many frequencies. In this paper, an efficient numerical method is developed for computing diffraction anomalies. The method relies on nonlinear eigenvalue formulations for scattering anomalies and solves the nonlinear eigenvalue problems by a contour-integral method. Numerical examples involving periodic arrays of cylinders are presented to illustrate the new method.

categories: physics.comp-ph cs.NA math.NA physics.optics


title: The mathematics of burger flipping

abstract: What is the most effective way to grill food? Timing is everything, since only one surface is exposed to heat at a given time. Should we flip only once, or many times? We present a simple model of cooking by flipping, and some interesting observations emerge. The rate of cooking depends on the spectrum of a linear operator, and on the fixed point of a map. If the system has symmetric thermal properties, the rate of cooking becomes independent of the sequence of flips, as long as the last point to be cooked is the midpoint. After numerical optimization, the flipping intervals become roughly equal in duration as their number is increased, though the final interval is significantly longer. We find that the optimal improvement in cooking time, given an arbitrary number of flips, is about 29% over a single flip. This toy problem has some characteristics reminiscent of turbulent thermal convection, such as a uniform average interior temperature with boundary layers.


title: Value Function Decomposition for Iterative Design of Reinforcement Learning Agents

abstract: Designing reinforcement learning (RL) agents is typically a difficult process that requires numerous design iterations. Learning can fail for a multitude of reasons, and standard RL methods provide too few tools to provide insight into the exact cause. In this paper, we show how to integrate value decomposition into a broad class of actor-critic algorithms and use it to assist in the iterative agent-design process. Value decomposition separates a reward function into distinct components and learns value estimates for each. These value estimates provide insight into an agent's learning and decision-making process and enable new training methods to mitigate common problems. As a demonstration, we introduce SAC-D, a variant of soft actor-critic (SAC) adapted for value decomposition. SAC-D maintains similar performance to SAC, while learning a larger set of value predictions. We also introduce decomposition-based tools that exploit this information, including a new reward influence metric, which measures each reward component's effect on agent decision-making. Using these tools, we provide several demonstrations of decomposition's use in identifying and addressing problems in the design of both environments and agents. Value decomposition is broadly applicable and easy to incorporate into existing algorithms and workflows, making it a powerful tool in an RL practitioner's toolbox.


title: Understanding limits to mobility in ultra-high-mobility GaAs two-dimensional electron systems: The quest for 100 million cm$^2$/Vs and beyond

abstract: For several decades now, ultra-high-mobility GaAs two-dimensional electron systems (2DESs) have served as the hallmark platform for various branches of research in condensed matter physics. Fundamental to this long-standing history of success for GaAs 2DESs was continuous sample quality improvement, which enabled scattering-free transport over macroscopic length scales as well as the emergence of a diverse range of exotic many-body phenomena. While the recent breakthrough in the quality of GaAs 2DESs grown by molecular beam epitaxy is highly commendable in this context, it is also important and timely to establish an up-to-date understanding of what obstructs us from pushing the mobility limit even further. Here, we present mobility data taken at a temperature of 0.3 K for a wide variety of state-of-the-art GaAs 2DESs, exhibiting a maximum, world-record mobility of $\mu\simeq57\times10^6$ cm$^2$/Vs at a 2DES density of $n=1.55\times10^{11}$ /cm$^2$. We also provide comprehensive analyses of the collective scattering mechanisms that can explain the results. Furthermore, based on our study, we discuss potential scenarios where GaAs 2DES mobility values exceeding $100\times10^6$ cm$^2$/Vs could be achieved.


title: AS-IntroVAE: Adversarial Similarity Distance Makes Robust IntroVAE

abstract: Recently, introspective models like IntroVAE and S-IntroVAE have excelled in image generation and reconstruction tasks. The principal characteristic of introspective models is the adversarial learning of VAE, where the encoder attempts to distinguish between the real and the fake (i.e., synthesized) images. However, due to the unavailability of an effective metric to evaluate the difference between the real and the fake images, the posterior collapse and the vanishing gradient problem still exist, reducing the fidelity of the synthesized images. In this paper, we propose a new variation of IntroVAE called Adversarial Similarity Distance Introspective Variational Autoencoder (AS-IntroVAE). We theoretically analyze the vanishing gradient problem and construct a new Adversarial Similarity Distance (AS-Distance) using the 2-Wasserstein distance and the kernel trick. With weight annealing on AS-Distance and KL-Divergence, the AS-IntroVAE are able to generate stable and high-quality images. The posterior collapse problem is addressed by making per-batch attempts to transform the image so that it better fits the prior distribution in the latent space. Compared with the per-image approach, this strategy fosters more diverse distributions in the latent space, allowing our model to produce images of great diversity. Comprehensive experiments on benchmark datasets demonstrate the effectiveness of AS-IntroVAE on image generation and reconstruction tasks.


title: A Contribution to the Defense of Liquid Democracy

abstract: Liquid democracy is a hybrid direct-representative decision making process that provides each voter with the option of either voting directly or to delegate their vote to another voter, i.e., to a representative of their choice. One of the proposed advantages of liquid democracy is that, in general, it is assumed that voters will delegate their vote to others that are better informed, which leads to more informed and better decisions. Considering an audience from various knowledge domains, we provide an accessible high-level analysis of a prominent critique of liquid democracy by Caragiannis and Micha. Caragiannis and Micha's critique contains three central topics: 1. Analysis using their $\alpha$-delegation model, which does not assume delegation to the more informed; 2. Novel delegation network structures where it is advantageous to delegate to the less informed rather than the more informed; and 3. Due to NP hardness, the implied impracticability of a social network obtaining an optimal delegation structure. We show that in the real world, Caragiannis and Micha's critique of liquid democracy has little or no relevance. Respectively, our critique is based on: 1. The identification of incorrect $\alpha$-delegation model assumptions; 2. A lack of novel delegation structures and their effect in a real-world implementation of liquid democracy, which would be guaranteed with constraints that sensibly distribute voting power; and 3. The irrelevance of an optimal delegation structure if the correct result is guaranteed regardless. We conclude that Caragiannis and Micha's critique has no significant negative relevance to the proposition of liquid democracy.


title: Fast Simulation of Particulate Suspensions Enabled by Graph Neural Network

abstract: Predicting the dynamic behaviors of particles in suspension subject to hydrodynamic interaction (HI) and external drive can be critical for many applications. By harvesting advanced deep learning techniques, the present work introduces a new framework, hydrodynamic interaction graph neural network (HIGNN), for inferring and predicting the particles' dynamics in Stokes suspensions. It overcomes the limitations of traditional approaches in computational efficiency, accuracy, and/or transferability. In particular, by uniting the data structure represented by a graph and the neural networks with learnable parameters, the HIGNN constructs surrogate modeling for the mobility tensor of particles which is the key to predicting the dynamics of particles subject to HI and external forces. To account for the many-body nature of HI, we generalize the state-of-the-art GNN by introducing higher-order connectivity into the graph and the corresponding convolutional operation. For training the HIGNN, we only need the data for a small number of particles in the domain of interest, and hence the training cost can be maintained low. Once constructed, the HIGNN permits fast predictions of the particles' velocities and is transferable to suspensions of different numbers/concentrations of particles in the same domain and to any external forcing. It has the ability to accurately capture both the long-range HI and short-range lubrication effects. We demonstrate the accuracy, efficiency, and transferability of the proposed HIGNN framework in a variety of systems. The requirement on computing resource is minimum: most simulations only require a desktop with one GPU; the simulations for a large suspension of 100,000 particles call for up to 6 GPUs.


title: Irradiation-induced strain localization and strain burst suppression investigated by microcompression and concurrent acoustic emission experiments

abstract: Plastic deformation of microsamples is characterised by large intermittent strain bursts caused by dislocation avalanches. Here we investigate how ion irradiation affects this phenomenon during single slip single crystal plasticity. To this end, in situ compression of Zn micropillars oriented for basal slip was carried out in a SEM. The unique experimental setup also allowed the concurrent recording of the acoustic emission (AE) signals emitted from the sample during deformation. It was shown that irradiation introduced a homogeneous distribution of basal dislocation loops that lead to hardening of the sample as well as strain softening due to dislocation channeling at larger strains. With the used deformation protocol strain burst sizes were found to be decreased due to channeling. The concurrently recorded AE events were correlated with the strain bursts and their analysis provided additional information of the details of collective dislocation dynamics. It was found that the rate of AE events decreased significantly upon irradiation, however, other statistical properties did not change. This was attributed to the appearance of a new type of plastic events dominated by short-range dislocation-obstacle interactions that cannot be detected by AE sensors.


title: Stochastic compartmental models of COVID-19 pandemic must have temporally correlated uncertainties

abstract: Compartmental models are an important quantitative tool in epidemiology, enabling us to forecast the course of a communicable disease. However, the model parameters, such as the infectivity rate of the disease, are riddled with uncertainties, which has motivated the development and use of stochastic compartmental models. Here, we first show that a common stochastic model, which treats the uncertainties as white noise, is fundamentally flawed since it erroneously implies that greater parameter uncertainties will lead to the eradication of the disease. Then, we present a principled modeling of the uncertainties based on reasonable assumptions on the contacts of each individual. Using the central limit theorem and Doob's theorem on Gaussian Markov processes, we prove that the correlated Ornstein-Uhlenbeck process is the appropriate tool for modeling uncertainties in the infectivity rate. We demonstrate our results using a compartmental model of the COVID-19 pandemic and the available US data from the Johns Hopkins University COVID-19 database. In particular, we show that the white noise stochastic model systematically underestimates the severity of the Omicron variant of COVID-19, whereas the Ornstein-Uhlenbeck model correctly forecasts the course of this variant. Moreover, using an SIS model of sexually transmitted disease, we derive an exact closed-form solution for the asymptotic distribution of infected individuals. This analytic result shows that the white noise model underestimates the severity of the pandemic because of unrealistic noise-induced transitions. Our results strongly support the need for temporal correlations in modeling of uncertainties in compartmental models of infectious disease.


title: A Catalog of Molecular Clumps and Cores with Infall Signatures

abstract: The research of infall motion is a common means to study molecular cloud dynamics and the early process of star formation. Many works had been done in-depth research on infall. We searched the literature related to infall study of molecular cloud since 1994, summarized the infall sources identified by the authors. A total of 456 infall sources are catalogued. We classify them into high-mass and low-mass sources, in which the high-mass sources are divided into three evolutionary stages: prestellar, protostellar and HII region. We divide the sources into clumps and cores according to their sizes. The H$_2$ column density values range from 1.21$\times$ 10$^{21}$ to 9.75 $\times$ 10$^{24}$ cm$^{-2}$, with a median value of 4.17$\times$ 10$^{22}$ cm$^{-2}$. The H$_2$ column densities of high-mass and low-mass sources are significantly separated. The median value of infall velocity for high-mass clumps is 1.12 km s$^{-1}$, and the infall velocities of low-mass cores are virtually all less than 0.5 km s$^{-1}$. There is no obvious difference between different stages of evolution. The mass infall rates of low-mass cores are between 10$^{-7}$ and 10$^{-4}$ M$_{\odot} \text{yr}^{-1}$, and those of high-mass clumps are between 10$^{-4}$ and 10$^{-1}$ M$_{\odot} \text{yr}^{-1}$ with only one exception. We do not find that the mass infall rates vary with evolutionary stages.


title: QTI Submission to DCASE 2021: residual normalization for device-imbalanced acoustic scene classification with efficient design

abstract: This technical report describes the details of our TASK1A submission of the DCASE2021 challenge. The goal of the task is to design an audio scene classification system for device-imbalanced datasets under the constraints of model complexity. This report introduces four methods to achieve the goal. First, we propose Residual Normalization, a novel feature normalization method that uses instance normalization with a shortcut path to discard unnecessary device-specific information without losing useful information for classification. Second, we design an efficient architecture, BC-ResNet-Mod, a modified version of the baseline architecture with a limited receptive field. Third, we exploit spectrogram-to-spectrogram translation from one to multiple devices to augment training data. Finally, we utilize three model compression schemes: pruning, quantization, and knowledge distillation to reduce model complexity. The proposed system achieves an average test accuracy of 76.3% in TAU Urban Acoustic Scenes 2020 Mobile, development dataset with 315k parameters, and average test accuracy of 75.3% after compression to 61.0KB of non-zero parameters. We extend this work to [1].


title: Epidemic Control Modeling using Parsimonious Models and Markov Decision Processes

abstract: Many countries have experienced at least two waves of the COVID-19 pandemic. The second wave is far more dangerous as distinct strains appear more harmful to human health, but it stems from the complacency about the first wave. This paper introduces a parsimonious yet representative stochastic epidemic model that simulates the uncertain spread of the disease regardless of the latency and recovery time distributions. We also propose a Markov decision process to seek an optimal trade-off between the usage of the healthcare system and the economic costs of an epidemic. We apply the model to COVID-19 data from New Delhi, India and simulate the epidemic spread with different policy review times. The results show that the optimal policy acts swiftly to curb the epidemic in the first wave, thus avoiding the collapse of the healthcare system and the future costs of posterior outbreaks. An analysis of the recent collapse of the healthcare system of India during the second COVID-19 wave suggests that many lives could have been preserved if swift mitigation was promoted after the first wave.


title: The role of Pryce's spin and coordinate operators in the theory of massive Dirac fermions

abstract: It is shown that the components of Pryce's spin operator of Dirac's theory are $SU(2)$ generators of a representation carried by the space of Pauli's spinors determining the polarization of the plane wave solutions of Dirac's equation. These operators are conserved via Noether theorem such that new conserved polarization operators can be defined for various polarizations. The corresponding one-particle operators of quantum theory are derived showing how these are related to the isometry generators of the massive Dirac fermions of any polarization, including momentum-dependent ones. In this manner, the problem of separating conserved spin and orbital angular momentum operators is solved naturally. Moreover, the operator proposed by Pryce as mass-center coordinate is studied showing that after quantization this becomes in fact the dipole one-particle operator. As an example, the quantities determining the principal one-particle operators are derived for the first time in momentum-helicity basis.


title: On simple evolution algebras of dimension two and three. Constructing simple and semisimple evolution algebras

abstract: This work classifies three-dimensional simple evolution algebras over arbitrary fields. For this purpose, we use tools such as the associated directed graph, the moduli set, inductive limit group, Zariski topology and the dimension of the diagonal subspace. Explicitly, in the three-dimensional case, we construct some models $_i\mathbf{III}_{\lambda_1,\ldots,\lambda_n}^{p,q}$ of such algebras with $1\le i\le 4$, $\lambda_i\in\mathbb{K}^\times$, $p,q\in\mathbb{N}$, such that any algebra is isomorphic to one (and only one) of the given in the models and we further investigate the isomorphic question within each one. Moreover, we show how to construct simple evolution algebras of higher-order from known simple evolution algebras of smaller size.


title: Invariant cones for jump-diffusions in infinite dimensions

abstract: In this paper we provide sufficient conditions for stochastic invariance of closed convex cones for stochastic partial differential equations (SPDEs) of jump-diffusion type, and clarify when these conditions are necessary. Our results apply to the positive cone of abstract $L^2$-spaces. Furthermore, we present a series of applications, where we investigate SPDEs arising in natural sciences and economics.


title: Dependency Parsing with Backtracking using Deep Reinforcement Learning

abstract: Greedy algorithms for NLP such as transition based parsing are prone to error propagation. One way to overcome this problem is to allow the algorithm to backtrack and explore an alternative solution in cases where new evidence contradicts the solution explored so far. In order to implement such a behavior, we use reinforcement learning and let the algorithm backtrack in cases where such an action gets a better reward than continuing to explore the current solution. We test this idea on both POS tagging and dependency parsing and show that backtracking is an effective means to fight against error propagation.


title: Bi-Static Sensing for Near-Field RIS Localization

abstract: We address the localization of a reconfigurable intelligent surface (RIS) for a single-input single-output multi-carrier system using bi-static sensing between a fixed transmitter and a fixed receiver. Due to the deployment of RISs with a large dimension, near-field (NF) scenarios are likely to occur, especially for indoor applications, and are the focus of this work. We first derive the Cramer-Rao bounds (CRBs) on the estimation error of the RIS position and orientation and the time of arrival (TOA) for the path transmitter-RIS-receiver. We propose a multi-stage low-complexity estimator for RIS localization purposes. In this proposed estimator, we first perform a line search to estimate the TOA. Then, we use the far-field approximation of the NF signal model to implicitly estimate the angle of arrival and the angle of departure at the RIS center. Finally, the RIS position and orientation estimate are refined via a quasi-Newton method. Simulation results reveal that the proposed estimator can attain the CRBs. We also investigate the effects of several influential factors on the accuracy of the proposed estimator like the RIS size, transmitted power, system bandwidth, and RIS position and orientation.


title: Grid Tariffs for Peak Demand Reduction: Is there a Price Signal Conflict with Electricity Spot Prices?

abstract: The electricity grid is expected to require vast investments due to the decarbonization-by-electrification trend, calling for a change in grid tariff design which provides proper incentives for reducing peak loads. However, price signals from grid tariffs could be distorted from electricity spot prices which also represents a significant of the total consumer electricity bill. This paper attempts to identify whether there is a price signal conflict between grid tariffs and spot prices. Four different grid tariff designs are compared, using a generic demand response model as part of a cost-minimizing linear program to simulate the reduction in peak load. The method is applied to metered electricity demand from 3608 consumers in Oslo, Norway. Results show that new grid tariff designs reduce peak loads by 1-4%, and that reduction in peak load is smaller when consumers are subject to electricity spot prices.


title: Coherent feedback in optomechanical systems in the sideband-unresolved regime

abstract: Preparing macroscopic mechanical resonators close to their motional quantum groundstate and generating entanglement with light offers great opportunities in studying fundamental physics and in developing a new generation of quantum applications. Here we propose an experimentally interesting scheme, which is particularly well suited for systems in the sideband-unresolved regime, based on coherent feedback with linear, passive optical components to achieve groundstate cooling and photon-phonon entanglement generation with optomechanical devices. We find that, by introducing an additional passive element - either a narrow linewidth cavity or a mirror with a delay line - an optomechanical system in the deeply sideband-unresolved regime will exhibit dynamics similar to one that is sideband-resolved. With this new approach, the experimental realization of groundstate cooling and optomechanical entanglement is well within reach of current integrated state-of-the-art high-Q mechanical resonators.


title: Extending Shinohara's Algorithm for Computing Descriptive (Angluin-Style) Patterns to Subsequence Patterns

abstract: The introduction of pattern languages in the seminal work [Angluin, ``Finding Patterns Common to a Set of Strings'', JCSS 1980] has revived the classical model of inductive inference (learning in the limit, gold-style learning). In [Shinohara, ``Polynomial Time Inference of Pattern Languages and Its Application'', 7th IBM Symposium on Mathematical Foundations of Computer Science 1982] a simple and elegant algorithm has been introduced that, based on membership queries, computes a pattern that is descriptive for a given sample of input strings (and, consequently, can be employed in strategies for inductive inference). In this paper, we give a brief survey of the recent work [Kleest-Mei{\ss}ner et al., ``Discovering Event Queries from Traces: Laying Foundations for Subsequence-Queries with Wildcards and Gap-Size Constraints'', ICDT 2022], where the classical concepts of Angluin-style (descriptive) patterns and the respective Shinohara's algorithm are extended to a query class with applications in complex event recognition -- a modern topic from databases.


title: Signed tropical halfspaces and convexity

abstract: We extend the fundamentals for tropical convexity beyond the tropically positive orthant expanding the theory developed by Loho and V\'egh (ITCS 2020). We study two notions of convexity for signed tropical numbers called 'TO-convexity' (formerly 'signed tropical convexity') and the novel notion 'TC-convexity'. We derive several separation results for TO-convexity and TC-convexity. A key ingredient is a thorough understanding of TC-hemispaces - those TC-convex sets whose complement is also TC-convex. Furthermore, we use new insights in the interplay between convexity over Puiseux series and its signed valuation. Remarkably, TC-convexity can be seen as a natural convexity notion for representing oriented matroids as it arises from a generalization of the composition operation of vectors in an oriented matroid. We make this explicit by giving representations of linear spaces over the real tropical hyperfield in terms of TC-convexity.


title: A quantitative extension of Interval Temporal Logic over infinite words

abstract: Model checking for Halpern and Shoham's interval temporal logic HS has been recently investigated in a systematic way, and it is known to be decidable under three distinct semantics (state-based, trace-based and tree-based semantics). Here, we focus on the trace-based semantics, where the main semantic entities are the infinite execution paths (traces) of the given Kripke structure, assuming in addition homogeneity in the propositional valuation. We introduce a quantitative extension of HS over traces, called Difference HS (DHS) allowing one to express timing constraints on the difference among interval lengths (durations). The quantitative extension of some modalities leads immediately to undecidability, so, we investigate the decidability border for the model checking and satisfiability problems by considering strict syntactical fragments of DHS. In particular, we identify the maximal decidable fragment DHSS of DHS proving in addition that the considered problems for the fragment are at least 2EXPSPACE-hard. Moreover, by exploiting new results on linear-time hybrid logics, we show that for an equally expressive fragment of DHSS, the problems are EXPSPACE-complete. Finally, we provide a characterization of HS over traces by means of the one-variable fragment of a novel hybrid logic.


title: Impact of magnetic field on giant dipole resonance of $^{40}$Ca using the EQMD model

abstract: By taking into account the magnetic field in the extended quantum molecular dynamics model (EQMD), we analyzed its effects on giant dipole resonance (GDR) by studying the responses and strengths of the dipole moments. The selected system is the $^{40}$Ca nucleus which is excited through the Coulomb interaction by $^{16}$O. Particle acceleration term in Li\'enard-Wiechert potential is discussed which, however, has small impact on magnetic field. The peak energy, strength and width of GDR, temperature, and angular momentum of $^{40}$Ca as a function of beam energy are investigated. It is found that the magnetic field enhances the peak energy, strength and width of GDR which is not only due to the temperature effects but also due to the enhancement of the angular momentum of nucleus. At beam energy {E} $>$ 200 MeV/nucleon, magnetic field maintains a constant value for the strength of GDR. The work sheds light on examining important roles of the magnetic field on nuclear structure in low-intermediate energy heavy-ion collisions.


title: $\ell$-Log-momotonic and Laguerre Inequality of P-recursive Sequences

abstract: We consider $\ell$-log-momotonic sequences and Laguerre inequality of order two for sequences $\{a_n\}_{n \ge 0}$ such that \[ \frac{a_{n-1}a_{n+1}}{a_n^2} = 1 + \sum_{i=1}^m \frac{r_i(\log n)}{n^{\alpha_i}} + o\left( \frac{1}{n^{\beta}} \right), \] where $m$ is a nonnegative integer, $\alpha_i$ are real numbers, $r_i(x)$ are rational functions of $x$ and \[ 0 < \alpha_1 < \alpha_2 < \cdots < \alpha_m < \beta. \] We will give a sufficient condition on $\ell$-log-momotonic sequences and Laguerre inequality of order two for $n$ sufficiently large. Many P-recursive sequences fall in this frame. At last, we will give a method to find the $N$ such that for any $n\geq N$, log-momotonic inequality of order three and Laguerre inequality of order two holds.


title: SLOVA: Uncertainty Estimation Using Single Label One-Vs-All Classifier

abstract: Deep neural networks present impressive performance, yet they cannot reliably estimate their predictive confidence, limiting their applicability in high-risk domains. We show that applying a multi-label one-vs-all loss reveals classification ambiguity and reduces model overconfidence. The introduced SLOVA (Single Label One-Vs-All) model redefines typical one-vs-all predictive probabilities to a single label situation, where only one class is the correct answer. The proposed classifier is confident only if a single class has a high probability and other probabilities are negligible. Unlike the typical softmax function, SLOVA naturally detects out-of-distribution samples if the probabilities of all other classes are small. The model is additionally fine-tuned with exponential calibration, which allows us to precisely align the confidence score with model accuracy. We verify our approach on three tasks. First, we demonstrate that SLOVA is competitive with the state-of-the-art on in-distribution calibration. Second, the performance of SLOVA is robust under dataset shifts. Finally, our approach performs extremely well in the detection of out-of-distribution samples. Consequently, SLOVA is a tool that can be used in various applications where uncertainty modeling is required.


title: Physical Layer Abstraction Model for RadioWeaves

abstract: RadioWeaves, in which distributed antennas with integrated radio and compute resources serve a large number of users, is envisioned to provide high data rates in next generation wireless systems. In this paper, we develop a physical layer abstraction model to evaluate the performance of different RadioWeaves deployment scenarios. This model helps speed up system-level simulators of the RadioWeaves and is made up of two blocks. The first block generates a vector of signal-to-interference-plus-noise ratios (SINRs) corresponding to each coherence block, and the second block predicts the packet error rate corresponding to the SINRs generated. The vector of SINRs generated depends on different parameters such as the number of users, user locations, antenna configurations, and precoders. We have also considered different antenna gain patterns, such as omni-directional and directional microstrip patch antennas. Our model exploits the benefits of exponential effective SINR mapping (EESM). We study the robustness and accuracy of the EESM for RadioWeaves.


title: The influence of Penrose's singularity theorem in General Relativity

abstract: Penrose's crucial contributions to General Relativity, symbolized by his 1965 singularity theorem, received (half of) the 2020 Nobel prize in Physics. A renewed interest in the ideas and implications behind that theorem, its later developments, and other Penrose's ideas improving our understanding of the gravitational field thereby emerged. In this paper I highlight some of the advancements motivated by the theorem that were developed over the years. I also identify some common misconceptions about the theorem's implications. A modern perspective on the concept of closed trapped submanifolds, based on the mean curvature vector, is advocated.


title: Anomalous Floquet-Anderson Insulator with Quasiperiodic Temporal Noise

abstract: Time-periodic (Floquet) drive can give rise to novel symmetry breaking and topological phases of matter. Recently, we showed that a quintessential Floquet topological phase known as the anomalous Floquet-Anderson insulator is stable to noise on the timing of its Floquet drive. Here, we perturb the anomalous Floquet-Anderson insulator at a single incommensurate frequency, resulting in a quasiperiodic 2-tone drive. Our numerics indicate that a robust topological phase survives at weak noise with topological pumping that is more stable than the case of white noise. Within the topological phase, we show that particles move subdiffusively, which is directly responsible for stabilizing topological transport. Surprisingly, we discover that when quasiperiodic noise is sufficiently strong to kill topology, the system appears to exhibit diffusive dynamics, suggesting that the correlated structure of the quasiperiodic noise becomes irrelevant.

categories: cond-mat.mes-hall cond-mat.dis-nn cond-mat.quant-gas quant-ph


title: On the Axiomatisation of Branching Bisimulation Congruence over CCS

abstract: In this paper we investigate the equational theory of (the restriction, relabelling, and recursion free fragment of) CCS modulo rooted branching bisimilarity, which is a classic, bisimulation-based notion of equivalence that abstracts from internal computational steps in process behaviour. Firstly, we show that CCS is not finitely based modulo the considered congruence. As a key step of independent interest in the proof of that negative result, we prove that each CCS process has a unique parallel decomposition into indecomposable processes modulo branching bisimilarity. As a second main contribution, we show that, when the set of actions is finite, rooted branching bisimilarity has a finite equational basis over CCS enriched with the left merge and communication merge operators from ACP.


title: Statistical Depth based Normalization and Outlier Detection of Gene Expression Data

abstract: Normalization and outlier detection belong to the preprocessing of gene expression data. We propose a natural normalization procedure based on statistical data depth which normalizes to the distribution of gene expressions of the most representative gene expression of the group. This differ from the standard method of quantile normalization, based on the coordinate-wise median array that lacks of the well-known properties of the one-dimensional median. The statistical data depth maintains those good properties. Gene expression data are known for containing outliers. Although detecting outlier genes in a given gene expression dataset has been broadly studied, these methodologies do not apply for detecting outlier samples, given the difficulties posed by the high dimensionality but low sample size structure of the data. The standard procedures used for detecting outlier samples are visual and based on dimension reduction techniques; instances are multidimensional scaling and spectral map plots. For detecting outlier genes in a given gene expression dataset, we propose an analytical procedure and based on the Tukey's concept of outlier and the notion of statistical depth, as previous methodologies lead to unassertive and wrongful outliers. We reveal the outliers of four datasets; as a necessary step for further research.


title: Optimal mass and speed for interstellar flyby with directed-energy propulsion

abstract: The design of mission scenarios for the flyby investigation of nearby star systems by probes launched using directed energy is addressed. Multiple probes are launched with a fixed launch infrastructure, and download of scientific data occurs following target encounter and data collection. Assuming the primary goal is to reliably recover a larger volume of collected scientific data with a smaller data latency (elapsed time from launch to complete recovery of the data), it is shown that there is an efficient frontier where volume cannot be increased for a given latency and latency cannot be reduced for a given volume. For each probe launch, increasing the volume along this frontier is achieved by increasing the probe mass, which results in a reduced probe speed. Thus choosing the highest feasible probe speed generally does not achieve an efficient tradeoff of volume and latency. Along this frontier the total distance traveled to the completion of data download does not vary significantly, implying that the download time duration is approximately a fixed fraction of the launch-to-target transit time. Due to longer propulsion duration when probe mass is increased, increasing data volume incurs a cost in the total launch energy expended, but with favorable economies of scale. An important characteristic of any probe technology is the scaling law that relates probe mass to transmit data rate, as this affects details of the efficient frontier.


title: The 1908 Tunguska Event And The 2013 Chelyabinsk Meteoritic Event: Comparison Of Reported Seismic Phenomena

abstract: Till now there is no solid scientific proof for any of the numerous hypotheses proposed for the Tunguska 1908 event. Regarding the most popular "spacebody infall" interpretation it is reasonable to compare the Tunguska event with the 2013 Chelyabinsk meteoritic event which energy deposition was about a half megaton TNT. In this paper seismic manifestations are compared. The comparison demonstrates that while a "seismic image" of the 2013 Chelyabinsk meteoritic event is an agreement with the "spacebody infall" theory, the 1908 Tunguska event one strongly differs. There are evidences of a swarm of earthquakes on June 30, 1908 in the region of the Tunguska event manifestation.


title: Unlimited lists of fundamental units of quadratic fields -- Applications to some arithmetic properties

abstract: We use the polynomials $m_s(t) = t^2 - 4 s$, $s \in \{-1, 1\}$, in an elementary process giving arbitrary large lists of {\it fundamental units} of quadratic fields of discriminants listed in ascending order. More precisely, let $\mathbf{B} \gg 0$; then as $t$ grows from $1$ to $\mathbf{B}$, for each {\it first occurrence} of a square-free integer $M \geq 2$, in the factorization $m_s(t) =: M r^2$, the unit $\frac{1}{2} \big(t + r \sqrt{M}\big)$ is the fundamental unit of norm $s$ of $\mathbb{Q}(\sqrt M)$, even if $r >1$ (Theorem 4.1). Using $m_{s\nu}(t) = t^2 - 4 s \nu$, $\nu \geq 2$, the algorithm gives arbitrary large lists of {\it fundamental solutions} to $u^2 - M v^2= 4s\nu$ (Theorem 4.11). We deduce, for $p>2$ prime, arbitrary large lists of {\it non $p$-rational} quadratic fields (Theorems 6.3, 6.4, 6.5) and of degree $p-1$ imaginary fields with non-trivial $p$-class group (Theorems 7.1,7.2). PARI programs are given to be copied and pasted.


title: Discrete Morse Sandwich: Fast Computation of Persistence Diagrams for Scalar Data -- An Algorithm and A Benchmark

abstract: This paper introduces an efficient algorithm for persistence diagram computation, given an input piecewise linear scalar field $f$ defined on a $d$-dimensional simplicial complex $K$, with $d \leq 3$. Our work revisits the seminal algorithm "PairSimplices" [31], [103] with discrete Morse theory (DMT) [34], [80], which greatly reduces the number of input simplices to consider. Further, we also extend to DMT and accelerate the stratification strategy described in "PairSimplices" for the fast computation of the $0^{th}$ and $(d - 1)^{th}$ diagrams, noted $D_0(f)$ and $D_{d-1}(f)$. Minima-saddle persistence pairs ($D_0(f)$) and saddle-maximum persistence pairs ($D_{d-1}(f)$) are efficiently computed by processing, with a Union-Find, the unstable sets of $1$-saddles and the stable sets of $(d - 1)$-saddles. This fast pre-computation for the dimensions $0$ and $(d - 1)$ enables an aggressive specialization of [4] to the 3D case, which results in a drastic reduction of the number of input simplices for the computation of $D_1(f)$, the intermediate layer of the sandwich. Finally, we document several performance improvements via shared-memory parallelism. We provide an open-source implementation of our algorithm for reproducibility purposes. We also contribute a reproducible benchmark package, which exploits three-dimensional data from a public repository and compares our algorithm to a variety of publicly available implementations. Extensive experiments indicate that our algorithm improves by two orders of magnitude the time performance of the seminal "PairSimplices" algorithm it extends. Moreover, it also improves memory footprint and time performance over a selection of 14 competing approaches, with a substantial gain over the fastest available approaches, while producing a strictly identical output.


title: Accurate and fast identification of minimally prepared bacteria phenotypes using Raman spectroscopy assisted by machine learning

abstract: The worldwide increase of antimicrobial resistance (AMR) is a serious threat to human health. To avert the spread of AMR, fast reliable diagnostics tools that facilitate optimal antibiotic stewardship are an unmet need. In this regard, Raman spectroscopy promises rapid label- and culture-free identification and antimicrobial susceptibility testing (AST) in a single step. However, even though many Raman-based bacteria-identification and AST studies have demonstrated impressive results, some shortcomings must be addressed. To bridge the gap between proof-of-concept studies and clinical application, we have developed machine learning techniques in combination with a novel data-augmentation algorithm, for fast identification of minimally prepared bacteria phenotypes and the distinctions of methicillin-resistant (MR) from methicillin-susceptible (MS) bacteria. For this we have implemented a spectral transformer model for hyper-spectral Raman images of bacteria. We show that our model outperforms the standard convolutional neural network models on a multitude of classification problems, both in terms of accuracy and in terms of training time. We attain more than 96$\%$ classification accuracy on a dataset consisting of 15 different classes and 95.6$\%$ classification accuracy for six MR-MS bacteria species. More importantly, our results are obtained using only fast and easy-to-produce training and test data


title: Artificial Intelligence based Video Codec (AIVC) for CLIC 2022

abstract: This paper presents the AIVC submission to the CLIC 2022 video track. AIVC is a fully-learned video codec based on conditional autoencoders. The flexibility of the AIVC models is leveraged to implement rate allocation and frame structure competition to select the optimal coding configuration per-sequence. This competition yields compelling compression performance, offering a rate reduction of -26 % compared with the absence of competition.


title: XXL-HSC: The link between AGN activity and star formation in the Early Universe ($z\geqslant3.5$)

abstract: In this work, we aimed at investigating the star formation rate of active galactic nuclei host galaxies in the early Universe. To this end, we constructed a sample of 149 luminous ($\rm L_{2-10keV} > 10^{44}\,erg\,s^{-1}$) X-ray AGNs at $\rm z \geq3.5$ selected in three fields with different depths and observed areas (Chandra COSMOS Legacy survey, XMM-XXL North and eFEDS). We built their spectral energy distributions (SED) using available multi-wavelength photometry from X-rays up to far-IR. Then, we estimated the stellar mass, M$_{*}$, and the SFR of the AGNs using the X-CIGALE SED fitting algorithm. After applying several quality criteria, we ended up with 89 high-z sources. More than half (55\%) of the X-ray sample have spectroscopic redshifts. Based on our analysis, our high-z X-ray AGNs live in galaxies with median $\rm M_{*}=5.6 \times10^{10}~M_\odot$ and $\rm SFR_{*}\approx240\,M_\odot yr^{-1}$. The majority of the high-z sources ($\sim89$\%) were found inside or above the main sequence (MS) of star-forming galaxies. Estimation of the normalised SFR, $\rm SFR_{NORM}$, defined as the ratio of the SFR of AGNs to the SFR of MS galaxies, showed that the SFR of AGNs is enhanched by a factor of $\sim 1.8$ compared to non-AGN star-forming systems. Combining our results with previous studies at lower redshifts, we confirmed that $\rm SFR_{NORM}$ does not evolve with redshift. Using the specific BHAR (i.e., $\rm L_X$ divided by $\rm M_{*}$), $\rm \lambda _{BHAR}$, that can be used as a tracer of the Eddington ratio, we found that the bulk of AGNs that lie inside or above the MS have higher specific accretion rates compared to sources below the MS. Finally, we found indications that the SFR of the most massive AGN host galaxies ($\rm log\,(M_{*}/ M_\odot) >10^{11.5-12}$) remains roughly constant as a function of M$_*$, in agreement with the SFR of MS star-forming galaxies.


title: Haul Road Mapping from GPS Traces

abstract: Automation in mining requires accurate maps of road networks on site. Because roads on open-cut mines are dynamic in nature and continuously changing, manually updating road maps is tedious and error-prone. This paper investigates the possibility of automatically deriving an accurate representation of the road network using GPS data available from haul trucks operating on site. We present an overview of approaches proposed in literature and test the performance of publicly available methods on GPS data collected from trucks operating on site. Based on shortcomings seen in all tested algorithms, a post-processing step is developed which geometrically analyses the created road map for artefacts typical of free-drive areas on mine sites and significantly improves the quality of the final road network graph.


title: A Deep Learning Approach to Nonconvex Energy Minimization for Martensitic Phase Transitions

abstract: We propose a mesh-free method to solve nonconvex energy minimization problems for martensitic phase transitions and twinning in crystals, using the deep learning approach. These problems pose multiple challenges to both analysis and computation, as they involve multiwell gradient energies with large numbers of local minima, each involving a topologically complex microstructure of free boundaries with gradient jumps. We use the Deep Ritz method, whereby candidates for minimizers are represented by parameter-dependent deep neural networks, and the energy is minimized with respect to network parameters. The new essential ingredient is a novel activation function proposed here, which is a smoothened rectified linear unit we call SmReLU; this captures the structure of minimizers where usual activation functions fail. The method is mesh-free and thus can approximate free boundaries essential to this problem without any special treatment, and is extremely simple to implement. We show the results of many numerical computations demonstrating the success of our method.


title: Quantum speed of evolution of neutral mesons

abstract: We investigate the quantum-mechanical time-evolution speed limit for neutral $K$ and $B$ mesons, both single as well as correlated, within the framework of open quantum systems. The role of coherence--mixing, a crucial feature of the open system evolution of the underlying quantum systems (here, the mesons), on the quantum-mechanical time-evolution speed limit is studied. The impact of decoherence and CP (charge conjugation parity) symmetry violation on quantum-mechanical time-evolution speed limit is also investigated. The quantum-mechanical time-evolution speed limit increases with the evolution time for the single mesons, a signature of the underlying open system dynamics of the evolution being semi-group in nature. The evolution of the correlated mesons slows down for an evolution time of approximately one-fourth of the lifetime, after which it is sped up. An overall pattern that emerges is that correlated mesons evolve faster as compared to their uncorrelated counterparts, suggesting that quantum correlations can speed up evolution.


title: Functional Optimization Reinforcement Learning for Real-Time Bidding

abstract: Real-time bidding is the new paradigm of programmatic advertising. An advertiser wants to make the intelligent choice of utilizing a \textbf{Demand-Side Platform} to improve the performance of their ad campaigns. Existing approaches are struggling to provide a satisfactory solution for bidding optimization due to stochastic bidding behavior. In this paper, we proposed a multi-agent reinforcement learning architecture for RTB with functional optimization. We designed four agents bidding environment: three Lagrange-multiplier based functional optimization agents and one baseline agent (without any attribute of functional optimization) First, numerous attributes have been assigned to each agent, including biased or unbiased win probability, Lagrange multiplier, and click-through rate. In order to evaluate the proposed RTB strategy's performance, we demonstrate the results on ten sequential simulated auction campaigns. The results show that agents with functional actions and rewards had the most significant average winning rate and winning surplus, given biased and unbiased winning information respectively. The experimental evaluations show that our approach significantly improve the campaign's efficacy and profitability.


title: Generalized uncertainty principle and burning stars

abstract: Gamow's theory of the implications of quantum tunneling on the star burning has two cornerstones including quantum mechanics and equipartition theorem. It has vastly been proposed that both of these foundations are affected by the existence of a non-zero minimum for length which usually appears in quantum gravity scenarios and leads to the Generalized Uncertainty principle (GUP). Mathematically, in the framework of quantum mechanics, the effects of GUP are considered as perturbation terms. Here, generalizing the de Broglie wavelength relation in the presence of minimal length, GUP correction to the Gamow's temperature is calculated and in parallel, an upper bound for the GUP parameter is estimated.


title: A pilot study on canonical gravity with mass dimension one fermions

abstract: The mass dimension one (MDO) fermionic field is built on a complete set of dual-helicity eigenspinors of the charge conjugation operator, which obeys the statistic of Fermi-Dirac. These spinors are a potential candidate for the description of dark matter. The redefinition of the dual structure of this object holds a local adjacent theory and satisfies complete Lorentz invariance. In this work, we investigate important aspects of the interaction of this fermion with gravity in the light of a canonical formulation in ADM formalism. We construct an action via tetrad fields using a manifold on a family of space-like surfaces $\Sigma_t$ that carries the MDO matter field, and additionally we propose a condition for the action to have a term associated with dark energy. We found the Hamiltonian and diffeomorphism constraints at the classical level for gravitational dynamics with the immersion of this material content in space-time, which leads us to the interpretation of the contribution of dark matter energy density, parallel to the lapse function of foliation and its directional flux of energy density in the hypersurface of manifold.


title: A Theoretical Computer Science Perspective on Free Will

abstract: We consider the paradoxical concept of free will from the perspective of Theoretical Computer Science (TCS), a branch of mathematics concerned with understanding the underlying principles of computation and complexity, including the implications and surprising consequences of resource limitations.


title: Charged Dark Energy Stars in a Finch-Skea Spacetime

abstract: In this paper we obtained some spherically stellar configurations that represent new models of dark energy stars specifying particular forms for gravitational potential and the electric field intensity which allows solve the Einstein-Maxwell field equations. We have chosen the metric potential proposed by Finch and Skea (1989). We found that the radial pressure, the anisotropy factor, energy density, metric coefficients, mass function, charge density are regular and well behaved in the stellar interior but the causality conditions and of strong energy are not satisfied. These models have great application in physics and cosmology due to the fact that several independent observations indicate that the universe is in a phase of accelerated expansion which can be explained by the presence of dark energy that has not been detected


title: On the stability of covariant BSSN formulation

abstract: In this study, we investigate the numerical stability of the covariant BSSN (cBSSN) formulation proposed by Brown. We calculate the constraint amplification factor (CAF), which is an eigenvalue of the coefficient matrix of the evolution equations of the constraints on the cBSSN formulation and on some adjusted formulations with constraints added to the evolution equations. The adjusted formulations have a higher numerical stability than the cBSSN formulation from the viewpoint of the CAF.


title: Testing a Bell Inequality with a Remote Quantum Processor

abstract: IBM Quantum offers free remote access to real quantum processors. One of the many experiments now accessible to all students is a test of Bell inequalities. This experiment introduces the rigorous mysteries that physicists have grappled with for a century. Using IBM Quantum to test Bell inequalities is not new. However, we are unaware of any single reference, appropriate for introductory students, that contains (1) the derivation of a Bell inequality, (2) the derivation of the corresponding quantum prediction, and (3) instructions for carrying out the experiment with IBM Quantum.


title: Covariant Evolution of Gravitoelectromagnetism

abstract: The long-range gravitational terms associated with tidal forces, frame-dragging effects, and gravitational waves are described by the Weyl conformal tensor, the traceless part of the Riemann curvature that is not locally affected by the matter field. The Ricci and Bianchi identities provide a set of dynamical and kinematic equations governing the matter coupling and evolution of the electric and magnetic parts of the Weyl tensor, so-called gravitoelectric and gravitomagnetic fields. A detailed analysis of the Weyl gravitoelectromagnetic fields can be conducted using a number of algebraic and differential identities prescribed by the 1+3 covariant formalism. In this review, we consider the dynamical constraints and propagation equations of the gravitoelectric/-magnetic fields and covariantly debate their analytic properties. We discuss the special conditions under which gravitational waves can propagate, the inconsistency of a Newtonian-like model without gravitomagnetism, the nonlinear generalization to multi-fluid models with different matter species, as well as observational effects caused by the Weyl fields via the kinematic quantities. The 1+3 tetrad and 1+1+2 semi-covariant methods, which can equally be used for gravitoelectromagnetism, are briefly explained, along with their correspondence with the covariant formulations.


title: Long Range Language Modeling via Gated State Spaces

abstract: State space models have shown to be effective at modeling long range dependencies, specially on sequence classification tasks. In this work we focus on autoregressive sequence modeling over English books, Github source code and ArXiv mathematics articles. Based on recent developments around the effectiveness of gated activation functions, we propose a new layer named Gated State Space (GSS) and show that it trains significantly faster than the diagonal version of S4 (i.e. DSS) on TPUs, is fairly competitive with several well-tuned Transformer-based baselines and exhibits zero-shot generalization to longer inputs while being straightforward to implement. Finally, we show that leveraging self-attention to model local dependencies improves the performance of GSS even further.