title: HASA: Hybrid Architecture Search with Aggregation Strategy for Echinococcosis Classification and Ovary Segmentation in Ultrasound Images

abstract: Different from handcrafted features, deep neural networks can automatically learn task-specific features from data. Due to this data-driven nature, they have achieved remarkable success in various areas. However, manual design and selection of suitable network architectures are time-consuming and require substantial effort of human experts. To address this problem, researchers have proposed neural architecture search (NAS) algorithms which can automatically generate network architectures but suffer from heavy computational cost and instability if searching from scratch. In this paper, we propose a hybrid NAS framework for ultrasound (US) image classification and segmentation. The hybrid framework consists of a pre-trained backbone and several searched cells (i.e., network building blocks), which takes advantage of the strengths of both NAS and the expert knowledge from existing convolutional neural networks. Specifically, two effective and lightweight operations, a mixed depth-wise convolution operator and a squeeze-and-excitation block, are introduced into the candidate operations to enhance the variety and capacity of the searched cells. These two operations not only decrease model parameters but also boost network performance. Moreover, we propose a re-aggregation strategy for the searched cells, aiming to further improve the performance for different vision tasks. We tested our method on two large US image datasets, including a 9-class echinococcosis dataset containing 9566 images for classification and an ovary dataset containing 3204 images for segmentation. Ablation experiments and comparison with other handcrafted or automatically searched architectures demonstrate that our method can generate more powerful and lightweight models for the above US image classification and segmentation tasks.


title: Leveraging convergence behavior to balance conflicting tasks in multi-task learning

abstract: Multi-Task Learning is a learning paradigm that uses correlated tasks to improve performance generalization. A common way to learn multiple tasks is through the hard parameter sharing approach, in which a single architecture is used to share the same subset of parameters, creating an inductive bias between them during the training process. Due to its simplicity, potential to improve generalization, and reduce computational cost, it has gained the attention of the scientific and industrial communities. However, tasks often conflict with each other, which makes it challenging to define how the gradients of multiple tasks should be combined to allow simultaneous learning. To address this problem, we use the idea of multi-objective optimization to propose a method that takes into account temporal behaviour of the gradients to create a dynamic bias that adjust the importance of each task during the backpropagation. The result of this method is to give more attention to the tasks that are diverging or that are not being benefited during the last iterations, allowing to ensure that the simultaneous learning is heading to the performance maximization of all tasks. As a result, we empirically show that the proposed method outperforms the state-of-art approaches on learning conflicting tasks. Unlike the adopted baselines, our method ensures that all tasks reach good generalization performances.


title: SNP2Vec: Scalable Self-Supervised Pre-Training for Genome-Wide Association Study

abstract: Self-supervised pre-training methods have brought remarkable breakthroughs in the understanding of text, image, and speech. Recent developments in genomics has also adopted these pre-training methods for genome understanding. However, they focus only on understanding haploid sequences, which hinders their applicability towards understanding genetic variations, also known as single nucleotide polymorphisms (SNPs), which is crucial for genome-wide association study. In this paper, we introduce SNP2Vec, a scalable self-supervised pre-training approach for understanding SNP. We apply SNP2Vec to perform long-sequence genomics modeling, and we evaluate the effectiveness of our approach on predicting Alzheimer's disease risk in a Chinese cohort. Our approach significantly outperforms existing polygenic risk score methods and all other baselines, including the model that is trained entirely with haploid sequences. We release our code and dataset on https://github.com/HLTCHKUST/snp2vec.


title: Gallery D.C.: Auto-created GUI Component Gallery for Design Search and Knowledge Discovery

abstract: GUI design is an integral part of software development. The process of designing a mobile application typically starts with the ideation and inspiration search from existing designs. However, existing information-retrieval based, and database-query based methods cannot efficiently gain inspirations in three requirements: design practicality, design granularity and design knowledge discovery. In this paper we propose a web application, called \tool that aims to facilitate the process of user interface design through real world GUI component search. Gallery D.C. indexes GUI component designs using reverse engineering and deep learning based computer vision techniques on millions of real world applications. To perform an advanced design search and knowledge discovery, our approach extracts information about size, color, component type, and text information to help designers explore multi-faceted design space and distill higher-order of design knowledge. Gallery D.C. is well received via an informal evaluation with 7 professional designers. Web Link: http://mui-collection.herokuapp.com/. Demo Video Link: https://youtu.be/zVmsz_wY5OQ.


title: LSTM-Autoencoder based Anomaly Detection for Indoor Air Quality Time Series Data

abstract: Anomaly detection for indoor air quality (IAQ) data has become an important area of research as the quality of air is closely related to human health and well-being. However, traditional statistics and shallow machine learning-based approaches in anomaly detection in the IAQ area could not detect anomalies involving the observation of correlations across several data points (i.e., often referred to as long-term dependences). We propose a hybrid deep learning model that combines LSTM with Autoencoder for anomaly detection tasks in IAQ to address this issue. In our approach, the LSTM network is comprised of multiple LSTM cells that work with each other to learn the long-term dependences of the data in a time-series sequence. Autoencoder identifies the optimal threshold based on the reconstruction loss rates evaluated on every data across all time-series sequences. Our experimental results, based on the Dunedin CO2 time-series dataset obtained through a real-world deployment of the schools in New Zealand, demonstrate a very high and robust accuracy rate (99.50%) that outperforms other similar models.


title: Room-temperature printing of ultrathin Quasi-2D GaN semiconductor via liquid metal gallium surface confined nitridation reaction

abstract: Outstanding wide-bandgap semiconductor material such as gallium nitride (GaN) has been extensively utilized in power electronics, radiofrequency amplifiers, and harsh environment devices. Due to its quantum confinement effect in enabling desired deep-ultraviolet emission, excitonic impact, and electronic transport features, two-dimensional (2D) or ultrathin quasi-2D GaN semiconductors have been one of the most remarkable candidates for future growth of microelectronic devices. Here, for the first time, we reported a large area, wide bandgap, and room-temperature quasi-2D GaN synthesis and printing strategy through introducing the plasma medicated liquid metal gallium surface-confined nitridation reaction mechanism. The developed direct fabrication and compositional process is consistent with various electronics manufacturing approaches and thus opens an easy going way for cost-effective growth of the third-generation semiconductor. In particular, the fully printed field-effect transistors relying on the GaN thus made show p-type switching with an on/off ratio greater than 105, maximum field-effect hole mobility of 53 cm2/(V*s), and a small sub-threshold swing. As it was demonstrated, the present method allows to produce at room temperature the GaN with thickness spanning from 1nm to nanometers. This basic method can be further extended, generalized, and utilized for making various electronic and photoelectronic devices in the coming time.


title: First-Principles investigation of the First-order Phase Transition in Kagome Na$_2$Ti$_3$Cl$_8$

abstract: The antiferromagnetic kagome material Na2Ti3Cl8 exhibits a first-order phase transition; the low-temperature phase is characterized by the trimerizations of Ti ions. In this work, we carry out first-principles calculations on the crystal and electronic structure of Na$_2$Ti$_3$Cl$_8$ at the high- and low-temperature phases. The crystal structures, including the lattice constant and the trimerization of Ti ions, are well reproduced by taking account a small Hubbard correction of 1 eV. The calculated total energy landscape reveals a first-order phase transition with the total energy barrier of 80 meV per formula unit. Analysis of the electronic structure indicates a direct metal bonding among Ti in the trimierized low-temperature phase.


title: Detecting Anomalous LAN Activities under Differential Privacy

abstract: Anomaly detection has emerged as a popular technique for detecting malicious activities in local area networks (LANs). Various aspects of LAN anomaly detection have been widely studied. Nonetheless, the privacy concern about individual users or their relationship in LAN has not been thoroughly explored in the prior work. In some realistic cases, the anomaly detection analysis needs to be carried out by an external party, located outside the LAN. Thus, it is important for the LAN admin to release LAN data to this party in a private way in order to protect privacy of LAN users; at the same time, the released data must also preserve the utility of being able to detect anomalies. This paper investigates the possibility of privately releasing ARP data that can later be used to identify anomalies in LAN. We present four approaches and show that they satisfy different levels of differential privacy - a rigorous and provable notion for quantifying privacy loss in a system. Our real-world experimental results confirm practical feasibility of our approaches. With a proper privacy budget, all of our approaches preserve more than 75% utility of detecting anomalies in the released data.


title: Hierarchical-Absolute Reciprocity Calibration for Millimeter-wave Hybrid Beamforming Systems

abstract: In time-division duplexing (TDD) millimeter-wave (mmWave) massive multiple-input multiple-output (MIMO) systems, the reciprocity mismatch severely degrades the performance of the hybrid beamforming (HBF). In this work, to mitigate the detrimental effect of the reciprocity mismatch, we investigate reciprocity calibration for the mmWave-HBF system with a fully-connected phase shifter network. To reduce the overhead and computational complexity of reciprocity calibration, we first decouple digital radio frequency (RF) chains and analog RF chains with beamforming design. Then, the entire calibration problem of the HBF system is equivalently decomposed into two subproblems corresponding to the digital-chain calibration and analog-chain calibration. To solve the calibration problems efficiently, a closed-form solution to the digital-chain calibration problem is derived, while an iterative-alternating optimization algorithm for the analog-chain calibration problem is proposed. To measure the performance of the proposed algorithm, we derive the Cram\'er-Rao lower bound on the errors in estimating mismatch coefficients. The results reveal that the estimation errors of mismatch coefficients of digital and analog chains are uncorrelated, and that the mismatch coefficients of receive digital chains can be estimated perfectly. Simulation results are presented to validate the analytical results and to show the performance of the proposed calibration approach.


title: Long-term evolution of a supernova remnant hosting a double neutron star binary

abstract: An ultra-stripped supernova (USSN) is a type of core-collapse SN explosion proposed to be a candidate formation site of a double neutron star (DNS) binary. We investigate the dynamical evolution of an ultra-stripped supernova remnant (USSNR), which should host a DNS at its center. By accounting for the mass-loss history of the progenitor binary using a model developed by a previous study, we construct the large-scale structure of the {circumstellar medium (CSM)} up to a radius $\sim 100\,{\rm pc}$, and simulate the explosion and subsequent evolution of a USSN surrounded by such a CSM environment. We find that the CSM encompasses an extended region characterized by a hot plasma with a temperature $\sim 10^8\,$K located around the termination shock of the wind from the progenitor binary ($\sim 10\,$pc), and the USSNR blastwave is drastically weakened while penetrating through this hot plasma. Radio continuum emission from a young USSNR is sufficiently bright to be detectable if it inhabits our Galaxy but faint compared to the observed Galactic SNRs, and thereafter declines in luminosity through adiabatic cooling. Within our parameter space, USSNRs typically exhibit a low radio luminosity and surface brightness compared to the known Galactic SNRs. Due to the small event rate of USSNe and their relatively short observable lifespan, we calculate that USSNRs account for only $\sim 0.1$-$1$ % of the total SNR population. This is consistent with the fact that no SNR hosting a DNS binary has been discovered in the Milky Way so far.


title: Particle acceleration by counter-propagating circularly polarized Alfv\'en waves

abstract: Counterpropagating Alfv\'en waves are ubiquitously observed in many astrophysical environments, such as a star surface and a planetary foreshock. We discuss an efficient particle acceleration mechanism in two counterpropagating circularly polarized Alfv\'en waves. Phase transitions of particle behavior occur when wave amplitudes exceed two critical values. Above the critical amplitudes, the numerical simulation shows that any particles irreversibly gain relativistic energy within a short time regardless of their initial position and energy once the coherent waveform is formed. The accelerated particles have spatial coherence. Higher wave phase velocity requires smaller critical amplitudes, while the maximum attainable energy increases as the wavenumber and the frequency decrease. The results may be applicable in some astrophysical phenomena, as well as a future laboratory experiment using high-power lasers.


title: HST /COS Lyman-alpha Absorbers in Cosmic Voids

abstract: We investigate the spatial distribution of Lyman-$\alpha$ (Ly $\alpha$) absorbers within cosmic voids. We create a catalogue of cosmic voids in Sloan Digital Sky Survey Data Release 7 (SDSS DR7) with the VoidFinder algorithm of the Void Analysis Software Toolkit (VAST). Using the largest catalogue of low-redshift (z $\leq$ 0.75) IGM absorbers to date, we identify 392 Ly $\alpha$ absorbers inside voids. The fraction of Ly $\alpha$ absorbers inside voids (65 per cent) is comparable to the volume filling fraction of voids (68 per cent), and significantly greater than the fraction of galaxies inside voids (21 per cent). Inside voids, the spatial distribution of Ly $\alpha$ absorbers differs markedly from that of galaxies. Galaxy density rises sharply near void edges, while Ly $\alpha$ absorber density is relatively uniform. The radial distribution of Ly $\alpha$ absorbers inside voids differs marginally from a random distribution. We find that lower column density Ly $\alpha$ absorbers are more centrally concentrated inside voids than higher column density Ly $\alpha$ absorbers. These results suggest the presence of two populations of Ly $\alpha$ absorbers: low column density systems that are nearly uniformly distributed in the interiors of voids and systems associated with galaxies at the edges of voids.


title: K-stability of Fano threefolds of rank 2 and degree 14 as double covers

abstract: We prove that every smooth Fano threefold from the family No 2.8 is K-stable. Such a Fano threefold is a double cover of the blow-up of $\mathbb{P}^3$ at one point branched along an anti-canonical divisor.


title: Classification of convex ancient free boundary mean curvature flows in the ball

abstract: We prove that there exists, in every dimension, a unique (modulo rotations about the origin and time translations) convex ancient mean curvature flow in the ball with free boundary on the sphere.


title: Asymptotic analysis for elliptic systems in a narrow region

abstract: This paper is concerned with investigating the asymptotic behavior of the gradients of solutions to a class of elliptic systems with general boundary data, especially covering the Lam\'{e} systems, in a narrow region. The novelty of this paper lies in finding the correction term to improve the previous gradient estimates to be a precise asymptotic formula. Through this justification, we capture all singular terms and thus give a fairly sharp characterization in terms of the singularities of the gradients.


title: A comparison between higher-order nonclassicalities of superposition engineered coherent and thermal states

abstract: We consider an experimentally obtainable SUP operator, defined by using a generalized superposition of products of field annihilation ($a$) and creation ($a^\dagger$) operators of the type, $A = saa^\dagger+t{a^\dagger}a$ with $s^2+t^2=1$. We apply this SUP operator on coherent and thermal quantum states, the states thus produced are referred as SUP-operated coherent state (SOCS) and SUP-operated thermal state (SOTS), respectively. In the present work, we report a comparative study between the higher-order nonclassical properties of SOCS and SOTS. The comparison is performed by using a set of nonclassicality witnesses (e.g., higher-order antiubunching, higher-order sub-Poissonian photon statistics, higher-order squeezing, Agarwal-Tara parameter, Klyshko's condition). The existence of higher-order nonclassicalities in SOCS and SOTS have been investigated for the first time. In view of possible experimental verification of the proposed scheme, we present exact calculations to reveal the effect of non-unit quantum efficiency of quantum detector on higher-order nonclassicalities.


title: Piezoelectric ferromagnetism in Janus monolayer YBrI: a first-principle prediction

abstract: Coexistence of intrinsic ferromagnetism and piezoelectricity, namely piezoelectric ferromagnetism (PFM), is crucial to advance multifunctional spintronic technologies. In this work, we demonstrate that Janus monolayer YBrI is a PFM, which is dynamically, mechanically and thermally stable. Electronic correlation effects on physical properties of YBrI are investigated by using generalized gradient approximation plus $U$ (GGA+$U$) approach. For out-of-plane magnetic anisotropy, YBrI is a ferrovalley (FV) material, and the valley splitting is larger than 82 meV in considered $U$ range. The anomalous valley Hall effect (AVHE) can be achieved under an in-plane electric field. However, for in-plane magnetic anisotropy, YBrI is a common ferromagnetic (FM) semiconductor. When considering intrinsic magnetic anisotropy, the easy axis of YBrI is always in-plane with magnetic anisotropy energy (MAE) from 0.309 meV to 0.237 meV ($U$=0.0 eV to 3.0 eV). However, the magnetization can be adjusted from the in-plane to off-plane direction by external magnetic field, and then lead to the occurrence of valley polarization. Moreover, missing centrosymmetry along with mirror symmetry breaking results in both in-plane and out-of-plane piezoelectricity in YBrI monolayer. At a typical $U$=2.0 eV, the $d_{11}$ is predicted to be -5.61 pm/V, which is higher than or compared with ones of other two-dimensional (2D) known materials. The electronic and piezoelectric properties of YBrI can be effectively tuned by applying a biaxial strain. For example, tensile strain can enhance valley splitting and $d_{11}$ (absolute value). The predicted Curie temperature of YBrI is higher than those of experimentally synthesized 2D ferromagnetic materials $\mathrm{CrI_3}$ and $\mathrm{Cr_2Ge_2Te_6}$.


title: graph-GPA 2.0: A Graphical Model for Multi-disease Analysis of GWAS Results with Integration of Functional Annotation Data

abstract: Genome-wide association studies (GWAS) have successfully identified a large number of genetic variants associated with traits and diseases. However, it still remains challenging to fully understand functional mechanisms underlying many associated variants. This is especially the case when we are interested in variants shared across multiple phenotypes. To address this challenge, we propose graph-GPA 2.0 (GGPA 2.0), a novel statistical framework to integrate GWAS datasets for multiple phenotypes and incorporate functional annotations within a unified framework. We conducted simulation studies to evaluate GGPA 2.0. The results indicate that incorporating functional annotation data using GGPA 2.0 does not only improve detection of disease-associated variants, but also allows to identify more accurate relationships among diseases. We analyzed five autoimmune diseases and five psychiatric disorders with the functional annotations derived from GenoSkyline and GenoSkyline-Plus and the prior disease graph generated by biomedical literature mining. For autoimmune diseases, GGPA 2.0 identified enrichment for blood, especially B cells and regulatory T cells across multiple diseases. Psychiatric disorders were enriched for brain, especially prefrontal cortex and inferior temporal lobe for bipolar disorder (BIP) and schizophrenia (SCZ), respectively. Finally, GGPA 2.0 successfully identified the pleiotropy between BIP and SCZ. These results demonstrate that GGPA 2.0 can be a powerful tool to identify associated variants associated with each phenotype or those shared across multiple phenotypes, while also promoting understanding of functional mechanisms underlying the associated variants.


title: Huge out-of-plane piezoelectric response in ferromagnetic monolayer NiClI

abstract: The combination of piezoelectricity and ferromagnetic (FM) order in a two-dimensional (2D) material, namely 2D piezoelectric ferromagnetism (PFM), may open up unprecedented opportunities for novel device applications. Here, we predict an in-plane FM semiconductor Janus monolayer NiClI with considerably large magnetic anisotropy energy (MAE) of 1.439 meV, exhibiting dynamic, mechanical and thermal stabilities. The NiClI monolayer possesses larger in-plane piezoelectricity ($d_{11}$$=$5.21 pm/V) comparable to that of $\mathrm{MoS_2}$. Furthermore, NiClI has huge out-of-plane piezoelectricity ($d_{31}$$=$1.89 pm/V), which is highly desirable for ultrathin piezoelectric device application. It is proved that huge out-of-plane piezoelectricity is robust against electronic correlation, which confirms reliability of huge $d_{31}$. Finally, being analogous to NiClI, PFM with large out-of-plane piezoelectricity can also be achieved in the Janus monolayers of NiClBr and NiBrI, with the predicted $d_{31}$ of 0.73 pm/V and 1.15 pm/V, respectively. The predicted huge out-of-plane piezoelectric response makes Janus monolayer NiClI a good platform for multifunctional semiconductor spintronic applications, which is also compatible with the bottom/top gate technologies of conventional semiconductor nanoelectronic devices.


title: Control-oriented meta-learning

abstract: Real-time adaptation is imperative to the control of robots operating in complex, dynamic environments. Adaptive control laws can endow even nonlinear systems with good trajectory tracking performance, provided that any uncertain dynamics terms are linearly parameterizable with known nonlinear features. However, it is often difficult to specify such features a priori, such as for aerodynamic disturbances on rotorcraft or interaction forces between a manipulator arm and various objects. In this paper, we turn to data-driven modeling with neural networks to learn, offline from past data, an adaptive controller with an internal parametric model of these nonlinear features. Our key insight is that we can better prepare the controller for deployment with control-oriented meta-learning of features in closed-loop simulation, rather than regression-oriented meta-learning of features to fit input-output data. Specifically, we meta-learn the adaptive controller with closed-loop tracking simulation as the base-learner and the average tracking error as the meta-objective. With both fully-actuated and underactuated nonlinear planar rotorcraft subject to wind, we demonstrate that our adaptive controller outperforms other controllers trained with regression-oriented meta-learning when deployed in closed-loop for trajectory tracking control.


title: Gradient estimates for the insulated conductivity problem: the case of $m$-convex inclusions

abstract: We consider an insulated conductivity model with two neighboring inclusions of $m$-convex shapes in $\mathbb{R}^{d}$ when $m\geq2$ and $d\geq3$. We establish the pointwise gradient estimates for the insulated conductivity problem and capture the gradient blow-up rate of order $\varepsilon^{-1/m+\beta}$ with $\beta=[-(d+m-3)+\sqrt{(d+m-3)^{2}+4(d-2)}]/(2m)\in(0,1/m)$, as the distance $\varepsilon$ between these two insulators tends to zero. In particular, the optimality of the blow-up rate is also demonstrated for a class of axisymmetric $m$-convex inclusions.


title: Learning Convolutional Neural Networks in the Frequency Domain

abstract: Convolutional neural network (CNN) has achieved impressive success in computer vision during the past few decades. The image convolution operation helps CNNs to get good performance on image-related tasks. However, the image convolution has high computation complexity and hard to be implemented. This paper proposes the CEMNet, which can be trained in the frequency domain. The most important motivation of this research is that we can use the straightforward element-wise multiplication operation to replace the image convolution in the frequency domain based on the Cross-Correlation Theorem, which obviously reduces the computation complexity. We further introduce a Weight Fixation mechanism to alleviate the problem of over-fitting, and analyze the working behavior of Batch Normalization, Leaky ReLU, and Dropout in the frequency domain to design their counterparts for CEMNet. Also, to deal with complex inputs brought by Discrete Fourier Transform, we design a two-branches network structure for CEMNet. Experimental results imply that CEMNet achieves good performance on MNIST and CIFAR-10 databases.


title: Normalization by Evaluation for the Lambek Calculus

abstract: The syntactic calculus of Lambek is a deductive system for the multiplicative fragment of intuitionistic non-commutative linear logic. As a fine-grained calculus of resources, it has many applications, mostly in formal computational investigations of natural languages. This paper introduces a calculus of beta-eta-long normal forms for derivations in the Lambek calculus with multiplicative unit and conjunction among its logical connectives. Reduction to normal form follows the normalization by evaluation (NbE) strategy: (i) evaluate a derivation in a Kripke model of Lambek calculus; (ii) extract normal forms from the obtained semantic values. The implementation of the NbE algorithm requires the presence of a strong monad in the Kripke interpretation of positive formulae, in analogy with the extension of intuitionistic propositional logic with falsity and disjunction. The NbE algorithm can also be instantiated with minor variations to calculi for related substructural logics, such as multiplicative and dual intuitionistic linear logic (MILL and DILL).


title: A van Benthem Theorem for Atomic and Molecular Logics

abstract: After recalling the definitions of atomic and molecular logics, we show how notions of bisimulation can be automatically defined from the truth conditions of the connectives of any of these logics. Then, we prove a generalization of van Benthem modal characterization theorem for molecular logics. Our molecular connectives should be uniform and contain all conjunctions and disjunctions. We use modal logic, the Lambek calculus and modal intuitionistic logic as case study and compare in particular our work with Olkhovikov's work.


title: Non-Normal Super-Strict Implications

abstract: This paper introduces the logics of super-strict implications that are based on C.I. Lewis' non-normal modal logics S2 and S3. The semantics of these logics is based on Kripke's semantics for non-normal modal logics. This solves a question we left open in a previous paper by showing that these logics are weakly connexive.


title: Normalisation for Some Infectious Logics and Their Relatives

abstract: We consider certain infectious logics (Sfde, dSfde, K3w, and PWK) and several their non-infectious modifications, including two new logics, reformulate previously constructed natural deduction systems for them (or present such systems from scratch for the case of new logics) in way such that the proof of normalisation theorem becomes possible for these logics. We present such a proof and establish the negation subformula property for the logics in question.


title: Combining First-Order Classical and Intuitionistic Logic

abstract: This paper studies a first-order expansion of a combination C+J of intuitionistic and classical propositional logic, which was studied by Humberstone (1979) and del Cerro and Herzig (1996), from a proof-theoretic viewpoint. While C+J has both classical and intuitionistic implications, our first-order expansion adds classical and intuitionistic universal quantifiers and one existential quantifier to C+J. This paper provides a multi-succedent sequent calculus G(FOC+J) for our combination of the first-order intuitionistic and classical logic. Our sequent calculus G(FOC+J) restricts contexts of the right rules for intuitionistic implication and intuitionistic universal quantifier to particular forms of formulas. The cut-elimination theorem is established to ensure the subformula property. As a corollary, G(FOC+J) is conservative over both first-order intuitionistic and classical logic. Strong completeness of G(FOC+J) is proved via a canonical model argument.


title: Natural Deduction for Assertibility and Deniability

abstract: In this paper we split every basic propositional connective into two versions, one is called extensional and the other one intensional. The extensional connectives are semantically characterized by standard truth conditions that are relative to possible worlds. Assertibility and deniability of sentences built out of atomic sentences by extensional connectives are defined in terms of the notion of truth. The intensional connectives are characterized directly by assertibility and deniability conditions without the notion of truth. We pay special attention to the deniability condition for intensional implication. We characterize the logic of this mixed language by a system of natural deduction that sheds some light on the inferential behaviour of these two kinds of connectives and on the way they can interact.


title: Monadicity of Non-deterministic Logical Matrices is Undecidable

abstract: The notion of non-deterministic logical matrix (where connectives are interpreted as multi-functions) preserves many good properties of traditional semantics based on logical matrices (where connectives are interpreted as functions) whilst finitely characterizing a much wider class of logics, and has proven to be decisive in a myriad of recent compositional results in logic. Crucially, when a finite non-deterministic matrix satisfies monadicity (distinct truth-values can be separated by unary formulas) one can automatically produce an axiomatization of the induced logic. Furthermore, the resulting calculi are analytical and enable algorithmic proof-search and symbolic counter-model generation. For finite (deterministic) matrices it is well known that checking monadicity is decidable. We show that, in the presence of non-determinism, the property becomes undecidable. As a consequence, we conclude that there is no algorithm for computing the set of all multi-functions expressible in a given finite Nmatrix. The undecidability result is obtained by reduction from the halting problem for deterministic counter machines.


title: Puzzles of Existential Generalisation from Type-theoretic Perspective

abstract: The present paper addresses several puzzles related to the Rule of Existential Generalization, (EG). In solution to these puzzles from the viewpoint of simple type theory, I distinguish (EG) from a modified Rule of Existential Quantifier Introduction which is derivable from (EG). Both these rules are often confused and both are considered as primitive but I show that (EG) itself is derivable from the proper Rule of Existential Quantifier Introduction. Moreover, the latter rule must be primitive in logical systems that treat both total and partial functions, for the universal and the existential quantifiers are not interdefinable in them. An appropriate natural deduction for such a system is deployed. The present logical system is simpler than the system recently proposed and applied by the present author. It utilises an adequate definition of substitution which is capable of handling not only a higher-order quantification, but also (hyper)intensional contexts.


title: Proof Theory of Skew Non-Commutative MILL

abstract: Monoidal closed categories naturally model NMILL, non-commutative multiplicative intuitionistic linear logic: the monoidal unit and tensor interpret the multiplicative verum and conjunction; the internal hom interprets linear implication. In recent years, the weaker notion of (left) skew monoidal closed category has been proposed by Ross Street, where the three structural laws of left and right unitality and associativity are not required to be invertible, they are merely natural transformations with a specific orientation. A question arises: is it possible to find a logic which is naturally modelled by skew monoidal closed categories? We answer positively by introducing a cut-free sequent calculus for a skew version of NMILL that is a presentation of the free skew monoidal closed category. We study the proof-theoretic semantics of the sequent calculus by identifying a calculus of derivations in normal form, obtained from an adaptation of Andreoli's focusing technique to the skew setting. The resulting focused sequent calculus peculiarly employs a system of tags for keeping track of new formulae appearing in the antecedent and appropriately reducing non-deterministic choices in proof search. Focusing solves the coherence problem for skew monoidal closed categories by exhibiting an effective procedure for deciding equality of maps in the free such category.


title: Decidability of Intuitionistic Sentential Logic with Identity via Sequent Calculus

abstract: The aim of our paper is twofold: firstly we present a sequent calculus for an intuitionistic non-Fregean logic ISCI, which is based on the calculus presented in the paper by Chlebowski and Leszczynska-Jasion, 'An Investigation into Intuitionistic Logic with Identity' (Bulletin of the Section of Logic 48(4), p. 259-283, 2019) and, secondly, we discuss the problem of decidability of ISCI via the obtained system. The original calculus from the mentioned paper did not provide the decidability result for ISCI. There are two problems to be solved in order to obtain this result: the so called loops characteristic for intuitionistic logic and the lack of the subformula property due to the form of the identity-dedicated rules. We discuss possible routes to overcome these problems: we consider a weaker version of the subformula property, guarded by the complexity of formulas which can be included within it; we also present a proof-search procedure such that when it fails, then there exists a countermodel (in Kripke semantics for ISCI).


title: Superconnexivity Reconsidered

abstract: We reconsider the idea of superconnexivity, an idea that has not received much attention so far. We inspect more closely the problems with the proposal that are responsible for this disregard. However, we also suggest a slight modification of the idea that has a much better chance of delivering the desired results, which we call super-bot-connexivity.


title: Another Combination of Classical and Intuitionistic Conditionals

abstract: On the one hand, classical logic is an extremely successful theory, even if not being perfect. On the other hand, intuitionistic logic is, without a doubt, one of the most important non-classical logics. But, how can proponents of one logic view the other logic? In this paper, we focus on one of the directions, namely how classicists can view intuitionistic logic. To this end, we introduce an expansion of positive intuitionistic logic, both semantically and proof-theoretically, and establish soundness and strong completeness. Moreover, we discuss the interesting status of disjunction, and the possibility of combining classical logic and minimal logic. We also compare our system with the system of Caleiro and Ramos.


title: Mortensen Logics

abstract: Mortensen introduced a connexive logic commonly known as 'M3V'. M3V is obtained by adding a special conditional to LP. Among its most notable features, besides its being connexive, M3V is negation-inconsistent and it validates the negation of every conditional. But Mortensen has also studied and applied extensively other non-connexive logics, for example, closed set logic, CSL, and a variant of Sette's logic, identified and called 'P2' by Marcos. In this paper, we analyze and compare systematically the connexive variants of CSL and P2, obtained by adding the M3V conditional to them. Our main observations are two. First, that the inconsistency of M3V is exacerbated in the connexive variant of closed set logic, while it is attenuated in the connexive variant of the Sette-like P2. Second, that the M3V conditional is, unlike other conditionals, "connexively stable", meaning that it remains connexive when combined with the main paraconsistent negations.


title: Bilateral Inversion Principles

abstract: This paper formulates a bilateral account of harmony that is an alternative to one proposed by Francez. It builds on an account of harmony for unilateral logic proposed by K\"urbis and the observation that reading the rules for the connectives of bilateral logic bottom up gives the grounds and consequences of formulas with the opposite speech act. I formulate a process I call 'inversion' which allows the determination of assertive elimination rules from assertive introduction rules, and rejective elimination rules from rejective introduction rules, and conversely. It corresponds to Francez's notion of vertical harmony. I also formulate a process I call 'conversion', which allows the determination of rejective introduction rules from assertive elimination rules and conversely, and the determination of assertive introduction rules from rejective elimination rules and conversely. It corresponds to Francez's notion of horizontal harmony. The account has a number of features that distinguishes it from Francez's.


title: Cyclic Negations and Four-valuedness

abstract: We consider an example of four valued semantics partially inspired by quantum computations and negation-like operations occurred therein. In particular we consider a representation of so called square root of negation within this four valued semantics as an operation which acts like a cycling negation. We define two variants of logical matrices performing different orders over the set of truth values. Purely formal logical result of our study consists in axiomatizing the logics of defined matrices as the systems of binary consequence relation and proving correctness and completeness theorems for these deductive systems.


title: The Forms of Categorical Proposition

abstract: An exhaustive survey of categorical propositions is proposed in the present paper, both with respect to their nature and the logical problems raised by them. Through a comparative analysis of Term Logic and First-Order Logic, it is shown that the famous problem of existential import may be solved in two ways: with a model-adaptive strategy, in which the square of opposition is validated by restricting the models; with a language-adaptive strategy, in which the logical form of categorical propositions is extended in order to validate the square in every model. The latter strategy is advocated in the name of logic, which means truth in every model. Finally, the present paper needs some automatic process in order to determine the nature of logical relations between any pair of the available 256 categorical propositions. This requires the implementation of a programming machine in the style of Prolog.


title: Algebraizability of the Logic of Quasi-N4-Lattices

abstract: The class of quasi-N4-lattices (QN4-lattices) was introduced as a common generalization of quasi-Nelson algebras and N4-lattices, in such a way that N4-lattices are precisely the QN4-lattices satisfying the double negation law (~~x = x) and quasi-Nelson algebras are the QN4-lattices satisfying the explosive law (x ^ ~x) -> y = ((x ^ ~x) -> y) -> ((x ^ ~x) -> y). In this paper we introduce, via a Hilbert-style presentation, a logic (L_QN4) whose algebraic semantics is a class of algebras that we show to be term-equivalent to QN4-lattices. The result is obtained by showing that the calculus introduced by us is algebraizable in the sense of Blok and Pigozzi, and its equivalent algebraic semantics is term-equivalent to the class of QN4-lattices. As a prospect for future investigation, we consider the question of how one could place L_QN4 within the family of relevance logics.


title: On the Expressive Power of the Normal Form for Branching-Time Temporal Logics

abstract: With the emerging applications that involve complex distributed systems branching-time specifications are specifically important as they reflect dynamic and non-deterministic nature of such applications. We describe the expressive power of a simple yet powerful branching-time specification framework -- branching-time normal form (BNF), which has been developed as part of clausal resolution for branching-time temporal logics. We show the encoding of Buchi Tree Automata in the language of the normal form, thus representing, syntactically, tree automata in a high-level way. Thus we can treat BNF as a normal form for the latter. These results enable us (1) to translate given problem specifications into the normal form and apply as a verification method a deductive reasoning technique -- the clausal temporal resolution; (2) to apply one of the core components of the resolution method -- the loop searching to extract, syntactically, hidden invariants in a wide range of complex temporal specifications.


title: A Logic for Paraconsistent Transition Systems

abstract: Modelling complex information systems often entails the need for dealing with scenarios of inconsistency in which several requirements either reinforce or contradict each other. In this kind of scenarios, arising e.g. in knowledge representation, simulation of biological systems, or quantum computation, inconsistency has to be addressed in a precise and controlled way. This paper generalises Belnap-Dunn four-valued logic, introducing paraconsistent transition systems (PTS), endowed with positive and negative accessibility relations, and a metric space over the lattice of truth values, and their modal logic.


title: Routley Star in Information-Based Semantics

abstract: It is common in various non-classical logics, especially in relevant logics, to characterize negation semantically via the operation known as Routley star. This operation works well within relational semantic frameworks based on prime theories. We study this operation in the context of "information-based" semantics for which it is characteristic that sets of formulas supported by individual information states are theories that do not have to be prime. We will show that, somewhat surprisingly, the incorporation of Routley star into the information-based semantics does not lead to a collapse or a trivialization of the whole semantic system. On the contrary, it leads to a technically elegant though quite restricted semantic framework that determines a particular logic. We study some basic properties of this semantics. For example, we show that within this framework double negation law is valid only in involutive linear frames. We characterize axiomatically the logic of all linear frames and show that the logic of involutive linear frames coincides with a system that Mike Dunn coined Kalman logic. This logic is the fragment (for the language restricted to conjunction, disjunction and negation) of the "semi-relevant" logic known as R-mingle. Finally, we characterize by a deductive system the logic of all information frames equipped with Routley star.


title: Dunn Semantics for Contra-Classical Logics

abstract: In this paper I show, with a rich and systematized diet of examples, that many contra-classical logics can be presented as variants of FDE, obtained by modifying at least one of the truth or falsity conditions of some connective. Then I argue that using Dunn semantics provides a clear understanding of the source of contra-classicality, namely, connectives that have either the classical truth or the classical falsity condition of another connective. This requires a fine-grained analysis of the sorts of modifications that can be made to an evaluation condition, analysis which I offer here as well.


title: The Fate of Causal Structure under Time Reversal

abstract: What happens to the causal structure of a world when time is reversed? At first glance it seems there are two possible answers: the causal relations are reversed, or they are not. I argue that neither of these answers is correct: we should either deny that time-reversed worlds have causal relations at all, or deny that causal concepts developed in the actual world are reliable guides to the causal structure of time-reversed worlds. The first option is motivated by the instability under intervention of time-reversed dynamical evolutions. The second option is motivated by a recognition of how contingent structural features of the actual world shape, and license the application of, our causal concepts and reasoning strategies.


title: Kraus-Like Decompositions

abstract: We introduce a new decomposition of quantum channels acting on group algebras, which we term Kraus-like (operator) decompositions. We motivate this decomposition with a general nonexistence result for Kraus operator decompositions in this setting. Given a length function which is a class function on a finite group, we construct a corresponding Kraus-like decomposition. We prove that this Kraus-like decomposition is \textit{convex} (meaning its coefficients are nonnegative and satisfy a sum rule) if and only if the length is conditionally negative definite. For a general finite group, we prove a stability condition which shows that the existence of a convex Kraus-like decomposition for all $t>0$ small enough necessarily implies existence for all time $t>0$. Using the stability condition, we show that for a general finite group, conditional negativity of the length function is equivalent to a set of semidefinite linear constraints on the length function. Our result implies that in the group algebra setting, a semigroup $P_t$ induced by a length function which is a class function is a quantum channel for all $t\geq 0$ if and only if it possesses a convex Kraus-like decomposition for all $t>0$.


title: Entanglement, Complexity, and Causal Asymmetry in Quantum Theories

abstract: It is often claimed that one cannot locate a notion of causation in fundamental physical theories. The reason most commonly given is that the dynamics of those theories do not support any distinction between the past and the future, and this vitiates any attempt to locate a notion of causal asymmetry -- and thus of causation -- in fundamental physical theories. I argue that this is incorrect: the ubiquitous generation of entanglement between quantum systems grounds a relevant asymmetry in the dynamical evolution of quantum systems. I show that by exploiting a connection between the amount of entanglement in a quantum state and the algorithmic complexity of that state, one can use recently developed tools for causal inference to identify a causal asymmetry -- and a notion of causation -- in the dynamical evolution of quantum systems. https://doi.org/10.1007/s10701-022-00562-0


title: Learning high-order spatial discretisations of PDEs with symmetry-preserving iterative algorithms

abstract: Common techniques for the spatial discretisation of PDEs on a macroscale grid include finite difference, finite elements and finite volume methods. Such methods typically impose assumed microscale structures on the subgrid fields, so without further tailored analysis are not suitable for systems with subgrid-scale heterogeneity or nonlinearities. We provide a new algebraic route to systematically approximate, in principle exactly, the macroscale closure of the spatially-discrete dynamics of a general class of heterogeneous non-autonomous reaction-advection-diffusion PDEs. This holistic discretisation approach, developed through rigorous theory and verified with computer algebra, systematically constructs discrete macroscale models through physics informed by the PDE out-of-equilibrium dynamics, thus relaxing many assumptions regarding the subgrid structure. The construction is analogous to recent gray-box machine learning techniques in that predictions are directed by iterative layers (as in neural networks), but informed by the subgrid physics (or 'data') as expressed in the PDEs. A major development of the holistic methodology, presented herein, is novel inter-element coupling between subgrid fields which preserve self-adjointness of the PDE after macroscale discretisation, thereby maintaining the spectral structure of the original system. This holistic methodology also encompasses homogenisation of microscale heterogeneous systems, as shown here with the canonical examples of heterogeneous 1D waves and diffusion.


title: The Uhlenbeck-Ford model: Exact virial coefficients and application as a reference system in fluid-phase free-energy calculations

abstract: The Uhlenbeck-Ford (UF) model was originally proposed for the theoretical study of imperfect gases, given that all its virial coefficients can be evaluated exactly, in principle. Here, in addition to computing the previously unknown coefficients B11 through B13, we assess its applicability as a reference system in fluid-phase free-energy calculations using molecular simulation techniques. Our results demonstrate that, although the UF model itself is too soft, appropriately scaled Uhlenbeck- Ford (sUF) models provide robust reference systems that allow accurate fluid-phase free-energy calculations without the need for an intermediate reference model. Indeed, in addition to the accuracy with which their free energies are known and their convenient scaling properties, the fluid is the only thermodynamically stable phase for a wide range of sUF models. This set of favorable properties may potentially put the sUF fluid-phase reference systems on par with the standard role that harmonic and Einstein solids play as reference systems for solid-phase free-energy calculations.


title: GPT-NeoX-20B: An Open-Source Autoregressive Language Model

abstract: We introduce GPT-NeoX-20B, a 20 billion parameter autoregressive language model trained on the Pile, whose weights will be made freely and openly available to the public through a permissive license. It is, to the best of our knowledge, the largest dense autoregressive model that has publicly available weights at the time of submission. In this work, we describe \model{}'s architecture and training and evaluate its performance on a range of language-understanding, mathematics, and knowledge-based tasks. We find that GPT-NeoX-20B is a particularly powerful few-shot reasoner and gains far more in performance when evaluated five-shot than similarly sized GPT-3 and FairSeq models. We open-source the training and evaluation code, as well as the model weights, at https://github.com/EleutherAI/gpt-neox.


title: Information fusion approach for biomass estimation in a plateau mountainous forest using a synergistic system comprising UAS-based digital camera and LiDAR

abstract: Forest land plays a vital role in global climate, ecosystems, farming and human living environments. Therefore, forest biomass estimation methods are necessary to monitor changes in the forest structure and function, which are key data in natural resources research. Although accurate forest biomass measurements are important in forest inventory and assessments, high-density measurements that involve airborne light detection and ranging (LiDAR) at a low flight height in large mountainous areas are highly expensive. The objective of this study was to quantify the aboveground biomass (AGB) of a plateau mountainous forest reserve using a system that synergistically combines an unmanned aircraft system (UAS)-based digital aerial camera and LiDAR to leverage their complementary advantages. In this study, we utilized digital aerial photogrammetry (DAP), which has the unique advantages of speed, high spatial resolution, and low cost, to compensate for the deficiency of forestry inventory using UAS-based LiDAR that requires terrain-following flight for high-resolution data acquisition. Combined with the sparse LiDAR points acquired by using a high-altitude and high-speed UAS for terrain extraction, dense normalized DAP point clouds can be obtained to produce an accurate and high-resolution canopy height model (CHM). Based on the CHM and spectral attributes obtained from multispectral images, we estimated and mapped the AGB of the region of interest with considerable cost efficiency. Our study supports the development of predictive models for large-scale wall-to-wall AGB mapping by leveraging the complementarity between DAP and LiDAR measurements. This work also reveals the potential of utilizing a UAS-based digital camera and LiDAR synergistically in a plateau mountainous forest area.


title: Unsupervised Domain Adaptation with Implicit Pseudo Supervision for Semantic Segmentation

abstract: Pseudo-labelling is a popular technique in unsuper-vised domain adaptation for semantic segmentation. However, pseudo labels are noisy and inevitably have confirmation bias due to the discrepancy between source and target domains and training process. In this paper, we train the model by the pseudo labels which are implicitly produced by itself to learn new complementary knowledge about target domain. Specifically, we propose a tri-learning architecture, where every two branches produce the pseudo labels to train the third one. And we align the pseudo labels based on the similarity of the probability distributions for each two branches. To further implicitly utilize the pseudo labels, we maximize the distances of features for different classes and minimize the distances for the same classes by triplet loss. Extensive experiments on GTA5 to Cityscapes and SYNTHIA to Cityscapes tasks show that the proposed method has considerable improvements.


title: Improving Top-K Decoding for Non-Autoregressive Semantic Parsing via Intent Conditioning

abstract: Semantic parsing (SP) is a core component of modern virtual assistants like Google Assistant and Amazon Alexa. While sequence-to-sequence-based auto-regressive (AR) approaches are common for conversational semantic parsing, recent studies employ non-autoregressive (NAR) decoders and reduce inference latency while maintaining competitive parsing quality. However, a major drawback of NAR decoders is the difficulty of generating top-k (i.e., k-best) outputs with approaches such as beam search. To address this challenge, we propose a novel NAR semantic parser that introduces intent conditioning on the decoder. Inspired by the traditional intent and slot tagging parsers, we decouple the top-level intent prediction from the rest of a parse. As the top-level intent largely governs the syntax and semantics of a parse, the intent conditioning allows the model to better control beam search and improves the quality and diversity of top-k outputs. We introduce a hybrid teacher-forcing approach to avoid training and inference mismatch. We evaluate the proposed NAR on conversational SP datasets, TOP & TOPv2. Like the existing NAR models, we maintain the O(1) decoding time complexity while generating more diverse outputs and improving the top-3 exact match (EM) by 2.4 points. In comparison with AR models, our model speeds up beam search inference by 6.7 times on CPU with competitive top-k EM.


title: Dissipative particle dynamics simulation study on ATRP-brush modification of variably shaped surfaces and biopolymer adsorption

abstract: We present a dissipative particle dynamics (DPD) simulation study on the surface modification of initiator embedded microparticles (MPs) of different shapes via atom transfer radical polymerization (ATRP) brush growth. The surface-initiated ATRP-brush growth leads to the formation of a more globular MP shape. We perform the comparative analysis of ATRP-brush growth on three different forms of particle surfaces: cup surface, spherical surface, and flat surface (rectangular/disk-shaped). First, we establish the chemical kinetics of the brush growth: the monomer conversion and the reaction rates. We next argue the structure changes (shape-modification) of brush-modified surfaces by computing the radial distribution function, spatial density distribution, radius of gyration, hydrodynamic radius, and shape factor. The polymer brush-modified particles are well known as the carrier materials for enzyme immobilization. Finally, we study the biopolymer adsorption on ATRP-brush modified particles in a compatible solution. In particular, we explore the effect of ATRP-brush length, biopolymer chain length, and concentration on the adsorption process. Our results illustrate the enhanced biopolymer adsorption with increased brush length, initiator concentration, and biopolymer concentration. Most importantly, the flat surface loads more biopolymers than the other two surfaces when adsorption reaches saturation. The experimental results verified the same, considering the disk-shaped flat surface particle, cup, and spherical particles.


title: Conditions for superradiant instability of the Kerr-Newman black holes

abstract: We find two conditions for superradiant instability of Kerr-Newman black holes under a charged massive scalar perturbation by analyzing asymptotic scalar potential and far-region wave function. Actually, they correspond to the condition for getting a trapping well. Also, we obtain the conditions for superradiant stability of Kerr-Newman black holes which states that there is no trapping well. The analysis is applied to Kerr black holes to find a condition for superradiant instability.


title: The Burge correspondence and crystal graphs

abstract: The Burge correspondence yields a bijection between simple labelled graphs and semistandard Young tableaux of threshold shape. We characterize the simple graphs of hook shape by peak and valley conditions on Burge arrays. This is the first step towards an analogue of Schensted's result for the RSK insertion which states that the length of the longest increasing subword of a word is the length of the largest row of the tableau under the RSK correspondence. Furthermore, we give a crystal structure on simple graphs of hook shape. The extremal vectors in this crystal are precisely the simple graphs whose degree sequence are threshold and hook-shaped.


title: Candidate high-redshift protoclusters and lensed galaxies in the Planck list of high-z sources overlapping with Herschel-SPIRE imaging

abstract: The Planck list of high-redshift source candidates (the PHz catalogue) contains 2151 peaks in the cosmic infrared background, unresolved by Planck's 5 arcmin beam. Follow-up spectroscopic observations have revealed that some of these objects are $z \approx 2$ protoclusters and strong gravitational lenses, but an unbiased survey has not yet been carried out. To this end, we have used archival Herschel-SPIRE observations to study a uniformly-selected sample of 187 PHz sources. In contrast with follow-up studies that were biased towards bright, compact sources, we find that only one of our PHz sources is a bright gravitationally-lensed galaxy (peak flux $\gtrsim 300$ mJy), indicating that such objects are rarer in the PHz catalogue than previously believed ($< 1$ per cent). The majority of our PHz sources consist of many red, star-forming galaxies, demonstrating that typical PHz sources are candidate protoclusters. However, our new PHz sources are significantly less bright than found in previous studies and differ in colour, suggesting possible differences in redshift and star-formation rate. Nonetheless, 40 of our PHz sources contain $> 3\sigma$ galaxy overdensities, comparable to the fraction of $> 3\sigma$ overdensities found in earlier biased studies. We additionally use a machine-learning approach to identify less extreme (peak flux $\sim 100$ mJy) gravitationally-lensed galaxies among Herschel-SPIRE observations of PHz sources, finding a total of seven candidates in our unbiased sample, and 13 amongst previous biased samples. Our new uniformly-selected catalogues of $> 3\sigma$ candidate protoclusters and strong gravitational lenses provide interesting targets for follow up with higher-resolution facilities, such as ALMA and JWST.


title: Rationality of meromorphic functions between real algebraic sets in the plane

abstract: We study one variable meromorphic functions mapping a planar real algebraic set $A$ to another real algebraic set in the complex plane. By using the theory of Schwarz reflection functions, we show that for certain $A$, these meromorphic functions must be rational. In particular, when $A$ is the standard unit circle, we obtain an one dimensional analog of Poincar\'e(1907), Tanaka(1962) and Alexander(1974)'s rationality results for $2m-1$ dimensional sphere in $\mathbb{C}^m$ when $m\ge 2$.


title: RecurSeed and EdgePredictMix: Pseudo-Label Refinement Learning for Weakly Supervised Semantic Segmentation across Single- and Multi-Stage Frameworks

abstract: Although weakly supervised semantic segmentation using only image-level labels (WSSS-IL) is potentially useful, its low performance and implementation complexity still limit its application. The main causes are (a) non-detection and (b) false-detection phenomena: (a) The class activation maps refined from existing WSSS-IL methods still only represent partial regions for large-scale objects, and (b) for small-scale objects, over-activation causes them to deviate from the object edges. We propose RecurSeed, which alternately reduces non- and false detections through recursive iterations, thereby implicitly finding an optimal junction that minimizes both errors. We also propose a novel data augmentation (DA) approach called EdgePredictMix, which further expresses an object's edge by utilizing the probability difference information between adjacent pixels in combining the segmentation results, thereby compensating for the shortcomings when applying the existing DA methods to WSSS. We achieved new state-of-the-art performances on both the PASCAL VOC 2012 and MS COCO 2014 benchmarks (VOC val: 74.4%, COCO val: 46.4%). The code is available at https://github.com/shjo-april/RecurSeed_and_EdgePredictMix.


title: Particle Deceleration for Collective QED Signatures

abstract: Frequency upshifts have been proposed as a first experimental signature of collective effects in QED cascade generated electron-positron pair plasmas. Since the high effective masses of generated pairs will reduce any frequency change, stopped pairs at minimal Lorentz factor in the lab frame were thought to be the dominant contribution to the the laser upshift. However, we demonstrate that only considering stopped particles unduly neglects the contributions of particles re-accelerated in the laser propagation direction. Re-accelerated particles should, on a per particle basis, affect the laser more strongly, and over a much longer timescale. To maximize particle contributions to the laser upshift, we consider a Laguerre-Gaussian (LG) mode to better reflect generated pairs. The LG mode doesn't have an advantage in particle deceleration and re-acceleration when compared against a Gaussian beam, but the LG mode can maintain particle contributions for a longer duration, allowing for more pair density accumulation. Deceleration with a structured beam to keep pairs within the laser should create a larger upshift, thereby lowering the demands on the driving laser.


title: A note on the effects of magnetic field on holographic fermions with dipole-like coupling

abstract: In this note, we study the effects of non-zero magnetic field on the fermion spectral function coupled with a non-minimal coupling in the background of a dyonic $AdS_4$ black hole. The system can be reduced to a non magnetic one with the momentum being quantized into Landau levels $n$. By tuning the coupling parameter, we study its effect on the Fermi level and the quasiparticle width. We found an interesting scaling relation between the decay width and the coupling parameter, with a universal scaling exponent which is independent of the levels $n$.


title: Bi-algebraicity in the rank one Riemann--Hilbert correspondence via o-minimality

abstract: For a smooth, projective, complex algebraic variety $X$, the Riemann--Hilbert correspondence establishes a complex analytic isomorphism between the `Betti moduli space' of rank $n$ local systems on $X^\mathrm{an}$ and the `de Rham moduli space' of rank $n$ vector bundles with flat connection on $X$. In the rank one case, C. Simpson precisely characterizes the subvarieties of these moduli spaces that are `bi-algebraic' for this typically transcendental, analytic isomorphism. In this short note, we give a new proof of this characterization of Simpson, using methods from o-minimal geometry. We adapt the o-minimal proof to a p-adic setting, namely that of Mumford curves.


title: Multi-label topic classification for COVID-19 literature with Bioformer

abstract: We describe Bioformer team's participation in the multi-label topic classification task for COVID-19 literature (track 5 of BioCreative VII). Topic classification is performed using different BERT models (BioBERT, PubMedBERT, and Bioformer). We formulate the topic classification task as a sentence pair classification problem, where the title is the first sentence, and the abstract is the second sentence. Our results show that Bioformer outperforms BioBERT and PubMedBERT in this task. Compared to the baseline results, our best model increased micro, macro, and instance-based F1 score by 8.8%, 15.5%, 7.4%, respectively. Bioformer achieved the highest micro F1 and macro F1 scores in this challenge. In post-challenge experiments, we found that pretraining of Bioformer on COVID-19 articles further improves the performance.


title: Iterative Inner/outer Approximations for Scalable Semidefinite Programs using Block Factor-width-two Matrices

abstract: In this paper, we propose iterative inner/outer approximations based on a recent notion of block factor-width-two matrices for solving semidefinite programs (SDPs). Our inner/outer approximating algorithms generate a sequence of upper/lower bounds of increasing accuracy for the optimal SDP cost. The block partition in our algorithms offers flexibility in terms of both numerical efficiency and solution quality, which includes the approach of scaled diagonally dominance (SDD) approximation as a special case. We discuss both the theoretical results and numerical implementation in detail. Our main theorems guarantee that the proposed iterative algorithms generate monotonically decreasing upper (increasing lower) bounds. Extensive numerical results confirm our findings.


title: HCFL: A High Compression Approach for Communication-Efficient Federated Learning in Very Large Scale IoT Networks

abstract: Federated learning (FL) is a new artificial intelligence concept that enables Internet-of-Things (IoT) devices to learn a collaborative model without sending the raw data to centralized nodes for processing. Despite numerous advantages, low computing resources at IoT devices and high communication costs for exchanging model parameters make applications of FL in massive IoT networks very limited. In this work, we develop a novel compression scheme for FL, called high-compression federated learning (HCFL), for very large scale IoT networks. HCFL can reduce the data load for FL processes without changing their structure and hyperparameters. In this way, we not only can significantly reduce communication costs, but also make intensive learning processes more adaptable on low-computing resource IoT devices. Furthermore, we investigate a relationship between the number of IoT devices and the convergence level of the FL model and thereby better assess the quality of the FL process. We demonstrate our HCFL scheme in both simulations and mathematical analyses. Our proposed theoretical research can be used as a minimum level of satisfaction, proving that the FL process can achieve good performance when a determined configuration is met. Therefore, we show that HCFL is applicable in any FL-integrated networks with numerous IoT devices.


title: A Fixed-Parameter Algorithm for the Kneser Problem

abstract: The Kneser graph $K(n,k)$ is defined for integers $n$ and $k$ with $n \geq 2k$ as the graph whose vertices are all the $k$-subsets of $\{1,2,\ldots,n\}$ where two such sets are adjacent if they are disjoint. A classical result of Lov\'asz asserts that the chromatic number of $K(n,k)$ is $n-2k+2$. In the computational Kneser problem, we are given an oracle access to a coloring of the vertices of $K(n,k)$ with $n-2k+1$ colors, and the goal is to find a monochromatic edge. We present a randomized algorithm for the Kneser problem with running time $n^{O(1)} \cdot k^{O(k)}$. This shows that the problem is fixed-parameter tractable with respect to the parameter $k$. The analysis involves structural results on intersecting families and on induced subgraphs of Kneser graphs. We also study the Agreeable-Set problem of assigning a small subset of a set of $m$ items to a group of $\ell$ agents, so that all agents value the subset at least as much as its complement. As an application of our algorithm for the Kneser problem, we obtain a randomized polynomial-time algorithm for the Agreeable-Set problem for instances that satisfy $\ell \geq m - O(\frac{\log m}{\log \log m})$. We further show that the Agreeable-Set problem is at least as hard as a variant of the Kneser problem with an extended access to the input coloring.


title: Local interpretation of time-resolved X-ray absorption in Mott insulators: Insights from nonequilibrium dynamical mean-field theory

abstract: We present a formalism based on nonequilibrium dynamical mean field theory (DMFT) which allows to compute the time-resolved X-ray absorption spectrum (XAS) of photo-excited solids. By applying this formalism to the photo-doped half-filled and quarter-filled two-orbital Hubbard models in the Mott insulating regime we clarify how the time-resolved XAS signal reflects the nonequilibrium population of different local states. Apart from the missing broadening associated with continuum excitations, the atomic XAS spectrum computed with the nonthermal state populations provides a good approximation to the full nonequilibrium DMFT result. This suggest a route to combine the accurate DMFT description of nonequilibrum states of solids with cluster calculations of the XAS signal.


title: Critical correlations of Ising and Yang-Lee critical points from Tensor RG

abstract: We examine feasibility of accurate estimations of universal critical data using tensor renormalization group (TRG) algorithm introduced by Levin and Nave. Specifically, we compute critical exponents $\gamma, \gamma/\nu, \delta, \eta$ and amplitude ratio $A$ for the magnetic susceptibility from one- and two-point correlation functions for three critical points in two dimensions -- isotropic and anisotropic Ising models and the Yang-Lee critical point at finite imaginary magnetic field. While TRG performs quantitaviely well in all three cases already at smaller bond dimension, $D=16$, the latter two appear to show more rapid improvement in bond dimension, e.g. we are able to reproduce exactly known results to better than one percent at bond dimension $D=24$. We are able to reproduce exactly known values to better than 1 percent with modest effort of bond dimension 28. We comment on the relationship between these results and earlier results on conformal dimensions, fixed points of tensor RG, and also compare computational costs of tensor renormalization vs. conventional Monte-Carlo sampling.


title: Supplementation of deep neural networks with simplified physics-based features to increase model prediction accuracy

abstract: To improve predictive models for STEM applications, supplemental physics-based features computed from input parameters are introduced into single and multiple layers of a deep neural network (DNN). While many studies focus on informing DNNs with physics through differential equations or numerical simulation, much may be gained through integration of simplified relationships. To evaluate this hypothesis, a number of thin rectangular plates simply-supported on all edges are simulated for five materials. With plate dimensions and material properties as input features and fundamental natural frequency as the sole output, predictive performance of a purely data-driven DNN-based model is compared with models using additional inputs computed from simplified physical relationships among baseline parameters, namely plate weight, modulus of rigidity, and shear modulus. To better understand the benefit to model accuracy, these additional features are injected into various single and multiple DNN layers, and trained with four different dataset sizes. When these physics-enhanced models are evaluated against independent data of the same materials and similar dimensions to the training sets, supplementation with simplified physics-based parameters provides little reduction in prediction error over the baseline for models trained with dataset sizes of 60 and greater, although small improvement from 19.3% to 16.1% occurs when trained with a sparse size of 30. Conversely, notable accuracy gains occur when the independent test data is of material and dimensions not conforming to the training set. Specifically, when physics-enhanced data is injected into multiple DNN layers, reductions in error from 33.2% to 19.6%, 34.9% to 19.9%, 35.8% to 22.4%, and 43.0% to 28.4% are achieved for training dataset sizes of 261, 117, 60, and 30, respectively, demonstrating attainment of a degree of generalizability.


title: High-performance Evolutionary Algorithms for Online Neuron Control

abstract: Recently, optimization has become an emerging tool for neuroscientists to study neural code. In the visual system, neurons respond to images with graded and noisy responses. Image patterns eliciting highest responses are diagnostic of the coding content of the neuron. To find these patterns, we have used black-box optimizers to search a 4096d image space, leading to the evolution of images that maximize neuronal responses. Although genetic algorithm (GA) has been commonly used, there haven't been any systematic investigations to reveal the best performing optimizer or the underlying principles necessary to improve them. Here, we conducted a large scale in silico benchmark of optimizers for activation maximization and found that Covariance Matrix Adaptation (CMA) excelled in its achieved activation. We compared CMA against GA and found that CMA surpassed the maximal activation of GA by 66% in silico and 44% in vivo. We analyzed the structure of Evolution trajectories and found that the key to success was not covariance matrix adaptation, but local search towards informative dimensions and an effective step size decay. Guided by these principles and the geometry of the image manifold, we developed SphereCMA optimizer which competed well against CMA, proving the validity of the identified principles. Code available at https://github.com/Animadversio/ActMax-Optimizer-Dev


title: Multimodal spatiotemporal graph neural networks for improved prediction of 30-day all-cause hospital readmission

abstract: Measures to predict 30-day readmission are considered an important quality factor for hospitals as accurate predictions can reduce the overall cost of care by identifying high risk patients before they are discharged. While recent deep learning-based studies have shown promising empirical results on readmission prediction, several limitations exist that may hinder widespread clinical utility, such as (a) only patients with certain conditions are considered, (b) existing approaches do not leverage data temporality, (c) individual admissions are assumed independent of each other, which is unrealistic, (d) prior studies are usually limited to single source of data and single center data. To address these limitations, we propose a multimodal, modality-agnostic spatiotemporal graph neural network (MM-STGNN) for prediction of 30-day all-cause hospital readmission that fuses multimodal in-patient longitudinal data. By training and evaluating our methods using longitudinal chest radiographs and electronic health records from two independent centers, we demonstrate that MM-STGNN achieves AUROC of 0.79 on both primary and external datasets. Furthermore, MM-STGNN significantly outperforms the current clinical reference standard, LACE+ score (AUROC=0.61), on the primary dataset. For subset populations of patients with heart and vascular disease, our model also outperforms baselines on predicting 30-day readmission (e.g., 3.7 point improvement in AUROC in patients with heart disease). Lastly, qualitative model interpretability analysis indicates that while patients' primary diagnoses were not explicitly used to train the model, node features crucial for model prediction directly reflect patients' primary diagnoses. Importantly, our MM-STGNN is agnostic to node feature modalities and could be utilized to integrate multimodal data for triaging patients in various downstream resource allocation tasks.


title: Learning Task-Aware Energy Disaggregation: a Federated Approach

abstract: We consider the problem of learning the energy disaggregation signals for residential load data. Such task is referred as non-intrusive load monitoring (NILM), and in order to find individual devices' power consumption profiles based on aggregated meter measurements, a machine learning model is usually trained based on large amount of training data coming from a number of residential homes. Yet collecting such residential load datasets require both huge efforts and customers' approval on sharing metering data, while load data coming from different regions or electricity users may exhibit heterogeneous usage patterns. Both practical concerns make training a single, centralized NILM model challenging. In this paper, we propose a decentralized and task-adaptive learning scheme for NILM tasks, where nested meta learning and federated learning steps are designed for learning task-specific models collectively. Simulation results on benchmark dataset validate proposed algorithm's performance on efficiently inferring appliance-level consumption for a variety of homes and appliances.


title: Strategic Safety-Critical Attacks Against an Advanced Driver Assistance System

abstract: A growing number of vehicles are being transformed into semi-autonomous vehicles (Level 2 autonomy) by relying on advanced driver assistance systems (ADAS) to improve the driving experience. However, the increasing complexity and connectivity of ADAS expose the vehicles to safety-critical faults and attacks. This paper investigates the resilience of a widely-used ADAS against safety-critical attacks that target the control system at opportune times during different driving scenarios and cause accidents. Experimental results show that our proposed Context-Aware attacks can achieve an 83.4% success rate in causing hazards, 99.7% of which occur without any warnings. These results highlight the intolerance of ADAS to safety-critical attacks and the importance of timely interventions by human drivers or automated recovery mechanisms to prevent accidents.


title: Learning topological defects formation with neural networks in a quantum phase transition

abstract: Neural networks possess formidable representational power, rendering them invaluable in solving complex quantum many-body systems. While they excel at analyzing static solutions, nonequilibrium processes, including critical dynamics during a quantum phase transition, pose a greater challenge for neural networks. To address this, we utilize neural networks and machine learning algorithms to investigate the time evolutions, universal statistics, and correlations of topological defects in a one-dimensional transverse-field quantum Ising model. Specifically, our analysis involves computing the energy of the system during a quantum phase transition following a linear quench of the transverse magnetic field strength. The excitation energies satisfy a power-law relation to the quench rate, indicating a proportional relationship between the excitation energy and the kink numbers. Moreover, we establish a universal power-law relationship between the first three cumulants of the kink numbers and the quench rate, indicating a binomial distribution of the kinks. Finally, the normalized kink-kink correlations are also investigated and it is found that the numerical values are consistent with the analytic formula.


title: De Sitter Spacetime from Holographic Flat Spacetime with Inexact Bulk Quantum Mechanics

abstract: We argue that the flat spacetime with inexact quantum mechanics in it is dual to the de Sitter spacetime with exact quantum mechanics in it, and the positive cosmological constant of this de Sitter spacetime is in the second order of the degree of the violation of the bulk quantum mechanics in the flat spacetime. The flat spacetime is holographic and has a dual time-contracted boundary conformal field theory with two redefined central charges at null infinity. The vanishing smallness of the observed positive cosmological constant suggests the extraordinary exactness of the bulk quantum mechanics in the flat spacetime.


title: GLAD: Neural Predicate Synthesis to Repair Omission Faults

abstract: Existing template and learning-based APR tools have successfully found patches for many benchmark faults. However, our analysis of existing results shows that omission faults pose a significant challenge to these techniques. For template based approaches, omission faults provide no location to apply templates to; for learning based approaches that formulate repair as Neural Machine Translation (NMT), omission faults similarly do not provide the faulty code to translate. To address these issues, we propose GLAD, a novel learning-based repair technique that specifically targets if-clause synthesis. GLAD does not require a faulty line as it is based on generative Language Models (LMs) instead of machine translation; consequently, it can repair omission faults. GLAD intelligently constrains the language model using a type-based grammar. Further, it efficiently reduces the validation cost by performing dynamic ranking of candidate patches using a debugger. Thanks to the shift from translation to synthesis, GLAD is highly orthogonal to existing techniques: GLAD can correctly fix 16 Defects4J v1.2 faults that previous NMT-based techniques could not, while maintaining a reasonable runtime cost, underscoring its utility as an APR tool and potential to complement existing tools in practice. An inspection of the bugs that GLAD fixes reveals that GLAD can quickly generate expressions that would be challenging for other techniques.


title: ViTOL: Vision Transformer for Weakly Supervised Object Localization

abstract: Weakly supervised object localization (WSOL) aims at predicting object locations in an image using only image-level category labels. Common challenges that image classification models encounter when localizing objects are, (a) they tend to look at the most discriminative features in an image that confines the localization map to a very small region, (b) the localization maps are class agnostic, and the models highlight objects of multiple classes in the same image and, (c) the localization performance is affected by background noise. To alleviate the above challenges we introduce the following simple changes through our proposed method ViTOL. We leverage the vision-based transformer for self-attention and introduce a patch-based attention dropout layer (p-ADL) to increase the coverage of the localization map and a gradient attention rollout mechanism to generate class-dependent attention maps. We conduct extensive quantitative, qualitative and ablation experiments on the ImageNet-1K and CUB datasets. We achieve state-of-the-art MaxBoxAcc-V2 localization scores of 70.47% and 73.17% on the two datasets respectively. Code is available on https://github.com/Saurav-31/ViTOL


title: Recommending Code Improvements Based on Stack Overflow Answer Edits

abstract: Background: Sub-optimal code is prevalent in software systems. Developers may write low-quality code due to many reasons, such as lack of technical knowledge, lack of experience, time pressure, management decisions, and even unhappiness. Once sub-optimal code is unknowingly (or knowingly) integrated into the codebase of software systems, its accumulation may lead to large maintenance costs and technical debt. Stack Overflow is a popular website for programmers to ask questions and share their code snippets. The crowdsourced and collaborative nature of Stack Overflow has created a large source of programming knowledge that can be leveraged to assist developers in their day-to-day activities. Objective: In this paper, we present an exploratory study to evaluate the usefulness of recommending code improvements based on Stack Overflow answers' edits. Method: We propose Matcha, a code recommendation tool that leverages Stack Overflow code snippets with version history and code clone search techniques to identify sub-optimal code in software projects and suggest their optimised version. By using SOTorrent and GitHub datasets, we will quali-quantitatively investigate the usefulness of recommendations given by \textsc{Matcha} to developers using manual categorisation of the recommendations and acceptance of pull-requests to open-source projects.


title: Discrete Boltzmann modeling of Rayleigh-Taylor instability: effects of interfacial tension, viscosity and heat conductivity

abstract: The Rayleigh-Taylor Instability (RTI) in compressible flow with inter-molecular interactions is probed via the Discrete Boltzmann Method (DBM). The effects of interfacial tension, viscosity and heat conduction are investigated. It is found that the influences of interfacial tension on the perturbation amplitude, bubble velocity, and two kinds of entropy production rates all show differences at different stages of RTI evolution. It inhibits the RTI evolution at the bubble acceleration stage, while at the asymptotic velocity stage, it first promotes and then inhibits the RTI evolution. Viscosity and heat conduction inhibit the RTI evolution. Viscosity shows a suppressive effect on entropy generation rate related to heat flow at the early stage but a first promotive and then suppressive effect on entropy generation rate related to heat flow at a later stage. Heat conduction shows a promotive effect on entropy generation rate related to heat flow at an early stage. Still, it offers a first promotive and then suppressive effect on entropy generation rate related to heat flow at a later stage. By introducing the morphological boundary length, we found that the stage of exponential growth of interface length with time corresponds to the bubble acceleration stage. The first maximum point of interface length change rate and the first maximum point of the change rate of entropy generation rate related to viscous stress can be used as a new criterion for RTI to enter the asymptotic velocity stage.


title: A novel activity choice and scheduling model to model activity schedules of customers and staff in Dutch restaurants

abstract: The Covid-19 pandemic has had a large impact on the world. The virus spreads especially easily among people in indoor spaces such as restaurants. Hence, tools that can assess if and how different restaurant settings can impact the potential spread of the virus are of high value. The novel activity choice and scheduling model for restaurants, presented in this paper, is a key part of a larger model which combines pedestrian dynamics modelling and epidemiological models to achieve exactly this. This novel activity model can produce activity schedules for both customers and staff at a restaurant for a variety of restaurant settings. A key feature of the model is that it requires little user inputs to do so which is important as the intended users are restaurant owners. These owners have neither the time nor the expertise to deal with complex input. Tests show that the model can produce face-valid activity schedules for both staff and customers for a variety of restaurant settings. The tests also show that different restaurant settings lead to distinctly different contact patterns between people in a restaurant. As such, the model can provide valuable insights into how a restaurant setting relates to the risk of virus transmission. This is especially the case when it is combined with data about the virus. Hence, it shows the high relevance of pedestrian dynamics modelling in these pandemic times and especially the relevance of activity choice and scheduling models.


title: Visual-Inertial Odometry with Online Calibration of Velocity-Control Based Kinematic Motion Models

abstract: Visual-inertial odometry (VIO) is an important technology for autonomous robots with power and payload constraints. In this paper, we propose a novel approach for VIO with stereo cameras which integrates and calibrates the velocity-control based kinematic motion model of wheeled mobile robots online. Including such a motion model can help to improve the accuracy of VIO. Compared to several previous approaches proposed to integrate wheel odometer measurements for this purpose, our method does not require wheel encoders and can be applied when the robot motion can be modeled with velocity-control based kinematic motion model. We use radial basis function (RBF) kernels to compensate for the time delay and deviations between control commands and actual robot motion. The motion model is calibrated online by the VIO system and can be used as a forward model for motion control and planning. We evaluate our approach with data obtained in variously sized indoor environments, demonstrate improvements over a pure VIO method, and evaluate the prediction accuracy of the online calibrated model.


title: Computational Vibrational Spectroscopy

abstract: Vibrational spectroscopy is a powerful technique to characterize the near-equilibrium dynamics of molecules in the gas- and the condensed-phase. This contribution summarizes efforts from computer-based methods to gain insight into the relationship between structure and spectroscopic response. Methods for this purpose include physics-based empirical energy functions, machine-learned force fields, and methods that separate sampling conformational space and determining the data for spectral analysis such as map-based approaches.


title: ALMA Astrometry of the Objects within 0.5 pc of Sagittarius A$^\ast$

abstract: Atacama Large Millimeter/Submillimeter Array (ALMA) is promising to be a powerful tool for precision astrometry of the area around Sagittarius A$^\ast$ (Sgr A$^\ast$) because it has the high angular resolution, high sensitivity, and wide field of view. We have observed the area including the Nuclear Star Cluster at 230 GHz with ALMA in October 2017. The angular resolution is ~0.03". We determined the relative positions to Sgr A$^\ast$ of 65 compact objects in the area with the accuracy of 0.001". We also analyzed the similar ALMA archival data obtained in June 2019 and determined the 64 relative positions in these objects. We derived the proper motions relative to Sgr A$^\ast$ by comparing these positions. The derived proper motions are roughly described with both clockwise and counterclockwise rotations around Sgr A$^\ast$. The rotation velocities are reproduced by Kepler orbits bounded around Sgr A$^\ast$. Moreover, the proper motions include co-moving clusters for example IRS13E and IRS13N. The positions and proper motions are almost consistent with those by previous infrared observations. Therefore the observational demonstrations would prove that ALMA is a powerful tool for precision astrometry of the region.


title: 3D Shuffle-Mixer: An Efficient Context-Aware Vision Learner of Transformer-MLP Paradigm for Dense Prediction in Medical Volume

abstract: Dense prediction in medical volume provides enriched guidance for clinical analysis. CNN backbones have met bottleneck due to lack of long-range dependencies and global context modeling power. Recent works proposed to combine vision transformer with CNN, due to its strong global capture ability and learning capability. However, most works are limited to simply applying pure transformer with several fatal flaws (i.e., lack of inductive bias, heavy computation and little consideration for 3D data). Therefore, designing an elegant and efficient vision transformer learner for dense prediction in medical volume is promising and challenging. In this paper, we propose a novel 3D Shuffle-Mixer network of a new Local Vision Transformer-MLP paradigm for medical dense prediction. In our network, a local vision transformer block is utilized to shuffle and learn spatial context from full-view slices of rearranged volume, a residual axial-MLP is designed to mix and capture remaining volume context in a slice-aware manner, and a MLP view aggregator is employed to project the learned full-view rich context to the volume feature in a view-aware manner. Moreover, an Adaptive Scaled Enhanced Shortcut is proposed for local vision transformer to enhance feature along spatial and channel dimensions adaptively, and a CrossMerge is proposed to skip-connects the multi-scale feature appropriately in the pyramid architecture. Extensive experiments demonstrate the proposed model outperforms other state-of-the-art medical dense prediction methods.


title: A Feedback Capacity-Achieving Coding Scheme for the $(d,\infty)$-RLL Input-Constrained Binary Erasure Channel

abstract: This paper considers the memoryless input-constrained binary erasure channel (BEC). The channel input constraint is the $(d,\infty)$-runlength limited (RLL) constraint, which mandates that any pair of successive $1$s in the input sequence be separated by at least $d$ $0$s. We consider a scenario where there is causal, noiseless feedback from the decoder. We demonstrate a simple, labelling-based, zero-error feedback coding scheme, which we prove to be feedback capacity-achieving, and, as a by-product, obtain an explicit characterization of the feedback capacity. Our proof is based on showing that the rate of our feedback coding scheme equals an upper bound on the feedback capacity derived using the single-letter bounding techniques of Sabag et al. (2017). Further, we note using the tools of Thangaraj (2017) that there is a gap between the feedback and non-feedback capacities of the $(d,\infty)$-RLL input constrained BEC, at least for $d=1,2$.


title: Spin-lattice coupling in an epitaxial NdFeO3 thin film

abstract: Rare-earth orthoferrite RFeO3 materials such as NdFeO3 are strongly studied because of their fascinating magnetic properties and their potential applications. Here, we show the successful epitaxial synthesis of parasitic-free NFO thin film by pulsed laser deposition on (001)-SrTiO3. High-resolution X-ray diffraction shows a coherent growth and a tetragonal-like structure of a tensile strained 80 nm thick NFO film in contrast with the bulk orthorhombic state. Room temperature magnetometry indicates a bulk-like antiferromagnetic state for the NFO film. Temperature-dependent X-ray diffraction and magnetometry highlight a significant spin-lattice coupling at the Neel Temperature while a new magneto-structural instability is discovered around 250{\deg}C that needs further investigation.


title: Time-time covariance for last passage percolation in half-space

abstract: This article studies several properties of the half-space last passage percolation, in particular the two-time covariance. We show that, when the two end-points are at small macroscopic distance, then the first order correction to the covariance for the point-to-point model is the same as the one of the stationary model. In order to obtain the result, we first derive comparison inequalities of the last passage increments for different models. This is used to prove tightness of the point-to-point process as well as localization of the geodesics. Unlike for the full-space case, for half-space we have to overcome the difficulty that the point-to-point model in half-space with generic start and end points is not known.