title: Progressive Class-based Expansion Learning For Image Classification

abstract: In this paper, we propose a novel image process scheme called class-based expansion learning for image classification, which aims at improving the supervision-stimulation frequency for the samples of the confusing classes. Class-based expansion learning takes a bottom-up growing strategy in a class-based expansion optimization fashion, which pays more attention to the quality of learning the fine-grained classification boundaries for the preferentially selected classes. Besides, we develop a class confusion criterion to select the confusing class preferentially for training. In this way, the classification boundaries of the confusing classes are frequently stimulated, resulting in a fine-grained form. Experimental results demonstrate the effectiveness of the proposed scheme on several benchmarks.


title: Co$^2$L: Contrastive Continual Learning

abstract: Recent breakthroughs in self-supervised learning show that such algorithms learn visual representations that can be transferred better to unseen tasks than joint-training methods relying on task-specific supervision. In this paper, we found that the similar holds in the continual learning con-text: contrastively learned representations are more robust against the catastrophic forgetting than jointly trained representations. Based on this novel observation, we propose a rehearsal-based continual learning algorithm that focuses on continually learning and maintaining transferable representations. More specifically, the proposed scheme (1) learns representations using the contrastive learning objective, and (2) preserves learned representations using a self-supervised distillation step. We conduct extensive experimental validations under popular benchmark image classification datasets, where our method sets the new state-of-the-art performance.


title: When degree of roughness is a neighborhood over locally solid Riesz spaces

abstract: In this paper we introduce the notion of rough weighted $\mathcal{I}_\tau$-limit points set and weighted $\mathcal{I}_\tau$-cluster points set in a locally solid Riesz space which are more generalized version of rough weighted $\mathcal{I}$-limit points set and weighted $\mathcal{I}$-cluster points set in a $\theta$-metric space respectively. Successively to compare with the following important results of Fridy [Proc. Amer. Math. Soc. {118} (4) (1993), 1187-1192] and Das [Topology Appl. {159} (10-11) (2012), 2621-2626], respectively be stated as \begin{description} \item[(i)] Any number sequence $x=\{x_{n}\}_{n\in \mathbb{N}},$ the statistical cluster points set of $x$ is closed, \item[(ii)] In a topological space the $\mathcal{I}$-cluster points set is closed, \end{description} we show that in general, the weighted $\mathcal{I}_\tau$-cluster points set in a locally solid Riesz space may not be closed. The resulting summability method unfollows some previous results in the direction of research works of Aytar [Numer. Funct. Anal. Optim. {29} (3-4) (2008) 291-303], D$\ddot{\mbox{u}}$ndar [Numer. Funct. Anal. Optim. {37} (4) (2016) 480-491], Ghosal [Math. Slovaca {70} (3) (2020) 667-680] and Sava\c{s}, Et [Period. Math. Hungar. 71 (2015) 135-145].


title: Exact simulation of extrinsic stress-release processes

abstract: We present a new and straightforward algorithm that simulates exact sample paths for a generalized stress-release process. The computation of the exact law of the joint interarrival times is detailed and used to derive this algorithm. Furthermore, the martingale generator of the process is derived and induces theoretical moments which generalize some results of Borovkov & Vere-Jones (2000) and are used to demonstrate the validity of our simulation algorithm.


title: Center group dominance in quark confinement

abstract: We show that the color $N$ dependent area law falloffs of the double-winding Wilson loop averages for the $SU(N)$ lattice gauge theory obtained in the preceding works are reproduced from the corresponding lattice Abelian gauge theory with the center gauge group $Z_N$. This result indicates the center group dominance in quark confinement.


title: Capturing the temporal constraints of gradual patterns

abstract: Gradual pattern mining allows for extraction of attribute correlations through gradual rules such as: "the more X, the more Y". Such correlations are useful in identifying and isolating relationships among the attributes that may not be obvious through quick scans on a data set. For instance, a researcher may apply gradual pattern mining to determine which attributes of a data set exhibit unfamiliar correlations in order to isolate them for deeper exploration or analysis. In this work, we propose an ant colony optimization technique which uses a popular probabilistic approach that mimics the behavior biological ants as they search for the shortest path to find food in order to solve combinatorial problems. In our second contribution, we extend an existing gradual pattern mining technique to allow for extraction of gradual patterns together with an approximated temporal lag between the affected gradual item sets. Such a pattern is referred to as a fuzzy-temporal gradual pattern and it may take the form: "the more X, the more Y, almost 3 months later". In our third contribution, we propose a data crossing model that allows for integration of mostly gradual pattern mining algorithm implementations into a Cloud platform. This contribution is motivated by the proliferation of IoT applications in almost every area of our society and this comes with provision of large-scale time-series data from different sources.


title: Differential Area Analysis for Ransomware Attack Detection within Mixed File Datasets

abstract: The threat from ransomware continues to grow both in the number of affected victims as well as the cost incurred by the people and organisations impacted in a successful attack. In the majority of cases, once a victim has been attacked there remain only two courses of action open to them; either pay the ransom or lose their data. One common behaviour shared between all crypto ransomware strains is that at some point during their execution they will attempt to encrypt the users' files. Previous research Penrose et al. (2013); Zhao et al. (2011) has highlighted the difficulty in differentiating between compressed and encrypted files using Shannon entropy as both file types exhibit similar values. One of the experiments described in this paper shows a unique characteristic for the Shannon entropy of encrypted file header fragments. This characteristic was used to differentiate between encrypted files and other high entropy files such as archives. This discovery was leveraged in the development of a file classification model that used the differential area between the entropy curve of a file under analysis and one generated from random data. When comparing the entropy plot values of a file under analysis against one generated by a file containing purely random numbers, the greater the correlation of the plots is, the higher the confidence that the file under analysis contains encrypted data.


title: Full superconducting gap and type-I to type-II superconductivity transition in single crystalline NbGe2

abstract: We report a mechanical point-contact spectroscopy study on the single crystalline NbGe$_2$ with a superconducting transition temperature $T\rm_c$ = 2.0 - 2.1 K. The differential conductance curves at 0.3 K can be well fitted by a single gap s-wave Blonder-Tinkham-Klapwijk model and the temperature dependent gap follows a standard Bardeen-Cooper-Schrieffer behavior, yielding $\Delta_0 \sim$ 0.32 meV and 2$\Delta_0$/$k\rm_{B}$$T\rm_{c}$ = 3.62 in the weak coupling limit. In magnetic field, the superconducting gap at 0.3 K keeps constant up to $H_{c1}\sim$150 Oe and gradually decreases until $H_{c2}\sim$350 Oe, indicating NbGe$_2$ going through a transition from type-I to type-II (possible type-II/1) superconductor at low temperature.


title: Spatiotemporal differentiators generating optical vortices with transverse orbital angular momentum and detecting sharp change of pulse envelope

abstract: As a new degree of freedom for optical manipulation, recently spatiotemporal optical vortices (STOVs) carrying transverse orbital angular momentums have been experimentally demonstrated with pulse shapers. Here a spatiotemporal differentiator is proposed to generate STOVs with transverse orbital angular momentum. In order to create phase singularity in the spatiotemporal domain, the spatiotemporal differentiator is designed by breaking spatial mirror symmetry. In contrast to pulse shapers, the device proposed here is a simple one-dimensional periodic nanostructure and thus it is much more compact. For a normal incident pulse, the differentiator generates a transmitted STOV pulse with transverse orbital angular momentum. Furthermore, the interference of the generated STOVs can be used to detect the sharp changes of pulse envelopes, in both spatial and temporal dimensions.


title: Causal Reinforcement Learning using Observational and Interventional Data

abstract: Learning efficiently a causal model of the environment is a key challenge of model-based RL agents operating in POMDPs. We consider here a scenario where the learning agent has the ability to collect online experiences through direct interactions with the environment (interventional data), but has also access to a large collection of offline experiences, obtained by observing another agent interacting with the environment (observational data). A key ingredient, that makes this situation non-trivial, is that we allow the observed agent to interact with the environment based on hidden information, which is not observed by the learning agent. We then ask the following questions: can the online and offline experiences be safely combined for learning a causal model ? And can we expect the offline experiences to improve the agent's performances ? To answer these questions, we import ideas from the well-established causal framework of do-calculus, and we express model-based reinforcement learning as a causal inference problem. Then, we propose a general yet simple methodology for leveraging offline data during learning. In a nutshell, the method relies on learning a latent-based causal transition model that explains both the interventional and observational regimes, and then using the recovered latent variable to infer the standard POMDP transition model via deconfounding. We prove our method is correct and efficient in the sense that it attains better generalization guarantees due to the offline data (in the asymptotic case), and we illustrate its effectiveness empirically on synthetic toy problems. Our contribution aims at bridging the gap between the fields of reinforcement learning and causality.


title: The regularity problem for degenerate elliptic operators in weighted spaces

abstract: We study the solvability of the regularity problem for degenerate elliptic operators in the block case for data in weighted spaces. More precisely, let $L_w$ be a degenerate elliptic operator with degeneracy given by a fixed weight $w\in A_2(dx)$ in $\mathbb{R}^n$, and consider the associated block second order degenerate elliptic problem in the upper-half space $\mathbb{R}_+^{n+1}$. We obtain non-tangential bounds for the full gradient of the solution of the block case operator given by the Poisson semigroup in terms of the gradient of the boundary data. All this is done in the spaces $L^p(vdw)$ where $v$ is a Muckenhoupt weight with respect to the underlying natural weighted space $(\mathbb{R}^n, wdx)$. We recover earlier results in the non-degenerate case (when $w\equiv 1$, and with or without weight $v$). Our strategy is also different and more direct thanks in particular to recent observations on change of angles in weighted square function estimates and non-tangential maximal functions. Our method gives as a consequence the (unweighted) $L^2(dx)$-solvability of the regularity problem for the block operator \[ \mathbb{L}_\alpha u(x,t) = -|x|^{\alpha} \mathrm{div}_x \big(|x|^{-\alpha }\,A(x) \nabla_x u(x,t)\big)-\partial_{t}^2 u(x,t) \] for any complex-valued uniformly elliptic matrix $A$ and for all $-\epsilon<\alpha<\frac{2\,n}{n+2}$, where $\epsilon$ depends just on the dimension and the ellipticity constants of $A$.


title: Operational Data Analytics in Practice: Experiences from Design to Deployment in Production HPC Environments

abstract: As HPC systems grow in complexity, efficient and manageable operation is increasingly critical. Many centers are thus starting to explore the use of Operational Data Analytics (ODA) techniques, which extract knowledge from massive amounts of monitoring data and use it for control and visualization purposes. As ODA is a multi-faceted problem, much effort has gone into researching its separate aspects: however, accounts of production ODA experiences are still hard to come across. In this work we aim to bridge the gap between ODA research and production use by presenting our experiences with ODA in production, involving in particular the control of cooling infrastructures and visualization of job data on two HPC systems. We cover the entire development process, from design to deployment, highlighting our insights in an effort to drive the community forward. We rely on open-source tools, which make for a generic ODA framework suitable for most scenarios.


title: Resonance from antiferromagnetic spin fluctuations for superconductivity in UTe$_2$

abstract: Superconductivity originates from the formation of bound (Cooper) pairs of electrons that can move through the lattice without resistance below the superconducting transition temperature $T_c$. Electron Cooper pairs in most superconductors form anti-parallel spin singlets with total spin $S=0$, although they can also form parallel spin-triplet Cooper pairs with $S=1$ and an odd parity wavefunction. Spin-triplet pairing is important because it can host topological states and Majorana fermions relevant for quantum computation. Because spin-triplet pairing is usually mediated by ferromagnetic (FM) spin fluctuations, uranium based materials near an FM instability are considered to be ideal candidates for realizing spin-triplet superconductivity. Indeed, UTe$_2$, which has a $T_c\approx 1.6$ K, has been identified as a candidate for a chiral spin-triplet topological superconductor near an FM instability, although it also has antiferromagnetic (AF) spin fluctuations. Here we use inelastic neutron scattering (INS) to show that superconductivity in UTe$_2$ is coupled to a sharp magnetic excitation, termed resonance, at the Brillouin zone boundary near AF order. Because the resonance has only been found in spin-singlet unconventional superconductors near an AF instability, its observation in UTe$_2$ suggests that AF spin fluctuations may also induce spin-triplet pairing or that electron pairing in UTe$_2$ has a spin-singlet component.


title: Universality of entropy principle for a general diffeomorphism-covariant purely gravitational theory

abstract: Thermodynamics plays an important role in gravitational theories. It is a principle independent of the gravitational dynamics, and there is still no rigorous proof to show that it is consistent with the dynamical principle. We consider a self-gravitating perfect fluid system in a general diffeomorphism-covariant purely gravitational theory. Based on the Noether charge method proposed by Iyer and Wald, considering static off/on-shell variational configurations which satisfy the gravitational constraint equation, we rigorously prove that the extrema of the total entropy of perfect fluid inside a compact region for fixed total particle number demands that the static configuration is an on-shell solution after we introduce some appropriate boundary conditions, i.e., it also satisfies the spatial gravitational equations. This means that the entropy principle of the fluid stores the same information as the gravitational equation in a static configuration. Our proof is universal and holds for any diffeomorphism-covariant purely gravitational theories, such as Einstein gravity, f(R) gravity, Lovelock gravity, f(Gauss-Bonnet) gravity and Einstein-Weyl gravity. Our result shows the consistency between the ordinary thermodynamics and the gravitational dynamics.


title: Optimization Results for 5G Slice-in-Slice Scheduling

abstract: Open Radio Access Network (ORAN) Slicing for 5G and Beyond is an emerging architecture and feature that will facilitate challenging RAN Service Level Agreement (SLA) assurance targets. This could pave the way for operators to realize the benefits of network slicing efficiently. In this paper, we provide novel and detailed optimization results to achieve Slice-in-Slice Scheduling for 5G User Services in ORAN slicing.


title: High-speed soliton ejection generated from the scattering of bright solitons by modulated reflectionless potential wells

abstract: We investigate numerically and theoretically the conditions leading to soliton ejection stimulated through the scattering of bright solitons by modulated reflectionless potential wells. Such potential wells allow for the possibility of controlled ejection of solitons with significantly high speeds. At the outset, we describe the scattering setup and characterise the soliton ejection in terms of the different parameters of the system. Then, we formulate a theoretical model revealing the underlying physics of soliton ejection. The model is based on energy and norm exchange between the incident soliton and a stable trapped mode corresponding to an exact solution of the governing nonlinear Schrodinger equation. Remarkably, stationary solitons can lead to high-speed soliton ejection where part of the nonlinear interaction energy transforms to translational kinetic energy of the ejected soliton. Our investigation shows that soliton ejection always occurs whenever the incident soliton norm is greater than that of the trapped mode while their energy is almost the same. Once the incident soliton is trapped, the excess in norm turns to an ejected soliton in addition to a small amount of radiation that share translational kinetic energy. We found that higher ejection speeds are obtained with multi-node trapped modes that have larger binding energy. Simultaneous two-soliton ejection has been also induced by two solitons scattering with the potential from both of its sides. An ejection speed almost twice as that of single soliton ejection was obtained. Ejection outcome and ejection speed turn out to be sensitive to the relative phase between the two incoming solitons, which suggests a tool for soliton phase interferometry.


title: Tidal deformability of dressed black holes and tests of ultralight bosons in extended mass ranges

abstract: The deformability of a compact object under the presence of a tidal perturbation is encoded in the tidal Love numbers (TLNs), which vanish for isolated black holes in vacuum. We show that the TLNs of black holes surrounded by matter fields do not vanish and can be used to probe the environment around binary black holes. In particular, we compute the TLNs for the case of a black hole surrounded by a scalar condensate under the presence of scalar and vector tidal perturbations, finding a strong power-law behavior of the TLN in terms of the mass of the scalar field. Using this result as a proxy for gravitational tidal perturbations, we show that future gravitational-wave detectors like the Einstein Telescope and LISA can impose stringent constraints on the mass of ultralight bosons that condensate around black holes due to accretion or superradiance. Interestingly, LISA could measure the tidal deformability of dressed black holes across the range from stellar-mass ($\approx 10^2 M_\odot$) to supermassive ($\approx 10^7 M_\odot$) objects, providing a measurement of the mass of ultralight bosons in the range $(10^{-17} - 10^{-13}) \, {\rm eV}$ with less than $10\%$ accuracy, thus filling the gap between other superradiance-driven constraints coming from terrestrial and space interferometers. Altogether, LISA and Einstein Telescope can probe tidal effects from dressed black holes in the combined mass range $(10^{-17} - 10^{-11}) \, {\rm eV}$.


title: Angularity in DIS at next-to-next-to-leading log accuracy

abstract: Angularity is a class of event-shape observables that can be measured in deep-inelastic scattering. With its continuous parameter $a$ one can interpolate angularity between thrust and broadening and further access beyond the region. Providing such systematic way to access various observables makes angularity attractive in analysis with event shapes. We give the definition of angularity for DIS and factorize the cross-section by using soft-collinear effective theory. The factorization is valid in a wide range of $a$ below and above thrust region but invalid in broadening limit. It contains an angularity beam function, which is new result and we give the expression at $\mathcal{O}(\as)$. We also perform large log resummation of angularity and make predictions at various values of $a$ at next-to-next-to-leading log accuracy.


title: Quantum phases of dipolar bosons in multilayer optical lattice

abstract: We consider a minimal model to investigate the quantum phases of hardcore, polarized dipolar atoms confined in multilayer optical lattices. The model is a variant of the extended Bose-Hubbard model, which incorporates intralayer repulsion and interlayer attraction between the atoms in nearest-neighbour sites. We study the phases of this model emerging from the competition between the attractive interlayer interaction and the interlayer hopping. Our results from the analytical and cluster-Gutzwiller mean-field theories reveal that multimer formation occurs in the regime of weak intra and interlayer hopping due to the attractive interaction. In addition, intralayer isotropic repulsive interaction results in the checkerboard ordering of the multimers. This leads to an incompressible checkerboard multimer phase at half-filling. At higher interlayer hopping, the multimers are destabilized to form resonating valence-bond like states. Furthermore, we discuss the effects of thermal fluctuations on the quantum phases of the system.


title: Modelling Monotonic and Non-Monotonic Attribute Dependencies with Embeddings: A Theoretical Analysis

abstract: During the last decade, entity embeddings have become ubiquitous in Artificial Intelligence. Such embeddings essentially serve as compact but semantically meaningful representations of the entities of interest. In most approaches, vectors are used for representing the entities themselves, as well as for representing their associated attributes. An important advantage of using attribute embeddings is that (some of the) semantic dependencies between the attributes can thus be captured. However, little is known about what kinds of semantic dependencies can be modelled in this way. The aim of this paper is to shed light on this question, focusing on settings where the embedding of an entity is obtained by pooling the embeddings of its known attributes. Our particular focus is on studying the theoretical limitations of different embedding strategies, rather than their ability to effectively learn attribute dependencies in practice. We first show a number of negative results, revealing that some of the most popular embedding models are not able to capture even basic Horn rules. However, we also find that some embedding strategies are capable, in principle, of modelling both monotonic and non-monotonic attribute dependencies.


title: Certified Robustness via Randomized Smoothing over Multiplicative Parameters of Input Transformations

abstract: Currently the most popular method of providing robustness certificates is randomized smoothing where an input is smoothed via some probability distribution. We propose a novel approach to randomized smoothing over multiplicative parameters. Using this method we construct certifiably robust classifiers with respect to a gamma correction perturbation and compare the result with classifiers obtained via other smoothing distributions (Gaussian, Laplace, uniform). The experiments show that asymmetrical Rayleigh distribution allows to obtain better certificates for some values of perturbation parameters. To the best of our knowledge it is the first work concerning certified robustness against the multiplicative gamma correction transformation and the first to study effects of asymmetrical distributions in randomized smoothing.


title: Efficient Dialogue State Tracking by Masked Hierarchical Transformer

abstract: This paper describes our approach to DSTC 9 Track 2: Cross-lingual Multi-domain Dialog State Tracking, the task goal is to build a Cross-lingual dialog state tracker with a training set in rich resource language and a testing set in low resource language. We formulate a method for joint learning of slot operation classification task and state tracking task respectively. Furthermore, we design a novel mask mechanism for fusing contextual information about dialogue, the results show the proposed model achieves excellent performance on DSTC Challenge II with a joint accuracy of 62.37% and 23.96% in MultiWOZ(en - zh) dataset and CrossWOZ(zh - en) dataset, respectively.


title: Current Landscape of the Russian Sentiment Corpora

abstract: Currently, there are more than a dozen Russian-language corpora for sentiment analysis, differing in the source of the texts, domain, size, number and ratio of sentiment classes, and annotation method. This work examines publicly available Russian-language corpora, presents their qualitative and quantitative characteristics, which make it possible to get an idea of the current landscape of the corpora for sentiment analysis. The ranking of corpora by annotation quality is proposed, which can be useful when choosing corpora for training and testing. The influence of the training dataset on the performance of sentiment analysis is investigated based on the use of the deep neural network model BERT. The experiments with review corpora allow us to conclude that on average the quality of models increases with an increase in the number of training corpora. For the first time, quality scores were obtained for the corpus of reviews of ROMIP seminars based on the BERT model. Also, the study proposes the task of the building a universal model for sentiment analysis.


title: Central Sets Theorem along filters and some combinatorial consequences

abstract: The Central Sets Theorem was introduced by H. Furstenberg and then afterwards several mathematicians have provided various versions and extensions of this theorem. All of these theorems deal with central sets, and its origin from the algebra of Stone-Cech compactification of arbitrary semigroup, say $\beta S$. It can be proved that every closed subsemigroup of $\beta S$ is generated by a filter. We will show that, under some restrictions, one can derive the Central Sets Theorem for any closed subsemigroup of $\beta S$ . We will derive this theorem using the corresponding filter and its algebra. Later we will also deal with how the notions of largeness along filters are preserved under some well behaved homomorphisms and give some consequences.


title: Malaria Risk Mapping Using Routine Health System Incidence Data in Zambia

abstract: Improvements to Zambia's malaria surveillance system allow better monitoring of incidence and targetting of responses at refined spatial scales. As transmission decreases, understanding heterogeneity in risk at fine spatial scales becomes increasingly important. However, there are challenges in using health system data for high-resolution risk mapping: health facilities have undefined and overlapping catchment areas, and report on an inconsistent basis. We propose a novel inferential framework for risk mapping of malaria incidence data based on formal down-scaling of confirmed case data reported through the health system in Zambia. We combine data from large community intervention trials in 2011-2016 and model health facility catchments based upon treatment-seeking behaviours; our model for monthly incidence is an aggregated log-Gaussian Cox process, which allows us to predict incidence at fine scale. We predicted monthly malaria incidence at 5km$^2$ resolution nationally: whereas 4.8 million malaria cases were reported through the health system in 2016, we estimated that the number of cases occurring at the community level was closer to 10 million. As Zambia continues to scale up community-based reporting of malaria incidence, these outputs provide realistic estimates of community-level malaria burden as well as high resolution risk maps for targeting interventions at the sub-catchment level.


abstract: The Symmetric Nonnegative Matrix Trifactorization (SN-Trifactorization) is a factorization of an $n \times n$ nonnegative symmetric matrix $A$ of the form $BCB^T$, where $C$ is a $k \times k$ symmetric matrix, and both $B$ and $C$ are required to be nonnegative. This work introduces the SNT-rank of $A$, as the minimal $k$, for which such factorization exists. After listing basic properties and exploring SNT-rank of low rank matrices, the class of nonnegative symmetric matrices with SNT-rank equal to rank is studied. The paper concludes with a completion problem, that asks for matrices with the smallest possible SNT-rank among all nonnegative symmetric matrices with given diagonal blocks.


title: Traditional Machine Learning and Deep Learning Models for Argumentation Mining in Russian Texts

abstract: Argumentation mining is a field of computational linguistics that is devoted to extracting from texts and classifying arguments and relations between them, as well as constructing an argumentative structure. A significant obstacle to research in this area for the Russian language is the lack of annotated Russian-language text corpora. This article explores the possibility of improving the quality of argumentation mining using the extension of the Russian-language version of the Argumentative Microtext Corpus (ArgMicro) based on the machine translation of the Persuasive Essays Corpus (PersEssays). To make it possible to use these two corpora combined, we propose a Joint Argument Annotation Scheme based on the schemes used in ArgMicro and PersEssays. We solve the problem of classifying argumentative discourse units (ADUs) into two classes - "pro" ("for") and "opp" ("against") using traditional machine learning techniques (SVM, Bagging and XGBoost) and a deep neural network (BERT model). An ensemble of XGBoost and BERT models was proposed, which showed the highest performance of ADUs classification for both corpora.


title: Prior-Induced Information Alignment for Image Matting

abstract: Image matting is an ill-posed problem that aims to estimate the opacity of foreground pixels in an image. However, most existing deep learning-based methods still suffer from the coarse-grained details. In general, these algorithms are incapable of felicitously distinguishing the degree of exploration between deterministic domains (certain FG and BG pixels) and undetermined domains (uncertain in-between pixels), or inevitably lose information in the continuous sampling process, leading to a sub-optimal result. In this paper, we propose a novel network named Prior-Induced Information Alignment Matting Network (PIIAMatting), which can efficiently model the distinction of pixel-wise response maps and the correlation of layer-wise feature maps. It mainly consists of a Dynamic Gaussian Modulation mechanism (DGM) and an Information Alignment strategy (IA). Specifically, the DGM can dynamically acquire a pixel-wise domain response map learned from the prior distribution. The response map can present the relationship between the opacity variation and the convergence process during training. On the other hand, the IA comprises an Information Match Module (IMM) and an Information Aggregation Module (IAM), jointly scheduled to match and aggregate the adjacent layer-wise features adaptively. Besides, we also develop a Multi-Scale Refinement (MSR) module to integrate multi-scale receptive field information at the refinement stage to recover the fluctuating appearance details. Extensive quantitative and qualitative evaluations demonstrate that the proposed PIIAMatting performs favourably against state-of-the-art image matting methods on the Alphamatting.com, Composition-1K and Distinctions-646 dataset.


title: VAT-Mart: Learning Visual Action Trajectory Proposals for Manipulating 3D ARTiculated Objects

abstract: Perceiving and manipulating 3D articulated objects (e.g., cabinets, doors) in human environments is an important yet challenging task for future home-assistant robots. The space of 3D articulated objects is exceptionally rich in their myriad semantic categories, diverse shape geometry, and complicated part functionality. Previous works mostly abstract kinematic structure with estimated joint parameters and part poses as the visual representations for manipulating 3D articulated objects. In this paper, we propose object-centric actionable visual priors as a novel perception-interaction handshaking point that the perception system outputs more actionable guidance than kinematic structure estimation, by predicting dense geometry-aware, interaction-aware, and task-aware visual action affordance and trajectory proposals. We design an interaction-for-perception framework VAT-Mart to learn such actionable visual representations by simultaneously training a curiosity-driven reinforcement learning policy exploring diverse interaction trajectories and a perception module summarizing and generalizing the explored knowledge for pointwise predictions among diverse shapes. Experiments prove the effectiveness of the proposed approach using the large-scale PartNet-Mobility dataset in SAPIEN environment and show promising generalization capabilities to novel test shapes, unseen object categories, and real-world data. Project page: https://hyperplane-lab.github.io/vat-mart


title: Complex pathways and memory in compressed corrugated sheets

abstract: The nonlinear response of driven complex materials -- disordered magnets, amorphous media, crumpled sheets -- features intricate transition pathways where the system repeatedly hops between metastable states. % which encode memory effects. Such pathways encode memory effects and may allow information processing -- yet tools are lacking to experimentally observe and control these pathways, and their full breadth has not been explored. Here we introduce compression of corrugated elastic sheets to precisely observe and manipulate {their full}, multi-step pathways, which are reproducible, robust,and controlled by geometry. We show how manipulation of the boundaries allows to elicit multiple targeted pathways from a single sample. In all cases, each state in the pathway can be encoded by the binary state of material 'bits' called hysterons, and the strength of their interactions plays a crucial role. In particular, as function of increasing interaction strength, we observe Preisach pathways, expected in systems of independently switching hysterons, 'scrambled' pathways that evidence hitherto unexplored interactions between these material bits, and 'accumulator' pathways which leverage these interactions to perform an elementary computation. Our work opens a route to probe, manipulate and understand complex pathways, impacting future applications in soft robotics and information processing in materials.


title: On the Connection between Individual Scaled Vickrey Payments and the Egalitarian Allocation

abstract: The Egalitarian Allocation (EA) is a well-known profit sharing method for cooperative games which attempts to distribute profit among participants in a most equal way while respecting the individual contributions to the obtained profit. Despite having desirable properties from the viewpoint of game theory like being contained in the core, the EA is in general hard to compute. Another well-known method is given by Vickrey Payments (VP). Again, the VP have desirable properties like coalitional rationality, the VP do not fulfill budget balance in general and, thus, are not contained in the core in general. One attempt to overcome this shortcoming is to scale down the VP. This can be done by a unique scaling factor, or, by individual scaling factors. Now, the individual scaled Vickrey Payments (ISV) are computed by maximizing the scaling factors lexicographically. In this paper we show that the ISV payments are in fact identical to a weighted EA, thus exhibiting an interesting connection between EA and VP. With this, we conclude the uniqueness of the ISV payments and provide a polynomial time algorithm for computing a special weighted EA.


title: Cell types and ontologies of the Human Cell Atlas

abstract: Massive single-cell profiling efforts have accelerated our discovery of the cellular composition of the human body, while at the same time raising the need to formalise this new knowledge. Here, we review current cell ontology efforts to harmonise and integrate different sources of annotations of cell types and states. We illustrate with examples how a unified ontology can consolidate and advance our understanding of cell types across scientific communities and biological domains.


title: A Knowledge-Grounded Dialog System Based on Pre-Trained Language Models

abstract: We present a knowledge-grounded dialog system developed for the ninth Dialog System Technology Challenge (DSTC9) Track 1 - Beyond Domain APIs: Task-oriented Conversational Modeling with Unstructured Knowledge Access. We leverage transfer learning with existing language models to accomplish the tasks in this challenge track. Specifically, we divided the task into four sub-tasks and fine-tuned several Transformer models on each of the sub-tasks. We made additional changes that yielded gains in both performance and efficiency, including the combination of the model with traditional entity-matching techniques, and the addition of a pointer network to the output layer of the language model.


title: Anomalous nature of outbursts of the black hole candidate 4U 1630-472

abstract: The Galactic black hole candidate (BHC) 4U~1630-472 has gone through several outbursts (13 to be particular) in the last two and a half decades starting from the RXTE era till date. Like the outbursts of other transient BHCs, the outbursts of this source show variations in duration, peak numbers, highest peak flux, etc. However, unlike any other soft X-ray transients, this source showed outbursts of two types, such as normal and super. The normal outbursts of duration $\sim 100-200$~days are observed quasi periodically at an average recurrence/quiescence period of $\sim 500$~days. The super outbursts of duration $\sim 1.5-2.5$~years contain one or more normal outbursts other than one mega outburst. We make an effort to separate flux contribution of the normal and the mega outbursts from the super outbursts, and tried to understand the nature of evolution of both types (normal and mega) of outbursts, based on the quiescent period prior to the outbursts. Archival data of RXTE/ASM from January 1996 to June 2011, and MAXI/GSC from August 2009 to July 2020 are used for our study. A possible linear relation between the quiescent and outburstsing periods for both types of outbursts are observed. This makes the BHC a special source, and it may contain two companion binaries. Two companions might be responsible for two types of outbursts.


title: Approximately Envy-Free Budget-Feasible Allocation

abstract: In the budget-feasible allocation problem, a set of items with varied sizes and values are to be allocated to a group of agents. Each agent has a budget constraint on the total size of items she can receive. The goal is to compute a feasible allocation that is envy-free (EF), in which the agents do not envy each other for the items they receive, nor do they envy a charity, who is endowed with all the unallocated items. Since EF allocations barely exist even without budget constraints, we are interested in the relaxed notion of envy-freeness up to one item (EF1). The computation of both exact and approximate EF1 allocations remains largely open, despite a recent effort by Wu et al. (IJCAI 2021) in showing that any budget-feasible allocation that maximizes the Nash Social Welfare (NSW) is 1/4-approximate EF1. In this paper, we move one step forward by showing that for agents with identical additive valuations, a 1/2-approximate EF1 allocation can be computed in polynomial time. For the uniform-budget and two-agent cases, we propose efficient algorithms for computing an exact EF1 allocation. We also consider the large budget setting, i.e., when the item sizes are infinitesimal compared with the agents' budgets, and show that both the NSW maximizing allocation and the allocation our polynomial-time algorithm computes have an approximation close to 1 regarding EF1.


title: Feature Combination Meets Attention: Baidu Soccer Embeddings and Transformer based Temporal Detection

abstract: With rapidly evolving internet technologies and emerging tools, sports related videos generated online are increasing at an unprecedentedly fast pace. To automate sports video editing/highlight generation process, a key task is to precisely recognize and locate the events in the long untrimmed videos. In this tech report, we present a two-stage paradigm to detect what and when events happen in soccer broadcast videos. Specifically, we fine-tune multiple action recognition models on soccer data to extract high-level semantic features, and design a transformer based temporal detection module to locate the target events. This approach achieved the state-of-the-art performance in both two tasks, i.e., action spotting and replay grounding, in the SoccerNet-v2 Challenge, under CVPR 2021 ActivityNet workshop. Our soccer embedding features are released at https://github.com/baidu-research/vidpress-sports. By sharing these features with the broader community, we hope to accelerate the research into soccer video understanding.


title: R-Drop: Regularized Dropout for Neural Networks

abstract: Dropout is a powerful and widely used technique to regularize the training of deep neural networks. In this paper, we introduce a simple regularization strategy upon dropout in model training, namely R-Drop, which forces the output distributions of different sub models generated by dropout to be consistent with each other. Specifically, for each training sample, R-Drop minimizes the bidirectional KL-divergence between the output distributions of two sub models sampled by dropout. Theoretical analysis reveals that R-Drop reduces the freedom of the model parameters and complements dropout. Experiments on $\bf{5}$ widely used deep learning tasks ($\bf{18}$ datasets in total), including neural machine translation, abstractive summarization, language understanding, language modeling, and image classification, show that R-Drop is universally effective. In particular, it yields substantial improvements when applied to fine-tune large-scale pre-trained models, e.g., ViT, RoBERTa-large, and BART, and achieves state-of-the-art (SOTA) performances with the vanilla Transformer model on WMT14 English$\to$German translation ($\bf{30.91}$ BLEU) and WMT14 English$\to$French translation ($\bf{43.95}$ BLEU), even surpassing models trained with extra large-scale data and expert-designed advanced variants of Transformer models. Our code is available at GitHub{\url{https://github.com/dropreg/R-Drop}}.


title: Generalized torsion for knots with arbitrarily high genus

abstract: In a group, a non-trivial element is called a generalized torsion element if some non-empty finite product of its conjugates equals to the identity. We say that a knot has generalized torsion if its knot group admits such an element. For a (2, 2q+1)-torus knot K, we demonstrate that there are infinitely many unknots c such that p-twisting K about c yields a twist family, which consists of hyperbolic knots with generalized torsion whenever |p| > 3. This gives a new infinite class of hyperbolic knots having generalized torsion. In particular, each class contains knots with arbitrarily high genus. We also show that some twisted torus knots, including the (-2, 3, 7)-pretzel knot, have generalized torsion. Since generalized torsion is an obstruction for having bi-order, these knots have non-bi-orderable knot groups.


title: Data-driven Model Predictive and Reinforcement Learning Based Control for Building Energy Management: a Survey

abstract: Building energy management is one of the core problems in modern power grids to reduce energy consumption while ensuring occupants' comfort. However, the building energy management system (BEMS) is now facing more challenges and uncertainties with the increasing penetration of renewables and complicated interactions between humans and buildings. Classical model predictive control (MPC) has shown its capacity to reduce building energy consumption, but it suffers from labor-intensive modelling and complex on-line control optimization. Recently, with the growing accessibility to the building control and automation data, data-driven solutions have attracted more research interest. This paper presents a compact review of the recent advances in data-driven MPC and reinforcement learning based control methods for BEMS. The main challenges in these approaches and insights on the selection of a control method are discussed.


title: Dynamic Schnyder Woods

abstract: A realizer, commonly known as Schnyder woods, of a triangulation is a partition of its interior edges into three oriented rooted trees. A flip in a realizer is a local operation that transforms one realizer into another. Two types of flips in a realizer have been introduced: colored flips and cycle flips. A corresponding flip graph is defined for each of these two types of flips. The vertex sets are the realizers, and two realizers are adjacent if they can be transformed into each other by one flip. In this paper we study the relation between these two types of flips and their corresponding flip graphs. We show that a cycle flip can be obtained from linearly many colored flips. We also prove an upper bound of $O(n^2)$ on the diameter of the flip graph of realizers defined by colored flips. In addition, a data structure is given to dynamically maintain a realizer over a sequence of colored flips which supports queries, including getting a node's barycentric coordinates, in $O(\log n)$ time per flip or query.


title: Weighted colimits of 2-representations and star algebras

abstract: We apply the theory of weighted bicategorical colimits to study the problem of existence and computation of such colimits of birepresentations of finitary bicategories. The main application of our results is the complete classification of simple transitive birepresentations of a bicategory studied in arXiv:1805.05724, which confirms a conjecture made therein.


title: Logarithmic sheaves of complete intersections

abstract: We define logarithmic tangent sheaves associated with complete intersections in connection with Jacobian syzygies and distributions. We analyse the notions of local freeness, freeness and stability of these sheaves. We carry out a complete study of logarithmic sheaves associated with pencils of quadrics and compute their projective dimension from the classical invariants such as the Segre symbol and new invariants (splitting type and degree vector) designed for the classification of irregular pencils. This leads to a complete classification of free (equivalently, locally free) pencils of quadrics. Finally we produce examples of locally free, non free pencils of surfaces in P3 of any degree k at least 3, answering (in the negative) a question of Calvo-Andrade, Cerveau, Giraldo and Lins Neto about codimension foliations on P3 .


title: Fractionally Subadditive Maximization under an Incremental Knapsack Constraint

abstract: We consider the problem of maximizing a fractionally subadditive function under a knapsack constraint that grows over time. An incremental solution to this problem is given by an order in which to include the elements of the ground set, and the competitive ratio of an incremental solution is defined by the worst ratio over all capacities relative to an optimum solution of the corresponding capacity. We present an algorithm that finds an incremental solution of competitive ratio at most $\max\{3.293\sqrt{M},2M\}$, under the assumption that the values of singleton sets are in the range $[1,M]$, and we give a lower bound of $\max\{2.618,M\}$ on the attainable competitive ratio. In addition, we establish that our framework captures potential-based flows between two vertices, and we give a lower bound of $\max\{2,M\}$ and an upper bound of $2M$ for the incremental maximization of classical flows with capacities in $[1,M]$ which is tight for the unit capacity case.


title: Propagation phenomena in periodic patchy landscapes with interface conditions

abstract: This paper is concerned with a model for the dynamics of a single species in a one-dimensional heterogeneous environment. The environment consists of two kinds of patches, which are periodically alternately arranged along the spatial axis. We first establish the well-posedness for the Cauchy problem. Next, we give existence and uniqueness results for the positive steady state and we analyze the long-time behavior of the solutions to the evolution problem. Afterwards, based on dynamical systems methods, we investigate the spreading properties and the existence of pulsating traveling waves in the positive and negative directions. It is shown that the asymptotic spreading speed, c * , exists and coincides with the minimal wave speed of pulsating traveling waves in positive and negative directions. In particular, we give a variational formula for c * by using the principal eigenvalues of certain linear periodic eigenvalue problems.


title: The Machiavellian frontier of top trading cycles

abstract: This paper studies the housing market problem introduced by Shapley and Scarf (1974). We probe the Machiavellian frontier of the well-known top trading cycles (TTC) rule by weakening strategy-proofness and providing new characterizations for this rule. Specifically, our contribution lies in three aspects. First, we weaken the concept of strategy-proofness and introduce a new incentive notion called truncation-invariance, where the truthful preference-reporting assignment cannot be altered by any agent through misreporting a truncation of the true preference at the assignment produced by the true preference unilaterally. Second, we characterize the TTC rule by the following three groups of axioms: individual rationality, pair-efficiency, truncation-invariance; individual rationality, Pareto efficiency, truncation-invariance; individual rationality, endowments-swapping-proofness, truncation-invariance.1 The new characterizations refine several previous results.2 Third, we show through examples that the characterization results of Takamiya (2001) and Miyagawa (2002) can no longer be obtained if strategy-proofness is replaced with truncation-invariance.


title: Verification of a Smart Contract for a Simple Casino

abstract: We describe the verification of an existing smart contract for a simple casino application, using the Whiley specification and programming language, with a fully automated verification engine based on Boogie and Z3. After finding and fixing several specification and code issues in the smart contract, we are able to verify all the operations of the smart contract.


title: Integral mixed cayley graph over abelian group

abstract: A mixed graph is said to be integral if all the eigenvalues of its Hermitian adjacency matrix are integer. Let $\Gamma$ be an abelian group. The \textit{mixed Cayley graph} $Cay(\Gamma,S)$ is a mixed graph on the vertex set $\Gamma$ and edge set $\{ (a,b): b-a\in S \}$, where $0\not\in S$. We characterize integral mixed Cayley graph $Cay(\Gamma,S)$ over abelian group in terms of its symbol set $S$.


title: Recurrent neural network transducer for Japanese and Chinese offline handwritten text recognition

abstract: In this paper, we propose an RNN-Transducer model for recognizing Japanese and Chinese offline handwritten text line images. As far as we know, it is the first approach that adopts the RNN-Transducer model for offline handwritten text recognition. The proposed model consists of three main components: a visual feature encoder that extracts visual features from an input image by CNN and then encodes the visual features by BLSTM; a linguistic context encoder that extracts and encodes linguistic features from the input image by embedded layers and LSTM; and a joint decoder that combines and then decodes the visual features and the linguistic features into the final label sequence by fully connected and softmax layers. The proposed model takes advantage of both visual and linguistic information from the input image. In the experiments, we evaluated the performance of the proposed model on the two datasets: Kuzushiji and SCUT-EPT. Experimental results show that the proposed model achieves state-of-the-art performance on all datasets.


title: Phase-field simulation of liquid-vapor equilibrium and evaporation of fluid mixtures

abstract: In solution-processing of thin films, the material layer is deposited from a solution composed of several solutes and solvents. The final morphology and hence the properties of the film often depend on the time needed for the evaporation of the solvents. This is typically the case for organic photoactive or electronic layers. Therefore, it is important to be able to predict the evaporation kinetics of such mixtures. We propose here a new phase-field model for the simulation of evaporating fluid mixtures and simulate their evaporation kinetics. Similar to the Hertz-Knudsen theory, the local liquid-vapor equilibrium is assumed to be reached at the film surface and evaporation is driven by diffusion away from this gas layer. In the situation where the evaporation is purely driven by the liquid-vapor equilibrium, the simulations match the behavior expected theoretically from the free energy: for evaporation of pure solvents, the evaporation rate is constant and proportional to the vaporpressure. For mixtures, the evaporation rate is in general strongly time-dependent because of the changing composition of the film. Nevertheless, for highly non-ideal mixtures, such as poorly compatible fluids or polymer solutions, the evaporation rate becomes almost constant in the limit of low Biot numbers. The results of the simulation have been successfully compared to experiments on a polystyrene-toluene mixture. The model allows to take into account deformations of the liquid-vapor interface and therefore to simulate film roughness or dewetting.


title: Real-time Human-Robot Collaborative Manipulations of Cylindrical and Cubic Objects via Geometric Primitives and Depth Information

abstract: Many objects commonly found in household and industrial environments are represented by cylindrical and cubic shapes. Thus, it is available for robots to manipulate them through the real-time detection of elliptic and rectangle shape primitives formed by the circular and rectangle tops of these objects. We devise a robust grasping system that enables a robot to manipulate cylindrical and cubic objects in collaboration scenarios by the proposed perception strategy including the detection of elliptic and rectangle shape primitives and depth information. The proposed method of detecting ellipses and rectangles incorporates a one-stage detection backbone and then, accommodates the proposed adaptive multi-branch multi-scale net with a designed iterative feature pyramid network, local inception net, and multi-receptive-filed feature fusion net to generate object detection recommendations. In terms of manipulating objects with different shapes, we propose the grasp synthetic to align the grasp pose of the gripper with an object's pose based on the proposed detector and registered depth information. The proposed robotic perception algorithm has been integrated on a robot to demonstrate the ability to carry out human-robot collaborative manipulations of cylindrical and cubic objects in real-time. We show that the robotic manipulator, empowered by the proposed detector, performs well in practical manipulation scenarios.(An experiment video is available in YouTube, https://www.youtube.com/watch?v=Amcs8lwvNK8.)


title: Perturbations of the orbital elements due to the magnetic-like part of the field of a plane gravitational wave

abstract: We focus on the secular changes of the orbital elements of a planet in the solar system, determined by the magnetic-like part of a gravitational wave field. Using Fermi coordinates we show that the total force acting on a test particle is made of two contributions: a gravito-electric one and a gravito-magnetic one. While the electric-like force has been thoroughly discussed in the past, the effect of the gravito-magnetic force, which depends on the velocity of the test particle, has not been considered yet. We obtain approximated results to some orders in the orbital eccentricity and show that these effects are much smaller than the corresponding gravito-electric ones.


title: RadGraph: Extracting Clinical Entities and Relations from Radiology Reports

abstract: Extracting structured clinical information from free-text radiology reports can enable the use of radiology report information for a variety of critical healthcare applications. In our work, we present RadGraph, a dataset of entities and relations in full-text chest X-ray radiology reports based on a novel information extraction schema we designed to structure radiology reports. We release a development dataset, which contains board-certified radiologist annotations for 500 radiology reports from the MIMIC-CXR dataset (14,579 entities and 10,889 relations), and a test dataset, which contains two independent sets of board-certified radiologist annotations for 100 radiology reports split equally across the MIMIC-CXR and CheXpert datasets. Using these datasets, we train and test a deep learning model, RadGraph Benchmark, that achieves a micro F1 of 0.82 and 0.73 on relation extraction on the MIMIC-CXR and CheXpert test sets respectively. Additionally, we release an inference dataset, which contains annotations automatically generated by RadGraph Benchmark across 220,763 MIMIC-CXR reports (around 6 million entities and 4 million relations) and 500 CheXpert reports (13,783 entities and 9,908 relations) with mappings to associated chest radiographs. Our freely available dataset can facilitate a wide range of research in medical natural language processing, as well as computer vision and multi-modal learning when linked to chest radiographs.


title: Enhancing the Generalization for Intent Classification and Out-of-Domain Detection in SLU

abstract: Intent classification is a major task in spoken language understanding (SLU). Since most models are built with pre-collected in-domain (IND) training utterances, their ability to detect unsupported out-of-domain (OOD) utterances has a critical effect in practical use. Recent works have shown that using extra data and labels can improve the OOD detection performance, yet it could be costly to collect such data. This paper proposes to train a model with only IND data while supporting both IND intent classification and OOD detection. Our method designs a novel domain-regularized module (DRM) to reduce the overconfident phenomenon of a vanilla classifier, achieving a better generalization in both cases. Besides, DRM can be used as a drop-in replacement for the last layer in any neural network-based intent classifier, providing a low-cost strategy for a significant improvement. The evaluation on four datasets shows that our method built on BERT and RoBERTa models achieves state-of-the-art performance against existing approaches and the strong baselines we created for the comparisons.


title: Exploring convolutional neural networks with transfer learning for diagnosing Lyme disease from skin lesion images

abstract: Lyme disease which is one of the most common infectious vector-borne diseases manifests itself in most cases with erythema migrans (EM) skin lesions. Recent studies show that convolutional neural networks (CNNs) perform well to identify skin lesions from images. Lightweight CNN based pre-scanner applications for resource-constrained mobile devices can help users with early diagnosis of Lyme disease and prevent the transition to a severe late form thanks to appropriate antibiotic therapy. Also, resource-intensive CNN based robust computer applications can assist non-expert practitioners with an accurate diagnosis. The main objective of this study is to extensively analyze the effectiveness of CNNs for diagnosing Lyme disease from images and to find out the best CNN architectures considering resource constraints. First, we created an EM dataset with the help of expert dermatologists from Clermont-Ferrand University Hospital Center of France. Second, we benchmarked this dataset for twenty-three CNN architectures customized from VGG, ResNet, DenseNet, MobileNet, Xception, NASNet, and EfficientNet architectures in terms of predictive performance, computational complexity, and statistical significance. Third, to improve the performance of the CNNs, we used custom transfer learning from ImageNet pre-trained models as well as pre-trained the CNNs with the skin lesion dataset HAM10000. Fourth, for model explainability, we utilized Gradient-weighted Class Activation Mapping to visualize the regions of input that are significant to the CNNs for making predictions. Fifth, we provided guidelines for model selection based on predictive performance and computational complexity.


title: General one-loop contributions to the decay $H\rightarrow \nu_l\bar{\nu}_l\gamma$

abstract: General one-loop contributions to the decay amplitudes $H\rightarrow \nu_l\bar{\nu}_l\gamma$ are presented, considering all possible contributions of additional heavy vector gauge bosons, fermions, and charged (and also neutral) scalar particles appearing in the loop diagrams. Moreover, the results can be applied directly when extra neutrinos (apart from three ones in standard model) are taken into account in final states. Analytic results are presented in terms of Passarino-Veltman scalar functions which can be evaluated numerically using {\tt LoopTools}. In the standard model framework, these analytical results are generated and cross-checked with previous computations. We find that our results are well consistent with these computations. Within standard model limit, phenomenological results for the decay channels are also studied using the updated input parameters at the Large Hadron Collider.


title: Dizygotic Conditional Variational AutoEncoder for Multi-Modal and Partial Modality Absent Few-Shot Learning

abstract: Data augmentation is a powerful technique for improving the performance of the few-shot classification task. It generates more samples as supplements, and then this task can be transformed into a common supervised learning issue for solution. However, most mainstream data augmentation based approaches only consider the single modality information, which leads to the low diversity and quality of generated features. In this paper, we present a novel multi-modal data augmentation approach named Dizygotic Conditional Variational AutoEncoder (DCVAE) for addressing the aforementioned issue. DCVAE conducts feature synthesis via pairing two Conditional Variational AutoEncoders (CVAEs) with the same seed but different modality conditions in a dizygotic symbiosis manner. Subsequently, the generated features of two CVAEs are adaptively combined to yield the final feature, which can be converted back into its paired conditions while ensuring these conditions are consistent with the original conditions not only in representation but also in function. DCVAE essentially provides a new idea of data augmentation in various multi-modal scenarios by exploiting the complement of different modality prior information. Extensive experimental results demonstrate our work achieves state-of-the-art performances on miniImageNet, CIFAR-FS and CUB datasets, and is able to work well in the partial modality absence case.


title: CM-trivial structures without the canonical base property

abstract: Based on Hrushovski, Palac{\'i}n and Pillay's example [6], we produce a new structure without the canonical base property, which is interpretable in Baudisch's group. Said structure is, in particular, CM-trivial, and thus at the lowest possible level of the ample hierarchy.


title: Binding two and three $\alpha$ particles in cold neutron matter

abstract: We elucidate the fate of neighboring two and three-$\alpha$ particles in cold neutron matter by focusing on an analogy between such $\alpha$ systems and Fermi polarons realized in ultracold atoms. We describe in-medium excitation properties of an $\alpha$ particle and neutron-mediated two- and three-$\alpha$ interactions using theoretical approaches developed for studies of cold atomic systems. We numerically solve the few-body Schr\"odinger equation of $\alpha$ particles within standard $\alpha$ cluster models combined with in-medium properties of $\alpha$ particles. We point out that the resultant two-$\alpha$ ground state and three-$\alpha$ first excited state, which correspond to $^8$Be and the Hoyle state, respectively, known as main components in the triple-$\alpha$ reaction, can become bound states in such a many-neutron background although these states are unstable in vacuum. Our results suggest a significance of these in-medium cluster states not only in astrophysical environments such as core-collapsed supernova explosions and neutron star mergers but also in neutron-rich nuclei.


title: Change-Point Detection in Dynamic Networks with Missing Links

abstract: Structural changes occur in dynamic networks quite frequently and its detection is an important question in many situations such as fraud detection or cybersecurity. Real-life networks are often incompletely observed due to individual non-response or network size. In the present paper we consider the problem of change-point detection at a temporal sequence of partially observed networks. The goal is to test whether there is a change in the network parameters. Our approach is based on the Matrix CUSUM test statistic and allows growing size of networks. We show that the proposed test is minimax optimal and robust to missing links. We also demonstrate the good behavior of our approach in practice through simulation study and a real-data application.


title: The degree of a finite set of words

abstract: We prove several results concerning finitely generated submonoids of the free monoid. These results generalize those known for free submonoids. We prove in particular that if $X=Y\circ Z$ is a composition of finite sets of words with $Y$ complete, then $d(X)\le d(Y)d(Z)$.


title: Hyperbolic Busemann Learning with Ideal Prototypes

abstract: Hyperbolic space has become a popular choice of manifold for representation learning of various datatypes from tree-like structures and text to graphs. Building on the success of deep learning with prototypes in Euclidean and hyperspherical spaces, a few recent works have proposed hyperbolic prototypes for classification. Such approaches enable effective learning in low-dimensional output spaces and can exploit hierarchical relations amongst classes, but require privileged information about class labels to position the hyperbolic prototypes. In this work, we propose Hyperbolic Busemann Learning. The main idea behind our approach is to position prototypes on the ideal boundary of the Poincar\'e ball, which does not require prior label knowledge. To be able to compute proximities to ideal prototypes, we introduce the penalised Busemann loss. We provide theory supporting the use of ideal prototypes and the proposed loss by proving its equivalence to logistic regression in the one-dimensional case. Empirically, we show that our approach provides a natural interpretation of classification confidence, while outperforming recent hyperspherical and hyperbolic prototype approaches.


title: Error analysis for physics informed neural networks (PINNs) approximating Kolmogorov PDEs

abstract: Physics informed neural networks approximate solutions of PDEs by minimizing pointwise residuals. We derive rigorous bounds on the error, incurred by PINNs in approximating the solutions of a large class of linear parabolic PDEs, namely Kolmogorov equations that include the heat equation and Black-Scholes equation of option pricing, as examples. We construct neural networks, whose PINN residual (generalization error) can be made as small as desired. We also prove that the total $L^2$-error can be bounded by the generalization error, which in turn is bounded in terms of the training error, provided that a sufficient number of randomly chosen training (collocation) points is used. Moreover, we prove that the size of the PINNs and the number of training samples only grow polynomially with the underlying dimension, enabling PINNs to overcome the curse of dimensionality in this context. These results enable us to provide a comprehensive error analysis for PINNs in approximating Kolmogorov PDEs.


title: False Negative Reduction in Video Instance Segmentation using Uncertainty Estimates

abstract: Instance segmentation of images is an important tool for automated scene understanding. Neural networks are usually trained to optimize their overall performance in terms of accuracy. Meanwhile, in applications such as automated driving, an overlooked pedestrian seems more harmful than a falsely detected one. In this work, we present a false negative detection method for image sequences based on inconsistencies in time series of tracked instances given the availability of image sequences in online applications. As the number of instances can be greatly increased by this algorithm, we apply a false positive pruning using uncertainty estimates aggregated over instances. To this end, instance-wise metrics are constructed which characterize uncertainty and geometry of a given instance or are predicated on depth estimation. The proposed method serves as a post-processing step applicable to any neural network that can also be trained on single frames only. In our tests, we obtain an improved trade-off between false negative and false positive instances by our fused detection approach in comparison to the use of an ordinary score value provided by the instance segmentation network during inference.


title: A More Compact Object Detector Head Network with Feature Enhancement and Relational Reasoning

abstract: Modeling implicit feature interaction patterns is of significant importance to object detection tasks. However, in the two-stage detectors, due to the excessive use of hand-crafted components, it is very difficult to reason about the implicit relationship of the instance features. To tackle this problem, we analyze three different levels of feature interaction relationships, namely, the dependency relationship between the cropped local features and global features, the feature autocorrelation within the instance, and the cross-correlation relationship between the instances. To this end, we propose a more compact object detector head network (CODH), which can not only preserve global context information and condense the information density, but also allows instance-wise feature enhancement and relational reasoning in a larger matrix space. Without bells and whistles, our method can effectively improve the detection performance while significantly reducing the parameters of the model, e.g., with our method, the parameters of the head network is 0.6 times smaller than the state-of-the-art Cascade R-CNN, yet the performance boost is 1.3% on COCO test-dev. Without losing generality, we can also build a more lighter head network for other multi-stage detectors by assembling our method.


title: Adventurer's Treasure Hunt: A Transparent System for Visually Grounded Compositional Visual Question Answering based on Scene Graphs

abstract: With the expressed goal of improving system transparency and visual grounding in the reasoning process in VQA, we present a modular system for the task of compositional VQA based on scene graphs. Our system is called "Adventurer's Treasure Hunt" (or ATH), named after an analogy we draw between our model's search procedure for an answer and an adventurer's search for treasure. We developed ATH with three characteristic features in mind: 1. By design, ATH allows us to explicitly quantify the impact of each of the sub-components on overall VQA performance, as well as their performance on their individual sub-task. 2. By modeling the search task after a treasure hunt, ATH inherently produces an explicit, visually grounded inference path for the processed question. 3. ATH is the first GQA-trained VQA system that dynamically extracts answers by querying the visual knowledge base directly, instead of selecting one from a specially learned classifier's output distribution over a pre-fixed answer vocabulary. We report detailed results on all components and their contributions to overall VQA performance on the GQA dataset and show that ATH achieves the highest visual grounding score among all examined systems.


title: Parabolic Adjoint Action, Weierstrass Sections and Components of the Nilfibre in Type $A$

abstract: This work is a continuation of [Y. Fittouhi and A. Joseph, Weierstrass Sections for Parabolic adjoint action in type $A$]. Let $G$ be an irreducible simple algebraic group and $B$ a Borel subgroup of $G$. Let $\mathfrak n$ be the Lie algebra of the nilradical of $B$. Consider an irreducible subgroup $P$ of $G$ containing $B$. Let $P'$ be the derived group of $P$. Let $\mathfrak m$ be the Lie algebra of the nilradical of $P$. A theorem of Richardson asserts that the algebra $\mathbb C[\mathfrak m]^{P'}$ of $P$ semi-invariants is multiplicity-free. A linear subvariety $e+V$ such that the restriction map induces an isomorphism of $\mathbb C[\mathfrak m]^{P'}$ onto $\mathbb C[e+V]$ is called a Weierstrass section for the action of $P'$ on $\mathfrak m$. Here in type $A$ such a section is constructed, but in better form than that given in Sect. 4, loc cit. Yet the main difference is a complete change of emphasis from the construction of a Weierstrass section, to its application. Let $\mathscr N$ be the nilfibre relative to this action. From the construction of a Weierstrass section $e+V$, it is shown that $e \in \mathscr N$. Then $P.e$ is contained in a unique irreducible component $\mathscr C$ of $\mathscr N$. The structure of $e+V$ is used to give a rather explicit description of $\mathscr C$ as a $B$ saturation set, that is of the form $\overline{B.\mathfrak u}$, where $\mathfrak u$ is a subalgebra of $\mathfrak n$ . This algebra is not necessarily complemented by a subalgebra in $\mathfrak n$ and so $\overline{B.\mathfrak u}$ is not necessarily an orbital variety closure (hence Lagrangian) but it can be. It is shown that $\mathscr C$ need not contain a dense $P$ orbit and this by a purely theoretical analysis. This occurs for an appropriate parabolic in $A_{10}$ and is possibly the simplest example. In this particular case $\mathscr C$ is not an orbital variety closure.


title: The shadows and observational appearance of a noncommutative black hole surrounded by various profiles of accretions

abstract: The accretion around the black hole plays a pivotal role in the theoretical analysis of black hole shadow, and of the black hole observation in particular. In this paper, we mainly study the shadow and observation characteristics of noncommutative Schwarzschild black holes wrapped by three accretion models, and then explore the influence of noncommutative parameters on the observation appearance and spacetime geometry of black holes. When the black hole is surrounded by an optically and geometrically thin accretion disk, it shows that the direct emissions always dominate the total observed intensity, while the lensing ring superimposed upon the direct emission produces a thin ring, which improves the observation intensity of the black hole image. However, the photon rings makes a negligible contributions to the total observed brightness due to its exponential narrowness, although the photon ring intersects the thin plane more than three times to pick up larger intensity. More importantly, when the noncommutative parameters changed, the corresponding regions and observation intensities of photon ring, lensing ring and direct emission all change correspondingly. For optical thin spherically symmetric accretion, we consider the static and infalling matters, respectively. We find that the observation intensity of the two spherical accretion models increase with the increase of noncommutative parameters. In addition, due to the Doppler effect of the infalling movement, the shadow image of infalling accretion is darker than that of static accretion. In a word, the different accretion models and noncommutative parameters will lead to different shadow images and optical appearances of noncommutative Schwarzschild black holes.


title: Distributed stochastic gradient tracking algorithm with variance reduction for non-convex optimization

abstract: This paper proposes a distributed stochastic algorithm with variance reduction for general smooth non-convex finite-sum optimization, which has wide applications in signal processing and machine learning communities. In distributed setting, large number of samples are allocated to multiple agents in the network. Each agent computes local stochastic gradient and communicates with its neighbors to seek for the global optimum. In this paper, we develop a modified variance reduction technique to deal with the variance introduced by stochastic gradients. Combining gradient tracking and variance reduction techniques, this paper proposes a distributed stochastic algorithm, GT-VR, to solve large-scale non-convex finite-sum optimization over multi-agent networks. A complete and rigorous proof shows that the GT-VR algorithm converges to first-order stationary points with $O(\frac{1}{k})$ convergence rate. In addition, we provide the complexity analysis of the proposed algorithm. Compared with some existing first-order methods, the proposed algorithm has a lower $\mathcal{O}(PM\epsilon^{-1})$ gradient complexity under some mild condition. By comparing state-of-the-art algorithms and GT-VR in experimental simulations, we verify the efficiency of the proposed algorithm.


title: An SIR-like kinetic model tracking individuals' viral load

abstract: Mathematical models are formal and simplified representations of the knowledge related to a phenomenon. In classical epidemic models, a neglected aspect is the heterogeneity of disease transmission and progression linked to the viral load of each infectious individual. Here, we attempt to investigate the interplay between the evolution of individuals' viral load and the epidemic dynamics from a theoretical point of view. In the framework of multi-agent systems, we propose a particle stochastic model describing the infection transmission through interactions among agents and the individual physiological course of the disease. Agents have a double microscopic state: a discrete label, that denotes the epidemiological compartment to which they belong and switches in consequence of a Markovian process, and a microscopic trait, representing a normalized measure of their viral load, that changes in consequence of binary interactions or interactions with a background. Specifically, we consider Susceptible--Infected--Removed--like dynamics where infectious individuals may be isolated from the general population and the isolation rate may depend on the viral load sensitivity and frequency of tests. We derive kinetic evolution equations for the distribution functions of the viral load of the individuals in each compartment, whence, via suitable upscaling procedures, we obtain a macroscopic model for the densities and viral load momentum. We perform then a qualitative analysis of the ensuing macroscopic model, and we present numerical tests in the case of both constant and viral load-dependent isolation control. Also, the matching between the aggregate trends obtained from the macroscopic descriptions and the original particle dynamics simulated by a Monte Carlo approach is investigated.

categories: physics.soc-ph cond-mat.stat-mech math.DS q-bio.PE


title: Complexity-based partitioning of CSFI problem instances with Transformers

abstract: In this paper, we propose a two-steps approach to partition instances of the Conjunctive Normal Form (CNF) Syntactic Formula Isomorphism problem (CSFI) into groups of different complexity. First, we build a model, based on the Transformer architecture, that attempts to solve instances of the CSFI problem. Then, we leverage the errors of such model and train a second Transformer-based model to partition the problem instances into groups of different complexity, thus detecting the ones that can be solved without using too expensive resources. We evaluate the proposed approach on a pseudo-randomly generated dataset and obtain promising results. Finally, we discuss the possibility of extending this approach to other problems based on the same type of textual representation.


title: A unified multi-phase and multi-material formulation for combustion modelling

abstract: The motivation of this work is to produce an integrated formulation for material response due to detonation wave loading. Here, we focus on elastoplastic structural response. In particular, we are interested to capture miscible and immiscible behaviour within condensed-phase explosives arising from the co-existence of a reactive carrier mixture of miscible materials, and several material interfaces due to the presence of immiscible impurities such as particles or cavities. The dynamic and thermodynamic evolution of the explosive is communicated to one or more inert confiners through their shared interfaces, which may undergo severe topological change. We also wish to consider elastic and plastic structural response of the confiners, rather than make a hydrodynamic assumption for their behaviour. Previous work by these authors has met these requirements by means of the simultaneous solution of appropriate systems of equations for the behaviour of the condensed-phase explosive and the elastoplastic behaviour of the confiners. In the present work, we employ a single system of partial differential equations (PDEs) proposed by Peshkov and Romenski, which is able to account for different states of matter by means of generalising the concept of distortion tensors beyond solids. We amalgamate that formulation with a single system of PDEs which meets the requirement of co-existing miscible and immiscible explosive mixtures. We present the mathematical derivation and construct appropriate algorithms for its solution. The resulting model is validated against exact solutions for several use-cases, including mechanically- and thermally-induced, inviscid and viscous detonations. Results indicate that the model can accurately simulate a very broad range of problems involving the nonlinear interaction between reactive and inert materials within a single framework.


title: Cheating Detection Pipeline for Online Interviews and Exams

abstract: Remote examination and job interviews have gained popularity and become indispensable because of both pandemics and the advantage of remote working circumstances. Most companies and academic institutions utilize these systems for their recruitment processes and also for online exams. However, one of the critical problems of the remote examination systems is conducting the exams in a reliable environment. In this work, we present a cheating analysis pipeline for online interviews and exams. The system only requires a video of the candidate, which is recorded during the exam. Then cheating detection pipeline is employed to detect another person, electronic device usage, and candidate absence status. The pipeline consists of face detection, face recognition, object detection, and face tracking algorithms. To evaluate the performance of the pipeline we collected a private video dataset. The video dataset includes both cheating activities and clean videos. Ultimately, our pipeline presents an efficient and fast guideline to detect and analyze cheating activities in an online interview and exam video.


title: Automatically Determining a Network Reconnaissance Scope Using Passive Scanning Techniques

abstract: The starting point of securing a network is having a concise overview of it. As networks are becoming more and more complex both in general and with the introduction of IoT technology and their topological peculiarities in particular, this is increasingly difficult to achieve. Especially in cyber-physical environments, such as smart factories, gaining a reliable picture of the network can be, due to intertwining of a vast amount of devices and different protocols, a tedious task. Nevertheless, this work is necessary to conduct security audits, compare documentation with actual conditions or found vulnerabilities using an attacker's view, for all of which a reliable topology overview is pivotal. For security auditors, however, there might not much information, such as asset management access, be available beforehand, which is why this paper assumes network to audit as a complete black box. The goal is therefore to set security auditors in a condition of, without having any a priori knowledge at all, automatically gaining a topology oversight. This paper describes, in the context of a bigger system that uses active scanning to determine the network topology, an approach to automate the first steps of this procedure: passively scanning the network and determining the network's scope, as well as gaining a valid address to perform the active scanning. This allows for bootstrapping an automatic network discovery process without prior knowledge.


title: Scalable computation of dynamic flow problems via multi-marginal graph-structured optimal transport

abstract: In this work, we develop a new framework for dynamic network flow problems based on optimal transport theory. We show that the dynamic multi-commodity minimum-cost network flow problem can be formulated as a multi-marginal optimal transport problem, where the cost function and the constraints on the marginals are associated with a graph structure. By exploiting these structures and building on recent advances in optimal transport theory, we develop an efficient method for such entropy-regularized optimal transport problems. In particular, the graph structure is utilized to efficiently compute the projections needed in the corresponding Sinkhorn iterations, and we arrive at a scheme that is both highly computationally efficient and easy to implement. To illustrate the performance of our algorithm, we compare it with a state-of-the-art Linear programming (LP) solver. We achieve good approximations to the solution at least one order of magnitude faster than the LP solver. Finally, we showcase the methodology on a traffic routing problem with a large number of commodities.


title: Unifying Revealed Preference and Revealed Rational Inattention

abstract: This paper unifies two key results from economic theory, namely, revealed rational inattention and classical revealed preference. Revealed rational inattention tests for rationality of information acquisition for Bayesian decision makers. On the other hand, classical revealed preference tests for utility maximization under known budget constraints. Our first result is an equivalence result - we unify revealed rational inattention and revealed preference through an equivalence map over decision parameters and partial order for payoff monotonicity over the decision space in both setups. Second, we exploit the unification result computationally to extend robustness measures for goodness-of-fit of revealed preference tests in the literature to revealed rational inattention. This extension facilitates quantifying how well a Bayesian decision maker's actions satisfy rational inattention. Finally, we illustrate the significance of the unification result on a real-world YouTube dataset comprising thumbnail, title and user engagement metadata from approximately 140,000 videos. We compute the Bayesian analog of robustness measures from revealed preference literature on YouTube metadata features extracted from a deep auto-encoder, i.e., a deep neural network that learns low-dimensional features of the metadata. The computed robustness values show that YouTube user engagement fits the rational inattention model remarkably well. All our numerical experiments are completely reproducible.


title: A Meta-Heuristic Search Algorithm based on Infrasonic Mating Displays in Peafowls

abstract: Meta-heuristic techniques are important as they are used to find solutions to computationally intractable problems. Simplistic methods such as exhaustive search become computationally expensive and unreliable as the solution space for search algorithms increase. As no method is guaranteed to perform better than all others in all classes of optimization search problems, there is a need to constantly find new and/or adapt old search algorithms. This research proposes an Infrasonic Search Algorithm, inspired from the Gravitational Search Algorithm and the mating behaviour in peafowls. The Infrasonic Search Algorithm identified competitive solutions to 23 benchmark unimodal and multimodal test functions compared to the Genetic Algorithm, Particle Swarm Optimization Algorithm and the Gravitational Search Algorithm.


title: Twin stars: probe of phase transition from hadronic to quark matter

abstract: In agreement with the gravitational-wave events which are constantly increasing, new aspects of the internal structure of compact stars have come to light. A scenario in which a first order transition takes place inside these stars is of particular interest as it can lead, under conditions, to a third gravitationally stable branch (besides white dwarfs and neutron stars). This is known as the twin star scenario. The new branch yields stars with the same mass as normal compact stars but quite different radii. In the current work, we focus on hybrid stars undergone a hadron to quark phase transition near their core and how this new stable configuration arises. Emphasis is to be given especially in the aspects of the phase transition and its parameterization in two different ways, namely with Maxwell construction and with Gibbs construction. Qualitative findings of mass-radius relations of these stars will also be presented.


title: Ion and site correlations of charge regulating surfaces: a simple and accurate theory

abstract: Charge regulation is a fundamental mechanism in most chemical, geochemical, and biochemical systems. Various minerals surfaces and proteins are well-known to change their charge state as a function of the activity of the hydronium ions, i.e., the pH. Besides being modulated by the pH, the charge state is sensitive to salt concentration and composition due to screening and ion correlations. Given the importance of electrostatic interactions, a reliable and straightforward theory of charge regulation would be of utmost importance. This paper presents such a theory that accounts for salt screening, site and ion correlations. Our approach shows an impeccable agreement compared to Monte Carlo simulations and experiments of 1:1 and 2:1 salts. We furthermore disentangle the relative importance of site-site, ion-ion and ion-site correlations. Contrary to previous claims, we find that ion-site correlations are subdominant to the two other correlation terms.


title: Making Images Real Again: A Comprehensive Survey on Deep Image Composition

abstract: As a common image editing operation, image composition aims to combine the foreground from one image and another background image, resulting in a composite image. However, there are many issues that could make the composite images unrealistic. These issues can be summarized as the inconsistency between foreground and background, which includes appearance inconsistency (e.g., incompatible illumination), geometry inconsistency (e.g., unreasonable size), and semantic inconsistency (e.g., mismatched semantic context). Image composition task could be decomposed into multiple sub-tasks, in which each sub-task targets at one or more issues. Specifically, object placement aims to find reasonable scale, location, and shape for the foreground. Image blending aims to address the unnatural boundary between foreground and background. Image harmonization aims to adjust the illumination statistics of foreground. Shadow generation aims to generate plausible shadow for the foreground. These sub-tasks can be executed sequentially or parallelly to acquire realistic composite images. To the best of our knowledge, there is no previous survey on image composition. In this paper, we conduct comprehensive survey over the sub-tasks and combinatorial task of image composition. For each one, we summarize the existing methods, available datasets, and common evaluation metrics. Datasets and codes for image composition are summarized at https://github.com/bcmi/Awesome-Image-Composition. We have also contributed the first image composition toolbox: libcom https://github.com/bcmi/libcom, which assembles 10+ image composition related functions (e.g., image blending, image harmonization, object placement, shadow generation, generative composition). The ultimate goal of this toolbox is solving all the problems related to image composition with simple `import libcom'.


title: Transit detection of the long-period volatile-rich super-Earth $\nu^2$ Lupi d with $CHEOPS$

abstract: Exoplanets transiting bright nearby stars are key objects for advancing our knowledge of planetary formation and evolution. The wealth of photons from the host star gives detailed access to the atmospheric, interior, and orbital properties of the planetary companions. $\nu^2$ Lupi (HD 136352) is a naked-eye ($V = 5.78$) Sun-like star that was discovered to host three low-mass planets with orbital periods of 11.6, 27.6, and 107.6 days via radial velocity monitoring (Udry et al. 2019). The two inner planets (b and c) were recently found to transit (Kane et al. 2020), prompting a photometric follow-up by the brand-new $CHaracterising\:ExOPlanets\:Satellite\:(CHEOPS)$. Here, we report that the outer planet d is also transiting, and measure its radius and mass to be $2.56\pm0.09$ $R_{\oplus}$ and $8.82\pm0.94$ $M_{\oplus}$, respectively. With its bright Sun-like star, long period, and mild irradiation ($\sim$5.7 times the irradiation of Earth), $\nu^2$ Lupi d unlocks a completely new region in the parameter space of exoplanets amenable to detailed characterization. We refine the properties of all three planets: planet b likely has a rocky mostly dry composition, while planets c and d seem to have retained small hydrogen-helium envelopes and a possibly large water fraction. This diversity of planetary compositions makes the $\nu^2$ Lupi system an excellent laboratory for testing formation and evolution models of low-mass planets.


title: Extracting the astrophysics of reionization from the Ly$\alpha$ forest power spectrum: a first forecast

abstract: The impact of cosmic reionization on the Ly$\alpha$ forest power spectrum has recently been shown to be significant even at low redshifts ($z \sim 2$). This memory of reionization survives cosmological time scales because high-entropy mean-density gas is heated to $\sim 3\times10^4$ K by reionization, which is inhomogeneous, and subsequent shocks from denser regions. In the near future, the first measurements of the Ly$\alpha$ forest 3D power spectrum will be very likely achieved by upcoming observational efforts such as the Dark Energy Spectroscopic Instrument (DESI). In addition to abundant cosmological information, these observations have the potential to extract the astrophysics of reionization from the Ly$\alpha$ forest. We forecast, for the first time, the accuracy with which the measurements of Ly$\alpha$ forest 3D power spectrum can place constraints on the reionization parameters with DESI. Specifically, we demonstrate that the constraints on the ionization efficiency, $\zeta$, and the threshold mass for haloes that host ionizing sources, $m_{\rm turn}$, will have the $1\sigma$ error at the level of $\zeta = 25.0 \pm 11.6$ and $\log_{10} (m_{\rm turn}/{\rm M}_\odot) = 8.7^{+0.36}_{-0.70}$, respectively. The Ly$\alpha$ forest 3D power spectrum will thus provide an independent probe of reionization, probably even earlier in detection with DESI, with a sensitivity only slightly worse than the upcoming 21 cm power spectrum measurement with the Hydrogen Epoch of Reionization Array (HERA), i.e.\ $\sigma_{\rm DESI} / \sigma_{\rm HERA} \approx 1.5$ for $\zeta$ and $\sigma_{\rm DESI}/\sigma_{\rm HERA} \approx 2.0$ for $\log_{10}(m_{\rm turn} / $M$_\odot)$. Nevertheless, the Ly$\alpha$ forest constraint will be improved about three times tighter than the current constraint from reionization observations with high-z galaxy priors.


title: The data-driven localized wave solutions of the derivative nonlinear Schrodinger equation by using improved PINN approach

abstract: The research of the derivative nonlinear Schrodinger equation (DNLS) has attracted more and more extensive attention in theoretical analysis and physical application. The improved physicsinformed neural network (IPINN) approach with neuron-wise locally adaptive activation function is presented to derive the data-driven localized wave solutions, which contain rational solution, soliton solution, rogue wave, periodic wave and rogue periodic wave for the DNLS with initial and boundary conditions in complex space. Especially, the data-driven periodic wave and rogue periodic wave of the DNLS are investigated by employing the IPINN method for the first time. Furthermore, the relevant dynamical behaviors, error analysis and vivid plots have been exhibited in detail. The numerical results indicate the IPINN method can well simulate the localized wave solutions of the DNLS under a small data set.