title: Some qualitative properties of solutions for nonlinear fractional differential equation involving two $\Phi $--Caputo fractional derivatives

abstract: The momentous objective of this work is to discuss some qualitative properties of solutions such as the estimate on the solutions, the continuous dependence of the solutions on initial conditions as well as the existence and uniqueness of extremal solutions for a new class of fractional differential equations involving two fractional derivatives in the sense of Caputo fractional derivative with respect to a new function $\Phi$. Firstly, by using the generalized Laplace transform method, we give an explicit formula of the solutions for the aforementioned linear problem which can be regarded as a novelty item. Secondly, by the implementation of the $\Phi$--fractional Gronwall inequality we analyze some properties such as estimates and continuous dependence of the solutions on initial conditions. Thirdly, with the help of features of the Mittag-Leffler functions (M-LFs) we build a new comparison principle for the corresponding linear equation this outcome plays a vital role in the forthcoming analysis of this paper especially when we combine it with the monotone iterative technique alongside facet with the method of upper and lower solutions to get the extremal solutions for the analyzed problem. Lastly, we offer some examples to confirm the validity of our main results.


title: Enjoy the Salience: Towards Better Transformer-based Faithful Explanations with Word Salience

abstract: Pretrained transformer-based models such as BERT have demonstrated state-of-the-art predictive performance when adapted into a range of natural language processing tasks. An open problem is how to improve the faithfulness of explanations (rationales) for the predictions of these models. In this paper, we hypothesize that salient information extracted a priori from the training data can complement the task-specific information learned by the model during fine-tuning on a downstream task. In this way, we aim to help BERT not to forget assigning importance to informative input tokens when making predictions by proposing SaLoss; an auxiliary loss function for guiding the multi-head attention mechanism during training to be close to salient information extracted a priori using TextRank. Experiments for explanation faithfulness across five datasets, show that models trained with SaLoss consistently provide more faithful explanations across four different feature attribution methods compared to vanilla BERT. Using the rationales extracted from vanilla BERT and SaLoss models to train inherently faithful classifiers, we further show that the latter result in higher predictive performance in downstream tasks.


title: A Hierarchical Stitching Algorithm for Coded Compressed Sensing

abstract: Recently, a novel coded compressed sensing (CCS) approach was proposed in [1] for dealing with the scalability problem for large sensing matrices in massive machine-type communications. The approach is to divide the compressed sensing (CS) problem into smaller CS sub-problems. However, such an approach requires stitching the results from the sub-problems to recover the result in the original CS problem. For this stitching problem, we propose a hierarchical stitching algorithm that is easier to implement in hardware for parallelization than the tree coding algorithm in [1]. For our algorithm, we also derive an upper bound on the probability of recovery errors.


title: Josephson spin-valve realization in the magnetic nodal-line topological semimetal Fe$_3$GeTe$_2$

abstract: Three-dimensional van der Waals ferromagnet Fe$_3$GeTe$_2$ (FGT) is regarded as a candidate for the magnetic topological nodal line semimetal. We investigate lateral electron transport between two 3~$\mu$m spaced superconducting In leads beneath a thick three-dimensional FGT exfoliated flake. At low 30~mK temperature, we observe Josephson supercurrent that exhibits unusual critical current $I_c$ suppression by the magnetic field $B$. The overall $I_c(B)$ pattern is asymmetric in respect to the B sign. We demonstrate, that the asymmetry is defined by the magnetic field sweep direction, so the $I_c(B)$ pattern is strictly reversed (as $B$ to $-B$ inversion) for the opposite sweeps. We also observe an interplay between maximum and minimum in $I_c(B)$ in normal magnetic fields, while there are fast aperiodic $I_c(B)$ fluctuations for the in-plane ones. These effects can not be expected for homogeneous superconductor-ferromagnet-superconductor junctions, while they are known for Josephson spin valves. The mostly possible scenario for Josephson spin valve realization in FGT is the misalignment of spin polarizations of the Fermi arc surface states and ferromagnetic FGT bulk, but we also discuss possible influence of spin-dependent transport between magnetic domains.


title: On Langmuir's periodic orbit

abstract: Niels Bohr successfully predicted in 1913 the energy levels for the hydrogen atom by applying certain quantization rules to classically obtained periodic orbits. Many physicists tried to apply similar methods to other atoms. In his well-known 1921 paper, I.~Langmuir established numerically the existence of a periodic orbit in the helium atom considered as a classical three body problem. In this paper we give an analytic proof of the existence of Langmuir's periodic orbit.


title: Null boundary controllability of a one-dimensional heat equation with internal point masses and variable coefficients

abstract: In this paper, we consider a linear hybrid system which is composed of $N+1$ non-homogeneous thin rods connected by $N$ interior-point masses with a Dirichlet boundary condition on the left end, and Dirichlet control on the right end. Using a detailed spectral analysis and the moment theory, we prove that this system is null controllable at any positive time $T$. To this end, firstly, we implement the Wronskian technique to obtain the characteristic equation for the eigenvalues $(\lambda_{n})_{n\in\N^*}$ associated with this system. Secondly, we provide that the eigenvalues $(\lambda_{n})_{n\in\N^*}$ interlace those of the $N+1$ decoupled rods with homogeneous Dirichlet boundary conditions, and satisfy the so-called Weyl's asymptotic formula. Finally, we establish sharp asymptotic estimates of the eigenvalues $(\lambda_{n})_{n\in\N^*}$. As consequence, on one hand, we prove a uniform lower bound for the spectral gap. On another hand, we derive the equivalence between the $\mathcal{H}$-norm of the eigenfunctions and their first derivative at the right end. As an application of our spectral analysis, we also present new controllability result for the Schr\"{o}dinger equation with an internal point mass and Dirichlet control on the left end.


title: Virtual screening of Microalgal compounds as potential inhibitors of Type 2 Human Transmembrane serine protease (TMPRSS2)

abstract: More than 198 million cases of severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) has been reported that result in no fewer than 4.2 million deaths globally. The rapid spread of the disease coupled with the lack of specific registered drugs for its treatment pose a great challenge that necessitate the development of therapeutic agents from a variety of sources. In this study, we employed an in-silico method to screen natural compounds with a view to identify inhibitors of the human transmembrane protease serine type 2 (TMPRSS2). The activity of this enzyme is essential for viral access into the host cells via angiotensin-converting enzyme 2 (ACE-2). Inhibiting the activity of this enzyme is therefore highly crucial for preventing viral fusion with ACE-2 thus shielding SARS-CoV-2 infectivity. 3D model of TMPRSS2 was constructed using I-TASSER, refined by GalaxyRefine, validated by Ramachandran plot server and overall model quality was checked by ProSA. 95 natural compounds from microalgae were virtually screened against the modeled protein that led to the identification 17 best leads capable of binding to TMPRSS2 with a good binding score comparable, greater or a bit lower than that of the standard inhibitor (camostat). Physicochemical properties, ADME (absorption, distribution, metabolism, excretion) and toxicity analysis revealed top 4 compounds including the reference drug with good pharmacokinetic and pharmacodynamic profiles. These compounds bind to the same pocket of the protein with a binding energy of -7.8 kcal/mol, -7.6 kcal/mol, -7.4 kcal/mol and -7.4 kcal/mol each for camostat, apigenin, catechin and epicatechin respectively. This study shed light on the potential of microalgal compounds against SARS-CoV-2. In vivo and invitro studies are required to developed SARS-CoV-2 drugs based on the structures of the compounds identified in this study.


title: Triple-Structured Compressive Sensing-based Channel Estimation for RIS-aided MU-MIMO Systems

abstract: Reconfigurable intelligent surface (RIS) has been recognized as a potential technology for 5G beyond and attracted tremendous research attention. However, channel estimation in RIS-aided system is still a critical challenge due to the excessive amount of parameters in cascaded channel. The existing compressive sensing (CS)-based RIS estimation schemes only adopt incomplete sparsity, which induces redundant pilot consumption. In this paper, we exploit the specific triple-structured sparsity of the cascaded channel, i.e., the common column sparsity, structured row sparsity after offset compensation and the common offsets among all users. Then a novel multi-user joint estimation algorithm is proposed. Simulation results show that our approach can significantly reduce pilot overhead in both ULA and UPA scenarios.


title: The five Is: Key principles for interpretable and safe conversational AI

abstract: In this position paper, we present five key principles, namely interpretability, inherent capability to explain, independent data, interactive learning, and inquisitiveness, for the development of conversational AI that, unlike the currently popular black box approaches, is transparent and accountable. At present, there is a growing concern with the use of black box statistical language models: While displaying impressive average performance, such systems are also prone to occasional spectacular failures, for which there is no clear remedy. In an effort to initiate a discussion on possible alternatives, we outline and exemplify how our five principles enable the development of conversational AI systems that are transparent and thus safer for use. We also present some of the challenges inherent in the implementation of those principles.


title: Stochastic Discontinuous Galerkin Methods for Robust Deterministic Control of Convection Diffusion Equations with Uncertain Coefficients

abstract: We investigate a numerical behaviour of robust deterministic optimal control problem subject to a convection diffusion equation containing uncertain inputs. Stochastic Galerkin approach, turning the original optimization problem containing uncertainties into a large system of deterministic problems, is applied to discretize the stochastic domain, while a discontinuous Galerkin method is preferred for the spatial discretization due to its better convergence behaviour for optimization problems governed by convection dominated PDEs. Error analysis is done for the state and adjoint variables in the energy norm, while the estimates of deterministic control is obtained in the $L^2$--norm. Large matrix system emerging from the stochastic Galerkin method is addressed by the low--rank version of GMRES method, which reduces both the computational complexity and the memory requirements by employing Kronecker--product structure of the obtained linear system. Benchmark examples with and without control constraints are presented to illustrate the efficiency of the proposed methodology.


title: Confined Penrose process with charged particles

abstract: We show that kinematics of charged particles allows us to model the growth of particles' energy by consecutive particle-splits, once a spherical mirror as a perfectly reflective boundary is placed outside a charged black hole. We consider a charged version of the Penrose process, in which a charged particle decays into two fragments, one of them has negative energy and the other has positive energy that is larger than that of the parent particle. The confinement system with the mirror makes the particles' energy amplified each time a split of the parent particle occurs. Thus, the energy is a monotonically increasing function of time. However, the energy does not increase unboundedly, but rather asymptotes to a certain finite value, implying no instability of the system in this respect.


title: Implementation of hitting times of discrete time quantum random walks on Cubelike graphs

abstract: We demonstrate an implementation of the hitting time of a discrete time quantum random walk on cubelike graphs using IBM's Qiskit platform. Our implementation is based on efficient circuits for the Grover and Shift operators. We verify the results about the one-shot hitting time of quantum walks on a hypercube as proved in [https://link.springer.com/article/10.1007/s00440-004-0423-2]. We extend the study to another family of cubelike graphs called the augmented cubes [https://onlinelibrary.wiley.com/doi/abs/10.1002/net.10033]. Based on our numerical study, we conjecture that for all families of cubelike graphs there is a linear relationship between the degree of a cubelike graph and its hitting time which holds asymptotically. That is, for any cubelike graph of degree $\Delta$, the probability of finding the quantum random walk at the target node at time $\frac{\pi \Delta}{2}$ approaches 1 as the degree $\Delta$ of the cubelike graph approaches infinity.


title: Open-stub based spurious harmonic suppression method for Microstrip Coupled Line Filter

abstract: In this paper, first, we review a straightforward analytical technique based on image impedance concept for designing traditional microwave microstrip coupled line filters using distributed elements. In the introduced approach, we characterize a quarter-wave coupled line section, and then these discrete sections can be connected in series to synthesis the final desired frequency response. Next, we use a novel open-stub based technique to suppress spurious harmonic frequencies. Finally, using proposed technique, we design and simulate a band pass filter (BPF). The simulation results prove the usefulness of the proposed technique.


title: Transition paths of North Atlantic Deep Water

abstract: We use Transition Path Theory (TPT) to frame, in a statistically more robust fashion than earlier analyses, equatorward routes of North Atlantic Deep Water (NADW) in the subpolar North Atlantic. TPT is applied on all available RAFOS and Argo floats in the area by means of a discretization of the Lagrangian dynamics described by their trajectories. By considering floats at different depths, we investigate transition paths of NADW in its upper (UNADW) and lower (LNADW) layers. We find that the majority of UNADW transition paths sourced in the Labrador and southwestern Irminger Seas reach the western side of a target arranged zonally along the southern edge of the subpolar North Atlantic domain visited by the floats. This is accomplished in the form of a well-organized deep boundary current (DBC). LNADW transition paths sourced west of the Reykjanes Ridge reveal a similar pattern, while those sourced east of the ridge are found to hit the western side of the target via a DBC and also several other places along it in a less organized fashion, indicating southward flow along the eastern and western flanks of the Mid-Atlantic Ridge. Naked-eye inspection of trajectories suggest generally much more diffusive equatorward NADW routes. A source-independent dynamical decomposition of the flow domain into analogous backward-time basins of attraction, beyond the reach of direct inspection of trajectories, reveals a much wider influence of the western side of the target for UNADW than for LNADW. For UNADW, the average expected duration of the pathways from the Labrador and Irminger Seas was found to be of 2 to 3 years. For LNADW, the duration was found to be influenced by the Reykjanes Ridge, being as long as 8 years from the western side of the ridge and of about 3 years on average from its eastern side.


title: Artificial Intelligence Algorithms for Natural Language Processing and the Semantic Web Ontology Learning

abstract: Evolutionary clustering algorithms have considered as the most popular and widely used evolutionary algorithms for minimising optimisation and practical problems in nearly all fields. In this thesis, a new evolutionary clustering algorithm star (ECA*) is proposed. Additionally, a number of experiments were conducted to evaluate ECA* against five state-of-the-art approaches. For this, 32 heterogeneous and multi-featured datasets were used to examine their performance using internal and external clustering measures, and to measure the sensitivity of their performance towards dataset features in the form of operational framework. The results indicate that ECA* overcomes its competitive techniques in terms of the ability to find the right clusters. Based on its superior performance, exploiting and adapting ECA* on the ontology learning had a vital possibility. In the process of deriving concept hierarchies from corpora, generating formal context may lead to a time-consuming process. Therefore, formal context size reduction results in removing uninterested and erroneous pairs, taking less time to extract the concept lattice and concept hierarchies accordingly. In this premise, this work aims to propose a framework to reduce the ambiguity of the formal context of the existing framework using an adaptive version of ECA*. In turn, an experiment was conducted by applying 385 sample corpora from Wikipedia on the two frameworks to examine the reduction of formal context size, which leads to yield concept lattice and concept hierarchy. The resulting lattice of formal context was evaluated to the original one using concept lattice-invariants. Accordingly, the homomorphic between the two lattices preserves the quality of resulting concept hierarchies by 89% in contrast to the basic ones, and the reduced concept lattice inherits the structural relation of the original one.


title: Shape-free theory for the self-assembly kinetics in macromolecular systems

abstract: Self-assembly kinetics is usually described by approaches which assume that the shape of the aggregates has a definite form (e.g., spherical, cylindrical, cubic, etc), however that is unlikely to be the case in many finite-sized macromolecular and colloidal systems. Here we consider a simple aggregation model which displays a first-order phase transition in order to illustrate a rate theory based on microcanonical analysis that allows one to obtain a shape-free description of its self-assembly kinetics. Stochastic simulations are performed to validate our approach and demonstrate how the equilibrium thermostatistical properties of the system can be related to the temperature-dependent rate constants. As a model-independent kinetic approach, it may provide experimentalists a reliable method to reconstruct free-energy profiles and microcanonical entropies from kinetic data.

categories: cond-mat.soft cond-mat.mes-hall cond-mat.stat-mech physics.chem-ph


title: Orthomodular posets are algebras over bounded posets with involution

abstract: We prove that there is a monadic adjunction between the category of bounded posets with involution and the category of orthomodular posets.


title: Discriminative Semantic Feature Pyramid Network with Guided Anchoring for Logo Detection

abstract: Recently, logo detection has received more and more attention for its wide applications in the multimedia field, such as intellectual property protection, product brand management, and logo duration monitoring. Unlike general object detection, logo detection is a challenging task, especially for small logo objects and large aspect ratio logo objects in the real-world scenario. In this paper, we propose a novel approach, named Discriminative Semantic Feature Pyramid Network with Guided Anchoring (DSFP-GA), which can address these challenges via aggregating the semantic information and generating different aspect ratio anchor boxes. More specifically, our approach mainly consists of Discriminative Semantic Feature Pyramid (DSFP) and Guided Anchoring (GA). Considering that low-level feature maps that are used to detect small logo objects lack semantic information, we propose the DSFP, which can enrich more discriminative semantic features of low-level feature maps and can achieve better performance on small logo objects. Furthermore, preset anchor boxes are less efficient for detecting large aspect ratio logo objects. We therefore integrate the GA into our method to generate large aspect ratio anchor boxes to mitigate this issue. Extensive experimental results on four benchmarks demonstrate the effectiveness of our proposed DSFP-GA. Moreover, we further conduct visual analysis and ablation studies to illustrate the advantage of our method in detecting small and large aspect logo objects. The code and models can be found at https://github.com/Zhangbaisong/DSFP-GA.


title: History of Ferroelectrics -- A Crystallography Perspective

abstract: "Underlying the whole treatment is the assumption that the physical properties of a solid are closely related to its structure, and that the first step to understanding the physical properties is to understand the structure." Helen D. Megaw, Preface to Ferroelectricity in Crystals, Methuen & Co Ltd, London, 1957.


title: Template-Based Image Reconstruction Facing Different Topologies

abstract: The reconstruction of images from measured data is an increasing field of research. For highly under-determined problems, template-based image reconstruction provides a way of compensating for the lack of sufficient data. A caveat of this approach is that dealing with different topologies of the template and the target image is challenging. In this paper, we propose a LDDMM-based image-reconstruction model that resolves this issue by adding a source term. On the theoretical side, we show that the model satisfies all criteria for being a well-posed regularization method. For the implementation, we pursue a discretize-then-optimize approach involving the proximal alternating linearized minimization algorithm, which is known to converge under mild assumptions. Our simulations with both artificial and real data confirm the robustness of the method, and its ability to successfully deal with topology changes even if the available amount of data is very limited.


title: Image Denoising Inspired by Quantum Many-Body physics

abstract: Decomposing an image through Fourier, DCT or wavelet transforms is still a common approach in digital image processing, in number of applications such as denoising. In this context, data-driven dictionaries and in particular exploiting the redundancy withing patches extracted from one or several images allowed important improvements. This paper proposes an original idea of constructing such an image-dependent basis inspired by the principles of quantum many-body physics. The similarity between two image patches is introduced in the formalism through a term akin to interaction terms in quantum mechanics. The main contribution of the paper is thus to introduce this original way of exploiting quantum many-body ideas in image processing, which opens interesting perspectives in image denoising. The potential of the proposed adaptive decomposition is illustrated through image denoising in presence of additive white Gaussian noise, but the method can be used for other types of noise such as image-dependent noise as well. Finally, the results show that our method achieves comparable or slightly better results than existing approaches.


title: $L^q$-regularity for nonlinear elliptic equations with Schr\"odinger-type lower order terms

abstract: We consider nonlinear elliptic equations of the $p$-Laplacian type with lower order terms which involve nonnegative potentials satisfying a reverse H\"older type condition. Then we obtain interior and boundary $L^q$ estimates for the gradient of weak solutions and the lower order terms, independently, under sharp regularity conditions on the coefficients and the boundaries. In particular, the proof in this paper does not employ Fefferman-Phong type inequalities which are essential tools in the linear cases in [3,47].


title: Stiffened gas approximation and GRP resolution for fluid flows of real materials

abstract: The equation of state (EOS) embodies thermodynamic properties of compressible fluid materials and usually has very complicated forms in real engineering applications, subject to the physical requirements of thermodynamics. The complexity of EOS in form gives rise to the difficulty in analyzing relevant wave patterns. Concerning the design of numerical algorithms, the complex EOS causes the inefficiency of Riemann solvers and even the loss of robustness, which hampers the development of Godunov-type numerical schemes. In this paper, a strategy of local stiffened gas approximation is proposed for real materials. The stiffened gas EOS is used to approximate general EOS locally at each interface of computational control volumes so that the Riemann solver can be significantly simplified. In the meantime, the generalized Riemann problem (GRP) solver is adopted not only for high resolution purpose but effective reflection of the local thermodynamics as well. The resulting scheme is demonstrated to be efficient and robust and numerical examples display the excellent performance of such an approximation.


title: Time-correlated forces and biological variability in cell motility

abstract: Cell motility is one of the most fundamental phenomena underlying biological processes that maintain living organisms alive. Here we introduce a simple model to describe the motility of cells which include not only time-correlated internal forces but also the biological variability which is inherent of the intra-cellular biochemical processes. Such model allow us to derive exact expressions for the mean-squared displacement and the effective time-dependent diffusion coefficient which are compared to numerical results obtained from non-markovian stochastic simulations. In addition, we show that the heterogeneity of persistence times lead to non-gaussian distributions which can be obtained analytically and that were validated by the numerical simulations. Our results indicate that such model might be used to describe the behaviour observed in experimental results obtained for isolated cells without external signaling.


title: Robust Symbol-Level Precoding and Passive Beamforming for IRS-Aided Communications

abstract: This paper investigates a joint beamforming design in a multiuser multiple-input single-output (MISO) communication network aided with an intelligent reflecting surface (IRS) panel. The symbol-level precoding (SLP) is adopted to enhance the system performance by exploiting the multiuser interference (MUI) with consideration of bounded channel uncertainty. The joint beamforming design is formulated into a nonconvex worst-case robust programming to minimize the transmit power subject to single-to-noise ratio (SNR) requirements. To address the challenges due to the constant modulus and the coupling of the beamformers, we first study the single-user case. Specifically, we propose and compare two algorithms based on the semidefinite relaxation (SDR) and alternating optimization (AO) methods, respectively. It turns out that the AO-based algorithm has much lower computational complexity but with almost the same power to the SDR-based algorithm. Then, we apply the AO technique to the multiuser case and thereby develop an algorithm based on the proximal gradient descent (PGD) method. The algorithm can be generalized to the case of finite-resolution IRS and the scenario with direct links from the transmitter to the users. Numerical results show that the SLP can significantly improve the system performance. Meanwhile, 3-bit phase shifters can achieve near-optimal power performance.


title: Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches

abstract: We propose a technique for synthesizing bidirectional programs from the corresponding unidirectional code plus a few input/output examples. The core ideas are: (1) constructing a sketch using the given unidirectional program as a specification, and (2) filling the sketch in a modular fashion by exploiting the properties of bidirectional programs. These ideas are enabled by our choice of programming language, HOBiT, which is specifically designed to maintain the unidirectional program structure in bidirectional programming, and keep the parts that control bidirectional behavior modular. To evaluate our approach, we implemented it in a tool called Synbit and used it to generate bidirectional programs for intricate microbenchmarks, as well as for a few larger, more realistic problems. We also compared Synbit to a state-of-the-art unidirectional synthesis tool on the task of synthesizing backward computations.


title: Interaction induced topological Bogoliubov excitations in a spin-orbit coupled Bose-Einstein condensate

abstract: We study topologically non-trivial excitations of a weakly interacting, spin-orbit coupled Bose-Einstein condensate in a two-dimensional square optical lattice, a system recently realized in experiment [W. Sun et al., Phys. Rev. Lett. 121, 150401 (2018)]. We focus on situations where the system is not subjected to a Zeeman field and thus does not exhibit nontrivial single-particle band topology. Of special interest then is the role of particle interaction as well as its interplay with the symmetry properties of the system in producing topologically non-trivial excitations. We find that the non-interacting system possesses a rich set of symmetries, including the $\mathcal{PT}$ symmetry, the modified dihedral point group symmetry $\tilde D_4$ and the nonsymmorphic symmetry. These combined symmetries ensure the existence of pairs of degenerate Dirac points at the edge of Brillouin zone for the single-particle energy bands. In the presence of particle interaction and with sufficient spin-orbit coupling, the atoms condense in a ground state with net magnetization which spontaneously breaks the $\mathcal{PT}$ and $\tilde D_4$ symmetry. We demonstrate that this symmetry breaking leads to a gap opening at the Dirac point for the Bogoliubov spectrum and consequentially topologically non-trivial excitations. We confirm the non-trivial topology by calculating the Chern numbers of the lowest excitation bands and show that gapless edge states form at the interface of systems characterized by different values of the Chern number.


title: DLPFS: The Data Leakage Prevention FileSystem

abstract: Shared folders are still a common practice for granting third parties access to data files, regardless of the advances in data sharing technologies. Services like Google Drive, Dropbox, Box, and others, provide infrastructures and interfaces to manage file sharing. The human factor is the weakest link and data leaks caused by human error are regrettable common news. This takes place as both mishandled data, for example stored to the wrong directory, or via misconfigured or failing applications dumping data incorrectly. We present Data Leakage Prevention FileSystem (DLPFS), a first attempt to systematically protect against data leakage caused by misconfigured application or human error. This filesystem interface provides a privacy protection layer on top of the POSIX filesystem interface, allowing for seamless integration with existing infrastructures and applications, simply augmenting existing security controls. At the same time, DLPFS allows data administrators to protect files shared within an organisation by preventing unauthorised parties to access potentially sensitive content. DLPFS achieves this by transparently integrating with existing access control mechanisms. We empirically evaluate the impact of DLPFS on system's performances to demonstrate the feasibility of the proposed solution.


title: Cumulant-based calculations of the correlation energy in a molecule

abstract: The problem of constructing a guaranteed convergent sequence of corrections to the Hartree--Fock ground state energy of a molecule without storing the many-electron wave function is considered. Several methods based on cumulants are considered and it is shown that such a sequence is obtained by Lanczos tridiagonalization, in which the elements of the tridiagonal matrix are calculated through cumulants.


title: On the sample-dependent minimal conductivity in weakly disordered graphene

abstract: We present a unified understanding of the experimentally observed minimal dc conductivity in weakly disordered graphene. Firstly, based on linear response theory, we reveal that randomness or disorder inevitably induces momentum dependent corrections to the electron self-energy function, which naturally yields a sample-dependent minimal conductivity. Taking the long-ranged Gaussian and Coulomb potentials as examples, we derive the momentum dependent self-energy function within the Born approximation, and further validate it via numerical simulations using the large-scale Lanczos algorithm. The explicit momentum dependences of the self-energy on the intensity, concentration and range of potential are critically addressed. Therefore, our results provide a reasonable interpretation of the sample-dependent minimal conductivity observed in graphene samples.


title: On the impact of the geospace environment on solar-lithosphere coupling and earthquake occurrence

abstract: We have found that about two months after creating a new radiation belt in the inner magnetosphere due to a geomagnetic storm, an increasing seismic activity may occur near the magnetic field lines' footprint of a newly created radiation belt. The Combined Release and Radiation Effects Satellite (CRRES) detected a new radiation belt after a geomagnetic storm on March 24, 1991. Shortly after that, on May 30, 1991, a strong M7.0 earthquake occurred in Alaska in the footprint of geomagnetic line L~2.69. Additionally, on October 28, 2012, a strong M7.8 earth-quake occurred in Canada near the footprint of L~3.3, which was close to the magnetic lines of a new radiation belt detected by a satellite "Van Allen Probes" after a geomagnetic storm on September 3, 2012. Seismic activity also increased near the magnetic field lines' footprint of a newly created radiation belt around L~1.5-1.8 due to a geomagnetic storm on June 21, 2015. We demonstrate the possible existence of two way of solar-lithosphere coupling processes : (i) the disturbances in the lithosphere, accompanying the earthquake preparation process, can modify the electric field in the global electric circuit (GEC), which results in appearing of disturbances in the ionosphere; and the vice-versa mechanism (ii) the solar wind-generated disturbances in the magnetosphere and ionosphere, can modify the electric field in the GEC, that will result in appearing of disturbances in the lithosphere


title: Classical gauge theory on quantum principal bundles

abstract: We propose a conceptually economical and computationally tractable completion of the foundations of gauge theory on quantum principal bundles \`{a} la Brzezi\'{n}ski--Majid to the case of general differential calculi and strong bimodule connections. In particular, we use explicit groupoid equivalences to reframe the basic concepts of gauge theory -- gauge transformation, gauge potential, and field strength -- in terms of reconstruction of calculi on the total space (to second order) from given calculi on the structure quantum group and base, respectively. We therefore construct gauge-equivariant moduli spaces of all suitable first- and second-order total differential calculi, respectively, compatible with these choices. As a first illustration, we relate the gauge theory of a crossed product algebra qua trivial quantum principal bundle to lazy Sweedler and Hochschild cohomology with coefficients. As a second illustration, we show that a noncommutative $2$-torus with real multiplication is the base space of a non-trivial $\mathrm{U}_{q^2}(1)$-gauge theory admitting Connes's constant curvature connection as a $q$-monopole connection, where -- in the spirit of Manin's Alterstraum -- one must take $q$ to be the norm-positive fundamental unit of the corresponding real quadratic field.


title: Decentralized Robust Interval Type-2 Fuzzy Model Predictive Control for Takagi-Sugeno Large-Scale Systems

abstract: In this manuscript, decentralized robust interval type-2 fuzzy model predictive control for Takagi-Sugeno large-scale systems is studied. The mentioned large-scale system consists a number of interval type-2 (IT2) fuzzy Takagi-Sugeno (T-S) subsystems. An important matter and necessities that limit the practical application of model predictive control are the online computational cost and burden of the existence frameworks. For model predictive control of T-S fuzzy large-scale systems, the online computational burden is even worse and in some cases, they cannot be solved in an expected time. Especially for severe large-scale systems with disturbances, existing model predictive control of T-S fuzzy large-scale systems usually leads to a very conservative solution. So, researchers have many challenges and difficulties in finding a reasonable solution in a short time. Although, more relaxed results can be achieved by the proposed fuzzy model predictive control approach which adopts T-S large-scale systems with nonlinear subsystems, many restrictions are not considered in these approaches. In this paper, challenges are solved and the MPC is designed for a nonlinear IT2 fuzzy large-scale system with uncertainties and disturbances. Besides, online optimization problem is solved and results are proposed. Consequently, online computational cost of the optimization problem is reduced considerably. At the end, by two practical examples, the effectiveness of the proposed algorithm is illustrated.


title: On the Cantor set and the Cantor-Lebesgue functions

abstract: The ternary Cantor set $\mathcal{C}$, constructed by George Cantor in 1883, is the best known example of a perfect nowhere-dense set in the real line. The present article we study the basic properties $\mathcal{C}$ and also study in detail the ternary expansion characterization $\mathcal{C}$. We then consider the Cantor-Lebesgue function defined on $\mathcal{C},$ prove its basic properties and study its continuous extension to $[0,1].$ We also consider the geometric construction of $F$ as the uniform limit of polygonal functions. Finally, we consider the Lebesgue's function defined from $\mathcal{C}$ onto $[0,1]^2$ and onto $[0,1]^3,$ as well as their continuous extension to $[0,1],$ i.e., obtained the Lebesgue's space filling curves. Finally we discuss Hausdorff's theorem, which is a natural generalization of the definition of Lebesgue's functions, that states that any compact metric space is a continuous image of the Cantor set $\mathcal{C}$. This notes are the outgrowth of a (zoom)-seminar during the 2020 spring and summer semesters based on H. Sagan's book \cite{sagan}, thus there is not any pretension of originality and/or innovation in this notes and its main objective is a systematic exposition of these topics, in other words its objective is being a review.


title: A new explicit expansion approach to Mersenne primes

abstract: This paper first proves what the author called the Eight Levels Theorem and then highlights a new explicit expansion approach to Lucas-Lehmer primality test for Mersenne primes and gives a new criterion for Mersenne compositeness. Also, we prove four new combinatorial identities.


title: Real Lie Groups of Finite Dimension

abstract: This survey is about the fundamentals of the theory of finite dimensional Lie groups over the field of real numbers. The notion of the tangent space of a manifold at a point is considered to be defined via the well known chart and vector formalism, here, a formalism equivalent to other commonly used ones (namely, the curve and derivation methods). The proofs of all assertions about Lie groups are in alignment with this formalism, here. Dealing with the basic facts of Lie groups rigorously with regard to this formulation of tangent space seems to be scarce in the literature.


title: Triple-cation perovskite solar cells fabricated by hybrid PVD/blade coating process using green solvents

abstract: The scalability of highly efficient organic-inorganic perovskite solar cells (PSCs) is one of the remaining challenges of solar module manufacturing. Various scalable methods have been explored to strive for uniform perovskite films of high crystal quality on large-area substrates. However, each of these methods have individual drawbacks, limiting the successful commercialization of perovskite photovoltaics. Here, we report a fully scalable hybrid process, which combines vapor- and solution-based techniques to deposit high quality uniform perovskite films on large-area substrates. This two-step process does not use toxic solvents, and it further allows facile implementation of passivation strategies and additives. We fabricated PSCs based on this process and used blade coating to deposit both charge transporting layers (SnO2 and Spiro-OMeTAD) without hazardous solvents in ambient air. The fabricated PSCs have yielded open-circuit voltage up to 1.16 V and power conversion efficiency of 18.7 % with good uniformity on 5 cm x 5 cm substrates.


title: Acoustic and inertial modes in planetary-like rotating ellipsoids

abstract: The bounded oscillations of rotating fluid-filled ellipsoids can provide physical insight into the flow dynamics of deformed planetary interiors. The inertial modes, sustained by the Coriolis force, are ubiquitous in rapidly rotating fluids and Vantieghem (2014, Proc. R. Soc. A, 470, 20140093, doi:10.1098/rspa.2014.0093) pioneered a method to compute them n incompressible fluid ellipsoids. Yet, taking density (and pressure) variations into account is required for accurate planetary applications, which has hitherto been largely overlooked in ellipsoidal models. To go beyond the incompressible theory, we present a Galerkin method in rigid coreless ellipsoids, based on a global polynomial description. We apply the method to investigate the normal modes of fully compressible, rotating and diffusionless fluids. We consider an idealized model, which fairly reproduces the density variations in the Earth's liquid core and Jupiter-like gaseous planets. We successfully benchmark the results against standard finite-element computations. Notably, we find that the quasi-geostrophic inertial modes can be significantly modified by compressibility, even in moderately compressible interiors. Finally, we discuss the use of the normal modes to build reduced dynamical models of planetary flows.


title: Addressing the IEEE AV Test Challenge with Scenic and VerifAI

abstract: This paper summarizes our formal approach to testing autonomous vehicles (AVs) in simulation for the IEEE AV Test Challenge. We demonstrate a systematic testing framework leveraging our previous work on formally-driven simulation for intelligent cyber-physical systems. First, to model and generate interactive scenarios involving multiple agents, we used Scenic, a probabilistic programming language for specifying scenarios. A Scenic program defines an abstract scenario as a distribution over configurations of physical objects and their behaviors over time. Sampling from an abstract scenario yields many different concrete scenarios which can be run as test cases for the AV. Starting from a Scenic program encoding an abstract driving scenario, we can use the VerifAI toolkit to search within the scenario for failure cases with respect to multiple AV evaluation metrics. We demonstrate the effectiveness of our testing framework by identifying concrete failure scenarios for an open-source autopilot, Apollo, starting from a variety of realistic traffic scenarios.


title: Sample Efficient Detection and Classification of Adversarial Attacks via Self-Supervised Embeddings

abstract: Adversarial robustness of deep models is pivotal in ensuring safe deployment in real world settings, but most modern defenses have narrow scope and expensive costs. In this paper, we propose a self-supervised method to detect adversarial attacks and classify them to their respective threat models, based on a linear model operating on the embeddings from a pre-trained self-supervised encoder. We use a SimCLR encoder in our experiments, since we show the SimCLR embedding distance is a good proxy for human perceptibility, enabling it to encapsulate many threat models at once. We call our method SimCat since it uses SimCLR encoder to catch and categorize various types of adversarial attacks, including L_p and non-L_p evasion attacks, as well as data poisonings. The simple nature of a linear classifier makes our method efficient in both time and sample complexity. For example, on SVHN, using only five pairs of clean and adversarial examples computed with a PGD-L_inf attack, SimCat's detection accuracy is over 85%. Moreover, on ImageNet, using only 25 examples from each threat model, SimCat can classify eight different attack types such as PGD-L_2, PGD-L_inf, CW-L_2, PPGD, LPA, StAdv, ReColor, and JPEG-L_inf, with over 40% accuracy. On STL10 data, we apply SimCat as a defense against poisoning attacks, such as BP, CP, FC, CLBD, HTBD, halving the success rate while using only twenty total poisons for training. We find that the detectors generalize well to unseen threat models. Lastly, we investigate the performance of our detection method under adaptive attacks and further boost its robustness against such attacks via adversarial training.


title: Topological transitions in two-dimensional Floquet superconductors

abstract: We demonstrate the occurrence of a topological phase transition induced by an effective magnetic field in a two-dimensional electron gas with spin-orbit coupling and in proximity to an $s$-wave superconductor. The effective, perpendicular magnetic field is generated by an in plane, off-resonant ac-magnetic field or by circularly polarized light. The conditions for entering the topological phase do not rely on fine parameter tuning: For fixed frequency, one requires a minimal amplitude of the effective field which can be evaluated analytically. In this phase, chiral edge states generally emerge for a system in stripe geometry unless the Rashba and Dresselhaus coupling have the same magnitude. In this special case, for magnetic field driving the edge states become Majorana flat bands, due to the presence of a chiral symmetry; the light irradiated system is a trivial superconductor.


title: A Novel Robust Extended Dissipativity State Feedback Control system design for Interval Type-2 Fuzzy Takagi-Sugeno Large-Scale Systems

abstract: In this paper, we use the advantage of large-scale systems modeling based on the type-2 fuzzy Takagi-Sugeno model to cover the uncertainties caused by large-scale systems modeling. The advantage of using membership function information is the reduction of conservatism resulting from stability analysis. Also, this paper uses the extended dissipativity robust control performance index to reduce the effect of external perturbations on the large-scale system, which is a generalization of H, L, passive, and dissipativity performance indexes and control gains can be achieved through solving linear matrix inequalities (LMIs), so the whole closed-loop fuzzy large-scale system is asymptotically stable.. Finally, the effectiveness of the proposed method is demonstrated by a numerical example of a double inverted pendulum system.


title: Network psychometrics and cognitive network science open new ways for detecting, understanding and tackling the complexity of math anxiety: A review

abstract: Math anxiety is a clinical pathology impairing cognitive processing in math-related contexts. Originally thought to affect only inexperienced, low-achieving students, recent investigations show how math anxiety is vastly diffused even among high-performing learners. This review of data-informed studies outlines math anxiety as a complex system that: (i) cripples well-being, self-confidence and information processing on both conscious and subconscious levels, (ii) can be transmitted by social interactions, like a pathogen, and worsened by distorted perceptions, (iii) affects roughly 20% of students in 63 out of 64 worldwide educational systems but correlates weakly with academic performance, and (iv) poses a concrete threat to students' well-being, computational literacy and career prospects in science. These patterns underline the crucial need to go beyond performance for estimating math anxiety. Recent advances with network psychometrics and cognitive network science provide ideal frameworks for detecting, interpreting and intervening upon such clinical condition. Merging education research, psychology and data science, the approaches reviewed here reconstruct psychological constructs as complex systems, represented either as multivariate correlation models (e.g. graph exploratory analysis) or as cognitive networks of semantic/emotional associations (e.g. free association networks or forma mentis networks). Not only can these interconnected networks detect otherwise hidden levels of math anxiety but - more crucially - they can unveil the specific layout of interacting factors, e.g. key sources and targets, behind math anxiety in a given cohort. As discussed here, these network approaches open concrete ways for unveiling students' perceptions, emotions and mental well-being, and can enable future powerful data-informed interventions untangling math anxiety.


title: Optimal Latency-Oriented Scheduling in Parallel Queuing Systems

abstract: The evolution of 5G and Beyond networks has enabled new applications with stringent end-to-end latency requirements, but providing reliable low-latency service with high throughput over public wireless networks is still a significant challenge. One of the possible ways to solve this is to exploit path diversity, encoding the information flow over multiple streams across parallel links. The challenge presented by this approach is the design of joint coding and scheduling algorithms that adapt to the state of links to take full advantage of path diversity. In this paper, we address this problem for a synchronous traffic source that generates data blocks at regular time intervals (e.g., a video with constant frame rate) and needs to deliver each block within a predetermined deadline. We first develop a closed-form performance analysis in the simple case of two parallel servers without any buffering and single-packet blocks, and propose a model for the general problem based on a Markov Decision Process (MDP). We apply policy iteration to obtain the coding and scheduling policy that maximizes the fraction of source blocks delivered within the deadline: our simulations show the drawbacks of different commonly applied heuristic solutions, drawing general design insights on the optimal policy.


title: Curatio et Innovatio

abstract: The Middle Ages focused obsessively on the old; our era is totally absorbed with the new. In medio stat virtus. In this short note, I advocate a strategy that blends copyright and copyleft for disseminating research results in the sciences. I argue that such a blend may be beneficial in fields such as mathematics and computer science, that it may facilitate the evolution and emergence of improved problem descriptions, whilst at the same time preserving author's rights, and easing researchers' work.


title: Manipulation of Camera Sensor Data via Fault Injection for Anomaly Detection Studies in Verification and Validation Activities For AI

abstract: In this study, the creation of a database consisting of images obtained as a result of deformation in the images recorded by these cameras by injecting faults into the robot camera nodes and alternative uses of this database are explained. The study is based on an existing camera fault injection software that injects faults into the cameras of a working robot and collects the normal and faulty images recorded during this injection. The database obtained in the study is a source for the detection of anomalies that may occur in robotic systems. Within the scope of this study, a database of 10000 images consisting of 5000 normal and 5000 faulty images was created. Faulty images were obtained by injecting seven different types of image faults, namely erosion, dilation, opening, closing, gradient, motionblur and partialloss, at different times while the robot was operating.


title: Canonical Analysis of New Non-Relativistic String Action and Uniform Light-Cone Gauge Formulation

abstract: We perform canonical analysis of new non-relativistic string action that was found recently in [arXiv:2107.00642 [hep-th]]. We also discuss its gauge fixed form.


title: Achieving spin-squeezed states by quench dynamics in a quantum chain

abstract: We study the time evolution of spin squeezing in the one-dimensional spin-1/2 XY model subject to a sudden quantum quench of a transverse magnetic field. The initial state is selected from the ground state phase diagram of the model, consisting of ferro- and paramagnetic phases separated by a critical value of the transverse field. Our analysis, based on exact results for the model, reveals that by a proper choice of protocol, a quantum quench from an unsqueezed state can create spin squeezed nonequilibrium states. We also identify a nonanalyticity in the long-time average of the spin-squeezing parameter when quenching to the equilibrium quantum critical point. This suggests that the ferro- and paramagnetic phases also define distinct phases for how the transverse field redistributes quantum fluctuations among the spin components away from equilibrium.


title: Strongly bound fermion pairs on a ring: a composite-boson approach

abstract: Particles made of two fermions can in many cases be treated as elementary bosons, but the conditions for this treatment to be valid are nontrivial. The so-called "coboson formalism" is a powerful tool to tackle compositeness effects relevant for instance for exciton physics and ultracold atomic dimers. A key element of this theory is an ansatz for the ground state of N pairs, built from the single-pair ground state combined with the exclusion principle. We show that this ansatz can fail in one-dimensional systems which fulfill the conditions expected to make the ansatz valid. Nevertheless, we also explain how coboson theory can recover the correct ground state. Thus, our work highlights limitations and strengths of the formalism and leads to a better treatment of composite bosons.


title: Identifying Ransomware Actors in the Bitcoin Network

abstract: Due to the pseudo-anonymity of the Bitcoin network, users can hide behind their bitcoin addresses that can be generated in unlimited quantity, on the fly, without any formal links between them. Thus, it is being used for payment transfer by the actors involved in ransomware and other illegal activities. The other activity we consider is related to gambling since gambling is often used for transferring illegal funds. The question addressed here is that given temporally limited graphs of Bitcoin transactions, to what extent can one identify common patterns associated with these fraudulent activities and apply them to find other ransomware actors. The problem is rather complex, given that thousands of addresses can belong to the same actor without any obvious links between them and any common pattern of behavior. The main contribution of this paper is to introduce and apply new algorithms for local clustering and supervised graph machine learning for identifying malicious actors. We show that very local subgraphs of the known such actors are sufficient to differentiate between ransomware, random and gambling actors with 85% prediction accuracy on the test data set.


title: On the formulation of fractional Adams-Bashforth method with Atangana-Baleanu-Caputo derivative to model chaotic problems

abstract: Mathematical analysis with numerical application of the newly formulated fractional version of the Adams-Bashforth method using the Atangana-Baleanu derivative which has nonlocal and nonsingular properties is considered in this paper. We adopt the fixed point theory and approximation method to prove the existence and uniqueness of the solution via general two-component time-fractional differential equations. The method is tested with three nonlinear chaotic dynamical systems in which the integer-order derivative is modeled with the proposed fractional-order case. Simulation result for different $\alpha$ values in $(0,1]$ is presented.


title: Thermoelectric properties of Bi2O2Se single crystals

abstract: Bismuth oxyselenide (Bi$_2$O$_2$Se) attracts great interest as a potential n-type complement to p-type thermoelectric oxides in practical applications. Previous investigations were generally focused on polycrystals. Here, we performed a study on the thermoelectric properties of Bi$_2$O$_2$Se single crystals. Our samples exhibit electron mobility as high as 250 cm$^2.$V$^{-1}$.s$^{-1}$ and thermal conductivity as low as $2$ W.m$^{-1}$.K$^{-1}$ near room temperature. The maximized figure of merit is yielded to be 0.188 at 390 K, higher than that of polycrystals. Consequently, a rough estimation of the phonon mean free path ($\ell_\textrm{ph}$) from the kinetic model amounts to 12 $\r{A}$ at 390 K and follows a $T^{-1}$ behavior. An extrapolation of $\ell_\textrm{ph}$ to higher temperatures indicates that this system approaches the Ioffe-Regel limit at about 1100 K. In light of the phonon dispersions, we argue that the ultralow $\ell_\textrm{ph}$ is attributed to intense anharmonic phonon-phonon scattering, including Umklapp process and acoustic to optical phonon scattering. Our results suggest that single crystals provide a further improvement of thermoelectric performance of Bi$_2$O$_2$Se.


title: Max-Utility Based Arm Selection Strategy For Sequential Query Recommendations

abstract: We consider the query recommendation problem in closed loop interactive learning settings like online information gathering and exploratory analytics. The problem can be naturally modelled using the Multi-Armed Bandits (MAB) framework with countably many arms. The standard MAB algorithms for countably many arms begin with selecting a random set of candidate arms and then applying standard MAB algorithms, e.g., UCB, on this candidate set downstream. We show that such a selection strategy often results in higher cumulative regret and to this end, we propose a selection strategy based on the maximum utility of the arms. We show that in tasks like online information gathering, where sequential query recommendations are employed, the sequences of queries are correlated and the number of potentially optimal queries can be reduced to a manageable size by selecting queries with maximum utility with respect to the currently executing query. Our experimental results using a recent real online literature discovery service log file demonstrate that the proposed arm selection strategy improves the cumulative regret substantially with respect to the state-of-the-art baseline algorithms. % and commonly used random selection strategy for a variety of contextual multi-armed bandit algorithms. Our data model and source code are available at ~\url{https://anonymous.4open.science/r/0e5ad6b7-ac02-4577-9212-c9d505d3dbdb/}.


title: TREND: Trigger-Enhanced Relation-Extraction Network for Dialogues

abstract: The goal of dialogue relation extraction (DRE) is to identify the relation between two entities in a given dialogue. During conversations, speakers may expose their relations to certain entities by explicit or implicit clues, such evidences called "triggers". However, trigger annotations may not be always available for the target data, so it is challenging to leverage such information for enhancing the performance. Therefore, this paper proposes to learn how to identify triggers from the data with trigger annotations and then transfers the trigger-finding capability to other datasets for better performance. The experiments show that the proposed approach is capable of improving relation extraction performance of unseen relations and also demonstrate the transferability of our proposed trigger-finding model across different domains and datasets.


title: Barrier crossing in a viscoelastic bath

abstract: We investigate the hopping dynamics of a colloidal particle across a potential barrier and within a viscoelastic, i.e., non-Markovian bath, and report two clearly separated time scales in the corresponding waiting time distributions. While the longer time scale exponentially depends on the barrier height, the shorter one is similar to the relaxation time of the fluid. This short time scale is a signature of the storage and release of elastic energy inside the bath, that strongly increases the hopping rate. Our results are in excellent agreement with numerical simulations of a simple Maxwell model.


title: Spatial Blind Source Separation in the Presence of a Drift

abstract: Multivariate measurements taken at different spatial locations occur frequently in practice. Proper analysis of such data needs to consider not only dependencies on-sight but also dependencies in and in-between variables as a function of spatial separation. Spatial Blind Source Separation (SBSS) is a recently developed unsupervised statistical tool that deals with such data by assuming that the observable data is formed by a linear latent variable model. In SBSS the latent variable is assumed to be constituted by weakly stationary random fields which are uncorrelated. Such a model is appealing as further analysis can be carried out on the marginal distributions of the latent variables, interpretations are straightforward as the model is assumed to be linear, and not all components of the latent field might be of interest which acts as a form of dimension reduction. The weakly stationarity assumption of SBSS implies that the mean of the data is constant for all sample locations, which might be too restricting in practical applications. Therefore, an adaptation of SBSS that uses scatter matrices based on differences was recently suggested in the literature. In our contribution we formalize these ideas, suggest an adapted SBSS method and show its usefulness on synthetic and real data.


title: Pionic depth of the hadron gas after a heavy-ion collision

abstract: The final stage of a relativistic heavy-ion collision is a hadron gas. Final-state interactions therein distort the $p_T$ spectrum of particles coming from the phase transition upon cooling the quark-gluon plasma. Using recent state-of-the-art parametrizations of pion interactions we provide theoretical computations of the pionic depth of the gas: how likely is it that a given pion rescatters in it (we find a high probability around $p_T=0.5$ GeV at midrapidity, corresponding to the formation of the $\rho$ resonance), a comparison of the collision and Bjorken expansion rates, and how many pions make it through without interacting as a function of $p_T$. This is in the range 10-24$\%$ and shown in this plot, the main result of the contribution.


title: Acceleration and focusing of positron bunch in a dielectric waveguide accelerator with homogeneous plasma in transport channel

abstract: The paper presents the results of numerical PIC-simulation of positron bunch focusing when acceleration in a plasma dielectric wakefield accelerator. The wakefield was excited by drive electron bunch in quartz dielectric tube, embedded in cylindrical metal waveguide. The internal area of dielectric tube has been filled with radially homogeneous plasma having in general case the vacuum channel along waveguide axis. Results of numerical PIC simulation have shown that it is possible a simultaneous acceleration and focusing of test positron bunch in the wakefield. The dependence of transport and acceleration of positron bunch on size of vacuum channel and waveguide length is studied.


title: Maximum F1-score training for end-to-end mispronunciation detection and diagnosis of L2 English speech

abstract: End-to-end (E2E) neural models are increasingly attracting attention as a promising modeling approach for mispronunciation detection and diagnosis (MDD). Typically, these models are trained by optimizing a cross-entropy criterion, which corresponds to improving the log-likelihood of the training data. However, there is a discrepancy between the objectives of model training and the MDD evaluation, since the performance of an MDD model is commonly evaluated in terms of F1-score instead of phone or word error rate (PER/WER). In view of this, we in this paper explore the use of a discriminative objective function for training E2E MDD models, which aims to maximize the expected F1-score directly. A series of experiments conducted on the L2-ARCTIC dataset show that our proposed method can yield considerable performance improvements in relation to some state-of-the-art E2E MDD approaches and the celebrated GOP method.


title: Unsupervised Open-Domain Question Answering

abstract: Open-domain Question Answering (ODQA) has achieved significant results in terms of supervised learning manner. However, data annotation cannot also be irresistible for its huge demand in an open domain. Though unsupervised QA or unsupervised Machine Reading Comprehension (MRC) has been tried more or less, unsupervised ODQA has not been touched according to our best knowledge. This paper thus pioneers the work of unsupervised ODQA by formally introducing the task and proposing a series of key data construction methods. Our exploration in this work inspiringly shows unsupervised ODQA can reach up to 86% performance of supervised ones.


title: Cats vs. Spectre: An Axiomatic Approach to Modeling Speculative Execution Attacks

abstract: The Spectre family of speculative execution attacks have required a rethinking of formal methods for security. Approaches based on operational speculative semantics have made initial inroads towards finding vulnerable code and validating defenses. However, with each new attack grows the amount of microarchitectural detail that has to be integrated into the underlying semantics. We propose an alternative, light-weight and axiomatic approach to specifying speculative semantics that relies on insights from memory models for concurrency. We use the CAT modeling language for memory consistency to specify execution models that capture speculative control flow, store-to-load forwarding, predictive store forwarding, and memory ordering machine clears. We present a bounded model checking framework parametrized by our speculative CAT models and evaluate its implementation against the state of the art. Due to the axiomatic approach, our models can be rapidly extended to allow our framework to detect new types of attacks and validate defenses against them.


title: The Terwilliger algebra of symplectic dual polar graphs, the subspace lattices and $U_q(sl_2)$

abstract: The adjacency matrix of a symplectic dual polar graph restricted to the eigenspaces of an abelian automorphism subgroup is shown to act as the adjacency matrix of a weighted subspace lattice. The connection between the latter and $U_q(sl_2)$ is used to find the irreducible components of the standard module of the Terwilliger algebra of symplectic dual polar graphs. The multiplicities of the isomorphic submodules are given.


title: Could $M_{T2}$ be a singularity variable?

abstract: The algebraic singularity method is a framework for analyzing collider events with missing energy. It provides a way to draw out a set of singularity variables that can catch singular features originating from the projection of full phase space onto the observable phase space of measured particle momenta. It is a promising approach applicable to various physics processes with missing energy but still requires more studies for use in practice. Meanwhile, in the double-sided decay topology with an invisible particle on each side, the $M_{T2}$ variable has been known to be a useful collider observable for measuring particle masses from missing energy events or setting signal regions of collider searches. We investigate the relation between the two different types of kinematic variables in double-sided decay topology. We find that the singularity variables contain the $M_{T2}$ variable in many cases, although the former is not a strict superset of the latter.


title: GeodesicEmbedding (GE): A High-Dimensional Embedding Approach for Fast Geodesic Distance Queries

abstract: In this paper, we develop a novel method for fast geodesic distance queries. The key idea is to embed the mesh into a high-dimensional space, such that the Euclidean distance in the high-dimensional space can induce the geodesic distance in the original manifold surface. However, directly solving the high-dimensional embedding problem is not feasible due to the large number of variables and the fact that the embedding problem is highly nonlinear. We overcome the challenges with two novel ideas. First, instead of taking all vertices as variables, we embed only the saddle vertices, which greatly reduces the problem complexity. We then compute a local embedding for each non-saddle vertex. Second, to reduce the large approximation error resulting from the purely Euclidean embedding, we propose a cascaded optimization approach that repeatedly introduces additional embedding coordinates with a non-Euclidean function to reduce the approximation residual. Using the precomputation data, our approach can determine the geodesic distance between any two vertices in near-constant time. Computational testing results show that our method is more desirable than previous geodesic distance queries methods.


title: Chi-square Loss for Softmax: an Echo of Neural Network Structure

abstract: Softmax working with cross-entropy is widely used in classification, which evaluates the similarity between two discrete distribution columns (predictions and true labels). Inspired by chi-square test, we designed a new loss function called chi-square loss, which is also works for Softmax. Chi-square loss has a statistical background. We proved that it is unbiased in optimization, and clarified its using conditions (its formula determines that it must work with label smoothing). In addition, we studied the sample distribution of this loss function by visualization and found that the distribution is related to the neural network structure, which is distinct compared to cross-entropy. In the past, the influence of structure was often ignored when visualizing. Chi-square loss can notice changes in neural network structure because it is very strict, and we explained the reason for this strictness. We also studied the influence of label smoothing and discussed the relationship between label smoothing and training accuracy and stability. Since the chi-square loss is very strict, the performance will degrade when dealing samples of very many classes.


title: Temporal Deep Learning Architecture for Prediction of COVID-19 Cases in India

abstract: To combat the recent coronavirus disease 2019 (COVID-19), academician and clinician are in search of new approaches to predict the COVID-19 outbreak dynamic trends that may slow down or stop the pandemic. Epidemiological models like Susceptible-Infected-Recovered (SIR) and its variants are helpful to understand the dynamics trend of pandemic that may be used in decision making to optimize possible controls from the infectious disease. But these epidemiological models based on mathematical assumptions may not predict the real pandemic situation. Recently the new machine learning approaches are being used to understand the dynamic trend of COVID-19 spread. In this paper, we designed the recurrent and convolutional neural network models: vanilla LSTM, stacked LSTM, ED-LSTM, Bi-LSTM, CNN, and hybrid CNN+LSTM model to capture the complex trend of COVID-19 outbreak and perform the forecasting of COVID-19 daily confirmed cases of 7, 14, 21 days for India and its four most affected states (Maharashtra, Kerala, Karnataka, and Tamil Nadu). The root mean square error (RMSE) and mean absolute percentage error (MAPE) evaluation metric are computed on the testing data to demonstrate the relative performance of these models. The results show that the stacked LSTM and hybrid CNN+LSTM models perform best relative to other models.


title: Aligning Hotel Embeddings using Domain Adaptation for Next-Item Recommendation

abstract: In online platforms it is often the case to have multiple brands under the same group which may target different customer profiles, or have different domains. For example, in the hospitality domain, Expedia Group has multiple brands like Brand Expedia, Hotels.com and Wotif which have either different traveler profiles or are more relevant in a local context. In this context, learning embeddings for hotels that can be leveraged in recommendation tasks in multiple brands requires to have a common embedding that can be induced using alignment approaches. In the same time, one needs to ensure that this common embedding space does not degrade the performance in any of the brands. In this work we build upon the hotel2vec model and propose a simple regularization approach for aligning hotel embeddings of different brands via domain adaptation. We also explore alignment methods previously used in cross-lingual embeddings to align spaces of different languages. We present results on the task of next-hotel prediction using click sessions from two brands. The results show that the proposed approach can align the two embedding spaces while achieving good performance in both brands. Additionally, with respect to single-brand training we show that the proposed approach can significantly reduce training time and improve the predictive performance.


title: Conserving Lattice Gauge Theory for Finite Systems

abstract: In this contribution I discuss a recent proposal of a novel action for lattice gauge theory for finite systems, which accommodates non-periodic spatial boundary conditions. Drawing on the summation-by-parts formulation of finite differences and finite volume strategies of computational electrodynamics, an action is constructed that implements the proper integral form of Gauss' law and exhibits an inherently symmetric energy momentum tensor, all while realizing automatic ${\cal O}(a)$ improvement. Its central ingredients are illustrated using Abelian gauge theory as example.


title: Self-Calibrating Neural Radiance Fields

abstract: In this work, we propose a camera self-calibration algorithm for generic cameras with arbitrary non-linear distortions. We jointly learn the geometry of the scene and the accurate camera parameters without any calibration objects. Our camera model consists of a pinhole model, a fourth order radial distortion, and a generic noise model that can learn arbitrary non-linear camera distortions. While traditional self-calibration algorithms mostly rely on geometric constraints, we additionally incorporate photometric consistency. This requires learning the geometry of the scene, and we use Neural Radiance Fields (NeRF). We also propose a new geometric loss function, viz., projected ray distance loss, to incorporate geometric consistency for complex non-linear camera models. We validate our approach on standard real image datasets and demonstrate that our model can learn the camera intrinsics and extrinsics (pose) from scratch without COLMAP initialization. Also, we show that learning accurate camera models in a differentiable manner allows us to improve PSNR over baselines. Our module is an easy-to-use plugin that can be applied to NeRF variants to improve performance. The code and data are currently available at https://github.com/POSTECH-CVLab/SCNeRF.


title: Occurrence of a turning point in the dynamic solution for a Reissner-Nordstr\"om black hole

abstract: A self-consistent exact solution for a Reissner-Nordstr\"om black-and-white hole formed as a result of accretion has been considered. Prior to the formation of a black-and-white hole, there is a bulk charged sphere at the center of the system. The occurrence of a turning (bounce) point in the newly formed black-and-white hole is investigated. The occurrence of a turning point was investigated by an example of solution for the accretion of a neutral spherical dust shell. The model equations are written with allowance for the cosmological $\Lambda$-term. Within the model under consideration, both the black-and-white hole and its turning point are formed in the already existing Universe; therefore, the black-and-white hole in this model is not <<eternal>>.


title: PACE: Posthoc Architecture-Agnostic Concept Extractor for Explaining CNNs

abstract: Deep CNNs, though have achieved the state of the art performance in image classification tasks, remain a black-box to a human using them. There is a growing interest in explaining the working of these deep models to improve their trustworthiness. In this paper, we introduce a Posthoc Architecture-agnostic Concept Extractor (PACE) that automatically extracts smaller sub-regions of the image called concepts relevant to the black-box prediction. PACE tightly integrates the faithfulness of the explanatory framework to the black-box model. To the best of our knowledge, this is the first work that extracts class-specific discriminative concepts in a posthoc manner automatically. The PACE framework is used to generate explanations for two different CNN architectures trained for classifying the AWA2 and Imagenet-Birds datasets. Extensive human subject experiments are conducted to validate the human interpretability and consistency of the explanations extracted by PACE. The results from these experiments suggest that over 72% of the concepts extracted by PACE are human interpretable.


title: Partial regularity result for non-autonomous elliptic systems with general growth

abstract: In this paper we prove a H\"older partial regularity result for weak solutions $u:\Omega\to \mathbb{R}^N$, $N\geq 2$, to non-autonomous elliptic systems with general growth of the type: \begin{equation*} -\rm{div}\, a(x, u, Du)= b(x, u, Du) \quad \mbox{ in } \Omega. \end{equation*} The crucial point is that the operator $a$ satisfies very weak regularity properties and a general growth, while the inhomogeneity $b$ has a controllable growth.


title: Bridging the Gap between Deep Learning and Frustrated Quantum Spin System for Extreme-scale Simulations on New Generation of Sunway Supercomputer

abstract: Efficient numerical methods are promising tools for delivering unique insights into the fascinating properties of physics, such as the highly frustrated quantum many-body systems. However, the computational complexity of obtaining the wave functions for accurately describing the quantum states increases exponentially with respect to particle number. Here we present a novel convolutional neural network (CNN) for simulating the two-dimensional highly frustrated spin-$1/2$ $J_1-J_2$ Heisenberg model, meanwhile the simulation is performed at an extreme scale system with low cost and high scalability. By ingenious employment of transfer learning and CNN's translational invariance, we successfully investigate the quantum system with the lattice size up to $24\times24$, within 30 million cores of the new generation of sunway supercomputer. The final achievement demonstrates the effectiveness of CNN-based representation of quantum-state and brings the state-of-the-art record up to a brand-new level from both aspects of remarkable accuracy and unprecedented scales.


title: Deep Learning of Transferable MIMO Channel Modes for 6G V2X Communications

abstract: In the emerging high mobility Vehicle-to-Everything (V2X) communications using millimeter Wave (mmWave) and sub-THz, Multiple-Input Multiple-Output (MIMO) channel estimation is an extremely challenging task. At mmWaves/sub-THz frequencies, MIMO channels exhibit few leading paths in the space-time domain (i.e., directions or arrival/departure and delays). Algebraic Low-rank (LR) channel estimation exploits space-time channel sparsity through the computation of position-dependent MIMO channel eigenmodes leveraging recurrent training vehicle passages in the coverage cell. LR requires vehicles' geographical positions and tens to hundreds of training vehicles' passages for each position, leading to significant complexity and control signalling overhead. Here we design a DL-based LR channel estimation method to infer MIMO channel eigenmodes in V2X urban settings, starting from a single LS channel estimate and without needing vehicle's position information. Numerical results show that the proposed method attains comparable Mean Squared Error (MSE) performance as the position-based LR. Moreover, we show that the proposed model can be trained on a reference scenario and be effectively transferred to urban contexts with different space-time channel features, providing comparable MSE performance without an explicit transfer learning procedure. This result eases the deployment in arbitrary dense urban scenarios.


title: Nanocircuit transmitting microwave and terahertz harmonics generated by a mode-locked laser

abstract: Earlier we focused a mode-locked laser on the tip-sample tunneling junction of a scanning tunneling microscope. This superimposed currents at hundreds of harmonics of the laser pulse-repetition rate on the DC tunneling current. The power at each harmonic is inversely proportional to its frequency. However, analysis suggests that within the tunneling junction the harmonics only decay above 45 THz as the exponent of minus the square of the product of the harmonic number and the laser duty cycle. Now this effect is applied in a nanocircuit with an optical antenna to receive the laser radiation, metal-insulator-metal tunneling diodes to generate the harmonics, and filters to select the microwave or terahertz harmonics that are transmitted by a second antenna.


title: Thermal transport in van der Waals graphene/boron-nitride structure: a molecular dynamics study

abstract: Among the van der Waals heterostructures, graphene/h-BN heterostructure is an appropriate candidate for 2D nanoelectronic devices. In this paper, using non-equilibrium molecular dynamics simulation approach, heat transport in bilayer graphene/h-BN and graphene/h-BN van der Waals heterostructure (i.e. h-BN flakes periodically inserted on the top and bottom of a graphene layer) are explored. The results show that by increasing the length of the system, the thermal conductivity of bilayer graphene/h-BN increases. Furthermore, it was revealed that heat transport in graphene/h-BN heterostructure enhances compared to that in monolayer graphene or monolayer h-BN. The size effect analysis shows that the heat fluxes passing through each layer in bilayer graphene/h-BN converges when the size of the system is larger than 100 nm. The results can improve the understanding heat transfer phenomena in the van der Waals heterostructures and improve designing of heterostructures for better thermal management and heat dissipation.


title: A step towards proving de Polignac's Conjecture

abstract: Consider the set of all natural numbers that are co-prime to primes less than or equal to a given prime. Then given a consecutive pair of numbers in that set with an arbitrary even gap, we prove there exists an unbounded number of actual prime pairs with that same gap. This conditional proof of de Polignac's conjecture constitutes a proof for a range of known gaps, but the full conjecture requires additional proof that such number pairs exist for all even gaps.


title: On the Jones Polynomial

abstract: This expository essay is aimed at introducing the Jones polynomial. We will see the encapsulation of the Jones polynomial, which will involve topics in functional analysis and geometrical topology; making this essay an interdisciplinary area of mathematics. The presentation is based on a lot of different sources of material (check references), but we will mainly be giving an account on Jones' papers and Kauffman's papers.


title: Explainable AI for engineering design: A unified approach of systems engineering and component-based deep learning

abstract: Data-driven models created by machine learning, gain in importance in all fields of design and engineering. They, have high potential to assist decision-makers in creating novel, artefacts with better performance and sustainability. However,, limited generalization and the black-box nature of these models, lead to limited explainability and reusability. To overcome this, situation, we propose a component-based approach to create, partial component models by machine learning (ML). This, component-based approach aligns deep learning with systems, engineering (SE). The key contribution of the component-based, method is that activations at interfaces between the components, are interpretable engineering quantities. In this way, the, hierarchical component system forms a deep neural network, (DNN) that a priori integrates information for engineering, explainability. The, approach adapts the model structure to engineering methods of, systems engineering and to domain knowledge. We examine the, performance of the approach by the field of energy-efficient, building design: First, we observed better generalization of the, component-based method by analyzing prediction accuracy, outside the training data. Especially for representative designs, different in structure, we observe a much higher accuracy, (R2 = 0.94) compared to conventional monolithic methods, (R2 = 0.71). Second, we illustrate explainability by exemplary, demonstrating how sensitivity information from SE and rules, from low-depth decision trees serve engineering. Third, we, evaluate explainability by qualitative and quantitative methods, demonstrating the matching of preliminary knowledge and data-driven, derived strategies and show correctness of activations at, component interfaces compared to white-box simulation results, (envelope components: R2 = 0.92..0.99; zones: R2 = 0.78..0.93).


title: Towards a Common Testing Terminology for Software Engineering and Data Science Experts

abstract: Analytical quality assurance, especially testing, is an integral part of software-intensive system development. With the increased usage of Artificial Intelligence (AI) and Machine Learning (ML) as part of such systems, this becomes more difficult as well-understood software testing approaches cannot be applied directly to the AI-enabled parts of the system. The required adaptation of classical testing approaches and the development of new concepts for AI would benefit from a deeper understanding and exchange between AI and software engineering experts. We see the different terminologies used in the two communities as a major obstacle on this way. As we consider a mutual understanding of the testing terminology a key, this paper contributes a mapping between the most important concepts from classical software testing and AI testing. In the mapping, we highlight differences in the relevance and naming of the mapped concepts.


title: The Interaction Flow Editor: A New Human-Robot Interaction Rapid Prototyping Interface

abstract: Human-robot interaction can be regarded as a flow between users and robots. Designing good interaction flows takes a lot of effort and needs to be field tested. Unfortunately, the interaction flow design process is often very disjointed, with users experiencing prototypes, designers forming those prototypes, and developers implementing them as independent processes. In this paper, we present the Interaction Flow Editor (IFE), a new human-robot interaction prototyping tool that enables everyday users to create and modify their own interactions, while still providing a full suite of features that is powerful enough for developers and designers to create complex interactions. We also discuss the Flow Engine, a flexible and adaptable framework for executing robot interaction flows authors through the IFE. Finally, we present our case study results that demonstrates how older adults, aged 70 and above, can design and iterate interactions in real-time on a robot using the IFE.


title: Production of Primordial Black Holes via Single Field Inflation and Observational Constraints

abstract: In a class of single field models of inflation, the idea of Primordial Black holes(PBHs) production is studied. In this case, the dynamics on small cosmological scales differs significantly from that of the large scales probed by the observations of cosmic microwave background(CMB). This difference becomes a virtue in producing correct physical ambiance for the seeds required to produce PBHs. Thus, once the perturbed scales renter the horizon of our Universe during the later epochs of radiation domination and subsequent matter domination, these seeds collapses to produce PBHs. We have shown, in this class of model, depending on the model parameters and the class defining set parameters, one can have PBHs formed for a vast mass ranges from $10^{-18}$ to $10^{-6}$ solar mass(\(\textup{M}_\odot\)). We have also shown, for a particular class of model, the total dark matter density today can be attributed to the PBHs density. The vast range of the mass depending on the class parameter, gives ample opportunity to study enriched phenomenological implications associated with this model to probe the nascent Universe dynamics.


title: On the continuity of topological entropy of certain partially hyperbolic diffeomorphisms

abstract: In this paper, we consider certain partially hyperbolic diffeomorphisms with center of arbitrary dimension and obtain continuity properties of the topological entropy under $C^1$ perturbations. The systems considered have subexponential growth in the center direction and uniform exponential growth along the unstable foliation. Our result applies to partially hyperbolic diffeomorphisms which are Lyapunov stable in the center direction. It applies to another important class of systems which do have subexponential growth in the center direction, for which we develop a technique to use exponential mixing property of the systems to get uniform distribution of unstable manifolds. A primary example is the translations on homogenous spaces which may have center of arbitrary dimension and of polynomial orbit growth.


title: Erythrocyte sedimentation: Fracture and collapse of a high-volume-fraction soft-colloid gel

abstract: The erythrocyte sedimentation rate is one of the oldest medical diagnostic methods whose physical mechanisms remain debatable up to date. Using both light microscopy and mesoscale cell-level simulations, we show that erythrocytes form a soft-colloid gel. Furthermore, the high volume fraction of erythrocytes, their deformability, and weak attraction lead to unusual properties of this gel. A theoretical model for the gravitational collapse is developed, whose predictions are in agreement with detailed macroscopic measurements of the interface velocity.


title: Regional estimates of reproduction numbers with application to COVID-19

abstract: In the last year many public health decisions were based on real-time monitoring the spread of the ongoing COVID-19 pandemic. For this one often considers the reproduction number which measures the amount of secondary cases produced by a single infectious individual. While estimates of this quantity are readily available on the national level, subnational estimates, e.g. on the county level, pose more difficulties since only few incidences occur there. However, as countermeasures to the pandemic are usually enforced on the subnational level, such estimates are of great interest to assess the efficacy of the measures taken, and to guide future policy. We present a novel extension of the well established estimator of the country level reproduction number to the county level by applying techniques from small-area estimation. This new estimator yields sensible estimates of reproduction numbers both on the country and county level. It can handle low and highly variable case counts on the county level, and may be used to distinguish local outbreaks from more widespread ones. We demonstrate the capabilities of our novel estimator by a simulation study and by applying the estimator to German case data.


title: Self-Supervised Learning Based Domain Adaptation for Robust Speaker Verification

abstract: Large performance degradation is often observed for speaker ver-ification systems when applied to a new domain dataset. Givenan unlabeled target-domain dataset, unsupervised domain adaptation(UDA) methods, which usually leverage adversarial training strate-gies, are commonly used to bridge the performance gap caused bythe domain mismatch. However, such adversarial training strategyonly uses the distribution information of target domain data and cannot ensure the performance improvement on the target domain. Inthis paper, we incorporate self-supervised learning strategy to the un-supervised domain adaptation system and proposed a self-supervisedlearning based domain adaptation approach (SSDA). Compared tothe traditional UDA method, the new SSDA training strategy canfully leverage the potential label information from target domainand adapt the speaker discrimination ability from source domainsimultaneously. We evaluated the proposed approach on the Vox-Celeb (labeled source domain) and CnCeleb (unlabeled target do-main) datasets, and the best SSDA system obtains 10.2% Equal ErrorRate (EER) on the CnCeleb dataset without using any speaker labelson CnCeleb, which also can achieve the state-of-the-art results onthis corpus.


title: Fiducial marker recovery and detection from severely truncated data in navigation assisted spine surgery

abstract: Fiducial markers are commonly used in navigation assisted minimally invasive spine surgery (MISS) and they help transfer image coordinates into real world coordinates. In practice, these markers might be located outside the field-of-view (FOV), due to the limited detector sizes of C-arm cone-beam computed tomography (CBCT) systems used in intraoperative surgeries. As a consequence, reconstructed markers in CBCT volumes suffer from artifacts and have distorted shapes, which sets an obstacle for navigation. In this work, we propose two fiducial marker detection methods: direct detection from distorted markers (direct method) and detection after marker recovery (recovery method). For direct detection from distorted markers in reconstructed volumes, an efficient automatic marker detection method using two neural networks and a conventional circle detection algorithm is proposed. For marker recovery, a task-specific learning strategy is proposed to recover markers from severely truncated data. Afterwards, a conventional marker detection algorithm is applied for position detection. The two methods are evaluated on simulated data and real data, both achieving a marker registration error smaller than 0.2 mm. Our experiments demonstrate that the direct method is capable of detecting distorted markers accurately and the recovery method with task-specific learning has high robustness and generalizability on various data sets.


title: On a general Syracuse problem with conjectures

abstract: In this paper, we study a general Syracuse problem. We give some necessary conditions concerning the existence of eventual non trivial cycles. Some properties based on linear logarithmic forms are established. New general conjectures are given. To illustrate the behavior of such a problem, some particular examples are presented.


title: Vector Centrality in Hypergraphs

abstract: Identifying the most influential nodes in networked systems is of vital importance to optimize their function and control. Several scalar metrics have been proposed to that effect, but the recent shift in focus towards network structures which go beyond a simple collection of dyadic interactions has rendered them void of performance guarantees. We here introduce a new measure of node's centrality, which is no longer a scalar value, but a vector with dimension one lower than the highest order of interaction in a hypergraph. Such a vectorial measure is linked to the eigenvector centrality for networks containing only dyadic interactions, but it has a significant added value in all other situations where interactions occur at higher-orders. In particular, it is able to unveil different roles which may be played by the same node at different orders of interactions -- information that is otherwise impossible to retrieve by single scalar measures. We demonstrate the efficacy of our measure with applications to synthetic networks and to three real world hypergraphs, and compare our results with those obtained by applying other scalar measures of centrality proposed in the literature.