title: 3D mapping of the Wolf-Rayet nebula M1-67: clues for post-common envelope evolution in massive stars

abstract: We present a 3D mapping of the Wolf-Rayet (WR) nebula M1-67 around WR124. We obtained high-resolution San Pedro M\'{a}rtir (SPM) Manchester Echelle Spectrograph (MES) observations along 17 long-slit positions covering all morphological features in M1-67. We are able to unveil the true morphology of M1-67 and its kinematics by interpreting the SPM MES observations by means of the 3D modelling tool for Astrophysics SHAPE. Our SHAPE model that best reproduces the SPM MES data includes three concentric bipolar structures composed by a hollow ellipsoidal structure and a torus. In addition, the model requires the presence of expanding jets and broken blisters in order to reproduce specific spectral features. Our results are consistent with the idea that M1-67 and its progenitor star WR124 have formed through a common envelope scenario that occurred 11.8$^{+4.6}_{-0.8}$ kyr ago. Our bipolar model strongly questions previous suggestions of the presence of a bow shock structure surrounding M1-67. We interpret that the bright structures detected in the spectra extracted from the central regions are produced by wind compression at the receding region of the innermost structure in M1-67. Furthermore, WR124 is moving through a low-density region above the Galactic plane that has negligibly affected the formation history of M1-67.


title: SimpleBERT: A Pre-trained Model That Learns to Generate Simple Words

abstract: Pre-trained models are widely used in the tasks of natural language processing nowadays. However, in the specific field of text simplification, the research on improving pre-trained models is still blank. In this work, we propose a continued pre-training method for text simplification. Specifically, we propose a new masked language modeling (MLM) mechanism, which does not randomly mask words but only masks simple words. The new mechanism can make the model learn to generate simple words. We use a small-scale simple text dataset for continued pre-training and employ two methods to identify simple words from the texts. We choose BERT, a representative pre-trained model, and continue pre-training it using our proposed method. Finally, we obtain SimpleBERT, which surpasses BERT in both lexical simplification and sentence simplification tasks and has achieved state-of-the-art results on multiple datasets. What's more, SimpleBERT can replace BERT in existing simplification models without modification.


title: Towards Lightweight Transformer via Group-wise Transformation for Vision-and-Language Tasks

abstract: Despite the exciting performance, Transformer is criticized for its excessive parameters and computation cost. However, compressing Transformer remains as an open problem due to its internal complexity of the layer designs, i.e., Multi-Head Attention (MHA) and Feed-Forward Network (FFN). To address this issue, we introduce Group-wise Transformation towards a universal yet lightweight Transformer for vision-and-language tasks, termed as LW-Transformer. LW-Transformer applies Group-wise Transformation to reduce both the parameters and computations of Transformer, while also preserving its two main properties, i.e., the efficient attention modeling on diverse subspaces of MHA, and the expanding-scaling feature transformation of FFN. We apply LW-Transformer to a set of Transformer-based networks, and quantitatively measure them on three vision-and-language tasks and six benchmark datasets. Experimental results show that while saving a large number of parameters and computations, LW-Transformer achieves very competitive performance against the original Transformer networks for vision-and-language tasks. To examine the generalization ability, we also apply our optimization strategy to a recently proposed image Transformer called Swin-Transformer for image classification, where the effectiveness can be also confirmed


title: Towards Unification of Discourse Annotation Frameworks

abstract: Discourse information is difficult to represent and annotate. Among the major frameworks for annotating discourse information, RST, PDTB and SDRT are widely discussed and used, each having its own theoretical foundation and focus. Corpora annotated under different frameworks vary considerably. To make better use of the existing discourse corpora and achieve the possible synergy of different frameworks, it is worthwhile to investigate the systematic relations between different frameworks and devise methods of unifying the frameworks. Although the issue of framework unification has been a topic of discussion for a long time, there is currently no comprehensive approach which considers unifying both discourse structure and discourse relations and evaluates the unified framework intrinsically and extrinsically. We plan to use automatic means for the unification task and evaluate the result with structural complexity and downstream tasks. We will also explore the application of the unified framework in multi-task learning and graphical models.


title: Multihop Optical Wireless Communication Over ${\cal{F}}$-Turbulence Channels and Generalized Pointing Errors with Fog-Induced Fading

abstract: Multihop relaying is a potential technique to mitigate channel impairments in optical wireless communications (OWC). In this paper, multiple fixed-gain amplify-and-forward (AF) relays are employed to enhance the OWC performance under the combined effect of atmospheric turbulence, pointing errors, and fog. We consider a long-range OWC link by modeling the atmospheric turbulence by the Fisher-Snedecor ${\cal{F}}$ distribution, pointing errors by the generalized non-zero boresight model, and random path loss due to fog. We also consider a short-range OWC system by ignoring the impact of atmospheric turbulence. We derive novel upper bounds on the probability density function (PDF) and cumulative distribution function (CDF) of the end-to-end signal-to-noise ratio (SNR) for both short and long-range multihop OWC systems by developing exact statistical results for a single-hop OWC system under the combined effect of ${\cal{F}}$-turbulence channels, non-zero boresight pointing errors, and fog-induced fading. Based on these expressions, we present analytical expressions of outage probability (OP) and average bit-error-rate (ABER) performance for the considered OWC systems involving single-variate Fox's H and Meijer's G functions. Moreover, asymptotic expressions of the outage probability in high SNR region are developed using simpler Gamma functions to provide insights on the effect of channel and system parameters. The derived analytical expressions are validated through Monte-Carlo simulations, and the scaling of the OWC performance with the number of relay nodes is demonstrated with a comparison to the single-hop transmission.


title: Cartan equivalence method on fifth-order differential operator

abstract: In this paper, we carry out the equivalence problem for fifth-order differential operators on the line under general fiber-preserving transformation using the Cartan method of equivalence. Two versions of equivalence problems have been solved. We consider the direct equivalence problem and an equivalence problem to determine the sufficient and necessary conditions on fifth-order differential operators such that there exists a fiber--preserving transformation mapping one to the other according to gauge equivalence.


title: The Irreducibility and Monogenicity of Power-Compositional Trinomials

abstract: A polynomial $f(x)\in {\mathbb Z}[x]$ of degree $N$ is called \emph{monogenic} if $f(x)$ is irreducible over ${\mathbb Q}$ and $\{1,\theta,\theta^2,\ldots ,\theta^{N-1}\}$ is a basis for the ring of integers of ${\mathbb Q}(\theta)$, where $f(\theta)=0$. Define ${\mathcal F}(x):=x^m+Ax^{m-1}+B$. In this article, we determine sets of conditions on $m$, $A$, and $B$, such that the power-compositional trinomial ${\mathcal F}(x^{p^n})$ is monogenic for all integers $n\ge 0$ and a given prime $p$. Furthermore, we prove the actual existence of infinite families of such trinomials ${\mathcal F}(x)$.


abstract: We study the Ohno-Zagier type relation for multiple $t$-values and multiple $t$-star values. We represent the generating function of sums of multiple $t$-(star) values with fixed weight, depth and height in terms of the generalized hypergeometric function $\,_3F_2$. As applications, we get a formula for the generating function of sums of multiple $t$-(star) values of maximal height and a weighted sum formula for sums of multiple $t$-(star) values with fixed weight and depth.


title: Approaching sales forecasting using recurrent neural networks and transformers

abstract: Accurate and fast demand forecast is one of the hot topics in supply chain for enabling the precise execution of the corresponding downstream processes (inbound and outbound planning, inventory placement, network planning, etc). We develop three alternatives to tackle the problem of forecasting the customer sales at day/store/item level using deep learning techniques and the Corporaci\'on Favorita data set, published as part of a Kaggle competition. Our empirical results show how good performance can be achieved by using a simple sequence to sequence architecture with minimal data preprocessing effort. Additionally, we describe a training trick for making the model more time independent and hence improving generalization over time. The proposed solution achieves a RMSLE of around 0.54, which is competitive with other more specific solutions to the problem proposed in the Kaggle competition.


title: Noncommutative spaces and superspaces from Snyder and Yang type models

abstract: The relativistic $D=4$ Snyder model is formulated in terms of $D=4$ $dS$ algebra $o(4,1)$ generators, with noncommutative Lorentz-invariant Snyder quantum space-time provided by $\frac{O(4,1)}{O(3,1)}$ coset generators. Analogously, in relativistic $D=4$ Yang models the quantum-deformed relativistic phase space is described by the algebras of coset generators $\frac{O(5,1)}{O(3,1)}$ or $\frac{O(4,2)}{O(3,1)}$. We extend these algebraic considerations by using respective $dS$ superalgebras, which provide Lorentz-covariant quantum superspaces (SUSY Snyder model) as well as relativistic quantum phase super spaces (SUSY Yang model).


title: A simple, passive design for large optical trap arrays for single atoms

abstract: We present an approach for trapping cold atoms in a 2D optical trap array generated with a novel 4f filtering scheme and custom transmission mask without any active device. The approach can be used to generate arrays of bright or dark traps, or both simultaneously with a single wavelength for forming two-species traps. We demonstrate the design by creating a 2D array of 1225 dark trap sites, where single Cs atoms are loaded into regions of near-zero intensity in an approximately Gaussian profile trap. Moreover, we demonstrate a simple solution to the problem of out-of-focus trapped atoms, which occurs due to the Talbot effect in periodic optical lattices. Using a high power yet low cost spectrally and spatially broadband laser, out-of-focus interference is mitigated, leading to near perfect removal of Talbot plane traps.


title: Contrastive Learning with Hard Negative Entities for Entity Set Expansion

abstract: Entity Set Expansion (ESE) is a promising task which aims to expand entities of the target semantic class described by a small seed entity set. Various NLP and IR applications will benefit from ESE due to its ability to discover knowledge. Although previous ESE methods have achieved great progress, most of them still lack the ability to handle hard negative entities (i.e., entities that are difficult to distinguish from the target entities), since two entities may or may not belong to the same semantic class based on different granularity levels we analyze on. To address this challenge, we devise an entity-level masked language model with contrastive learning to refine the representation of entities. In addition, we propose the ProbExpan, a novel probabilistic ESE framework utilizing the entity representation obtained by the aforementioned language model to expand entities. Extensive experiments and detailed analyses on three datasets show that our method outperforms previous state-of-the-art methods.


title: Wireless Semantic Communications for Video Conferencing

abstract: Video conferencing has become a popular mode of meeting even if it consumes considerable communication resources. Conventional video compression causes resolution reduction under limited bandwidth. Semantic video conferencing maintains high resolution by transmitting some keypoints to represent motions because the background is almost static, and the speakers do not change often. However, the study on the impact of the transmission errors on keypoints is limited. In this paper, we initially establish a basal semantic video conferencing (SVC) network, which dramatically reduces transmission resources while only losing detailed expressions. The transmission errors in SVC only lead to a changed expression, whereas those in the conventional methods destroy pixels directly. However, the conventional error detector, such as the cyclic redundancy check, cannot reflect the degree of expression changes. To overcome this issue, we develop an incremental redundancy hybrid automatic repeat-request (IR-HARQ) framework for the varying channels (SVC-HARQ) incorporating a novel semantic error detector. The SVC-HARQ has flexibility in bit consumption and achieves good performance. In addition, SVC-CSI is designed for channel state information (CSI) feedback to allocate the keypoint transmission and enhance the performance dramatically. Simulation shows that the proposed wireless semantic communication system can significantly improve the transmission efficiency.This work has been submitted to the IEEE for possible publication. Copyright may be transferred without notice, after which this version may no longer be accessible


title: UAMD-Net: A Unified Adaptive Multimodal Neural Network for Dense Depth Completion

abstract: Depth prediction is a critical problem in robotics applications especially autonomous driving. Generally, depth prediction based on binocular stereo matching and fusion of monocular image and laser point cloud are two mainstream methods. However, the former usually suffers from overfitting while building cost volume, and the latter has a limited generalization due to the lack of geometric constraint. To solve these problems, we propose a novel multimodal neural network, namely UAMD-Net, for dense depth completion based on fusion of binocular stereo matching and the weak constrain from the sparse point clouds. Specifically, the sparse point clouds are converted to sparse depth map and sent to the multimodal feature encoder (MFE) with binocular image, constructing a cross-modal cost volume. Then, it will be further processed by the multimodal feature aggregator (MFA) and the depth regression layer. Furthermore, the existing multimodal methods ignore the problem of modal dependence, that is, the network will not work when a certain modal input has a problem. Therefore, we propose a new training strategy called Modal-dropout which enables the network to be adaptively trained with multiple modal inputs and inference with specific modal inputs. Benefiting from the flexible network structure and adaptive training method, our proposed network can realize unified training under various modal input conditions. Comprehensive experiments conducted on KITTI depth completion benchmark demonstrate that our method produces robust results and outperforms other state-of-the-art methods.


title: Boson sampling cannot be faithfully simulated by only the lower-order multi-boson interferences

abstract: To simulate noisy boson sampling approximating it by only the lower-order multi-boson interferences (e.g., by a smaller number of interfering bosons and classical particles) is very popular idea. I show that the output data from any such classical simulations can be efficiently distinguished from that of the quantum device they try to simulate, even with finite noise in the latter. The distinguishing datasets can be the experimental estimates of some large probabilities, a wide class of such is presented. This is a sequel of \textit{Quantum} \textbf{5}, 423 (2021), where I present more accessible account of the main result enhanced by additional insight on the contribution from the higher-order multi-boson interferences in presence of noise.


title: Compressive Sensing-Based Recovery of Molecular Mixtures with Cross-Reactive Receptor Arrays

abstract: In this paper, we propose a novel concept for engineered molecular communication (MC) systems inspired by animal olfaction. We focus on a multi-user scenario where transmitters employ unique mixtures of different types of signaling molecules to convey their messages to a central receiver, which is equipped with an array comprising $R$ different types of receptors to detect the emitted molecule mixtures. The hardware complexity of an MC system employing \textit{orthogonal} molecule-receptor pairs would linearly scale with the number of signaling molecule types $Q$ (i.e., $R=Q$). Natural olfaction systems avoid such high complexity by employing arrays of \textit{cross-reactive} receptors, where each type of molecule activates multiple types of receptors and each type of receptor is predominantly activated by multiple types of molecules albeit with different activation strengths. For instance, the human olfactory system is believed to discriminate several thousands of chemicals using only a few hundred receptor types, i.e., $Q\gg R$. Motivated by this observation, we first develop an end-to-end MC channel model that accounts for the key properties of olfaction. Subsequently, we formulate the molecule mixture recovery as a convex compressive sensing (CS) problem which can be efficiently solved via available numerical solvers. Our simulation results confirm the efficiency of the proposed CS problem for the recovery of the molecular mixture signal and quantify the system performance for various system parameters.


title: Maximizing dimension for Bernoulli measures and the Gauss map

abstract: We give a short proof that there exists a countable state Bernoulli measure maximizing the dimension of their images under the continued fraction expansion.


title: Nested smoothing algorithms for inference and tracking of heterogeneous multi-scale state-space systems

abstract: Multi-scale problems, where variables of interest evolve in different time-scales and live in different state-spaces. can be found in many fields of science. Here, we introduce a new recursive methodology for Bayesian inference that aims at estimating the static parameters and tracking the dynamic variables of these kind of systems. Although the proposed approach works in rather general multi-scale systems, for clarity we analyze the case of a heterogeneous multi-scale model with 3 time-scales (static parameters, slow dynamic state variables and fast dynamic state variables). The proposed scheme, based on nested filtering methodology of P\'erez-Vieites et al. (2018), combines three intertwined layers of filtering techniques that approximate recursively the joint posterior probability distribution of the parameters and both sets of dynamic state variables given a sequence of partial and noisy observations. We explore the use of sequential Monte Carlo schemes in the first and second layers while we use an unscented Kalman filter to obtain a Gaussian approximation of the posterior probability distribution of the fast variables in the third layer. Some numerical results are presented for a stochastic two-scale Lorenz 96 model with unknown parameters.


title: Fuzzy-based Robust Precision Consensus Tracking for Uncertain Networked Systems with Cooperative-Antagonistic Interactions

abstract: In bipartite consensus tracking (BCT) tasks for nonlinear multiagent systems, stochastic disturbances and actuator faults are regarded as essential factors that hamper effective controller formulation and tracking precision improvement. To address these difficulties, we design an improved finitetime performance function (FTPF) for a fuzzy fault-tolerant distributed cooperative control scheme to achieve finite-time robust precision BCT tasks for nonlinear multiagent systems. The parameter selection range of the improved FTPF is relaxed, which renders systems to achieve better transient performance. Benefitting from stochastic Lyapunov stability theory, it is shown that all signals of systems are semi-global uniformly ultimately bounded in probability, and bipartite consensus errors can satisfy the arbitrary precision with probability in the predefined time. Finally, to verify its effectiveness, the proposed control scheme is applied to BCT tasks of a group of vehicles, which manifests anticipated control performance under various uncertainties.


title: Analytic expressions for the moving infinite line source model

abstract: Groundwater flow can have a significant impact on the thermal response of ground heat exchangers. The moving infinite line source model is thus widely used in practice as it considers both conductive and advective heat transfert processes. Solution of this model involves a relatively heavy numerical quadrature. Contrarily to the infinite line source model, there is currently no known first-order approximation that could be useful for many practical applications. In this paper, known analytical expressions of the Hantush well function and generalized incomplete gamma function are first revisited. A clear link between these functions and the moving infinite line source model is then established. Then, two new exact and integral-free analytical expressions are proposed, along with two new first-order approximations. The new analytical expressions proposed take the form of convergent power series involving no recursive evaluations. It is shown that relative errors less than 1% can be obtained with only a few summands. The convergence properties of the series, their accuracy and the validity domain of the first-order approximations are also presented and discussed.


title: The characterizing properties of (signless) Laplacian permanental polynomials of bicyclic graphs

abstract: Let $G$ be a graph with $n$ vertices, and let $L(G)$ and $Q(G)$ be the Laplacian matrix and signless Laplacian matrix of $G$, respectively. The polynomial $\pi(L(G);x)={\rm per}(xI-L(G))$ (resp. $\pi(Q(G);x)={\rm per}(xI-Q(G))$) is called {\em Laplacian permanental polynomial} (resp. {\em signless Laplacian permanental polynomial}) of $G$. In this paper, we show that two classes of bicyclic graphs are determined by their (signless) Laplacian permanental polynomials.


title: Scheduling Coflows for Minimizing the Total Weighted Completion Time in Heterogeneous Parallel Networks

abstract: Coflow is a network abstraction used to represent communication patterns in data centers. The coflow scheduling problem in large data centers is one of the most important $NP$-hard problems. Many previous studies on coflow scheduling mainly focus on the single-core model. However, with the growth of data centers, this single-core model is no longer sufficient. This paper considers the coflow scheduling problem in heterogeneous parallel networks. The heterogeneous parallel network is an architecture based on multiple network cores running in parallel. In this paper, two polynomial-time approximation algorithms are developed for scheduling divisible and indivisible coflows in heterogeneous parallel networks, respectively. Considering the divisible coflow scheduling problem, the proposed algorithm achieve an approximation ratio of $O(\log m/ \log \log m)$ with arbitrary release times, where $m$ is the number of network cores. On the other hand, when coflow is indivisible, the proposed algorithm achieve an approximation ratio of $O\left(m\left(\log m/ \log \log m\right)^2\right)$ with arbitrary release times.


title: Observation of the $Y(4230)$ and a new structure in $e^+e^- \rightarrow K^+K^-J/\psi$

abstract: The cross sections of $e^+e^- \rightarrow K^+K^-J/\psi$ at center-of-mass energies from 4.127 to 4.600~GeV are measured based on 15.6 fb$^{-1}$ data collected with the BESIII detector operating at the BEPCII storage ring. Two resonant structures are observed in the line shape of the cross sections. The mass and width of the first structure are measured to be ($4225.3\pm2.3\pm21.5$) MeV and ($72.9\pm6.1\pm30.8$)~MeV, respectively. They are consistent with those of the established $Y(4230)$. The second structure is observed for the first time with a statistical significance greater than 8$\sigma$, denoted as $Y(4500)$. Its mass and width are determined to be ($4484.7\pm13.3\pm24.1$) MeV and ($111.1\pm30.1\pm15.2$) MeV, respectively. The first presented uncertainties are statistical and the second ones are systematic. The product of the electronic partial width with the decay branching fraction $ \Gamma(Y(4230)\to e^+ e^-) \mathcal{B}(Y(4230) \to K^+ K^- J/\psi)$ is reported.


title: Magnetic properties of triangular lattice antiferromagnets Ba3RB9O18 (R = Yb, Er)

abstract: Frustration, spin correlations and interplay between competing degrees of freedom are some of the key ingredients that underlie exotic states with fractional excitations in quantum materials. Rare-earth based two dimensional magnetic lattice wherein crystal electric field, spin-orbit coupling, anisotropy and electron correlation between rare-earth moments offer a new paradigm in this context. Herein, we present crystal structure, magnetic susceptibility and specific heat accompanied by crystal electric field calculations on the polycrystalline sample of Ba3RB9O18 (R = Yb, Er) in which R3+ ions form a perfect triangular lattice without anti-site disorder. The localized R3+ spins show neither long-range order nor spin-glass state down to 1.9 K in Ba3RB9O18. Magnetization data reveal a pseudospin Jeff = 1/2 ( Yb3+) in the Kramers doublet state and a weak antiferromagnetic interaction between Jeff = 1/2 moments in the Yb variant. On the other hand, the effective moment {\mu}eff = 8.8 {\mu}B was obtained from the Curie-Weiss fit of the low-temperature susceptibility data of Er variant suggests the admixture of higher crystal electric field states with the ground state. The Curie-Weiss fit of low-temperature susceptibility data for Er system unveils the presence of a relatively strong antiferromagnetic interaction between Er3+ moments compared to its Yb3+ analog. Ba3ErB9O18 does not show long-range magnetic ordering down to 500 mK. Furthermore, our crystal electric field calculations based on magnetization data of Ba3ErB9O18 suggest the presence of a small gap between the ground and first excited Kramers doublets. The broad maximum around 4 K in magnetic specific heat in zero-field is attributed to the thermal population of the first CEF excited state in Ba3ErB9O18, which is consistent with our CEF calculations.


title: Neutrino dipole portal at electron colliders

abstract: We propose to search for a heavy neutral lepton (HNL), that is also know as sterile neutrino, in electron colliders running with the center-of-mass energies at few GeV, including BESIII, Belle II, and the proposed Super Tau Charm Factory (STCF). We consider the HNL interacting with Standard Model neutrino and photon via a transition magnetic moment, the so-called dipole portal.We use the monophoton signature at electron colliders to probe the constraints on the active-sterile neutrino transition magnetic moments $d$ as the function of the HNL's mass $m_N$.It is found that BESIII, Belle II and STCF can probe the upper limits for $d$ down to 1.3 $\times 10^{-5}\ {\rm GeV}^{-1}$, 8 $\times 10^{-6}\ {\rm GeV}^{-1}$, and 1.3 $\times 10^{-6}\ {\rm GeV}^{-1}$ with $m_N$ around GeV scale, respectively, and have sensitivity to the previously unexplored parameter space for electron- ($d_e$) and tau-neutrino ($d_\tau$) dipole portal with $m_N$ from dozens to thounsands MeV. On $d_\mu$ for HNL mixing with the {muon}-neutrino, Belle II and STCF can also provide leading constraints.


title: Logical Inference for Counting on Semi-structured Tables

abstract: Recently, the Natural Language Inference (NLI) task has been studied for semi-structured tables that do not have a strict format. Although neural approaches have achieved high performance in various types of NLI, including NLI between semi-structured tables and texts, they still have difficulty in performing a numerical type of inference, such as counting. To handle a numerical type of inference, we propose a logical inference system for reasoning between semi-structured tables and texts. We use logical representations as meaning representations for tables and texts and use model checking to handle a numerical type of inference between texts and tables. To evaluate the extent to which our system can perform inference with numerical comparatives, we make an evaluation protocol that focuses on numerical understanding between semi-structured tables and texts in English. We show that our system can more robustly perform inference between tables and texts that requires numerical understanding compared with current neural approaches.


title: Learning to Classify Open Intent via Soft Labeling and Manifold Mixup

abstract: Open intent classification is a practical yet challenging task in dialogue systems. Its objective is to accurately classify samples of known intents while at the same time detecting those of open (unknown) intents. Existing methods usually use outlier detection algorithms combined with K-class classifier to detect open intents, where K represents the class number of known intents. Different from them, in this paper, we consider another way without using outlier detection algorithms. Specifically, we directly train a (K+1)-class classifier for open intent classification, where the (K+1)-th class represents open intents. To address the challenge that training a (K+1)-class classifier with training samples of only K classes, we propose a deep model based on Soft Labeling and Manifold Mixup (SLMM). In our method, soft labeling is used to reshape the label distribution of the known intent samples, aiming at reducing model's overconfident on known intents. Manifold mixup is used to generate pseudo samples for open intents, aiming at well optimizing the decision boundary of open intents. Experiments on four benchmark datasets demonstrate that our method outperforms previous methods and achieves state-of-the-art performance. All the code and data of this work can be obtained at https://github.com/zifengcheng/SLMM.


title: Universal Solution Manifold Networks (USM-Nets): non-intrusive mesh-free surrogate models for problems in variable domains

abstract: We introduce Universal Solution Manifold Network (USM-Net), a novel surrogate model, based on Artificial Neural Networks (ANNs), which applies to differential problems whose solution depends on physical and geometrical parameters. Our method employs a mesh-less architecture, thus overcoming the limitations associated with image segmentation and mesh generation required by traditional discretization methods. Indeed, we encode geometrical variability through scalar landmarks, such as coordinates of points of interest. In biomedical applications, these landmarks can be inexpensively processed from clinical images. Our approach is non-intrusive and modular, as we select a data-driven loss function. The latter can also be modified by considering additional constraints, thus leveraging available physical knowledge. Our approach can also accommodate a universal coordinate system, which supports the USM-Net in learning the correspondence between points belonging to different geometries, boosting prediction accuracy on unobserved geometries. Finally, we present two numerical test cases in computational fluid dynamics involving variable Reynolds numbers as well as computational domains of variable shape. The results show that our method allows for inexpensive but accurate approximations of velocity and pressure, avoiding computationally expensive image segmentation, mesh generation, or re-training for every new instance of physical parameters and shape of the domain.


title: Softened sp2-sp3 bonding network leads to strong anharmonicity and weak hydrodynamics in graphene+

abstract: Graphene+, a novel carbon monolayer with sp2-sp3 hybridization, is recently reported to exhibit graphene-like Dirac properties and unprecedented out-of-plane half-auxetic behavior [Yu et al, Cell Reports Physical Science, 3 100790 (2022)]. Herein, from comprehensively state-of-the-art first-principles studies, we report the exceptional lattice thermal transport properties of graphene+ driven by the unique sp2-sp3 crystal configuration. At room temperature, the thermal conductivity of graphene+ is calculated to be ~170 W/mK, which is much lower than that of graphene (~3170 W/mK) Despite the buckling structure, weak phonon scattering phase space is trapped in graphene+. Thus, the reduction in thermal conductivity magnitude stems from soft bonding due to the unique sp2-sp3 crystal configuration. Soft bonding suppresses the vibrations of acoustic phonons, which leads to strong anharmonicity and weak phonon hydrodynamics. Further, lower group velocity, relaxation time and smaller phonon mean free path emerge in graphene+, and the significantly decreased thermal conductivity is achieved. Our study provides fundamental physical insights into the thermal transport properties of graphene+, and it serves as an ideal model to study atomic bonding versus thermal transport properties due to weak scattering phase space.


title: Deformation of rigid Galois representations and cohomology of certain quaternionic unitary Shimura variety

abstract: In this article, we use deformation theory of Galois representations valued in the symplectic group of degree four to prove a freeness result for the cohomology of certain quaternionic unitary Shimura variety over the universal deformation ring for certain type of residual representation satisfying a property called rigidity. This result plays an important role in the proof of the arithmetic level raising theorem for the symplectic similitude group of degree four over the field of rational numbers by the author.


title: A Multi-Faceted Study of Nematic Order Reconstruction in Microfluidic Channels

abstract: We study order reconstruction (OR) solutions in the Beris-Edwards framework for nematodynamics, for both passive and active nematic flows in a microfluidic channel. OR solutions exhibit polydomains and domain walls, and as such, are of physical interest. We show that OR solutions exist for passive flows with constant velocity and pressure, but only for specific boundary conditions. We prove the existence of unique, symmetric and non-singular nematic profiles, for boundary conditions that do not allow for OR solutions. We compute asymptotic expansions for OR-type solutions for passive flows with non-constant velocity and pressure, and active flows, which shed light into the internal structure of domain walls. The asymptotics are complemented by extensive numerical studies that demonstrate the universality of OR-type structures in static and dynamic scenarios.


title: Internal lipid bilayer friction coefficient from equilibrium canonical simulations

abstract: A fundamental result in the theory of Brownian motion is the Einstein-Sutherland relation between mobility and diffusion constant. Any classical linear response transport coefficient obeys a similar Einstein-Helfand relation. We show in this work how to derive the interleaflet friction coefficient of lipid bilayer by means of an adequate generalisation of the Einstein relation. Special attention must be paid in practical cases to the constraints on the system center of mass position that must be enforced when coupling the system to thermostat.


title: An iterative data-driven turbulence modeling framework based on Reynolds stress representation

abstract: Data-driven turbulence modeling studies have reached such a stage that the fundamental framework is basically settled, but several essential issues remain that strongly affect the performance, including accuracy, smoothness, and generalization capacity. Two problems are studied in the current research: (1) the processing of the Reynolds stress tensor and (2) the coupling method between the machine learning turbulence model and flow solver. The first determines the form of predicting targets and the resulting physical completeness and interpretability. The second determines the training process and intrinsic relevance between the mean flow features and Reynolds stress. For the Reynolds stress processing issue, we perform the theoretical derivation to extend the relevant tensor arguments of Reynolds stress in addition to the strain rate and rotation rate. Then, the tensor representation theorem is employed to give the complete irreducible invariants and integrity basis. In addition, an adaptive regularization term is employed to enhance the representation performance. For the coupling issue, an iterative coupling data-driven turbulence modeling framework with consistent convergence is proposed. The training data preparation, predicting target selection, and computation platform are illustrated. The framework is then applied to a canonical separated flow for verification. The mean flow results obtained by coupling computation of the trained machine learning model and flow solver have high consistency with the direct numerical simulation true values, which proves the validity of the current approach.


title: Enhanced Prediction of Three-dimensional Finite Iced Wing Separated Flow Near Stall

abstract: Icing on three-dimensional wings causes severe flow separation near stall. Standard improved delayed detached eddy simulation (IDDES) is unable to correctly predict the separating reattaching flow due to its inability to accurately resolve the Kelvin-Helmholtz instability. In this study, a shear layer adapted subgrid length scale is applied to enhance the IDDES prediction of the flow around a finite NACA (National Advisory Committee for Aeronautics) 0012 wing with leading edge horn ice. It is found that applying the new length scale contributes to a more accurate prediction of the separated shear layer (SSL). The reattachment occurs earlier as one moves towards either end of the wing due to the downwash effect of the wing tip vortex or the influence of end-wall flow. Consequently, the computed surface pressure distributions agree well with the experimental measurements. In contrast, standard IDDES severely elongates surface pressure plateaus. For instantaneous flow, the new length scale helps correctly resolve the rollup and subsequent pairing of vortical structures due to its small values in the initial SSL. The computed Strouhal numbers of vortical motions are approximately 0.2 in the initial SSL based on the vorticity thickness and 0.1 around the reattachment based on the separation bubble length. Both frequencies increase when moving towards the wing tip due to the downwash effect of the tip vortex. In comparison, the excessive eddy viscosity levels from the standard IDDES severely delay the rollup of spanwise structures and give rise to "overcoherent" structures.


title: Two-path interference in the resonance-enhanced few-photon ionization of atoms

abstract: We investigate the resonance-enhanced few-photon ionization of atomic lithium by linearly polarized light whose frequency is tuned near the 2s-2p transition. Considering the direction of light polarization orthogonal to the quantization axis, the process can be viewed as an atomic "double-slit experiment" where the 2p states with magnetic quantum numbers m_l=+-1 act as the slits. In our experiment, we can virtually close one of the two slits by preparing lithium in one of the two circularly polarized 2p states before subjecting it to the ionizing radiation. This allows us to extract the interference term between the two pathways and obtain complex phase information on the final state. The experimental results show very good agreement with numerical solutions of the time-dependent Schroedinger equation. The validity of the two-slit model is also analyzed theoretically using a time-dependent perturbative approach.


title: Homology of weighted path complexes and directed hypergraphs

abstract: We introduce the weighted path homology on the category of weigh\-ted directed hypergraphs and describe conditions of homotopy invariance of weighted path homology groups. We give several examples that explain the nontriviality of the introduced notions.


title: Stable laws for random dynamical systems

abstract: In this paper we consider random dynamical systems formed by concatenating maps acting on the unit interval $[0,1]$ in an iid fashion. Considered as a stationary Markov process, the random dynamical system possesses a unique stationary measure $\nu$. We consider a class of non square-integrable observables $\phi$, mostly of form $\phi(x)=d(x,x_0)^{-\frac{1}{\alpha}}$ where $x_0$ is non-periodic point satisfying some other genericity conditions, and more generally regularly varying observables with index $\alpha \in (0,2)$. The two types of maps we concatenate are a class of piecewise $C^2$ expanding maps, and a class of intermittent maps possessing an indifferent fixed point at the origin. Under conditions on the dynamics and $\alpha$ we establish Poisson limit laws, convergence of scaled Birkhoff sums to a stable limit law and functional stable limit laws, in both the annealed and quenched case. The scaling constants for the limit laws for almost every quenched realization are the same as those of the annealed case and determined by $\nu$. This is in contrast to the scalings in quenched central limit theorems where the centering constants depend in a critical way upon the realization and are not the same for almost every realization.


title: Physically Interpretable Feature Learning and Inverse Design of Supercritical Airfoils

abstract: Machine-learning models have demonstrated a great ability to learn complex patterns and make predictions. In high-dimensional nonlinear problems of fluid dynamics, data representation often greatly affects the performance and interpretability of machine learning algorithms. With the increasing application of machine learning in fluid dynamics studies, the need for physically explainable models continues to grow. This paper proposes a feature learning algorithm based on variational autoencoders, which is able to assign physical features to some latent variables of the variational autoencoder. In addition, it is theoretically proved that the remaining latent variables are independent of the physical features. The proposed algorithm is trained to include shock wave features in its latent variables for the reconstruction of supercritical pressure distributions. The reconstruction accuracy and physical interpretability are also compared with those of other variational autoencoders. Then, the proposed algorithm is used for the inverse design of supercritical airfoils, which enables the generation of airfoil geometries based on physical features rather than the complete pressure distributions. It also demonstrates the ability to manipulate certain pressure distribution features of the airfoil without changing the others.


title: $2^{1296}$ Exponentially Complex Quantum Many-Body Simulation via Scalable Deep Learning Method

abstract: For decades, people are developing efficient numerical methods for solving the challenging quantum many-body problem, whose Hilbert space grows exponentially with the size of the problem. However, this journey is far from over, as previous methods all have serious limitations. The recently developed deep learning methods provide a very promising new route to solve the long-standing quantum many-body problems. We report that a deep learning based simulation protocol can achieve the solution with state-of-the-art precision in the Hilbert space as large as $2^{1296}$ for spin system and $3^{144}$ for fermion system , using a HPC-AI hybrid framework on the new Sunway supercomputer. With highly scalability up to 40 million heterogeneous cores, our applications have measured 94% weak scaling efficiency and 72% strong scaling efficiency. The accomplishment of this work opens the door to simulate spin models and Fermion models on unprecedented lattice size with extreme high precision.

categories: quant-ph cond-mat.dis-nn cond-mat.str-el physics.comp-ph


title: A topological construction of families of Galois covers of the line

abstract: We describe a new construction of families of Galois coverings of the line using basic properties of configuration spaces, covering theory, and the Grauert-Remmert Extension Theorem. Our construction provides an alternative to a previous construction due to Gonz\'alez-D\'{i}ez and Harvey (which uses Teichm\"uller theory and Fuchsian groups) and, in the case the Galois group is non-abelian, corrects an inaccuracy therein.


title: Graph-incorporated Latent Factor Analysis for High-dimensional and Sparse Matrices

abstract: A High-dimensional and sparse (HiDS) matrix is frequently encountered in a big data-related application like an e-commerce system or a social network services system. To perform highly accurate representation learning on it is of great significance owing to the great desire of extracting latent knowledge and patterns from it. Latent factor analysis (LFA), which represents an HiDS matrix by learning the low-rank embeddings based on its observed entries only, is one of the most effective and efficient approaches to this issue. However, most existing LFA-based models perform such embeddings on a HiDS matrix directly without exploiting its hidden graph structures, thereby resulting in accuracy loss. To address this issue, this paper proposes a graph-incorporated latent factor analysis (GLFA) model. It adopts two-fold ideas: 1) a graph is constructed for identifying the hidden high-order interaction (HOI) among nodes described by an HiDS matrix, and 2) a recurrent LFA structure is carefully designed with the incorporation of HOI, thereby improving the representa-tion learning ability of a resultant model. Experimental results on three real-world datasets demonstrate that GLFA outperforms six state-of-the-art models in predicting the missing data of an HiDS matrix, which evidently supports its strong representation learning ability to HiDS data.


title: A Multi-Metric Latent Factor Model for Analyzing High-Dimensional and Sparse data

abstract: High-dimensional and sparse (HiDS) matrices are omnipresent in a variety of big data-related applications. Latent factor analysis (LFA) is a typical representation learning method that extracts useful yet latent knowledge from HiDS matrices via low-rank approximation. Current LFA-based models mainly focus on a single-metric representation, where the representation strategy designed for the approximation Loss function, is fixed and exclusive. However, real-world HiDS matrices are commonly heterogeneous and inclusive and have diverse underlying patterns, such that a single-metric representation is most likely to yield inferior performance. Motivated by this, we in this paper propose a multi-metric latent factor (MMLF) model. Its main idea is two-fold: 1) two vector spaces and three Lp-norms are simultaneously employed to develop six variants of LFA model, each of which resides in a unique metric representation space, and 2) all the variants are ensembled with a tailored, self-adaptive weighting strategy. As such, our proposed MMLF enjoys the merits originated from a set of disparate metric spaces all at once, achieving the comprehensive and unbiased representation of HiDS matrices. Theoretical study guarantees that MMLF attains a performance gain. Extensive experiments on eight real-world HiDS datasets, spanning a wide range of industrial and science domains, verify that our MMLF significantly outperforms ten state-of-the-art, shallow and deep counterparts.


title: FCL-GAN: A Lightweight and Real-Time Baseline for Unsupervised Blind Image Deblurring

abstract: Blind image deblurring (BID) remains a challenging and significant task. Benefiting from the strong fitting ability of deep learning, paired data-driven supervised BID method has obtained great progress. However, paired data are usually synthesized by hand, and the realistic blurs are more complex than synthetic ones, which makes the supervised methods inept at modeling realistic blurs and hinders their real-world applications. As such, unsupervised deep BID method without paired data offers certain advantages, but current methods still suffer from some drawbacks, e.g., bulky model size, long inference time, and strict image resolution and domain requirements. In this paper, we propose a lightweight and real-time unsupervised BID baseline, termed Frequency-domain Contrastive Loss Constrained Lightweight CycleGAN (shortly, FCL-GAN), with attractive properties, i.e., no image domain limitation, no image resolution limitation, 25x lighter than SOTA, and 5x faster than SOTA. To guarantee the lightweight property and performance superiority, two new collaboration units called lightweight domain conversion unit(LDCU) and parameter-free frequency-domain contrastive unit(PFCU) are designed. LDCU mainly implements inter-domain conversion in lightweight manner. PFCU further explores the similarity measure, external difference and internal connection between the blurred domain and sharp domain images in frequency domain, without involving extra parameters. Extensive experiments on several image datasets demonstrate the effectiveness of our FCL-GAN in terms of performance, model size and reference time.


title: Detection of Small Holes by the Scale-Invariant Robust Density-Aware Distance (RDAD) Filtration

abstract: A novel topological-data-analytical (TDA) method is proposed to distinguish, from noise, small holes surrounded by high-density regions of a probability density function. The proposed method is robust against additive noise and outliers. Traditional TDA tools, like those based on the distance filtration, often struggle to distinguish small features from noise, because both have short persistences. An alternative filtration, called the Robust Density-Aware Distance (RDAD) filtration, is proposed to prolong the persistences of small holes of high-density regions. This is achieved by weighting the distance function by the density in the sense of Bell et al. The concept of distance-to-measure is incorporated to enhance stability and mitigate noise. The persistence-prolonging property and robustness of the proposed filtration are rigorously established, and numerical experiments are presented to demonstrate the proposed filtration's utility in identifying small holes.


title: Construction of Exact Solutions to Nahm's Equations for the Multimonopole

abstract: We construct high rank solutions to Nahm's equations for boundary conditions that correspond to the Dirac multimonopole. Here, the spectral curve is explicitly known and we achieve the integration by constructing a basis of polynomial tuples that forms a frame for the flow of the eigenline bundle over the curve.


title: Nonlinear Continuous Semimartingales

abstract: In this paper we study a family of nonlinear (conditional) expectations that can be understood as a continuous semimartingale with uncertain local characteristics. Here, the differential characteristics are prescribed by a set-valued function that depends on time and path in a non-Markovian way. We provide a dynamic programming principle for the nonlinear expectation and we link the corresponding value function to a variational form of a nonlinear path-dependent partial differential equation. In particular, we establish conditions that allow us to identify the value function as the unique viscosity solution. Furthermore, we prove that the nonlinear expectation solves a nonlinear martingale problem, which confirms our interpretation as a nonlinear semimartingale.


title: Few-Shot Transfer Learning to improve Chest X-Ray pathology detection using limited triplets

abstract: Deep learning approaches applied to medical imaging have reached near-human or better-than-human performance on many diagnostic tasks. For instance, the CheXpert competition on detecting pathologies in chest x-rays has shown excellent multi-class classification performance. However, training and validating deep learning models require extensive collections of images and still produce false inferences, as identified by a human-in-the-loop. In this paper, we introduce a practical approach to improve the predictions of a pre-trained model through Few-Shot Learning (FSL). After training and validating a model, a small number of false inference images are collected to retrain the model using \textbf{\textit{Image Triplets}} - a false positive or false negative, a true positive, and a true negative. The retrained FSL model produces considerable gains in performance with only a few epochs and few images. In addition, FSL opens rapid retraining opportunities for human-in-the-loop systems, where a radiologist can relabel false inferences, and the model can be quickly retrained. We compare our retrained model performance with existing FSL approaches in medical imaging that train and evaluate models at once.


title: Symmetry-breaking and bifurcation diagrams of fractional-order maps

abstract: In this paper two important aspects related to Caputo fractional-order discrete variant of a class of maps defined on the complex plane, are analytically and numerically revealed: attractors symmetry-broken induced by the fractional-order and the sensible problem of determining the right bifurcation diagram of discrete systems of fractional-order. It is proved that maps of integer order with dihedral symmetry or cycle symmetry loose their symmetry once they are transformed in fractional-order maps. Also, it is conjectured that, contrarily to integer-order maps, determining the bifurcation diagrams of fractional-order maps is far from being a clarified problem. Two examples are considered: dihedral logistic map and cyclic logistic map.


title: Beyond L1: Faster and Better Sparse Models with skglm

abstract: We propose a new fast algorithm to estimate any sparse generalized linear model with convex or non-convex separable penalties. Our algorithm is able to solve problems with millions of samples and features in seconds, by relying on coordinate descent, working sets and Anderson acceleration. It handles previously unaddressed models, and is extensively shown to improve state-of-art algorithms. We provide a flexible, scikit-learn compatible package, which easily handles customized datafits and penalties.


title: Local treewidth of random and noisy graphs with applications to stopping contagion in networks

abstract: We study the notion of local treewidth in sparse random graphs: the maximum treewidth over all $k$-vertex subgraphs of an $n$-vertex graph. When $k$ is not too large, we give nearly tight bounds for this local treewidth parameter; we also derive tight bounds for the local treewidth of noisy trees, trees where every non-edge is added independently with small probability. We apply our upper bounds on the local treewidth to obtain fixed parameter tractable algorithms (on random graphs and noisy trees) for edge-removal problems centered around containing a contagious process evolving over a network. In these problems, our main parameter of study is $k$, the number of initially ``infected'' vertices in the network. For the random graph models we consider and a certain range of parameters the running time of our algorithms on $n$-vertex graphs is $2^{o(k)}\textrm{poly}(n)$, improving upon the $2^{\Omega(k)}\textrm{poly}(n)$ performance of the best-known algorithms designed for worst-case instances of these edge deletion problems.


title: Time kink: modeling change of metric signature

abstract: The model of a signature change of a metric from the Lorenztian to Euclidean one with the use of a time dependent kink as $g_{00}$ component of the metric is considered. The metric which describes the continuous change of the signature of this type on a hypersurface is constructed and corresponding Einstein equations are solved in both regions of the space-time. The discontinuities of the Einstein tensor components on the hypersurface are discussed as well as junction conditions for the parameters of the solutions. Additionally, the properties of a transition from the space-time with one signature to an another are discussed, the presence of an inflation in the model is demonstrated as a consequence of the signature change without any additional fields required.


title: Efficient and ultra-stable perovskite light-emitting diodes

abstract: Perovskite light-emitting diodes (PeLEDs) have emerged as a strong contender for next-generation display and information technologies. However, similar to perovskite solar cells, the poor operational stability remains the main obstacle toward commercial applications. Here we demonstrate ultra-stable and efficient PeLEDs with extraordinary operational lifetimes (T50) of 1.0x10^4 h, 2.8x10^4 h, 5.4x10^5 h, and 1.9x10^6 h at initial radiance (or current densities) of 3.7 W/sr/m2 (~5 mA/cm2), 2.1 W/sr/m2 (~3.2 mA/cm2), 0.42 W/sr/m2 (~1.1 mA/cm2), and 0.21 W/sr/m2 (~0.7 mA/cm2) respectively, and external quantum efficiencies of up to 22.8%. Key to this breakthrough is the introduction of a dipolar molecular stabilizer, which serves two critical roles simultaneously. First, it prevents the detrimental transformation and decomposition of the alpha-phase FAPbI3 perovskite, by inhibiting the formation of lead and iodide intermediates. Secondly, hysteresis-free device operation and microscopic luminescence imaging experiments reveal substantially suppressed ion migration in the emissive perovskite. The record-long PeLED lifespans are encouraging, as they now satisfy the stability requirement for commercial organic LEDs (OLEDs). These results remove the critical concern that halide perovskite devices may be intrinsically unstable, paving the path toward industrial applications.

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


title: Riemannian optimization using three different metrics for Hermitian PSD fixed-rank constraints: an extended version

abstract: For smooth optimization problems with a Hermitian positive semi-definite fixed-rank constraint, we consider three existing approaches including the simple Burer--Monteiro method, and Riemannian optimization over quotient geometry and the embedded geometry. These three methods can be all represented via quotient geometry with three Riemannian metrics $g^i(\cdot, \cdot)$ $(i=1,2,3)$. By taking the nonlinear conjugate gradient method (CG) as an example, we show that CG in the factor-based Burer--Monteiro approach is equivalent to Riemannian CG on the quotient geometry with the Bures-Wasserstein metric $g^1$. Riemannian CG on the quotient geometry with the metric $g^3$ is equivalent to Riemannian CG on the embedded geometry. For comparing the three approaches, we analyze the condition number of the Riemannian Hessian near the minimizer under the three different metrics. Under certain assumptions, the condition number from the Bures-Wasserstein metric $g^1$ is significantly different from the other two metrics. Numerical experiments show that the Burer--Monteiro CG method has obviously slower asymptotic convergence rate when the minimizer is rank deficient, which is consistent with the condition number analysis.


title: Common best proximity point theorems under proximal $F$-weak dominance in complete metric spaces

abstract: Suppose that $S_1$ and $S_2$ are nonempty subsets of a complete metric space $(\mathcal{M},d)$ and $\phi,\psi:S_1\to S_2$ are mappings. The aim of this work is to investigate some conditions on $\phi$ and $\psi$ such that the two functions, one that assigns to each $x\in S_1$ exactly $d(x,\phi x)$ and the other that assigns to each $x\in S_1$ exactly $d(x,\psi x)$, attain the global minimum value at the same point in $S_1$. We have introduced the notion of proximally $F$-weakly dominated pair of mappings and proved two theorems that guarantee the existence of such a point. Our work is an improvement of earlier work in this direction. We have also provided examples in which our results are applicable, but the earlier results are not applicable.


title: A Contrastive Cross-Channel Data Augmentation Framework for Aspect-based Sentiment Analysis

abstract: Aspect-based sentiment analysis (ABSA) is a fine-grained sentiment analysis task, which focuses on detecting the sentiment polarity towards the aspect in a sentence. However, it is always sensitive to the multi-aspect challenge, where features of multiple aspects in a sentence will affect each other. To mitigate this issue, we design a novel training framework, called Contrastive Cross-Channel Data Augmentation (C3 DA), which leverages an in-domain generator to construct more multi-aspect samples and then boosts the robustness of ABSA models via contrastive learning on these generated data. In practice, given a generative pretrained language model and some limited ABSA labeled data, we first employ some parameter-efficient approaches to perform the in-domain fine-tuning. Then, the obtained in-domain generator is used to generate the synthetic sentences from two channels, i.e., Aspect Augmentation Channel and Polarity Augmentation Channel, which generate the sentence condition on a given aspect and polarity respectively. Specifically, our C3 DA performs the sentence generation in a cross-channel manner to obtain more sentences, and proposes an Entropy-Minimization Filter to filter low-quality generated samples. Extensive experiments show that our C3 DA can outperform those baselines without any augmentations by about 1% on accuracy and Macro- F1. Code and data are released in https://github.com/wangbing1416/C3DA.


title: Optimizing differential equations to fit data and predict outcomes

abstract: Many scientific problems focus on observed patterns of change or on how to design a system to achieve particular dynamics. Those problems often require fitting differential equation models to target trajectories. Fitting such models can be difficult because each evaluation of the fit must calculate the distance between the model and target patterns at numerous points along a trajectory. The gradient of the fit with respect to the model parameters can be challenging. Recent technical advances in automatic differentiation through numerical differential equation solvers potentially change the fitting process into a relatively easy problem, opening up new possibilities to study dynamics. However, application of the new tools to real data may fail to achieve a good fit. This article illustrates how to overcome a variety of common challenges, using the classic ecological data for oscillations in hare and lynx populations. Models include simple ordinary differential equations (ODEs) and neural ordinary differential equations (NODEs), which use artificial neural networks to estimate the derivatives of differential equation systems. Comparing the fits obtained with ODEs versus NODEs, representing small and large parameter spaces, and changing the number of variable dimensions provide insight into the geometry of the observed and model trajectories. To analyze the quality of the models for predicting future observations, a Bayesian-inspired preconditioned stochastic gradient Langevin dynamics (pSGLD) calculation of the posterior distribution of predicted model trajectories clarifies the tendency for various models to underfit or overfit the data. Coupling fitted differential equation systems with pSGLD sampling provides a powerful way to study the properties of optimization surfaces, raising an analogy with mutation-selection dynamics on fitness landscapes.


title: Bridging Cross-Lingual Gaps During Leveraging the Multilingual Sequence-to-Sequence Pretraining for Text Generation and Understanding

abstract: For multilingual sequence-to-sequence pretrained language models (multilingual Seq2Seq PLMs), e.g. mBART, the self-supervised pretraining task is trained on a wide range of monolingual languages, e.g. 25 languages from CommonCrawl, while the downstream cross-lingual tasks generally progress on a bilingual language subset, e.g. English-German, making there exists the data discrepancy, namely domain discrepancy, and cross-lingual learning objective discrepancy, namely task discrepancy, between the pretraining and finetuning stages. To bridge the above cross-lingual domain and task gaps, we extend the vanilla pretrain-finetune pipeline with extra code-switching restore task. Specifically, the first stage employs the self-supervised code-switching restore task as a pretext task, allowing the multilingual Seq2Seq PLMs to acquire some in-domain alignment information. And for the second stage, we fine-tune the model on downstream data normally. Experiments on both NLG evaluation (12 bilingual translation tasks, 30 zero-shot translation tasks, and 2 cross-lingual summarization tasks) and NLU evaluation (7 cross-lingual natural language inference tasks) show our model outperforms the strong baseline mBART with standard finetuning strategy, consistently. Analyses indicate our approach could narrow the Euclidean distance of cross-lingual sentence representations, and improve the model generalization with trivial computational cost. We release the code at: https://github.com/zanchangtong/CSR4mBART.


title: What If: Generating Code to Answer Simulation Questions

abstract: Many texts, especially in chemistry and biology, describe complex processes. We focus on texts that describe a chemical reaction process and questions that ask about the process's outcome under different environmental conditions. To answer questions about such processes, one needs to understand the interactions between the different entities involved in the process and to simulate their state transitions during the process execution under different conditions. A state transition is defined as the memory modification the program does to the variables during the execution. We hypothesize that generating code and executing it to simulate the process will allow answering such questions. We, therefore, define a domain-specific language (DSL) to represent processes. We contribute to the community a unique dataset curated by chemists and annotated by computer scientists. The dataset is composed of process texts, simulation questions, and their corresponding computer codes represented by the DSL.We propose a neural program synthesis approach based on reinforcement learning with a novel state-transition semantic reward. The novel reward is based on the run-time semantic similarity between the predicted code and the reference code. This allows simulating complex process transitions and thus answering simulation questions. Our approach yields a significant boost in accuracy for simulation questions: 88\% accuracy as opposed to 83\% accuracy of the state-of-the-art neural program synthesis approaches and 54\% accuracy of state-of-the-art end-to-end text-based approaches.


title: Near-real-time estimates of daily CO2 emissions from 1500 cities worldwide

abstract: Building on near-real-time and spatially explicit estimates of daily carbon dioxide (CO2) emissions, here we present and analyze a new city-level dataset of fossil fuel and cement emissions. Carbon Monitor Cities provides daily, city-level estimates of emissions from January 2019 through December 2021 for 1500 cities in 46 countries, and disaggregates five sectors: power generation, residential (buildings), industry, ground transportation, and aviation. The goal of this dataset is to improve the timeliness and temporal resolution of city-level emission inventories and includes estimates for both functional urban areas and city administrative areas that are consistent with global and regional totals. Comparisons with other datasets (i.e. CEADs, MEIC, Vulcan, and CDP) were performed, and we estimate the overall uncertainty to be 21.7%. Carbon Monitor Cities is a near-real-time, city-level emission dataset that includes cities around the world, including the first estimates for many cities in low-income countries. A more complete description of this dataset is published in Scientific Data (https://doi.org/10.1038/s41597-022-01657-z).


title: BLISS: Robust Sequence-to-Sequence Learning via Self-Supervised Input Representation

abstract: Data augmentations (DA) are the cores to achieving robust sequence-to-sequence learning on various natural language processing (NLP) tasks. However, most of the DA approaches force the decoder to make predictions conditioned on the perturbed input representation, underutilizing supervised information provided by perturbed input. In this work, we propose a framework-level robust sequence-to-sequence learning approach, named BLISS, via self-supervised input representation, which has the great potential to complement the data-level augmentation approaches. The key idea is to supervise the sequence-to-sequence framework with both the \textit{supervised} ("input$\rightarrow$output") and \textit{self-supervised} ("perturbed input$\rightarrow$input") information. We conduct comprehensive experiments to validate the effectiveness of BLISS on various tasks, including machine translation, grammatical error correction, and text summarization. The results show that BLISS outperforms significantly the vanilla Transformer and consistently works well across tasks than the other five contrastive baselines. Extensive analyses reveal that BLISS learns robust representations and rich linguistic knowledge, confirming our claim. Source code will be released upon publication.


title: Endomorphisms of semigroups of monotone transformations

abstract: In this paper, we characterize the monoid of endomorphisms of the semigroup of all monotone full transformations of a finite chain, as well as the monoids of endomorphisms of the semigroup of all monotone partial transformations and of the semigroup of all monotone partial permutations of a finite chain.


title: Dependence Logics in Temporal Settings

abstract: Many forms of dependence manifest themselves over time, with behavior of variables in dynamical systems as a paradigmatic example. This paper studies temporal dependence in dynamical systems from a logical perspective, by enriching a minimal modal base logic of static functional dependencies. We first introduce a logic for dynamical systems featuring temporalized variables, provide a complete axiomatic proof calculus, and show that its satisfiability problem is decidable. Then, to capture explicit reasoning about dynamic transition functions, we enhance the framework with function symbols and term identity. Next we combine temporalized variables with a modality for next-time truth from standard temporal logic, where modal correspondence analysis reveals the principles needed for a complete and decidable logic of timed dynamical systems supporting reductions between the two ways of referring to time. Our final result is an axiomatization of a general decidable logic of dependencies in arbitrary dynamical systems. We conclude with a brief outlook on how the systems introduced here mesh with richer temporal logics of system behavior, and with dynamic topological logic.


title: A Robust and Scalable Attention Guided Deep Learning Framework for Movement Quality Assessment

abstract: Physical rehabilitation programs frequently begin with a brief stay in the hospital and continue with home-based rehabilitation. Lack of feedback on exercise correctness is a significant issue in home-based rehabilitation. Automated movement quality assessment (MQA) using skeletal movement data (hereafter referred to as skeletal data) collected via depth imaging devices can assist with home-based rehabilitation by providing the necessary quantitative feedback. This paper aims to use recent advances in deep learning to address the problem of MQA. Movement quality score generation is an essential component of MQA. We propose three novel skeletal data augmentation schemes. We show that using the proposed augmentations for generating movement quality scores result in significant performance boosts over existing methods. Finally, we propose a novel transformer based architecture for MQA. Four novel feature extractors are proposed and studied that allow the transformer network to operate on skeletal data. We show that adding the attention mechanism in the design of the proposed feature extractor allows the transformer network to pay attention to specific body parts that make a significant contribution towards executing a movement. We report an improvement in movement quality score prediction of 12% on UI-PRMD dataset and 21% on KIMORE dataset compared to the existing methods.


title: Multi-Modal Few-Shot Object Detection with Meta-Learning-Based Cross-Modal Prompting

abstract: We study multi-modal few-shot object detection (FSOD) in this paper, using both few-shot visual examples and class semantic information for detection, which are complementary to each other by definition. Most of the previous works on multi-modal FSOD are fine-tuning-based which are inefficient for online applications. Moreover, these methods usually require expertise like class names to extract class semantic embedding, which are hard to get for rare classes. Our approach is motivated by the high-level conceptual similarity of (metric-based) meta-learning and prompt-based learning to learn generalizable few-shot and zero-shot object detection models respectively without fine-tuning. Specifically, we combine the few-shot visual classifier and text classifier learned via meta-learning and prompt-based learning respectively to build the multi-modal classifier and detection models. In addition, to fully exploit the pre-trained language models, we propose meta-learning-based cross-modal prompting to generate soft prompts for novel classes present in few-shot visual examples, which are then used to learn the text classifier. Knowledge distillation is introduced to learn the soft prompt generator without using human prior knowledge of class names, which may not be available for rare classes. Our insight is that the few-shot support images naturally include related context information and semantics of the class. We comprehensively evaluate the proposed multi-modal FSOD models on multiple few-shot object detection benchmarks, achieving promising results.


title: A New Feasibility Condition for the AT4 Family

abstract: Let $\Gamma$ be an antipodal distance-regular graph with diameter $4$ and eigenvalues $\theta_0>\theta_1>\theta_2>\theta_3>\theta_4$. Then $\Gamma$ is tight in the sense of Juri\v{s}i\'{c}, Koolen, and Terwilliger [12] whenever $\Gamma$ is locally strongly regular with nontrivial eigenvalues $p:=\theta_2$ and $-q:=\theta_3$. Assume that $\Gamma$ is tight. Then the intersection numbers of $\Gamma$ are expressed in terms of $p$, $q$, and $r$, where $r$ is the size of the antipodal classes of $\Gamma$. We denote $\Gamma$ by $\mathrm{AT4}(p,q,r)$ and call this an antipodal tight graph of diameter $4$ with parameters $p,q,r$. In this paper, we give a new feasibility condition for the $\mathrm{AT4}(p,q,r)$ family. We determine a necessary and sufficient condition for the second subconstituent of $\mathrm{AT4}(p,q,2)$ to be an antipodal tight graph. Using this condition, we prove that there does not exist $\mathrm{AT4}(q^3-2q,q,2)$ for $q\equiv3$ $(\mathrm{mod}~4)$. We discuss the $\mathrm{AT4}(p,q,r)$ graphs with $r=(p+q^3)(p+q)^{-1}$.


title: Degenerate r-Whitney numbers and degenerate r-Dowling polynomials via Boson operators

abstract: Dowling showed that the Whitney numbers of the first kind and of the second kind satisfy Stirling number-like relations. Recently, Kim-Kim introduced the degenerate r-Whitney numbers of the first kind and of the second kind, as degenerate versions and further generalizations of the Whitney numbers of both kinds. The normal ordering of an integral power of the number operator in terms of boson operators is expressed with the help of the Stirling numbers of the second kind. In this paper, it is noted that the normal ordering of a certain quantity involving the number operator is expressed in terms of the degenerate r-Whitney numbers of the second kind. We derive some properties, recurrence relations, orthogonality relations and several identities on those numbers from such normal ordering. In addition, we consider the degenerate r-Dowling polynomials as a natural extension of the degenerate r-Whitney numbers of the second kind and investigate their properties.


title: Enhancement of the $\textbf{W}$ boson mass in the Georgi-Machacek model

abstract: The recent CDF-II measurement of the mass of the $W$ boson shows a significant tension with the Standard Model (SM) expectation, even when averaged with earlier measurements. The tension can be explained in the framework of any beyond-SM dynamics that contributes substantially to the oblique $S$ and $T$ parameters. As a typical example of such beyond-SM physics, we try to explain the tension in the framework of the Georgi-Machacek model that keeps $\rho=1$ at the tree-level, and explore the parameter space that can accommodate the $W$ mass shift. We find that a sizeable split between the custodial triplet and 5-plet of scalars can help alleviate the tension to a large extent, and raise the $W$-mass by about 30 MeV over its SM value.


title: Shape-guided Object Inpainting

abstract: Previous works on image inpainting mainly focus on inpainting background or partially missing objects, while the problem of inpainting an entire missing object remains unexplored. This work studies a new image inpainting task, i.e. shape-guided object inpainting. Given an incomplete input image, the goal is to fill in the hole by generating an object based on the context and implicit guidance given by the hole shape. Since previous methods for image inpainting are mainly designed for background inpainting, they are not suitable for this task. Therefore, we propose a new data preparation method and a novel Contextual Object Generator (CogNet) for the object inpainting task. On the data side, we incorporate object priors into training data by using object instances as holes. The CogNet has a two-stream architecture that combines the standard bottom-up image completion process with a top-down object generation process. A predictive class embedding module bridges the two streams by predicting the class of the missing object from the bottom-up features, from which a semantic object map is derived as the input of the top-down stream. Experiments demonstrate that the proposed method can generate realistic objects that fit the context in terms of both visual appearance and semantic meanings. Code can be found at the project page \url{https://zengxianyu.github.io/objpaint}


title: On Safety Testing, Validation, and Characterization with Scenario-Sampling: A Case Study of Legged Robots

abstract: The dynamic response of the legged robot locomotion is non-Lipschitz and can be stochastic due to environmental uncertainties. To test, validate, and characterize the safety performance of legged robots, existing solutions on observed and inferred risk can be incomplete and sampling inefficient. Some formal verification methods suffer from the model precision and other surrogate assumptions. In this paper, we propose a scenario sampling based testing framework that characterizes the overall safety performance of a legged robot by specifying (i) where (in terms of a set of states) the robot is potentially safe, and (ii) how safe the robot is within the specified set. The framework can also help certify the commercial deployment of the legged robot in real-world environment along with human and compare safety performance among legged robots with different mechanical structures and dynamic properties. The proposed framework is further deployed to evaluate a group of state-of-the-art legged robot locomotion controllers from various model-based, deep neural network involved, and reinforcement learning based methods in the literature. Among a series of intended work domains of the studied legged robots (e.g. tracking speed on sloped surface, with abrupt changes on demanded velocity, and against adversarial push-over disturbances), we show that the method can adequately capture the overall safety characterization and the subtle performance insights. Many of the observed safety outcomes, to the best of our knowledge, have never been reported by the existing work in the legged robot literature.


title: On the analysis of the tin-inside-H3S M\"ossbauer experiment

abstract: A simple analysis is presented of the particular experiment used to prove the bulk nature of very-high-Tc superconductivity in H3S compound under ultra-high pressure. In the experiment, an internal magnetic field was sensed by the synchrotron M\"ossbauer spectroscopy in tin placed inside the H2S sample. The experiment showed peculiar anisotropy with respect to the direction of the applied field at first sight. By considering actual experimental geometries and parameters of the experiment, we show that this particular observation is consistent with the expectations for a regular type-II superconductor with Meissner expulsion and pinning.


title: STRATA: Word Boundaries & Phoneme Recognition From Continuous Urdu Speech using Transfer Learning, Attention, & Data Augmentation

abstract: Phoneme recognition is a largely unsolved problem in NLP, especially for low-resource languages like Urdu. The systems that try to extract the phonemes from audio speech require hand-labeled phonetic transcriptions. This requires expert linguists to annotate speech data with its relevant phonetic representation which is both an expensive and a tedious task. In this paper, we propose STRATA, a framework for supervised phoneme recognition that overcomes the data scarcity issue for low resource languages using a seq2seq neural architecture integrated with transfer learning, attention mechanism, and data augmentation. STRATA employs transfer learning to reduce the network loss in half. It uses attention mechanism for word boundaries and frame alignment detection which further reduces the network loss by 4% and is able to identify the word boundaries with 92.2% accuracy. STRATA uses various data augmentation techniques to further reduce the loss by 1.5% and is more robust towards new signals both in terms of generalization and accuracy. STRATA is able to achieve a Phoneme Error Rate of 16.5% and improves upon the state of the art by 1.1% for TIMIT dataset (English) and 11.5% for CSaLT dataset (Urdu).


title: Shift Invariant Algebras, Segre Products and Regular Languages

abstract: Motivated by results on the rationality of equivariant Hilbert series of some hierarchical models in algebraic statistics we introduce the Segre product of formal languages and apply it to establish rationality of equivariant Hilbert series in new cases. To this end we show that the Segre product of two regular languages is again regular. We also prove that every filtration of algebras given as a tensor product of families of algebras with rational equivariant Hilbert series has a rational equivariant Hilbert series. The term equivariant is used broadly to include the action of the monoid of nonnegative integers by shifting variables. Furthermore, we exhibit a filtration of shift invariant monomial algebras that has a rational equivariant Hilbert series, but whose presentation ideals do not stabilize.


title: Multi-organ Segmentation Network with Adversarial Performance Validator

abstract: CT organ segmentation on computed tomography (CT) images becomes a significant brick for modern medical image analysis, supporting clinic workflows in multiple domains. Previous segmentation methods include 2D convolution neural networks (CNN) based approaches, fed by CT image slices that lack the structural knowledge in axial view, and 3D CNN-based methods with the expensive computation cost in multi-organ segmentation applications. This paper introduces an adversarial performance validation network into a 2D-to-3D segmentation framework. The classifier and performance validator competition contribute to accurate segmentation results via back-propagation. The proposed network organically converts the 2D-coarse result to 3D high-quality segmentation masks in a coarse-to-fine manner, allowing joint optimization to improve segmentation accuracy. Besides, the structural information of one specific organ is depicted by a statistics-meaningful prior bounding box, which is transformed into a global feature leveraging the learning process in 3D fine segmentation. The experiments on the NIH pancreas segmentation dataset demonstrate the proposed network achieves state-of-the-art accuracy on small organ segmentation and outperforms the previous best. High accuracy is also reported on multi-organ segmentation in a dataset collected by ourselves.


title: COVIBOT: A Smart Chatbot for Assistance and E-Awareness during COVID-19 Pandemic

abstract: The coronavirus pandemic has spread over the past two years in our highly connected and information-dense society. Nonetheless, disseminating accurate and up-to-date information on the spread of this pandemic remains a challenge. In this context, opting for a solution based on conversational artificial intelligence, also known under the name of the chatbot, is proving to be an unavoidable solution, especially since it has already shown its effectiveness in fighting the coronavirus crisis in several countries. This work proposes to design and implement a smart chatbot on the theme of COVID-19, called COVIBOT, which will be useful in the context of Saudi Arabia. COVIBOT is a generative-based contextual chatbot, which is built using machine learning APIs that are offered by the cloud-based Azure Cognitive Services. Two versions of COVIBOT are offered: English and Arabic versions. Use cases of COVIBOT are tested and validated using a scenario-based approach.


title: Traffic-Aware Mean-Field Power Allocation for Ultra-Dense NB-IoT Networks

abstract: The Narrowband Internet of Things (NB-IoT) is a cellular technology introduced by the Third Generation Partnership Project (3GPP) to provide connectivity to a large number of low-cost IoT devices with strict energy consumption limitations. However, in an ultra-dense small cell network employing NB-IoT technology, inter-cell interference can be a problem, raising serious concerns regarding the performance of NB-IoT, particularly in uplink transmission. Thus, a power allocation method must be established to analyze uplink performance, control and predict inter-cell interference, and avoid excessive energy waste during transmission. Unfortunately, standard power allocation techniques become inappropriate as their computational complexity grows in an ultra-dense environment. Furthermore, the performance of NB-IoT is strongly dependent on the traffic generated by IoT devices. In order to tackle these challenges, we provide a consistent and distributed uplink power allocation solution under spatiotemporal fluctuation incorporating NB-IoT features such as the number of repetitions and the data rate, as well as the IoT device's energy budget, packet size, and traffic intensity, by leveraging stochastic geometry analysis and Mean-Field Game (MFG) theory. The effectiveness of our approach is illustrated via extensive numerical analysis, and many insightful discussions are presented.


title: nigam@COLIEE-22: Legal Case Retrieval and Entailment using Cascading of Lexical and Semantic-based models

abstract: This paper describes our submission to the Competition on Legal Information Extraction/Entailment 2022 (COLIEE-2022) workshop on case law competition for tasks 1 and 2. Task 1 is a legal case retrieval task, which involves reading a new case and extracting supporting cases from the provided case law corpus to support the decision. Task 2 is the legal case entailment task, which involves the identification of a paragraph from existing cases that entails the decision in a relevant case. We employed the neural models Sentence-BERT and Sent2Vec for semantic understanding and the traditional retrieval model BM25 for exact matching in both tasks. As a result, our team ("nigam") ranked 5th among all the teams in Tasks 1 and 2. Experimental results indicate that the traditional retrieval model BM25 still outperforms neural network-based models.


title: IIFNet: A Fusion based Intelligent Service for Noisy Preamble Detection in 6G

abstract: In this article, we present our vision of preamble detection in a physical random access channel for next-generation (Next-G) networks using machine learning techniques. Preamble detection is performed to maintain communication and synchronization between devices of the Internet of Everything (IoE) and next-generation nodes. Considering the scalability and traffic density, Next-G networks have to deal with preambles corrupted by noise due to channel characteristics or environmental constraints. We show that when injecting 15% random noise, the detection performance degrades to 48%. We propose an informative instance-based fusion network (IIFNet) to cope with random noise and to improve detection performance, simultaneously. A novel sampling strategy for selecting informative instances from feature spaces has also been explored to improve detection performance. The proposed IIFNet is tested on a real dataset for preamble detection that was collected with the help of a reputable commercial company.


title: Towards a Deeper Understanding of Skeleton-based Gait Recognition

abstract: Gait recognition is a promising biometric with unique properties for identifying individuals from a long distance by their walking patterns. In recent years, most gait recognition methods used the person's silhouette to extract the gait features. However, silhouette images can lose fine-grained spatial information, suffer from (self) occlusion, and be challenging to obtain in real-world scenarios. Furthermore, these silhouettes also contain other visual clues that are not actual gait features and can be used for identification, but also to fool the system. Model-based methods do not suffer from these problems and are able to represent the temporal motion of body joints, which are actual gait features. The advances in human pose estimation started a new era for model-based gait recognition with skeleton-based gait recognition. In this work, we propose an approach based on Graph Convolutional Networks (GCNs) that combines higher-order inputs, and residual networks to an efficient architecture for gait recognition. Extensive experiments on the two popular gait datasets, CASIA-B and OUMVLP-Pose, show a massive improvement (3x) of the state-of-the-art (SotA) on the largest gait dataset OUMVLP-Pose and strong temporal modeling capabilities. Finally, we visualize our method to understand skeleton-based gait recognition better and to show that we model real gait features.


title: Optimal Learning Rates for Regularized Least-Squares with a Fourier Capacity Condition

abstract: We derive minimax adaptive rates for a new, broad class of Tikhonov-regularized learning problems in Hilbert scales under general source conditions. Our analysis does not require the regression function to be contained in the hypothesis class, and most notably does not employ the conventional \textit{a priori} assumptions on kernel eigendecay. Using the theory of interpolation, we demonstrate that the spectrum of the Mercer operator can be inferred in the presence of ``tight'' $L^{\infty}(\mathcal{X})$ embeddings of suitable Hilbert scales. Our analysis utilizes a new Fourier isocapacitary condition, which captures the interplay of the kernel Dirichlet capacities and small ball probabilities via the optimal Hilbert scale function.


title: Flux roughening in spin ice with mixed $\pm J$ interactions

abstract: Spin ice presents a typical example of classical spin liquid, where conserved magnetic fluxes emerge from microscopic spin degrees of freedom. In this letter, we investigate the effect of perturbation by magnetic charge disorder in two-dimensional spin ice. To this aim, we develop a novel cluster update algorithm, which enables fast relaxation of magnetic charges. The efficient Monte Carlo calculation reveals a drastic change of spin structure factor as doping magnetic charges: the pinch point, characterizing the spin ice, is gradually replaced by a diffusive peak. We derive an analytical relation connecting the flux fluctuation and the spin structure factor, and explain the evolution of diffusive peak in terms of the roughening of magnetic fluxes.


title: Mirror symmetry for quadric hypersurfaces

abstract: We compute Przyjalkowski-Shramov's resolution of the Calabi-Yau compactification of Givental's mirror Landau-Ginzburg model of the quadric hypersurfaces. We deduce the Picard-Fuchs equation for the narrow periods, which mirror the ambient quantum cohomology of quadric hypersurfaces. Then by an indirect approach using the irreducibility of the narrow Picard-Fuchs operator we deduce the Picard-Fuchs equation of the broad period, which mirrors the quantum cohomology of quadric hypersurfaces involving primitive cohomology classes. The result suggests a natural choice of the opposite space in Barannikov's construction of Frobenius manifolds. Finally, we show an isomorphism between the Frobenius manifolds associated with the quantum cohomology of a quadric hypersurface and its mirror Landau-Ginzburg model.


title: The THDMa and possible $e^+e^-$ signatures

abstract: I here discuss the THDMa, a type II two Higgs doublet model that is enhanced by an additional pseudoscalar which serves as a portal to the dark matter sector containing a fermionic dark matter andidate. I present a recent scan of the models parameter space where all parameters are allowed to float freely, and discuss prospects for this model at future $e^+e^-$ colliders for cases that are not covered in standard THDM searches.


title: Spectrum for some Quantum Markov semigroups describing $N$-particle systems evolving under a binary collision mechanism

abstract: We compute the spectrum for a class of quantum Markov semigroups describing systems of $N$ particle interacting through a binary collision mechanism. These quantum Markov semgroups are associated to a novel kind of quantum random walk on graphs, with the graph structure arising naturally in the quantization of the classical Kac model, and we show that the spectrum of the generator of the quantum Markov semigroup is closely related to the spectrum of the Laplacian on the corresponding graph. For the direct analog of the original classical Kac model, we determine the exact spectral gap for the quantum generator. We also give a new and simple method for studying the spectrum of certain graph Laplacians.


title: Feynman Checkers with Absorption

abstract: We give a new elementary proof of the theorem by Ambainis et al. that for a quantum walk, the probability amplitudes of absorption at the initial point after 4n steps are proportional to the Catalan numbers. We also calculate the absorption probabilities at points close to the initial one for the first time.


title: GHM Wavelet Transform for Deep Image Super Resolution

abstract: The GHM multi-level discrete wavelet transform is proposed as preprocessing for image super resolution with convolutional neural networks. Previous works perform analysis with the Haar wavelet only. In this work, 37 single-level wavelets are experimentally analyzed from Haar, Daubechies, Biorthogonal, Reverse Biorthogonal, Coiflets, and Symlets wavelet families. All single-level wavelets report similar results indicating that the convolutional neural network is invariant to choice of wavelet in a single-level filter approach. However, the GHM multi-level wavelet achieves higher quality reconstructions than the single-level wavelets. Three large data sets are used for the experiments: DIV2K, a dataset of textures, and a dataset of satellite images. The approximate high resolution images are compared using seven objective error measurements. A convolutional neural network based approach using wavelet transformed images has good results in the literature.


title: ZeroIn: Characterizing the Data Distributions of Commits in Software Repositories

abstract: Modern software development is based on a series of rapid incremental changes collaboratively made to large source code repositories by developers with varying experience and expertise levels. The ZeroIn project is aimed at analyzing the metadata of these dynamic phenomena, including the data on repositories, commits, and developers, to rapidly and accurately mark the quality of commits as they arrive at the repositories. In this context, the present article presents a characterization of the software development metadata in terms of distributions of data that best captures the trends in the datasets. Multiple datasets are analyzed for this purpose, including Stack Overflow on developers' features and GitHub data on over 452 million repositories with 16 million commits. This characterization is intended to make it possible to generate multiple synthetic datasets that can be used in training and testing novel machine learning-based solutions to improve the reliability of software even as it evolves. It is also aimed at serving the development process to exploit the latent correlations among many key feature vectors across the aggregate space of repositories and developers. The data characterization of this article is designed to feed into the machine learning components of ZeroIn, including the application of binary classifiers for early flagging of buggy software commits and the development of graph-based learning methods to exploit sparse connectivity among the sets of repositories, commits, and developers.