title: Level Set Restricted Voronoi Tessellation for Large scale Spatial Statistical Analysis

abstract: Spatial statistical analysis of multivariate volumetric data can be challenging due to scale, complexity, and occlusion. Advances in topological segmentation, feature extraction, and statistical summarization have helped overcome the challenges. This work introduces a new spatial statistical decomposition method based on level sets, connected components, and a novel variation of the restricted centroidal Voronoi tessellation that is better suited for spatial statistical decomposition and parallel efficiency. The resulting data structures organize features into a coherent nested hierarchy to support flexible and efficient out-of-core region-of-interest extraction. Next, we provide an efficient parallel implementation. Finally, an interactive visualization system based on this approach is designed and then applied to turbulent combustion data. The combined approach enables an interactive spatial statistical analysis workflow for large-scale data with a top-down approach through multiple-levels-of-detail that links phase space statistics with spatial features.


title: Handling Interference in Integrated HAPS-Terrestrial Networks through Radio Resource Management

abstract: Vertical heterogeneous networks (vHetNets) are promising architectures to bring significant advantages for 6G and beyond mobile communications. High altitude platform station (HAPS), one of the nodes in the vHetNets, can be considered as a complementary platform for terrestrial networks to meet the ever-increasing dynamic capacity demand and provide sustainable wireless networks for future. However, the problem of interference is the bottleneck for the optimal operation of such an integrated network. Thus, designing efficient interference management techniques is inevitable. In this work, we aim to design a joint power-subcarrier allocation scheme in order to achieve fairness for all users. We formulate the max-min fairness (MMF) optimization problem and develop a rapid converging iterative algorithm to solve it. Numerical results validate the superiority of the proposed algorithm and show better performance over other conventional network scenarios.


title: Is the NFL's franchise tag fair to players?

abstract: There has been a consistent criticism over the past decade of the NFL franchise tag's monetary limitations due to its biased institutions in favor of the team rather than the player. But the question whether the NFL's franchise tag is fair or unfair to players has never been systematically studied. In this paper, I investigate the effects of NFL players' contract extensions when on a franchise tag compared to when they are not and analyze them through statistical and economic lens. Through my research, I find that indeed the current franchise tag designation is unfair to players when it comes to contract extension. I then propose a solution to remedy this unfairness, that is, removing the opportunity to franchise tag players for multiple years, and adding an option for the player to either test free agency but receive zero pay until they settle on a contract (the team can also match the offer) or sign the franchise tag, to provide more flexibility for the player and the team.


title: From Known to Unknown: Quality-aware Self-improving Graph Neural Network for Open Set Social Event Detection

abstract: State-of-the-art Graph Neural Networks (GNNs) have achieved tremendous success in social event detection tasks when restricted to a closed set of events. However, considering the large amount of data needed for training a neural network and the limited ability of a neural network in handling previously unknown data, it remains a challenge for existing GNN-based methods to operate in an open set setting. To address this problem, we design a Quality-aware Self-improving Graph Neural Network (QSGNN) which extends the knowledge from known to unknown by leveraging the best of known samples and reliable knowledge transfer. Specifically, to fully exploit the labeled data, we propose a novel supervised pairwise loss with an additional orthogonal inter-class relation constraint to train the backbone GNN encoder. The learnt, already-known events further serve as strong reference bases for the unknown ones, which greatly prompts knowledge acquisition and transfer. When the model is generalized to unknown data, to ensure the effectiveness and reliability, we further leverage the reference similarity distribution vectors for pseudo pairwise label generation, selection and quality assessment. Following the diversity principle of active learning, our method selects diverse pair samples with the generated pseudo labels to fine-tune the GNN encoder. Besides, we propose a novel quality-guided optimization in which the contributions of pseudo labels are weighted based on consistency. We thoroughly evaluate our model on two large real-world social event datasets. Experiments demonstrate that our model achieves state-of-the-art results and extends well to unknown events.


title: Learning Semantic Correspondence with Sparse Annotations

abstract: Finding dense semantic correspondence is a fundamental problem in computer vision, which remains challenging in complex scenes due to background clutter, extreme intra-class variation, and a severe lack of ground truth. In this paper, we aim to address the challenge of label sparsity in semantic correspondence by enriching supervision signals from sparse keypoint annotations. To this end, we first propose a teacher-student learning paradigm for generating dense pseudo-labels and then develop two novel strategies for denoising pseudo-labels. In particular, we use spatial priors around the sparse annotations to suppress the noisy pseudo-labels. In addition, we introduce a loss-driven dynamic label selection strategy for label denoising. We instantiate our paradigm with two variants of learning strategies: a single offline teacher setting, and mutual online teachers setting. Our approach achieves notable improvements on three challenging benchmarks for semantic correspondence and establishes the new state-of-the-art. Project page: https://shuaiyihuang.github.io/publications/SCorrSAN.


title: Rethinking Graph Neural Networks for the Graph Coloring Problem

abstract: Graph coloring, a classical and critical NP-hard problem, is the problem of assigning connected nodes as different colors as possible. However, we observe that state-of-the-art GNNs are less successful in the graph coloring problem. We analyze the reasons from two perspectives. First, most GNNs fail to generalize the task under homophily to heterophily, i.e., graphs where connected nodes are assigned different colors. Second, GNNs are bounded by the network depth, making them possible to be a local method, which has been demonstrated to be non-optimal in Maximum Independent Set (MIS) problem. In this paper, we focus on the aggregation-combine GNNs (AC-GNNs), a popular class of GNNs. We first define the power of AC-GNNs in the coloring problem as the capability to assign nodes different colors. The definition is different with previous one that is based on the assumption of homophily. We identify node pairs that AC-GNNs fail to discriminate. Furthermore, we show that any AC-GNN is a local coloring method, and any local coloring method is non-optimal by exploring the limits of local methods over sparse random graphs, thereby demonstrating the non-optimality of AC-GNNs due to its local property. We then prove the positive correlation between model depth and its coloring power. Moreover, we discuss the color equivariance of graphs to tackle some practical constraints such as the pre-fixing constraints. Following the discussions above, we summarize a series of rules a series of rules that make a GNN color equivariant and powerful in the coloring problem. Then, we propose a simple AC-GNN variation satisfying these rules. We empirically validate our theoretical findings and demonstrate that our simple model substantially outperforms state-of-the-art heuristic algorithms in both quality and runtime.


title: Energy Savings When Migrating Workloads to the Cloud

abstract: In the cloud environment, data centers are efficiently manipulated by cloud service providers (CSPs) in terms of energy consumption. Consequently, migrating workloads to clouds can result in lower energy consumption. This paper demonstrates that the Lift-and-Shift migration with optimal selections of cloud instances can provide significant energy savings, and explains how much and where the energy savings are obtained from. Additionally, the analysis on the variation of energy consumption is given when Auto-Scaling is deployed showing that further energy savings are expected even without refactoring applications. All the conclusions and analyses are based on the real data collected by Cloudamize Inc. from May 2016 to August 2016 over 40,000 machines across approximately 300 data centers.


title: Secure Transmission Design for Virtual Antenna Array-aided Device-to-device Multicast Communications

abstract: This paper investigates the physical-layer security in a Virtual Antenna Array (VAA)-aided Device- to-Device Multicast (D2DM) communication system, where the User Equipments (UEs) who cache the common content will form a VAA system and cooperatively multicast the content to UEs who desire it. Specifically, with the target of securing the VAA-aided D2DM communication under the threat of multiple eavesdroppers, we propose a secure beamforming scheme by jointly considering the formed VAA and the Base Station (BS). For obtaining the optimal beamforing vectors, a nonsmooth and nonconvex Weight Sum Rate Maximization Problem (WRMP) is formulated and solved using Successive Convex Approximation (SCA) approach. Furthermore, we consider the worst case that eavesdroppers cooperatively form a eavesdrop VAA to enhance the overhearing capacity. In this case, we modify the securing beamforming scheme, formulate the corresponding WRMP and solve it using a two-level optimization. Simulation results validate the improvements of the VAA-aided D2DM scheme in terms of communication security compared with conventional D2DM schemes.


title: Frobenius-Perron theory of representation-directed algebras

abstract: We study the Frobenius-Perron dimension of representation-directed algebras and quotient algebras of canonical algebras of type ADE, prove that the Frobenius-Perron dimension of a representation-directed algebra is always zero and the Frobenius-Perron dimension of a quotient algebra of canonical algebras of type ADE is 0 or 1. Moreover, we give a sufficient and necessary condition for a quotient algebra of a canonical algebra of type ADE under which its Frobenius-Perron dimension is 0.


title: DuETA: Traffic Congestion Propagation Pattern Modeling via Efficient Graph Learning for ETA Prediction at Baidu Maps

abstract: Estimated time of arrival (ETA) prediction, also known as travel time estimation, is a fundamental task for a wide range of intelligent transportation applications, such as navigation, route planning, and ride-hailing services. To accurately predict the travel time of a route, it is essential to take into account both contextual and predictive factors, such as spatial-temporal interaction, driving behavior, and traffic congestion propagation inference. The ETA prediction models previously deployed at Baidu Maps have addressed the factors of spatial-temporal interaction (ConSTGAT) and driving behavior (SSML). In this work, we focus on modeling traffic congestion propagation patterns to improve ETA performance. Traffic congestion propagation pattern modeling is challenging, and it requires accounting for impact regions over time and cumulative effect of delay variations over time caused by traffic events on the road network. In this paper, we present a practical industrial-grade ETA prediction framework named DuETA. Specifically, we construct a congestion-sensitive graph based on the correlations of traffic patterns, and we develop a route-aware graph transformer to directly learn the long-distance correlations of the road segments. This design enables DuETA to capture the interactions between the road segment pairs that are spatially distant but highly correlated with traffic conditions. Extensive experiments are conducted on large-scale, real-world datasets collected from Baidu Maps. Experimental results show that ETA prediction can significantly benefit from the learned traffic congestion propagation patterns. In addition, DuETA has already been deployed in production at Baidu Maps, serving billions of requests every day. This demonstrates that DuETA is an industrial-grade and robust solution for large-scale ETA prediction services.


title: Faster Attention Is What You Need: A Fast Self-Attention Neural Network Backbone Architecture for the Edge via Double-Condensing Attention Condensers

abstract: With the growing adoption of deep learning for on-device TinyML applications, there has been an ever-increasing demand for efficient neural network backbones optimized for the edge. Recently, the introduction of attention condenser networks have resulted in low-footprint, highly-efficient, self-attention neural networks that strike a strong balance between accuracy and speed. In this study, we introduce a faster attention condenser design called double-condensing attention condensers that allow for highly condensed feature embeddings. We further employ a machine-driven design exploration strategy that imposes design constraints based on best practices for greater efficiency and robustness to produce the macro-micro architecture constructs of the backbone. The resulting backbone (which we name AttendNeXt) achieves significantly higher inference throughput on an embedded ARM processor when compared to several other state-of-the-art efficient backbones (>10x faster than FB-Net C at higher accuracy and speed and >10x faster than MobileOne-S1 at smaller size) while having a small model size (>1.37x smaller than MobileNetv3-L at higher accuracy and speed) and strong accuracy (1.1% higher top-1 accuracy than MobileViT XS on ImageNet at higher speed). These promising results demonstrate that exploring different efficient architecture designs and self-attention mechanisms can lead to interesting new building blocks for TinyML applications.


title: Explainable Artificial Intelligence for Assault Sentence Prediction in New Zealand

abstract: The judiciary has historically been conservative in its use of Artificial Intelligence, but recent advances in machine learning have prompted scholars to reconsider such use in tasks like sentence prediction. This paper investigates by experimentation the potential use of explainable artificial intelligence for predicting imprisonment sentences in assault cases in New Zealand's courts. We propose a proof-of-concept explainable model and verify in practice that it is fit for purpose, with predicted sentences accurate to within one year. We further analyse the model to understand the most influential phrases in sentence length prediction. We conclude the paper with an evaluative discussion of the future benefits and risks of different ways of using such an AI model in New Zealand's courts.


title: Statistical parameters of femtosecond laser pulse post-filament propagation on 65m air path with localized optical turbulence

abstract: High-power femtosecond laser radiation propagates nonlinearly in air exhibiting pulse self-focusing and strong multiphoton medium ionization, which leads to the spatial fragmentation of laser pulse into highly-localized light channels usually called the filaments. The filaments are characterized by high optical intensity, reduced (even zero) angular spreading and can contain laser plasma or be plasmaless (postfilaments). The presence of optical turbulence on the propagation path dramatically changes pulse filamentation dynamics and in some cases causes pulse fragmentation enhancement and collapse arrest. For the first time to our knowledge, we experimentally and theoretically investigate the transverse profile of Ti:sapphire femtosecond laser radiation nonlinearly propagating a 65 m air path to the region of postfilament evolution after passing through an artificial localized air turbulence. We show that when a turbulent layer is placed before the filamentation region, the average number of high-intensive local fluence maxima ("hot points") in pulse profile as well as their sizes grow as the turbulence strength increases, and then saturates at some levels. On the contrary, the deposition of a turbulent screen within the filamentation region has almost no effect on both the number and the average diameter of the postfilaments.


title: R\'{e}nyi Cross-Entropy Measures for Common Distributions and Processes with Memory

abstract: Two R\'{e}nyi-type generalizations of the Shannon cross-entropy, the R\'{e}nyi cross-entropy and the Natural R\'{e}nyi cross-entropy, were recently used as loss functions for the improved design of deep learning generative adversarial networks. In this work, we build upon our results in [1] by deriving the R\'{e}nyi and Natural R\'{e}nyi differential cross-entropy measures in closed form for a wide class of common continuous distributions belonging to the exponential family and tabulating the results for ease of reference. We also summarise the R\'{e}nyi-type cross-entropy rates between stationary Gaussian processes and between finite-alphabet time-invariant Markov sources.


title: A Multi-objective Memetic Algorithm for Auto Adversarial Attack Optimization Design

abstract: The phenomenon of adversarial examples has been revealed in variant scenarios. Recent studies show that well-designed adversarial defense strategies can improve the robustness of deep learning models against adversarial examples. However, with the rapid development of defense technologies, it also tends to be more difficult to evaluate the robustness of the defensed model due to the weak performance of existing manually designed adversarial attacks. To address the challenge, given the defensed model, the efficient adversarial attack with less computational burden and lower robust accuracy is needed to be further exploited. Therefore, we propose a multi-objective memetic algorithm for auto adversarial attack optimization design, which realizes the automatical search for the near-optimal adversarial attack towards defensed models. Firstly, the more general mathematical model of auto adversarial attack optimization design is constructed, where the search space includes not only the attacker operations, magnitude, iteration number, and loss functions but also the connection ways of multiple adversarial attacks. In addition, we develop a multi-objective memetic algorithm combining NSGA-II and local search to solve the optimization problem. Finally, to decrease the evaluation cost during the search, we propose a representative data selection strategy based on the sorting of cross entropy loss values of each images output by models. Experiments on CIFAR10, CIFAR100, and ImageNet datasets show the effectiveness of our proposed method.


title: How long is a resilience event in a transmission system?: Metrics and models driven by utility data

abstract: We discuss ways to measure duration in a power transmission system resilience event by modeling outage and restore processes from utility data. We introduce novel Poisson process models that describe how resilience events progress and verify that they are typical using extensive outage data collected across North America. Some usual duration metrics show impractically high statistical variability, and we recommend new duration metrics that perform better. Moreover, the Poisson process models have parameters that can be estimated from observed network data under different weather conditions, and are promising new models of typical resilience events.


title: Relativistic correction to the dissociation temperature of B_c mesons in the hot medium

abstract: By solving two body Dirac equations with potentials at finite temperature, we calculated the dissociation temperature T_d of B_c mesons in the quark-gluon plasma. It is found that the T_d becomes higher with the relativistic correction than the T_d from the Schroedinger equation. Both the short range interaction and the constant term of the potential at the long-range scale have a contribution to the shift of T_d, while the spin interaction is negligible.


title: The Causal Structure of Domain Invariant Supervised Representation Learning

abstract: Machine learning methods can be unreliable when deployed in domains that differ from the domains on which they were trained. There are a wide range of proposals for mitigating this problem by learning representations that are ``invariant'' in some sense.However, these methods generally contradict each other, and none of them consistently improve performance on real-world domain shift benchmarks. There are two main questions that must be addressed to understand when, if ever, we should use each method. First, how does each ad hoc notion of ``invariance'' relate to the structure of real-world problems? And, second, when does learning invariant representations actually yield robust models? To address these issues, we introduce a broad formal notion of what it means for a real-world domain shift to admit invariant structure. Then, we characterize the causal structures that are compatible with this notion of invariance.With this in hand, we find conditions under which method-specific invariance notions correspond to real-world invariant structure, and we clarify the relationship between invariant structure and robustness to domain shifts. For both questions, we find that the true underlying causal structure of the data plays a critical role.


title: IRL with Partial Observations using the Principle of Uncertain Maximum Entropy

abstract: The principle of maximum entropy is a broadly applicable technique for computing a distribution with the least amount of information possible while constrained to match empirically estimated feature expectations. However, in many real-world applications that use noisy sensors computing the feature expectations may be challenging due to partial observation of the relevant model variables. For example, a robot performing apprenticeship learning may lose sight of the agent it is learning from due to environmental occlusion. We show that in generalizing the principle of maximum entropy to these types of scenarios we unavoidably introduce a dependency on the learned model to the empirical feature expectations. We introduce the principle of uncertain maximum entropy and present an expectation-maximization based solution generalized from the principle of latent maximum entropy. Finally, we experimentally demonstrate the improved robustness to noisy data offered by our technique in a maximum causal entropy inverse reinforcement learning domain.


title: An Elementary Proof of the Generalization of the Binet Formula for $k$-bonacci Numbers

abstract: We present an elementary proof of the generalization of the $k$-bonacci Binet formula, a closed form calculation of the $k$-bonacci numbers using the roots of the characteristic polynomial of the $k$-bonacci recursion.


title: Deepfake Detection using ImageNet models and Temporal Images of 468 Facial Landmarks

abstract: This paper presents our results and findings on the use of temporal images for deepfake detection. We modelled temporal relations that exist in the movement of 468 facial landmarks across frames of a given video as spatial relations by constructing an image (referred to as temporal image) using the pixel values at these facial landmarks. CNNs are capable of recognizing spatial relationships that exist between the pixels of a given image. 10 different ImageNet models were considered for the study.


title: Towards Interpretable Sleep Stage Classification Using Cross-Modal Transformers

abstract: Accurate sleep stage classification is significant for sleep health assessment. In recent years, several machine-learning based sleep staging algorithms have been developed , and in particular, deep-learning based algorithms have achieved performance on par with human annotation. Despite improved performance, a limitation of most deep-learning based algorithms is their black-box behavior, which have limited their use in clinical settings. Here, we propose a cross-modal transformer, which is a transformer-based method for sleep stage classification. The proposed cross-modal transformer consists of a novel cross-modal transformer encoder architecture along with a multi-scale one-dimensional convolutional neural network for automatic representation learning. Our method outperforms the state-of-the-art methods and eliminates the black-box behavior of deep-learning models by utilizing the interpretability aspect of the attention modules. Furthermore, our method provides considerable reductions in the number of parameters and training time compared to the state-of-the-art methods. Our code is available at https://github.com/Jathurshan0330/Cross-Modal-Transformer. A demo of our work can be found at https://bit.ly/Cross_modal_transformer_demo.


title: Tighter uncertainty relations based on $(\alpha,\beta,\gamma)$ modified weighted Wigner-Yanase-Dyson skew information of quantum channels

abstract: We use a novel formation to illustrate the ($\alpha,\beta,\gamma$) modified weighted Wigner-Yanase-Dyson (($\alpha,\beta,\gamma$) MWWYD) skew information of quantum channels. By using operator norm inequalities, we explore the sum uncertainty relations for arbitrary $N$ quantum channels and for unitary channels. These uncertainty inequalities are shown to be tighter than the existing ones by a detailed example. Our results are also applicable to the modified weighted Wigner-Yanase-Dyson (MWWYD) skew information and the ($\alpha,\gamma$) modified weighted Wigner-Yanase-Dyson (($\alpha,\gamma$) MWWYD) skew information of quantum channels as special cases.


title: Escape rate of an active Brownian particle in a rough potential

abstract: We discuss escape problem with the consideration of both the activity of particles and the roughness of potentials. we derive analytic expressions for the escape rate of a Brownian particle (ABP) in two types of rough potentials by employing the effective equilibrium approach and the Zwanzig method. We find that activity enhances the escape rate, but both the oscillating perturbation and the random amplitude hinder escaping.


title: Valorizing the carbon byproduct of methane pyrolysis in batteries

abstract: While low-cost natural gas remains abundant, the energy content of this fuel can be utilized without greenhouse gas emissions through the production of molecular hydrogen and solid carbon via methane pyrolysis. In the absence of a carbon tax, methane pyrolysis is not economically competitive with current hydrogen production methods unless the carbon byproducts can be valorized. In this work, we assess the viability of the carbon byproduct produced from methane pyrolysis in molten salts as high-value-added anode or conductive additive for secondary Li-ion and Na-ion batteries. Raman characterization and electrochemical differential capacity analysis demonstrate that the use of molten salt mixtures with catalytically-active FeCl3- or MnCl2 result in more graphitic carbon co-products. These graphitic carbons exhibit the best electrochemical performance (up to 272 mAh/g of reversible capacity) when used as Li-ion anodes. For all carbon samples studied here, disordered carbon domains and retained salt species trapped and/or intercalated into the carbon structure were identified by X-ray photoelectron and multinuclear solid-state nuclear magnetic resonance spectroscopy. The latter lead to reduced electrochemical activity and reversibility, and poorer rate performance compared to commercial carbon anodes. The electronic conductivity of the pyrolyzed carbons is found to be highly dependent on their purity, with the purest carbon exhibiting an electronic conductivity nearly on par with that of commercial carbon additives. These findings suggest that more effective removal of the salt catalyst could enable applications of these carbons in secondary batteries, providing a financial incentive for the large-scale implementation of methane pyrolysis for low-carbon hydrogen production.


title: On a Mechanism Framework of Autoencoders

abstract: This paper proposes a theoretical framework on the mechanism of autoencoders. To the encoder part, under the main use of dimensionality reduction, we investigate its two fundamental properties: bijective maps and data disentangling. The general construction methods of an encoder that satisfies either or both of the above two properties are given. The generalization mechanism of autoencoders is modeled. Based on the theoretical framework above, we explain some experimental results of variational autoencoders, denoising autoencoders, and linear-unit autoencoders, with emphasis on the interpretation of the lower-dimensional representation of data via encoders; and the mechanism of image restoration through autoencoders is natural to be understood by those explanations. Compared to PCA and decision trees, the advantages of (generalized) autoencoders on dimensionality reduction and classification are demonstrated, respectively. Convolutional neural networks and randomly weighted neural networks are also interpreted by this framework.


title: Space Time Nonseparable Electromagnetic Vortices

abstract: In structured light with controllable degrees of freedom (DoFs), the vortex beams carrying orbital angular momentum (OAM) give access to provide additional degrees of freedom for information transfer, and in classic field, the propagation invariant space time electromagnetic pulses are the possible approach to high dimensional states. This paper arose an idea that coupling the space polarization nonseparable states of vortex beams and space time nonseparable states of spatiotemporal pulse can generate numerous unique and beneficial effects. Here, we introduce an family of space time nonseparable electromagnetic vortices (STNEV). The pulses exhibit complex and robust spatiotemporal topological structure of the electromagnetic fields, multiple singularities in the Poynting vector maps and distributions of energy backflow. We apply a quantum-mechanics methodology for quantitatively characterizing space time nonseparability of the pulse. Our findings facilitate their applications in fields of information transfer, toroidal electrodynamics and inducing transient excitations in matter.


title: Combining deep learning and crowdsourcing geo-images to predict housing quality in rural China

abstract: Housing quality is an essential proxy for regional wealth, security and health. Understanding the distribution of housing quality is crucial for unveiling rural development status and providing political proposals. However,present rural house quality data highly depends on a top-down, time-consuming survey at the national or provincial level but fails to unpack the housing quality at the village level. To fill the gap between accurately depicting rural housing quality conditions and deficient data,we collect massive rural images and invite users to assess their housing quality at scale. Furthermore, a deep learning framework is proposed to automatically and efficiently predict housing quality based on crowd-sourcing rural images.


title: Some results on compact Kahler manifolds with elliptic homotopy type

abstract: We show some results of compact Kahler manifolds with elliptic homotopy type. In complex dimension 4 we list the Hodge diamonds of compact Kahler manifolds with elliptic homotopy type. In general dimension we obtain a partial characterization of the Hodge diamonds.


title: HoW-3D: Holistic 3D Wireframe Perception from a Single Image

abstract: This paper studies the problem of holistic 3D wireframe perception (HoW-3D), a new task of perceiving both the visible 3D wireframes and the invisible ones from single-view 2D images. As the non-front surfaces of an object cannot be directly observed in a single view, estimating the non-line-of-sight (NLOS) geometries in HoW-3D is a fundamentally challenging problem and remains open in computer vision. We study the problem of HoW-3D by proposing an ABC-HoW benchmark, which is created on top of CAD models sourced from the ABC-dataset with 12k single-view images and the corresponding holistic 3D wireframe models. With our large-scale ABC-HoW benchmark available, we present a novel Deep Spatial Gestalt (DSG) model to learn the visible junctions and line segments as the basis and then infer the NLOS 3D structures from the visible cues by following the Gestalt principles of human vision systems. In our experiments, we demonstrate that our DSG model performs very well in inferring the holistic 3D wireframes from single-view images. Compared with the strong baseline methods, our DSG model outperforms the previous wireframe detectors in detecting the invisible line geometry in single-view images and is even very competitive with prior arts that take high-fidelity PointCloud as inputs on reconstructing 3D wireframes.


title: The Structure of the ${\cal N}=4$ Supersymmetric Linear $W_{\infty}[\lambda]$ Algebra

abstract: For the vanishing deformation parameter $\lambda$, the full structure of the (anti)commutator relations in the ${\cal N}=4$ supersymmetric linear $W_{\infty}[\lambda=0]$ algebra is obtained for arbitrary weights $h_1$ and $h_2$ of the currents appearing on the left hand sides in these (anti)commutators. The $w_{1+\infty}$ algebra can be seen from this by taking the vanishing limit of other deformation parameter $q$ with the proper contractions of the currents. For the nonzero $\lambda$, the complete structure of the ${\cal N}=4$ supersymmetric linear $W_{\infty}[\lambda]$ algebra is determined for the arbitrary weight $h_1$ together with the constraint $h_1-3 \leq h_2 \leq h_1+1$. The additional structures on the right hand sides in the (anti)commutators, compared to the above $\lambda=0$ case, arise for the arbitrary weights $h_1$ and $h_2$ where the weight $h_2$ is outside of above region.


title: Uhlmann phase of coherent states and the Uhlmann-Berry correspondence

abstract: We first compare the geometric frameworks behind the Uhlmann and Berry phases in a fiber-bundle language and then evaluate the Uhlmann phases of bosonic and fermionic coherent states. The Uhlmann phases of both coherent states are shown to carry geometric information and decrease smoothly with temperature. Importantly, the Uhlmann phases approach the corresponding Berry phases as temperature decreases. Together with previous examples in the literature, we propose a correspondence between the Uhlmann and Berry phases in the zero-temperature limit as a general property except some special cases and present a conditional proof of the correspondence.


title: The effectiveness of using Google Maps Location History data to detect joint activities in social networks

abstract: This study evaluates the effectiveness of using Google Maps Location History data to identify joint activities in social networks. To do so, an experiment was conducted where participants were asked to execute daily schedules designed to simulate daily travel incorporating joint activities. For Android devices, detection rates for 4-person group activities ranged from 22% under the strictest spatiotemporal accuracy criteria to 60% under less strict yet still operational criteria. The performance of iPhones was markedly worse than Android devices, irrespective of accuracy criteria. In addition, logit models were estimated to evaluate factors affecting activity detection given different spatiotemporal accuracy thresholds. In terms of effect magnitudes, non-trivial effects on joint activity detection probability were found for floor area ratio (FAR) at location, activity duration, Android device ratio, device model ratio, whether the destination was an open space or not, and group size. Although current activity detection rates are not ideal, these levels must be weighed against the potential of observing travel behavior over long periods of time, and that Google Maps Location History data could potentially be used in conjunction with other data-gathering methodologies to compensate for some of its limitations.


title: Adaptive Joint Optimization for 3D Reconstruction with Differentiable Rendering

abstract: Due to inevitable noises introduced during scanning and quantization, 3D reconstruction via RGB-D sensors suffers from errors both in geometry and texture, leading to artifacts such as camera drifting, mesh distortion, texture ghosting, and blurriness. Given an imperfect reconstructed 3D model, most previous methods have focused on the refinement of either geometry, texture, or camera pose. Or different optimization schemes and objectives for optimizing each component have been used in previous joint optimization methods, forming a complicated system. In this paper, we propose a novel optimization approach based on differentiable rendering, which integrates the optimization of camera pose, geometry, and texture into a unified framework by enforcing consistency between the rendered results and the corresponding RGB-D inputs. Based on the unified framework, we introduce a joint optimization approach to fully exploit the inter-relationships between geometry, texture, and camera pose, and describe an adaptive interleaving strategy to improve optimization stability and efficiency. Using differentiable rendering, an image-level adversarial loss is applied to further improve the 3D model, making it more photorealistic. Experiments on synthetic and real data using quantitative and qualitative evaluation demonstrated the superiority of our approach in recovering both fine-scale geometry and high-fidelity texture.Code is available at https://adjointopti.github.io/adjoin.github.io/.


title: AI for Global Climate Cooperation: Modeling Global Climate Negotiations, Agreements, and Long-Term Cooperation in RICE-N

abstract: Comprehensive global cooperation is essential to limit global temperature increases while continuing economic development, e.g., reducing severe inequality or achieving long-term economic growth. Achieving long-term cooperation on climate change mitigation with n strategic agents poses a complex game-theoretic problem. For example, agents may negotiate and reach climate agreements, but there is no central authority to enforce adherence to those agreements. Hence, it is critical to design negotiation and agreement frameworks that foster cooperation, allow all agents to meet their individual policy objectives, and incentivize long-term adherence. This is an interdisciplinary challenge that calls for collaboration between researchers in machine learning, economics, climate science, law, policy, ethics, and other fields. In particular, we argue that machine learning is a critical tool to address the complexity of this domain. To facilitate this research, here we introduce RICE-N, a multi-region integrated assessment model that simulates the global climate and economy, and which can be used to design and evaluate the strategic outcomes for different negotiation and agreement frameworks. We also describe how to use multi-agent reinforcement learning to train rational agents using RICE-N. This framework underpinsAI for Global Climate Cooperation, a working group collaboration and competition on climate negotiation and agreement design. Here, we invite the scientific community to design and evaluate their solutions using RICE-N, machine learning, economic intuition, and other domain knowledge. More information can be found on www.ai4climatecoop.org.


title: Semibricks, torsion-free classes and the Jordan-H\"{o}lder property

abstract: Let $\mathscr{C}$ be an extriangulated category and $\mathcal{X}$ be a semibrick in $\mathscr{C}$. Let $\mathcal{T}$ be the filtration subcategory generated by $\mathcal{X}$. We introduce the weak Jordan-H\"{o}lder property (WJHP) and Jordan-H\"{o}lder property (JHP) in $\mathscr{C}$ and show that $\mathcal{T}$ satisfies (WJHP). Furthermore, $\mathcal{T}$ satisfies (JHP) if and only if $\mathcal{X}$ is proper. Using reflection functors and $c$-sortable elements, we give a combinatorial criterion for the torsion-free class satisfying (JHP) in the representation category of a quiver of type $A$.


title: Cooperative and uncooperative institution designs: Surprises and problems in open-source game theory

abstract: It is increasingly possible for real-world agents, such as software-based agents or human institutions, to view the internal programming of other such agents that they interact with. For instance, a company can read the bylaws of another company, or one software system can read the source code of another. Game-theoretic equilibria between the designers of such agents are called \emph{program equilibria}, and we call this area \emph{open-source game theory}. In this work we demonstrate a series of counterintuitive results on open-source games, which are independent of the programming language in which agents are written. We show that certain formal institution designs that one might expect to defect against each other will instead turn out to cooperate, or conversely, cooperate when one might expect them to defect. The results hold in a setting where each institution has full visibility into the other institution's true operating procedures. We also exhibit examples and ten open problems for better understanding these phenomena. We argue that contemporary game theory remains ill-equipped to study program equilibria, given that even the outcomes of single games in open-source settings remain counterintuitive and poorly understood. Nonetheless, some of these open-source agents exhibit desirable characteristics -- e.g., they can unexploitably create incentives for cooperation and legibility from other agents -- such that analyzing them could yield considerable benefits.


title: The origin of enhanced interfacial perpendicular magnetic anisotropy in LiF-inserted Fe/MgO interface

abstract: The Fe/MgO interface is an essential ingredient in spintronics as it shows giant tunneling magnetoresistance and strong perpendicular magnetic anisotropy (PMA). A recent study demonstrated that the insertion of an ultra-thin LiF layer between the Fe and MgO layers enhances PMA significantly. In this study, we perform x-ray magnetic circular dichroism measurements on Fe/LiF/MgO multilayers to reveal the origin of the PMA enhancement. We find that the LiF insertion increases the orbital-magnetic-moment anisotropy and thus the magnetic anisotropy energy. We attribute the origin of this orbital-magnetic-moment-anisotropy enhancement to the stronger electron localization and electron-electron correlation or the better interface quality with fewer defects.


title: Robust quantum control with disorder-dressed evolution

abstract: The theory of optimal quantum control serves to identify time-dependent control Hamiltonians that efficiently produce desired target states. As such, it plays an essential role in the successful design and development of quantum technologies. However, often the delivered control pulses are exceedingly sensitive to small perturbations, which can make it hard if not impossible to reliably deploy these in experiments. Robust quantum control aims at mitigating this issue by finding control pulses that uphold their capacity to reproduce the target states even in the presence of pulse perturbations. However, finding such robust control pulses is generically hard, since the assessment of control pulses requires the inclusion of all possible distorted versions in the evaluation. Here we show that robust control pulses can be identified based on disorder-dressed evolution equations. The latter capture the effect of disorder, which here stands for the pulse perturbations, in terms of quantum master equations describing the evolution of the disorder-averaged density matrix. In this approach to robust control, the purities of the final states indicate the robustness of the underlying control pulses, and robust control pulses are singled out if the final states are pure (and coincide with the target states). We show that this principle can be successfully employed to find robust control pulses. To this end, we adapt Krotov's method for disorder-dressed evolution and demonstrate its application with several single-qubit control tasks.


title: Copula-based analysis of the generalized friendship paradox in clustered networks

abstract: A heterogeneous structure of social networks induces various intriguing phenomena. One of them is the friendship paradox, which states that on average your friends have more friends than you do. Its generalization, called the generalized friendship paradox (GFP), states that on average your friends have higher attributes than yours. Despite successful demonstrations of the GFP by empirical analyses and numerical simulations, analytical, rigorous understanding of the GFP has been largely unexplored. Recently, an analytical solution for the probability that the GFP holds for an individual in a network with correlated attributes was obtained using the copula method but by assuming a locally tree structure of the underlying network [Jo~et~al., Physical Review E~\textbf{104}, 054301 (2021)]. Considering the abundant triangles in most social networks, we employ a vine copula method to incorporate the attribute correlation structure between neighbors of a focal individual in addition to the correlation between the focal individual and its neighbors. Our analytical approach helps us rigorously understand the GFP in more general networks such as clustered networks and other related interesting phenomena in social networks.


title: Automatic Landmark Detection and Registration of Brain Cortical Surfaces via Quasi-Conformal Geometry and Convolutional Neural Networks

abstract: In medical imaging, surface registration is extensively used for performing systematic comparisons between anatomical structures, with a prime example being the highly convoluted brain cortical surfaces. To obtain a meaningful registration, a common approach is to identify prominent features on the surfaces and establish a low-distortion mapping between them with the feature correspondence encoded as landmark constraints. Prior registration works have primarily focused on using manually labeled landmarks and solving highly nonlinear optimization problems, which are time-consuming and hence hinder practical applications. In this work, we propose a novel framework for the automatic landmark detection and registration of brain cortical surfaces using quasi-conformal geometry and convolutional neural networks. We first develop a landmark detection network (LD-Net) that allows for the automatic extraction of landmark curves given two prescribed starting and ending points based on the surface geometry. We then utilize the detected landmarks and quasi-conformal theory for achieving the surface registration. Specifically, we develop a coefficient prediction network (CP-Net) for predicting the Beltrami coefficients associated with the desired landmark-based registration and a mapping network called the disk Beltrami solver network (DBS-Net) for generating quasi-conformal mappings from the predicted Beltrami coefficients, with the bijectivity guaranteed by quasi-conformal theory. Experimental results are presented to demonstrate the effectiveness of our proposed framework. Altogether, our work paves a new way for surface-based morphometry and medical shape analysis.


title: Automatic Controlling Fish Feeding Machine using Feature Extraction of Nutriment and Ripple Behavior

abstract: Controlling fish feeding machine is challenging problem because experienced fishermen can adequately control based on assumption. To build robust method for reasonable application, we propose automatic controlling fish feeding machine based on computer vision using combination of counting nutriments and estimating ripple behavior using regression and textural feature, respectively. To count number of nutriments, we apply object detection and tracking methods to acknowledge the nutriments moving to sea surface. Recently, object tracking is active research and challenging problem in computer vision. Unfortunately, the robust tracking method for multiple small objects with dense and complex relationships is unsolved problem in aquaculture field with more appearance creatures. Based on the number of nutriments and ripple behavior, we can control fish feeding machine which consistently performs well in real environment. Proposed method presents the agreement for automatic controlling fish feeding by the activation graphs and textural feature of ripple behavior. Our tracking method can precisely track the nutriments in next frame comparing with other methods. Based on computational time, proposed method reaches 3.86 fps while other methods spend lower than 1.93 fps. Quantitative evaluation can promise that proposed method is valuable for aquaculture fish farm with widely applied to real environment.


title: MM-GNN: Mix-Moment Graph Neural Network towards Modeling Neighborhood Feature Distribution

abstract: Graph Neural Networks (GNNs) have shown expressive performance on graph representation learning by aggregating information from neighbors. Recently, some studies have discussed the importance of modeling neighborhood distribution on the graph. However, most existing GNNs aggregate neighbors' features through single statistic (e.g., mean, max, sum), which loses the information related to neighbor's feature distribution and therefore degrades the model performance. In this paper, inspired by the method of moment in statistical theory, we propose to model neighbor's feature distribution with multi-order moments. We design a novel GNN model, namely Mix-Moment Graph Neural Network (MM-GNN), which includes a Multi-order Moment Embedding (MME) module and an Element-wise Attention-based Moment Adaptor module. MM-GNN first calculates the multi-order moments of the neighbors for each node as signatures, and then use an Element-wise Attention-based Moment Adaptor to assign larger weights to important moments for each node and update node representations. We conduct extensive experiments on 15 real-world graphs (including social networks, citation networks and web-page networks etc.) to evaluate our model, and the results demonstrate the superiority of MM-GNN over existing state-of-the-art models.


title: Tau functions and KP solutions on families of algebraic curves

abstract: Using abelian differentials and periods of the universal Mumford curve, we study the universal expression and asymptotic behavior of tau functions defined for stably degenerating families of algebraic curves with additional data. Furthermore, we apply this study to constructing solutions to the KP hierarchy which are expressed by nonarchimedean theta functions and by mixtures of quasi-periodic solutions with solitons containing real solutions defined on families of M-curves.


title: Proximal Survival Analysis to Handle Dependent Right Censoring

abstract: Many epidemiological and clinical studies aim at analyzing a time-to-event endpoint. A common complication is right censoring. In some cases, it arises because subjects are still surviving after the study terminates or move out of the study area, in which case right censoring is typically treated as independent or non-informative. Such an assumption can be further relaxed to conditional independent censoring by leveraging possibly time-varying covariate information, if available, assuming censoring and failure time are independent among covariate strata. In yet other instances, events may be censored by other competing events like death and are associated with censoring possibly through prognoses. Realistically, measured covariates can rarely capture all such associations with certainty. For such dependent censoring, often covariate measurements are at best proxies of underlying prognoses. In this paper, we establish a nonparametric identification framework by formally admitting that conditional independent censoring may fail in practice and accounting for covariate measurements as imperfect proxies of underlying association. The framework suggests adaptive estimators which we give generic assumptions under which they are consistent, asymptotically normal, and doubly robust. We illustrate our framework with concrete settings, where we examine the finite-sample performance of our proposed estimators via a Monte-Carlo simulation and apply them to the SEER-Medicare dataset.


title: On the long-time asymptotic behavior of the Camassa-Holm equation in space-time solitonic regions

abstract: In this work, we are devoted to study the Cauchy problem of the Camassa-Holm (CH) equation with weighted Sobolev initial data in space-time solitonic regions \begin{align*} m_t+2\kappa q_x+3qq_x=2q_xq_{xx}+qq_{xx},~~m=q-q_{xx}+\kappa,\\ q(x,0)=q_0(x)\in H^{4,2}(\mathbb R),~~x\in\mathbb R, ~~t>0, \end{align*} where $\kappa$ is a positive constant. Based on the Lax spectrum problem, a Riemann-Hilbert problem corresponding to the original problem is constructed to give the solution of the CH equation with the initial boundary value condition. Furthermore, by developing the $\bar{\partial}$-generalization of Deift-Zhou nonlinear steepest descent method, different long-time asymptotic expansions of the solution $q(x,t)$ are derived. Four asymptotic regions are divided in this work: For $\xi\in\left(-\infty,-\frac{1}{4}\right)\cup(2,\infty)$, the phase function $\theta(z)$ has no stationary point on the jump contour, and the asymptotic approximations can be characterized with the soliton term confirmed by $N(j_0)$-soliton on discrete spectrum with residual error up to $O(t^{-1+2\tau})$; For $\xi\in\left(-\frac{1}{4},0\right)$ and $\xi\in\left(0,2\right)$, the phase function $\theta(z)$ has four and two stationary points on the jump contour, and the asymptotic approximations can be characterized with the soliton term confirmed by $N(j_0)$-soliton on discrete spectrum and the $t^{-\frac{1}{2}}$ order term on continuous spectrum with residual error up to $O(t^{-1})$. Our results also confirm the soliton resolution conjecture for the CH equation with weighted Sobolev initial data in space-time solitonic regions.


title: Frequency Domain Identification of Multirate Systems: A Lifted Local Polynomial Modeling Approach

abstract: Frequency-domain representations of multirate systems are essential for controller design and performance evaluation of multirate systems and sampled-data control. The aim of this paper is to develop a time-efficient closed-loop identification approach for multirate systems in the frequency-domain. The developed method utilizes local polynomial modeling for lifted representations of LPTV systems, which enables direct identification of closed-loop multirate systems in a single identification experiment. Unlike LTI identification techniques, the developed method does not suffer from bias due to ignored LPTV dynamics. The developed approach is demonstrated on a multirate example, resulting in accurate and fast identification in the frequency domain.


title: Prospects of federated machine learning in fluid dynamics

abstract: Physics-based models have been mainstream in fluid dynamics for developing predictive models. In recent years, machine learning has offered a renaissance to the fluid community due to the rapid developments in data science, processing units, neural network based technologies, and sensor adaptations. So far in many applications in fluid dynamics, machine learning approaches have been mostly focused on a standard process that requires centralizing the training data on a designated machine or in a data center. In this letter, we present a federated machine learning approach that enables localized clients to collaboratively learn an aggregated and shared predictive model while keeping all the training data on each edge device. We demonstrate the feasibility and prospects of such decentralized learning approach with an effort to forge a deep learning surrogate model for reconstructing spatiotemporal fields. Our results indicate that federated machine learning might be a viable tool for designing highly accurate predictive decentralized digital twins relevant to fluid dynamics.


title: On the intersection form of fillings

abstract: We prove, by an ad hoc method, that exact fillings with vanishing rational first Chern class of flexibly fillable contact manifolds have unique integral intersection forms. We appeal to the special Reeb dynamics (stronger than ADC \`a la Lazarev) on the contact boundary, while a more systematic approach working for general ADC manifolds is developed independently by Eliashberg, Ganatra and Lazarev. We also discuss cases where the vanishing rational first Chern class assumption can be removed. We derive the uniqueness of diffeomorphism types of exact fillings of certain flexibly fillable contact manifolds and obstructions to contact embeddings, which are not necessarily exact.


title: Magneto-elastic coupling in a sinusoidal modulated magnet Cr$_2$GaN

abstract: We use neutron powder diffraction to investigate the magnetic and crystalline structure of Cr$_2$GaN. A magnetic phase transition is identified at $T \approx 170$ K, whereas no trace of structural transition is observed down to 6 K. Combining Rietveld refinement with irreducible representations, the spin configuration of Cr ions in Cr$_2$GaN is depicted as an incommensurate sinusoidal modulated structure characterized by a propagating vector ${k}$=(0.365, 0.365, 0). Upon warming up to the paramagnetic state, the magnetic order parameter closely resembles to the temperature dependence of $c$-axis lattice parameter, suggesting strong magneto-elastic coupling in this compound. Therefore, Cr$_2$GaN provides a potential platform for the exploration of magnetically tuned properties such as magnetoelectric, magnetostrictive and magnetocaloric effects, as well as their applications.


title: On graphs whose domination number is equal to chromatic and dominator chromatic numbers

abstract: For a graph $G = (V(G), E(G))$, a dominating set $D$ is a vertex subset of $V(G)$ in which every vertex of $V(G) \setminus D$ is adjacent to a vertex in $D$. The domination number of $G$ is the minimum cardinality of a dominating set of $G$ and is denoted by $\gamma(G)$. A coloring of $G$ is a partition $C = (V_{1}, ... ,V_{k})$ such that each of $V_{i}$ in an independent set. The chromatic number is the smallest $k$ among all colorings $C = (V_{1}, ... ,V_{k})$ of $G$ and is denoted by $\chi(G)$. A coloring $C = (V_{1}, ... ,V_{k})$ is said to be dominator if, for all $V_{i}$, every vertex $v \in V_{i}$ is singleton in $V_{i}$ or is adjacent to every vertex of $V_{j}$. The dominator chromatic number of $G$ is the minimum $k$ of all dominator colorings of $G$ and is denoted by $\chi_{d}(G)$. Further, a graph $G$ is $D(k)$ if $\gamma(G) = \chi(G) = \chi_{d}(G) = k$. In this paper, for $n \geq 4k - 3$, we prove that there always exists a $D(k)$ graph of order $n$. We further prove that there is no planar $D(k)$ graph when $k \in \{3, 4\}$. Namely, we prove that, for a non-trivial planar graph $G$, the graph $G$ is $D(k)$ if and only if $G$ is $K_{2, q}$ where $q \geq 2$.


title: Pyramidal Predictive Network: A Model for Visual-frame Prediction Based on Predictive Coding Theory

abstract: Visual-frame prediction is a pixel-dense prediction task that infers future frames from past frames. Lacking of appearance details, low prediction accuracy and high computational overhead are still major problems with current models or methods. In this paper, we propose a novel neural network model inspired by the well-known predictive coding theory to deal with the problems. Predictive coding provides an interesting and reliable computational framework, which will be combined with other theories such as the cerebral cortex at different level oscillates at different frequencies, to design an efficient and reliable predictive network model for visual-frame prediction. Specifically, the model is composed of a series of recurrent and convolutional units forming the top-down and bottom-up streams, respectively. The update frequency of neural units on each of the layer decreases with the increasing of network levels, which results in neurons of higher-level can capture information in longer time dimensions. According to the experimental results, this model shows better compactness and comparable predictive performance with existing works, implying lower computational cost and higher prediction accuracy. Code is available at https://github.com/Ling-CF/PPNet.


title: Memory-Driven Text-to-Image Generation

abstract: We introduce a memory-driven semi-parametric approach to text-to-image generation, which is based on both parametric and non-parametric techniques. The non-parametric component is a memory bank of image features constructed from a training set of images. The parametric component is a generative adversarial network. Given a new text description at inference time, the memory bank is used to selectively retrieve image features that are provided as basic information of target images, which enables the generator to produce realistic synthetic results. We also incorporate the content information into the discriminator, together with semantic features, allowing the discriminator to make a more reliable prediction. Experimental results demonstrate that the proposed memory-driven semi-parametric approach produces more realistic images than purely parametric approaches, in terms of both visual fidelity and text-image semantic consistency.


title: Acceleration of Subspace Learning Machine via Particle Swarm Optimization and Parallel Processing

abstract: Built upon the decision tree (DT) classification and regression idea, the subspace learning machine (SLM) has been recently proposed to offer higher performance in general classification and regression tasks. Its performance improvement is reached at the expense of higher computational complexity. In this work, we investigate two ways to accelerate SLM. First, we adopt the particle swarm optimization (PSO) algorithm to speed up the search of a discriminant dimension that is expressed as a linear combination of current dimensions. The search of optimal weights in the linear combination is computationally heavy. It is accomplished by probabilistic search in original SLM. The acceleration of SLM by PSO requires 10-20 times fewer iterations. Second, we leverage parallel processing in the SLM implementation. Experimental results show that the accelerated SLM method achieves a speed up factor of 577 in training time while maintaining comparable classification/regression performance of original SLM.


title: Two-Dimensional Semiconducting Metal Organic Frameworks with Auxetic Effect, Room Temperature Ferrimagnetism, Chiral Ferroelectricity, Bipolar Spin Polarization and Topological Nodal Lines/Points

abstract: Two-dimensional (2D) semiconductors integrated with two or more functions are the cornerstone for constructing multifunctional nanodevices, but remain largely limited. Here, by tuning the spin state of organic linkers and the symmetry/topology of crystal lattice, we predict a class of unprecedented multifunctional semiconductors in 2D Cr(II) five-membered heterocyclic metal organic frameworks that simultaneously possess auxetic effect, room temperature ferrimagnetism, chiral ferroe-lectricity, electrically reversible spin polarization and topological nodal lines/points. Taking 2D Cr(TDZ)$_2$ (TDZ=1.2.5-thiadiazole) as an exemplification, the auxetic effect is produced by the anti-tetra-chiral lattice structure. The high temperature ferrimagnetism originates from the strong d-p direct magnetic exchange interaction between Cr cations and TDZ doublet radical anions. Meanwhile, the clockwise-counterclockwise alignment of TDZ' dipoles results in unique 2D chiral ferroelectricity with atomic-scale vortex-antivortex states. 2D Cr(TDZ)$_2$ is an intrinsic bipolar magnetic semiconductor where half-metallic conduction with switchable spin-polarization direction can be induced by applying a gate voltage. Besides, the symmetry of the little group C$_4$ of lattice structure endows 2D Cr(TDZ)$_2$ with topological nodal lines and a quadratic nodal point in the Brillouin zone near the Fermi level.


title: Atomic mechanisms of self-diffusion in amorphous silicon

abstract: Based on recent calculations of the self-diffusion (SD) coefficient in amorphous silicon (a-Si) by classical Molecular Dynamics simulation [M. Posselt, H. Bracht, and D. Radi\'c, J. Appl. Phys. 131, 035102 (2022)] detailed investigations on atomic mechanisms are performed. For this purpose two Stillinger-Weber-type potentials are employed, one strongly overestimates the SD coefficient, while the other leads to values much closer to the experimental data. By taking into account the individual squared displacements (or diffusion lengths) of atoms the diffusional and vibrational contributions to the total mean squared displacement can be determined separately. It is shown that the diffusional part is not directly correlated with the concentration of coordination defects. The time-dependent distribution of squared displacements of atoms indicates that in a-Si a well-defined elemental diffusion length does not exist, in contrast to SD in the crystalline Si. The analysis of atoms with large squared displacements reveals that the mechanisms of SD in a-Si are characterized by complex rearrangements of bonds or exchange of neighbors. These are mono- and bi-directional exchanges of neighbors and neighbor replacements. Exchanges or replacements may concern up to three neighbors and may occur in relatively short periods of some ps. Bi- or mono-directional exchange or replacement of one neighbor atom happen more frequently than processes including more neighbors. A comparison of results for the two interatomic potentials shows that an increased three-body parameter only slows down the migration, but does not change the migration mechanisms fundamentally.


title: RIS-Aided Communications over Dirty MAC: Capacity Region and Outage Probability

abstract: We characterize the capacity region of a two-user multiple access channel (MAC) in a reconfigurable intelligent surface (RIS)-aided communication system with side information (SI) at the transmitters. We consider two uplink communication scenarios: (i) a double dirty MAC where the interferences are known non-causally to both users; and (ii) a single dirty MAC model where only one of the users knows the interference and the other one is not aware of the interference. Considering that each of the users is assisted by a different RIS with Mi elements, we derive closed-form expressions for the capacity region and the outage probability (OP) for both system models. Results show that the use of RISs is beneficial to extend the capacity region and improve the OP in both scenarios.


title: Classifications of Single-input Lower Triangular Forms

abstract: The purposes of this paper are to classify lower triangular forms and to determine under what conditions a nonlinear system is equivalent to a specific type of lower triangular forms. According to the least multi-indices and the greatest essential multi-index sets, which are introduced as new notions and can be obtained from the system equations, two classification schemes of lower triangular forms are constructed. It is verified that the type that a given lower triangular form belongs to is invariant under any lower triangular coordinate transformation. Therefore, although a nonlinear system equivalent to a lower triangular form is also equivalent to many other appropriate lower triangular forms, there is only one type that the system can be transformed into. Each of the two classifications induces a classification of all the systems that are equivalent to lower triangular forms. A new method for transforming a nonlinear system into a lower triangular form, if it is possible, is provided to find what type the system belongs to. Additionally, by using the differential geometric control theory, several necessary and sufficient conditions under which a nonlinear system is locally feedback equivalent to a given type of lower triangular form are established. An example is given to illustrate how to determine which type of lower triangular form a given nonlinear system is equivalent to without performing an equivalent transformation.


title: Operads as double functors

abstract: It is shown how double categories provide a direct abstract approach to coloured operads; namely, product-preserving normal lax functors from (Pb C)^op (the opposite of the double category of pullback squares in C) to Cat (the double category of functors and profunctors) can be seen as generalized operads, the standard ones arising when C = Set_f. In this context, generalized symmetric monoidal categories are considered, in particular those arising from indexed categories with sums or products.


title: Unified description of high-energy nuclear collisions based on dynamical core--corona picture

abstract: I establish the dynamical core--corona initialization framework (DCCI2) as a state-of-the-art dynamical framework that is capable of describing small and large colliding systems at the LHC energies. Under the core--corona picture, contributions from both equilibrated (core) and non-equilibrated (corona) components are implemented. I describe the dynamical separation of the system into the core and corona at the initial stage by incorporating the core--corona picture into the novel dynamical initialization framework. With DCCI2, I simulate $p$+$p$ collisions at $\sqrt{s}=7, 13$ TeV and $Pb$+$Pb$ collisions at $\sqrt{s_{\mathrm{NN}}}=2.76$ TeV. Especially, I extract the fractions of core and corona components in final hadron yields in $p$+$p$ and $Pb$+$Pb$ collisions as functions of multiplicity, and reveal that the core components become dominant at $\langle dN_{\mathrm{ch}}/d\eta \rangle_{|\eta|<0.5} \approx 20$. I also find that the corona contribution at very low $p_T$ (below $p_T\approx1$ GeV) is non-negligible even in $Pb$+$Pb$ collisions and show that such contributions significantly affect $p_T$-integrated flow coefficients. These results strongly suggest the importance of considering non-equilibrated components to extract transport coefficients of quark-gluon plasma from model-to-data comparisons quantitatively.


title: The reproducing kernel Hilbert spaces underlying linear SDE Estimation, Kalman filtering and their relation to optimal control

abstract: It is often said that control and estimation problems are in duality. Recently, in (Aubin-Frankowski,2021), we found new reproducing kernels in Linear-Quadratic optimal control by focusing on the Hilbert space of controlled trajectories, allowing for a convenient handling of state constraints and meeting points. We now extend this viewpoint to estimation problems where it is known that kernels are the covariances of stochastic processes. Here, the Markovian Gaussian processes stem from the linear stochastic differential equations describing the continuous-time dynamics and observations. Taking extensive care to require minimal invertibility requirements on the operators, we give novel explicit formulas for these covariances. We also determine their reproducing kernel Hilbert spaces, stressing the symmetries between a space of forward-time trajectories and a space of backward-time information vectors. The two spaces play an analogue role for filtering to Sobolev spaces in variational analysis, and allow to recover the Kalman estimate through a direct variational argument. For comparison, we then recover the Kalman filter and smoother formulas through more classical arguments based on the innovation process. Extension to discrete-time observations or infinite-dimensional state, tough technical, would be straightforward.


title: Non-Blocking Batch A* (Technical Report)

abstract: Heuristic search has traditionally relied on hand-crafted or programmatically derived heuristics. Neural networks (NNs) are newer powerful tools which can be used to learn complex mappings from states to cost-to-go heuristics. However, their slow single inference time is a large overhead that can substantially slow down planning time in optimized heuristic search implementations. Several recent works have described ways to take advantage of NN's batch computations to decrease overhead in planning, while retaining bounds on (sub)optimality. However, all these methods have used the NN heuristic in a "blocking" manner while building up their batches, and have ignored possible fast-to-compute admissible heuristics (e.g. existing classically derived heuristics) that are usually available to use. We introduce Non-Blocking Batch A* (NBBA*), a bounded suboptimal method which lazily computes the NN heuristic in batches while allowing expansions informed by a non-NN heuristic. We show how this subtle but important change can lead to substantial reductions in expansions compared to the current blocking alternative, and see that the performance is related to the information difference between the batch computed NN and fast non-NN heuristic.


title: The bulk Hilbert space of double scaled SYK

abstract: The emergence of the bulk Hilbert space is a mysterious concept in holography. In arXiv:1811.02584, the SYK model was solved in the double scaling limit by summing chord diagrams. Here, we explicitly construct the bulk Hilbert space of double scaled SYK by slicing open these chord diagrams; this Hilbert space resembles that of a lattice field theory where the length of the lattice is dynamical and determined by the chord number. Under a calculable bulk-to-boundary map, states of fixed chord number map to particular entangled 2-sided states with a corresponding size. This bulk reconstruction is well-defined even when quantum gravity effects are important. Acting on the double scaled Hilbert space is a Type II$_1$ algebra of observables, which includes the Hamiltonian and matter operators. In the appropriate quantum Schwarzian limit, we also identify the JT gravitational algebra including the physical SL(2,R) symmetry generators, and obtain explicit representations of the algebra using chord diagram techniques.


title: Dissociation of dark matter and gas in cosmic large-scale structure

abstract: The partial spatial separation of cold dark matter (DM) and gas is a ubiquitous feature in the formation of cosmic large-scale structure. This separation, termed dissociation, is prominent in galaxy clusters that formed through collisions of massive progenitors, such as the famous `Bullet' cluster. A direct comparison of the incidence of such dissociated structures with theoretical predictions is challenged by the rarity of strongly dissociated systems and the difficulty to quantify dissociation. This paper introduces a well-defined dimensionless dissociation index $S\in[-1,1]$ that encodes the quadrupole difference between DM and gas in a custom region. Using a simulation of cosmic large-scale structure with cold DM and ideal non-radiating gas, in $\Lambda$CDM cosmology, we find that 90 per cent of the haloes are positively dissociated ($S>0$), meaning their DM is more elongated than their gas. The spatial density of highly dissociated massive structures appears consistent with observations. Through idealised $N$-body+SPH simulations of colliding gaseous DM haloes, we further explore the details of how ram-pressure causes dissociation in binary collisions. A suite of 300 such simulations reveals a scale-free relation between the orbital parameters of binary collisions and the resulting dissociation. Building on this relation, we conclude that the frequency of dissociated structures in non-radiative cosmological simulations is nearly fully accounted for by the major (mass ratio $>1:10$) binary collisions predicted by such simulations. In principle, our results allow us to constrain the orbital parameters that produced specific observed dissociated clusters.


title: Self-Assembled Ligand-Capped Plasmonic Au Nanoparticle Films in the Kretschmann Configuration for Sensing of Volatile Organic Compounds

abstract: Films of close-packed Au nanoparticles are coupled electrodynamically through their collective plasmon resonances. This collective optical response results in enhanced light-matter interactions, which can be exploited in various applications. Here, we demonstrate their application in sensing volatile organic compounds, using methanol as a test-case. Ordered films over several cm2 were obtained by interfacial self-assembly of colloidal Au nanoparticles (~10 nm diameter) through controlled evaporation of the solvent. Even though isolated nanoparticles of this size are inherently non-scattering, when arranged in a close-packed film the plasmonic coupling results in a strong reflectance and absorbance. The in-situ tracking of vapor phase methanol concentration through UV-Vis transmission measurements of the nanoparticle film is first demonstrated. Next, in-situ ellipsometry of the self-assembled films in the Kretschmann (also known as ATR) configuration is shown to yield enhanced sensitivity, especially with phase difference measurements. Our study shows the excellent agreement between theoretical models of the spectral response of self-assembled films with experimental in-situ sensing experiments. At the same time, the theoretical framework provides the basis for the interpretation of the various observed experimental trends. Combining periodic nanoparticle films with ellipsometry in the Kretschmann configuration is a promising strategy towards highly sensitive and selective plasmonic thin-film devices based on colloidal fabrication methods for volatile organic compound (VOC) sensing applications.

categories: physics.optics cond-mat.mes-hall cond-mat.mtrl-sci physics.app-ph physics.chem-ph


title: Model Predictive Impedance Control with Gaussian Processes for Human and Environment Interaction

abstract: Robotic tasks which involve uncertainty--due to variation in goal, environment configuration, or confidence in task model--may require human input to instruct or adapt the robot. In tasks with physical contact, several existing methods for adapting robot trajectory or impedance according to individual uncertainties have been proposed, e.g., realizing intention detection or uncertainty-aware learning from demonstration. However, isolated methods cannot address the wide range of uncertainties jointly present in many tasks. To improve generality, this paper proposes a model predictive control (MPC) framework which plans both trajectory and impedance online, can consider discrete and continuous uncertainties, includes safety constraints, and can be efficiently applied to a new task. This framework can consider uncertainty from: contact constraint variation, uncertainty in human goals, or task disturbances. An uncertainty-aware task model is learned from a few ($\leq3$) demonstrations using Gaussian Processes. This task model is used in a nonlinear MPC problem to optimize robot trajectory and impedance according to belief in discrete human goals, human kinematics, safety constraints, contact stability, and frequency-domain disturbance rejection. This MPC formulation is introduced, analyzed with respect to convexity, and validated in co-manipulation with multiple goals, a collaborative polishing task, and a collaborative assembly task.


title: A functional renormalization group study of the two dimensional Su-Schrieffer-Heeger-Hubbard model

abstract: We study the Hubbard model on the square lattice coupled in addition to the optical Su-Schrieffer-Heeger (SSH) phonons, using the singular-mode functional renormalization group method. At half-filling and in the absence of the Hubbard interaction $U$, we find the degenerate spin-density-wave (SDW)/charge-density-wave (CDW)/s-wave superconductivity (sSC) state at smaller electron-phonon coupling strength $\lambda$ and higher phonon frequency $\omega$, and the valence bond solid (VBS) state at larger $\lambda$ and lower $\omega$. After switching on a positive $U$, the VBS state is suppressed, while the SDW state is enhanced. At finite doping, the SSH phonon is found to favor sSC at $U=0$. With increasing positive $U$, we find d-wave superconductivity (dSC) and incommensurate SDW states. In a narrow window of moderate $U$ and $\lambda$, we also find the incommensurate VBS state. The sSC and dSC here can be naturally related to the CDW and SDW fluctuations, both of which can be triggered by the SSH phonons. In contrast, the repulsive interaction $U$ enhances SDW but suppresses CDW fluctuations. Our results at half filling are consistent with quantum Monte Carlo (QMC), and provide insights at finite doping where QMC may suffer from the minus sign problem.


title: A Drift Handling Approach for Self-Adaptive ML Software in Scalable Industrial Processes

abstract: Most industrial processes in real-world manufacturing applications are characterized by the scalability property, which requires an automated strategy to self-adapt machine learning (ML) software systems to the new conditions. In this paper, we investigate an Electroslag Remelting (ESR) use case process from the Uddeholms AB steel company. The use case involves predicting the minimum pressure value for a vacuum pumping event. Taking into account the long time required to collect new records and efficiently integrate the new machines with the built ML software system. Additionally, to accommodate the changes and satisfy the non-functional requirement of the software system, namely adaptability, we propose an automated and adaptive approach based on a drift handling technique called importance weighting. The aim is to address the problem of adding a new furnace to production and enable the adaptability attribute of the ML software. The overall results demonstrate the improvements in ML software performance achieved by implementing the proposed approach over the classical non-adaptive approach.


title: #IStandWithPutin versus #IStandWithUkraine: The interaction of bots and humans in discussion of the Russia/Ukraine war

abstract: The 2022 Russian invasion of Ukraine emphasises the role social media plays in modern-day warfare, with conflict occurring in both the physical and information environments. There is a large body of work on identifying malicious cyber-activity, but less focusing on the effect this activity has on the overall conversation, especially with regards to the Russia/Ukraine Conflict. Here, we employ a variety of techniques including information theoretic measures, sentiment and linguistic analysis, and time series techniques to understand how bot activity influences wider online discourse. By aggregating account groups we find significant information flows from bot-like accounts to non-bot accounts with behaviour differing between sides. Pro-Russian non-bot accounts are most influential overall, with information flows to a variety of other account groups. No significant outward flows exist from pro-Ukrainian non-bot accounts, with significant flows from pro-Ukrainian bot accounts into pro-Ukrainian non-bot accounts. We find that bot activity drives an increase in conversations surrounding angst (with p = 2.450 x 1e-4) as well as those surrounding work/governance (with p = 3.803 x 1e-18). Bot activity also shows a significant relationship with non-bot sentiment (with p = 3.76 x 1e-4), where we find the relationship holds in both directions. This work extends and combines existing techniques to quantify how bots are influencing people in the online conversation around the Russia/Ukraine invasion. It opens up avenues for researchers to understand quantitatively how these malicious campaigns operate, and what makes them impactful.


title: Hierarchical Attention Network for Few-Shot Object Detection via Meta-Contrastive Learning

abstract: Few-shot object detection (FSOD) aims to classify and detect few images of novel categories. Existing meta-learning methods insufficiently exploit features between support and query images owing to structural limitations. We propose a hierarchical attention network with sequentially large receptive fields to fully exploit the query and support images. In addition, meta-learning does not distinguish the categories well because it determines whether the support and query images match. In other words, metric-based learning for classification is ineffective because it does not work directly. Thus, we propose a contrastive learning method called meta-contrastive learning, which directly helps achieve the purpose of the meta-learning strategy. Finally, we establish a new state-of-the-art network, by realizing significant margins. Our method brings 2.3, 1.0, 1.3, 3.4 and 2.4% AP improvements for 1-30 shots object detection on COCO dataset. Our code is available at: https://github.com/infinity7428/hANMCL


title: A note on sets avoiding rational distances in category bases

abstract: Michalski gave a short and elegant proof of a theorem of A. Kumar which states that for each set A in R, there exists a subset B of A which is full in A and such that no distance between points in B is a rational number. He also proved a similar theorem for sets in the Euclidean plane. In this paper, we generalize these results in some special types of category bases.


title: On the Expressiveness of Mixed Choice Sessions (Technical Report)

abstract: Session types provide a flexible programming style for structuring interaction, and are used to guarantee a safe and consistent composition of distributed processes. Traditional session types include only one-directional input (external) and output (internal) guarded choices. This prevents the session-processes to explore the full expressive power of the pi-calculus where the mixed choices are proved more expressive than the (non-mixed) guarded choices. To account this issue, recently Casal, Mordido, and Vasconcelos proposed the binary session types with mixed choices (CMV+). This paper carries a surprising, unfortunate result on CMV+: in spite of an inclusion of unrestricted channels with mixed choice, CMV+'s mixed choice is rather separate and not mixed. We prove this negative result using two methodologies (using either the leader election problem or a synchronisation pattern as distinguishing feature), showing that there exists no good encoding from the pi-calculus into CMV+, preserving distribution. We then close their open problem on the encoding from CMV+ into CMV (without mixed choice), proving its soundness and thereby that the encoding is good up to coupled similarity. This technical report extends a paper presented at the workshop EXPRESS/SOS'22.


title: A Pipeline for DNS-Based Software Fingerprinting

abstract: In this paper, we present the modular design and implementation of DONUT, a novel tool for identifying software running on a device. Our tool uses a rule-based approach to detect software-specific DNS fingerprints (stored in an easily extendable database) in passively monitored DNS traffic. We automated the rule extraction process for DONUT with the help of ATLAS, a novel tool we developed for labeling network traffic by the software that created it. We demonstrate the functionality of our pipeline by generating rules for a number of applications, evaluate the performance as well as scalability of the analysis, and confirm the functional correctness of DONUT using an artificial data set for which the ground-truth is known. In addition, we evaluate DONUT's analysis results on a large real-world data set with unknown ground truth.


title: Gravity in Causal Perturbative Quantum Field Theory

abstract: We extend the general framework of perturbative quantum field theory developped for the pure Yang-Mills model to gravity. First we present a variant of the elimination procedure of the anomalies in the second order of perturbation theory. After that we prove that gauge invariance restricts severely the possible finite renormalizations, so at least in the second order of the perturbation theory, the model is renormalizable.


title: On minimum contrast method for multivariate spatial point processes

abstract: Compared to widely used likelihood-based approaches, the minimum contrast (MC) method is a computationally efficient method for estimation and inference of parametric stationary point processes. This advantage becomes more pronounced when analyzing complex point process models, such as multivariate log-Gaussian Cox processes (LGCP). Despite its practical advantages, there is very little work on the MC method for multivariate point processes. The aim of this article is to introduce a new MC method for parametric multivariate stationary spatial point processes. A contrast function is calculated based on the trace of the power of the difference between the conjectured $K$-function matrix and its nonparametric unbiased edge-corrected estimator. Under standard assumptions, the asymptotic normality of the MC estimator of the model parameters is derived. The performance of the proposed method is illustrated with bivariate LGCP simulations and a real data analysis of a bivariate point pattern of the 2014 terrorist attacks in Nigeria.


title: Technical Report : Analytical Modeling and Improvement of Interference-Coupled RAN Slicing

abstract: The emerging 5G technology needs to support simultaneously running incompatible service types on a common infrastructure. Network slicing is a solution that corresponds a slice of the network to each service type. Ensuring that user activity in one slice does not affect other slices, i.e., inter-slice isolation, is a key requirement of slicing. Since due to interference and channel conditions, wireless link quality is unpredictable and variable, providing isolation in radio access network (RAN) is cumbersome. In this technical report, we consider multi-cell RAN slicing where the coupled interference between cells results in dynamic behavior for slices. We propose a queueing theoretic-based model to analyze interference-coupled multi-cell RAN slicing. To this end, we map our scenario on a suitable state-dependent queueing network and propose an iterative algorithm to obtain approximately the network steady-state probability distribution and derive average delay and throughput. To quantify isolation in slices, we define some new key performance indicators (KPIs). Finally, we propose and analyze an interference-aware channel allocation policy that avoids use of overlapped frequency channels for as much as possible. Numerical results demonstrate the accuracy of our proposed model and the efficacy of the interference-aware policy in improving isolation-based KPIs compared to random allocation policy.


title: Fractal dimension of potential singular points set in the Navier-Stokes equations under supercritical regularity

abstract: The main objective of this paper is to answer the questions posed by Robinson and Sadowski [21, p. 505, Comm. Math. Phys., 2010]{[RS3]} for the Navier-Stokes equations. Firstly, we prove that the upper box dimension of the potential singular points set $\mathcal{S}$ of suitable weak solution $u$ belonging in $ L^{q}(0,T;L^{p}(\mathbb{R}^{3}))$ for $1\leq\frac{2}{q}+\frac{ 3}{p}\leq\frac32$ with $2\leq q<\infty$ and $2<p<\infty$ is at most $\max\{p,q\}(\frac{2}{q}+\frac{ 3}{p}-1)$ in this system. Secondly, it is shown that $1-2 s$ dimension Hausdorff measure of potential singular points set of suitable weak solutions satisfying $ u\in L^{2}(0,T;\dot{H}^{s+1}(\mathbb{R}^{3}))$ for $0\leq s\leq\frac12$ is zero, whose proof relies on Caffarelli-Silvestre's extension. Inspired by Baker-Wang's recent work [1], this further allows us to discuss the Hausdorff dimension of potential singular points set of suitable weak solutions if the gradient of the velocity under some supercritical regularity.


title: Uncertainties in neutrino oscillation parameter sensitivity due to resonance processes at NO$\nu$A

abstract: The long baseline (LBL) neutrino experiments use heavy nuclear targets for neutrino scattering in which nuclear effects give rise to complications in measuring the neutrino oscillation parameters up to high precision. These nuclear effects are not yet fully understood and therefore need to be quantified as they contribute to the systematic uncertainties. Precision reconstruction of neutrino energy is one of the main components in measuring the oscillation parameters, and it is required that the neutrino energy is reconstructed with very high precision. In this work, we investigate the effects of the resonance (RES) interaction process using two models for carbon target for $\nu_{\mu}\rightarrow\nu_{\mu}$ disappearance channel of the NO$\nu$A experiment, on neutrino-nucleus scattering cross section, events, and neutrino oscillation parameter sensitivity. We also incorporate the realistic detector specifications of NO$\nu$A. To quantify the systematic uncertainties due to RES interactions, we compare the cross-sections, events, and sensitivity analysis for two models of RES processes - Rein-Sehgal and Berger-Sehgal, and comment on which model produces more precision. We observe that RES processes contribute significantly, and should be included carefully in models while extracting neutrino oscillation parameters.


title: Beamforming Design for the Performance Optimization of Intelligent Reflecting Surface Assisted Multicast MIMO Networks

abstract: In this paper, the problem of maximizing the sum of data rates of all users in an intelligent reflecting surface (IRS)-assisted millimeter wave multicast multiple-input multiple-output communication system is studied. In the considered model, one IRS is deployed to assist the communication from a multiantenna base station (BS) to the multi-antenna users that are clustered into several groups. Our goal is to maximize the sum rate of all users by jointly optimizing the transmit beamforming matrices of the BS, the receive beamforming matrices of the users, and the phase shifts of the IRS. To solve this non-convex problem, we first use a block diagonalization method to represent the beamforming matrices of the BS and the users by the phase shifts of the IRS. Then, substituting the expressions of the beamforming matrices of the BS and the users, the original sum-rate maximization problem can be transformed into a problem that only needs to optimize the phase shifts of the IRS. To solve the transformed problem, a manifold method is used. Simulation results show that the proposed scheme can achieve up to 28.6% gain in terms of the sum rate of all users compared to the algorithm that optimizes the hybrid beamforming matrices of the BS and the users using our proposed scheme and randomly determines the phase shifts of the IRS.


title: Self-Supervised Vision Transformers for Malware Detection

abstract: Malware detection plays a crucial role in cyber-security with the increase in malware growth and advancements in cyber-attacks. Previously unseen malware which is not determined by security vendors are often used in these attacks and it is becoming inevitable to find a solution that can self-learn from unlabeled sample data. This paper presents SHERLOCK, a self-supervision based deep learning model to detect malware based on the Vision Transformer (ViT) architecture. SHERLOCK is a novel malware detection method which learns unique features to differentiate malware from benign programs with the use of image-based binary representation. Experimental results using 1.2 million Android applications across a hierarchy of 47 types and 696 families, shows that self-supervised learning can achieve an accuracy of 97% for the binary classification of malware which is higher than existing state-of-the-art techniques. Our proposed model is also able to outperform state-of-the-art techniques for multi-class malware classification of types and family with macro-F1 score of .497 and .491 respectively.


title: AEgIS: Status and Prospects

abstract: The progresses of the AEgIS collaboration on its way towards directly measuring the gravitational free-fall of neutral antimatter atoms are reviewed. The experiment recently developed the first pulsed cold antihydrogen source and entered in its second phase, aiming at the first proof-of-concept gravitational measurement. Several major upgrades were deployed, including an upgraded antihydrogen production scheme and a fully-redesigned antiproton trap. AEgIS re-started its operation on the new CERN ELENA decelerator in late 2021, capturing its first antiprotons and commissioning its new antiproton energy degrading system and hardware/software control systems.


title: Strong quantum nonlocality without entanglement in $n$-partite system with even $n$

abstract: In multipartite systems, great progress has been made recently on the study of strong quantum nonlocality without entanglement. However, the existence of orthogonal product sets with strong quantum nonlocality in even party systems remains unknown. Here the even number is greater than four. In this paper, we successfully construct strongly nonlocal orthogonal product sets in $n$-partite systems for all even $n$, which answers the open questions given by Halder et al. [\href{https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.122.040403} {Phys. Rev. Lett \textbf{122}, 040403 (2019)}] and Yuan et al. [\href{https://journals.aps.org/pra/abstract/10.1103/PhysRevA.102.042228} {Phys. Rev. A \textbf{102}, 042228 (2020)}] for any possible even party systems. Thus, we find general construction of strongly nonlocal orthogonal product sets in space $\otimes_{i=1}^{n}\mathcal{C}^{d_{i}}$ ($n,d_{i}\geq 3$) and show that there do exist incomplete orthogonal product bases that can be strongly nonlocal in any possible $n$-partite systems for all even $n$. Our newly constructed orthogonal product sets are asymmetric. We analyze the differences and connections between these sets and the known orthogonal product sets in odd party systems. In addition, we present a local state discrimination protocol for our sets by using additional entangled resource. When at least two subsystems have dimensions greater than three, the protocol consumes less entanglement than teleportation-based protocol. Strongly nonlocal set implies that the information cannot be completely accessed as long as it does not happen that all parties are together. As an application, we connect our sets with local information hiding in multipartite system.