title: PIAT: Physics Informed Adversarial Training for Solving Partial Differential Equations

abstract: In this paper, we propose the physics informed adversarial training (PIAT) of neural networks for solving nonlinear differential equations (NDE). It is well-known that the standard training of neural networks results in non-smooth functions. Adversarial training (AT) is an established defense mechanism against adversarial attacks, which could also help in making the solution smooth. AT include augmenting the training mini-batch with a perturbation that makes the network output mismatch the desired output adversarially. Unlike formal AT, which relies only on the training data, here we encode the governing physical laws in the form of nonlinear differential equations using automatic differentiation in the adversarial network architecture. We compare PIAT with PINN to indicate the effectiveness of our method in solving NDEs for up to 10 dimensions. Moreover, we propose weight decay and Gaussian smoothing to demonstrate the PIAT advantages. The code repository is available at https://github.com/rohban-lab/PIAT.


title: Backpropagation in hyperbolic chaos via adjoint shadowing

abstract: To generalize the backpropagation method to both discrete-time and continuous-time hyperbolic chaos, we introduce the adjoint shadowing operator $\mathcal{S}$ acting on covector fields. We show that $\mathcal{S}$ can be equivalently defined as: (a) $\mathcal{S}$ is the adjoint of the linear shadowing operator $S$; (b) $\mathcal{S}$ is given by a `split then propagate' expansion formula; (c) $\mathcal{S}(\omega)$ is the only bounded inhomogeneous adjoint solution of $\omega$. By (a), $\mathcal{S}$ adjointly expresses the shadowing contribution, a significant part of the linear response, where the linear response is the derivative of the long-time statistics with respect to system parameters. By (b), $\mathcal{S}$ also expresses the other part of the linear response, the unstable contribution. By (c), $\mathcal{S}$ can be efficiently computed by the nonintrusive shadowing algorithm in Ni and Talnikar (2019 J. Comput. Phys. 395 690-709), which is similar to the conventional backpropagation algorithm. For continuous-time cases, we additionally show that the linear response admits a well-defined decomposition into shadowing and unstable contributions.


title: Parallel Monte Carlo Tree Search with Batched Rigid-body Simulations for Speeding up Long-Horizon Episodic Robot Planning

abstract: We propose a novel Parallel Monte Carlo tree search with Batched Simulations (PMBS) algorithm for accelerating long-horizon, episodic robotic planning tasks. Monte Carlo tree search (MCTS) is an effective heuristic search algorithm for solving episodic decision-making problems whose underlying search spaces are expansive. Leveraging a GPU-based large-scale simulator, PMBS introduces massive parallelism into MCTS for solving planning tasks through the batched execution of a large number of concurrent simulations, which allows for more efficient and accurate evaluations of the expected cost-to-go over large action spaces. When applied to the challenging manipulation tasks of object retrieval from clutter, PMBS achieves a speedup of over $30\times$ with an improved solution quality, in comparison to a serial MCTS implementation. We show that PMBS can be directly applied to real robot hardware with negligible sim-to-real differences. Supplementary material, including video, can be found at https://github.com/arc-l/pmbs.


title: On the Structure of Decision Diagram-Representable Mixed Integer Programs with Application to Unit Commitment

abstract: Over the past decade, decision diagrams (DDs) have been used to model and solve integer programming and combinatorial optimization problems. Despite successful performance of DDs in solving various discrete optimization problems, their extension to model mixed integer programs (MIPs) such as those appearing in energy applications has been lacking. More broadly, the question which problem structures admit a DD representation is still open in the DDs community. In this paper, we address this question by introducing a geometric decomposition framework based on rectangular formations that provides both necessary and sufficient conditions for a general MIP to be representable by DDs. As a special case, we show that any bounded mixed integer linear program admits a DD representation through a specialized Benders decomposition technique. The resulting DD encodes both integer and continuous variables, and therefore is amenable to the addition of feasibility and optimality cuts through refinement procedures. As an application for this framework, we develop a novel solution methodology for the unit commitment problem (UCP) in the wholesale electricity market. Computational experiments conducted on a stochastic variant of the UCP show a significant improvement of the solution time for the proposed method when compared to the outcome of modern solvers.


title: Have we been Naive to Select Machine Learning Models? Noisy Data are here to Stay!

abstract: The model selection procedure is usually a single-criterion decision making in which we select the model that maximizes a specific metric in a specific set, such as the Validation set performance. We claim this is very naive and can perform poor selections of over-fitted models due to the over-searching phenomenon, which over-estimates the performance on that specific set. Futhermore, real world data contains noise that should not be ignored by the model selection procedure and must be taken into account when performing model selection. Also, we have defined four theoretical optimality conditions that we can pursue to better select the models and analyze them by using a multi-criteria decision-making algorithm (TOPSIS) that considers proxies to the optimality conditions to select reasonable models.


title: Everyone's Preference Changes Differently: Weighted Multi-Interest Retrieval Model

abstract: User embeddings (vectorized representations of a user) are essential in recommendation systems. Numerous approaches have been proposed to construct a representation for the user in order to find similar items for retrieval tasks, and they have been proven effective in industrial recommendation systems as well. Recently people have discovered the power of using multiple embeddings to represent a user, with the hope that each embedding represents the user's interest in a certain topic. With multi-interest representation, it's important to model the user's preference over the different topics and how the preference change with time. However, existing approaches either fail to estimate the user's affinity to each interest or unreasonably assume every interest of every user fades with an equal rate with time, thus hurting the recall of candidate retrieval. In this paper, we propose the Multi-Interest Preference (MIP) model, an approach that not only produces multi-interest for users by using the user's sequential engagement more effectively but also automatically learns a set of weights to represent the preference over each embedding so that the candidates can be retrieved from each interest proportionally. Extensive experiments have been done on various industrial-scale datasets to demonstrate the effectiveness of our approach.


title: Crux, space constraints and subdivisions

abstract: For a given graph $H$, its subdivisions carry the same topological structure. The existence of $H$-subdivisions within a graph $G$ has deep connections with topological, structural and extremal properties of $G$. One prominent example of such a connection, due to Bollob\'{a}s and Thomason and independently Koml\'os and Szemer\'edi, asserts that the average degree of $G$ being $d$ ensures a $K_{\Omega(\sqrt{d})}$-subdivision in $G$. Although this square-root bound is best possible, various results showed that much larger clique subdivisions can be found in a graph for many natural classes. We investigate the connection between crux, a notion capturing the essential order of a graph, and the existence of large clique subdivisions. This reveals the unifying cause underpinning all those improvements for various classes of graphs studied. Roughly speaking, when embedding subdivisions, natural space constraints arise; and such space constraints can be measured via crux. Our main result gives an asymptotically optimal bound on the size of a largest clique subdivision in a generic graph $G$, which is determined by both its average degree and its crux size. As corollaries, we obtain (1) a characterisation of extremal graphs for which the square-root bound above is tight: they are essentially disjoint unions of graphs having crux size linear in $d$; (2) a unifying approach to find a clique subdivision of almost optimal size in graphs which do not contain a fixed bipartite graph as a subgraph; (3) and that the clique subdivision size in random graphs $G(n,p)$ witnesses a dichotomy: when $p = \omega(n^{-1/2})$, the barrier is the space, while when $p=o( n^{-1/2})$, the bottleneck is the density.


title: Prototypical Contrast Adaptation for Domain Adaptive Semantic Segmentation

abstract: Unsupervised Domain Adaptation (UDA) aims to adapt the model trained on the labeled source domain to an unlabeled target domain. In this paper, we present Prototypical Contrast Adaptation (ProCA), a simple and efficient contrastive learning method for unsupervised domain adaptive semantic segmentation. Previous domain adaptation methods merely consider the alignment of the intra-class representational distributions across various domains, while the inter-class structural relationship is insufficiently explored, resulting in the aligned representations on the target domain might not be as easily discriminated as done on the source domain anymore. Instead, ProCA incorporates inter-class information into class-wise prototypes, and adopts the class-centered distribution alignment for adaptation. By considering the same class prototypes as positives and other class prototypes as negatives to achieve class-centered distribution alignment, ProCA achieves state-of-the-art performance on classical domain adaptation tasks, {\em i.e., GTA5 $\to$ Cityscapes \text{and} SYNTHIA $\to$ Cityscapes}. Code is available at \href{https://github.com/jiangzhengkai/ProCA}{ProCA}


title: Improving the Accuracy of Marginal Approximations in Likelihood-Free Inference via Localisation

abstract: Likelihood-free methods are an essential tool for performing inference for implicit models which can be simulated from, but for which the corresponding likelihood is intractable. However, common likelihood-free methods do not scale well to a large number of model parameters. A promising approach to high-dimensional likelihood-free inference involves estimating low-dimensional marginal posteriors by conditioning only on summary statistics believed to be informative for the low-dimensional component, and then combining the low-dimensional approximations in some way. In this paper, we demonstrate that such low-dimensional approximations can be surprisingly poor in practice for seemingly intuitive summary statistic choices. We describe an idealized low-dimensional summary statistic that is, in principle, suitable for marginal estimation. However, a direct approximation of the idealized choice is difficult in practice. We thus suggest an alternative approach to marginal estimation which is easier to implement and automate. Given an initial choice of low-dimensional summary statistic that might only be informative about a marginal posterior location, the new method improves performance by first crudely localising the posterior approximation using all the summary statistics to ensure global identifiability, followed by a second step that hones in on an accurate low-dimensional approximation using the low-dimensional summary statistic. We show that the posterior this approach targets can be represented as a logarithmic pool of posterior distributions based on the low-dimensional and full summary statistics, respectively. The good performance of our method is illustrated in several examples.


title: 2-Layer Graph Drawings with Bounded Pathwidth

abstract: We determine which properties of 2-layer drawings characterise bipartite graphs of bounded pathwidth.


title: Exploration of an End-to-End Automatic Number-plate Recognition neural network for Indian datasets

abstract: Indian vehicle number plates have wide variety in terms of size, font, script and shape. Development of Automatic Number Plate Recognition (ANPR) solutions is therefore challenging, necessitating a diverse dataset to serve as a collection of examples. However, a comprehensive dataset of Indian scenario is missing, thereby, hampering the progress towards publicly available and reproducible ANPR solutions. Many countries have invested efforts to develop comprehensive ANPR datasets like Chinese City Parking Dataset (CCPD) for China and Application-oriented License Plate (AOLP) dataset for US. In this work, we release an expanding dataset presently consisting of 1.5k images and a scalable and reproducible procedure of enhancing this dataset towards development of ANPR solution for Indian conditions. We have leveraged this dataset to explore an End-to-End (E2E) ANPR architecture for Indian scenario which was originally proposed for Chinese Vehicle number-plate recognition based on the CCPD dataset. As we customized the architecture for our dataset, we came across insights, which we have discussed in this paper. We report the hindrances in direct reusability of the model provided by the authors of CCPD because of the extreme diversity in Indian number plates and differences in distribution with respect to the CCPD dataset. An improvement of 42.86% was observed in LP detection after aligning the characteristics of Indian dataset with Chinese dataset. In this work, we have also compared the performance of the E2E number-plate detection model with YOLOv5 model, pre-trained on COCO dataset and fine-tuned on Indian vehicle images. Given that the number Indian vehicle images used for fine-tuning the detection module and yolov5 were same, we concluded that it is more sample efficient to develop an ANPR solution for Indian conditions based on COCO dataset rather than CCPD dataset.


title: Universal Adaptive Data Augmentation

abstract: Existing automatic data augmentation (DA) methods either ignore updating DA's parameters according to the target model's state during training or adopt update strategies that are not effective enough. In this work, we design a novel data augmentation strategy called "Universal Adaptive Data Augmentation" (UADA). Different from existing methods, UADA would adaptively update DA's parameters according to the target model's gradient information during training: given a pre-defined set of DA operations, we randomly decide types and magnitudes of DA operations for every data batch during training, and adaptively update DA's parameters along the gradient direction of the loss concerning DA's parameters. In this way, UADA can increase the training loss of the target networks, and the target networks would learn features from harder samples to improve the generalization. Moreover, UADA is very general and can be utilized in numerous tasks, e.g., image classification, semantic segmentation and object detection. Extensive experiments with various models are conducted on CIFAR-10, CIFAR-100, ImageNet, tiny-ImageNet, Cityscapes, and VOC07+12 to prove the significant performance improvements brought by UADA.


title: Forcing the Whole Video as Background: An Adversarial Learning Strategy for Weakly Temporal Action Localization

abstract: With video-level labels, weakly supervised temporal action localization (WTAL) applies a localization-by-classification paradigm to detect and classify the action in untrimmed videos. Due to the characteristic of classification, class-specific background snippets are inevitably mis-activated to improve the discriminability of the classifier in WTAL. To alleviate the disturbance of background, existing methods try to enlarge the discrepancy between action and background through modeling background snippets with pseudo-snippet-level annotations, which largely rely on artificial hypotheticals. Distinct from the previous works, we present an adversarial learning strategy to break the limitation of mining pseudo background snippets. Concretely, the background classification loss forces the whole video to be regarded as the background by a background gradient reinforcement strategy, confusing the recognition model. Reversely, the foreground(action) loss guides the model to focus on action snippets under such conditions. As a result, competition between the two classification losses drives the model to boost its ability for action modeling. Simultaneously, a novel temporal enhancement network is designed to facilitate the model to construct temporal relation of affinity snippets based on the proposed strategy, for further improving the performance of action localization. Finally, extensive experiments conducted on THUMOS14 and ActivityNet1.2 demonstrate the effectiveness of the proposed method.


title: Unified almost linear kernels for generalized covering and packing problems on nowhere dense classes

abstract: Let $\mathcal{F}$ be a family of graphs, and let $p,r$ be nonnegative integers. The \textsc{$(p,r,\mathcal{F})$-Covering} problem asks whether for a graph $G$ and an integer $k$, there exists a set $D$ of at most $k$ vertices in $G$ such that $G^p\setminus N_G^r[D]$ has no induced subgraph isomorphic to a graph in $\mathcal{F}$, where $G^p$ is the $p$-th power of $G$. The \textsc{$(p,r,\mathcal{F})$-Packing} problem asks whether for a graph $G$ and an integer $k$, $G^p$ has $k$ induced subgraphs $H_1,\ldots,H_k$ such that each $H_i$ is isomorphic to a graph in $\mathcal{F}$, and for distinct $i,j\in \{1, \ldots, k\}$, the distance between $V(H_i)$ and $V(H_j)$ in $G$ is larger than $r$. We show that for every fixed nonnegative integers $p,r$ and every fixed nonempty finite family $\mathcal{F}$ of connected graphs, the \textsc{$(p,r,\mathcal{F})$-Covering} problem with $p\leq2r+1$ and the \textsc{$(p,r,\mathcal{F})$-Packing} problem with $p\leq2\lfloor r/2\rfloor+1$ admit almost linear kernels on every nowhere dense class of graphs, and admit linear kernels on every class of graphs with bounded expansion, parameterized by the solution size $k$. We obtain the same kernels for their annotated variants. As corollaries, we prove that \textsc{Distance-$r$ Vertex Cover}, \textsc{Distance-$r$ Matching}, \textsc{$\mathcal{F}$-Free Vertex Deletion}, and \textsc{Induced-$\mathcal{F}$-Packing} for any fixed finite family $\mathcal{F}$ of connected graphs admit almost linear kernels on every nowhere dense class of graphs and linear kernels on every class of graphs with bounded expansion. Our results extend the results for \textsc{Distance-$r$ Dominating Set} by Drange et al. (STACS 2016) and Eickmeyer et al. (ICALP 2017), and the result for \textsc{Distance-$r$ Independent Set} by Pilipczuk and Siebertz (EJC 2021).


title: Deep Point-to-Plane Registration by Efficient Backpropagation for Error Minimizing Function

abstract: Traditional algorithms of point set registration minimizing point-to-plane distances often achieve a better estimation of rigid transformation than those minimizing point-to-point distances. Nevertheless, recent deep-learning-based methods minimize the point-to-point distances. In contrast to these methods, this paper proposes the first deep-learning-based approach to point-to-plane registration. A challenging part of this problem is that a typical solution for point-to-plane registration requires an iterative process of accumulating small transformations obtained by minimizing a linearized energy function. The iteration significantly increases the size of the computation graph needed for backpropagation and can slow down both forward and backward network evaluations. To solve this problem, we consider the estimated rigid transformation as a function of input point clouds and derive its analytic gradients using the implicit function theorem. The analytic gradient that we introduce is independent of how the error minimizing function (i.e., the rigid transformation) is obtained, thus allowing us to calculate both the rigid transformation and its gradient efficiently. We implement the proposed point-to-plane registration module over several previous methods that minimize point-to-point distances and demonstrate that the extensions outperform the base methods even with point clouds with noise and low-quality point normals estimated with local point distributions.


title: Selectivity in single-molecule reactions by tip-induced redox chemistry

abstract: Controlling selectivity of reactions is a quest in chemistry. Here, we demonstrate reversible and selective bond formation and dissociation promoted by tip-induced reduction-oxidation reactions on a surface. Molecular rearrangements leading to different constitutional isomers are selected by the polarity and magnitude of applied voltage pulses from the tip of a combined scanning tunneling and atomic force microscope. Characterization of voltage dependence of the reactions and determination of reaction rates demonstrate selectivity in constitutional isomerization reactions and provide insight into the underlying mechanisms. With support of density functional theory calculations, we find that the energy landscape of the isomers in different charge states is important to rationalize the selectivity. Tip-induced selective single-molecule reactions increase our understanding of redox chemistry and could lead to novel molecular machines.


title: Downlink Analysis and Evaluation of Multi-Beam LEO Satellite Communication in Shadowed Rician Channels

abstract: The extension of wide area wireless connectivity to low-earth orbit (LEO) satellite communication systems demands a fresh look at the effects of in-orbit base stations, sky-to-ground propagation, and cell planning. A multi-beam LEO satellite delivers widespread coverage by forming multiple spot beams that tessellate cells over a given region on the surface of the Earth. In doing so, overlapping spot beams introduce interference when delivering downlink concurrently in the same area using the same frequency spectrum. To permit forecasting of communication system performance, we characterize desired and interference signal powers, along with SNR, INR, SIR, and SINR, under the measurement-backed Shadowed Rician (SR) sky-to-ground channel model. We introduce a minor approximation to the fading order of SR channels that greatly simplifies the PDF and CDF of these quantities and facilitates statistical analyses of LEO satellite systems such as probability of outage. We conclude this paper with an evaluation of multi-beam LEO satellite communication in SR channels of varying intensity fitted from existing measurements. Our numerical results highlight the effects satellite elevation angle has on SNR, INR, and SINR, which brings attention to the variability in system state and potential performance as a satellite traverses across the sky along its orbit.


title: Golden Reference-Free Hardware Trojan Localization using Graph Convolutional Network

abstract: The globalization of the Integrated Circuit (IC) supply chain has moved most of the design, fabrication, and testing process from a single trusted entity to various untrusted third-party entities worldwide. The risk of using untrusted third-Party Intellectual Property (3PIP) is the possibility for adversaries to insert malicious modifications known as Hardware Trojans (HTs). These HTs can compromise the integrity, deteriorate the performance, deny the service, and alter the functionality of the design. While numerous HT detection methods have been proposed in the literature, the crucial task of HT localization is overlooked. Moreover, a few existing HT localization methods have several weaknesses: reliance on a golden reference, inability to generalize for all types of HT, lack of scalability, low localization resolution, and manual feature engineering/property definition. To overcome their shortcomings, we propose a novel, golden reference-free HT localization method at the pre-silicon stage by leveraging Graph Convolutional Network (GCN). In this work, we convert the circuit design to its intrinsic data structure, graph and extract the node attributes. Afterward, the graph convolution performs automatic feature extraction for nodes to classify the nodes as Trojan or benign. Our automated approach does not burden the designer with manual code review. It locates the Trojan signals with 99.6% accuracy, 93.1% F1-score, and a false-positive rate below 0.009%.


title: Automated Change Rule Inference for Distance-Based API Misuse Detection

abstract: Developers build on Application Programming Interfaces (APIs) to reuse existing functionalities of code libraries. Despite the benefits of reusing established libraries (e.g., time savings, high quality), developers may diverge from the API's intended usage; potentially causing bugs or, more specifically, API misuses. Recent research focuses on developing techniques to automatically detect API misuses, but many suffer from a high false-positive rate. In this article, we improve on this situation by proposing ChaRLI (Change RuLe Inference), a technique for automatically inferring change rules from developers' fixes of API misuses based on API Usage Graphs (AUGs). By subsequently applying graph-distance algorithms, we use change rules to discriminate API misuses from correct usages. This allows developers to reuse others' fixes of an API misuse at other code locations in the same or another project. We evaluated the ability of change rules to detect API misuses based on three datasets and found that the best mean relative precision (i.e., for testable usages) ranges from 77.1 % to 96.1 % while the mean recall ranges from 0.007 % to 17.7 % for individual change rules. These results underpin that ChaRLI and our misuse detection are helpful complements to existing API misuse detectors.


title: Distributed Control for a Multi-Agent System to Pass through a Connected Quadrangle Virtual Tube

abstract: In order to guide the multi-agent system in a cluttered environment, a connected quadrangle virtual tube is designed for all agents to keep moving within it, whose basis is called the single trapezoid virtual tube. There is no obstacle inside the tube, namely the area inside the tube can be seen as a safety zone. Then, a distributed swarm controller is proposed for the single trapezoid virtual tube passing problem. This issue is resolved by a gradient vector field method with no local minima. Formal analyses and proofs are made to show that all agents are able to pass the single trapezoid virtual tube. Finally, a modified controller is put forward for convenience in practical use. For the connected quadrangle virtual tube, a modified switching logic is proposed to avoid the deadlock and prevent agents from moving outside the virtual tube. Finally, the effectiveness of the proposed method is validated by numerical simulations and real experiments.


title: Large-scale Knowledge Distillation with Elastic Heterogeneous Computing Resources

abstract: Although more layers and more parameters generally improve the accuracy of the models, such big models generally have high computational complexity and require big memory, which exceed the capacity of small devices for inference and incurs long training time. In addition, it is difficult to afford long training time and inference time of big models even in high performance servers, as well. As an efficient approach to compress a large deep model (a teacher model) to a compact model (a student model), knowledge distillation emerges as a promising approach to deal with the big models. Existing knowledge distillation methods cannot exploit the elastic available computing resources and correspond to low efficiency. In this paper, we propose an Elastic Deep Learning framework for knowledge Distillation, i.e., EDL-Dist. The advantages of EDL-Dist are three-fold. First, the inference and the training process is separated. Second, elastic available computing resources can be utilized to improve the efficiency. Third, fault-tolerance of the training and inference processes is supported. We take extensive experimentation to show that the throughput of EDL-Dist is up to 3.125 times faster than the baseline method (online knowledge distillation) while the accuracy is similar or higher.


title: Stochastic Optimal and Time-Optimal Control Studies for Additional Food provided prey-predator Systems involving Holling Type-III Functional Response

abstract: This paper consists of a detailed and novel stochastic optimal control analysis of a coupled non-linear dynamical system. The state equations are modeled as additional food provided prey-predator system with Holling Type-III functional response for predator and intra-specific competition among predators. We firstly discuss the optimal control problem as a Lagrangian problem with a linear quadratic control. Secondly we consider an optimal control problem in the time-optimal control setting. Stochastic maximum principle is used for establishing the existence of optimal controls for both these problems. Numerical simulations are performed based on stochastic forward-backward sweep methods for realizing the theoretical findings. The results obtained in these optimal control problems are discussed in the context of biological conservation and pest management.


title: Atomically-thin metallic Si and Ge allotropes with high Fermi velocities

abstract: Silicon and germanium are the well-known materials used to manufacture electronic devices for the integrated circuits but they themselves are not considered as promising options for interconnecting the devices due to their semiconducting nature. We have discovered that both Si and Ge atoms can form unexpected metallic monolayer structures which are more stable than the extensively studied semimetallic silicene and germanene, respectively. More importantly, the newly discovered two-dimensional allotropes of Si and Ge have Fermi velocities superior to the Dirac fermions in graphene, indicating that the metal wires needed in the silicon-based integrated circuits can be made of Si atom itself without incompatibility, allowing for all-silicon-based integrated circuits.


title: Two-Pass Low Latency End-to-End Spoken Language Understanding

abstract: End-to-end (E2E) models are becoming increasingly popular for spoken language understanding (SLU) systems and are beginning to achieve competitive performance to pipeline-based approaches. However, recent work has shown that these models struggle to generalize to new phrasings for the same intent indicating that models cannot understand the semantic content of the given utterance. In this work, we incorporated language models pre-trained on unlabeled text data inside E2E-SLU frameworks to build strong semantic representations. Incorporating both semantic and acoustic information can increase the inference time, leading to high latency when deployed for applications like voice assistants. We developed a 2-pass SLU system that makes low latency prediction using acoustic information from the few seconds of the audio in the first pass and makes higher quality prediction in the second pass by combining semantic and acoustic representations. We take inspiration from prior work on 2-pass end-to-end speech recognition systems that attends on both audio and first-pass hypothesis using a deliberation network. The proposed 2-pass SLU system outperforms the acoustic-based SLU model on the Fluent Speech Commands Challenge Set and SLURP dataset and reduces latency, thus improving user experience. Our code and models are publicly available as part of the ESPnet-SLU toolkit.


title: Block mapping class groups and their finiteness properties

abstract: A Cantor surface $\mathcal C_d$ is a non-compact surface obtained by gluing copies of a fixed compact surface $Y^d$ (a block), with $d+1$ boundary components, in a tree-like fashion. For a fixed subgroup $H<Map(Y^d)$ , we consider the subgroup $\mathfrak B_d(H)<Map(\mathcal C_d)$ whose elements eventually send blocks to blocks and act like an element of $H$; we refer to $\mathfrak B_d(H)$ as the block mapping class group with local action prescribed by $H$. The family of groups so obtained contains the asymptotic mapping class groups of \cite{SW21a,ABF+21, FK04}. Moreover, there is a natural surjection onto the family symmetric Thompson groups of Farley--Hughes \cite{FH15}; in particular, they provide a positive answer to \cite[Question 5.37]{AV20}. We prove that, when the block is a (holed) sphere or a (holed) torus, $\mathfrak B_d(H)$ is of type $F_n$ if and only if $H$ is of type $F_n$. As a consequence, for every $n$, $Map(C_d)$ has a subgroup of type $F_n$ but not $F_{n+1}$ which contains the mapping class group of every compact subsurface of $\mathcal C_d$.


title: Theoretically Modelling Photoionized Regions with Fractal Geometry in Three Dimensions

abstract: We create a photoionization model embedded in the turbulent ISM by using the state-of-the-art Messenger Monte-Carlo MAPPINGS~V code (M$^3$) in conjunction with the CMFGEN stellar atmosphere model. We show that the turbulent ISM causes the inhomogeneity of electron temperature and density within the nebula. The fluctuation in the turbulent ISM creates complex ionization structures seen in nearby nebulae. The inhomogeneous density distribution within the nebula creates a significant scatter on the spatially-resolved standard optical diagnostic diagrams, which cannot be represented by the spherical constant density photoionization model. We analyze the dependence of different optical emission lines on the complexity of nebular geometry, finding that the emission-lines residing on the nebular boundary are highly sensitive to the complexity of nebular geometry, while the emission-lines produced throughout the nebula are sensitive to the density distribution of the ISM within the nebula. Our fractal photoionization model demonstrates that a complex nebular geometry is required for accurate modeling of HII regions and emission-line galaxies, especially for the high-redshift galaxies, where the ISM is highly turbulent based on the increasing observational evidence.


title: Detecting Volunteer Cotton Plants in a Corn Field with Deep Learning on UAV Remote-Sensing Imagery

abstract: The cotton boll weevil, Anthonomus grandis Boheman is a serious pest to the U.S. cotton industry that has cost more than 16 billion USD in damages since it entered the United States from Mexico in the late 1800s. This pest has been nearly eradicated; however, southern part of Texas still faces this issue and is always prone to the pest reinfestation each year due to its sub-tropical climate where cotton plants can grow year-round. Volunteer cotton (VC) plants growing in the fields of inter-seasonal crops, like corn, can serve as hosts to these pests once they reach pin-head square stage (5-6 leaf stage) and therefore need to be detected, located, and destroyed or sprayed . In this paper, we present a study to detect VC plants in a corn field using YOLOv3 on three band aerial images collected by unmanned aircraft system (UAS). The two-fold objectives of this paper were : (i) to determine whether YOLOv3 can be used for VC detection in a corn field using RGB (red, green, and blue) aerial images collected by UAS and (ii) to investigate the behavior of YOLOv3 on images at three different scales (320 x 320, S1; 416 x 416, S2; and 512 x 512, S3 pixels) based on average precision (AP), mean average precision (mAP) and F1-score at 95% confidence level. No significant differences existed for mAP among the three scales, while a significant difference was found for AP between S1 and S3 (p = 0.04) and S2 and S3 (p = 0.02). A significant difference was also found for F1-score between S2 and S3 (p = 0.02). The lack of significant differences of mAP at all the three scales indicated that the trained YOLOv3 model can be used on a computer vision-based remotely piloted aerial application system (RPAAS) for VC detection and spray application in near real-time.


title: Reinforced Path Reasoning for Counterfactual Explainable Recommendation

abstract: Counterfactual explanations interpret the recommendation mechanism via exploring how minimal alterations on items or users affect the recommendation decisions. Existing counterfactual explainable approaches face huge search space and their explanations are either action-based (e.g., user click) or aspect-based (i.e., item description). We believe item attribute-based explanations are more intuitive and persuadable for users since they explain by fine-grained item demographic features (e.g., brand). Moreover, counterfactual explanation could enhance recommendations by filtering out negative items. In this work, we propose a novel Counterfactual Explainable Recommendation (CERec) to generate item attribute-based counterfactual explanations meanwhile to boost recommendation performance. Our CERec optimizes an explanation policy upon uniformly searching candidate counterfactuals within a reinforcement learning environment. We reduce the huge search space with an adaptive path sampler by using rich context information of a given knowledge graph. We also deploy the explanation policy to a recommendation model to enhance the recommendation. Extensive explainability and recommendation evaluations demonstrate CERec's ability to provide explanations consistent with user preferences and maintain improved recommendations. We release our code at https://github.com/Chrystalii/CERec.


title: Boundary Condition and the Auxiliary Phase in Feynman Path Integral

abstract: When employing Feynman path integral to compute propagators in quantum physics, the sum over the set of all paths is not always naive. In fact, often an auxiliary phase has to be included as a weight for each path. In this article we discuss the nature of this auxiliary phase when the classical path involved is reflected through the instance of a free particle confined to a line segment.


title: A Meta-learning Formulation of the Autoencoder Problem for Non-linear Dimensionality Reduction

abstract: A rapidly growing area of research is the use of machine learning approaches such as autoencoders for dimensionality reduction of data and models in scientific applications. We show that the canonical formulation of autoencoders suffers from several deficiencies that can hinder their performance. Using a meta-learning approach, we reformulate the autoencoder problem as a bi-level optimization procedure that explicitly solves the dimensionality reduction task. We prove that the new formulation corrects the identified deficiencies with canonical autoencoders, provide a practical way to solve it, and showcase the strength of this formulation with a simple numerical illustration.


title: Revealing 3-dimensional core-shell interface structures at the single-atom level

abstract: Nanomaterials with core-shell architectures are prominent examples of strain-engineered materials, where material properties can be designed by fine-tuning the misfit strain at the interface. Here, we elucidate the full 3D atomic structure of Pd@Pt core-shell nanoparticles at the single-atom level via atomic electron tomography. Full 3D displacement fields and strain profiles of core-shell nanoparticles were obtained, which revealed a direct correlation between the surface and interface strain. It also showed clear Poisson effects at the scale of the full nanoparticle as well as the local atomic bonds. The strain distributions show a strong shape-dependent anisotropy, whose nature was further corroborated by molecular statics simulations. From the observed surface strains, the surface oxygen reduction reaction activities were predicted. These findings give a deep understanding of structure-property relationships in strain-engineerable core-shell systems, which could pave a new way toward direct control over the resulting catalytic properties.


title: Deep Learning Methods for Protein Family Classification on PDB Sequencing Data

abstract: Composed of amino acid chains that influence how they fold and thus dictating their function and features, proteins are a class of macromolecules that play a central role in major biological processes and are required for the structure, function, and regulation of the body's tissues. Understanding protein functions is vital to the development of therapeutics and precision medicine, and hence the ability to classify proteins and their functions based on measurable features is crucial; indeed, the automatic inference of a protein's properties from its sequence of amino acids, known as its primary structure, remains an important open problem within the field of bioinformatics, especially given the recent advancements in sequencing technologies and the extensive number of known but uncategorized proteins with unknown properties. In this work, we demonstrate and compare the performance of several deep learning frameworks, including novel bi-directional LSTM and convolutional models, on widely available sequencing data from the Protein Data Bank (PDB) of the Research Collaboratory for Structural Bioinformatics (RCSB), as well as benchmark this performance against classical machine learning approaches, including k-nearest neighbors and multinomial regression classifiers, trained on experimental data. Our results show that our deep learning models deliver superior performance to classical machine learning methods, with the convolutional architecture providing the most impressive inference performance.


title: Learning to Prove Trigonometric Identities

abstract: Automatic theorem proving with deep learning methods has attracted attentions recently. In this paper, we construct an automatic proof system for trigonometric identities. We define the normalized form of trigonometric identities, design a set of rules for the proof and put forward a method which can generate theoretically infinite trigonometric identities. Our goal is not only to complete the proof, but to complete the proof in as few steps as possible. For this reason, we design a model to learn proof data generated by random BFS (rBFS), and it is proved theoretically and experimentally that the model can outperform rBFS after a simple imitation learning. After further improvement through reinforcement learning, we get AutoTrig, which can give proof steps for identities in almost as short steps as BFS (theoretically shortest method), with a time cost of only one-thousandth. In addition, AutoTrig also beats Sympy, Matlab and human in the synthetic dataset, and performs well in many generalization tasks.


title: Equivariant Hypergraph Diffusion Neural Operators

abstract: Hypergraph neural networks (HNNs) using neural networks to encode hypergraphs provide a promising way to model higher-order relations in data and further solve relevant prediction tasks built upon such higher-order relations. However, higher-order relations in practice contain complex patterns and are often highly irregular. So, it is often challenging to design an HNN that suffices to express those relations while keeping computational efficiency. Inspired by hypergraph diffusion algorithms, this work proposes a new HNN architecture named ED-HNN, which provably represents any continuous equivariant hypergraph diffusion operators that can model a wide range of higher-order relations. ED-HNN can be implemented efficiently by combining star expansions of hypergraphs with standard message passing neural networks. ED-HNN further shows great superiority in processing heterophilic hypergraphs and constructing deep models. We evaluate ED-HNN for node classification on nine real-world hypergraph datasets. ED-HNN uniformly outperforms the best baselines over these nine datasets and achieves more than 2\%$\uparrow$ in prediction accuracy over four datasets therein.


title: Multi: a Formal Playground for Multi-Smart Contract Interaction

abstract: Blockchains are maintained by a network of participants that run algorithms designed to maintain collectively a distributed machine tolerant to Byzantine attacks. From the point of view of users, blockchains provide the illusion of centralized computers that perform trustable verifiable computations, where all computations are deterministic and the results cannot be manipulated or undone. Smart-contracts are written in a special-purpose programming language with deterministic semantics. Each transaction begins with an invocation from an external user to a smart contract. Contracts have local storage and can call other contracts, and more importantly, they store, send and receive cryptocurrency. It is very important to guarantee that contracts are correct before deployment since their code cannot be modified afterward deployment. However, the resulting ecosystem makes it very difficult to reason about program correctness, since contracts can be executed by malicious users or malicious contracts can be designed to exploit other contracts that call them. Many attacks and bugs are caused by unexpected interactions between multiple contracts, the attacked contract and unknown code that performs the exploit. Moreover, there is a very aggressive competition between different blockchains to expand their user base. Ideas are implemented fast and blockchains compete to offer and adopt new features quickly. In this paper, we propose a formal extensible playground that allows reasoning about multi-contract interactions to ultimately prove properties before features are incorporated into the real blockchain. We implemented a model of computation that models the execution platform, abstracts the internal code of each individual contract and focuses on contract interactions. Moreover, we show how many features, existing or proposed, can be used to reason about multi-contract interactions.


title: Observation of azimuth-dependent suppression of hadron pairs in electron scattering off nuclei

abstract: We present the first measurement of di-hadron angular correlations in electron-nucleus scattering. The data were taken with the CLAS detector and a 5.0 GeV electron beam incident on deuterium, carbon, iron, and lead targets. Relative to deuterium, the nuclear yields of charged-pion pairs show a strong suppression for azimuthally opposite pairs, no suppression for azimuthally nearby pairs, and an enhancement of pairs with large invariant mass. These effects grow with increased nuclear size. The data are qualitatively described by the GiBUU model, which suggests that hadrons form near the nuclear surface and undergo multiple-scattering in nuclei. These results show that angular correlation studies can open a new way to elucidate how hadrons form and interact inside nuclei


title: Artificial Dust Based Attack Modelling: A Threat to the Security of Next Generation WCN

abstract: This paper introduces a systematic and novel mechanism for devising a security attack in the WCN (Wireless Communication Network). The proposed model involves the implementation of the AD (Artificial Dust) by the intruder, followed by the execution of the HD (Half-Duplex) attack. The communication network is based on the deployment of urban and rural scenarios with an unknown CSI (Channel State Information). Depending on the achieved path loss based on the distance of the user from the BS, the user with the highest path loss is particularized for the attack. The formulation of AD divulges the increased susceptibilities of the secure network specifically for the selected legitimate user. The parameter of visibility defines the amount of AD present in the communication channel. Based on the enumerated attenuation created by the artificial dust, the parameter of secrecy rate is evaluated with varying distance of the user from the BS and the operating frequency. Furthermore, the proposed scheme of the HD attack is initiated by the intruder at the specified valid user. The strategy of the attack focuses on the continuous monitor of the uplink and attempts the spoofing attack on the downlink wherein the allocation of the resources takes place. The efficacy of the proposed approach is corroborated through the examination of simulation results. The assessment of the proposed mechanism highlights notable characteristics as compared to the conventional methodology of the FD (Full- Duplex) attack.


title: Subgraph Frequency Distribution Estimation using Graph Neural Networks

abstract: Small subgraphs (graphlets) are important features to describe fundamental units of a large network. The calculation of the subgraph frequency distributions has a wide application in multiple domains including biology and engineering. Unfortunately due to the inherent complexity of this task, most of the existing methods are computationally intensive and inefficient. In this work, we propose GNNS, a novel representational learning framework that utilizes graph neural networks to sample subgraphs efficiently for estimating their frequency distribution. Our framework includes an inference model and a generative model that learns hierarchical embeddings of nodes, subgraphs, and graph types. With the learned model and embeddings, subgraphs are sampled in a highly scalable and parallel way and the frequency distribution estimation is then performed based on these sampled subgraphs. Eventually, our methods achieve comparable accuracy and a significant speedup by three orders of magnitude compared to existing methods.


title: Spectral Radius of Biased Random Walks on Regular Trees

abstract: We consider biased random walk on regular tree and we obtain the spectral radius, first return probability and $n$-step transition probability.


title: Behavioral Model For Live Detection of Apps Based Attack

abstract: Smartphones with the platforms of applications are gaining extensive attention and popularity. The enormous use of different applications has paved the way to numerous security threats. The threats are in the form of attacks such as permission control attacks, phishing attacks, spyware attacks, botnets, malware attacks, privacy leakage attacks. Moreover, other vulnerabilities include invalid authorization of apps, compromise on the confidentiality of data, invalid access control. In this paper, an application-based attack modeling and attack detection is proposed. Due to A novel attack vulnerability is identified based on the app execution on the smartphone. The attack modeling involves an end-user vulnerable application to initiate an attack. The vulnerable application is installed at the background end on the smartphone with hidden visibility from the end-user. Thereby, accessing the confidential information. The detection model involves the proposed technique of an Application-based Behavioral Model Analysis (ABMA) scheme to address the attack model. The model incorporates application-based comparative parameter analysis to perform the process of intrusion detection. The ABMA is estimated by using the parameters of power, battery level, and the data usage. Based on the source internet accessibility, the analysis is performed using three different configurations as, WiFi, mobile data, and the combination of the two. The simulation results verify and demonstrates the effectiveness of the proposed model.


title: Breaking Correlation Shift via Conditional Invariant Regularizer

abstract: Recently, generalization on out-of-distribution (OOD) data with correlation shift has attracted great attentions. The correlation shift is caused by the spurious attributes that correlate to the class label, as the correlation between them may vary in training and test data. For such a problem, we show that given the class label, the models that are conditionally independent of spurious attributes are OOD generalizable. Based on this, a metric Conditional Spurious Variation (CSV) which controls the OOD generalization error, is proposed to measure such conditional independence. To improve the OOD generalization, we regularize the training process with the proposed CSV. Under mild assumptions, our training objective can be formulated as a nonconvex-concave mini-max problem. An algorithm with a provable convergence rate is proposed to solve the problem. Extensive empirical results verify our algorithm's efficacy in improving OOD generalization.


title: Generalized Preservation Principle in Finite Theta Correspondence

abstract: It is known that irreducible cuspidal characters satisfy the preservation principle in the Howe correspondences of finite reductive dual pairs. In this article, we generalize the preservation principle to any irreducible characters of classical groups.


title: An experimental set up to probe the quantum transport through single atomic/molecular junction at room temperature

abstract: Understanding the transport characteristics at the atomic limit is the prerequisite for futuristic nano-electronic applications. Among various experimental procedures, mechanically controllable break junction (MCBJ) is one of the well adopted experimental technique to study and control the atomic or molecular scale devices. Here, we present the details of the development of a piezo controlled table top MCBJ set up, working at ambient condition, along with necessary data acquisition technique and analysis of the data. We performed conductance experiment on a macroscopic gold wire, which exhibits quantized conductance plateau upon pulling the wire with the piezo. Conductance peak up to $\sim 20 G_0$ ($G_0 = 2e^2/h$, $e$ being the electronic charge and $h$ being the plank's constant) could be resolved at room temperature. A well-known test bed molecule,$4, 4^\prime$ bipyridine, was introduced between the gold electrodes and conductance histogram exhibits two distinctive conductance peaks, confirming the formation of single molecular junction, in line with the previous reports. This demonstrate that our custom-designed MCBJ set up is capable of measuring quantum transport of a single molecular junction at ambient condition.


title: Contributions of rotation, expansion and line broadening to the morpho-kinematics of the inner CSE of oxygen-rich AGB star R Hya

abstract: We use archival ALMA observations of the CO(2-1) and SiO(5-4) molecular line emissions of AGB star R Hya to illustrate the relative contributions of rotation, expansion and line broadening to the morphology and kinematics of the circumstellar envelope (CSE) within some ~70 au (~0.5 arcsec) from the centre of the star. We give evidence for rotation and important line broadening to dominate the inner region, within ~14 au (~100 mas) from the centre of the star. The former is about an axis that projects a few degrees west of north and has a projected rotation velocity of a few km/s. The latter occurs within some 7-14 au (50-100 mas) from the centre of the star, the line width reaching two to three times its value outside this region. We suggest that it is caused by shocks induced by stellar pulsations and convective cell granulation. We show the importance of properly accounting for the observed line broadening when discussing rotation and evaluating the radial dependence of the rotation velocity.


title: Iterative Soft-Input Soft-Output Decoding with Ordered Reliability Bits GRAND

abstract: Guessing Random Additive Noise Decoding (GRAND) is a universal decoding algorithm that can be used to perform maximum likelihood decoding. It attempts to find the errors introduced by the channel by generating a sequence of possible error vectors in order of likelihood of occurrence and applying them to the received vector. Ordered reliability bits GRAND (ORBGRAND) integrates soft information received from the channel to refine the error vector sequence. In this work, ORBGRAND is modified to produce a soft output, to enable its use as an iterative soft-input soft-output (SISO) decoder. Three techniques specific to iterative GRAND-based decoding are then proposed to improve the error-correction performance and decrease computational complexity and latency. Using the OFEC code as a case study, the proposed techniques are evaluated, yielding substantial performance gain and astounding complexity reduction of 48\% to 85\% with respect to the baseline SISO ORBGRAND.


title: Visualizing Gender Gap in Film Industry over the Past 100 Years

abstract: Visualizing big data can provide valuable insights into social science research. In this project, we focused on visualizing the potential gender gap in the global film industry over the past 100 years. We profiled the differences both for the actors/actresses and male/female movie audiences and analyzed the IMDb data of the most popular 10,000 movies (the composition and importance of casts of different genders, the cooperation network of the actors/actresses, the movie genres, the movie descriptions, etc.) and audience ratings (the differences between male's and female's ratings). Findings suggest that the gender gap has been distinct in many aspects, but a recent trend is that this gap narrows down and women are gaining discursive power in the film industry. Our study presented rich data, vivid illustrations, and novel perspectives that can serve as the foundation for further studies on related topics and their social implications.


title: Operator-valued Schatten spaces and quantum entropies

abstract: Operator-valued Schatten spaces were introduced by G. Pisier as a noncommutative counterpart of vector-valued $\ell_p$-spaces. This family of operator spaces forms an interpolation scale which makes it a powerful and convenient tool in a variety of applications. In particular, as the norms coming from this family naturally appear in the definition of certain entropic quantities in Quantum Information Theory (QIT), one may apply Pisier's theory to establish some features of those quantities. Nevertheless, it could be quite challenging to follow the proofs of the main results of this theory from the existing literature. In this article, we attempt to fill this gap by presenting the underlying concepts and ideas of Pisier's theory in a self-contained way which we hope to be more accessible, especially for the QIT community at large. Furthermore, we describe some applications of this theory in QIT. In particular, we prove a new uniform continuity bound for the quantum conditional R\'enyi entropy.


title: Dynamic Low-Resolution Distillation for Cost-Efficient End-to-End Text Spotting

abstract: End-to-end text spotting has attached great attention recently due to its benefits on global optimization and high maintainability for real applications. However, the input scale has always been a tough trade-off since recognizing a small text instance usually requires enlarging the whole image, which brings high computational costs. In this paper, to address this problem, we propose a novel cost-efficient Dynamic Low-resolution Distillation (DLD) text spotting framework, which aims to infer images in different small but recognizable resolutions and achieve a better balance between accuracy and efficiency. Concretely, we adopt a resolution selector to dynamically decide the input resolutions for different images, which is constraint by both inference accuracy and computational cost. Another sequential knowledge distillation strategy is conducted on the text recognition branch, making the low-res input obtains comparable performance to a high-res image. The proposed method can be optimized end-to-end and adopted in any current text spotting framework to improve the practicability. Extensive experiments on several text spotting benchmarks show that the proposed method vastly improves the usability of low-res models. The code is available at https://github.com/hikopensource/DAVAR-Lab-OCR/.


title: DavarOCR: A Toolbox for OCR and Multi-Modal Document Understanding

abstract: This paper presents DavarOCR, an open-source toolbox for OCR and document understanding tasks. DavarOCR currently implements 19 advanced algorithms, covering 9 different task forms. DavarOCR provides detailed usage instructions and the trained models for each algorithm. Compared with the previous opensource OCR toolbox, DavarOCR has relatively more complete support for the sub-tasks of the cutting-edge technology of document understanding. In order to promote the development and application of OCR technology in academia and industry, we pay more attention to the use of modules that different sub-domains of technology can share. DavarOCR is publicly released at https://github.com/hikopensource/Davar-Lab-OCR.


title: Light yield non-proportionality of inorganic crystals and its effect on cosmic-ray measurements

abstract: The multi-TeV energy region of the cosmic-ray spectra has been recently explored by direct detection experiments that used calorimetric techniques to measure the energy of the cosmic particles. Interesting spectral features have been observed in both all-electron and nuclei spectra. However, the interpretation of the results is compromised by the disagreements between the data obtained from the various experiments, that are not reconcilable with the quoted experimental uncertainties. Understanding the reason for the discrepancy among the measurements is of fundamental importance in view of the forthcoming high-energy cosmic-ray experiments planned for space, as well as for the correct interpretation of the available results. The purpose of this work is to investigate the possibility that a systematic effect may derive from the non-proportionality of the light response of inorganic crystals, typically used in high-energy calorimetry due to their excellent energy-resolution performance. The main reason for the non-proportionality of the crystals is that scintillation light yield depends on ionisation density. Experimental data obtained with ion beams were used to characterize the light response of various scintillator materials. The obtained luminous efficiencies were used as input of a Monte Carlo simulation to perform a comparative study of the effect of the light-yield non-proportionality on the detection of high-energy electromagnetic and hadronic showers. The result of this study indicates that, if the calorimeter response is calibrated by using the energy deposit of minimum ionizing particles, the measured shower energy might be affected by a significant systematic shift, at the level of few percent, whose sign and magnitude depend specifically on the type of scintillator material used.


title: Large deviation principle for reflected SPDE on infinite spatial domain

abstract: We study a large deviation principle for a reflected stochastic partial differential equation on infinite spatial domain. A new sufficient condition for the weak convergence criterion proposed by Matoussi, Sabbagh and Zhang ({\it Appl. Math. Optim.} 83: 849-879, 2021) plays an important role in the proof.


title: Gas dynamics and star formation in NGC 6822

abstract: We present H I gas kinematics and star formation activities of NGC 6822, a dwarf galaxy located in the Local Group at a distance of ~ 490 kpc. We perform profile decomposition of line-of-sight velocity profiles of the H I data cube (42.4" x 12.0" spatial, corresponding to ~ 100 pc; 1.6 km s$^{-1}$ spectral) taken with the Australia Telescope Compact Array (ATCA). For this, we use a new tool, the so-called BAYGAUD which is based on Bayesian analysis techniques, allowing us to decompose a line-of-sight velocity profile into an optimal number of Gaussian components in a quantitative manner. We classify the decomposed H I gas components of NGC 6822 into cool-bulk, warm-bulk, cool-non-bulk and warm-non-bulk motions with respect to their centroid velocities and velocity dispersions. We correlate their gas surface densities with corresponding star formation rate densities derived using both the GALEX far-ultraviolet and WISE 22 $\mu$m data to examine the resolved Kennicutt-Schmidt (K-S) law for NGC 6822. Of the decomposed H I gas components, the cool-bulk component is likely to better follow the linear extension of the K-S law for molecular hydrogen (H$_2$) at low gas surface densities where H I is not saturated.


title: Ranks of elliptic curves and deep neural networks

abstract: Determining the rank of an elliptic curve E/Q is a hard problem, and in some applications (e.g. when searching for curves of high rank) one has to rely on heuristics aimed at estimating the analytic rank (which is equal to the rank under the Birch and Swinnerton-Dyer conjecture). In this paper, we develop rank classification heuristics modeled by deep convolutional neural networks (CNN). Similarly to widely used Mestre-Nagao sums, it takes as an input the conductor of E and a sequence of normalized a_p-s (where a_p=p+1-#E(F_p) if p is a prime of good reduction) in some range (p<10^k for k=3,4,5), and tries to predict rank (or detect curves of ``high'' rank). The model has been trained and tested on two datasets: the LMFDB and a custom dataset consisting of elliptic curves with trivial torsion, conductor up to 10^30, and rank up to 10. For comparison, eight simple neural network models of Mestre-Nagao sums have also been developed. Experiments showed that CNN performed better than Mestre-Nagao sums on the LMFDB dataset (interestingly neural network that took as an input all Mestre-Nagao sums performed much better than each sum individually), while they were roughly equal on custom made dataset.


title: Spatial Aggregation with Respect to a Population Distribution

abstract: Spatial aggregation with respect to a population distribution involves estimating aggregate quantities for a population based on an observation of individuals in a subpopulation. In this context, a geostatistical workflow must account for three major sources of `aggregation error': aggregation weights, fine scale variation, and finite population variation. However, common practice is to treat the unknown population distribution as a known population density and ignore empirical variability in outcomes. We improve common practice by introducing a `sampling frame model' that allows aggregation models to account for the three sources of aggregation error simply and transparently. We compare the proposed and the traditional approach using two simulation studies that mimic neonatal mortality rate (NMR) data from the 2014 Kenya Demographic and Health Survey (KDHS2014). For the traditional approach, undercoverage/overcoverage depends arbitrarily on the aggregation grid resolution, while the new approach exhibits low sensitivity. The differences between the two aggregation approaches increase as the population of an area decreases. The differences are substantial at the second administrative level and finer, but also at the first administrative level for some population quantities. We find differences between the proposed and traditional approach are consistent with those we observe in an application to NMR data from the KDHS2014.


title: Anomalous quantized plateaus in two-dimensional electron gas with gate confinement

abstract: Quantum information can be coded by the topologically protected edges of fractional quantum Hall (FQH) states. Investigation on FQH edges in the hope of searching and utilizing non-Abelian statistics has been a focused challenge for years. Manipulating the edges, e.g. to bring edges close to each other or to separate edges spatially, is a common and essential step for such studies. The FQH edge structures in a confined region are typically presupposed to be the same as that in the open region in analysis of experimental results, but whether they remain unchanged with extra confinement is obscure. In this work, we present a series of unexpected plateaus in a confined single-layer two-dimensional electron gas (2DEG), which are quantized at anomalous fractions such as 9/4, 17/11, 16/13 and the reported 3/2. We explain all the plateaus by assuming surprisingly larger filling factors in the confined region. Our findings enrich the understanding of edge states in the confined region and in the applications of gate manipulation, which is crucial for the experiments with quantum point contact and interferometer.


title: Decoherence and Landauer's Principle in Qubit-Cavity Quantum-Field-Theory Interaction

abstract: We consider quantum decoherence and Landauer's principle in qubit-cavity quantum field theory (QFT) interaction, treating the qubit as the system and cavity QFT as the environment. In particular, we investigate the changes that occur in the system with a pure initial state and environment during the decoherence process, with or without energy dissipation, and compare the results with the case in which the initial state of the system is a mixed state and thus decoherence is absent. When we choose an interaction Hamiltonian such that the energy and coherence of the system change simultaneously, the population change of the system and the energy change are the same when the initial state is mixed. However, the decoherence terms increase the von Neumann entropy of the system. In this case the energy change and decoherence of the system are not independent physical processes. The decoherence process maintains unitarity. On the other hand, if the interaction Hamiltonian does not change the energy of the system, there is only the decoherence effect. The environment will be a distribution in the basis of the displaced number state and always increases the energy. Landauer's principle is satisfied in both cases.


title: Ultra-coherent nanomechanical resonators based on density phononic crystal engineering

abstract: Micro- and nanomechanical systems with exceptionally low dissipation rates are enabling the next-generation technologies of ultra-sensitive detectors and quantum information systems. New techniques and methods for lowering the dissipation rate have in recent years been discovered and allowed for the engineering of mechanical oscillators with phononic modes that are extremely well isolated from the environment and thus possessing quality factors close to and beyond 1 billion. A powerful strategy for isolating and controlling a single phononic mode is based on phononic crystal engineering. Here we propose a new method for phononic crystal engineering of nanomechanical oscillators that is based on a periodic variation of the material density. To circumvent the introduction of additional bending losses resulting from the variation of material density, the added mass constitutes an array of nanopillars in which the losses will be diluted. Using this novel technique for phononic crystal engineering, we design and fabricate corrugated mechanical oscillators with quality factors approaching one billion in a room temperature environment. The flexibility space of these new phononic crystals is large and further advancement can be attained through optimized phononic crystal patterning and strain engineering via topology optimization. This will allow for the engineering of mechanical membranes with quality factors approaching 10 billion. Such extremely low mechanical dissipation rates will enable the development of radically new technologies such as quantum-limited atomic force microscopy at room-temperature, ultra-sensitive detectors of dark matter, spontaneous waveform collapses, gravity, and high-efficiency quantum information transducers.


title: Cosmology as a Crossed Product

abstract: We suggest a new conceptual frame where inflationary Cosmology is quantum mechanically described using the Hilbert space representation of the crossed product of the type $III$ factor associated with the algebra of local operators on the de Sitter static patch and the automorphism of translations in the emergent conformal time. In this formal framework scalar curvature fluctuations are determined by the gravitational potential induced by the quantum variance of the generator of the conformal time automorphisms. Choosing as representative, in the Hilbert space of the crossed product, the effective vacuum state for each mode and conformal time, we evaluate the quantum variance and the induced scalar curvature fluctuations. This leads to a model independent characterization of the inflationary parameters (1-n_s) \sim 0.0318 and \epsilon\sim 0.0027 in good agreement with Planck experimental results. In this formal frame inflation extends the algebra of observables in a primordial dS expanding Universe. In this extension time evolution becomes an inner automorphism and the conjugated energy fluctuations manifest as the observable scalar curvature fluctuations.


title: Massive form factors at $\mathcal{O}(\alpha_s^3)$

abstract: We report on our recent calculation of massive quark form factors using a semi-numerical approach based on series expansions of the master integrals around singular and regular kinematic points and numerical matching. The methods allows to cover the whole kinematic range of negative and positive values of the virtuality $s$ with at least seven significant digits accuracy.


title: SHREC 2022 Track on Online Detection of Heterogeneous Gestures

abstract: This paper presents the outcomes of a contest organized to evaluate methods for the online recognition of heterogeneous gestures from sequences of 3D hand poses. The task is the detection of gestures belonging to a dictionary of 16 classes characterized by different pose and motion features. The dataset features continuous sequences of hand tracking data where the gestures are interleaved with non-significant motions. The data have been captured using the Hololens 2 finger tracking system in a realistic use-case of mixed reality interaction. The evaluation is based not only on the detection performances but also on the latency and the false positives, making it possible to understand the feasibility of practical interaction tools based on the algorithms proposed. The outcomes of the contest's evaluation demonstrate the necessity of further research to reduce recognition errors, while the computational cost of the algorithms proposed is sufficiently low.


title: Implementation and validation of the FRi3D flux rope model in EUHFORIA

abstract: The Flux Rope in 3D (FRi3D, Isavnin, 2016), a coronal mass ejection (CME) model with global three-dimensional (3D) geometry, has been implemented in the space weather forecasting tool EUHFORIA (Pomoell and Poedts, 2018). By incorporating this advanced flux rope model in EUHFORIA, we aim to improve the modelling of CME flank encounters and, most importantly, the magnetic field predictions at Earth. After using synthetic events to showcase FRi3D's capabilities of modelling CME flanks, we optimize the model to run robust simulations of real events and test its predictive capabilities. We perform observation-based modelling of the halo CME event that erupted on 12 July 2012. The geometrical input parameters are constrained using the forward modelling tool included in FRi3D with additional flux rope geometry flexibilities as compared to the pre-existing models. The magnetic field input parameters are derived using the differential evolution algorithm to fit FRi3D parameters to the in situ data at 1 AU. An observation-based approach to constrain the density of CMEs is adopted, in order to achieve a better estimation of mass corresponding to the FRi3D geometry. The CME is evolved in EUHFORIA's heliospheric domain and a comparison of FRi3D's predictive performance with the previously implemented spheromak CME in EUHFORIA is presented. For this event, FRi3D improves the modelling of the total magnetic field magnitude and Bz at Earth by ~30% and ~70%, respectively. Moreover, we compute the expected geoeffectiveness of the storm at Earth using an empirical Dst model and find that the FRi3D model improves the predictions of minimum Dst by ~20% as compared to the spheromak CME model. Finally, we discuss the limitations of the current implementation of FRi3D in EUHFORIA and propose possible improvements.


title: Realizability Problem for Constraint LTL

abstract: Constraint linear-time temporal logic (CLTL) is an extension of LTL that is interpreted on sequences of valuations of variables over an infinite domain. The atomic formulas are interpreted as constraints on the valuations. The atomic formulas can constrain valuations over a range of positions along a sequence, with the range being bounded by a parameter depending on the formula. The satisfiability and model checking problems for CLTL have been studied by Demri and D'Souza. We consider the realizability problem for CLTL. The set of variables is partitioned into two parts, with each part controlled by a player. Players take turns to choose valuations for their variables, generating a sequence of valuations. The winning condition is specified by a CLTL formula -- the first player wins if the sequence of valuations satisfies the specified formula. We study the decidability of checking whether the first player has a winning strategy in the realizability game for a given CLTL formula. We prove that it is decidable in the case where the domain satisfies the completion property, a property introduced by Balbiani and Condotta in the context of satisfiability. We prove that it is undecidable over $(\mathbb{Z},<,=)$, the domain of integers with order and equality. We prove that over $(\mathbb{Z},<,=)$, it is decidable if the atomic constraints in the formula can only constrain the current valuations of variables belonging to the second player, but there are no such restrictions for the variables belonging to the first player. We call this single-sided games.


title: problexity -- an open-source Python library for binary classification problem complexity assessment

abstract: The classification problem's complexity assessment is an essential element of many topics in the supervised learning domain. It plays a significant role in meta-learning -- becoming the basis for determining meta-attributes or multi-criteria optimization -- allowing the evaluation of the training set resampling without needing to rebuild the recognition model. The tools currently available for the academic community, which would enable the calculation of problem complexity measures, are available only as libraries of the C++ and R languages. This paper describes the software module that allows for the estimation of 22 complexity measures for the Python language -- compatible with the scikit-learn programming interface -- allowing for the implementation of research using them in the most popular programming environment of the machine learning community.


title: Overview of Abusive and Threatening Language Detection in Urdu at FIRE 2021

abstract: With the growth of social media platform influence, the effect of their misuse becomes more and more impactful. The importance of automatic detection of threatening and abusive language can not be overestimated. However, most of the existing studies and state-of-the-art methods focus on English as the target language, with limited work on low- and medium-resource languages. In this paper, we present two shared tasks of abusive and threatening language detection for the Urdu language which has more than 170 million speakers worldwide. Both are posed as binary classification tasks where participating systems are required to classify tweets in Urdu into two classes, namely: (i) Abusive and Non-Abusive for the first task, and (ii) Threatening and Non-Threatening for the second. We present two manually annotated datasets containing tweets labelled as (i) Abusive and Non-Abusive, and (ii) Threatening and Non-Threatening. The abusive dataset contains 2400 annotated tweets in the train part and 1100 annotated tweets in the test part. The threatening dataset contains 6000 annotated tweets in the train part and 3950 annotated tweets in the test part. We also provide logistic regression and BERT-based baseline classifiers for both tasks. In this shared task, 21 teams from six countries registered for participation (India, Pakistan, China, Malaysia, United Arab Emirates, and Taiwan), 10 teams submitted their runs for Subtask A, which is Abusive Language Detection and 9 teams submitted their runs for Subtask B, which is Threatening Language detection, and seven teams submitted their technical reports. The best performing system achieved an F1-score value of 0.880 for Subtask A and 0.545 for Subtask B. For both subtasks, m-Bert based transformer model showed the best performance.


title: Attosecond magnetization dynamics in non-magnetic materials driven by intense femtosecond lasers

abstract: Irradiating solids with ultrashort laser pulses is known to initiate femtosecond timescale magnetization dynamics. However, sub-femtosecond spin dynamics have not yet been observed or predicted. Here, we explore ultrafast light-driven spin dynamics in a highly non-resonant strong-field regime. Through state-of-the-art ab-initio calculations, we predict that a non-magnetic material can be transiently transformed into a magnetic one via dynamical extremely nonlinear spin-flipping processes, which occur on attosecond timescales and are mediated by a combination of multi-photon and spin-orbit interactions. These are non-perturbative non-resonant analogues to the inverse Faraday effect that build up from cycle-to-cycle as electrons gain angular momentum. Remarkably, we show that even for linearly polarized driving, where one does not intuitively expect any magnetic response, the magnetization transiently oscillates as the system interacts with light. This oscillating response is enabled by transverse anomalous light-driven currents in the solid, and typically occurs on timescales of ~500 attoseconds. We further demonstrate that the speed of magnetization can be controlled by tuning the laser wavelength and intensity. An experimental set-up capable of measuring these dynamics through pump-probe transient absorption spectroscopy is outlined and simulated. Our results pave the way for new regimes of ultrafast manipulation of magnetism.


title: On the Divisibility of 7-Elongated Plane Partition Diamonds by Powers of 8

abstract: In 2021 da Silva, Hirschhorn, and Sellers studied a wide variety of congruences for the $k$-elongated plane partition function $d_k(n)$ by various primes. They also conjectured the existence of an infinite congruence family modulo arbitrarily high powers of 2 for the function $d_7(n)$. We prove that such a congruence family exists -- indeed, for powers of 8. The proof utilizes only classical methods, i.e., integer polynomial manipulations in a single function, in contrast to all other known infinite congruence families for $d_k(n)$ which require more modern methods to prove.


title: Collimation of the kiloparsec-scale radio jets in NGC 2663

abstract: We present the discovery of highly-collimated radio jets spanning a total of 355 kpc around the nearby elliptical galaxy NGC 2663, and the possible first detection of recollimation on kiloparsec scales. The small distance to the galaxy (~28.5 Mpc) allows us to resolve portions of the jets to examine their structure. We combine multiwavelength data: radio observations by the Murchison Widefield Array (MWA), the Australian Square Kilometre Array Pathfinder (ASKAP) and the Australia Telescope Compact Array (ATCA), and X-ray data from Chandra, Swift and SRG/eROSITA. We present intensity, rotation measure, polarisation, spectral index and X-ray environment maps. Regions of the southern jet show simultaneous narrowing and brightening, which can be interpreted as a signature of the recollimation of the jet by external, environmental pressure, though it is also consistent with an intermittent Active Galactic Nuclei (AGN) or complex internal jet structure. X-ray data suggest that the environment is extremely poor; if the jet is indeed recollimating, the large recollimation scale (40 kpc) is consistent with a slow jet in a low-density environment.


title: A Comprehensive Analysis of the Gravitational Wave Events with the Hilbert-Huang Transform: From Compact Binary Coalescence to Supernova

abstract: We analyze the gravitational wave signals with a model-independent time-frequency analysis, which is improved from the Hilbert-Huang transform (HHT) and optimized for characterizing the frequency variability on the time-frequency map. Except for the regular HHT algorithm, i.e., obtaining intrinsic mode functions with ensemble empirical mode decomposition and yielding the instantaneous frequencies, we propose an alternative algorithm that operates the ensemble mean on the time-frequency map. We systematically analyze the known gravitational wave events of the compact binary coalescence observed in LIGO O1 and O2, and in the simulated gravitational wave signals from core-collapse supernovae (CCSNe) with our method. The time-frequency maps of the binary black hole coalescence cases show much better details compared to those wavelet spectra. Moreover, the oscillation in the instantaneous frequency caused by mode-mixing could be reduced with our algorithm. For the CCSNe data, the oscillation from the proto-neutron star and the radiation from the standing accretion shock instability can be precisely determined with the HHT in great detail. More importantly, the initial stage of different modes of oscillations can be clearly separated. These results provide new hints for further establishment of the detecting algorithm, and new probes to investigate the underlying physical mechanisms.


title: On a new concept of stochastic domination and the laws of large numbers

abstract: Consider a sequence of positive integers $\{k_n,n\ge1\}$, and an array of nonnegative real numbers $\{a_{n,i},1\le i\le k_n,n\ge1\}$ satisfying $\sup_{n\ge 1}\sum_{i=1}^{k_n}a_{n,i}=C_0\in (0,\infty).$ This paper introduces the concept of $\{a_{n,i}\}$-stochastic domination. We develop some techniques concerning this concept and apply them to remove an assumption in a strong law of large numbers of Chandra and Ghosal [Acta. Math. Hungarica, 1996]. As a by-product, a considerable extension of a recent result of Boukhari [J. Theoret. Probab., 2021] is established and proved by a different method. The results on laws of large numbers are new even when the summands are independent. Relationships between the concept of $\{a_{n,i}\}$-stochastic domination and the concept of $\{a_{n,i}\}$-uniform integrability are presented. Two open problems are also discussed.


title: AB Aur, a Rosetta stone for studies of planet formation (II): H$_2$S detection and sulfur budget

abstract: The sulfur abundance is poorly known in most environments. Yet, deriving the sulfur abundance is key to understanding the evolution of the chemistry from molecular clouds to planetary atmospheres. We present observations of H$_2$S 110-101 at 168.763 GHz toward the Herbig Ae star AB Aur. We aim to study the abundance of sulfuretted species toward AB Aur and to constrain how different species and phases contribute to the sulfur budget. We present new NOrthern Extended Millimeter Array (NOEMA) interferometric observations of the continuum and H$_2$S 110-101 line at 168.763 GHz toward AB Aur. We derived radial and azimuthal profiles and used them to compare the geometrical distribution of different species in the disk. Assuming local thermodynamical equilibrium (LTE), we derived column density and abundance maps for H$_2$S, and we further used Nautilus to produce a more detailed model of the chemical abundances at different heights over the mid-plane at a distance of r=200 au. We have resolved H$_2$S emission in the AB Aur protoplanetary disk. The emission comes from a ring extending from 0.67 (109 au) to 1.69 (275 au). Under simple assumptions, we derived an abundance of (3.1$\pm$0.8)$\times$10$\rm ^{-10}$ with respect to H nuclei, which we compare with Nautilus models to deepen our understanding of the sulfur chemistry in protoplanetary disks. Chemical models indicate that H$-2$S is an important sulfur carrier in the solid and gas phase. We also find an important transition at a height of 12 au, where the sulfur budget moves from being dominated by ice species to being dominated by gas species. Studying sulfuretted species in detail in the different phases of the interstellar medium is key to solving the issue.


title: Layout-Aware Information Extraction for Document-Grounded Dialogue: Dataset, Method and Demonstration

abstract: Building document-grounded dialogue systems have received growing interest as documents convey a wealth of human knowledge and commonly exist in enterprises. Wherein, how to comprehend and retrieve information from documents is a challenging research problem. Previous work ignores the visual property of documents and treats them as plain text, resulting in incomplete modality. In this paper, we propose a Layout-aware document-level Information Extraction dataset, LIE, to facilitate the study of extracting both structural and semantic knowledge from visually rich documents (VRDs), so as to generate accurate responses in dialogue systems. LIE contains 62k annotations of three extraction tasks from 4,061 pages in product and official documents, becoming the largest VRD-based information extraction dataset to the best of our knowledge. We also develop benchmark methods that extend the token-based language model to consider layout features like humans. Empirical results show that layout is critical for VRD-based extraction, and system demonstration also verifies that the extracted knowledge can help locate the answers that users care about.


title: Hardware-in-the-Loop Simulation for Evaluating Communication Impacts on the Wireless-Network-Controlled Robots

abstract: More and more robot automation applications have changed to wireless communication, and network performance has a growing impact on robotic systems. This study proposes a hardware-in-the-loop (HiL) simulation methodology for connecting the simulated robot platform to real network devices. This project seeks to provide robotic engineers and researchers with the capability to experiment without heavily modifying the original controller and get more realistic test results that correlate with actual network conditions. We deployed this HiL simulation system in two common cases for wireless-network-controlled robotic applications: (1) safe multi-robot coordination for mobile robots, and (2) human-motion-based teleoperation for manipulators. The HiL simulation system is deployed and tested under various network conditions in all circumstances. The experiment results are analyzed and compared with the previous simulation methods, demonstrating that the proposed HiL simulation methodology can identify a more reliable communication impact on robot systems.


title: Consistency test of the fine-structure constant from the whole ionization history

abstract: In cosmology, the fine-structure constant can affect the whole ionization history. However, the previous works confine themselves to the recombination epoch and give various strong constraints on the fine-structure constant. In this paper, we also take the reionization epoch into consideration and do a consistency test of the fine-structure constant from the whole ionization history. From the data combination of Planck 2018, BAO data, SNIa samples, SFR density from UV and IR measurements, and the $Q_\text{HII}$ constraints, we find the constraint on the fine-structure constant during the recombination epoch is $\alpha_{\text{rec}}/\alpha_{\text{EM}}=1.001494^{+0.002041}_{-0.002063}$ and its counterpart during the reionization epoch is $\alpha_{\text{rei}}/\alpha_{\text{EM}}=0.854034^{+0.031678}_{-0.027209}$ at 68$\%$ C.L.. They are not consistent with each other by $4.64\sigma$. A conservative explanation for such a discrepancy is that there are some issues in the data we used. We prefer a calibration of some important parameters involved in reconstructing the reionization history.


title: Multi-field Cuscuton Cosmology

abstract: In this paper, we first introduce a multi-field setup of Cuscuton gravity in a curved field space manifold. Then, we show that this model allows for a regular bouncing cosmology and it does not lead to ghosts or other instabilities at the level of perturbations. More precisely, by decomposing the scalar fields perturbations into the tangential and normal components with respect to the background field space trajectory, the entropy mode perpendicular to the background trajectory is healthy which directly depends on the signature of the field-space metric, whereas the adiabatic perturbation tangential to the background trajectory is frozen. In analogy with the standard Cuscuton theory equipped with an extra dynamical scalar field, the adiabatic field does not have its own dynamics, but it modifies the dynamics of other dynamical fields like entropy mode in our scenario. Finally, we perform a Hamiltonian analysis of our model in order to count the degrees of freedom propagated by dynamical fields.


title: Chemical Differentiation and Temperature Distribution on a Few au Scale around the Protostellar Source B335

abstract: Resolving physical and chemical structures in the vicinity of a protostar is of fundamental importance for elucidating their evolution to a planetary system. In this context, we have conducted 1.2 mm observations toward the low-mass protostellar source B335 at a resolution of 0."03 with ALMA. More than 20 molecular species including HCOOH, NH2 CHO, HNCO, CH3 OH, CH2 DOH, CHD2 OH, and CH3 OD are detected within a few 10 au around the continuum peak. We find a systematic chemical differentiation between oxygen-bearing and nitrogen-bearing organic molecules by using the principal component analysis for the image cube data. The distributions of the nitrogen-bearing molecules are more compact than those of the oxygen-bearing ones except for HCOOH. The temperature distribution of the disk/envelope system is revealed by a multi-line analysis for each of HCOOH, NH2 CHO, CH3 OH, and CH2 DOH. The rotation temperatures at the radius of 0."06 along the envelope direction of CH3OH and CH2DOH are derived to be 150-165 K. On the other hand, those of HCOOH and NH2CHO, which have a smaller distribution, are 75-112 K, and are significantly lower than those for CH3OH and CH2DOH. This means that the outer envelope traced by CH3OH and CH2DOH is heated by additional mechanisms rather than the protostellar heating. We here propose the accretion shock as the heating mechanism. The chemical differentiation and the temperature structure on a few au scale provide us with key information to further understand chemical processes in protostellar sources.


title: Contact dynamics, contact Poisson bracket, and symplectic integrator -- Even Arnold nodds

abstract: By introducing an integration factor to the differential one-form of contact dynamics, equations of motion are derived variationally, and contact Poisson bracket and contact Lagrangian are formulated. Discrete symplectic integrator, named hybrid leap-frog method, is found to be a numerical solver of equations of motion for contact dissipative systems.


title: On the weighted m-energy classes

abstract: In this article, we investigate the weighted $m-$subharmonic functions. We shall give some properties of this class and consider its relation to the $m-$Cegrell classes. We also prove an integration theorem and an almost everywhere convergence theorem for this class.


title: ABP maximum principles for fully nonlinear integro-differential equations with unbounded inhomogeneous terms

abstract: Aleksandrov-Bakelman-Pucci maximum principles are studied for a class of fully nonlinear integro-differential equations of order $\sigma\in [2-\varepsilon_0,2)$, where $\varepsilon_0$ is a small constant depending only on given parameters. The goal of this paper is to improve an estimate of Guillen and Schwab (Arch. Ration. Mech. Anal., 206, 2012) in order to avoid the dependence on $L^\infty$ norm of %the to the estimate depending only on $L^n$ norm the inhomogeneous term.


title: Accurate Stabilization Techniques for RBF-FD Meshless Discretizations with Neumann Boundary Conditions

abstract: A major obstacle to the application of the standard Radial Basis Function-generated Finite Difference (RBF-FD) meshless method is constituted by its inability to accurately and consistently solve boundary value problems involving Neumann boundary conditions (BCs). This is also due to ill-conditioning issues affecting the interpolation matrix when boundary derivatives are imposed in strong form. In this paper these ill-conditioning issues and subsequent instabilities affecting the application of the RBF-FD method in presence of Neumann BCs are analyzed both theoretically and numerically. The theoretical motivations for the onset of such issues are derived by highlighting the dependence of the determinant of the local interpolation matrix upon the boundary normals. Qualitative investigations are also carried out numerically by studying a reference stencil and looking for correlations between its geometry and the properties of the associated interpolation matrix. Based on the previous analyses, two approaches are derived to overcome the initial problem. The corresponding stabilization properties are finally assessed by succesfully applying such approaches to the stabilization of the Helmholtz-Hodge decomposition.


title: Octuplet Loss: Make Face Recognition Robust to Image Resolution

abstract: Image resolution, or in general, image quality, plays an essential role in the performance of today's face recognition systems. To address this problem, we propose a novel combination of the popular triplet loss to improve robustness against image resolution via fine-tuning of existing face recognition models. With octuplet loss, we leverage the relationship between high-resolution images and their synthetically down-sampled variants jointly with their identity labels. Fine-tuning several state-of-the-art approaches with our method proves that we can significantly boost performance for cross-resolution (high-to-low resolution) face verification on various datasets without meaningfully exacerbating the performance on high-to-high resolution images. Our method applied on the FaceTransformer network achieves 95.12% face verification accuracy on the challenging XQLFW dataset while reaching 99.73% on the LFW database. Moreover, the low-to-low face verification accuracy benefits from our method. We release our code to allow seamless integration of the octuplet loss into existing frameworks.