title: The Parameterized Complexity of Finding Minimum Bounded Chains

abstract: Finding the smallest $d$-chain with a specific $(d-1)$-boundary in a simplicial complex is known as the \textsc{Minimum Bounded Chain} (MBC$_d$) problem. The MBC$_d$ problem is NP-hard for all $d\geq 2$. In this paper, we prove that it is also W[1]-hard for all $d\geq 2$, if we parameterize the problem by solution size. We also give an algorithm solving the MBC$_1$ problem in polynomial time and introduce and implemented two fixed parameter tractable (FPT) algorithms solving the MBC$_d$ problem for all $d$. The first algorithm is a generalized version of Dijkstra's algorithm and is parameterized by solution size and coface degree. The second algorithm is a dynamic programming approach based on treewidth, which has the same runtime as a lower bound we prove under the exponential time hypothesis.


title: Random Rank-Based, Hierarchical or Trivial: Which Dynamic Graph Algorithm Performs Best in Practice?

abstract: Fully dynamic graph algorithms that achieve polylogarithmic or better time per operation use either a hierarchical graph decomposition or random-rank based approach. There are so far two graph properties for which efficient algorithms for both types of data structures exist, namely fully dynamic (Delta + 1) coloring and fully dynamic maximal matching. In this paper we present an extensive experimental study of these two types of algorithms for these two problems together with very simple baseline algorithms to determine which of these algorithms are the fastest. Our results indicate that the data structures used by the different algorithms dominate their performance.


title: Semi Universal relation to understand matter properties at neutron star interiors

abstract: The occurrence of quark matter at the center of neutron stars is still in debate. This study defines some semi-empirical parameters that quantify the occurrence and the amount of quark matter at star interiors. These parameters show semi-universal relations across all the EoS. One parameter depends on the shifting of the keplerian mass-radius curve from the static one and shows it is a constant across all EoS. The Z-parameter shows how tidal deformability depends on the quark content of the star and the stiffness of the EoS. The quark content of the star also affects the compactness of the star, and its dependence is almost universal. The empirical parameter gives a bound on the quark content of the star and shows that if the amount of the quark content increases, the stars are likely to collapse into a black hole. It is seen that the change in the mass and radius after PT is linearly proportional to the mass of the parent NS. Given a hadronic EoS, bag constant, and quark coupling constant, one can have a critical mass of the neutron star and the maximum mass of the hybrid star for phase transition without any baryonic mass loss.


title: Algorithm Engineering for Cut Problems

abstract: Graphs are a natural representation of data from various contexts, such as social connections, the web, road networks, and many more. In the last decades, many of these networks have become enormous, requiring efficient algorithms to cut networks into smaller, more readily comprehensible blocks. In this work, we aim to partition the vertices of a graph into multiple blocks while minimizing the number of edges that connect different blocks. There is a multitude of cut or partitioning problems that have been the focus of research for multiple decades. This work develops highly-efficient algorithms for the (global) minimum cut problem, the balanced graph partitioning problem and the multiterminal cut problem. All of these algorithms are efficient in practice and freely available for use.


title: Robust and Dexterous Dual-arm Tele-Cooperation using Adaptable Impedance Control

abstract: In recent years, the need for robots to transition from isolated industrial tasks to shared environments, including human-robot collaboration and teleoperation, has become increasingly evident. Building on the foundation of Fractal Impedance Control (FIC) introduced in our previous work, this paper presents a novel extension to dual-arm tele-cooperation, leveraging the non-linear stiffness and passivity of FIC to adapt to diverse cooperative scenarios. Unlike traditional impedance controllers, our approach ensures stability without relying on energy tanks, as demonstrated in our prior research. In this paper, we further extend the FIC framework to bimanual operations, allowing for stable and smooth switching between different dynamic tasks without gain tuning. We also introduce a telemanipulation architecture that offers higher transparency and dexterity, addressing the challenges of signal latency and low-bandwidth communication. Through extensive experiments, we validate the robustness of our method and the results confirm the advantages of the FIC approach over traditional impedance controllers, showcasing its potential for applications in planetary exploration and other scenarios requiring dexterous telemanipulation. This paper's contributions include the seamless integration of FIC into multi-arm systems, the ability to perform robust interactions in highly variable environments, and the provision of a comprehensive comparison with competing approaches, thereby significantly enhancing the robustness and adaptability of robotic systems.


title: Effective epidemic containment strategy in hypergraphs

abstract: Recently, hypergraphs have attracted considerable interest from the research community as a generalization of networks capable of encoding higher-order interactions, which commonly appear in both natural and social systems. Epidemic dynamics in hypergraphs has been studied by using the simplicial susceptible-infected-susceptible ($s$-SIS) model; however, the efficient immunization strategy for epidemics in hypergraphs is not studied despite the importance of the topic in mathematical epidemiology. Here, we propose an immunization strategy that immunizes hyperedges with high simultaneous infection probability (SIP). This strategy can be implemented in general hypergraphs. We also generalize the edge epidemic importance (EI)-based immunization strategy, which is the state of the art in complex networks. However, it does not perform as well as the SIP-based method in hypergraphs despite its high computational cost. We also show that immunizing hyperedges with high H-eigenscore effectively contains the epidemics in uniform hypergraphs. A high SIP of a hyperedge suggests that the hyperedge is a "hotspot" of the epidemic process. Therefore, SIP can be used as a centrality measure to quantify a hyperedge's influence on higher-order dynamics in general hypergraphs. The effectiveness of the immunization strategies suggests the necessity of scientific, data-driven, systematic policy-making for epidemic containment.


title: Curvature properties of Riemannian manifolds with skew-circulant structures

abstract: We consider a 4-dimensional Riemannian manifold M endowed with a right skew-circulant tensor structure S, which is an isometry with respect to the metric g and the fourth power of S is minus identity. We determine a class of manifolds (M, g, S), whose curvature tensors are invariant under S. For such manifolds we obtain properties of the Ricci tensor. Also we get expressions of the sectional curvatures of some special 2-planes in a tangent space of (M, g, S).


title: Impact of lepton $p_{T}$ threshold on the charge asymmetry predictions for the inclusive $W$ boson production in $pp$ collisions at 13 TeV

abstract: This paper presents the impact of lepton transverse momentum $p^{l}_{T}$ threshold on the $W$ boson charge asymmetry predictions in perturbative QCD for the inclusive $W^{\pm}+X \rightarrow l^{\pm} \nu +X$ production in proton-proton ($pp$) collisions. The predictions are obtained with various low-$p^{l}_{T}$ thresholds $p^{l}_{T} >$ 20, 25, 30, and 40 GeV in a fiducial region encompassing both central and forward detector acceptances in terms of the lepton pseudorapidty 0 $\leq \eta_{l} \leq$ 4.5. The predicted distributions for the lepton charge asymmetry, which is defined by means of the $\eta_{l}$ ($A_{\eta_{l}}$), at next-to-next-to-leading order (NNLO) accuracy are compared with the CMS and LHCb data at 8 TeV center-of-mass collision energy. The 8 TeV predictions are observed to reproduce the data fairly well within the quoted uncertainties. The 13 TeV predictions by using various $p^{l}_{T}$ thresholds are reported for the $A_{\eta_{l}}$ and also the charge asymmetries that are defined in terms of the differential cross sections in bins of the $W$ boson rapidity $y_{W}$ ($A_{y_{W}}$) and transverse momentum $p^{W}_{T}$ ($A_{p^{W}_{T}}$). The NNLO predictions for the $A_{\eta_{l}}$, $A_{y_{W}}$, and $A_{p^{W}_{T}}$ distributions are assessed to be in close correlation with the $p^{l}_{T}$ value. The $A_{\eta_{l}}$ and $A_{y_{W}}$ distributions are particularly shown to be more correlated at a higher $p^{l}_{T}$ threshold. The $A_{p^{W}_{T}}$ distributions are also reported from the merged predictions with improved accuracy by the inclusion of next-to-next-to-next-to-leading logarithm (N$^{3}$LL) corrections, i.e., at NNLO+N$^{3}$LL. The predicted distributions from various $p^{l}_{T}$ thresholds represent also a finer probe to provide more constraints on the ratio of $u$ and $d$ quark distribution functions in the parton momentum fraction range $10^{-4} < x < 1$.


title: Polarisation optics for biomedical and clinical applications: a review

abstract: Many polarisation techniques have been harnessed for decades in biological and clinical research, each based upon measurement of the vectorial properties of light or the vectorial transformations imposed on light by objects. Various advanced vector measurement/sensing techniques, physical interpretation methods, and approaches to analyse biomedically relevant information have been developed and harnessed. In this review, we focus mainly on summarizing methodologies and applications related to tissue polarimetry, with an emphasis on the adoption of the Stokes-Mueller formalism. Several recent breakthroughs, development trends, and potential multi-modal uses in conjunction with other techniques are also presented. The primary goal of the review is to give the reader a general overview in the use of vectorial information that can be obtained by polarisation optics for applications in biomedical and clinical research.


title: A Note on Squares in Binary Words

abstract: We consider words over a binary alphabet. A word $w$ is overlap-free if it does not have factors (blocks of consecutive letters) of the form $uvuvu$ for nonempty $u$. Let $M(w)$ denote the number of positions that are middle positions of squares in $w$. We show that for overlap-free binary words, $2M(w) \le |w|+3$, and that there are infinitely many overlap-free binary words for which $2M(w)=|w|+3$.


title: Probing the Local Dielectric Function by Near Field Optical Microscopy Operating in the Visible Spectral Range

abstract: The optoelectronic properties of nanoscale systems such as carbon nanotubes (CNTs), graphene nanoribbons and transition metal dichalcogenides (TMDCs) are determined by their dielectric function. This complex, frequency dependent function is affected by excitonic resonances, charge transfer effects, doping, sample stress and strain, and surface roughness. Knowledge of the dielectric function grants access to a material's transmissive and absorptive characteristics. Here we introduce the dual scanning near field optical microscope (dual s-SNOM) for imaging local dielectric variations and extracting dielectric function values using a mathematical inversion method. To demonstrate our approach, we studied a monolayer of WS$_2$ on bulk Au and identified two areas with differing levels of charge transfer. Our measurements are corroborated by atomic force microscopy (AFM), Kelvin force probe microscopy (KPFM), photoluminescence (PL) intensity mapping, and tip enhanced photoluminescence (TEPL). We extracted local dielectric variations from s-SNOM images and confirmed the reliability of the obtained values with spectroscopic imaging ellipsometry (SIE) measurements.


title: The correlation function of a two-dimensional electron gas with anharmonic potential and Rashba coupling

abstract: In this paper, we study a two-dimensional gas of electrons with Rashba spin-orbit coupling with anharmonic potential. The splitting of the Hamiltonian in two parts can be recovering the Jaynes-Cummings model, which describes a system with two states. The dynamics of the rising Pauli operator and the creation operators are studied. Finally, we examined the behavior of the correlation function of emission and absorption photons for the strong and weak coupling.


title: One Glitch to Rule Them All: Fault Injection Attacks Against AMD's Secure Encrypted Virtualization

abstract: AMD Secure Encrypted Virtualization (SEV) offers protection mechanisms for virtual machines in untrusted environments through memory and register encryption. To separate security-sensitive operations from software executing on the main x86 cores, SEV leverages the AMD Secure Processor (AMD-SP). This paper introduces a new approach to attack SEV-protected virtual machines (VMs) by targeting the AMD-SP. We present a voltage glitching attack that allows an attacker to execute custom payloads on the AMD-SPs of all microarchitectures that support SEV currently on the market (Zen 1, Zen 2, and Zen 3). The presented methods allow us to deploy a custom SEV firmware on the AMD-SP, which enables an adversary to decrypt a VM's memory. Furthermore, using our approach, we can extract endorsement keys of SEV-enabled CPUs, which allows us to fake attestation reports or to pose as a valid target for VM migration without requiring physical access to the target host. Moreover, we reverse-engineered the Versioned Chip Endorsement Key (VCEK) mechanism introduced with SEV Secure Nested Paging (SEV-SNP). The VCEK binds the endorsement keys to the firmware version of TCB components relevant for SEV. Building on the ability to extract the endorsement keys, we show how to derive valid VCEKs for arbitrary firmware versions. With our findings, we prove that SEV cannot adequately protect confidential data in cloud environments from insider attackers, such as rogue administrators, on currently available CPUs.


title: Keep Your Stakeholders Engaged: Interactive Vision Videos in Requirements Engineering

abstract: One of the most important issues in requirements engineering (RE) is the alignment of stakeholders' mental models. Making sure that all stakeholders share the same vision of a changing system is crucial to the success of any project. Misaligned mental models of stakeholders can lead to conflicting requirements. A promising approach to this problem is the use of video showing a system vision, so-called vision videos, which help stakeholders to disclose, discuss, and align their mental models of the future system. However, videos have the drawback of allowing viewers to adopt a passive role, as has been shown in research on e-learning. In this role, viewers tend to be inactive, unfocused and bored while watching a video. In this paper, we learn and adopt findings from scientific literature in the field of e-learning on how to mitigate this passive role while watching vision videos in requirements engineering. In this way, we developed concepts that incorporate interactive elements into vision videos to help viewers stay focused. These elements include questions that are asked during the video and ways for viewers to decide what happens next in the video. In a preliminary evaluation with twelve participants, we found statistically significant differences when comparing the interactive vision videos with their traditional form. Using an interactive vision videos, viewers are noticeably more engaged and gather more information on the shown system.


title: An Open Framework for Analyzing and Modeling XR Network Traffic

abstract: Thanks to recent advancements in the technology, eXtended Reality (XR) applications are gaining a lot of momentum, and they will surely become increasingly popular in the next decade. These new applications, however, require a step forward also in terms of models to simulate and analyze this type of traffic sources in modern communication networks, in order to guarantee to the users state of the art performance and Quality of Experience (QoE). Recognizing this need, in this work, we present a novel open-source traffic model, which researchers can use as a starting point both for improvements of the model itself and for the design of optimized algorithms for the transmission of these peculiar data flows. Along with the mathematical model and the code, we also share with the community the traces that we gathered for our study, collected from freely available applications such as Minecraft VR, Google Earth VR, and Virus Popper. Finally, we propose a roadmap for the construction of an end-to-end framework that fills this gap in the current state of the art.


title: Data Driven VRP: A Neural Network Model to Learn Hidden Preferences for VRP

abstract: The traditional Capacitated Vehicle Routing Problem (CVRP) minimizes the total distance of the routes under the capacity constraints of the vehicles. But more often, the objective involves multiple criteria including not only the total distance of the tour but also other factors such as travel costs, travel time, and fuel consumption.Moreover, in reality, there are numerous implicit preferences ingrained in the minds of the route planners and the drivers. Drivers, for instance, have familiarity with certain neighborhoods and knowledge of the state of roads, and often consider the best places for rest and lunch breaks. This knowledge is difficult to formulate and balance when operational routing decisions have to be made. This motivates us to learn the implicit preferences from past solutions and to incorporate these learned preferences in the optimization process. These preferences are in the form of arc probabilities, i.e., the more preferred a route is, the higher is the joint probability. The novelty of this work is the use of a neural network model to estimate the arc probabilities, which allows for additional features and automatic parameter estimation. This first requires identifying suitable features, neural architectures and loss functions, taking into account that there is typically few data available. We investigate the difference with a prior weighted Markov counting approach, and study the applicability of neural networks in this setting.


title: The Impact of Subspace-Based Pilot Decontamination in User-Centric Scalable Cell-Free Wireless Networks

abstract: We consider a scalable user-centric wireless network with dynamic cluster formation as defined by Bj\"ornsson and Sanguinetti. Several options for scalable uplink (UL) processing are examined including: i) cluster size and SNR threshold criterion for cluster formation; ii) UL pilot dimension; iii) local detection and global (per cluster) combining. We use a simple model for the channel vector spatial correlation, which captures the fact that the propagation between UEs and RRHs is not isotropic. In particular, we define the ideal performance based on ideal but partial CSI, i.e., the CSI that can be estimated based on the users to antenna heads cluster connectivity. In practice, CSI is estimated from UL pilots, and therefore it is affected by noise and pilot contamination. We show that a very simple subspace projection scheme is able to basically attain the same performance of perfect but partial CSI. This points out that the essential information needed to pilot decontamination reduces effectively to the dominant channel subspaces.


title: A 3D-Schroedinger operator under magnetic steps with semiclassical applications

abstract: We define a Schr\"odinger operator on the half-space with a discontinuous magnetic field having a piecewise-constant strength and a uniform direction. Motivated by applications in the theory of superconductivity, we study the infimum of the spectrum of the operator. We give sufficient conditions on the strength and the direction of the magnetic field such that the aforementioned infimum is an eigenvalue of a reduced model operator on the half-plane. We use the Schr\"odinger operator on the half-space to study a new semiclassical problem in bounded domains of the space, considering a magnetic Neumann Laplacian with a piecewise-constant magnetic field. We then make precise the localization of the semiclassical ground state near specific points at the discontinuity jump of the magnetic field.


title: The special concave toric domain for the rotating Kepler problem

abstract: In this paper, I am going to introduce a bounded component of the rotating Kepler problem for the critical energy value $-\dfrac{3}{2}$ after combination of the Ligon-Schaaf regularization and the Levi- Civita regularization. This is one of my Ph.D. results. The result first time proved in my thesis and I use the results to compute the several ECH capacities for the RKP. In the paper [1], you can see the final results and new methods for ECH capacities computation.


title: Against Cumulative Type Theory

abstract: Standard Type Theory, STT, tells us that $b^n(a^m)$ is well-formed iff $n=m+1$. However, Linnebo and Rayo (2012) have advocated for the use of Cumulative Type Theory, CTT, which has more relaxed type-restrictions: according to CTT, $b^\beta(a^\alpha)$ is well-formed iff $\beta > \alpha$. In this paper, we set ourselves against CTT. We begin our case by arguing against Linnebo & Rayo's claim that CTT sheds new philosophical light on set theory. We then argue that, while CTT's type-restrictions are unjustifiable, the type-restrictions imposed by STT are justified by a Fregean semantics. What is more, this Fregean semantics provides us with a principled way to resist Linnebo & Rayo's Semantic Argument for CTT. We end by examining an alternative approach to cumulative types due to Florio & Jones (2021); we argue that their theory is best seen as a misleadingly formulated version of STT.


title: Optimal control of martingales in a radially symmetric environment

abstract: We study a stochastic control problem for continuous multidimensional martingales with fixed quadratic variation. In a radially symmetric environment, we are able to find an explicit solution to the control problem and find an optimal strategy. We show that it is optimal to switch between two strategies, depending only on the radius of the controlled process. The optimal strategies correspond to purely radial and purely tangential motion. It is notable that the value function exhibits smooth fit even when switching to tangential motion, where the radius of the optimal process is deterministic. Under sufficient regularity on the cost function, we prove optimality via viscosity solutions of a Hamilton-Jacobi-Bellman equation. We extend the results to cost functions that may become infinite at the origin. Extra care is required to solve the control problem in this case, since it is not clear how to define the optimal strategy with deterministic radius at the origin. Our results generalise some problems recently considered in Stochastic Portfolio Theory and Martingale Optimal Transport.


title: UniNet: A Unified Scene Understanding Network and Exploring Multi-Task Relationships through the Lens of Adversarial Attacks

abstract: Scene understanding is crucial for autonomous systems which intend to operate in the real world. Single task vision networks extract information only based on some aspects of the scene. In multi-task learning (MTL), on the other hand, these single tasks are jointly learned, thereby providing an opportunity for tasks to share information and obtain a more comprehensive understanding. To this end, we develop UniNet, a unified scene understanding network that accurately and efficiently infers vital vision tasks including object detection, semantic segmentation, instance segmentation, monocular depth estimation, and monocular instance depth prediction. As these tasks look at different semantic and geometric information, they can either complement or conflict with each other. Therefore, understanding inter-task relationships can provide useful cues to enable complementary information sharing. We evaluate the task relationships in UniNet through the lens of adversarial attacks based on the notion that they can exploit learned biases and task interactions in the neural network. Extensive experiments on the Cityscapes dataset, using untargeted and targeted attacks reveal that semantic tasks strongly interact amongst themselves, and the same holds for geometric tasks. Additionally, we show that the relationship between semantic and geometric tasks is asymmetric and their interaction becomes weaker as we move towards higher-level representations.


title: Recurrent Neural Network-based Internal Model Control design for stable nonlinear systems

abstract: Owing to their superior modeling capabilities, gated Recurrent Neural Networks, such as Gated Recurrent Units (GRUs) and Long Short-Term Memory networks (LSTMs), have become popular tools for learning dynamical systems. This paper aims to discuss how these networks can be adopted for the synthesis of Internal Model Control (IMC) architectures. To this end, first a gated recurrent network is used to learn a model of the unknown input-output stable plant. Then, a controller gated recurrent network is trained to approximate the model inverse. The stability of these networks, ensured by means of a suitable training procedure, allows to guarantee the input-output closed-loop stability. The proposed scheme is able to cope with the saturation of the control variables, and can be deployed on low-power embedded controllers, as it requires limited online computations. The approach is then tested on the Quadruple Tank benchmark system and compared to alternative control laws, resulting in remarkable closed-loop performances.


title: Grassland: A Rapid Algebraic Modeling System for Million-variable Optimization

abstract: An algebraic modeling system (AMS) is a type of mathematical software for optimization problems, which allows users to define symbolic mathematical models in a specific language, instantiate them with given source of data, and solve them with the aid of external solver engines. With the bursting scale of business models and increasing need for timeliness, traditional AMSs are not sufficient to meet the following industry needs: 1) million-variable models need to be instantiated from raw data very efficiently; 2) Strictly feasible solution of million-variable models need to be delivered in a rapid manner to make up-to-date decisions against highly dynamic environments. Grassland is a rapid AMS that provides an end-to-end solution to tackle these emerged new challenges. It integrates a parallelized instantiation scheme for large-scale linear constraints, and a sequential decomposition method that accelerates model solving exponentially with an acceptable loss of optimality. Extensive benchmarks on both classical models and real enterprise scenario demonstrate 6 ~ 10x speedup of Grassland over state-of-the-art solutions on model instantiation. Our proposed system has been deployed in the large-scale real production planning scenario of Huawei. With the aid of our decomposition method, Grassland successfully accelerated Huawei's million-variable production planning simulation pipeline from hours to 3 ~ 5 minutes, supporting near-real-time production plan decision making against highly dynamic supply-demand environment.


title: On Learning and Testing Decision Tree

abstract: In this paper, we study learning and testing decision tree of size and depth that are significantly smaller than the number of attributes $n$. Our main result addresses the problem of poly$(n,1/\epsilon)$ time algorithms with poly$(s,1/\epsilon)$ query complexity (independent of $n$) that distinguish between functions that are decision trees of size $s$ from functions that are $\epsilon$-far from any decision tree of size $\phi(s,1/\epsilon)$, for some function $\phi > s$. The best known result is the recent one that follows from Blank, Lange and Tan,~\cite{BlancLT20}, that gives $\phi(s,1/\epsilon)=2^{O((\log^3s)/\epsilon^3)}$. In this paper, we give a new algorithm that achieves $\phi(s,1/\epsilon)=2^{O(\log^2 (s/\epsilon))}$. Moreover, we study the testability of depth-$d$ decision tree and give a {\it distribution free} tester that distinguishes between depth-$d$ decision tree and functions that are $\epsilon$-far from depth-$d^2$ decision tree. In particular, for decision trees of size $s$, the above result holds in the distribution-free model when the tree depth is $O(\log(s/\epsilon))$. We also give other new results in learning and testing of size-$s$ decision trees and depth-$d$ decision trees that follow from results in the literature and some results we prove in this paper.


title: Distinguishing classes of intersection graphs of homothets or similarities of two convex disks

abstract: For smooth convex disks $A$, i.e., convex compact subsets of the plane with non-empty interior, we classify the classes $G^{\text{hom}}(A)$ and $G^{\text{sim}}(A)$ of intersection graphs that can be obtained from homothets and similarities of $A$, respectively. Namely, we prove that $G^{\text{hom}}(A)=G^{\text{hom}}(B)$ if and only if $A$ and $B$ are affine equivalent, and $G^{\text{sim}}(A)=G^{\text{sim}}(B)$ if and only if $A$ and $B$ are similar.


title: The dielectric response of rock-salt crystals at finite temperatures from first principles

abstract: We combine ab initio simulations and Raman scattering measurements to demonstrate explicit anharmonic effects in the temperature dependent dielectric response of a NaCl single crystal. We measure the temperature evolution of its Raman spectrum and compare it to both a quasi-harmonic and anharmonic model. Results demonstrate the necessity of including anharmonic lattice dynamics to explain the dielectric response of NaCl, as it is manifested in Raman scattering. Our model fully captures the linear dielectric response of a crystal at finite temperatures and may therefore be used to calculate the temperature dependence of other material properties governed by it.


title: Parallel Computation of Combinatorial Symmetries

abstract: In practice symmetries of combinatorial structures are computed by transforming the structure into an annotated graph whose automorphisms correspond exactly to the desired symmetries. An automorphism solver is then employed to compute the automorphism group of the constructed graph. Such solvers have been developed for over 50 years, and highly efficient sequential, single core tools are available. However no competitive parallel tools are available for the task. We introduce a new parallel randomized algorithm that is based on a modification of the individualization-refinement paradigm used by sequential solvers. The use of randomization crucially enables parallelization. We report extensive benchmark results that show that our solver is competitive to state-of-the-art solvers on a single thread, while scaling remarkably well with the use of more threads. This results in order-of-magnitude improvements on many graph classes over state-of-the-art solvers. In fact, our tool is the first parallel graph automorphism tool that outperforms current sequential tools.


title: Event-Triggered State Estimation with Multiple Noisy Sensor Nodes

abstract: General nonlinear continuous-time systems are considered for which its state is estimated via a packet-based communication network. We assume that the system has multiple sensor nodes, affected by measurement noise, which can transmit at discrete (non-equidistant) points in time. Moreover, each node can transmit asynchronously. For this setup, we develop a state estimation framework, where the transmission instances of the individual sensor nodes can be generated in either time-triggered or event-triggered fashions. In the latter case, we guarantee the absence of Zeno behavior by construction. It is shown that, under the provided design conditions, an input-to-state stability property is obtained for the estimation error with respect to the measurement noise and process disturbances and that the state is thus reconstructed asymptotically in the absence of noise. A numerical case study shows the strengths of the developed framework.


title: Renormalized Index Formulas for Elliptic Differential Operators on Boundary Groupoids

abstract: We consider the index problem of certain boundary groupoids of the form $\mathcal{G} = M _0 \times M _0 \cup \mathbb{R}^q \times M _1 \times M _1$. Since it has been shown that for the case that $q \geq 3$ is odd, $K _0 (C^* (\mathcal{G})) \cong \bbZ $, and moreover the $K$-theoretic index coincides with the Fredholm index, we attempt in this paper to derive a numerical formula for elliptic differential operators on $\mathcal{G}$. Our approach is similar to that of renormalized trace of Moroianu and Nistor \cite{Nistor;Hom2}. However, we find that when $q \geq 3$, the eta term vanishes, and hence the $K$-theoretic and Fredholm indices of elliptic (respectively fully elliptic) pseudo-differential operators on these groupoids are given only by the Atiyah-Singer term. As for the $q=1$ case we find that the result depends on how the singularity set $M_1$ lies in $M$.


title: Convective heat transport in slender cells is close to that in wider cells at high Rayleigh and Prandtl numbers

abstract: Direct numerical simulations of turbulent convection at high Rayleigh numbers in large aspect ratio cells are challenging because of the prohibitive computational resources required. One can achieve high Rayleigh numbers at affordable costs for low aspect ratios, but the effect of small aspect ratio remains to be understood fully. In this work, we explore integral quantities in convection in a cell with the small aspect ratio of 0.1 by varying both the Rayleigh and Prandtl numbers systematically. We find that the heat transport in this flow is within 10\% of that in cells with large aspect ratios for high enough Rayleigh numbers and for Prandtl numbers larger than unity. For low Prandtl numbers, the increase of the heat transport is steeper for low aspect ratios, approaching that in large aspect ratios as the Prandtl number increases. Further, the global momentum transport, quantified by the Reynolds number, is reduced for all Prandtl numbers, presumably because of the larger volume of flow affected by the friction from sidewalls, compared to that in cells of larger aspect ratio.


title: On Convexity of Charged Operators in CFTs and the Weak Gravity Conjecture

abstract: The Weak Gravity Conjecture is typically stated as a bound on the mass-to-charge ratio of a particle in the theory. Alternatively, it has been proposed that its natural formulation is in terms of the existence of a particle which is self-repulsive under all long-range forces. We propose a closely related, but distinct, formulation, which is that it should correspond to a particle with non-negative self-binding energy. This formulation is particularly interesting in anti-de Sitter space, because it has a simple conformal field theory (CFT) dual formulation: let $\Delta(q)$ be the dimension of the lowest-dimension operator with charge $q$ under some global $U(1)$ symmetry, then $\Delta(q)$ must be a convex function of $q$. This formulation avoids any reference to holographic dual forces or even to locality in spacetime, and so we make a wild leap, and conjecture that such convexity of the spectrum of charges holds for any (unitary) conformal field theory, not just those that have weakly coupled and weakly curved duals. This Charge Convexity Conjecture, and its natural generalization to larger global symmetry groups, can be tested in various examples where anomalous dimensions can be computed, by perturbation theory, $1/N$ expansions and semi-classical methods. In all examples that we tested we find that the conjecture holds. We do not yet understand from the CFT point of view why this is true.


title: Label-informed Graph Structure Learning for Node Classification

abstract: Graph Neural Networks (GNNs) have achieved great success among various domains. Nevertheless, most GNN methods are sensitive to the quality of graph structures. To tackle this problem, some studies exploit different graph structure learning strategies to refine the original graph structure. However, these methods only consider feature information while ignoring available label information. In this paper, we propose a novel label-informed graph structure learning framework which incorporates label information explicitly through a class transition matrix. We conduct extensive experiments on seven node classification benchmark datasets and the results show that our method outperforms or matches the state-of-the-art baselines.


title: $n$-Exact categories arising from $(n+2)$-angulated categories

abstract: Let $\mathscr{F}$ be an $(n+2)$-angulated Krull-Schmidt category and $\mathscr{A} \subset \mathscr{F}$ an $n$-extension closed, additive and full subcategory with $\operatorname{Hom}_{\mathscr{F}}(\Sigma_n \mathscr{A}, \mathscr{A}) = 0$. Then $\mathscr{A}$ naturally carries the structure of an $n$-exact category in the sense of Jasso, arising from short $(n+2)$-angles in $\mathscr{F}$ with objects in $\mathscr{A}$ and there is a binatural and bilinear isomorphism $\operatorname{YExt}^{n}_{(\mathscr{A},\mathscr{E}_{\mathscr{A}})}(A_{n+1},A_0) \cong \operatorname{Hom}_{\mathscr{F}}(A_{n+1}, \Sigma_n A_{0})$ for $A_0, A_{n+1} \in \mathscr{A}$. For $n = 1$ this has been shown by Dyer and we generalize this result to the case $n > 1$. On the journey to this result, we also develop a technique for harvesting information from the higher octahedral axiom (N4*) as defined by Bergh and Thaule. Additionally, we show that the axiom (F3) for pre-$(n+2)$-angulated categories, introduced by Geiss, Keller and Oppermann and stating that a commutative square can be extended to a morphism of $(n+2)$-angles, implies a stronger version of itself.


title: \Gamma-convergence of Onsager-Machlup functionals. Part I: With applications to maximum a posteriori estimation in Bayesian inverse problems

abstract: The Bayesian solution to a statistical inverse problem can be summarised by a mode of the posterior distribution, i.e. a MAP estimator. The MAP estimator essentially coincides with the (regularised) variational solution to the inverse problem, seen as minimisation of the Onsager-Machlup functional of the posterior measure. An open problem in the stability analysis of inverse problems is to establish a relationship between the convergence properties of solutions obtained by the variational approach and by the Bayesian approach. To address this problem, we propose a general convergence theory for modes that is based on the $\Gamma$-convergence of Onsager-Machlup functionals, and apply this theory to Bayesian inverse problems with Gaussian and edge-preserving Besov priors. Part II of this paper considers more general prior distributions.


title: \Gamma-convergence of Onsager-Machlup functionals. Part II: Infinite product measures on Banach spaces

abstract: We derive Onsager-Machlup functionals for countable product measures on weighted $\ell^p$ subspaces of the sequence space $\mathbb{R}^{\mathbb{N}}$. Each measure in the product is a shifted and scaled copy of a reference probability measure on $\mathbb{R}$ that admits a sufficiently regular Lebesgue density. We study the equicoercivity and $\Gamma$-convergence of sequences of Onsager-Machlup functionals associated to convergent sequences of measures within this class. We use these results to establish analogous results for probability measures on separable Banach or Hilbert spaces, including Gaussian, Cauchy, and Besov measures with summability parameter $1 \leq p \leq 2$. Together with Part I of this paper, this provides a basis for analysis of the convergence of maximum a posteriori estimators in Bayesian inverse problems and most likely paths in transition path theory.


title: Local equivalence of some maximally symmetric $(2,3,5)$-distributions

abstract: Using a complex parametrisation of $su(2)$, we show a change of coordinates that maps the maximally symmetric rolling $(2,3,5)$-distribution to the flat Cartan distribution. This establishes the local equivalence between the maximally symmetric rolling model and the flat Cartan or Hilbert-Cartan distribution. For the maximally symmetric rolling distribution, we write down the vector fields that bracket-generate to give the split real form of the Lie algebra of $\frak{g}_2$, with two of the vector fields in the bracket-generating set given by the span of the rolling distribution.


title: Util::Lookup: Exploiting key decoding in cryptographic libraries

abstract: Implementations of cryptographic libraries have been scrutinized for secret-dependent execution behavior exploitable by microarchitectural side-channel attacks. To prevent unintended leakages, most libraries moved to constant-time implementations of cryptographic primitives. There have also been efforts to certify libraries for use in sensitive areas, like Microsoft CNG and Botan, with specific attention to leakage behavior. In this work, we show that a common oversight in these libraries is the existence of \emph{utility functions}, which handle and thus possibly leak confidential information. We analyze the exploitability of base64 decoding functions across several widely used cryptographic libraries. Base64 decoding is used when loading keys stored in PEM format. We show that these functions by themselves leak sufficient information even if libraries are executed in trusted execution environments. In fact, we show that recent countermeasures to transient execution attacks such as LVI \emph{ease} the exploitability of the observed faint leakages, allowing us to robustly infer sufficient information about RSA private keys \emph{with a single trace}. We present a complete attack, including a broad library analysis, a high-resolution last level cache attack on SGX enclaves, and a fully parallelized implementation of the extend-and-prune approach that allows a complete key recovery at medium costs.


title: Cellular-Connected UAV with Adaptive Air-to-Ground Interference Cancellation and Trajectory Optimization

abstract: This letter studies a cellular-connected unmanned aerial vehicle (UAV) scenario, in which a UAV user communicates with ground base stations (GBSs) in cellular uplink by sharing the spectrum with ground users (GUs). To deal with the severe air-to-ground (A2G) co-channel interference, we consider an adaptive interference cancellation (IC) approach, in which each GBS can decode the GU's messages by adaptively switching between the modes of IC (i.e., precanceling the UAV's resultant interference) and treating interference as noise (TIN). By designing the GBSs' decoding modes, jointly with the wireless resource allocation and the UAV's trajectory control, we maximize the UAV's data-rate throughput over a finite mission period, while ensuring the minimum data-rate requirements at individual GUs. We propose an efficient algorithm to solve the throughput maximization problem by using the techniques of alternating optimization and successive convex approximation (SCA). Numerical results show that our proposed design significantly improves the UAV's throughput as compared to the benchmark schemes without the adaptive IC and/or trajectory optimization.


title: Joint Multi-Object Detection and Tracking with Camera-LiDAR Fusion for Autonomous Driving

abstract: Multi-object tracking (MOT) with camera-LiDAR fusion demands accurate results of object detection, affinity computation and data association in real time. This paper presents an efficient multi-modal MOT framework with online joint detection and tracking schemes and robust data association for autonomous driving applications. The novelty of this work includes: (1) development of an end-to-end deep neural network for joint object detection and correlation using 2D and 3D measurements; (2) development of a robust affinity computation module to compute occlusion-aware appearance and motion affinities in 3D space; (3) development of a comprehensive data association module for joint optimization among detection confidences, affinities and start-end probabilities. The experiment results on the KITTI tracking benchmark demonstrate the superior performance of the proposed method in terms of both tracking accuracy and processing speed.


title: Relation-aware Compositional Zero-shot Learning for Attribute-Object Pair Recognition

abstract: This paper proposes a novel model for recognizing images with composite attribute-object concepts, notably for composite concepts that are unseen during model training. We aim to explore the three key properties required by the task --- relation-aware, consistent, and decoupled --- to learn rich and robust features for primitive concepts that compose attribute-object pairs. To this end, we propose the Blocked Message Passing Network (BMP-Net). The model consists of two modules. The concept module generates semantically meaningful features for primitive concepts, whereas the visual module extracts visual features for attributes and objects from input images. A message passing mechanism is used in the concept module to capture the relations between primitive concepts. Furthermore, to prevent the model from being biased towards seen composite concepts and reduce the entanglement between attributes and objects, we propose a blocking mechanism that equalizes the information available to the model for both seen and unseen concepts. Extensive experiments and ablation studies on two benchmarks show the efficacy of the proposed model.


title: Stochastic Games with Disjunctions of Multiple Objectives (Technical Report)

abstract: Stochastic games combine controllable and adversarial non-determinism with stochastic behavior and are a common tool in control, verification and synthesis of reactive systems facing uncertainty. Multi-objective stochastic games are natural in situations where several - possibly conflicting - performance criteria like time and energy consumption are relevant. Such conjunctive combinations are the most studied multi-objective setting in the literature. In this paper, we consider the dual disjunctive problem. More concretely, we study turn-based stochastic two-player games on graphs where the winning condition is to guarantee at least one reachability or safety objective from a given set of alternatives. We present a fine-grained overview of strategy and computational complexity of such \emph{disjunctive queries} (DQs) and provide new lower and upper bounds for several variants of the problem, significantly extending previous works. We also propose a novel value iteration-style algorithm for approximating the set of Pareto optimal thresholds for a given DQ.


title: A Novel Markovian Framework for Integrating Absolute and Relative Ordinal Emotion Information

abstract: There is growing interest in affective computing for the representation and prediction of emotions along ordinal scales. However, the term ordinal emotion label has been used to refer to both absolute notions such as low or high arousal, as well as relation notions such as arousal is higher at one instance compared to another. In this paper, we introduce the terminology absolute and relative ordinal labels to make this distinction clear and investigate both with a view to integrate them and exploit their complementary nature. We propose a Markovian framework referred to as Dynamic Ordinal Markov Model (DOMM) that makes use of both absolute and relative ordinal information, to improve speech based ordinal emotion prediction. Finally, the proposed framework is validated on two speech corpora commonly used in affective computing, the RECOLA and the IEMOCAP databases, across a range of system configurations. The results consistently indicate that integrating relative ordinal information improves absolute ordinal emotion prediction.


title: Simulating dense granular suspension rheology using LAMMPS

abstract: Dense suspensions are widespread in nature, manufacturing and process engineering. Particle-based simulations have proven to be an invaluable complement to experimental rheological characterisation, serving as a virtual rheometer that enables rapid exploration of parameter space and detailed scrutiny of microscopic dynamics. To maximise the utility of such simulations, it can be advantageous to exploit pre-existing, well-optimised, well-documented codes. Here we provide a simple description of how to use LAMMPS to study the rheology of dense, granular suspensions.


title: Fully Hyperbolic Graph Convolution Network for Recommendation

abstract: Recently, Graph Convolution Network (GCN) based methods have achieved outstanding performance for recommendation. These methods embed users and items in Euclidean space, and perform graph convolution on user-item interaction graphs. However, real-world datasets usually exhibit tree-like hierarchical structures, which make Euclidean space less effective in capturing user-item relationship. In contrast, hyperbolic space, as a continuous analogue of a tree-graph, provides a promising alternative. In this paper, we propose a fully hyperbolic GCN model for recommendation, where all operations are performed in hyperbolic space. Utilizing the advantage of hyperbolic space, our method is able to embed users/items with less distortion and capture user-item interaction relationship more accurately. Extensive experiments on public benchmark datasets show that our method outperforms both Euclidean and hyperbolic counterparts and requires far lower embedding dimensionality to achieve comparable performance.


title: Numerical simulation of hydraulic fracturing: a hybrid FEM based algorithm

abstract: In this paper a problem of numerical simulation of hydraulic fractures is considered. An efficient algorithm of solution is proposed for the plain strain model of hydraulic fracturing. The algorithm utilizes a FEM based subroutine to compute deformation of the fractured material. The flow of generalized Newtonian fluid in the fracture is modelled in the framework of lubrication theory. In this way, the architecture of the computational scheme is relatively simple and enables one to deal with advanced cases of the fractured material properties and configurations as well as various rheological models of fluid. In particular, the problems of poroelasticity, plasticity and spatially varying properties of the fractured material can be analyzed. The accuracy and efficiency of the proposed algorithm are verified against analytical benchmark solutions. The algorithm capabilities are demonstrated using the example of the hydraulic fracture propagating in complex geological settings.


title: Composition Sensitivity (for the Cosmic Ray Anisotropy with SWGO)

abstract: A number of cosmic-ray observatories have measured a change in both phase and amplitude of the dipole component in the distribution of cosmic-ray arrival directions above a primary energy of 100 TeV. We focus on probing the cosmic-ray dipole and multipole evolution in the energy region of mutli TeV to beyond PeV with a future large-area gamma-ray observatory, such as the Southern Wide-field Gamma-ray Observatory (SWGO). The ability to discriminate between different mass groups is essential to understand the origin of this evolution. Through a consideration of the energy and mass resolution for cosmic-ray detection by such an observatory, we estimate its separation power for decomposing the full-particle anisotropy into mass groups. In particular, we explore the feasibility of probing the dipole evolution with rigidity with SWGO. In this way, we demonstrate the great potential that this instrument offers for providing a deeper understanding of the origin of the cosmic-ray anisotropy.


title: Precise and accurate control of the ellipticity of THz radiation using a photoconductive pixel array

abstract: Full control of the ellipticity of broadband pulses of THz radiation, from linear to left- or right-handed circular polarization, was demonstrated via a 4-pixel photoconductive emitter with an integrated achromatic waveplate. Excellent polarization purity and accuracy was achieved, with Stokes parameters exceeding 97% for linear and circular polarization, via a robust scheme that corrected electrically for polarization changes caused by imperfect optical elements. Further, to assess the speed and precision of measurements of the THz polarization we introduced a new figure of merit, the standard error after one second of measurement, found to be 0.047$^{\circ}$ for the polarization angle.


title: Haptic Situational Awareness Using Continuous Vibrotactile Sensations

abstract: In this research, we have developed a haptic situational awareness device that presents users with directional cues through continuous vibrotactile sensations. Using the device, we present user studies on the effectiveness of a torso-mounted haptic display in enhancing human situational awareness, when visual/auditory senses are degraded. A haptic display has been developed which generates continuous cues using tactile illusions and programmed to generate navigation commands. Participants are given navigation tasks where they may receive commands through any of the seven sensory modality combinations vibrotactile only, visual only, audio only, visual+vibrotactile, visual+audio, vibrotactile+audio and vibrotactile+audio+visual. Experimental results on human volunteers show that vibrotactile sensations enable enhanced situational awareness during sensory distraction as compared to visual-audio cues. This work is aimed at developing a viable haptic display for vehicle drivers, aircraft pilots and humans performing ground navigation, which can guide the wearer in situations when their visual/auditory senses may be degraded/overloaded.


title: Sequences of $m$-term deviations in Hilbert space

abstract: Let $D$ be a dictionary in a Hilbert space $H$, that is, a set of unit elements whose linear combinations are dense in $H$. We consider the least $m$-term deviation $\sigma_m(x)$ of an element $x\in H$: this is the distance of $x$ from the set of all $m$-term linear combinations of elements of $D$. We prove a dichotomy result: for any dictionary $D$, either the sequence $\{\sigma_m(x)\}_{m=0}^{\infty}$ decreases exponentially for every $x\in H$, or the rate of convergence $\sigma_m(x)\to 0$ can be arbitrarily slow. We seek universal dictionaries realizing all strictly decreasing null sequences as sequences of $m$-term deviations. All commonly used dictionaries turn out not to be universal. In particular, the least rational deviations in Hardy space $H^2$ do not form certain strictly monotone null sequences. There are no universal dictionaries in finite dimensional Hilbert spaces. We construct a universal dictionary in every infinite dimensional Hilbert space.


title: Drell-Yan $p_{\bot}$ with NLO-matched Parton Branching TMDs at energies from fixed-target to LHC

abstract: The description of the Drell-Yan (DY) transverse momentum spectrum requires matching of fixed order QCD calculations with soft gluon resummation up to all orders in the QCD coupling. It has been noticed in the literature that a consistent description of DY data in a wide kinematic regime from fixed-target to LHC energies is problematic. In this talk the predictions for transverse momentum spectrum of DY data coming from experiments in very different kinematic ranges (NuSea, R209, Phenix, LHC 8 TeV and 13 TeV center-of-mass energies $\sqrt{s}$) are calculated by applying transverse momentum dependent (TMD) parton distributions obtained from the Parton Branching (PB) method, combined with the next-to-leading-order (NLO) calculation of the hard process in the MCatNLO method. We discuss the problems involved in matching of the fixed order calculation and resummation, especially in the moderate to low mass and $p_{\bot}$ region accessible at fixed target experiments. We find that at low DY mass and low $\sqrt{s}$ even in the region of $p_{\bot}/m_{DY}\sim 1$ the contribution of multiple soft gluon emissions (included in the PB-TMDs) is essential to describe the measurements, while at larger masses and LHC energies the contribution from soft gluons in the region of $p_{\bot}/m_{DY}\sim 1$ is small.


title: White blood cell subtype detection and classification

abstract: Machine learning has endless applications in the health care industry. White blood cell classification is one of the interesting and promising area of research. The classification of the white blood cells plays an important part in the medical diagnosis. In practise white blood cell classification is performed by the haematologist by taking a small smear of blood and careful examination under the microscope. The current procedures to identify the white blood cell subtype is more time taking and error-prone. The computer aided detection and diagnosis of the white blood cells tend to avoid the human error and reduce the time taken to classify the white blood cells. In the recent years several deep learning approaches have been developed in the context of classification of the white blood cells that are able to identify but are unable to localize the positions of white blood cells in the blood cell image. Following this, the present research proposes to utilize YOLOv3 object detection technique to localize and classify the white blood cells with bounding boxes. With exhaustive experimental analysis, the proposed work is found to detect the white blood cell with 99.2% accuracy and classify with 90% accuracy.


title: On maximal sum-free sets in abelian groups

abstract: Balogh, Liu, Sharifzadeh and Treglown [Journal of the European Mathematical Society, 2018] recently gave a sharp count on the number of maximal sum-free subsets of $\{1, \dots, n\}$, thereby answering a question of Cameron and Erd\H{o}s. In contrast, not as much is know about the analogous problem for finite abelian groups. In this paper we give the first sharp results in this direction, determining asymptotically the number of maximal sum-free sets in both the binary and ternary spaces $\mathbb Z^k_2$ and $\mathbb Z^k_3$. We also make progress on a conjecture of Balogh, Liu, Sharifzadeh and Treglown concerning a general lower bound on the number of maximal sum-free sets in abelian groups of a fixed order. Indeed, we verify the conjecture for all finite abelian groups with a cyclic component of size at least 3084. Other related results and open problems are also presented.


title: Hope Speech detection in under-resourced Kannada language

abstract: Numerous methods have been developed to monitor the spread of negativity in modern years by eliminating vulgar, offensive, and fierce comments from social media platforms. However, there are relatively lesser amounts of study that converges on embracing positivity, reinforcing supportive and reassuring content in online forums. Consequently, we propose creating an English-Kannada Hope speech dataset, KanHope and comparing several experiments to benchmark the dataset. The dataset consists of 6,176 user-generated comments in code mixed Kannada scraped from YouTube and manually annotated as bearing hope speech or Not-hope speech. In addition, we introduce DC-BERT4HOPE, a dual-channel model that uses the English translation of KanHope for additional training to promote hope speech detection. The approach achieves a weighted F1-score of 0.756, bettering other models. Henceforth, KanHope aims to instigate research in Kannada while broadly promoting researchers to take a pragmatic approach towards online content that encourages, positive, and supportive.


title: Determination of the stress state beneath arbitrary axisymmetric tangential contacts in Hertz-Mindlin approximation based on the superposition of solutions for parabolic contact

abstract: As an improvement to the recently proposed procedure for the determination of the stress state beneath axisymmetric tangential contacts in Hertz-Mindlin approximation via an appropriate superposition of solutions for the respective flat-punch problem, the determination via the superposition of solutions for parabolic contact is demonstrated. It has two advantages over the flat-punch formulation: the numerical implementation is slightly easier and more stable, due to the absence of stress singularities for the smooth parabolic profile. As a numerical example, the oscillating tangential contact between a rigid indenter with a profile in the form of a power-law (with exponent 4) and an elastic half-space is considered in detail.


title: The Ionization Energies of Dust-Forming Metal Oxide Clusters

abstract: Stellar dust grains are predominantly composed of mineralic, anorganic material forming in the circumstellar envelopes of oxygen-rich AGB stars. However, the initial stage of the dust synthesis, or its nucleation, is not well understood. In particular, the chemical nature of the nucleating species, represented by molecular clusters, is uncertain. We investigated the vertical and adiabatic ionization energies of four different metal-oxide clusters by means of density functional theory. They included clusters of magnesia (MgO)$_n$, silicon monoxide (SiO)$_n$, alumina (Al$_2$O$_3$)$_n$, and titania (TiO$_2$)$_n$ with stoichiometric sizes of $n$=1$-$8. The magnesia, alumina, and titania clusters showed relatively little variation in their ionization energies with respect to the cluster size n: 7.1$-$8.2 eV for (MgO)$_n$, 8.9$-$10.0 eV for (Al$_2$O$_3$)$_n$, and 9.3$-$10.5 eV for (TiO$_2$)$_n$. In contrast, the (SiO)$_n$ ionization energies decrease with size $n$, starting from 11.5 eV for $n$=1, and decreasing to 6.6 eV for $n$=8. Therefore, we set constraints on the stability limit for neutral metal-oxide clusters to persist ionization through radiation or high temperatures and for the nucleation to proceed via neutral-neutral reactions.


title: An Uncertainty-Aware Performance Measure for Multi-Object Tracking

abstract: Evaluating the performance of multi-object tracking (MOT) methods is not straightforward, and existing performance measures fail to consider all the available uncertainty information in the MOT context. This can lead practitioners to select models which produce uncertainty estimates of lower quality, negatively impacting any downstream systems that rely on them. Additionally, most MOT performance measures have hyperparameters, which makes comparisons of different trackers less straightforward. We propose the use of the negative log-likelihood (NLL) of the multi-object posterior given the set of ground-truth objects as a performance measure. This measure takes into account all available uncertainty information in a sound mathematical manner without hyperparameters. We provide efficient algorithms for approximating the computation of the NLL for several common MOT algorithms, show that in some cases it decomposes and approximates the widely-used GOSPA metric, and provide several illustrative examples highlighting the advantages of the NLL in comparison to other MOT performance measures.


title: A proof of convergence for the gradient descent optimization method with random initializations in the training of neural networks with ReLU activation for piecewise linear target functions

abstract: Gradient descent (GD) type optimization methods are the standard instrument to train artificial neural networks (ANNs) with rectified linear unit (ReLU) activation. Despite the great success of GD type optimization methods in numerical simulations for the training of ANNs with ReLU activation, it remains - even in the simplest situation of the plain vanilla GD optimization method with random initializations and ANNs with one hidden layer - an open problem to prove (or disprove) the conjecture that the risk of the GD optimization method converges in the training of such ANNs to zero as the width of the ANNs, the number of independent random initializations, and the number of GD steps increase to infinity. In this article we prove this conjecture in the situation where the probability distribution of the input data is equivalent to the continuous uniform distribution on a compact interval, where the probability distributions for the random initializations of the ANN parameters are standard normal distributions, and where the target function under consideration is continuous and piecewise affine linear. Roughly speaking, the key ingredients in our mathematical convergence analysis are (i) to prove that suitable sets of global minima of the risk functions are \emph{twice continuously differentiable submanifolds of the ANN parameter spaces}, (ii) to prove that the Hessians of the risk functions on these sets of global minima satisfy an appropriate \emph{maximal rank condition}, and, thereafter, (iii) to apply the machinery in [Fehrman, B., Gess, B., Jentzen, A., Convergence rates for the stochastic gradient descent method for non-convex objective functions. J. Mach. Learn. Res. 21(136): 1--48, 2020] to establish convergence of the GD optimization method with random initializations.


title: Refactoring the Whitby Intelligent Tutoring System for Clean Architecture

abstract: Whitby is the server-side of an Intelligent Tutoring System application for learning System-Theoretic Process Analysis (STPA), a methodology used to ensure the safety of anything that can be represented with a systems model. The underlying logic driving the reasoning behind Whitby is Situation Calculus, which is a many-sorted logic with situation, action, and object sorts. The Situation Calculus is applied to Ontology Authoring and Contingent Scaffolding: the primary activities within Whitby. Thus many fluents and actions are aggregated in Whitby from these two sub-applications and from Whitby itself, but all are available through a common situation query interface that does not depend upon any of the fluents or actions. Each STPA project in Whitby is a single situation term, which is queried for fluents that include the ontology, and to determine what pedagogical interventions to offer. Initially Whitby was written in Prolog using a module system. In the interest of a cleaner architecture and implementation with improved code reuse and extensibility, the initial application was refactored into Logtalk. This refactoring includes decoupling the Situation Calculus reasoner, Ontology Authoring framework, and Contingent Scaffolding framework into third-party libraries that can be reused in other applications. This extraction was achieved by inverting dependencies via Logtalk protocols and categories, which are reusable interfaces and components that provide functionally cohesive sets of predicate declarations and predicate definitions. In this paper the architectures of two iterations of Whitby are evaluated with respect to the motivations behind the refactor: clean architecture enabling code reuse and extensibility.


title: Characterizing the Top Cycle via Strategyproofness

abstract: Gibbard and Satterthwaite have shown that the only single-valued social choice functions (SCFs) that satisfy non-imposition (i.e., the function's range coincides with its codomain) and strategyproofness (i.e., voters are never better off by misrepresenting their preferences) are dictatorships. In this paper, we consider set-valued social choice correspondences (SCCs) that are strategyproof according to Fishburn's preference extension and, in particular, the top cycle, an attractive SCC that returns the maximal elements of the transitive closure of the weak majority relation. Our main theorem implies that, under mild conditions, the top cycle is the only non-imposing strategyproof SCC whose outcome only depends on the quantified pairwise comparisons between alternatives. This result effectively turns the Gibbard-Satterthwaite impossibility into a complete characterization of the top cycle by moving from SCFs to SCCs. It is obtained as a corollary of a more general characterization of strategyproof SCCs.


title: Maximizing Influence with Graph Neural Networks

abstract: Finding the seed set that maximizes the influence spread over a network is a well-known NP-hard problem. Though a greedy algorithm can provide near-optimal solutions, the subproblem of influence estimation renders the solutions inefficient. In this work, we propose \textsc{Glie}, a graph neural network that learns how to estimate the influence spread of the independent cascade. \textsc{Glie} relies on a theoretical upper bound that is tightened through supervised training. Experiments indicate that it provides accurate influence estimation for real graphs up to 10 times larger than the train set. Subsequently, we incorporate it into two influence maximization techniques. We first utilize Cost Effective Lazy Forward optimization substituting Monte Carlo simulations with \textsc{Glie}, surpassing the benchmarks albeit with a computational overhead. To improve computational efficiency we develop a provably submodular influence spread based on \textsc{Glie}'s representations, to rank nodes while building the seed set adaptively. The proposed algorithms are inductive, meaning they are trained on graphs with less than 300 nodes and up to 5 seeds, and tested on graphs with millions of nodes and up to 200 seeds. The final method exhibits the most promising combination of time efficiency and influence quality, outperforming several baselines.


title: On the formation of spiral arms in dwarf galaxies

abstract: Spiral structure (both flocculent and Grand Design types) is very rarely observed in dwarf galaxies because the formation of spiral arms requires special conditions. In this work we analyze the sample of about 40 dS-galaxies found by scanning by eye the images of late-type galaxies with $m_B<15^m$ and $M_B>-18^m$ and photometric diameter $D_{25}<12$~kpc. We found that apart from the lower average gas (HI) fraction the other properties of dS-galaxies including the presence of a bar and the isolation index do not differ much from those for dwarf Irr or Sm-types of similar luminosity and rotation velocity (or specific angular momentum).There are practically no dS-galaxies with rotation velocity below 50\,--\,60~km\,sec$^{-1}$. To check the conditions of formation of spiral structure in dwarf galaxies we carried out a series of N-body/hydrodynamic simulations of low-mass stellar-gaseous discy galaxies by varying the model kinematic parameters of discs, their initial thickness, relative masses and scale lengths of stellar and gaseous disc components, and stellar-to-dark halo masses. We came to conclusion that the gravitational mechanism of spiral structure formation is effective only for thin stellar discs, which are non-typical for dwarf galaxies, and for not too slowly rotating galaxies. Therefore, only a small fraction of dwarf galaxies with stellar/gaseous discs have spiral or ring structures. The thicker stellar disc, the more gas is required for the spiral structure to form. The reduced gas content in many dS-galaxies compared to non-spiral ones may be a result of more efficient star formation due to a higher volume gas density thank to the thinner stellar/gaseous discs.


title: Picometer-precision few-tilt ptychotomography of 2D materials

abstract: From ripples to defects, edges and grain boundaries, the 3D atomic structure of 2D materials is critical to their properties. However the damage inflicted by conventional 3D analysis precludes its use with fragile 2D materials, particularly for the analysis of local defects. Here we dramatically increase the potential for precise local 3D atomic structure analysis of 2D materials, with both greatly improved dose efficiency and sensitivity to light elements. We demonstrate light atoms can now be located in complex 2D materials with picometer precision at doses 30 times lower than previously possible. Moreover we demonstrate this using a material, WS$_2$, in which the light S atoms are in fact practically invisible to conventional methods. The key advance is combining the concept of few tilt tomography with highly dose efficient ptychography in scanning transmission electron microscopy. We further demonstrate the method experimentally with the even more challenging and newly discovered 2D CuI, leveraging a new extremely high temporal resolution camera.


title: Study of polyelectrolyte capsule electrophoresis

abstract: This paper investigates the problem of electrophoretic motion of a polyelectrolyte capsule with a porous arbitrary charged conducting shell in an electrolyte under the action of an external electric field. The corresponding boundary value problem for the velocity components and pressure in the case of small electrical potentials is analytically solved in quadratures. The solution is analyzed numerically for different values of the specific permeability of the capsule, and the thickness of the porous and the electric double layers. The minimum of electrophoretic velocity dependence on the inverse permeability of the porous layer has been found. This means that the capsule can move with the same velocity at different permeabilities of the porous shell, other conditions being equal, which is relevant for the practical use of the discovered effect. It is shown that the electrophoretic mobility decreases upon decrease in the conductivity of the material of constituting the porous layer. This means that a dielectric capsule can be used for electrophoresis as well. Moreover, its velocity will be even greater than that of a conducting capsule, all other conditions being equal.


title: Reconstruction of sub-threshold events of cosmic-ray radio detectors using an autoencoder

abstract: Radio detection of air showers produced by ultra-high energy cosmic rays is a cost-effective technique for the next generation of sparse arrays. The performance of this technique strongly depends on the environmental background, which has different constituents, namely anthropogenic radio frequency interference, synchrotron galactic radiation and others. These components have recognizable features, which can help for background suppression. A powerful method for handling this is the application of convolution neural networks with a specific architecture called autoencoder. By suppressing unwanted signatures, the autoencoder keeps the signal-like ones. We have successfully developed and trained an autoencoder, which is now applied to the data from Tunka-Rex. We show the procedures of the training and optimization of the network including benchmarks of different architectures. Using the autoencoder, we improved the standard analysis of Tunka-Rex in order to lower the threshold of the detection. This enables the reconstructing of sub-threshold events with energies lower than 0.1 EeV with satisfactory angular and energy resolutions.


title: Learning Canonical 3D Object Representation for Fine-Grained Recognition

abstract: We propose a novel framework for fine-grained object recognition that learns to recover object variation in 3D space from a single image, trained on an image collection without using any ground-truth 3D annotation. We accomplish this by representing an object as a composition of 3D shape and its appearance, while eliminating the effect of camera viewpoint, in a canonical configuration. Unlike conventional methods modeling spatial variation in 2D images only, our method is capable of reconfiguring the appearance feature in a canonical 3D space, thus enabling the subsequent object classifier to be invariant under 3D geometric variation. Our representation also allows us to go beyond existing methods, by incorporating 3D shape variation as an additional cue for object recognition. To learn the model without ground-truth 3D annotation, we deploy a differentiable renderer in an analysis-by-synthesis framework. By incorporating 3D shape and appearance jointly in a deep representation, our method learns the discriminative representation of the object and achieves competitive performance on fine-grained image recognition and vehicle re-identification. We also demonstrate that the performance of 3D shape reconstruction is improved by learning fine-grained shape deformation in a boosting manner.


title: Roadside-assisted Cooperative Planning using Future Path Sharing for Autonomous Driving

abstract: Cooperative intelligent transportation systems (ITS) are used by autonomous vehicles to communicate with surrounding autonomous vehicles and roadside units (RSU). Current C-ITS applications focus primarily on real-time information sharing, such as cooperative perception. In addition to real-time information sharing, self-driving cars need to coordinate their action plans to achieve higher safety and efficiency. For this reason, this study defines a vehicle's future action plan/path and designs a cooperative path-planning model at intersections using future path sharing based on the future path information of multiple vehicles. The notion is that when the RSU detects a potential conflict of vehicle paths or an acceleration opportunity according to the shared future paths, it will generate a coordinated path update that adjusts the speeds of the vehicles. We implemented the proposed method using the open-source Autoware autonomous driving software and evaluated it with the LGSVL autonomous vehicle simulator. We conducted simulation experiments with two vehicles at a blind intersection scenario, finding that each car can travel safely and more efficiently by planning a path that reflects the action plans of all vehicles involved. The time consumed by introducing the RSU is 23.0 % and 28.1 % shorter than that of the stand-alone autonomous driving case at the intersection.


title: Structural properties of charged compact stars with color-flavour-locked quarks matter

abstract: The observations of pulsars with masses close to 2$M_{\odot}$ have put strong constraints on the equation of state (EoS) of neutron-rich matter at supranuclear densities. Moreover, the exact internal composition of those objects is largely unknown to us. Aiming to reach the 2$M_{\odot}$ limit, here we investigate the impact of electric charge on properties of compact stars assuming that the charge distribution is proportional to the mass density. The study is carried out by solving the Tolman-Oppenheimer-Volkoff (TOV) equation for a well-motivated exotic quark matter in the color-flavor-locked (CFL) phase of color superconductivity. The existence of the CFL phase may be the true ground state of hadronic matter with the possibility of the existence of a pure stable quark star (QS). Concerning the equation-of-state, we obtain structural properties of quark stars and compute the mass, the radius as well as the total electric charge of the star. We analyze the dependence of the physical properties of these QSs depending on the free parameters with special attention on mass-radius relation. We also briefly discuss the mass vs central mass density $(M-\epsilon_c)$ relation for stability, the effect of electric charge and compactness. Finally, our results are compared with the recent observations data on mass-radius relationship.


title: Megadiff: A Dataset of 600k Java Source Code Changes Categorized by Diff Size

abstract: This paper presents Megadiff, a dataset of source code diffs. It focuses on Java, with strict inclusion criteria based on commit message and diff size. Megadiff contains 663 029 Java diffs that can be used for research on commit comprehension, fault localization, automated program repair, and machine learning on code changes.


title: MSTC*:Multi-robot Coverage Path Planning under Physical Constraints

abstract: For large-scale tasks, coverage path planning (CPP) can benefit greatly from multiple robots. In this paper, we present an efficient algorithm MSTC* for multi-robot coverage path planning (mCPP) based on spiral spanning tree coverage (Spiral-STC). Our algorithm incorporates strict physical constraints like terrain traversability and material load capacity. We compare our algorithm against the state-of-the-art in mCPP for regular grid maps and real field terrains in simulation environments. The experimental results show that our method significantly outperforms existing spiral-STC based mCPP methods. Our algorithm can find a set of well-balanced workload distributions for all robots and therefore, achieve the overall minimum time to complete the coverage.


title: Channel Modeling and Channel Estimation for Holographic Massive MIMO with Planar Arrays

abstract: In a realistic wireless environment, the multi-antenna channel usually exhibits spatially correlation fading. This is more emphasized when a large number of antennas is densely deployed, known as holographic massive MIMO (multiple-input multiple-output). In the first part of this letter, we develop a channel model for holographic massive MIMO by considering both non-isotropic scattering and directive antennas. With a large number of antennas, it is difficult to obtain full knowledge of the spatial correlation matrix. In this case, channel estimation is conventionally done using the least-squares (LS) estimator that requires no prior information of the channel statistics or array geometry. In the second part of this letter, we propose a novel channel estimation scheme that exploits the array geometry to identify a subspace of reduced rank that covers the eigenspace of any spatial correlation matrix. The proposed estimator outperforms the LS estimator, without using any user-specific channel statistics.


title: Research trends, challenges, and emerging topics of digital forensics: A review of reviews

abstract: Due to its critical role in cybersecurity, digital forensics has received significant attention from researchers and practitioners alike. The ever increasing sophistication of modern cyberattacks is directly related to the complexity of evidence acquisition, which often requires the use of several technologies. To date, researchers have presented many surveys and reviews on the field. However, such articles focused on the advances of each particular domain of digital forensics individually. Therefore, while each of these surveys facilitates researchers and practitioners to keep up with the latest advances in a particular domain of digital forensics, the global perspective is missing. Aiming to fill this gap, we performed a qualitative review of reviews in the field of digital forensics, determined the main topics on digital forensics topics and identified their main challenges. Our analysis provides enough evidence to prove that the digital forensics community could benefit from closer collaborations and cross-topic research, since it is apparent that researchers and practitioners are trying to find solutions to the same problems in parallel, sometimes without noticing it.


title: Ammonium adsorption, desorption and recovery by acid and alkaline treated zeolite

abstract: In this study, the suitability of zeolite as a possible medium for ammonium adsorption, desorption and recovery from wastewater was investigated. Specifically, batch adsorption and desorption studies with solutions enriched in NH$_4^+$ were conducted employing zeolite to evaluate how the chemical treatment and contact time affect adsorption and desorption. Several experimental tests were carried out considering both untreated and treated zeolite. Untreated and HCl-Na treated zeolite adsorbed up to 11.8 mg NH$_4^+$ g$^{-1}$ and showed the highest efficiency in recovering NH$_4^+$ from aqueous solution. Regardless of pre-treatment, treatments with NaCl resulted in higher and faster adsorption of NH$_4^+$ than treatments with CaCl$_2$ and MgCl$_2$.


title: SGToolkit: An Interactive Gesture Authoring Toolkit for Embodied Conversational Agents

abstract: Non-verbal behavior is essential for embodied agents like social robots, virtual avatars, and digital humans. Existing behavior authoring approaches including keyframe animation and motion capture are too expensive to use when there are numerous utterances requiring gestures. Automatic generation methods show promising results, but their output quality is not satisfactory yet, and it is hard to modify outputs as a gesture designer wants. We introduce a new gesture generation toolkit, named SGToolkit, which gives a higher quality output than automatic methods and is more efficient than manual authoring. For the toolkit, we propose a neural generative model that synthesizes gestures from speech and accommodates fine-level pose controls and coarse-level style controls from users. The user study with 24 participants showed that the toolkit is favorable over manual authoring, and the generated gestures were also human-like and appropriate to input speech. The SGToolkit is platform agnostic, and the code is available at https://github.com/ai4r/SGToolkit.


title: Complexity in a moving mirror model

abstract: In a two-dimensional conformal field theory with a moving mirror, known as a moving mirror model, the time evolution of the entanglement entropy shows a Page like curve. This implies that the moving mirror model is useful to understand the island formula. In this paper, we study the time evolution of the subregion CV complexity in the moving mirror model for a better understanding of the island formula of the complexity. In contrast to the entanglement entropy, the subregion CV complexity shows a peculiar behaviour. We discuss this behaviour in more detail.


title: A measure estimate in geometry of numbers and improvements to Dirichlet's theorem

abstract: Let $\psi$ be a continuous decreasing function defined on all large positive real numbers. We say that a real $m\times n$ matrix $A$ is $\psi$-Dirichlet if for every sufficiently large real number $t$ one can find $\boldsymbol{p} \in \mathbb{Z}^m$, $\boldsymbol{q} \in \mathbb{Z}^n\smallsetminus\{\boldsymbol{0}\}$ satisfying $\|A\boldsymbol{q}-\boldsymbol{p}\|^m< \psi({t})$ and $\|\boldsymbol{q}\|^n<{t}$. This property was introduced by Kleinbock and Wadleigh in 2018, generalizing the property of $A$ being Dirichlet improvable which dates back to Davenport and Schmidt (1969). In the present paper, we give sufficient conditions on $\psi$ to ensure that the set of $\psi$-Dirichlet matrices has zero or full Lebesgue measure. Our proof is dynamical and relies on the effective equidistribution and doubly mixing of certain expanding horospheres in the space of lattices. Another main ingredient of our proof is an asymptotic measure estimate for certain compact neighborhoods of the critical locus (with respect to the supremum norm) in the space of lattices. Our method also works for the analogous weighted problem where the relevant supremum norms are replaced by certain weighted quasi-norms.


title: PyNose: A Test Smell Detector For Python

abstract: Similarly to production code, code smells also occur in test code, where they are called test smells. Test smells have a detrimental effect not only on test code but also on the production code that is being tested. To date, the majority of the research on test smells has been focusing on programming languages such as Java and Scala. However, there are no available automated tools to support the identification of test smells for Python, despite its rapid growth in popularity in recent years. In this paper, we strive to extend the research to Python, build a tool for detecting test smells in this language, and conduct an empirical analysis of test smells in Python projects. We started by gathering a list of test smells from existing research and selecting test smells that can be considered language-agnostic or have similar functionality in Python's standard Unittest framework. In total, we identified 17 diverse test smells. Additionally, we searched for Python-specific test smells by mining frequent code change patterns that can be considered as either fixing or introducing test smells. Based on these changes, we proposed our own test smell called Suboptimal assert. To detect all these test smells, we developed a tool called PyNose in the form of a plugin to PyCharm, a popular Python IDE. Finally, we conducted a large-scale empirical investigation aimed at analyzing the prevalence of test smells in Python code. Our results show that 98% of the projects and 84% of the test suites in the studied dataset contain at least one test smell. Our proposed Suboptimal assert smell was detected in as much as 70.6% of the projects, making it a valuable addition to the list.


title: Modeling and Evaluating Personas with Software Explainability Requirements

abstract: This work focuses on the context of software explainability, which is the production of software capable of explaining to users the dynamics that govern its internal functioning. User models that include information about their requirements and their perceptions of explainability are fundamental when building software with such capability. This study investigates the process of creating personas that include information about users' explainability perceptions and needs. The proposed approach is based on data collection with questionnaires, modeling of empathy maps, grouping the maps, generating personas from them and evaluation employing the Persona Perception Scale method. In an empirical study, personas are created from 61 users' response data to a questionnaire. The generated personas are evaluated by 60 users and 38 designers considering attributes of the Persona Perception Scale method. The results include a set of 5 distinct personas that users rate as representative of them at an average level of 3.7 out of 5, and designers rate as having quality 3.5 out of 5. The median rate is 4 out of 5 in the majority of criteria judged by users and designers. Both the personas and their creation and evaluation approach are contributions of this study to the design of software that satisfies the explainability requirement.


title: Explicit microstates at the Schwarzschild horizon

abstract: The claim that the microstates of Schwarzschild black holes in perturbative string theory amount to the modes of long folded strings in the vicinity of its horizon is supported by more evidence.


title: Efficiency estimation of self-triggered antenna clusters for air-shower detection

abstract: Air-shower radio arrays operate in low signal-to-noise ratio conditions, which complicates the autonomous measurement of air-shower signals without using an external trigger from optical or scintillator detectors. A simple threshold trigger for radio detector can be efficiently applied onlyin radio-quiet conditions, because for other cases this trigger detects a high fraction of noise pulses. In the present work, we study aspects of independent air-shower detection by dense antenna clusters with a complex real-time trigger system. For choosing the optimal procedures for the real-time analysis, we study the dependence between trigger efficiency, count rate, detector hardware and geometry. For this study, we develop a framework for testing various methods of signal detection and noise filtration for arrays with various specifications and the hardware implementation of these methods based on field programmable gate arrays. The framework provides flexible settings for the management of station-level and cluster-level steps of detecting the signal, optimized for the hardware implementation for real-time processing. It includes data-processing tools for the initialconfiguration and tests on pre-recorded data, tools for configuring the trigger architecture andtools for preliminary estimates of the trigger efficiency at given thresholds of cosmic-ray energyand air-shower pulse amplitude. We show examples of the trigger pipeline developed with this framework and discuss the results of tests on simulated data.


title: $f$-mode oscillations of compact stars with realistic equations of state in dynamical spacetime

abstract: In this study, we perform full three dimensional numerical relativity simulations of non-rotating general relativistic stars. Extending the studies for polytropic equation of state, we investigate the accuracy and robustness of numerical scheme on measuring fundamental ($f$)-mode frequency for realistic equations of state (EoS). We use various EoS with varying range of stiffness and numerically evolve perturbed stellar models for several mass configurations (in the range of $1.2 - 2.0$ $M_{\odot}$) for each of these EoS. Using the gravitational waveform obtained from the simulations we extract the $f$-modes of the stars. The obtained results are tested against the pre-existing perturbation methods and find good agreement. Validity and deviation of universal relations have been carried out and are compared with earlier results under Cowling approximation as well as perturbative approaches. We also show that even using perturbed single star simulations can provide good agreement with $f$-modes extracted from inspiral phase of binary neutron star simulations which are computationally more expensive.


title: FoodLogoDet-1500: A Dataset for Large-Scale Food Logo Detection via Multi-Scale Feature Decoupling Network

abstract: Food logo detection plays an important role in the multimedia for its wide real-world applications, such as food recommendation of the self-service shop and infringement detection on e-commerce platforms. A large-scale food logo dataset is urgently needed for developing advanced food logo detection algorithms. However, there are no available food logo datasets with food brand information. To support efforts towards food logo detection, we introduce the dataset FoodLogoDet-1500, a new large-scale publicly available food logo dataset, which has 1,500 categories, about 100,000 images and about 150,000 manually annotated food logo objects. We describe the collection and annotation process of FoodLogoDet-1500, analyze its scale and diversity, and compare it with other logo datasets. To the best of our knowledge, FoodLogoDet-1500 is the first largest publicly available high-quality dataset for food logo detection. The challenge of food logo detection lies in the large-scale categories and similarities between food logo categories. For that, we propose a novel food logo detection method Multi-scale Feature Decoupling Network (MFDNet), which decouples classification and regression into two branches and focuses on the classification branch to solve the problem of distinguishing multiple food logo categories. Specifically, we introduce the feature offset module, which utilizes the deformation-learning for optimal classification offset and can effectively obtain the most representative features of classification in detection. In addition, we adopt a balanced feature pyramid in MFDNet, which pays attention to global information, balances the multi-scale feature maps, and enhances feature extraction capability. Comprehensive experiments on FoodLogoDet-1500 and other two benchmark logo datasets demonstrate the effectiveness of the proposed method. The FoodLogoDet-1500 can be found at this https URL.


title: Observation of the acceleration of light in a tapered optical fiber

abstract: One of the most fascinating aspects of quantum fields in curved spacetime is the Unruh effect. The direct experimental detection of Unruh temperature has remained an elusive challenge up to now. Gradient optical waveguides manipulating the dispersion of photons are assumed to realize the great acceleration of effective particles, leading to a high effective Unruh temperature. However, experimentally achieving this optical waveguide has not yet been reported. In this work, we exploit a tapered fiber to simulate the accelerated motion of effective particles and obtain an effective Unruh temperature. When light propagating in a tapered fiber is affected by the external high refractive index medium, a leaky phenomenon akin to bremsstrahlung will be observed, and the pattern of leaky radiation is dependent on the acceleration of photons. During the experiments, different accelerations corresponding to different Unruh temperatures are achieved by controlling the shape of the tapered waveguide.


title: Revealing Interfaces of Two-Dimensional Lateral Heterostructures by Second Harmonic Generation

abstract: The interface between two different semiconductors is crucial in determining the electronic properties at the heterojunction, therefore novel techniques that can probe these regions are of particular interest. Recently it has been shown that heterojunctions of two-dimensional transition metal dichalcogenides have sharp and epitaxial interfaces that can be used to the next generation of flexible and on chip optoelectronic devices. Here, we show that second harmonic generation (SHG) can be used as an optical tool to reveal these atomically sharp interfaces in different lateral heterostructures. We observed an enhancement of the SH intensity at the heterojunctions, and showed that is due to a coherent superposition of the SH emission from each material. This constructive interference pattern reveals a phase difference arising from the distinct second-order susceptibilities of both materials at the interface. Our results demonstrate that SHG microscopy is a sensitive characterization technique to unveil nanometric features in layered materials and their heterostructures.


title: Thermo-optic refraction based switchable optical mode converter

abstract: The temporally switchable optical mode conversion is crucial for optical communication and computing applications. This research demonstrates such optically switchable mode converter driven by thermo-optic refraction. The MoS2 nanofluid is used as a medium where the thermal microlens is created by a focused laser beam (pump). The convective thermal plume generated above the focal point of the pump beam within the nanofluid acts as an astigmatic thermal lens. It is discovered that mode conversion of the Laguerre-Gaussian (LG) to the Hermite-Gaussian (HG) beam (vice versa) takes place upon passing through the thermal lens. The topological charge of the LG beam can be easily determined using the proposed mode converter. The mode transformation is explained theoretically as the Fourier components of the LG beam undergoing different optical paths while propagating through the convective plume.

categories: physics.optics cond-mat.mtrl-sci physics.app-ph physics.ins-det