title: Quantum Kinematics in Terms of Observable Quantities, and the Chirality of Entangled Two-Qubit States

abstract: We consider the kinematics of bi-partite quantum states as determined by observable quantities, in particular the Bloch vectors of the subsystems. In examining the simplest case of a pair of two-level systems, there is a remarkable connection between the presence of non-classical correlations and the chirality of the two bases generated by the singular value decomposition of the correlation matrix of the Bloch vectors. We investigate the limits imposed by quantum mechanics of this effect and it relationship with other methods on quantifying the system's non-classical behaviour.


title: Role of Ambient Pressure on Colliding Jets

abstract: In this letter, the merging-vs-bouncing response of obliquely-oriented colliding jets under elevated and reduced gaseous environment pressures was experimentally examined. Experiments with water and n-tetradecane confirmed that the collision outcome transitions from merging to bouncing, and then to merging again, when the impact velocity was increased. This behavior which was previously reported for atmospheric pressure, has now also been observed at elevated and reduced pressures. New results also show that there exists a critical pressure (0.9 bar for tetradecane and 5 bar for water) below which increasing pressure promotes bouncing (expands the bouncing regime), while beyond this, merging is promoted (reduces the bouncing regime) instead. This leads to a non-monotonic influence of pressure on the non-coalescence outcomes of collisional jets, which was not previously reported. The study provides evidence of new behaviors in colliding jets at reduced and elevated pressures, which differs from well-studied droplet-droplet collisions.


title: Polarization-decoupled Flat Displays

abstract: Many modern applications like entertainment displays, data encryption, security, and virtual reality (VR) technology require asymmetric light manipulation. Symmetric spin-orbit interactions (SOI) apply a limit in achieving an asymmetrical metahologram. However, different reported asymmetric SOI's based on propagation and geometric phase mergence techniques effectively break this limit at the expense of design complexity and greater computation cost. This work proposes a novel helicity multiplexing technique that breaks all the aforementioned barriers in achieving on-axis dual side holograms. Benefiting from the geometric phase modulation of anisotropic nano-resonating antennas, we have employed a single unit cell to achieve helicity multiplexing. A low extinction coefficient material a-Si:H is used for device analysis. Due to the simple single unit cell-based designing technique, simulation and fabrication complexities were significantly reduced. As a result, based on the helicity and incidence direction of electromagnetic wave, we have achieved highly transmissive dual holographic images in the visible band. Our simulated efficiencies are 55%, 75%, and 80% for the blue ({\lambda} = 488 nm), green ({\lambda} = 532 nm), and red light ({\lambda} = 633 nm).


title: Contact interaction analysis of octet baryon axialvector and pseudoscalar form factors

abstract: Octet baryon axial, induced pseudoscalar, and pseudoscalar form factors are computed using a symmetry-preserving treatment of a vector$\,\times\,$vector contact interaction (SCI), thereby unifying them with an array of other baryon properties and analogous treatments of semileptonic decays of pseudoscalar mesons. The baryons are treated as quark--plus--interacting-diquark bound states, whose structure is obtained by solving a Poincar\'e-covariant Faddeev equation. The approach is marked by algebraic simplicity, involves no free parameters, and since it is symmetry preserving, all consequences of partial conservation of the axial current are manifest. It is found that SCI results are consistent with only small violations of SU$(3)$-flavour symmetry, an outcome which may be understood as a dynamical consequence of emergent hadron mass. The spin-flavour structure of the Poincar\'e-covariant baryon wave functions is expressed in the presence of both flavour-antitriplet scalar diquarks and flavour-sextet axialvector diquarks and plays a key role in determining all form factors. Considering neutral axial currents, SCI predictions for the flavour separation of octet baryon axial charges and, therefrom, values for the associated SU$(3)$ singlet, triplet, and octet axial charges are obtained. The results indicate that at the hadron scale, $\zeta_{\cal H}$, valence degrees-of-freedom carry roughly 50% of an octet baryon's total spin. Since there are no other degrees-of-freedom at $\zeta_{\cal H}$, the remainder may be associated with quark+diquark orbital angular momentum.


title: Emergence of dynamic contractile patterns in slime mold confined in a ring geometry

abstract: Coordination of cytoplasmic flows on large scales in space and time are at the root of many cellular processes, including growth, migration or division. These flows are driven by organized contractions of the actomyosin cortex. In order to elucidate the basic mechanisms at work in the self-organization of contractile activity, we investigate the dynamic patterns of cortex contraction in true slime mold \textit{Physarum polycephalum} confined in ring-shaped chambers of controlled geometrical dimensions. We make an exhaustive inventory of the different stable contractile patterns in the absence of migration and growth. We show that the primary frequency of the oscillations is independent of the ring perimeter, while the wavelength scales linearly with it. We discuss the consistence of these results with the existing models, shedding light on the possible feedback mechanisms leading to coordinated contractile activity.


title: Structural Similarity for Improved Transfer in Reinforcement Learning

abstract: Transfer learning is an increasingly common approach for developing performant RL agents. However, it is not well understood how to define the relationship between the source and target tasks, and how this relationship contributes to successful transfer. We present an algorithm called Structural Similarity for Two MDPS, or SS2, that calculates a state similarity measure for states in two finite MDPs based on previously developed bisimulation metrics, and show that the measure satisfies properties of a distance metric. Then, through empirical results with GridWorld navigation tasks, we provide evidence that the distance measure can be used to improve transfer performance for Q-Learning agents over previous implementations.


title: Data Driven Modeling Social Media Influence using Differential Equations

abstract: Individuals modify their opinions towards a topic based on their social interactions. Opinion evolution models conceptualize the change of opinion as a uni-dimensional continuum, and the effect of influence is built by the group size, the network structures, or the relations among opinions within the group. However, how to model the personal opinion evolution process under the effect of the online social influence as a function remains unclear. Here, we show that the uni-dimensional continuous user opinions can be represented by compressed high-dimensional word embeddings, and its evolution can be accurately modelled by an ordinary differential equation (ODE) that reflects the social network influencer interactions. Our three major contributions are: (1) introduce a data-driven pipeline representing the personal evolution of opinions with a time kernel, (2) based on previous psychology models, we model the opinion evolution process as a function of online social influence using an ordinary differential equation, and (3) applied Our opinion evolution model to the real-time Twitter data. We perform our analysis on 87 active users with corresponding influencers on the COVID-19 topic from 2020 to 2022. The regression results demonstrate that 99% of the variation in the quantified opinions can be explained by the way we model the connected opinions from their influencers. Our research on the COVID-19 topic and for the account analysed shows that social media users primarily shift their opinion based on influencers they follow (e.g., model explains for 99% variation) and self-evolution of opinion over a long time scale is limited.


title: Information Retention in the Multi-platform Sharing of Science

abstract: The public interest in accurate scientific communication, underscored by recent public health crises, highlights how content often loses critical pieces of information as it spreads online. However, multi-platform analyses of this phenomenon remain limited due to challenges in data collection. Collecting mentions of research tracked by Altmetric LLC, we examine information retention in the over 4 million online posts referencing 9,765 of the most-mentioned scientific articles across blog sites, Facebook, news sites, Twitter, and Wikipedia. To do so, we present a burst-based framework for examining online discussions about science over time and across different platforms. To measure information retention we develop a keyword-based computational measure comparing an online post to the scientific article's abstract. We evaluate our measure using ground truth data labeled by within field experts. We highlight three main findings: first, we find a strong tendency towards low levels of information retention, following a distinct trajectory of loss except when bursts of attention begin in social media. Second, platforms show significant differences in information retention. Third, sequences involving more platforms tend to be associated with higher information retention. These findings highlight a strong tendency towards information loss over time - posing a critical concern for researchers, policymakers, and citizens alike - but suggest that multi-platform discussions may improve information retention overall.


title: Torsion aspects of varieties of simplicial groups

abstract: There is a lattice of torsion theories in simplicial groups such that the torsion/torsion-free categories are given by simplicial groups with truncated Moore complex below/above a certain degree. We study the restriction of these torsion theories to certain subcategories of simplicial groups. In particular, we prove that the categories of D.Conduch\'{e}'s 2-crossed modules and Ashley's crossed complexes in groups are semi-abelian and we give some descriptions of their torsion theories. These examples of torsion theories also give rise to new examples of pretorsion theories in the sense of A. Facchini and C. Finocchiaro, as well as examples of torsion torsion-free theories (TTF theories).


title: Rare Charm Decays

abstract: Although the Standard Model has been firmly established, the search for physics beyond the SM is ongoing by investigating new experimental probes. Rare charm decays are a unique tool to access New Physics studies. The high luminosity achieved by the modern experiments and their high precision allow for rare charm decay studies in different scenarios. In this work, some of the most recent experimental results will be discussed in detail.


title: Terahertz microresonators for material characterisation

abstract: Terahertz (THz) technology is rapidly evolving, and the advancement of data and information processing devices is essential. Silicon THz microresonators provide perfect platforms to develop compact and integrated devices that could transform THz technology. Here we present a systematic study on the key figure of merit of silicon THz disc microresonators - the quality factor (Q-factor) - in dependence on the substrate's resistivity. Our results show that the Q-factor depends linearly on the resistivity and a variation in resistivity from 10k$\Omega$cm to 15k$\Omega$cm changes the Q-factor from 50k to 76k at 0.6THz. Moreover, we experimentally determine that the silicon material absorption is inversely proportional to the substrate's resistivity. In general, the presented methodology is ideally suited to precisely measure the material absorption of low-loss materials in the THz domain, which is challenging using conventional THz spectroscopy.


title: Moduli spaces in $p$-adic non-abelian Hodge theory

abstract: We propose a new moduli-theoretic approach to the $p$-adic Simpson correspondence for a smooth proper rigid space $X$ over $\mathbb C_p$ with coefficients in any rigid analytic group $G$, in terms of a comparison of moduli stacks. For its formulation, we introduce the class of "smoothoid spaces" which are perfectoid families of smooth rigid spaces, well-suited for studying relative $p$-adic Hodge theory. For any smoothoid space $Y$, we then construct a "sheafified non-abelian Hodge correspondence", namely a canonical isomorphism \[R^1\nu_{\ast}G\xrightarrow{\sim} \mathrm{Higgs}_G\] where $\nu:Y_{v}\to Y_{et}$ is the natural morphism of sites, and where $\mathrm{Higgs}_G$ is the sheaf of isomorphism classes of $G$-Higgs bundles on $Y_{et}$. We also prove a generalisation of Faltings' local $p$-adic Simpson correspondence to $G$-bundles and to perfectoid families. We apply these results to deduce $v$-descent criteria for \'etale $G$-bundles which show that $G$-Higgs bundles on $X$ form a small $v$-stack $\mathscr Higgs_G$. As a second application, we construct an analogue of the Hitchin morphism on the Betti side: a morphism $\mathscr Bun_{G,v}\to \mathcal A_G$ from the small $v$-stack of $v$-topological $G$-bundles on $X$ to the Hitchin base. This allows us to give a conjectural reformulation of the $p$-adic Simpson correspondence for $X$ in a more geometric and more canonical way, namely in terms of a comparison of Hitchin morphisms.


title: Cross-Attention of Disentangled Modalities for 3D Human Mesh Recovery with Transformers

abstract: Transformer encoder architectures have recently achieved state-of-the-art results on monocular 3D human mesh reconstruction, but they require a substantial number of parameters and expensive computations. Due to the large memory overhead and slow inference speed, it is difficult to deploy such models for practical use. In this paper, we propose a novel transformer encoder-decoder architecture for 3D human mesh reconstruction from a single image, called FastMETRO. We identify the performance bottleneck in the encoder-based transformers is caused by the token design which introduces high complexity interactions among input tokens. We disentangle the interactions via an encoder-decoder architecture, which allows our model to demand much fewer parameters and shorter inference time. In addition, we impose the prior knowledge of human body's morphological relationship via attention masking and mesh upsampling operations, which leads to faster convergence with higher accuracy. Our FastMETRO improves the Pareto-front of accuracy and efficiency, and clearly outperforms image-based methods on Human3.6M and 3DPW. Furthermore, we validate its generalizability on FreiHAND.


title: Multi-Objective Provisioning of Network Slices using Deep Reinforcement Learning

abstract: Network Slicing (NS) is crucial for efficiently enabling divergent network applications in next generation networks. Nonetheless, the complex Quality of Service (QoS) requirements and diverse heterogeneity in network services entails high computational time for Network Slice Provisioning (NSP) optimization. The legacy optimization methods are challenging to meet the low latency and high reliability of network applications. To this end, we model the real-time NSP as an Online Network Slice Provisioning (ONSP) problem. Specifically, we formulate the ONSP problem as an online Multi-Objective Integer Programming Optimization (MOIPO) problem. Then, we approximate the solution of the MOIPO problem by applying the Proximal Policy Optimization (PPO) method to the traffic demand prediction. Our simulation results show the effectiveness of the proposed method compared to the state-of-the-art MOIPO solvers with a lower SLA violation rate and network operation cost.


title: Weak Cosmic Censorship Conjecture in Myers-Perry Black Hole with Separability

abstract: We investigate the weak cosmic censorship conjecture in Myers-Perry black holes with arbitrary rotations in general dimensions based on the scattering of a massless scalar field. From the fluxes of the scalar field flowing into the black hole, the changes in mass and angular momenta of the black hole are obtained. However, the extremal and near-extremal black holes with the aforementioned changes are still black holes in the final state. Hence, the conjecture is valid for our investigation. Furthermore, we analyze the changes in the black hole from a thermodynamic perspective to highlight that the laws of thermodynamics support the conjecture.


title: Hyperspectral imaging of excitons within a moir\'e unit-cell with a sub-nanometer electron probe

abstract: Electronic and optical excitations in two-dimensional moir\'e systems are uniquely sensitive to local atomic registries, leading to materials- and twist-angle specific correlated electronic ground states with varied degree of localization. However, there has been no direct experimental correlation between the sub-nanometer structure and emergent excitonic transitions, comprising tightly-bound pairs of photoexcited electrons and holes. Here, we use cryogenic transmission electron microscopy and spectroscopy to simultaneously image the structural reconstruction and associated localization of the lowest-energy intralayer exciton in a rotationally aligned heterostructure of WS2 and WSe2 monolayers. In conjunction with optical spectroscopy and ab initio calculations, we determine that the exciton center-of-mass wavefunction is strongly modulated in space, confined to a radius of ~ 2 nm around the highest-energy stacking site in the moir\'e unit-cell, forming a triangular lattice. Our results provide direct evidence that atomic reconstructions lead to the strongly confining moir\'e potentials and that engineering strain at the nanoscale will enable new types of excitonic lattices.


title: Comparison and Bayesian Estimation of Feature Allocations

abstract: Feature allocation models postulate a sampling distribution whose parameters are derived from shared features. Bayesian models place a prior distribution on the feature allocation, and Markov chain Monte Carlo is typically used for model fitting, which results in thousands of feature allocations sampled from the posterior distribution. Based on these samples, we propose a method to provide a point estimate of a latent feature allocation. First, we introduce FARO loss, a function between feature allocations which satisfies quasi-metric properties and allows for comparing feature allocations with differing numbers of features. The loss involves finding the optimal feature ordering among all possible, but computational feasibility is achieved by framing this task as a linear assignment problem. We also introduce the FANGS algorithm to obtain a Bayes estimate by minimizing the Monte Carlo estimate of the posterior expected FARO loss using the available samples. FANGS can produce an estimate other than those visited in the Markov chain. We provide an investigation of existing methods and our proposed methods. Our loss function and search algorithm are implemented in the fangs package in R.


title: Will AI Make Cyber Swords or Shields: A few mathematical models of technological progress

abstract: We aim to demonstrate the value of mathematical models for policy debates about technological progress in cybersecurity by considering phishing, vulnerability discovery, and the dynamics between patching and exploitation. We then adjust the inputs to those mathematical models to match some possible advances in their underlying technology. We find that AI's impact on phishing may be overestimated but could lead to more attacks going undetected. Advances in vulnerability discovery have the potential to help attackers more than defenders. And automation that writes exploits is more useful to attackers than automation that writes patches, although advances that help deploy patches faster have the potential to be more impactful than either.


title: Self-stratifying turbidity currents

abstract: Turbidity currents, seafloor flows driven by the excess density of suspended particles, are key conveyors of sediment, nutrient, and pollutant from the continental margins to deep ocean, and pose critical submarine geohazard risks. Due to their vast scale and extreme aspect ratio, extant models are constrained to highly simplified depth-averaged theory and fail to capture observed behaviour. We propose a novel depth-averaged model capturing the internal energy balance and the vertical profiles of velocity, depth, and turbulent kinetic energy. The vertical profiles change as the current evolves: it self stratifies. This enables the critical new insight that turbidity current propagation is enabled by bidirectional cascades between mean-flow kinetic, turbulent, and gravitational potential energies. The model is generalised for fully confined `canyon' flow (no lateral overspill), and partially confined `channel' flow (lateral overspill over bounding levees). `Quasi-equilibrium' solutions for self-stratifying turbidity currents are constructed. These solutions are weekly unstable and connected to a slowly evolving manifold, wherein environmental currents are likely found. Equilibrium solutions, found for channel flow, are not stable either. Levee overspill removes dilute, low momentum fluid, rejuvenating the flow, which can cause a positive feedback loop where the fluid becomes increasingly concentrated. We test the new theory by modelling flow in the Congo canyon-channel system, for the first time simulating a supercritical turbidity current that travels 100s km to the distal reaches of a real-world system. It is shown that self-stratification enhances material and momentum fluxes, determining the environmental impacts and risks from such flows.


title: Declarative Smart Contracts

abstract: This paper presents DeCon, a declarative programming language for implementing smart contracts and specifying contract-level properties. Driven by the observation that smart contract operations and contract-level properties can be naturally expressed as relational constraints, DeCon models each smart contract as a set of relational tables that store transaction records. This relational representation of smart contracts enables convenient specification of contract properties, facilitates run-time monitoring of potential property violations, and brings clarity to contract debugging via data provenance. Specifically, a DeCon program consists of a set of declarative rules and violation query rules over the relational representation, describing the smart contract implementation and contract-level properties, respectively. We have developed a tool that can compile DeCon programs into executable Solidity programs, with instrumentation for run-time property monitoring. Our case studies demonstrate that DeCon can implement realistic smart contracts such as ERC20 and ERC721 digital tokens. Our evaluation results reveal the marginal overhead of DeCon compared to the open-source reference implementation, incurring 14% median gas overhead for execution, and another 16% median gas overhead for run-time verification.


title: Fast and scalable computation of shape-morphing nonlinear solutions with application to evolutional neural networks

abstract: We develop fast and scalable methods for computing reduced-order nonlinear solutions (RONS). RONS was recently proposed as a framework for reduced-order modeling of time-dependent partial differential equations (PDEs), where the modes depend nonlinearly on a set of time-varying parameters. RONS uses a set of ordinary differential equations (ODEs) for the parameters to optimally evolve the shape of the modes to adapt to the PDE's solution. This method has already proven extremely effective in tackling challenging problems such as advection-dominated flows and high-dimensional PDEs. However, as the number of parameters grow, integrating the RONS equation and even its formation become computationally prohibitive. Here, we develop three separate methods to address these computational bottlenecks: symbolic RONS, collocation RONS and regularized RONS. We demonstrate the efficacy of these methods on two examples: Fokker-Planck equation in high dimensions and the Kuramoto-Sivashinsky equation. In both cases, we observe that the proposed methods lead to several orders of magnitude in speedup and accuracy. Our proposed methods extend the applicability of RONS beyond reduced-order modeling by making it possible to use RONS for accurate numerical solution of linear and nonlinear PDEs. Finally, as a special case of RONS, we discuss its application to problems where the PDE's solution is approximated by a neural network, with the time-dependent parameters being the weights and biases of the network. The RONS equations dictate the optimal evolution of the network's parameters without requiring any training.


title: We Do Not Understand What It Says -- Studying Student Perceptions of Software Modelling

abstract: Background: Despite the potential benefits of software modelling, developers have shown a considerable reluctance towards its application. There is substantial existing research studying industrial use and technical challenges of modelling. However, there is a lack of detailed empirical work investigating how students perceive modelling. Aim: We investigate the perceptions of students towards modelling in a university environment. Method: We conducted a multiple case study with 5 cases (5 courses from 3 universities) and two units of analysis (student and instructor). We collected data through 21 semi-structured interviews, which we analysed using in-vivo coding and thematic analysis. Results: Students see some benefits of modelling, e.g., using models for planning and communicating within the group. However, several factors negatively influence their understanding of modelling, e.g., assignments with unclear expectations, irregular and insufficient feedback on their models, and lack of experience with the problem domains. Conclusions: Our findings help in understanding better why students struggle with software modelling, and might be reluctant to adopt it later on. This could help to improve education and training in software modelling, both at university and in industry. Specifically, we recommend that educators try to provide feedback beyond syntactical issues, and to consider using problem domains that students are knowledgeable about.


title: 3D-Morphomics, Morphological Features on CT scans for lung nodule malignancy diagnosis

abstract: Pathologies systematically induce morphological changes, thus providing a major but yet insufficiently quantified source of observables for diagnosis. The study develops a predictive model of the pathological states based on morphological features (3D-morphomics) on Computed Tomography (CT) volumes. A complete workflow for mesh extraction and simplification of an organ's surface is developed, and coupled with an automatic extraction of morphological features given by the distribution of mean curvature and mesh energy. An XGBoost supervised classifier is then trained and tested on the 3D-morphomics to predict the pathological states. This framework is applied to the prediction of the malignancy of lung's nodules. On a subset of NLST database with malignancy confirmed biopsy, using 3D-morphomics only, the classification model of lung nodules into malignant vs. benign achieves 0.964 of AUC. Three other sets of classical features are trained and tested, (1) clinical relevant features gives an AUC of 0.58, (2) 111 radiomics gives an AUC of 0.976, (3) radiologist ground truth (GT) containing the nodule size, attenuation and spiculation qualitative annotations gives an AUC of 0.979. We also test the Brock model and obtain an AUC of 0.826. Combining 3D-morphomics and radiomics features achieves state-of-the-art results with an AUC of 0.978 where the 3D-morphomics have some of the highest predictive powers. As a validation on a public independent cohort, models are applied to the LIDC dataset, the 3D-morphomics achieves an AUC of 0.906 and the 3D-morphomics+radiomics achieves an AUC of 0.958, which ranks second in the challenge among deep models. It establishes the curvature distributions as efficient features for predicting lung nodule malignancy and a new method that can be applied directly to arbitrary computer aided diagnosis task.


title: Statistics for stochastic differential equations and approximations of resolvent

abstract: The numerical evaluation of statistics plays a crucial role in statistical physics and its applied fields. It is possible to evaluate the statistics for a stochastic differential equation with Gaussian white noise via the corresponding backward Kolmogorov equation. The important notice is that there is no need to obtain the solution of the backward Kolmogorov equation on the whole domain; it is enough to evaluate a value of the solution at a certain point that corresponds to the initial coordinate for the stochastic differential equation. For this aim, an algorithm based on combinatorics has recently been developed. In this paper, we discuss a higher-order approximation of resolvent, and an algorithm based on a second-order approximation is proposed. The proposed algorithm shows a second-order convergence. Furthermore, the convergence property of the naive algorithms naturally leads to extrapolation methods; they work well to calculate a more accurate value with fewer computational costs. The proposed method is demonstrated with the Ornstein-Uhlenbeck process and the noisy van der Pol system.

categories: math.NA cond-mat.stat-mech cs.NA physics.data-an


title: Decentralized Computation Offloading With Cooperative UAVs: Multi-Agent Deep Reinforcement Learning Perspective

abstract: Limited computing resources of internet-of-things (IoT) nodes incur prohibitive latency in processing input data. This triggers new research opportunities toward task offloading systems where edge servers handle intensive computations of IoT devices. Deploying the computing servers at existing base stations may not be sufficient to support IoT nodes operating in a harsh environment. This requests mobile edge servers to be mounted on unmanned aerial vehicles (UAVs) that provide on-demand mobile edge computing (MEC) services. Time-varying offloading demands and mobility of UAVs need a joint design of the optimization variables for all time instances. Therefore, an online decision mechanism is essential for UAV-aided MEC networks. This article presents an overview of recent deep reinforcement learning (DRL) approaches where decisions about UAVs and IoT nodes are taken in an online manner. Specifically, joint optimization over task offloading, resource allocation, and UAV mobility is addressed from the DRL perspective. For the decentralized implementation, a multi-agent DRL method is proposed where multiple intelligent UAVs cooperatively determine their computations and communication policies without central coordination. Numerical results demonstrate that the proposed decentralized learning strategy is superior to existing DRL solutions. The proposed framework sheds light on the viability of the decentralized DRL techniques in designing self-organizing IoT networks.


title: A Criterion for the Stability of Planets in Chains of Resonances

abstract: Uncovering the formation process that reproduces the distinct properties of compact super-Earth exoplanet systems is a major goal of planet formation theory. The most successful model argues that non-resonant systems begin as resonant chains of planets that later experience a dynamical instability. However, both the boundary of stability in resonant chains and the mechanism of the instability itself are poorly understood. Previous work postulated that a secondary resonance between the fastest libration frequency and a difference in synodic frequencies destabilizes the system. Here, we use that hypothesis to produce a simple and general criterion for resonant chain stability that depends only on planet orbital periods and masses. We show that the criterion accurately predicts the maximum mass of planets in synthetic resonant chains up to six planets. More complicated resonant chains produced in population synthesis simulations are found to be less stable than expected, although our criterion remains useful and superior to machine learning models.


title: Toward Supporting Perceptual Complementarity in Human-AI Collaboration via Reflection on Unobservables

abstract: In many real world contexts, successful human-AI collaboration requires humans to productively integrate complementary sources of information into AI-informed decisions. However, in practice human decision-makers often lack understanding of what information an AI model has access to in relation to themselves. There are few available guidelines regarding how to effectively communicate about unobservables: features that may influence the outcome, but which are unavailable to the model. In this work, we conducted an online experiment to understand whether and how explicitly communicating potentially relevant unobservables influences how people integrate model outputs and unobservables when making predictions. Our findings indicate that presenting prompts about unobservables can change how humans integrate model outputs and unobservables, but do not necessarily lead to improved performance. Furthermore, the impacts of these prompts can vary depending on decision-makers' prior domain expertise. We conclude by discussing implications for future research and design of AI-based decision support tools.


title: Impactful Robots: Evaluating Visual and Audio Warnings to Help Users Brace for Impact in Human Robot Interaction

abstract: Wearable robotic devices have potential to assist and protect their users. Toward design of a Smart Helmet, this article examines the effectiveness of audio and visual warnings to help participants brace for impacts. A user study examines different warnings and impacts applied to users while running. Perturbation forces scaled to user mass are applied from different directions and user displacement is measured to characterize effectiveness of the warning. This is accomplished using the TreadPort Active Wind Tunnel adapted to deliver forward, rearward, right, or left perturbation forces at precise moments during the locomotor cycle. The article presents an overview of the system and demonstrates the ability to precisely deliver consistent warnings and perturbations during gait. User study results highlight effectiveness of visual and audio warnings to help users brace for impact, resulting in guidelines that will inform future human-robot warning systems.


title: Differentiable quantum chemistry with PySCF for molecules and materials at the mean-field level and beyond

abstract: We introduce an extension to the PySCF package which makes it automatically differentiable. The implementation strategy is discussed, and example applications are presented to demonstrate the automatic differentiation framework for quantum chemistry methodology development. These include orbital optimization, properties, excited-state energies, and derivative couplings, at the mean-field level and beyond, in both molecules and solids. We also discuss some current limitations and directions for future work.


title: Extraction of Coronary Vessels in Fluoroscopic X-Ray Sequences Using Vessel Correspondence Optimization

abstract: We present a method to extract coronary vessels from fluoroscopic x-ray sequences. Given the vessel structure for the source frame, vessel correspondence candidates in the subsequent frame are generated by a novel hierarchical search scheme to overcome the aperture problem. Optimal correspondences are determined within a Markov random field optimization framework. Post-processing is performed to extract vessel branches newly visible due to the inflow of contrast agent. Quantitative and qualitative evaluation conducted on a dataset of 18 sequences demonstrates the effectiveness of the proposed method.


title: Cosmic Ray Interstellar Propagation Tool using It\^o Calculus (criptic): software for simultaneous calculation of cosmic ray transport and observational signatures

abstract: We present criptic, the Cosmic Ray Interstellar Propagation Tool using It\^o Calculus, a new open-source software package to simulate the propagation of cosmic rays through the interstellar medium and to calculate the resulting observable non-thermal emission. Criptic solves the Fokker-Planck equation describing transport of cosmic rays on scales larger than that on which their pitch angles become approximately isotropic, and couples this to a rich and accurate treatment of the microphysical processes by which cosmic rays in the energy range $\sim$MeV to $\sim$PeV lose energy and produce emission. Criptic is deliberately agnostic as to both the cosmic ray transport model and the state of the background plasma through which cosmic rays travel. It can solve problems where cosmic rays stream, diffuse, or perform arbitrary combinations of both, and the coefficients describing these transport processes can be arbitrary functions of the background plasma state, the properties of the cosmic rays themselves, and local integrals of the cosmic ray field itself (e.g., the local cosmic ray pressure or pressure gradient). The code is parallelised using a hybrid OpenMP-MPI paradigm, allowing rapid calculations exploiting multiple cores and nodes on modern supercomputers. Here we describe the numerical methods used in the code, our treatment of the microphysical processes, and the set of code tests and validations we have performed.


title: A Lower Bound Theorem for strongly regular CW spheres with up to $2d+1$ vertices

abstract: In 1967, Gr\"unmbaum conjectured that any $d$-dimensional polytope with $d+s\leq 2d$ vertices has at least \[\phi_k(d+s,d) = {d+1 \choose k+1 }+{d \choose k+1 }-{d+1-s \choose k+1 } \] $k$-faces. This conjecture along with the characterization of equality cases was recently proved by the author. In this paper, several extensions of this result are established. Specifically, it is proved that lattices with the diamond property (for example, abstract polytopes) and $d+s\leq 2d$ atoms have at least $\phi_k(d+s,d)$ elements of rank $k+1$. Furthermore, in the case of face lattices of strongly regular CW complexes representing normal pseudomanifolds with up to $2d$ vertices, a characterization of equality cases is given. Finally, sharp lower bounds on the number of $k$-faces of strongly regular CW complexes representing normal pseudomanifolds with $2d+1$ vertices are obtained. These bounds are given by the face numbers of certain polytopes with $2d+1$ vertices.


title: A bijection for partitions simultaneously $s$-regular and $t$-distinct

abstract: In this note a bijection is constructed between the set of partitions of n simultaneously s-regular and t-distinct, and those simultaneously t-regular and s-distinct. Some implications of the map are discussed. As a generalized version of Glaisher's bijection, the map may be widely useful in other partition combinatorics. A previous conjecture concerning iterations of Glaisher's bijection is given a counterexample.


title: System Identification and Two-Degree-of-Freedom Control of Nonlinear, Viscoelastic Tissues

abstract: Objective: This paper presents a force control scheme for brief isotonic holds in an isometrically contracted muscle tissue, with minimal overshoot and settling time to measure its shortening velocity, a key parameter of muscle function. Methods: A two-degree-of-freedom control configuration, formed by a feedback controller and a feedforward controller, is explored. The feedback controller is a proportional-integral controller and the feedforward controller is designed using the inverse of a control-oriented model of muscle tissue. A generalized linear model and a nonlinear model of muscle tissue are explored using input-output data and system identification techniques. The force control scheme is tested on equine airway smooth muscle and its robustness confirmed with murine flexor digitorum brevis muscle. Results: Performance and repeatability of the force control scheme as well as the number of inputs and level of supervision required from the user were assessed with a series of experiments. The force control scheme was able to fulfill the stated control objectives in most cases, including the requirements for settling time and overshoot. Conclusion: The proposed control scheme is shown to enable automation of force control for characterizing muscle mechanics with minimal user input required. Significance: This paper leverages an inversion-based feedforward controller based on a nonlinear physiological model in a system identification context that is superior to classic linear system identification. The control scheme can be used as a steppingstone for generalized control of nonlinear, viscoelastic materials.


title: Dive into Machine Learning Algorithms for Influenza Virus Host Prediction with Hemagglutinin Sequences

abstract: Influenza viruses mutate rapidly and can pose a threat to public health, especially to those in vulnerable groups. Throughout history, influenza A viruses have caused pandemics between different species. It is important to identify the origin of a virus in order to prevent the spread of an outbreak. Recently, there has been increasing interest in using machine learning algorithms to provide fast and accurate predictions for viral sequences. In this study, real testing data sets and a variety of evaluation metrics were used to evaluate machine learning algorithms at different taxonomic levels. As hemagglutinin is the major protein in the immune response, only hemagglutinin sequences were used and represented by position-specific scoring matrix and word embedding. The results suggest that the 5-grams-transformer neural network is the most effective algorithm for predicting viral sequence origins, with approximately 99.54% AUCPR, 98.01% F1 score and 96.60% MCC at a higher classification level, and approximately 94.74% AUCPR, 87.41% F1 score and 80.79% MCC at a lower classification level.


title: Deep Learning-Based Acoustic Mosquito Detection in Noisy Conditions Using Trainable Kernels and Augmentations

abstract: In this paper, we demonstrate a unique recipe to enhance the effectiveness of audio machine learning approaches by fusing pre-processing techniques into a deep learning model. Our solution accelerates training and inference performance by optimizing hyper-parameters through training instead of costly random searches to build a reliable mosquito detector from audio signals. The experiments and the results presented here are part of the MOS C submission of the ACM 2022 challenge. Our results outperform the published baseline by 212% on the unpublished test set. We believe that this is one of the best real-world examples of building a robust bio-acoustic system that provides reliable mosquito detection in noisy conditions.


title: On restricted projections to planes in $\mathbb{R}^3$

abstract: Let $\gamma:[0,1]\rightarrow \mathbb{S}^{2}$ be a non-degenerate curve in $\mathbb{R}^3$, that is to say, $\det\big(\gamma(\theta),\gamma'(\theta),\gamma"(\theta)\big)\neq 0$. For each $\theta\in[0,1]$, let $V_\theta=\gamma(\theta)^\perp$ and let $\pi_\theta:\mathbb{R}^3\rightarrow V_\theta$ be the orthogonal projections. We prove that if $A\subset \mathbb{R}^3$ is a Borel set, then for a.e. $\theta\in [0,1]$ we have $\text{dim}(\pi_\theta(A))=\min\{2,\text{dim} A\}$. More generally, we prove an exceptional set estimate. For $A\subset\mathbb{R}^3$ and $0\le s\le 2$, define $E_s(A):=\{\theta\in[0,1]: \text{dim}(\pi_\theta(A))<s\}$. We have $\text{dim}(E_s(A))\le 1+s-\text{dim}(A)$. We also prove that if $\text{dim}(A)>2$, then for a.e. $\theta\in[0,1]$ we have $\mathcal{H}^2(\pi_\theta (A))>0$.


title: EEG2Mel: Reconstructing Sound from Brain Responses to Music

abstract: Information retrieval from brain responses to auditory and visual stimuli has shown success through classification of song names and image classes presented to participants while recording EEG signals. Information retrieval in the form of reconstructing auditory stimuli has also shown some success, but here we improve on previous methods by reconstructing music stimuli well enough to be perceived and identified independently. Furthermore, deep learning models were trained on time-aligned music stimuli spectrum for each corresponding one-second window of EEG recording, which greatly reduces feature extraction steps needed when compared to prior studies. The NMED-Tempo and NMED-Hindi datasets of participants passively listening to full length songs were used to train and validate Convolutional Neural Network (CNN) regressors. The efficacy of raw voltage versus power spectrum inputs and linear versus mel spectrogram outputs were tested, and all inputs and outputs were converted into 2D images. The quality of reconstructed spectrograms was assessed by training classifiers which showed 81% accuracy for mel-spectrograms and 72% for linear spectrograms (10% chance accuracy). Lastly, reconstructions of auditory music stimuli were discriminated by listeners at an 85% success rate (50% chance) in a two-alternative match-to-sample task.


title: Saddle Invariant Objects and their Global Manifolds in a Neighborhood of a Homoclinic Flip Bifurcation of Case B

abstract: When a real saddle equilibrium in a three-dimensional vector field undergoes a homoclinic bifurcation, the associated two-dimensional invariant manifold of the equilibrium closes on itself in an orientable or non-orientable way. We are interested in the interaction between global invariant manifolds of saddle equilibria and saddle periodic orbits for a vector field close to a codimension-two homoclinic flip bifurcation, that is, the point of transition between having an orientable or non-orientable two-dimensional surface. Here, we focus on homoclinic flip bifurcations of case $\textbf{B}$, which is characterized by the fact that the codimension-two point gives rise to an additional homoclinic bifurcation, namely, a two-homoclinic orbit. To explain how the global manifolds organize phase space, we consider Sandstede's three-dimensional vector field model, which features inclination and orbit flip bifurcations. We compute global invariant manifolds and their intersection sets with a suitable sphere, by means of continuation of suitable two-point boundary problems, to understand their role as separatrices of basins of attracting periodic orbits. We show representative images in phase space and on the sphere, such that we can identify topological properties of the manifolds in the different regions of parameter space and at the homoclinic bifurcations involved. We find heteroclinic orbits between saddle periodic orbits and equilibria, which give rise to regions of infinitely many heteroclinic orbits. Additional equilibria exist in Sandstede's model and we compactify phase space to capture how equilibria may emerge from or escape to infinity. We present images of these bifurcation diagrams, where we outline different configurations of equilibria close to homoclinic flip bifurcations of case $\textbf{B}$; furthermore, we characterize the dynamics of Sandstede's model at infinity.


title: Wavefront Sensing with a Coupled Cavity for Torsion-Bar Antenna

abstract: Torsion-Bar Antenna (TOBA) is a ground-based gravitational wave detector using torsion pendulums. TOBA can detect intermediate-mass black hole binary mergers, gravitational wave stochastic background, and Newtonian noise, and is useful for earthquake early warning. A prototype detector Phase-III TOBA with 35 cm-scale pendulums is under development to demonstrate noise reduction. The target strain sensitivity is set to $1\times10^{-15}\,{/\sqrt{\rm Hz}}$ between 0.1 Hz--10 Hz. A new scheme of wavefront sensing with a coupled cavity was proposed to measure the pendulum rotation as low as $5\times10^{-16}\,{{\rm rad}/\sqrt{\rm Hz}}$ for Phase-III TOBA. In our method, an auxiliary cavity is used to enhance the first-order Hermite--Gaussian mode in a main cavity. Experimental demonstration is ongoing to confirm the feasibility of angular signal amplification and establish a method for locking a coupled cavity. We evaluated the performance of the coupled cavity and concluded that angular signal amplification would be feasible with this sensor. The coupled cavity was successfully locked to the resonance by the Pound--Drever--Hall technique with two modulation frequencies.


title: Predicting the Output Structure of Sparse Matrix Multiplication with Sampled Compression Ratio

abstract: Sparse general matrix multiplication (SpGEMM) is a fundamental building block in numerous scientific applications. One critical task of SpGEMM is to compute or predict the structure of the output matrix (i.e., the number of nonzero elements per output row) for efficient memory allocation and load balance, which impact the overall performance of SpGEMM. Existing work either precisely calculates the output structure or adopts upper-bound or sampling-based methods to predict the output structure. However, these methods either take much execution time or are not accurate enough. In this paper, we propose a novel sampling-based method with better accuracy and low costs compared to the existing sampling-based method. The proposed method first predicts the compression ratio of SpGEMM by leveraging the number of intermediate products (denoted as FLOP) and the number of nonzero elements (denoted as NNZ) of the same sampled result matrix. And then, the predicted output structure is obtained by dividing the FLOP per output row by the predicted compression ratio. We also propose a reference design of the existing sampling-based method with optimized computing overheads to demonstrate the better accuracy of the proposed method. We construct 625 test cases with various matrix dimensions and sparse structures to evaluate the prediction accuracy. Experimental results show that the absolute relative errors of the proposed method and the reference design are 1.56\% and 8.12\%, respectively, on average, and 25\% and 156\%, respectively, in the worst case.


title: Arbitrarily Structured Laser Pulses

abstract: Spatiotemporal control refers to a class of optical techniques for structuring a laser pulse with coupled space-time dependent properties, including moving focal points, dynamic spot sizes, and evolving orbital angular momenta. Here we introduce the concept of arbitrarily structured laser (ASTRL) pulses which generalizes these techniques. The ASTRL formalism employs a superposition of prescribed pulses to create a desired electromagnetic field structure. Several examples illustrate the versatility of ASTRL pulses to address a range of laser-based applications.


title: Quantum correlations on the no-signaling boundary: self-testing and more

abstract: In device-independent quantum information, correlations between local measurement outcomes observed by spatially separated parties in a Bell test play a fundamental role. Even though it is long-known that the set of correlations allowed in quantum theory lies strictly between the Bell-local set and the no-signaling set, many questions concerning the geometry of the quantum set remain unanswered. Here, we revisit the problem of when the boundary of the quantum set coincides with the no-signaling set in the simplest Bell scenario. In particular, for each Class of these common boundaries containing $k$ zero probabilities, we provide a $(5-k)$-parameter family of quantum strategies realizing these (extremal) correlations. We further prove that self-testing is possible in all nontrivial Classes beyond the known examples of Hardy-type correlations, and provide numerical evidence supporting the robustness of these self-testing results. Candidates of one-parameter families of self-testing correlations from some of these Classes are identified. As a byproduct of our investigation, if the qubit strategies leading to an extremal nonlocal correlation are local-unitarily equivalent, a self-testing statement provably follows. Interestingly, all these self-testing correlations found on the no-signaling boundary are provably non-exposed. An analogous characterization for the set $\mathcal{M}$ of quantum correlations arising from finite-dimensional maximally entangled states is also provided. En route to establishing this last result, we show that all correlations of $\mathcal{M}$ in the simplest Bell scenario are attainable as convex combinations of those achievable using a Bell pair and projective measurements. In turn, we obtain the maximal Clauser-Horne-Shimony-Holt Bell inequality violation by any maximally entangled two-qudit state and a no-go theorem regarding the self-testing of such states.


title: Delta Function Scattering with Feynman Diagrams in 1d Quantum Mechanics

abstract: In this paper we will demonstrate the use of Feynman Diagrams for one dimensional scattering in quantum mechanics. We will evaluate the S-Matrix explicitly for the Dirac delta and finite wall potentials by summing the full series of Feynman diagrams, illustrating the spirit of perturbation theory. This technique may be useful in introductory quantum mechanics courses, and provides the student with intuition about conservation laws in the context of scattering problems by connecting Feynman diagrams, free propagation, and conservation of the corresponding observable. It also provides a toy model for calculating S-matrix elements in quantum field theory.


title: Fiber bundle topology optimization for surface flows

abstract: This paper presents a topology optimization approach for the surface flows on variable design domains. Via this approach, the matching between the pattern of a surface flow and the 2-manifold used to define the pattern can be optimized, where the 2-manifold is implicitly defined on another fixed 2-manifold named as the base manifold. The fiber bundle topology optimization approach is developed based on the description of the topological structure of the surface flow by using the differential geometry concept of the fiber bundle. The material distribution method is used to achieve the evolution of the pattern of the surface flow. The evolution of the implicit 2-manifold is realized via a homeomorphous map. The design variable of the pattern of the surface flow and that of the implicit 2-manifold are regularized by two sequentially implemented surface-PDE filters. The two surface-PDE filters are coupled, because they are defined on the implicit 2-manifold and base manifold, respectively. The surface Navier-Stokes equations, defined on the implicit 2-manifold, are used to describe the surface flow. The fiber bundle topology optimization problem is analyzed using the continuous adjoint method implemented on the first-order Sobolev space. Several numerical examples have been provided to demonstrate this approach, where the combination of the viscous dissipation and pressure drop is used as the design objective.


title: One-Pass Learning via Bridging Orthogonal Gradient Descent and Recursive Least-Squares

abstract: While deep neural networks are capable of achieving state-of-the-art performance in various domains, their training typically requires iterating for many passes over the dataset. However, due to computational and memory constraints and potential privacy concerns, storing and accessing all the data is impractical in many real-world scenarios where the data arrives in a stream. In this paper, we investigate the problem of one-pass learning, in which a model is trained on sequentially arriving data without retraining on previous datapoints. Motivated by the increasing use of overparameterized models, we develop Orthogonal Recursive Fitting (ORFit), an algorithm for one-pass learning which seeks to perfectly fit every new datapoint while changing the parameters in a direction that causes the least change to the predictions on previous datapoints. By doing so, we bridge two seemingly distinct algorithms in adaptive filtering and machine learning, namely the recursive least-squares (RLS) algorithm and orthogonal gradient descent (OGD). Our algorithm uses the memory efficiently by exploiting the structure of the streaming data via an incremental principal component analysis (IPCA). Further, we show that, for overparameterized linear models, the parameter vector obtained by our algorithm is what stochastic gradient descent (SGD) would converge to in the standard multi-pass setting. Finally, we generalize the results to the nonlinear setting for highly overparameterized models, relevant for deep learning. Our experiments show the effectiveness of the proposed method compared to the baselines.


title: Cascades of Global Bifurcations and Chaos near a Homoclinic Flip Bifurcation: A Case Study

abstract: We study a homoclinic flip bifurcation of case~\textbf{C}, where a homoclinic orbit to a saddle equilibrium with real eigenvalues changes from being orientable to nonorientable. This bifurcation is of codimension two, and it is the lowest codimension for a homoclinic bifurcation of a real saddle to generate chaotic behavior in the form of (suspended) Smale horseshoes and strange attractors. We present a detailed numerical case study of how global stable and unstable manifolds of the saddle equilibrium and of bifurcating periodic orbits interact close to such bifurcation. This is a step forward in understanding the generic cases of homoclinic flip bifurcations, which started with the study of the simpler cases \textbf{A} and \textbf{B}. In a three-dimensional vector field due to Sandstede, we compute relevant bifurcation curves in the two-parameter bifurcation diagram near the central codimension-two bifurcation in unprecedented detail. We present representative images of invariant manifolds, computed with a boundary value problem setup, both in phase space and as intersection sets with a suitable sphere. In this way, we are able to identify infinitely many cascades of homoclinic bifurcations that accumulate on specific codimension-one heteroclinic bifurcations between an equilibrium and various saddle periodic orbits. Our computations confirm what is known from theory but also show the existence of bifurcation phenomena that were not considered before. Specifically, we identify the boundaries of the Smale--horseshoe region in the parameter plane, one of which creates a strange attractor that resembles the R\"{o}ssler attractor. The computation of a winding number reveals a complicated overall bifurcation structure in the wider parameter plane that involves infinitely many further homoclinic flip bifurcations associated with so-called homoclinic bubbles.


title: Burnability of Double Spiders and Path Forests

abstract: The burning number of a graph can be used to measure the spreading speed of contagion in a network. The burning number conjecture is arguably the main unresolved conjecture related to this graph parameter, which can be settled by showing that every tree of order $m^2$ has burning number at most $m$. This is known to hold for many classes of trees, including spiders - trees with exactly one vertex of degree greater than two. In fact, it has been verified that certain spiders of order slightly larger than $m^2$ also have burning numbers at most $m$, a result that has then been conjectured to be true for all trees. The first focus of this paper is to verify this slightly stronger conjecture for double spiders - trees with two vertices of degrees at least three and they are adjacent. Our other focus concerns the burning numbers of path forests, a class of graphs in which their burning numbers are naturally related to that of spiders and double spiders. Here, our main result shows that a path forest of order $m^2$ with a sufficiently long shortest path has burning number exactly $m$, the smallest possible for any path forest of the same order.


title: Imbalanced Semi-supervised Learning with Bias Adaptive Classifier

abstract: Pseudo-labeling has proven to be a promising semi-supervised learning (SSL) paradigm. Existing pseudo-labeling methods commonly assume that the class distributions of training data are balanced. However, such an assumption is far from realistic scenarios and thus severely limits the performance of current pseudo-labeling methods under the context of class-imbalance. To alleviate this problem, we design a bias adaptive classifier that targets the imbalanced SSL setups. The core idea is to automatically assimilate the training bias caused by class imbalance via the bias adaptive classifier, which is composed of a novel bias attractor and the original linear classifier. The bias attractor is designed as a light-weight residual network and optimized through a bi-level learning framework. Such a learning strategy enables the bias adaptive classifier to fit imbalanced training data, while the linear classifier can provide unbiased label prediction for each class. We conduct extensive experiments under various imbalanced semi-supervised setups, and the results demonstrate that our method can be applied to different pseudo-labeling models and is superior to current state-of-the-art methods.


title: Measuring Difficulty of Novelty Reaction

abstract: Current AI systems are designed to solve close-world problems with the assumption that the underlying world is remaining more or less the same. However, when dealing with real-world problems such assumptions can be invalid as sudden and unexpected changes can occur. To effectively deploy AI-powered systems in the real world, AI systems should be able to deal with open-world novelty quickly. Inevitably, dealing with open-world novelty raises an important question of novelty difficulty. Knowing whether one novelty is harder to deal with than another, can help researchers to train their systems systematically. In addition, it can also serve as a measurement of the performance of novelty robust AI systems. In this paper, we propose to define the novelty reaction difficulty as a relative difficulty of performing the known task after the introduction of the novelty. We propose a universal method that can be applied to approximate the difficulty. We present the approximations of the difficulty using our method and show how it aligns with the results of the evaluation of AI agents designed to deal with novelty.


title: Heterotic global anomalies and torsion Witten index

abstract: We study the structure of anomalies in general heterotic string theories by considering general 2-dimensional $\mathcal{N}=(0,1)$ supersymmetric quantum field theories (SQFTs), without assuming conformal invariance nor the correct central charges. First we generalize the precise notion of the $B$-field introduced by Witten. Then we express the target space anomalies by invariants of SQFTs. Perturbative anomalies correspond to the Witten index of some class of SQFTs, while global anomalies correspond to a torsion version of the Witten index. The torsion index gives some of the invariants of SQFTs suggested by topological modular forms, and is expected to be zero for the cases that are relevant to actual heterotic string theories.


title: Caching Scalable Videos in the Edge of Wireless Cellular Networks

abstract: By pre-fetching popular videos into the local caches of edge nodes, wireless edge caching provides an effective means of reducing repeated content deliveries. To meet the various viewing quality requirements of multimedia users, scalable video coding (SVC) is integrated with edge caching, where the constituent layers of scalable videos are flexibly cached and transmitted to users. In this article, we discuss the challenges arising from the different content popularity and various viewing requirements of scalable videos, and present the diverse types of cached contents as well as the corresponding transmission schemes. We provide an overview of the existing caching schemes, and summarize the criteria of making caching decisions. A case study is then presented, where the transmission delay is quantified and used as the performance metric. Simulation results confirm that giving cognizance to the realistic requirements of end users is capable of significantly reducing the content transmission delay, compared to the existing caching schemes operating without SVC. The results also verify that the transmission delay of the proposed random caching scheme is lower than that of the caching scheme which only provides local caching gain.


title: Early results from GLASS-JWST XVI: Discovering a bluer z~4-7 Universe through UV slopes

abstract: We use the GLASS-JWST Early Release Science NIRCam parallel observations to provide a first view of the UV continuum properties of NIRCam/F444W selected galaxies at 4<z<7. By combining multiwavelength NIRCam observations, we constrain the UV continuum slope for a sample of 401 galaxies with stringent quality controls. We find that >99% of the galaxies are blue star-forming galaxies with very low levels of dust (Avbeta~0.01+/-0.33). We find no statistically significant correlation for UV slope with redshift or UV magnitude. However, we find that in general galaxies at higher redshifts and fainter UV magnitudes have steeper UV slopes. We find a statistically significant correlation for UV slope with stellar mass, with galaxies with higher stellar mass showing shallower UV slopes. Individual fits to some of our galaxies reach the bluest UV slopes of beta~-3.1 allowed by stellar population models used in this analysis. Therefore, it is likely that stellar population models with higher amount of Lyman continuum leakage, AGN effects, and/or Population III contributions are required to accurately reproduce the rest-UV and optical properties of some of our bluest galaxies. This dust-free early view confirms that our current cosmological understanding of gradual mass + dust buildup of galaxies with cosmic time is largely accurate to describe the ~0.7-1.5 Gyr age window of the Universe. The abundance of a large population of UV faint dust-poor systems may point to a dominance of low-mass galaxies at z>6 playing a vital role in cosmic reionization.


title: DnSwin: Toward Real-World Denoising via Continuous Wavelet Sliding-Transformer

abstract: Real-world image denoising is a practical image restoration problem that aims to obtain clean images from in-the-wild noisy inputs. Recently, the Vision Transformer (ViT) has exhibited a strong ability to capture long-range dependencies, and many researchers have attempted to apply the ViT to image denoising tasks. However, a real-world image is an isolated frame that makes the ViT build long-range dependencies based on the internal patches, which divides images into patches, disarranges noise patterns and damages gradient continuity. In this article, we propose to resolve this issue by using a continuous Wavelet Sliding-Transformer that builds frequency correspondences under real-world scenes, called DnSwin. Specifically, we first extract the bottom features from noisy input images by using a convolutional neural network (CNN) encoder. The key to DnSwin is to extract high-frequency and low-frequency information from the observed features and build frequency dependencies. To this end, we propose a Wavelet Sliding-Window Transformer (WSWT) that utilizes the discrete wavelet transform (DWT), self-attention and the inverse DWT (IDWT) to extract deep features. Finally, we reconstruct the deep features into denoised images using a CNN decoder. Both quantitative and qualitative evaluations conducted on real-world denoising benchmarks demonstrate that the proposed DnSwin performs favorably against the state-of-the-art methods.


title: HDSDP: Software for Semidefinite Programming

abstract: HDSDP is a numerical software solving the semidefinite programming problems. The main framework of HDSDP resembles the dual-scaling interior point solver DSDP [BY2008] and several new features, including a dual method based on the simplified homogeneous self-dual embedding, have been implemented. The embedding technique enhances stability of the dual method and several new heuristics and computational techniques are designed to accelerate its convergence. HDSDP aims to show how dual-scaling algorithm benefits from the self-dual embedding and it is developed in parallel to DSDP5.8. Numerical experiments over several classical benchmark datasets exhibit its robustness and efficiency, and particularly its advantages on SDP instances featuring low-rank structure and sparsity. HDSDP is open-sourced under MIT license and available at https://github.com/COPT-Public/HDSDP.


title: Robust Transmit Beamforming for Secure Integrated Sensing and Communication

abstract: This paper studies a downlink secure integrated sensing and communication (ISAC) system, in which a multi-antenna base station (BS) transmits confidential messages to a single-antenna communication user (CU) while performing sensing on targets that may act as suspicious eavesdroppers. To ensure the quality of target sensing while preventing their potential eavesdropping, the BS combines the transmit confidential information signals with additional dedicated sensing signals, which play a dual role of artificial noise (AN) for degrading the qualities of eavesdropping channels. Under this setup, we jointly design the transmit information and sensing beamforming, with the objective of minimizing the weighted sum of beampattern matching errors and cross-correlation patterns for sensing subject to secure communication constraints. The robust design takes into account the channel state information (CSI) imperfectness of the eavesdroppers in two practical CSI error scenarios. First, we consider the scenario with bounded CSI errors of eavesdroppers, in which the worst-case secrecy rate constraint is adopted to ensure secure communication performance. In this scenario, we present the optimal solution to the worst-case secrecy rate constrained sensing beampattern optimization problem, by adopting the techniques of S-procedure, semi-definite relaxation (SDR), and a one-dimensional (1D) search, for which the tightness of the SDR is rigorously proved. Next, we consider the scenario with Gaussian CSI errors of eavesdroppers, in which the secrecy outage probability constraint is adopted. In this scenario, we present an efficient algorithm to solve the more challenging secrecy outage-constrained sensing beampattern optimization problem, by exploiting the convex restriction technique based on the Bernstein-type inequality, together with the SDR and 1D search.


title: Development of Fast and Precise Scan Mirror Mechanism for an Airborne Solar Telescope

abstract: We developed a scan mirror mechanism (SMM) that enable a slit-based spectrometer or spectropolarimeter to precisely and quickly map an astronomical object. The SMM, designed to be installed in the optical path preceding the entrance slit, tilts a folding mirror and then moves the reflected image laterally on the slit plane, thereby feeding a different one-dimensional image to be dispersed by the spectroscopic equipment. In general, the SMM is required to scan quickly and broadly while precisely placing the slit position across the field-of-view (FOV). These performances are highly in demand for near-future observations, such as studies on the magnetohydrodynamics of the photosphere and the chromosphere. Our SMM implements a closed-loop control system by installing electromagnetic actuators and gap-based capacitance sensors. Our optical test measurements confirmed that the SMM fulfils the following performance criteria: i) supreme scan-step uniformity (linearity of 0.08%) across the wide scan range (${\pm}$1005 arcsec), ii) high stability (3${\sigma}$ = 0.1 arcsec), where the angles are expressed in mechanical angle, and iii) fast stepping speed (26 ms). The excellent capability of the SMM will be demonstrated soon in actual use by installing the mechanism for a near-infrared spectropolarimeter onboard the balloon-borne solar observatory for the third launch, Sunrise III.


title: Diversity Boosted Learning for Domain Generalization with Large Number of Domains

abstract: Machine learning algorithms minimizing the average training loss usually suffer from poor generalization performance due to the greedy exploitation of correlations among the training data, which are not stable under distributional shifts. It inspires various works for domain generalization (DG), where a series of methods, such as Causal Matching and FISH, work by pairwise domain operations. They would need $O(n^2)$ pairwise domain operations with $n$ domains, where each one is often highly expensive. Moreover, while a common objective in the DG literature is to learn invariant representations against domain-induced spurious correlations, we highlight the importance of mitigating spurious correlations caused by objects. Based on the observation that diversity helps mitigate spurious correlations, we propose a Diversity boosted twO-level saMplIng framework (DOMI) utilizing Determinantal Point Processes (DPPs) to efficiently sample the most informative ones among large number of domains. We show that DOMI helps train robust models against spurious correlations from both domain-side and object-side, substantially enhancing the performance of the backbone DG algorithms on rotated MNIST, rotated Fashion MNIST, and iwildcam datasets.


title: MKANet: A Lightweight Network with Sobel Boundary Loss for Efficient Land-cover Classification of Satellite Remote Sensing Imagery

abstract: Land cover classification is a multi-class segmentation task to classify each pixel into a certain natural or man-made category of the earth surface, such as water, soil, natural vegetation, crops, and human infrastructure. Limited by hardware computational resources and memory capacity, most existing studies preprocessed original remote sensing images by down sampling or cropping them into small patches less than 512*512 pixels before sending them to a deep neural network. However, down sampling images incurs spatial detail loss, renders small segments hard to discriminate, and reverses the spatial resolution progress obtained by decades of years of efforts. Cropping images into small patches causes a loss of long-range context information, and restoring the predicted results to their original size brings extra latency. In response to the above weaknesses, we present an efficient lightweight semantic segmentation network termed MKANet. Aimed at the characteristics of top view high-resolution remote sensing imagery, MKANet utilizes sharing kernels to simultaneously and equally handle ground segments of inconsistent scales, and also employs parallel and shallow architecture to boost inference speed and friendly support image patches more than 10X larger. To enhance boundary and small segments discrimination, we also propose a method that captures category impurity areas, exploits boundary information and exerts an extra penalty on boundaries and small segment misjudgment. Both visual interpretations and quantitative metrics of extensive experiments demonstrate that MKANet acquires state-of-the-art accuracy on two land-cover classification datasets and infers 2X faster than other competitive lightweight networks. All these merits highlight the potential of MKANet in practical applications.


title: Generative Steganography Network

abstract: Steganography usually modifies cover media to embed secret data. A new steganographic approach called generative steganography (GS) has emerged recently, in which stego images (images containing secret data) are generated from secret data directly without cover media. However, existing GS schemes are often criticized for their poor performances. In this paper, we propose an advanced generative steganography network (GSN) that can generate realistic stego images without using cover images. We firstly introduce the mutual information mechanism in GS, which helps to achieve high secret extraction accuracy. Our model contains four sub-networks, i.e., an image generator ($G$), a discriminator ($D$), a steganalyzer ($S$), and a data extractor ($E$). $D$ and $S$ act as two adversarial discriminators to ensure the visual quality and security of generated stego images. $E$ is to extract the hidden secret from generated stego images. The generator $G$ is flexibly constructed to synthesize either cover or stego images with different inputs. It facilitates covert communication by concealing the function of generating stego images in a normal generator. A module named secret block is designed to hide secret data in the feature maps during image generation, with which high hiding capacity and image fidelity are achieved. In addition, a novel hierarchical gradient decay (HGD) skill is developed to resist steganalysis detection. Experiments demonstrate the superiority of our work over existing methods.


title: Extraction of Vascular Wall in Carotid Ultrasound via a Novel Boundary-Delineation Network

abstract: Ultrasound imaging plays an important role in the diagnosis of vascular lesions. Accurate segmentation of the vascular wall is important for the prevention, diagnosis and treatment of vascular diseases. However, existing methods have inaccurate localization of the vascular wall boundary. Segmentation errors occur in discontinuous vascular wall boundaries and dark boundaries. To overcome these problems, we propose a new boundary-delineation network (BDNet). We use the boundary refinement module to re-delineate the boundary of the vascular wall to obtain the correct boundary location. We designed the feature extraction module to extract and fuse multi-scale features and different receptive field features to solve the problem of dark boundaries and discontinuous boundaries. We use a new loss function to optimize the model. The interference of class imbalance on model optimization is prevented to obtain finer and smoother boundaries. Finally, to facilitate clinical applications, we design the model to be lightweight. Experimental results show that our model achieves the best segmentation results and significantly reduces memory consumption compared to existing models for the dataset.


title: Saturation of Rogue Wave Amplification over Steep Shoals

abstract: The shoaling of surface gravity waves has been acknowledged as a mechanism of rogue wave formation. This problem is generally reduced to water waves passing over a step, but non-equilibrium physics allows finite slopes to be considered. Using non-homogeneous spectral analysis of a spatially varying energy density ratio we describe the dependence of the amplification as a function of the slope steepness. Increasing the slope increases the amplification of rogue wave probability, until this amplification saturates at steep slopes. In contrast, the increase of the down slope of a subsequent de-shoal zone leads to a monotonic decrease in the rogue wave probability, thus featuring a strong asymmetry between shoaling and de-shoaling zones. Due to the saturation of the rogue wave amplification at steep slopes, our model is applicable beyond its range of validity up to a step, thus elucidating why previous models based on a step could describe the physics of steep finite slopes. We also explain why the rogue wave probability increases over a shoal while it is lower in shallower water.


title: Engineering faster double-array Aho-Corasick automata

abstract: Multiple pattern matching in strings is a fundamental problem in text processing applications such as regular expressions or tokenization. This paper studies efficient implementations of double-array Aho-Corasick automata (DAACs), data structures for quickly performing the multiple pattern matching. The practical performance of DAACs is improved by carefully designing the data structure, and many implementation techniques have been proposed thus far. A problem in DAACs is that their ideas are not aggregated. Since comprehensive descriptions and experimental analyses are unavailable, engineers face difficulties in implementing an efficient DAAC. In this paper, we review implementation techniques for DAACs and provide a comprehensive description of them. We also propose several new techniques for further improvement. We conduct exhaustive experiments through real-world datasets and reveal the best combination of techniques to achieve a higher performance in DAACs. The best combination is different from those used in the most popular libraries of DAACs, which demonstrates that their performance can be further enhanced. On the basis of our experimental analysis, we developed a new Rust library for fast multiple pattern matching using DAACs, named Daachorse, as open-source software at https://github.com/daac-tools/daachorse. Experiments demonstrate that Daachorse outperforms other AC-automaton implementations, indicating its suitability as a fast alternative for multiple pattern matching in many applications.


title: A Repulsive Force Unit for Garment Collision Handling in Neural Networks

abstract: Despite recent success, deep learning-based methods for predicting 3D garment deformation under body motion suffer from interpenetration problems between the garment and the body. To address this problem, we propose a novel collision handling neural network layer called Repulsive Force Unit (ReFU). Based on the signed distance function (SDF) of the underlying body and the current garment vertex positions, ReFU predicts the per-vertex offsets that push any interpenetrating vertex to a collision-free configuration while preserving the fine geometric details. We show that ReFU is differentiable with trainable parameters and can be integrated into different network backbones that predict 3D garment deformations. Our experiments show that ReFU significantly reduces the number of collisions between the body and the garment and better preserves geometric details compared to prior methods based on collision loss or post-processing optimization.


title: Model Predictive Control of Nonlinear Latent Force Models: A Scenario-Based Approach

abstract: Control of nonlinear uncertain systems is a common challenge in the robotics field. Nonlinear latent force models, which incorporate latent uncertainty characterized as Gaussian processes, carry the promise of representing such systems effectively, and we focus on the control design for them in this work. To enable the design, we adopt the state-space representation of a Gaussian process to recast the nonlinear latent force model and thus build the ability to predict the future state and uncertainty concurrently. Using this feature, a stochastic model predictive control problem is formulated. To derive a computational algorithm for the problem, we use the scenario-based approach to formulate a deterministic approximation of the stochastic optimization. We evaluate the resultant scenario-based model predictive control approach through a simulation study based on motion planning of an autonomous vehicle, which shows much effectiveness. The proposed approach can find prospective use in various other robotics applications.


title: Unmatched Control Barrier Functions: Certainty Equivalence Adaptive Safety

abstract: This work applies universal adaptive control to control barrier functions to achieve forward invariance of a safe set despite the presence of unmatched parametric uncertainties. The approach combines two ideas. The first is to construct a family of control barrier functions that ensures the system is safe for all possible models. The second is to use online parameter adaptation to methodically select a control barrier function and corresponding safety controller from the allowable set. While such a combination does not necessarily yield forward invariance without additional requirements on the barrier function, we show that such invariance can be established by simply adjusting the adaptation gain online. It is also shown that the developed method is applicable to systems with safety constraints that have a relative degree greater than one. This work thus represents the first adaptive safety approach that successfully employs the certainty equivalence principle for general state constraints without sacrificing safety guarantees.


title: Bit Complexity of Polynomial GCD on Sparse Representation

abstract: An input- and output-sensitive GCD algorithm for multi-variate polynomials over finite fields is proposed by combining the modular method with the Ben-Or/Tiwari sparse interpolation. The bit complexity of the algorithm is given and is sensitive to the sparse representation, while for previous sparse GCD algorithms, the complexities were given only in some special cases. It is shown that the new algorithm is superior both in theory and in practice comparing with existing GCD algorithms: the complexity in the degree is decreased from quadratic to linear and the running times are decreased by 1-3 orders of magnitude in various benchmarks.


title: Ballistic guided electrons against disorder in graphene nanoribbons

abstract: Graphene nanoribbons (GNRs) are natural waveguides for electrons in graphene. Nevertheless, unlike micron-sized samples, conductance is nearly suppressed in these narrow graphene stripes, mainly due to scattering with edge disorder generated during synthesis or cut. A possible way to circumvent this effect is to define an internal waveguide that isolates specific modes from the edge disorder and allows ballistic conductance. There are several proposals for defining waveguides in graphene; in this manuscript, we consider strain folds and scalar potentials and numerically evaluate these proposals' performance against edge and bulk disorder. Using the Green's function approach, we calculate conductance and the local density of states (LDOS) of zigzag GNRs and characterize the performance of these different physical waveguiding effects in both types of disorder. We found a general improvement in the electronic conductance of GNR due to the presence of the internal waveguiding, with the emergence of plateaus with quasi-ballistic properties and robustness against edge disorder. These findings are up to be applied in modern nanotechnology and being experimentally tested.


title: Characterization of the John A. Galt telescope for radio holography with CHIME

abstract: The Canadian Hydrogen Intensity Mapping Experiment (CHIME) will measure the 21 cm emission of astrophysical neutral hydrogen to probe large scale structure at redshifts z=0.8-2.5. However, detecting the 21 cm signal beneath substantially brighter foregrounds remains a key challenge. Due to the high dynamic range between 21 cm and foreground emission, an exquisite calibration of instrument systematics, notably the telescope beam, is required to successfully filter out the foregrounds. One technique being used to achieve a high fidelity measurement of the CHIME beam is radio holography, wherein signals from each of CHIME's analog inputs are correlated with the signal from a co-located reference antenna, the 26 m John A. Galt telescope, as the 26 m Galt telescope tracks a bright point source transiting over CHIME. In this work we present an analysis of several of the Galt telescope's properties. We employ driftscan measurements of several bright sources, along with background estimates derived from the 408 MHz Haslam map, to estimate the Galt system temperature. To determine the Galt telescope's beam shape, we perform and analyze a raster scan of the bright radio source Cassiopeia A. Finally, we use early holographic measurements to measure the Galt telescope's geometry with respect to CHIME for the holographic analysis of the CHIME and Galt interferometric data set.


title: p-Adic Statistical Field Theory and Deep Belief Networks

abstract: In this work we initiate the study of the correspondence between p-adic statistical field theories (SFTs) and neural networks (NNs). In general quantum field theories over a p-adic spacetime can be formulated in a rigorous way. Nowadays these theories are considered just mathematical toy models for understanding the problems of the true theories. In this work we show these theories are deeply connected with the deep belief networks (DBNs). Hinton et al. constructed DBNs by stacking several restricted Boltzmann machines (RBMs). The purpose of this construction is to obtain a network with a hierarchical structure (a deep learning architecture). An RBM corresponds to a certain spin glass, we argue that a DBN should correspond to an ultrametric spin glass. A model of such a system can be easily constructed by using p-adic numbers. In our approach, a p-adic SFT corresponds to a p-adic continuous DBN, and a discretization of this theory corresponds to a p-adic discrete DBN. We show that these last machines are universal approximators. In the p-adic framework, the correspondence between SFTs and NNs is not fully developed. We point out several open problems.


title: Certified Everlasting Functional Encryption

abstract: Computational security in cryptography has a risk that computational assumptions underlying the security are broken in the future. One solution is to construct information-theoretically-secure protocols, but many cryptographic primitives are known to be impossible (or unlikely) to have information-theoretical security even in the quantum world. A nice compromise (intrinsic to quantum) is certified everlasting security, which roughly means the following. A receiver with possession of quantum encrypted data can issue a certificate that shows that the receiver has deleted the encrypted data. If the certificate is valid, the security is guaranteed even if the receiver becomes computationally unbounded. Although several cryptographic primitives, such as commitments and zero-knowledge, have been made certified everlasting secure, there are many other important primitives that are not known to be certified everlasting secure. In this paper, we introduce certified everlasting FE. In this primitive, the receiver with the ciphertext of a message m and the functional decryption key of a function f can obtain f(m) and nothing else. The security holds even if the adversary becomes computationally unbounded after issuing a valid certificate. We, first, construct certified everlasting FE for P/poly circuits where only a single key query is allowed for the adversary. We, then, extend it to q-bounded one for NC1 circuits where q-bounded means that q key queries are allowed for the adversary with an a priori bounded polynomial q. For the construction of certified everlasting FE, we introduce and construct certified everlasting versions of secret-key encryption, public-key encryption, receiver non-committing encryption, and a garbling scheme, which are of independent interest.


title: Real Image Restoration via Structure-preserving Complementarity Attention

abstract: Since convolutional neural networks perform well in learning generalizable image priors from large-scale data, these models have been widely used in image denoising tasks. However, the computational complexity increases dramatically as well on complex model. In this paper, We propose a novel lightweight Complementary Attention Module, which includes a density module and a sparse module, which can cooperatively mine dense and sparse features for feature complementary learning to build an efficient lightweight architecture. Moreover, to reduce the loss of details caused by denoising, this paper constructs a gradient-based structure-preserving branch. We utilize gradient-based branches to obtain additional structural priors for denoising, and make the model pay more attention to image geometric details through gradient loss optimization.Based on the above, we propose an efficiently Unet structured network with dual branch, the visual results show that can effectively preserve the structural details of the original image, we evaluate benchmarks including SIDD and DND, where SCANet achieves state-of-the-art performance in PSNR and SSIM while significantly reducing computational cost.


title: Towards overcoming data scarcity in materials science: unifying models and datasets with a mixture of experts framework

abstract: While machine learning has emerged in recent years as a useful tool for rapid prediction of materials properties, generating sufficient data to reliably train models without overfitting is still impractical for many applications. Towards overcoming this limitation, we present a general framework for leveraging complementary information across different models and datasets for accurate prediction of data scarce materials properties. Our approach, based on a machine learning paradigm called mixture of experts, outperforms pairwise transfer learning on 16 of 19 materials property regression tasks, performing comparably on the remaining three. Unlike pairwise transfer learning, our framework automatically learns to combine information from multiple source tasks in a single training run, alleviating the need for brute-force experiments to determine which source task to transfer from. The approach also provides an interpretable, model-agnostic, and scalable mechanism to transfer information from an arbitrary number of models and datasets to any downstream property prediction task. We anticipate the performance of our framework will further improve as better model architectures, new pre-training tasks, and larger materials datasets are developed by the community.


title: Feature Extraction, Modulation and Recognition of Mixed Signal Based on SVM

abstract: This paper introduces likelihood-based and feature-based modulation recognition methods. In the feature-based modulation simulation part, instantaneous feature, cyclic spectrum, high-order cumulants, and wavelet transform features are used as the entry point, and six digital signals including 2ASK, 4ASK, BPSK, QPSK, 2FSK and 4FSK are simulated, showing the difference of signals in multiple dimensions


title: SuperVessel: Segmenting High-resolution Vessel from Low-resolution Retinal Image

abstract: Vascular segmentation extracts blood vessels from images and serves as the basis for diagnosing various diseases, like ophthalmic diseases. Ophthalmologists often require high-resolution segmentation results for analysis, which leads to super-computational load by most existing methods. If based on low-resolution input, they easily ignore tiny vessels or cause discontinuity of segmented vessels. To solve these problems, the paper proposes an algorithm named SuperVessel, which gives out high-resolution and accurate vessel segmentation using low-resolution images as input. We first take super-resolution as our auxiliary branch to provide potential high-resolution detail features, which can be deleted in the test phase. Secondly, we propose two modules to enhance the features of the interested segmentation region, including an upsampling with feature decomposition (UFD) module and a feature interaction module (FIM) with a constraining loss to focus on the interested features. Extensive experiments on three publicly available datasets demonstrate that our proposed SuperVessel can segment more tiny vessels with higher segmentation accuracy IoU over 6%, compared with other state-of-the-art algorithms. Besides, the stability of SuperVessel is also stronger than other algorithms. We will release the code after the paper is published.


title: Review of research on lunar dust dynamics

abstract: Lunar dust particles are generated by hypervelocity impacts of interplanetary micron-meteoroids onto the surface of the Moon, which seriously threatens the security of explorations. Studying the lunar dust dynamics helps to understand the origin and migration mechanism of lunar dust, and to provide the theoretical guidelines for the orbital design of lunar space missions. This paper reviews previous research on the lunar dust dynamics, including the interplanetary impactor environment at the Earth-Moon system, the mass production rate, the initial mass, speed and ejecta angle distributions, the related space exploration missions, the dynamical model and spatial distribution of dust particles originating from the lunar surface in the whole Earth-Moon system.


title: An Optimal Multi-UAV Deployment Model for UAV-assisted Smart Farming

abstract: Next-generation wireless networks will deploy UAVs dynamically as aerial base stations (UAV-BSs) to boost the wireless network coverage in the out of reach areas. To provide an efficient service in stochastic environments, the optimal number of UAV-BSs, their locations, and trajectories must be specified appropriately for different scenarios. Such deployment requires an intelligent decision-making mechanism that can deal with various variables at different times. This paper proposes a multi UAV-BS deployment model for smart farming, formulated as a Multi-Criteria Decision Making (MCDM) method to find the optimal number of UAV-BSs to monitor animals' behavior. This model considers the effect of UAV-BSs' signal interference and path loss changes caused by users' mobility to maximize the system's efficiency. To avoid collision among UAV-BSs, we split the considered area into several clusters, each covered by a UAV-BS. Our simulation results suggest up to 11x higher deployment efficiency than the benchmark clustering algorithm.


title: On virtual singular braid groups

abstract: Let $n\ge 2$. In this paper we study some properties of the virtual singular braid group $VSG_n$. We define some numerical invariants for virtual singular braids arising from exponents of words in $VSG_n$ and describe the kernel of these homomorphisms. We determine all possible homomorphisms, up to conjugation, from the virtual singular braid group $VSG_n$ to the symmetric group $S_n$, and for the particular case $n=2$ we give a presentation (and a description) for the kernel in each case. For all possible homomorphisms we obtain a decomposition of $VSG_n$ as a semi-direct product of the kernel of the homomorphism and the symmetric group. Finally, we show that there are some forbidden relations in $VSG_n$ and then we introduce some quotients of it (e.g. the welded singular braid group, the unrestricted virtual singular braid group, among other related groups) and then we state for them similar results obtained for $VSG_n$.