title: The Pan-STARRS1 $\mathbf{z>5.6}$ Quasar Survey: III. The $\mathbf{z\approx6}$ Quasar Luminosity Function

abstract: We present the $z\!\approx\!6$ type-1 quasar luminosity function (QLF) based on the Pan-STARRS1 (PS1) quasar survey. The PS1 sample includes 125 quasars at $z\approx5.7-6.2$ with $-28\lesssim M_{1450}\lesssim-25$. Complemented by 48 fainter quasars from the SHELLQs survey, we evaluate the $z\approx6$ QLF over $-28\lesssim M_{1450}\lesssim-22$. Adopting a double power law with an exponential evolution of the quasar density ($\Phi(z)\propto10^{k(z-6)}$; $k=-0.7$), we use a maximum likelihood method to model our data. We find a break magnitude of $M^*=-26.38_{-0.60}^{+0.79}\,\text{mag}$, a faint end slope of $\alpha=-1.70_{-0.19}^{+0.29}$, and a steep bright end slope with $\beta=-3.84_{-1.21}^{+0.63}$. Based on our new QLF model we determine the quasar comoving spatial density at $z\!\approx\!6$ to be $n( M_{1450}<-26)=1.16_{-0.12}^{+0.13}\,\text{cGpc}^{-3}$. In comparison with the literature, we find the quasar density to evolve with a constant value of $k\approx-0.7$ from $z\approx7$ to $z\approx4$. Additionally, we derive an ionizing emissivity of $\epsilon_{912}(z=6) =7.23_{-1.02}^{+1.65}\times 10^{22}\,\text{erg}\,\text{s}^{-1}\text{Hz}^{-1}\text{cMpc}^{-3}$ based on the QLF measurement. Given standard assumptions and the recent measurement of the mean free path of Becker et al. (2021) at $z\approx6$ we calculate an HI photoionizing rate of $\Gamma_{\text{HI}}(z{=}6) \approx 6 \times10^{-16}\,\text{s}^{-1}$, strongly disfavoring a dominant role of quasars in hydrogen reionization.


title: evosax: JAX-based Evolution Strategies

abstract: The deep learning revolution has greatly been accelerated by the 'hardware lottery': Recent advances in modern hardware accelerators and compilers paved the way for large-scale batch gradient optimization. Evolutionary optimization, on the other hand, has mainly relied on CPU-parallelism, e.g. using Dask scheduling and distributed multi-host infrastructure. Here we argue that also modern evolutionary computation can significantly benefit from the massive computational throughput provided by GPUs and TPUs. In order to better harness these resources and to enable the next generation of black-box optimization algorithms, we release evosax: A JAX-based library of evolution strategies which allows researchers to leverage powerful function transformations such as just-in-time compilation, automatic vectorization and hardware parallelization. evosax implements 30 evolutionary optimization algorithms including finite-difference-based, estimation-of-distribution evolution strategies and various genetic algorithms. Every single algorithm can directly be executed on hardware accelerators and automatically vectorized or parallelized across devices using a single line of code. It is designed in a modular fashion and allows for flexible usage via a simple ask-evaluate-tell API. We thereby hope to facilitate a new wave of scalable evolutionary optimization algorithms.


title: Optical flux and spectral variability of BL Lacertae during its historical high outburst in 2020

abstract: BL Lacertae had undergone a series of historical high flux activity over a year, from August 2020 in the optical to VHE $\gamma$-rays. In this paper, we report on optical flux and spectral variability of the first historical maxima outburst event during October-November in g, r and i bands with the 1.26m telescope at Xinglong observatory, China. We detected significant intranight variations with amplitude rising up to $\sim 30$%, when the fastest variability timescale is found to be a few tens of minutes, giving an emitting region size of the order $10^{-3}$ pc, which corresponds to $\sim 100$ Schwarzschild radius of the central black hole, likely coming from some jet mini-structures. Unlike on intranight timescale, a clear frequency dependent pattern along with symmetric timescales ($\sim$ 11d) of flux variation are detected on long timescale. The spectral evolution was predominated by flattening of the spectra with increasing brightness i.e., a bluer-when-brighter trend in 96% of the cases. On the night before the outburst peak, the color indices clustered in two distinct branches in color--magnitude diagram within a period of $\sim$ 6 hours that is connected to a hard-soft-hard spectral evolution trend extracted from time-resolved spectra. Such trend has never seen in BL Lac or any other blazars before to the best of our knowledge. The results obtained in this study can be explained in the context of shock induced particle acceleration or magnetic re-connection in the jet where turbulent processes most likely resulted the asymmetric flux variation on nightly timescale.


title: Computing Cohomology Rings in Cubical Agda

abstract: In Homotopy Type Theory, cohomology theories are studied synthetically using higher inductive types and univalence. This paper extends previous developments by providing the first fully mechanized definition of cohomology rings. These rings may be defined as direct sums of cohomology groups together with a multiplication induced by the cup product, and can in many cases be characterized as quotients of multivariate polynomial rings. To this end, we introduce appropriate definitions of direct sums and graded rings, which we then use to define both cohomology rings and multivariate polynomial rings. Using this, we compute the cohomology rings of some classical spaces, such as the spheres and the Klein bottle. The formalization is constructive so that it can be used to do concrete computations, and it relies on the Cubical Agda system which natively supports higher inductive types and computational univalence.


title: Mind the Gap: Measuring Generalization Performance Across Multiple Objectives

abstract: Modern machine learning models are often constructed taking into account multiple objectives, e.g., minimizing inference time while also maximizing accuracy. Multi-objective hyperparameter optimization (MHPO) algorithms return such candidate models, and the approximation of the Pareto front is used to assess their performance. In practice, we also want to measure generalization when moving from the validation to the test set. However, some of the models might no longer be Pareto-optimal which makes it unclear how to quantify the performance of the MHPO method when evaluated on the test set. To resolve this, we provide a novel evaluation protocol that allows measuring the generalization performance of MHPO methods and studying its capabilities for comparing two optimization experiments.


title: Customizing Number Representation and Precision

abstract: There is a growing interest in the use of reduced-precision arithmetic, exacerbated by the recent interest in artificial intelligence, especially with deep learning. Most architectures already provide reduced-precision capabilities (e.g., 8-bit integer, 16-bit floating point). In the context of FPGAs, any number format and bit-width can even be considered.In computer arithmetic, the representation of real numbers is a major issue. Fixed-point (FxP) and floating-point (FlP) are the main options to represent reals, both with their advantages and drawbacks. This chapter presents both FxP and FlP number representations, and draws a fair a comparison between their cost, performance and energy, as well as their impact on accuracy during computations.It is shown that the choice between FxP and FlP is not obvious and strongly depends on the application considered. In some cases, low-precision floating-point arithmetic can be the most effective and provides some benefits over the classical fixed-point choice for energy-constrained applications.


title: Beyond Discrete Genres: Mapping News Items onto a Multidimensional Framework of Genre Cues

abstract: In the contemporary media landscape, with the vast and diverse supply of news, it is increasingly challenging to study such an enormous amount of items without a standardized framework. Although attempts have been made to organize and compare news items on the basis of news values, news genres receive little attention, especially the genres in a news consumer's perception. Yet, perceived news genres serve as an essential component in exploring how news has developed, as well as a precondition for understanding media effects. We approach this concept by conceptualizing and operationalizing a non-discrete framework for mapping news items in terms of genre cues. As a starting point, we propose a preliminary set of dimensions consisting of "factuality" and "formality". To automatically analyze a large amount of news items, we deliver two computational models for predicting news sentences in terms of the said two dimensions. Such predictions could then be used for locating news items within our framework. This proposed approach that positions news items upon a multidimensional grid helps in deepening our insight into the evolving nature of news genres.


title: Handling Sub-symmetry in Integer Programming using Activation Handlers

abstract: Symmetry in integer programs (IPs) can be exploited in order to reduce solving times. Usually only symmetries of the original IP are handled, but new symmetries may arise at some nodes of the branch-and-bound tree. While symmetry-handling inequalities (SHIs) can easily be used to handle original symmetries, handling sub-symmetries arising later on is more intricate. To handle sub-symmetries, it has recently been proposed to add SHIs that are activated by auxiliary variables. This, however, may increase the size of the IP substantially as all sub-symmetries need to be modeled explicitly. As an alternative, we propose a new framework for generically activating SHIs, so-called activation handlers. This framework allows for a direct implementation of routines that check for active sub-symmetries, eliminating the need for auxiliary variables. In particular, activation handlers can activate symmetry-handling techniques that are more powerful than SHIs. We show that our approach is flexible, with applications in the multiple-knapsack, unit commitment, and graph coloring problems. Numerical results show a substantial performance improvement on the existing sub-symmetry-handling methods.


title: Identifying the source term in the potential equation with weighted sparsity regularization

abstract: We explore the possibility for using boundary measurements to recover a sparse source term f(x) in the potential equation. Employing weighted sparsity regularization and standard results for subgradients, we derive simple-to-check criteria which assure that a number of sinks (f(x) < 0) and sources (f(x) > 0) can be identified. Furthermore, we present two cases for which these criteria always are fulfilled: a) well-separated sources and sinks, and b) many sources or sinks located at the boundary plus one interior source/sink. Our approach is such that the linearity of the associated forward operator is preserved in the discrete formulation. The theory is therefore conveniently developed in terms of Euclidean spaces, and it can be applied to a wide range of problems. In particular, it can be applied to both isotropic and anisotropic cases. We present a series of numerical experiments. This work is motivated by the observation that standard methods typically suggest that internal sinks and sources are located close to the boundary.


title: Physics-guided machine learning for wind-farm power prediction: Toward interpretability and generalizability

abstract: With the increasing amount of available data from simulations and experiments, research for the development of data-driven models for wind-farm power prediction has increased significantly. While the data-driven models can successfully predict the power of a wind farm with similar characteristics as those in the training ensemble, they generally do not have a high degree of flexibility for extrapolation to unseen cases in contrast to the physics-based models. In this paper, we focus on data-driven models with improved interpretability and generalizability levels that can predict the performance of turbines in wind farms. To prepare the datasets, several cases are defined based on the layouts of operational wind farms, and massive computational fluid dynamics simulations are performed. The extreme gradient boosting algorithm is used afterward to build models, which have turbine-level geometric inputs in combination with the efficiency from physics-based models as the features. After training, to analyze the models' capability in generalization, their predictions for the unseen cases with different operating conditions, inflow turbulence levels, and wind-farm layouts are compared to the Park model and an empirical-analytical Gaussian wake model. Results show that the physics-guided machine-learning models outperform both physics-based models showing a high degree of generalizability, and the machine is not sensitive to the choice of the physics-based guide model.


title: Bundling Impacts in Spanish Telecommunications Market

abstract: Bundling is a pervasive strategy in telecommunications markets. Due to the great success obtained at Spanish Telco market, this article analyzes the impacts of the introduction of convergent bundling on that market. This commercial strategy has caused major changes in the market, both from the point of view of demand and its own structure. From the demand-side, we analyze how product bundling has produced a substantial reduction on effective prices in the sector, and by means of technological diffusion models, we show that bundling is the main factor of Fixed Broadband development, along with FTTH networks deployments, in contrast with stand-alone product marketing scenarios. Pay TV inclusion and hard-bundling strategies at communications packages has motivated the greatest growth of this product in the history of this market. Regarding market structure, the introduction of convergent bundling has led to a consolidation in the market, increasing the concentration around the main convergent players


title: Configurational Entropy of Self Propelled Glass Formers

abstract: The configurational entropy is an indispensable tool to describe super-cooled liquids near the glass transition. Its calculation requires the enumeration of the basins in the potential energy landscape and when available, it reveals a direct connection with the relaxation time of the liquid. While there are several reports on the measurement of configurational entropy in passive liquids, very little is understood about its role in active liquids which have a propensity to undergo a glass transition at low temperatures. In this paper, we report a careful calculation of the configurational entropy in a model glass former where the constituent units are self propelled. We show that unlike passive liquids, the anharmonic contribution to the glass entropy in these self-propelled liquids can be of the same order as the harmonic contribution, and therefore must be included in the calculation of the configurational entropy. Our extracted configurational entropy is in good agreement with the generalized Adam-Gibbs relation predicted by the random first order transition theory enabling us to deduce a scaling relation between the configurational entropy and the point-to-set length scale in these active systems. Our findings could be of great utility in conventional active systems such as self-propelled granules, Janus particles and dense bacterial suspensions, to mention a few.


title: Electromagnetic Environment Analysis of High-Power Wireless Charging Device

abstract: Objective Aiming at the problems of many interference factors in the electromagnetic radiation simulation of electric vehicles, a field measurement scheme for charging devices is designed. Through the monitoring of wireless charging equipment, the radiation level and distribution of the electric field value and magnetic field value around the charging equipment is explored, to analyze the influence law of the electromagnetic environment. Method This paper introduces the principle and development status of electric vehicle charging, and analyzes the classification and methods of wireless charging. In this paper, the electric field and magnetic field of cars and minibuses are monitored, at positions such as: around the body, attenuation section, inside the car and inside the minibus. Result The range of electric field strength is 0.9 V/m to 48.1 V/m for cars, and 0.8 V/m to 74.7 V/m for minibuses. The electric field strength decays rapidly with the increase of the distance from the vehicle body, and the law is obvious. The range of magnetic induction intensity is 0.12{\mu}T-12.70{\mu}T for cars, and 0.15{\mu}T-27.06{\mu}T for minibuses. The magnetic induction intensity decays rapidly with the increase of the distance from the vehicle body, and the law is obvious. Conclusion This paper explores the radiation level and distribution of the electromagnetic field around this type of charging equipment. It is recommended that manufacturers of wireless charging devices for electric vehicles strengthen research on electromagnetic radiation shielding and take corresponding measures to control the level of electromagnetic radiation in areas accessible to the public.


title: Strong light/matter coupling for SERS

abstract: For a wide range of health applications, label-free sensing is essential, and micro-photonics offers innovative technical solutions to pursue important objectives. It has been shown that the strong light/matter coupling formed between a cavity and molecules through light excitation enhances biological and clinical applications by providing deep insights into molecular analysis. The multilayer cavity's proposed architecture is meant to promote a robust interaction between light and matter. The top layer was made of silver Ag multi-shape features that, after being synthesized and characterized, were immobilized on the surface, while a layer of indium tin oxide ITO was flipped to produce two distinct layouts. An investigation of the mode behavior was conducted to describe the two layouts; experimental and numerical results point to a strong light/matter interaction by the ITO/SiO2/spacer/Ag multi-shape feature design. For the characterization of the light/matter coupling, a fluorophore was deposited on the surface; the anticrossing energy was then examined by integrating the experimental data with a model of three mechanical oscillators. To show the system's sensitivity, the analysis was carried out again using bovine serum albumin (BSA) protein. The protein is water-soluble and exhibits an infrared absorption band (amide I), while also being active in the Raman region. Besides, it may consistently bind to Ag multi-shape features. The excellent sensitivity was demonstrated, enabling the use of image analysis to capture the surface-enhanced Raman scattering of the BSA. In conclusion, the suggested sensing approach brings up fresh possibilities for highly sensitive biomolecule detection techniques and encourages results when used as a fundamental sensing technique to investigate molecular patterns.


title: Writing Internet of Things Applicatations with Task-Oriented Programming

abstract: The Internet of Things (IoT) is growing fast. In 2018, there was approximately one connected device per person on earth and the number has been growing ever since. The devices interact with the environment via different modalities at the same time using sensors and actuators making the programs parallel. Yet, writing this type of programs is difficult because the devices have little computation power and memory, the platforms are heterogeneous and the languages are low level. Task Oriented Programming (TOP) is a declarative programming language paradigm that is used to express coordination of work, collaboration of users and systems, the distribution of shared data and the human-computer interaction. The mTask language is a specialized, yet full-fledged, multi-backend TOP language for IoT devices. With the bytecode interpretation backend and the integration with iTask, tasks can be executed on the device dynamically. This means that -- according to the current state of affairs -- tasks can be tailor-made at run time, compiled to device-agnostic bytecode and shipped to the device for interpretation. Tasks sent to the device are fully integrated in iTask to allow every form of interaction with the tasks such as observation of the task value and interaction with Shared Data Sources (SDSs). The entire IoT application -- both server and devices -- are programmed in a single language, albeit using two embedded Domain Specific Languages (EDSLs).


title: Optimization-Based Predictive Congestion Control for the Tor Network: Opportunities and Challenges

abstract: Based on the principle of onion routing, the Tor network achieves anonymity for its users by relaying user data over a series of intermediate relays. This approach makes congestion control in the network a challenging task. As of today, this results in higher latencies due to considerable backlog as well as unfair data rate allocation. In this paper, we present a concept study of PredicTor, a novel approach to congestion control that tackles clogged overlay networks. Unlike traditional approaches, it is built upon the idea of distributed model predictive control, a recent advancement from the area of control theory. PredicTor is tailored to minimizing latency in the network and achieving max-min fairness. We contribute a thorough evaluation of its behavior in both toy scenarios to assess the optimizer and complex networks to assess its potential. For this, we conduct large-scale simulation studies and compare PredicTor to existing congestion control mechanisms in Tor. We show that PredicTor is highly effective in reducing latency and realizing fair rate allocations. In addition, we strive to bring the ideas of modern control theory to the networking community, enabling the development of improved, future congestion control. We therefore demonstrate benefits and issues alike with this novel research direction.


title: A Paradigm Shift in Neuroscience Driven by Big Data: State of art, Challenges, and Proof of Concept

abstract: A recent editorial in Nature noted that cognitive neuroscience is at a crossroads where it is a thorny issue to reliably reveal brain-behavior associations. This commentary sketches a big data science way out for cognitive neuroscience, namely population neuroscience. In terms of design, analysis, and interpretations, population neuroscience research takes the design control to an unprecedented level, greatly expands the dimensions of the data analysis space, and paves a paradigm shift for exploring mechanisms on brain-behavior associations.


title: Learning Domain Invariant Prompt for Vision-Language Models

abstract: Prompt learning is one of the most effective and trending ways to adapt powerful vision-language foundation models like CLIP to downstream datasets by tuning learnable prompt vectors with very few samples. However, although prompt learning achieves excellent performance over in-domain data, it still faces the major challenge of generalizing to unseen classes and domains. Some existing prompt learning methods tackle this issue by adaptively generating different prompts for different tokens or domains but neglecting the ability of learned prompts to generalize to unseen domains. In this paper, we propose a novel prompt learning paradigm that directly generates \emph{domain invariant} prompt that can be generalized to unseen domains, called MetaPrompt. Specifically, a dual-modality prompt tuning network is proposed to generate prompts for input from both image and text modalities. With a novel asymmetric contrastive loss, the representation from the original pre-trained vision-language model acts as supervision to enhance the generalization ability of the learned prompt. More importantly, we propose a meta-learning-based prompt tuning algorithm that explicitly constrains the task-specific prompt tuned for one domain or class to also achieve good performance in another domain or class. Extensive experiments on 11 datasets for base-to-new generalization and 4 datasets for domain generalization demonstrate that our method consistently and significantly outperforms existing methods.


title: HyperEnclave: An Open and Cross-platform Trusted Execution Environment

abstract: A number of trusted execution environments (TEEs) have been proposed by both academia and industry. However, most of them require specific hardware or firmware changes and are bound to specific hardware vendors (such as Intel, AMD, ARM, and IBM). In this paper, we propose HyperEnclave, an open and cross-platform process-based TEE that relies on the widely-available virtualization extension to create the isolated execution environment. In particular, HyperEnclave is designed to support the flexible enclave operation modes to fulfill the security and performance demands under various enclave workloads. We provide the enclave SDK to run existing SGX programs on HyperEnclave with little or no source code changes. We have implemented HyperEnclave on commodity AMD servers and deployed the system in a world-leading FinTech company to support real-world privacy-preserving computations. The evaluation on both micro-benchmarks and application benchmarks shows the design of HyperEnclave introduces only a small overhead.


title: A Novel Efficient Signcryption Scheme for Resource-Constrained Smart Terminals in Cyber-Physical Power Systems

abstract: Most of the existing signcryption schemes generate pseudonym by key generation center (KGC) and usually choose bilinear pairing to construct authentication schemes. The drawback is that these schemes not only consume heavy computation and communication costs during information exchange, but also can not eliminate security risks due to not updating pseudonym, which do not work well for resource-constrained smart terminals in cyber-physical power systems (CPPSs). The main objective of this paper is to propose a novel efficient signcryption scheme for resource-constrained smart terminals. First, a dynamical pseudonym self-generation mechanism (DPSGM) is explored to achieve privacy preservation and avoid the source being linked. Second, combined with DPSGM, an efficient signcryption scheme based on certificateless cryptography (CLC) and elliptic curve cryptography (ECC) is designed, which reduces importantly computation and communication burden. Furthermore, under random oracle model (ROM), the confidentiality and non-repudiation of the proposed signcryption scheme are transformed into elliptic curve discrete logarithm and computational Diffie-Hellman problems that cannot be solved in polynomial time, which guarantees the security. Finally, the effectiveness and feasibility of the proposed signcryption scheme are confirmed by experimental analyses.


title: On the Role of Gas Cooling in the Dynamics of Circumbinary Disks

abstract: Hydrodynamical interactions between binaries and circumbinary disks (CBDs) play an important role in a variety of astrophysical systems, from young stellar binaries to supermassive black hole binaries. Previous simulations of CBDs have mostly employed locally isothermal equation of state. We carry out two-dimensional viscous hydrodynamic simulations of CBDs around equal-mass, circular binaries, treating the gas thermodynamics by thermal relaxation towards equilibrium temperature (the constant-$\beta$ cooling ansatz, where $\beta$ is the cooling time in units of the local Keplerian time). As an initial study, we use the grid-based code Athena++ on a polar grid, covering an extended disk outside the binary co-orbital region. We find that with a longer cooling time, the accretion variability is gradually suppressed, and the morphology of the CBD becomes more symmetric. The disk also shows evidence of hysterisis behavior depending on the initial conditions. Gas cooling also affects the rate of angular momentum transfer between the binary and the CBD, where given our adopted disk thickness and viscosity ($H/r\sim 0.1$ and $\alpha\sim 0.1$), the binary orbit expands while undergoing accretion for most $\beta$ values between 0 and 4.0 except over a narrow range of intermediate $\beta$ values. The validity of using polar grid excising the central domain is also discussed.


title: On k-distance degree based topological indices of benzenoid systems

abstract: Topological indices are graph invariants numeric quantities, which are utilized by researchers to analyze a variety of physiochemical aspects of molecules. The goal of developing topological indices is to give each chemical structure a numerical value while maintaining the highest level of differentiation. Using these indices, the classification of various structures, and their physiochemical and biological properties can be predicted. In this paper, the leap and leap hyper Zagreb indices, as well as their polynomials for a zigzag benzenoid system $Z_{p}$ and a rhombic benzenoid system $R_{p}$ are determined. In addition, new $k$-distance degree-based topological indices such as leap-Somber index, hyper leap forgotten index, leap $Y$ index, and leap $Y$ coindex are also computed for the molecular graphs of $Z_p$ and $R_p$. Furthermore, their numerical computation and discussion are performed to determine the significance of their physiochemical properties.


title: Brane Detectors of a Dynamical Phase Transition in a Driven CFT

abstract: We show that a dynamical transition from a non-heating to a heating phase of a periodic $SL(2,\mathbb{R})$ driven two-dimensional conformal field theory (CFT) with a large central charge is perceived as a first order transition by a bulk brane embedded in the dual AdS. We construct the dual bulk metric corresponding to a driven CFT for both the heating and the non-heating phases. These metrics are different AdS$_{2}$ slices of the pure AdS$_{3}$ metric. We embed a brane in the obtained dual AdS space and provide an explicit computation of its free energy both in the probe limit and for an end-of-world (EOW) brane taking into account its backreaction. Our analysis indicates a finite discontinuity in the first derivative of the brane free energy as one moves from the non-heating to the heating phase (by tuning the drive amplitude and/or frequency of the driven CFT) thus demonstrating the presence of the bulk first order transition. Interestingly, no such transition is perceived by the bulk in the absence of the brane. We also provide explicit computations of two-point, four-point out-of-time correlators (OTOC) using the bulk picture. Our analysis shows that the structure of these correlators in different phases match their counterparts computed in the driven CFT. We analyze the effect of multiple EOW branes in the bulk and discuss possible extensions of our work for richer geometries and branes.


title: Spin Relaxation, Diffusion and Edelstein Effect in Chiral Metal Surface

abstract: We study electron spin transport at spin-splitting surface of chiral-crystalline-structured metals and Edelstein effect at the interface, by using the Boltzmann transport equation beyond the relaxation time approximation. We first define spin relaxation time and spin diffusion length for two-dimensional systems with anisotropic spin--orbit coupling through the spectrum of the integral kernel in the collision integral. We then explicitly take account of the interface between the chiral metal and a nonmagnetic metal with finite thickness. For this composite system, we derive analytical expressions for efficiency of the charge current--spin current interconversion as well as other coefficients found in the Edelstein effect. We also develop the Onsager's reciprocity in the Edelstein effect along with experiments so that it relates local input and output, which are respectively defined in the regions separated by the interface. We finally provide a transfer matrix corresponding to the Edelstein effect through the interface, with which we can easily represent the Onsager's reciprocity as well as the charge--spin conversion efficiencies we have obtained. We confirm the validity of the Boltzmann transport equation in the present system starting from the Keldysh formalism in the supplemental material. Our formulation also applies to the Rashba model and other spin-splitting systems.


title: A Characterization of Maximum Nash Welfare for Indivisible Goods

abstract: In the allocation of indivisible goods, the maximum Nash welfare (MNW) rule, which chooses an allocation maximizing the product of the agents' utilities, has received substantial attention for its fairness. We characterize MNW as the only additive welfarist rule that satisfies envy-freeness up to one good. Our characterization holds even in the simplest setting of two agents.


title: Maximal subgroups of finitely presented special inverse monoids

abstract: We study the maximal subgroups (also known as group $\mathcal{H}$-classes) of finitely presented special inverse monoids. We show that the maximal subgroups which can arise in such monoids are exactly the recursively presented groups, and moreover every such maximal subgroup can also arise in the $E$-unitary case. We also prove that the possible groups of units are exactly the finitely generated recursively presented groups; this improves upon a result of, and answers a question of, the first author and Ru\v{s}kuc. These results give the first significant insight into the maximal subgroups of such monoids beyond the group of units, and the results together demonstrate that it is possible for the subgroup structure to have a complexity which significantly exceeds that of the group of units. We also observe that a finitely presented special inverse monoid (even an $E$-unitary one) may have infinitely many pairwise non-isomorphic maximal subgroups.


title: DC-MBR: Distributional Cooling for Minimum Bayesian Risk Decoding

abstract: Minimum Bayesian Risk Decoding (MBR) emerges as a promising decoding algorithm in Neural Machine Translation. However, MBR performs poorly with label smoothing, which is surprising as label smoothing provides decent improvement with beam search and improves generality in various tasks. In this work, we show that the issue arises from the un-consistency of label smoothing on the token-level and sequence-level distributions. We demonstrate that even though label smoothing only causes a slight change in the token-level, the sequence-level distribution is highly skewed. We coin the issue \emph{autoregressive over-smoothness}. To address this issue, we propose a simple and effective method, Distributional Cooling MBR (DC-MBR), which manipulates the entropy of output distributions by tuning down the Softmax temperature. We theoretically prove the equivalence between pre-tuning label smoothing factor and distributional cooling. Extensive experiments on NMT benchmarks validate that distributional cooling improves MBR in various settings.


title: What Pronouns for Pepper? A Critical Review of Gender/ing in Research

abstract: Gender/ing guides how we view ourselves, the world around us, and each other--including non-humans. Critical voices have raised the alarm about stereotyped gendering in the design of socially embodied artificial agents like voice assistants, conversational agents, and robots. Yet, little is known about how this plays out in research and to what extent. As a first step, we critically reviewed the case of Pepper, a gender-ambiguous humanoid robot. We conducted a systematic review (n=75) involving meta-synthesis and content analysis, examining how participants and researchers gendered Pepper through stated and unstated signifiers and pronoun usage. We found that ascriptions of Pepper's gender were inconsistent, limited, and at times discordant, with little evidence of conscious gendering and some indication of researcher influence on participant gendering. We offer six challenges driving the state of affairs and a practical framework coupled with a critical checklist for centering gender in research on artificial agents.


title: Gap Preserving Reductions Between Reconfiguration Problems

abstract: Combinatorial reconfiguration is a growing research field studying problems on the transformability between a pair of solutions of a search problem. We consider the approximability of optimization variants of reconfiguration problems; e.g., for a Boolean formula $\varphi$ and two satisfying truth assignments $\sigma_{\sf s}$ and $\sigma_{\sf t}$ for $\varphi$, Maxmin SAT Reconfiguration requires to maximize the minimum fraction of satisfied clauses of $\varphi$ during transformation from $\sigma_{\sf s}$ to $\sigma_{\sf t}$. Solving such optimization variants approximately, we may obtain a reconfiguration sequence comprising almost-satisfying truth assignments. In this study, we prove a series of gap-preserving reductions to give evidence that a host of reconfiguration problems are PSPACE-hard to approximate, under some plausible assumption. Our starting point is a new working hypothesis called the Reconfiguration Inapproximability Hypothesis (RIH), which asserts that a gap version of Maxmin CSP Reconfiguration is PSPACE-hard. This hypothesis may be thought of as a reconfiguration analogue of the PCP theorem. Our main result is PSPACE-hardness of approximating Maxmin $3$-SAT Reconfiguration of bounded occurrence under RIH. The crux of its proof is a gap-preserving reduction from Maxmin Binary CSP Reconfiguration to itself of bounded degree. Because a simple application of the degree reduction technique using expander graphs due to Papadimitriou and Yannakakis does not preserve the perfect completeness, we modify the alphabet as if each vertex could take a pair of values simultaneously. To accomplish the soundness requirement, we further apply an explicit family of near-Ramanujan graphs and the expander mixing lemma. As an application of the main result, we demonstrate that under RIH, optimization variants of popular reconfiguration problems are PSPACE-hard to approximate.


title: Decay dynamics of a giant atom in a structured bath with broken time-reversal symmetry

abstract: We study in this paper the decay dynamics of a two-level giant atom, which is coupled to a quasi-one-dimensional sawtooth lattice exposed to uniform synthetic magnetic fluxes. In the case where the two sublattices have a large detuning, the giant atom is effectively coupled to a single-band structured bath with flux-controlled energy band and time-reversal symmetry. This feature significantly affects the decay dynamics of the giant atom as well as the propagation of the emitted photon. In particular, the giant atom can exhibit chiral spontaneous emission and allow for nonreciprocal delayed light, which are however unattainable by coupling a small atom to this lattice. Giant atoms with different frequencies can be designed to emit photons towards different directions and with different group velocities. Our results pave the way towards engineering quantum networks and manipulating giant-atom interference effects.


title: Quantum classical hybrid neural networks for continuous variable prediction

abstract: Within this decade, quantum computers are predicted to outperform conventional computers in terms of processing power and have a disruptive effect on a variety of business sectors. It is predicted that the financial sector would be one of the first to benefit from quantum computing both in the short and long terms. In this research work we use Hybrid Quantum Neural networks to present a quantum machine learning approach for Continuous variable prediction.


title: Thin shell model of a coated conductor with a ferromagnetic substrate

abstract: Coated conductors with magnetic substrates are thin multilayer structures; their high aspect ratio and nonlinear material properties present significant difficulties for numerical simulation. Using the high width-to-thickness ratio of coated conductors we derive an integral formulation for a model based on an infinitely thin approximation for the superconducting layer and a quasistatic thin shell approximation for the magnetic substrate. The proposed model describes electromagnetic response of a coated conductor with a magnetic substrate and is much simpler than the existing models. A single dimensionless parameter characterizes the substrate having a finite magnetic permeability and a finite thickness. An accurate and efficient Chebyshev spectral method is derived for numerical solution. The influence of a magnetic substrate on the superconducting current and AC losses is investigated. In the limiting cases our model solution tends to the known analytical solutions.


title: Evaluating Zero-cost Active Learning for Object Detection

abstract: Object detection requires substantial labeling effort for learning robust models. Active learning can reduce this effort by intelligently selecting relevant examples to be annotated. However, selecting these examples properly without introducing a sampling bias with a negative impact on the generalization performance is not straightforward and most active learning techniques can not hold their promises on real-world benchmarks. In our evaluation paper, we focus on active learning techniques without a computational overhead besides inference, something we refer to as zero-cost active learning. In particular, we show that a key ingredient is not only the score on a bounding box level but also the technique used for aggregating the scores for ranking images. We outline our experimental setup and also discuss practical considerations when using active learning for object detection.


title: Real-Time Counterfactual Explanations For Robotic Systems With Multiple Continuous Outputs

abstract: Although many machine learning methods, especially from the field of deep learning, have been instrumental in addressing challenges within robotic applications, we cannot take full advantage of such methods before these can provide performance and safety guarantees. The lack of trust that impedes the use of these methods mainly stems from a lack of human understanding of what exactly machine learning models have learned, and how robust their behaviour is. This is the problem the field of explainable artificial intelligence aims to solve. Based on insights from the social sciences, we know that humans prefer contrastive explanations, i.e.\ explanations answering the hypothetical question "what if?". In this paper, we show that linear model trees are capable of producing answers to such questions, so-called counterfactual explanations, for robotic systems, including in the case of multiple, continuous inputs and outputs. We demonstrate the use of this method to produce counterfactual explanations for two robotic applications. Additionally, we explore the issue of infeasibility, which is of particular interest in systems governed by the laws of physics.


title: Voice Over Body? Older Adults' Reactions to Robot and Voice Assistant Facilitators of Group Conversation

abstract: Intelligent agents have great potential as facilitators of group conversation among older adults. However, little is known about how to design agents for this purpose and user group, especially in terms of agent embodiment. To this end, we conducted a mixed methods study of older adults' reactions to voice and body in a group conversation facilitation agent. Two agent forms with the same underlying artificial intelligence (AI) and voice system were compared: a humanoid robot and a voice assistant. One preliminary study (total n=24) and one experimental study comparing voice and body morphologies (n=36) were conducted with older adults and an experienced human facilitator. Findings revealed that the artificiality of the agent, regardless of its form, was beneficial for the socially uncomfortable task of conversation facilitation. Even so, talkative personality types had a poorer experience with the "bodied" robot version. Design implications and supplementary reactions, especially to agent voice, are also discussed.


title: Scientific Paper Extractive Summarization Enhanced by Citation Graphs

abstract: In a citation graph, adjacent paper nodes share related scientific terms and topics. The graph thus conveys unique structure information of document-level relatedness that can be utilized in the paper summarization task, for exploring beyond the intra-document information. In this work, we focus on leveraging citation graphs to improve scientific paper extractive summarization under different settings. We first propose a Multi-granularity Unsupervised Summarization model (MUS) as a simple and low-cost solution to the task. MUS finetunes a pre-trained encoder model on the citation graph by link prediction tasks. Then, the abstract sentences are extracted from the corresponding paper considering multi-granularity information. Preliminary results demonstrate that citation graph is helpful even in a simple unsupervised framework. Motivated by this, we next propose a Graph-based Supervised Summarization model (GSS) to achieve more accurate results on the task when large-scale labeled data are available. Apart from employing the link prediction as an auxiliary task, GSS introduces a gated sentence encoder and a graph information fusion module to take advantage of the graph information to polish the sentence representation. Experiments on a public benchmark dataset show that MUS and GSS bring substantial improvements over the prior state-of-the-art model.


title: A search for instanton-induced decay of super-heavy dark matter in the Pierre Auger Observatory data

abstract: Using data collected at the Pierre Auger Observatory, we search for signatures of instanton-induced processes that would provide evidence of super-heavy particles decaying in the Galactic halo. Such particles could have been produced sufficiently during the post-inflationary epoch to match the relic abundance of dark matter inferred today. The non-observation of these signatures allows us to probe the instanton strength and to derive a bound, the best ever obtained from instanton-mediated processes, on the reduced coupling constant of gauge interactions in the dark sector: $\alpha_X \lesssim 0.09$, for $10^{9} \lesssim M_X/{\rm GeV} < 10^{19}$.


title: Differentially-Private Bayes Consistency

abstract: We construct a universally Bayes consistent learning rule that satisfies differential privacy (DP). We first handle the setting of binary classification and then extend our rule to the more general setting of density estimation (with respect to the total variation metric). The existence of a universally consistent DP learner reveals a stark difference with the distribution-free PAC model. Indeed, in the latter DP learning is extremely limited: even one-dimensional linear classifiers are not privately learnable in this stringent model. Our result thus demonstrates that by allowing the learning rate to depend on the target distribution, one can circumvent the above-mentioned impossibility result and in fact, learn \emph{arbitrary} distributions by a single DP algorithm. As an application, we prove that any VC class can be privately learned in a semi-supervised setting with a near-optimal \emph{labeled} sample complexity of $\tilde{O}(d/\varepsilon)$ labeled examples (and with an unlabeled sample complexity that can depend on the target distribution).


title: Non-Hermitian synthetic lattices with light-matter coupling

abstract: We propose that light-matter coupling can be used to realize synthetic lattices. In particular, we consider a one-dimensional chain of exciton-photon sites to create a comb lattice that exhibits a transition from a flat band to a finite mass dispersion by tuning site-dependent light-matter coupling. Moreover, in a non-Hermitian system with gain and loss, the flat band phase is much more robust and the transition is accompanied by the appearance of exceptional points in the complex energy spectrum. We demonstrate that by engineering the light-matter coupling in the synthetic lattice, one can explore various phases in the lasing regime. Our proposal paves the way for studying non-Hermitian systems in higher dimensions.


title: Structural Reductions and Stutter Sensitive Properties

abstract: Verification of properties expressed as $\omega$-regular languages such as LTL can benefit hugely from stutter insensitivity, using a diverse set of reduction strategies. However properties that are not stutter invariant, for instance due to the use of the neXt operator of LTL or to some form of counting in the logic, are not covered by these techniques in general. We propose in this paper to study a weaker property than stutter insensitivity. In a stutter insensitive language both adding and removing stutter to a word does not change its acceptance, any stuttering can be abstracted away; by decomposing this equivalence relation into two implications we obtain weaker conditions. We define a shortening insensitive language where any word that stutters less than a word in the language must also belong to the language. A lengthening insensitive language has the dual property. A semi-decision procedure is then introduced to reliably prove shortening insensitive properties or deny lengthening insensitive properties while working with a \emph{reduction} of a system. A reduction has the property that it can only shorten runs. Lipton's transaction reductions or Petri net agglomerations are examples of eligible structural reduction strategies. We also present an approach that can reason using a partition of a property language into its stutter insensitive, shortening insensitive, lengthening insensitive and length sensitive parts to still use structural reductions even when working with arbitrary properties. An implementation and experimental evidence is provided showing most non-random properties sensitive to stutter are actually shortening or lengthening insensitive.


title: The Neural Correlates of Linguistic Structure Building: Comments on Kazanina & Tavano (2022)

abstract: A recent perspective paper by Kazanina & Tavano (referred to as the KT perspective in the following) argues how neural oscillations cannot provide a potential neural correlate for syntactic structure building. The view that neural oscillations can provide a potential neural correlate for syntactic structure building is largely attributed to a study by Ding, Melloni, Zhang, Tian, and Poeppel in 2016 (referred to as the DMZTP study). The KT perspective is thought provoking, but has severe misinterpretations about the arguments in DMZTP and other studies, and contains contradictory conclusions in different parts of the perspective, making it impossible to understand the position of the authors. In the following, I summarize a few misinterpretations and inconsistent arguments in the KT perspective, and put forward a few suggestions for future studies.


title: Speed Variations of Cosmic Photons and Neutrinos from Loop Quantum Gravity

abstract: Recently a series of analyses on the flight time of cosmic photons and neutrinos suggests that the speed of light \emph{in vacuo} takes the energy-dependent form $v(E)\simeq 1-E/E_{\text{LIV}}^{\gamma }$ with $E_{\text{LIV}}^{\gamma }\approx 3.6\times 10^{17}~\text{GeV}$, and meanwhile the speed of neutrinos is proposed to be $v(E)\simeq 1\pm E/E_{\text{LIV}}^{\nu }$ with $E_{\text{LIV}}^{\nu }\approx 6.5\times 10^{17}~\text{GeV}$ and $\pm {}$ representing the helicity dependence. This novel picture immediately urges us to provide a satisfactory theoretical explanation. Among all the attempts to predict the speed variations from quantum gravity, we find that loop quantum gravity can serve as a good candidate for explaining the aforementioned picture consistently.


title: An Empirical Study on Multi-Domain Robust Semantic Segmentation

abstract: How to effectively leverage the plentiful existing datasets to train a robust and high-performance model is of great significance for many practical applications. However, a model trained on a naive merge of different datasets tends to obtain poor performance due to annotation conflicts and domain divergence.In this paper, we attempt to train a unified model that is expected to perform well across domains on several popularity segmentation datasets.We conduct a detailed analysis of the impact on model generalization from three aspects of data augmentation, training strategies, and model capacity.Based on the analysis, we propose a robust solution that is able to improve model generalization across domains.Our solution ranks 2nd on RVC 2022 semantic segmentation task, with a dataset only 1/3 size of the 1st model used.


title: Theoretical derivation of diffusion-tensor coefficients for the transport of charged particles in magnetic fields

abstract: The transport of charged particles in various astrophysical environments permeated by magnetic fields is described in terms of a diffusion process, which relies on diffusion-tensor parameters generally inferred from Monte-Carlo simulations. Based on a red-noise approximation to model the two-point correlation function of the magnetic field experienced by charged particles between two successive times, the diffusion-tensor coefficients were previously derived in the case of pure turbulence. In this contribution to ECRS2022, the derivation is extended to the case of a mean field on top of the turbulence. The results are applicable to a variety of astrophysical environments in regimes where the Larmor radius of the particles is resonant with the power spectrum of the turbulence wavelength (gyro-resonant regime), or where the Larmor radius is greater than the largest turbulence wavelength (high-rigidity regime).


title: Vicious Classifiers: Data Reconstruction Attack at Inference Time

abstract: Privacy-preserving inference in edge computing paradigms encourages the users of machine-learning services to locally run a model on their private input, for a target task, and only share the model's outputs with the server. We study how a vicious server can reconstruct the input data by observing only the model's outputs, while keeping the target accuracy very close to that of a honest server: by jointly training a target model (to run at users' side) and an attack model for data reconstruction (to secretly use at server's side). We present a new measure to assess the reconstruction risk in edge inference. Our evaluations on six benchmark datasets demonstrate that the model's input can be approximately reconstructed from the outputs of a single target inference. We propose a potential defense mechanism that helps to distinguish vicious versus honest classifiers at inference time. We discuss open challenges and directions for future studies and release our code as a benchmark for future work.


title: Towards Accurate Ground Plane Normal Estimation from Ego-Motion

abstract: In this paper, we introduce a novel approach for ground plane normal estimation of wheeled vehicles. In practice, the ground plane is dynamically changed due to braking and unstable road surface. As a result, the vehicle pose, especially the pitch angle, is oscillating from subtle to obvious. Thus, estimating ground plane normal is meaningful since it can be encoded to improve the robustness of various autonomous driving tasks (e.g., 3D object detection, road surface reconstruction, and trajectory planning). Our proposed method only uses odometry as input and estimates accurate ground plane normal vectors in real time. Particularly, it fully utilizes the underlying connection between the ego pose odometry (ego-motion) and its nearby ground plane. Built on that, an Invariant Extended Kalman Filter (IEKF) is designed to estimate the normal vector in the sensor's coordinate. Thus, our proposed method is simple yet efficient and supports both camera- and inertial-based odometry algorithms. Its usability and the marked improvement of robustness are validated through multiple experiments on public datasets. For instance, we achieve state-of-the-art accuracy on KITTI dataset with the estimated vector error of 0.39{\deg}. Our code is available at github.com/manymuch/ground_normal_filter.


title: On the equivalence between $ f\left(R\right) $ theories and Einstein gravity

abstract: In this brief note we present a somewhat trivial result. Namely, we show that perturbative off-shell $f(R)$-theory is equivalent to Einstein gravity, as well as to the Brans-Dicke theory and the Einstein scalar field model. We also discuss possible generalisation of this result to higher-order gravitational field models.


title: Gradient-Type Methods for Optimization Problems with Polyak-{\L}ojasiewicz Condition: Early Stopping and Adaptivity to Inexactness Parameter

abstract: Due to its applications in many different places in machine learning and other connected engineering applications, the problem of minimization of a smooth function that satisfies the Polyak-{\L}ojasiewicz condition receives much attention from researchers. Recently, for this problem, the authors of recent work proposed an adaptive gradient-type method using an inexact gradient. The adaptivity took place only with respect to the Lipschitz constant of the gradient. In this paper, for problems with the Polyak-{\L}ojasiewicz condition, we propose a full adaptive algorithm, which means that the adaptivity takes place with respect to the Lipschitz constant of the gradient and the level of the noise in the gradient. We provide a detailed analysis of the convergence of the proposed algorithm and an estimation of the distance from the starting point to the output point of the algorithm. Numerical experiments and comparisons are presented to illustrate the advantages of the proposed algorithm in some examples.


title: Self-training via Metric Learning for Source-Free Domain Adaptation of Semantic Segmentation

abstract: Unsupervised source-free domain adaptation methods aim to train a model for the target domain utilizing a pretrained source-domain model and unlabeled target-domain data, particularly when accessibility to source data is restricted due to intellectual property or privacy concerns. Traditional methods usually use self-training with pseudo-labeling, which is often subjected to thresholding based on prediction confidence. However, such thresholding limits the effectiveness of self-training due to insufficient supervision. This issue becomes more severe in a source-free setting, where supervision comes solely from the predictions of the pre-trained source model. In this study, we propose a novel approach by incorporating a mean-teacher model, wherein the student network is trained using all predictions from the teacher network. Instead of employing thresholding on predictions, we introduce a method to weight the gradients calculated from pseudo-labels based on the reliability of the teacher's predictions. To assess reliability, we introduce a novel approach using proxy-based metric learning. Our method is evaluated in synthetic-to-real and cross-city scenarios, demonstrating superior performance compared to existing state-of-the-art methods.


title: Equivariant spaces of matrices of constant rank

abstract: We use representation theory to construct spaces of matrices of constant rank. These spaces are parametrized by the natural representation of the general linear group or the symplectic group. We present variants of this idea, with more complicated representations, and others with the orthogonal group. Our spaces of matrices correspond to vector bundles which are homogeneous but sometimes admit deformations to non-homogeneous vector bundles, showing that these spaces of matrices sometimes admit large families of deformations.


title: ICSPatch: Automated Vulnerability Localization and Non-Intrusive Hotpatching in Industrial Control Systems using Data Dependence Graphs

abstract: The paradigm shift of enabling extensive intercommunication between the Operational Technology (OT) and Information Technology (IT) devices allows vulnerabilities typical to the IT world to propagate to the OT side. Therefore, the security layer offered in the past by air gapping is removed, making security patching for OT devices a hard requirement. Conventional patching involves a device reboot to load the patched code in the main memory, which does not apply to OT devices controlling critical processes due to downtime, necessitating in-memory vulnerability patching. Furthermore, these control binaries are often compiled by in-house proprietary compilers, further hindering the patching process and placing reliance on OT vendors for rapid vulnerability discovery and patch development. The current state-of-the-art hotpatching approaches only focus on firmware and/or RTOS. Therefore, in this work, we develop ICSPatch, a framework to automate control logic vulnerability localization using Data Dependence Graphs (DDGs). With the help of DDGs, ICSPatch pinpoints the vulnerability in the control application. As an independent second step, ICSPatch can non-intrusively hotpatch vulnerabilities in the control application directly in the main memory of Programmable Logic Controllers while maintaining reliable continuous operation. To evaluate our framework, we test ICSPatch on a synthetic dataset of 24 vulnerable control application binaries from diverse critical infrastructure sectors. Results show that ICSPatch could successfully localize all vulnerabilities and generate patches accordingly. Furthermore, the patch added negligible latency increase in the execution cycle while maintaining correctness and protection against the vulnerability.


title: Alpha-effect in three-dimensional coherent vortex of conducting rotating liquid

abstract: We study one-point statistics of spiral turbulent pulsations on the background of three-dimensional large-scale vortex in a rotating fluid. Assuming that the helical flow is created by a statistically axially symmetric random force with broken mirror symmetry, we analytically calculate velocity-vorticity mean including its magnitude and the anisotropy. For electrically conducting liquid, we examine the $\alpha$-effect in the system. The found elements of $\alpha$-matrix strongly depend on relation between Rossby $\mathrm{Ro}$ and magnetic Prandtl $\mathrm{Pr}_{\mathrm{m}}$ numbers in considered region $\mathrm{Ro}\lesssim 1$, $\mathrm{Pr}_{\mathrm{m}} \lesssim 1$. We establish criterion for the numbers when the $\alpha$-effect leads to instability of large-scale magnetic field


title: Harnessing the Power of Multi-Task Pretraining for Ground-Truth Level Natural Language Explanations

abstract: Natural language explanations promise to offer intuitively understandable explanations of a neural network's decision process in complex vision-language tasks, as pursued in recent VL-NLE models. While current models offer impressive performance on task accuracy and explanation plausibility, they suffer from a range of issues: Some models feature a modular design where the explanation generation module is poorly integrated with a separate module for task-answer prediction, employ backbone models trained on limited sets of tasks, or incorporate ad hoc solutions to increase performance on single datasets. We propose to evade these limitations by applying recent advances in large-scale multi-task pretraining of generative Transformer models to the problem of VL-NLE tasks. Our approach outperforms recent models by a large margin, with human annotators preferring the generated explanations over the ground truth in two out of three evaluated datasets. As a novel challenge in VL-NLE research, we propose the problem of multi-task VL-NLE and show that jointly training on multiple tasks can increase the explanation quality. We discuss the ethical implications of high-quality NLE generation and other issues in recent VL-NLE research.


title: Comparing different qualitative methods to understand user experience in Saudi Arabia

abstract: The HCI field has seen a growing body of qualitative research, making use of a wide range of activities and methods. Interviews and workshops are some of the main techniques used to help understand user needs and to conduct co-design activities with them. However, these methods might be conducted in various ways and have different advantage and disadvantages. An important aspect influencing the types of activities and methods used is the culture of research participants. This paper aims to compare the research methods conducted in the context of the Saudi Arabian culture. It provides a reflection on the methods used to understand user needs when designing social commerce platforms, including interviews, co-design workshops and critique design workshops. We found that each method has its positives and negatives in terms of user preferences, and can help to obtain useful information at different levels of detail. For example, conducting semi-structured interviews by text was preferred by participants who are at home with their families. However, they can be slower than other methods.


title: Characterization of Lomer junctions based on the Lomer arm length distribution in dislocation networks

abstract: During the plastic deformation of crystalline materials, 3d dislocation networks form based on dislocation junctions. Particularly, immobile Lomer junctions are essential for the stability of dislocation networks. However, the formed Lomer junctions can unzip and dissolve again, if the linked mobile dislocations of the Lomer junction - the Lomer arms - experience sufficiently high resolved shear stresses. To generate a better understanding of the dislocation network stability and to pave the way to a general stability criterion of dislocation networks, we investigate the Lomer arm length distribution in dislocation networks by analyzing discrete dislocation dynamics simulation data of tensile-tested aluminum single crystals. We show that an exponential distribution fits best to the Lomer arm length distribution in the systems considered, which is independent of the crystal orientation. The influence of the slip system activity on the Lomer arm length distribution is discussed.


title: PKDGA: A Partial Knowledge-based Domain Generation Algorithm for Botnets

abstract: Domain generation algorithms (DGAs) can be categorized into three types: zero-knowledge, partial-knowledge, and full-knowledge. While prior research merely focused on zero-knowledge and full-knowledge types, we characterize their anti-detection ability and practicality and find that zero-knowledge DGAs present low anti-detection ability against detectors, and full-knowledge DGAs suffer from low practicality due to the strong assumption that they are fully detector-aware. Given these observations, we propose PKDGA, a partial knowledge-based domain generation algorithm with high anti-detection ability and high practicality. PKDGA employs the reinforcement learning architecture, which makes it evolve automatically based only on the easily-observable feedback from detectors. We evaluate PKDGA using a comprehensive set of real-world datasets, and the results demonstrate that it reduces the detection performance of existing detectors from 91.7% to 52.5%. We further apply PKDGA to the Mirai malware, and the evaluations show that the proposed method is quite lightweight and time-efficient.


title: A probabilistic autoencoder for causal discovery

abstract: The paper addresses the problem of finding the causal direction between two associated variables. The proposed solution is to build an autoencoder of their joint distribution and to maximize its estimation capacity relative to both the marginal distributions. It is shown that the resulting two capacities cannot, in general, be equal. This leads to a new criterion for causal discovery: the higher capacity is consistent with the unconstrained choice of a distribution representing the cause while the lower capacity reflects the constraints imposed by the mechanism on the distribution of the effect. Estimation capacity is defined as the ability of the auto-encoder to represent arbitrary datasets. A regularization term forces it to decide which one of the variables to model in a more generic way i.e., while maintaining higher model capacity. The causal direction is revealed by the constraints encountered while encoding the data instead of being measured as a property of the data itself. The idea is implemented and tested using a restricted Boltzmann machine.


title: Heavy-element Accretion by Proto-Jupiter in a Massive Planetesimal Disk, Revisited

abstract: Planetesimal accretion is a key source for heavy-element enrichment in giant planets. It has been suggested that Jupiter's enriched envelope is a result of planetesimal accretion during its growth assuming it formed in a massive planetesimal disk. In this study, we simulate Jupiter's formation in this scenario. We assume in-situ formation and perform N-body simulations to infer the solid accretion rate. We find that tens-Earth masses of planetesimals can be captured by proto-Jupiter during the rapid gas accretion phase. However, if several embryos are formed near Jupiter's core, which is an expected outcome in the case of a massive planetesimal disk, scattering from the embryos increases the eccentricity and inclination of planetesimals and therefore significantly reduces the accretion efficiency. We also compare our results with published semi-analytical models and show that these models cannot reproduce the N-body simulations especially when the planetesimal disk has a large eccentricity and inclination. We show that when the dynamical evolution of planetesimals is carefully modelled, the total mass of captured planetesimals $M_\mathrm{cap,tot}$ is $2 M_\oplus \lesssim M_\mathrm{cap,tot}\lesssim 18 M_\oplus$. The metallicity of Jupiter's envelope can be explained by the planetesimal accretion in our massive disk model despite the low accretion efficiency coming from the high eccentricity and inclination of planetesimals. Our study demonstrates the importance of detailed modelling of planetesimal accretion during the planetary growth and its implications to the heavy-element mass in gaseous planets.


title: A Generalization of Stampacchia Lemma and Applications

abstract: We present a generalization of Stampacchia Lemma and give applications to regularity property of weak and entropy solutions of degenerate elliptic equations of the form $$ \left\{ \begin{array}{llll} -\mbox{div} (a(x,u(x)) Du (x)) =f(x), & \mbox { in } \Omega, \\ u(x)=0, & \mbox { on } \partial \Omega, \end{array} \right. $$ where $$ \frac {\alpha}{(1+|u|) ^\theta} \le a(x,s)\le \beta $$ with $0<\alpha \le \beta <\infty$ and $0\le \theta <1$.


title: Diagonal property and weak point property of higher rank divisors and certain Hilbert schemes

abstract: In this paper, we introduce the notion of the diagonal property and the weak point property for an ind-variety. We prove that the ind-varieties of higher rank divisors of integral slopes on a smooth projective curve have the weak point property. Moreover, we show that the ind-variety of $(1,n)$-divisors has the diagonal property. Furthermore, we obtain that the Hilbert schemes associated to the good partitions of a constant polynomial satisfy the diagonal property. On the process of obtaining this, we provide an upper bound on the number of such Hilbert schemes up to isomorphism. Furthermore, we prove that the obtained upper bound is attained in case of genus zero curves and hence conclude that the bound is sharp.


title: Gate Error Analysis of Tunable Coupling Architecture in the Large-scale Superconducting Quantum System

abstract: In this paper, we examine various software and hardware strategies for implementing high-fidelity controlled-Z gate in the large-scale quantum system by solving the system's Hamiltonian with the Lindblad master equation. First, we show that the optimal single-parameter pulse achieved the gate error on the order of $10^{-4}$ for the 40 ns controlled-Z gate in the 4-qubit system. Second, we illustrate that the pulse optimized in the isolated 2-qubit system must be further optimized in the larger-scale system to achieve errors lower than the fault-tolerant threshold. Lastly, we explain that the hardware parameter regions with low gate fidelities are characterized by resonances in the large-scale quantum system. Our study provides software-oriented and hardware-level guidelines for building a large-scale fault-tolerant quantum system.


title: A generalization of a lemma of Boccardo and Orsina and application

abstract: We present a generalization of a technical lemma due to Boccardo and Orsina, and then give an application to regularity of minima for integral functionals noncoercive in the energy space.


title: Fast Parallel Exact Inference on Bayesian Networks: Poster

abstract: Bayesian networks (BNs) are attractive, because they are graphical and interpretable machine learning models. However, exact inference on BNs is time-consuming, especially for complex problems. To improve the efficiency, we propose a fast BN exact inference solution named Fast-BNI on multi-core CPUs. Fast-BNI enhances the efficiency of exact inference through hybrid parallelism that tightly integrates coarse- and fine-grained parallelism. We also propose techniques to further simplify the bottleneck operations of BN exact inference. Fast-BNI source code is freely available at https://github.com/jjiantong/FastBN.


title: One for all and all for one: on the role of a conference in a scientist's life

abstract: The quantitative description of the scientific conference MECO (Middle European Cooperation in Statistical Physics) based on bibliographic records is presented in the paper. Statistics of contributions and participants, co-authorship patterns at the levels of authors and countries, typical proportions of newcomers and permanent participants as well as other characteristics of the scientific event are discussed. The results of this case study contribute to better understanding of the ways of formalization and assessment of conferences and their role in individual academic careers. To highlight the latter, the change of perspective is used: in addition to the general analysis of the conference data, an ego-centric approach is used to emphasize the role of a particular participant for the conference and, vice versa, the role of MECO in the researcher's professional life. This paper is part of the special CMP issue dedicated to the anniversary of Bertrand Berche - a well-known physicist, an active member of the community of authors and editors of the journal, long time collaborator and dear friend of the author.


title: Photon Flux Perturbations of Kepler Light Curves

abstract: In this study, we expand the discussion of extrasolar planetary research by proposing a new approach to detecting extrasolar moons using Kepler (K2) light curves. We shaped this investigation by comparing transit light curve data of ~5000 main-sequence stars cataloged in the NASA Exoplanet Archive, the Radio Galaxy Zoo Exoplanet Explorers and the Exoplanet Follow Up Observing Program, which served as the repository to collect and analyze supplementary K2 data. By examining K2 light curves, various characteristics related to transits were modeled, which we then compared with confirmed extrasolar planets, variable stars such as eclipsing binaries and noise or gaps in the data. For illustration, perturbations in the timing of two separate transits for 2MASS J08251369+1425306 (Rs ~ 0.346) produced two characteristic decreases in the photon flux followed by two increases, inferring the presence of an extrasolar planet (Rp ~ 0.0129) and its companion, an extrasolar moon (Rm ~ 0.0048). To test our hypothesis, we scrutinized various competing assumptions to resolve the source of the duo photon flux, namely the Rossiter McLaughlin effect, limb darkening, a multiplanet system or a planet occulting one or more sunspots on the surface of the star. However, we uncovered no analogous light curve in K2 to fit the competing hypotheses and account for the proposed extrasolar companion.


title: Unpredictability in seasonal infectious diseases spread

abstract: In this work, we study the unpredictability of seasonal infectious diseases considering a SEIRS model with seasonal forcing. To investigate the dynamical behaviour, we compute bifurcation diagrams type hysteresis and their respective Lyapunov exponents. Our results from bifurcations and the largest Lyapunov exponent show bistable dynamics for all the parameters of the model. Choosing the inverse of latent period as control parameter, over 70% of the interval comprises the coexistence of periodic and chaotic attractors, bistable dynamics. Despite the competition between these attractors, the chaotic ones are preferred. The bistability occurs in two wide regions. One of these regions is limited by periodic attractors, while periodic and chaotic attractors bound the other. As the boundary of the second bistable region is composed of periodic and chaotic attractors, it is possible to interpret these critical points as tipping points. In other words, depending on the latent period, a periodic attractor (predictability) can evolve to a chaotic attractor (unpredictability). Therefore, we show that unpredictability is associated with bistable dynamics preferably chaotic, and, furthermore, there is a tipping point associated with unpredictable dynamics.

categories: physics.soc-ph math.DS nlin.CD physics.bio-ph


title: Domain generalization of 3D semantic segmentation in autonomous driving

abstract: Using deep learning, 3D autonomous driving semantic segmentation has become a well-studied subject, with methods that can reach very high performance. Nonetheless, because of the limited size of the training datasets, these models cannot see every type of object and scene found in real-world applications. The ability to be reliable in these various unknown environments is called \textup{domain generalization}. Despite its importance, domain generalization is relatively unexplored in the case of 3D autonomous driving semantic segmentation. To fill this gap, this paper presents the first benchmark for this application by testing state-of-the-art methods and discussing the difficulty of tackling Laser Imaging Detection and Ranging (LiDAR) domain shifts. We also propose the first method designed to address this domain generalization, which we call 3DLabelProp. This method relies on leveraging the geometry and sequentiality of the LiDAR data to enhance its generalization performances by working on partially accumulated point clouds. It reaches a mean Intersection over Union (mIoU) of 50.4% on SemanticPOSS and of 55.2% on PandaSet solid-state LiDAR while being trained only on SemanticKITTI, making it the state-of-the-art method for generalization (+5% and +33% better, respectively, than the second best method). The code for this method is available on GitHub: https://github.com/JulesSanchez/3DLabelProp.


title: ViTPose++: Vision Transformer for Generic Body Pose Estimation

abstract: In this paper, we show the surprisingly good properties of plain vision transformers for body pose estimation from various aspects, namely simplicity in model structure, scalability in model size, flexibility in training paradigm, and transferability of knowledge between models, through a simple baseline model dubbed ViTPose. Specifically, ViTPose employs the plain and non-hierarchical vision transformer as an encoder to encode features and a lightweight decoder to decode body keypoints in either a top-down or a bottom-up manner. It can be scaled up from about 20M to 1B parameters by taking advantage of the scalable model capacity and high parallelism of the vision transformer, setting a new Pareto front for throughput and performance. Besides, ViTPose is very flexible regarding the attention type, input resolution, and pre-training and fine-tuning strategy. Based on the flexibility, a novel ViTPose+ model is proposed to deal with heterogeneous body keypoint categories in different types of body pose estimation tasks via knowledge factorization, i.e., adopting task-agnostic and task-specific feed-forward networks in the transformer. We also empirically demonstrate that the knowledge of large ViTPose models can be easily transferred to small ones via a simple knowledge token. Experimental results show that our ViTPose model outperforms representative methods on the challenging MS COCO Human Keypoint Detection benchmark at both top-down and bottom-up settings. Furthermore, our ViTPose+ model achieves state-of-the-art performance simultaneously on a series of body pose estimation tasks, including MS COCO, AI Challenger, OCHuman, MPII for human keypoint detection, COCO-Wholebody for whole-body keypoint detection, as well as AP-10K and APT-36K for animal keypoint detection, without sacrificing inference speed.


title: EditableNeRF: Editing Topologically Varying Neural Radiance Fields by Key Points

abstract: Neural radiance fields (NeRF) achieve highly photo-realistic novel-view synthesis, but it's a challenging problem to edit the scenes modeled by NeRF-based methods, especially for dynamic scenes. We propose editable neural radiance fields that enable end-users to easily edit dynamic scenes and even support topological changes. Input with an image sequence from a single camera, our network is trained fully automatically and models topologically varying dynamics using our picked-out surface key points. Then end-users can edit the scene by easily dragging the key points to desired new positions. To achieve this, we propose a scene analysis method to detect and initialize key points by considering the dynamics in the scene, and a weighted key points strategy to model topologically varying dynamics by joint key points and weights optimization. Our method supports intuitive multi-dimensional (up to 3D) editing and can generate novel scenes that are unseen in the input sequence. Experiments demonstrate that our method achieves high-quality editing on various dynamic scenes and outperforms the state-of-the-art. Our code and captured data are available at https://chengwei-zheng.github.io/EditableNeRF/.


title: Talking Head Generation with Probabilistic Audio-to-Visual Diffusion Priors

abstract: In this paper, we introduce a simple and novel framework for one-shot audio-driven talking head generation. Unlike prior works that require additional driving sources for controlled synthesis in a deterministic manner, we instead probabilistically sample all the holistic lip-irrelevant facial motions (i.e. pose, expression, blink, gaze, etc.) to semantically match the input audio while still maintaining both the photo-realism of audio-lip synchronization and the overall naturalness. This is achieved by our newly proposed audio-to-visual diffusion prior trained on top of the mapping between audio and disentangled non-lip facial representations. Thanks to the probabilistic nature of the diffusion prior, one big advantage of our framework is it can synthesize diverse facial motion sequences given the same audio clip, which is quite user-friendly for many real applications. Through comprehensive evaluations on public benchmarks, we conclude that (1) our diffusion prior outperforms auto-regressive prior significantly on almost all the concerned metrics; (2) our overall system is competitive with prior works in terms of audio-lip synchronization but can effectively sample rich and natural-looking lip-irrelevant facial motions while still semantically harmonized with the audio input.


title: Elements of Ion Linear Accelerators + Calm in the Resonances -- and Other Tales

abstract: The main part of this book, Elements of Linear Accelerators, outlines in Part 1 a framework for non-relativistic linear accelerator focusing and accelerating channel design, simulation, optimization and analysis where space charge is an important factor. Part 1 is the most important part of the book; grasping the framework is essential to fully understand and appreciate the elements within it, and the myriad application details of the following Parts. The treatment concentrates on all linacs, large or small, intended for high-intensity, very low beam loss, factory-type application. The Radio-Frequency-Quadrupole (RFQ) is especially developed as a representative and the most complicated linac form (from dc to bunched and accelerated beam), extending to practical design of long, high energy linacs, including space charge resonances and beam halo formation, and some challenges for future work. Also a practical method is presented for designing Alternating-Phase- Focused (APF) linacs with long sequences and high energy gain. Full open-source software is available. The following part, Calm in the Resonances and Other Tales, contains eyewitness accounts of nearly 60 years of participation in accelerator technology. (September 2023) The LINACS codes are released at no cost and, as always, with fully open-source coding. (p.2 & Ch 19.10)


title: Adaptive Neural Network Backstepping Control Method for Aerial Manipulator Based on Variable Inertia Parameter Modeling

abstract: For the aerial manipulator that performs aerial work tasks, the actual operating environment it faces is very complex, and it is affected by internal and external multi-source disturbances. In this paper, to effectively improve the anti-disturbance control performance of the aerial manipulator, an adaptive neural network backstepping control method based on variable inertia parameter modeling is proposed. Firstly, for the intense internal coupling disturbance, we analyze and model it from the perspective of the generation mechanism of the coupling disturbance, and derive the dynamics model of the aerial manipulator system and the coupling disturbance model based on the variable inertia parameters. Through the proposed coupling disturbance model, we can compensate the strong coupling disturbance in a way of feedforward. Then, the adaptive neural network is proposed and applid to estimate and compensate the additional disturbances, and the closed-loop controller is designed based on the backstepping control method. Finally, we verify the correctness of the proposed coupling disturbance model through physical experiment under a large range motion of the manipulator. Two sets of comparative simulation results also prove the accurate estimation of the proposed adaptive neural network for additional disturbances and the effectiveness and superiority of the proposed control method.


title: Extending Gibbons-Werner method to bound orbits of massive particles

abstract: The Gibbons-Werner method for the gravitational deflection angle of unbound particles in static spherically symmetric spacetimes is based on Jacobi metric and Gauss-Bonnet theorem. When it is extended to bound massive particles, there exists two difficulties: (a) Bound orbits may overlap with themselves azimuthally. To extend the definition of deflection angle for unbound orbits to bound orbits, we divide the bound orbit into multiple segments such that each segment does not overlap with itself azimuthally and can be regarded as an unbound orbit. (b) The infinite region constructed for unbound orbits in Gibbons-Werner method is invalid for bound orbits, since the Jacobi metric of bound massive particles is singular at far region. To construct a suitable region for bound orbits, we adopt the generalized Gibbons-Werner method proposed in our last work [Huang and Cao, https://journals.aps.org/prd/abstract/10.1103/PhysRevD.106.104043], so that the unphysical region in Jacobi space is avoided. What's more, taking the Schwarzschild spacetime as an example, we show the details of the calculation and obtain an analytical expression of the deflection angle between two arbitrary points on the orbit.


title: New channel to search for dark matter at Belle II

abstract: We propose a new ``disappearing positron track'' channel at Belle II to search for dark matter, in which a positron that is produced at the primary interaction vertex scatters with the electromagnetic calorimeter to produce dark matter particles. Such scatterings can occur via either annihilation with atomic electrons, or the bremsstrahlung process with target nuclei. The main backgrounds are due to photons and neutrons that are produced in the same scatterings and then escape detection. We require a large missing energy and further veto certain activities in the KLM detector to suppress such backgrounds. To illustrate the sensitivity of the new channel, we consider a new physics model where dark matter interacts with the standard model via a dark photon, which decays predominantly to dark matter; we find that our proposed channel can probe some currently unexplored parameter space, surpassing both the mono-photon channel at Belle II and the NA64 constraints.


title: Triangle-free projective-planar graphs with diameter two: domination and characterization

abstract: In 1975, Plesn\'ik characterized all triangle-free planar graphs as having a diameter $2$. We characterize all triangle-free projective-planar graphs having a diameter $2$ and discuss some applications. In particular, the main result is applied to calculate the analogue of clique numbers for graphs, namely, colored mixed graphs, having different types of arcs and edges.


title: Finite-distance gravitational deflection of massive particles by a rotating black hole in loop quantum gravity

abstract: A rotating black hole in loop quantum gravity was constructed by Brahma, Chen, and Yeom based on a nonrotating counterpart using the revised Newman-Janis algorithm recently. For such spacetime, we investigate the weak gravitational deflection of massive particles to explore observational effects of the quantum correction. The purpose of this article is twofold. First, for Gibbons-Werner (GW) method, a geometric approach computing the deflection angle of particles in curved spacetimes, we refine its calculation and obtain a simplified formula. Second, by using GW method and our new formula, we work out the finite-distance weak deflection angle of massive particles for the rotating black hole in loop quantum gravity obtained by Brahma $et\ al.$ An analysis to our result reveals the repulsive effect of the quantum correction to particles. What's more, an observational constraint on the quantum parameter is obtained in solar system.


title: Fruit Quality Assessment with Densely Connected Convolutional Neural Network

abstract: Accurate recognition of food items along with quality assessment is of paramount importance in the agricultural industry. Such automated systems can speed up the wheel of the food processing sector and save tons of manual labor. In this connection, the recent advancement of Deep learning-based architectures has introduced a wide variety of solutions offering remarkable performance in several classification tasks. In this work, we have exploited the concept of Densely Connected Convolutional Neural Networks (DenseNets) for fruit quality assessment. The feature propagation towards the deeper layers has enabled the network to tackle the vanishing gradient problems and ensured the reuse of features to learn meaningful insights. Evaluating on a dataset of 19,526 images containing six fruits having three quality grades for each, the proposed pipeline achieved a remarkable accuracy of 99.67%. The robustness of the model was further tested for fruit classification and quality assessment tasks where the model produced a similar performance, which makes it suitable for real-life applications.


title: A new formula for intersection numbers

abstract: We propose a new formula to compute Witten--Kontsevich intersection numbers. It is a closed formula, not involving recursion neither solving equations. It only involves sums over partitions of products of factorials, double factorials and Kostka numbers (numbers of semi-standard tableau of given shape and weight) with bounded weights. As an application, we prove a conjecture of [ELO21] stating that the generating polynomials of the intersection numbers expressed in the basis of elementary symmetric polynomials have an unexpected vanishing of their coefficients.


title: Momentum Calibration for Text Generation

abstract: The input and output of most text generation tasks can be transformed to two sequences of tokens and they can be modeled using sequence-to-sequence learning modeling tools such as Transformers. These models are usually trained by maximizing the likelihood the output text sequence and assumes the input sequence and all gold preceding tokens are given during training, while during inference the model suffers from the exposure bias problem (i.e., it only has access to its previously predicted tokens rather gold tokens during beam search). In this paper, we propose MoCa ({\bf Mo}mentum {\bf Ca}libration) for text generation. MoCa is an online method that dynamically generates slowly evolving (but consistent) samples using a momentum moving average generator with beam search and MoCa learns to align its model scores of these samples with their actual qualities. Experiments on four text generation datasets (i.e., CNN/DailyMail, XSum, SAMSum and Gigaword) show MoCa consistently improves strong pre-trained transformers using vanilla fine-tuning and we achieve the state-of-the-art results on CNN/DailyMail and SAMSum datasets.


title: Joint RIS Calibration and Multi-User Positioning

abstract: Reconfigurable intelligent surfaces (RISs) are expected to be a key component enabling the mobile network evolution towards a flexible and intelligent 6G wireless platform. In most of the research works so far, RIS has been treated as a passive base station (BS) with a known state, in terms of its location and orientation, to boost the communication and/or terminal positioning performance. However, such performance gains cannot be guaranteed anymore when the RIS state is not perfectly known. In this paper, by taking the RIS state uncertainty into account, we formulate and study the performance of a joint RIS calibration and user positioning (JrCUP) scheme. From the Fisher information perspective, we formulate the JrCUP problem in a network-centric single-input multiple-output (SIMO) scenario with a single BS, and derive the analytical lower bound for the states of both user and RIS. We also demonstrate the geometric impact of different user locations on the JrCUP performance while also characterizing the performance under different RIS sizes. Finally, the study is extended to a multi-user scenario, shown to further improve the state estimation performance.


title: Fast Parallel Bayesian Network Structure Learning

abstract: Bayesian networks (BNs) are a widely used graphical model in machine learning for representing knowledge with uncertainty. The mainstream BN structure learning methods require performing a large number of conditional independence (CI) tests. The learning process is very time-consuming, especially for high-dimensional problems, which hinders the adoption of BNs to more applications. Existing works attempt to accelerate the learning process with parallelism, but face issues including load unbalancing, costly atomic operations and dominant parallel overhead. In this paper, we propose a fast solution named Fast-BNS on multi-core CPUs to enhance the efficiency of the BN structure learning. Fast-BNS is powered by a series of efficiency optimizations including (i) designing a dynamic work pool to monitor the processing of edges and to better schedule the workloads among threads, (ii) grouping the CI tests of the edges with the same endpoints to reduce the number of unnecessary CI tests, (iii) using a cache-friendly data storage to improve the memory efficiency, and (iv) generating the conditioning sets on-the-fly to avoid extra memory consumption. A comprehensive experimental study shows that the sequential version of Fast-BNS is up to 50 times faster than its counterpart, and the parallel version of Fast-BNS achieves 4.8 to 24.5 times speedup over the state-of-the-art multi-threaded solution. Moreover, Fast-BNS has a good scalability to the network size as well as sample size. Fast-BNS source code is freely available at https://github.com/jjiantong/FastBN.


title: Exciton ground state fine structure and excited states landscape in layered halide perovskites from combined BSE simulations and symmetry analysis

abstract: Layered halide perovskites are solution-processed natural heterostructures where quantum and dielectric confinement effects down to the nanoscale strongly influence the optical properties, leading to stabilization of bound excitons. Achieving a detailed understanding of the exciton properties is crucial to boost the exploitation of these materials in energy conversion and light emission applications, with current on-going debate related to the energy order of the four components of the most stable exciton. To provide theoretical feedback and solve among contrasting literature reports, we perform here ab-initio solution of the Bethe Salpeter Equation (BSE), with detailed interpretation of the spectroscopic observables based on symmetry-analysis. We confirm the Edark < Ein plane < Eout-of-plane fine-structure assignment, as from recent magneto-absorption experiments. We further suggest that polar distortions may lead to stabilization of the in-plane component and ultimately end-up in a bright lowest exciton component. Also, we discuss the exciton landscape over a broad energy range and clarify the exciton spin-character, when large spin-orbit coupling is in play, to rationalize the potential of halide perovskites as triplet sensitizers in combination with organic dyes. In addition to contributing to the current understanding of the exciton properties of layered halide perovskites, the work further evidence the in-depth knowledge gained by combining advanced ab-initio simulations and group theory.