title: Circular Motion of Charged Particles near Charged Black Hole

abstract: We study the circular motion of charged particles near a charged black hole. The general form of the Lyapunov exponent of charged particles is obtained by using the Jacobian matrix. The results show that the chaos bound can be saturated by the circular motion of charged particles on the horizon. By further expanding the Lyapunov exponent near the horizon and investigating Reissner-Nordstr\"om(RN) black holes with different $M/Q$, we find that in contrast to the static equilibrium, the circular motion of charged particles can have a larger Lyapunov exponent due to the existence of angular momentum. For the RN black holes which have the mass-charge ratio $1<M/Q <1.1547$, the chaos bound is locally violated by the null and the time-like circular motion with large angular momentum. As an illustration of the universality of our results, we study the charged particles' circular motion near the Reissner-Nordstr\"om Anti-de Sitter (RN-AdS) black hole and find that the null and the time-like circular motion with large angular momentum can exceed the chaos bound under the background of RN-AdS black holes with the mass-charge ratio in the range $1.23132<M/Q<1.75225$.


title: Twisted Jacobian algebras as endomorphism algebras of equivariant matrix factorizations

abstract: Given a polynomial $W$ with an isolated singularity, we can consider the Jacobian ring as an invariant of the singularity. If in addition we have a group action on the polynomial ring with $W$ fixed, we are led to consider the twisted Jacobian ring which reflects the equivariant structure as well. Our main result is to show that the twisted Jacobian ring is isomorphic to an endomorphism ring of the "twisted diagonal" matrix factorization. As an application, we suggest a way to investigate Floer theory of Lagrangian submanifolds which represent homological mirror functors.


title: A Survey of Visual Transformers

abstract: Transformer, an attention-based encoder-decoder model, has already revolutionized the field of natural language processing (NLP). Inspired by such significant achievements, some pioneering works have recently been done on employing Transformer-liked architectures in the computer vision (CV) field, which have demonstrated their effectiveness on three fundamental CV tasks (classification, detection, and segmentation) as well as multiple sensory data stream (images, point clouds, and vision-language data). Because of their competitive modeling capabilities, the visual Transformers have achieved impressive performance improvements over multiple benchmarks as compared with modern Convolution Neural Networks (CNNs). In this survey, we have reviewed over one hundred of different visual Transformers comprehensively according to three fundamental CV tasks and different data stream types, where a taxonomy is proposed to organize the representative methods according to their motivations, structures, and application scenarios. Because of their differences on training settings and dedicated vision tasks, we have also evaluated and compared all these existing visual Transformers under different configurations. Furthermore, we have revealed a series of essential but unexploited aspects that may empower such visual Transformers to stand out from numerous architectures, e.g., slack high-level semantic embeddings to bridge the gap between the visual Transformers and the sequential ones. Finally, three promising research directions are suggested for future investment. We will continue to update the latest articles and their released source codes at https://github.com/liuyang-ict/awesome-visual-transformers.


title: Environmental variation compensated damage classification and localization in ultrasonic guided wave SHM using self-learnt features and Gaussian mixture models

abstract: Conventional damage localization algorithms used in ultrasonic guided wave-based structural health monitoring (GW-SHM) rely on physics-defined features of GW signals. In addition to requiring domain knowledge of the interaction of various GW modes with various types of damages, they also suffer from errors due to variations in environmental and operating conditions (EOCs) in practical use cases. While several machine learning tools have been reported for EOC compensation, they need to be custom-designed for each combination of damage and structure due to their dependence on physics-defined feature extraction. In this work, we propose a CNN-based automated feature extraction framework coupled with Gaussian mixture model (GMM) based EOC compensation and damage classification and localization method. Features learnt by the CNNs are used for damage classification and localization of damage by modeling the probability distribution of the features using GMMs. The Kullback-Leibler (KL) divergence of these GMMs with respect to corresponding baseline GMMs are used as signal difference coefficients (SDCs) to compute damage indices (DIs) along various GW sensor paths, and thus for damage localization. The efficacy of the proposed method is demonstrated using FE generated GW-data for an aluminum plate with a network of six lead zirconate titanate (PZT) sensors, for three different types of damages (rivet hole, added mass, notch) at various temperatures, with added white noise and pink noise to incorporate errors due to EOCs. We also present experimental validation of the method through characterization of notch damage in an aluminum panel under varying and non-uniform temperature profiles, using a portable custom-designed field programmable gate array (FPGA) based signal transduction and data acquisition system.


title: Autobiography of Yoshitaka Tanimura

abstract: In this paper, two developments, the theory of hierarchical equations of motion (HEOM) for open quantum dynamics systems and the theory of ultrafast nonlinear two-dimensional (2D) spectroscopies, are described, following the history of their founder. The HEOM was discovered by attempting to derive an equation similar to Kuob's stochastic Liouville equation based on the system-bath Hamiltonian. The theory of 2D spectroscopy was developed in the process of investigating the effect of quantum coherence on nonlinear vibrational spectra based on the Feynman-Vernon influence functional. The paper also describes the development of these two theories for problems such as electron and exciton transfer in photosynthetic systems, quantum statistical thermodynamics, and solid-state physics.


title: The fundamentals of Lyman-alpha exoplanet transits

abstract: Lyman-$\alpha$ transits have been detected from several nearby exoplanets and are one of our best insights into the atmospheric escape process. However, due to ISM absorption, we typically only observe the transit signature in the blue-wing, making them challenging to interpret. This challenge has been recently highlighted by non-detections from planets thought to be undergoing vigorous escape. Pioneering 3D simulations have shown that escaping hydrogen is shaped into a cometary tail receding from the planet. Motivated by this work, we develop a simple model to interpret Lyman-$\alpha$ transits. Using this framework, we show that the Lyman-$\alpha$ transit depth is primarily controlled by the properties of the stellar tidal field rather than details of the escape process. Instead, the transit duration provides a direct measurement of the velocity of the planetary outflow. This result arises because the underlying physics is the distance a neutral hydrogen atom can travel before it is photoionized in the outflow. Thus, higher irradiation levels, expected to drive more powerful outflows, produce weaker, shorter Lyman-$\alpha$ transits because the outflowing gas is ionized more quickly. Our framework suggests that the generation of energetic neutral atoms may dominate the transit signature early, but the acceleration of planetary material produces long tails. Thus, Lyman-$\alpha$ transits do not primarily probe the mass-loss rates. Instead, they inform us about the velocity at which the escape mechanism is ejecting material from the planet, providing a clean test of predictions from atmospheric escape models.


title: Dynamical signature: complex manifolds, gauge fields and non-flat tangent space

abstract: Theoretical possibilities of models of gravity with dynamical signature are discussed. The different scenarios of the signature change are proposed in the framework of Einstein-Cartan gravity. We consider, subsequently, the dynamical signature in the model of the complex manifold with complex coordinates and complex metric introduced, a complexification of the manifold and coordinates through new gauge fields, an additional gauge symmetry for the Einsten-Cartan vierbein fields and non-flat tangent space for the metric in the Einstein-Cartan gravity. A new small parameter, which characterizes a degree of the deviation of the signature from the background one, is introduced in all models. The zero value of this parameter corresponds to the signature of an initial background metric. In turn, in the models with gauge fields present, this parameter represents a coupling constant of the gauge symmetry group. The mechanism of metric's determination through induced gauge fields with defined signature in the corresponding models is considered. The ways of the signature change through the gauge fields dynamics are reviewed, the consequences and applications of the proposed ideas are discussed as well.


title: Enhancing Autoignition Characteristics: A Framework to Discover Fuel Additives and Making Predictions Using Machine Learning

abstract: Combustion process can become more energy efficient and environment friendly if used with appropriate fuel additive. Discovery of fuel additive can be accelerated by applying hybrid approach of using of chemical kinetics and Machine Learning (ML). In this work, we present a framework that takes the robustness of Machine Learning and accuracy of chemical kinetics to predict the effect of fuel additive on autoignition process. We present a case of making predictions for Ignition Delay Time (IDT) of biofuel n-butanol ($C_4H_9OH$) with several fuel additives. The proposed framework was able to predict IDT of autoignition with high accuracy when used with unseen additives. This framework highlights the potential of ML to exploit chemical mechanisms in exploring and developing the fuel additives to obtain the desirable autoignition characteristics.


title: Current-induced superconducting anisotropy of Sr$\mathsf{_2}$RuO$\mathsf{_4}$

abstract: In the unconventional superconductor Sr$\mathsf{_2}$RuO$\mathsf{_4}$, unusual first-order superconducting transition has been observed in the low-temperature and high-field region, accompanied by a four-fold anisotropy of the in-plane upper critical magnetic field $H_{c2}$. The origin of such unusual $H_{c2}$ behavior should be closely linked to the debated superconducting symmetry of this oxide. Here, toward clarification of the unusual $H_{c2}$ behavior, we performed the resistivity measurements capable of switching in-plane current directions as well as precisely controlling the field directions. Our results reveal that resistive $H_{c2}$ under the in-plane current exhibits an additional two-fold anisotropy. By systematically analyzing $H_{c2}$ data taken under various current directions, we succeeded in separating the two-fold $H_{c2}$ component into the one originating from applied current and the other originating from certain imperfection in the sample. The former component, attributable to vortex flow effect, is weakened at low temperatures where $H_{c2}$ is substantially suppressed. The latter component is enhanced in the first order transition region, possibly reflecting a change in the nature of the superconducting state under high magnetic field.


title: Open surgery tool classification and hand utilization using a multi-camera system

abstract: Purpose: The goal of this work is to use multi-camera video to classify open surgery tools as well as identify which tool is held in each hand. Multi-camera systems help prevent occlusions in open surgery video data. Furthermore, combining multiple views such as a Top-view camera covering the full operative field and a Close-up camera focusing on hand motion and anatomy, may provide a more comprehensive view of the surgical workflow. However, multi-camera data fusion poses a new challenge: a tool may be visible in one camera and not the other. Thus, we defined the global ground truth as the tools being used regardless their visibility. Therefore, tools that are out of the image should be remembered for extensive periods of time while the system responds quickly to changes visible in the video. Methods: Participants (n=48) performed a simulated open bowel repair. A Top-view and a Close-up cameras were used. YOLOv5 was used for tool and hand detection. A high frequency LSTM with a 1 second window at 30 frames per second (fps) and a low frequency LSTM with a 40 second window at 3 fps were used for spatial, temporal, and multi-camera integration. Results: The accuracy and F1 of the six systems were: Top-view (0.88/0.88), Close-up (0.81,0.83), both cameras (0.9/0.9), high fps LSTM (0.92/0.93), low fps LSTM (0.9/0.91), and our final architecture the Multi-camera classifier(0.93/0.94). Conclusion: By combining a system with a high fps and a low fps from the multiple camera array we improved the classification abilities of the global ground truth.


title: On Novel Peer Review System for Academic Journals: Experimental Study Based on Social Computing

abstract: For improving the performance and effectiveness of peer review, a novel review system is proposed, based on analysis of peer review process for academic journals under a parallel model built via Monte Carlo method. The model can simulate the review, application and acceptance activities of the review systems, in a distributed manner. According to simulation experiments on two distinct review systems respectively, significant advantages manifest for the novel one.


title: Statistical investigation of the large-area Si(Li) detectors mass-produced for the GAPS experiment

abstract: The lithium-drifted silicon (Si(Li)) detector developed for the General Antiparticle Spectrometer (GAPS) experiment features a thick (~2.2 mm) sensitive layer, large (10 cm) diameter, and excellent energy resolution (~4 keV for 20-100 keV X-rays) at a relatively high operating temperature (approximately -40C). Mass production of GAPS Si(Li) detectors has been performed to construct a large-volume silicon tracker for GAPS. We achieved the first success of the mass production of large-area Si(Li) detectors with a high (~90%) yield rate. Valuable datasets related to detector fabrication, such as detector performance and manufacturing parameters, were recorded and collected during the mass production. This study analyzes the datasets using statistical methods with the aim of comprehensively examining the mass production and to gain valuable insight into the fabrication method. Sufficient uniformities of the performance parameters (leakage current and capacitance) between detectors and strips are found, demonstrating high-quality and stable mass production. We also search for correlations between detector performance and manufacturing parameters by using data-mining techniques. Conventional multivariate analysis (multiple regression analysis) and machine-learning techniques (regression tree analysis) are complementarily used, and it is found that the Li-drift process makes a significant contribution to the performance parameters of the finished detectors. Detailed investigation of the drift process is performed using environmental data, and physical interpretations are presented. Our results provide valuable insight into the fabrication methods for this kind of large-area Si(Li) detector, and encourages future projects that require large-volume silicon trackers.


title: A 2-Dimensional Binary Search for Integer Pareto Frontiers

abstract: For finite integer squares, we consider the problem of learning a classification $I$ that respects Pareto domination. The setup is natural in dynamic programming settings. We show that a generalization of the binary search algorithm achieves an optimal $\theta(n)$ worst-case run time.


title: The Present and Future of Discrete Logarithm Problems on Noisy Quantum Computers

abstract: The discrete logarithm problem (DLP) is the basis for several cryptographic primitives. Since Shor's work, it has been known that the DLP can be solved by combining a polynomial-size quantum circuit and a polynomial-time classical post-processing algorithm. Evaluating and predicting the instance size that quantum devices can solve is an emerging research topic. In this paper, we propose a quantitative measure based on the success probability of the post-processing algorithm to determine whether an experiment on a quantum device (or a classical simulator) succeeded. We also propose a procedure to modify bit strings observed from a Shor circuit to increase the success probability of a lattice-based post-processing algorithm. We report preliminary experiments conducted on IBM-Quantum quantum computers and near-future predictions based on noisy-device simulations. We conducted our experiments with the ibm_kawasaki device and discovered that the simplest circuit (7 qubits) from a 2-bit DLP instance achieves a sufficiently high success probability to proclaim the experiment successful. Experiments on another circuit from a slightly harder 2-bit DLP instance, on the other hand, did not succeed, and we determined that reducing the noise level by half is required to achieve a successful experiment. Finally, we give a near-term prediction based on required noise levels to solve some selected small DLP and integer factoring instances.


title: Towards Robust Knowledge Graph Embedding via Multi-task Reinforcement Learning

abstract: Nowadays, Knowledge graphs (KGs) have been playing a pivotal role in AI-related applications. Despite the large sizes, existing KGs are far from complete and comprehensive. In order to continuously enrich KGs, automatic knowledge construction and update mechanisms are usually utilized, which inevitably bring in plenty of noise. However, most existing knowledge graph embedding (KGE) methods assume that all the triple facts in KGs are correct, and project both entities and relations into a low-dimensional space without considering noise and knowledge conflicts. This will lead to low-quality and unreliable representations of KGs. To this end, in this paper, we propose a general multi-task reinforcement learning framework, which can greatly alleviate the noisy data problem. In our framework, we exploit reinforcement learning for choosing high-quality knowledge triples while filtering out the noisy ones. Also, in order to take full advantage of the correlations among semantically similar relations, the triple selection processes of similar relations are trained in a collective way with multi-task learning. Moreover, we extend popular KGE models TransE, DistMult, ConvE and RotatE with the proposed framework. Finally, the experimental validation shows that our approach is able to enhance existing KGE models and can provide more robust representations of KGs in noisy scenarios.


title: Nonreciprocal single-photon band structure

abstract: We study single-photon band structure in a one-dimensional (1D) coupled-resonator optical waveguide (CROW) which chirally couples to an array of two-level quantum emitters (QEs). The chiral interaction between the resonator mode and the QE can break the time-reversal symmetry without the magneto-optical effect. As a result, a nonreciprocal single-photon edge state, band gap and flat band appear. By using such a chiral QE-CROW system, including a finite number of unit cells and working in the nonreciprocal band gap, we achieve frequency-multiplex single-photon circulators with high fidelity and low insertion loss. The chiral QE-light interaction can also protect one-way propagation of single photons against backscattering. Our work opens a new door for studying nonreciprocal photonic band structure and exploring its applications in the quantum regime.


title: Multivariate Analytic Combinatorics for Cost Constrained Channels and Subsequence Enumeration

abstract: Analytic combinatorics in several variables is a powerful tool for deriving the asymptotic behavior of combinatorial quantities by analyzing multivariate generating functions. We study information-theoretic questions about sequences in a discrete noiseless channel under cost and forbidden substring constraints. Our main contributions involve the relationship between the graph structure of the channel and the singularities of the bivariate generating function whose coefficients are the number of sequences satisfying the constraints. We combine these new results with methods from multivariate analytic combinatorics to solve questions in many application areas. For example, we determine the optimal coded synthesis rate for DNA data storage when the synthesis supersequence is any periodic string. This follows from a precise characterization of the number of subsequences of an arbitrary periodic strings. Along the way, we provide a new proof of the equivalence of the combinatorial and probabilistic definitions of the cost-constrained capacity, and we show that the cost-constrained channel capacity is determined by a cost-dependent singularity, generalizing Shannon's classical result for unconstrained capacity.


title: Characterizing the initial conditions of heavy-ion collisions at the LHC with mean transverse momentum and anisotropic flow correlations

abstract: Correlations between mean transverse momentum $[p_{\rm T}]$ and anisotropic flow coefficients $v_{\rm 2}$ or $v_{\rm 3}$ are measured as a function of centrality in Pb$-$Pb and Xe$-$Xe collisions at $\sqrt{s_{\rm NN}} = 5.02$ TeV and 5.44 TeV, respectively, with ALICE. In addition, the recently proposed higher-order correlation between $[p_{\rm T}]$, $v_{\rm 2}$, and $v_{\rm 3}$ is measured for the first time, which shows an anticorrelation for the presented centrality ranges. These measurements are compared with hydrodynamic calculations using IP-Glasma and $\rm T_{R}ENTo$ initial-state shapes, the former based on the Color Glass Condensate effective theory with gluon saturation, and the latter a parameterized model with nucleons as the relevant degrees of freedom. The data are better described by the IP-Glasma rather than the $\rm T_{R}ENTo$ based calculations. In particular, Trajectum and JETSCAPE predictions, both based on the $\rm T_{R}ENTo$ initial state model but with different parameter settings, fail to describe the measurements. As the correlations between $[p_{\rm T}]$ and $v_{\rm n}$ are mainly driven by the correlations of the size and the shape of the system in the initial state, these new studies pave a novel way to characterize the initial state and help pin down the uncertainty of the extracted properties of the quark$-$gluon plasma recreated in relativistic heavy-ion collisions.


title: Ramsey numbers for complete graphs versus generalized fans

abstract: For two graphs $G$ and $H$, let $r(G,H)$ and $r_*(G,H)$ denote the Ramsey number and star-critical Ramsey number of $G$ versus $H$, respectively. In 1996, Li and Rousseau proved that $r(K_{m},F_{t,n})=tn(m-1)+1$ for $m\geq 3$ and sufficiently large $n$, where $F_{t,n}=K_{1}+nK_{t}$. Recently, Hao and Lin proved that $r(K_{3},F_{3,n})=6n+1$ for $n\geq 3$ and $r_{\ast}(K_{3},F_{3,n})=3n+3$ for $n\geq 4$. In this paper, we show that $r(K_{m}, sF_{t,n})=tn(m+s-2)+s$ for sufficiently large $n$ and, in particular, $r(K_{3}, sF_{t,n})=tn(s+1)+s$ for $t\in\{3,4\},n\geq t$ and $s\geq1$. We also show that $r_{\ast}(K_{3}, F_{4,n})=4n+4$ for $n\geq 4$ and establish an upper bound on $r(F_{2,m},F_{t,n})$.


title: The onset of quantum chaos in disordered CFTs

abstract: We study the Lyapunov exponent $\lambda_L$ in quantum field theories with spacetime-independent disorder interactions. Generically $\lambda_L$ can only be computed at isolated points in parameter space, and little is known about the way in which chaos grows as we deform the theory away from weak coupling. In this paper we describe families of theories in which the disorder coupling is an exactly marginal deformation, allowing us to follow $\lambda_L$ from weak to strong coupling. We find surprising behaviors in some cases, including a discontinuous transition into chaos. We also derive self-consistency equations for the two- and four-point functions for products of $N$ nontrivial CFTs deformed by disorder at leading order in $1/N$.


title: Anomalous cooling and overcooling of active systems

abstract: The phenomenon that a system at a hot temperature cools faster than at a warm temperature, referred to as the Mpemba effect, has been recently realized for trapped colloids. Here, we investigate the cooling and heating process of a self-propelling active colloid using numerical simulations and theoretical calculations with a model that can directly be tested in experiments. Upon cooling the particles' active motion induces a Mpemba effect. Transiently the system can even exhibit smaller temperatures than its final temperature, a surprising phenomenon which we refer to as activity-induced overcooling.


title: Work relation for determining the mixing free energy of small-scale mixtures

abstract: In thermodynamically characterizing a mixture comprising a finite number of molecules, we consider two kinds of protocol for producing a mixture from a pure substance. The first is a single alchemical operation, whereas the second is a series of processes with feedback control in information thermodynamics and conventional mixing with semipermeable membranes. A comparison of the two numerically determined free-energy changes provides a combinatorial factor that indicates the indistinguishability of the molecules and an alternative Jarzynski equality. The comparison also uncovers a work relation for determining the mixing free energy without using semipermeable membranes. We demonstrate a numerical calculation of applying the work relation to a mixture of argon and krypton. The mixing free energy clearly shows the characteristics of liquid--vapor transition.


title: Einstein-Maxwell-Dilaton-Axion mass formulas for black holes with struts and strings

abstract: Mass formulas are obtained for stationary axisymmetric solutions of the Einstein-Maxwell dilaton-axion theory, which have a regular rod structure on the axis of symmetry. Asymptotic mass, angular momentum and charge are expressed as the sums of masses, angular momenta and charges of rods dressed with field contributions. The calculation is based on a three-dimensional sigma model representation of the stationary EMDA system and the Tomimatsu approach proposed for the Einstein-Maxwell system. Our results provide an alternative interpretation of mass formulas and thermodynamics for black holes with Dirac and Misner strings. It is also applicable to aligned multiple black holes with struts.


title: Geometry of Liouville sectors and the maximum principle

abstract: We introduce a new package of Floer data of $\lambda$-sectorial almost complex structures $J$ and sectorial Hamiltonians $H$ on the Liouville sectors introduced by Ganatra-Pardon-Shende the pairs of which are amenable to the maximum principle for the analysis of pseudoholomorphic curves relevant to the studies of wrapped Fukaya categories and of symplectic cohomology. It is also amenable to the strong maximum principle in addition when paired with cylindrical Lagrangian boundary conditions. The present work answers to a question raised by Ganatra-Pardon-Shende concerning a characterization of almost complex structures and Hamiltonians in that all the relevant confinement results in the studies of wrapped Fukaya category, symplectic cohomology and closed-open (and open-closed) maps between them can be uniformly established via the maximum principle through tensorial calculations, Hamiltonian calculus and sign considerations without making any estimates. Along the way, we prove the existence of a pseudoconvex pair $(\psi,J)$ such that \emph{$J$ is $d\lambda$-tame and $\psi$ is an exhaustion function of $\operatorname{nbhd}(\partial_\infty M \cup \partial M)$ that also satisfies the equation $-d\psi \circ J = \lambda$ thereon for any Liouville sector with corners $(M,\lambda)$}.


title: Galois points and rational functions with small value sets

abstract: This paper presents a connection between Galois points and rational functions over a finite field with small value sets. This paper proves that the defining polynomial of any plane curve admitting two Galois points is an irreducible component of a polynomial obtained as a relation of two rational functions. A recent result of Bartoli, Borges, and Quoos implies that one of these rational functions over a finite field has a very small value set, under the assumption that Galois groups of two Galois points generate the semidrect product. When two Galois points are external, this paper proves that the defining polynomial is an irreducible component of a polynomial with separated variables. This connects the study of Galois points to that of polynomials with small value sets.


title: Tensor product of evolution algebras

abstract: The starting point of this work is that the class of evolution algebras over a fixed field is closed under tensor product. This arises questions about the inheritance of properties from the tensor product to the factors and conversely. For instance nondegeneracy, irreducibility, perfectness and simplicity are investigated. The four-dimensional case is illustrative and useful to contrast conjectures so we achieve a complete classification of four-dimensional perfect evolution algebras arising as tensor product of two-dimensional ones. We find that there are 4-dimensional evolution algebras which are the tensor product of two nonevolution algebras.


title: The space of equidistant phylogenetic cactuses

abstract: We introduce and investigate the space of \emph{equidistant} $X$-\emph{cactuses}. These are rooted, arc weighted, phylogenetic networks with leaf set $X$, where $X$ is a finite set of species, and all leaves have the same distance from the root. The space contains as a subset the space of ultrametric trees on $X$ that was introduced by Gavryushkin and Drummond. We show that equidistant-cactus space is a CAT(0)-metric space which implies, for example, that there are unique geodesic paths between points. As a key step to proving this, we present a combinatorial result concerning \emph{ranked} rooted $X$-cactuses. In particular, we show that such networks can be encoded in terms of a pairwise compatibility condition arising from a poset of collections of pairs of subsets of $X$ that satisfy certain set-theoretic properties. As a corollary, we also obtain an encoding of ranked, rooted $X$-trees in terms of partitions of $X$, which provides an alternative proof that the space of ultrametric trees on $X$ is CAT(0). As with spaces of phylogenetic trees, we expect that our results should provide the basis for and new directions in performing statistical analyses for collections of phylogenetic networks with arc lengths.


title: Implementation of Ethically Aligned Design with Ethical User stories in SMART terminal Digitalization project: Use case Passenger Flow

abstract: Digitalization and Smart systems are part of our everyday lives today. So far the development has been rapid and all the implications that comes after the deployment has not been able to foresee or even assess during the development, especially when ethics or trustworthiness is concerned. Artificial Intelligence (AI) and Autonomous Systems (AS) are the direction that software systems are taking today. It is witnessed in banks, stores, internet and it is proceeding to transportation as well as on traveling. Autonomous maritime industry has also taking this direction when taking under development in digitalization on fairway and port terminals. AI ethics has advanced profoundly since the machine learning develop during the last decade and is now being implemented in AI development and workflow of software engineers. It is not an easy task and tools are needed to make the ethical assessment easier. This paper will review a research in an industrial setting, where Ethically Aligned Design practice, Ethical User Stories are used to transfer ethical requirements to ethical user stories to form practical solutions for project use. This project is in the field of maritime industry and concentrates on digitalization of port terminals and this particular paper focuses on the passenger flow. Results are positive towards the practice of Ethical User Stories, drawn from a large empirical data set.


title: Some results on harmonic metrics

abstract: In this paper, we prove that the harmonicity of a metric on a pseudo-Riemannian manifold is equivalent to the harmonicity of both its Sasaki (resp. horizontal and complete) lift metric on the tangent bundle and its Sasaki lift metric on the cotangent bundle. Some applications are included.


title: Effective Hamiltonians in the Quantum Rabi Problem

abstract: We revisit the theoretical description of the ultrastrong light-matter interaction in terms of exactly solvable effective Hamiltonians. A perturbative approach based on polaronic and spin-dependent squeezing transformations provides an effective Hamiltonian for the quantum Rabi model up to the second order in the expansion parameter. The model consistently includes both rotating and counter-rotating terms, going therefore beyond the rotating wave approximation. Analytical and numerical results show that the proposed Hamiltonian performs better than the Bloch-Siegert model when calculating operator averages (e.g.\, the mean photon number and number of excitations). This improvement is due to a refined calculation of the dressed states within the present model. Regarding the frequency shift induced by the qubit-photon interaction, we find a different sign from the Bloch-Siegert value. This influences the eigenstates structure in a non-trivial way and ensures the correct calculation of the number of excitations associated to a given dressed state. As a consistency check, we show that the exactly solvable independent boson model is reproduced as a special limit case of the perturbative Hamiltonian.


title: Fine-Grained Image Analysis with Deep Learning: A Survey

abstract: Fine-grained image analysis (FGIA) is a longstanding and fundamental problem in computer vision and pattern recognition, and underpins a diverse set of real-world applications. The task of FGIA targets analyzing visual objects from subordinate categories, e.g., species of birds or models of cars. The small inter-class and large intra-class variation inherent to fine-grained image analysis makes it a challenging problem. Capitalizing on advances in deep learning, in recent years we have witnessed remarkable progress in deep learning powered FGIA. In this paper we present a systematic survey of these advances, where we attempt to re-define and broaden the field of FGIA by consolidating two fundamental fine-grained research areas -- fine-grained image recognition and fine-grained image retrieval. In addition, we also review other key issues of FGIA, such as publicly available benchmark datasets and related domain-specific applications. We conclude by highlighting several research directions and open problems which need further exploration from the community.


title: On Neural Network Identification for Low-Speed Ship Maneuvering Model

abstract: Several studies on ship maneuvering models have been conducted using captive model tests or computational fluid dynamics (CFD) and physical models, such as the maneuvering modeling group (MMG) model. A new system identification method for generating a low-speed maneuvering model using recurrent neural networks (RNNs) and free running model tests is proposed in this study. We especially focus on a low-speed maneuver such as the final phase in berthing to achieve automatic berthing control. Accurate dynamic modeling with minimum modeling error is highly desired to establish a model-based control system. We propose a new loss function that reduces the effect of the noise included in the training data. Besides, we revealed the following facts - an RNN that ignores the memory before a certain time improved the prediction accuracy compared with the "standard" RNN, and the random maneuver test was effective in obtaining an accurate berthing maneuver model. In addition, several low-speed free running model tests were performed for the scale model of the M.V. Esso Osaka. As a result, this paper showed that the proposed method using a neural network model could accurately represent low-speed maneuvering motions.


title: Generalized spin-boson models with non-normalizable form factors

abstract: Generalized spin-boson (GSB) models describe the interaction between a quantum mechanical system and a structured boson environment, mediated by a family of coupling functions known as form factors. We propose an extension of the class of GSB models which can accommodate non-normalizable form factors, provided that they satisfy a weaker growth constraint, thus accounting for a rigorous description of a wider range of physical scenarios; we also show that such "singular" GSB models can be rigorously approximated by GSB models with normalizable form factors. Furthermore, we discuss in greater detail the structure of the spin-boson model with a rotating wave approximation (RWA): for this model, the result is improved via a nonperturbative approach which enables us to further extend the class of admissible form factors, as well as to compute its resolvent and characterize its self-adjointness domain.


title: Diophantine equations in primes: density of prime points on affine hypersurfaces II

abstract: Let $F \in \mathbb{Z}[x_1, \ldots, x_n]$ be a homogeneous form of degree $d \geq 2$, and let $V_F^*$ denote the singular locus of the affine variety $V(F) = \{ \mathbf{z} \in {\mathbb{A}}^n_{\mathbb{C}}: F(\mathbf{z}) = 0 \}$. In this paper, we prove the existence of integer solutions with prime coordinates to the equation $F(x_1, \ldots, x_n) = 0$ provided $F$ satisfies suitable local conditions and $n - \dim V_F^* \geq 7 d (2d-1) 4^d + 4 (d-1) (12d - 1) 2^d + 12d$. The result is obtained by using the identity $\Lambda = \mu * \log$ for the von Mangoldt function and optimizing various parts of the argument in the author's previous work, which made use of the Vaughan identity and required $n - \dim V_F^* \geq 2^8 3^4 5^2 d^3 (2d-1)^2 4^{d}$.


title: Spatio-Temporal Scene-Graph Embedding for Autonomous Vehicle Collision Prediction

abstract: In autonomous vehicles (AVs), early warning systems rely on collision prediction to ensure occupant safety. However, state-of-the-art methods using deep convolutional networks either fail at modeling collisions or are too expensive/slow, making them less suitable for deployment on AV edge hardware. To address these limitations, we propose sg2vec, a spatio-temporal scene-graph embedding methodology that uses Graph Neural Network (GNN) and Long Short-Term Memory (LSTM) layers to predict future collisions via visual scene perception. We demonstrate that sg2vec predicts collisions 8.11% more accurately and 39.07% earlier than the state-of-the-art method on synthesized datasets, and 29.47% more accurately on a challenging real-world collision dataset. We also show that sg2vec is better than the state-of-the-art at transferring knowledge from synthetic datasets to real-world driving datasets. Finally, we demonstrate that sg2vec performs inference 9.3x faster with an 88.0% smaller model, 32.4% less power, and 92.8% less energy than the state-of-the-art method on the industry-standard Nvidia DRIVE PX 2 platform, making it more suitable for implementation on the edge.


title: System Parameter Exploration of Ship Maneuvering Model for Automatic Docking / Berthing using CMA-ES

abstract: Accurate maneuvering estimation is essential to establish autonomous berthing control. The system-based mathematical model is widely used to estimate the ship's maneuver. Commonly, the system parameters of the mathematical model are obtained by the captive model test (CMT), which is time-consuming to construct an accurate model suitable for complex berthing maneuvers. System identification (SI) is an alternative to constructing the mathematical model. However, SI on the mathematical model of ship's maneuver has been only conducted on much simpler maneuver: turning and zig-zag. Therefore, this study investigates the SI on a mathematical model capable of berthing maneuver. The main contributions of this study are as follows: (i) construct the system-based mathematical model on berthing by optimizing system parameters with a reduced amount of model tests than the CMT-based scheme; (ii) Find the favorable choice of objective function and type of training data for optimization. Global optimization scheme CMA-ES explored the system parameters of the MMG model from the free-running model's trajectories. The berthing simulation with the parameters obtained by the proposed method showed better agreement with the free-running model test than parameters obtained by the CMT. Furthermore, the proposed method required fewer data amounts than a CMT-based scheme.


title: Invariant representation for generators of general time interval quadratic BSDEs under stochastic growth conditions

abstract: This paper is devoted to proving a general invariant representation theorem for generators of general time interval backward stochastic differential equations, where the generator $g$ has a quadratic growth in the unknown variable $z$ and satisfies some stochastic growth conditions in the unknown variable $y$. This unifies and strengthens some known results. And, a natural and innovative idea is used to prove the representation theorem.


title: Symptoms of depersonalisation/derealisation disorder as measured by brain electrical activity: A systematic review

abstract: Depersonalisation/derealisation disorder (DPD) refers to frequent and persistent detachment from bodily self and disengagement from the outside world. As a dissociative disorder, DPD affects 1-2% of the population, but takes 7-12 years on average to be accurately diagnosed. In this systematic review, we comprehensively describe research targeting the neural correlates of core DPD symptoms, covering publications between 1992 and 2020 that have used electrophysiological techniques. The aim was to investigate the diagnostic potential of these relatively inexpensive and convenient neuroimaging tools. We review the EEG power spectrum, components of the event-related potential (ERP), as well as vestibular and heartbeat evoked potentials as likely electrophysiological biomarkers to study DPD symptoms. We argue that acute anxiety- or trauma-related impairments in the integration of interoceptive and exteroceptive signals play a key role in the formation of DPD symptoms, and that future research needs analysis methods that can take this integration into account. We suggest tools for prospective studies of electrophysiological DPD biomarkers, which are urgently needed to fully develop their diagnostic potential.


title: Neutron star properties with careful parameterization in the (axial)vector meson extended linear sigma model

abstract: The existence of quark matter inside the cores of heavy neutron stars is a possibility which can be probed with modern astrophysical observations. We use an (axial)vector meson extended quark-meson model to describe quark matter in the core of neutron stars. We discover that an additional parameter constraint is necessary in the quark model to ensure chiral restoration at high densities. By investigating hybrid star sequences with various parameter sets we show that low sigma meson masses are needed to fulfill the upper radius constraints, and that the maximum mass of stable hybrid stars is only slightly dependent on the parameters of the crossover-type phase transition. Using this observation and results from recent astrophysical measurements a constraint of 2.6 < g_V < 4.3 is set for the constituent quark - vector meson coupling. The effect of a nonzero bag constant is also investigated and we observe that its effect is small for values adopted in previous works.


title: Optical response of Higgs mode in superconductors at clean limit

abstract: The phenomenological Ginzburg-Landau theory and the charge conservation directly lead to the finite Higgs-mode generation and vanishing charge-density fluctuation in the second-order optical response of superconductors at clean limit. Nevertheless, recent microscopic theoretical studies of the second-order optical response, apart from the one through the gauge-invariant kinetic equation [Yang and Wu, Phys. Rev. B {\bf 100}, 104513 (2019)], have derived a vanishing Higgs-mode generation but finite charge-density fluctuation at clean limit. We resolve this controversy by re-examining the previous derivations with the vector potential alone within the path-integral and Eilenberger-equation approaches, and show that both previous derivations contain mathematical flaws. After fixing these flaws, a finite Higgs-mode generation through the drive effect of vector potential is derived at clean limit, exactly recovering the previous result from the gauge-invariant kinetic equation as well as Ginzburg-Landau theory. By further extending the path-integral approach to include electromagnetic effects from the scalar potential and phase mode, in the second-order response, a finite contribution from the drive effect of scalar potential to the Higgs-mode generation at clean limit as well as the vanishing charge-density fluctuation are derived, also recovering the results from the gauge-invariant kinetic equation. Particularly, we show that the phase mode is excited in the second-order response, and exactly cancels the previously reported unphysical excitation of the charge-density fluctuation, guaranteeing the charge conservation.


title: Electrical conductivity of nanoring-based transparent conductive films: A mean-field approach

abstract: We have studied the electrical conductivity of nanoring-based, transparent conductive films, these being promising elements for flexible electronic devices. Both the wire resistance and the junction resistance were taken into account. We have calculated the dependency of the electrical conductivity on the number density of the rings. We have proposed a mean-field approach to estimate the dependency of the electrical conductivity on the main parameters. Comparison of direct computations of the electrical conductivity and the estimates provided by the mean-field approach evidenced the applicability of this approach for those cases where the wire resistance dominates over the junction resistance and where both resistances are of the same order. For these two cases, both the direct computations and the mean-field approach evidenced a linear dependence of the electrical conductivity of the films on the number density of the conductive rings. By contrast, the dependence of the electrical conductivity on the number density of the conductive rings is a quadratic when the junction resistance dominates over the wire resistance. In this case, the mean-field approach significantly overestimates the electrical conductivity, since the main assumptions underlying this approach are no longer fulfilled.


title: Higher topological type semiclassical states for Sobolev critical Dirac equations with degenerate potential

abstract: In this paper, we are concerned with semiclassical states to the following Sobolev critical Dirac equation with degenerate potential, \begin{align*} -\textnormal{i} \eps \alpha \cdot \nabla u + a \beta u + V(x) u=|u|^{q-2} u + |u| u \quad \mbox{in} \,\, \R^3, \end{align*} where $u:\mathbb{R}^3\rightarrow \mathbb{C}^4$, $2<q<3$, $\eps>0$ is a small parameter, $a>0$ is a constant, $\alpha=(\alpha_1, \alpha_2, \alpha_3)$, $\alpha_j$ and $\beta$ are $4 \times 4$ Pauli-Dirac matrices. We construct an infinite sequence of higher topological type semiclassical states with higher energies concentrating around the local minimum points of the degenerate potential $V$. The solutions are obtained from a minimax characterization of higher dimensional symmetric linking structure, which correspond to critical points of the underlying energy functional at energy levels where compactness condition breaks down. Our approach is variational, which mainly relies on penalization method and blow-up arguments along with local type Pohozaev identity.


title: Dissipative Floquet Dynamical Quantum Phase Transition

abstract: Non-Hermitian Hamiltonians provide a simple picture for inspecting dissipative systems with natural or induced gain and loss. We investigate the Floquet dynamical phase transition in the dissipative periodically time driven XY and extended XY models, where the imaginary terms represent the physical gain and loss during the interacting processes with the environment. The time-independent effective Floquet non-Hermitian Hamiltonians disclose three regions by analyzing the non-Hermitian gap: pure real gap (real eigenvalues), pure imaginary gap, and complex gap. We show that each region of the system can be distinguished by the complex geometrical non-adiabatic phase. We have discovered that in the presence of dissipation, the Floquet dynamical phase transitions (FDPTs) still exist in the region where the time-independent effective Floquet non-Hermitian Hamiltonians reveal real eigenvalues. Opposed to expectations based on earlier works on quenched systems, our findings show that the existence of the non-Hermitian topological phase is not an essential condition for dissipative FDPTs (DFDPTs). We also demonstrate the range of driven frequency, over which the DFDPTs occur, narrows down by increasing the dissipation coupling and shrinks to a single point at the critical value of dissipation. Moreover, quantization and jumps of the dynamical geometric phase reveals the topological characteristic feature of DFDPTs in the real gap region where confined to exceptional points.


title: Kitaev honeycomb antiferromagnet in a field: quantum phase diagram for general spin

abstract: We combine tensor-network approaches and high-order linked-cluster expansions to investigate the quantum phase diagram of the antiferromagnetic Kitaev's honeycomb model in a magnetic field for general spin values. For the pure Kitaev model, tensor network calculations confirm the absence of fluxes and spin-spin correlations beyond nearest neighbor in the ground state, but signal a breaking of the discrete orientational symmetry for $S\in\{1,3/2,2\}$ inline with the semiclassical limit. An intermediate region between Kitaev phases and the high-field polarized phase is demonstrated for all considered spin values. The analysis of the high-field gap and the associated spectral weight of the polarized phase for general spin S is consistent with an unconventional quantum critical breakdown of the high-field polarized phase in accordance with the presence of exotic physics at intermediate Kitaev couplings.


title: From words to connections: Word use similarity as an honest signal conducive to employees' digital communication

abstract: Bringing together considerations from three research trends (honest signals of collaboration, socio-semantic networks and homophily theory), we hypothesise that word use similarity and having similar social network positions are linked with the level of employees' digital interaction. To verify our hypothesis, we analyse the communication of close to 1600 employees, interacting on the intranet communication forum of a large company. We study their social dynamics and the 'honest signals' that, in past research, proved to be conducive to employees' engagement and collaboration. We find that word use similarity is the main driver of interaction, much more than other language characteristics or similarity in network position. Our results suggest carefully choosing the language according to the target audience and have practical implications for both company managers and online community administrators. Understanding how to better use language could, for example, support the development of knowledge sharing practices or internal communication campaigns.


title: Parameterized splitting theorems and bifurcations for potential operators, Part II: Applications to quasi-linear elliptic equations and systems

abstract: This is the second part of a series devoting to the generalizations and applications of common theorems in variational bifurcation theory. Using abstract theorems in the first part we obtain many new bifurcation results for quasi-linear elliptic boundary value problems of higher order.


title: Decay bounds for Bernstein functions of Hermitian matrices with applications to the fractional graph Laplacian

abstract: For many functions of matrices $f(A)$, it is known that their entries exhibit a rapid -- often exponential or even superexponential -- decay away from the sparsity pattern of the matrix $A$. In this paper we specifically focus on the class of Bernstein functions, which contains the fractional powers $A^\alpha$, $\alpha \in (0,1)$ as an important special case, and derive new decay bounds by exploiting known results for the matrix exponential in conjunction with the L\'evy--Khintchine integral representation. As a particular special case, we find a result concerning the power law decay of the strength of connection in nonlocal network dynamics described by the fractional graph Laplacian, which improves upon known results from the literature by doubling the exponent in the power law.


title: Linear zero mode spectra for quasicrystals

abstract: A converse is given to the well-known fact that a hyperplane localised zero mode of a crystallographic bar-joint framework gives rise to a line or lines in the zero mode (RUM) spectrum. These connections motivate definitions of linear zero mode spectra, for an aperiodic bar-joint framework $G$, that are based on relatively dense sets of linearly localised flexes. For a Delone framework in the plane the limit spectrum ${\bf L}_{lim}(G, a)$ is defined in this way, as a subset of the reciprocal space for a reference basis $a$ of the ambient space. A smaller spectrum, the slippage spectrum ${\bf L}_{slip}(G, a)$, is also defined. In the case of the quasicrystal parallelogram frameworks associated with regular multi-grids, in the sense of de Bruijn and Beenker, these spectra coincide and are determined in terms of the geometry of $G$.


title: Long-Range Non-Equilibrium Coherent Tunneling Induced by Fractional Vibronic Resonances

abstract: We study the influence of a linear energy bias on a non-equilibrium excitation on a chain of molecules coupled to local phonons (a tilted Holstein model) using both a random-walk rate kernel theory and a nonperturbative, massively parallelized adaptive-basis algorithm. We uncover structured and discrete vibronic resonance behavior fundamentally different from both linear response theory and homogeneous polaron dynamics. Remarkably, resonance between the phonon energy $\hbar\omega$ and the bias $\delta_\epsilon$ occurs not only at integer but also fractional ratios $\delta_\epsilon/(\hbar\omega) = \frac{m}{n}$, which effect long-range $n$-bond $m$-phonon tunneling. These observations are also reproduced in a model calculation of a recently demonstrated Cy3 system. Potential applications range from molecular electronics to optical lattices and artificial light harvesting via vibronic engineering of coherent quantum transport.

categories: quant-ph cond-mat.other cond-mat.quant-gas physics.chem-ph


title: H-T phase diagrams of a holographic p-wave superfluid

abstract: We study the competition between the p-wave and the p+ip superfluid solutions in a holographic model with applied magnetic field intensity $H$. We find that when $H$ is turned on, both the grand potential and the critical temperature of the p+ip solution are shifted, while the p-wave solution is only slightly affected. Combining the effect of $H$ and back reaction parameter b, we build $H-T$ phase diagrams with a slit region of p+ip phase. The zero (or finite) value of $H$ at the starting point of the slit region is related to second (or first) order of the p-wave phase transition at zero magnetic intensity, which should be universal in systems with degenerate critical points (spinodal points) at zero magnetic field.


title: Asymptotic distribution for pairs of linear and quadratic forms at integral vectors

abstract: We study the joint distribution of values of a pair consisting of a quadratic form $q$ and a linear form $\mathbf l$ over the set of integral vectors, a problem initiated by Dani-Margulis (1989). In the spirit of the celebrated theorem of Eskin, Margulis and Mozes on the quantitative version of the Oppenheim conjecture, we show that if $n \ge 5$ then under the assumptions that for every $(\alpha, \beta ) \in \mathbb R^2 \setminus \{ (0,0) \}$, the form $\alpha q + \beta \mathbf l^2$ is irrational and that the signature of the restriction of $q$ to the kernel of $\mathbf l$ is $(p, n-1-p)$, where $3\le p \le n-2$, the number of vectors $v \in \mathbb Z^n$ for which $\|v\| < T$, $a < q(v) < b$ and $c< \mathbf l(v) < d$ is asymptotically $$ C(q, \mathbf l)(d-c)(b-a)T^{n-3} , $$ as $T \to \infty$, where $C(q, \mathbf l)$ only depends on $q$ and $\mathbf l$. The density of the set of joint values of $(q, \mathbf l)$ under the same assumptions is shown by Gorodnik (2004).


title: User Activity Detection for Irregular Repetition Slotted Aloha based MMTC

abstract: Irregular repetition slotted aloha (IRSA) is a grant-free random access protocol for massive machine-type communications, where a large number of users sporadically send their data packets to a base station (BS). IRSA is a completely distributed multiple access protocol: in any given frame, a small subset of the users, i.e., the active users, transmit replicas of their packet in randomly selected resource elements (REs). The first step in the decoding process at the BS is to detect which users are active in each frame. To this end, a novel Bayesian user activity detection (UAD) algorithm is developed, which exploits both the sparsity in user activity as well as the underlying structure of IRSA-based transmissions. Next, the Cramer-Rao bound (CRB) on the mean squared error in channel estimation is derived. It is empirically shown that the channel estimates obtained as a by-product of the proposed UAD algorithm achieves the CRB. Then, the signal to interference plus noise ratio achieved by the users is analyzed, accounting for UAD, channel estimation errors, and pilot contamination. The impact of these non-idealities on the throughput of IRSA is illustrated via Monte Carlo simulations. For example, in a system with 1500 users and 10% of the users being active per frame, a pilot length of as low as 20 symbols is sufficient for accurate user activity detection. In contrast, using classical compressed sensing approaches for UAD would require a pilot length of about 346 symbols. The results also reveal crucial insights into dependence of UAD errors and throughput on parameters such as the length of the pilot sequence, the number of antennas at the BS, the number of users, and the signal to noise ratio.


title: The relationship between FR0 radio galaxies and GPS sources

abstract: We present the results of our study of the relationship between FR0 radio galaxies and GPS sources. Quasi-simultaneous radio spectra of 34 FR0s were obtained at 2.25-22.3 GHz with the radio telescope RATAN-600 in 2020-2021 during 2-6 epochs. Most FR0s have flat radio spectra, but we found many spectra with a peaked shape. Due to this fact and the compact nature of FR0s, we suggest their possible relationship with CSS/GPS radio sources. We analyzed broadband radio spectra of the 34 FR0s using the RATAN-600 measurements and available literature data. There are 14 FR0 objects which can be CSS/GPS radio source candidates. Most FR0s have broader radio spectra than those of genuine GPS sources, with FWHM > 2 like in blazars. Most spectral indices at the frequencies below and above the peak do not correspond to the values typical of canonical GPS sources. We classified 3 FR0s as low-power GPS sources according to the canonical criteria. The key issue is the variability properties of FR0s. Some FR0s demonstrate a variability level of up to 25 % on a time scale of one year according to the RATAN-600 measurements. The flare phenomena in FR0 objects can imply a relationship between them and blazars.


title: Reducing Data Complexity using Autoencoders with Class-informed Loss Functions

abstract: Available data in machine learning applications is becoming increasingly complex, due to higher dimensionality and difficult classes. There exists a wide variety of approaches to measuring complexity of labeled data, according to class overlap, separability or boundary shapes, as well as group morphology. Many techniques can transform the data in order to find better features, but few focus on specifically reducing data complexity. Most data transformation methods mainly treat the dimensionality aspect, leaving aside the available information within class labels which can be useful when classes are somehow complex. This paper proposes an autoencoder-based approach to complexity reduction, using class labels in order to inform the loss function about the adequacy of the generated variables. This leads to three different new feature learners, Scorer, Skaler and Slicer. They are based on Fisher's discriminant ratio, the Kullback-Leibler divergence and least-squares support vector machines, respectively. They can be applied as a preprocessing stage for a binary classification problem. A thorough experimentation across a collection of 27 datasets and a range of complexity and classification metrics shows that class-informed autoencoders perform better than 4 other popular unsupervised feature extraction techniques, especially when the final objective is using the data for a classification task.


title: Terahertz Radiation from Laser-Ionized Plasmas

abstract: Numerical simulations of laser-plasma interactions demonstrate the generation of axially polarized electromagnetic pulses (EMPs) that radiate away energy with a characteristic frequency determined by the plasma frequency, in the THz range for typical laser wakefield acceleration experiments. This is confirmed by full 2D electromagnetic particle-in-cell simulations, as well as by a ponderomotively-driven reduced model that captures the EMP generation essentials. When the laser's pulse length matches the plasma wavelength, that pulse's fractional energy losses to the wakefield are independent of the pulse width, while the losses to the EMP are inversely dependent on the pulse width.


title: Instabilities in freely expanding sheets of associating viscoelastic fluids

abstract: We use the impact of drops on a small solid target as a tool to investigate the behavior of viscoelastic fluids under extreme deformation rates. We study two classes of transient networks: semidilute solutions of supramolecular polymers and suspensions of spherical oil droplets reversibly linked by polymers. The two types of samples display very similar linear viscoelastic properties, which can be described with a Maxwell fluid model, but contrasting nonlinear properties due to different network structure. Upon impact, weakly viscoelastic samples exhibit a behavior qualitatively similar to that of Newtonian fluids: A smooth and regular sheet forms, expands, and then retracts. By contrast, for highly viscoelastic fluids, the thickness of the sheet is found to be very irregular, leading to instabilities and eventually formation of holes. We find that material rheological properties rule the onset of instabilities. We first provide a simple image analysis of the expanding sheets to determine the onset of instabilities. We then demonstrate that a Deborah number related to the shortest relaxation time associated to the sample structure following a high shear is the relevant parameter that controls the heterogeneities in the thickness of the sheet, eventually leading to the formation of holes. When the sheet tears-up, data suggest by contrast that the opening dynamics depends also on the expansion rate of the sheet.


title: Broadband continuous variable entanglement generation using Kerr-free Josephson metamaterial

abstract: Entangled microwave photons form a fundamental resource for quantum information processing and sensing with continuous variables. We use a low-loss Josephson metamaterial comprising superconducting, non-linear, asymmetric inductive elements to generate frequency-entangled photons from vacuum fluctuations at a rate of 2 giga entangled bits per second spanning over 4 GHz bandwidth. The device is operated as a traveling wave parametric amplifier under Kerr-relieving biasing conditions. Furthermore, we realize the first successfully demonstration of single-mode squeezing in such devices -- $3.1\pm0.7$\,dB below the zero-point level at half of modulation frequency.


title: FedGreen: Federated Learning with Fine-Grained Gradient Compression for Green Mobile Edge Computing

abstract: Federated learning (FL) enables devices in mobile edge computing (MEC) to collaboratively train a shared model without uploading the local data. Gradient compression may be applied to FL to alleviate the communication overheads but current FL with gradient compression still faces great challenges. To deploy green MEC, we propose FedGreen, which enhances the original FL with fine-grained gradient compression to efficiently control the total energy consumption of the devices. Specifically, we introduce the relevant operations including device-side gradient reduction and server-side element-wise aggregation to facilitate the gradient compression in FL. According to a public dataset, we investigate the contributions of the compressed local gradients with respect to different compression ratios. After that, we formulate and tackle a learning accuracy-energy efficiency tradeoff problem where the optimal compression ratio and computing frequency are derived for each device. Experiments results demonstrate that given the 80% test accuracy requirement, compared with the baseline schemes, FedGreen reduces at least 32% of the total energy consumption of the devices.


title: Local explosions and extinction in continuous-state branching processes with logistic competition

abstract: We study by duality methods the extinction and explosion times of continuous-state branching processes with logistic competition (LCSBPs) and identify the local time at $\infty$ of the process when it is instantaneously reflected at $\infty$. The main idea is to introduce a certain "bidual" process $V$ of the LCSBP $Z$. The latter is the Siegmund dual process of the process $U$, that was introduced in Foucart (2019), as the Laplace dual of $Z$. By using both dualities, we shall relate local explosions and the extinction of $Z$ to local extinctions and the explosion of the process $V$. The process $V$ being a one-dimensional diffusion on $[0,\infty]$, many results on diffusions can be used and transfered to $Z$. A concise study of Siegmund duality for regular one-dimensional diffusions is also provided.


title: Haar-Weave-Metropolis kernel

abstract: Recently, many Markov chain Monte Carlo methods have been developed with deterministic reversible transform proposals inspired by the Hamiltonian Monte Carlo method. The deterministic transform is relatively easy to reconcile with the local information (gradient etc.) of the target distribution. However, as the ergodic theory suggests, these deterministic proposal methods seem to be incompatible with robustness and lead to poor convergence, especially in the case of target distributions with heavy tails. On the other hand, the Markov kernel using the Haar measure is relatively robust since it learns global information about the target distribution introducing global parameters. However, it requires a density preserving condition, and many deterministic proposals break this condition. In this paper, we carefully select deterministic transforms that preserve the structure and create a Markov kernel, the Weave-Metropolis kernel, using the deterministic transforms. By combining with the Haar measure, we also introduce the Haar-Weave-Metropolis kernel. In this way, the Markov kernel can employ the local information of the target distribution using the deterministic proposal, and thanks to the Haar measure, it can employ the global information of the target distribution. Finally, we show through numerical experiments that the performance of the proposed method is superior to other methods in terms of effective sample size and mean square jump distance per second.


title: Precision bottomonium properties and b quark mass from lattice QCD

abstract: As tests of QCD in the bottomonium system, we give the most accurate results to date for the ground-state hyperfine splitting and the $\Upsilon$ leptonic width from full lattice QCD. These quantities are both accurately known from experiment, so can provide a good test of $b$ physics, but previous lattice results have been rather imprecise. We also test the impact on these quantities of the $b$ quark's electric charge. Our results are: $M_{\Upsilon}-M_{\eta_b} = $ 57.5(2.3)(1.0) MeV (where the second uncertainty comes from neglect of quark-line disconnected correlation functions) and decay constants, $f_{\eta_b} =$ 724(12) MeV and $f_{\Upsilon} =$ 677.2(9.7) MeV, giving $\Gamma(\Upsilon \rightarrow e^+e^-) =$ 1.292(37)(3) keV. We also give a new determination of the ratio of the masses for $b$ and $c$ quarks that is completely nonperturbative in lattice QCD and includes the calculation of QED effects for the first time. This gives a result for the $b$ quark mass of $\overline{m}_b(\overline{m}_b,n_f=5) =$ 4.202(21) GeV.


title: Improving Novelty Detection using the Reconstructions of Nearest Neighbours

abstract: We show that using nearest neighbours in the latent space of autoencoders (AE) significantly improves performance of semi-supervised novelty detection in both single and multi-class contexts. Autoencoding methods detect novelty by learning to differentiate between the non-novel training class(es) and all other unseen classes. Our method harnesses a combination of the reconstructions of the nearest neighbours and the latent-neighbour distances of a given input's latent representation. We demonstrate that our nearest-latent-neighbours (NLN) algorithm is memory and time efficient, does not require significant data augmentation, nor is reliant on pre-trained networks. Furthermore, we show that the NLN-algorithm is easily applicable to multiple datasets without modification. Additionally, the proposed algorithm is agnostic to autoencoder architecture and reconstruction error method. We validate our method across several standard datasets for a variety of different autoencoding architectures such as vanilla, adversarial and variational autoencoders using either reconstruction, residual or feature consistent losses. The results show that the NLN algorithm grants up to a 17% increase in Area Under the Receiver Operating Characteristics (AUROC) curve performance for the multi-class case and 8% for single-class novelty detection.


title: Floer-Novikov fundamental group and small flux symplectic isotopies

abstract: Floer theory relates the dynamics of Hamiltonian isotopies and the homology of the ambient manifold. It was extended to similarly relate the dynamics of symplectic isotopies and the Novikov homology associated to their flux. We discuss this picture regarding the fundamental group, and prove that when the flux is not too big, the associated Novikov fundamental group is generated by Floer moduli spaces associated to closed orbits of the symplectic isotopy.


title: Longitudinal patient stratification of electronic health records with flexible adjustment for clinical outcomes

abstract: The increase in availability of longitudinal electronic health record (EHR) data is leading to improved understanding of diseases and discovery of novel phenotypes. The majority of clustering algorithms focus only on patient trajectories, yet patients with similar trajectories may have different outcomes. Finding subgroups of patients with different trajectories and outcomes can guide future drug development and improve recruitment to clinical trials. We develop a recurrent neural network autoencoder to cluster EHR data using reconstruction, outcome, and clustering losses which can be weighted to find different types of patient clusters. We show our model is able to discover known clusters from both data biases and outcome differences, outperforming baseline models. We demonstrate the model performance on $29,229$ diabetes patients, showing it finds clusters of patients with both different trajectories and different outcomes which can be utilized to aid clinical decision making.


title: Brauer-Manin obstruction for zero-cycles on certain varieties

abstract: We investigate the question of whether the existence of a family of local zero-cycles of degree $d$ orthogonal to the Brauer group implies the non-emptiness of the Brauer-Manin set for certain varieties. We provide various examples of Brauer-Manin obstruction to the existence of zero-cycles of appropriate degrees.


title: On a two-species cross attraction system in higher dimensions

abstract: We consider a degenerate chemotaxis model with two-species and two-stimuli in dimension $d \geq 3$. Under the hypothesis of integrable initial data with finite second moment and energy, we show local-in-time existence for any mass of free-energy solutions, namely weak solutions with some free energy estimates. We exhibit that the qualitative behavior of solutions is decided by a set of critical values: there is a critical value of a parameter pair in the system of equations for which there is a global-in-time energy solution and there exist blowing-up free-energy solutions under a criticality condition is violated for the parameter pair.


title: A Novel Approach for Deterioration and Damage Identification in Building Structures Based on Stockwell-Transform and Deep Convolutional Neural Network

abstract: In this paper, a novel deterioration and damage identification procedure (DIP) is presented and applied to building models. The challenge associated with applications on these types of structures is related to the strong correlation of responses, which gets further complicated when coping with real ambient vibrations with high levels of noise. Thus, a DIP is designed utilizing low-cost ambient vibrations to analyze the acceleration responses using the Stockwell transform (ST) to generate spectrograms. Subsequently, the ST outputs become the input of two series of Convolutional Neural Networks (CNNs) established for identifying deterioration and damage to the building models. To the best of our knowledge, this is the first time that both damage and deterioration are evaluated on building models through a combination of ST and CNN with high accuracy.


title: Active particles in a tube: a generalized entropy potential approach

abstract: We study the transport of self-propelled noninteracting active Brownian particles (ABPs) and run-and-tumble particles (RTPs) in long tubes of varying widths. Using a moment expansion, we construct a generalized Fick-Jacobs framework for the active particles when the tube width is large and slowly varying. We show that the variation of the particle density along the tube is well described by a one-dimensional generalized entropy potential. This potential resembles its passive counterpart, albeit with an effective temperature and an effective tube width that are renormalized by the activity. Our generalized entropy potential approach allows us to predict the steady-state density distribution along the tube as well as the mean escape time out of a spindle chamber. Finally, we show how to account for the emergence of spontaneous ratchet flows in asymmetric channel by including higher-order corrections neglected in the effective entropy potential approach.


title: At the Edge of a Seamless Cloud Experience

abstract: There is a growing need for low latency for many devices and users. The traditional cloud computing paradigm can not meet this requirement, legitimizing the need for a new paradigm. Edge computing proposes to move computing capacities to the edge of the network, closer to where data is produced and consumed. However, edge computing raises new challenges. At the edge, devices are more heterogeneous than in the data centre, where everything is optimized to achieve economies of scale. Edge devices can be mobile, like a car, which complicates architecture with dynamic topologies. IoT devices produce a considerable amount of data that can be processed at the Edge. In this paper, we discuss the main challenges to be met in edge computing and solutions to achieve a seamless cloud experience. We propose to use technologies like containers and WebAssembly to manage applications' execution on heterogeneous devices.


title: An End-to-End Authentication Mechanism for Wireless Body Area Networks

abstract: Wireless Body Area Network (WBAN) ensures high-quality healthcare services by endowing distant and continual monitoring of patients' health conditions. The security and privacy of the sensitive health-related data transmitted through the WBAN should be preserved to maximize its benefits. In this regard, user authentication is one of the primary mechanisms to protect health data that verifies the identities of entities involved in the communication process. Since WBAN carries crucial health data, every entity engaged in the data transfer process must be authenticated. In literature, an end-to-end user authentication mechanism covering each communicating party is absent. Besides, most of the existing user authentication mechanisms are designed assuming that the patient's mobile phone is trusted. In reality, a patient's mobile phone can be stolen or comprised by malware and thus behaves maliciously. Our work addresses these drawbacks and proposes an end-to-end user authentication and session key agreement scheme between sensor nodes and medical experts in a scenario where the patient's mobile phone is semi-trusted. We present a formal security analysis using BAN logic. Besides, we also provide an informal security analysis of the proposed scheme. Both studies indicate that our method is robust against well-known security attacks. In addition, our scheme achieves comparable computation and communication costs concerning the related existing works. The simulation shows that our method preserves satisfactory network performance.


title: Almost-quasifibrations and fundamental groups of orbit configuration spaces

abstract: In this article we introduce the notion of a k-almost-quasifibration and give many examples. We also show that a large class of these examples are not quasifibrations. As a consequence, supporting the Asphericity conjecture of [19], we deduce that the fundamental group of the orbit configuration space of an effective and properly discontinuous action of a discrete group, on an aspherical 2-manifold with isolated fixed points is torsion free. Furthermore, if the 2-manifold has at least one puncture then it is poly-free, and hence has an iterated semi-direct product of free groups structure, which generalizes a result of Xicotencatl ([27], Theorem 6.3).


title: Room-temperature continuous-wave upconversion white microlaser in a rare-earth doped microcavity

abstract: White laser covering the visible color spectrum is critical in various applications including vivid display, holographic imaging and light-based version of Wi-Fi, but it is still challenging to realize the white microlaser due to the rigorous requirement in the balance between the optical gain and the feedback at different wavelengths. Here, we employ Tm, Er and Yb ions corporately for the upconversion white lasing in a single ultrahigh quality (Q) (up to 108) doped microcavity, where the thresholds of the red, green and blue lasers are about 90, 500 and 300 {\mu}W, respectively. To the best of our knowledge, it is the first rare-earth elements based room-temperature, continuous-wave white microlaser, which exhibits relatively stable chromaticity over 180 minutes, making it possible for practical applications.


title: Understanding mobility in networks: A node embedding approach

abstract: Motivated by the growing number of mobile devices capable of connecting and exchanging messages, we propose a methodology aiming to model and analyze node mobility in networks. We note that many existing solutions in the literature rely on topological measurements calculated directly on the graph of node contacts, aiming to capture the notion of the node's importance in terms of connectivity and mobility patterns beneficial for prototyping, design, and deployment of mobile networks. However, each measure has its specificity and fails to generalize the node importance notions that ultimately change over time. Unlike previous approaches, our methodology is based on a node embedding method that models and unveils the nodes' importance in mobility and connectivity patterns while preserving their spatial and temporal characteristics. We focus on a case study based on a trace of group meetings. The results show that our methodology provides a rich representation for extracting different mobility and connectivity patterns, which can be helpful for various applications and services in mobile networks.


title: Clicking Matters:Towards Interactive Human Parsing

abstract: In this work, we focus on Interactive Human Parsing (IHP), which aims to segment a human image into multiple human body parts with guidance from users' interactions. This new task inherits the class-aware property of human parsing, which cannot be well solved by traditional interactive image segmentation approaches that are generally class-agnostic. To tackle this new task, we first exploit user clicks to identify different human parts in the given image. These clicks are subsequently transformed into semantic-aware localization maps, which are concatenated with the RGB image to form the input of the segmentation network and generate the initial parsing result. To enable the network to better perceive user's purpose during the correction process, we investigate several principal ways for the refinement, and reveal that random-sampling-based click augmentation is the best way for promoting the correction effectiveness. Furthermore, we also propose a semantic-perceiving loss (SP-loss) to augment the training, which can effectively exploit the semantic relationships of clicks for better optimization. To the best knowledge, this work is the first attempt to tackle the human parsing task under the interactive setting. Our IHP solution achieves 85\% mIoU on the benchmark LIP, 80\% mIoU on PASCAL-Person-Part and CIHP, 75\% mIoU on Helen with only 1.95, 3.02, 2.84 and 1.09 clicks per class respectively. These results demonstrate that we can simply acquire high-quality human parsing masks with only a few human effort. We hope this work can motivate more researchers to develop data-efficient solutions to IHP in the future.


title: A 2-Approximation for the Bounded Treewidth Sparsest Cut Problem in FPT Time

abstract: In the non-uniform sparsest cut problem, we are given a supply graph G and a demand graph D, both with the same set of nodes V. The goal is to find a cut of V that minimizes the ratio of the total capacity on the edges of G crossing the cut over the total demand of the crossing edges of D. In this work, we study the non-uniform sparsest cut problem for supply graphs with bounded treewidth k. For this case, Gupta, Talwar and Witmer [STOC 2013] obtained a 2-approximation with polynomial running time for fixed k, and the question of whether there exists a c-approximation algorithm for a constant c independent of k, that runs in FPT time, remained open. We answer this question in the affirmative. We design a 2-approximation algorithm for the non-uniform sparsest cut with bounded treewidth supply graphs that runs in FPT time, when parameterized by the treewidth. Our algorithm is based on rounding the optimal solution of a linear programming relaxation inspired by the Sherali-Adams hierarchy. In contrast to the classic Sherali-Adams approach, we construct a relaxation driven by a tree decomposition of the supply graph by including a carefully chosen set of lifting variables and constraints to encode information of subsets of nodes with super-constant size, and at the same time we have a sufficiently small linear program that can be solved in FPT time.


title: The diagonal of cellular spaces and effective algebro-homotopical constructions

abstract: In this survey article we discuss certain homotopy coherent enhancements of the coalgebra structure on cellular chains defined by an approximation to the diagonal. Over the rational numbers, $C_\infty$-coalgebra structures control the $\mathbb Q$-complete homotopy theory of spaces, and over the integers, $E_\infty$-coalgebras provide an appropriate setting to model the full homotopy category. Effective constructions of these structures, the focus of this work, carry geometric and combinatorial information which has found applications in various fields including deformation theory, higher category theory, and condensed matter physics.


title: Simplicial volume of fiber bundles with nonpositively curved fibers

abstract: We prove the simplicial volume of the total space of a smooth fiber bundle with fiber being an oriented closed connected (occ) manifold of nonpositive curvature and negative Ricci curvature over an occ manifold with a closed universal covering is zero. Furthermore, if the fiber is an occ negatively curved manifold with dimension more than $2$, the simplicial volume of the total space is zero if and only if the simplicial volume of the base space is zero.


title: G-GPU: A Fully-Automated Generator of GPU-like ASIC Accelerators

abstract: Modern Systems on Chip (SoC), almost as a rule, require accelerators for achieving energy efficiency and high performance for specific tasks that are not necessarily well suited for execution in standard processing units. Considering the broad range of applications and necessity for specialization, the design of SoCs has thus become expressively more challenging. In this paper, we put forward the concept of G-GPU, a general-purpose GPU-like accelerator that is not application-specific but still gives benefits in energy efficiency and throughput. Furthermore, we have identified an existing gap for these accelerators in ASIC, for which no known automated generation platform/tool exists. Our solution, called GPUPlanner, is an open-source generator of accelerators, from RTL to GDSII, that addresses this gap. Our analysis results show that our automatically generated G-GPU designs are remarkably efficient when compared against the popular CPU architecture RISC-V, presenting speed-ups of up to 223 times in raw performance and up to 11 times when the metric is performance derated by area. These results are achieved by executing a design space exploration of the GPU-like accelerators, where the memory hierarchy is broken in a smart fashion and the logic is pipelined on demand. Finally, tapeout-ready layouts of the G-GPU in 65nm CMOS are presented.


title: Formality of spaces with Lusternik-Schnirelmann category 1

abstract: It is a well known fact that formal dg-algebras admit no non-trivial Massey products, while the converse fails. We prove that by restricting to dg-algebras whose induced product on cohomology is trivial, we do in fact get this converse. This allows us to prove that spaces of Lusternik-Schnirelmann category 1 are formal spaces.


title: Equivalence of definitions of solutions for some class of fractional diffusion equations

abstract: We study the unique existence of weak solutions for initial boundary value problems associated with different class of fractional diffusion equations including variable order, distributed order and multiterm fractional diffusion equations. So far, different definitions of weak solutions have been considered for these class of problems. This includes definition of solutions in a variational sense and definition of solutions from properties of their Laplace transform in time. The goal of the present article is to unify these two approaches by showing the equivalence of these two definitions. Such property allows also to show that the weak solutions under consideration combine the advantage of these two class of solutions which include representation of solutions by a Duhamel type of formula, suitable properties of Laplace transform of solutions, resolution of the equation in the sense of distributions and explicit link with the initial condition.


title: Faster Goal-Oriented Shortest Path Search for Bulk and Incremental Detailed Routing

abstract: We develop new algorithmic techniques for VLSI detailed routing. First, we improve the goal-oriented version of Dijkstra's algorithm to find shortest paths in huge incomplete grid graphs with edge costs depending on the direction and the layer, and possibly on rectangular regions. We devise estimates of the distance to the targets that offer better trade-offs between running time and quality than previously known methods, leading to an overall speed-up. Second, we combine the advantages of the two classical detailed routing approaches - global shortest path search and track assignment with local corrections - by treating input wires (such as the output of track assignment) as reservations that can be used at a discount by the respective net. We show how to implement this new approach efficiently.


title: Generalized Collatz Maps with Almost Bounded Orbits

abstract: If dividing by $p$ is a mistake, multiply by $q$ and translate, and so you'll live to iterate. We show that if we define a Collatz-like map in this form then, under suitable conditions on $p$ and $q$, almost all orbits of this map attain almost bounded values. This generalizes a recent breakthrough result of Tao for the original Collatz map (i.e., $p=2$ and $q=3$). In other words, given an arbitrary growth function $N\mapsto f(N)$ we show that almost every orbit of such map with input $N$ eventually attains a value smaller than $f(N)$.


title: Convergence and Stability of the Stochastic Proximal Point Algorithm with Momentum

abstract: Stochastic gradient descent with momentum (SGDM) is the dominant algorithm in many optimization scenarios, including convex optimization instances and non-convex neural network training. Yet, in the stochastic setting, momentum interferes with gradient noise, often leading to specific step size and momentum choices in order to guarantee convergence, set aside acceleration. Proximal point methods, on the other hand, have gained much attention due to their numerical stability and elasticity against imperfect tuning. Their stochastic accelerated variants though have received limited attention: how momentum interacts with the stability of (stochastic) proximal point methods remains largely unstudied. To address this, we focus on the convergence and stability of the stochastic proximal point algorithm with momentum (SPPAM), and show that SPPAM allows a faster linear convergence to a neighborhood compared to the stochastic proximal point algorithm (SPPA) with a better contraction factor, under proper hyperparameter tuning. In terms of stability, we show that SPPAM depends on problem constants more favorably than SGDM, allowing a wider range of step size and momentum that lead to convergence.


title: What was Hybrid? A Systematic Review of Hybrid Collaboration and Meetings Research

abstract: Interest in hybrid collaboration and meetings (HCM), where several co-located participants engage in coordinated work with remote participants, is gaining unprecedented momentum after the rapid shift in working from home due to the COVID-19 pandemic. However, while the interest is new, researchers have been exploring HCM phenomena for decades, albeit dispersed across diverse research traditions, using different terms, definitions, and frameworks. In this article, we present a systematic literature review of the contexts and tools of HCM in the ACM Digital Library. We obtained approximately 1,200 results, which were narrowed down to 62 key articles. We report on the terms, citations, venues, authors, domains, study types, and data of these publications and present a taxonomic overview based on their reported hybrid settings' actual characteristics. We discuss why the SLR resulted in a relatively small number of publications, and then as a corollary, discuss how some excluded high-profile publications flesh out the SLR findings to provide important additional concepts. The SLR itself covers the ACM until November 2019, so our discussion also includes relevant 2020 and 2021 publications. The end result is a baseline that researchers and designers can use in shaping the post-COVID-19 future of HCM systems.


title: Uncertainty quantification of a three-dimensional in-stent restenosis model with surrogate modelling

abstract: In-Stent Restenosis is a recurrence of coronary artery narrowing due to vascular injury caused by balloon dilation and stent placement. It may lead to the relapse of angina symptoms or to an acute coronary syndrome. An uncertainty quantification of a model for In-Stent Restenosis with four uncertain parameters (endothelium regeneration time, the threshold strain for smooth muscle cells bond breaking, blood flow velocity and the percentage of fenestration in the internal elastic lamina) is presented. Two quantities of interest were studied, namely the average cross-sectional area and the maximum relative area loss in a vessel. Due to the computational intensity of the model and the number of evaluations required in the uncertainty quantification, a surrogate model, based on Gaussian process regression with proper orthogonal decomposition, was developed which subsequently replaced the original In-Stent Restenosis model in the uncertainty quantification. A detailed analysis of the uncertainty propagation and sensitivity analysis is presented. Around 11% and 16% of uncertainty are observed on the average cross-sectional area and maximum relative area loss respectively, and the uncertainty estimates show that a higher fenestration mainly determines uncertainty in the neointimal growth at the initial stage of the process. On the other hand, the uncertainty in blood flow velocity and endothelium regeneration time mainly determine the uncertainty in the quantities of interest at the later, clinically relevant stages of the restenosis process. The uncertainty in the threshold strain is relatively small compared to the other uncertain parameters.

categories: cs.CE cs.LG physics.bio-ph physics.data-an physics.med-ph stat.AP


title: Does the Brain Infer Invariance Transformations from Graph Symmetries?

abstract: The invariance of natural objects under perceptual changes is possibly encoded in the brain by symmetries in the graph of synaptic connections. The graph can be established via unsupervised learning in a biologically plausible process across different perceptual modalities. This hypothetical encoding scheme is supported by the correlation structure of naturalistic audio and image data and it predicts a neural connectivity architecture which is consistent with many empirical observations about primary sensory cortex.


title: Training neural networks with synthetic electrocardiograms

abstract: We present a method for training neural networks with synthetic electrocardiograms that mimic signals produced by a wearable single lead electrocardiogram monitor. We use domain randomization where the synthetic signal properties such as the waveform shape, RR-intervals and noise are varied for every training example. Models trained with synthetic data are compared to their counterparts trained with real data. Detection of r-waves in electrocardiograms recorded during different physical activities and in atrial fibrillation is used to compare the models. By allowing the randomization to increase beyond what is typically observed in the real-world data the performance is on par or superseding the performance of networks trained with real data. Experiments show robust performance with different seeds and training examples on different test sets without any test set specific tuning. The method makes possible to train neural networks using practically free-to-collect data with accurate labels without the need for manual annotations and it opens up the possibility of extending the use of synthetic data on cardiac disease classification when disease specific a priori information is used in the electrocardiogram generation. Additionally the distribution of data can be controlled eliminating class imbalances that are typically observed in health related data and additionally the generated data is inherently private.


title: Role of Frustration in a Weakly Disordered Checkerboard Lattice

abstract: Quenched disorder effects on frustrated systems are explored by considering random fluctuations on the antiferromagnetic (AF) interactions between spins on the checkerboard lattice. The replica framework is adopted within a cluster mean-field approach, resulting in an effective single-cluster model. This effective model is treated within a one-step replica symmetry breaking (RSB) approach with exact evaluations for all intracluster interactions. Competing interactions are introduced by tuning the ratio $J_2/J_1$ (where $J_1$ and $J_2$ are first-neighbour and second-neighbor interactions, respectively), which can lead to a highly frustrated scenario when $J_2/J_1\rightarrow 1$, where a phase transition between AF orders takes place in the absence of disorder. In particular, the AF order appears at lower values of $J_2/J_1$, with the Neel temperature decreasing as the frustration increases. However, quenched disorder changes this description, introducing a RSB spin glass phase for strong enough disorder intensity $J$. In fact, for low levels of disorder, a RSB solution with staggered magnetization (mixed phase) emerges from the maximum frustration region. It suggests that, in the presence of weak quenched disorder, systems with competing interactions are prone to present a glassy behavior instead of conventional orders.