title: Survey on Applications of Neurosymbolic Artificial Intelligence

abstract: In recent years, the Neurosymbolic framework has attracted a lot of attention in various applications, from recommender systems and information retrieval to healthcare and finance. This success is due to its stellar performance combined with attractive properties, such as learning and reasoning. The new emerging Neurosymbolic field is currently experiencing a renaissance, as novel frameworks and algorithms motivated by various practical applications are being introduced, building on top of the classical neural and reasoning problem setting. This article aims to provide a comprehensive review of significant recent developments in real-world applications of Neurosymbolic Artificial Intelligence. Specifically, we introduce a taxonomy of common Neurosymbolic applications and summarize the state-of-the-art for each of those domains. Furthermore, we identify important current trends and provide new perspectives pertaining to the future of this burgeoning field.


title: Predicting Customer Lifetime Value in Free-to-Play Games

abstract: As game companies increasingly embrace a service-oriented business model, the need for predictive models of players becomes more pressing. Multiple activities, such as user acquisition, live game operations or game design need to be supported with information about the choices made by the players and the choices they could make in the future. This is especially true in the context of free-to-play games, where the absence of a pay wall and the erratic nature of the players' playing and spending behavior make predictions about the revenue and allocation of budget and resources extremely challenging. In this chapter we will present an overview of customer lifetime value modeling across different fields, we will introduce the challenges specific to free-to-play games across different platforms and genres and we will discuss the state-of-the-art solutions with practical examples and references to existing implementations.


title: Separating G_2-invariants of several octonions

abstract: We describe separating G_2-invariants of several copies of the algebra of octonions over an algebraically closed field of characteristic two. We also obtain a minimal separating and a minimal generating set for G_2-invariants of several copies of the algebra of octonions in case of a field of odd characteristic.


title: Improving Image Clustering through Sample Ranking and Its Application to remote--sensing images

abstract: Image clustering is a very useful technique that is widely applied to various areas, including remote sensing. Recently, visual representations by self-supervised learning have greatly improved the performance of image clustering. To further improve the well-trained clustering models, this paper proposes a novel method by first ranking samples within each cluster based on the confidence in their belonging to the current cluster and then using the ranking to formulate a weighted cross-entropy loss to train the model. For ranking the samples, we developed a method for computing the likelihood of samples belonging to the current clusters based on whether they are situated in densely populated neighborhoods, while for training the model, we give a strategy for weighting the ranked samples. We present extensive experimental results that demonstrate that the new technique can be used to improve the State-of-the-Art image clustering models, achieving accuracy performance gains ranging from $2.1\%$ to $15.9\%$. Performing our method on a variety of datasets from remote sensing, we show that our method can be effectively applied to remote--sensing images.


title: Parrondo's paradox for discrete-time quantum walks in momentum space

abstract: We investigate the possibility of implementing a sequence of quantum walks whose probability distributions give an overall positive winning probability, while it is negative for the single walks (Parrondo's paradox). In particular, we have in mind an experimental realisation with a Bose-Einstein condensate in which the walker's space is momentum space. Experimental problems in the precise implementation of the coin operations for our discrete-time quantum walks are analysed in detail. We study time-dependent phase fluctuations of the coins as well as perturbations arising from the finite momentum width of the condensate. We confirm the visibility of Parrondo's paradox for experimentally available time scales of up to a few hundred steps of the walk.


title: Cognitive Architecture for Co-Evolutionary Hybrid Intelligence

abstract: This paper questions the feasibility of a strong (general) data-centric artificial intelligence (AI). The disadvantages of this type of intelligence are discussed. As an alternative, the concept of co-evolutionary hybrid intelligence is proposed. It is based on the cognitive interoperability of man and machine. An analysis of existing approaches to the construction of cognitive architectures is given. An architecture seamlessly incorporates a human into the loop of intelligent problem solving is considered. The article is organized as follows. The first part contains a critique of data-centric intelligent systems. The reasons why it is impossible to create a strong artificial intelligence based on this type of intelligence are indicated. The second part briefly presents the concept of co-evolutionary hybrid intelligence and shows its advantages. The third part gives an overview and analysis of existing cognitive architectures. It is concluded that many do not consider humans part of the intelligent data processing process. The next part discusses the cognitive architecture for co-evolutionary hybrid intelligence, providing integration with humans. It finishes with general conclusions about the feasibility of developing intelligent systems with humans in the problem-solving loop.


title: An Artificial Intelligence Outlook for Colorectal Cancer Screening

abstract: Colorectal cancer is the third most common tumor in men and the second in women, accounting for 10% of all tumors worldwide. It ranks second in cancer-related deaths with 9.4%, following lung cancer. The decrease in mortality rate documented over the last 20 years has shown signs of slowing down since 2017, necessitating concentrated actions on specific measures that have exhibited considerable potential. As such, the technical foundation and research evidence for blood-derived protein markers have been set, pending comparative validation, clinical implementation and integration into an artificial intelligence enabled decision support framework that also considers knowledge on risk factors. The current paper aspires to constitute the driving force for creating change in colorectal cancer screening by reviewing existing medical practices through accessible and non-invasive risk estimation, employing a straightforward artificial intelligence outlook.


title: Effect of Brief Meditation Intervention on Attention: An ERP Investigation

abstract: Fast and efficient strategies for modulation of attention have been extensively studied recently. The present study has attempted to observe the effect of brief meditation practices on executive control of the attention system. The study recruits cognitive control by introducing conflict using Stroop task in twenty-six novice participants. Behavioral responses indicate a positive effect on response time and accuracy at Stroop task after ten minutes of meditation intervention. Neurophysiological findings suggest more efficient allocation of attentional resources. An increase in positive ERP components (P200, P300) and expected decrease in the inhibitory or negative component (N200) after intervention shows positive results. The findings suggest a positive impact of meditation intervention on attention even for brief periods in non-meditating population.


title: Rise and fall of silicate dust in RS Ophiuchi following the 2006 eruption

abstract: We present an analysis of archival Spitzer InfraRed Spectrograph (IRS) observations of the recurrent nova RS Ophiuchi obtained on several occasions, beginning about 7 months after the outburst in 2006. These data show atomic emission lines, absorption bands due to photospheric SiO, and the well known silicate dust features at $9.7\,\mu$m and $18\,\mu$m. The dust emission, arising in the wind of the secondary star, is fitted by Dusty models for mass-loss rates in the range $1.0-1.7\times10^{-7}$M$_{\odot}$yr$^{-1}$. The silicate features are similar in profile to those seen in circumstellar environments of isolated late-type stars and some dusty symbiotic binaries, although the longer wavelength feature peaks at $17\,\mu$m,, instead of the usual $18\,\mu$m, indicating peculiar grain properties. The dust features are variable, appearing stronger in 2006-2007 during outburst than in 2008-2009 when the system was in the quiescent state. This variability is attributed to changes in the ultraviolet output and the reformation of the accretion disk, although a decline in the mass-loss rate of the red giant secondary star could also play a role. Further observations, in the aftermath of the 2021 eruption, could provide a definitive conclusion.


title: Surpassing super-radiant scattering limit in a flat split-ring resonator

abstract: Electromagnetic scattering bounds on subwavelength structures play an important role in estimating performances of antennas, RFID tags, and other wireless communication devices. An appealing approach to increase a scattering cross-section is accommodating several spectrally overlapping resonances within a structure. However, numerous fundamental and practical restrictions have been found and led to the formulation of Chu-Harrington, Geyi, and other limits, which provide an upper bound to scattering efficiencies. Here we introduce a 2D array of near-field coupled split-ring resonators and optimize its scattering performances with the aid of a genetic algorithm, operating in 19th-dimensional space. Experimental realization of the device is demonstrated to surpass the theoretical single-channel limit by a factor of >2, motivating the development of tighter bounds of scattering performances. A super-radiant criterion is suggested to compare maximal scattering cross-sections versus the single-channel dipolar limit multiplied by the number of elements within the array. This new empirical criterion, which aims on addressing performances of subwavelength arrays formed by near-field coupled elements, was found to be rather accurate in application to the superscatterer, reported here. Furthermore, the super-radiant bound was empirically verified with a Monte-Carlo simulation, collecting statistics on scattering cross sections of a large set of randomly distributed dipoles. The demonstrated flat superscatterer can find use as a passive electromagnetic beacon, making miniature airborne and terrestrial targets to be radar visible.


title: First Betti number and collapse

abstract: We show that when a sequence of Riemannian manifolds collapses under a lower Ricci curvature bound, the first Betti number cannot drop more than the dimension.


title: Power System Anomaly Detection and Classification Utilizing WLS-EKF State Estimation and Machine Learning

abstract: Power system state estimation is being faced with different types of anomalies. These might include bad data caused by gross measurement errors or communication system failures. Sudden changes in load or generation can be considered as anomaly depending on the implemented state estimation method. Additionally, considering power grid as a cyber physical system, state estimation becomes vulnerable to false data injection attacks. The existing methods for anomaly classification cannot accurately classify (discriminate between) the above mentioned three types of anomalies, especially when it comes to discrimination between sudden load changes and false data injection attacks. This paper presents a new algorithm for detecting anomaly presence, classifying the anomaly type and identifying the origin of the anomaly, i.e., measurements that contain gross errors in case of bad data, or buses associated with loads experiencing a sudden change, or state variables targeted by false data injection attack. The algorithm combines analytical and machine learning (ML) approaches. The first stage exploits an analytical approach to detect anomaly presence by combining $\chi^2$-test and anomaly detection index. The second stage utilizes ML for classification of anomaly type and identification of its origin, with particular reference to discrimination between sudden load changes and false data injection attacks. The proposed ML based method is trained to be independent of the network configuration which eliminates retraining of the algorithm after network topology changes. The results obtained by implementing the proposed algorithm on IEEE 14 bus test system demonstrate the accuracy and effectiveness of the proposed algorithm.


title: Lattice regularizations of $\theta$ vacua: Anomalies and qubit models

abstract: Anomalies are a powerful way to gain insight into possible lattice regularizations of a quantum field theory. In this work, we argue that the continuum anomaly for a given symmetry can be matched by a manifestly-symmetric, local, lattice regularization in the same spacetime dimensionality only if (i) the symmetry action is offsite, or (ii) if the continuum anomaly is reproduced exactly on the lattice. We consider lattice regularizations of a class of prototype models of QCD: the (1+1)-dimensional asymptotically-free Grassmannian nonlinear sigma models (NLSMs) with a $\theta$ term. Using the Grassmannian NLSMs as a case study, we provide examples of lattice regularizations in which both possibilities are realized. For possibility (i), we argue that Grassmannian NLSMs can be obtained from $\mathrm{SU}(N)$ antiferromagnets with a well-defined continuum limit, reproducing both the infrared physics of $\theta$ vacua and the ultraviolet physics of asymptotic freedom. These results enable the application of new classical algorithms to lattice Monte Carlo studies of these quantum field theories, and provide a viable realization suited for their quantum simulation. On the other hand, we show that, perhaps surprisingly, the conventional lattice regularization of $\theta$ vacua due to Berg and L\"uscher reproduces the anomaly exactly on the lattice, providing a realization of the second possibility.

categories: hep-lat cond-mat.str-el hep-th nucl-th quant-ph


title: Traversing a graph in general position

abstract: Let $G$ be a graph. Assume that to each vertex of a set of vertices $S\subseteq V(G)$ a robot is assigned. At each stage one robot can move to a neighbouring vertex. Then $S$ is a mobile general position set of $G$ if there exists a sequence of moves of the robots such that all the vertices of $G$ are visited whilst maintaining the general position property at all times. The mobile general position number of $G$ is the cardinality of a largest mobile general position set of $G$. In this paper, bounds on the mobile general position number are given and exact values determined for certain common classes of graphs including block graphs, rooted products, unicyclic graphs, Cartesian products, joins of graphs, Kneser graphs $K(n,2)$, and line graphs of complete graphs.


title: Revisiting Jacobi-Trudi identities via the BGG category $\mathcal{O}$

abstract: Using the BGG resolution, Akin presented a realization of the Jacobi-Trudi expansion of a Schur polynomial as the Euler-Poincar\'e characteristic of an exact sequence in the category of polynomial representations of the general linear groups. Zelevinskii gave an independent treatment for a general skew Schur polynomial. Based on their construction of resolutions, one can obtain the Schur positivity of certain truncations of the Jacobi-Trudi expansion of a skew Schur polynomial. By interpreting Kostka numbers as tensor product multiplicities in the BGG category $\mathcal{O}$ of the special linear Lie algebras, we establish a new relationship between the Schur positivity of these truncations of Jacobi-Trudi expansion and the BGG resolution. Specifically, we show that coefficients in the combination of the Schur polynomial of these truncations of Jacobi-Trudi expansion also appear as tensor product multiplicities in the BGG category $\mathcal{O}$. This point of view also enables us to derive the Jacobi-Trudi identity directly from the celebrated Weyl character formula.


title: Calibration of off-the-shelf low-cost wearable EEG headset for application in field studies

abstract: Electroencephalography (EEG) is an integral tool in neurocognitive research worldwide. However, research grade EEG (32/64ch) systems are expensive and have cumbersome setup designed for clinical usage not suited for rugged environment of field-studies outside lab. Further, the long setup-time of EEG can be intimidating to those who are restless subjects e.g., children or elderly. Off-the-shelf, low-cost, dry EEG devices (LCDE) have been proposed as promising options. However, small number of electrodes in LCDE limit the detection scalp-area reducing the utility of an LCDE only to a specific set of cognitive tasks based on the brain lobe scanned. This paper proposes a novel methodology for calibration of an LCDE (e.g., DREEM Headband) to identify the specific class of cognitive tasks a LCDE is likely suited for. The methodology involves comparative analysis of the recorded data using LCDE with EEG-like signals simulated (using BESA Simulator software) by embedding dipole in a brain lobe. The simulated scalp activity and corresponding source analysis helps identify the approximate regions of brain scanned by the LCDE device. On further comparative analysis of brain lobes source localized using Brain Electrical Source Analysis (BESA software) helps characterize LCDE for cognitive tasks. The major findings conclude a list of psychological studies which can be performed using various LCDE, capable of replacing traditional and expensive wet EEG systems in both inside and outside-lab settings.


title: Nondegeneracy and integral count of frozen planet orbits in helium

abstract: We study a family of action functionals whose critical points interpolate between frozen planet orbits for the helium atom with mean interaction between the electrons and the free fall. The rather surprising first result of this paper asserts that for the whole family, critical points are always nondegenerate. This implies that the frozen planet orbit with mean interaction is nondegenerate and gives a new proof of its uniqueness. As an application, we show that the integral count of frozen planet orbits with instantaneous interaction equals one. For this, we prove orientability of the determinant line bundle over the space of selfadjoint Fredholm operators with spectrum bounded from below, and use it to define an integer valued Euler characteristic for Fredholm sections whose linearization belongs to this class.


title: ImmunoLingo: Linguistics-based formalization of the antibody language

abstract: Apparent parallels between natural language and biological sequence have led to a recent surge in the application of deep language models (LMs) to the analysis of antibody and other biological sequences. However, a lack of a rigorous linguistic formalization of biological sequence languages, which would define basic components, such as lexicon (i.e., the discrete units of the language) and grammar (i.e., the rules that link sequence well-formedness, structure, and meaning) has led to largely domain-unspecific applications of LMs, which do not take into account the underlying structure of the biological sequences studied. A linguistic formalization, on the other hand, establishes linguistically-informed and thus domain-adapted components for LM applications. It would facilitate a better understanding of how differences and similarities between natural language and biological sequences influence the quality of LMs, which is crucial for the design of interpretable models with extractable sequence-functions relationship rules, such as the ones underlying the antibody specificity prediction problem. Deciphering the rules of antibody specificity is crucial to accelerating rational and in silico biotherapeutic drug design. Here, we formalize the properties of the antibody language and thereby establish not only a foundation for the application of linguistic tools in adaptive immune receptor analysis but also for the systematic immunolinguistic studies of immune receptor specificity in general.


title: Does limited liability reduce leveraged risk?: The case of loan portfolio management

abstract: Return-risk models are the two pillars of modern portfolio theory, which are widely used to make decisions in choosing the loan portfolio of a bank. Banks and other financial institutions are subjected to limited liability protection. However, in most of the model formulation, limited liability is not taken into consideration. Accordingly, to address this, we have, in this article, analyzed the effect of including it in the model formulation. We formulate four models, two of them are maximizing the expected return with risk constraint, including and excluding limited-liability, and other two are minimization of risk with threshold level of return with and without limited-liability. Our theoretical results show that the solutions of the models with limited-liability produce better results than the others, in both minimizing risk and maximizing expected return. It has less risky investment than the other portfolio that solves the other model. Finally, an illustrative example is presented to support the theoretical results obtained.


title: Anytime Valid Tests of Conditional Independence Under Model-X

abstract: We propose a sequential, anytime-valid method to test the conditional independence of a response $Y$ and a predictor $X$ given a random vector $Z$. The proposed test is based on e-statistics and test martingales, which generalize likelihood ratios and allow valid inference at arbitrary stopping times. In accordance with the recently introduced model-X setting, our test depends on the availability of the conditional distribution of $X$ given $Z$, or at least a sufficiently sharp approximation thereof. Within this setting, we derive a general method for constructing e-statistics for testing conditional independence, show that it leads to growth-rate optimal e-statistics for simple alternatives, and prove that our method yields tests with asymptotic power one in the special case of a logistic regression model. A simulation study is done to demonstrate that the approach is competitive in terms of power when compared to established sequential and nonsequential testing methods, and robust with respect to violations of the model-X assumption.


title: Bounded Simplex-Structured Matrix Factorization: Algorithms, Identifiability and Applications

abstract: In this paper, we propose a new low-rank matrix factorization model dubbed bounded simplex-structured matrix factorization (BSSMF). Given an input matrix $X$ and a factorization rank $r$, BSSMF looks for a matrix $W$ with $r$ columns and a matrix $H$ with $r$ rows such that $X \approx WH$ where the entries in each column of $W$ are bounded, that is, they belong to given intervals, and the columns of $H$ belong to the probability simplex, that is, $H$ is column stochastic. BSSMF generalizes nonnegative matrix factorization (NMF), and simplex-structured matrix factorization (SSMF). BSSMF is particularly well suited when the entries of the input matrix $X$ belong to a given interval; for example when the rows of $X$ represent images, or $X$ is a rating matrix such as in the Netflix and MovieLens datasets where the entries of $X$ belong to the interval $[1,5]$. The simplex-structured matrix $H$ not only leads to an easily understandable decomposition providing a soft clustering of the columns of $X$, but implies that the entries of each column of $WH$ belong to the same intervals as the columns of $W$. In this paper, we first propose a fast algorithm for BSSMF, even in the presence of missing data in $X$. Then we provide identifiability conditions for BSSMF, that is, we provide conditions under which BSSMF admits a unique decomposition, up to trivial ambiguities. Finally, we illustrate the effectiveness of BSSMF on two applications: extraction of features in a set of images, and the matrix completion problem for recommender systems.

categories: cs.LG cs.IR cs.NA eess.SP math.NA stat.ML


title: Equilibrium pricing of securities in the co-presence of cooperative and non-cooperative populations

abstract: In this work, we develop an equilibrium model for price formation of securities in a market composed of two populations of different types: the first one consists of cooperative agents, while the other one consists of non-cooperative agents. The trading of every cooperative member is assumed to be coordinated by a central planner. In the large population limit, the problem for the central planner is shown to be a conditional extended mean-field control. In addition to the convexity assumptions, if the relative size of the cooperative population is small enough, then we are able to show the existence of a unique equilibrium for both the finite-agent and the mean-field models. The strong convergence to the mean-field model is also proved under the same conditions.


title: Molecular dynamics simulations with grand-canonical reweighting suggest cooperativity effects in RNA structure probing experiments

abstract: Chemical probing experiments such as SHAPE are routinely used to probe RNA molecules. In this work, we use atomistic molecular dynamics simulations to test the hypothesis that binding of RNA with SHAPE reagents is affected by cooperative effects leading to an observed reactivity that is dependent on the reagent concentration. We develop a general technique that enables the calculation of the affinity for arbitrary molecules as a function of their concentration in the grand-canonical ensemble. Our simulations of an RNA structural motif suggest that, at the concentration typically used in SHAPE experiments, cooperative binding would lead to a measurable concentration-dependent reactivity. We also provide a qualitative validation of this statement by analyzing a new set of experiments collected at different reagent concentrations.

categories: q-bio.BM physics.app-ph physics.bio-ph physics.chem-ph q-bio.QM


title: Super spontaneous four-wave mixing in an array of silicon microresonators

abstract: Composite optical systems can show compelling collective dynamics. For instance, the cooperative decay of quantum emitters into a common radiation mode can lead to superradiance, where the emission rate of the ensemble is larger than the sum of the rates of the individual emitters. Here, we report experimental evidence of super spontaneous four-wave mixing (super SFWM), an analogous effect for the generation of photon pairs in a parametric nonlinear process on an integrated photonic device. We study this phenomenon in an array of microring resonators on a silicon photonic chip coupled to bus waveguides. We measured a cooperative pair generation rate that always exceeds the incoherent sum of the rates of the individual resonators. We investigate the physical mechanisms underlying this collective behaviour, clarify the impact of loss, and address the aspects of fundamental and technological relevance of our results.


title: Design of Automatic Driving Safety Level and Positioning Accuracy

abstract: Autonomous driving is a hot research topic in the frontier of science and technology. Technology companies and traditional car companies are developing and designing autonomous driving technology from two different directions. Based on the automatic driving classification standard and ISO safety level, combined with the number of traffic accidents and death data in China, and referring to the risk allocation method of the automated driving virtual drive system in the United States, the risk allocation of China's virtual drive system will be carried out. In addition, combined with the vehicle "positioning box" model, the theoretical calculation of the alarm limit of positioning accuracy in China will be carried out and the positioning accuracy requirements of related vehicles will be designed.


title: PiFold: Toward effective and efficient protein inverse folding

abstract: How can we design protein sequences folding into the desired structures effectively and efficiently? AI methods for structure-based protein design have attracted increasing attention in recent years; however, few methods can simultaneously improve the accuracy and efficiency due to the lack of expressive features and autoregressive sequence decoder. To address these issues, we propose PiFold, which contains a novel residue featurizer and PiGNN layers to generate protein sequences in a one-shot way with improved recovery. Experiments show that PiFold could achieve 51.66\% recovery on CATH 4.2, while the inference speed is 70 times faster than the autoregressive competitors. In addition, PiFold achieves 58.72\% and 60.42\% recovery scores on TS50 and TS500, respectively. We conduct comprehensive ablation studies to reveal the role of different types of protein features and model designs, inspiring further simplification and improvement. The PyTorch code is available at \href{https://github.com/A4Bio/PiFold}{GitHub}.


title: FORESEE: Prediction with Expansion-Compression Unscented Transform for Online Policy Optimization

abstract: Propagating state distributions through a generic, uncertain nonlinear dynamical model is known to be intractable and usually begets numerical or analytical approximations. We introduce a method for state prediction, called the Expansion-Compression Unscented Transform, and use it to solve a class of online policy optimization problems. Our proposed algorithm propagates a finite number of sigma points through a state-dependent distribution, which dictates an increase in the number of sigma points at each time step to represent the resulting distribution; this is what we call the expansion operation. To keep the algorithm scalable, we augment the expansion operation with a compression operation based on moment matching, thereby keeping the number of sigma points constant across predictions over multiple time steps. Its performance is empirically shown to be comparable to Monte Carlo but at a much lower computational cost. Under state and control input constraints, the state prediction is subsequently used in tandem with a proposed variant of constrained gradient-descent for online update of policy parameters in a receding horizon fashion. The framework is implemented as a differentiable computational graph for policy training. We showcase our framework for a quadrotor stabilization task as part of a benchmark comparison in safe-control-gym and for optimizing the parameters of a Control Barrier Function based controller in a leader-follower problem.


title: On the Chow Ring of Fano Fourfolds of K3 type

abstract: We show that a wide range of Fano varieties of K3 type, recently constructed by Bernardara, Fatighenti, Manivel and Tanturri, have a multiplicative Chow-K\"unneth decomposition, in the sense of Shen-Vial. It follows that the Chow ring of these Fano varieties behaves like that of K3 surfaces. As a side result, we obtain some criteria for the Franchetta property of blown-up projective varieties.


title: Symmetry Constraints on Direct-Current Josephson Diodes

abstract: It is necessary to break both time-reversal and parity symmetries to realize a Josephson, or superconducting, diode exhibiting nonreciprocal critical direct-currents (DC). In fact, these conditions are still insufficient. The dependencies of the free energy on the phase difference across the junction and the magnetic field are classified, exhibiting the current-reversion (JR), field-reversion, and field-current reversion conditions, respectively. To exhibit the DC Josephson diode effect, all symmetries satisfying the JR condition need to be broken. The relations of critical currents with respect to the magnetic field are classified into five classes, including three exhibiting the diode effect. These symmetry considerations are applied to concrete examples. Our work reveals that the DC Josephson diode effect is a natural consequence of the JR symmetry breaking, hence, providing a guiding principle to understand or design a DC Josephson diode.


title: PL-kNN: A Parameterless Nearest Neighbors Classifier

abstract: Demands for minimum parameter setup in machine learning models are desirable to avoid time-consuming optimization processes. The $k$-Nearest Neighbors is one of the most effective and straightforward models employed in numerous problems. Despite its well-known performance, it requires the value of $k$ for specific data distribution, thus demanding expensive computational efforts. This paper proposes a $k$-Nearest Neighbors classifier that bypasses the need to define the value of $k$. The model computes the $k$ value adaptively considering the data distribution of the training set. We compared the proposed model against the standard $k$-Nearest Neighbors classifier and two parameterless versions from the literature. Experiments over 11 public datasets confirm the robustness of the proposed approach, for the obtained results were similar or even better than its counterpart versions.


title: Feedback Motion Prediction for Safe Unicycle Robot Navigation

abstract: As a simple and robust mobile robot base, differential drive robots that can be modelled as a kinematic unicycle find significant applications in logistics and service robotics in both industrial and domestic settings. Safe robot navigation around obstacles is an essential skill for such unicycle robots to perform diverse useful tasks in complex cluttered environments, especially around people and other robots. Fast and accurate safety assessment plays a key role in reactive and safe robot motion design. In this paper, as a more accurate and still simple alternative to the standard circular Lyapunov level sets, we introduce novel conic feedback motion prediction methods for bounding the close-loop motion trajectory of the kinematic unicycle robot model under a standard unicycle motion control approach. We present an application of unicycle feedback motion prediction for safe robot navigation around obstacles using reference governors, where the safety of a unicycle robot is continuously monitored based on the predicted future robot motion. We investigate the role of motion prediction on robot behaviour in numerical simulations and conclude that fast and accurate feedback motion prediction is key for fast, reactive, and safe robot navigation around obstacles.


title: Design report of the KISS-II facility for exploring the origin of uranium

abstract: One of the critical longstanding issues in nuclear physics is the origin of the heavy elements such as platinum and uranium. The r-process hypothesis is generally supported as the process through which heavy elements are formed via explosive rapid neutron capture. Many of the nuclei involved in heavy-element synthesis are unidentified, short-lived, neutron-rich nuclei, and experimental data on their masses, half-lives, excited states, decay modes, and reaction rates with neutron etc., are incredibly scarce. The ultimate goal is to understand the origin of uranium. The nuclei along the pathway to uranium in the r-process are in "Terra Incognita". In principle, as many of these nuclides have more neutrons than 238U, this region is inaccessible via the in-flight fragmentation reactions and in-flight fission reactions used at the present major facilities worldwide. Therefore, the multi-nucleon transfer (MNT) reaction, which has been studied at the KEK Isotope Separation System (KISS), is attracting attention. However, in contrast to in-flight fission and fragmentation, the nuclei produced by the MNT reaction have characteristic kinematics with broad angular distribution and relatively low energies which makes them non-amenable to in-flight separation techniques. KISS-II would be the first facility to effectively connect production, separation, and analysis of nuclides along the r-process path leading to uranium. This will be accomplished by the use of a large solenoid to collect MNT products while rejecting the intense primary beam, a large helium gas catcher to thermalize the MNT products, and an MRTOF mass spectrograph to perform mass analysis and isobaric purification of subsequent spectroscopic studies. The facility will finally allow us to explore the neutron-rich nuclides in this Terra Incognita.


title: Bangla-Wave: Improving Bangla Automatic Speech Recognition Utilizing N-gram Language Models

abstract: Although over 300M around the world speak Bangla, scant work has been done in improving Bangla voice-to-text transcription due to Bangla being a low-resource language. However, with the introduction of the Bengali Common Voice 9.0 speech dataset, Automatic Speech Recognition (ASR) models can now be significantly improved. With 399hrs of speech recordings, Bengali Common Voice is the largest and most diversified open-source Bengali speech corpus in the world. In this paper, we outperform the SOTA pretrained Bengali ASR models by finetuning a pretrained wav2vec2 model on the common voice dataset. We also demonstrate how to significantly improve the performance of an ASR model by adding an n-gram language model as a post-processor. Finally, we do some experiments and hyperparameter tuning to generate a robust Bangla ASR model that is better than the existing ASR models.


title: Learning Variational Models with Unrolling and Bilevel Optimization

abstract: In this paper we consider the problem of learning variational models in the context of supervised learning via risk minimization. Our goal is to provide a deeper understanding of the two approaches of learning of variational models via bilevel optimization and via algorithm unrolling. The former considers the variational model as a lower level optimization problem below the risk minimization problem, while the latter replaces the lower level optimization problem by an algorithm that solves said problem approximately. Both approaches are used in practice, but unrolling is much simpler from a computational point of view. To analyze and compare the two approaches, we consider a simple toy model, and compute all risks and the respective estimators explicitly. We show that unrolling can be better than the bilevel optimization approach, but also that the performance of unrolling can depend significantly on further parameters, sometimes in unexpected ways: While the stepsize of the unrolled algorithm matters a lot (and learning the stepsize gives a significant improvement), the number of unrolled iterations plays a minor role.


title: AI-powered Language Assessment Tools for Dementia

abstract: The main objective of this paper is to propose an approach for developing an Artificial Intelligence (AI)-powered Language Assessment (LA) tool. Such tools can be used to assess language impairments associated with dementia in older adults. The Machine Learning (ML) classifiers are the main parts of our proposed approach, therefore to develop an accurate tool with high sensitivity and specificity, we consider different binary classifiers and evaluate their performances. We also assess the reliability and validity of our approach by comparing the impact of different types of language tasks, features, and recording media on the performance of ML classifiers.


title: Making Trotterization adaptive and energy-self-correcting for NISQ devices and beyond

abstract: Simulation of continuous time evolution requires time discretization on both classical and quantum computers. A finer time step improves simulation precision, but it inevitably leads to increased computational efforts. This is particularly costly for today's noisy intermediate scale quantum computers, where notable gate imperfections limit the circuit depth that can be executed at a given accuracy. Classical adaptive solvers are well-developed to save numerical computation times. However, it remains an outstanding challenge to make optimal usage of the available quantum resources by means of adaptive time steps. Here, we introduce a quantum algorithm to solve this problem, providing a controlled solution of the quantum many-body dynamics of local observables. The key conceptual element of our algorithm is a feedback loop which self-corrects the simulation errors by adapting time steps, thereby significantly outperforming conventional Trotter schemes on a fundamental level and reducing the circuit depth. It even allows for a controlled asymptotic long-time error, where usual Trotterized dynamics is facing difficulties. Another key advantage of our quantum algorithm is that any desired conservation law can be included in the self-correcting feedback loop, which has potentially a wide range of applicability. We demonstrate the capabilities by enforcing gauge invariance which is crucial for a faithful and long-sought quantum simulation of lattice gauge theories. Our algorithm can be potentially useful on a more general level whenever time discretization is involved concerning, for instance, also numerical approaches based on time-evolving block decimation methods.


title: Do moving clocks slow down?

abstract: The special theory of relativity has fundamentally changed our views of space and time. The relativity of simultaneity in particular, and the theory of relativity as a whole, still presents significant difficulty for beginners in the theory. The difficulty stems from the fact that the usual presentation of special relativity is based on Newtonian concepts, which are relativized and change their meaning in the course of the presentation. A better pedagogical practice, in our opinion, would be to base the presentation from the very beginning on the four-dimensional formulation of Minkowski and thus remove from the theory all the paradoxical connotations that invariably accompany the usual presentation of special relativity.


title: Deontic Meta-Rules

abstract: The use of meta-rules in logic, i.e., rules whose content includes other rules, has recently gained attention in the setting of non-monotonic reasoning: a first logical formalisation and efficient algorithms to compute the (meta)-extensions of such theories were proposed in Olivieri et al (2021) This work extends such a logical framework by considering the deontic aspect. The resulting logic will not just be able to model policies but also tackle well-known aspects that occur in numerous legal systems. The use of Defeasible Logic (DL) to model meta-rules in the application area we just alluded to has been investigated. Within this line of research, the study mentioned above was not focusing on the general computational properties of meta-rules. This study fills this gap with two major contributions. First, we introduce and formalise two variants of Defeasible Deontic Logic with Meta-Rules to represent (1) defeasible meta-theories with deontic modalities, and (2) two different types of conflicts among rules: Simple Conflict Defeasible Deontic Logic, and Cautious Conflict Defeasible Deontic Logic. Second, we advance efficient algorithms to compute the extensions for both variants.


title: Enhanced Gravitational Entanglement via Modulated Optomechanics

abstract: The role of entanglement in determining the non-classicality of a given interaction has gained significant traction over the last few years. In particular, as the basis for new experimental proposals to test the quantum nature of the gravitational field. Here we show that the rate of gravity mediated entanglement between two otherwise isolated optomechanical systems can be significantly increased by modulating the optomechanical coupling. This is most pronounced for low mass, high frequency systems - convenient for reaching the quantum regime - and can lead to improvements of several orders of magnitude, as well as a broadening of the measurement window. Nevertheless, significant obstacles still remain. In particular, we find that modulations increase decoherence effects at the same rate as the entanglement improvements. This adds to the growing evidence that the constraint on noise (acting on the position d.o.f) depends only on the particle mass, separation, and temperature of the environment and cannot be improved by novel quantum control. Finally, we highlight the close connection between the observation of quantum correlations and the limits of measurement precision derived via the Cram\'er-Rao Bound. An immediate consequence is that probing superpositions of the gravitational field places similar demands on detector sensitivity as entanglement verification.


title: Role of vector self-interaction in Neutron Star properties

abstract: Previous studies have claimed that there exist correlations among certain nuclear saturation parameters and neutron star observables, such as the slope of the symmetry energy and the radius of a $1.4M_{\odot}$ neutron star. However, it is not clear whether such correlations are physical or spurious, as they are not observed universally for all equation of state models. In this work, we probe the role of vector self-interaction within the framework of the Relativistic Mean Field model and its role in governing the observable stellar properties and their correlations with nuclear parameters. We confirm that the effect of this term is not only to control the high density properties of the equation of state but also to govern such correlations. We also impose a limit on the maximum strength of the vector self-interaction using recent astrophysical data.


title: Applications of Lipschitz summation formula and a generalization of Raabe's cosine transform

abstract: General summation formulas have been proved to be very useful in analysis, number theory and other branches of mathematics. The Lipschitz summation formula is one of them. In this paper, we give its application by providing a new transformation formula which generalizes that of Ramanujan. Ramanujan's result, in turn, is a generalization of the modular transformation of Eisenstein series $E_k(z)$ on SL$_2(\mathbb{Z})$, where $z\to-1/z, z\in\mathbb{H}$. The proof of our result involves delicate analysis containing Cauchy Principal Value integrals. A simpler proof of a recent result of ours with Kesarwani giving a non-modular transformation for $\sum_{n=1}^{\infty}\sigma_{2m}(n)e^{-ny}$ is also derived using the Lipschitz summation formula. In the pursuit of obtaining this transformation, we naturally encounter a new generalization of Raabe's cosine transform whose several properties are also demonstrated. As a corollary of this result, we get a generalization of Wright's asymptotic estimate for the generating function of the number of plane partitions of a positive integer $n$.


title: Brillouin Scattering Selection Rules in Polarization-Sensitive Photonic Resonators

abstract: The selection rules governing spontaneous Brillouin scattering in crystalline solids are usually taken as intrinsic material properties, locking the relative polarization of excitation and signal in bulk. In this work, we independently manipulate these polarization states by means of optical resonances in elliptical micropillars and demonstrate a polarization-based filtering scheme for Brillouin spectroscopy in the 20-100 GHz range, important for telecom applications. This strong modification of selection rules using elliptical micropillars can be extended to any optical system with localized, polarization-sensitive modes, such as plasmonic resonators, photonic crystals, birefringent micro-, and nanostructures. Our polarization control protocol will thus find applications in the engineering of light-matter interactions in optomechanical, optoelectronic and quantum optics devices.


title: MARLUI: Multi-Agent Reinforcement Learning for Adaptive UIs

abstract: Adaptive user interfaces (UIs) automatically change an interface to better support users' tasks. Recently, machine learning techniques have enabled the transition to more powerful and complex adaptive UIs. However, a core challenge for adaptive user interfaces is the reliance on high-quality user data that has to be collected offline for each task. We formulate UI adaptation as a multi-agent reinforcement learning problem to overcome this challenge. In our formulation, a user agent mimics a real user and learns to interact with a UI. Simultaneously, an interface agent learns UI adaptations to maximize the user agent's performance. The interface agent learns the task structure from the user agent's behavior and, based on that, can support the user agent in completing its task. Our method produces adaptation policies that are learned in simulation only and, therefore, does not need real user data. Our experiments show that learned policies generalize to real users and achieve on par performance with data-driven supervised learning baselines.


title: A Digital Twin Description Framework and its Mapping to Asset Administration Shell

abstract: The pace of reporting on Digital Twin (DT) projects continues to accelerate both in industry and academia. However, these experience reports often leave out essential characteristics of the DT, such as the scope of the system-under-study, the insights and actions enabled, and the time-scale of processing. A lack of these details could therefore hamper both understanding of these DTs and development of DT tools and techniques. Our previous work developed a DT description framework with fourteen characteristics as a checklist for experience report authors to better describe the capabilities of their DT projects. This report provides an extended example of reporting to highlight the utility of this description framework, focusing on the DT of an industrial drilling machine. Furthermore, we provide a mapping from our description framework to the Asset Administration Shell (AAS) which is an emerging standard for Industry 4.0 system integration. This mapping aids practitioners in understanding how our description framework relates to AAS, potentially aiding in description or implementation activities.


title: A Qualitative Analysis to Simple Harmonic Motion

abstract: This paper proposes a qualitative analysis to the simple harmonic motion for students who are not mathematically well-prepared. It uses the variation in speed and acceleration to sketch the velocity-time curve. The curve appears to be sinusoidal, whose shape is largely determined by the fact that the gradient of a velocity-time graph is acceleration. This approach cannot determine the exact value of period and claim the curve to be sinusoidal, however, it complements rigorous mathematical analysis in that it is full of physical reasoning that the mathematical approaches lack of.


title: Compressive-sensing-assisted mixed integer optimization for dynamical system discovery with highly noisy data

abstract: The identification of governing equations for dynamical systems is everlasting challenges for the fundamental research in science and engineering. Machine learning has exhibited great success to learn and predict dynamical systems from data. However, the fundamental challenges still exist: discovering the exact governing equations from highly noisy data. In present work, we propose a compressive sensing-assisted mixed integer optimization (CS-MIO) method to make a step forward from a modern discrete optimization lens. In particular, we first formulate the problem into a mixed integer optimization model. The discrete optimization nature of the model leads to exact variable selection by means of cardinality constraint, and hereby powerful capability of exact discovery of governing equations from noisy data. Such capability is further enhanced by incorporating compressive sensing and regularization techniques for highly noisy data and high-dimensional problems. The case studies on classical dynamical systems have shown that CS-MIO can discover the exact governing equations from large-noise data, with up to two orders of magnitude larger noise comparing with state-of-the-art method. We also show its effectiveness for high-dimensional dynamical system identification through the chaotic Lorenz 96 system.


title: Feature-Rich Long-term Bitcoin Trading Assistant

abstract: For a long time predicting, studying and analyzing financial indices has been of major interest for the financial community. Recently, there has been a growing interest in the Deep-Learning community to make use of reinforcement learning which has surpassed many of the previous benchmarks in a lot of fields. Our method provides a feature rich environment for the reinforcement learning agent to work on. The aim is to provide long term profits to the user so, we took into consideration the most reliable technical indicators. We have also developed a custom indicator which would provide better insights of the Bitcoin market to the user. The Bitcoin market follows the emotions and sentiments of the traders, so another element of our trading environment is the overall daily Sentiment Score of the market on Twitter. The agent is tested for a period of 685 days which also included the volatile period of Covid-19. It has been capable of providing reliable recommendations which give an average profit of about 69%. Finally, the agent is also capable of suggesting the optimal actions to the user through a website. Users on the website can also access the visualizations of the indicators to help fortify their decisions.


title: Hybrid AI-based Anomaly Detection Model using Phasor Measurement Unit Data

abstract: Over the last few decades, extensive use of information and communication technologies has been the main driver of the digitalization of power systems. Proper and secure monitoring of the critical grid infrastructure became an integral part of the modern power system. Using phasor measurement units (PMUs) to surveil the power system is one of the technologies that have a promising future. Increased frequency of measurements and smarter methods for data handling can improve the ability to reliably operate power grids. The increased cyber-physical interaction offers both benefits and drawbacks, where one of the drawbacks comes in the form of anomalies in the measurement data. The anomalies can be caused by both physical faults on the power grid, as well as disturbances, errors, and cyber attacks in the cyber layer. This paper aims to develop a hybrid AI-based model that is based on various methods such as Long Short Term Memory (LSTM), Convolutional Neural Network (CNN) and other relevant hybrid algorithms for anomaly detection in phasor measurement unit data. The dataset used within this research was acquired by the University of Texas, which consists of real data from grid measurements. In addition to the real data, false data that has been injected to produce anomalies has been analyzed. The impacts and mitigating methods to prevent such kind of anomalies are discussed.


title: Anti-Delay Kalman Filter Fusion Algorithm for Vehicle-borne Sensor Network with Finite-Time Convergence

abstract: Intelligent vehicles in autonomous driving and obstacle avoidance, the precise relative state of vehicles put forward a higher demand. For a vehicle-borne sensor network with time-varying transmission delays, the problem of coordinate fusion of vehicle state is the focus of this paper. By the ingeniously designed low-complexity integration with a consensus strategy and buffer technology, an anti-delay distributed Kalman filter (DKF) with finite-time convergence is proposed.By introducing the matrix weight to assess local estimates, the optimal fusion state result is available in the sense of linear minimum variance. In addition, to accommodate practical engineering in intelligent vehicles, the communication weight coefficient and directed topology with unidirectional transmission are also considered. From a theoretical perspective, the proof of error covariances upper bounds with different communication topologies with delays are presented. Furthermore, the maximum allowable delays of vehicle-borne sensor network is derived backwards. Simulations verify that while considering various non-ideal factors above, the proposed DFK algorithm produces more accurate and robust fusion estimation state results than existing algorithms, making it more valuable in practical applications. Simultaneously, a mobile car trajectory tracking experiment is carried out, which further verifies the feasibility of the proposed algorithm.


title: Shape And Structure Preserving Differential Privacy

abstract: It is common for data structures such as images and shapes of 2D objects to be represented as points on a manifold. The utility of a mechanism to produce sanitized differentially private estimates from such data is intimately linked to how compatible it is with the underlying structure and geometry of the space. In particular, as recently shown, utility of the Laplace mechanism on a positively curved manifold, such as Kendall's 2D shape space, is significantly influences by the curvature. Focusing on the problem of sanitizing the Fr\'echet mean of a sample of points on a manifold, we exploit the characterisation of the mean as the minimizer of an objective function comprised of the sum of squared distances and develop a K-norm gradient mechanism on Riemannian manifolds that favors values that produce gradients close to the the zero of the objective function. For the case of positively curved manifolds, we describe how using the gradient of the squared distance function offers better control over sensitivity than the Laplace mechanism, and demonstrate this numerically on a dataset of shapes of corpus callosa. Further illustrations of the mechanism's utility on a sphere and the manifold of symmetric positive definite matrices are also presented.


title: Compactness of Hamiltonian stationary Lagrangian submanifolds in symplectic manifolds

abstract: In this work, we prove a compactness theorem on the space of all Hamiltonian stationay Lagrangian submanifolds in a compact symplectic manifold with uniform bounds on area and total extrinsic curvature.


title: A metalanguage for cost-aware denotational semantics

abstract: We present two metalanguages for developing $\textit{synthetic cost-aware denotational semantics}$ of programming languages. Extending the recent work of Niu et al. [2022] on $\textbf{calf}$, a dependent type theory for both cost and behavioral verification, we define two metalanguages, $\textbf{calf}^\star$ and $\textbf{calf}^\omega$, for studying cost-aware metatheory. $\textbf{calf}^\star$ is an extension of $\textbf{calf}$ with universes and inductive types, and $\textbf{calf}^\omega$ is a an extension of $\textbf{calf}^\star$ with unbounded iteration. We construct denotational models of the simply-typed lambda calculus and Modernized Algol, a language with first-order store and while loops, and show that they satisfy a $\textit{cost-aware}$ generalization of the classic Plotkin-type computational adequacy theorem. Moreover, by developing our proofs in a synthetic language of $\textit{phase-separated}$ constructions of intension and extension, our results easily $\textit{restrict}$ to the corresponding extensional theorems. Our work provides a positive answer to the conjecture raised in Niu et al. [2022] and in light of $\textit{op. cit.}$'s work on algorithm analysis, contributes a metalanguage for doing both cost-aware programming and verification and cost-aware metatheory of programming languages.


title: Wallis's Formula and the Probability Integral

abstract: In this note we show that any proof of Wallis's formula or of the probability integral formula proves both assertions.


title: P\'olya's eigenvalue conjecture is false for spheres

abstract: By comparing the Laplace spectrum of the sphere $\mathbb{S}^n$ to its Weyl function $w(x) = \frac{\omega_n}{(2\pi)^n}|\mathbb{S}^n|x^{n/2}$, we show that no analogue of P\'olya's eigenvalue conjecture holds in general for Riemannian manifolds with positive sectional curvature.


title: A framework to mitigate patchy reionization contamination on the primordial gravitational wave signal

abstract: One of the major goals of future cosmic microwave background (CMB) $B$-mode polarization experiments is the detection of primordial gravitational waves through an unbiased measurement of the tensor-to-scalar ratio $r$. Robust detection of this signal will require mitigating all possible contamination to the $B$-mode polarization from astrophysical origins. One such extragalactic contamination arises from the patchiness in the electron density during the reionization epoch. Along with the signature on CMB polarization, the patchy reionization can source secondary anisotropies on the CMB temperature through the kinetic Sunyaev-Zeldovich (kSZ) effect. In order to study the impact of this foreground for the upcoming CMB missions, we present a self-consistent framework to compute the CMB anisotropies based on a physically motivated model of reionization. We show that the value of $r$ can bias towards a higher value if the secondary contribution from reionization is neglected. However, combining small-scale kSZ signal, large-scale $E$-mode polarization, and $B$-mode polarization measurements, we can put constraints on the patchiness in electron density during reionization and can mitigate its impact on the value of $r$. CMB missions such as CMB-S4 and PICO may experience a bias of $>0.17\sigma$ which can go as high as $\sim 0.73\sigma$ for extreme reionization models allowed by the Planck and SPT CMB measurements. As future experiments target to measure $r$ at $5\sigma$, this is likely to affect the measurement significance and hence possibly affect the claim of detection of $r$, if not mitigated properly by using joint estimations of different reionization observables.


title: Chiral dualities for SQCD$_{3}$ with D-type superpotential

abstract: We study dualities for $3d$ $\text{U}(N_{c})_k$ chiral SQCD with $D_{n+2}$-type superpotential, with $n$ odd. We give a complete classification of such dualities in terms of the number of fundamentals and anti-fundamentals and the Chern-Simons level. The classification is obtained by real mass and Higgs flows from non-chiral dualities and we check the consistency of the new non-chiral dualities at the level of the partition function. We we also check that the complex phases appearing in the integral identities between the partition functions are consistent with the contact terms computed as quantum corrections to the effective Chern-Simons level. The $\text{SU}(N_{c})_k$ cases are recovered by gauging the topological symmetry from the $\text{U}(N_{c})$ dualities. Finally, we consider the case of $\text{USp}(2N_{c})_{2k}$ with two antisymmetric tensors and $D_{n+2}$-type superpotential.


title: Exploring Attention GAN for Vehicle Motion Prediction

abstract: The design of a safe and reliable Autonomous Driving stack (ADS) is one of the most challenging tasks of our era. These ADS are expected to be driven in highly dynamic environments with full autonomy, and a reliability greater than human beings. In that sense, to efficiently and safely navigate through arbitrarily complex traffic scenarios, ADS must have the ability to forecast the future trajectories of surrounding actors. Current state-of-the-art models are typically based on Recurrent, Graph and Convolutional networks, achieving noticeable results in the context of vehicle prediction. In this paper we explore the influence of attention in generative models for motion prediction, considering both physical and social context to compute the most plausible trajectories. We first encode the past trajectories using a LSTM network, which serves as input to a Multi-Head Self-Attention module that computes the social context. On the other hand, we formulate a weighted interpolation to calculate the velocity and orientation in the last observation frame in order to calculate acceptable target points, extracted from the driveable of the HDMap information, which represents our physical context. Finally, the input of our generator is a white noise vector sampled from a multivariate normal distribution while the social and physical context are its conditions, in order to predict plausible trajectories. We validate our method using the Argoverse Motion Forecasting Benchmark 1.1, achieving competitive unimodal results.


title: Rethinking Motion Deblurring Training: A Segmentation-Based Method for Simulating Non-Uniform Motion Blurred Images

abstract: Successful training of end-to-end deep networks for real motion deblurring requires datasets of sharp/blurred image pairs that are realistic and diverse enough to achieve generalization to real blurred images. Obtaining such datasets remains a challenging task. In this paper, we first review the limitations of existing deblurring benchmark datasets from the perspective of generalization to blurry images in the wild. Secondly, we propose an efficient procedural methodology to generate sharp/blurred image pairs, based on a simple yet effective model for the formation of blurred images. This allows generating virtually unlimited realistic and diverse training pairs. We demonstrate the effectiveness of the proposed dataset by training existing deblurring architectures on the simulated pairs and evaluating them across four standard datasets of real blurred images. We observed superior generalization performance for the ultimate task of deblurring real motion-blurred photos of dynamic scenes when training with the proposed method.


title: Primal Topological Spaces

abstract: The purpose of this paper is to introduce a new structure `primal'. Primal is dual to grill. Like ideal, dual of filter, this new structure also generates a new topology named `primal topology'. We introduce a new operator using primal, which satisfies Kuratowski's closure axioms. Mainly, we prove that primal topology is finer than the topology of a primal topological space. We provide structure of base of primal topology and prove other fundamental results related to this new structure.


title: Kurepa's conjecture on the left factorial function is true

abstract: We answer Kurepa's conjecture on the left factorials in affirmative.


title: Flexible Job Classification with Zero-Shot Learning

abstract: Using a taxonomy to organize information requires classifying objects (documents, images, etc) with appropriate taxonomic classes. The flexible nature of zero-shot learning is appealing for this task because it allows classifiers to naturally adapt to taxonomy modifications. This work studies zero-shot multi-label document classification with fine-tuned language models under realistic taxonomy expansion scenarios in the human resource domain. Experiments show that zero-shot learning can be highly effective in this setting. When controlling for training data budget, zero-shot classifiers achieve a 12% relative increase in macro-AP when compared to a traditional multi-label classifier trained on all classes. Counterintuitively, these results suggest in some settings it would be preferable to adopt zero-shot techniques and spend resources annotating more documents with an incomplete set of classes, rather than spreading the labeling budget uniformly over all classes and using traditional classification techniques. Additional experiments demonstrate that adopting the well-known filter/re-rank decomposition from the recommender systems literature can significantly reduce the computational burden of high-performance zero-shot classifiers, empirically resulting in a 98% reduction in computational overhead for only a 2% relative decrease in performance. The evidence presented here demonstrates that zero-shot learning has the potential to significantly increase the flexibility of taxonomies and highlights directions for future research.


title: Frechet differentiability via partial Frechet differentiability

abstract: Let $X_1, \dots, X_n$ be Banach spaces and $f$ a real function on $X=X_1 \times\dots \times X_n$. Let $A_f$ be the set of all points $x \in X$ at which $f$ is partially Fr\' echet differentiable but is not Fr\' echet differentiable. Our results imply that if $X_1, \dots, X_{n-1}$ are Asplund spaces and $f$ is continuous (resp. Lipschitz) on $X$, then $A_f$ is a first category set (resp. a $\sigma$-upper porous set). We also prove that if $X$, $Y$ are separable Banach spaces and $f:X \to Y$ is a Lipschitz mapping, then the set of all points $x \in X$ at which $f$ is G\^ ateaux differentiable, is Fr\' echet differentiable along a closed subspace of finite codimension but is not Fr\' echet differentiable, is $\sigma$-upper porous. A number of related more general results are also proved.


title: Recent trends and analysis of Generative Adversarial Networks in Cervical Cancer Imaging

abstract: Cervical cancer is one of the most common types of cancer found in females. It contributes to 6-29% of all cancers in women. It is caused by the Human Papilloma Virus (HPV). The 5-year survival chances of cervical cancer range from 17%-92% depending upon the stage at which it is detected. Early detection of this disease helps in better treatment and survival rate of the patient. Many deep learning algorithms are being used for the detection of cervical cancer these days. A special category of deep learning techniques known as Generative Adversarial Networks (GANs) are catching up with speed in the screening, detection, and classification of cervical cancer. In this work, we present a detailed analysis of the recent trends relating to the use of various GAN models, their applications, and the evaluation metrics used for their performance evaluation in the field of cervical cancer imaging.


title: More Centralized Training, Still Decentralized Execution: Multi-Agent Conditional Policy Factorization

abstract: In cooperative multi-agent reinforcement learning (MARL), combining value decomposition with actor-critic enables agents to learn stochastic policies, which are more suitable for the partially observable environment. Given the goal of learning local policies that enable decentralized execution, agents are commonly assumed to be independent of each other, even in centralized training. However, such an assumption may prohibit agents from learning the optimal joint policy. To address this problem, we explicitly take the dependency among agents into centralized training. Although this leads to the optimal joint policy, it may not be factorized for decentralized execution. Nevertheless, we theoretically show that from such a joint policy, we can always derive another joint policy that achieves the same optimality but can be factorized for decentralized execution. To this end, we propose multi-agent conditional policy factorization (MACPF), which takes more centralized training but still enables decentralized execution. We empirically verify MACPF in various cooperative MARL tasks and demonstrate that MACPF achieves better performance or faster convergence than baselines. Our code is available at https://github.com/PKU-RL/FOP-DMAC-MACPF.


title: The last proof of extreme value theorem and intermediate value theorem

abstract: The paper gives a unified and simple proof of both theorems and Cousin's theorem.


title: Evaluating Malware Forensics Tools

abstract: We present an example implementation of the previously published Malware Analysis Tool Evaluation Framework (MATEF) to explore if a systematic basis for trusted practice can be established for evaluating malware artefact detection tools used within a forensic investigation. The application of the framework is demonstrated through a case study which presents the design of two example experiments that consider the hypotheses: (1) Is there an optimal length of time in which to execution malware for analysis and (2) Is there any observable difference between tools when observing malware behaviour? The experiments used a sample of 4,800 files known to produce network artefacts. These were selected at random from a library of over 350,000 malware binaries. The tools Process Monitor and TCPVCon, popular in the digital forensic community, are chosen as the subjects for investigating these two questions. The results indicate that it is possible to use the MATEF to identify an optimal execution time for a software tool used to monitor activity generated by malware.


title: Soft-labeling Strategies for Rapid Sub-Typing

abstract: The challenge of labeling large example datasets for computer vision continues to limit the availability and scope of image repositories. This research provides a new method for automated data collection, curation, labeling, and iterative training with minimal human intervention for the case of overhead satellite imagery and object detection. The new operational scale effectively scanned an entire city (68 square miles) in grid search and yielded a prediction of car color from space observations. A partially trained yolov5 model served as an initial inference seed to output further, more refined model predictions in iterative cycles. Soft labeling here refers to accepting label noise as a potentially valuable augmentation to reduce overfitting and enhance generalized predictions to previously unseen test data. The approach takes advantage of a real-world instance where a cropped image of a car can automatically receive sub-type information as white or colorful from pixel values alone, thus completing an end-to-end pipeline without overdependence on human labor.


title: A Reciprocal Heuristic Model for Diffuse Scattering from Walls and Surfaces

abstract: Diffuse scattering of electromagnetic waves from natural and artificial surfaces has been extensively studied in various disciplines, including radio wave propagation, and several diffuse scattering models based on different approaches have been proposed over the years, two of the most popular ones being Kirchhoff Theory and the so-called Effective Roughness heuristic model. The latter, although less rigorous than the former, is more flexible and applicable to a wider range of real-world cases, including non-Gaussian surfaces, surfaces with electrically small correlation lengths and scattering from material inhomogeneities that are often present under the surface. Unfortunately, the Effective Roughness model, with the exception of its Lambertian version, does not satisfy reciprocity, which is an important physical-soundness requirement for any propagation model. In the present work, without compromising its effectiveness and its simple and yet sound power-balance approach, we propose a reciprocal version of the Effective Roughness model, which can be easily implemented and replaced to the old version in ray-based propagation models. The new model is analyzed and compared to the old one and to other popular models. Once properly calibrated, it is shown to yield similar - if not better - performance with respect to the old one when checked vs. measurements.


title: Ronchigram Simulation and Training through Ronchigram.com

abstract: This article introduces a training simulator for electron beam alignment using Ronchigrams. The interactive web application, www.ronchigram.com, is an advanced educational tool aimed at making scanning transmission electron microscopy (STEM) more accessible and open. For experienced microscopists, the tool offers on-hand quantification of simulated Ronchigrams and their resolution limits.


title: A Case Report On The "A.I. Locked-In Problem": social concerns with modern NLP

abstract: Modern NLP models are becoming better conversational agents than their predecessors. Recurrent Neural Networks (RNNs) and especially Long-Short Term Memory (LSTM) features allow the agent to better store and use information about semantic content, a trend that has become even more pronounced with the Transformer Models. Large Language Models (LLMs) such as GPT-3 by OpenAI have become known to be able to construct and follow a narrative, which enables the system to adopt personas on the go, adapt them and play along in conversational stories. However, practical experimentation with GPT-3 shows that there is a recurring problem with these modern NLP systems, namely that they can "get stuck" in the narrative so that further conversations, prompt executions or commands become futile. This is here referred to as the "Locked-In Problem" and is exemplified with an experimental case report, followed by practical and social concerns that are accompanied with this problem.


title: Univalency of certain transform of univalent functions

abstract: We consider univalency problem in the unit disc $\mathbb D$ of the function $$g(z)=\frac{(z/f(z))-1}{-a_{2}},$$ where $f$ belongs to some classes of univalent functions in ${\mathbb D}$ and $a_{2}=\frac{f''(0)}{2}\neq 0$.


title: Efficient Real-time Rail Traffic Optimization: Decomposition of Rerouting, Reordering, and Rescheduling Problem

abstract: The railway timetables are designed in an optimal manner to maximize the capacity usage of the infrastructure concerning different objectives besides avoiding conflicts. The real-time railway traffic management problem occurs when the pre-planned timetable cannot be fulfilled due to various disturbances; therefore, the trains must be rerouted, reordered, and rescheduled. Optimizing the real-time railway traffic management aims to resolve the conflicts minimizing the delay propagation or even the energy consumption. In this paper, the existing mixed-integer linear programming optimization models are extended considering a safety-relevant issue of railway traffic management, the overlaps. However, solving the resulting model can be time-consuming in complex control areas and traffic situations involving many trains. Therefore, we propose different runtime efficient multi-stage heuristic models by decomposing the original problem. The impact of the model decomposition is investigated mathematically and experimentally in different rail networks and various simulated traffic scenarios concerning the objective value and the computational demand of the optimization. Besides providing a more realistic solution for the traffic management problem, the proposed multi-stage models significantly decrease the optimization runtime.


title: Estimation precision of the acceleration for a two-level atom coupled to fluctuating vacuum electromagnetic fields

abstract: In open quantum systems, we study the quantum Fisher information of acceleration for a uniformly accelerated two-level atom coupled to fluctuating electromagnetic fields in the Minkowski vacuum. With the time evolution, for the initial atom state parameter $\theta\neq\pi$, the quantum Fisher information can exist a maximum value and a local minimum value before reaching a stable value. In addition, in a short time, the quantum Fisher information varies with the initial state parameter, and the quantum Fisher information can take a maximum value at $\theta=0$. The quantum Fisher information may exist two peak values at a certain moment. These features are different from the massless scalar fields case. With the time evolution, $F_{max}$ firstly increases, then decreases, and finally, reaches the same value. However, $F_{max}$ will arrive at a stable maximum value for the case of the massless scalar fields. Although the atom response to the vacuum fluctuation electromagnetic fields is different from the case of massless scalar fields, the quantum Fisher information eventually reaches a stable value.


title: Predicting students' learning styles using regression techniques

abstract: Traditional learning systems have responded quickly to the COVID pandemic and moved to online or distance learning. Online learning requires a personalization method because the interaction between learners and instructors is minimal, and learners have a specific learning method that works best for them. One of the personalization methods is detecting the learners' learning style. To detect learning styles, several works have been proposed using classification techniques. However, the current detection models become ineffective when learners have no dominant style or a mix of learning styles. Thus, the objective of this study is twofold. Firstly, constructing a prediction model based on regression analysis provides a probabilistic approach for inferring the preferred learning style. Secondly, comparing regression models and classification models for detecting learning style. To ground our conceptual model, a set of machine learning algorithms have been implemented based on a dataset collected from a sample of 72 students using visual, auditory, reading/writing, and kinesthetic (VARK's) inventory questionnaire. Results show that regression techniques are more accurate and representative for real-world scenarios than classification algorithms, where students might have multiple learning styles but with different probabilities. We believe that this research will help educational institutes to engage learning styles in the teaching process.


title: On some properties of M-projective curvature tensor in spacetime of general relativity

abstract: In this paper, we investigate the connection between the M-projective curvature tensor and other tensors. Also, we obtain the divergence of M-projective curvature tensor. A symmetry of spacetime known as M-projective collineation has been presented, and it has been possible to determine the conditions under which the general relativity spacetimes can admit such collineations.


title: Leveraging the Potential of Novel Data in Power Line Communication of Electricity Grids

abstract: Electricity grids have become an essential part of daily life, even if they are often not noticed in everyday life. We usually only become particularly aware of this dependence by the time the electricity grid is no longer available. However, significant changes, such as the transition to renewable energy (photovoltaic, wind turbines, etc.) and an increasing number of energy consumers with complex load profiles (electric vehicles, home battery systems, etc.), pose new challenges for the electricity grid. To address these challenges, we propose two first-of-its-kind datasets based on measurements in a broadband powerline communications (PLC) infrastructure. Both datasets FiN-1 and FiN-2, were collected during real practical use in a part of the German low-voltage grid that supplies around 4.4 million people and show more than 13 billion datapoints collected by more than 5100 sensors. In addition, we present different use cases in asset management, grid state visualization, forecasting, predictive maintenance, and novelty detection to highlight the benefits of these types of data. For these applications, we particularly highlight the use of novel machine learning architectures to extract rich information from real-world data that cannot be captured using traditional approaches. By publishing the first large-scale real-world dataset, we aim to shed light on the previously largely unrecognized potential of PLC data and emphasize machine-learning-based research in low-voltage distribution networks by presenting a variety of different use cases.


title: Multi-modal Video Chapter Generation

abstract: Chapter generation becomes practical technique for online videos nowadays. The chapter breakpoints enable users to quickly find the parts they want and get the summative annotations. However, there is no public method and dataset for this task. To facilitate the research along this direction, we introduce a new dataset called Chapter-Gen, which consists of approximately 10k user-generated videos with annotated chapter information. Our data collection procedure is fast, scalable and does not require any additional manual annotation. On top of this dataset, we design an effective baseline specificlly for video chapters generation task. which captures two aspects of a video,including visual dynamics and narration text. It disentangles local and global video features for localization and title generation respectively. To parse the long video efficiently, a skip sliding window mechanism is designed to localize potential chapters. And a cross attention multi-modal fusion module is developed to aggregate local features for title generation. Our experiments demonstrate that the proposed framework achieves superior results over existing methods which illustrate that the method design for similar task cannot be transfered directly even after fine-tuning. Code and dataset are available at https://github.com/czt117/MVCG.


title: Twisted local wild mapping class groups: configuration spaces, fission trees and complex braids

abstract: Following the completion of the algebraic construction of the Poisson wild character varieties (B.--Yamakawa, 2015) one can consider their natural deformations, generalising both the mapping class group actions on the usual (tame) character varieties, and the G-braid groups already known to occur in the wild/irregular setting. Here we study these wild mapping class groups in the case of arbitrary formal structure in type A. As we will recall, this story is most naturally phrased in terms of admissible deformations of wild Riemann surfaces. The main results are: 1) the construction of configuration spaces containing all possible local deformations, 2) the definition of a combinatorial object, the ``fission forest'', of any wild Riemann surface and a proof that it gives a sharp parameterisation of all the admissible deformation classes. As an application of 1), by considering basic examples, we show that the braid groups of all the complex reflection groups known as the generalised symmetric groups appear as wild mapping class groups. As an application of 2), we compute the dimensions of all the (global) moduli spaces of type A wild Riemann surfaces (in fixed admissible deformation classes), a generalisation of the famous ``Riemann's count'' of the dimensions of the moduli spaces of compact Riemann surfaces.


title: The shape of non-graviton operators for $SU(2)$

abstract: The BPS spectrum of AdS/CFT exhibits multi-gravitons at low energies, while having black hole states at higher energies. This can be studied concretely in AdS$_5$/CFT$_4$ in terms of classical cohomologies, even in the quantum regimes at finite $1/N$. Recently, Chang and Lin found a threshold for non-graviton states in the $SU(2)$ maximal super-Yang-Mills theory. We explicitly construct and present this threshold cohomology.


title: Analyzing cellwise weighted data

abstract: Often the rows (cases, objects) of a dataset have weights. For instance, the weight of a case may reflect the number of times it has been observed, or its reliability. For analyzing such data many rowwise weighted techniques are available, the most well known being the weighted average. But there are also situations where the individual cells (entries) of the data matrix have weights assigned to them. The purpose of this note is to provide an approach to analyze such data. We define a cellwise weighted likelihood function, that corresponds to a transformation of the dataset which we call unpacking. Using this weighted likelihood one can carry out multivariate statistical methods such as maximum likelihood estimation and likelihood ratio tests. We pay particular attention to the estimation of covariance matrices, because these are the building blocks of much of multivariate statistics. An R implementation of the cellwise maximum likelihood estimator is provided, which employs a version of the EM algorithm. Also a faster approximate method is proposed, which is asymptotically equivalent to it.


title: QuantumSolver: A quantum tool-set for developers

abstract: This paper introduces a new opensource quantum tool-set called QuantumSolver based on Qiskit to help developers without knowledge in quantum computing. The developed library includes a set of algorithms with different features: random number generation, Bernstein-Vazirani algorithm and quantum key distribution using the BB84 protocol. This paper described the main details about the implementation of the toolset, focusing in the challenges that the authors faced. Finally, this document analyzes the results obtained with some conclusions that authors compares with the included features.


title: Accurate and Efficient Stereo Matching via Attention Concatenation Volume

abstract: Stereo matching is a fundamental building block for many vision and robotics applications. An informative and concise cost volume representation is vital for stereo matching of high accuracy and efficiency. In this paper, we present a novel cost volume construction method, named attention concatenation volume (ACV), which generates attention weights from correlation clues to suppress redundant information and enhance matching-related information in the concatenation volume. The ACV can be seamlessly embedded into most stereo matching networks, the resulting networks can use a more lightweight aggregation network and meanwhile achieve higher accuracy. We further design a fast version of ACV to enable real-time performance, named Fast-ACV, which generates high likelihood disparity hypotheses and the corresponding attention weights from low-resolution correlation clues to significantly reduce computational and memory cost and meanwhile maintain a satisfactory accuracy. The core idea of our Fast-ACV is volume attention propagation (VAP) which can automatically select accurate correlation values from an upsampled correlation volume and propagate these accurate values to the surroundings pixels with ambiguous correlation clues. Furthermore, we design a highly accurate network ACVNet and a real-time network Fast-ACVNet based on our ACV and Fast-ACV respectively, which achieve the state-of-the-art performance on several benchmarks (i.e., our ACVNet ranks the 2nd on KITTI 2015 and Scene Flow, and the 3rd on KITTI 2012 and ETH3D among all the published methods; our Fast-ACVNet outperforms almost all state-of-the-art real-time methods on Scene Flow, KITTI 2012 and 2015 and meanwhile has better generalization ability)


title: The Ma-Qiu index and the Nakanishi index for a fibered knot are equal, and $\omega$-solvability

abstract: For a knot $K$ in $S^3$, let $G(K)$ be the knot group of $K$, $a(K)$ the Ma-Qiu index (the MQ index, for short), which is the minimal number of normal generators of the commutator subgroup of $G(K)$, and $m(K)$ the Nakanishi index of $K$, which is the minimal number of generators of the Alexander module of $K$.We generalize the notions for a pair of a group $G$ and its normal sugroup $N$, and we denote them by $a(G, N)$ and $m(G, N)$ respectively.Then it is easy to see $m(G, N)\le a(G, N)$ in general.We also introduce a notion ``$\omega$-solvability" for a group that the intersection of all higher commutator subgroups is trivial.Our main theorem is that if $N$ is $\omega$-solvable, then we have $m(G, N)=a(G, N)$.As corollaries, for a fibered knot $K$, we have $m(K)=a(K)$, and we could determine the MQ indices of prime knots up to $9$ crossings completely.


title: Non-exotic traversable wormhole solutions in linear $f\left(R,T\right)$ gravity

abstract: In this work we analyze traversable wormhole solutions in the linear form of $f\left(R,T\right)=R+\lambda T$ gravity satisfying the Null, Weak, Strong, and Dominant Energy Conditions (NEC, WEC, SEC, and DEC respectively) for the entire spacetime. These solutions are obtained via a fully analytical parameter space analysis of the free parameters of the wormhole model, namely the exponents controlling the degree of the redshift and shape functions, the radius of the wormhole throat $r_0$, the value of the redshift function at the throat $\zeta_0$, and the coupling parameter $\lambda$. Bounds on these free parameters for which the energy conditions are satisfied for the entire spacetime are deduced and two explicit solutions are provided. Even if some of these bounds are violated, leading to the violation of the NEC at some critical radius $r_c>r_0$, it is still possible to find physically relevant wormhole solutions via a matching with an exterior vacuum spacetime in the region where the energy conditions are still satisfied. For this purpose, we deduce the set of junction conditions for the form of $f\left(R,T\right)$ considered and provide an explicit example. These results seem to indicate that a wide variety of non-exotic wormhole solutions are attainable in the $f\left(R,T\right)$ theory without the requirement of fine-tuning.


title: End-to-End Lyrics Recognition with Self-supervised Learning

abstract: Lyrics recognition is an important task in music processing. Despite traditional algorithms such as the hybrid HMM- TDNN model achieving good performance, studies on applying end-to-end models and self-supervised learning (SSL) are limited. In this paper, we first establish an end-to-end baseline for lyrics recognition and then explore the performance of SSL models on lyrics recognition task. We evaluate a variety of upstream SSL models with different training methods (masked reconstruction, masked prediction, autoregressive reconstruction, and contrastive learning). Our end-to-end self-supervised models, evaluated on the DAMP music dataset, outperform the previous state-of-the-art (SOTA) system by 5.23% for the dev set and 2.4% for the test set even without a language model trained by a large corpus. Moreover, we investigate the effect of background music on the performance of self-supervised learning models and conclude that the SSL models cannot extract features efficiently in the presence of background music. Finally, we study the out-of-domain generalization ability of the SSL features considering that those models were not trained on music datasets.


title: Emergence of interparticle friction in attractive colloidal matter

abstract: Interparticle friction plays a governing role in the mechanics of particulate materials. However, virtually all experimental studies to date rely on measuring macroscopic responses, and as such it remains largely unknown how frictional effects emerge at the microscopic level. This is particularly challenging in systems subject to thermal fluctuations due to the transient nature of interparticle contacts. Here, we directly relate particle-level frictional arrest to local coordination in an attractive colloidal model system. We reveal that the orientational dynamics of particles slows down exponentially with increasing coordination number due to the emergence of frictional interactions, the strength of which can be tuned simply by varying the attraction strength. Using a simple computer simulation model, we uncover how the interparticle interactions govern the formation of frictional contacts between particles. Our results establish quantitative relations between friction, coordination and interparticle interactions. This is a key step towards using interparticle friction to tune the mechanical properties of particulate materials.


title: Tail bounds for the O'Connell-Yor polymer

abstract: We derive upper and lower bounds for the upper and lower tails of the O'Connell-Yor polymer of the correct order of magnitude via probabilistic and geometric techniques in the moderate deviations regime. The inputs of our work are an identity for the generating function of a two-parameter model of Rains and Emrah-Janjigian-Sepp\"al\"ainen, and the geometric techniques of Ganguly-Hegde and Basu-Ganguly-Hammond-Hegde. As an intermediate result we obtain strong tail estimates for the transversal fluctuation of the polymer path from the diagonal.


title: A note on values of $ {}_{4}F_{3} $ hypergeometric functions

abstract: In this note, we firstly establish an extended Gauss's summation identity. Using this identity, we compute values of a family of $_4F_3$ hypergeometric functions, which generalize the results obtained by Ferretti et al..


title: Phononic Skyrmions

abstract: Skyrmions with topologically stable configurations have shown a promising route toward magnetic and photonic materials for information processing due to their defect-immune and low-driven energy. However, the practical application of magnetic skyrmions is severely hindered by their harsh cryogenic environment and complex carriers. In addition, the narrowband nature of magnetic and photonic skyrmions leads to lower data rate transmissions, restricting the development of high-speed information processing technologies. Here, we introduce and demonstrate the concept of phononic skyrmion as new topological structures to break the above barriers. The phononic skyrmion can be produced in any solid structure at room temperature, including chip-scale structures, with high robustness and ultra-bandwidth, which could pave a new path for high-speed and topological information processing technologies. We experimentally demonstrate the existence of phononic skyrmion formed by breaking the rotational symmetry of the three-dimensional hybrid spin of elastic waves. The frequency-independent spin configuration leads to the remarkable ultra-broadband and tunable feature of phononic skyrmions. We further experimentally show the excellent robustness of the flexibly movable phononic skyrmion lattices against local defects of disorder, sharp corners, and even rectangular holes. Our research also opens a vibrant horizon towards an unprecedented way for elastic wave manipulation and structuration by spin configuration, and offers a promising lever for alternative phononic technologies, including quantum information, biomedical testing, and wave engineering.