title: AutoBCS: Block-based Image Compressive Sensing with Data-driven Acquisition and Non-iterative Reconstruction

abstract: Block compressive sensing is a well-known signal acquisition and reconstruction paradigm with widespread application prospects in science, engineering and cybernetic systems. However, state-of-the-art block-based image compressive sensing (BCS) methods generally suffer from two issues. The sparsifying domain and the sensing matrices widely used for image acquisition are not data-driven, and thus both the features of the image and the relationships among subblock images are ignored. Moreover, doing so requires addressing high-dimensional optimization problems with extensive computational complexity for image reconstruction. In this paper, we provide a deep learning strategy for BCS, called AutoBCS, which takes the prior knowledge of images into account in the acquisition step and establishes a subsequent reconstruction model for performing fast image reconstruction with a low computational cost. More precisely, we present a learning-based sensing matrix (LSM) derived from training data to accomplish image acquisition, thereby capturing and preserving more image characteristics than those captured by existing methods. In particular, the generated LSM is proven to satisfy the theoretical requirements of compressive sensing, such as the so-called restricted isometry property. Additionally, we build a noniterative reconstruction network, which provides an end-to-end BCS reconstruction framework to eliminate blocking artifacts and maximize image reconstruction accuracy, in our AutoBCS architecture. Furthermore, we investigate comprehensive comparison studies with both traditional BCS approaches and newly developed deep learning methods. Compared with these approaches, our AutoBCS framework can not only provide superior performance in terms of image quality metrics (SSIM and PSNR) and visual perception, but also automatically benefit reconstruction speed.


title: Civil Wars: A New Lotka-Volterra Competitive System and Analysis of Winning Strategies

abstract: We introduce a new model in population dynamics that describes two species sharing the same environmental resources in a situation of open hostility. The interactions among these populations is described not in terms of random encounters but via the strategic decisions of one population that can attack the other according to different levels of aggressiveness. This leads to a non-variational model for the two populations at war, taking into account structural parameters such as the relative fit of the two populations with respect to the available resources and the effectiveness of the attack strikes of the aggressive population. The analysis that we perform is rigorous and focuses on the dynamical properties of the system, by detecting and describing all the possible equilibria and their basins of attraction. Moreover, we will analyze the strategies that may lead to the victory of the aggressive population, i.e. the choices of the aggressiveness parameter, in dependence of the structural constants of the system and possibly varying in time in order to optimize the efficacy of the attacks, which take to the extinction in finite time of the defensive population. The model that we present is flexible enough to include also technological competition models of aggressive companies releasing computer viruses to set a rival companies out of the market.


title: Ab initio study of structural, electronic and magnetic properties of XSn$_3$ (X = Gd, Cm) and Gd$_x$Cm$_{1-x}$Sn$_3$ compounds

abstract: In this paper, the structural, electronic and magnetic properties of the GdSn$_3$, CmSn$_3$ and Gd$_x$Cm$_{1-x}$Sn$_3$ compounds ($x = 0.25$, $0.5$ and $0.75$) were studied using the full-potential linearized augmented plane wave method, within the generalized gradient approximation$+U$. The ground-state properties are determined for the bulk materials GdSn$_3$, CmSn$_3$ and Gd$_x$Cm$_{1-x}$Sn$_3$ crystallized in AuCu$_3$-type structure. The calculated structural, electronic and magnetic properties of GdSn$_3$ compound are in good agreement with the existing experimental and theoretical data. It is found that the most stable magnetic configurations of both compounds CmSn$_3$ and GdSn$_3$ are anti-ferromagnetic type A (AFM-A) and have a metallic behavior. The magnetic moment found decreases with increasing the Cm composition in Gd$_x$Cm$_{1-x}$Sn$_3$ compounds. The results show that the GdSn$_3$, CmSn$_3$ and Gd$_x$Cm$_{1-x}$Sn$_3$ compounds share some properties, and may well be useful for spintronic applications.


title: Gaia18aen: First symbiotic star discovered by Gaia

abstract: Besides the astrometric mission of the Gaia satellite, its repeated and high-precision measurements serve also as an all-sky photometric transient survey. The sudden brightenings of the sources are published as Gaia Photometric Science Alerts and are made publicly available allowing the community to photometrically and spectroscopically follow-up the object. The goal of this paper was to analyze the nature and derive the basic parameters of Gaia18aen, transient detected at the beginning of 2018. It coincides with the position of the emission line star WRAY 15-136. The brightening was classified as a "nova?" on the basis of subsequent spectroscopic observation. We have analyzed two spectra of Gaia18aen and collected the available photometry of the object covering the brightenings in 2018 and also the preceding and following periods of quiescence. Based on this observational data, we have derived the parameters of Gaia18aen and discussed the nature of the object. Gaia18aen is the first symbiotic star discovered by the Gaia satellite. The system is an S-type symbiotic star and consists of an M giant of a slightly super-solar metallicity, with Teff ~3500 K, a radius of ~230 R$\odot$, and a high luminosity L ~7400 L$\odot$. The hot component is a hot white dwarf. We tentatively determined the orbital period of the system ~487 days. The main outburst of Gaia18aen in 2018 was accompanied by a decrease in the temperature of the hot component. The first phase of the outburst was characterized by the high luminosity L ~27000 L$\odot$, which remained constant for about three weeks after the optical maximum, later followed by the gradual decline of luminosity and increase of temperature. Several re-brightenings have been detected on the timescales of hundreds of days.


title: Fun with $F_{24}$

abstract: We study some special features of $F_{24}$, the holomorphic $c=12$ superconformal field theory (SCFT) given by 24 chiral free fermions. We construct eight different Lie superalgebras of "physical" states of a chiral superstring compactified on $F_{24}$, and we prove that they all have the structure of Borcherds-Kac-Moody superalgebras. This produces a family of new examples of such superalgebras. The models depend on the choice of an $\mathcal{N}=1$ supercurrent on $F_{24}$, with the admissible choices labeled by the semisimple Lie algebras of dimension 24. We also discuss how $F_{24}$, with any such choice of supercurrent, can be obtained via orbifolding from another distinguished $c=12$ holomorphic SCFT, the $\mathcal{N}=1$ supersymmetric version of the chiral CFT based on the $E_8$ lattice.


title: S3K: Self-Supervised Semantic Keypoints for Robotic Manipulation via Multi-View Consistency

abstract: A robot's ability to act is fundamentally constrained by what it can perceive. Many existing approaches to visual representation learning utilize general-purpose training criteria, e.g. image reconstruction, smoothness in latent space, or usefulness for control, or else make use of large datasets annotated with specific features (bounding boxes, segmentations, etc.). However, both approaches often struggle to capture the fine-detail required for precision tasks on specific objects, e.g. grasping and mating a plug and socket. We argue that these difficulties arise from a lack of geometric structure in these models. In this work we advocate semantic 3D keypoints as a visual representation, and present a semi-supervised training objective that can allow instance or category-level keypoints to be trained to 1-5 millimeter-accuracy with minimal supervision. Furthermore, unlike local texture-based approaches, our model integrates contextual information from a large area and is therefore robust to occlusion, noise, and lack of discernible texture. We demonstrate that this ability to locate semantic keypoints enables high level scripting of human understandable behaviours. Finally we show that these keypoints provide a good way to define reward functions for reinforcement learning and are a good representation for training agents.


title: Deep Learning-based Pipeline for Module Power Prediction from EL Measurements

abstract: Automated inspection plays an important role in monitoring large-scale photovoltaic power plants. Commonly, electroluminescense measurements are used to identify various types of defects on solar modules but have not been used to determine the power of a module. However, knowledge of the power at maximum power point is important as well, since drops in the power of a single module can affect the performance of an entire string. By now, this is commonly determined by measurements that require to discontact or even dismount the module, rendering a regular inspection of individual modules infeasible. In this work, we bridge the gap between electroluminescense measurements and the power determination of a module. We compile a large dataset of 719 electroluminescense measurementsof modules at various stages of degradation, especially cell cracks and fractures, and the corresponding power at maximum power point. Here,we focus on inactive regions and cracks as the predominant type of defect. We set up a baseline regression model to predict the power from electroluminescense measurements with a mean absolute error of 9.0+/-3.7$W_P$ (4.0+/-8.4%). Then, we show that deep-learning can be used to train a model that performs significantly better (7.3+/-2.7$W_P$ or 3.2+/-6.5%) and propose a variant of class activation maps to obtain the per cell power loss, as predicted by the model. With this work, we aim to open a new research topic. Therefore, we publicly release the dataset, the code and trained models to empower other researchers to compare against our results. Finally, we present a thorough evaluation of certain boundary conditions like the dataset size and an automated preprocessing pipeline for on-site measurements showing multiple modules at once.


title: Free energy computation of particles with membrane-mediated interactions via Langevin dynamics

abstract: We apply well-established concepts of Langevin sampling to derive a new class of algorithms for the efficient computation of free energy differences of fluctuating particles embedded in a 'fast' membrane, i.e., a membrane that instantaneously adapts to varying particle positions. A geometric potential accounting for membrane-mediated particle interaction is derived in the framework of variational hybrid models for particles in membranes. Recent explicit representations of the gradient of the geometric interaction potential allows to apply well-known gradient based Markov Chain Monte-Carlo (MCDC) methods such as Langevin-based sampling.


title: Saddle Flow Dynamics: Observable Certificates and Separable Regularization

abstract: This paper proposes a certificate, rooted in observability, for asymptotic convergence of saddle flow dynamics of convex-concave functions to a saddle point. This observable certificate directly bridges the gap between the invariant set and the equilibrium set in a LaSalle argument, and generalizes conventional conditions such as strict convexity-concavity and proximal regularization. We further build upon this certificate to propose a separable regularization method for saddle flow dynamics that makes minimal requirements on convexity-concavity and yet still guarantees asymptotic convergence to a saddle point. Our results generalize to saddle flow dynamics with projections on the vector field and have an immediate application as a distributed solution to linear programs.


title: Learning Rewards from Linguistic Feedback

abstract: We explore unconstrained natural language feedback as a learning signal for artificial agents. Humans use rich and varied language to teach, yet most prior work on interactive learning from language assumes a particular form of input (e.g., commands). We propose a general framework which does not make this assumption, using aspect-based sentiment analysis to decompose feedback into sentiment about the features of a Markov decision process. We then perform an analogue of inverse reinforcement learning, regressing the sentiment on the features to infer the teacher's latent reward function. To evaluate our approach, we first collect a corpus of teaching behavior in a cooperative task where both teacher and learner are human. We implement three artificial learners: sentiment-based "literal" and "pragmatic" models, and an inference network trained end-to-end to predict latent rewards. We then repeat our initial experiment and pair them with human teachers. All three successfully learn from interactive human feedback. The sentiment models outperform the inference network, with the "pragmatic" model approaching human performance. Our work thus provides insight into the information structure of naturalistic linguistic feedback as well as methods to leverage it for reinforcement learning.


title: Truly Subquadratic Exact Distance Oracles with Constant Query Time for Planar Graphs

abstract: Given an undirected, unweighted planar graph $G$ with $n$ vertices, we present a truly subquadratic size distance oracle for reporting exact shortest-path distances between any pair of vertices of $G$ in constant time. For any $\varepsilon > 0$, our distance oracle takes up $O(n^{5/3+\varepsilon})$ space and is capable of answering shortest-path distance queries exactly for any pair of vertices of $G$ in worst-case time $O(\log (1/\varepsilon))$. Previously no truly sub-quadratic size distance oracles with constant query time for answering exact all-pairs shortest paths distance queries existed.


title: Non-elitist Evolutionary Multi-objective Optimizers Revisited

abstract: Since around 2000, it has been considered that elitist evolutionary multi-objective optimization algorithms (EMOAs) always outperform non-elitist EMOAs. This paper revisits the performance of non-elitist EMOAs for bi-objective continuous optimization when using an unbounded external archive. This paper examines the performance of EMOAs with two elitist and one non-elitist environmental selections. The performance of EMOAs is evaluated on the bi-objective BBOB problem suite provided by the COCO platform. In contrast to conventional wisdom, results show that non-elitist EMOAs with particular crossover methods perform significantly well on the bi-objective BBOB problems with many decision variables when using the unbounded external archive. This paper also analyzes the properties of the non-elitist selection.


title: Universal Character of Atomic Motions at the Liquid-Solid Transition

abstract: We show evidence from computer simulations of a universal feature in the atoms dynamics of simple liquids that heralds the freezing transition. We develop a physically transparent model to shed light on the physics responsible for the precursory effect. We find that the freezing point is concomitant with the crossover of two characteristic time scales, namely the average period of oscillation of the liquid configuration in a minimum of the potential energy surface, and the average time separating transits between potential energy minima as a result of the continuous dynamical rearrangement of particles. When entering the undercooled regime, the transit time becomes smaller than the period of oscillation, and the delicate balance between the disordering effects of thermal agitation and the ordering effects of interactions can be destabilized in favor of the periodic order. Finally, we demonstrate that the discovered precursory feature gives rise to a new efficient method for determining the liquid-solid coexistence line of real materials from atomistic simulations, which, unlike other methods commonly used in materials science, does not require knowing the crystalline structure of the solid phase.


title: Between Shapes, Using the Hausdorff Distance

abstract: Given two shapes $A$ and $B$ in the plane with Hausdorff distance $1$, is there a shape $S$ with Hausdorff distance $1/2$ to and from $A$ and $B$? The answer is always yes, and depending on convexity of $A$ and/or $B$, $S$ may be convex, connected, or disconnected. We show that our result can be generalised to give an interpolated shape between $A$ and $B$ for any interpolation variable $\alpha$ between $0$ and $1$, and prove that the resulting morph has a bounded rate of change with respect to $\alpha$. Finally, we explore a generalization of the concept of a Hausdorff middle to more than two input sets. We show how to approximate or compute this middle shape, and that the properties relating to the connectedness of the Hausdorff middle extend from the case with two input sets. We also give bounds on the Hausdorff distance between the middle set and the input.


title: DVERGE: Diversifying Vulnerabilities for Enhanced Robust Generation of Ensembles

abstract: Recent research finds CNN models for image classification demonstrate overlapped adversarial vulnerabilities: adversarial attacks can mislead CNN models with small perturbations, which can effectively transfer between different models trained on the same dataset. Adversarial training, as a general robustness improvement technique, eliminates the vulnerability in a single model by forcing it to learn robust features. The process is hard, often requires models with large capacity, and suffers from significant loss on clean data accuracy. Alternatively, ensemble methods are proposed to induce sub-models with diverse outputs against a transfer adversarial example, making the ensemble robust against transfer attacks even if each sub-model is individually non-robust. Only small clean accuracy drop is observed in the process. However, previous ensemble training methods are not efficacious in inducing such diversity and thus ineffective on reaching robust ensemble. We propose DVERGE, which isolates the adversarial vulnerability in each sub-model by distilling non-robust features, and diversifies the adversarial vulnerability to induce diverse outputs against a transfer attack. The novel diversity metric and training procedure enables DVERGE to achieve higher robustness against transfer attacks comparing to previous ensemble methods, and enables the improved robustness when more sub-models are added to the ensemble. The code of this work is available at https://github.com/zjysteven/DVERGE


title: Efficient texture-aware multi-GAN for image inpainting

abstract: Recent GAN-based (Generative adversarial networks) inpainting methods show remarkable improvements and generate plausible images using multi-stage networks or Contextual Attention Modules (CAM). However, these techniques increase the model complexity limiting their application in low-resource environments. Furthermore, they fail in generating high-resolution images with realistic texture details due to the GAN stability problem. Motivated by these observations, we propose a multi-GAN architecture improving both the performance and rendering efficiency. Our training schema optimizes the parameters of four progressive efficient generators and discriminators in an end-to-end manner. Filling in low-resolution images is less challenging for GANs due to the small dimensional space. Meanwhile, it guides higher resolution generators to learn the global structure consistency of the image. To constrain the inpainting task and ensure fine-grained textures, we adopt an LBP-based loss function to minimize the difference between the generated and the ground truth textures. We conduct our experiments on Places2 and CelebHQ datasets. Qualitative and quantitative results show that the proposed method not only performs favorably against state-of-the-art algorithms but also speeds up the inference time.


title: RDSGAN: Rank-based Distant Supervision Relation Extraction with Generative Adversarial Framework

abstract: Distant supervision has been widely used for relation extraction but suffers from noise labeling problem. Neural network models are proposed to denoise with attention mechanism but cannot eliminate noisy data due to its non-zero weights. Hard decision is proposed to remove wrongly-labeled instances from the positive set though causes loss of useful information contained in removed instances. In this paper, we propose a novel generative neural framework named RDSGAN (Rank-based Distant Supervision GAN) which automatically generates valid instances for distant supervision relation extraction. Our framework combines soft attention and hard decision to learn the distribution of true positive instances via adversarial training and selects valid instances conforming to the distribution via rank-based distant supervision, which addresses the false positive problem. Experimental results show the superiority of our framework over strong baselines.


title: Application of Orbital Stability and Tidal Migration Constraints for Exomoon Candidates

abstract: Satellites of extrasolar planets, or exomoons, are on the frontier of detectability using current technologies and theoretical constraints should be considered in their search. In this Letter, we apply theoretical constraints of orbital stability and tidal migration to the six candidate KOI systems proposed by Fox & Wigert (2020) to identify whether these systems can potentially host exomoons. The host planets orbit close to their respective stars and the orbital stability extent of exomoons is limited to only $\sim$40% of the host planet's Hill radius ($\sim$20 R$_{\rm p}$). Using plausible tidal parameters from the solar system, we find that four out of six systems would either tidally disrupt their exomoons or lose them to outward migration within the system lifetimes. The remaining two systems (KOI 268.01 and KOI 1888.01) could host exomoons that are within 25 R$_{\rm p}$ and less than $\sim$3% of the host planet's mass. However, a recent independent transit timing analysis by Kipping (2020) found that these systems fail rigorous statistical tests to validate them as candidates. Overall, we find the presence of exomoons in these systems that are large enough for TTV signatures to be unlikely given the combined constraints of observational modeling, tidal migration, and orbital stability. Software to reproduce our results is available in the GitHub repository: Multiversario/satcand.


title: EMR: A New Metric to Assess the Resilience of Directional mmWave Channels to Blockages

abstract: Millimeter-wave (mmWave) communication systems require narrow beams to increase communication range. If the dominant communication direction is blocked by an obstacle, an alternative and reliable spatial communication path should be quickly identified to maintain connectivity. In this paper, we introduce a new metric to quantify the effective multipath richness (EMR) of a directional communication channel by considering the strength and spatial diversity of the resolved paths, while also taking into account beamwidth and blockage characteristics. The metric is defined as a weighted sum of the number of multipath component (MPC) clusters, where clustering is performed based on the cosine-distance between the MPCs that have power above a certain threshold. This process returns a single scalar value for a transmitter (TX)/receiver (RX) location pair in a given environment. It is also possible to represent the EMR of the whole environment with a probability distribution function of the metric by considering a set of TX/RX locations. Using this proposed metric, one can assess the scattering richness of different communication environments to achieve a particular quality of service (QoS). This metric is especially informative and useful at higher frequencies, such as mmWave and terahertz (THz), where the propagation path loss and penetration loss are high, and directional non-light-of-sight (NLOS) communication is critical for the success of the network. We evaluate the proposed metric using our channel measurements at 28 GHz in a large indoor environment at a library setting for LOS and NLOS scenarios.


title: A Vietnamese Dataset for Evaluating Machine Reading Comprehension

abstract: Over 97 million people speak Vietnamese as their native language in the world. However, there are few research studies on machine reading comprehension (MRC) for Vietnamese, the task of understanding a text and answering questions related to it. Due to the lack of benchmark datasets for Vietnamese, we present the Vietnamese Question Answering Dataset (UIT-ViQuAD), a new dataset for the low-resource language as Vietnamese to evaluate MRC models. This dataset comprises over 23,000 human-generated question-answer pairs based on 5,109 passages of 174 Vietnamese articles from Wikipedia. In particular, we propose a new process of dataset creation for Vietnamese MRC. Our in-depth analyses illustrate that our dataset requires abilities beyond simple reasoning like word matching and demands single-sentence and multiple-sentence inferences. Besides, we conduct experiments on state-of-the-art MRC methods for English and Chinese as the first experimental models on UIT-ViQuAD. We also estimate human performance on the dataset and compare it to the experimental results of powerful machine learning models. As a result, the substantial differences between human performance and the best model performance on the dataset indicate that improvements can be made on UIT-ViQuAD in future research. Our dataset is freely available on our website to encourage the research community to overcome challenges in Vietnamese MRC.


title: Natural Gas Maximal Load Delivery for Multi-contingency Analysis

abstract: As the use of renewable generation has increased, electric power systems have become increasingly reliant on natural gas-fired power plants as fast ramping sources for meeting fluctuating bulk power demands. This dependence has introduced new vulnerabilities to the power grid, including disruptions to gas transmission networks from natural and man-made disasters. To address the operational challenges arising from these disruptions, we consider the task of determining a feasible steady-state operating point for a damaged gas pipeline network while ensuring the maximal delivery of load. We formulate the mixed-integer nonconvex maximal load delivery (MLD) problem, which proves difficult to solve on large-scale networks. To address this challenge, we present a mixed-integer convex relaxation of the MLD problem and use it to determine bounds on the transport capacity of a gas pipeline system. To demonstrate the effectiveness of the relaxation, the exact and relaxed formulations are compared across a large number of randomized damage scenarios on nine natural gas pipeline network models ranging in size from 11 to 4197 junctions. A proof of concept application, which assumes network damage from a set of synthetically generated earthquakes, is also presented to demonstrate the utility of the proposed optimization-based capacity evaluation in the context of risk assessment for natural disasters. For all but the largest network, the relaxation-based method is found to be suitable for use in evaluating the impacts of multi-contingency network disruptions, often converging to the optimal solution of the relaxed formulation in less than ten seconds.


title: Kernel polynomial method to Anderson transition in disordered $\beta$-graphyne

abstract: By means of variable moment kernel polynomial method, we analyze the localization properties of $\beta$-graphyne sheet subjected to the Anderson disorder. To detect the localization transition we focus on the scaling behavior of the normalized typical density of states. We find that there takes place a metal-insulator transition and the critical disorder strength is of the order of the bandwidth, which is contrary to the one-parameter scaling theory stating that for infinite two dimensional systems, all the electronic states are localized for an arbitrary strength of the Anderson disorder. As its particular localization properties, it is reasonable to predict there will exist dc conductivity for $\beta$-graphyne at zero temperature.


title: On the Existence Uniqueness and Numerical Computation of Non-linear Coupled Elliptic PDE System with its application

abstract: In this study we prove the existence-uniqueness of a coupled non-linear elliptic PDE system using Lax-Milgram theorem, Galerkin Method, Brouwer's fixed point theorem. Later we derive the finite element scheme for the numerical solution of the PDE system and also carry out the convergence analysis for the derived scheme. Further successfully apply the scheme to an application related to free convection phenomena.


title: Deterministic PRAM Approximate Shortest Paths in Polylogarithmic Time and Slightly Super-Linear Work

abstract: We study a $(1+\epsilon)$-approximate single-source shortest paths (henceforth, $(1+\epsilon)$-SSSP) in $n$-vertex undirected, weighted graphs in the parallel (PRAM) model of computation. A randomized algorithm with polylogarithmic time and slightly super-linear work $\tilde{O}(|E|\cdot n^\rho)$, for an arbitrarily small $\rho>0$, was given by Cohen [Coh94] more than $25$ years ago. Exciting progress on this problem was achieved in recent years [ElkinN17,ElkinN19,Li19,AndoniSZ19], culminating in randomized polylogarithmic time and $\tilde{O}(|E|)$ work. However, the question of whether there exists a deterministic counterpart of Cohen's algorithm remained wide open. In the current paper we devise the first deterministic polylogarithmic-time algorithm for this fundamental problem, with work $\tilde{O}(|E|\cdot n^\rho)$, for an arbitrarily small $\rho>0$. This result is based on the first efficient deterministic parallel algorithm for building hopsets, which we devise in this paper.


title: Learning and Strongly Truthful Multi-Task Peer Prediction: A Variational Approach

abstract: Peer prediction mechanisms incentivize agents to truthfully report their signals even in the absence of verification by comparing agents' reports with those of their peers. In the detail-free multi-task setting, agents respond to multiple independent and identically distributed tasks, and the mechanism does not know the prior distribution of agents' signals. The goal is to provide an $\epsilon$-strongly truthful mechanism where truth-telling rewards agents "strictly" more than any other strategy profile (with $\epsilon$ additive error), and to do so while requiring as few tasks as possible. We design a family of mechanisms with a scoring function that maps a pair of reports to a score. The mechanism is strongly truthful if the scoring function is "prior ideal," and $\epsilon$-strongly truthful as long as the scoring function is sufficiently close to the ideal one. This reduces the above mechanism design problem to a learning problem -- specifically learning an ideal scoring function. We leverage this reduction to obtain the following three results. 1) We show how to derive good bounds on the number of tasks required for different types of priors. Our reduction applies to myriad continuous signal space settings. This is the first peer-prediction mechanism on continuous signals designed for the multi-task setting. 2) We show how to turn a soft-predictor of an agent's signals (given the other agents' signals) into a mechanism. This allows the practical use of machine learning algorithms that give good results even when many agents provide noisy information. 3) For finite signal spaces, we obtain $\epsilon$-strongly truthful mechanisms on any stochastically relevant prior, which is the maximal possible prior. In contrast, prior work only achieves a weaker notion of truthfulness (informed truthfulness) or requires stronger assumptions on the prior.


title: Dorado and its member galaxies. Ha imaging of the group backbone

abstract: ABRIDGED: Dorado is a nearby, rich and clumpy galaxy group that extends for several degrees in the Southern Hemisphere. For the first time, we map the Ha distribution as a possible indicator of star formation (SF) activity of Dorado members a large fraction of which show interaction and merging signatures. With the 2.5m du Pont and the 1m Swope telescopes we obtained narrow-band, calibrated images of 14 galaxies, forming the backbone of the group, mapping Ha+[N II] down to few 10$^{-17}$ erg~cm$^{-2}$~s$^{-1}$~arcsec$^{-2}$. We estimated the galaxy star formation rate (SFR) from the Ha fluxes, corrected for Galaxy foreground extinction and [N II] contamination. Ha+[N II] emission has been detected in all galaxies. HII regions clearly emerge in late-type galaxies (LTGs) , while in early-type galaxies (ETGs) the Ha+[N II] emission is dominated by [N II], especially in the central regions. However, HII complexes are also revealed in four ETGs. Considering the Dorado group as a whole, we notice that the Ha+[N II] equivalent width, a measure of the specific SF, increases with the morphological type, from early to late-type members, although it remains lower that what observed in similar surveys of spiral galaxies. The SFR of the spiral members is in the range of what observed in similar galaxies surveys James+ (2004), although, in three spirals the SFR is well below the median for their morphological classes. The SFR of some early-type members tends, at odds, to be higher than the average derived from Ha+[N II] surveys of this morphological family. We detected in Ha+[N II] all the ETGs observed and half of them show HII regions. These findings suggest that ETGs in this group are not dead galaxies: their SF has not shut down yet. Mechanisms such as gas stripping and gas accretion, through galaxy-galaxy interaction, seem relevant in modifying the SF in this evolutionary phase of Dorado.


title: Timing Cache Accesses to Eliminate Side Channels in Shared Software

abstract: Timing side channels have been used to extract cryptographic keys and sensitive documents, even from trusted enclaves. In this paper, we focus on cache side channels created by access to shared code or data in the memory hierarchy. This vulnerability is exploited by several known attacks, e.g, evict+reload for recovering an RSA key and Spectre variants for data leaked due to speculative accesses. The key insight in this paper is the importance of the first access to the shared data after a victim brings the data into the cache. To eliminate the timing side channel, we ensure that the first access by a process to any cache line loaded by another process results in a miss. We accomplish this goal by using a combination of timestamps and a novel hardware design to allow efficient parallel comparisons of the timestamps. The solution works at all the cache levels and defends against an attacker process running on another core, same core, or another hyperthread. Our design retains the benefits of a shared cache: allowing processes to utilize the entire cache for their execution and retaining a single copy of shared code and data (data deduplication). Our implementation in the GEM5 simulator demonstrates that the system is able to defend against RSA key extraction. We evaluate performance using SPECCPU2006 and observe overhead due to first access delay to be 2.17%. The overhead due to the security context bookkeeping is of the order of 0.3%.


title: Height Distribution and Orientation of Colloidal Dumbbells Near a Wall

abstract: Geometric confinement strongly influences the behavior of microparticles in liquid environments. However, to date, nonspherical particle behaviors close to confining boundaries, even as simple as planar walls, remain largely unexplored. Here, we measure the height distribution and orientation of colloidal dumbbells above walls by means of digital in-line holographic microscopy. We find that while larger dumbbells are oriented almost parallel to the wall, smaller dumbbells of the same material are surprisingly oriented at preferred angles. We determine the total height-dependent force acting on the dumbbells by considering gravitational effects and electrostatic particle-wall interactions. Our modeling reveals that at specific heights both net forces and torques on the dumbbells are simultaneously below the thermal force and energy, respectively, which makes the observed orientations possible. Our results highlight the rich near-wall dynamics of nonspherical particles, and can further contribute to the development of quantitative frameworks for arbitrarily-shaped microparticle dynamics in confinement.


title: Point-of-Interest Type Inference from Social Media Text

abstract: Physical places help shape how we perceive the experiences we have there. For the first time, we study the relationship between social media text and the type of the place from where it was posted, whether a park, restaurant, or someplace else. To facilitate this, we introduce a novel data set of $\sim$200,000 English tweets published from 2,761 different points-of-interest in the U.S., enriched with place type information. We train classifiers to predict the type of the location a tweet was sent from that reach a macro F1 of 43.67 across eight classes and uncover the linguistic markers associated with each type of place. The ability to predict semantic place information from a tweet has applications in recommendation systems, personalization services and cultural geography.


title: Study of the Ashkin Teller model with spins $S$ = $1$ and $\sigma$ = $3/2$ subjected to different crystal fields using the Monte-Carlo method

abstract: Using the Monte-Carlo method, we study the magnetic properties of the Ashkin-Teller model (ATM) under the effect of the crystal field with spins $S = 1$ and $\sigma = 3/2$. First, we determine the most stable phases in the phase diagrams at temperature $T = 0$ using exact calculations. For higher temperatures, we use the Monte-Carlo simulation. We have found rich phase diagrams with the ordered phases: a Baxter $3/2$ and a Baxter $1/2$ phases in addition to a $\left\langle \sigma S\right\rangle$ phase that does not show up either in ATM spin 1 or in ATM spin $3/2$ and, lastly, a $\left\langle \sigma\right\rangle = 1/2$ phase with first and second order transitions.


title: Zero net flux MRI-turbulence in disks $-$ sustenance scheme and magnetic Prandtl number dependence

abstract: We investigate sustenance and dependence on magnetic Prandtl number (${\rm Pm}$) for magnetorotational instability (MRI)-driven turbulence in astrophysical Keplerian disks with zero net magnetic flux using standard shearing box simulations. We focus on the turbulence dynamics in Fourier space, capturing specific/noncanonical anisotropy of nonlinear processes due to disk flow shear. This is a new type of nonlinear redistribution of modes over wavevector orientations in Fourier space -- the nonlinear transverse cascade -- which is generic to shear flows and fundamentally different from usual direct/inverse cascade. The zero flux MRI has no exponentially growing modes, so its growth is transient, or nonmodal. Turbulence self-sustenance is governed by constructive cooperation of the transient growth of MRI and the nonlinear transverse cascade. This cooperation takes place at small wavenumbers (on the flow size scales) referred to as the vital area in Fourier space. The direct cascade transfers mode energy from the vital area to larger wavenumbers. At large ${\rm Pm}$, the transverse cascade prevails over the direct one, keeping most of modes' energy contained in small wavenumbers. With decreasing ${\rm Pm}$, however, the action of the transverse cascade weakens and can no longer oppose the action of direct cascade which more efficiently transfers energy to higher wavenumbers, leading to increased resistive dissipation. This undermines the sustenance scheme, resulting in the turbulence decay. Thus, the decay of zero net flux MRI-turbulence with decreasing ${\rm Pm}$ is attributed to topological rearrangement of the nonlinear processes when the direct cascade begins to prevail over the transverse cascade.

categories: astro-ph.HE astro-ph.EP astro-ph.SR physics.flu-dyn physics.plasm-ph


title: Improving Auto-Augment via Augmentation-Wise Weight Sharing

abstract: The recent progress on automatically searching augmentation policies has boosted the performance substantially for various tasks. A key component of automatic augmentation search is the evaluation process for a particular augmentation policy, which is utilized to return reward and usually runs thousands of times. A plain evaluation process, which includes full model training and validation, would be time-consuming. To achieve efficiency, many choose to sacrifice evaluation reliability for speed. In this paper, we dive into the dynamics of augmented training of the model. This inspires us to design a powerful and efficient proxy task based on the Augmentation-Wise Weight Sharing (AWS) to form a fast yet accurate evaluation process in an elegant way. Comprehensive analysis verifies the superiority of this approach in terms of effectiveness and efficiency. The augmentation policies found by our method achieve superior accuracies compared with existing auto-augmentation search methods. On CIFAR-10, we achieve a top-1 error rate of 1.24%, which is currently the best performing single model without extra training data. On ImageNet, we get a top-1 error rate of 20.36% for ResNet-50, which leads to 3.34% absolute error rate reduction over the baseline augmentation.


title: ResGCN: Attention-based Deep Residual Modeling for Anomaly Detection on Attributed Networks

abstract: Effectively detecting anomalous nodes in attributed networks is crucial for the success of many real-world applications such as fraud and intrusion detection. Existing approaches have difficulties with three major issues: sparsity and nonlinearity capturing, residual modeling, and network smoothing. We propose Residual Graph Convolutional Network (ResGCN), an attention-based deep residual modeling approach that can tackle these issues: modeling the attributed networks with GCN allows to capture the sparsity and nonlinearity; utilizing a deep neural network allows to directly learn residual from the input, and a residual-based attention mechanism reduces the adverse effect from anomalous nodes and prevents over-smoothing. Extensive experiments on several real-world attributed networks demonstrate the effectiveness of ResGCN in detecting anomalies.


title: Finite element solution of nonlocal Cahn-Hilliard equations with feedback control time step size adaptivity

abstract: In this study, we evaluate the performance of feedback control-based time step adaptivity schemes for the nonlocal Cahn-Hilliard equation derived from the Ohta-Kawasaki free energy functional. The temporal adaptivity scheme is recast under the linear feedback control theory equipped with an error estimation that extrapolates the solution obtained from an energy-stable, fully implicit time marching scheme. We test three time step controllers with different properties: a simple Integral controller, a complete Proportional-Integral-Derivative controller, and the PC11 predictive controller. We assess the performance of the adaptive schemes for the nonlocal Cahn-Hilliard equation in terms of the number of time steps required for the complete simulation and the computational effort measured by the required number of nonlinear and linear solver iterations. We also present numerical evidence of mass conservation and free energy decay for simulations with the three different time step controllers. The PC11 predictive controller is the best in all three-dimensional test cases.


title: Retrieving and mining professional experience of software practice from grey literature: an exploratory review

abstract: Background: Retrieving and mining practitioners' self--reports of their professional experience of software practice could provide valuable evidence for research. We are, however, unaware of any existing reviews of research conducted in this area. Objective: To review and classify previous research, and to identify insights into the challenges research confronts when retrieving and mining practitioners' self-reports of their experience of software practice. Method: We conduct an exploratory review to identify and classify 42 articles. We analyse a selection of those articles for insights on challenges to mining professional experience. Results: We identify only one directly relevant article. Even then this article concerns the software professional's emotional experiences rather than the professional's reporting of behaviour and events occurring during software practice. We discuss challenges concerning: the prevalence of professional experience; definitions, models and theories; the sparseness of data; units of discourse analysis; annotator agreement; evaluation of the performance of algorithms; and the lack of replications. Conclusion: No directly relevant prior research appears to have been conducted in this area. We discuss the value of reporting negative results in secondary studies. There are a range of research opportunities but also considerable challenges. We formulate a set of guiding questions for further research in this area.


title: Oxygen annealing induced changes in defects within beta-Ga2O3 epitaxial films measured using photoluminescence

abstract: In this work, we use photoluminescence spectroscopy (PL) to monitor changes in the UV, UV', blue, and green emission bands from n-type (010) Ga2O3 films grown by metalorganic vapor phase epitaxy (MOVPE) induced by annealing at different temperatures under O2 ambient. Annealing at successively higher temperatures decreases the overall PL yield and UV intensity at nearly the same rates, indicating the increase in formation of at least one non-radiative defect type. Simultaneously, the PL yield ratios of blue/UV and green/UV increase, suggesting that defects associated with these emissions increase in concentration with O2 annealing. Utilizing the different absorption coefficients of 240 and 266 nm polarization-dependent excitation, we find an overall activation energy for the generation of non-radiative defects of 0.69 eV in the bulk but 1.55 eV near the surface. We also deduce activation energies for the green emission-related defects of 0.60 eV near the surface and 0.89-0.92 eV through the films, whereas the blue-related defects have activation energy in the range 0.43-0.62 eV for all depths. Lastly, we observe hillock surface morphologies and Cr diffusion from the substrate into the film for temperatures above 1050 oC. These observations are consistent with the formation and diffusion of VGa and its complexes as a dominant process during O2 annealing, but further work will be necessary to determine which defects and complexes provide radiative and non-radiative recombination channels and the detailed kinetic processes occurring at surfaces and in bulk amongst defect populations.


title: A Generalization of Bohr-Mollerup's Theorem for Higher Order Convex Functions

abstract: In 1922, Harald Bohr and Johannes Mollerup established a remarkable characterization of the Euler gamma function using its log-convexity property. A decade later, Emil Artin investigated this result and used it to derive the basic properties of the gamma function using elementary methods of the calculus. Bohr-Mollerup's theorem was then adopted by Nicolas Bourbaki as the starting point for his exposition of the gamma function. This open access book develops a far-reaching generalization of Bohr-Mollerup's theorem to higher order convex functions, along lines initiated by Wolfgang Krull, Roger Webster, and some others but going considerably further than past work. In particular, this generalization shows using elementary techniques that a very rich spectrum of functions satisfy analogues of several classical properties of the gamma function, including Bohr-Mollerup's theorem itself, Euler's reflection formula, Gauss' multiplication theorem, Stirling's formula, and Weierstrass' canonical factorization. The scope of the theory developed in this work is illustrated through various examples, ranging from the gamma function itself and its variants and generalizations (q-gamma, polygamma, multiple gamma functions) to important special functions such as the Hurwitz zeta function and the generalized Stieltjes constants. This volume is also an opportunity to honor the 100th anniversary of Bohr-Mollerup's theorem and to spark the interest of a large number of researchers in this beautiful theory.


title: Multi-channel Deep 3D Face Recognition

abstract: Face recognition has been of great importance in many applications as a biometric for its throughput, convenience, and non-invasiveness. Recent advancements in deep Convolutional Neural Network (CNN) architectures have boosted significantly the performance of face recognition based on two-dimensional (2D) facial texture images and outperformed the previous state of the art using conventional methods. However, the accuracy of 2D face recognition is still challenged by the change of pose, illumination, make-up, and expression. On the other hand, the geometric information contained in three-dimensional (3D) face data has the potential to overcome the fundamental limitations of 2D face data. We propose a multi-Channel deep 3D face network for face recognition based on 3D face data. We compute the geometric information of a 3D face based on its piecewise-linear triangular mesh structure and then conformally flatten geometric information along with the color from 3D to 2D plane to leverage the state-of-the-art deep CNN architectures. We modify the input layer of the network to take images with nine channels instead of three only such that more geometric information can be explicitly fed to it. We pre-train the network using images from the VGG-Face \cite{Parkhi2015} and then fine-tune it with the generated multi-channel face images. The face recognition accuracy of the multi-Channel deep 3D face network has achieved 98.6. The experimental results also clearly show that the network performs much better when a 9-channel image is flattened to plane based on the conformal map compared with the orthographic projection.


title: Statistical Field Theory and Networks of Spiking Neurons

abstract: This paper models the dynamics of a large set of interacting neurons within the framework of statistical field theory. We use a method initially developed in the context of statistical field theory [44] and later adapted to complex systems in interaction [45][46]. Our model keeps track of individual interacting neurons dynamics but also preserves some of the features and goals of neural field dynamics, such as indexing a large number of neurons by a space variable. Thus, this paper bridges the scale of individual interacting neurons and the macro-scale modelling of neural field theory.

categories: q-bio.NC cond-mat.dis-nn hep-th math-ph math.MP


title: Space-Time Covariance Models on Networks with An Application on Streams

abstract: The second-order, small-scale dependence structure of a stochastic process defined in the space-time domain is key to prediction (or kriging). While great efforts have been dedicated to developing models for cases in which the spatial domain is either a finite-dimensional Euclidean space or a unit sphere, counterpart developments on a generalized linear network are practically non-existent. To fill this gap, we develop a broad range of parametric, non-separable space-time covariance models on generalized linear networks and then an important subgroup -- Euclidean trees by the space embedding technique -- in concert with the generalized Gneiting class of models and 1-symmetric characteristic functions in the literature, and the scale mixture approach. We give examples from each class of models and investigate the geometric features of these covariance functions near the origin and at infinity. We also show the linkage between different classes of space-time covariance models on Euclidean trees. We illustrate the use of models constructed by different methodologies on a daily stream temperature data set and compare model predictive performance by cross validation.


title: Travelling salesman paths on Demidenko matrices

abstract: In the path version of the Travelling Salesman Problem (Path-TSP), a salesman is looking for the shortest Hamiltonian path through a set of n cities. The salesman has to start his journey at a given city s, visit every city exactly once, and finally end his trip at another given city t. In this paper we identify a new polynomially solvable case of the Path-TSP where the distance matrix of the cities is a so-called Demidenko matrix. We identify a number of crucial combinatorial properties of the optimal solution, and we design a dynamic program with time complexity $O(n^6)$.


title: Stability properties of a crack inverse problem in half space

abstract: We show in this paper a Lipschitz stability result for a crack inverse problem in half space. The direct problem is a Laplace equation with zero Neumann condition on the top boundary. The forcing term is a discontinuity across the crack. This formulation can be related to geological faults in elastic media or to irrotational incompressible flows in a half space minus an inner wall. The direct problem is well posed in an appropriate functional space. We study the related inverse problem where the jump across the crack is unknown, and more importantly, the geometry and the location of the crack are unknown. The data for the inverse problem is of Dirichlet type over a portion of the top boundary. We prove that this inverse problem is uniquely solvable under some assumptions on the geometry of the crack. The highlight of this paper is showing a stability result for this inverse problem. Assuming that the crack is planar, we show that reconstructing the plane containing the crack is Lipschitz stable despite the fact that the forcing term for the underlying PDE is unknown. This uniform stability result holds under the assumption that the forcing term is bounded above and the Dirichlet data is bounded below away from zero in appropriate norms.


title: Terminal-Angle-Constrained Guidance based on Sliding Mode Control for UAV Soft Landing on Ground Vehicles

abstract: In this paper the problem of guidance formulation for autonomous soft landing of unmanned aerial vehicles on stationary, moving, or accelerating / maneuvering ground vehicles at desired approach angles in both azimuth and elevation is considered. Nonlinear engagement kinematics have been used. While integrated nonlinear controllers have been developed in the literature for this purpose, in practical implementations the controller inputs often need modification of the existing autopilot structure, which is challenging. In order to avoid that a higher-level guidance algorithm is designed in this paper leveraging sliding mode control-based approach. In the presented guidance formulation, target-state-dependent singularity can be avoided in the guidance command. The effectiveness of the presented guidance law is verified with numerical simulation studies. However, since the algorithm in its basic form is found to demand high guidance command at large distances from maneuvering ground targets, a two-phase guidance is presented next to avoid this problem and validated with numerical simulations. Finally, the efficacy of the modified guidance algorithm is validated by Software-In-The-Loop simulations for a realistic testbed.


title: The brown dwarf population in the star forming region NGC2264

abstract: The brown dwarf population in the canonical star forming region NGC2264 is so far poorly explored. We present a deep, multi-wavelength, multi-epoch survey of the star forming cluster NGC2264, aimed to identify young brown dwarf candidates in this region. Using criteria including optical/near-infrared colours, variability, Spitzer mid-infrared colour excess, extinction, and Gaia parallax and proper motion (in order of relevance), we select 902 faint red sources with indicators of youth. Within this sample we identify 429 brown dwarf candidates based on their infrared colours. The brown dwarf candidates are estimated to span a mass range from 0.01 to 0.08$M_{\odot}$. We find rotation periods for 44 sources, 15 of which are brown dwarf candidates, ranging from 3.6 hours to 6.5 days. A subset of 38 brown dwarf candidates show high level irregular variability indicative of ongoing disc accretion, similar to the behaviour of young stars.


title: Exploring zonal flow mediated saturation on stellarators

abstract: In stellarators, zonal flow activity depends sensitively on geometry of the three dimensional magnetic field, via an interplay of mechanisms that is not fully understood. In this work, we investigate this by studying three magnetic configurations of the Wendelstein 7-X stellarator. We find that variation in linear zonal flow damping is accompanied by variation in nonlinear drive, and identify key geometric features that control these effects. Understanding the resulting balance is important for the development of reduced models of turbulent transport.


title: How do galaxy properties affect void statistics?

abstract: Using a mapping from dark matter halos to galaxy properties based on hydrodynamical simulations, we explore the impact of galaxy properties on the void size function and the void-galaxy correlation function. We replicate the properties of galaxies from Illustris on MassiveNus halos, to perform both luminosity and star formation rate cuts on MassiveNus halos. We compare the impact of such cuts on voids properties with respect to cuts on halo mass (as usually performed on halo catalogs driven from N-body simulations). We find that void catalogs built from luminosity-selected galaxies and halos are consistent within errors, while void catalogs built from star formation rate selected galaxies differ from void catalogs built on halos. We investigate the reason for this difference. Our work suggests that voids built on galaxy catalogs (selected through luminosity cut) can be reliably studied by using halos in dark matter simulations.


title: Non-Archimedean Models of Morphogenesis

abstract: We study a p-adic reaction-diffusion system and the associated Turing patterns. We establish an instability criteria and show that the Turing patterns are not classical patterns consisting of alternating domains. Instead of this, a Turing pattern consists of several domains (clusters), each of them supporting a different pattern but with the same parameter values. This type of patterns are typically produced by reaction-diffusion equations on large networks.


title: Rashba coupling and spin switching through surface states of Dirac semimetals

abstract: We study the effect of the Rashba spin-orbit coupling on the Fermi arcs of topological Dirac semimetals. The Rashba coupling is induced by breaking the inversion symmetry at the surface. Remarkably, this coupling could be enhanced by the interaction with the substrate and controlled by an external electric field. We study analytically and numerically the rotation of the spin of the surface states as a function of the electron's momentum and the coupling strength. Furthermore, a detailed analysis of the spin-dependent two-terminal conductance is presented in the clean limit and with the addition of a random distribution of impurities. Depending on the magnitude of the quadratic terms in the Hamiltonian, the spin-flip conductance may become dominant, thus showing the potential of the system for spintronic applications, since the effect is robust even in the presence of disorder.


title: Enhanced Standard Compatible Image Compression Framework based on Auxiliary Codec Networks

abstract: To enhance image compression performance, recent deep neural network-based research can be divided into three categories: a learnable codec, a postprocessing network, and a compact representation network. The learnable codec has been designed for an end-to-end learning beyond the conventional compression modules. The postprocessing network increases the quality of decoded images using an example-based learning. The compact representation network is learned to reduce the capacity of an input image to reduce the bitrate while keeping the quality of the decoded image. However, these approaches are not compatible with the existing codecs or not optimal to increase the coding efficiency. Specifically, it is difficult to achieve optimal learning in the previous studies using the compact representation network, due to the inaccurate consideration of the codecs. In this paper, we propose a novel standard compatible image compression framework based on Auxiliary Codec Networks (ACNs). ACNs are designed to imitate image degradation operations of the existing codec, which delivers more accurate gradients to the compact representation network. Therefore, the compact representation and the postprocessing networks can be learned effectively and optimally. We demonstrate that our proposed framework based on JPEG and High Efficiency Video Coding (HEVC) standard substantially outperforms existing image compression algorithms in a standard compatible manner.


title: On non-canonical degrees of freedom

abstract: Non-canonical degrees of freedom provide one of the most promising routes towards characterising a range of important phenomena in condensed matter physics. Potential candidates include the pseudogap regime of the cuprates, heavy-fermion behaviour, and also indeed magnetically ordered systems. Nevertheless it remains an open question whether non-canonical algebras can in fact provide legitimate quantum degrees of freedom. In this manuscript we survey progress made on this topic, complementing distinct approaches so as to obtain a unified description. In particular we obtain a novel closed-form expression for a self-energy-like object for non-canonical degrees of freedom. We further make a resummation of density correlations to obtain analogues of the RPA and GW approximations commonly employed for canonical degrees of freedom. We discuss difficulties related to generating higher-order approximations which are consistent with conservation laws, which represents an outstanding issue. We also discuss how the interplay between canonical and non-canonical degrees of freedom offers a useful paradigm for organising the phase diagram of correlated electronic behaviour.


title: A Plausibility-based Fault Detection Method for High-level Fusion Perception Systems

abstract: Trustworthy environment perception is the fundamental basis for the safe deployment of automated agents such as self-driving vehicles or intelligent robots. The problem remains that such trust is notoriously difficult to guarantee in the presence of systematic faults, e.g. non-traceable errors caused by machine learning functions. One way to tackle this issue without making rather specific assumptions about the perception process is plausibility checking. Similar to the reasoning of human intuition, the final outcome of a complex black-box procedure is verified against given expectations of an object's behavior. In this article, we apply and evaluate collaborative, sensor-generic plausibility checking as a mean to detect empirical perception faults from their statistical fingerprints. Our real use case is next-generation automated driving that uses a roadside sensor infrastructure for perception augmentation, represented here by test scenarios at a German highway and a city intersection. The plausibilization analysis is integrated naturally in the object fusion process, and helps to diagnose known and possibly yet unknown faults in distributed sensing systems.


title: Attention-Aware Noisy Label Learning for Image Classification

abstract: Deep convolutional neural networks (CNNs) learned on large-scale labeled samples have achieved remarkable progress in computer vision, such as image/video classification. The cheapest way to obtain a large body of labeled visual data is to crawl from websites with user-supplied labels, such as Flickr. However, these samples often tend to contain incorrect labels (i.e. noisy labels), which will significantly degrade the network performance. In this paper, the attention-aware noisy label learning approach ($A^2NL$) is proposed to improve the discriminative capability of the network trained on datasets with potential label noise. Specifically, a Noise-Attention model, which contains multiple noise-specific units, is designed to better capture noisy information. Each unit is expected to learn a specific noisy distribution for a subset of images so that different disturbances are more precisely modeled. Furthermore, a recursive learning process is introduced to strengthen the learning ability of the attention network by taking advantage of the learned high-level knowledge. To fully evaluate the proposed method, we conduct experiments from two aspects: manually flipped label noise on large-scale image classification datasets, including CIFAR-10, SVHN; and real-world label noise on an online crawled clothing dataset with multiple attributes. The superior results over state-of-the-art methods validate the effectiveness of our proposed approach.


title: OMC-1 dust polarisation in ALMA Band 7: Diagnosing grain alignment mechanisms in the vicinity of Orion Source I

abstract: We present ALMA Band 7 polarisation observations of the OMC-1 region of the Orion molecular cloud. We find that the polarisation pattern observed in the region is likely to have been significantly altered by the radiation field of the $>10^{4}$ L$_{\odot}$ high-mass protostar Orion Source I. In the protostar's optically thick disc, polarisation is likely to arise from dust self-scattering. In material to the south of Source I - previously identified as a region of 'anomalous' polarisation emission - we observe a polarisation geometry concentric around Source I. We demonstrate that Source I's extreme luminosity may be sufficient to make the radiative precession timescale shorter than the Larmor timescale for moderately large grains ($> 0.005-0.1\,\mu$m), causing them to precess around the radiation anisotropy vector (k-RATs) rather than the magnetic field direction (B-RATs). This requires relatively unobscured emission from Source I, supporting the hypothesis that emission in this region arises from the cavity wall of the Source I outflow. This is one of the first times that evidence for k-RAT alignment has been found outside of a protostellar disc or AGB star envelope. Alternatively, the grains may remain aligned by B-RATs and trace gas infall onto the Main Ridge. Elsewhere, we largely find the magnetic field geometry to be radial around the BN/KL explosion centre, consistent with previous observations. However, in the Main Ridge, the magnetic field geometry appears to remain consistent with the larger-scale magnetic field, perhaps indicative of the ability of the dense Ridge to resist disruption by the BN/KL explosion.


title: Graph-based Heuristic Search for Module Selection Procedure in Neural Module Network

abstract: Neural Module Network (NMN) is a machine learning model for solving the visual question answering tasks. NMN uses programs to encode modules' structures, and its modularized architecture enables it to solve logical problems more reasonably. However, because of the non-differentiable procedure of module selection, NMN is hard to be trained end-to-end. To overcome this problem, existing work either included ground-truth program into training data or applied reinforcement learning to explore the program. However, both of these methods still have weaknesses. In consideration of this, we proposed a new learning framework for NMN. Graph-based Heuristic Search is the algorithm we proposed to discover the optimal program through a heuristic search on the data structure named Program Graph. Our experiments on FigureQA and CLEVR dataset show that our methods can realize the training of NMN without ground-truth programs and achieve superior efficiency over existing reinforcement learning methods in program exploration.


title: A Fisher-KPP model with a fast diffusion line in periodic media

abstract: We treat a model of population dynamics in a periodic environment presenting a fast diffusion line. This phenomenon is modelled via a "road-field" system, which is a system of coupled reaction-diffusion equations set in domains of different dimensions. Here, we consider for the first time the case of a reaction term depending on a spatial variable in a periodic fashion, which is of great interest for both its mathematical difficulties and for its applications. We derive necessary and sufficient conditions for the survival of the species in terms of the sign of a suitable generalised principal eigenvalue. Moreover, we compare the long time behaviour of a population in the same environment without the fast diffusion line, finding that this element has no impact on the survival chances.


title: Testing for linearity in boundary regression models with application to maximal life expectancies

abstract: We consider a regression model with errors that are a.s. negative. Thus the regression function is not the expected value of the observations but the right endpoint of their support. We develop two goodness-of-fit tests for the hypotheses that the regression function is an affine function, study the asymptotic distributions of the test statistics in order to approximately fix the sizes of the tests, derive their finite-sample properties based on simulations and apply them to life expectancy data.


title: Ap\'ery extensions

abstract: The Ap\'ery numbers of Fano varieties are asymptotic invariants of their quantum differential equations. In this paper, we initiate a program to exhibit these invariants as (mirror to) limiting extension classes of higher cycles on the associated Landau-Ginzburg models -- and thus, in particular, as periods. We also construct an ``Ap\'ery motive'', whose mixed Hodge structure is shown, as an application of the decomposition theorem, to contain the limiting extension classes in question. Using a new technical result on the inhomogeneous Picard-Fuchs equations satisfied by higher normal functions, we illustrate this proposal with detailed calculations for LG-models mirror to several Fano threefolds. By describing the ``elementary'' Ap\'ery numbers in terms of regulators of higher cycles (i.e., algebraic $K$-theory/motivic cohomology classes), we obtain a satisfying explanation of their arithmetic properties. Indeed, in each case, the LG-models are modular families of $K3$ surfaces, and the distinction between multiples of $\zeta(2)$ and $\zeta(3)$ (or $(2\pi\mathbf{i})^3$) translates ultimately into one between algebraic $K_1$ and $K_3$ of the family.


title: Byzantine Fault-Tolerance in Decentralized Optimization under Minimal Redundancy

abstract: This paper considers the problem of Byzantine fault-tolerance in multi-agent decentralized optimization. In this problem, each agent has a local cost function. The goal of a decentralized optimization algorithm is to allow the agents to cooperatively compute a common minimum point of their aggregate cost function. We consider the case when a certain number of agents may be Byzantine faulty. Such faulty agents may not follow a prescribed algorithm, and they may share arbitrary or incorrect information with other non-faulty agents. Presence of such Byzantine agents renders a typical decentralized optimization algorithm ineffective. We propose a decentralized optimization algorithm with provable exact fault-tolerance against a bounded number of Byzantine agents, provided the non-faulty agents have a minimal redundancy.


title: Calibrating Local Volatility Models with Stochastic Drift and Diffusion

abstract: We propose Monte Carlo calibration algorithms for three models: local volatility with stochastic interest rates, stochastic local volatility with deterministic interest rates, and finally stochastic local volatility with stochastic interest rates. For each model, we include detailed derivations of the corresponding SDE systems, and list the required input data and steps for calibration. We give conditions under which a local volatility can exist given European option prices, stochastic interest rate model parameters, and correlations. The models are posed in a foreign exchange setting. The drift term for the exchange rate is given as a difference of two stochastic short rates, domestic and foreign, each modeled by a G1++ process. For stochastic volatility, we model the variance for the exchange rate by a CIR process. We include tests to show the convergence and the accuracy of the proposed algorithms.


title: Dehn surgery and hyperbolic knot complements without hidden symmetries

abstract: Neumann and Reid conjecture that there are exactly three knot complements which admit hidden symmetries. This paper establishes several results that provide evidence for the conjecture. Our main technical tools provide obstructions to having infinitely many fillings of a cusped manifold produce knot complements admitting hidden symmetries. Applying these tools, we show for any two-bridge link complement, at most finitely many fillings of one cusp can be covered by knot complements admitting hidden symmetries. We also show that the figure-eight knot complement is the unique knot complement with volume less than $6v_0 \approx 6.0896496$ that admits hidden symmetries. We then conclude with two independent proofs that among hyperbolic knot complements only the figure-eight knot complement can admit hidden symmetries and cover a filling of the two-bridge link complement $\mathbb{S}^3\setminus 6^2_2$. Each of these proofs shows that the technical tools established earlier can be made effective.


title: Criteria for univalence and quasiconformal extension for harmonic mappings on planar domains

abstract: If $\Omega$ is a simply connected domain in $\overline{{\mathbb C}}$ then, according to the Ahlfors-Gehring theorem, $\Omega$ is a quasidisk if and only if there exists a sufficient condition for the univalence of holomorphic functions in $\Omega$ in relation to the growth of their Schwarzian derivative. We extend this theorem to harmonic mappings by proving a univalence criterion on quasidisks. We also show that the mappings satisfying this criterion admit a homeomorphic extension to $\overline{{\mathbb C}}$ and, under the additional assumption of quasiconformality in $\Omega$, they admit a quasiconformal extension to $\overline{{\mathbb C}}$. The Ahlfors-Gehring theorem has been extended to finitely connected domains $\Omega$ by Osgood, Beardon and Gehring, who showed that a Schwarzian criterion for univalence holds in $\Omega$ if and only if the components of $\partial\Omega$ are either points or quasicircles. We generalize this theorem to harmonic mappings.


title: Renormalization of the energy-momentum tensor in three-dimensional scalar $SU(N)$ theories using the Wilson flow

abstract: A nonperturbative determination of the energy-momentum tensor is essential for understanding the physics of strongly coupled systems. The ability of the Wilson flow to eliminate divergent contact terms makes it a practical method for renormalizing the energy-momentum tensor on the lattice. In this paper, we utilize the Wilson flow to define a procedure to renormalize the energy-momentum tensor for a three-dimensional massless scalar field in the adjoint of $SU(N)$ with a $\varphi^4$ interaction on the lattice. In this theory the energy-momentum tensor can mix with $\varphi^2$ and we present numerical results for the mixing coefficient for the $N=2$ theory.


title: Nonperturbative infrared finiteness in super-renormalisable scalar quantum field theory

abstract: We present a study of the IR behaviour of a three-dimensional super-renormalisable quantum field theory (QFT) consisting of a scalar field in the adjoint of $SU(N)$ with a $\varphi^4$ interaction. A bare mass is required for the theory to be massless at the quantum level. In perturbation theory the critical mass is ambiguous due to infrared (IR) divergences and we indeed find that at two-loops in lattice perturbation theory the critical mass diverges logarithmically. It was conjectured long ago in [Jackiw 1980, Appelquist 1981] that super-renormalisable theories are nonperturbatively IR finite, with the coupling constant playing the role of an IR regulator. Using a combination of Markov-Chain-Monte-Carlo simulations of the lattice-regularised theory, both frequentist and Bayesian data analysis, and considerations of a corresponding effective theory we gather evidence that this is indeed the case.


title: Casimir-Polder force and torque for anisotropic molecules close to conducting planes and their effects on CO$_2$

abstract: We derive the Casimir-Polder force and Casimir torque expressions for an anisotropic molecule close to a conducting plane with a tensorial conductivity. We apply our general expressions to the case of a carbon dioxide CO$_2$ molecule close to a plane with pure Hall conductivity and to graphene. We show that the equilibrium position of this linear molecule is with its main axis perpendicular to the surface. We hence conjecture a possible way to exploit the Casimir torque to mechanically improve the performance of CO$_2$ separation membranes useful for an efficient atmospheric CO$_2$ reduction.


title: Over-critical sharp-gradient plasma slab produced by the collision of laser-induced blast-waves in a gas jet; Application to high-energy proton acceleration

abstract: The generation of thin and high density plasma slabs at high repetition rate is a key issue for ultra-high intensity laser applications. We present a scheme to create such plasma slabs, based on the propagation and collision in a gas jet of two counter-propagating blast waves (BW). Each BW is launched by a sudden and local heating induced by a nanosecond laser beam that propagates along the side of the jet. The resulting cylindrical BW expands perpendicular to the beam. The shock front, bent by the gas jet density gradient, pushes and compresses the plasma toward the jet center. By using two parallel ns laser beams, this scheme enables to tailor independently two opposite sides of the jet, while avoiding the damage risks associated with counterpropagating laser beams. A parametric study is performed using two and three dimensional hydrodynamic, as well as kinetic simulations. The BWs bending combined with the collision in a stagnation regime increases the density by more than 10 times and generates a very thin (down to few microns), near to over-critical plasma slab with a high density contrast (> 100), and a lifetime of a few hundred picoseconds. Two dimensional particle-in-cell simulations are used to study the influence of plasma tailoring on proton acceleration by a high-intensity sub-picosecond laser pulse. Tailoring the plasma not only at the entrance but also the exit side of the ps-pulse enhances the proton beam collimation, increases significantly the number of high energy protons, as well as their maximum energy.


title: Geometry of AdS-Melvin Spacetimes

abstract: We study asymptotically AdS generalizations of Melvin spacetimes, describing gravitationally bound tubes of magnetic flux. We find that narrow fluxtubes, carrying strong magnetic fields but little total flux, are approximately unchanged from the $\Lambda=0$ case at scales smaller than the AdS scale. However, fluxtubes with weak fields, which for $\Lambda=0$ can grow arbitrarily large in radius and carry unbounded magnetic flux, are limited in radius by the AdS scale and like the narrow fluxtubes carry only small total flux. As a consequence, there is a maximum magnetic flux $\Phi_{max} = 2\pi/\sqrt{-\Lambda}$ that can be carried by static fluxtubes in AdS. For flux $\Phi_{tot}<\Phi_{max}$ there are two branches of solutions, with one branch always narrower in radius than the other. We compute the ADM mass and tensions for AdS-Melvin fluxtube, finding that the wider radius branch of solutions always has lower mass. In the limit of vanishing flux, this branch reduces to the AdS soliton.


title: Pump-shaping of non-collinear and non-degenerate entangled photons

abstract: Free-space quantum key distribution is gaining increasing interest as a leading platform for long range quantum communication. However, the sensitivity of quantum correlations to scattering induced by turbulent atmospheric links limits the performance of such systems. Recently, methods for compensating the scattering of entangled photons have been demonstrated, allowing for real-time optimization of their quantum correlations. In this Letter, we demonstrate the use of wavefront shaping for compensating the scattering of non-collinear and non-degenerate entangled photons. These results demonstrate the applicability of wavefront shaping schemes for protocols utilizing the large bandwidth and emission angle of the entangled photons.


title: (Logarithmic) densities for automatic sequences along primes and squares

abstract: In this paper we develop a method to transfer density results for primitive automatic sequences to logarithmic-density results for general automatic sequences. As an application we show that the logarithmic densities of any automatic sequence along squares $(n^2)_{n\geq 0}$ and primes $(p_n)_{n\geq 1}$ exist and are computable. Furthermore, we give for these subsequences a criterion to decide whether the densities exist, in which case they are also computable. In particular in the prime case these densities are all rational. We also deduce from a recent result of the third author and Lema\'nczyk that all subshifts generated by automatic sequences are orthogonal to any bounded multiplicative aperiodic function.


title: Consistent regression when oblivious outliers overwhelm

abstract: We consider a robust linear regression model $y=X\beta^* + \eta$, where an adversary oblivious to the design $X\in \mathbb{R}^{n\times d}$ may choose $\eta$ to corrupt all but an $\alpha$ fraction of the observations $y$ in an arbitrary way. Prior to our work, even for Gaussian $X$, no estimator for $\beta^*$ was known to be consistent in this model except for quadratic sample size $n \gtrsim (d/\alpha)^2$ or for logarithmic inlier fraction $\alpha\ge 1/\log n$. We show that consistent estimation is possible with nearly linear sample size and inverse-polynomial inlier fraction. Concretely, we show that the Huber loss estimator is consistent for every sample size $n= \omega(d/\alpha^2)$ and achieves an error rate of $O(d/\alpha^2n)^{1/2}$. Both bounds are optimal (up to constant factors). Our results extend to designs far beyond the Gaussian case and only require the column span of $X$ to not contain approximately sparse vectors). (similar to the kind of assumption commonly made about the kernel space for compressed sensing). We provide two technically similar proofs. One proof is phrased in terms of strong convexity, extending work of [Tsakonas et al.'14], and particularly short. The other proof highlights a connection between the Huber loss estimator and high-dimensional median computations. In the special case of Gaussian designs, this connection leads us to a strikingly simple algorithm based on computing coordinate-wise medians that achieves optimal guarantees in nearly-linear time, and that can exploit sparsity of $\beta^*$. The model studied here also captures heavy-tailed noise distributions that may not even have a first moment.


title: Cooperative Path Integral Control for Stochastic Multi-Agent Systems

abstract: A distributed stochastic optimal control solution is presented for cooperative multi-agent systems. The network of agents is partitioned into multiple factorial subsystems, each of which consists of a central agent and neighboring agents. Local control actions that rely only on agents' local observations are designed to optimize the joint cost functions of subsystems. When solving for the local control actions, the joint optimality equation for each subsystem is cast as a linear partial differential equation and solved using the Feynman-Kac formula. The solution and the optimal control action are then formulated as path integrals and approximated by a Monte-Carlo method. Numerical verification is provided through a simulation example consisting of a team of cooperative UAVs.


title: Joint Contrastive Learning with Infinite Possibilities

abstract: This paper explores useful modifications of the recent development in contrastive learning via novel probabilistic modeling. We derive a particular form of contrastive loss named Joint Contrastive Learning (JCL). JCL implicitly involves the simultaneous learning of an infinite number of query-key pairs, which poses tighter constraints when searching for invariant features. We derive an upper bound on this formulation that allows analytical solutions in an end-to-end training manner. While JCL is practically effective in numerous computer vision applications, we also theoretically unveil the certain mechanisms that govern the behavior of JCL. We demonstrate that the proposed formulation harbors an innate agency that strongly favors similarity within each instance-specific class, and therefore remains advantageous when searching for discriminative features among distinct instances. We evaluate these proposals on multiple benchmarks, demonstrating considerable improvements over existing algorithms. Code is publicly available at: https://github.com/caiqi/Joint-Contrastive-Learning.


title: Helping restricted Boltzmann machines with quantum-state representation by restoring symmetry

abstract: The variational wave functions based on neural networks have recently started to be recognized as a powerful ansatz to represent quantum many-body states accurately. In order to show the usefulness of the method among all available numerical methods, it is imperative to investigate the performance in challenging many-body problems for which the exact solutions are not available. Here, we construct a variational wave function with one of the simplest neural networks, the restricted Boltzmann machine (RBM), and apply it to a fundamental but unsolved quantum spin Hamiltonian, the two-dimensional $J_1$-$J_2$ Heisenberg model on the square lattice. We supplement the RBM wave function with quantum-number projections, which restores the symmetry of the wave function and makes it possible to calculate excited states. Then, we perform a systematic investigation of the performance of the RBM. We show that, with the help of the symmetry, the RBM wave function achieves state-of-the-art accuracy both in ground-state and excited-state calculations. The study shows a practical guideline on how we achieve accuracy in a controlled manner.

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


title: Effects of Reducing Heat Treatment on the Structural and the Magnetic Properties of Mn:ZnO Ceramics

abstract: Polycrystalline bulk Mn:ZnO ceramics with Mn nominal concentrations of 6, 11, 17 and 22 at.% were prepared trough solid-state reaction method and subjected to a heat treatment in reducing atmosphere (Ar (95%) and H2 (5%)). The samples were studied with particular emphasis on their compositions, structural, and magnetic properties. A detailed microstructural and chemical analysis confirms the Mn doping of the wurtzite ZnO structure mainly at the surface of the ZnO grains. For the samples with higher Mn content, the secondary phases ZnMn2O4 and Mn1-xZnxO (Zn-doped MnO) were detected for the as prepared and the heat treated samples, respectively. The structural change of the secondary phases under heat treatment, from ZnMn2O4 to Mn1-xZnxO, confirms the effectiveness of the heat treatment in to reduce the valence of the metallic ions and in the formation of oxygen vacancies into the system. In spite of the induced defects, the magnetic analysis present only a paramagnetic behavior with an antiferromagnetic coupling between the Mn ions. In the context of the bound magnetic polaron theory, it is concluded that oxygen vacancies are not the necessary defect to promote the desired ferromagnetic order at room temperature.


title: Stability of two-dimensional Markov processes, with an application to QBD processes with an infinite number of phases

abstract: In this paper, we derive a simple drift condition for the stability of a class of two-dimensional Markov processes, for which one of the coordinates (also referred to as the {\em phase} for convenience) has a well understood behaviour dependent on the other coordinate (also referred as {\em level}). The first (phase) component's transitions may depend on the second component and are only assumed to be eventually independent. The second (level) component has partially bounded jumps and it is assumed to have a negative drift given that the first one is in its stationary distribution. The results presented in this work can be applied to processes of the QBD (quasi-birth-and-death) type on the quarter- and on the half-plane, where the phase and level are interdependent. Furthermore, they provide an off-the-shelf technique to tackle stability issues for a class of two-dimensional Markov processes. These results set the stepping stones towards closing the existing gap in the literature of deriving easily verifiable conditions/criteria for two-dimensional processes with unbounded jumps and interdependence between the two components.


title: Bridging Information-Seeking Human Gaze and Machine Reading Comprehension

abstract: In this work, we analyze how human gaze during reading comprehension is conditioned on the given reading comprehension question, and whether this signal can be beneficial for machine reading comprehension. To this end, we collect a new eye-tracking dataset with a large number of participants engaging in a multiple choice reading comprehension task. Our analysis of this data reveals increased fixation times over parts of the text that are most relevant for answering the question. Motivated by this finding, we propose making automated reading comprehension more human-like by mimicking human information-seeking reading behavior during reading comprehension. We demonstrate that this approach leads to performance gains on multiple choice question answering in English for a state-of-the-art reading comprehension model.


title: Flavour and Energy Dependence of Chemical Freeze-out Temperatures in Relativistic Heavy Ion Collisions from RHIC-BES to LHC Energies

abstract: We present calculations of the chemical freeze-out temperature (T_ch) based on particle yields from STAR and ALICE measured at collision energies ranging from sqrt{s_{NN}} = 11.5 GeV to 5.02 TeV. Employing the Grand Canonical Ensemble approach using the Thermal-FIST Hadron Resonance Gas model package, we show evidence for a flavour-dependent chemical freeze-out in the crossover region of the QCD phase diagram. At a vanishing baryochemical potential, we calculate light and strange flavour freeze-out temperatures T_L = 150.2 +- 2.6 MeV and T_S = 165.1 +- 2.7 MeV, respectively.


title: Gravitational Contact Interactions and the Physical Equivalence of Weyl Transformations in Effective Field Theory

abstract: Theories of scalars and gravity, with non-minimal interactions, $\sim (M_P^2 +F(\phi) )R +L(\phi)$, have graviton exchange induced contact terms. These terms arise in single particle reducible diagrams with vertices $\propto q^2$ that cancel the Feynman propagator denominator $1/q^2$ and are familiar in various other physical contexts. In gravity these lead to additional terms in the action such as $\sim F(\phi) T_\mu^\mu(\phi)/M_P^2$ and $F(\phi)\partial^2 F(\phi)/M_P^2$. The contact terms are equivalent to induced operators obtained by a Weyl transformation that removes the non-minimal interactions, leaving a minimal Einstein-Hilbert gravitational action. This demonstrates explicitly the equivalence of different representations of the action under Weyl transformations, both classically and quantum mechanically. To avoid such "hidden contact terms" one is compelled to go to the minimal Einstein-Hilbert representation.


title: HetSeq: Distributed GPU Training on Heterogeneous Infrastructure

abstract: Modern deep learning systems like PyTorch and Tensorflow are able to train enormous models with billions (or trillions) of parameters on a distributed infrastructure. These systems require that the internal nodes have the same memory capacity and compute performance. Unfortunately, most organizations, especially universities, have a piecemeal approach to purchasing computer systems resulting in a heterogeneous infrastructure, which cannot be used to compute large models. The present work describes HetSeq, a software package adapted from the popular PyTorch package that provides the capability to train large neural network models on heterogeneous infrastructure. Experiments with transformer translation and BERT language model shows that HetSeq scales over heterogeneous systems. HetSeq can be easily extended to other models like image classification. Package with supported document is publicly available at https://github.com/yifding/hetseq.


title: The nature of the symbiotic candidate 2MASS J07363415+6538548 in the field of NGC 2403

abstract: New Online Database of Symbiotic Variables includes several poorly characterised objects and candidate symbiotic stars, not only in the Milky Way but also in other galaxies. The goal of the research presented in this paper was to reveal the nature of 2MASS J07363415+6538548, the object discovered as an X-ray source in the field of NGC 2403, and tentatively classified as a symbiotic candidate or a cataclysmic variable. By analysis of available photometric data from ground-based surveys, together with high precision photometry from TESS, remarkable astrometric measurements of the Gaia satellite, and observations of other surveys spanning from X-rays to infrared, we have found that the object is not a symbiotic star nor a cataclysmic variable but rather an active K-type dwarf. The star is located in the distance of 415 pc, has an effective temperature of 4 275 K, luminosity of 0.14 L$\odot$, a mass of 0.7 M$\odot$, and radius of 0.7 R$\odot$. It has a rotational period ~ 3 days and is a strong X-ray source with the X-ray luminosity of ~ $10^{30}$ erg/s. Gyrochronology and isochrone fitting confirmed that the star is young.


title: Quantum non-demolition dispersive readout of a superconducting artificial atom using large photon numbers

abstract: Reading out the state of superconducting artificial atoms typically relies on dispersive coupling to a readout resonator. For a given system noise temperature, increasing the circulating photon number $\bar{n}$ in the resonator enables a shorter measurement time and is therefore expected to reduce readout errors caused by spontaneous atom transitions. However, increasing $\bar{n}$ is generally observed to also increase these transition rates. Here we present a fluxonium artificial atom in which we measure an overall flat dependence of the transition rates between its first two states as a function of $\bar{n}$, up to $\bar{n}\approx200$. Despite the fact that we observe the expected decrease of the dispersive shift with increasing readout power, the signal-to-noise ratio continuously improves with increasing $\bar{n}$. Even without the use of a parametric amplifier, at $\bar{n}=74$, we measure fidelities of 99% and 93% for feedback-assisted ground and excited state preparation, respectively.


title: Measuring Systematic Generalization in Neural Proof Generation with Transformers

abstract: We are interested in understanding how well Transformer language models (TLMs) can perform reasoning tasks when trained on knowledge encoded in the form of natural language. We investigate their systematic generalization abilities on a logical reasoning task in natural language, which involves reasoning over relationships between entities grounded in first-order logical proofs. Specifically, we perform soft theorem-proving by leveraging TLMs to generate natural language proofs. We test the generated proofs for logical consistency, along with the accuracy of the final inference. We observe length-generalization issues when evaluated on longer-than-trained sequences. However, we observe TLMs improve their generalization performance after being exposed to longer, exhaustive proofs. In addition, we discover that TLMs are able to generalize better using backward-chaining proofs compared to their forward-chaining counterparts, while they find it easier to generate forward chaining proofs. We observe that models that are not trained to generate proofs are better at generalizing to problems based on longer proofs. This suggests that Transformers have efficient internal reasoning strategies that are harder to interpret. These results highlight the systematic generalization behavior of TLMs in the context of logical reasoning, and we believe this work motivates deeper inspection of their underlying reasoning strategies.


title: A cut-free sequent calculus for the bi-intuitionistic logic 2Int

abstract: The purpose of this paper is to introduce a bi-intuitionistic sequent calculus and to give proofs of admissibility for its structural rules. The calculus I will present, called SC2Int, is a sequent calculus for the bi-intuitionistic logic 2Int. Calculi for this logic represent a kind of bilateralist reasoning, since they do not only internalize processes of verification or provability but also the dual processes in terms of falsification or what is called dual provability. A normal form theorem for a natural deduction calculus of 2Int has already been stated, in this paper I want to prove a cut-elimination theorem for SC2Int, i.e. if successful, this would extend the results existing so far.