title: Simultaneous microscopic imaging of thickness and refractive index of thin layers by heterodyne interferometric reflectometry (HiRef)

abstract: The detection of spatial or temporal variations in very thin samples has important applications in the biological sciences. For example, cellular membranes exhibit changes in lipid composition and order, which in turn modulate their function in space and time. Simultaneous measurement of thickness and refractive index would be one way to observe these variations, yet doing it noninvasively remains an elusive goal. Here we present a microscopic-imaging technique to simultaneously measure the thickness and refractive index of thin layers in a spatially resolved manner using reflectometry. The heterodyne-detected interference between a light field reflected by the sample and a reference field allows measurement of the amplitude and phase of the reflected field and thus determination of the complex reflection coefficient. Comparing the results with the simulated reflection of a thin layer under coherent illumination of high numerical aperture by the microscope objective, the refractive index and thickness of the layer can be determined. We present results on a layer of polyvinylacetate (PVA) with a thickness of approximately 80~nm. These results have a precision better than 10\% in the thickness and better than 1\% in the refractive index and are consistent within error with measurements by quantitative differential interference contrast (qDIC) and literature values. We discuss the significance of these results, and the possibility of performing accurate measurements on nanometric layers. Notably, the shot-noise limit of the technique is below 0.5~nm in thickness and 0.0005 in refractive index for millisecond measurement times.


title: Revisiting the topological classification of defects in crystals

abstract: A general theory of topological classification of defects is introduced. We illustrate the application of tools from algebraic topology, including homotopy and cohomology groups, to classify defects including several explicit calculations for crystals in $\mathbb{R}^2$, $S^2$, 2-dimensional cylinder, 2-dimensional annulus, and 2-tori. A set of physically motivated assumptions is formulated in order to justify the classification process and also to expose certain inherent inconsistencies in the considered methodology, particularly for crystal lattices.


title: Finite-time performance of a single-ion quantum Otto engine

abstract: We study how a quantum heat engine based on a single trapped ion performs in finite time. The always-on thermal environment acts like the hot bath, while the motional degree of freedom of the ion plays the role of the effective cold bath. The hot isochoric stroke is implemented via the interaction of the ion with its hot environment, while a projective measurement of the internal state of the ion is performed as an equivalent to the cold isochoric stroke. The expansion and compression strokes are implemented via suitable change in applied magnetic field. We study in detail how the finite duration of each stroke affects the engine performance. We show that partial thermalization can in fact enhance the efficiency of the engine, due to the residual coherence, whereas faster expansion and compression strokes increase the inner friction and therefore reduce the efficiency.


title: Quantum Gaussian process regression

abstract: In this paper, a quantum algorithm based on gaussian process regression model is proposed. The proposed quantum algorithm consists of three sub-algorithms. One is the first quantum subalgorithm to efficiently generate mean predictor. The improved HHL algorithm is proposed to obtain the sign of outcomes. Therefore, the terrible situation that results is ambiguous in terms of original HHL algorithm is avoided, which makes whole algorithm more clear and exact. The other is to product covariance predictor with same method. Thirdly, the squared exponential covariance matrices are prepared that annihilation operator and generation operator are simulated by the unitary linear decomposition Hamiltonian simulation and kernel function vectors is generated with blocking coding techniques on covariance matrices. In addition, it is shown that the proposed quantum gaussian process regression algorithm can achieve quadratic faster over the classical counterpart.


title: More on total domination polynomial and $\mathcal{D}_t$-equivalence classes of some graphs

abstract: Let $G = (V, E)$ be a simple graph of order $n$. The total dominating set of $G$ is a subset $D$ of $V$ that every vertex of $V$ is adjacent to some vertices of $D$. The total domination number of $G$ is equal to minimum cardinality of total dominating set in $G$ and is denoted by $\gamma_t(G)$. The total domination polynomial of $G$ is the polynomial $D_t(G,x)=\sum_{i=\gamma_t(G)}^n d_t(G,i)x^i$, where $d_t(G,i)$ is the number of total dominating sets of $G$ of size $i$. Two graphs $G$ and $H$ are said to be total dominating equivalent or simply $\mathcal{D}_t$-equivalent, if $D_t(G,x)=D_t(H,x)$. The equivalence class of $G$, denoted $[G]$, is the set of all graphs $\mathcal{D}_t$-equivalent to $G$. In this paper, we investigate $\mathcal{D}_t$-equivalence classes of some graphs. Also we introduce some families of graphs whose total domination polynomials are unimodal.


title: Unsupervised Place Recognition with Deep Embedding Learning over Radar Videos

abstract: We learn, in an unsupervised way, an embedding from sequences of radar images that is suitable for solving place recognition problem using complex radar data. We experiment on 280 km of data and show performance exceeding state-of-the-art supervised approaches, localising correctly 98.38% of the time when using just the nearest database candidate.


title: General thermodynamic geometry approach for rotating Kerr anti-de Sitter black holes

abstract: Combining with the small-large black hole phase transition, the thermodynamic geometry has been well applied to study the microstructure for the charged AdS black hole. In this paper, we extend the geometric approach to the rotating Kerr-AdS black hole and aim to develop a general approach for the Kerr-AdS black hole. Treating the entropy and pressure as the fluctuation coordinates, we construct the Ruppeiner geometry for the Kerr-AdS black hole by making the use of the Christodoulou-Ruffini-like squared-mass formula, which is quite different from the charged case. Employing the empirical observation of the corresponding scalar curvature, we find that, for the near-extremal Kerr-AdS black hole, the repulsive interaction dominates among its microstructure. While for far-from-extremal Kerr-AdS black hole, the attractive interaction dominates. The critical phenomenon is also observed for the scalar curvature. These results uncover the characteristic microstructure of the Kerr-AdS black hole. Such general thermodynamic geometry approach is worth generalizing to other rotating AdS black holes, and more interesting microstructure is expected to be discovered.


title: Singularity of energy measures on a class of inhomogeneous Sierpinski gaskets

abstract: We study energy measures of canonical Dirichlet forms on inhomogeneous Sierpinski gaskets. We prove that the energy measures and suitable reference measures are mutually singular under mild assumptions.


title: Decentralized Matching in a Probabilistic Environment

abstract: We consider a model for repeated stochastic matching where compatibility is probabilistic, is realized the first time agents are matched, and persists in the future. Such a model has applications in the gig economy, kidney exchange, and mentorship matching. We ask whether a $decentralized$ matching process can approximate the optimal online algorithm. In particular, we consider a decentralized $stable$ $matching$ process where agents match with the most compatible partner who does not prefer matching with someone else, and known compatible pairs continue matching in all future rounds. We demonstrate that the above process provides a 0.316-approximation to the optimal online algorithm for matching on general graphs. We also provide a $\frac{1}{7}$-approximation for many-to-one bipartite matching, a $\frac{1}{11}$-approximation for capacitated matching on general graphs, and a $\frac{1}{2k}$-approximation for forming teams of up to $k$ agents. Our results rely on a novel coupling argument that decomposes the successful edges of the optimal online algorithm in terms of their round-by-round comparison with stable matching.


title: Graph Neural Networks with Local Graph Parameters

abstract: Various recent proposals increase the distinguishing power of Graph Neural Networks GNNs by propagating features between $k$-tuples of vertices. The distinguishing power of these "higher-order'' GNNs is known to be bounded by the $k$-dimensional Weisfeiler-Leman (WL) test, yet their $\mathcal O(n^k)$ memory requirements limit their applicability. Other proposals infuse GNNs with local higher-order graph structural information from the start, hereby inheriting the desirable $\mathcal O(n)$ memory requirement from GNNs at the cost of a one-time, possibly non-linear, preprocessing step. We propose local graph parameter enabled GNNs as a framework for studying the latter kind of approaches and precisely characterize their distinguishing power, in terms of a variant of the WL test, and in terms of the graph structural properties that they can take into account. Local graph parameters can be added to any GNN architecture, and are cheap to compute. In terms of expressive power, our proposal lies in the middle of GNNs and their higher-order counterparts. Further, we propose several techniques to aide in choosing the right local graph parameters. Our results connect GNNs with deep results in finite model theory and finite variable logics. Our experimental evaluation shows that adding local graph parameters often has a positive effect for a variety of GNNs, datasets and graph learning tasks.


title: Some Aspects of the Numerical Analysis of a Fractional Duffing Oscillator with a Fractional Variable Order Derivative of the Riemann-Liouville Type

abstract: In this paper, we consider some aspects of the numerical analysis of the mathematical model of fractional Duffing with a derivative of variable fractional order of the Riemann-Liouville type. Using numerical methods: an explicit finite-difference scheme based on the Grunwald-Letnikov and Adams-Bashford-Moulton approximations (predictor-corrector), the proposed numerical model is found. These methods have been verified with a test case. It is shown that the predictor-corrector method has a faster convergence than the method according to the explicit finite-difference scheme. For these schemes, using Runge's rule, estimates of the computational accuracy were made, which tended to unity with an increase in the number of calculated grid nodes.


title: Large Changes of Atmospheric Mixing Angle $\theta_{23}$ with Four Flavor Mixing from Planck Scale Effects

abstract: We consider the effects of Planck scale on four flavour neutrino mixings. The gravational interaction at $M_{x}=M_{\rm planck}$, we find that for degenerate neurino mass order, the Planck scale effects changes the mixing angle $\theta'_{23}$, $\theta'_{12}$ values and $\theta'_{13}$, $\theta'_{14}$, $\theta'_{34}$, $\theta'_{24}$ are unchanged above the GUT scale. In this paper, we study neutrino mixing in four flavor above the GUT scale.


title: Odd-periodic Grover walk

abstract: The Grover walk is one of the most well-studied quantum walks on graphs. In this paper, we investigate its periodicity to reveal the relationship between the quantum walk and the underlying graph, focusing particularly on the characterization of graphs exhibiting a periodic Grover walk. Graphs having a periodic Grover walk with periods of $2, 3, 4$, and $5$ have previously been characterized. It is expected that graphs exhibiting a periodic Grover walk with odd period correspond to cycles with odd length. We address that problem and are able to perfectly characterize the class of graphs exhibiting an odd-periodic Grover walk by using a combinatorial method.


title: Experimental observation of non-Abelian earring nodal links in phononic crystals

abstract: Nodal lines are symmetry-protected one-dimensional band degeneracies in momentum space, which can appear in numerous topological configurations such as nodal rings, chains, links, and knots. Very recently, non-Abelian topological physics has been proposed in space-time inversion (PT) symmetric systems, and attract widespread attention. One of the most special configurations in non-Abelian system is the earring nodal link, composing of a nodal chain linking with an isolated nodal line, is signature of non-Abelian topology and cannot be elucidated using Abelian topological classifications. However, the earring nodal links have not been yet observed in real system. Here we design the phononic crystals with earring nodal links, and verify its non-Abelian topologicial charge in full-wave simulations. Moreover, we experimentally observed two different kinds of earring nodal links by measuring the band structures for two phononic crystals. Specifically, we found that the order of the nodal chain and line can switch after band inversion but their link cannot be severed. Our work provides experimental evidence for phenomena unique to non-Abelian band topology and our simple acoustic system provides a convenient platform for studying non-Abelian charges.


title: Simple Combinatorial Algorithms for Combinatorial Bandits: Corruptions and Approximations

abstract: We consider the stochastic combinatorial semi-bandit problem with adversarial corruptions. We provide a simple combinatorial algorithm that can achieve a regret of $\tilde{O}\left(C+d^2K/\Delta_{min}\right)$ where $C$ is the total amount of corruptions, $d$ is the maximal number of arms one can play in each round, $K$ is the number of arms. If one selects only one arm in each round, we achieves a regret of $\tilde{O}\left(C+\sum_{\Delta_i>0}(1/\Delta_i)\right)$. Our algorithm is combinatorial and improves on the previous combinatorial algorithm by [Gupta et al., COLT2019] (their bound is $\tilde{O}\left(KC+\sum_{\Delta_i>0}(1/\Delta_i)\right)$), and almost matches the best known bounds obtained by [Zimmert et al., ICML2019] and [Zimmert and Seldin, AISTATS2019] (up to logarithmic factor). Note that the algorithms in [Zimmert et al., ICML2019] and [Zimmert and Seldin, AISTATS2019] require one to solve complex convex programs while our algorithm is combinatorial, very easy to implement, requires weaker assumptions and has very low oracle complexity and running time. We also study the setting where we only get access to an approximation oracle for the stochastic combinatorial semi-bandit problem. Our algorithm achieves an (approximation) regret bound of $\tilde{O}\left(d\sqrt{KT}\right)$. Our algorithm is very simple, only worse than the best known regret bound by $\sqrt{d}$, and has much lower oracle complexity than previous work.


title: AutoLoss: Automated Loss Function Search in Recommendations

abstract: Designing an effective loss function plays a crucial role in training deep recommender systems. Most existing works often leverage a predefined and fixed loss function that could lead to suboptimal recommendation quality and training efficiency. Some recent efforts rely on exhaustively or manually searched weights to fuse a group of candidate loss functions, which is exceptionally costly in computation and time. They also neglect the various convergence behaviors of different data examples. In this work, we propose an AutoLoss framework that can automatically and adaptively search for the appropriate loss function from a set of candidates. To be specific, we develop a novel controller network, which can dynamically adjust the loss probabilities in a differentiable manner. Unlike existing algorithms, the proposed controller can adaptively generate the loss probabilities for different data examples according to their varied convergence behaviors. Such design improves the model's generalizability and transferability between deep recommender systems and datasets. We evaluate the proposed framework on two benchmark datasets. The results show that AutoLoss outperforms representative baselines. Further experiments have been conducted to deepen our understandings of AutoLoss, including its transferability, components and training efficiency.


title: Personal Dosimetry in Direct Pulsed Photon Fields with the Dosepix Detector

abstract: First investigations regarding dosimetric properties of the hybrid, pixelated, photon-counting Dosepix detector in the direct beam of a pulsed photon field (RQR8) for the personal dose equivalent $H\mathrm{_p(10)}$ are presented. The influence quantities such as pulse duration and dose rate were varied, and their responses were compared to the legal limits provided in PTB-A 23.2. The variation of pulse duration at a nearly constant dose rate of about 3.7$\,$Sv/h shows a flat response around 1.0 from 3.6$\,$s down to 2$\,$ms. A response close to 1.0 is achieved for dose rates from 0.07$\,$Sv/h to 35$\,$Sv/h for both pixel sizes. Above this dose rate, the large pixels (220$\,\mu$m edge length) are below the lower limit. The small pixels (55$\,\mu$m edge length) stay within limits up to 704$\,$Sv/h. The count rate linearity is compared to previous results, confirming the saturating count rate for high dose rates.


title: Onset and stabilization of delay-induced instabilities in piezoelectric digital vibration absorbers

abstract: The stability of a piezoelectric structure controlled by a digital vibration absorber emulating a shunt circuit is investigated in this work. The formalism of feedback control theory is used to demonstrate that systems with a low electromechanical coupling are prone to delay-induced instabilities entailed by the sampling procedure of the digital unit. An explicit relation is derived between the effective electromechanical coupling factor and the maximum sampling period guaranteeing a stable controlled system. Since this sampling period may be impractically small, a simple modification procedure of the emulated admittance of the shunt circuit is proposed in order to counteract the effect of delays by anticipation. The theoretical developments are experimentally validated on a clamped-free piezoelectric beam.


title: DS-TransUNet:Dual Swin Transformer U-Net for Medical Image Segmentation

abstract: Automatic medical image segmentation has made great progress benefit from the development of deep learning. However, most existing methods are based on convolutional neural networks (CNNs), which fail to build long-range dependencies and global context connections due to the limitation of receptive field in convolution operation. Inspired by the success of Transformer in modeling the long-range contextual information, some researchers have expended considerable efforts in designing the robust variants of Transformer-based U-Net. Moreover, the patch division used in vision transformers usually ignores the pixel-level intrinsic structural features inside each patch. To alleviate these problems, we propose a novel deep medical image segmentation framework called Dual Swin Transformer U-Net (DS-TransUNet), which might be the first attempt to concurrently incorporate the advantages of hierarchical Swin Transformer into both encoder and decoder of the standard U-shaped architecture to enhance the semantic segmentation quality of varying medical images. Unlike many prior Transformer-based solutions, the proposed DS-TransUNet first adopts dual-scale encoder subnetworks based on Swin Transformer to extract the coarse and fine-grained feature representations of different semantic scales. As the core component for our DS-TransUNet, a well-designed Transformer Interactive Fusion (TIF) module is proposed to effectively establish global dependencies between features of different scales through the self-attention mechanism. Furthermore, we also introduce the Swin Transformer block into decoder to further explore the long-range contextual information during the up-sampling process. Extensive experiments across four typical tasks for medical image segmentation demonstrate the effectiveness of DS-TransUNet, and show that our approach significantly outperforms the state-of-the-art methods.


title: Emergence of biased errors in imperfect photonic circuits

abstract: We study the impact of experimental imperfections in integrated photonic circuits. We discuss the emergence of a moderate biased error in path encoding, and investigate its correlation with properties of the optical paths. Our analysis connects and deepens previous studies in this direction, revealing potential issues for high-precision tests and optical implementations of machine learning.


title: Using Convolutional Neural Networks for the Helicity Classification of Magnetic Fields

abstract: The presence of non-zero helicity in intergalactic magnetic fields is a smoking gun for their primordial origin since they have to be generated by processes that break CP invariance. As an experimental signature for the presence of helical magnetic fields, an estimator $Q$ based on the triple scalar product of the wave-vectors of photons generated in electromagnetic cascades from, e.g., TeV blazars, has been suggested previously. We propose to apply deep learning to helicity classification employing Convolutional Neural Networks and show that this method outperforms the $Q$ estimator.


title: Improving Unsupervised Dialogue Topic Segmentation with Utterance-Pair Coherence Scoring

abstract: Dialogue topic segmentation is critical in several dialogue modeling problems. However, popular unsupervised approaches only exploit surface features in assessing topical coherence among utterances. In this work, we address this limitation by leveraging supervisory signals from the utterance-pair coherence scoring task. First, we present a simple yet effective strategy to generate a training corpus for utterance-pair coherence scoring. Then, we train a BERT-based neural utterance-pair coherence model with the obtained training corpus. Finally, such model is used to measure the topical relevance between utterances, acting as the basis of the segmentation inference. Experiments on three public datasets in English and Chinese demonstrate that our proposal outperforms the state-of-the-art baselines.


title: BIOPAK Flasher: Epidemic disease monitoring and detection in Pakistan using text mining

abstract: Infectious disease outbreak has a significant impact on morbidity, mortality and can cause economic instability of many countries. As global trade is growing, goods and individuals are expected to travel across the border, an infected epidemic area carrier can pose a great danger to his hostile. If a disease outbreak is recognized promptly, then commercial products and travelers (traders/visitors) will be effectively vaccinated, and therefore the disease stopped. Early detection of outbreaks plays an important role here, and beware of the rapid implementation of control measures by citizens, public health organizations, and government. Many indicators have valuable information, such as online news sources (RSS) and social media sources (Twitter, Facebook) that can be used, but are unstructured and bulky, to extract information about disease outbreaks. Few early warning outbreak systems exist with some limitation of linguistic (Urdu) and covering areas (Pakistan). In Pakistan, few channels are published the outbreak news in Urdu or English. The aim is to procure information from Pakistan's English and Urdu news channels and then investigate process, integrate, and visualize the disease epidemic. Urdu ontology is not existed before to match extracted diseases, so we also build that ontology of disease.


title: A use case of Content Delivery Network raw logfile analysis

abstract: The growth of video streaming has stretched the Internet to its limitation. In other words, the Internet was originally devised to connect a limited number of computers so that they can share network resources, so the Internet cannot handle a large amount of traffic at a time, which leads to network congestion. To overcome this, CDNs are built on top of the Internet as an overlay to efficiently store and swiftly disseminate contents to users by placing many servers and data centers around the globe. The topic of CDNs has been extensively studied in the last several decades. However, there is still a certain gap between theories in academia and current technologies in industry. In this paper, we take a close look at the design, implementation, solution, and performance of a CDN system by analyzing its raw log files. Specifically, its infrastructure and system design are first presented, and then we conduct a trace-based study to understand user access patterns, the sources of requests, system performance, and how such information can be used to improve the whole CDN system.


title: Curriculum Pre-Training Heterogeneous Subgraph Transformer for Top-$N$ Recommendation

abstract: Due to the flexibility in modelling data heterogeneity, heterogeneous information network (HIN) has been adopted to characterize complex and heterogeneous auxiliary data in top-$N$ recommender systems, called \emph{HIN-based recommendation}. HIN characterizes complex, heterogeneous data relations, containing a variety of information that may not be related to the recommendation task. Therefore, it is challenging to effectively leverage useful information from HINs for improving the recommendation performance. To address the above issue, we propose a Curriculum pre-training based HEterogeneous Subgraph Transformer (called \emph{CHEST}) with new \emph{data characterization}, \emph{representation model} and \emph{learning algorithm}. Specifically, we consider extracting useful information from HIN to compose the interaction-specific heterogeneous subgraph, containing both sufficient and relevant context information for recommendation. Then we capture the rich semantics (\eg graph structure and path semantics) within the subgraph via a heterogeneous subgraph Transformer, where we encode the subgraph with multi-slot sequence representations. Besides, we design a curriculum pre-training strategy to provide an elementary-to-advanced learning process, by which we smoothly transfer basic semantics in HIN for modeling user-item interaction relation. Extensive experiments conducted on three real-world datasets demonstrate the superiority of our proposed method over a number of competitive baselines, especially when only limited training data is available.


title: Muon $g-2$: A review

abstract: The muon magnetic anomaly, $a_{\mu}=(g_{\mu}-2)/2$, plays a special role in the history of the Standard Model (SM). Precise calculations and measurements of this fundamental quantity provide a stringent test of the SM and a window to the physics beyond. In light of the first result published by the Fermilab Muon $g-2$ experiment, this article reviews the current status of the experimental measurement and theoretical prediction of the muon anomalous magnetic moment. It also provides an overview on resulting constraints of associated physics beyond the SM (BSM), future muon $g-2$ experiments, and on the progress of experiments that are closely connected to the physics of the muon $g-2$, such as measurements that could provide complementary information about BSM physics in the muon sector.


title: Bayesian Analysis of time dependence of DAMA annual modulation amplitude

abstract: We implement a test of the variability of the per-cycle annual modulation amplitude in the different phases of the DAMA/LIBRA experiment using Bayesian model comparison. Using frequentist methods, a previous study (Kelso et al 2018) had demonstrated that the DAMA amplitudes spanning over the DAMA/NaI and the first phase of the DAMA/LIBRA phases, show a mild preference for time-dependence in multiple energy bins. With that motivation, we first show using Bayesian techniques that the aforementioned data analyzed in Kelso et al, show a moderate preference for exponentially varying amplitudes in the 2-5 and 2-6 keV energy intervals. We then carry out a similar analysis on the latest modulation amplitudes released by the DAMA collaboration from the first two phases of the upgraded DAMA/LIBRA experiment. We also analyze the single-hit residual rates released by the DAMA collaboration to further look for any possible time-dependency. However, we do not find any evidence for variability of either of the two datasets by using Bayesian model selection. All our analysis codes and datasets have been made publicly available.


title: Exploring the route from leaky Berreman modes to bound states in continuum

abstract: We study coupling of leaky Berreman modes in polar dielectric films (SiO2) through a thin metallic layer (gold) and show the familiar signatures of normal mode splitting. Due to very large negative real part of the dielectric function of gold, the splitting shows up only for extremely thin coupling layers. In contrast, coupling of Berreman modes through a dielectric spacer layer reveals novel possibilities of having bound states in continuum, albeit in the limit of vanishing losses. It is shown that the corresponding dispersion branches of the symmetric and antisymmetric modes can cross. BIC is shown to occur on one of these branches which is characterized by lower loss. In fact the BIC corresponds to the point where the radiative losses are minimized. For thicker layers (both spacer and the polar dielectric) BIC is shown to occur on the higher order dispersion branches. The origin of BIC is traced to the Fabry-Perot type mechanism due to the excitation of the leaky guided modes in the central layer.


title: Go Small and Similar: A Simple Output Decay Brings Better Performance

abstract: Regularization and data augmentation methods have been widely used and become increasingly indispensable in deep learning training. Researchers who devote themselves to this have considered various possibilities. But so far, there has been little discussion about regularizing outputs of the model. This paper begins with empirical observations that better performances are significantly associated with output distributions, that have smaller average values and variances. By audaciously assuming there is causality involved, we propose a novel regularization term, called Output Decay, that enforces the model to assign smaller and similar output values on each class. Though being counter-intuitive, such a small modification result in a remarkable improvement on performance. Extensive experiments demonstrate the wide applicability, versatility, and compatibility of Output Decay.


title: Comparing the topology of phylogenetic network generators

abstract: Phylogenetic networks represent evolutionary history of species and can record natural reticulate evolutionary processes such as horizontal gene transfer and gene recombination. This makes phylogenetic networks a more comprehensive representation of evolutionary history compared to phylogenetic trees. Stochastic processes for generating random trees or networks are important tools in evolutionary analysis, especially in phylogeny reconstruction where they can be utilized for validation or serve as priors for Bayesian methods. However, as more network generators are developed, there is a lack of discussion or comparison for different generators. To bridge this gap, we compare a set of phylogenetic network generators by profiling topological summary statistics of the generated networks over the number of reticulations and comparing the topological profiles.


title: Gamma-convergence of quadratic functionals with non uniformly elliptic conductivity matrices

abstract: We investigate the homogenization through Gamma-convergence for the L^2(\Omega)-weak topology of the conductivity functional with a zero-order term where the matrix-valued conductivity is assumed to be non strongly elliptic. Under proper assumptions, we show that the homogenized matrix A^\ast is provided by the classical homogenization formula. We also give algebraic conditions for two and three dimensional 1-periodic rank-one laminates such that the homogenization result holds. For this class of laminates, an explicit expression of A^\ast is provided which is a generalization of the classical laminate formula. We construct a two-dimensional counter-example which shows an anomalous asymptotic behaviour of the conductivity functional.


title: Non-equilibrium dynamics of bacterial colonies -- growth, active fluctuations, segregation, adhesion, and invasion

abstract: Colonies of bacteria endowed with a pili-based self-propulsion machinery are ideal models for investigating the structure and dynamics of active many-particle systems. We study Neisseria gonorrhoeae colonies with a molecular-dynamics-based approach. A generic, adaptable simulation method for particle systems with fluctuating bond-like interactions is devised. The simulations are employed to investigate growth of bacterial colonies and the dependence of the colony structure on cell-cell interactions. In colonies, pilus retraction enhances local ordering. For colonies consisting of different types of cells, the simulations show a segregation depending on the pili-mediated interactions among different cells. These results agree with experimental observations. Next, we quantify the power-spectral density of colony-shape fluctuations in silico. Simulations predict a strong violation of the equilibrium fluctuation-response relation. Furthermore, we show that active force generation enables colonies to spread on surfaces and to invade narrow channels. The methodology can serve as a foundation for future studies of active many-particle systems at boundaries with complex shape.


title: On the description of identifiable quartics

abstract: In this paper we study the identifiability of specific forms (symmetric tensors), with the target of extending recent methods for the case of $3$ variables to more general cases. In particular, we focus on forms of degree $4$ in $5$ variables. By means of tools coming from classical algebraic geometry, such as Hilbert function, liaison procedure and Serre's construction, we give a complete geometric description and criteria of identifiability for ranks $\geq 9$, filling the gap between rank $\leq 8$, covered by Kruskal's criterion, and $15$, the rank of a general quartic in $5$ variables. For the case $r=12$, we construct an effective algorithm that guarantees that a given decomposition is unique.


title: Incorporating External POS Tagger for Punctuation Restoration

abstract: Punctuation restoration is an important post-processing step in automatic speech recognition. Among other kinds of external information, part-of-speech (POS) taggers provide informative tags, suggesting each input token's syntactic role, which has been shown to be beneficial for the punctuation restoration task. In this work, we incorporate an external POS tagger and fuse its predicted labels into the existing language model to provide syntactic information. Besides, we propose sequence boundary sampling (SBS) to learn punctuation positions more efficiently as a sequence tagging task. Experimental results show that our methods can consistently obtain performance gains and achieve a new state-of-the-art on the common IWSLT benchmark. Further ablation studies illustrate that both large pre-trained language models and the external POS tagger take essential parts to improve the model's performance.


title: Dressed energy of the XXZ chain in the complex plane

abstract: We consider the dressed energy $\varepsilon$ of the XXZ chain in the massless antiferromagnetic parameter regime at $0 < \Delta < 1$ and at finite magnetic field. This function is defined as a solution of a Fredholm integral equation of the second kind. Conceived as a real function over the real numbers it describes the energy of particle-hole excitations over the ground state at fixed magnetic field. The extension of the dressed energy to the complex plane determines the solutions to the Bethe Ansatz equations for the eigenvalue problem of the quantum transfer matrix of the model in the low-temperature limit. At low temperatures the Bethe roots that parametrize the dominant eigenvalue of the quantum transfer matrix come close to the curve ${\rm Re}\, \varepsilon (\lambda) = 0$. We describe this curve and give lower bounds to the function ${\rm Re}\, \varepsilon$ in regions of the complex plane, where it is positive.

categories: math-ph cond-mat.stat-mech hep-th math.MP


title: LENAS: Learning-based Neural Architecture Search and Ensemble for 3D Radiotherapy Dose Prediction

abstract: Radiation therapy treatment planning requires balancing the delivery of the target dose while sparing normal tissues, making it a complex process. To streamline the planning process and enhance its quality, there is a growing demand for knowledge-based planning (KBP). Ensemble learning has shown impressive power in various deep learning tasks, and it has great potential to improve the performance of KBP. However, the effectiveness of ensemble learning heavily depends on the diversity and individual accuracy of the base learners. Moreover, the complexity of model ensembles is a major concern, as it requires maintaining multiple models during inference, leading to increased computational cost and storage overhead. In this study, we propose a novel learning-based ensemble approach named LENAS, which integrates neural architecture search with knowledge distillation for 3D radiotherapy dose prediction. Our approach starts by exhaustively searching each block from an enormous architecture space to identify multiple architectures that exhibit promising performance and significant diversity. To mitigate the complexity introduced by the model ensemble, we adopt the teacher-student paradigm, leveraging the diverse outputs from multiple learned networks as supervisory signals to guide the training of the student network. Furthermore, to preserve high-level semantic information, we design a hybrid-loss to optimize the student network, enabling it to recover the knowledge embedded within the teacher networks. The proposed method has been evaluated on two public datasets, OpenKBP and AIMIS. Extensive experimental results demonstrate the effectiveness of our method and its superior performance to the state-of-the-art methods.


title: Large bulk photovoltaic effect and second-harmonic generation in few-layer pentagonal semiconductors PdS$_2$ and PdSe$_2$

abstract: Recently, atomically thin PdSe$_2$ semiconductors with rare pentagonal Se-Pd-Se monolayers were synthesized and were also found to possess superior properties such as ultrahigh air stability, and high carrier mobility, thus offering a new family of two-dimensional (2D) materials for exploration of 2D semiconductor physics and for applications in advanced opto-electronic and nonlinear photonic devices. In this work, we systematically study the nonlinear optical (NLO) responses [namely, bulk photovoltaic effect (BPVE), second-harmonic generation (SHG) and linear electric-optic (LEO) effect] of noncentrosymmetric bilayer (BL) and four-layer (FL) PdS$_2$ and PdSe$_2$ by applying the first-principles density functional theory with the generalized gradient approximation plus scissors-correction. First of all, the shift current conductivity is in the order of 130 $\mu$A/V$^2$, being very high compared to known BPVE materials. Similarly, their injection current susceptibilities are in the order of 100$\times$10$^8$A/V$^2$s, again being large. Secondly, the SHG coefficients ($\chi^{(2)}$) of these materials are also large, being one order higher than that of the best-known few-layer group 6B transition metal dichalcogenides. For example, the maximum magnitude of $\chi^{(2)}$ can reach 1.4$\times$10$^3$ pm/V for BL PdSe$_2$ at 1.9 eV and 1.2$\times$10$^3$ pm/V at 3.1 eV for BL PdS$_2$. Thirdly we find significant LEO coefficients for these structures in the low photon energy. All these indicate that 2D PdX$_2$ semiconductors will find promising NLO applications. Fourthly, we find that the large BPVE and SHG of the few-layer PdX$_2$ structures are due to strong intralayer directional covalent bonding and also 2D quantum confinement.


title: Quantum Portfolio Optimization with Investment Bands and Target Volatility

abstract: In this paper we show how to implement in a simple way some complex real-life constraints on the portfolio optimization problem, so that it becomes amenable to quantum optimization algorithms. Specifically, first we explain how to obtain the best investment portfolio with a given target risk. This is important in order to produce portfolios with different risk profiles, as typically offered by financial institutions. Second, we show how to implement individual investment bands, i.e., minimum and maximum possible investments for each asset. This is also important in order to impose diversification and avoid corner solutions. Quite remarkably, we show how to build the constrained cost function as a quadratic binary optimization (QUBO) problem, this being the natural input of quantum annealers. The validity of our implementation is proven by finding the optimal portfolios, using D-Wave Hybrid and its Advantage quantum processor, on portfolios built with all the assets from S&P100 and S&P500. Our results show how practical daily constraints found in quantitative finance can be implemented in a simple way in current NISQ quantum processors, with real data, and under realistic market conditions. In combination with clustering algorithms, our methods would allow to replicate the behaviour of more complex indexes, such as Nasdaq Composite or others, in turn being particularly useful to build and replicate Exchange Traded Funds (ETF).


title: Multi-level Attention Fusion Network for Audio-visual Event Recognition

abstract: Event classification is inherently sequential and multimodal. Therefore, deep neural models need to dynamically focus on the most relevant time window and/or modality of a video. In this study, we propose the Multi-level Attention Fusion network (MAFnet), an architecture that can dynamically fuse visual and audio information for event recognition. Inspired by prior studies in neuroscience, we couple both modalities at different levels of visual and audio paths. Furthermore, the network dynamically highlights a modality at a given time window relevant to classify events. Experimental results in AVE (Audio-Visual Event), UCF51, and Kinetics-Sounds datasets show that the approach can effectively improve the accuracy in audio-visual event classification. Code is available at: https://github.com/numediart/MAFnet


title: Pattern formation of vascular network in a mathematical model of angiogenesis

abstract: We discuss the characteristics of the patterns of the vascular networks in a mathematical model for angiogenesis. Based on recent in vitro experiments, this mathematical model assumes that the elongation and bifurcation of blood vessels during angiogenesis are determined by the density of endothelial cells at the tip of the vascular network, and describes the dynamical changes in vascular network formation using a system of simultaneous ordinary differential equations. The pattern of formation strongly depends on the supply rate of endothelial cells by cell division, the branching angle, and also on the connectivity of vessels. By introducing reconnection of blood vessels, the statistical distribution of the size of islands in the network is discussed with respect to bifurcation angles and elongation factor distributions. The characteristics of the obtained patterns are analysed using multifractal dimension and other techniques.


title: A Sentence-level Hierarchical BERT Model for Document Classification with Limited Labelled Data

abstract: Training deep learning models with limited labelled data is an attractive scenario for many NLP tasks, including document classification. While with the recent emergence of BERT, deep learning language models can achieve reasonably good performance in document classification with few labelled instances, there is a lack of evidence in the utility of applying BERT-like models on long document classification. This work introduces a long-text-specific model -- the Hierarchical BERT Model (HBM) -- that learns sentence-level features of the text and works well in scenarios with limited labelled data. Various evaluation experiments have demonstrated that HBM can achieve higher performance in document classification than the previous state-of-the-art methods with only 50 to 200 labelled instances, especially when documents are long. Also, as an extra benefit of HBM, the salient sentences identified by learned HBM are useful as explanations for labelling documents based on a user study.


title: Engineering Knowledge Graph from Patent Database

abstract: We propose a large, scalable engineering knowledge graph, comprising sets of (entity, relationship, entity) triples that are real-world engineering facts found in the patent database. We apply a set of rules based on the syntactic and lexical properties of claims in a patent document to extract facts. We aggregate these facts within each patent document and integrate the aggregated sets of facts across the patent database to obtain the engineering knowledge graph. Such a knowledge graph is expected to support inference, reasoning, and recalling in various engineering tasks. The knowledge graph has a greater size and coverage in comparison with the previously used knowledge graphs and semantic networks in the engineering literature.


title: Conflict between some higher-order curvature invariant terms

abstract: A viable quantum theory does not allow curvature invariant terms of different higher orders to be accommodated in the gravitational action. We show that there is indeed a conflict between the curvature squared and Gauss-Bonnet squared terms from the point of view of hermiticity. This means one should choose either, in addition to the Einstein-Hilbert term, but never the two together. We explore early cosmic evolution with Gauss-Bonnet squared term.


title: Distributionally Robust Optimization with Markovian Data

abstract: We study a stochastic program where the probability distribution of the uncertain problem parameters is unknown and only indirectly observed via finitely many correlated samples generated by an unknown Markov chain with $d$ states. We propose a data-driven distributionally robust optimization model to estimate the problem's objective function and optimal solution. By leveraging results from large deviations theory, we derive statistical guarantees on the quality of these estimators. The underlying worst-case expectation problem is nonconvex and involves $\mathcal O(d^2)$ decision variables. Thus, it cannot be solved efficiently for large $d$. By exploiting the structure of this problem, we devise a customized Frank-Wolfe algorithm with convex direction-finding subproblems of size $\mathcal O(d)$. We prove that this algorithm finds a stationary point efficiently under mild conditions. The efficiency of the method is predicated on a dimensionality reduction enabled by a dual reformulation. Numerical experiments indicate that our approach has better computational and statistical properties than the state-of-the-art methods.


title: Task Transformer Network for Joint MRI Reconstruction and Super-Resolution

abstract: The core problem of Magnetic Resonance Imaging (MRI) is the trade off between acceleration and image quality. Image reconstruction and super-resolution are two crucial techniques in Magnetic Resonance Imaging (MRI). Current methods are designed to perform these tasks separately, ignoring the correlations between them. In this work, we propose an end-to-end task transformer network (T$^2$Net) for joint MRI reconstruction and super-resolution, which allows representations and feature transmission to be shared between multiple task to achieve higher-quality, super-resolved and motion-artifacts-free images from highly undersampled and degenerated MRI data. Our framework combines both reconstruction and super-resolution, divided into two sub-branches, whose features are expressed as queries and keys. Specifically, we encourage joint feature learning between the two tasks, thereby transferring accurate task information. We first use two separate CNN branches to extract task-specific features. Then, a task transformer module is designed to embed and synthesize the relevance between the two tasks. Experimental results show that our multi-task model significantly outperforms advanced sequential methods, both quantitatively and qualitatively.


title: Hippocampus segmentation in magnetic resonance images of Alzheimer's patients using Deep machine learning

abstract: Background: Alzheimers disease is a progressive neurodegenerative disorder and the main cause of dementia in aging. Hippocampus is prone to changes in the early stages of Alzheimers disease. Detection and observation of the hippocampus changes using magnetic resonance imaging (MRI) before the onset of Alzheimers disease leads to the faster preventive and therapeutic measures. Objective: The aim of this study was the segmentation of the hippocampus in magnetic resonance (MR) images of Alzheimers patients using deep machine learning method. Methods: U-Net architecture of convolutional neural network was proposed to segment the hippocampus in the real MRI data. The MR images of the 100 and 35 patients available in Alzheimers disease Neuroimaging Initiative (ADNI) dataset, was used for the train and test of the model, respectively. The performance of the proposed method was compared with manual segmentation by measuring the similarity metrics. Results: The desired segmentation achieved after 10 iterations. A Dice similarity coefficient (DSC) = 92.3%, sensitivity = 96.5%, positive predicted value (PPV) = 90.4%, and Intersection over Union (IoU) value for the train 92.94 and test 92.93 sets were obtained which are acceptable. Conclusion: The proposed approach is promising and can be extended in the prognosis of Alzheimers disease by the prediction of the hippocampus volume changes in the early stage of the disease.


title: DeepMMSA: A Novel Multimodal Deep Learning Method for Non-small Cell Lung Cancer Survival Analysis

abstract: Lung cancer is the leading cause of cancer death worldwide. The critical reason for the deaths is delayed diagnosis and poor prognosis. With the accelerated development of deep learning techniques, it has been successfully applied extensively in many real-world applications, including health sectors such as medical image interpretation and disease diagnosis. By combining more modalities that being engaged in the processing of information, multimodal learning can extract better features and improve predictive ability. The conventional methods for lung cancer survival analysis normally utilize clinical data and only provide a statistical probability. To improve the survival prediction accuracy and help prognostic decision-making in clinical practice for medical experts, we for the first time propose a multimodal deep learning method for non-small cell lung cancer (NSCLC) survival analysis, named DeepMMSA. This method leverages CT images in combination with clinical data, enabling the abundant information hold within medical images to be associate with lung cancer survival information. We validate our method on the data of 422 NSCLC patients from The Cancer Imaging Archive (TCIA). Experimental results support our hypothesis that there is an underlying relationship between prognostic information and radiomic images. Besides, quantitative results showing that the established multimodal model can be applied to traditional method and has the potential to break bottleneck of existing methods and increase the the percentage of concordant pairs(right predicted pairs) in overall population by 4%.


title: Minimization and Canonization of GFG Transition-Based Automata

abstract: While many applications of automata in formal methods can use nondeterministic automata, some applications, most notably synthesis, need deterministic or good-for-games (GFG) automata. The latter are nondeterministic automata that can resolve their nondeterministic choices in a way that only depends on the past. The minimization problem for deterministic B\"uchi and co-B\"uchi word automata is NP-complete. In particular, no canonical minimal deterministic automaton exists, and a language may have different minimal deterministic automata. We describe a polynomial minimization algorithm for GFG co-B\"uchi word automata with transition-based acceptance. Thus, a run is accepting if it traverses a set $\alpha$ of designated transitions only finitely often. Our algorithm is based on a sequence of transformations we apply to the automaton, on top of which a minimal quotient automaton is defined. We use our minimization algorithm to show canonicity for transition-based GFG co-B\"uchi word automata: all minimal automata have isomorphic safe components (namely components obtained by restricting the transitions to these not in $\alpha$) and once we saturate the automata with $\alpha$-transitions, we get full isomorphism.


title: Quantum coherence, correlations and nonclassical states in the two-qubit Rabi model with parametric oscillator

abstract: Quantum coherence and quantum correlations are studied in the strongly interacting system composed of two qubits and an oscillator with the presence of a parametric medium. To analytically solve the system, we employ the adiabatic approximation approach. It assumes each qubit's characteristic frequency is substantially lower than the oscillator frequency. To validate our approximation, a good agreement between the calculated energy spectrum of the Hamiltonian with its numerical result is presented. The time evolution of the reduced density matrices of the two-qubit and the oscillator subsystems are computed from the tripartite initial state. Starting with a factorized two-qubit initial state, the quasi-periodicity in the revival and collapse phenomenon that occurs in the two-qubit population inversion is studied. Based on the measure of relative entropy of coherence, we investigate the quantum coherence and its explicit dependence on the parametric term both for the two-qubit and the individual qubit subsystems by adopting different choices of the initial states. Similarly, the existence of quantum correlations is demonstrated by studying the geometric discord and concurrence. Besides, by numerically minimizing the Hilbert-Schmidt distance, the dynamically produced near maximally entangled states are reconstructed. The reconstructed states are observed to be nearly pure generalized Bell states. Furthermore, utilizing the oscillator density matrix, the quadrature variance and phase-space distribution of the associated Husimi $Q$-function are computed in the minimum entropy regime and conclude that the obtained nearly pure evolved state is a squeezed coherent state.


title: On the Impact of Security Vulnerabilities in the npm and RubyGems Dependency Networks

abstract: The increasing interest in open source software has led to the emergence of large language-specific package distributions of reusable software libraries, such as npm and RubyGems. These software packages can be subject to vulnerabilities that may expose dependent packages through explicitly declared dependencies. Using Snyk's vulnerability database, this article empirically studies vulnerabilities affecting npm and RubyGems packages. We analyse how and when these vulnerabilities are disclosed and fixed, and how their prevalence changes over time. We also analyse how vulnerable packages expose their direct and indirect dependents to vulnerabilities. We distinguish between two types of dependents: packages distributed via the package manager, and external GitHub projects depending on npm packages. We observe that the number of vulnerabilities in npm is increasing and being disclosed faster than vulnerabilities in RubyGems. For both package distributions, the time required to disclose vulnerabilities is increasing over time. Vulnerabilities in npm packages affect a median of 30 package releases, while this is 59 releases in RubyGems packages. A large proportion of external GitHub projects is exposed to vulnerabilities coming from direct or indirect dependencies. 33% and 40% of dependency vulnerabilities to which projects and packages are exposed, respectively, have their fixes in more recent releases within the same major release range of the used dependency. Our findings reveal that more effort is needed to better secure open source package distributions.


title: Interference Mitigation for FMCW Radar With Sparse and Low-Rank Hankel Matrix Decomposition

abstract: In this paper, the interference mitigation for Frequency Modulated Continuous Wave (FMCW) radar system with a dechirping receiver is investigated. After dechirping operation, the scattered signals from targets result in beat signals, i.e., the sum of complex exponentials while the interferences lead to chirp-like short pulses. Taking advantage of these different time and frequency features between the useful signals and the interferences, the interference mitigation is formulated as an optimization problem: a sparse and low-rank decomposition of a Hankel matrix constructed by lifting the measurements. Then, an iterative optimization algorithm is proposed to tackle it by exploiting the Alternating Direction of Multipliers (ADMM) scheme. Compared to the existing methods, the proposed approach does not need to detect the interference and also improves the estimation accuracy of the separated useful signals. Both numerical simulations with point-like targets and experiment results with distributed targets (i.e., raindrops) are presented to demonstrate and verify its performance. The results show that the proposed approach is generally applicable for interference mitigation in both stationary and moving target scenarios.


title: A decreasing scaling transition scheme from Adam to SGD

abstract: Adaptive gradient algorithm (AdaGrad) and its variants, such as RMSProp, Adam, AMSGrad, etc, have been widely used in deep learning. Although these algorithms are faster in the early phase of training, their generalization performance is often not as good as stochastic gradient descent (SGD). Hence, a trade-off method of transforming Adam to SGD after a certain iteration to gain the merits of both algorithms is theoretically and practically significant. To that end, we propose a decreasing scaling transition scheme to achieve a smooth and stable transition from Adam to SGD, which is called DSTAdam. The convergence of the proposed DSTAdam is also proved in an online convex setting. Finally, the effectiveness of the DSTAdam is verified on the CIFAR-10/100 datasets. Our implementation is available at: https://github.com/kunzeng/DSTAdam.


title: On orders of automorphisms of vertex-transitive graphs

abstract: In this paper we investigate orders, longest cycles and the number of cycles of automorphisms of finite vertex-transitive graphs. In particular, we show that the order of every automorphism of a connected vertex-transitive graph with $n$ vertices and of valence $d$, $d\le 4$, is at most $c_d n$ where $c_3=1$ and $c_4 = 9$. Whether such a constant $c_d$ exists for valencies larger than $4$ remains an unanswered question. Further, we prove that every automorphism $g$ of a finite connected $3$-valent vertex-transitive graph $\Gamma$, $\Gamma \not\cong K_{3,3}$, has a regular orbit, that is, an orbit of $\langle g \rangle$ of length equal to the order of $g$. Moreover, we prove that in this case either $\Gamma$ belongs to a well understood family of exceptional graphs or at least $5/12$ of the vertices of $\Gamma$ belong to a regular orbit of $g$. Finally, we give an upper bound on the number of orbits of a cyclic group of automorphisms $C$ of a connected $3$-valent vertex-transitive graph $\Gamma$ in terms of the number of vertices of $\Gamma$ and the length of a longest orbit of $C$.


title: Guiding Teacher Forcing with Seer Forcing for Neural Machine Translation

abstract: Although teacher forcing has become the main training paradigm for neural machine translation, it usually makes predictions only conditioned on past information, and hence lacks global planning for the future. To address this problem, we introduce another decoder, called seer decoder, into the encoder-decoder framework during training, which involves future information in target predictions. Meanwhile, we force the conventional decoder to simulate the behaviors of the seer decoder via knowledge distillation. In this way, at test the conventional decoder can perform like the seer decoder without the attendance of it. Experiment results on the Chinese-English, English-German and English-Romanian translation tasks show our method can outperform competitive baselines significantly and achieves greater improvements on the bigger data sets. Besides, the experiments also prove knowledge distillation the best way to transfer knowledge from the seer decoder to the conventional decoder compared to adversarial learning and L2 regularization.


title: EDEN: A high-performance, general-purpose, NeuroML-based neural simulator

abstract: Modern neuroscience employs in silico experimentation on ever-increasing and more detailed neural networks. The high modelling detail goes hand in hand with the need for high model reproducibility, reusability and transparency. Besides, the size of the models and the long timescales under study mandate the use of a simulation system with high computational performance, so as to provide an acceptable time to result. In this work, we present EDEN (Extensible Dynamics Engine for Networks), a new general-purpose, NeuroML-based neural simulator that achieves both high model flexibility and high computational performance, through an innovative model-analysis and code-generation technique. The simulator runs NeuroML v2 models directly, eliminating the need for users to learn yet another simulator-specific, model-specification language. EDEN's functional correctness and computational performance were assessed through NeuroML models available on the NeuroML-DB and Open Source Brain model repositories. In qualitative experiments, the results produced by EDEN were verified against the established NEURON simulator, for a wide range of models. At the same time, computational-performance benchmarks reveal that EDEN runs up to 2 orders-of-magnitude faster than NEURON on a typical desktop computer, and does so without additional effort from the user. Finally, and without added user effort, EDEN has been built from scratch to scale seamlessly over multiple CPUs and across computer clusters, when available.


title: Scaling transition from momentum stochastic gradient descent to plain stochastic gradient descent

abstract: The plain stochastic gradient descent and momentum stochastic gradient descent have extremely wide applications in deep learning due to their simple settings and low computational complexity. The momentum stochastic gradient descent uses the accumulated gradient as the updated direction of the current parameters, which has a faster training speed. Because the direction of the plain stochastic gradient descent has not been corrected by the accumulated gradient. For the parameters that currently need to be updated, it is the optimal direction, and its update is more accurate. We combine the advantages of the momentum stochastic gradient descent with fast training speed and the plain stochastic gradient descent with high accuracy, and propose a scaling transition from momentum stochastic gradient descent to plain stochastic gradient descent(TSGD) method. At the same time, a learning rate that decreases linearly with the iterations is used instead of a constant learning rate. The TSGD algorithm has a larger step size in the early stage to speed up the training, and training with a smaller step size in the later stage can steadily converge. Our experimental results show that the TSGD algorithm has faster training speed, higher accuracy and better stability. Our implementation is available at: https://github.com/kunzeng/TSGD.


title: Circular swimming motility and disordered hyperuniform state in an algae system

abstract: Active matter comprises individually driven units that convert locally stored energy into mechanical motion. Interactions between driven units lead to a variety of non-equilibrium collective phenomena in active matter. One of such phenomena is anomalously large density fluctuations, which have been observed in both experiments and theories. Here we show that, on the contrary, density fluctuations in active matter can also be greatly suppressed. Our experiments are carried out with marine algae ($\it{Effrenium\ voratum}$) which swim in circles at the air-liquid interfaces with two different eukaryotic flagella. Cell swimming generates fluid flow which leads to effective repulsions between cells in the far field. Long-range nature of such repulsive interactions suppresses density fluctuations and generates disordered hyperuniform states under a wide range of density conditions. Emergence of hyperuniformity and associated scaling exponent are quantitatively reproduced in a numerical model whose main ingredients are effective hydrodynamic interactions and uncorrelated random cell motion. Our results demonstrate a new form of collective state in active matter and suggest the possibility to use hydrodynamic flow for self-assembly in active matter.


title: Tight FPT Approximation for Socially Fair Clustering

abstract: In this work, we study the socially fair $k$-median/$k$-means problem. We are given a set of points $P$ in a metric space $\mathcal{X}$ with a distance function $d(.,.)$. There are $\ell$ groups: $P_1,\dotsc,P_{\ell} \subseteq P$. We are also given a set $F$ of feasible centers in $\mathcal{X}$. The goal in the socially fair $k$-median problem is to find a set $C \subseteq F$ of $k$ centers that minimizes the maximum average cost over all the groups. That is, find $C$ that minimizes the objective function $\Phi(C,P) \equiv \max_{j} \Big\{ \sum_{x \in P_j} d(C,x)/|P_j| \Big\}$, where $d(C,x)$ is the distance of $x$ to the closest center in $C$. The socially fair $k$-means problem is defined similarly by using squared distances, i.e., $d^{2}(.,.)$ instead of $d(.,.)$. The current best approximation guarantee for both the problems is $O\left( \frac{\log \ell}{\log \log \ell} \right)$ due to Makarychev and Vakilian [COLT 2021]. In this work, we study the fixed parameter tractability of the problems with respect to parameter $k$. We design $(3+\varepsilon)$ and $(9 + \varepsilon)$ approximation algorithms for the socially fair $k$-median and $k$-means problems, respectively, in FPT (fixed parameter tractable) time $f(k,\varepsilon) \cdot n^{O(1)}$, where $f(k,\varepsilon) = (k/\varepsilon)^{{O}(k)}$ and $n = |P \cup F|$. Furthermore, we show that if Gap-ETH holds, then better approximation guarantees are not possible in FPT time.


title: Combinatorial properties of the enhanced principal rank characteristic sequence over finite fields

abstract: The enhanced principal rank characteristic sequence (epr-sequence) of a symmetric matrix $B \in \mathbb{F}^{n \times n}$ is defined as $\ell_1 \ell_2 \cdots \ell_n$, where $\ell_j \in \{\tt{A}, \tt{S}, \tt{N}\}$ according to whether all, some but not all, or none of the principal minors of order $j$ of $B$ are nonzero. Building upon the second author's recent classification of the epr-sequences of symmetric matrices over the field $\mathbb{F}=\mathbb{F}_2$, we initiate a study of the case $\mathbb{F}=\mathbb{F}_3$. Moreover, epr-sequences over finite fields are shown to have connections to Ramsey theory and coding theory.


title: Optimising Scintillating Neutron Detectors for Cosmic Ray Soil Moisture Monitoring

abstract: Cosmic Ray Neutron Sensing (CRNS) is a powerful technique that allows non-invasive monitoring of soil moisture on length scales well matched for agricultural applications. One factor limiting the use of the technique within industrial agriculture settings is the high initial cost of Helium-3 or BF3 tubes typically used for ground level neutron monitoring. This paper discusses the use of Geant4 to optimise an alternative scintillator based neutron detector that may be applicable for challenges where cost is a higher driving factor than temporal resolution.


title: Every Bite Is an Experience: Key Point Analysis of Business Reviews

abstract: Previous work on review summarization focused on measuring the sentiment toward the main aspects of the reviewed product or business, or on creating a textual summary. These approaches provide only a partial view of the data: aspect-based sentiment summaries lack sufficient explanation or justification for the aspect rating, while textual summaries do not quantify the significance of each element, and are not well-suited for representing conflicting views. Recently, Key Point Analysis (KPA) has been proposed as a summarization framework that provides both textual and quantitative summary of the main points in the data. We adapt KPA to review data by introducing Collective Key Point Mining for better key point extraction; integrating sentiment analysis into KPA; identifying good key point candidates for review summaries; and leveraging the massive amount of available reviews and their metadata. We show empirically that these novel extensions of KPA substantially improve its performance. We demonstrate that promising results can be achieved without any domain-specific annotation, while human supervision can lead to further improvement.


title: AI Enlightens Wireless Communication: Analyses, Solutions and Opportunities on CSI Feedback

abstract: In this paper, we give a systematic description of the 1st Wireless Communication Artificial Intelligence (AI) Competition (WAIC) which is hosted by IMT-2020(5G) Promotion Group 5G+AI Work Group. Firstly, the framework of full channel state information (F-CSI) feedback problem and its corresponding channel dataset are provided. Then the enhancing schemes for DL-based F-CSI feedback including i) channel data analysis and preprocessing, ii) neural network design and iii) quantization enhancement are elaborated. The final competition results composed of different enhancing schemes are presented. Based on the valuable experience of 1st WAIC, we also list some challenges and potential study areas for the design of AI-based wireless communication systems.


title: Estimate for concentration level of the Adams functional and extremals for Adams-type inequality

abstract: This paper is mainly concerned with the existence of extremals for the Adams inequality. We first establish an upper bound for the classical Adams functional along of all concentrated sequences in $W^{m,\frac{n}{m}}_{\mathcal{N}}(\Omega)$, in particular in $W^{m,\frac{n}{m}}_{0}(\Omega)$, where $\Omega$ is a smooth bounded domain in Euclidean $n$-space. Secondly, based on the Concentration-compactness alternative due to Do \'{O} and Macedo, we prove the existence of extremals for the Adams inequality under Navier boundary conditions for second order derivatives at least for higher dimensions when $\Omega$ is an Euclidean ball.


title: Relearning ensemble selection based on new generated features

abstract: The ensemble methods are meta-algorithms that combine several base machine learning techniques to increase the effectiveness of the classification. Many existing committees of classifiers use the classifier selection process to determine the optimal set of base classifiers. In this article, we propose the classifiers selection framework with relearning base classifiers. Additionally, we use in the proposed framework the new generated feature, which can be obtained after the relearning process. The proposed technique was compared with state-of-the-art ensemble methods using three benchmark datasets and one synthetic dataset. Four classification performance measures are used to evaluate the proposed method.


title: Solving Graph-based Public Good Games with Tree Search and Imitation Learning

abstract: Public goods games represent insightful settings for studying incentives for individual agents to make contributions that, while costly for each of them, benefit the wider society. In this work, we adopt the perspective of a central planner with a global view of a network of self-interested agents and the goal of maximizing some desired property in the context of a best-shot public goods game. Existing algorithms for this known NP-complete problem find solutions that are sub-optimal and cannot optimize for criteria other than social welfare. In order to efficiently solve public goods games, our proposed method directly exploits the correspondence between equilibria and the Maximal Independent Set (mIS) structural property of graphs. In particular, we define a Markov Decision Process which incrementally generates an mIS, and adopt a planning method to search for equilibria, outperforming existing methods. Furthermore, we devise a graph imitation learning technique that uses demonstrations of the search to obtain a graph neural network parametrized policy which quickly generalizes to unseen game instances. Our evaluation results show that this policy is able to reach 99.5% of the performance of the planning method while being three orders of magnitude faster to evaluate on the largest graphs tested. The methods presented in this work can be applied to a large class of public goods games of potentially high societal impact and more broadly to other graph combinatorial optimization problems.


title: Recursion operators in the cotangent covering of the rdDym equation

abstract: We describe a general method of constructing nonlocal recursion operators for symmetries of PDEs. As an example, the cotangent equation to the 3D rdDym equation $u_{yt} = u_xu_{xy} - u_yu_{xx}$ for which two mutually inverse operators are found. The exposition includes a rigorous criterion to check the hereditary property.


title: Relationships Between Hyperelliptic Functions of Genus 2 and Elliptic Functions

abstract: The article is devoted to the classical problems about the relationships between elliptic functions and hyperelliptic functions of genus 2. It contains new results, as well as a derivation from them of well-known results on these issues. Our research was motivated by applications to the theory of equations and dynamical systems integrable in hyperelliptic functions of genus 2. We consider a hyperelliptic curve $V$ of genus 2 which admits a morphism of degree 2 to an elliptic curve. Then there exist two elliptic curves $E_i$, $i=1,2$, and morphisms of degree 2 from $V$ to $E_i$. We construct hyperelliptic functions associated with $V$ from the Weierstrass elliptic functions associated with $E_i$ and describe them in terms of the fundamental hyperelliptic functions defined by the logarithmic derivatives of the two-dimensional sigma functions. We show that the restrictions of hyperelliptic functions associated with $V$ to the appropriate subspaces in $\mathbb{C}^2$ are elliptic functions and describe them in terms of the Weierstrass elliptic functions associated with $E_i$. Further, we express the hyperelliptic functions associated with $V$ on $\mathbb{C}^2$ in terms of the Weierstrass elliptic functions associated with $E_i$. We derive these results by describing the homomorphisms between the Jacobian varieties of the curves $V$ and $E_i$ induced by the morphisms from $V$ to $E_i$ explicitly.


title: Towards a Privacy-preserving Deep Learning-based Network Intrusion Detection in Data Distribution Services

abstract: Data Distribution Service (DDS) is an innovative approach towards communication in ICS/IoT infrastructure and robotics. Being based on the cross-platform and cross-language API to be applicable in any computerised device, it offers the benefits of modern programming languages and the opportunities to develop more complex and advanced systems. However, the DDS complexity equally increases its vulnerability, while the existing security measures are limited to plug-ins and static rules, with the rest of the security provided by third-party applications and operating system. Specifically, traditional intrusion detection systems (IDS) do not detect any anomalies in the publish/subscribe method. With the exponentially growing global communication exchange, securing DDS is of the utmost importance to futureproofing industrial, public, and even personal devices and systems. This report presents an experimental work on the simulation of several specific attacks against DDS, and the application of Deep Learning for their detection. The findings show that even though Deep Learning allows to detect all simulated attacks using only metadata analysis, their detection level varies, with some of the advanced attacks being harder to detect. The limitations imposed by the attempts to preserve privacy significantly decrease the detection rate. The report also reviews the drawbacks and limitations of the Deep Learning approach and proposes a set of selected solutions and configurations, that can further improve the DDS security.


title: Exploiting Parallel Corpora to Improve Multilingual Embedding based Document and Sentence Alignment

abstract: Multilingual sentence representations pose a great advantage for low-resource languages that do not have enough data to build monolingual models on their own. These multilingual sentence representations have been separately exploited by few research for document and sentence alignment. However, most of the low-resource languages are under-represented in these pre-trained models. Thus, in the context of low-resource languages, these models have to be fine-tuned for the task at hand, using additional data sources. This paper presents a weighting mechanism that makes use of available small-scale parallel corpora to improve the performance of multilingual sentence representations on document and sentence alignment. Experiments are conducted with respect to two low-resource languages, Sinhala and Tamil. Results on a newly created dataset of Sinhala-English, Tamil-English, and Sinhala-Tamil show that this new weighting mechanism significantly improves both document and sentence alignment. This dataset, as well as the source-code, is publicly released.


title: Coincident Rigidity of 2-Dimensional Frameworks

abstract: Fekete, Jord\'an and Kaszanitzky [4] characterised the graphs which can be realised as 2-dimensional, infinitesimally rigid, bar-joint frameworks in which two given vertices are coincident. We formulate a conjecture which would extend their characterisation to an arbitrary set T of vertices and verify our conjecture when |T| = 3.


title: Planning Spatial Networks with Monte Carlo Tree Search

abstract: We tackle the problem of goal-directed graph construction: given a starting graph, a budget of modifications, and a global objective function, the aim is to find a set of edges whose addition to the graph achieves the maximum improvement in the objective (e.g., communication efficiency). This problem emerges in many networks of great importance for society such as transportation and critical infrastructure networks. We identify two significant shortcomings with present methods. Firstly, they focus exclusively on network topology while ignoring spatial information; however, in many real-world networks, nodes are embedded in space, which yields different global objectives and governs the range and density of realizable connections. Secondly, existing RL methods scale poorly to large networks due to the high cost of training a model and the scaling factors of the action space and global objectives. In this work, we formulate this problem as a deterministic MDP. We adopt the Monte Carlo Tree Search framework for planning in this domain, prioritizing the optimality of final solutions over the speed of policy evaluation. We propose several improvements over the standard UCT algorithm for this family of problems, addressing their single-agent nature, the trade-off between the costs of edges and their contribution to the objective, and an action space linear in the number of nodes. We demonstrate the suitability of this approach for improving the global efficiency and attack resilience of a variety of synthetic and real-world networks, including Internet backbone networks and metro systems. Our approach obtains a 24% improvement in these metrics compared to UCT on the largest networks tested and scalability superior to previous methods.


title: Cross-Subject Domain Adaptation for Classifying Working Memory Load with Multi-Frame EEG Images

abstract: Working memory (WM), denoting the information temporally stored in the mind, is a fundamental research topic in the field of human cognition. Electroencephalograph (EEG), which can monitor the electrical activity of the brain, has been widely used in measuring the level of WM. However, one of the critical challenges is that individual differences may cause ineffective results, especially when the established model meets an unfamiliar subject. In this work, we propose a cross-subject deep adaptation model with spatial attention (CS-DASA) to generalize the workload classifications across subjects. First, we transform EEG time series into multi-frame EEG images incorporating spatial, spectral, and temporal information. First, the Subject-Shared module in CS-DASA receives multi-frame EEG image data from both source and target subjects and learns the common feature representations. Then, in the subject-specific module, the maximum mean discrepancy is implemented to measure the domain distribution divergence in a reproducing kernel Hilbert space, which can add an effective penalty loss for domain adaptation. Additionally, the subject-to-subject spatial attention mechanism is employed to focus on the discriminative spatial features from the target image data. Experiments conducted on a public WM EEG dataset containing 13 subjects show that the proposed model is capable of achieving better performance than existing state-of-the-art methods.


title: What can linearized neural networks actually say about generalization?

abstract: For certain infinitely-wide neural networks, the neural tangent kernel (NTK) theory fully characterizes generalization, but for the networks used in practice, the empirical NTK only provides a rough first-order approximation. Still, a growing body of work keeps leveraging this approximation to successfully analyze important deep learning phenomena and design algorithms for new applications. In our work, we provide strong empirical evidence to determine the practical validity of such approximation by conducting a systematic comparison of the behavior of different neural networks and their linear approximations on different tasks. We show that the linear approximations can indeed rank the learning complexity of certain tasks for neural networks, even when they achieve very different performances. However, in contrast to what was previously reported, we discover that neural networks do not always perform better than their kernel approximations, and reveal that the performance gap heavily depends on architecture, dataset size and training task. We discover that networks overfit to these tasks mostly due to the evolution of their kernel during training, thus, revealing a new type of implicit bias.


title: Real-time stain-free classification of cancer cells and blood cells using interferometric phase microscopy and machine learning

abstract: We present a method for a real time visualization and automatic processing for detection and classification of untouched cancer cells in blood during stain free imaging flow cytometry using digital holographic microscopy and machine learning in throughput of 15 cells per second. As a preliminary model for circulating tumor cells in blood, we automatically classified primary and metastatic colon cancer cells, where the two types of cancer cells were isolated from the same individual, as well as four types of blood cells. We used low-coherence off-axis interferometric phase microscopy and a microfluidic channel to quantitatively image cells during flow. The acquired images were processed and classified based on their morphology and quantitative phase features during the cell flow. We achieved high accuracy of 92.56 percent for distinguishing between the cells, paving the way for future automatic label-free cancer cell classification in blood samples.


title: A Mixed-Integer Linear Programming Formulation for Human Multi-Robot Task Allocation

abstract: In this work, we address a task allocation problem for human multi-robot settings. Given a set of tasks to perform, we formulate a general Mixed-Integer Linear Programming (MILP) problem aiming at minimizing the overall execution time while optimizing the quality of the executed tasks as well as human and robotic workload. Different skills of the agents, both human and robotic, are taken into account and human operators are enabled to either directly execute tasks or play supervisory roles; moreover, multiple manipulators can tightly collaborate if required to carry out a task. Finally, as realistic in human contexts, human parameters are assumed to vary over time, e.g., due to increasing human level of fatigue. Therefore, online monitoring is required and re-allocation is performed if needed. Simulations in a realistic scenario with two manipulators and a human operator performing an assembly task validate the effectiveness of the approach.


title: Flavored Leptogenesis and Neutrino Mass with $A_4$ Symmetry

abstract: We propose a minimal $A_4$ flavor symmetric model, assisted by $Z_2 \times Z_3$ symmetry, which can naturally takes care of the appropriate lepton mixing and neutrino masses via Type-I seesaw. It turns out that the framework, originated due to a specific flavor structure, favors the normal hierarchy of light neutrinos and simultaneously narrows down the range of Dirac CP violating phase. It predicts an interesting correlation between the atmospheric mixing angle and the Dirac CP phase too. While the flavor structure indicates an exact degeneracy of the right handed neutrino masses, renormalization group running of the same from a high scale is shown to make it quasi-degenerate and a successful flavor leptogenesis takes place within the allowed parameter space obtained from neutrino phenomenology.


title: Perfect optical coherence lattices

abstract: We advance and experimentally implement a protocol to generate perfect optical coherence lattices (OCL) that are not modulated by an envelope field. Structuring the amplitude and phase of an input partially coherent beam in a Fourier plane of an imaging system lies at the heart of our protocol. In the proposed approach, the OCL node profile depends solely on the degree of coherence (DOC) of the input beam such that, in principle, any lattice structure can be attained via proper manipulations in the Fourier plane. Moreover, any genuine partially coherent source can serve as an input to our lattice generating imaging system. Our results are anticipated to find applications to optical field engineering and multi-target probing among others.


title: Classes of graphs embeddable in order-dependent surfaces

abstract: Given a function $g=g(n)$ we let ${\mathcal E}^g$ be the class of all graphs $G$ such that if $G$ has order $n$ (that is, has $n$ vertices) then it is embeddable in some surface of Euler genus at most $g(n)$, and let ${\widetilde{\mathcal E}}^g$ be the corresponding class of unlabelled graphs. We give estimates of the sizes of these classes. For example we show that if $g(n)=o(n/\log^3n)$ then the class ${\mathcal E}^{g}$ has growth constant $\gamma_{{\mathcal P}}$, the (labelled) planar graph growth constant; and when $g(n) = O(n)$ we estimate the number of n-vertex graphs in ${\mathcal E}^{g}$ and ${\widetilde{\mathcal E}}^g$ up to a factor exponential in $n$. From these estimates we see that, if ${\mathcal E}^g$ has growth constant $\gamma_{{\mathcal P}}$ then we must have $g(n)=o(n/\log n)$, and the generating functions for ${\mathcal E}^g$ and ${\widetilde{\mathcal E}}^g$ have strictly positive radius of convergence if and only if $g(n)=O(n/\log n)$. Such results also hold when we consider orientable and non-orientable surfaces separately. We also investigate related classes of graphs where we insist that, as well as the graph itself, each subgraph is appropriately embeddable (according to its number of vertices); and classes of graphs where we insist that each minor is appropriately embeddable. In a companion paper [43], these results are used to investigate random $n$-vertex graphs sampled uniformly from ${\mathcal E}^g$ or from similar classes.


title: A piecewise ellipsoidal reachable set estimation method for continuous bimodal piecewise affine systems

abstract: In this work, the issue of estimation of reachable sets in continuous bimodal piecewise affine systems is studied. A new method is proposed, in the framework of ellipsoidal bounding, using piecewise quadratic Lyapunov functions. Although bimodal piecewise affine systems can be seen as a special class of affine hybrid systems, reachability methods developed for affine hybrid systems might be inappropriately complex for bimodal dynamics. This work goes in the direction of exploiting the dynamical structure of the system to propose a simpler approach. More specifically, because of the piecewise nature of the Lyapunov function, we first derive conditions to ensure that a given quadratic function is positive on half spaces. Then, we exploit the property of bimodal piecewise quadratic functions being continuous on a given hyperplane. Finally, linear matrix characterizations of the estimate of the reachable set are derived.


title: Model-free Reinforcement Learning for Branching Markov Decision Processes

abstract: We study reinforcement learning for the optimal control of Branching Markov Decision Processes (BMDPs), a natural extension of (multitype) Branching Markov Chains (BMCs). The state of a (discrete-time) BMCs is a collection of entities of various types that, while spawning other entities, generate a payoff. In comparison with BMCs, where the evolution of a each entity of the same type follows the same probabilistic pattern, BMDPs allow an external controller to pick from a range of options. This permits us to study the best/worst behaviour of the system. We generalise model-free reinforcement learning techniques to compute an optimal control strategy of an unknown BMDP in the limit. We present results of an implementation that demonstrate the practicality of the approach.


title: Dynamic Clone Transformer for Efficient Convolutional Neural Netwoks

abstract: Convolutional networks (ConvNets) have shown impressive capability to solve various vision tasks. Nevertheless, the trade-off between performance and efficiency is still a challenge for a feasible model deployment on resource-constrained platforms. In this paper, we introduce a novel concept termed multi-path fully connected pattern (MPFC) to rethink the interdependencies of topology pattern, accuracy and efficiency for ConvNets. Inspired by MPFC, we further propose a dual-branch module named dynamic clone transformer (DCT) where one branch generates multiple replicas from inputs and another branch reforms those clones through a series of difference vectors conditional on inputs itself to produce more variants. This operation allows the self-expansion of channel-wise information in a data-driven way with little computational cost while providing sufficient learning capacity, which is a potential unit to replace computationally expensive pointwise convolution as an expansion layer in the bottleneck structure.


title: A Cluster Model for Growth of Random Trees

abstract: We first consider the growth of trees by probabilistic attachment of new vertices to leaves. This leads to a growth model based on vertex clusters and probabilities assigned to clusters. This model turns out to be readily applicable to attachment at any depth of the tree, hence the paper evolves to a general study of tree growth by cluster-based attachment. Drawing inspiration from the concept of intrinsic vertex fitness due to Bianconi and Barab\'asi, we introduce vertex mass as an additive intrinsic vertex attribute. Unlike Bianconi and Barab\'asi who used fitness as a vertex degree multiplier in the context of growth by preferential attachment, we treat vertex mass as a fundamental probabilistic construct whose additivity plays a primary role. Notably, independent mass distributions induce a distribution on the sum of such masses through Laplace convolution. In this way, clusters of vertices inherit their mass distributions from vertices within the cluster. Our main contribution is a novel theorem for the joint distribution of cluster masses, conditioned on their respective distributions. As described by Ferguson and Kingman in the context of distributions on general measures, the choice of gamma conditioning distributions leads to the Dirichlet distribution. Beyond gamma conditioning distributions, our theorem allows other choices, such as the fat-tailed stable distributions with infinite mean. We discuss L\'evy conditioning distributions as a gamma alternative, the L\'evy distribution being a notable instance of the stable family. We conclude with a theorem giving the analytic marginals of the normalised distribution conditioned on the L\'evy distribution.


title: Multi-Context Systems: Dynamics and Evolution (Pre-Print of "Multi-context systems in dynamic environments")

abstract: Multi-Context Systems (MCS) model in Computational Logic distributed systems composed of heterogeneous sources, or "contexts", interacting via special rules called "bridge rules". In this paper, we consider how to enhance flexibility and generality in bridge-rules definition and application. In particular, we introduce and discuss some formal extensions of MCSs useful for a practical use in dynamic environments, and we try to provide guidelines for implementations


title: A Data-Driven Approach for Contact Detection, Classification and Reaction in Physical Human-Robot Collaboration

abstract: This paper considers a scenario where a robot and a human operator share the same workspace, and the robot is able to both carry out autonomous tasks and physically interact with the human in order to achieve common goals. In this context, both intentional and accidental contacts between human and robot might occur due to the complexity of tasks and environment, to the uncertainty of human behavior, and to the typical lack of awareness of each other actions. Here, a two stage strategy based on Recurrent Neural Networks (RNNs) is designed to detect intentional and accidental contacts: the occurrence of a contact with the human is detected at the first stage, while the classification between intentional and accidental is performed at the second stage. An admittance control strategy or an evasive action is then performed by the robot, respectively. The approach also works in the case the robot simultaneously interacts with the human and the environment, where the interaction wrench of the latter is modeled via Gaussian Mixture Models (GMMs). Control Barrier Functions (CBFs) are included, at the control level, to guarantee the satisfaction of robot and task constraints while performing the proper interaction strategy. The approach has been validated on a real setup composed of a Kinova Jaco2 robot.


title: On the Least Common Multiple of Polynomial Sequences at Prime Arguments

abstract: Cilleruelo conjectured that if $f\in\mathbb{Z}[x]$ is an irreducible polynomial of degree $d\ge 2$ then, $\log \operatorname{lcm} \{f(n)\mid n<x\} \sim (d-1)x\log x.$ In this article, we investigate the analogue of prime arguments, namely, $\operatorname{lcm} \{f(p)\mid p<x\}$ where $p$ denotes a prime and obtain non-trivial lower bounds on it. Further, we also show some results regarding the greatest prime divisor of $f(p).$


title: Lvio-Fusion: A Self-adaptive Multi-sensor Fusion SLAM Framework Using Actor-critic Method

abstract: State estimation with sensors is essential for mobile robots. Due to different performance of sensors in different environments, how to fuse measurements of various sensors is a problem. In this paper, we propose a tightly coupled multi-sensor fusion framework, Lvio-Fusion, which fuses stereo camera, Lidar, IMU, and GPS based on the graph optimization. Especially for urban traffic scenes, we introduce a segmented global pose graph optimization with GPS and loop-closure, which can eliminate accumulated drifts. Additionally, we creatively use a actor-critic method in reinforcement learning to adaptively adjust sensors' weight. After training, actor-critic agent can provide the system better and dynamic sensors' weight. We evaluate the performance of our system on public datasets and compare it with other state-of-the-art methods, which shows that the proposed method achieves high estimation accuracy and robustness to various environments. And our implementations are open source and highly scalable.


title: Residual Networks based Distortion Classification and Ranking for Laparoscopic Image Quality Assessment

abstract: Laparoscopic images and videos are often affected by different types of distortion like noise, smoke, blur and nonuniform illumination. Automatic detection of these distortions, followed generally by application of appropriate image quality enhancement methods, is critical to avoid errors during surgery. In this context, a crucial step involves an objective assessment of the image quality, which is a two-fold problem requiring both the classification of the distortion type affecting the image and the estimation of the severity level of that distortion. Unlike existing image quality measures which focus mainly on estimating a quality score, we propose in this paper to formulate the image quality assessment task as a multi-label classification problem taking into account both the type as well as the severity level (or rank) of distortions. Here, this problem is then solved by resorting to a deep neural networks based approach. The obtained results on a laparoscopic image dataset show the efficiency of the proposed approach.