title: Heterogeneous versus homogeneous crystal nucleation in hard spheres

abstract: Hard-sphere model systems are well-suited in both experiment and simulations to investigate fundamental aspects of the crystallization of fluids. In experiments on colloidal models of hard-sphere fluids, the uid is unavoidably at contact with the walls of the sample cell, where heterogeneous crystallization may take place. In this work we use simulations to investigate the competition between homogeneous and heterogeneous crystallization. We report simulations of wall-induced nucleation for different confining walls. Combining the results of these simulations with earlier studies of homogeneous allows us to asses the competition between homogeneous and heterogeneous nucleation as a function of wall type, fluid density and the system size. On at walls, heterogeneous nucleation will typically overwhelm homogeneous nucleation. However, even for surfaces randomly coated with spheres with a diameter that was some three times larger than that of the fluid spheres - as has been used in some experiments - heterogeneous nucleation is likely to be dominant for volume fractions smaller than 0.535. Only for a disordered coating that has the same structure as the liquid holds promise did we find the nucleation was likely to occur in the bulk. Hence, such coatings might be used to suppress heterogeneous nucleation in experiments. Finally, we report the apparent homogeneous nucleation rate taking into account the formation of crystallites both in the bulk and at the walls. We find that the apparent overall nucleation rates coincides with those reported in "homogeneous nucleation" experiments. This suggests that heterogeneous nucleation at the walls could partly explain the large discrepancies found between experimental measurements and simulation estimates of the homogeneous nucleation rate.


title: A Verified Decision Procedure for Orders in Isabelle/HOL

abstract: We present the first verified implementation of a decision procedure for the quantifier-free theory of partial and linear orders. We formalise the procedure in Isabelle/HOL and provide a specification that is made executable using Isabelle's code generator. The procedure is already part of the development version of Isabelle as a sub-procedure of the simplifier.


title: Barrow Holographic Dark Energy in non-flat Universe

abstract: We construct Barrow holographic dark energy in the case of non-flat universe. In particular, considering closed and open spatial geometry we extract the differential equations that determine the evolution of the dark-energy density parameter, and we provide the analytical expression for the corresponding dark energy equation-of-state parameter. We show that the scenario can describe the thermal history of the universe, with the sequence of matter and dark energy epochs. Comparing to the flat case, where the phantom regime is obtained for relative large Barrow exponents, the incorporation of positive curvature leads the universe into the phantom regime for significantly smaller values. Additionally, in the case of negative curvature we find a reversed behavior, namely for increased Barrow exponent we acquire algebraically higher dark-energy equation-of-state parameters. Furthermore, we confront the scenario with Hubble parameter measurements and supernova type Ia data. Hence, the incorporation of slightly non-flat spatial geometry to Barrow holographic dark energy improves the phenomenology while keeping the new Barrow exponent to smaller values.


title: Fisheye Lens Camera based Autonomous Valet Parking System

abstract: This paper proposes an efficient autonomous valet parking system utilizing only cameras which are the most widely used sensor. To capture more information instantaneously and respond rapidly to changes in the surrounding environment, fisheye cameras which have a wider angle of view compared to pinhole cameras are used. Accordingly, visual simultaneous localization and mapping is used to identify the layout of the parking lot and track the location of the vehicle. In addition, the input image frames are converted into around view monitor images to resolve the distortion of fisheye lens because the algorithm to detect edges are supposed to be applied to images taken with pinhole cameras. The proposed system adopts a look up table for real time operation by minimizing the computational complexity encountered when processing AVM images. The detection rate of each process and the success rate of autonomous parking were measured to evaluate performance. The experimental results confirm that autonomous parking can be achieved using only visual sensors.


title: Signatures of sub-band excitons in few-layer black phosphorus

abstract: Recent experimental measurements of light absorption in few-layer black phosphorus (BP) reveal a series of high and sharp peaks, interspersed by pairs of lower and broader features. Here, we propose a theoretical model for these excitonic states in few-layer black phosphorus (BP) within a continuum approach for the in-plane degrees of freedom and a tight-binding approximation that accounts for inter-layer couplings. This yields excitonic transitions between different combinations of the sub-bands created by the coupled BP layers, which leads to a series of high and low oscillator strength excitonic states, consistent with the experimentally observed bright and dark exciton peaks, respectively. The main characteristics of such sub-band exciton states, as well as the possibility to control their energies and oscillator strengths via applied electric and magnetic fields, are discussed, towards a full understanding of the excitonic spectrum of few-layer BP and its tunability.


title: Mirror enhanced directional out-coupling of SERS by remote excitation of a nanowire-nanoparticle cavity

abstract: We report on the experimental observation of mirror enhanced directional surface enhanced Raman scattering (SERS) from a self-assembled monolayer of molecules coupled to a nanowire-nanoparticle (NW-NP) junction on a mirror in remote excitation configuration. Placing NW-NP junction on a metallic mirror generates multiple gap plasmon modes which have unique momentum space scattering signatures. We perform Fourier plane imaging of SERS from NW-NP on a mirror to understand the effect of multiple hotspots on molecular emission. We systematically study the effect of ground plane on the directionality of emission from NW-NP junction and show that the presence of a mirror drastically reduces angular spread of emission. The effect of multiple hotspots in the geometry on directionality of molecular emission is studied using 3D numerical simulations. The results presented here will have implications in understanding plasmon hybridization in the momentum space and its effects on molecular emission.

categories: physics.optics cond-mat.mes-hall cond-mat.soft physics.app-ph


title: Why Does Propositional Quantification Make Modal and Temporal Logics on Trees Robustly Hard?

abstract: Adding propositional quantification to the modal logics K, T or S4 is known to lead to undecidability but CTL with propositional quantification under the tree semantics (tQCTL) admits a non-elementary Tower-complete satisfiability problem. We investigate the complexity of strict fragments of tQCTL as well as of the modal logic K with propositional quantification under the tree semantics. More specifically, we show that tQCTL restricted to the temporal operator EX is already Tower-hard, which is unexpected as EX can only enforce local properties. When tQCTL restricted to EX is interpreted on N-bounded trees for some N >= 2, we prove that the satisfiability problem is AExpPol-complete; AExpPol-hardness is established by reduction from a recently introduced tiling problem, instrumental for studying the model-checking problem for interval temporal logics. As consequences of our proof method, we prove Tower-hardness of tQCTL restricted to EF or to EXEF and of the well-known modal logics such as K, KD, GL, K4 and S4 with propositional quantification under a semantics based on classes of trees.


title: Affine Springer fibers and depth zero L-packets

abstract: Let $G$ be a connected reductive group over a field $F=\mathbb F_q((t))$ splitting over $\overline{\mathbb F}_q((t))$. Following [KV,DR], a tamely unramified Langlands parameter $\lambda:W_F\to{}^L G(\overline{\mathbb Q}_{\ell})$ in general position gives rise to a finite set $\Pi_{\lambda}$ of irreducible admissible representations of $G(F)$, called the $L$-packet. The main goal of this work is to provide a geometric description of characters $\chi_{\pi}$ of $\pi\in\Pi_{\lambda}$ and of their endoscopic linear combinations $\chi_{\lambda}^{\kappa}$ in terms of homology of affine Springer fibers. As an application, we prove that the sum $\chi_{\lambda}^{st}:=\sum_{\pi\in\Pi_{\lambda}}\chi_{\pi}$ is stable and show that the $\chi_{\lambda}^{st}$'s are compatible with inner twistings. More generally, we prove that each $\chi_{\lambda}^{\kappa}$ is ${\mathcal E}_{\lambda,\kappa}$-stable.


title: Combinatorial Proofs and Decomposition Theorems for First-order Logic

abstract: We uncover a close relationship between combinatorial and syntactic proofs for first-order logic (without equality). Whereas syntactic proofs are formalized in a deductive proof system based on inference rules, a combinatorial proof is a syntax-free presentation of a proof that is independent from any set of inference rules. We show that the two proof representations are related via a deep inference decomposition theorem that establishes a new kind of normal form for syntactic proofs. This yields (a) a simple proof of soundness and completeness for first-order combinatorial proofs, and (b) a full completeness theorem: every combinatorial proof is the image of a syntactic proof.


title: Narrow escape problem in two-shell spherical domains

abstract: Intracellular transport in living cells is often spatially inhomogeneous with an accelerated effective diffusion close to the cell membrane and a ballistic motion away from the centrosome due to active transport along actin filaments and microtubules, respectively. Recently it was reported that the mean first passage time (MFPT) for transport to a specific area on the cell membrane is minimal for an optimal actin cortex width. In this paper we ask whether this optimization in a two-compartment domain can also be achieved by passive Brownian particles. We consider a Brownian motion with different diffusion constants in the two shells and a potential barrier between the two and investigate the narrow escape problem by calculating the MFPT for Brownian particles to reach a small window on the external boundary. In two and three dimensions, we derive asymptotic expressions for the MFPT in the thin cortex and small escape region limits confirmed by numerical calculations of the MFPT using the finite element method and stochastic simulations. From this analytical and numeric analysis we finally extract the dependence of the MFPT on the ratio of diffusion constants, the potential barrier height and the width of the outer shell. The first two are monotonous whereas the last one may have a minimum for a sufficiently attractive cortex, for which we propose an analytical expression of the potential barrier height matching very well the numerical predictions.


title: Spectroscopic and photometric analysis of 21 chromospherically active variables: activity cycles and differential rotation

abstract: We investigate magnetic activity properties of 21 stars via medium resolution optical spectra and long-term photometry. Applying synthetic spectrum fitting method, we find that all targets are cool giant or sub-giant stars possessing overall [M/H] abundances between $0$ and $-0.5$. We find that six of these targets exhibit only linear trend in mean brightness while eight of them clearly shows cyclic mean brightness variation. Remaining seven target appear to exhibit cyclic mean brightness variation but this can not be confirmed due to the long time scales of the predicted cycle compared to the current time range of the photometric data. We further determine seasonal photometric periods and compute average photometric period of each target. Analysed sample in this study provides a quantitative representation of a positive linear correlation between the inverse of the rotation period and the cycle period normalized to the rotation period, on the log-log scale. We also observe no correlation between the activity cycle length and the relative surface shear, indicating that the activity cycle must be driven by a parameter rather than the differential rotation. Our analyses show that the relative surface shear is positively correlated with the rotation period and there is a noticeable separation between main sequence stars and our sample. Compared to our sample, the relative surface shear of a main sequence star is larger for a given rotation period. However, dependence of the relative surface shear on the rotation period appears stronger for our sample. Analysis of the current photometric data indicates that the photometric properties of the observed activity cycles in 8 targets seem dissimilar to the sunspot cycle.


title: Convex Optimization in Sums of Banach Spaces

abstract: We characterize the solution of a broad class of convex optimization problems that address the reconstruction of a function from a finite number of linear measurements. The underlying hypothesis is that the solution is decomposable as a finite sum of components, where each component belongs to its own prescribed Banach space; moreover, the problem is regularized by penalizing some composite norm of the solution. We establish general conditions for existence and derive the generic parametric representation of the solution components. These representations fall into three categories depending on the underlying regularization norm: (i) a linear expansion in terms of predefined "kernels" when the component space is a reproducing kernel Hilbert space (RKHS), (ii) a non-linear (duality) mapping of a linear combination of measurement functionals when the component Banach space is strictly convex, and, (iii) an adaptive expansion in terms of a small number of atoms within a larger dictionary when the component Banach space is not strictly convex. Our approach generalizes and unifies a number of multi-kernel (RKHS) and sparse-dictionary learning techniques for compressed sensing available in the literature. It also yields the natural extension of the classical spline-fitting techniques in (semi-)RKHS to the abstract Banach-space setting.


title: On the Laws of Thermodynamics in Classical Non-Inertial Frames

abstract: This work consists in the theorical development on the analysis of the Thermodynamic Laws and thermodynamic systems in relative motion, according to the laws of Classical Mechanics. The difference of this work for many of the literature is the methodology used. We follow a strictly mathematical line, instead of a phenomenological line. We proved that the First and Second Laws of Thermodynamics in non-inertial frames remain invariant under any spatial translation between reference frames in motion. From the results obtained, we show the transformation of the main thermodynamic quantities as temperature, pressure, chemical potential, internal energy, heat, state equation for an ideal gas and efficiency of Carnot's machine are also invariant under any transformation between non-inertial reference frames.


title: Linearly presented modules and bounds on the Castelnuovo-Mumford regularity of ideals

abstract: We estimate the Castelnuovo-Mumford regularity of ideals in a polynomial ring over a field by studying the regularity of certain modules generated in degree zero and with linear relations. In dimension one, this process gives a new type of upper bounds. By means of recursive techniques this also produces new upper bounds for ideals in any dimension.


title: Secure and Efficient Federated Learning Through Layering and Sharding Blockchain

abstract: Introducing blockchain into Federated Learning (FL) to build a trusted edge computing environment for transmission and learning has attracted widespread attention as a new decentralized learning pattern. However, traditional consensus mechanisms and architectures of blockchain systems face significant challenges in handling large-scale FL tasks, especially on Internet of Things (IoT) devices, due to their substantial resource consumption, limited transaction throughput, and complex communication requirements. To address these challenges, this paper proposes ChainFL, a novel two-layer blockchain-driven FL system. It splits the IoT network into multiple shards within the subchain layer, effectively reducing the scale of information exchange, and employs a Direct Acyclic Graph (DAG)-based mainchain as the mainchain layer, enabling parallel and asynchronous cross-shard validation. Furthermore, the FL procedure is customized to integrate deeply with blockchain technology, and a modified DAG consensus mechanism is designed to mitigate distortion caused by abnormal models. To provide a proof-of-concept implementation and evaluation, multiple subchains based on Hyperledger Fabric and a self-developed DAG-based mainchain are deployed. Extensive experiments demonstrate that ChainFL significantly surpasses conventional FL systems, showing up to a 14% improvement in training efficiency and a threefold increase in robustness.


title: The Ordered Join of Impartial Games

abstract: Inspired by the theory of poset games, we introduce a new compound of impartial combinatorial games and provide a complete analysis in the spirit of the Sprague-Grundy theory. Furthermore, we establish several substitution and reduction principles for this compound and consider its computational aspects.


title: Stability of trigonometric approximation in $L^p$ and applications to prediction theory

abstract: Let $\Gamma$ be an LCA group and $(\mu_n)$ be a sequence of bounded regular Borel measures on $\Gamma$ tending to a measure $\mu_0$. Let $G$ be the dual group of $\Gamma$, $S$ be a non-empty subset of $G \setminus \{ 0 \}$, and $[{\mathcal T}(S)]_{\mu_n,p}$ the subspace of $L^p(\mu_n)$, $p \in (0,\infty)$, spanned by the characters of $\Gamma$ which are generated by the elements of $S$. The limit behaviour of the sequence of metric projections of the function $1$ onto $[{\mathcal T}(S)]_{\mu_n,p}$ as well as of the sequence of the corresponding approximation errors are studied. The results are applied to obtain stability theorems for prediction of weakly stationary or harmonizable symmetric $p$-stable stochastic processes. Along with the general problem the particular cases of linear interpolation or extrapolation as well as of a finite or periodic observation set are studied in detail and compared to each other.


title: Breeding Diverse Packings for the Knapsack Problem by Means of Diversity-Tailored Evolutionary Algorithms

abstract: In practise, it is often desirable to provide the decision-maker with a rich set of diverse solutions of decent quality instead of just a single solution. In this paper we study evolutionary diversity optimization for the knapsack problem (KP). Our goal is to evolve a population of solutions that all have a profit of at least $(1-\varepsilon)\cdot OPT$, where OPT is the value of an optimal solution. Furthermore, they should differ in structure with respect to an entropy-based diversity measure. To this end we propose a simple $(\mu+1)$-EA with initial approximate solutions calculated by a well-known FPTAS for the KP. We investigate the effect of different standard mutation operators and introduce biased mutation and crossover which puts strong probability on flipping bits of low and/or high frequency within the population. An experimental study on different instances and settings shows that the proposed mutation operators in most cases perform slightly inferior in the long term, but show strong benefits if the number of function evaluations is severely limited.


title: Theory of nanoparticle cooling by elliptic coherent scattering

abstract: Coherent scattering of an elliptically polarised tweezer into a cavity mode provides a promising platform for cooling levitated nanoparticles into their combined rotational and translational quantum regime [Phys. Rev. Lett. 126, 163603 (2021)]. This article presents the theory of how aspherical nanoparticles are affected by elliptically polarised laser beams, how two orthogonal cavity modes enable rotational and translational cooling, and how the resulting power spectra contain signatures of rotational non-linearities. We provide analytic expressions for the resulting trapping frequencies, opto-mechanical coupling strengths, cooling rates, and steady-state occupations and we study their dependence on the tweezer ellipticity.


title: LUCES: A Dataset for Near-Field Point Light Source Photometric Stereo

abstract: Three-dimensional reconstruction of objects from shading information is a challenging task in computer vision. As most of the approaches facing the Photometric Stereo problem use simplified far-field assumptions, real-world scenarios have essentially more complex physical effects that need to be handled for accurately reconstructing the 3D shape. An increasing number of methods have been proposed to address the problem when point light sources are assumed to be nearby the target object. The proximity of the light sources complicates the modeling of the image formation as the light behaviour requires non-linear parameterisation to describe its propagation and attenuation. To understand the capability of the approaches dealing with this near-field scenario, the literature till now has used synthetically rendered photometric images or minimal and very customised real-world data. In order to fill the gap in evaluating near-field photometric stereo methods, we introduce LUCES the first real-world 'dataset for near-fieLd point light soUrCe photomEtric Stereo' of 14 objects of a varying of materials. A device counting 52 LEDs has been designed to lit each object positioned 10 to 30 centimeters away from the camera. Together with the raw images, in order to evaluate the 3D reconstructions, the dataset includes both normal and depth maps for comparing different features of the retrieved 3D geometry. Furthermore, we evaluate the performance of the latest near-field Photometric Stereo algorithms on the proposed dataset to assess the SOTA method with respect to actual close range effects and object materials.


title: Multi-particle interference in an electronic Mach-Zehnder interferometer

abstract: The recent development of dynamic single-electron sources makes it possible to observe and manipulate the quantum properties of individual charge carriers in mesoscopic circuits. Here, we investigate multi-particle effects in an electronic Mach-Zehnder interferometer driven by dynamic voltage pulses. To this end, we employ a Floquet scattering formalism to evaluate the interference current and the visibility in the outputs of the interferometer. An injected multi-particle state can be described by its first-order correlation function, which we decompose into a sum of elementary correlation functions that each represent a single particle. Each particle in the pulse contributes independently to the interference current, while the visibility (determined by the maximal interference current) exhibits a Fraunhofer-like diffraction pattern caused by the multi-particle interference between different particles in the pulse. For a sequence of multi-particle pulses, the visibility resembles the diffraction pattern from a grid, with the role of the grid and the spacing between the slits being played by the pulses and the time delay between them. Our findings may be observed in future experiments by injecting multi-particle pulses into an electronic Mach-Zehnder interferometer.


title: A non-singular boundary element method for interactions between acoustical field sources and structures

abstract: Localized point sources (monopoles) in an acoustical domain are implemented to a three dimensional non-singular Helmholtz boundary element method in the frequency domain. It allows for the straightforward use of higher order surface elements on the boundaries of the problem. It will been shown that the effect of the monopole sources ends up on the right hand side of the resulting matrix system. Some carefully selected examples are studied, such as point sources near and within a concentric spherical core-shell scatterer (with theoretical verification), near a curved focusing surface and near a multi-scale and multi-domain acoustic lens.

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


title: Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Technical Report)

abstract: Logic-based approaches to AI have the advantage that their behavior can in principle be explained to a user. If, for instance, a Description Logic reasoner derives a consequence that triggers some action of the overall system, then one can explain such an entailment by presenting a proof of the consequence in an appropriate calculus. How comprehensible such a proof is depends not only on the employed calculus, but also on the properties of the particular proof, such as its overall size, its depth, the complexity of the employed sentences and proof steps, etc. For this reason, we want to determine the complexity of generating proofs that are below a certain threshold w.r.t. a given measure of proof quality. Rather than investigating this problem for a fixed proof calculus and a fixed measure, we aim for general results that hold for wide classes of calculi and measures. In previous work, we first restricted the attention to a setting where proof size is used to measure the quality of a proof. We then extended the approach to a more general setting, but important measures such as proof depth were not covered. In the present paper, we provide results for a class of measures called recursive, which yields lower complexities and also encompasses proof depth. In addition, we close some gaps left open in our previous work, thus providing a comprehensive picture of the complexity landscape.


title: Mobsimilarity: Vector Graph Optimization for Mobility Tableau Comparison

abstract: Human mobility similarity comparison plays a critical role in mobility estimation/prediction model evaluation, mobility clustering and mobility matching, which exerts an enormous impact on improving urban mobility, accessibility, and reliability. By expanding origin-destination matrix, we propose a concept named mobility tableau, which is an aggregated tableau representation to the population flow distributed between different location pairs of a study site and can be represented by a vector graph. Compared with traditional OD matrix-based mobility comparison, mobility tableau comparison provides high-dimensional similarity information, including volume similarity, spatial similarity, mass inclusiveness and structure similarity. A novel mobility tableaus similarity measurement method is proposed by optimizing the least spatial cost of transforming the vector graph for one mobility tableau into the other and is optimized to be efficient. The robustness of the measure is supported through several sensitive analysis on GPS based mobility tableau. The better performance of the approach compared with traditional mobility comparison methods in two case studies demonstrate the practicality and superiority, while one study is estimated mobility tableaus validation and the other is different cities' mobility tableaus comparison.


title: Mixture models for spherical data with applications to protein bioinformatics

abstract: Finite mixture models are fitted to spherical data. Kent distributions are used for the components of the mixture because they allow considerable flexibility. Previous work on such mixtures has used an approximate maximum likelihood estimator for the parameters of a single component. However, the approximation causes problems when using the EM algorithm to estimate the parameters in a mixture model. Hence the exact maximum likelihood estimator is used here for the individual components. This paper is motivated by a challenging prize problem in structural bioinformatics of how proteins fold. It is known that hydrogen bonds play a key role in the folding of a protein. We explore this hydrogen bond geometry using a data set describing bonds between two amino acids in proteins. An appropriate coordinate system to represent the hydrogen bond geometry is proposed, with each bond represented as a point on a sphere. We fit mixtures of Kent distributions to different subsets of the hydrogen bond data to gain insight into how the secondary structure elements bond together, since the distribution of hydrogen bonds depends on which secondary structure elements are involved.


title: A new proof of compactness in G(S)BD

abstract: We prove a compactness result in GBD which also provides a new proof of the compactness theorem in GSBD, due to Chambolle and Crismale [5, Theorem 1.1]. Our proof is based on a Fr\'echet-Kolmogorov compactness criterion and does not rely on Korn or Poincar\'e-Korn inequalities.


title: Disorder-induced vibrational anomalies from crystalline to amorphous solids

abstract: The origin of boson peak -- an excess of density of states over Debye's model in glassy solids -- is still under intense debate, among which some theories and experiments suggest that boson peak is related to van-Hove singularity. Here we show that boson peak and van-Hove singularity are well separated identities, by measuring the vibrational density of states of a two-dimensional granular system, where packings are tuned gradually from a crystalline, to polycrystals, and to an amorphous material. We observe a coexistence of well separated boson peak and van-Hove singularities in polycrystals, in which the van-Hove singularities gradually shift to higher frequency values while broadening their shapes and eventually disappear completely when the structural disorder $\eta$ becomes sufficiently high. By analyzing firstly the strongly disordered system ($\eta=1$) and the disordered granular crystals ($\eta=0$), and then systems of intermediate disorder with $\eta$ in between, we find that boson peak is associated with spatially uncorrelated random flucutations of shear modulus $\delta G/\langle G \rangle$ whereas the smearing of van-Hove singularities is associated with spatially correlated fluctuations of shear modulus $\delta G/\langle G \rangle$.


title: Existence and uniqueness of Rayleigh waves in isotropic elastic Cosserat materials and algorithmic aspects

abstract: We discuss the propagation of surface waves in an isotropic half space modelled with the linear Cosserat theory of isotropic elastic materials. To this aim we use a method based on the algebraic analysis of the surface impedance matrix and on the algebraic Riccati equation, and which is independent of the common Stroh formalism. Due to this method, a new algorithm which determines the amplitudes and the wave speed in the theory of isotropic elastic Cosserat materials is described. Moreover, the method allows to prove the existence and uniqueness of a subsonic solution of the secular equation, a problem which remains unsolved in almost all generalised linear theories of elastic materials. Since the results are suitable to be used for numerical implementations, we propose two numerical algorithms which are viable for any elastic material. Explicit numerical calculations are made for alumunium-epoxy in the context of the Cosserat model. Since the novel form of the secular equation for isotropic elastic material has not been explicitly derived elsewhere, we establish it in this paper, too.


title: Block Access Control in Wireless Blockchain Network: Design, Modeling and Analysis

abstract: Wireless blockchain network is proposed to enable a decentralized and safe wireless networks for various blockchain applications. To achieve blockchain consensus in wireless network, one of the important steps is to broadcast new block using wireless channel. Under wireless network protocols, the block transmitting will be affected significantly. In this work, we focus on the consensus process in blockchain-based wireless local area network (B-WLAN) by investigating the impact of the media access control (MAC) protocol, CSMA/CA. With the randomness of the backoff counter in CSMA/CA, it is possible for latter blocks to catch up or outpace the earlier one, which complicates blockchain forking problem. In view of this, we propose mining strategies to pause mining for reducing the forking probability, and a discard strategy to remove the forking blocks that already exist in CSMA/CA backoff procedure. Based on the proposed strategies, we design Block Access Control (BAC) approaches to effectively schedule block mining and transmitting for improving the performance of B-WLAN. Then, Markov chain models are presented to conduct performance analysis in B-WLAN. The results show that BAC approaches can help the network to achieve a high transaction throughput while improving block utilization and saving computational power. Meanwhile, the trade-off between transaction throughput and block utilization is demonstrated, which can act as a guidance for practical deployment of blockchain.


title: Upper bounds on transport exponents for long range operators

abstract: We present a simple method, not based on the transfer matrices, to prove vanishing of dynamical transport exponents. The method is applied to long range quasiperiodic operators.


title: Using the structural kinome to systematize kinase drug discovery

abstract: Kinase-targeted drug design is challenging. It requires designing inhibitors that can bind to specific kinases when all kinase catalytic domains share a common folding scaffold that binds ATP. Thus, obtaining the desired selectivity, given the whole human kinome, is a fundamental task during early-stage drug discovery. This begins with deciphering the kinase-ligand characteristics, analyzing the structure-activity relationships, and prioritizing the desired drug molecules across the whole kinome. Currently, there are more than 300 kinases with released PDB structures, which provides a substantial structural basis to gain these necessary insights. Here, we review in silico structure-based methods - notably, a function-site interaction fingerprint approach used in exploring the complete human kinome. In silico methods can be explored synergistically with multiple cell-based or protein-based assay platforms such as KINOMEscan. We conclude with new drug discovery opportunities associated with kinase signaling networks and using machine/deep learning techniques broadly referred to as structural biomedical data science.


title: Quadratic Optimization-Based Nonlinear Control for Protein Conformation Prediction

abstract: Predicting the final folded structure of protein molecules and simulating their folding pathways is of crucial importance for designing viral drugs and studying diseases such as Alzheimer's at the molecular level. To this end, this paper investigates the problem of protein conformation prediction under the constraint of avoiding high-entropy-loss routes during folding. Using the well-established kinetostatic compliance (KCM)-based nonlinear dynamics of a protein molecule, this paper formulates the protein conformation prediction as a pointwise optimal control synthesis problem cast as a quadratic program (QP). It is shown that the KCM torques in the protein folding literature can be utilized for defining a reference vector field for the QP-based control generation problem. The resulting kinetostatic control torque inputs will be close to the KCM-based reference vector field and guaranteed to be constrained by a predetermined bound; hence, high-entropy-loss routes during folding are avoided while the energy of the molecule is decreased.


title: Revisiting the archetypical wind accretor Vela X-1 in depth -- A case study of a well-known X-ray binary and the limits of our knowledge

abstract: Context: Vela X-1 is one of the best studied X-ray binaries. Frequently though, specific values for its parameters have been used in subsequent studies without considering alternatives. Aims: We aim to provide a robust compilation and synthesis of the accumulated knowledge about Vela X-1 as a solid baseline for future studies and identify specific avenues of possible future research. Methods: We explore the literature for Vela X-1 and on modelling efforts, describing the evolution of the system knowledge. We also add information derived from public data, especially the Gaia EDR3 release. Results: We update the distance to Vela X-1, the spectral classification for HD 77518 and find that the supergiant may be very close to filling its Roche lobe. Constraints on the clumpiness of the stellar wind have improved. The orbit is very well determined, but the uncertain inclination limits information on the neutron star mass. Estimates for the stellar wind have evolved towards lower velocities, supporting the idea of transient wind-captured disks around the neutron star. Hydrodynamic models and observations are consistent with an accretion wake trailing the neutron star. Conclusions: Vela X-1 is an excellent laboratory, but a lot of room remains to improve. Well-coordinated multi-wavelength observations and campaigns addressing the intrinsic variability are required. New opportunities will arise through new instrumentation. Models of the stellar wind should account for the orbital eccentricity and the non-spherical shape of HD 77581. Realistic multi-dimensional models of radiative transfer in the UV and X-rays are needed, but remain very challenging. Improved MHD models covering a wide range of scales would be required to improve understanding of the plasma-magnetosphere coupling. A full characterization of the accretion column remains another open challenge. (Abbreviated for arXiv)


title: Real-time safety assessment of trajectories for autonomous driving

abstract: Autonomous vehicles (AVs) must always have a safe motion to guarantee that they are not causing any accidents. In an AV system, the motion of the vehicle is represented as a trajectory. A trajectory planning component is responsible to compute such a trajectory at run-time, taking into account the perception information about the environment, the dynamics of the vehicles, the predicted future states of other road users and a number of safety aspects. Due to the enormous amount of information to be considered, trajectory planning algorithms are complex, which makes it non-trivial to guarantee the safety of all planned trajectories. In this way, it is necessary to have an extra component to assess the safety of the planned trajectories at run-time. Such trajectory safety assessment component gives a diverse observation on the safety of AV trajectories and ensures that the AV only follows safe trajectories. We use the term trajectory checker to refer to the trajectory safety assessment component. The trajectory checker must evaluate planned trajectories against various safety rules, taking into account a large number of possibilities, including the worst-case behavior of other traffic participants. This must be done while guaranteeing hard real-time performance since the safety assessment is carried out while the vehicle is moving and in constant interaction with the environment. In this paper, we present a prototype of the trajectory checker we have developed at IVEX. We show how our approach works smoothly and accomplishes real-time constraints embedded in an Infineon Aurix TC397B automotive platform. Finally, we measure the performance of our trajectory checker prototype against a set of NCAPS-inspired scenarios.


title: Herschel observations of extraordinary sources: Full Herschel/HIFI molecular line survey of Sagittarius B2(M)

abstract: We present a full analysis of a broadband spectral line survey of Sagittarius B2 (Main), one of the most chemically rich regions in the Galaxy located within the giant molecular cloud complex Sgr B2 in the Central Molecular Zone. Our goal is to derive the molecular abundances and temperatures of the high-mass star-forming region Sgr B2(M) and thus its physical and astrochemical conditions. Sgr B2(M) was observed using the Heterodyne Instrument for the Far-Infrared (HIFI) on board the Herschel Space Observatory in a spectral line survey from 480 to 1907 GHz at a spectral resolution of 1.1 MHz, which provides one of the largest spectral coverages ever obtained toward this high-mass star-forming region in the submillimeter with high spectral resolution and includes frequencies > 1 THz unobservable from the ground. We model the molecular emission from the submillimeter to the far-IR using the XCLASS program. For each molecule, a quantitative description was determined taking all emission and absorption features of that species across the entire spectral range into account. Additionally, we derive velocity resolved ortho / para ratios for those molecules for which ortho and para resolved molecular parameters are available. Finally, the temperature and velocity distributions are analyzed and the derived abundances are compared with those obtained for Sgr B2(N) from a similar HIFI survey. A total of 92 isotopologues were identified, arising from 49 different molecules, ranging from free ions to complex organic compounds and originating from a variety of environments from the cold envelope to hot and dense gas within the cores. Sulfur dioxide, methanol, and water are the dominant contributors. For the ortho / para ratios we find deviations from the high temperature values between 13 and 27 %. In total 14 % of all lines remain unidentified.


title: Prediction of anomalous LA-TA splitting in electrides

abstract: Electrides are an emerging class of materials with excess electrons localized in interstices and acting as anionic interstitial quasi-atoms (ISQs). The spatial ion-electron separation means that electrides can be treated physically as ionic crystals, and this unusual behavior leads to extraordinary physical and chemical phenomena. Here, a completely different effect in electrides is predicted. By recognizing the long-range Coulomb interactions between matrix atoms and ISQs that are unique in electrides, a nonanalytic correction to the forces exerted on matrix atoms is proposed. This correction gives rise to an LA-TA splitting in the acoustic branch of lattice phonons near the zone center, similar to the well-known LO-TO splitting in the phonon spectra of ionic compounds. The factors that govern this splitting are investigated, with isotropic fcc-Li and anisotropic hP4-Na as the typical examples. It is found that not all electrides can induce a detectable splitting, and criteria are given for this type of splitting. The present prediction unveils the rich phenomena in electrides and could lead to unprecedented applications.

categories: cond-mat.mtrl-sci cond-mat.other physics.chem-ph physics.comp-ph


title: The orbit and nature of the semi-detached stellar companion of Sgr A* super-massive blackhole

abstract: In three previous papers I showed that the series of the midpoints of the times of all the X-ray flares of Sgr A* that have been detected so far harbor a statistical trend termed pacemaker regularity. This means that X-ray flares are detected more frequently around time points that are a subset of a periodic grid on the time axis of period P_X=0.1032 day=149 minutes. The series of the times of detection of the peaks of near IR (NIR) flares of the object are also regulated by a pacemaker with a period of P_IR=0.028 day=41 minutes. Here, I show that the series of the midpoints of the times of recorded NIR flares are also regulated by a pacemaker of the period P_IRM=0.039 day=56 minutes. The two pacemakers found in the previous papers were interpreted as signals of a star that revolves around the black hole of Sgr A* in orbit with a mean radius of ~3.2 Schwarzschild radii of the black hole, here corrected to ~3.13. The finding of the period of the third pacemaker is consistent with the suggested revolving star model. Here, I present the specific orbit of the star as well as a plausible description of its sidereal rotation. The model also implies that the star has an unusual internal structure. I show that the discovery of the GRAVITY collaboration of the motion of hotspots at distances from the black hole that are of the order of very few Schwarzschild radii of it may well be understood within the context of the revolving star model.


title: Approximation by Lipschitz functions

abstract: On any metric space, I provide an intrinsic characterization of those complex-valued functions which are uniform limits of Lipschitz functions. There are applications to function theory on complete Riemannian manifolds and, in particular, on bounded symmetric domains in complex Euclidean space.


title: On the order of Dehn twists

abstract: This note records the order of a higher dimensional Dehn twist in a range of topologically significant groups.


title: Watershed of Artificial Intelligence: Human Intelligence, Machine Intelligence, and Biological Intelligence

abstract: This article reviews the "Once learning" mechanism that was proposed 23 years ago and the subsequent successes of "One-shot learning" in image classification and "You Only Look Once - YOLO" in objective detection. Analyzing the current development of Artificial Intelligence (AI), the proposal is that AI should be clearly divided into the following categories: Artificial Human Intelligence (AHI), Artificial Machine Intelligence (AMI), and Artificial Biological Intelligence (ABI), which will also be the main directions of theory and application development for AI. As a watershed for the branches of AI, some classification standards and methods are discussed: 1) Human-oriented, machine-oriented, and biological-oriented AI R&D; 2) Information input processed by Dimensionality-up or Dimensionality-reduction; 3) The use of one/few or large samples for knowledge learning.


title: Linker Functionalization in MIL-47(V)-R Metal-Organic Frameworks: Understanding the Electronic Structure

abstract: Metal-Organic Frameworks (MOFs) have gained much interest due to their intrinsic tunable nature. In this work, we study how linker functionalization modifies the electronic structure of the host MOF, more specifically the MIL-47(V)-R (R=-F, -Cl, -Br, -OH, -CH$_3$, -CF$_3$, and -OCH$_3$). It is shown that the presence of a functional group leads to a splitting of the $\pi$-orbital on the linker. Moreover, the upward shift of the split-off $\pi$-band correlates well with the electron withdrawing/donating nature of the functional groups. For halide functional groups the presence of lone-pair back donation is corroborated by calculated Hirshfeld-I charges. In case of the ferromagnetic configuration of the host MIL-47(V$^{\mathrm{+IV}}$) material a half-metal to insulator transition is noted for the -Br, -OCH$_3$, and -OH functional groups, while for the anti-ferromagnetic configuration only the hydroxy-group results in an effective reduction of the band gap.


title: Narrow waveguide based on ferroelectric domain wall

abstract: Ferroelectric materials are spontaneous symmetry breaking systems characterized by ordered electric polarizations. Similar to its ferromagnetic counterpart, a ferroelectric domain wall can be regarded as a soft interface separating two different ferroelectric domains. Here we show that two bound state excitations of electric polarization (polar wave), or the vibration and breathing modes, can be hosted and propagate within the ferroelectric domain wall. Specially, the vibration polar wave has zero frequency gap, thus is constricted deeply inside ferroelectric domain wall, and can propagate even in the presence of local pinnings. The ferroelectric domain wall waveguide as demonstrated here, offers new paradigm in developing ferroelectric information processing units.


title: Deformed black hole immersed in dark matter spike

abstract: If a lot of dark matter particles accumulate near the black hole, then the chances of detecting dark matter signals near a black hole are greatly increased. These effects may be observed by the Event Horizon Telescope (EHT), Tianqin project, Taiji project, Laser Interferometer Space Antenna (LISA) and Laser Interferometer Gravitational-Wave Observatory (LIGO). In this work, we explore the effects of dark matter spikes on black hole space-time. For the Schwarzschild-like black hole case, we consider Newton$'$s approximation and perturbation approximation. This makes it possible to use Xu$'$s method to solve the Einstein field equation, and extend Schwarzschild-like black hole to Kerr-like black hole (BH) via Newman-Janis (NJ) algorithm. By analyzing the dark matter spike on the black hole event horizon (EH), stationary limit surfaces (SLS), ergosphere and energy-momentum tensors (EMT), we found that compared with the dark matter halo, the dark matter spike would have a higher effect on the black hole by several orders of magnitude. Therefore, if there is a dark matter spike near the black hole, it is very possible to test the dark matter model through gravitational wave (GW) observation and EHT observation.


title: Search and Competition with Flexible Investigations

abstract: We modify the standard model of price competition with horizontally differentiated products, imperfect information, and search frictions by allowing consumers to flexibly acquire information about a product's match value during their visits. We characterize a consumer's optimal search and information acquisition protocol and analyze the pricing game between firms. Notably, we establish that in search markets there are fundamental differences between search frictions and information frictions, which affect market prices, profits, and consumer welfare in markedly different ways. Although higher search costs beget higher prices (and profits for firms), higher information acquisition costs lead to lower prices and may benefit consumers. We discuss implications of our findings for policies concerning disclosure rules and hidden fees.


title: Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods

abstract: We introduce polynomial couplings, a generalization of probabilistic couplings, to develop an algorithm for the computation of equivalence relations which can be interpreted as a lifting of probabilistic bisimulation to polynomial differential equations, a ubiquitous model of dynamical systems across science and engineering. The algorithm enjoys polynomial time complexity and complements classical partition-refinement approaches because: (a) it implements a local exploration of the system, possibly yielding equivalences that do not necessarily involve the inspection of the whole system of differential equations; (b) it can be enhanced by up-to techniques; and (c) it allows the specification of pairs which ought not to be included in the output. Using a prototype, these advantages are demonstrated on case studies from systems biology for applications to model reduction and comparison. Notably, we report four orders of magnitude smaller runtimes than partition-refinement approaches when disproving equivalences between Markov chains.


title: Observation of dislocation-induced topological modes in a three-dimensional acoustic topological insulator

abstract: The interplay between real-space topological lattice defects and the reciprocal-space topology of energy bands can give rise to novel phenomena, such as one-dimensional topological modes bound to screw dislocations in three-dimensional topological insulators. We obtain direct experimental observations of dislocation-induced helical modes in an acoustic analog of a weak three-dimensional topological insulator. The spatial distribution of the helical modes is found through spin-resolved field mapping, and verified numerically by tight-binding and finite-element calculations. These one-dimensional helical channels can serve as robust waveguides in three-dimensional media. Our experiment paves the way to studying novel physical modes and functionalities enabled by topological lattice defects in three-dimensional classical topological materials.


title: Communicating with Extremely Large-Scale Array/Surface: Unified Modelling and Performance Analysis

abstract: Wireless communications with extremely large-scale array (XL-array) correspond to systems whose antenna sizes are so large that conventional modelling assumptions, such as uniform plane wave (UPW) impingement, are longer valid. This paper studies the mathematical modelling and performance analysis of XL-array communications. By deviating from the conventional modelling approach that treats the array elements as sizeless points, we explicitly model their physical area/aperture, which enables a unified modelling for the classical discrete antenna arrays and the emerging continuous surfaces. As such, a generic array/surface model that accurately takes into account the variations of signal phase, amplitude and projected aperture across array elements is proposed. Based on the proposed model, a closed-form expression of the resulting SNR with the optimal single-user MRC/MRT beamforming is derived. The expression reveals that instead of scaling linearly with the antenna number M as in conventional UPW modelling, the SNR with the more generic model increases with M with diminishing return, which is governed by the collective properties of the array, such as the array occupation ratio and the physical sizes of the array along each dimension, while irrespective of the properties of the individual array element. Additionally, we have derived an alternative insightful expression for the optimal SNR in terms of the vertical and horizontal angular spans. Furthermore, we also show that our derived results include the far-field UPW modelling as a special case. One important finding during the study of far-field approximation is the necessity to introduce a new distance criterion to complement the classical Rayleigh distance, termed uniform-power distance (UPD), which concerns the signal amplitude/power variations across array elements, instead of phase variations as for Rayleigh distance.


title: $n$-point correlators of twist-$2$ operators in $SU(N)$ Yang-Mills theory to the lowest perturbative order

abstract: We compute, to the lowest perturbative order in $SU(N)$ Yang-Mills theory, $n$-point correlators in the coordinate and momentum representation of the gauge-invariant twist-$2$ operators with maximal spin along the $p_+$ direction, both in Minkowskian and -- by analytic continuation -- Euclidean space-time. We also construct the corresponding generating functionals. Remarkably, they have the structure of the logarithm of a functional determinant of the identity plus a term involving the effective propagators that act on the appropriate source fields.


title: UoT-UWF-PartAI at SemEval-2021 Task 5: Self Attention Based Bi-GRU with Multi-Embedding Representation for Toxicity Highlighter

abstract: Toxic Spans Detection(TSD) task is defined as highlighting spans that make a text toxic. Many works have been done to classify a given comment or document as toxic or non-toxic. However, none of those proposed models work at the token level. In this paper, we propose a self-attention-based bidirectional gated recurrent unit(BiGRU) with a multi-embedding representation of the tokens. Our proposed model enriches the representation by a combination of GPT-2, GloVe, and RoBERTa embeddings, which led to promising results. Experimental results show that our proposed approach is very effective in detecting span tokens.


title: Three Dimensional Simulation of Oscillatory Flow in Partial Porous Tube

abstract: Characteristics of Oscillating Flow in a Straight Tube with varying thickness of porous layer at the wall is studied. Results for two different porous layer is discussed and compared in terms of Velocity Profile, phase differences and radial position of maximum velocity over the cross-section. Present problem is modeled using Navier-Stokes Equation in clear medium at the core of tube while Darcy-BrinkmannForcheimmer Model is used for the outer porous layer. Solutions for these equations have been obtained using Finite Volume Method based 3D unstructured solver. Velocity profile obtained for tube with high permeability porous layer is the main highlight of results.


title: A unified framework for Hamiltonian deep neural networks

abstract: Training deep neural networks (DNNs) can be difficult due to the occurrence of vanishing/exploding gradients during weight optimization. To avoid this problem, we propose a class of DNNs stemming from the time discretization of Hamiltonian systems. The time-invariant version of the corresponding Hamiltonian models enjoys marginal stability, a property that, as shown in previous works and for specific DNNs architectures, can mitigate convergence to zero or divergence of gradients. In the present paper, we formally study this feature by deriving and analysing the backward gradient dynamics in continuous time. The proposed Hamiltonian framework, besides encompassing existing networks inspired by marginally stable ODEs, allows one to derive new and more expressive architectures. The good performance of the novel DNNs is demonstrated on benchmark classification problems, including digit recognition using the MNIST dataset.


title: Towards an efficient inverse static model of a Festo actuator made of two antagonist muscles for hybrid control of its position and stiffness

abstract: The Festo air muscle is today one of the most known commercial version of the so-called McKibben pneumatic artificial muscle. A major advantage of handmade McKibben muscles, as well as its commercial versions, lies in the possibility it offers of realizing antagonist muscle actuator on the model of the biceps-triceps system. If pressures are independently controlled in each artificial muscle, it is then possible to define a position-stiffness control of the antagonist actuator by analogy with natural neural control of antagonist skeletal muscles. Such a control however requires a knowledge model of the actuator making possible a stiffness estimation provided by control pressures, while position closed-loop control is facilitated by a feedforward model of this highly nonlinear actuation device. We discuss this issue in the particular case of the antagonist Festo air muscle actuator, and we propose a simplified static actuator model derived from the classic static theoretical model of the McKibben artificial muscle, simple enough for a future MIMO position-stiffness controller be able to integrate it. If the proposed model highlights the ability of the antagonist Festo muscle actuator to mimic the stiffness neural control by the mean of the sum of pressures inside artificial muscles, it also highlights the difficulty to derive a simple but accurate model of the static force produced by Festo muscle in the full control range of pressure. The reported results suggest that it would be particularly interesting to derive advantage from numerous studies about Festo muscle modelling to go further in order to find such an inverse actuator model including an accurate estimation of the actuator stiffness.


title: dEchorate: a Calibrated Room Impulse Response Database for Echo-aware Signal Processing

abstract: This paper presents dEchorate: a new database of measured multichannel Room Impulse Responses (RIRs) including annotations of early echo timings and 3D positions of microphones, real sources and image sources under different wall configurations in a cuboid room. These data provide a tool for benchmarking recent methods in echo-aware speech enhancement, room geometry estimation, RIR estimation, acoustic echo retrieval, microphone calibration, echo labeling and reflectors estimation. The database is accompanied with software utilities to easily access, manipulate and visualize the data as well as baseline methods for echo-related tasks.


title: The JSNS^2 Detector

abstract: The JSNS^2 (J-PARC Sterile Neutrino Search at J-PARC Spallation Neutron Source) experiment aims to search for oscillations involving a sterile neutrino in the eV^2 mass-splitting range. The experiment will search for the appearance of electron antineutrinos oscillated from muon antineutrinos. The electron antineutrinos are detected via the inverse beta decay process using a liquid scintillator detector. A 1MW beam of 3 GeV protons incident on a spallation neutron target produces an intense and pulsed neutrino source from pion, muon, and kaon decay at rest. The JSNS^2 detector is located 24 m away from the neutrino source and began operation from June 2020. The detector contains 17 tonnes of gadolinium (Gd) loaded liquid scintillator (LS) in an acrylic vessel, as a neutrino target. It is surrounded by 31 tonnes of unloaded LS in a stainless steel tank. Optical photons produced in LS are viewed by 120 R7081 Hamamatsu 10-inch Photomultiplier Tubes (PMTs). In this paper, we describe the JSNS^2 detector design, construction, and operation.


title: On the distribution of $\alpha p$ modulo one in quadratic number fields

abstract: We investigate the distribution of $\alpha p$ modulo one in quadratic number fields $\mathbb{K}$ with class number one, where $p$ is restricted to prime elements in the ring of integers of $\mathbb{K}$. Here we improve the relevant exponent $1/4$ obtained by the first and third named authors for imaginary quadratic number fields \cite{BT} and by the first and second named authors for real quadratic number fields \cite{BM} to $7/22$. This generalizes a result of Harman \cite{HarZi} who obtained the same exponent $7/22$ for $\mathbb{Q}(i)$ by extending his method which gave this exponent for $\mathbb{Q}$ \cite{harman1996on-the-distribu}. Our proof is based on an extension of his sieve method to arbitrary number fields. Moreover, we need an asymptotic evaluation of certain smooth sums over prime ideals appearing in \cite{BM}, for which we use analytic properties of Hecke L-functions with Gr\"o\ss encharacters.


title: Structured Sparse Non-negative Matrix Factorization with L20-Norm for scRNA-seq Data Analysis

abstract: Non-negative matrix factorization (NMF) is a powerful tool for dimensionality reduction and clustering. Unfortunately, the interpretation of the clustering results from NMF is difficult, especially for the high-dimensional biological data without effective feature selection. In this paper, we first introduce a row-sparse NMF with $\ell_{2,0}$-norm constraint (NMF_$\ell_{20}$), where the basis matrix $W$ is constrained by the $\ell_{2,0}$-norm, such that $W$ has a row-sparsity pattern with feature selection. It is a challenge to solve the model, because the $\ell_{2,0}$-norm is non-convex and non-smooth. Fortunately, we prove that the $\ell_{2,0}$-norm satisfies the Kurdyka-\L{ojasiewicz} property. Based on the finding, we present a proximal alternating linearized minimization algorithm and its monotone accelerated version to solve the NMF_$\ell_{20}$ model. In addition, we also present a orthogonal NMF with $\ell_{2,0}$-norm constraint (ONMF_$\ell_{20}$) to enhance the clustering performance by using a non-negative orthogonal constraint. We propose an efficient algorithm to solve ONMF_$\ell_{20}$ by transforming it into a series of constrained and penalized matrix factorization problems. The results on numerical and scRNA-seq datasets demonstrate the efficiency of our methods in comparison with existing methods.


title: From quantum hydrodynamics to Koopman wavefunctions II

abstract: Based on the Koopman-van Hove (KvH) formulation of classical mechanics introduced in Part I, we formulate a Hamiltonian model for hybrid quantum-classical systems. This is obtained by writing the KvH wave equation for two classical particles and applying canonical quantization to one of them. We illustrate several geometric properties of the model regarding the associated quantum, classical, and hybrid densities. After presenting the quantum-classical Madelung transform, the joint quantum-classical distribution is shown to arise as a momentum map for a unitary action naturally induced from the van Hove representation on the hybrid Hilbert space. While the quantum density matrix is positive by construction, no such result is currently available for the classical density. However, here we present a class of hybrid Hamiltonians whose flow preserves the sign of the classical density. Finally, we provide a simple closure model based on momentum map structures.

categories: math-ph math.MP math.SG physics.chem-ph quant-ph


title: Question-Aware Memory Network for Multi-hop Question Answering in Human-Robot Interaction

abstract: Knowledge graph question answering is an important technology in intelligent human-robot interaction, which aims at automatically giving answer to human natural language question with the given knowledge graph. For the multi-relation question with higher variety and complexity, the tokens of the question have different priority for the triples selection in the reasoning steps. Most existing models take the question as a whole and ignore the priority information in it. To solve this problem, we propose question-aware memory network for multi-hop question answering, named QA2MN, to update the attention on question timely in the reasoning process. In addition, we incorporate graph context information into knowledge graph embedding model to increase the ability to represent entities and relations. We use it to initialize the QA2MN model and fine-tune it in the training process. We evaluate QA2MN on PathQuestion and WorldCup2014, two representative datasets for complex multi-hop question answering. The result demonstrates that QA2MN achieves state-of-the-art Hits@1 accuracy on the two datasets, which validates the effectiveness of our model.


title: Poncelet Plectra: Harmonious Curves in Cosine Space

abstract: It has been shown that the family of Poncelet N-gons in the confocal pair (elliptic billiard) conserves the sum of cosines of its internal angles. Curiously, this quantity is equal to the sum of cosines conserved by its affine image where the caustic is a circle. We show that furthermore, (i) when N=3, the cosine triples of both families sweep the same planar curve: an equilateral cubic resembling a plectrum (guitar pick). We also show that (ii) the family of triangles excentral to the confocal family conserves the same product of cosines as the one conserved by its affine image inscribed in a circle; and that (iii) cosine triples of both families sweep the same spherical curve. When the triple of log-cosines is considered, this curve becomes a planar, plectrum-shaped curve, rounder than the one swept by its parent confocal family.


title: C-Ports: a proposal for a comprehensive standardization and implementation plan of digital services offered by the "Port of the Future"

abstract: In this paper we address the topic of a possible path to standardize the ICT services expected to be delivered by the so-called "Port of the Future". How the most relevant technologies and Information Systems are used by the Port Communities for their businesses is discussed together with a detailed analysis of the on-going actions carried on by Standard Setting Organizations. Considering the examples given by the C-ITS Platform and the C-Roads programme at EU level, a proposal of contents to be considered in a comprehensive standardization action is given. The innovation services are therefore grouped into four bundles: (i) Vessel \& Marine Navigation, (ii) e-Freight \& (Intermodal) Logistics, (iii) Passenger Transport, (iv) Environmental sustainability. The standardized version of these applications will be finally labeled as C-Port services. Alongside the standardization plan, a proposal for ranking the ports on the basis of a specially-defined C- Port vector is discussed with the purpose of addressing the well-known lack of consensus around the mathematical definition of the Smart Port Index. Considering the good practice and the background offered by the Port of Livorno in terms of innovation actions, the prospected final user applications are then labeled as Day 1, Day 1.5, and Day 2 services in consideration of the technical and commercial gaps to be filled. As a case study about the evolution in the C-Port vector experienced by the Port of Livorno in the last years will also be discussed.


title: Coupled activity-current fluctuations in open quantum systems under strong symmetries

abstract: Strong symmetries in open quantum systems lead to broken ergodicity and the emergence of multiple degenerate steady states. From a quantum jump (trajectory) perspective, the appearance of multiple steady states is related to underlying dynamical phase transitions (DPTs) at the fluctuating level, leading to a dynamical coexistence of different transport channels classified by symmetry. In this paper, we investigate how strong symmetries affect both the transport properties and the activity patterns of a particular class of Markovian open quantum system, a three-qubit model under the action of a magnetic field and in contact with a thermal bath. We find a pair of twin DPTs in exciton current statistics, induced by the strong symmetry and related by time reversibility, where a zero-current exchange-antisymmetric phase coexists with a symmetric phase of negative exciton current. On the other hand, the activity statistics exhibits a single DPT where the symmetric and antisymmetric phases of different but nonzero activities dynamically coexists. The presence of a strong symmetry under non-equilibrium conditions implies non-analyticities in the dynamical free energy in the dual activity-current plane, including an activity-driven current lockdown phase for activities below some critical threshold. Finally, we also study the effect of a symmetry-breaking, ergodicity-restoring dephasing channel on the coupled activity-current statistics for this model. Interestingly, we observe that while this dephasing noise destroys the symmetry-induced DPTs, the underlying topological symmetry leaves a dynamical fingerprint in the form of intermittent, bursty on/off dynamics between the different symmetry sectors.


title: A New Approach for Solving the Linear Complementarity Problem using Smoothing Functions

abstract: Based on smoothing techniques, we propose two new methods to solve linear complementarity problems (LCP) called TLCP and Soft-Max. The idea of these two new methods takes inspiration from interior-point methods in optimization. The technique that we propose avoids any parameter management while ensuring good theoretical convergence results. In our approach we do not need any complicated strategy to update the smoothing parameter r since we will consider it as a new variable. Our methods are validated by extensive numerical tests, in which we compare our methods to several other classical methods.


title: Contact bundle formulation of nonholonomic Maupertuis-Jacobi principle and a length minimizing property of nonholonomic dynamics

abstract: We prove a nonholonomic version of the classical Mauper\-tuis-Jacobi principle which transforms an autonomous mechanical nonholonomic problem, determined by a kinetic minus potential energy and a distribution, in a kinetic nonholonomic problem over a fixed level set of the Lagrangian energy. To prove this result we introduce an appropriate contact bundle structure clarifying the geometric equivalence between both problems. By using the nonholonomic Maupertuis-Jacobi principle, we prove that the regular solutions of a mechanical nonholonomic problem starting from a fixed point and in the same level set of the Lagrangian energy are reparametrizations of geodesics for a family of Riemannian metrics defined on the image of the nonholonomic exponential map. In particular, these trajectories minimize Riemannian length.


title: Practical Output Consensus of Nonlinear Heterogeneous Multi-Agent Systems with Limited Data Rate

abstract: This paper investigates the consensus problem for nonlinear heterogeneous multi-agent systems with limited communication data rate. Each agent is modeled by a higher-order strict-feedback continuous-time system with unknown nonlinearities andexternal disturbance, and only the first state variable being measurable. Extended state observers (ESOs) are used to estimate the unmeasurable agent states and the unknown nonlinear dynamics. An ESO-based distributed output feedback protocol with dynamic encoding and decoding is then presented. It is shown that, for a connected undirected network, the proposed protocol guarantees practical output consensus, in which the steady-state consensus error can be made arbitrarily small. The ESO-based protocol also shapes the transient consensus performance, as it is capable of recovering the consensus performance of a linear counterpart with fully measurable states. Furthermore, we prove that for higher-order uncertain nonlinear multi-agent systems, consensus can be achieved with merely one bit information exchange between each pair of adjacent agents at each time step. Finally, simulations on third-order pendulum systems are given, which verify the theoretical results.


title: Controlling earthquake-like instabilities using artificial intelligence

abstract: Earthquakes are lethal and costly. This study aims at avoiding these catastrophic events by the application of injection policies retrieved through reinforcement learning. With the rapid growth of artificial intelligence, prediction-control problems are all the more tackled by function approximation models that learn how to control a specific task, even for systems with unmodeled/unknown dynamics and important uncertainties. Here, we show for the first time the possibility of controlling earthquake-like instabilities using state-of-the-art deep reinforcement learning techniques. The controller is trained using a reduced model of the physical system, i.e, the spring-slider model, which embodies the main dynamics of the physical problem for a given earthquake magnitude. Its robustness to unmodeled dynamics is explored through a parametric study. Our study is a first step towards minimizing seismicity in industrial projects (geothermal energy, hydrocarbons production, CO2 sequestration) while, in a second step for inspiring techniques for natural earthquakes control and prevention.


title: Some asymptotic properties of random walks on homogeneous spaces

abstract: Let $G$ be a connected semisimple real Lie group with finite center, and $\mu$ a probability measure on $G$ whose support generates a Zariski-dense subgroup of $G$. We consider the right $\mu$-random walk on $G$ and show that each random trajectory spends most of its time at bounded distance of a well-chosen Weyl chamber. We infer that if $G$ has rank one, and $\mu$ has a finite first moment, then for any discrete subgroup $\Lambda \subseteq G$, the $\mu$-walk and the geodesic flow on $\Lambda \backslash G$ are either both transient, or both recurrent and ergodic, thus extending a well known theorem due to Hopf-Tsuji-Sullivan-Kaimanovich dealing with the Brownian motion.


title: Modeling and Coverage Analysis for RIS-aided NOMA Transmissions in Heterogeneous Networks

abstract: Reconfigurable intelligent surface (RIS) has been regarded as a promising tool to strengthen the quality of signal transmissions in non-orthogonal multiple access (NOMA) networks. This article introduces a heterogeneous network (HetNet) structure into RIS-aided NOMA multi-cell networks. A practical user equipment (UE) association scheme for maximizing the average received power is adopted. To evaluate system performance, we provide a stochastic geometry based analytical framework, where the locations of RISs, base stations (BSs), and UEs are modeled as homogeneous Poisson point processes (PPPs). Based on this framework, we first derive the closed-form probability density function (PDF) to characterize the distribution of the reflective links created by RISs. Then, both the exact expressions and upper/lower bounds of UE association probability are calculated. Lastly, the analytical expressions of the signal-to-interference-plus-noise-ratio (SINR) and rate coverage probability are deduced. Additionally, to investigate the impact of RISs on system coverage, the asymptotic expressions of two coverage probabilities are derived. The theoretical results show that RIS length is not the decisive factor for coverage improvement. Numerical results demonstrate that the proposed RIS HetNet structure brings significant enhancement in rate coverage. Moreover, there exists an optimal combination of RISs and BSs deployment densities to maximize coverage probability.


title: Restarted activity in the 3C328 radio galaxy

abstract: As a rule, both lobes of Fanaroff-Riley (FR) type-II radio sources are terminated with hotspots, but the 3C328 radio galaxy is a specimen of an FR II-like object with a hotspot in only one lobe. A conceivable reason for such asymmetry is that the nucleus of 3C328 was temporarily inactive. There was no energy transfer from it to the lobes during the period of quiescence, and so they began to fade out. However, under the assumption that the axis connecting the two lobes makes an appreciable angle with the sky plane, and hence one is considerably farther from the observer than the other, the lobes are observed at two distinct stages of evolution due to the light-travel lag. While the far-side lobe is still perceived as being of the FR II type with a hotspot, decay of the near-side lobe is already apparent. No jets are visible in the VLA images, but the VLBA observations of the inverted-spectrum core component of 3C328 have revealed that it has a jet of a sub-arcsecond length pointing towards the lobe that shows evidence of decay. Since the jet always points to the near side, its observed orientation is in line with the scenario proposed here. The presence of the jet supports the inference that the nucleus of 3C328 is currently active; however, given the fact that the jet is short (approx. 200 pc in projection), the activity must have restarted very recently. The lower and upper limits of the quiescent period length have been calculated.


title: Efficient channel charting via phase-insensitive distance computation

abstract: Channel charting is an unsupervised learning task whose objective is to encode channels so that the obtained representation reflects the relative spatial locations of the corresponding users. It has many potential applications, ranging from user scheduling to proactive handover. In this paper, a channel charting method is proposed, based on a distance measure specifically designed to reduce the effect of small scale fading, which is an irrelevant phenomenon with respect to the channel charting task. A nonlinear dimensionality reduction technique aimed at preserving local distances (Isomap) is then applied to actually get the channel representation. The approach is empirically validated on realistic synthetic \new{multipath} MIMO channels, achieving better results than previously proposed approaches, at a lower cost.


title: From quantum hydrodynamics to Koopman wavefunctions I

abstract: Based on Koopman's theory of classical wavefunctions in phase space, we present the Koopman-van Hove (KvH) formulation of classical mechanics as well as some of its properties. In particular, we show how the associated classical Liouville density arises as a momentum map associated to the unitary action of strict contact transformations on classical wavefunctions. Upon applying the Madelung transform from quantum hydrodynamics in the new context, we show how the Koopman wavefunction picture is insufficient to reproduce arbitrary classical distributions. However, this problem is entirely overcome by resorting to von Neumann operators. Indeed, we show that the latter also allow for singular $\delta-$like profiles of the Liouville density, thereby reproducing point particles in phase space.

categories: math-ph math.MP math.SG physics.class-ph quant-ph


title: Translating surfaces under flows by sub-affine-critical powers of Gauss curvature

abstract: We construct and classify translating surfaces under flows by sub-affine-critical powers of the Gauss curvature. This result reveals all translating surfaces which model Type II singularities of closed solutions to the $\alpha$-Gauss curvature flow in $\mathbb{R}^3$ for any $\alpha >0$. To this end, we show that level sets of a translating surface under the $\alpha$-Gauss curvature flow with $\alpha \in (0,\frac{1}{4})$ converge to a closed shrinking curve to the $\frac{\alpha}{1-\alpha}$-curve shortening flow after rescaling, namely the surface is asymptotic to the graph of a homogeneous polynomial. Then, we study the moduli space of translating surfaces asymptotic to the polynomial by using slowly decaying Jacobi fields. Notice that our result is a Liouville theorem for a degenerate Monge-Am\`ere equation, $\det D^2 u=(1+|Du|^2)^{2-\frac{1}{2\alpha}}$ where $\alpha \in (0,\frac{1}{4})$.


title: A Scalable and Reproducible System-on-Chip Simulation for Reinforcement Learning

abstract: Deep Reinforcement Learning (DRL) underlies in a simulated environment and optimizes objective goals. By extending the conventional interaction scheme, this paper proffers gym-ds3, a scalable and reproducible open environment tailored for a high-fidelity Domain-Specific System-on-Chip (DSSoC) application. The simulation corroborates to schedule hierarchical jobs onto heterogeneous System-on-Chip (SoC) processors and bridges the system to reinforcement learning research. We systematically analyze the representative SoC simulator and discuss the primary challenging aspects that the system (1) continuously generates indefinite jobs at a rapid injection rate, (2) optimizes complex objectives, and (3) operates in steady-state scheduling. We provide exemplary snippets and experimentally demonstrate the run-time performances on different schedulers that successfully mimic results achieved from the standard DS3 framework and real-world embedded systems.


title: Rethinking BiSeNet For Real-time Semantic Segmentation

abstract: BiSeNet has been proved to be a popular two-stream network for real-time segmentation. However, its principle of adding an extra path to encode spatial information is time-consuming, and the backbones borrowed from pretrained tasks, e.g., image classification, may be inefficient for image segmentation due to the deficiency of task-specific design. To handle these problems, we propose a novel and efficient structure named Short-Term Dense Concatenate network (STDC network) by removing structure redundancy. Specifically, we gradually reduce the dimension of feature maps and use the aggregation of them for image representation, which forms the basic module of STDC network. In the decoder, we propose a Detail Aggregation module by integrating the learning of spatial information into low-level layers in single-stream manner. Finally, the low-level features and deep features are fused to predict the final segmentation results. Extensive experiments on Cityscapes and CamVid dataset demonstrate the effectiveness of our method by achieving promising trade-off between segmentation accuracy and inference speed. On Cityscapes, we achieve 71.9% mIoU on the test set with a speed of 250.4 FPS on NVIDIA GTX 1080Ti, which is 45.2% faster than the latest methods, and achieve 76.8% mIoU with 97.0 FPS while inferring on higher resolution images.


title: Learning low bending and low distortion manifold embeddings

abstract: Autoencoders are a widespread tool in machine learning to transform high-dimensional data into a lowerdimensional representation which still exhibits the essential characteristics of the input. The encoder provides an embedding from the input data manifold into a latent space which may then be used for further processing. For instance, learning interpolation on the manifold may be simplified via the new manifold representation in latent space. The efficiency of such further processing heavily depends on the regularity and structure of the embedding. In this article, the embedding into latent space is regularized via a loss function that promotes an as isometric and as flat embedding as possible. The required training data comprises pairs of nearby points on the input manifold together with their local distance and their local Frechet average. This regularity loss functional even allows to train the encoder on its own. The loss functional is computed via a Monte Carlo integration which is shown to be consistent with a geometric loss functional defined directly on the embedding map. Numerical tests are performed using image data that encodes different data manifolds. The results show that smooth manifold embeddings in latent space are obtained. These embeddings are regular enough such that interpolation between not too distant points on the manifold is well approximated by linear interpolation in latent space.


title: Extending Isolation Forest for Anomaly Detection in Big Data via K-Means

abstract: Industrial Information Technology (IT) infrastructures are often vulnerable to cyberattacks. To ensure security to the computer systems in an industrial environment, it is required to build effective intrusion detection systems to monitor the cyber-physical systems (e.g., computer networks) in the industry for malicious activities. This paper aims to build such intrusion detection systems to protect the computer networks from cyberattacks. More specifically, we propose a novel unsupervised machine learning approach that combines the K-Means algorithm with the Isolation Forest for anomaly detection in industrial big data scenarios. Since our objective is to build the intrusion detection system for the big data scenario in the industrial domain, we utilize the Apache Spark framework to implement our proposed model which was trained in large network traffic data (about 123 million instances of network traffic) stored in Elasticsearch. Moreover, we evaluate our proposed model on the live streaming data and find that our proposed system can be used for real-time anomaly detection in the industrial setup. In addition, we address different challenges that we face while training our model on large datasets and explicitly describe how these issues were resolved. Based on our empirical evaluation in different use-cases for anomaly detection in real-world network traffic data, we observe that our proposed system is effective to detect anomalies in big data scenarios. Finally, we evaluate our proposed model on several academic datasets to compare with other models and find that it provides comparable performance with other state-of-the-art approaches.


title: Galois connections between closure spaces

abstract: Galois connections were introduced by Ore and have proved useful in a wide variety of mathematical areas. While Galois connections play on the ground of posets (or more generally of quasiordered sets or qosets), we extend this notion to that of closure spaces.


title: Sundial-water clock of the Bronze Age (Northern Black Sea Region)

abstract: This article presents the results of a study of signs on a Bronze Age slab discovered in the vicinity of a heavily plowed mound near the settlement of Pyatikhatki. The slab belongs to the Dolmen archaeological culture. In the course of this research, it was proved that the Pyatikhatki slab is a unique measuring tool, that combines elements of sundial and water clock. It has all the cup marks of an analemmatic sundial, except for the presence of a precise analemma, which at that time, it seems, could not yet be built. The vertical gnomon moved only along the north-south line, and the time was determined approximately. Most likely, this was due to the lack of accuracy in measuring time using the water clock of that era. It is possible that it was their imperfection that was the incentive for the development of a new type of watch - a sundial, which would allow measuring time over a long period with a higher accuracy.


title: Scalable Microservice Forensics and Stability Assessment Using Variational Autoencoders

abstract: We present a deep learning based approach to containerized application runtime stability analysis, and an intelligent publishing algorithm that can dynamically adjust the depth of process-level forensics published to a backend incident analysis repository. The approach applies variational autoencoders (VAEs) to learn the stable runtime patterns of container images, and then instantiates these container-specific VAEs to implement stability detection and adaptive forensics publishing. In performance comparisons using a 50-instance container workload, a VAE-optimized service versus a conventional eBPF-based forensic publisher demonstrates 2 orders of magnitude (OM) CPU performance improvement, a 3 OM reduction in network transport volume, and a 4 OM reduction in Elasticsearch storage costs. We evaluate the VAE-based stability detection technique against two attacks, CPUMiner and HTTP-flood attack, finding that it is effective in isolating both anomalies. We believe this technique provides a novel approach to integrating fine-grained process monitoring and digital-forensic services into large container ecosystems that today simply cannot be monitored by conventional techniques


title: Effect of viscous friction on entropy, entropy production and entropy extraction rates in underdamped and overdamped media

abstract: Considering viscous friction that varies spatially and temporally, the general expressions for entropy production, free energy, and entropy extraction rates are derived to a Brownian particle that walks in an overdamped and underdamped media. Via the well known stochastic approaches to underdamped and overdamped media, the thermodynamic expressions first derived at trajectory level then generalized to an ensemble level. To study the non-equilibrium thermodynamic features of a Brownian particle that hops in a medium where its viscosity varies on time, a Brownian particle that walks on a periodic isothermal medium (in the presence or absence of load) is considered. The exact analytical results depict that in the absence of load $f=0$, the entropy production rate ${\dot e}_{p}$ approaches the entropy extraction rate ${\dot h}_{d}=0$. This is reasonable since any system which is in contact with a uniform temperature should obey the detail balance condition in a long time limit. In the presence of load and when the viscous friction decreases either spatially or temporally, the entropy $S(t)$ monotonously increases with time and saturates to a constant value as $t$ further steps up. The entropy production rate ${\dot e}_{p}$ decreases in time and at steady state (in the presence of load), ${\dot e}_{p}={\dot h}_{d}>0$. On the contrary, when the viscous friction increases either spatially or temporally, the rate of entropy production as well as the rate of entropy extraction monotonously steps up showing that such systems are inherently irreversible.


title: Predicting Adversary Lateral Movement Patterns with Deep Learning

abstract: This paper develops a predictive model for which host, in an enterprise network, an adversary is likely to compromise next in the course of a campaign. Such a model might support dynamic monitoring or defenses. We generate data for this model using simulated networks, with hosts, users, and adversaries as first-class entities. We demonstrate the predictive accuracy of the model on out-of-sample simulated data, and validate the findings against data captured from a Red Team event on a live enterprise network


title: Research Communities in cyber security: A Comprehensive Literature Review

abstract: In order to provide a coherent overview of cyber security research, the Scopus academic abstract and citation database was mined to create a citation graph of 98,373 authors active in the field between 1949 and early 2020. The Louvain community detection algorithm was applied to the graph in order to identify existing research communities. The analysis discovered twelve top-level communities: access control, authentication, biometrics, cryptography (I & II), cyber-physical systems, information hiding, intrusion detection, malwares, quantum cryptography, sensor networks, and usable security. These top-level communities were in turn composed of a total of 80 sub-communities. The analysis results are presented for each community in descriptive text, sub-community graphs, and tables with, for example, the most-cited papers and authors. A comparison between the detected communities and topical areas defined by other related work, is also presented, demonstrating a greater researcher emphasis on cryptography, quantum cryptography, information hiding and biometrics, at the expense of laws and regulation, risk management and governance, and security software lifecycle.


title: The 1-1 algorithm for Travelling Salesman Problem

abstract: The Travelling Salesman Problem (TSP), finding a minimal weighted Hamilton cycle in a graph, is a typical problem in operation research and combinatorial optimization. In this paper, based on some novel properties on Hamilton graphs, we present a precise algorithm for finding a minimal weighted Hamilton cycle in a non-metric and symmetric graph with time complexity of \textit{O}(|E(G)|^3) , where |E(G)| is the size of graph G.


title: Kaleidoscopic Symmetries and Self-Similarity of Integral Apollonian Gaskets

abstract: We describe various kaleidoscopic and self-similar aspects of the integral Apollonian gaskets - fractals consisting of close packing of circles with integer curvatures. Self-similar recursive structure of the whole gasket is shown to be encoded in transformations that forms the modular group $SL(2,Z)$. The asymptotic scalings of curvatures of the circles are given by a special set of quadratic irrationals with continued fraction $[n+1: \overline{1,n}]$ - that is a set of irrationals with period-2 continued fraction consisting of $1$ and another integer $n$. Belonging to the class $n=2$, there exists a nested set of self-similar kaleidoscopic patterns that exhibit three-fold symmetry. Furthermore, the even $n$ hierarchy is found to mimic the recursive structure of the tree that generates all Pythagorean triplets


title: Rapid feasibility assessment of components formed through hot stamping: A deep learning approach

abstract: The novel non-isothermal Hot Forming and cold die Quenching (HFQ) process can enable the cost-effective production of complex shaped, high strength aluminium alloy panel components. However, the unfamiliarity of designing for the new process prevents its widescale adoption in industrial settings. Recent research efforts focus on the development of advanced material models for finite element simulations, used to assess the feasibility of new component designs for the HFQ process. However, FE simulations take place late in design processes, require forming process expertise and are unsuitable for early-stage design explorations. To address these limitations, this study presents a novel application of a Convolutional Neural Network (CNN) based surrogate as a means of rapid manufacturing feasibility assessment for components to be formed using the HFQ process. A diverse dataset containing variations in component geometry, blank shapes, and processing parameters, together with corresponding physical fields is generated and used to train the model. The results show that near indistinguishable full field predictions are obtained in real time from the model when compared with HFQ simulations. This technique provides an invaluable tool to aid component design and decision making at the onset of a design process for complex-shaped components formed under HFQ conditions.


title: Peccei-Quinn-like symmetries for nonabelian axions

abstract: Axions were first introduced in connection with chiral symmetry but are now being looked for mainly as dark matter. In this paper we introduce a nonabelian analogue of axions which can also be potential candidates for dark matter. Their nonabelian symmetries, which are generalizations of the Peccei-Quinn symmetry, are interesting in their own right. Detailed analysis, using fermion measure and zeta function approaches shows that these symmetries are not anomalous.


title: Online parameter inference for the simulation of a Bunsen flame using heteroscedastic Bayesian neural network ensembles

abstract: This paper proposes a Bayesian data-driven machine learning method for the online inference of the parameters of a G-equation model of a ducted, premixed flame. Heteroscedastic Bayesian neural network ensembles are trained on a library of 1.7 million flame fronts simulated in LSGEN2D, a G-equation solver, to learn the Bayesian posterior distribution of the model parameters given observations. The ensembles are then used to infer the parameters of Bunsen flame experiments so that the dynamics of these can be simulated in LSGEN2D. This allows the surface area variation of the flame edge, a proxy for the heat release rate, to be calculated. The proposed method provides cheap and online parameter and uncertainty estimates matching results obtained with the ensemble Kalman filter, at less computational cost. This enables fast and reliable simulation of the combustion process.


title: LasHeR: A Large-scale High-diversity Benchmark for RGBT Tracking

abstract: RGBT tracking receives a surge of interest in the computer vision community, but this research field lacks a large-scale and high-diversity benchmark dataset, which is essential for both the training of deep RGBT trackers and the comprehensive evaluation of RGBT tracking methods. To this end, we present a Large-scale High-diversity benchmark for RGBT tracking (LasHeR) in this work. LasHeR consists of 1224 visible and thermal infrared video pairs with more than 730K frame pairs in total. Each frame pair is spatially aligned and manually annotated with a bounding box, making the dataset well and densely annotated. LasHeR is highly diverse capturing from a broad range of object categories, camera viewpoints, scene complexities and environmental factors across seasons, weathers, day and night. We conduct a comprehensive performance evaluation of 12 RGBT tracking algorithms on the LasHeR dataset and present detailed analysis to clarify the research room in RGBT tracking. In addition, we release the unaligned version of LasHeR to attract the research interest for alignment-free RGBT tracking, which is a more practical task in real-world applications. The datasets and evaluation protocols are available at: https://github.com/BUGPLEASEOUT/LasHeR.