title: Shift symmetries and duality web in gauge theories

abstract: Using a generalised Noether prescription we are able to extract all the currents and their conservation laws in space dependent shift symmetric theories. Various identities among the currents in the matter sector are found that form the basis for revealing a dual picture when the full interacting theory is considered by coupling to gauge fields. The coupling is achieved in terms of vector fields by adhering to a modified minimal prescription which is also supported by an iterative Noether scheme. Further, this scheme shows that couplings can also be introduced using higher rank tensor gauge fields that have appeared in recent discussions on fractons. We reveal a connection among these descriptions (using vector or tensor fields) through certain duality maps that relate the various fields (gauge, electric and magnetic) in the two cases. A correspondence is established among the Gauss' law, Faraday's law and Ampere's law. Explicit calculations are provided for linear and quadratic shift symmetric lagrangians.


title: Instance-Aware Image Completion

abstract: Image completion is a task that aims to fill in the missing region of a masked image with plausible contents. However, existing image completion methods tend to fill in the missing region with the surrounding texture instead of hallucinating a visual instance that is suitable in accordance with the context of the scene. In this work, we propose a novel image completion model, dubbed ImComplete, that hallucinates the missing instance that harmonizes well with - and thus preserves - the original context. ImComplete first adopts a transformer architecture that considers the visible instances and the location of the missing region. Then, ImComplete completes the semantic segmentation masks within the missing region, providing pixel-level semantic and structural guidance. Finally, the image synthesis blocks generate photo-realistic content. We perform a comprehensive evaluation of the results in terms of visual quality (LPIPS and FID) and contextual preservation scores (CLIPscore and object detection accuracy) with COCO-panoptic and Visual Genome datasets. Experimental results show the superiority of ImComplete on various natural images.


title: Hall algebras associated to root categories

abstract: Let $\mathcal {A}$ be a finitary hereditary abelian category. We define a Hall algebra for the root category of $\mathcal {A}$ by applying the derived Hall numbers of the bounded derived category $D^b(\mathcal {A})$, which is proved to be isomorphic to the Drinfeld double Hall algebra of $\mathcal {A}$. In the appendix, we also define the 1-periodic derived Hall algebra via the derived Hall numbers of $D^b(\mathcal {A})$.


title: NeuPhysics: Editable Neural Geometry and Physics from Monocular Videos

abstract: We present a method for learning 3D geometry and physics parameters of a dynamic scene from only a monocular RGB video input. To decouple the learning of underlying scene geometry from dynamic motion, we represent the scene as a time-invariant signed distance function (SDF) which serves as a reference frame, along with a time-conditioned deformation field. We further bridge this neural geometry representation with a differentiable physics simulator by designing a two-way conversion between the neural field and its corresponding hexahedral mesh, enabling us to estimate physics parameters from the source video by minimizing a cycle consistency loss. Our method also allows a user to interactively edit 3D objects from the source video by modifying the recovered hexahedral mesh, and propagating the operation back to the neural field representation. Experiments show that our method achieves superior mesh and video reconstruction of dynamic scenes compared to competing Neural Field approaches, and we provide extensive examples which demonstrate its ability to extract useful 3D representations from videos captured with consumer-grade cameras.


title: Leveraging Large Language Models for Multiple Choice Question Answering

abstract: While large language models (LLMs) like GPT-3 have achieved impressive results on multiple choice question answering (MCQA) tasks in the zero, one, and few-shot settings, they generally lag behind the MCQA state of the art (SOTA). MCQA tasks have traditionally been presented to LLMs like cloze tasks. An LLM is conditioned on a question (without the associated answer options) and its chosen option is the one assigned the highest probability after normalization (for length, etc.). A more natural prompting approach is to present the question and answer options to the LLM jointly and have it output the symbol (e.g., "A") associated with its chosen answer option. This approach allows the model to explicitly compare answer options, reduces computational costs, and mitigates the effects of tokenization scheme and answer option representations on answer selection. For the natural approach to be effective, the LLM it is used with must be able to associate answer options with the symbols that represent them. The LLM needs what we term multiple choice symbol binding (MCSB) ability. This ability varies greatly by model. We show that a model with high MCSB ability performs much better with the natural approach than with the traditional approach across 20 diverse datasets and largely closes the gap with the SOTA, suggesting that the MCQA ability of LLMs has been previously underestimated.


title: On the matrix function $_pR_q(A, B; z)$ and its fractional calculus properties

abstract: The main objective of the present paper is to introduce and study the function $_pR_q(A, B; z)$ with matrix parameters and investigate the convergence of this matrix function. The contiguous matrix function relations, differential formulas and the integral representation for the matrix function $_pR_q(A, B; z)$ are derived. Certain properties of the matrix function $_pR_q(A, B; z)$ have also been studied from fractional calculus point of view. Finally, we emphasize on the special cases namely the generalized matrix $M$-series, the Mittag-Leffler matrix function and its generalizations and some matrix polynomials.


title: Spitzer/IRS full spectral modeling to characterize mineralogical properties of silicate dust in heavily obscured AGNs

abstract: Mid-Infrared (IR) silicate dust bands observed in heavily obscured active galactic nuclei (AGNs) include information on the mineralogical properties of silicate dust. We aim to investigate the mineralogical picture of the circumnuclear region of heavily obscured AGNs to reveal obscured AGN activities through the picture. In our previous study Tsuchikawa et al. (2021), we investigated the properties of silicate dust in heavily obscured AGNs focusing on the mineralogical composition and the crystallinity with Spitzer/IRS 5.3-12 micron spectra. In this study, we model the full-range Spitzer/IRS 5-30 micron spectra of 98 heavily obscured AGNs using a one-dimensional radiative transfer calculation with four dust species in order to evaluate wider ranges of the properties of silicate dust more reliably. Comparing fitting results between four dust models with a different size and porosity, 95 out of the 98 galaxies prefer a porous silicate dust model without micron-sized large grains. The pyroxene mass fraction and the crystallinity are overall consistent with but significantly different from the previous results for the individual galaxies. The pyroxene-poor composition, small dust size and high porosity are similar to newly formed dust around mass-loss stars as seen in our Galaxy, which presumably originates from the recent circumnuclear starburst activity. The high crystallinity on average suggests dust processing induced by AGN activities.


title: Bloch Surface Wave-atom Coupling in Periodic Photonic Structure

abstract: Considering efforts for hot atom vapor-nanophotonic integration as a new paradigm in quantum optics in this paper we introduce 1D photonic crystal-Rb vapor cell as structure with miniaturized interaction volume. The Bloch surface wave excited on surface of a photonic crystal as electromagnetic hosting photonic mode, and altered the optical response of Rb atoms in the vicinity of surface. Coupling of atomic states with BSW confined modes would lead to quantum interference effects and results in nonlinearities in resonant coupling of atoms with BSW. We show Bloch surface wave induced transparency is highly stable under a change of incidence angle. Our results show slight changes in transitions detunings due to nonlinear interactions like the Casimir-Polder effect under change of localized density of optical states.


title: Information-Transport-based Policy for Simultaneous Translation

abstract: Simultaneous translation (ST) outputs translation while receiving the source inputs, and hence requires a policy to determine whether to translate a target token or wait for the next source token. The major challenge of ST is that each target token can only be translated based on the current received source tokens, where the received source information will directly affect the translation quality. So naturally, how much source information is received for the translation of the current target token is supposed to be the pivotal evidence for the ST policy to decide between translating and waiting. In this paper, we treat the translation as information transport from source to target and accordingly propose an Information-Transport-based Simultaneous Translation (ITST). ITST quantifies the transported information weight from each source token to the current target token, and then decides whether to translate the target token according to its accumulated received information. Experiments on both text-to-text ST and speech-to-text ST (a.k.a., streaming speech translation) tasks show that ITST outperforms strong baselines and achieves state-of-the-art performance.


title: Performance Analysis of the Full-Duplex Communicating-Radar Convergence System

abstract: This paper aims to explore the feasibility of the spectrum sharing between the communication and radar system. We investigate the full-duplex (FD) joint radar and communication multi-antenna system in which a node labeled ComRad with a dual communication and radar capability is communicating with a downlink and an uplink users, as well as detecting the target of interest simultaneously. Considering a full interference scenario and imperfect channel state information (CSI), the fundamental performance limits of the FD JRC system are analyzed. In particular, we first obtain the downlink rate when the radar signals act as interference. Then, viewing the uplink channel and radar return channel as a multiple access channel, we propose an alternative successive interference cancellation scheme, based on which the achievable uplink communication rate is obtained. For the radar operation, we first derive the general expression of the estimation rate, which quantifies how much information is obtained about the target in terms of the direction, the range and the velocity. Considering the uniform linear antenna array and linear frequency modulated radar signals, we further obtain the exact closed-form estimation rate. Numerical simulations reveal that the joint manner of the communication and radar operations achieves larger rate regions compared to that of working independently.


title: A Discipline of Programming with Quantities

abstract: In scientific and engineering applications, physical quantities embodied as units of measurement (UoM) are frequently used. The loss of the Mars climate orbiter, attributed to a confusion between the metric and imperial unit systems, popularised the disastrous consequences of incorrectly handling measurement values. Dimensional analysis can be used to ensure expressions containing annotated values are evaluated correctly. This has led to the development of a large number of libraries, languages and validators to ensure developers can specify and verify UoM information in their designs and codes. Many tools can also automatically convert values between commensurable UoM, such as yards and metres. However these systems do not differentiate between quantities and dimensions. For instance torque and work, which share the same UoM, can not be interchanged because they do not represent the same entity. We present a named quantity layer that complements dimensional analysis by ensuring that values of different quantities are safely managed. Our technique is a mixture of analysis and discipline, where expressions involving multiplications are relegated to functions, in order to ensure that named quantities are handled soundly.


title: Prompt-Tuning Can Be Much Better Than Fine-Tuning on Cross-lingual Understanding With Multilingual Language Models

abstract: Pre-trained multilingual language models show significant performance gains for zero-shot cross-lingual model transfer on a wide range of natural language understanding (NLU) tasks. Previously, for zero-shot cross-lingual evaluation, pre-trained models are only fine-tuned on English data and tested on a variety of target languages. In this paper, we do cross-lingual evaluation on various NLU tasks (sentence classification, sequence labeling, question answering) using prompt-tuning and compare it with fine-tuning. The results show that prompt tuning achieves much better cross-lingual transfer than fine-tuning across datasets, with only 0.1% to 0.3% tuned parameters. Additionally, we demonstrate through the analysis that prompt tuning can have better cross-lingual transferability of representations on downstream tasks with better aligned decision boundaries.


title: MS-DCANet: A Novel Segmentation Network For Multi-Modality COVID-19 Medical Images

abstract: The Coronavirus Disease 2019 (COVID-19) pandemic has increased the public health burden and brought profound disaster to humans. For the particularity of the COVID-19 medical images with blurred boundaries, low contrast and different infection sites, some researchers have improved the accuracy by adding more complexity. Also, they overlook the complexity of lesions, which hinder their ability to capture the relationship between segmentation sites and the background, as well as the edge contours and global context. However, increasing the computational complexity, parameters and inference speed is unfavorable for model transfer from laboratory to clinic. A perfect segmentation network needs to balance the above three factors completely. To solve the above issues, this paper propose a symmetric automatic segmentation framework named MS-DCANet. We introduce Tokenized MLP block, a novel attention scheme that use a shift-window mechanism to conditionally fuse local and global features to get more continuous boundaries and spatial positioning capabilities. It has greater understanding of irregular lesions contours. MS-DCANet also uses several Dual Channel blocks and a Res-ASPP block to improve the ability to recognize small targets. On multi-modality COVID-19 tasks, MS-DCANet achieved state-of-the-art performance compared with other baselines. It can well trade off the accuracy and complexity. To prove the strong generalization ability of our proposed model, we apply it to other tasks (ISIC 2018 and BAA) and achieve satisfactory results.


title: EnDex: Evaluation of Dialogue Engagingness at Scale

abstract: We propose EnDex, the first human-reaction based model to evaluate dialogue engagingness. EnDex is trained on 80k Reddit-based Engagement Dataset (RED) curated using a novel distant-supervision framework. Engagingness is a key measure that captures high-level quality of AI dialogue systems and closely reflects actual user experience. However, data shortage, plus the abstract and extensive definition of engagingness makes it challenging to develop an automatic metric. Our work departs from mainstream approaches that use synthetic negative examples to train binary classifiers, and instead, proposes a solution using distant-supervision from human-reaction feedback. To support the soundness of our EnDex metric, we offer a theoretical foundation for engagement, an extensive ablation study, and empirical evidence of high correlation on five engagingness related datasets. We will release code, off-the-shelf EnDex model, and a large-scale dataset upon paper publication to facilitate future research.


title: Bayesian Convolutional Deep Sets with Task-Dependent Stationary Prior

abstract: Convolutional deep sets are the architecture of a deep neural network (DNN) that can model stationary stochastic process. This architecture uses the kernel smoother and the DNN to construct the translation equivariant functional representations, and thus reflects the inductive bias of the stationarity into DNN. However, since this architecture employs the kernel smoother known as the non-parametric model, it may produce ambiguous representations when the number of data points is not given sufficiently. To remedy this issue, we introduce Bayesian convolutional deep sets that construct the random translation equivariant functional representations with stationary prior. Furthermore, we present how to impose the task-dependent prior for each dataset because a wrongly imposed prior forms an even worse representation than that of the kernel smoother. We validate the proposed architecture and its training on various experiments with time-series and image datasets.


title: FCGEC: Fine-Grained Corpus for Chinese Grammatical Error Correction

abstract: Grammatical Error Correction (GEC) has been broadly applied in automatic correction and proofreading system recently. However, it is still immature in Chinese GEC due to limited high-quality data from native speakers in terms of category and scale. In this paper, we present FCGEC, a fine-grained corpus to detect, identify and correct the grammatical errors. FCGEC is a human-annotated corpus with multiple references, consisting of 41,340 sentences collected mainly from multi-choice questions in public school Chinese examinations. Furthermore, we propose a Switch-Tagger-Generator (STG) baseline model to correct the grammatical errors in low-resource settings. Compared to other GEC benchmark models, experimental results illustrate that STG outperforms them on our FCGEC. However, there exists a significant gap between benchmark models and humans that encourages future models to bridge it.


title: NeuroCounterfactuals: Beyond Minimal-Edit Counterfactuals for Richer Data Augmentation

abstract: While counterfactual data augmentation offers a promising step towards robust generalization in natural language processing, producing a set of counterfactuals that offer valuable inductive bias for models remains a challenge. Most existing approaches for producing counterfactuals, manual or automated, rely on small perturbations via minimal edits, resulting in simplistic changes. We introduce NeuroCounterfactuals, designed as loose counterfactuals, allowing for larger edits which result in naturalistic generations containing linguistic diversity, while still bearing similarity to the original document. Our novel generative approach bridges the benefits of constrained decoding, with those of language model adaptation for sentiment steering. Training data augmentation with our generations results in both in-domain and out-of-domain improvements for sentiment classification, outperforming even manually curated counterfactuals, under select settings. We further present detailed analyses to show the advantages of NeuroCounterfactuals over approaches involving simple, minimal edits.


title: Anomalous dissipation and spontaneous stochasticity in deterministic surface quasi-geostrophic flow

abstract: Surface quasi geostrophy (SQG) describes the two-dimensional active transport of a temperature field in a strongly stratified and rotating environment. Besides its relevance to geophysics, SQG bears formal resemblance with various flows of interest for turbulence studies, from passive scalar and Burgers to incompressible fluids in two and three dimensions. This analogy is here substantiated by considering the turbulent SQG regime emerging from deterministic and smooth initial data prescribed by the superposition of a few Fourier modes. While still unsettled in the inviscid case, the initial value problem is known to be mathematically well-posed when regularised by a small viscosity. In practice, numerics reveal that in the presence of viscosity, a turbulent regime appears in finite time, which features three of the distinctive anomalies usually observed in three-dimensional developed turbulence: (i) dissipative anomaly, (ii) multifractal scaling, and (iii) super-diffusive separation of fluid particles, both backward and forward in time. These three anomalies point towards three spontaneously broken symmetries in the vanishing viscosity limit: scale invariance, time reversal and uniqueness of the Lagrangian flow, a fascinating phenomenon that Krzysztof Gawedzki dubbed spontaneous stochasticity. In the light of Gawedzki's work on the passive scalar problem, we argue that spontaneous stochasticity and irreversibility are intertwined in SQG, and provide numerical evidence for this connection. Our numerics, though, reveal that the deterministic SQG setting only features a tempered version of spontaneous stochasticity, characterised in particular by non-universal statistics.


title: Precisely the Point: Adversarial Augmentations for Faithful and Informative Text Generation

abstract: Though model robustness has been extensively studied in language understanding, the robustness of Seq2Seq generation remains understudied. In this paper, we conduct the first quantitative analysis on the robustness of pre-trained Seq2Seq models. We find that even current SOTA pre-trained Seq2Seq model (BART) is still vulnerable, which leads to significant degeneration in faithfulness and informativeness for text generation tasks. This motivated us to further propose a novel adversarial augmentation framework, namely AdvSeq, for generally improving faithfulness and informativeness of Seq2Seq models via enhancing their robustness. AdvSeq automatically constructs two types of adversarial augmentations during training, including implicit adversarial samples by perturbing word representations and explicit adversarial samples by word swapping, both of which effectively improve Seq2Seq robustness. Extensive experiments on three popular text generation tasks demonstrate that AdvSeq significantly improves both the faithfulness and informativeness of Seq2Seq generation under both automatic and human evaluation settings.


title: Counterfactual Generation Under Confounding

abstract: A machine learning model, under the influence of observed or unobserved confounders in the training data, can learn spurious correlations and fail to generalize when deployed. For image classifiers, augmenting a training dataset using counterfactual examples has been empirically shown to break spurious correlations. However, the counterfactual generation task itself becomes more difficult as the level of confounding increases. Existing methods for counterfactual generation under confounding consider a fixed set of interventions (e.g., texture, rotation) and are not flexible enough to capture diverse data-generating processes. Given a causal generative process, we formally characterize the adverse effects of confounding on any downstream tasks and show that the correlation between generative factors (attributes) can be used to quantitatively measure confounding between generative factors. To minimize such correlation, we propose a counterfactual generation method that learns to modify the value of any attribute in an image and generate new images given a set of observed attributes, even when the dataset is highly confounded. These counterfactual images are then used to regularize the downstream classifier such that the learned representations are the same across various generative factors conditioned on the class label. Our method is computationally efficient, simple to implement, and works well for any number of generative factors and confounding variables. Our experimental results on both synthetic (MNIST variants) and real-world (CelebA) datasets show the usefulness of our approach.


title: Explanation Shift: Detecting distribution shifts on tabular data via the explanation space

abstract: As input data distributions evolve, the predictive performance of machine learning models tends to deteriorate. In the past, predictive performance was considered the key indicator to monitor. However, explanation aspects have come to attention within the last years. In this work, we investigate how model predictive performance and model explanation characteristics are affected under distribution shifts and how these key indicators are related to each other for tabular data. We find that the modeling of explanation shifts can be a better indicator for the detection of predictive performance changes than state-of-the-art techniques based on representations of distribution shifts. We provide a mathematical analysis of different types of distribution shifts as well as synthetic experimental examples.


title: Evidence for 3d bosonization from monopole operators

abstract: We give evidence for 3d bosonization in Conformal Field Theories (CFTs) by computing monopole operator scaling dimensions in 2+1 dimensional quantum electrodynamics (QED3) with Chern-Simons level $k$ and $N$ complex bosons in a large $N,k$ expansion. We first consider the $k=0$ case, where we show that scaling dimensions previously computed to subleading order in $1/N$ can be extrapolated to $N=1$ and matched to $O(2)$ Wilson-Fisher CFT scaling dimensions with around 5\% error, which is evidence for particle-vortex duality. We then generalize the subleading calculation to large $N,k$ and fixed $k/N$, extrapolate to $N=k=1$, and consider monopole operators that are conjectured to be dual to non-degenerate scalar operators in a theory of a single Dirac fermion. We find matches typically with 1\% error or less, which is strong evidence of this so-called `seed' duality that implies a web of 3d bosonization dualities among CFTs.


title: Structure of singular and nonsingular tournament matrices

abstract: A tournament is a directed graph resulting from an orientation of the complete graph; so, if $M$ is a tournament's adjacency matrix, then $M + M^T$ is a matrix with $0$s on its diagonal and all other entries equal to $1$. An outstanding question in tournament theory asks to classify the adjacency matrices of tournaments which are singular (or nonsingular). We study this question using the structure of tournaments as graphs, in particular their cycle structure. More specifically, we find, as precisely as possible, the number of cycles of length three that dictates whether the corresponding tournament matrix is singular or nonsingular. We also give structural classifications of the tournaments that have the specified numbers of cycles of length three.


title: The role of time integration in energy conservation in Smoothed Particle Hydrodynamics fluid dynamics simulations

abstract: The choice of a time integration scheme is a crucial aspect of any transient fluid simulation, and Smoothed-Particle Hydrodynamics (SPH) is no exception. The influence of the time integration scheme on energy balance is here addressed. To do so, explicit expressions allowing to compute the deviations from the energy balance, induced by the time integration scheme, are provided. These expressions, computed \textit{a posteriori}, are valid for different integration methods. Such formulation is tested with the simulation of a two-dimensional non-viscous impact of two jets, with no artificial dissipation terms. To the best of our knowledge, this is the first stable simulation of a non-dissipative system with a weakly-compressible SPH method. A viscous case, the Taylor-Green vortex, has also been simulated. Results show that an implicit time integration scheme also behaves better in a viscous context.


title: Strategic Decisions Survey, Taxonomy, and Future Directions from Artificial Intelligence Perspective

abstract: Strategic Decision-Making is always challenging because it is inherently uncertain, ambiguous, risky, and complex. It is the art of possibility. We develop a systematic taxonomy of decision-making frames that consists of 6 bases, 18 categorical, and 54 frames. We aim to lay out the computational foundation that is possible to capture a comprehensive landscape view of a strategic problem. Compared with traditional models, it covers irrational, non-rational and rational frames c dealing with certainty, uncertainty, complexity, ambiguity, chaos, and ignorance.


title: ReasTAP: Injecting Table Reasoning Skills During Pre-training via Synthetic Reasoning Examples

abstract: Reasoning over tabular data requires both table structure understanding and a broad set of table reasoning skills. Current models with table-specific architectures and pre-training methods perform well on understanding table structures, but they still struggle with tasks that require various table reasoning skills. In this work, we develop ReasTAP to show that high-level table reasoning skills can be injected into models during pre-training without a complex table-specific architecture design. We define 7 table reasoning skills, such as numerical operation, temporal comparison, and conjunction. Each reasoning skill is associated with one example generator, which synthesizes questions over semi-structured tables according to the sampled templates. We model the table pre-training task as a sequence generation task and pre-train ReasTAP to generate precise answers to the synthetic examples. ReasTAP is evaluated on four benchmarks covering three downstream tasks including: 1) WikiSQL and WTQ for Table Question Answering; 2) TabFact for Table Fact Verification; and 3) LogicNLG for Faithful Table-to-Text Generation. Experimental results demonstrate that ReasTAP achieves new state-of-the-art performance on all benchmarks and delivers a significant improvement on low-resource setting. Our code is publicly available at https://github.com/Yale-LILY/ReasTAP.


title: torchode: A Parallel ODE Solver for PyTorch

abstract: We introduce an ODE solver for the PyTorch ecosystem that can solve multiple ODEs in parallel independently from each other while achieving significant performance gains. Our implementation tracks each ODE's progress separately and is carefully optimized for GPUs and compatibility with PyTorch's JIT compiler. Its design lets researchers easily augment any aspect of the solver and collect and analyze internal solver statistics. In our experiments, our implementation is up to 4.3 times faster per step than other ODE solvers and it is robust against within-batch interactions that lead other solvers to take up to 4 times as many steps. Code available at https://github.com/martenlienen/torchode


title: Graphs with girth $2\ell+1$ and without longer odd holes that contain an odd $K_4$-subdivision

abstract: We say that a graph $G$ has an {\em odd $K_4$-subdivision} if some subgraph of $G$ is isomorphic to a $K_4$-subdivision and whose faces are all odd holes of $G$. For a number $\ell\geq 2$, let $\mathcal{G}_{\ell}$ denote the family of graphs which have girth $2\ell+1$ and have no odd hole with length greater than $2\ell+1$. Wu, Xu and Xu conjectured that every graph in $\bigcup_{\ell\geq2}\mathcal{G}_{\ell}$ is 3-colorable. Recently, Chudnovsky et al. and Wu et al., respectively, proved that every graph in $\mathcal{G}_2$ and $\mathcal{G}_3$ is 3-colorable. In this paper, we prove that no $4$-vertex-critical graph in $\bigcup_{\ell\geq5}\mathcal{G}_{\ell}$ has an odd $K_4$-subdivision. Using this result, Chen proved that all graphs in $\bigcup_{\ell\geq5}\mathcal{G}_{\ell}$ are 3-colorable.


title: Holmstedt's formula for the $K$-functional: the limit case $\theta_0=\theta_1$

abstract: We consider $K$-interpolation spaces involving slowly varying functions, and derive necessary and sufficient conditions for a Holmstedt-type formula to be held in the limiting case $\theta_0=\theta_1\in\{0,1\}.$ We also study the case $\theta_0=\theta_1\in (0,1).$ Applications are given to Lorentz-Karamata spaces, generalized gamma spaces and Besov spaces.


title: Correcting Diverse Factual Errors in Abstractive Summarization via Post-Editing and Language Model Infilling

abstract: Abstractive summarization models often generate inconsistent summaries containing factual errors or hallucinated content. Recent works focus on correcting factual errors in generated summaries via post-editing. Such correction models are trained using adversarial non-factual summaries constructed using heuristic rules for injecting errors. However, generating non-factual summaries using heuristics often does not generalize well to actual model errors. In this work, we propose to generate hard, representative synthetic examples of non-factual summaries through infilling language models. With this data, we train a more robust fact-correction model to post-edit the summaries to improve factual consistency. Through quantitative and qualitative experiments on two popular summarization datasets -- CNN/DM and XSum -- we show that our approach vastly outperforms prior methods in correcting erroneous summaries. Our model -- FactEdit -- improves factuality scores by over ~11 points on CNN/DM and over ~31 points on XSum on average across multiple summarization models, producing more factual summaries while maintaining competitive summarization quality.


title: Polyaromatic Hydrocarbons with an Imperfect Aromatic System as Catalysts of Interstellar H$_{2}$ Formation

abstract: Although H$_{2}$ is the simplest and the most abundant molecule in the Universe, its formation in the interstellar medium, especially in the photodissociation regions is far from being fully understood. According to suggestions, the formation of H$_{2}$ is catalyzed by polyaromatic hydrocarbons (PAHs) on the surface of interstellar grains. In the present study, we have investigated the catalytic effect of small PAHs with an imperfect aromatic system. Quantum chemical computations were performed for the H-atom-abstraction and H-atom-addition reactions of benzene, cyclopentadiene, cycloheptatriene, indene, and 1H-phenalene. Heights of reaction barriers and tunneling reaction rate constants were computed with density functional theory using the MPWB1K functional. For each molecule, the reaction path and the \warn{rate constants} were determined at 50 K using ring-polymer instanton theory, and the temperature dependence of the \warn{rate constants} was investigated for cyclopentadiene and cycloheptatriene. The computational results reveal that defects in the aromatic system compared to benzene can increase the rate of the catalytic H$_{2}$ formation at 50 K.


title: An empirical analysis of the dynamics of both individual galaxies and gravitational lensing in galaxy clusters without dark matter

abstract: The existence of the flat rotation curves of galaxies is still perplexing. The dark matter paradigm was proposed long ago to solve this conundrum; however, this proposal is still under debate. In this paper, we search for universal relationships solely involving the baryonic density that incorporate both galactic dynamics and gravitational lensing in galaxy clusters without requiring dark matter. If this type of formula exists, we show that it is possible that it can clearly indicate that dark matter is either perfectly tailored to baryonic matter or, from a more radical point of view, even perhaps useless. If the latter situation is true, then we must give greater visibility to models such as modified inertia (MOND) or even modified gravity (MOG).


title: S2WAT: Image Style Transfer via Hierarchical Vision Transformer using Strips Window Attention

abstract: Transformer's recent integration into style transfer leverages its proficiency in establishing long-range dependencies, albeit at the expense of attenuated local modeling. This paper introduces Strips Window Attention Transformer (S2WAT), a novel hierarchical vision transformer designed for style transfer. S2WAT employs attention computation in diverse window shapes to capture both short- and long-range dependencies. The merged dependencies utilize the "Attn Merge" strategy, which adaptively determines spatial weights based on their relevance to the target. Extensive experiments on representative datasets show the proposed method's effectiveness compared to state-of-the-art (SOTA) transformer-based and other approaches. The code and pre-trained models are available at https://github.com/AlienZhang1996/S2WAT.


title: Model-free controlled variable selection via data splitting

abstract: Addressing the simultaneous identification of contributory variables while controlling the false discovery rate (FDR) in high-dimensional data is a crucial statistical challenge. In this paper, we propose a novel model-free variable selection procedure in sufficient dimension reduction framework via a data splitting technique. The variable selection problem is first converted to a least squares procedure with several response transformations. We construct a series of statistics with global symmetry property and leverage the symmetry to derive a data-driven threshold aimed at error rate control. Our approach demonstrates the capability for achieving finite-sample and asymptotic FDR control under mild theoretical conditions. Numerical experiments confirm that our procedure has satisfactory FDR control and higher power compared with existing methods.


title: Stance Detection and Open Research Avenues

abstract: This tutorial aims to cover the state-of-the-art on stance detection and address open research avenues for interested researchers and practitioners. Stance detection is a recent research topic where the stance towards a given target or target set is determined based on the given content and there are significant application opportunities of stance detection in various domains. The tutorial comprises two parts where the first part outlines the fundamental concepts, problems, approaches, and resources of stance detection, while the second part covers open research avenues and application areas of stance detection. The tutorial will be a useful guide for researchers and practitioners of stance detection, social media analysis, information retrieval, and natural language processing.


title: The Devil is in the Conflict: Disentangled Information Graph Neural Networks for Fraud Detection

abstract: Graph-based fraud detection has heretofore received considerable attention. Owning to the great success of Graph Neural Networks (GNNs), many approaches adopting GNNs for fraud detection has been gaining momentum. However, most existing methods are based on the strong inductive bias of homophily, which indicates that the context neighbors tend to have same labels or similar features. In real scenarios, fraudsters often engage in camouflage behaviors in order to avoid detection system. Therefore, the homophilic assumption no longer holds, which is known as the inconsistency problem. In this paper, we argue that the performance degradation is mainly attributed to the inconsistency between topology and attribute. To address this problem, we propose to disentangle the fraud network into two views, each corresponding to topology and attribute respectively. Then we propose a simple and effective method that uses the attention mechanism to adaptively fuse two views which captures data-specific preference. In addition, we further improve it by introducing mutual information constraints for topology and attribute. To this end, we propose a Disentangled Information Graph Neural Network (DIGNN) model, which utilizes variational bounds to find an approximate solution to our proposed optimization objective function. Extensive experiments demonstrate that our model can significantly outperform stateof-the-art baselines on real-world fraud detection datasets.


title: Deep Learning in Single-Cell Analysis

abstract: Single-cell technologies are revolutionizing the entire field of biology. The large volumes of data generated by single-cell technologies are high-dimensional, sparse, heterogeneous, and have complicated dependency structures, making analyses using conventional machine learning approaches challenging and impractical. In tackling these challenges, deep learning often demonstrates superior performance compared to traditional machine learning methods. In this work, we give a comprehensive survey on deep learning in single-cell analysis. We first introduce background on single-cell technologies and their development, as well as fundamental concepts of deep learning including the most popular deep architectures. We present an overview of the single-cell analytic pipeline pursued in research applications while noting divergences due to data sources or specific applications. We then review seven popular tasks spanning through different stages of the single-cell analysis pipeline, including multimodal integration, imputation, clustering, spatial domain identification, cell-type deconvolution, cell segmentation, and cell-type annotation. Under each task, we describe the most recent developments in classical and deep learning methods and discuss their advantages and disadvantages. Deep learning tools and benchmark datasets are also summarized for each task. Finally, we discuss the future directions and the most recent challenges. This survey will serve as a reference for biologists and computer scientists, encouraging collaborations.


title: Learning Feasibility of Factored Nonlinear Programs in Robotic Manipulation Planning

abstract: A factored Nonlinear Program (Factored-NLP) explicitly models the dependencies between a set of continuous variables and nonlinear constraints, providing an expressive formulation for relevant robotics problems such as manipulation planning or simultaneous localization and mapping. When the problem is over-constrained or infeasible, a fundamental issue is to detect a minimal subset of variables and constraints that are infeasible. Previous approaches require solving several nonlinear programs, incrementally adding and removing constraints, and are thus computationally expensive. In this paper, we propose a graph neural architecture that predicts which variables and constraints are jointly infeasible. The model is trained with a dataset of labeled subgraphs of Factored-NLPs, and importantly, can make useful predictions on larger factored nonlinear programs than the ones seen during training. We evaluate our approach in robotic manipulation planning, where our model is able to generalize to longer manipulation sequences involving more objects and robots, and different geometric environments. The experiments show that the learned model accelerates general algorithms for conflict extraction (by a factor of 50) and heuristic algorithms that exploit expert knowledge (by a factor of 4).


title: Whisker-Inspired Tactile Sensing for Contact Localization on Robot Manipulators

abstract: Perceiving the environment through touch is important for robots to reach in cluttered environments, but devising a way to sense without disturbing objects is challenging. This work presents the design and modelling of whisker-inspired sensors that attach to the surface of a robot manipulator to sense its surrounding through light contacts. We obtain a sensor model using a calibration process that applies to straight and curved whiskers. We then propose a sensing algorithm using Bayesian filtering to localize contact points. The algorithm combines the accurate proprioceptive sensing of the robot and sensor readings from the deflections of the whiskers. Our results show that our algorithm is able to track contact points with sub-millimeter accuracy, outperforming a baseline method. Finally, we demonstrate our sensor and perception method in a real-world system where a robot moves in between free-standing objects and uses the whisker sensors to track contacts tracing object contours.


title: Diversity-Promoting Ensemble for Medical Image Segmentation

abstract: Medical image segmentation is an actively studied task in medical imaging, where the precision of the annotations is of utter importance towards accurate diagnosis and treatment. In recent years, the task has been approached with various deep learning systems, among the most popular models being U-Net. In this work, we propose a novel strategy to generate ensembles of different architectures for medical image segmentation, by leveraging the diversity (decorrelation) of the models forming the ensemble. More specifically, we utilize the Dice score among model pairs to estimate the correlation between the outputs of the two models forming each pair. To promote diversity, we select models with low Dice scores among each other. We carry out gastro-intestinal tract image segmentation experiments to compare our diversity-promoting ensemble (DiPE) with another strategy to create ensembles based on selecting the top scoring U-Net models. Our empirical results show that DiPE surpasses both individual models as well as the ensemble creation strategy based on selecting the top scoring models.


title: Neural Distortion Fields for Spatial Calibration of Wide Field-of-View Near-Eye Displays

abstract: We propose a spatial calibration method for wide Field-of-View (FoV) Near-Eye Displays (NEDs) with complex image distortions. Image distortions in NEDs can destroy the reality of the virtual object and cause sickness. To achieve distortion-free images in NEDs, it is necessary to establish a pixel-by-pixel correspondence between the viewpoint and the displayed image. Designing compact and wide-FoV NEDs requires complex optical designs. In such designs, the displayed images are subject to gaze-contingent, non-linear geometric distortions, which explicit geometric models can be difficult to represent or computationally intensive to optimize. To solve these problems, we propose Neural Distortion Field (NDF), a fully-connected deep neural network that implicitly represents display surfaces complexly distorted in spaces. NDF takes spatial position and gaze direction as input and outputs the display pixel coordinate and its intensity as perceived in the input gaze direction. We synthesize the distortion map from a novel viewpoint by querying points on the ray from the viewpoint and computing a weighted sum to project output display coordinates into an image. Experiments showed that NDF calibrates an augmented reality NED with 90$^{\circ}$ FoV with about 3.23 pixel (5.8 arcmin) median error using only 8 training viewpoints. Additionally, we confirmed that NDF calibrates more accurately than the non-linear polynomial fitting, especially around the center of the FoV.


title: Joint Microstrip Selection and Beamforming Design for MmWave Systems with Dynamic Metasurface Antennas

abstract: Dynamic metasurface antennas (DMAs) provide a new paradigm to realize large-scale antenna arrays for future wireless systems. In this paper, we study the downlink millimeter wave (mmWave) DMA systems with limited number of radio frequency (RF) chains. By using a specific DMA structure, an equivalent mmWave channel model is first explicitly characterized. Based on that, we propose an effective joint microstrip selection and beamforming scheme to accommodate for the limited number of RF chains. A low-complexity digital beamforming solution with channel gain-based microstrip selection is developed, while the analog beamformer is obtained via a coordinate ascent method. The proposed scheme is numerically shown to approach the performance of DMAs without RF chain reduction, verifying the effectiveness of the proposed schemes.


title: MasakhaNER 2.0: Africa-centric Transfer Learning for Named Entity Recognition

abstract: African languages are spoken by over a billion people, but are underrepresented in NLP research and development. The challenges impeding progress include the limited availability of annotated datasets, as well as a lack of understanding of the settings where current methods are effective. In this paper, we make progress towards solutions for these challenges, focusing on the task of named entity recognition (NER). We create the largest human-annotated NER dataset for 20 African languages, and we study the behavior of state-of-the-art cross-lingual transfer methods in an Africa-centric setting, demonstrating that the choice of source language significantly affects performance. We show that choosing the best transfer language improves zero-shot F1 scores by an average of 14 points across 20 languages compared to using English. Our results highlight the need for benchmark datasets and models that cover typologically-diverse African languages.


title: Testing Independence of Exchangeable Random Variables

abstract: Given well-shuffled data, can we determine whether the data items are statistically (in)dependent? Formally, we consider the problem of testing whether a set of exchangeable random variables are independent. We will show that this is possible and develop tests that can confidently reject the null hypothesis that data is independent and identically distributed and have high power for (some) exchangeable distributions. We will make no structural assumptions on the underlying sample space. One potential application is in Deep Learning, where data is often scraped from the whole internet, with duplications abound, which can render data non-iid and test-set evaluation prone to give wrong answers.


title: The rough Hawkes Heston stochastic volatility model

abstract: We study an extension of the Heston stochastic volatility model that incorporates rough volatility and jump clustering phenomena. In our model, named the rough Hawkes Heston stochastic volatility model, the spot variance is a rough Hawkes-type process proportional to the intensity process of the jump component appearing in the dynamics of the spot variance itself and the log returns. The model belongs to the class of affine Volterra models. In particular, the Fourier-Laplace transform of the log returns and the square of the volatility index can be computed explicitly in terms of solutions of deterministic Riccati-Volterra equations, which can be efficiently approximated using a multi-factor approximation technique. We calibrate a parsimonious specification of our model characterized by a power kernel and an exponential law for the jumps. We show that our parsimonious setup is able to simultaneously capture, with a high precision, the behavior of the implied volatility smile for both S&P 500 and VIX options. In particular, we observe that in our setting the usual shift in the implied volatility of VIX options is explained by a very low value of the power in the kernel. Our findings demonstrate the relevance, under an affine framework, of rough volatility and self-exciting jumps in order to capture the joint evolution of the S&P 500 and VIX.


title: Coverings of planar and three-dimensional sets with subsets of smaller diameter

abstract: Quantitative estimates related to the classical Borsuk problem of splitting set in Euclidean space into subsets of smaller diameter are considered. For a given $k$ there is a minimal diameter of subsets at which there exists a covering with $k$ subsets of any planar set of unit diameter. In order to find an upper estimate of the minimal diameter we propose an algorithm for finding sub-optimal partitions. In the cases $10 \leqslant k \leqslant 17$ some upper and lower estimates of the minimal diameter are improved. Another result is that any set $M \subset \mathbb{R}^3$ of a unit diameter can be partitioned into four subsets of a diameter not greater than $0.966$.


title: Joint Detections of Frequency and Direction of Arrival in Wideband Based on Programmable Metasurface

abstract: We propose to achieve joint detections of frequency and direction of arrival in wideband using single sensor based on an active metasurface with programmable transmission states of pass and stop. By integrating two PIN diodes with the opposite directions into the proposed single-layer and ultrathin meta-atom, the transmission performance with 10 dB difference between the pass and stop states is realized in the bandwidth from 5.9 GHz to 8.8 GHz using field-circuit co-simulations. Accordingly, random receiving patterns are generated by controlling the programmable metasurface composed of the switchable meta-atoms. Afterwards, the frequency and direction information of sources located in the far field are detected using the modified algorithm of estimating signal parameters via rotational invariance techniques (ESPRIT) and the compressive sensing method, respectively. A sample of the programmable metasurface is fabricated and the voltage control system is built up correspondingly. To entirely verify the validity of the proposed method, we conduct three kinds of experiments with one single source, double sources with different frequencies, and double sources with the same frequency, respectively. In all cases, the source information of frequency and direction has been detected preciously in measurements in the frequency band from 6.2 GHz to 8.8 GHz.


title: ADDMU: Detection of Far-Boundary Adversarial Examples with Data and Model Uncertainty Estimation

abstract: Adversarial Examples Detection (AED) is a crucial defense technique against adversarial attacks and has drawn increasing attention from the Natural Language Processing (NLP) community. Despite the surge of new AED methods, our studies show that existing methods heavily rely on a shortcut to achieve good performance. In other words, current search-based adversarial attacks in NLP stop once model predictions change, and thus most adversarial examples generated by those attacks are located near model decision boundaries. To surpass this shortcut and fairly evaluate AED methods, we propose to test AED methods with \textbf{F}ar \textbf{B}oundary (\textbf{FB}) adversarial examples. Existing methods show worse than random guess performance under this scenario. To overcome this limitation, we propose a new technique, \textbf{ADDMU}, \textbf{a}dversary \textbf{d}etection with \textbf{d}ata and \textbf{m}odel \textbf{u}ncertainty, which combines two types of uncertainty estimation for both regular and FB adversarial example detection. Our new method outperforms previous methods by 3.6 and 6.0 \emph{AUC} points under each scenario. Finally, our analysis shows that the two types of uncertainty provided by \textbf{ADDMU} can be leveraged to characterize adversarial examples and identify the ones that contribute most to model's robustness in adversarial training.


title: MetaASSIST: Robust Dialogue State Tracking with Meta Learning

abstract: Existing dialogue datasets contain lots of noise in their state annotations. Such noise can hurt model training and ultimately lead to poor generalization performance. A general framework named ASSIST has recently been proposed to train robust dialogue state tracking (DST) models. It introduces an auxiliary model to generate pseudo labels for the noisy training set. These pseudo labels are combined with vanilla labels by a common fixed weighting parameter to train the primary DST model. Notwithstanding the improvements of ASSIST on DST, tuning the weighting parameter is challenging. Moreover, a single parameter shared by all slots and all instances may be suboptimal. To overcome these limitations, we propose a meta learning-based framework MetaASSIST to adaptively learn the weighting parameter. Specifically, we propose three schemes with varying degrees of flexibility, ranging from slot-wise to both slot-wise and instance-wise, to convert the weighting parameter into learnable functions. These functions are trained in a meta-learning manner by taking the validation set as meta data. Experimental results demonstrate that all three schemes can achieve competitive performance. Most impressively, we achieve a state-of-the-art joint goal accuracy of 80.10% on MultiWOZ 2.4.


title: NeARportation: A Remote Real-time Neural Rendering Framework

abstract: While the presentation of photo-realistic appearance plays a major role in immersion in an augmented virtuality environment, displaying the photo-realistic appearance of real objects remains a challenging problem. Recent developments in photogrammetry have facilitated the incorporation of real objects into virtual space. However, photo-realistic photogrammetry requires a dedicated measurement environment, and there is a trade-off between measurement cost and quality. Furthermore, even with photo-realistic appearance measurements, there is a trade-off between rendering quality and framerate. There is no framework that could resolve these trade-offs and easily provide a photo-realistic appearance in real-time. Our NeARportation framework combines server-client bidirectional communication and neural rendering to resolve these trade-offs. Neural rendering on the server receives the client's head posture and generates a novel-view image with realistic appearance reproduction, which is streamed onto the client's display. By applying our framework to a stereoscopic display, we confirmed that it could display a high-fidelity appearance on full-HD stereo videos at 35-40 frames-per-second (fps), according to the user's head motion.


title: Invariant ideals and its applications to the turnpike theory

abstract: In this paper the turnpike property is established for a non-convex optimal control problem in discrete time. The functional is defined by the notion of the ideal convergence and can be considered as an analogue of the terminal functional defined over infinite time horizon. The turnpike property states that every optimal solution converges to some unique optimal stationary point in the sense of ideal convergence if the ideal is invariant under translations. This kind of convergence generalizes, for example, statistical convergence and convergence with respect to logarithmic density zero sets.


title: Varifocal Question Generation for Fact-checking

abstract: Fact-checking requires retrieving evidence related to a claim under investigation. The task can be formulated as question generation based on a claim, followed by question answering. However, recent question generation approaches assume that the answer is known and typically contained in a passage given as input, whereas such passages are what is being sought when verifying a claim. In this paper, we present {\it Varifocal}, a method that generates questions based on different focal points within a given claim, i.e.\ different spans of the claim and its metadata, such as its source and date. Our method outperforms previous work on a fact-checking question generation dataset on a wide range of automatic evaluation metrics. These results are corroborated by our manual evaluation, which indicates that our method generates more relevant and informative questions. We further demonstrate the potential of focal points in generating sets of clarification questions for product descriptions.


title: PcMSP: A Dataset for Scientific Action Graphs Extraction from Polycrystalline Materials Synthesis Procedure Text

abstract: Scientific action graphs extraction from materials synthesis procedures is important for reproducible research, machine automation, and material prediction. But the lack of annotated data has hindered progress in this field. We demonstrate an effort to annotate Polycrystalline Materials Synthesis Procedures (PcMSP) from 305 open access scientific articles for the construction of synthesis action graphs. This is a new dataset for material science information extraction that simultaneously contains the synthesis sentences extracted from the experimental paragraphs, as well as the entity mentions and intra-sentence relations. A two-step human annotation and inter-annotator agreement study guarantee the high quality of the PcMSP corpus. We introduce four natural language processing tasks: sentence classification, named entity recognition, relation classification, and joint extraction of entities and relations. Comprehensive experiments validate the effectiveness of several state-of-the-art models for these challenges while leaving large space for improvement. We also perform the error analysis and point out some unique challenges that require further investigation. We will release our annotation scheme, the corpus, and codes to the research community to alleviate the scarcity of labeled data in this domain.


title: DIGMN: Dynamic Intent Guided Meta Network for Differentiated User Engagement Forecasting in Online Professional Social Platforms

abstract: User engagement prediction plays a critical role for designing interaction strategies to grow user engagement and increase revenue in online social platforms. Through the in-depth analysis of the real-world data from the world's largest professional social platforms, i.e., LinkedIn, we find that users expose diverse engagement patterns, and a major reason for the differences in user engagement patterns is that users have different intents. That is, people have different intents when using LinkedIn, e.g., applying for jobs, building connections, or checking notifications, which shows quite different engagement patterns. Meanwhile, user intents and the corresponding engagement patterns may change over time. Although such pattern differences and dynamics are essential for user engagement prediction, differentiating user engagement patterns based on user dynamic intents for better user engagement forecasting has not received enough attention in previous works. In this paper, we proposed a Dynamic Intent Guided Meta Network (DIGMN), which can explicitly model user intent varying with time and perform differentiated user engagement forecasting. Specifically, we derive some interpretable basic user intents as prior knowledge from data mining and introduce prior intents in explicitly modeling dynamic user intent. Furthermore, based on the dynamic user intent representations, we propose a meta predictor to perform differentiated user engagement forecasting. Through a comprehensive evaluation on LinkedIn anonymous user data, our method outperforms state-of-the-art baselines significantly, i.e., 2.96% and 3.48% absolute error reduction, on coarse-grained and fine-grained user engagement prediction tasks, respectively, demonstrating the effectiveness of our method.


title: PATS: Sensitivity-aware Noisy Learning for Pretrained Language Models

abstract: A wide range of NLP tasks benefit from the fine-tuning of pretrained language models (PLMs). However, a number of redundant parameters which contribute less to the downstream task are observed in a directly fine-tuned model. We consider the gap between pretraining and downstream tasks hinders the training of these redundant parameters, and results in a suboptimal performance of the overall model. In this paper, we present PATS (Perturbation According To Sensitivity), a noisy training mechanism which considers each parameter's importance in the downstream task to help fine-tune PLMs. The main idea of PATS is to add bigger noise to parameters with lower sensitivity and vice versa, in order to activate more parameters' contributions to downstream tasks without affecting the sensitive ones much. Extensive experiments conducted on different tasks of the GLUE benchmark show PATS can consistently empower the fine-tuning of different sizes of PLMs, and the parameters in the well-performing models always have more concentrated distributions of sensitivities, which experimentally proves the effectiveness of our method.


title: Re-examining $N_{R}$-EFT Upto Dimension Six

abstract: The gauge singlet right-handed neutrinos (RHNs) are essential fields in several neutrino mass models that explain the observed eV scale neutrino mass. We assume RHN field to be present in the vicinity of the electroweak scale and all the other possible beyond the standard model (BSM) fields arise at high energy scale $\ge\Lambda$. In this scenario, the BSM physics can be described using effective field theory (EFT) where the set of canonical degrees of freedoms consists of both RHN and SM fields. EFT of this kind is usually dubbed as $N_{R}$-EFT. We systematically construct relevant operators that can arise at dimension five and six while respecting underlying symmetry. To quantify the phenomenological implication of these EFT operators we calculate different couplings that involve RHN fields. We discuss the constraints on these EFT operators coming from different energy and precision frontier experiments. For $pp$, $e^{-}p$ and $e^{+}e^{-}$ colliders, we identify various channels which crucially depends on these operators. We analytically evaluate the decay widths of RHN considering all relevant operators and highlight the differences that arise because of the EFT framework. Based upon the signal cross-section we propose different multi-lepton channels to search for the RHN at 14 TeV LHC as well as \emph{future} particle colliders.


title: Multidimensional threshold matrices and extremal matrices of order $2$

abstract: The paper is devoted to multidimensional $(0,1)$-matrices extremal with respect to containing a polydiagonal (a fractional generalization of a diagonal). Every extremal matrix is a threshold matrix, i.e., an entry belongs to its support whenever a weighted sum of incident hyperplanes exceeds a given threshold. Firstly, we prove that nonequivalent threshold matrices have different distributions of ones in hyperplanes. Next, we establish that extremal matrices of order $2$ are exactly selfdual threshold Boolean functions. Using this fact, we find the asymptotics of the number of extremal matrices of order $2$ and provide counterexamples to several conjectures on extremal matrices. Finally, we describe extremal matrices of order $2$ with a small diversity of hyperplanes.


title: Deep-Circuit QAOA

abstract: Despite its popularity, several empirical and theoretical studies suggest that the quantum approximate optimization algorithm (QAOA) has persistent issues in providing a substantial practical advantage. So far, those findings mostly account for a regime of few qubits and shallow circuits. We find clear evidence for a `no free lunch'-behavior of QAOA on a general optimization task with no further structure; individual cases have, however, to be analyzed more carefully. We propose and justify a performance indicator for the deep-circuit QAOA that can be accessed by solely evaluating statistical properties of the classical objective function. We further discuss the various favorable properties a generic QAOA instance has in the asymptotic regime of infinitely many gates, and elaborate on the immanent drawbacks of finite circuits. We provide several numerical examples of a deep-circuit QAOA method based on local search strategies and find that - in alignment with our performance indicator - some special function classes, like QUBO, admit a favorable optimization landscape.


title: Two new families of fourth-order explicit exponential Runge--Kutta methods with four stages for first-order differential systems

abstract: In this paper, two new families of fourth-order explicit exponential Runge--Kutta (ERK) methods with four stages are studied for solving first-order differential systems $y'(t)+My(t)=f(y(t))$. By comparing the Taylor series of the exact solution, the order conditions of these ERK methods are derived, which are exactly identical to the order conditions of explicit Runge--Kutta methods, and these ERK methods reduce to classical Runge--Kutta methods once $M\rightarrow \mathbf{0}$. Moreover, we analyze the stability properties and the convergence of the new methods. Several numerical examples are implemented to illustrate the accuracy and efficiency of these ERK methods by comparison with standard exponential integrators.


title: Fast Abstracts and Student Forum Proceedings, 18th European Dependable Computing Conference -- EDCC 2022

abstract: Collection of manuscripts accepted for presentation at the Student Forum and Fast Abstracts tracks of the 18th European Dependable Computing Conference (EDCC 2022).


title: Recurrence Boosts Diversity! Revisiting Recurrent Latent Variable in Transformer-Based Variational AutoEncoder for Diverse Text Generation

abstract: Variational Auto-Encoder (VAE) has been widely adopted in text generation. Among many variants, recurrent VAE learns token-wise latent variables with each conditioned on the preceding ones, which captures sequential variability better in the era of RNN. However, it is unclear how to incorporate such recurrent dynamics into the recently dominant Transformer due to its parallelism. In this work, we propose TRACE, a Transformer-based recurrent VAE structure. TRACE imposes recurrence on segment-wise latent variables with arbitrarily separated text segments and constructs the posterior distribution with residual parameterization. Besides, we design an acceleration method by approximating idempotent matrices, which allows parallelism while maintaining the conditional dependence of latent variables. We demonstrate that TRACE could enhance the entanglement of each segment and preceding latent variables and deduce a non-zero lower bound of the KL term, providing a theoretical guarantee of generation diversity. Experiments on two unconditional and one conditional generation tasks show that TRACE achieves significantly improved diversity while maintaining satisfactory generation quality.


title: The Shared Task on Gender Rewriting

abstract: In this paper, we present the results and findings of the Shared Task on Gender Rewriting, which was organized as part of the Seventh Arabic Natural Language Processing Workshop. The task of gender rewriting refers to generating alternatives of a given sentence to match different target user gender contexts (e.g., female speaker with a male listener, a male speaker with a male listener, etc.). This requires changing the grammatical gender (masculine or feminine) of certain words referring to the users. In this task, we focus on Arabic, a gender-marking morphologically rich language. A total of five teams from four countries participated in the shared task.


title: On a variant of Flory model

abstract: We consider a one-dimensional variant of a recently introduced settlement planning problem in which houses can be built on finite portions of the rectangular integer lattice subject to certain requirements on the amount of insolation they receive. In our model, each house occupies a unit square on a $1 \times n$ strip, with the restriction that at least one of the neighboring squares must be free. We are interested mostly in situations in which no further building is possible, i.e. in maximal configurations of houses in the strip. We reinterpret the problem as a problem of restricted packing of vertices in a path graph and then apply the transfer matrix method in order to compute the bivariate generating functions for the sequences enumerating all maximal configurations of a given length with respect to the number of houses. This allows us to determine the asymptotic behavior of the enumerating sequences and to compute some interesting statistics. Along the way, we establish close connections between our maximal configurations and several other types of combinatorial objects, including restricted permutations and walks on certain small oriented graphs. In all cases we provide combinatorial proofs. We then generalize our results in several directions by considering multi-story houses, by varying the insolation restrictions, and, finally, by considering strips of width 2 and 3. At the end we comment on several possible directions of future research.


title: Impact of water vapor seeing on mid-infrared high-contrast imaging at ELT scale

abstract: The high-speed variability of the local water vapor content in the Earth atmosphere is a significant contributor to ground-based wavefront quality throughout the infrared domain. Unlike dry air, water vapor is highly chromatic, especially in the mid-infrared. This means that adaptive optics correction in the visible or near-infrared domain does not necessarily ensure a high wavefront quality at longer wavelengths. Here, we use literature measurements of water vapor seeing, and more recent infrared interferometric data from the Very Large Telescope Interferometer (VLTI), to evaluate the wavefront quality that will be delivered to the METIS mid-infrared camera and spectrograph for the Extremely Large Telescope (ELT), operating from 3 to 13 {\mu}m, after single-conjugate adaptive optics correction in the near-infrared. We discuss how the additional wavefront error due to water vapor seeing is expected to dominate the wavefront quality budget at N band (8-13 {\mu}m), and therefore to drive the performance of mid-infrared high-contrast imaging modes at ELT scale. Then we present how the METIS team is planning to mitigate the effect of water vapor seeing using focal-plane wavefront sensing techniques, and show with end-to-end simulations by how much the high-contrast imaging performance can be improved.


title: Evolved eclipsing binary systems in the Galactic bulge: Precise physical and orbital parameters of OGLE-BLG-ECL-305487 and OGLE-BLG-ECL-116218

abstract: Our goal is to determine, with high accuracy, the physical and orbital parameters of two double-lined eclipsing binary systems, where the components are two giant stars. We also aim to study the evolutionary status of the binaries, to derive the distances towards them by using a surface brightness-colour relation, and to compare these measurements with the measurements presented by the Gaia mission. In order to measure the physical and orbital parameters of the systems, we analysed the light curves and radial-velocity curves with the Wilson-Devinney code. We used V band and I-band photometry from the OGLE catalogue and near-infrared photometry obtained with the New Technology Telescope (NTT) equipped with the SOFI instrument. The spectroscopic data were collected with the HARPS spectrograph mounted at the ESO 3.6m telescope and the MIKE spectrograph mounted at the 6.5m Clay telescope. We present the first analysis of this kind for two evolved eclipsing binary systems from the OGLE catalogue: OGLE-BLG-ECL-305487 and OGLE-BLG-ECL-116218. The masses of the components of OGLE-BLG-ECL-305487 are $M_1$ = 1.059 $\pm$ 0.019 and $M_2$ = 0.991 $\pm$ 0.018 $M_\odot$, and the radii are $R_1$ = 19.27 $\pm$ 0.28 and $R_2$ = 29.99 $\pm$ 0.24 R$_\odot$. For OGLE-BLG-ECL-116218, the masses are $M_1$= 0.969 $\pm$ 0.012 and $M_2$= 0.983 $\pm$ 0.012 $M_\odot$, while the radii are $R_1$= 16.73 $\pm$ 0.28 and $R_2$= 22.06 $\pm$ 0.26 $R_\odot$. The evolutionary status of the systems is discussed based on the PARSEC and MIST isochrones. The ages of the systems were established to be between 7.3-10.9 Gyr for OGLE-BLG-ECL-305487 and around 10 Gyr for OGLE-BLG-ECL-116218. We also measured the distances to the binaries. For OGLE-BLG-ECL-305487, $d$= 7.80 $\pm$ 0.18 (stat.) $\pm$ 0.19 (syst.) kpc and for OGLE-BLG-ECL-116218, $d$= 7.57 $\pm$ 0.28 (stat.) $\pm$ 0.19 (syst.) kpc.


title: Molecular insights into the physics of poly(amidoamine)-dendrimer-based supercapacitors

abstract: Increasing the energy density in electric double layer capacitors (EDLCs), also known as supercapacitors, remains an active area of research. Specifically, there is a need to design and discover electrode and electrolyte materials with enhanced electrochemical storage capacity. Here, using fully atomistic molecular dynamics (MD) simulations, we investigate the performance of hyper-branched 'poly(amidoamine) (PAMAM)' dendrimer as an electrolyte and an electrode coating material in a graphene based supercapacitor. We investigate the performance of the capacitor using two different modeling approaches, namely the constant charge method (CCM) and the constant potential method (CPM). These simulations facilitated the direct calculation of the charge density, electrostatic potential and field, and hence the differential capacitance. We found that the presence of the dendrimer in the electrodes and the electrolyte increased the capacitance by about 65.25 % and 99.15 % respectively, compared to the bare graphene electrode based aqueous EDLCs. Further analysis revealed that these increases were due to the enhanced electrostatic screening and reorganization of the double layer structure of the dendrimer based electrolyte.


title: ALT: Boosting Deep Learning Performance by Breaking the Wall between Graph and Operator Level Optimizations

abstract: Deep learning models rely on highly optimized tensor libraries for efficient inference on heterogeneous hardware. Current deep compilers typically predetermine layouts of tensors and then optimize loops of operators. However, such unidirectional and one-off workflow strictly separates graph-level optimization and operator-level optimization into different system layers, missing opportunities for unified tuning. This paper proposes ALT, a compiler that performs joint graph- and operator-level optimizations for deep models. ALT provides a generic transformation module to manipulate layouts and loops with easy-to-use primitive functions. ALT further integrates an auto-tuning module that jointly optimizes graph-level data layouts and operator-level loops while guaranteeing efficiency. Experimental results show that ALT significantly outperforms state-of-the-art compilers (e.g., Ansor) in terms of both single operator performance (e.g., 1.5x speedup on average) and end-to-end inference performance (e.g., 1.4x speedup on average).


title: Modelling Cosmic Springs with Finsler and Generalised Finsler Geometries

abstract: We show that the equations of motion governing the dynamics of strings in a compact internal space can be written as dispersion relations, with a local speed that depends on the velocity and curvature of the string in the large dimensions. From a $(3+1)$-dimensional perspective these can be viewed as dispersion relations for waves propagating in the string interior and are analogous to those for current-carrying topological defects. This allows us to construct a unified framework with which to study and interpret the internal structure of various field-theoretic and fundamental string species, in a simple physically intuitive coordinate system, without the need for dimensional reduction or approximate effective actions. This, in turn, allows us to identify the precise conditions under which higher-dimensional strings and current-carrying defects are observationally indistinguishable, for macroscopic observers. Our approach naturally incorporates the description of so-called `cosmic springs', whose dynamics are expressed in terms of an effective Finsler geometry, for circular loops, or generalised Finsler geometry, for non-circular configurations. This demonstrates the importance of these novel geometric structures and their utility in modelling complex physical phenomena in cosmology and astrophysics.


title: SLAMs: Semantic Learning based Activation Map for Weakly Supervised Semantic Segmentation

abstract: Recent mainstream weakly-supervised semantic segmentation (WSSS) approaches mainly relies on image-level classification learning, which has limited representation capacity. In this paper, we propose a novel semantic learning based framework, named SLAMs (Semantic Learning based Activation Map), for WSSS.


title: MILD: Multimodal Interactive Latent Dynamics for Learning Human-Robot Interaction

abstract: Modeling interaction dynamics to generate robot trajectories that enable a robot to adapt and react to a human's actions and intentions is critical for efficient and effective collaborative Human-Robot Interactions (HRI). Learning from Demonstration (LfD) methods from Human-Human Interactions (HHI) have shown promising results, especially when coupled with representation learning techniques. However, such methods for learning HRI either do not scale well to high dimensional data or cannot accurately adapt to changing via-poses of the interacting partner. We propose Multimodal Interactive Latent Dynamics (MILD), a method that couples deep representation learning and probabilistic machine learning to address the problem of two-party physical HRIs. We learn the interaction dynamics from demonstrations, using Hidden Semi-Markov Models (HSMMs) to model the joint distribution of the interacting agents in the latent space of a Variational Autoencoder (VAE). Our experimental evaluations for learning HRI from HHI demonstrations show that MILD effectively captures the multimodality in the latent representations of HRI tasks, allowing us to decode the varying dynamics occurring in such tasks. Compared to related work, MILD generates more accurate trajectories for the controlled agent (robot) when conditioned on the observed agent's (human) trajectory. Notably, MILD can learn directly from camera-based pose estimations to generate trajectories, which we then map to a humanoid robot without the need for any additional training.


title: The central sheaf of a Grothendieck category

abstract: The center $Z(\mathcal{A})$ of an abelian category $\mathcal{A}$ is the endomorphism ring of the identity functor on that category. A localizing subcategory of a Grothendieck category $\mathcal{C}$ is said to be stable if it is stable under essential extensions. The set $\mathbf{L}^{st}(\mathcal{C})$ of stable localizing subcategories of $\mathcal{C}$ is partially ordered under reverse inclusion. We show $\mathcal{L} \mapsto Z(\mathcal{C}/\mathcal{L})$ defines a sheaf of commutative rings on $\mathbf{L}^{st}(\mathcal{C})$ with respect to finite coverings. When $\mathcal{C}$ is assumed to be locally noetherian, we also show that the sheaf condition holds for arbitrary coverings.


title: Five loop anomalous dimension of non-singlet quark currents in the RI' scheme

abstract: We construct the five loop anomalous dimensions of the basic fields in Quantum Chromodynamics in a linear covariant gauge in the modified Regularization Invariant (RI') scheme. Using these core results we also compute the four loop Green's function where the quark mass operator and vector current are separately inserted in a quark 2-point function. These are necessary for measurements of the same quantities on the lattice. The Green's functions are provided in both the modified Minimal Subtraction (MSbar) and RI' schemes. All the results are available for a general Lie group.


title: A phenomenological note on the missing $\rho_2$ meson

abstract: The $\rho_2$ meson is the missing isovector member of the meson nonet with the quantum numbers $J^{PC}=2^{--}$. It belongs to the class of $\rho$-mesons such as the vector meson $\rho(770)$, the excited vector $\rho(1700)$ and the tensor $\rho_3(1690)$. Yet, despite the rich experimental and theoretical studies for other $\rho$-meson states, no resonance that could be assigned to the $\rho_2$ meson has been measured. In this note, we present the results for the mass and dominant decay channels of the $\rho_2$ meson within the extended Linear Sigma Model.


title: Fast On-orbit Pulse Phase Estimation of X-ray Crab Pulsar for XNAV Flight Experiments

abstract: The recent flight experiments with Neutron Star Interior Composition Explorer (\textit{NICER}) and \textit{Insight}-Hard X-ray Modulation Telescope (\textit{Insight}-HXMT) have demonstrated the feasibility of X-ray pulsar-based navigation (XNAV) in the space. However, the current pulse phase estimation and navigation methods employed in the above flight experiments are computationally too expensive for handling the Crab pulsar data. To solve this problem, this paper proposes a fast algorithm of on-orbit estimating the pulse phase of Crab pulsar called X-ray pulsar navigaTion usIng on-orbiT pulsAr timiNg (XTITAN). The pulse phase propagation model for Crab pulsar data from \textit{Insight}-HXMT and \textit{NICER} are derived. When an exposure on the Crab pulsar is divided into several sub-exposures, we derive an on-orbit timing method to estimate the hyperparameters of the pulse phase propagation model. Moreover, XTITAN is improved by iteratively estimating the pulse phase and the position and velocity of satellite. When applied to the Crab pulsar data from \textit{NICER}, XTITAN is 58 times faster than the grid search method employed by \textit{NICER} experiment. When applied to the Crab pulsar data from \textit{Insight}-HXMT, XTITAN is 180 times faster than the Significance Enhancement of Pulse-profile with Orbit-dynamics (SEPO) which was employed in the flight experiments with \textit{Insight}-HXMT. Thus, XTITAN is computationally much efficient and has the potential to be employed for onboard computation.


title: Large deviations for the volume of $k$-nearest neighbor balls

abstract: This paper develops the large deviations theory for the point process associated with the Euclidean volume of $k$-nearest neighbor balls centered around the points of a homogeneous Poisson or a binomial point processes in the unit cube. Two different types of large deviation behaviors of such point processes are investigated. Our first result is the Donsker-Varadhan large deviation principle, under the assumption that the centering terms for the volume of $k$-nearest neighbor balls grow to infinity more slowly than those needed for Poisson convergence. Additionally, we also study large deviations based on the notion of $\mathcal M_0$-topology, which takes place when the centering terms tend to infinity sufficiently fast, compared to those for Poisson convergence. As applications of our main theorems, we discuss large deviations for the number of Poisson or binomial points of degree at most $k$ in a geometric graph in the dense regime.


title: Noise based on vortex structures in 2D and 3D

abstract: A new noise, based on vortex structures in 2D (point vortices) and 3D (vortex filaments), is introduced. It is defined as the scaling limit of a jump process which explores vortex structures and it can be defined in any domain, also with boundary. The link with Fractional Gaussian Fields and Kraichnan noise is discussed. The vortex noise is finally shown to be suitable for the investigation of the eddy dissipation produced by small scale turbulence.


title: Simulations of the isothermal collapse of magnetic rotating protostellar clouds

abstract: We investigate collapse of magnetic protostellar clouds of mass $10$ and $1 M_{\odot}$. The collapse is simulated numerically using the two-dimensional magnetohydrodynamic (MHD) code `Enlil'. The simulations show that protostellar clouds acquire a hierarchical structure by the end of the isothermal stage of collapse. Under the action of the electromagnetic force, the protostellar cloud takes the form of an oblate envelope with the half-thickness to radius ratio $Z/R \sim (0.20-0.95)$. A geometrically and optically thin primary disk with radius $0.2-0.7 R_0$ and $Z/R \sim (10^{-2}-10^{-1})$ forms inside the envelope, where $R_0$ is the initial radius of the cloud. Primary disks are the structures in magnetostatic equilibrium. They form when the initial magnetic energy of the cloud exceeds $20 \%$ of its gravitational energy. The mass of the primary disk is $30-80 \%$ of the initial mass of the cloud. The first hydrostatic core subsequently forms in the center of the primary disc. We discuss the role of primary disks in the further evolution of clouds, as well as possible observational appearance of the internal hierarchy of the collapsing cloud from the point of view of the features of the magnetic field geometry and the distribution of angular momentum at different levels of the hierarchy


title: Purcell and collection efficiency enhancement of single NV- center emission coupled to an asymmetric Tamm structure

abstract: The resonant modes associated with engineered photonic structures of different spatial-dimension are essential to obtain bright on-demand single photon sources for quantum technologies. Negatively-charged nitrogen-vacancy (NV-) center in diamond is proposed as an excellent single photon source at room temperature. The possible optical readout of spin states in diamond makes it a good candidate for spin-photon interface. However, the poor light collection, feeble zero-phonon line, low emission rate, and the presence of broad phonon-induced emission limits the use of NV- center in quantum technologies. Here, we present a feasible, easy to fabricate, asymmetric Tamm structure coupled with single NV- center to enhance the emission rate of zero phonon line (ZPL) with better light collection efficiency. The asymmetric Tamm structure shows dual resonant mode with one of the modes coinciding with NV- ZPL wavelength of 640 nm. The quality factor (Q-factor) of the mode is 140 which is far better than the Q-factor of conventional Tamm structure and hence, better field intensity localization. We achieve four times Purcell enhancement along with an enhanced light collection efficiency of five times at 640 nm. The proposed structure is useful for generating bright single photons using NV- center and an efficient spin-photon interface.


title: Hard Gate Knowledge Distillation -- Leverage Calibration for Robust and Reliable Language Model

abstract: In knowledge distillation, a student model is trained with supervisions from both knowledge from a teacher and observations drawn from a training data distribution. Knowledge of a teacher is considered a subject that holds inter-class relations which send a meaningful supervision to a student; hence, much effort has been put to find such knowledge to be distilled. In this paper, we explore a question that has been given little attention: "when to distill such knowledge." The question is answered in our work with the concept of model calibration; we view a teacher model not only as a source of knowledge but also as a gauge to detect miscalibration of a student. This simple and yet novel view leads to a hard gate knowledge distillation scheme that switches between learning from a teacher model and training data. We verify the gating mechanism in the context of natural language generation at both the token-level and the sentence-level. Empirical comparisons with strong baselines show that hard gate knowledge distillation not only improves model generalization, but also significantly lowers model calibration error.


title: Deterministic single photon source enabled by coherent superposition of Mie-scattering moments in a NV- center coupled dipolar antenna

abstract: Generation of an ultra-bright, deterministic, solid-state single photon source with high photon collection rate is an imperative requirement for quantum technologies. In this direction, various nanophotonic systems coupled with single quantum emitters are being implemented, but results in low decay rate enhancement and MHz photon collection rate. Here, we unravel coherent superposition of excited Mie-scattering moments in a dipolar antenna, coupled with a single nitrogen-vacancy (NV-) center, to achieve bright single photon source with GHz collection rate. Such balancing of Mie-scattering moments, especially higher-order multi-polar moments, provide strong forward light scattering with null backward scattering at the generalized Kerker condition. This results in strong field intensity localization that can be used to shape the emission from an embedded NV- center in the dipolar antenna. A relative decay rate enhancement of more than 300 times with collection efficiency exceeding 75% is achieved that result in photon collection rate of ~ 5 GHz. The calculated intensity-intensity correlation confirms bright single photon emission with enhanced rate and collection efficiency.


title: Robots-Dont-Cry: Understanding Falsely Anthropomorphic Utterances in Dialog Systems

abstract: Dialog systems are often designed or trained to output human-like responses. However, some responses may be impossible for a machine to truthfully say (e.g. "that movie made me cry"). Highly anthropomorphic responses might make users uncomfortable or implicitly deceive them into thinking they are interacting with a human. We collect human ratings on the feasibility of approximately 900 two-turn dialogs sampled from 9 diverse data sources. Ratings are for two hypothetical machine embodiments: a futuristic humanoid robot and a digital assistant. We find that for some data-sources commonly used to train dialog systems, 20-30% of utterances are not viewed as possible for a machine. Rating is marginally affected by machine embodiment. We explore qualitative and quantitative reasons for these ratings. Finally, we build classifiers and explore how modeling configuration might affect output permissibly, and discuss implications for building less falsely anthropomorphic dialog systems.


title: Speech Emotion Recognition via an Attentive Time-Frequency Neural Network

abstract: Spectrogram is commonly used as the input feature of deep neural networks to learn the high(er)-level time-frequency pattern of speech signal for speech emotion recognition (SER). \textcolor{black}{Generally, different emotions correspond to specific energy activations both within frequency bands and time frames on spectrogram, which indicates the frequency and time domains are both essential to represent the emotion for SER. However, recent spectrogram-based works mainly focus on modeling the long-term dependency in time domain, leading to these methods encountering the following two issues: (1) neglecting to model the emotion-related correlations within frequency domain during the time-frequency joint learning; (2) ignoring to capture the specific frequency bands associated with emotions.} To cope with the issues, we propose an attentive time-frequency neural network (ATFNN) for SER, including a time-frequency neural network (TFNN) and time-frequency attention. Specifically, aiming at the first issue, we design a TFNN with a frequency-domain encoder (F-Encoder) based on the Transformer encoder and a time-domain encoder (T-Encoder) based on the Bidirectional Long Short-Term Memory (Bi-LSTM). The F-Encoder and T-Encoder model the correlations within frequency bands and time frames, respectively, and they are embedded into a time-frequency joint learning strategy to obtain the time-frequency patterns for speech emotions. Moreover, to handle the second issue, we also adopt time-frequency attention with a frequency-attention network (F-Attention) and a time-attention network (T-Attention) to focus on the emotion-related frequency band ranges and time frame ranges, which can enhance the discriminability of speech emotion features.


title: Upgrade and commissioning of the ALICE muon spectrometer

abstract: ALICE (A Large Ion Collider Experiment) at the CERN Large Hadron Collider (LHC) is designed to study proton-proton and heavy-ion collisions at ultra-relativistic energies. The main goal of the experiment is to assess the properties of quark gluon plasma, a state of matter where quarks and gluons are de-confined, reached in extreme conditions of temperature and energy density. During the ongoing long shutdown 2 of LHC, ALICE is undergoing a major upgrade of its apparatus, in view of the LHC Run 3, scheduled to start in 2022. The upgrade will allow a new ambitious programme of high-precision measurements to be deployed. Moreover, the detectors will have to cope with an increased collision rate, which will go up to 50 kHz in Pb-Pb collisions. For the muon spectrometer (MS) ALICE is implementing new hardware and software solutions. The installation of a new vertex tracker, the Muon Forward Tracker (MFT), in the acceptance of the MS will improve present measurements and enable new ones. It will allow one to separate, for the first time in ALICE in the forward-rapidity region, the prompt and non-prompt contributions to the cross-sections of charmonia. The matching of the muon tracks reconstructed in the MFT with those in the MS will add vertexing capabilities covering a broad range of transverse momenta down to pT = 0 and will improve significantly the invariant mass resolution, allowing for a better separation of the J/psi and psi(2S) states. In addition, the front-end and readout electronics of the muon tracking system (cathode pad chambers) and of the muon identification system (resistive plate chambers) will be upgraded, in order to optimize the detector performance in the new running conditions. A detailed description of the MS upgrades, together with the results from the commissioning with cosmic rays and the first LHC beams, will be presented in this talk.


title: Structure-Unified M-Tree Coding Solver for MathWord Problem

abstract: As one of the challenging NLP tasks, designing math word problem (MWP) solvers has attracted increasing research attention for the past few years. In previous work, models designed by taking into account the properties of the binary tree structure of mathematical expressions at the output side have achieved better performance. However, the expressions corresponding to a MWP are often diverse (e.g., $n_1+n_2 \times n_3-n_4$, $n_3\times n_2-n_4+n_1$, etc.), and so are the corresponding binary trees, which creates difficulties in model learning due to the non-deterministic output space. In this paper, we propose the Structure-Unified M-Tree Coding Solver (SUMC-Solver), which applies a tree with any M branches (M-tree) to unify the output structures. To learn the M-tree, we use a mapping to convert the M-tree into the M-tree codes, where codes store the information of the paths from tree root to leaf nodes and the information of leaf nodes themselves, and then devise a Sequence-to-Code (seq2code) model to generate the codes. Experimental results on the widely used MAWPS and Math23K datasets have demonstrated that SUMC-Solver not only outperforms several state-of-the-art models under similar experimental settings but also performs much better under low-resource conditions.