title: Links in projective planar graphs

abstract: A graph $G$ is nonseparating projective planar if $G$ has a projective planar embedding without a nonsplit link. Nonseparating projective planar graphs are closed under taking minors and are a superclass of projective outerplanar graphs. We partially characterize the minor-minimal separating projective planar graphs by proving that given a minor-minimal nonouter-projective-planar graph $G$, either $G$ is minor-minimal separating projective planar or $G \dot\cup K_{1}$ is minor-minimal weakly separating projective planar, a necessary condition for $G$ to be separating projective planar. One way to generalize separating projective planar graphs is to consider type I 3-links consisting of two cycles and a pair of vertices. A graph is intrinsically projective planar type I 3-linked (IPPI3L) if its every projective planar embedding contains a nonsplit type I 3-link. We partially characterize minor-minimal IPPI3L graphs by classifying all minor-minimal IPPI3L graphs with three or more components, and finding many others with fewer components.


title: Pliable Private Information Retrieval

abstract: We formulate a new variant of the private information retrieval (PIR) problem where the user is pliable, i.e., interested in any message from a desired subset of the available dataset, denoted as pliable private information retrieval (PPIR). We consider a setup where a dataset consisting of $f$ messages is replicated in $n$ noncolluding databases and classified into $\Gamma$ classes. For this setup, the user wishes to retrieve any $\lambda\geq 1$ messages from multiple desired classes, i.e., $\eta\geq 1$, while revealing no information about the identity of the desired classes to the databases. We term this problem multi-message PPIR (M-PPIR) and introduce the single-message PPIR (PPIR) problem as an elementary special case of M-PPIR. We first derive converse bounds on the M-PPIR rate, which is defined as the ratio of the desired amount of information and the total amount of downloaded information, followed by the corresponding achievable schemes. As a result, we show that the PPIR capacity, i.e., the maximum achievable PPIR rate, for $n$ noncolluding databases matches the capacity of PIR with $n$ databases and $\Gamma$ messages. Thus, enabling flexibility, i.e., pliability, where privacy is only guaranteed for classes, but not for messages as in classical PIR, allows to trade-off privacy versus download rate. A similar insight is shown to hold for the general case of M-PPIR.


title: Enhanced power on small scales and evolution of quantum state of perturbations in single and two field inflationary models

abstract: With the detection of gravitational waves from merging binary black holes, over the last few years, there has been a considerable interest in the literature to understand if these black holes could have originated in the early universe. If the primordial scalar power over small scales is boosted considerably when compared to the COBE normalized amplitude over large scales, then, such an increased power can lead to a copious production of primordial black holes that can constitute a significant fraction of the cold dark matter density today. Recently, many models of inflation involving single or two scalar fields have been constructed which lead to enhanced power on small scales. In this work, we examine the evolution of the quantum state of the curvature perturbations in such single and two field models of inflation using measures of squeezing, entanglement entropy or quantum discord. We find that, in the single as well as the two field models, the extent of squeezing of the modes is enhanced to a certain extent (when compared to the scenarios involving only slow roll) over modes which exhibit increased scalar power. Moreover, we show that, in the two field models, the entanglement entropy associated with the curvature perturbation, arrived at when the isocurvature perturbation has been traced out, is also enhanced over the small scales. We also take the opportunity to discuss the relation between entanglement entropy and quantum discord in the case of the two field model. We conclude with a brief discussion on the wider implications of the results.


title: GPU-parallelisation of wavelet-based grid adaptation for fast finite volume modelling: application to shallow water flows

abstract: Wavelet-based grid adaptation driven by the "multiresolution analysis" (MRA) of the Haar wavelet (HW) allows to devise an adaptive first-order finite volume (FV1) model (HWFV1) that can readily preserve the modelling fidelity of its reference uniform-grid FV1 counterpart. However, the MRA incurs a high computational cost as it involves "encoding" (coarsening), "decoding" (refining), analysing and traversing modelled data across a deep hierarchy of nested, uniform grids. GPU-parallelisation of the MRA is needed to reduce its computational cost, but its algorithmic structure (1) hinders coalesced memory access on the GPU, and (2) involves an inherently sequential tree traversal problem. This work redesigns the algorithmic structure of the MRA in order to parallelise it on the GPU, addressing (1) by applying Z-order space-filling curves and addressing (2) by adopting a parallel tree traversal algorithm. This results in a GPU-parallelised HWFV1 model (GPU-HWFV1). GPU-HWFV1 is verified against its CPU predecessor (CPU-HWFV1) and its GPU-parallelised reference uniform-grid counterpart (GPU-FV1) over five shallow water flow test cases. GPU-HWFV1 preserves the modelling fidelity of GPU-FV1 while being up to 30 times faster. Compared to CPU-HWFV1, it is up to 200 times faster, suggesting the GPU-parallelised MRA could be used to speed up other FV1 models.


title: $\mathbb{Z}_2$ topologically ordered phases on a simple hyperbolic lattice

abstract: In this work, we consider 2D $\mathbb{Z}_2$ topologically ordered phases ($\mathbb{Z}_2$ toric code and the modified surface code) on a simple hyperbolic lattice. Introducing a 2D lattice consisting of the product of a 1D Cayley tree and a 1D conventional lattice, we investigate two topological quantities of the $\mathbb{Z}_2$ topologically ordered phases on this lattice: the ground state degeneracy on a closed surface and the topological entanglement entropy. We find that both quantities depend on the number of branches and the generation of the Cayley tree. We attribute these results to a huge number of superselection sectors of anyons.


title: SeATrans: Learning Segmentation-Assisted diagnosis model via Transformer

abstract: Clinically, the accurate annotation of lesions/tissues can significantly facilitate the disease diagnosis. For example, the segmentation of optic disc/cup (OD/OC) on fundus image would facilitate the glaucoma diagnosis, the segmentation of skin lesions on dermoscopic images is helpful to the melanoma diagnosis, etc. With the advancement of deep learning techniques, a wide range of methods proved the lesions/tissues segmentation can also facilitate the automated disease diagnosis models. However, existing methods are limited in the sense that they can only capture static regional correlations in the images. Inspired by the global and dynamic nature of Vision Transformer, in this paper, we propose Segmentation-Assisted diagnosis Transformer (SeATrans) to transfer the segmentation knowledge to the disease diagnosis network. Specifically, we first propose an asymmetric multi-scale interaction strategy to correlate each single low-level diagnosis feature with multi-scale segmentation features. Then, an effective strategy called SeA-block is adopted to vitalize diagnosis feature via correlated segmentation features. To model the segmentation-diagnosis interaction, SeA-block first embeds the diagnosis feature based on the segmentation information via the encoder, and then transfers the embedding back to the diagnosis feature space by a decoder. Experimental results demonstrate that SeATrans surpasses a wide range of state-of-the-art (SOTA) segmentation-assisted diagnosis methods on several disease diagnosis tasks.


title: Mining Multi-Label Samples from Single Positive Labels

abstract: Conditional generative adversarial networks (cGANs) have shown superior results in class-conditional generation tasks. To simultaneously control multiple conditions, cGANs require multi-label training datasets, where multiple labels can be assigned to each data instance. Nevertheless, the tremendous annotation cost limits the accessibility of multi-label datasets in real-world scenarios. Therefore, in this study we explore the practical setting called the single positive setting, where each data instance is annotated by only one positive label with no explicit negative labels. To generate multi-label data in the single positive setting, we propose a novel sampling approach called single-to-multi-label (S2M) sampling, based on the Markov chain Monte Carlo method. As a widely applicable "add-on" method, our proposed S2M sampling method enables existing unconditional and conditional GANs to draw high-quality multi-label data with a minimal annotation cost. Extensive experiments on real image datasets verify the effectiveness and correctness of our method, even when compared to a model trained with fully annotated datasets.


title: A Semantic Consistency Feature Alignment Object Detection Model Based on Mixed-Class Distribution Metrics

abstract: Unsupervised domain adaptation is critical in various computer vision tasks, such as object detection, instance segmentation, etc. They attempt to reduce domain bias-induced performance degradation while also promoting model application speed. Previous works in domain adaptation object detection attempt to align image-level and instance-level shifts to eventually minimize the domain discrepancy, but they may align single-class features to mixed-class features in image-level domain adaptation because each image in the object detection task may be more than one class and object. In order to achieve single-class with single-class alignment and mixed-class with mixed-class alignment, we treat the mixed-class of the feature as a new class and propose a mixed-classes $H-divergence$ for object detection to achieve homogenous feature alignment and reduce negative transfer. Then, a Semantic Consistency Feature Alignment Model (SCFAM) based on mixed-classes $H-divergence$ was also presented. To improve single-class and mixed-class semantic information and accomplish semantic separation, the SCFAM model proposes Semantic Prediction Models (SPM) and Semantic Bridging Components (SBC). And the weight of the pix domain discriminator loss is then changed based on the SPM result to reduce sample imbalance. Extensive unsupervised domain adaption experiments on widely used datasets illustrate our proposed approach's robust object detection in domain bias settings.


title: Gaia Data Release 3. Stellar chromospheric activity and mass accretion from Ca II IRT observed by the Radial Velocity Spectrometer

abstract: The Gaia Radial Velocity Spectrometer provides the unique opportunity of a spectroscopic analysis of millions of stars at medium-resolution in the near-infrared. This wavelength range includes the Ca II infrared triplet (IRT), which is a good diagnostics of magnetic activity in the chromosphere of late-type stars. Here we present the method devised for inferring the Gaia stellar activity index together with its scientific validation. A sample of well studied PMS stars is considered to identify the regime in which the Gaia stellar activity index may be affected by mass accretion. The position of these stars in the colour-magnitude diagram and the correlation with the amplitude of the photometric rotational modulation is also scrutinised. Three regimes of the chromospheric stellar activity are identified, confirming suggestions made by previous authors on much smaller $R'_{\rm HK}$ datasets. The highest stellar activity regime is associated with PMS stars and RS CVn systems, in which activity is enhanced by tidal interaction. Some evidence of a bimodal distribution in MS stars with $T_{\rm eff}\ge$ 5000 K is also found, which defines the two other regimes, without a clear gap in between. Stars with 3500 K$\le T_{\rm eff} \le$ 5000 K are found to be either very active PMS stars or active MS stars with a unimodal distribution in chromospheric activity. A dramatic change in the activity distribution is found for $T_{\rm eff}\le$3500 K, with a dominance of low activity stars close to the transition between partially- and fully-convective stars and a rise in activity down into the fully-convective regime.


title: Some remarks on Lucas modules

abstract: In this paper, we discuss some properties on Lucas modules. In details, we show that direct and inverse limits of Lucas modules are Lucas modules, and every $R$-module has a Lucas envelope and a Lucas cover. Moreover, some properties of direct and inverse limits of Lucas modules and some constructions and the unique mapping properties of Lucas envelopes and Lucas covers are investigated.


title: Correlated dynamics of collective droplet excitations in a one-dimensional harmonic trap

abstract: We address the existence and dynamics of one-dimensional harmonically confined quantum droplets, appearing in two-component mixtures by deploying a nonperturbative approach. We find that, in symmetric homonuclear settings, beyond Lee-Huang-Yang correlations result in flat-top droplet configurations for either decreasing intercomponent attraction or larger atom number. Asymmetric mixtures feature spatial mixing among the involved components with the more strongly interacting or heavier one exhibiting flat-top structures. Applying quenches on the harmonic trap we trigger the lowest-lying collective droplet excitations. The interaction-dependent breathing frequency, being slightly reduced in the presence of correlations, shows a decreasing trend for stronger attractions. Semi-analytical predictions are also obtained within the Lee-Huang-Yang framework. For relatively large quench amplitudes the droplet progressively delocalizes and higher-lying motional excitations develop in its core. Simultaneously, enhanced intercomponent entanglement and long-range two-body intracomponent correlations arise. In sharp contrast, the dipole motion remains robust irrespectively of the system parameters. Species selective quenches lead to a correlation-induced dephasing of the droplet or to irregular dipole patterns due to intercomponent collisions.


title: A generalized initial value problem for ODE's

abstract: This paper introduces, up to the author's knowledge, for the first time the generalized initial value problem. In this problem, given an ordinary differential equation defined in some set, the initial conditions are mapped to a subset of that domain. This generalization allows some systems to radically change their properties, in fact some obstructions to asymptotic stability are get rid of by mapping the initial conditions set using modularity.


title: Interference phenomena in Josephson junctions with ferromagnetic bilayers: Spin-triplet correlations and resonances

abstract: We study the Josephson effect in planar $SF_1F_2S$ junctions that consist of conventional $s$-wave superconductors ($S$) connected by two metallic monodomain ferromagnets ($F_1$ and $F_2$) with arbitrary transparency of interfaces. We solve the scattering problem in the clean limit based on the Bogoliubov-de Gennes equation for both spin-singlet and odd in frequency spin-triplet pairing correlations. We calculate numerically the Josephson current-phase relation $I(\phi)$. While the first harmonic of $I(\phi)$ is completely generated by spin-singlet and short-range spin-triplet superconducting correlations, for noncollinear magnetizations of ferromagnetic layers the second harmonic has an additional long-range spin-triplet component. Therefore, for strong ferromagnetic influence, the long-range spin-triplet contribution to the second harmonic dominates. We find an exception due to the geometric resonance for equal ferromagnetic layers when the first harmonic is strongly enhanced. Both first and second harmonic amplitudes oscillate with ferromagnetic layer thicknesses due to $0-\pi$ transitions. We study the influence of interface transparencies and find additional resonances for finite transparency of interface between ferromagnetic layers.


title: Human-Following and -guiding in Crowded Environments using Semantic Deep-Reinforcement-Learning for Mobile Service Robots

abstract: Assistance robots have gained widespread attention in various industries such as logistics and human assistance. The tasks of guiding or following a human in a crowded environment such as airports or train stations to carry weight or goods is still an open problem. In these use cases, the robot is not only required to intelligently interact with humans, but also to navigate safely among crowds. Thus, especially highly dynamic environments pose a grand challenge due to the volatile behavior patterns and unpredictable movements of humans. In this paper, we propose a Deep-Reinforcement-Learning-based agent for human-guiding and -following tasks in crowded environments. Therefore, we incorporate semantic information to provide the agent with high-level information like the social states of humans, safety models, and class types. We evaluate our proposed approach against a benchmark approach without semantic information and demonstrated enhanced navigational safety and robustness. Moreover, we demonstrate that the agent could learn to adapt its behavior to humans, which improves the human-robot interaction significantly.


title: Distributed Differential Privacy in Multi-Armed Bandits

abstract: We consider the standard $K$-armed bandit problem under a distributed trust model of differential privacy (DP), which enables to guarantee privacy without a trustworthy server. Under this trust model, previous work largely focus on achieving privacy using a shuffle protocol, where a batch of users data are randomly permuted before sending to a central server. This protocol achieves ($\epsilon,\delta$) or approximate-DP guarantee by sacrificing an additional additive $O\!\left(\!\frac{K\log T\sqrt{\log(1/\delta)}}{\epsilon}\!\right)\!$ cost in $T$-step cumulative regret. In contrast, the optimal privacy cost for achieving a stronger ($\epsilon,0$) or pure-DP guarantee under the widely used central trust model is only $\Theta\!\left(\!\frac{K\log T}{\epsilon}\!\right)\!$, where, however, a trusted server is required. In this work, we aim to obtain a pure-DP guarantee under distributed trust model while sacrificing no more regret than that under central trust model. We achieve this by designing a generic bandit algorithm based on successive arm elimination, where privacy is guaranteed by corrupting rewards with an equivalent discrete Laplace noise ensured by a secure computation protocol. We also show that our algorithm, when instantiated with Skellam noise and the secure protocol, ensures \emph{R\'{e}nyi differential privacy} -- a stronger notion than approximate DP -- under distributed trust model with a privacy cost of $O\!\left(\!\frac{K\sqrt{\log T}}{\epsilon}\!\right)\!$.


title: Scaling properties of the $\Delta\gamma$ correlator and their implication for detection of the chiral magnetic effect in heavy-ion collisions

abstract: The scaling properties of the $\Delta\gamma$ correlator, inferred from the Anomalous Viscous Fluid Dynamics (AVFD) model, are used to investigate a possible chiral-magnetically-driven (CME) charge separation in $p$+Au, $d$+Au, Ru+Ru, Zr+Zr, and Au+Au collisions at $\sqrt s_{\mathrm{NN}}=200$ GeV, and in $p$+Pb ($\sqrt s_{\mathrm{NN}}=5.02$ TeV) and Pb+Pb collisions at $\sqrt s_{\mathrm{NN}}=5.02$ and $2.76$ TeV. The results indicate that the values of the quotient $\Delta\gamma/v_2$ with the elliptic flow coefficient $v_2$ for $p$+Au, $d$+Au, $p$+Pb, and Pb+Pb collisions, scale as $1/{\rm N_{ch}}$ consistent with background-driven charge separation. By contrast, the $\Delta\gamma/v_2$ values for Ru+Ru, Zr+Zr, and Au+Au collisions show scaling violations consistent with the presence of background plus a CME-driven contribution. Quantifying this CME-driven component indicates that in mid-central collisions, the fraction of the measured $\Delta\gamma/v_2$ attributable to the CME is approximately 27\% for Au+Au and roughly a factor of two smaller for Ru+Ru and Zr+Zr, which show similar magnitudes.


title: Occasional coupling enhances amplitude death in delay-coupled oscillators

abstract: This paper aims to study amplitude death in time delay coupled oscillators using the occasional coupling scheme that implies the intermittent interaction among the oscillators. An enhancement of amplitude death regions (i.e., an increment of the width of the amplitude death regions along the control parameter axis) can be possible using the occasional coupling in a pair of delay-coupled oscillators. Our study starts with coupled limit cycle oscillators (Stuart-Landau) and coupled chaotic oscillators (R\"ossler). We further examine coupled horizontal Rijke tubes, a prototypical model of thermoacoustic systems. Oscillatory states are highly detrimental to thermoacoustic systems such as combustors. Consequently, a state of amplitude death is always preferred. We employ the on-off coupling (i.e., a square wave function), as an occasional coupling scheme, to these coupled oscillators. On monotonically varying the coupling strength (as a control parameter), we observe an enhancement of amplitude death regions using the occasional coupling scheme compared to the continuous coupling scheme. In order to study the contribution of the occasional coupling scheme, we perform a detailed linear stability analysis and analytically explain this enhancement of the amplitude death region for coupled limit cycle oscillators. We also adopt the frequency ratio of the oscillators and the time delay between the oscillators as the control parameters. Intriguingly, we obtain a similar enhancement of the amplitude death regions using frequency ratio and time delay as the control parameters in the presence of the occasional coupling. Finally, we use a half-wave rectified sinusoidal wave function (motivated by practical reality) to introduce the occasional coupling in time-delay coupled oscillators and get similar results.


title: Imagination-augmented Navigation Based on 2D Laser Sensor Observations

abstract: Autonomous navigation of mobile robots is an essential task for various industries. Sensor data is crucial to ensure safe and reliable navigation. However, sensor observations are often limited by different factors. Imagination can assist to enhance the view and aid navigation in dangerous or unknown situations where only limited sensor observation is available. In this paper, we propose an imagination-enhanced navigation based on 2D semantic laser scan data. The system contains an imagination module, which can predict the entire occupied area of the object. The imagination module is trained in a supervised manner using a collected training dataset from a 2D simulator. Four different imagination models are trained, and the imagination results are evaluated. Subsequently, the imagination results are integrated into the local and global cost map to benefit the navigation procedure. The approach is validated on three different test maps, with seven different paths for each map. The quality and numeric results showed that the agent with the imagination module could generate more reliable paths without passing beneath the object, with the cost of a longer path and slower velocity.


title: The Rough Topology for Numerical Data

abstract: In this paper, we give a generalization of the rough topology and the core to numerical data by classifying objects in terms of the attribute values. New approach to find the core for numerical data is discussed. Then a measurement to find whether an attribute is in the core or not is given. This new method for finding the core is used for attribute reduction. It is tested and compared by using machine learning algorithms. Finally, the algorithms and codes to convert a data to pertinent data and to find core is also provided.


title: The YiTrans End-to-End Speech Translation System for IWSLT 2022 Offline Shared Task

abstract: This paper describes the submission of our end-to-end YiTrans speech translation system for the IWSLT 2022 offline task, which translates from English audio to German, Chinese, and Japanese. The YiTrans system is built on large-scale pre-trained encoder-decoder models. More specifically, we first design a multi-stage pre-training strategy to build a multi-modality model with a large amount of labeled and unlabeled data. We then fine-tune the corresponding components of the model for the downstream speech translation tasks. Moreover, we make various efforts to improve performance, such as data filtering, data augmentation, speech segmentation, model ensemble, and so on. Experimental results show that our YiTrans system obtains a significant improvement than the strong baseline on three translation directions, and it achieves +5.2 BLEU improvements over last year's optimal end-to-end system on tst2021 English-German. Our final submissions rank first on English-German and English-Chinese end-to-end systems in terms of the automatic evaluation metric. We make our code and models publicly available.


title: Learning-Based Data Storage [Vision] (Technical Report)

abstract: Deep neural network (DNN) and its variants have been extensively used for a wide spectrum of real applications such as image classification, face/speech recognition, fraud detection, and so on. In addition to many important machine learning tasks, as artificial networks emulating the way brain cells function, DNNs also show the capability of storing non-linear relationships between input and output data, which exhibits the potential of storing data via DNNs. We envision a new paradigm of data storage, "DNN-as-a-Database", where data are encoded in well-trained machine learning models. Compared with conventional data storage that directly records data in raw formats, learning-based structures (e.g., DNN) can implicitly encode data pairs of inputs and outputs and compute/materialize actual output data of different resolutions only if input data are provided. This new paradigm can greatly enhance the data security by allowing flexible data privacy settings on different levels, achieve low space consumption and fast computation with the acceleration of new hardware (e.g., Diffractive Neural Network and AI chips), and can be generalized to distributed DNN-based storage/computing. In this paper, we propose this novel concept of learning-based data storage, which utilizes a learning structure called learning-based memory unit (LMU), to store, organize, and retrieve data. As a case study, we use DNNs as the engine in the LMU, and study the data capacity and accuracy of the DNN-based data storage. Our preliminary experimental results show the feasibility of the learning-based data storage by achieving high (100%) accuracy of the DNN storage. We explore and design effective solutions to utilize the DNN-based data storage to manage and query relational tables. We discuss how to generalize our solutions to other data types (e.g., graphs) and environments such as distributed DNN storage/computing.


title: Computability Models: Algebraic, Topological and Geometric Algorithms

abstract: The discreteness problem for finitely generated subgroups of $PSL(2,\mathbb{R})$ and $PSL(2,\mathbb{C})$ is a long-standing open problem. In this paper we consider whether or not this problem is decidable by an algorithm. Our main result is that the answer depends upon what model of computation is chosen. Since our discussion involves the disparate topics of computability theory and group theory, we include substantial background material.


title: The odd chromatic number of a toroidal graph is at most 9

abstract: It's well known that every planar graph is $4$-colorable. A toroidal graph is a graph that can be embedded on a torus. It's proved that every toroidal graph is $7$-colorable. A proper coloring of a graph is called \emph{odd} if every non-isolated vertex has at least one color that appears an odd number of times in its neighborhood. The smallest number of colors that admits an odd coloring of a graph $ G $ is denoted by $\chi_{o}(G)$. In this paper, we prove that if $G$ is tortoidal, then $\chi_{o}\left({G}\right)\le9$; Note that $K_7$ is a toroidal graph, the upper bound is no less than $7$.


title: Entanglement in harmonic systems at coherent states

abstract: It is well-known that entanglement entropy in field theory at its ground state is dominated by an area law term, presenting a similarity to the entropy of black holes. It is interesting to investigate whether this similarity can be extended by showing that gravitational dynamics emerges from the first law of entanglement thermodynamics. Answering this question requires the specification of the modular Hamiltonian. Motivated by the above, we study entanglement in the toy model of harmonic systems lying at any classicalmost state, i.e. any coherent state. We specify explicitly the reduced density matrix and its time-evolution, as well as the modular Hamiltonian. Interestingly, the time evolution is unitary and we specify the effective Hamiltonian which generates it. Our results provide the tools to investigate the similarity between gravity and entanglement in discretized free scalar field theory in the framework of (Phys Rev Lett 71:666, 1993).


title: DSCA: A Dual-Stream Network with Cross-Attention on Whole-Slide Image Pyramids for Cancer Prognosis

abstract: The cancer prognosis on gigapixel Whole-Slide Images (WSIs) has always been a challenging task. To further enhance WSI visual representations, existing methods have explored image pyramids, instead of single-resolution images, in WSIs. In spite of this, they still face two major problems: high computational cost and the unnoticed semantical gap in multi-resolution feature fusion. To tackle these problems, this paper proposes to efficiently exploit WSI pyramids from a new perspective, the dual-stream network with cross-attention (DSCA). Our key idea is to utilize two sub-streams to process the WSI patches with two resolutions, where a square pooling is devised in a high-resolution stream to significantly reduce computational costs, and a cross-attention-based method is proposed to properly handle the fusion of dual-stream features. We validate our DSCA on three publicly-available datasets with a total number of 3,101 WSIs from 1,911 patients. Our experiments and ablation studies verify that (i) the proposed DSCA could outperform existing state-of-the-art methods in cancer prognosis, by an average C-Index improvement of around 4.6%; (ii) our DSCA network is more efficient in computation -- it has more learnable parameters (6.31M vs. 860.18K) but less computational costs (2.51G vs. 4.94G), compared to a typical existing multi-resolution network. (iii) the key components of DSCA, dual-stream and cross-attention, indeed contribute to our model's performance, gaining an average C-Index rise of around 2.0% while maintaining a relatively-small computational load. Our DSCA could serve as an alternative and effective tool for WSI-based cancer prognosis.


title: Exchange-enhancement of the ultrafast magnetic order dynamics in antiferromagnets

abstract: We theoretically demonstrate that the ultrafast magnetic order dynamics in antiferromagnets is exchange-enhanced in comparison to their ferromagnetic counterparts. We provide an equation of motion for the magnetic order dynamics validated by computer simulations using atomistic spin dynamics methods. The exchange of angular momentum between sublattices speeds up the dynamics in antiferromagnets, a process absent in ferromagnets.


title: Tree-level unitarity, causality and higher-order Lorentz and CPT violation

abstract: Higher-order effects of CPT and Lorentz violation within the SME effective framework including Myers-Pospelov dimension-five operator terms are studied. The model is canonically quantized by giving special attention to the arising of indefinite-metric states or ghosts in an indefinite Fock space. As is well-known, without a perturbative treatment that avoids the propagation of ghost modes or any other approximation, one has to face the question of whether unitarity and microcausality are preserved. In this work, we study both possible issues. We found that microcausality is preserved due to the cancellation of residues occurring in pairs or conjugate pairs when they become complex. Also, by using the Lee-Wick prescription, we prove that the $S$ matrix can be defined as perturbatively unitary for tree-level $2\to 2$ processes with an internal fermion line.


title: Noise subtraction from KAGRA O3GK data using Independent Component Analysis

abstract: In April 2020, KAGRA conducted its first science observation in combination with the GEO~600 detector (O3GK) for two weeks. According to the noise budget estimation, suspension control noise in the low frequency band and acoustic noise in the middle frequency band are identified as the dominant contribution. In this study, we show that such noise can be reduced in offline data analysis by utilizing a method called Independent Component Analysis (ICA). Here the ICA model is extended from the one studied in iKAGRA data analysis by incorporating frequency dependence while linearity and stationarity of the couplings are still assumed. By using optimal witness sensors, those two dominant contributions are mitigated in the real observational data. We also analyze the stability of the transfer functions for whole two weeks data in order to investigate how the current subtraction method can be practically used in gravitational wave search.


title: MLLess: Achieving Cost Efficiency in Serverless Machine Learning Training

abstract: Function-as-a-Service (FaaS) has raised a growing interest in how to "tame" serverless computing to enable domain-specific use cases such as data-intensive applications and machine learning (ML), to name a few. Recently, several systems have been implemented for training ML models. Certainly, these research articles are significant steps in the correct direction. However, they do not completely answer the nagging question of when serverless ML training can be more cost-effective compared to traditional "serverful" computing. To help in this endeavor, we propose MLLess, a FaaS-based ML training prototype built atop IBM Cloud Functions. To boost cost-efficiency, MLLess implements two innovative optimizations tailored to the traits of serverless computing: on one hand, a significance filter, to make indirect communication more effective, and on the other hand, a scale-in auto-tuner, to reduce cost by benefiting from the FaaS sub-second billing model (often per 100ms). Our results certify that MLLess can be 15X faster than serverful ML systems at a lower cost for sparse ML models that exhibit fast convergence such as sparse logistic regression and matrix factorization. Furthermore, our results show that MLLess can easily scale out to increasingly large fleets of serverless workers.


title: A Probabilistic Machine Learning Approach to Scheduling Parallel Loops with Bayesian Optimization

abstract: This paper proposes Bayesian optimization augmented factoring self-scheduling (BO FSS), a new parallel loop scheduling strategy. BO FSS is an automatic tuning variant of the factoring self-scheduling (FSS) algorithm and is based on Bayesian optimization (BO), a black-box optimization algorithm. Its core idea is to automatically tune the internal parameter of FSS by solving an optimization problem using BO. The tuning procedure only requires online execution time measurement of the target loop. In order to apply BO, we model the execution time using two Gaussian process (GP) probabilistic machine learning models. Notably, we propose a locality-aware GP model, which assumes that the temporal locality effect resembles an exponentially decreasing function. By accurately modeling the temporal locality effect, our locality-aware GP model accelerates the convergence of BO. We implemented BO FSS on the GCC implementation of the OpenMP standard and evaluated its performance against other scheduling algorithms. Also, to quantify our method's performance variation on different workloads, or workload-robustness in our terms, we measure the minimax regret. According to the minimax regret, BO FSS shows more consistent performance than other algorithms. Within the considered workloads, BO FSS improves the execution time of FSS by as much as 22% and 5% on average.


title: Identifying and estimating effects of sustained interventions under parallel trends assumptions

abstract: Many research questions in public health and medicine concern sustained interventions in populations defined by substantive priorities. Existing methods to answer such questions typically require a measured covariate set sufficient to control confounding, which can be questionable in observational studies. Differences-in-differences relies instead on the parallel trends assumption, allowing for some types of time-invariant unmeasured confounding. However, most existing difference-in-differences implementations are limited to point treatments in restricted subpopulations. We derive identification results for population effects of sustained treatments under parallel trends assumptions. In particular, in settings where all individuals begin follow-up with exposure status consistent with the treatment plan of interest but may deviate at later times, a version of Robins' g-formula identifies the intervention-specific mean under SUTVA, positivity, and parallel trends. We develop consistent asymptotically normal estimators based on inverse-probability weighting, outcome regression, and a double robust estimator based on targeted maximum likelihood. Simulation studies confirm theoretical results and support the use of the proposed estimators at realistic sample sizes. As an example, the methods are used to estimate the effect of a hypothetical federal stay-at-home order on all-cause mortality during the COVID-19 pandemic in spring 2020 in the United States.


title: Search for solar axions via axion-photon coupling with the Majorana Demonstrator

abstract: Axions were originally proposed to explain the strong-CP problem in QCD. Through the axion-photon coupling, the Sun could be a major source of axions, which could be measured in solid state detection experiments with enhancements due to coherent Primakoff-Bragg scattering. The Majorana Demonstrator experiment has searched for solar axions with a set of $^{76}$Ge-enriched high purity germanium detectors using a 33 kg-yr exposure collected between Jan. 2017 and Nov. 2019. A temporal-energy analysis gives a new limit on the axion-photon coupling as $g_{a\gamma}<1.45\times 10^{-9}$ GeV$^{-1}$ (95% C.I.) for axions with mass up to 100 eV/$c^2$. This improves laboratory-based limits between about 1 eV/$c^2$ and 100 eV/$c^2$.


title: Data Augmentation for Intent Classification

abstract: Training accurate intent classifiers requires labeled data, which can be costly to obtain. Data augmentation methods may ameliorate this issue, but the quality of the generated data varies significantly across techniques. We study the process of systematically producing pseudo-labeled data given a small seed set using a wide variety of data augmentation techniques, including mixing methods together. We find that while certain methods dramatically improve qualitative and quantitative performance, other methods have minimal or even negative impact. We also analyze key considerations when implementing data augmentation methods in production.


title: A subexponential version of Cramer's theorem

abstract: We consider the large deviations associated with the empirical mean of independent and identically distributed random variables under a subexponential moment condition. We show that non-trivial deviations are observable at a subexponential scale in the number of variables, and we provide the associated rate function, which is non-convex and is not derived from a Legendre-Fenchel transform. The proof adapts the one of Cramer's theorem to the case where the fluctuation is generated by a single variable. In particular, we develop a new tilting strategy for the lower bound, which leads us to introduce a condition on the second derivative of the moment generating function. Our results are illustrated by a couple of simple examples.


title: Exponential stability for a system of second and first order delay differential equations

abstract: Exponential stability of the second order linear delay differential equation in $x$ and $u$-control $$ \ddot{x}(t)+a_1(t)\dot{x}(h_1(t))+a_2(t)x(h_2(t))+a_3(t)u(h_3(t))=0 $$ is studied, where indirect feedback control $\dot{u}(t)+b_1(t)u(g_1(t))+b_2(t)x(g_2(t))=0$ connects $u$ with the solution. Explicit sufficient conditions guarantee that both $x$ and $u$ decay exponentially.


title: Electronic measurements of entropy in meso- and nanoscale systems

abstract: Entropy is one of the most fundamental quantities in physics. For systems with few degrees of freedom, the value of entropy provides a powerful insight into its microscopic dynamics, such as the number, degeneracy and relative energies of electronic states, the value of spin, degree of localisation and entanglement, and the emergence of exotic states such as non-Abelian anyons. As the size of a system decreases, the conventional methods for measuring entropy, based on heat capacity, quickly become infeasible due to the requirement of increasingly accurate measurements of heat. Several methods to directly measure entropy of mesoscopic quantum systems have recently been developed. These methods use electronic measurements of charge, conductance and thermocurrent, rather than heat, and have been successfully applied to a wide range of systems, from quantum dots and molecules, to quantum Hall states and twisted bilayer graphene. In this Review, we provide an overview of electronic direct entropy measurement methods, discuss their theoretical background, compare their ranges of applicability and look into the directions for their future extensions and applications.


title: Characterizing the Implicit Bias of Regularized SGD in Rank Minimization

abstract: We study the bias of Stochastic Gradient Descent (SGD) to learn low-rank weight matrices when training deep neural networks. Our results show that training neural networks with mini-batch SGD and weight decay causes a bias towards rank minimization over the weight matrices. Specifically, we show, both theoretically and empirically, that this bias is more pronounced when using smaller batch sizes, higher learning rates, or increased weight decay. Additionally, we predict and observe empirically that weight decay is necessary to achieve this bias. Unlike previous literature, our analysis does not rely on assumptions about the data, convergence, or optimality of the weight matrices and applies to a wide range of neural network architectures of any width or depth. Finally, we empirically investigate the connection between this bias and generalization, finding that it has a marginal effect on generalization.


title: Powers with minimal commutator length in free products of groups

abstract: Given a free product of groups $G = {\large *}_{j \in J} A_j$ and a natural number $n$, what is the minimal possible commutator length of an element $g^n \in G$ not conjugate to elements of the free factors? We give an exhaustive answer to this question.


title: Gaia Data Release 3 Validating the classification of variable Young Stellar Object candidates

abstract: Context. The Gaia third Data Release (DR3) presents the first catalogue of full-sky variable Young Stellar Object (YSO) candidates observed by the Gaia space telescope during the initial 34 months of science operations. Aims. Numerous types of variable stars were classified using photometric data collected by Gaia. One of the new classes presented in the Gaia DR3 is the class of YSOs showing brightness variability. We analysed 79 375 sources classified as YSO candidates to validate their young nature and investigate the completeness and purity of the sample. Methods. We cross-matched the Gaia DR3 YSO sample with numerous catalogues from the literature, including YSO catalogues based on optical and infrared data, as well as catalogues of extragalactic sources and Galactic variable stars. YSO catalogues were used to quantify the completeness of the Gaia DR3 YSO sample, while others were inspected to calculate the contamination. Results. Among the 79 375 potential Young Stellar Object candidates published in the Gaia DR3 variable star catalogue, the majority of these objects are distributed along the line of sight of well-known Star Forming Regions and the Galactic mid-plane. We found that the contamination level is well below 1%, while the completeness is also at the percent level, taking into account that the Gaia DR3 YSO sample is based on sources that showed significant variability during the data collection period. The number of sources in our sample that were never catalogued before as YSO candidates is in the order of $\sim$40 000 objects.


title: Quantum corrections to the primordial tensor spectrum: Open EFTs & Markovian decoupling of UV modes

abstract: Perturbative quantum corrections to primordial power spectra are important for testing the robustness and the regime of validity of inflation as an effective field theory. Although this has been done extensively for the density power spectrum (and, to some extent, for the tensor spectrum) using loop corrections, we do so in an open quantum system approach to the problem. Specifically, we calculate the first order corrections to the primordial gravitational wave spectrum due to (cubic) tensor interactions alone. We show that our results match expectations from standard loop corrections only in the strict Markovian limit, and therefore, establish a systematic way to relax this approximation in the future, as is generally necessary for gravitational systems.


title: Bivariate Inverse Topp-Leone Model to Counter Heterogeneous Data

abstract: In probability and statistics, reliable modeling of bivariate continuous characteristics remains a real insurmountable consideration. During analysis of bivariate data, we have to deal with heterogeneity that is present in data. Therefore, for dealing with such a scenario, we investigate a novel technique based on a Farlie-Gumbel-Morgenstern (FGM) copula and the inverse Topp-Leone (ITL) model in this study. The idea is to use the oscillating functionalities of the FGM copula and the flexibility of the ITL model to propose a serious bivariate solution for the modeling of bivariate lifetime phenomena to counter the heterogeneity present in data. Both theory and practice are developed. In particular, we determine the main functions related to the model, like the cumulative model function, probability density function, conditional density function, and various useful dependence measures for bivariate modeling. The model parameters are estimated using the maximum likelihood method and Bayesian framework of Markov Chain Monte Carlo (MCMC) methodology. Following that, model comparison methods are used to compare models. To explain the findings and show that better models are recommended, the famous Drought and Burr data sets are used.


title: Integrability and action-angle-based solution of the post-Newtonian BBH system (lecture notes)

abstract: These lecture notes are based on Refs. arXiv:2110.15351, arXiv:2012.06586, and arXiv:1908.02927, which aim to give closed-form solutions to the spinning, eccentric binary black hole dynamics at 1.5PN via two different equivalent ways: (1) the standard way of integrating Hamilton's equations and (2) using action-angle variables. The above papers assume a certain level of familiarity with the symplectic geometric approach to classical mechanics, the non-fulfillment of which on the reader's part may make the papers appear esoteric. The purpose of these lecture notes is to give the reader this prerequisite knowledge which the above papers assume on the reader's part.


title: Common graphs with arbitrary chromatic number

abstract: Ramsey's Theorem guarantees for every graph H that any 2-edge-coloring of a sufficiently large complete graph contains a monochromatic copy of H. In 1962, Erdos conjectured that the random 2-edge-coloring minimizes the number of monochromatic copies of K_k, and the conjecture was extended by Burr and Rosta to all graphs. In the late 1980s, the conjectures were disproved by Thomason and Sidorenko, respectively. A classification of graphs whose number of monochromatic copies is minimized by the random 2-edge-coloring, which are referred to as common graphs, remains a challenging open problem. If Sidorenko's Conjecture, one of the most significant open problems in extremal graph theory, is true, then every 2-chromatic graph is common, and in fact, no 2-chromatic common graph unsettled for Sidorenko's Conjecture is known. While examples of 3-chromatic common graphs were known for a long time, the existence of a 4-chromatic common graph was open until 2012, and no common graph with a larger chromatic number is known. We construct connected k-chromatic common graphs for every k. This answers a question posed by Hatami, Hladky, Kral, Norine and Razborov [Combin. Probab. Comput. 21 (2012), 734-742], and a problem listed by Conlon, Fox and Sudakov [London Math. Soc. Lecture Note Ser. 424 (2015), 49-118, Problem 2.28]. This also answers in a stronger form the question raised by Jagger, Stovicek and Thomason [Combinatorica 16, (1996), 123-131] whether there exists a common graph with chromatic number at least four.


title: An Elementary Proof of the Local Kronecker-Weber Theorem

abstract: We will present a novel elementary and self-contained proof of the local Kronecker-Weber theorem. Apart from discrete valuation theory, it does not make use of any tools beyond those introduced in a second undergraduate course on algebra. In particular, we will not make use of results from local class field theory or Galois cohomology.


title: Self-critiquing models for assisting human evaluators

abstract: We fine-tune large language models to write natural language critiques (natural language critical comments) using behavioral cloning. On a topic-based summarization task, critiques written by our models help humans find flaws in summaries that they would have otherwise missed. Our models help find naturally occurring flaws in both model and human written summaries, and intentional flaws in summaries written by humans to be deliberately misleading. We study scaling properties of critiquing with both topic-based summarization and synthetic tasks. Larger models write more helpful critiques, and on most tasks, are better at self-critiquing, despite having harder-to-critique outputs. Larger models can also integrate their own self-critiques as feedback, refining their own summaries into better ones. Finally, we motivate and introduce a framework for comparing critiquing ability to generation and discrimination ability. Our measurements suggest that even large models may still have relevant knowledge they cannot or do not articulate as critiques. These results are a proof of concept for using AI-assisted human feedback to scale the supervision of machine learning systems to tasks that are difficult for humans to evaluate directly. We release our training datasets, as well as samples from our critique assistance experiments.


title: Jets in radio galaxies and quasars: an observational perspective

abstract: This article gives a brief historical introduction and reviews our current understanding of jets in radio galaxies and quasars from an observational perspective, with an emphasis on observations at radio wavelengths. Recent results on the Fanaroff-Riley classification scheme, and the nature of radio structures and jets in the FR classes as well as in high-excitation and low-excitation radio galaxies are summarized. The collimation and propagation of jets from nuclear sub-pc to hundreds of kpc scales from both observatinoal and theoretical work have been discussed. The jets exhibit evidence of interaction with a clumpy interstellar medium, especially in young radio sources, and could trigger both star formation as well as suppress star formation depending on the physical conditions. Observational evidence for such interactions and jet feedback which have profound implications in our understanding of galaxy evolution have been presented. Recurrent jet activity which has been seen over a wide range of projected linear size and time scales has been discussed. This review article concludes with a brief discussion of unresolved questions on jets which new telescopes should help address.


title: Positivity, plethysm and hyperbolicity of Siegel varieties in positive characteristic

abstract: We study hyperbolicity properties of the moduli space of polarized abelian varieties (also known as the Siegel modular variety) in characteristic $p$. Our method uses the plethysm operation for Schur functors as a key ingredient and requires a new positivity notion for vector bundles in characteristic $p$ called $(\varphi,D)$-ampleness. Generalizing what was known for the Hodge line bundle, we also show that many automorphic vector bundles on the Siegel modular variety are $(\varphi,D)$-ample.


title: Optimal Quaternary Locally Repairable Codes Attaining the Singleton-like Bound

abstract: Recent years, several new types of codes were introduced to provide fault-tolerance and guarantee system reliability in distributed storage systems, among which locally repairable codes (LRCs for short) have played an important role. A linear code is said to have locality $r$ if each of its code symbols can be repaired by accessing at most $r$ other code symbols. For an LRC with length $n$, dimension $k$ and locality $r$, its minimum distance $d$ was proved to satisfy the Singleton-like bound $d\leq n-k-\lceil k/r\rceil+2$. Since then, many works have been done for constructing LRCs meeting the Singleton-like bound over small fields. In this paper, we study quaternary LRCs meeting Singleton-like bound through a parity-check matrix approach. Using tools from finite geometry, we provide some new necessary conditions for LRCs being optimal. From this, we prove that there are $27$ different classes of parameters for optimal quaternary LRCs. Moreover, for each class, explicit constructions of corresponding optimal quaternary LRCs are presented.


title: On two notions of total positivity for partial flag varieties

abstract: Given integers $1 \le k_1 < \cdots < k_l \le n-1$, let $\text{Fl}_{k_1,\dots,k_l;n}$ denote the type $A$ partial flag variety consisting of all chains of subspaces $(V_{k_1}\subset\cdots\subset V_{k_l})$ inside $\mathbb{R}^n$, where each $V_k$ has dimension $k$. Lusztig (1994, 1998) introduced the totally positive part $\text{Fl}_{k_1,\dots,k_l;n}^{>0}$ as the subset of partial flags which can be represented by a totally positive $n\times n$ matrix, and defined the totally nonnegative part $\text{Fl}_{k_1,\dots,k_l;n}^{\ge 0}$ as the closure of $\text{Fl}_{k_1,\dots,k_l;n}^{>0}$. On the other hand, following Postnikov (2007), we define $\text{Fl}_{k_1,\dots,k_l;n}^{\Delta>0}$ and $\text{Fl}_{k_1,\dots,k_l;n}^{\Delta\ge 0}$ as the subsets of $\text{Fl}_{k_1,\dots,k_l;n}$ where all Pl\"{u}cker coordinates are positive and nonnegative, respectively. It follows from the definitions that Lusztig's total positivity implies Pl\"{u}cker positivity, and it is natural to ask when these two notions of positivity agree. Rietsch (2009) proved that they agree in the case of the Grassmannian $\text{Fl}_{k;n}$, and Chevalier (2011) showed that the two notions are distinct for $\text{Fl}_{1,3;4}$. We show that in general, the two notions agree if and only if $k_1, \dots, k_l$ are consecutive integers. We give an elementary proof of this result (including for the case of Grassmannians) based on classical results in linear algebra and the theory of total positivity. We also show that the cell decomposition of $\text{Fl}_{k_1,\dots,k_l;n}^{\ge 0}$ coincides with its matroid decomposition if and only if $k_1,\dots,k_l$ are consecutive integers, which was previously only known for complete flag varieties, Grassmannians, and $\text{Fl}_{1,3;4}$. Finally, we determine which notions of positivity are compatible with a natural action of the cyclic group of order $n$ that rotates the index set.


title: Over-Generation Cannot Be Rewarded: Length-Adaptive Average Lagging for Simultaneous Speech Translation

abstract: Simultaneous speech translation (SimulST) systems aim at generating their output with the lowest possible latency, which is normally computed in terms of Average Lagging (AL). In this paper we highlight that, despite its widespread adoption, AL provides underestimated scores for systems that generate longer predictions compared to the corresponding references. We also show that this problem has practical relevance, as recent SimulST systems have indeed a tendency to over-generate. As a solution, we propose LAAL (Length-Adaptive Average Lagging), a modified version of the metric that takes into account the over-generation phenomenon and allows for unbiased evaluation of both under-/over-generating systems.


title: Energy-lowering and constant-energy spin flips: Emergence of the percolating cluster in the kinetic Ising model

abstract: After a sudden quench from the disordered high-temperature $T_0\to\infty$ phase to a final temperature below the critical point $T_F \ll T_c$, the non-conserved order parameter dynamics of the two-dimensional ferromagnetic Ising model on a square lattice (2dIM) initially approaches the critical percolation state before entering the coarsening regime. This approach involves two timescales associated with the first appearance (at time $t_{{\rm p}_1}>0$) and stabilization (at time $t_{\rm p}>t_{{\rm p}_1}$) of a giant percolation cluster, as previously reported. However, the microscopic mechanisms that control such timescales are not yet fully understood. In this paper, in order to study their role on each time regime after the quench ($T_F=0$), we distinguish between spin flips that decrease the total energy of the system from those that keep it constant, the latter being parametrized by the probability $p$. We show that the cluster size heterogeneity $H(t,p)$ and the typical domain size $\ell (t,p)$ have no dependence on $p$ in the first time regime up to $t_{{\rm p}_1}$. On the other hand, the time for stabilizing a percolating cluster is controlled by the acceptance probability of constant-energy flips: $t_{\rm p}(p) \sim p^{-1}$ for $p\ll 1$ (at $p=0$, the dynamics gets stuck in a metastable state). These flips are also the relevant ones in the later coarsening regime where dynamical scaling takes place. Because the phenomenology on the approach to the percolation point seems to be shared by many 2d systems with a non-conserved order parameter dynamics (and certain cases of conserved ones as well), our results may suggest a simple and effective way to set, through the dynamics itself, $t_{{\rm p}_1}$ and $t_{\rm p}$ in such systems.


title: Geometric Policy Iteration for Markov Decision Processes

abstract: Recently discovered polyhedral structures of the value function for finite state-action discounted Markov decision processes (MDP) shed light on understanding the success of reinforcement learning. We investigate the value function polytope in greater detail and characterize the polytope boundary using a hyperplane arrangement. We further show that the value space is a union of finitely many cells of the same hyperplane arrangement and relate it to the polytope of the classical linear programming formulation for MDPs. Inspired by these geometric properties, we propose a new algorithm, Geometric Policy Iteration (GPI), to solve discounted MDPs. GPI updates the policy of a single state by switching to an action that is mapped to the boundary of the value function polytope, followed by an immediate update of the value function. This new update rule aims at a faster value improvement without compromising computational efficiency. Moreover, our algorithm allows asynchronous updates of state values which is more flexible and advantageous compared to traditional policy iteration when the state set is large. We prove that the complexity of GPI achieves the best known bound $\mathcal{O}\left(\frac{|\mathcal{A}|}{1 - \gamma}\log \frac{1}{1-\gamma}\right)$ of policy iteration and empirically demonstrate the strength of GPI on MDPs of various sizes.


title: Analysis of Branch Specialization and its Application in Image Decomposition

abstract: Branched neural networks have been used extensively for a variety of tasks. Branches are sub-parts of the model that perform independent processing followed by aggregation. It is known that this setting induces a phenomenon called Branch Specialization, where different branches become experts in different sub-tasks. Such observations were qualitative by nature. In this work, we present a methodological analysis of Branch Specialization. We explain the role of gradient descent in this phenomenon. We show that branched generative networks naturally decompose animal images to meaningful channels of fur, whiskers and spots and face images to channels such as different illumination components and face parts.


title: Semi-Annihilation of Fermionic Dark Matter

abstract: The continued non-observation of events emanating from dark matter (DM) annihilations in various direct and indirect detection experiments calls into question the mechanism for determining the relic density of a weakly interacting massive particle. However, if the relic density is determined primarily by a semi-annihilation process, as opposed to the usual annihilation, this tension can be ameliorated. Here, we investigate a Z3 symmetric effective field theory incorporating a fermionic dark matter that semi-annihilates to right-handed neutrinos (RHN). The dynamics of the RHN and the impact of its late decays are also scrutinised while obtaining the correct DM relic. Finally, indirect detection bounds on the semi-annihilation cross-sections are drawn from the gamma-ray observations in the direction of Dwarf Spheroidal Galaxies (Fermi-LAT), and including the projections obtained for the H.E.S.S. and the CTA detectors.


title: The Improved New Intersection Theorem revisited

abstract: We prove a generalized version of Evans and Griffith's Improved New Intersection Theorem: Let I be an ideal in a local ring R. If a finite free R-complex, concentrated in nonnegative degrees, has I-torsion homology in positive degrees, and the homology in degree 0 has an I-torsion minimal generator, then the length of the complex is at least dim R - dim R/I. This improves the bound ht I obtained by Avramov, Iyengar, and Neeman in 2018.


title: A Rewriting Logic Semantics and Statistical Analysis for Probabilistic Event-B

abstract: Probabilistic specifications are fast gaining ground as a tool for statistical modeling of probabilistic systems. One of the main goals of formal methods in this domain is to ensure that specific behavior is present or absent in the system, up to a certain confidence threshold, regardless of the way it operates amid uncertain information. This paper presents a rewriting logic semantics for a probabilistic extension of Event-B, a proof-based formal method for discrete systems modeling. The proposed semantics adequately captures the three sources of probabilistic behavior, namely, probabilistic assignments, parameters, and concurrency. Hence, simulation and probabilistic temporal verification become automatically available for probabilistic Event-B models. The approach takes as input a probabilistic Event-B specification, and outputs a probabilistic rewrite theory that is fully executable in PMaude and can be statistically tested against quantitative metrics. The approach is illustrated with examples in the paper.


title: Once Highly Productive, Forever Highly Productive? Full Professors' Research Productivity from a Longitudinal Perspective

abstract: This longitudinal study explores persistence in research productivity over time. We examine the trajectories of the academic careers of 2,326 current full professors in 14 STEMM disciplines, studying their lifetime biographical histories and publication histories. Every full professor is compared in terms of productivity classes (top, middle, bottom) with their peers at earlier career stages. We used prestige-normalized productivity in which more weight is given to articles in high-impact than in low-impact journals, recognizing the highly stratified nature of academic science. Our results show that membership in top productivity classes is to a large extent determined by being in these classes earlier. Half of the current top productive full professors belonged to top productivity classes throughout their academic careers. Half of the top productive assistant professors continued as top productive associate professors, and half of the top productive associate professors continued as top productive full professors (52.6% and 50.8%). Top-to-bottom and bottom-to-top transitions in productivity classes occurred marginally. The combination of biographical and demographic data with raw Scopus publication data from the past 50 years (N=1 million) made it possible to assign all full professors retrospective to different productivity, promotion age, and promotion speed classes. In logistic regression models, two powerful predictors of belonging to the top productivity class for full professors were being highly productive as assistant professors and as associate professors (increasing the odds by 180% and 360%). Neither gender nor age (biological or academic) emerged as statistically significant.


title: Gemini-LIGHTS: Herbig Ae/Be and massive T-Tauri protoplanetary disks imaged with Gemini Planet Imager

abstract: We present the complete sample of protoplanetary disks from the Gemini- Large Imaging with GPI Herbig/T-tauri Survey (Gemini-LIGHTS) which observed bright Herbig Ae/Be stars and T-Tauri stars in near-infrared polarized light to search for signatures of disk evolution and ongoing planet formation. The 44 targets were chosen based on their near- and mid-infrared colors, with roughly equal numbers of transitional, pre-transitional, and full disks. Our approach explicitly did not favor well-known, "famous" disks or those observed by ALMA, resulting in a less-biased sample suitable to probe the major stages of disk evolution during planet formation. Our optimized data reduction allowed polarized flux as low as 0.002% of the stellar light to be detected, and we report polarized scattered light around 80% of our targets. We detected point-like companions for 47% of the targets, including 3 brown dwarfs (2 confirmed, 1 new), and a new super-Jupiter mass candidate around V1295 Aql. We searched for correlations between the polarized flux and system parameters, finding a few clear trends: presence of a companion drastically reduces the polarized flux levels, far-IR excess correlates with polarized flux for non-binary systems, and systems hosting disks with ring structures have stellar masses $<$ 3 Msun. Our sample also included four hot, dusty "FS CMa" systems and we detected large-scale ($>100$ au) scattered light around each, signs of extreme youth for these enigmatic systems. Science-ready images are publicly available through multiple distribution channels using a new FITS file standard jointly developed with members of the VLT/SPHERE team.


title: Knotted 4-regular graphs: polynomial invariants and the Pachner moves

abstract: In loop quantum gravity, states of quantum geometry are represented by classes of knotted graphs, equivalent under diffeomorphisms. Thus, it is worthwhile to enumerate and distinguish these classes. This paper looks at the case of 4-regular graphs, which have an interpretation as objects dual to triangulations of three-dimensional manifolds. Two different polynomial invariants are developed to characterize these graphs -- one inspired by the Kauffman bracket relations, and the other based on quandles. How the latter invariant changes under the Pachner moves acting on the graphs is then studied.


title: The Least Common Multiple of a Bivariate Quadratic Sequence

abstract: Let $F\in\mathbb{Z}[x,y]$ be some polynomial of degree 2. In this paper we find the asymptotic behaviour of the least common multiple of the values of $F$ up to $N$. More precisely, we consider $\psi_F(N) = \log\left(\text{LCM}_{0<F(x,y)\leq N}\left\lbrace F(x,y)\right\rbrace\right)$ as $N$ tends to infinity. It turns out that there are 4 different possible asymptotic behaviours depending on $F$. For a generic $F$, we show that the function $\psi_F(N)$ has order of magnitude $\frac{N\log\log N}{\sqrt{\log N}}$. We also show that this is the expected order of magnitude according to a suitable random model. However, special polynomials $F$ can have different behaviours, which sometimes deviate from the random model. We give a complete description of the order of magnitude of these possible behaviours, and when each one occurs.


title: An Industry 4.0 example: real-time quality control for steel-based mass production using Machine Learning on non-invasive sensor data

abstract: Insufficient steel quality in mass production can cause extremely costly damage to tooling, production downtimes and low quality products. Automatic, fast and cheap strategies to estimate essential material properties for quality control, risk mitigation and the prediction of faults are highly desirable. In this work we analyse a high throughput production line of steel-based products. Currently, the material quality is checked using manual destructive testing, which is slow, wasteful and covers only a tiny fraction of the material. To achieve complete testing coverage our industrial collaborator developed a contactless, non-invasive, electromagnetic sensor to measure all material during production in real-time. Our contribution is three-fold: 1) We show in a controlled experiment that the sensor can distinguish steel with deliberately altered properties. 2) 48 steel coils were fully measured non-invasively and additional destructive tests were conducted on samples to serve as ground truth. A linear model is fitted to predict from the non-invasive measurements two key material properties (yield strength and tensile strength) that normally are obtained by destructive tests. The performance is evaluated in leave-one-coil-out cross-validation. 3) The resulting model is used to analyse the material properties and the relationship with logged product faults on real production data of ~108 km of processed material measured with the non-invasive sensor. The model achieves an excellent performance (F3-score of 0.95) predicting material running out of specifications for the tensile strength. The combination of model predictions and logged product faults shows that if a significant percentage of estimated yield stress values is out of specification, the risk of product faults is high. Our analysis demonstrates promising directions for real-time quality control, risk monitoring and fault detection.


title: Thermodynamics and efficiency of sequentially collisional Brownian particles: The role of drivings

abstract: Brownian particles placed sequentially in contact with distinct thermal reservoirs and subjected to external driving forces are promising candidates for the construction of reliable thermal engines. In this contribution, we address the role of driving forces for enhancing the machine performance. Analytical expressions for thermodynamic quantities such as power output and efficiency are obtained for general driving schemes. A proper choice of these driving schemes substantially increases both power output and efficiency and extends the working regime. Maximizations of power and efficiency, whether with respect to the strength of the force, driving scheme or both have been considered and exemplified for two kind of drivings: a generic power-law and a periodically drivings.


title: On the Domination Order among Elimination Sequences

abstract: In 1991, it was shown by Favaron, Mah\'eo, and Sacl\'e that the residue, which is defined as the number of zeros remaining when the Havel-Hakimi algorithm is applied to a degree sequence, yields a lower bound on the independence number of any graph realising the sequence. In 1996, Triesch simplified and generalised the result by introducing elimination sequences. It was proved in 1973 by Kleitman and Wang that for any graphic sequence all elimination algorithms, i.e. laying-off vertices in any order, preserve that the sequence is graphic and terminate in a sequence of zeros. We now prove that for any degree sequence, the elimination sequence derived from the Havel-Havel algorithm dominates all other elimination sequences. Our result implies a conjecture posed by Michael Barrus in 2010: When iteratively laying off degrees from a graphic sequence until only a list of zeros remains, the number of zeros is at most the residue of this sequence.


title: RSSD: Defend against Ransomware with Hardware-Isolated Network-Storage Codesign and Post-Attack Analysis

abstract: Encryption ransomware has become a notorious malware. It encrypts user data on storage devices like solid-state drives (SSDs) and demands a ransom to restore data for users. To bypass existing defenses, ransomware would keep evolving and performing new attack models. For instance, we identify and validate three new attacks, including (1) garbage-collection (GC) attack that exploits storage capacity and keeps writing data to trigger GC and force SSDs to release the retained data; (2) timing attack that intentionally slows down the pace of encrypting data and hides its I/O patterns to escape existing defense; (3) trimming attack that utilizes the trim command available in SSDs to physically erase data. To enhance the robustness of SSDs against these attacks, we propose RSSD, a ransomware-aware SSD. It redesigns the flash management of SSDs for enabling the hardware-assisted logging, which can conservatively retain older versions of user data and received storage operations in time order with low overhead. It also employs hardware-isolated NVMe over Ethernet to expand local storage capacity by transparently offloading the logs to remote cloud/servers in a secure manner. RSSD enables post-attack analysis by building a trusted evidence chain of storage operations to assist the investigation of ransomware attacks. We develop RSSD with a real-world SSD FPGA board. Our evaluation shows that RSSD can defend against new and future ransomware attacks, while introducing negligible performance overhead.


title: Charged Particle Motion in Spherically Symmetric Distributions of Magnetic Monopoles

abstract: The classical equations of motion of a charged particle in a spherically symmetric distribution of magnetic monopoles can be transformed into a system of linear equations, thereby providing a type of integrability. In the case of a single monopole, the solution was given long ago by Poincar\'e. In the case of a uniform distribution of monopoles the solution can be expressed in terms of parabolic cylinder functions (essentially the eigenfunctions of an inverted harmonic oscillator). This solution is relevant to recent studies of nonassociative star products, symplectic lifts of twisted Poisson structures and fluids and plasmas of electric and magnetic charges.


title: A genus two arithmetic Siegel-Weil formula on X_0(N)

abstract: We define a family of arithmetic zero cycles in the arithmetic Chow group of a modular curve X_0(N), for N>3 odd and squarefree, and identify the arithmetic degrees of these cycles as q-coefficients of the central derivative of a Siegel Eisenstein series of genus two. This parallels work of Kudla-Rapoport-Yang for Shimura curves.


title: Science through Machine Learning: Quantification of Poststorm Thermospheric Cooling

abstract: Machine learning (ML) is often viewed as a black-box regression technique that is unable to provide considerable scientific insight. ML models are universal function approximators and - if used correctly - can provide scientific information related to the ground-truth dataset used for fitting. A benefit to ML over parametric models is that there are no predefined basis functions limiting the phenomena that can be modeled. In this work, we develop ML models on three datasets: the Space Environment Technologies (SET) High Accuracy Satellite Drag Model (HASDM) density database, a spatiotemporally matched dataset of outputs from the Jacchia-Bowman 2008 Empirical Thermospheric Density Model (JB2008), and an accelerometer-derived density dataset from CHAllenging Minisatellite Payload (CHAMP). These ML models are compared to the Naval Research Laboratory Mass Spectrometer and Incoherent Scatter radar (NRLMSIS 2.0) model to study the presence of post-storm cooling in the middle-thermosphere. We find that both NRLMSIS 2.0 and JB2008-ML do not account for post-storm cooling and consequently perform poorly in periods following strong geomagnetic storms (e.g. the 2003 Halloween storms). Conversely, HASDM-ML and CHAMP-ML do show evidence of post-storm cooling indicating that this phenomenon is present in the original datasets. Results show that density reductions up to 40% can occur 1--3 days post-storm depending on location and the strength of the storm.


title: A Unified Approach to Reinforcement Learning, Quantal Response Equilibria, and Two-Player Zero-Sum Games

abstract: This work studies an algorithm, which we call magnetic mirror descent, that is inspired by mirror descent and the non-Euclidean proximal gradient algorithm. Our contribution is demonstrating the virtues of magnetic mirror descent as both an equilibrium solver and as an approach to reinforcement learning in two-player zero-sum games. These virtues include: 1) Being the first quantal response equilibria solver to achieve linear convergence for extensive-form games with first order feedback; 2) Being the first standard reinforcement learning algorithm to achieve empirically competitive results with CFR in tabular settings; 3) Achieving favorable performance in 3x3 Dark Hex and Phantom Tic-Tac-Toe as a self-play deep reinforcement learning algorithm.


title: Thermally Activated Transitions Between Micromagnetic States

abstract: We review work by the authors on thermal activation in nanoscopic magnetic systems. These systems present unique difficulties in analyzing noise-induced escape over a barrier, including the presence of nonlocal interactions, nongradient terms in the energy functional, and dynamical textures as initial or saddle states. We begin with a discussion of magnetic reversal between single-domain configurations of the magnetization. Here the transition (saddle) state can be either a single-domain or a spatially varying (instanton-like) configuration, and depending on the system parameters can exhibit either Arrhenius or non-Arrhenius reversal rates. We then turn to a discussion of transitions between magnetic textures, which can be either static and topologically protected or dynamic and not topologically protected. An example of the latter case is the droplet soliton, a rotating nontopologically-protected configuration, which we find can occur either as a metastable or transition state in a nanoscopic magnetic system. After discussing various issues in calculating transition rates, we present results for the activation barriers for creation and annihilation of these magnetic textures. We conclude with a discussion of activated transitions between topologically protected skyrmion textures and other configurations, on which work is ongoing.


title: Case-Based Inverse Reinforcement Learning Using Temporal Coherence

abstract: Providing expert trajectories in the context of Imitation Learning is often expensive and time-consuming. The goal must therefore be to create algorithms which require as little expert data as possible. In this paper we present an algorithm that imitates the higher-level strategy of the expert rather than just imitating the expert on action level, which we hypothesize requires less expert data and makes training more stable. As a prior, we assume that the higher-level strategy is to reach an unknown target state area, which we hypothesize is a valid prior for many domains in Reinforcement Learning. The target state area is unknown, but since the expert has demonstrated how to reach it, the agent tries to reach states similar to the expert. Building on the idea of Temporal Coherence, our algorithm trains a neural network to predict whether two states are similar, in the sense that they may occur close in time. During inference, the agent compares its current state with expert states from a Case Base for similarity. The results show that our approach can still learn a near-optimal policy in settings with very little expert data, where algorithms that try to imitate the expert at the action level can no longer do so.


title: Bounding and Approximating Intersectional Fairness through Marginal Fairness

abstract: Discrimination in machine learning often arises along multiple dimensions (a.k.a. protected attributes); it is then desirable to ensure \emph{intersectional fairness} -- i.e., that no subgroup is discriminated against. It is known that ensuring \emph{marginal fairness} for every dimension independently is not sufficient in general. Due to the exponential number of subgroups, however, directly measuring intersectional fairness from data is impossible. In this paper, our primary goal is to understand in detail the relationship between marginal and intersectional fairness through statistical analysis. We first identify a set of sufficient conditions under which an exact relationship can be obtained. Then, we prove bounds (easily computable through marginal fairness and other meaningful statistical quantities) in high-probability on intersectional fairness in the general case. Beyond their descriptive value, we show that these theoretical bounds can be leveraged to derive a heuristic improving the approximation and bounds of intersectional fairness by choosing, in a relevant manner, protected attributes for which we describe intersectional subgroups. Finally, we test the performance of our approximations and bounds on real and synthetic data-sets.


title: A non-graphical representation of conditional independence via the neighbourhood lattice

abstract: We introduce and study the neighbourhood lattice decomposition of a distribution, which is a compact, non-graphical representation of conditional independence that is valid in the absence of a faithful graphical representation. The idea is to view the set of neighbourhoods of a variable as a subset lattice, and partition this lattice into convex sublattices, each of which directly encodes a collection of conditional independence relations. We show that this decomposition exists in any compositional graphoid and can be computed efficiently and consistently in high-dimensions. {In particular, this gives a way to encode all of independence relations implied by a distribution that satisfies the composition axiom, which is strictly weaker than the faithfulness assumption that is typically assumed by graphical approaches.} We also discuss various special cases such as graphical models and projection lattices, each of which has intuitive interpretations. Along the way, we see how this problem is closely related to neighbourhood regression, which has been extensively studied in the context of graphical models and structural equations.


title: Stochastic Gradient Descent without Full Data Shuffle

abstract: Stochastic gradient descent (SGD) is the cornerstone of modern machine learning (ML) systems. Despite its computational efficiency, SGD requires random data access that is inherently inefficient when implemented in systems that rely on block-addressable secondary storage such as HDD and SSD, e.g., TensorFlow/PyTorch and in-DB ML systems over large files. To address this impedance mismatch, various data shuffling strategies have been proposed to balance the convergence rate of SGD (which favors randomness) and its I/O performance (which favors sequential access). In this paper, we first conduct a systematic empirical study on existing data shuffling strategies, which reveals that all existing strategies have room for improvement -- they all suffer in terms of I/O performance or convergence rate. With this in mind, we propose a simple but novel hierarchical data shuffling strategy, CorgiPile. Compared with existing strategies, CorgiPile avoids a full data shuffle while maintaining comparable convergence rate of SGD as if a full shuffle were performed. We provide a non-trivial theoretical analysis of CorgiPile on its convergence behavior. We further integrate CorgiPile into PyTorch by designing new parallel/distributed shuffle operators inside a new CorgiPileDataSet API. We also integrate CorgiPile into PostgreSQL by introducing three new physical operators with optimizations. Our experimental results show that CorgiPile can achieve comparable convergence rate with the full shuffle based SGD for both deep learning and generalized linear models. For deep learning models on ImageNet dataset, CorgiPile is 1.5X faster than PyTorch with full data shuffle. For in-DB ML with linear models, CorgiPile is 1.6X-12.8X faster than two state-of-the-art in-DB ML systems, Apache MADlib and Bismarck, on both HDD and SSD.


title: Learning without neurons in physical systems

abstract: Learning is traditionally studied in biological or computational systems. The power of learning frameworks in solving hard inverse-problems provides an appealing case for the development of `physical learning' in which physical systems adopt desirable properties on their own without computational design. It was recently realized that large classes of physical systems can physically learn through local learning rules, autonomously adapting their parameters in response to observed examples of use. We review recent work in the emerging field of physical learning, describing theoretical and experimental advances in areas ranging from molecular self-assembly to flow networks and mechanical materials. Physical learning machines provide multiple practical advantages over computer designed ones, in particular by not requiring an accurate model of the system, and their ability to autonomously adapt to changing needs over time. As theoretical constructs, physical learning machines afford a novel perspective on how physical constraints modify abstract learning theory.


title: Unified approach to Floquet lattices, topological insulators, and their nonlinear dynamics

abstract: A unified method to analyze the dynamics and topological structure associated with a class of Floquet topological insulators is presented. The method is applied to a system that describes the propagation of electromagnetic waves through the bulk of a two-dimensional lattice that is helically-driven in the direction of propagation. Tight-binding approximations are employed to derive reduced dynamical systems. Further asymptotic approximations, valid in the high-frequency driving regime, yield a time-averaged system which governs the leading order behavior of the wave. From this follows an analytic calculation of the Berry connection, curvature and Chern number by analyzing the local behavior of the eigenfunctions near the critical points of the spectrum. Examples include honeycomb, Lieb and kagome lattices. In the nonlinear regime novel equations governing slowly varying wave envelopes are derived. For the honeycomb lattice, numerical simulations show that for relatively small nonlinear effects a striking spiral patterns occurs; as nonlinearity increases localized structures emerge and for somewhat higher nonlinearity the waves collapse.


title: COLD Fusion: Calibrated and Ordinal Latent Distribution Fusion for Uncertainty-Aware Multimodal Emotion Recognition

abstract: Automatically recognising apparent emotions from face and voice is hard, in part because of various sources of uncertainty, including in the input data and the labels used in a machine learning framework. This paper introduces an uncertainty-aware audiovisual fusion approach that quantifies modality-wise uncertainty towards emotion prediction. To this end, we propose a novel fusion framework in which we first learn latent distributions over audiovisual temporal context vectors separately, and then constrain the variance vectors of unimodal latent distributions so that they represent the amount of information each modality provides w.r.t. emotion recognition. In particular, we impose Calibration and Ordinal Ranking constraints on the variance vectors of audiovisual latent distributions. When well-calibrated, modality-wise uncertainty scores indicate how much their corresponding predictions may differ from the ground truth labels. Well-ranked uncertainty scores allow the ordinal ranking of different frames across the modalities. To jointly impose both these constraints, we propose a softmax distributional matching loss. In both classification and regression settings, we compare our uncertainty-aware fusion model with standard model-agnostic fusion baselines. Our evaluation on two emotion recognition corpora, AVEC 2019 CES and IEMOCAP, shows that audiovisual emotion recognition can considerably benefit from well-calibrated and well-ranked latent uncertainty measures.


title: How to Apply 3D3 Prediction? A Novel Mathematical Model to Generate Pareto Optimal Clinical Applicable IMRT Treatment Plan On the Foundation of Dose Prediction and Prescription

abstract: In this paper knowledge based planning has been revolutionized via a novel mathematical model which converts three dimensional dose distribution (3D3) prediction to a clinical utilizable IMRT treatment plan. Presented model has benefited from both prescribed dose as well as predicted dose and its objective function includes both quadratic and linear phrases, so it was called QuadLin model. The model has been run on the data of 30 patients with head and neck cancer randomly selected from the Open KBP dataset. For each patient, there are 19 sets of dose prediction data in this database. Therefore, a total of 570 problems have been solved in the CVX framework and the results have been evaluated by two plan quality approaches: 1- DVH points differences, and 2- satisfied clinical criteria. The results of the current study indicate a strong significant improvement in clinical indicators compared to the reference plan of the dataset, 3D3 predictions, as well as the results of previous researches. Accordingly, on average for 570 problems and total ROIs, clinical indicators have improved by more than 21% and 15% compared to the predicted dose and previous research, respectively.


title: Deep Reinforcement Learning for Optimal Investment and Saving Strategy Selection in Heterogeneous Profiles: Intelligent Agents working towards retirement

abstract: The transition from defined benefit to defined contribution pension plans shifts the responsibility for saving toward retirement from governments and institutions to the individuals. Determining optimal saving and investment strategy for individuals is paramount for stable financial stance and for avoiding poverty during work-life and retirement, and it is a particularly challenging task in a world where form of employment and income trajectory experienced by different occupation groups are highly diversified. We introduce a model in which agents learn optimal portfolio allocation and saving strategies that are suitable for their heterogeneous profiles. We use deep reinforcement learning to train agents. The environment is calibrated with occupation and age dependent income evolution dynamics. The research focuses on heterogeneous income trajectories dependent on agent profiles and incorporates the behavioural parameterisation of agents. The model provides a flexible methodology to estimate lifetime consumption and investment choices for heterogeneous profiles under varying scenarios.


title: GLIPv2: Unifying Localization and Vision-Language Understanding

abstract: We present GLIPv2, a grounded VL understanding model, that serves both localization tasks (e.g., object detection, instance segmentation) and Vision-Language (VL) understanding tasks (e.g., VQA, image captioning). GLIPv2 elegantly unifies localization pre-training and Vision-Language Pre-training (VLP) with three pre-training tasks: phrase grounding as a VL reformulation of the detection task, region-word contrastive learning as a novel region-word level contrastive learning task, and the masked language modeling. This unification not only simplifies the previous multi-stage VLP procedure but also achieves mutual benefits between localization and understanding tasks. Experimental results show that a single GLIPv2 model (all model weights are shared) achieves near SoTA performance on various localization and understanding tasks. The model also shows (1) strong zero-shot and few-shot adaption performance on open-vocabulary object detection tasks and (2) superior grounding capability on VL understanding tasks. Code will be released at https://github.com/microsoft/GLIP.


title: NeuralODF: Learning Omnidirectional Distance Fields for 3D Shape Representation

abstract: In visual computing, 3D geometry is represented in many different forms including meshes, point clouds, voxel grids, level sets, and depth images. Each representation is suited for different tasks thus making the transformation of one representation into another (forward map) an important and common problem. We propose Omnidirectional Distance Fields (ODFs), a new 3D shape representation that encodes geometry by storing the depth to the object's surface from any 3D position in any viewing direction. Since rays are the fundamental unit of an ODF, it can be used to easily transform to and from common 3D representations like meshes or point clouds. Different from level set methods that are limited to representing closed surfaces, ODFs are unsigned and can thus model open surfaces (e.g., garments). We demonstrate that ODFs can be effectively learned with a neural network (NeuralODF) despite the inherent discontinuities at occlusion boundaries. We also introduce efficient forward mapping algorithms for transforming ODFs to and from common 3D representations. Specifically, we introduce an efficient Jumping Cubes algorithm for generating meshes from ODFs. Experiments demonstrate that NeuralODF can learn to capture high-quality shape by overfitting to a single object, and also learn to generalize on common shape categories.


title: Crilin: A CRystal calorImeter with Longitudinal InformatioN for a future Muon Collider

abstract: The measurement of physics processes at new energy frontier experiments requires excellent spatial, time, and energy resolutions to resolve the structure of collimated high-energy jets. In a future Muon Collider, the beam-induced backgrounds (BIB) represent the main challenge in the design of the detectors and of the event reconstruction algorithms. The technology and the design of the calorimeters should be chosen to reduce the effect of the BIB, while keeping good physics performance. Several requirements can be inferred: i) high granularity to reduce the overlap of BIB particles in the same calorimeter cell; ii) excellent timing (of the order of 100 ps) to reduce the out-of-time component of the BIB; iii) longitudinal segmentation to distinguish the signal showers from the fake showers produced by the BIB; iv) good energy resolution (less than 10%/sqrt(E)) to obtain good physics performance, as has been already demonstrated for conceptual particle flow calorimeters. Our proposal consists of a semi-homogeneous electromagnetic calorimeter based on Lead Fluoride Crystals (PbF2) readout by surface-mount UV-extended Silicon Photomultipliers (SiPMs): the Crilin calorimeter. In this paper, the performances of the Crilin calorimeter in the Muon Collider framework for hadron jets reconstruction have been analyzed. We report the single components characterizations together with the development of a small-scale prototype, consisting of 2 layers of 3x3 crystals each.


title: The tunneling wavefunction in Kantowski-Sachs quantum cosmology

abstract: We use a path-integral approach to study the tunneling wave function in quantum cosmology with spatial topology $S^{1}\times S^{2}$ and positive cosmological constant (the Kantowski-Sachs model). If the initial scale factors of both $S^1$ and $S^2$ are set equal to zero, the wave function describes (semiclassically) a universe originating at a singularity. This may be interpreted as indicating that an $S^1\times S^2$ universe cannot nucleate out of nothing in a non-singular way. Here we explore an alternative suggestion by Halliwell and Louko that creation from nothing corresponds in this model to setting the initial volume to zero. We find that the only acceptable version of this proposal is to fix the radius of $S^1$ to zero, supplementing this with the condition of smooth closure (absence of a conical singularity). The resulting wave function predicts an inflating universe of high anisotropy, which however becomes locally isotropic at late times. Unlike the de Sitter model, the total nucleation probability is not exponentially suppressed, unless a Gauss-Bonnet term is added to the action.