title: High-sensitivity Fluorescence-Detected Multidimensional Electronic Spectroscopy Through Continuous Pump-probe Delay Scan

abstract: Background-free fluorescence detection in multidimensional electronic spectroscopy promises high sensitivity compared to conventional approaches. Here we explore the sensitivity limits of multidimensional electronic spectroscopy. We present a fluorescence-detected multidimensional electronic spectrometer based on a visible white-light continuum. As a demonstration of sensitivity, we report room temperature two-dimensional coherence maps of vibrational quantum coherences in a laser dye at optical densities ~2-3 orders of magnitude lower than conventional approaches. This high sensitivity is enabled by a combination of biased sampling along the optical coherence time axes and a rapid scan of the waiting time T dimension at each time step. A combination of acousto-optic phase modulation and phase-sensitive lock-in detection enables simultaneous collection of rephasing and non-rephasing signals and measurements of room temperature vibrational wavepackets even at the lowest ODs. Alternative faster data collection schemes, enabled by the flexibility of continuous pump-probe scanning approach, are also demonstrated.


title: Flux trajectory analysis of Airy-type beams

abstract: Airy beams are solutions to the paraxial Helmholtz equation known for exhibiting shape invariance along their self-accelerated propagation in free space. These two properties are associated with the fact that they are not square integrable, that is, they carry infinite energy. To circumvent this drawback, families of so-called finite-energy Airy-type beams have been proposed in the literature and, in some cases, also implemented in the laboratory. Here an analysis of the propagation of this type of structured light beams is presented from a flux trajectory perspective with the purpose to better understand the mechanisms that make infinite and finite energy beams to exhibit different behaviors. As it is shown, while the foremost part of the beam can be clearly and unambiguously associated with the well-known accelerating term, the rear part of the beam corresponds to a nearly homogeneous distribution of flow trajectories, particularly for large propagation distances. This is shown to be related with an effective transfer of trajectories between adjacent lobes (gradually, from the fore part of the beam to its rear part), which leads to smearing out the transverse flow along the rear part of the beam. This is sharp contrast with the situation found in ideal Airy beams, where trajectories belonging to a given lobe of the intensity distribution remain the same all along the propagation. The analysis is supplemented with an also trajectory-based description of Young's experiment performed with finite-energy Airy beams in order to provide a dynamical understanding of the autofocusing phenomenon observed with circular Airy beams.


title: On sketch-and-project methods for solving tensor equations

abstract: We first propose the regular sketch-and-project method for solving tensor equations with respect to the popular t-product. Then, three adaptive sampling strategies and three corresponding adaptive sketch-and-project methods are derived. We prove that all the proposed methods have linear convergence in expectation. Furthermore, we investigate the Fourier domain versions and some special cases of the new methods, where the latter corresponds to some famous matrix equation methods. Finally, numerical experiments are presented to demonstrate and test the feasibility and effectiveness of the proposed methods for solving tensor equations


title: RAPS: A Novel Few-Shot Relation Extraction Pipeline with Query-Information Guided Attention and Adaptive Prototype Fusion

abstract: Few-shot relation extraction (FSRE) aims at recognizing unseen relations by learning with merely a handful of annotated instances. To generalize to new relations more effectively, this paper proposes a novel pipeline for the FSRE task based on queRy-information guided Attention and adaptive Prototype fuSion, namely RAPS. Specifically, RAPS first derives the relation prototype by the query-information guided attention module, which exploits rich interactive information between the support instances and the query instances, in order to obtain more accurate initial prototype representations. Then RAPS elaborately combines the derived initial prototype with the relation information by the adaptive prototype fusion mechanism to get the integrated prototype for both train and prediction. Experiments on the benchmark dataset FewRel 1.0 show a significant improvement of our method against state-of-the-art methods.


title: Substructure-Atom Cross Attention for Molecular Representation Learning

abstract: Designing a neural network architecture for molecular representation is crucial for AI-driven drug discovery and molecule design. In this work, we propose a new framework for molecular representation learning. Our contribution is threefold: (a) demonstrating the usefulness of incorporating substructures to node-wise features from molecules, (b) designing two branch networks consisting of a transformer and a graph neural network so that the networks fused with asymmetric attention, and (c) not requiring heuristic features and computationally-expensive information from molecules. Using 1.8 million molecules collected from ChEMBL and PubChem database, we pretrain our network to learn a general representation of molecules with minimal supervision. The experimental results show that our pretrained network achieves competitive performance on 11 downstream tasks for molecular property prediction.


title: Extreme-Long-short Term Memory for Time-series Prediction

abstract: The emergence of Long Short-Term Memory (LSTM) solves the problems of vanishing gradient and exploding gradient in traditional Recurrent Neural Networks (RNN). LSTM, as a new type of RNN, has been widely used in various fields, such as text prediction, Wind Speed Forecast, depression prediction by EEG signals, etc. The results show that improving the efficiency of LSTM can help to improve the efficiency in other application areas. In this paper, we proposed an advanced LSTM algorithm, the Extreme Long Short-Term Memory (E-LSTM), which adds the inverse matrix part of Extreme Learning Machine (ELM) as a new "gate" into the structure of LSTM. This "gate" preprocess a portion of the data and involves the processed data in the cell update of the LSTM to obtain more accurate data with fewer training rounds, thus reducing the overall training time. In this research, the E-LSTM model is used for the text prediction task. Experimental results showed that the E-LSTM sometimes takes longer to perform a single training round, but when tested on a small data set, the new E-LSTM requires only 2 epochs to obtain the results of the 7th epoch traditional LSTM. Therefore, the E-LSTM retains the high accuracy of the traditional LSTM, whilst also improving the training speed and the overall efficiency of the LSTM.


title: Medial and isospectral algebras

abstract: The purpose of this paper is to give a systematic study of two new classes of commutative nonassociative algebras, the so-called isospectral and medial algebras. An isospectral algebra $\mathbb{A}$ is a generic commutative nonassociative algebra whose idempotents have the same Peirce spectrum. A medial algebra is algebra with identity $(xy)(zw)=(xz)(yw)$. We show that these two classes are essentially coincide. We also prove that any medial spectral algebra is isomorphic to a certain isotopic deformation of the commutative associative quotient algebra $\mathbf{K}[z]/(z^n-1)$.


title: A User Interface for Sense-making of the Reasoning Process while Interacting with Robots

abstract: As knowledge graph has the potential to bridge the gap between commonsense knowledge and reasoning over actionable capabilities of mobile robotic platforms, incorporating knowledge graph into robotic system attracted increasing attention in recent years. Previously, graph visualization has been used wildly by developers to make sense of knowledge representations. However, due to lacking the link between abstract knowledge of the real-world environment and the robot's actions, transitional visualization tools are incompatible for expert-user to understand, test, supervise and modify the graph-based reasoning system with the embodiment of the robots. Therefore, we developed an interface which enables robotic experts to send commands to the robot in natural language, then interface visualizes the procedures of the robot mapping the command to the functions for querying in the commonsense knowledge database, links the result to the real world instances in a 3D map and demonstrate the execution of the robot from the first-person perspective of the robot. After 3 weeks of usage of the system by robotic experts in their daily development, some feedback was collected, which provides insight for designing such systems.


title: A sparse spectral method for fractional differential equations in one-spatial dimension

abstract: We develop a sparse spectral method for a class of fractional differential equations, posed on $\mathbb{R}$, in one dimension. These equations can include sqrt-Laplacian, Hilbert, derivative and identity terms. The numerical method utilizes a basis consisting of weighted Chebyshev polynomials of the second kind in conjunction with their Hilbert transforms. The former functions are supported on $[-1,1]$ whereas the latter have global support. The global approximation space can contain different affine transformations of the basis, mapping $[-1,1]$ to other intervals. Remarkably, not only are the induced linear systems sparse, but the operator decouples across the different affine transformations. Hence, the solve reduces to solving $K$ independent sparse linear systems of size $\mathcal{O}(n)\times \mathcal{O}(n)$, with $\mathcal{O}(n)$ nonzero entries, where $K$ is the number of different intervals and $n$ is the highest polynomial degree contained in the sum space. This results in an $\mathcal{O}(n)$ complexity solve. Applications to fractional heat and wave equations are considered.


title: A Closer Look at the Calibration of Differentially Private Learners

abstract: We systematically study the calibration of classifiers trained with differentially private stochastic gradient descent (DP-SGD) and observe miscalibration across a wide range of vision and language tasks. Our analysis identifies per-example gradient clipping in DP-SGD as a major cause of miscalibration, and we show that existing approaches for improving calibration with differential privacy only provide marginal improvements in calibration error while occasionally causing large degradations in accuracy. As a solution, we show that differentially private variants of post-processing calibration methods such as temperature scaling and Platt scaling are surprisingly effective and have negligible utility cost to the overall model. Across 7 tasks, temperature scaling and Platt scaling with DP-SGD result in an average 3.1-fold reduction in the in-domain expected calibration error and only incur at most a minor percent drop in accuracy.


title: UniRPG: Unified Discrete Reasoning over Table and Text as Program Generation

abstract: Question answering requiring discrete reasoning, e.g., arithmetic computing, comparison, and counting, over knowledge is a challenging task. In this paper, we propose UniRPG, a semantic-parsing-based approach advanced in interpretability and scalability, to perform unified discrete reasoning over heterogeneous knowledge resources, i.e., table and text, as program generation. Concretely, UniRPG consists of a neural programmer and a symbolic program executor, where a program is the composition of a set of pre-defined general atomic and higher-order operations and arguments extracted from table and text. First, the programmer parses a question into a program by generating operations and copying arguments, and then the executor derives answers from table and text based on the program. To alleviate the costly program annotation issue, we design a distant supervision approach for programmer learning, where pseudo programs are automatically constructed without annotated derivations. Extensive experiments on the TAT-QA dataset show that UniRPG achieves tremendous improvements and enhances interpretability and scalability compared with state-of-the-art methods, even without derivation annotation. Moreover, it achieves promising performance on the textual dataset DROP without derivations.


title: Exploring quantum phase transitions by the cross derivative of the ground state energy

abstract: In this work, the cross derivative of the Gibbs free energy, initially proposed for phase transitions in classical spin models [Phys. Rev. B 101, 165123 (2020)], is extended for quantum systems. We take the spin-1 XXZ chain with anisotropies as an example to demonstrate its effectiveness and convenience for the Gaussian-type quantum phase transitions therein. These higher-order transitions are very challenging to determine by conventional methods. From the cross derivative with respect to the two anisotropic strengths, a single valley structure is observed clearly in each system size. The finite-size extrapolation of the valley depth shows a perfect logarithmic divergence, signaling the onset of a phase transition. Meanwhile, the critical point and the critical exponent for the correlation length are obtained by a power-law fitting of the valley location in each size. The results are well consistent with the best estimations in the literature. Its application to other quantum systems with continuous phase transitions is also discussed briefly.


title: Improving Your Graph Neural Networks: A High-Frequency Booster

abstract: Graph neural networks (GNNs) hold the promise of learning efficient representations of graph-structured data, and one of its most important applications is semi-supervised node classification. However, in this application, GNN frameworks tend to fail due to the following issues: over-smoothing and heterophily. The most popular GNNs are known to be focused on the message-passing framework, and recent research shows that these GNNs are often bounded by low-pass filters from a signal processing perspective. We thus incorporate high-frequency information into GNNs to alleviate this genetic problem. In this paper, we argue that the complement of the original graph incorporates a high-pass filter and propose Complement Laplacian Regularization (CLAR) for an efficient enhancement of high-frequency components. The experimental results demonstrate that CLAR helps GNNs tackle over-smoothing, improving the expressiveness of heterophilic graphs, which adds up to 3.6% improvement over popular baselines and ensures topological robustness.


title: DI-NIDS: Domain Invariant Network Intrusion Detection System

abstract: The performance of machine learning based network intrusion detection systems (NIDSs) severely degrades when deployed on a network with significantly different feature distributions from the ones of the training dataset. In various applications, such as computer vision, domain adaptation techniques have been successful in mitigating the gap between the distributions of the training and test data. In the case of network intrusion detection however, the state-of-the-art domain adaptation approaches have had limited success. According to recent studies, as well as our own results, the performance of an NIDS considerably deteriorates when the `unseen' test dataset does not follow the training dataset distribution. In some cases, swapping the train and test datasets makes this even more severe. In order to enhance the generalisibility of machine learning based network intrusion detection systems, we propose to extract domain invariant features using adversarial domain adaptation from multiple network domains, and then apply an unsupervised technique for recognising abnormalities, i.e., intrusions. More specifically, we train a domain adversarial neural network on labelled source domains, extract the domain invariant features, and train a One-Class SVM (OSVM) model to detect anomalies. At test time, we feedforward the unlabeled test data to the feature extractor network to project it into a domain invariant space, and then apply OSVM on the extracted features to achieve our final goal of detecting intrusions. Our extensive experiments on the NIDS benchmark datasets of NFv2-CIC-2018 and NFv2-UNSW-NB15 show that our proposed setup demonstrates superior cross-domain performance in comparison to the previous approaches.


title: Wehrl entropy of entangled Segal-Bargmann oscillators

abstract: In this manuscript we study the Wehrl entropy of entangled oscillators. This semiclassical entropy associated with the phase-space description of quantum mechanics can be used for formulating uncertainty relations and for a quantification of entanglement. We focus on a system of two coupled oscillators described within its Segal-Bargmann space. This Hilbert space of holomorphic functions integrable with respect to a given Gaussian-like measure is particularly convenient to deal with harmonic oscillators. Indeed, the Stone-von Neumann theorem allows us to work in this space in a full correspondence with the ladder operators formalism. In addition, the Husimi pseudoprobability distribution is directly computed within the Segal-Bargmann formalism. Once we obtain the Husimi function, we analyze the Wehrl entropy and mutual information.


title: Evolution of collisional neutrino flavor instabilities in spherically symmetric supernova models

abstract: We implement a multi-group and discrete-ordinate neutrino transport model in spherical symmetry which allows to simulate collective neutrino oscillations by including realistic collisional rates in a self-consistent way. We utilize this innovative model, based on strategic parameter rescaling, to study a recently proposed collisional flavor instability caused by the asymmetry of emission and absorption rates between $\nu_e$ and $\bar\nu_e$ for four different static backgrounds taken from different stages in a core-collapse supernova simulation. Our results confirm that collisional instabilities generally exist around the neutrinosphere during the SN accretion and post-accretion phase, as suggested by [arXiv:2104.11369]. However, the growth and transport of flavor instabilities can only be fully captured by models with global simulations as done in this work. With minimal ingredient to trigger collisional instabilities, we find that the flavor oscillations and transport mainly affect (anti)neutrinos of heavy lepton flavors around their decoupling sphere, which then leave imprints on their energy spectra in the free-streaming regime. For electron (anti)neutrinos, their properties remain nearly intact. We also explore various effects due to the decoherence from neutrino-nucleon scattering, artificially enhanced decoherence from emission and absorption, neutrino vacuum mixing, and inhomogeneous matter profile, and discuss the implication of our work.


title: Transport of ultracold atoms in superpositions of S- and D-band states in a moving optical lattice

abstract: The ultracold atoms in a moving optical lattice with its high controllability is a feasible platform to research the transport phenomenon. Here, we study the transport process of ultracold atoms at the D band in a one-dimensional optical lattice, and perform the manipulation of atomic transport by modulating the population proportion of S band and D band. In the experiment, we first load ultracold atoms into the optical lattice using shortcut method, and then accelerate the optical lattice by scanning the phase of lattice beams. The atomic transport in D band and S band is demonstrated respectively. We find the group velocity of atoms in D band is opposite to that in S band. By doping atoms of D band into that of S band, group velocity of the atomic superposition state is modulated, and the manipulation of atomic group velocity from positive to negative is realized. Furthermore, the influence of lattice depth and acceleration on the transport distance are studied. The calculations with multi-orbital simulation are coincident with the experimental results. Our work provides a useful method to manipulate the atomic transport in higher or mixed orbits.


title: On Trustworthy Decision-Making Process of Human Drivers from the View of Perceptual Uncertainty Reduction

abstract: Humans are experts in making decisions for challenging driving tasks with uncertainties. Many efforts have been made to model the decision-making process of human drivers at the behavior level. However, limited studies explain how human drivers actively make reliable sequential decisions to complete interactive driving tasks in an uncertain environment. This paper argues that human drivers intently search for actions to reduce the uncertainty of their perception of the environment, i.e., perceptual uncertainty, to a low level that allows them to make a trustworthy decision easily. This paper provides a proof of concept framework to empirically reveal that human drivers' perceptual uncertainty decreases when executing interactive tasks with uncertainties. We first introduce an explainable-artificial intelligence approach (i.e., SHapley Additive exPlanation, SHAP) to determine the salient features on which human drivers make decisions. Then, we use entropy-based measures to quantify the drivers' perceptual changes in these ranked salient features across the decision-making process, reflecting the changes in uncertainties. The validation and verification of our proposed method are conducted in the highway on-ramp merging scenario with congested traffic using the INTERACTION dataset. Experimental results support that human drivers intentionally seek information to reduce their perceptual uncertainties in the number and rank of salient features of their perception of environments to make a trustworthy decision.


title: Examples and patterns on quadratic Lie algebras

abstract: A Lie algebra is said to be quadratic if it admits a symmetric invariant and non-degenerated bilinear form. Semisimple algebras with the Killing form are examples of these algebras, while orthogonal subspaces provide abelian quadatric algebras. The class of quadratic algebras is outsize, but at first sight it is not clear weather an algebra is quadratic. Some necessary structural conditions appear due to the existence of an invariant form forces elemental patterns. Along the paper we overview classical features and constructions on this topic and focus on the existence and constructions of local quadratic.


title: Handling missing values in healthcare data: A systematic review of deep learning-based imputation techniques

abstract: Objective: The proper handling of missing values is critical to delivering reliable estimates and decisions, especially in high-stakes fields such as clinical research. The increasing diversity and complexity of data have led many researchers to develop deep learning (DL)-based imputation techniques. We conducted a systematic review to evaluate the use of these techniques, with a particular focus on data types, aiming to assist healthcare researchers from various disciplines in dealing with missing values. Methods: We searched five databases (MEDLINE, Web of Science, Embase, CINAHL, and Scopus) for articles published prior to August 2021 that applied DL-based models to imputation. We assessed selected publications from four perspectives: health data types, model backbone (i.e., main architecture), imputation strategies, and comparison with non-DL-based methods. Based on data types, we created an evidence map to illustrate the adoption of DL models. Results: We included 64 articles, of which tabular static (26.6%, 17/64) and temporal data (37.5%, 24/64) were the most frequently investigated. We found that model backbone(s) differed among data types as well as the imputation strategy. The "integrated" strategy, that is, the imputation task being solved concurrently with downstream tasks, was popular for tabular temporal (50%, 12/24) and multi-modal data (71.4%, 5/7), but limited for other data types. Moreover, DL-based imputation methods yielded better imputation accuracy in most studies, compared with non-DL-based methods. Conclusion: DL-based imputation models can be customized based on data type, addressing the corresponding missing patterns, and its associated "integrated" strategy can enhance the efficacy of imputation, especially in scenarios where data is complex. Future research may focus on the portability and fairness of DL-based models for healthcare data imputation.


title: A time-periodic competition model with nonlocal dispersal and bistable nonlinearity: propagation dynamics and stability

abstract: Seasonality frequently occurs in population models, and the corresponding seasonal patterns have been of great interest to scientists. This paper is concerned with traveling waves to a time-periodic bistable Lotka-Volterra competition system with nonlocal dispersal. We first establish the existence, uniqueness and stability of traveling wave solutions for this system. Then, by utilizing comparison principle and the stability property, the relationship among the bistable wave speed, the asymptotic propagation speeds of the associated monotone subsystems and the speed of upper/lower solutions is obtained. Next, explicit sufficient conditions for positive and negative bistable wave speeds are derived. Our explicit results are derived by constructing particular upper/lower solutions with specific asymptotical behaviors, which can be seen as case studies shedding light on further studies and improvements. Finally, the theoretical results are corroborated under weak conditions by direct simulations of the underlying time-periodic system with nonlocal dispersal. The combined impact of competition, dispersal and seasonality on the invasion direction has shed new light on the modelings and analysis of population competition and species invasion in heterogeneous media.


title: On critically coupled (s_1, s_2)-fractional system of Schr\"odinger equations with Hardy potential

abstract: In this article, our main concern is to study the existence of bound and ground state solutions for the following fractional system of Schr\"{o}dinger equations with Hardy potentials: \begin{equation*} \left\{ \begin{aligned} (-\Delta)^{s_{1}} u - \lambda_{1} \frac{u~~}{|x|^{2s_{1}}} - u^{2_{s_{1}}^{*}-1} = \nu \alpha h(x) u^{\alpha-1}v^{\beta} & \quad \mbox{in} ~ \mathbb{R}^{N}, (-\Delta)^{s_{2}} v - \lambda_{2} \frac{v~~}{|x|^{2s_{2}}} - v^{2_{s_{2}}^{*}-1} = \nu \beta h(x) u^{\alpha}v^{\beta-1} & \quad \mbox{in} ~ \mathbb{R}^{N}, u,v >0 \quad \mbox{in} ~ \mathbb{R}^{N} \setminus \{0\}, \end{aligned} \right. \end{equation*} where $s_{1},s_{2} \in (0,1)~\text{and}~\lambda_{i}\in (0, \Lambda_{N,s_{i}})$ with $\Lambda_{N,s_{i}} = 2 \pi^{N/2} \frac{\Gamma^{2}(\frac{N+2s_i}{4}) \Gamma(\frac{N+2s_i}{2})}{\Gamma^{2}(\frac{N-2s_i}{4}) ~|\Gamma(-s_{i})|}, (i=1,2)$. By imposing certain assumptions on the parameters and on the function h, we obtain ground-state solutions using the concentration-compactness principle and the mountain-pass theorem.


title: Singular positive mass theorem with arbitrary ends

abstract: Motivated by the recent progress on positive mass theorem for asymptotically flat manifolds with arbitrary ends and the Gromov's definition of scalar curvature lower bound for continuous metrics, we start a program on the positive mass theorem for asymptotically flat manifolds with $C^0$ arbitrary ends. In this work as the first step, we establish the positive mass theorem of asymptotically flat manifolds with $C^0$ arbitrary ends when the metric is $W^{1,p}_{\mathrm{loc}}$ for some $p\in(n,\infty]$ and is smooth away from a non-compact closed subset with Hausdorff dimension $n-\frac{p}{p-1}$. New techniques are developed to deal with non-compactness of the singular set.


title: Motion estimation and filtered prediction for dynamic point cloud attribute compression

abstract: In point cloud compression, exploiting temporal redundancy for inter predictive coding is challenging because of the irregular geometry. This paper proposes an efficient block-based inter-coding scheme for color attribute compression. The scheme includes integer-precision motion estimation and an adaptive graph based in-loop filtering scheme for improved attribute prediction. The proposed block-based motion estimation scheme consists of an initial motion search that exploits geometric and color attributes, followed by a motion refinement that only minimizes color prediction error. To further improve color prediction, we propose a vertex-domain low-pass graph filtering scheme that can adaptively remove noise from predictors computed from motion estimation with different accuracy. Our experiments demonstrate significant coding gain over state-of-the-art coding methods.


title: Reinforcement Learning for ConnectX

abstract: ConnectX is a two-player game that generalizes the popular game Connect 4. The objective is to get X coins across a row, column, or diagonal of an M x N board. The first player to do so wins the game. The parameters (M, N, X) are allowed to change in each game, making ConnectX a novel and challenging problem. In this paper, we present our work on the implementation and modification of various reinforcement learning algorithms to play ConnectX.


title: The Global Escape Velocity Profile and Virial Mass Estimate of The Milky Way Galaxy from Gaia Observations

abstract: Gaia HyperVelocity Star (HVS) kinematic observations favor a local escape velocity of ~700 km/s, nearly forty-percent greater than conventional estimates. Combining HVS and dwarf galaxy satellite data reveal the global escape velocity profile for the Galaxy smoothly traces an unbroken Keplerian decline from the central bar to the most remote satellite galaxy. We reveal a robust upper bound in baryonic mass discrepancy (maximal relative accelerations) linked to the virial theorem and obtain a fundamental and universal mass discrepancy-acceleration relation for virialized compact cosmic objects.


title: Bearing-based Relative Localization for Robotic Swarm with Partially Mutual Observations

abstract: Mutual localization provides a consensus of reference frame as an essential basis for cooperation in multirobot systems. Previous works have developed certifiable and robust solvers for relative transformation estimation between each pair of robots. However, recovering relative poses for robotic swarm with partially mutual observations is still an unexploited problem. In this paper, we present a complete algorithm for it with optimality, scalability and robustness. Firstly, we fuse all odometry and bearing measurements in a unified minimization problem among the Stiefel manifold. Furthermore, we relax the original non-convex problem into a semi-definite programming (SDP) problem with a strict tightness guarantee. Then, to hold the exactness in noised cases, we add a convex (linear) rank cost and apply a convex iteration algorithm. We compare our approach with local optimization methods on extensive simulations with different robot amounts under various noise levels to show our global optimality and scalability advantage. Finally, we conduct real-world experiments to show the practicality and robustness.


title: MenuAI: Restaurant Food Recommendation System via a Transformer-based Deep Learning Model

abstract: Food recommendation system has proven as an effective technology to provide guidance on dietary choices, and this is especially important for patients suffering from chronic diseases. Unlike other multimedia recommendations, such as books and movies, food recommendation task is highly relied on the context at the moment, since users' food preference can be highly dynamic over time. For example, individuals tend to eat more calories earlier in the day and eat a little less at dinner. However, there are still limited research works trying to incorporate both current context and nutritional knowledge for food recommendation. Thus, a novel restaurant food recommendation system is proposed in this paper to recommend food dishes to users according to their special nutritional needs. Our proposed system utilises Optical Character Recognition (OCR) technology and a transformer-based deep learning model, Learning to Rank (LTR) model, to conduct food recommendation. Given a single RGB image of the menu, the system is then able to rank the food dishes in terms of the input search key (e.g., calorie, protein level). Due to the property of the transformer, our system can also rank unseen food dishes. Comprehensive experiments are conducted to validate our methods on a self-constructed menu dataset, known as MenuRank dataset. The promising results, with accuracy ranging from 77.2% to 99.5%, have demonstrated the great potential of LTR model in addressing food recommendation problems.


title: Two-dimensional Penta-NiPS Sheets: Two Stable Polymorphs

abstract: The discovery of new and stable two-dimensional (2D) materials with exotic properties is essential for technological advancement. Inspired by the recently reported penta-PdPSe, we proposed penta-NiPS as a new member of the penta-2D materials based on first-principles calculations. The penta-NiPS monolayer is stable in two polymorphs including the alpha phase with identical structure as penta-PdPSe, and the newly proposed beta phase with rotated sublayers. Comprehensive analysis indicated that both phases are thermodynamically, dynamically, mechanically, and thermally stable. The penta-NiPS is a soft material with 2D Young's modulus of Ea=208 Nm^-1 and Eb=187 Nm^-1 for the alpha phase and Ea=184 Nm^-1 and Eb=140 Nm^-1 for the beta phase. Interestingly, the alpha-penta-NiPS showed nearly zero Poisson's ratios along the in-plane direction, where its dimensions would be maintained when being extended. For electronic applications, we demonstrated that penta-NiPS is the wide band gap semiconductor with an indirect band gap of 2.35 eV for alpha phase, and 2.20 eV for beta phase.


title: Product Ranking for Revenue Maximization with Multiple Purchases

abstract: Product ranking is the core problem for revenue-maximizing online retailers. To design proper product ranking algorithms, various consumer choice models are proposed to characterize the consumers' behaviors when they are provided with a list of products. However, existing works assume that each consumer purchases at most one product or will keep viewing the product list after purchasing a product, which does not agree with the common practice in real scenarios. In this paper, we assume that each consumer can purchase multiple products at will. To model consumers' willingness to view and purchase, we set a random attention span and purchase budget, which determines the maximal amount of products that he/she views and purchases, respectively. Under this setting, we first design an optimal ranking policy when the online retailer can precisely model consumers' behaviors. Based on the policy, we further develop the Multiple-Purchase-with-Budget UCB (MPB-UCB) algorithms with $\~O(\sqrt{T})$ regret that estimate consumers' behaviors and maximize revenue simultaneously in online settings. Experiments on both synthetic and semi-synthetic datasets prove the effectiveness of the proposed algorithms.


title: Correct-by-Design Control of Parametric Stochastic Systems

abstract: This paper addresses the problem of computing controllers that are correct by design for safety-critical systems and can provably satisfy (complex) functional requirements. We develop new methods for models of systems subject to both stochastic and parametric uncertainties. We provide for the first time novel simulation relations for enabling correct-by-design control refinement, that are founded on coupling uncertainties of stochastic systems via sub-probability measures. Such new relations are essential for constructing abstract models that are related to not only one model but to a set of parameterized models. We provide theoretical results for establishing this new class of relations and the associated closeness guarantees for both linear and nonlinear parametric systems with additive Gaussian uncertainty. The results are demonstrated on a linear model and the nonlinear model of the Van der Pol Oscillator.


title: Assessing the Solid Protocol in Relation to Security & Privacy Obligations

abstract: The Solid specification aims to empower data subjects by giving them direct access control over their data across multiple applications. As governments are manifesting their interest in this framework for citizen empowerment and e-government services, security and privacy represent pivotal issues to be addressed. By analyzing the relevant legislation, notably GDPR, and international standards, namely ISO/IEC 27001:2011 and 15408, we formulate the primary security and privacy requirements for such a framework. Furthermore, we survey the current Solid protocol specifications regarding how they cover the highlighted requirements, and draw attention to potential gaps between the specifications and requirements. We also point out the contribution of recent academic work presenting novel approaches to increase the security and privacy degree provided by the Solid project. This paper has a twofold contribution to improve user awareness of how Solid can help protect their data and to present possible future research lines on Solid security and privacy enhancements.


title: Molecular electronic junctions with stochastic structural transitions

abstract: We present a theoretical approach to include dynamical aspects of molecular structural fluctuations, such as, for example, forming and breaking hydrogen bonds, isomerizations, and dynamical supramolecular structures, in nonequilibrium Green's functions electron transport calculations. Structural transitions are treated as a stochastic telegraph process, and the primary quantity of interest is a retarded Green's function averaged over realizations of a stochastic process. Using the Novikov-Furutsu functional stochastic calculus method, we derive equations of motion for stochastically averaged retarded Green's function in closed form. Consequently, we obtain the expression for electric current averaged over transitions, which depends not only on probabilities of observing particular molecular structures but also on the dynamics. However, the proposed method has a significant limitation - we have to assume that the imaginary parts of retarded self-energies produced by left and right electrodes are proportional to each other; this significantly restricts possible applications of the theory. Several examples illustrate the proposed approach.


title: Heterogeneous interventional indirect effects with multiple mediators: non-parametric and semi-parametric approaches

abstract: We propose semi- and non-parametric methods to estimate conditional interventional effects in the setting of two discrete mediators whose causal ordering is unknown. Average interventional indirect effects have been shown to decompose an average treatment effect into a direct effect and interventional indirect effects that quantify effects of hypothetical interventions on mediator distributions. Yet these effects may be heterogeneous across the covariate distribution. We consider the problem of estimating these effects at particular points. We propose an influence-function based estimator of the projection of the conditional effects onto a working model, and show under some conditions that we can achieve root-n consistent and asymptotically normal estimates. Second, we propose a fully non-parametric approach to estimation and show the conditions where this approach can achieve oracle rates of convergence. Finally, we propose a sensitivity analysis for the conditional effects in the presence of mediator-outcome confounding. We propose estimating bounds on the conditional effects using these same methods, and show that these results easily extend to allow for influence-function based estimates of the bounds on the average effects. We conclude examining heterogeneous effects with respect to the effect of COVID-19 vaccinations on depression during February 2021.


title: Classification of Web Phishing Kits for early detection by platform providers

abstract: Phishing kits are tools that dark side experts provide to the community of criminal phishers to facilitate the construction of malicious Web sites. As these kits evolve in sophistication, providers of Web-based services need to keep pace with continuous complexity. We present an original classification of a corpus of over 2000 recent phishing kits according to their adopted evasion and obfuscation functions. We carry out an initial deterministic analysis of the source code of the kits to extract the most discriminant features and information about their principal authors. We then integrate this initial classification through supervised machine learning models. Thanks to the ground-truth achieved in the first step, we can demonstrate whether and which machine learning models are able to suitably classify even the kits adopting novel evasion and obfuscation techniques that were unseen during the training phase. We compare different algorithms and evaluate their robustness in the realistic case in which only a small number of phishing kits are available for training. This paper represents an initial but important step to support Web service providers and analysts in improving early detection mechanisms and intelligence operations for the phishing kits that might be installed on their platforms.


title: CLARE: A Semi-supervised Community Detection Algorithm

abstract: Community detection refers to the task of discovering closely related subgraphs to understand the networks. However, traditional community detection algorithms fail to pinpoint a particular kind of community. This limits its applicability in real-world networks, e.g., distinguishing fraud groups from normal ones in transaction networks. Recently, semi-supervised community detection emerges as a solution. It aims to seek other similar communities in the network with few labeled communities as training data. Existing works can be regarded as seed-based: locate seed nodes and then develop communities around seeds. However, these methods are quite sensitive to the quality of selected seeds since communities generated around a mis-detected seed may be irrelevant. Besides, they have individual issues, e.g., inflexibility and high computational overhead. To address these issues, we propose CLARE, which consists of two key components, Community Locator and Community Rewriter. Our idea is that we can locate potential communities and then refine them. Therefore, the community locator is proposed for quickly locating potential communities by seeking subgraphs that are similar to training ones in the network. To further adjust these located communities, we devise the community rewriter. Enhanced by deep reinforcement learning, it suggests intelligent decisions, such as adding or dropping nodes, to refine community structures flexibly. Extensive experiments verify both the effectiveness and efficiency of our work compared with prior state-of-the-art approaches on multiple real-world datasets.


title: Probing Galactic variations in the fine-structure constant using solar twin stars: methodology and results

abstract: The rich absorption spectra of Sun-like stars are enticing probes for variations in the fine-structure constant, $\alpha$, which gauges the strength of electromagnetism. While individual line wavelengths are sensitive to $\alpha$, they are also sensitive to physical processes in the stellar atmospheres, which has precluded their use so far. Here we demonstrate a new, differential approach using solar twins: velocity separations between close pairs of transitions are compared across stars with very similar physical properties, strongly suppressing astrophysical and instrumental systematic errors. We utilise 423 archival exposures of 18 solar twins from the High-Accuracy Radial velocity Planetary Searcher (HARPS), in which calibration errors can be reduced to $\lesssim$3 m/s. For stars with $\approx$10 high signal-to-noise ratio spectra ($\ge$200 per pixel), velocity separations between pairs are measured with $\approx$10 m/s statistical precision. A companion paper assesses a range of systematic error sources using 130 stars, with a greater range of stellar parameters, providing accurate corrections for astrophysical effects and a residual, intrinsic star-to-star scatter of 0-13 m/s. Within these uncertainties, we find no evidence for velocity separation differences in 17 transition pairs between solar twins. In a second companion paper, this is found to limit local ($\lesssim$50 pc) variations in $\alpha$ to $\approx$50 parts per billion, $\sim$2 orders of magnitude less than other Galactic constraints.


title: Probing Galactic variations in the fine-structure constant using solar twin stars: systematic errors

abstract: Sun-like stars are a new probe of variations in the fine-structure constant, $\alpha$, via the solar twins approach: velocity separations of close pairs of absorption lines are compared between stars with very similar stellar parameters, i.e. effective temperature, metallicity and surface gravity within 100K, 0.1 dex and 0.2 dex of the Sun's values. Here we assess possible systematic errors in this approach by analysing $\gtrsim$10,000 archival exposures from the High-Accuracy Radial velocity Planetary Searcher (HARPS) of 130 stars covering a much broader range of stellar parameters. We find that each transition pair's separation shows broad, low-order variations with stellar parameters which can be accurately modelled, leaving only a small residual, intrinsic star-to-star scatter of 0-33 m/s (average $\approx$7 m/s, $\approx$10$^{-4}$\r{A} at 5000\r{A}). This limits the precision available from a single pair in one star. We consider potential systematic errors from a range of instrumental and astrophysical sources (e.g. wavelength calibration, charge transfer inefficiency, stellar magnetic activity, line blending) and conclude that variations in elemental abundances, isotope ratios and stellar rotational velocities may explain this star-to-star scatter. Finally, we find that the solar twins approach can be extended to solar analogues - within 300K, 0.3 dex and 0.4 dex of the Sun's parameters - without significant additional systematic errors, allowing a much larger number of stars to be used as probes of variation in $\alpha$, including at much larger distances.

categories: astro-ph.SR astro-ph.EP astro-ph.GA physics.atom-ph


title: Deep Differentiable Logic Gate Networks

abstract: Recently, research has increasingly focused on developing efficient neural network architectures. In this work, we explore logic gate networks for machine learning tasks by learning combinations of logic gates. These networks comprise logic gates such as "AND" and "XOR", which allow for very fast execution. The difficulty in learning logic gate networks is that they are conventionally non-differentiable and therefore do not allow training with gradient descent. Thus, to allow for effective training, we propose differentiable logic gate networks, an architecture that combines real-valued logics and a continuously parameterized relaxation of the network. The resulting discretized logic gate networks achieve fast inference speeds, e.g., beyond a million images of MNIST per second on a single CPU core.


title: Restricted-finite groups with some applications in group rings

abstract: We carry out a study of groups $G$ in which the index of any infinite subgroup is finite. We call them restricted-finite groups and characterize finitely generated not torsion restricted-finite groups. We show that every infinite restricted-finite abelian group is isomorphic to $\mathbb{Z}\times K$ or $\mathbb{Z}_{p^\infty}\times K$, where $K$ is a finite group and $p$ is a prime number. We also prove that a group $G$ is infinitely generated restricted-finite if and only if $G = AT$, where $A$ and $T$ are subgroups of $G$ such that $A$ is normal quasicyclic and $T$ is finite. As an application of our results, we show that if $G$ is not torsion with finite $G'$ and the group-ring $RG$ has restricted minimum condition then $R$ is a semisimple ring and $G\cong T\rtimes\mathbb{Z} $, where $T$ is finite whose order is unit in $R$. The converse is also true with certain conditions including $G = T\times \mathbb{Z}


title: Model of rough surfaces with Gaussian processes

abstract: Surface roughness plays a critical role and has effects in, e.g. fluid dynamics or contact mechanics. For example, to evaluate fluid behavior at different roughness properties, real-world or numerical experiments are performed. Numerical simulations of rough surfaces can speed up these studies because they can help collect more relevant information. However, it is hard to simulate rough surfaces with deterministic or structured components in current methods. In this work, we present a novel approach to simulate rough surfaces with a Gaussian process (GP) and a noise model because GPs can model structured and periodic elements. GPs generalize traditional methods and are not restricted to stationarity so they can simulate a wider range of rough surfaces. In this paper, we summarize the theoretical similarities of GPs with auto-regressive moving-average processes and introduce a linear process view of GPs. We also show examples of ground and honed surfaces simulated by a predefined model. The proposed method can also be used to fit a model to measurement data of a rough surface. In particular, we demonstrate this to model turned profiles and surfaces that are inherently periodic.


title: Robot Navigation Anticipative Strategies in Deep Reinforcement Motion Planning

abstract: The navigation of robots in dynamic urban environments, requires elaborated anticipative strategies for the robot to avoid collisions with dynamic objects, like bicycles or pedestrians, and to be human aware. We have developed and analyzed three anticipative strategies in motion planning taking into account the future motion of the mobile objects that can move up to 18 km/h. First, we have used our hybrid policy resulting from a Deep Deterministic Policy Gradient (DDPG) training and the Social Force Model (SFM), and we have tested it in simulation in four complex map scenarios with many pedestrians. Second, we have used these anticipative strategies in real-life experiments using the hybrid motion planning method and the ROS Navigation Stack with Dynamic Windows Approach (NS-DWA). The results in simulations and real-life experiments show very good results in open environments and also in mixed scenarios with narrow spaces.


title: Man-in-the-OBD: A modular, protocol agnostic firewall for automotive dongles to enhance privacy and security

abstract: Third-party dongles for cars, e.g. from insurance companies, can extract sensitive data and even send commands to the car via the standardized OBD-II interface. Due to the lack of message authentication mechanisms, this leads to major security vulnerabilities for example regarding the connection with malicious devices. Therefore, we apply a modular, protocol-independent firewall approach by placing a man-in-the-middle between the third-party dongle and the car's OBD-II interface. With this privileged network position, we demonstrate how the data flow accessible through the OBD-II interface can be modified or restricted. We can modify the messages contents or delay the arrival of messages by using our fine-granular configurable rewriting rules, specifically designed to work protocol agnostic. We have implemented our modular approach for a configurable firewall at the OBD-II interface and successfully tested it against third-party dongles available on the market. Thus, our approach enables a security layer to enhance automotive privacy and security of dongle users, which is of high relevance due to missing message authentications on the level of the electronic control units.


title: LAD: A Hybrid Deep Learning System for Benign Paroxysmal Positional Vertigo Disorders Diagnostic

abstract: Herein, we introduce "Look and Diagnose" (LAD), a hybrid deep learning-based system that aims to support doctors in the medical field in diagnosing effectively the Benign Paroxysmal Positional Vertigo (BPPV) disorder. Given the body postures of the patient in the Dix-Hallpike and lateral head turns test, the visual information of both eyes is captured and fed into LAD for analyzing and classifying into one of six possible disorders the patient might be suffering from. The proposed system consists of two streams: (1) an RNN-based stream that takes raw RGB images of both eyes to extract visual features and optical flow of each eye followed by ternary classification to determine left/right posterior canal (PC) or other; and (2) pupil detector stream that detects the pupil when it is classified as Non-PC and classifies the direction and strength of the beating to categorize the Non-PC types into the remaining four classes: Geotropic BPPV (left and right) and Apogeotropic BPPV (left and right). Experimental results show that with the patient's body postures, the system can accurately classify given BPPV disorder into the six types of disorders with an accuracy of 91% on the validation set. The proposed method can successfully classify disorders with an accuracy of 93% for the Posterior Canal disorder and 95% for the Geotropic and Apogeotropic disorder, paving a potential direction for research with the medical data.


title: Non-local magnon transconductance in extended magnetic insulating films.\\Part II: two-fluid behavior

abstract: This review presents a comprehensive study of the spatial dispersion of propagating magnons electrically emitted in extended yttrium-iron garnet (YIG) films by the spin transfer effects across a YIG$\vert$Pt interface. Our goal is to provide a generic framework to describe the magnon transconductance inside magnetic films. We experimentally elucidate the relevant spectral contributions by studying the lateral decay of the magnon signal. While most of the injected magnons do not reach the collector, the propagating magnons can be split into two-fluids: \textit{i)} a large fraction of high-energy magnons carrying energy of about $k_B T_0$, where $T_0$ is the lattice temperature, with a characteristic decay length in the sub-micrometer range, and \textit{ii)} a small fraction of low-energy magnons, which are particles carrying energy of about $\hbar \omega_K$, where $\omega_K/(2 \pi)$ is the Kittel frequency, with a characteristic decay length in the micrometer range. Taking advantage of their different physical properties, the low-energy magnons can become the dominant fluid \textit{i)} at large spin transfer rates for the bias causing the emission of magnons, \textit{ii)} at large distance from the emitter, \textit{iii)} at small film thickness, or \textit{iv)} for reduced band mismatch between the YIG below the emitter and the bulk due to variation of the magnon concentration. This broader picture complements part I \cite{kohno_SD}, which focuses solely on the nonlinear transport properties of low-energy magnons.


title: AraLegal-BERT: A pretrained language model for Arabic Legal text

abstract: The effectiveness of the BERT model on multiple linguistic tasks has been well documented. On the other hand, its potentials for narrow and specific domains such as Legal, have not been fully explored. In this paper, we examine how BERT can be used in the Arabic legal domain and try customizing this language model for several downstream tasks using several different domain-relevant training and testing datasets to train BERT from scratch. We introduce the AraLegal-BERT, a bidirectional encoder Transformer-based model that have been thoroughly tested and carefully optimized with the goal to amplify the impact of NLP-driven solution concerning jurisprudence, legal documents, and legal practice. We fine-tuned AraLegal-BERT and evaluated it against three BERT variations for Arabic language in three natural languages understanding (NLU) tasks. The results show that the base version of AraLegal-BERT achieve better accuracy than the general and original BERT over the Legal text.


title: FedCross: Towards Accurate Federated Learning via Multi-Model Cross Aggregation

abstract: Due to the remarkable performance in preserving data privacy for decentralized data scenarios, Federated Learning (FL) has been considered as a promising distributed machine learning paradigm to deal with data silos problems. Typically, conventional FL approaches adopts a one-to-multi training scheme, where the cloud server keeps only one single global model for all the involved clients for the purpose of model aggregation. However, this scheme suffers from inferior classification performance, since only one global model cannot always accommodate all the incompatible convergence directions of local models, resulting in a low convergence rate and classification accuracy. To address this issue, this paper presents an efficient FL framework named FedCross, which adopts a novel multi-to-multi FL training scheme based on our proposed similarity-based multi-model cross aggregation method. Unlike traditional FL methods, in each round of FL training, FedCross uses a small set of distinct intermediate models to conduct weighted fusion under the guidance of model similarities. In this way, the intermediate models used by FedCross can sufficiently respect the convergence characteristics of clients, thus leading to much fewer conflicts in tuning the convergence directions of clients. Finally, in the deployment stage, FedCross forms a global model for all the clients by performing the federated averaging on the trained immediate models.


title: Sensing-Assisted Eavesdropper Estimation: An ISAC Breakthrough in Physical Layer Security

abstract: In this paper, we investigate the sensing-aided physical layer security (PLS) towards Integrated Sensing and Communication (ISAC) systems. A well-known limitation of PLS is the need to have information about potential eavesdroppers (Eves). The sensing functionality of ISAC offers an enabling role here, by estimating the directions of potential Eves to inform PLS. In our approach, the ISAC base station (BS) firstly emits an omni-directional waveform to search for potential Eves' directions by employing the combined Capon and approximate maximum likelihood (CAML) technique. Using the resulting information about potential Eves, we formulate secrecy rate expressions, that are a function of the Eves' estimation accuracy. We then formulate a weighted optimization problem to simultaneously maximize the secrecy rate and minimize the CRB with the aid of the artificial noise (AN), and minimize the CRB of targets'/Eves' estimation. By taking the possible estimation errors into account, we enforce a beampattern constraint with a wide main beam covering all possible directions of Eves. This implicates that security needs to be enforced in all these directions. By improving estimation accuracy, the sensing and security functionalities provide mutual benefits, resulting in improvement of the mutual performances with every iteration of the optimization, until convergence. Our results avail of these mutual benefits and reveal the usefulness of sensing as an enabler for practical PLS.


title: Linear Scalarization for Byzantine-robust learning on non-IID data

abstract: In this work we study the problem of Byzantine-robust learning when data among clients is heterogeneous. We focus on poisoning attacks targeting the convergence of SGD. Although this problem has received great attention; the main Byzantine defenses rely on the IID assumption causing them to fail when data distribution is non-IID even with no attack. We propose the use of Linear Scalarization (LS) as an enhancing method to enable current defenses to circumvent Byzantine attacks in the non-IID setting. The LS method is based on the incorporation of a trade-off vector that penalizes the suspected malicious clients. Empirical analysis corroborates that the proposed LS variants are viable in the IID setting. For mild to strong non-IID data splits, LS is either comparable or outperforming current approaches under state-of-the-art Byzantine attack scenarios.


title: Transformer-based dimensionality reduction

abstract: Recently, Transformer is much popular and plays an important role in the fields of Machine Learning (ML), Natural Language Processing (NLP), and Computer Vision (CV), etc. In this paper, based on the Vision Transformer (ViT) model, a new dimensionality reduction (DR) model is proposed, named Transformer-DR. From data visualization, image reconstruction and face recognition, the representation ability of Transformer-DR after dimensionality reduction is studied, and it is compared with some representative DR methods to understand the difference between Transformer-DR and existing DR methods. The experimental results show that Transformer-DR is an effective dimensionality reduction method.


title: AI-powered mechanisms as judges: Breaking ties in chess and beyond

abstract: Recently, Artificial Intelligence (AI) technology use has been rising in sports. For example, to reduce staff during the COVID-19 pandemic, major tennis tournaments replaced human line judges with Hawk-Eye Live technology. AI is now ready to move beyond such mundane tasks, however. A case in point and a perfect application ground is chess. To reduce the growing incidence of draws, many elite tournaments have resorted to fast chess tiebreakers. However, these tiebreakers are vulnerable to strategic manipulation, e.g., in the last game of the 2018 World Chess Championship, Magnus Carlsen -- in a significantly advantageous position -- offered a draw to Fabiano Caruana (whom accepted the offer) to proceed to fast chess tiebreaks in which Carlsen had even better odds of winning the championship. By contrast, we prove that our AI-based method can serve as a judge to break ties without being vulnerable to such manipulation. It relies on measuring the difference between the evaluations of a player's actual move and the best move as deemed by a powerful chess engine. If there is a tie, the player with the higher quality measure wins the tiebreak. We generalize our method to all competitive sports and games in which AI's superiority is -- or can be -- established.


title: Prediction Calibration for Generalized Few-shot Semantic Segmentation

abstract: Generalized Few-shot Semantic Segmentation (GFSS) aims to segment each image pixel into either base classes with abundant training examples or novel classes with only a handful of (e.g., 1-5) training images per class. Compared to the widely studied Few-shot Semantic Segmentation FSS, which is limited to segmenting novel classes only, GFSS is much under-studied despite being more practical. Existing approach to GFSS is based on classifier parameter fusion whereby a newly trained novel class classifier and a pre-trained base class classifier are combined to form a new classifier. As the training data is dominated by base classes, this approach is inevitably biased towards the base classes. In this work, we propose a novel Prediction Calibration Network PCN to address this problem. Instead of fusing the classifier parameters, we fuse the scores produced separately by the base and novel classifiers. To ensure that the fused scores are not biased to either the base or novel classes, a new Transformer-based calibration module is introduced. It is known that the lower-level features are useful of detecting edge information in an input image than higher-level features. Thus, we build a cross-attention module that guides the classifier's final prediction using the fused multi-level features. However, transformers are computationally demanding. Crucially, to make the proposed cross-attention module training tractable at the pixel level, this module is designed based on feature-score cross-covariance and episodically trained to be generalizable at inference time. Extensive experiments on PASCAL-$5^{i}$ and COCO-$20^{i}$ show that our PCN outperforms the state-the-the-art alternatives by large margins.


title: Bidirectional Semi-supervised Dual-branch CNN for Robust 3D Reconstruction of Stereo Endoscopic Images via Adaptive Cross and Parallel Supervisions

abstract: Semi-supervised learning via teacher-student network can train a model effectively on a few labeled samples. It enables a student model to distill knowledge from the teacher's predictions of extra unlabeled data. However, such knowledge flow is typically unidirectional, having the performance vulnerable to the quality of teacher model. In this paper, we seek to robust 3D reconstruction of stereo endoscopic images by proposing a novel fashion of bidirectional learning between two learners, each of which can play both roles of teacher and student concurrently. Specifically, we introduce two self-supervisions, i.e., Adaptive Cross Supervision (ACS) and Adaptive Parallel Supervision (APS), to learn a dual-branch convolutional neural network. The two branches predict two different disparity probability distributions for the same position, and output their expectations as disparity values. The learned knowledge flows across branches along two directions: a cross direction (disparity guides distribution in ACS) and a parallel direction (disparity guides disparity in APS). Moreover, each branch also learns confidences to dynamically refine its provided supervisions. In ACS, the predicted disparity is softened into a unimodal distribution, and the lower the confidence, the smoother the distribution. In APS, the incorrect predictions are suppressed by lowering the weights of those with low confidence. With the adaptive bidirectional learning, the two branches enjoy well-tuned supervisions, and eventually converge on a consistent and more accurate disparity estimation. The extensive and comprehensive experimental results on four public datasets demonstrate our superior performance over other state-of-the-arts with a relative decrease of averaged disparity error by at least 9.76%.


title: Integer Programming Models for Round Robin Tournaments

abstract: Round robin tournaments are omnipresent in sport competitions and beyond. We propose two new integer programming formulations for scheduling a round robin tournament, one of which we call the matching formulation. We analytically compare their linear relaxations with the linear relaxation of a well-known traditional formulation. We find that the matching formulation is stronger than the other formulations, while its LP relaxation is still being solvable in polynomial time. In addition, we provide an exponentially sized class of valid inequalities for the matching formulation. Complementing our theoretical assessment of the strength of the different formulations, we also experimentally show that the matching formulation is superior on a broad set of instances. Finally, we describe a branch-and-price algorithm for finding round robin tournaments that is based on the matching formulation.


title: Approximate Graph Colouring and Crystals

abstract: We show that approximate graph colouring is not solved by any level of the affine integer programming (AIP) hierarchy. To establish the result, we translate the problem of exhibiting a graph fooling a level of the AIP hierarchy into the problem of constructing a highly symmetric crystal tensor. In order to prove the existence of crystals in arbitrary dimension, we provide a combinatorial characterisation for realisable systems of tensors; i.e., sets of low-dimensional tensors that can be realised as the projections of a single high-dimensional tensor.


title: Setting Interim Deadlines to Persuade

abstract: A principal funds a multistage project and retains the right to cut the funding if it stagnates at some point. An agent wants to convince the principal to fund the project as long as possible, and can design the flow of information about the progress of the project in order to persuade the principal. If the project is sufficiently promising ex ante, then the agent commits to providing only the good news that the project is accomplished. If the project is not promising enough ex ante, the agent persuades the principal to start the funding by committing to provide not only good news but also the bad news that a project milestone has not been reached by an interim deadline. I demonstrate that the outlined structure of optimal information disclosure holds irrespective of the agent's profit share, benefit from the flow of funding, and the common discount rate.


title: A Secure Federated Data-Driven Evolutionary Multi-objective Optimization Algorithm

abstract: Data-driven evolutionary algorithms usually aim to exploit the information behind a limited amount of data to perform optimization, which have proved to be successful in solving many complex real-world optimization problems. However, most data-driven evolutionary algorithms are centralized, causing privacy and security concerns. Existing federated Bayesian algorithms and data-driven evolutionary algorithms mainly protect the raw data on each client. To address this issue, this paper proposes a secure federated data-driven evolutionary multi-objective optimization algorithm to protect both the raw data and the newly infilled solutions obtained by optimizing the acquisition function conducted on the server. We select the query points on a randomly selected client at each round of surrogate update by calculating the acquisition function values of the unobserved points on this client, thereby reducing the risk of leaking the information about the solution to be sampled. In addition, since the predicted objective values of each client may contain sensitive information, we mask the objective values with Diffie-Hellmann-based noise, and then send only the masked objective values of other clients to the selected client via the server. Since the calculation of the acquisition function also requires both the predicted objective value and the uncertainty of the prediction, the predicted mean objective and uncertainty are normalized to reduce the influence of noise. Experimental results on a set of widely used multi-objective optimization benchmarks show that the proposed algorithm can protect privacy and enhance security with only negligible sacrifice in the performance of federated data-driven evolutionary optimization.


title: Thickness and twist angle dependent interlayer excitons in metal monochalcogenide heterostructures

abstract: Interlayer excitons, or bound electron-hole pairs whose constituent quasiparticles are located in distinct stacked semiconducting layers, are being intensively studied in heterobilayers of two dimensional semiconductors. They owe their existence to an intrinsic type-II band alignment between both layers that convert these into p-n junctions. Here, we unveil a pronounced interlayer exciton (IX) in heterobilayers of metal monochalcogenides, namely gamma-InSe on epsilon-GaSe, whose pronounced emission is adjustable just by varying their thicknesses given their number of layers dependent direct bandgaps. Time-dependent photoluminescense spectroscopy unveils considerably longer interlayer exciton lifetimes with respect to intralayer ones, thus confirming their nature. The linear Stark effect yields a bound electron-hole pair whose separation d is just (3.6 \pm 0.1) {\AA} with d being very close to dSe = 3.4 {\AA} which is the calculated interfacial Se separation. The envelope of IX is twist angle dependent and describable by superimposed emissions that are nearly equally spaced in energy, as if quantized due to localization induced by the small moir\'e periodicity. These heterostacks are characterized by extremely flat interfacial valence bands making them prime candidates for the observation of magnetism or other correlated electronic phases upon carrier doping.


title: Clustering blood donors via mixtures of product partition models with covariates

abstract: Motivated by the problem of accurately predicting gap times between successive blood donations, we present here a general class of Bayesian nonparametric models for clustering. These models allow for prediction of new recurrences, accommodating covariate information that describes the personal characteristics of the sample individuals. We introduce a prior for the random partition of the sample individuals which encourages two individuals to be co-clustered if they have similar covariate values. Our prior generalizes PPMx models in the literature, which are defined in terms of cohesion and similarity functions. We assume cohesion functions which yield mixtures of PPMx models, while our similarity functions represent the compactness of a cluster. We show that including covariate information in the prior specification improves the posterior predictive performance and helps interpret the estimated clusters, in terms of covariates in the blood donation application.


title: Myhill-Nerode Theorem for Higher-Dimensional Automata

abstract: We establish a Myhill-Nerode type theorem for higher-dimensional automata (HDAs), stating that a language is regular if and only if it has finite prefix quotient. HDAs extend standard automata with additional structure, making it possible to distinguish between interleavings and concurrency. We also introduce deterministic HDAs and show that not all HDAs are determinizable, that is, there exist regular languages that cannot be recognised by a deterministic HDA. Using our theorem, we develop an internal characterisation of deterministic languages. Lastly, we develop analogues of the Myhill-Nerode construction and of determinacy for HDAs with interfaces.


title: Continuous percolation in a Hilbert space for a large system of qubits

abstract: The development of percolation theory was historically shaped by its numerous applications in various branches of science, in particular in statistical physics, and was mainly constrained to the case of Euclidean spaces. One of its central concepts, the percolation transition, is defined through the appearance of the infinite cluster, and therefore cannot be used in compact spaces, such as the Hilbert space of an N-qubit system. Here we propose its generalization for the case of a random space covering by hyperspheres, introducing the concept of a ``maximal cluster". Our numerical calculations reproduce the standard power-law relation between the hypersphere radius and the cover density, but show that as the number of qubits increases, the exponent quickly vanishes (i.e., the exponentially increasing dimensionality of the Hilbert space makes its covering by finite-size hyperspheres inefficient). Therefore the percolation transition is not an efficient model for the behavior of multiqubit systems, compared to the random walk model in the Hilbert space. However, our approach to the percolation transition in compact metric spaces may prove useful for its rigorous treatment in other contexts.


title: On depth-3 circuits and covering number: an explicit counter-example

abstract: We give a simple construction of $n\times n$ Boolean matrices with $\Omega(n^{4/3})$ zero entries that are free of $2 \times 2$ all-zero submatrices and have covering number $O(\log^4(n))$. This construction provides an explicit counterexample to a conjecture of Pudl\'{a}k, R\"{o}dl and Savick\'{y} and Research Problems 1.33, 4.9, 11.17 of Jukna [Boolean function complexity]. These conjectures were previously refuted by Katz using a probabilistic construction.


title: Atmospheric water vapor condensation on engineered interfaces: Busting the myths

abstract: Condensing atmospheric water vapor on surfaces is a sustainable approach to potentially address the potable water crisis. However, despite extensive research, a key question remains: what is the physical mechanism governing the condensation from humid air and how significantly does it differ from pure steam condensation? The answer may help define an optimal combination of the mode and mechanism of condensation as well as the surface wettability for best possible water harvesting efficacy. Here we show that this lack of clarity is due to the differences in heat transfer characteristics during condensation from pure vapor and humid air environments. Specifically, during condensation from humid air, the thermal resistance across the condensate is non-dominant and the energy transfer is controlled by vapor diffusion and condensate drainage. This leads to filmwise condensation on superhydrophilic surfaces, offering the highest water collection efficiency. To demonstrate this, we measured condensation rate on different sets of superhydrophilic and superhydrophobic surfaces in a wide degree of subcooling (10 - 26 C) and humidity-ratio differences (5 - 45 g/kg of dry air). The resulting condensation rate is enhanced by 57 - 333 % on the superhydrophilic surfaces as compared to the superhydrophobic ones. The findings of this study challenges the nearly century-old scientific ambiguity about the mechanism of vapor condensation from humid air. Our findings will lead to the design of efficient atmospheric water harvesting systems.


title: Projective Integration Methods in the Runge-Kutta Framework and the Extension to Adaptivity in Time

abstract: Projective Integration methods are explicit time integration schemes for stiff ODEs with large spectral gaps. In this paper, we show that all existing Projective Integration methods can be written as Runge-Kutta methods with an extended Butcher tableau including many stages. We prove consistency and order conditions of the Projective Integration methods using the Runge-Kutta framework. Spatially adaptive Projective Integration methods are included via partitioned Runge-Kutta methods. New time adaptive Projective Integration schemes are derived via embedded Runge-Kutta methods and step size variation while their accuracy, stability, convergence, and error estimators are investigated analytically and numerically.


title: Improving Radiology Summarization with Radiograph and Anatomy Prompts

abstract: The impression is crucial for the referring physicians to grasp key information since it is concluded from the findings and reasoning of radiologists. To alleviate the workload of radiologists and reduce repetitive human labor in impression writing, many researchers have focused on automatic impression generation. However, recent works on this task mainly summarize the corresponding findings and pay less attention to the radiology images. In clinical, radiographs can provide more detailed valuable observations to enhance radiologists' impression writing, especially for complicated cases. Besides, each sentence in findings usually focuses on single anatomy, so they only need to be matched to corresponding anatomical regions instead of the whole image, which is beneficial for textual and visual features alignment. Therefore, we propose a novel anatomy-enhanced multimodal model to promote impression generation. In detail, we first construct a set of rules to extract anatomies and put these prompts into each sentence to highlight anatomy characteristics. Then, two separate encoders are applied to extract features from the radiograph and findings. Afterward, we utilize a contrastive learning module to align these two representations at the overall level and use a co-attention to fuse them at the sentence level with the help of anatomy-enhanced sentence representation. Finally, the decoder takes the fused information as the input to generate impressions. The experimental results on two benchmark datasets confirm the effectiveness of the proposed method, which achieves state-of-the-art results.


title: Non-local magnon transconductance in extended magnetic insulating films.\\ Part I: spin diode effect

abstract: This review provides a comprehensive study of the nonlinear transport properties of magnons, which are electrically emitted or absorbed inside extended YIG films by spin transfer effects via a YIG$\vert$Pt interface. Our purpose is to experimentally elucidate the pertinent picture behind the asymmetric electrical variation of the magnon transconductance analogous to an electric diode. The feature is rooted in the variation of the density of low-lying spin excitations via an electrical shift of the magnon chemical potential. As the intensity of the spin transfer increases in the forward direction (regime of magnon emission), the transport properties of low-energy magnon go through 3 distinct regimes: \textit{i)} at low currents, where the spin current is a linear function of the electrical current, the spin transport is ballistic and set by the film thickness; \textit{ii)} for amplitudes of the order of the damping compensation threshold, it switches to a highly correlated regime limited by magnon-magnon relaxation process and marked by a saturation of the magnon transconductance. Here the main bias, that controls the magnon density, are thermal fluctuations beneath the emitter. \textit{iii)} As the temperature under the emitter approaches the Curie temperature, scattering with high-energy magnons dominates, leading to diffusive transport. We note that such sequence of transport regimes bears analogy with electron hydrodynamic transport in ultra-pure media predicted by Radii Gurzhi. This study restricted to low energy part of the magnon manifold complements part II of this review\cite{kohno_2F}, which concentrates instead on the whole spectrum of propagating magnons.


title: PointNeuron: 3D Neuron Reconstruction via Geometry and Topology Learning of Point Clouds

abstract: Digital neuron reconstruction from 3D microscopy images is an essential technique for investigating brain connectomics and neuron morphology. Existing reconstruction frameworks use convolution-based segmentation networks to partition the neuron from noisy backgrounds before applying the tracing algorithm. The tracing results are sensitive to the raw image quality and segmentation accuracy. In this paper, we propose a novel framework for 3D neuron reconstruction. Our key idea is to use the geometric representation power of the point cloud to better explore the intrinsic structural information of neurons. Our proposed framework adopts one graph convolutional network to predict the neural skeleton points and another one to produce the connectivity of these points. We finally generate the target SWC file through the interpretation of the predicted point coordinates, radius, and connections. Evaluated on the Janelia-Fly dataset from the BigNeuron project, we show that our framework achieves competitive neuron reconstruction performance. Our geometry and topology learning of point clouds could further benefit 3D medical image analysis, such as cardiac surface reconstruction. Our code is available at https://github.com/RunkaiZhao/PointNeuron.


title: On the Quantum Information Content of a Hawking Pair

abstract: We introduce a new probe designed to keep track of the quantum information content of a Hawking pair as a function of the distance from the black hole horizon. We compute the entropy content of this Hawking pair probe via a semi-classical replica method that relies on free field Wick contractions and their leading order gravitational back reaction on the black hole horizon area. We find that the information transfer from the black hole state to the Hawking pair is triggered by a geometric transition that, somewhat surprisingly, takes place at a macroscopic distance from the horizon. We relate our computation to recent insights about the role of von Neumann algebras in holography.


title: MoRSE: Deep Learning-based Arm Gesture Recognition for Search and Rescue Operations

abstract: Efficient and quick remote communication in search and rescue operations can be life-saving for the first responders. However, while operating on the field means of communication based on text, image and audio are not suitable for several disaster scenarios. In this paper, we present a smartwatch-based application, which utilizes a Deep Learning (DL) model, to recognize a set of predefined arm gestures, maps them into Morse code via vibrations enabling remote communication amongst first responders. The model performance was evaluated by training it using 4,200 gestures performed by 7 subjects (cross-validation) wearing a smartwatch on their dominant arm. Our DL model relies on convolutional pooling and surpasses the performance of existing DL approaches and common machine learning classifiers, obtaining gesture recognition accuracy above 95%. We conclude by discussing the results and providing future directions.


title: Coupling chemotaxis and growth poromechanics for the modelling of feather primordia patterning

abstract: We propose a new mathematical model for the interaction of skin cell populations with fibroblast growth factor and bone morphogenetic protein, occurring within deformable porous media. The equations for feather primordia pattering are based on the work by K.J. Painter et al. [J. Theoret. Biol., 437 (2018) 225--238]. We perform a linear stability analysis to identify relevant parameters in the coupling mechanisms, focusing in the regime of infinitesimal strains. We also extend the model to the case of nonlinear poroelasticity and include solid growth by means of Lee decompositions of the deformation gradient. We present a few illustrative computational examples in 2D and 3D, and briefly discuss the design of tailored efficient solvers.


title: Strong computable type

abstract: A compact set has computable type if any homeomorphic copy of the set which is semicomputable is actually computable. Miller proved that finite-dimensional spheres have computable type, Iljazovi\'c and other authors established the property for many other sets, such as manifolds. In this article we propose a theoretical study of the notion of computable type, in order to improve our general understanding of this notion and to provide tools to prove or disprove this property. We first show that the definitions of computable type that were distinguished in the literature, involving metric spaces and Hausdorff spaces respectively, are actually equivalent. We argue that the stronger, relativized version of computable type, is better behaved and prone to topological analysis. We obtain characterizations of strong computable type, related to the descriptive complexity of topological invariants, as well as purely topological criteria. We study two families of topological invariants of low descriptive complexity, expressing the extensibility and the null-homotopy of continuous functions. We apply the theory to revisit previous results and obtain new ones.


title: Formality and finiteness in rational homotopy theory

abstract: We explore various formality and finiteness properties in the differential graded algebra models for the Sullivan algebra of piecewise polynomial rational forms on a space. The 1-formality property of the space may be reinterpreted in terms of the filtered and graded formality properties of the Malcev Lie algebra of its fundamental group, while some of the finiteness properties of the space are mirrored in the finiteness properties of algebraic models associated with it. In turn, the formality and finiteness properties of algebraic models have strong implications on the geometry of the cohomology jump loci of the space. We illustrate the theory with examples drawn from complex algebraic geometry, actions of compact Lie groups, and 3-dimensional manifolds.


title: The tt-geometry of permutation modules. Part I: Stratification

abstract: We consider the derived category of permutation modules over a finite group, in positive characteristic. We stratify this tensor triangulated category using Brauer quotients. We describe the set underlying the tt-spectrum of compact objects, and discuss several examples.


title: Disordered Systems Insights on Computational Hardness

abstract: In this review article, we discuss connections between the physics of disordered systems, phase transitions in inference problems, and computational hardness. We introduce two models representing the behavior of glassy systems, the spiked tensor model and the generalized linear model. We discuss the random (non-planted) versions of these problems as prototypical optimization problems, as well as the planted versions (with a hidden solution) as prototypical problems in statistical inference and learning. Based on ideas from physics, many of these problems have transitions where they are believed to jump from easy (solvable in polynomial time) to hard (requiring exponential time). We discuss several emerging ideas in theoretical computer science and statistics that provide rigorous evidence for hardness by proving that large classes of algorithms fail in the conjectured hard regime. This includes the overlap gap property, a particular mathematization of clustering or dynamical symmetry-breaking, which can be used to show that many algorithms that are local or robust to changes in their input fail. We also discuss the sum-of-squares hierarchy, which places bounds on proofs or algorithms that use low-degree polynomials such as standard spectral methods and semidefinite relaxations, including the Sherrington-Kirkpatrick model. Throughout the manuscript, we present connections to the physics of disordered systems and associated replica symmetry breaking properties.

categories: cond-mat.dis-nn cs.CC math.PR math.ST stat.TH


title: Occurrence rate of hot Jupiters around early-type M dwarfs based on TESS data

abstract: We present an estimate of the occurrence rate of hot Jupiters ($7\ R_{\oplus}\leq R_{p}\leq 2\ R_{J}$, $0.8 \leq P_{b}\leq 10$ days) around early-type M dwarfs based on stars observed by TESS during its Primary Mission. We adopt stellar parameters from the TESS Input Catalog, and construct a sample of 60,819 M dwarfs with $10.5 \leq T_{\rm mag}\leq 13.5$, effective temperature $2900 \leq T_{\rm eff}\leq 4000\ K$ and stellar mass $0.45\leq M_{\ast}\leq 0.65\ M_{\odot}$. We conduct a uninformed transit search using a detection pipeline based on the box least square search and characterize the searching completeness through an injection and recovery experiment. We combine a series of vetting steps including light centroid measurement, odd/even and secondary eclipse analysis, rotation and transit period synchronization tests as well as inspecting the ground-based photometric, spectroscopic and imaging observations. Finally, we find a total of nine planet candidates, all of which are known TESS objects of interest. We obtain an occurrence rate of $0.27\pm0.09\%$ for hot Jupiters around early-type M dwarfs that satisfy our selection criteria. Compared with previous studies, the occurrence rate of hot Jupiters around early-type M dwarfs is smaller than all measurements for FGK stars, although they are consistent within 1--2$\sigma$. Combining results from transit, radial velocity and microlensing surveys, we find that hot Jupiters around early-type M dwarfs possibly show a steeper decrease in occurrence rate per logarithmic semi-major axis bin (${{\rm d}N}/{\rm d}\log_{10} a$) when compared with FGK stars.


title: Quantum harmonic analysis on locally compact groups

abstract: On a locally compact group we introduce covariant quantization schemes and analogs of phase space representations as well as mixed-state localization operators. These generalize corresponding notions for the affine group and the Heisenberg group. The approach is based on associating to a square integrable representation of the locally compact group two types of convolutions between integrable functions and trace class operators. In the case of non-unimodular groups these convolutions only are well-defined for admissible operators, which is an extension of the notion of admissible wavelets as has been pointed out recently in the case of the affine group.


title: Latched readout for the quantum dot hybrid qubit

abstract: A primary method of reading out a quantum dot hybrid qubit involves projection of the logical basis onto distinct charge states that are readily detected by an integrated charge sensing dot. However, in the simplest configuration, the excited charge state decays rapidly, making single-shot readout challenging. Here, we demonstrate a readout procedure where the qubit excited state is latched to a metastable charge configuration whose lifetime is tunnel rate limited, persisting here as long as 2.5 ms. Additionally, we show that working in the (4,1)-(3,2) charge configuration enables a latched readout window that is larger and more tunable than typical charge configurations, because the size of the readout window is determined by an orbital splitting rather than a valley splitting.


title: Call Graph Evolution Analytics over a Version Series of an Evolving Software System

abstract: Call Graph evolution analytics can aid a software engineer when maintaining or evolving a software system. This paper proposes Call Graph Evolution Analytics to extract information from an evolving call graph ECG = CG_1, CG_2,... CG_N for their version series VS = V_1, V_2, ... V_N of an evolving software system. This is done using Call Graph Evolution Rules (CGERs) and Call Graph Evolution Subgraphs (CGESs). Similar to association rule mining, the CGERs are used to capture co-occurrences of dependencies in the system. Like subgraph patterns in a call graph, the CGESs are used to capture evolution of dependency patterns in evolving call graphs. Call graph analytics on the evolution in these patterns can identify potentially affected dependencies (or procedure calls) that need attention. The experiments are done on the evolving call graphs of 10 large evolving systems to support dependency evolution management. We also consider results from a detailed study for evolving call graphs of Maven-Core's version series.


title: Invariant theory of free bicommutative algebras

abstract: The variety of bicommutative algebras consists of all nonassociative algebras satisfying the polynomial identities of right- and left-commutativity $(x_1x_2)x_3=(x_1x_3)x_2$ and $x_1(x_2x_3)=x_2(x_1x_3)$. Let $F_d$ be the free $d$-generated bicommutative algebra over a field $K$ of characteristic 0. We study the algebra $F_d^G$ of invariants of a subgroup $G$ of the general linear group $GL_d(K)$. When $G$ is finite we search for analogies of classical results of invariant theory of finite groups acting on polynomial algebras: the Endlichkeitssatz of Emmy Noether, the Molien formula and the Chevalley-Shephard-Todd theorem and show the similarities and the differences in the case of bicommutative algebras. We also describe the symmetric polynomials in $F_d$.


title: CoRe: An Automated Pipeline for The Prediction of Liver Resection Complexity from Preoperative CT Scans

abstract: Surgical resections are the most prevalent curative treatment for primary liver cancer. Tumors located in critical positions are known to complexify liver resections (LR). While experienced surgeons in specialized medical centers may have the necessary expertise to accurately anticipate LR complexity, and prepare accordingly, an objective method able to reproduce this behavior would have the potential to improve the standard routine of care, and avoid intra- and postoperative complications. In this article, we propose CoRe, an automated medical image processing pipeline for the prediction of postoperative LR complexity from preoperative CT scans, using imaging biomarkers. The CoRe pipeline first segments the liver, lesions, and vessels with two deep learning networks. The liver vasculature is then pruned based on a topological criterion to define the hepatic central zone (HCZ), a convex volume circumscribing the major liver vessels, from which a new imaging biomarker, BHCZ is derived. Additional biomarkers are extracted and leveraged to train and evaluate a LR complexity prediction model. An ablation study shows the HCZ-based biomarker as the central feature in predicting LR complexity. The best predictive model reaches an accuracy, F1, and AUC of 77.3, 75.4, and 84.1% respectively.


title: A Scalable Reinforcement Learning Approach for Attack Allocation in Swarm to Swarm Engagement Problems

abstract: In this work we propose a reinforcement learning (RL) framework that controls the density of a large-scale swarm for engaging with adversarial swarm attacks. Although there is a significant amount of existing work in applying artificial intelligence methods to swarm control, analysis of interactions between two adversarial swarms is a rather understudied area. Most of the existing work in this subject develop strategies by making hard assumptions regarding the strategy and dynamics of the adversarial swarm. Our main contribution is the formulation of the swarm to swarm engagement problem as a Markov Decision Process and development of RL algorithms that can compute engagement strategies without the knowledge of strategy/dynamics of the adversarial swarm. Simulation results show that the developed framework can handle a wide array of large-scale engagement scenarios in an efficient manner.


title: Nikodym sets and maximal functions associated with spheres

abstract: We study spherical analogues of Nikodym sets and related maximal functions. In particular, we prove sharp $L^p$-estimates for Nikodym maximal functions associated with spheres. As a corollary, any Nikodym set for spheres must have full Hausdorff dimension. In addition, we consider a class of maximal functions which contains the spherical maximal function as a special case. We show that $L^p$-estimates for these maximal functions can be deduced from local smoothing estimates for the wave equation relative to fractal measures.