title: Unified Knowledge Prompt Pre-training for Customer Service Dialogues

abstract: Dialogue bots have been widely applied in customer service scenarios to provide timely and user-friendly experience. These bots must classify the appropriate domain of a dialogue, understand the intent of users, and generate proper responses. Existing dialogue pre-training models are designed only for several dialogue tasks and ignore weakly-supervised expert knowledge in customer service dialogues. In this paper, we propose a novel unified knowledge prompt pre-training framework, UFA (\textbf{U}nified Model \textbf{F}or \textbf{A}ll Tasks), for customer service dialogues. We formulate all the tasks of customer service dialogues as a unified text-to-text generation task and introduce a knowledge-driven prompt strategy to jointly learn from a mixture of distinct dialogue tasks. We pre-train UFA on a large-scale Chinese customer service corpus collected from practical scenarios and get significant improvements on both natural language understanding (NLU) and natural language generation (NLG) benchmarks.


title: What does machine learning say about the drivers of inflation?

abstract: This paper examines the drivers of CPI inflation through the lens of a simple, but computationally intensive machine learning technique. More specifically, it predicts inflation across 20 advanced countries between 2000 and 2021, relying on 1,000 regression trees that are constructed based on six key macroeconomic variables. This agnostic, purely data driven method delivers (relatively) good outcome prediction performance. Out of sample root mean square errors (RMSE) systematically beat even the in-sample benchmark econometric models. Partial effects of inflation expectations on CPI outcomes are also elicited in the paper. Overall, the results highlight the role of expectations for inflation outcomes in advanced economies, even though their importance appears to have declined somewhat during the last 10 years.


title: Preparing Pre-Service Physics Teachers to Diagnose Students' Conceptions Not Covered by Physics Education Textbooks

abstract: To date, there is a lack of research on learning environments for pre-service physics teachers that allow them to learn and practise diagnosing students' conceptions that are (currently) not covered in physics education textbooks (e.g. students' conceptions about viscosity). In this study, we developed and piloted such a learning environment, which was implemented and piloted twice in a seminar for pre-service physics teachers. As coping with a diagnostic process is particularly demanding for pre-service physics teachers, our accompanying research aims to identify learning barriers within our developed learning environment. The results indicate that the participants experience the learning environment with varying degrees of difficulty. One main difficulty for pre-service physics teachers seems to be in interconnecting their content knowledge with their pedagogical content knowledge in the diagnostic process.


title: XCAT -- Lightweight Quantized Single Image Super-Resolution using Heterogeneous Group Convolutions and Cross Concatenation

abstract: We propose a lightweight, single image super-resolution network for mobile devices, named XCAT. XCAT introduces Heterogeneous Group Convolution Blocks with Cross Concatenations (HXBlock). The heterogeneous split of the input channels to the group convolution blocks reduces the number of operations, and cross concatenation allows for information flow between the intermediate input tensors of cascaded HXBlocks. Cross concatenations inside HXBlocks can also avoid using more expensive operations like 1x1 convolutions. To further prev ent expensive tensor copy operations, XCAT utilizes non-trainable convolution kernels to apply up sampling operations. Designed with integer quantization in mind, XCAT also utilizes several techniques on training, like intensity-based data augmentation. Integer quantized XCAT operates in real time on Mali-G71 MP2 GPU with 320ms, and on Synaptics Dolphin NPU with 30ms (NCHW) and 8.8ms (NHWC), suitable for real-time applications.


title: LawBreaker: An Approach for Specifying Traffic Laws and Fuzzing Autonomous Vehicles

abstract: Autonomous driving systems (ADSs) must be tested thoroughly before they can be deployed in autonomous vehicles. High-fidelity simulators allow them to be tested against diverse scenarios, including those that are difficult to recreate in real-world testing grounds. While previous approaches have shown that test cases can be generated automatically, they tend to focus on weak oracles (e.g. reaching the destination without collisions) without assessing whether the journey itself was undertaken safely and satisfied the law. In this work, we propose LawBreaker, an automated framework for testing ADSs against real-world traffic laws, which is designed to be compatible with different scenario description languages. LawBreaker provides a rich driver-oriented specification language for describing traffic laws, and a fuzzing engine that searches for different ways of violating them by maximising specification coverage. To evaluate our approach, we implemented it for Apollo+LGSVL and specified the traffic laws of China. LawBreaker was able to find 14 violations of these laws, including 173 test cases that caused accidents.


title: EViT: Privacy-Preserving Image Retrieval via Encrypted Vision Transformer in Cloud Computing

abstract: Image retrieval systems help users to browse and search among extensive images in real-time. With the rise of cloud computing, retrieval tasks are usually outsourced to cloud servers. However, the cloud scenario brings a daunting challenge of privacy protection as cloud servers cannot be fully trusted. To this end, image-encryption-based privacy-preserving image retrieval schemes have been developed, which first extract features from cipher-images, and then build retrieval models based on these features. Yet, most existing approaches extract shallow features and design trivial retrieval models, resulting in insufficient expressiveness for the cipher-images. In this paper, we propose a novel paradigm named Encrypted Vision Transformer (EViT), which advances the discriminative representations capability of cipher-images. First, in order to capture comprehensive ruled information, we extract multi-level local length sequence and global Huffman-code frequency features from the cipher-images which are encrypted by stream cipher during JPEG compression process. Second, we design the Vision Transformer-based retrieval model to couple with the multi-level features, and propose two adaptive data augmentation methods to improve representation power of the retrieval model. Our proposal can be easily adapted to unsupervised and supervised settings via self-supervised contrastive learning manner. Extensive experiments reveal that EViT achieves both excellent encryption and retrieval performance, outperforming current schemes in terms of retrieval accuracy by large margins while protecting image privacy effectively. Code is publicly available at \url{https://github.com/onlinehuazai/EViT}.


title: Interacting humans use forces in specific frequencies to exchange information by touch

abstract: Object-mediated joint action is believed to be enabled by implicit information exchange between interacting individuals using subtle haptic signals within their interaction forces. The characteristics of these haptic signals have, however, remained unclear. Here we analyzed the interaction forces during an empirical dyadic interaction task using Granger-Geweke causality analysis, which allowed us to quantify the causal influence of each individual's forces on their partner's. We observed that the inter-partner influence was not the same at every frequency. Specifically, in the frequency band of [2.15-7] Hz, we observed inter-partner differences of causal influence that were invariant of the movement frequencies in the task and present only when information exchange was indispensable for task performance. Moreover, the interpartner difference in this frequency band was observed to be correlated with the task performance by the dyad. Our results suggest that forces in the [2.15-7] Hz band constitute task related information exchange between individuals during physical interactions.


title: The ALPACA experiment: The project of the first sub-PeV gamma-ray observation in the southern sky

abstract: The ALPACA experiment is a project aiming to observe sub-PeV gamma rays for the first time in the southern hemisphere. The main goal of ALPACA is to identify PeVatrons, the accelerators of Galactic PeV cosmic rays, by observing sub-PeV pion-decay gamma rays generated in interactions between PeV cosmic rays and the interstellar medium. This new air shower experiment is located at an altitude of 4,740 m above sea level in the middle of Mt. Chakartaya in Bolivia. The air shower array consists of 401 scintillation counters covering an 83,000 m$^2$ surface area. In addition, a water-Cherenkov-type muon detector array with an area of 3,700 m$^2$ is installed to discriminate gamma rays from background cosmic rays. The prototype array ALPAQUITA will start data taking in 2022 and will extend to ALPACA in 2024. We report on a general introduction to ALPACA, the progress of the project, and the sensitivity to sub-PeV gamma rays.


title: Unifying Evaluation of Machine Learning Safety Monitors

abstract: With the increasing use of Machine Learning (ML) in critical autonomous systems, runtime monitors have been developed to detect prediction errors and keep the system in a safe state during operations. Monitors have been proposed for different applications involving diverse perception tasks and ML models, and specific evaluation procedures and metrics are used for different contexts. This paper introduces three unified safety-oriented metrics, representing the safety benefits of the monitor (Safety Gain), the remaining safety gaps after using it (Residual Hazard), and its negative impact on the system's performance (Availability Cost). To compute these metrics, one requires to define two return functions, representing how a given ML prediction will impact expected future rewards and hazards. Three use-cases (classification, drone landing, and autonomous driving) are used to demonstrate how metrics from the literature can be expressed in terms of the proposed metrics. Experimental results on these examples show how different evaluation choices impact the perceived performance of a monitor. As our formalism requires us to formulate explicit safety assumptions, it allows us to ensure that the evaluation conducted matches the high-level system requirements.


title: Stochastic Resource Allocation for Semantic Communication-aided Virtual Transportation Networks in the Metaverse

abstract: The physical-virtual world synchronization to develop the Metaverse will require a massive transmission and exchange of data. In this paper, we introduce semantic communication for the development of virtual transportation networks in the Metaverse. Leveraging the perception capabilities of edge devices, virtual service providers (VSPs) can subscribe to their preferred edge devices to receive the semantic data of interest. However, the demands of the VSPs are highly dependent on the users that they are serving. To address the resource allocation problem amid stochastic user demand, we propose a stochastic semantic transmission scheme (SSTS) based on two-stage stochastic integer programming. Using real data captured by edge devices we deploy in Singapore, the simulation results show that SSTS can minimize the transmission cost of the VSPs while accounting for the users' demand uncertainties.


title: AWADA: Attention-Weighted Adversarial Domain Adaptation for Object Detection

abstract: Object detection networks have reached an impressive performance level, yet a lack of suitable data in specific applications often limits it in practice. Typically, additional data sources are utilized to support the training task. In these, however, domain gaps between different data sources pose a challenge in deep learning. GAN-based image-to-image style-transfer is commonly applied to shrink the domain gap, but is unstable and decoupled from the object detection task. We propose AWADA, an Attention-Weighted Adversarial Domain Adaptation framework for creating a feedback loop between style-transformation and detection task. By constructing foreground object attention maps from object detector proposals, we focus the transformation on foreground object regions and stabilize style-transfer training. In extensive experiments and ablation studies, we show that AWADA reaches state-of-the-art unsupervised domain adaptation object detection performance in the commonly used benchmarks for tasks such as synthetic-to-real, adverse weather and cross-camera adaptation.


title: CeCu$_{2}$Si$_{2}$ and YbRh$_{2}$Si$_{2}$: Strange Cases of Heavy-Fermion Superconductivity

abstract: The heavy-fermion superconductor CeCu$_{2}$Si$_{2}$ exhibits two-band, $d$-wave superconductivity with a finite energy gap over the whole Fermi surface around the magnetic instability where 4$f$ antiferrerromagnetic order is suppressed. In contrast, in YbRh$_{2}$Si$_{2}$ heavy-fermion superconductivity appears only when 4$f$-electronic antiferromagnetic order is replaced at ultra-low temperatures by a combined nuclear and 4$f$-spin order. Whereas both compounds exhibit different variants of antiferromagnetic instabilities, i.e., a spin-density-wave quantum critical point in CeCu$_{2}$Si$_{2}$ and one of "partial-Mott" type in YbRh$_{2}$Si$_{2}$, in both cases the Cooper pairing, as well as the pronounced "strange-metal" behavior in YbRh$_{2}$Si$_{2}$, appear to be driven by large-to-small Fermi surface fluctuations. The transport properties and scanning tunneling spectroscopy (STS) for these materials are dominated by single-ion Kondo scatterings down to very low temperatures. Further open problems of the Kondo lattice include both the interplay between superconductivity and antiferromagnetic order as well as the onset of lattice coherence. While microscopic coexistence of superconductivity and antiferromagnetism seems to require a sufficiently large staggered moment, the onset of lattice coherence in transport measurements and STS is associated solely with the crystal-field-doublet ground state, while it involves the fully degenerate Hund's rule multiplet in ARPES.


title: LOPES 3D -- studies on the benefits of EAS-radio measurements with vertically aligned antennas

abstract: The LOPES experiment was a radio interferometer built at the existing air shower array KASCADE-Grande in Karlsruhe, Germany. The last configuration of LOPES was called LOPES 3D and consisted of ten tripole antennas. Each of these antennas consisted of three crossed dipoles east-west, north-south, and vertically aligned. With this, LOPES 3D had the unique possibility to study the benefits of measurements with vertically aligned antennas in the environment of the well understood and calibrated particle detector array KASCADE-Grande. The measurements with three spatially coincident antennas allows a redundant reconstruction of the electric field vector. Several methods to exploit the redundancy were developed and tested. Furthermore, for the first time in LOPES, the background noise could be studied polarization- and direction dependent. With LOPES 3D it could be demonstrated that radio detection reaches a higher efficiency for inclined showers when including measurements with vertically aligned antennas and that the vertical component gets more important for the measurement of inclined showers. In this contribution we discuss a weighting scheme for the best combination of three redundant reconstructed electric field vectors. Furthermore, we discuss the influence of these weighting schemes on the ability to reconstruct air showers using the radio method. We show an estimate of the radio efficiency for inclined showers with focus on the benefits of measurements with vertically aligned antennas and we present the direction dependent noise in the different polarizations.


title: Quarkonial analysis

abstract: The spaces $A^s_{p,q}({\mathbb R}^n)$ with $A \in \{B,F \}$, $s\in {\mathbb R}$ and $0<p,q \le \infty$ are usually introduced in terms of Fourier--analytical decompositions. Related characterizations based on atoms and wavelets are known nowadays in a rather final way. Quarks atomize the atoms into constructive building blocks. It is the main aim of these notes to raise quarkonial decompositions to the same level as related representations of the spaces $A^s_{p,q}({\mathbb R}^n)$ in terms of atoms or wavelets. This will be complemented by some applications. In addition we deal also with quarks in domains and their relations to so--called refined localization spaces.


title: Optimality Analysis and Block Sparse Algorithm for Complex Compressed Sensing

abstract: Recently, many new challenges in Compressed Sensing (CS), such as block sparsity, arose. In this paper, we present a new algorithm for solving CS with block sparse constraints (BSC) in complex fields. Firstly, based on block sparsity characteristics, we propose a new model to deal with CS with BSC and analyze the properties of the functions involved in this model. We then present a new $\tau$-stationary point and analyze corresponding first-order sufficient and necessary conditions. That ensures we to further develop a block Newton hard-thresholding pursuit (BNHTP) algorithm for efficiently solving CS with BSC. Finally, preliminary numerical experiments demonstrate that the BNHTP algorithm has superior performance in terms of recovery accuracy and calculation time when compared with the classical AMP algorithm.


title: Supergravity $p$-branes with scalar charge

abstract: Standard dilatonic supergravity $p$-branes have scalar charges that are not independent parameters, but are determined by the brane tension and Page charges. This feature can be traced to the no-hair theorem in the four-dimensional Einstein-scalar gravity, implying that more general solutions with independent scalar charges can have naked singularities. Since singular branes are also of interest as tentative classical counterparts of unstable tachyonic branes and/or brane-antibrane systems, it is worth investigating branes with independent scalar charges in more detail. Here we study singular branes associated with the Fisher-Janis-Newman-Winicour solution of four-dimensional gravity. In the case of codimension three, we also construct singular branes endowed with a Zipoy-Voorhees-type oblateness parameter. It is expected that such branes will not be supersymmetric in the string theory. We demonstrate this in the special case of NS5-branes of type II theory. We analyze geodesics and test scalar perturbations of new solutions focusing on possible quantum healing of classical singularities.


title: A Resonance Model for Spontaneous Cortical Activity

abstract: How human brain function emerges from structure has intrigued researchers for decades and numerous models have been put forward, yet none of them yields a close structure-function relation. Here we present a resonance model based on neuronal spike timing dependent plasticity (STDP) principle to describe the spontaneous cortical activity by incorporating the dynamic interactions between neuronal populations into a wave equation, which is able to accurately predict the resting brain functional connectivity (FC), including the resting-state networks. Besides, the proposed model provides strong theoretical and experimental evidences that the spontaneous dynamic coupling between brain regions fluctuates with a low frequency. Crucially, it is able to account for how the negative functional correlations emerge during resonance. We test the model with a large cohort of subjects (1038) from the Human Connectome Project (HCP) S1200 release in both time and frequency domain, which exhibits superior performance to existing eigen-decomposition models.


title: Pattern matching under DTW distance

abstract: In this work, we consider the problem of pattern matching under the dynamic time warping (DTW) distance motivated by potential applications in the analysis of biological data produced by the third generation sequencing. To measure the DTW distance between two strings, one must "warp" them, that is, double some letters in the strings to obtain two equal-lengths strings, and then sum the distances between the letters in the corresponding positions. When the distances between letters are integers, we show that for a pattern P with m runs and a text T with n runs: 1. There is an O(m + n)-time algorithm that computes all locations where the DTW distance from P to T is at most 1; 2. There is an O(kmn)-time algorithm that computes all locations where the DTW distance from P to T is at most k. As a corollary of the second result, we also derive an approximation algorithm for general metrics on the alphabet.


title: A group theoretical approach to elasticity under constraints and predeformations

abstract: Respecting deformational constraints and predeformations poses a substantial challenge in the description of nonlinear elasticity. We here outline how group theory can play a beneficial role to overcome this challenge. Specifically, group theory guides us to generalized definitions of nonlinear shear deformation gradients and expressions of generalized elastic moduli in the nonlinear regime. Particularly, such achievements become important in the context of larger deformations under constraints and additional deformations on top of predeformations.


title: High Fidelity Control of a Nitrogen-Vacancy Spin Qubit at Room Temperature using the SMART Protocol

abstract: A practical implementation of a quantum computer requires robust qubits that are protected against their noisy environment. Dynamical decoupling techniques have been successfully used in the past to offer protected high-fidelity gate operations in negatively-charged Nitrogen-Vacancy (NV-) centers in diamond, albeit under specific conditions with the intrinsic nitrogen nuclear spin initialised. In this work, we show how the SMART protocol, an extension of the dressed-qubit concept, can be implemented for continuous protection to offer Clifford gate fidelities compatible with fault-tolerant schemes, whilst prolonging the coherence time of a single NV- qubit at room temperature. We show an improvement in the average Clifford gate fidelity from $0.940\pm0.005$ for the bare qubit to $0.993\pm0.002$ for the SMART qubit, with the nitrogen nuclear spin in a random orientation. We further show a $\gtrsim$ 30 times improvement in the qubit coherence times compared to the bare qubit.


title: Vulnerability of Distributed Inverter VAR Control in PV Distributed Energy System

abstract: This work studies the potential vulnerability of distributed control schemes in smart grids. To this end, we consider an optimal inverter VAR control problem within a PV-integrated distribution network. First, we formulate the centralized optimization problem considering the reactive power priority and further reformulate the problem into a distributed framework by an accelerated proximal projection method. The inverter controller can curtail the PV output of each user by clamping the reactive power. To illustrate the studied distributed control scheme that may be vulnerable due to the two-hop information communication pattern, we present a heuristic attack injecting false data during the information exchange. Then we analyze the attack impact on the update procedure of critical parameters. A case study with an eight-node test feeder demonstrates that adversaries can violate the constraints of distributed control scheme without being detected through simple attacks such as the proposed attack.


title: Incremental Learning in Diagonal Linear Networks

abstract: Diagonal linear networks (DLNs) are a toy simplification of artificial neural networks; they consist in a quadratic reparametrization of linear regression inducing a sparse implicit regularization. In this paper, we describe the trajectory of the gradient flow of DLNs in the limit of small initialization. We show that incremental learning is effectively performed in the limit: coordinates are successively activated, while the iterate is the minimizer of the loss constrained to have support on the active coordinates only. This shows that the sparse implicit regularization of DLNs decreases with time. This work is restricted to the underparametrized regime with anti-correlated features for technical reasons.


title: A Survey of Security and Privacy Issues in V2X Communication Systems

abstract: Vehicle-to-Everything (V2X) communication is receiving growing attention from industry and academia as multiple pilot projects explore its capabilities and feasibility. With about 50\% of global road vehicle exports coming from the European Union (EU), and within the context of EU legislation around security and data protection, V2X initiatives must consider security and privacy aspects across the system stack, in addition to road safety. Contrary to this principle, our survey of relevant standards, research outputs, and EU pilot projects indicates otherwise; we identify multiple security and privacy related shortcomings and inconsistencies across the standards. We conduct a root cause analysis of the reasons and difficulties associated with these gaps, and categorize the identified security and privacy issues relative to these root causes. As a result, our comprehensive analysis sheds lights on a number of areas that require improvements in the standards, which are not explicitly identified in related work. Our analysis fills gaps left by other related surveys, which are focused on specific technical areas but not necessarily point out underlying root issues in standard specifications. We bring forward recommendations to address these gaps for the overall improvement of security and safety in vehicular communication.


title: A Semi-blind PCA-based Foreground Subtraction Method for 21 cm Intensity Mapping

abstract: The Principal Component Analysis (PCA) method and the Singular Value Decomposition (SVD) method are widely used for foreground subtraction in 21 cm intensity mapping experiments. We show their equivalence, and point out that the condition for completely clean separation of foregrounds and cosmic 21 cm signal using the PCA/SVD is unrealistic. We propose a PCA-based foreground subtraction method, dubbed "Singular Vector Projection (SVP)" method, which exploits a priori information of the left and/or right singular vectors of the foregrounds. We demonstrate with simulation tests that this new, semi-blind method can reduce the error of the recovered 21 cm signal by orders of magnitude, even if only the left and/or right singular vectors in the largest few modes are exploited. The SVP estimators provide a new, effective approach for 21 cm observations to remove foregrounds and uncover the physics in the cosmic 21 cm signal.


title: Optimization of heterogeneously integrated InP-Si on-chip photonic components

abstract: We demonstrate comprehensive numerical studies on a hybrid III-V/Si-based waveguide system, serving as a platform for efficient light coupling between an integrated III-V quantum dot emitter to an on-chip quantum photonic integrated circuit defined on a silicon substrate. We propose a platform consisting of a hybrid InP/Si waveguide and an InP-embedded InAs quantum dot, emitting at the telecom C-band near 1550 nm. The platform can be fabricated using the existing semiconductor processing technologies. Our numerical studies reveal nearly 86% of the optical field transfer efficiency between geometrically-optimized InP/Si and Si waveguides, considering propagating field modes along a tapered geometry. The coupling efficiency of a dipole emitting to the hybrid InP/Si waveguide is evaluated to ~60%, which results in more than 50% of the total on-chip optical field transfer efficiency from the dipole to the Si waveguide. We also consider the off-chip outcoupling efficiency of the propagating photon field along the Si waveguide by examining the normal to the chip plane and in-plain outcoupling configurations. In the former case, the outcoupling amounts to ~26% when using the circular Bragg grating outcoupler design. In the latter case, the efficiency reaches up to 10%. Finally, we conclude that the conceptual device's performance is weakly susceptible to the transferred photon wavelength, offering a broadband operation within the 1.5-1.6 {\mu}m spectral range.


title: Control-Oriented Power Allocation for Integrated Satellite-UAV Networks

abstract: This letter presents a sensing-communication-computing-control (SC3) integrated satellite unmanned aerial vehicle (UAV) network, where the UAV is equipped with on-board sensors, mobile edge computing (MEC) servers, base stations and satellite communication module. Like the nervous system, this integrated network is capable of organizing multiple field robots in remote areas, so as to perform mission-critical tasks which are dangerous for human. Aiming at activating this nervous system with multiple SC3 loops, we present a control-oriented optimization problem. Different from traditional studies which mainly focused on communication metrics, we address the power allocation issue to minimize the sum linear quadratic regulator (LQR) control cost of all SC3 loops. Specifically, we show the convexity of the formulated problem and reveal the relationship between optimal transmit power and intrinsic entropy rate of different SC3 loops. For the assure-to-be-stable case, we derive a closed-form solution for ease of practical applications. After demonstrating the superiority of the control-oriented power allocation, we further highlight its difference with classic capacity-oriented water-filling method.


title: Ferroelectric FET-based strong physical unclonable function: a low-power, high-reliable and reconfigurable solution for Internet-of-Things security

abstract: Hardware security has been a key concern in modern information technologies. Especially, as the number of Internet-of-Things (IoT) devices grows rapidly, to protect the device security with low-cost security primitives becomes essential, among which Physical Unclonable Function (PUF) is a widely-used solution. In this paper, we propose the first FeFET-based strong PUF exploiting the cycle-to-cycle (C2C) variation of FeFETs as the entropy source. Based on the experimental measurements, the proposed PUF shows satisfying performance including high uniformity, uniqueness, reconfigurability and reliability. To resist machine-learning attack, XOR structure was introduced, and simulations show that our proposed PUF has similar resistance to existing attack models with traditional arbiter PUFs. Furthermore, our design is shown to be power-efficient, and highly robust to write voltage, temperature and device size, which makes it a competitive security solution for Internet-of-Things edge devices.


title: Mapping aids using source location tracking increase novices' performance in programming cyber-physical systems

abstract: Novices need to overcome initial barriers while programming cyber-physical systems behavior, like coding quadcopter missions, and should thus be supported by an adequately designed programming environment. Using multiple representations by including graphical previews is a common approach to ease coding and program understanding. However, novices struggle to map information of the code and graphical previews. Previous studies imply that mapping aids in a live programming environment might support novices while programming and foster a deeper understanding of the content. To implement these mapping aids in a domain independent way Source Location Tracking based on run-time information can be used. In our study, we tested N=82 participants while interacting and learning in an online programming environment. Using our 2x2 between-subject design study, we investigated the effects of two mapping aids: highlighting and dynamic linking on coding correctness including typical errors, and learning outcomes. Based on process data, successful strategies were analyzed. Combining both mapping aids compared to one aid resulted in higher performance. While highlights were more helpful for implementing the quadcopter missions, dynamic linking improved learning outcomes on the comprehension and application level . Traces of learning strategies were related to higher coding correctness and higher learning outcomes. Based on process data, users in the group with both aids had a higher chance of avoiding certain typical implementation mistakes. Implementing dynamic linking and highlighting through source location tracking is a promising approach to support novices to develop a better semantic understanding of the domain specific language. Depending on the coding tasks different mapping aids might be effective.


title: On induced modules of inertial-invariant support $\tau$-tilting modules over blocks of finite groups

abstract: In this article, we prove that induced modules of support $\tau$-tilting modules over blocks of finite groups satisfying inertial-invariant condition are also support $\tau$-tilting modules.


title: When Variable-Length Codes Meet the Field of Error Detection

abstract: Given a finite alphabet $A$ and a binary relation $\tau\subseteq A^*\times A^*$, a set $X$ is $\tau$-{\it independent} if $ \tau(X)\cap X=\emptyset$. Given a quasi-metric $d$ over $A^*$ (in the meaning of \cite{W31}) and $k\ge 1$, we associate the relation $\tau_{d,k}$ defined by $(x,y)\in\tau_{d,k}$ if, and only if, $d(x,y)\le k$ \cite{CP02}.In the spirit of \cite{JK97,N21}, the error detection-correction capability of variable-length codes can be expressed in term of conditions over $\tau_{d,k}$. With respect to the prefix metric, the factor one, and every quasi-metric associated to (anti-)automorphisms of the free monoid, we examine whether those conditions are decidable for a given regular code.


title: Active learning algorithm through the lens of rejection arguments

abstract: Active learning is a paradigm of machine learning which aims at reducing the amount of labeled data needed to train a classifier. Its overall principle is to sequentially select the most informative data points, which amounts to determining the uncertainty of regions of the input space. The main challenge lies in building a procedure that is computationally efficient and that offers appealing theoretical properties; most of the current methods satisfy only one or the other. In this paper, we use the classification with rejection in a novel way to estimate the uncertain regions. We provide an active learning algorithm and prove its theoretical benefits under classical assumptions. In addition to the theoretical results, numerical experiments have been carried out on synthetic and non-synthetic datasets. These experiments provide empirical evidence that the use of rejection arguments in our active learning algorithm is beneficial and allows good performance in various statistical situations.


title: Iterative Optimization of Pseudo Ground-Truth Face Image Quality Labels

abstract: While recent face recognition (FR) systems achieve excellent results in many deployment scenarios, their performance in challenging real-world settings is still under question. For this reason, face image quality assessment (FIQA) techniques aim to support FR systems, by providing them with sample quality information that can be used to reject poor quality data unsuitable for recognition purposes. Several groups of FIQA methods relying on different concepts have been proposed in the literature, all of which can be used for generating quality scores of facial images that can serve as pseudo ground-truth (quality) labels and can be exploited for training (regression-based) quality estimation models. Several FIQA appro\-aches show that a significant amount of sample-quality information can be extracted from mated similarity-score distributions generated with some face matcher. Based on this insight, we propose in this paper a quality label optimization approach, which incorporates sample-quality information from mated-pair similarities into quality predictions of existing off-the-shelf FIQA techniques. We evaluate the proposed approach using three state-of-the-art FIQA methods over three diverse datasets. The results of our experiments show that the proposed optimization procedure heavily depends on the number of executed optimization iterations. At ten iterations, the approach seems to perform the best, consistently outperforming the base quality scores of the three FIQA methods, chosen for the experiments.


title: Loading a quantum gas from a hybrid dimple trap to a shell trap

abstract: Starting from a degenerate Bose gas in a hybrid trap combining a magnetic quadrupole trap and an attractive optical trap resulting from a focused laser beam, we demonstrate the efficient loading of this quantum gas into a shell-shaped trap. The shell trap is purely magnetic and relies on adiabatic potentials for atoms in an inhomogeneous magnetic field dressed by a radiofrequency (rf) field. We show that direct rf evaporation in the hybrid trap enables an efficient and simple preparation of the cold sample, well adapted to the subsequent loading procedure. The transfer into the shell trap is adiabatic and limits the final excitation of the center-of-mass motion to below 2 micrometres.


title: Accessible Interactive Maps for Visually Impaired Users

abstract: Tactile maps are commonly used to give visually impaired users access to geographical representations. Although those relief maps are efficient tools for acquisition of spatial knowledge, they present several limitations and issues such as the need to read braille. Several research projects have been led during the past three decades in order to improve access to maps using interactive technologies. In this chapter, we present an exhaustive review of interactive map prototypes. We classified existing interactive maps into two categories: Digital Interactive Maps (DIMs) that are displayed on a flat surface such as a screen; and Hybrid Interactive Maps (HIMs) that include both a digital and a physical representation. In each family, we identified several subcategories depending on the technology being used. We compared the categories and subcategories according to cost, availability and technological limitations, but also in terms of content, comprehension and interactivity. Then we reviewed a number of studies showing that those maps can support spatial learning for visually impaired users. Finally, we identified new technologies and methods that could improve the accessibility of graphics for visually impaired users in the future.


title: NeurIPS'22 Cross-Domain MetaDL competition: Design and baseline results

abstract: We present the design and baseline results for a new challenge in the ChaLearn meta-learning series, accepted at NeurIPS'22, focusing on "cross-domain" meta-learning. Meta-learning aims to leverage experience gained from previous tasks to solve new tasks efficiently (i.e., with better performance, little training data, and/or modest computational resources). While previous challenges in the series focused on within-domain few-shot learning problems, with the aim of learning efficiently N-way k-shot tasks (i.e., N class classification problems with k training examples), this competition challenges the participants to solve "any-way" and "any-shot" problems drawn from various domains (healthcare, ecology, biology, manufacturing, and others), chosen for their humanitarian and societal impact. To that end, we created Meta-Album, a meta-dataset of 40 image classification datasets from 10 domains, from which we carve out tasks with any number of "ways" (within the range 2-20) and any number of "shots" (within the range 1-20). The competition is with code submission, fully blind-tested on the CodaLab challenge platform. The code of the winners will be open-sourced, enabling the deployment of automated machine learning solutions for few-shot image classification across several domains.


title: TRUST: An Accurate and End-to-End Table structure Recognizer Using Splitting-based Transformers

abstract: Table structure recognition is a crucial part of document image analysis domain. Its difficulty lies in the need to parse the physical coordinates and logical indices of each cell at the same time. However, the existing methods are difficult to achieve both these goals, especially when the table splitting lines are blurred or tilted. In this paper, we propose an accurate and end-to-end transformer-based table structure recognition method, referred to as TRUST. Transformers are suitable for table structure recognition because of their global computations, perfect memory, and parallel computation. By introducing novel Transformer-based Query-based Splitting Module and Vertex-based Merging Module, the table structure recognition problem is decoupled into two joint optimization sub-tasks: multi-oriented table row/column splitting and table grid merging. The Query-based Splitting Module learns strong context information from long dependencies via Transformer networks, accurately predicts the multi-oriented table row/column separators, and obtains the basic grids of the table accordingly. The Vertex-based Merging Module is capable of aggregating local contextual information between adjacent basic grids, providing the ability to merge basic girds that belong to the same spanning cell accurately. We conduct experiments on several popular benchmarks including PubTabNet and SynthTable, our method achieves new state-of-the-art results. In particular, TRUST runs at 10 FPS on PubTabNet, surpassing the previous methods by a large margin.


title: Chow groups of orders in number fields

abstract: We discuss various connections between ideal classes, divisors, Picard and Chow groups of orders in number fields. As a result of these, we give a method to compute Chow groups of such orders and show that there are infinitely many number fields which contain orders with trivial Chow groups.


title: Deep Reinforcement Learning for Uplink Multi-Carrier Non-Orthogonal Multiple Access Resource Allocation Using Buffer State Information

abstract: For orthogonal multiple access (OMA) systems, the number of served user equipments (UEs) is limited to the number of available orthogonal resources. On the other hand, non-orthogonal multiple access (NOMA) schemes allow multiple UEs to use the same orthogonal resource. This extra degree of freedom introduces new challenges for resource allocation. Buffer state information (BSI), like the size and age of packets waiting for transmission, can be used to improve scheduling in OMA systems. In this paper, we investigate the impact of BSI on the performance of a centralized scheduler in an uplink multi-carrier NOMA scenario with UEs having various data rate and latency requirements. To handle the large combinatorial space of allocating UEs to the resources, we propose a novel scheduler based on actor-critic reinforcement learning incorporating BSI. Training and evaluation are carried out using Nokia's "wireless suite". We propose various novel techniques to both stabilize and speed up training. The proposed scheduler outperforms benchmark schedulers.


title: Second-order phase transition of silicon from a band insulator to metal induced by strong magnetic fields

abstract: We present the second-order phase transition from a band insulator to metal that is induced by a strong magnetic field. The magnetic-field dependences of the magnetization and energy band gap of a crystalline silicon immersed in a magnetic field are investigated by means of the nonperturbative magnetic-field-containing relativistic tight-binding approximation method [Phys. Rev. B 97, 195135 (2018)]. It is shown that the energy band gap disappears at the critical magnetic field of 2.22x$10^4$ (T). At the critical magnetic field, the magnetic-field dependence of the magnetization exhibits a kink behavior, which means that this phenomenon is the second-order phase transition from a band insulator to metal. It is found that in strong magnetic fields above the critical magnetic field, namely in the metallic phase, the oscillation of the magnetization appears. It is shown that this magnetic oscillation comes from the energy bands in the magnetic Brillouin zone that change from the occupied states to unoccupied states or vice vasa.


title: Fractional Gagliardo-Nirenberg interpolation inequality and bounded mean oscillation

abstract: We prove Gagliardo-Nirenberg interpolation inequalities estimating the Sobolev semi-norm in terms of the bounded mean oscillation semi-norm and a Sobolev semi-norm, with some of the Sobolev semi-norms having fractional order.


title: The Lothbrok approach for SPARQL Query Optimization over Decentralized Knowledge Graphs

abstract: While the Web of Data in principle offers access to a wide range of interlinked data, the architecture of the Semantic Web today relies mostly on the data providers to maintain access to their data through SPARQL endpoints. Several studies, however, have shown that such endpoints often experience downtime, meaning that the data they maintain becomes inaccessible. While decentralized systems based on Peer-to-Peer (P2P) technology have previously shown to increase the availability of knowledge graphs, even when a large proportion of the nodes fail, processing queries in such a setup can be an expensive task since data necessary to answer a single query might be distributed over multiple nodes. In this paper, we therefore propose an approach to optimizing SPARQL queries over decentralized knowledge graphs, called Lothbrok. While there are potentially many aspects to consider when optimizing such queries, we focus on three aspects: cardinality estimation, locality awareness, and data fragmentation. We empirically show that Lothbrok is able to achieve significantly faster query processing performance compared to the state of the art when processing challenging queries as well as when the network is under high load.


title: Iteratively Reduce Auxiliary Scalar Product in Multi-loop Integrals

abstract: In this paper, we construct a uniform formula that can iteratively reduce all auxiliary scalar product numerators of arbitrary multi-loop Feynman integrals. Integrals with such numerators commonly appear in Integration-By-Parts (IBP) relations. This formula is constructed with the generalized Sylvester's determinant identity. Compared to that using only traditional IBP reduction method, the combination of the formula and the traditional IBP method shows a significant speed-up.


title: Modelling and Detection of Driver's Fatigue using Ontology

abstract: Road accidents have become the eight leading cause of death all over the world. Lots of these accidents are due to a driver's inattention or lack of focus, due to fatigue. Various factors cause driver's fatigue. This paper considers all the measureable data that manifest driver's fatigue, namely those manifested in the vehicle measureable data while driving as well as the driver's physical and physiological data. Each of the three main factors are further subdivided into smaller details. For example, the vehicle's data is composed of the values obtained from the steering wheel's angle, yaw angle, the position on the lane, and the speed and acceleration of the vehicle while moving. Ontological knowledge and rules for driver fatigue detection are to be integrated into an intelligent system so that on the first sign of dangerous level of fatigue is detected, a warning notification is sent to the driver. This work is intended to contribute to safe road driving.


title: Evolving Microstructures in Relaxed Continuum Damage Mechanics for Strain Softening

abstract: A new relaxation approach is proposed which allows for the description of stress- and strain-softening at finite strains. The model is based on the construction of a convex hull replacing the originally non-convex incremental stress potential which in turn represents damage in terms of the classical $(1-D)$ approach. This convex hull is given as the linear convex combination of weakly and strongly damaged phases and thus, it represents the homogenization of a microstructure bifurcated in the two phases. As a result thereof, damage evolves in the convexified regime mainly by an increasing volume fraction of the strongly damaged phase. In contrast to previous relaxed incremental formulations in G\"urses and Miehe [16] and Balzani and Ortiz [2], where the convex hull has been kept fixated after construction, here, the strongly damaged phase is allowed to elastically unload upon further loading. At the same time, its volume fraction increases nonlinearly within the convexified regime. Thus, strain-softening in the sense of a decreasing stress with increasing strain can be modeled. The major advantage of the proposed approach is that it ensures mesh-independent structural simulations without the requirement of additional length-scale related parameters or nonlocal quantities, which simplifies an implementation using classical material subroutine interfaces. In this paper, focus is on the relaxation of one-dimensional models for fiber damage which are combined with a microsphere approach to allow for the description of three-dimensional fiber dispersions appearing in fibrous materials such as soft biological tissues. Several numerical examples are analyzed to show the overall response of the model and the mesh-independence of resulting structural calculations.


title: The extremal process of super-Brownian motion: a probabilistic approach via skeletons

abstract: Recently Ren et al. [Stoch. Proc. Appl., 137 (2021)] have proved that the extremal process of the super-Brownian motion converges in distribution in the limit of large times. Their techniques rely heavily on the study of the convergence of solutions to the Kolmogorov-Petrovsky-Piscounov equation along the lines of [M. Bramson, Mem. Amer. Math. Soc., 44 (1983)]. In this paper we take a different approach. Our approach is based on the skeleton decomposition of super-Brownian motion. The skeleton may be interpreted as immortal particles that determine the large time behaviour of the process. We exploit this fact and carry asymptotic properties from the skeleton over to the super-Brownian motion. Some new results concerning the probabilistic representations of the limiting process are obtained, which cannot be directly obtained through the results of [Y.-X. Ren et al., Stoch. Proc. Appl., 137 (2021)]. Apart from the results, our approach offers insights into the driving force behind the limiting process for super-Brownian motions.


title: Reconstruction of higher-order differential operators by their spectral data

abstract: This paper is concerned with inverse spectral problems for higher-order ($n > 2$) ordinary differential operators. We develop an approach to the reconstruction from the spectral data for a wide range of differential operators with either regular or distribution coefficients. Our approach is based on the reduction of an inverse problem to a linear equation in the Banach space of bounded infinite sequences. This equation is derived in a general form that can be applied to various classes of differential operators. The unique solvability of the linear main equation is also proved. By using the solution of the main equation, we derive reconstruction formulas for the differential expression coefficients in the form of series and prove the convergence of these series for several classes of operators. The results of this paper can be used for constructive solution of inverse spectral problems and for investigation of their solvability and stability.


title: Bayesian Optimization-based Combinatorial Assignment

abstract: We study the combinatorial assignment domain, which includes combinatorial auctions and course allocation. The main challenge in this domain is that the bundle space grows exponentially in the number of items. To address this, several papers have recently proposed machine learning-based preference elicitation algorithms that aim to elicit only the most important information from agents. However, the main shortcoming of this prior work is that it does not model a mechanism's uncertainty over values for not yet elicited bundles. In this paper, we address this shortcoming by presenting a Bayesian optimization-based combinatorial assignment (BOCA) mechanism. Our key technical contribution is to integrate a method for capturing model uncertainty into an iterative combinatorial auction mechanism. Concretely, we design a new method for estimating an upper uncertainty bound that can be used to define an acquisition function to determine the next query to the agents. This enables the mechanism to properly explore (and not just exploit) the bundle space during its preference elicitation phase. We run computational experiments in several spectrum auction domains to evaluate BOCA's performance. Our results show that BOCA achieves higher allocative efficiency than state-of-the-art approaches.


title: Let us Build Bridges: Understanding and Extending Diffusion Generative Models

abstract: Diffusion-based generative models have achieved promising results recently, but raise an array of open questions in terms of conceptual understanding, theoretical analysis, algorithm improvement and extensions to discrete, structured, non-Euclidean domains. This work tries to re-exam the overall framework, in order to gain better theoretical understandings and develop algorithmic extensions for data from arbitrary domains. By viewing diffusion models as latent variable models with unobserved diffusion trajectories and applying maximum likelihood estimation (MLE) with latent trajectories imputed from an auxiliary distribution, we show that both the model construction and the imputation of latent trajectories amount to constructing diffusion bridge processes that achieve deterministic values and constraints at end point, for which we provide a systematic study and a suit of tools. Leveraging our framework, we present 1) a first theoretical error analysis for learning diffusion generation models, and 2) a simple and unified approach to learning on data from different discrete and constrained domains. Experiments show that our methods perform superbly on generating images, semantic segments and 3D point clouds.


title: Making Self-Stabilizing any Locally Greedy Problem

abstract: We propose a way to transform synchronous distributed algorithms solving locally greedy and mendable problems into self-stabilizing algorithms in anonymous networks. Mendable problems are a generalization of greedy problems where any partial solution may be transformed -- instead of completed -- into a global solution: every time we extend the partial solution we are allowed to change the previous partial solution up to a given distance. Locally here means that to extend a solution for a node, we need to look at a constant distance from it. In order to do this, we propose the first explicit self-stabilizing algorithm computing a $(k,k-1)$-ruling set (i.e. a "maximal independent set at distance $k$"). By combining multiple time this technique, we compute a distance-$K$ coloring of the graph. With this coloring we can finally simulate \local~model algorithms running in a constant number of rounds, using the colors as unique identifiers. Our algorithms work under the Gouda daemon, which is similar to the probabilistic daemon: if an event should eventually happen, it will occur under this daemon.


title: Duality analysis of interior penalty discontinuous Galerkin methods under minimal regularity and application to the a priori and a posteriori error analysis of Helmholtz problems

abstract: We consider interior penalty discontinuous Galerkin discretizations of time-harmonic wave propagation problems modeled by the Helmholtz equation, and derive novel a priori and a posteriori estimates. Our analysis classically relies on duality arguments of Aubin-Nitsche type, and its originality is that it applies under minimal regularity assumptions. The estimates we obtain directly generalize known results for conforming discretizations, namely that the discrete solution is optimal in a suitable energy norm and that the error can be explicitly controlled by a posteriori estimators, provided the mesh is sufficiently fine.


title: A perspective on the Magic Square and the 'special unitary' realizations of simple Lie algebras

abstract: This article contains the last part of the mini-course `Spaces: a perspective view' delivered at the IFWGP2012. Here I deal with the part of the mini-course which centers on the classification questions associated to the simple real Lie groups. I review the original introduction of the Magic Square `a la Freudenthal', putting the emphasis in the role played in this construction by the four normed division algebras ${\mathbb R}, {\mathbb C}, {\mathbb H}, {\mathbb O}$. I then explore the possibility of understanding some simple real Lie algebras as `special unitary' over some algebras ${\mathbb K}$ or tensor products ${\mathbb K}_1\otimes {\mathbb K}_2$, and I argue that the proper setting for this construction is not to confine only to normed division algebras, but to allow the split versions of complex, quaternions and octonions as well. This way we get a `Grand Magic Square' and we fill in the details required to cover all real forms of simple real Lie algebras within this scheme. The paper ends with the complete lists of all realizations of simple real Lie algebras as `special unitary' (or only `unitary' when $n=2$) over some tensor product of two $*$-algebras ${\mathbb K}_1, {\mathbb K}_2$, which in all cases are obtained from ${\mathbb R}, {\mathbb C}, {\mathbb H}, {\mathbb O}$ and their split versions as sets, endowing them with a $*$-conjugation which usually but not always is the natural complex, quaternionic or octonionic conjugation.


title: Towards a multigrid method for the M1 model for radiative transfer

abstract: We present a geometric multigrid solver for the M1 model of radiative transfer without source terms. In radiative hydrodynamics applications, the radiative transfer needs to be solved implicitly because of the fast propagation speed of photons relative to the fluid velocity. The M1 model is hyperbolic and can be discretized with an HLL solver, whose time implicit integration can be done using a nonlinear Jacobi method. One can show that this iterative method always preserves the admissible states, such as positive radiative energy and reduced flux less than 1. To decrease the number of iterations required for the solver to converge, and therefore to decrease the computational cost, we propose a geometric multigrid algorithm. Unfortunately, this method is not able to preserve the admissible states. In order to preserve the admissible state states, we introduce a pseudo-time such that the solution of the problem on the coarse grid is the steady state of a differential equation in pseudo-time. We present preliminary results showing the decrease of the number of iterations and computational cost as a function of the number of multigrid levels used in the method. These results suggest that nonlinear multigrid methods can be used as a robust implicit solver for hyperbolic systems such as the M1 model.


title: ELMformer: Efficient Raw Image Restoration with a Locally Multiplicative Transformer

abstract: In order to get raw images of high quality for downstream Image Signal Process (ISP), in this paper we present an Efficient Locally Multiplicative Transformer called ELMformer for raw image restoration. ELMformer contains two core designs especially for raw images whose primitive attribute is single-channel. The first design is a Bi-directional Fusion Projection (BFP) module, where we consider both the color characteristics of raw images and spatial structure of single-channel. The second one is that we propose a Locally Multiplicative Self-Attention (L-MSA) scheme to effectively deliver information from the local space to relevant parts. ELMformer can efficiently reduce the computational consumption and perform well on raw image restoration tasks. Enhanced by these two core designs, ELMformer achieves the highest performance and keeps the lowest FLOPs on raw denoising and raw deblurring benchmarks compared with state-of-the-arts. Extensive experiments demonstrate the superiority and generalization ability of ELMformer. On SIDD benchmark, our method has even better denoising performance than ISP-based methods which need huge amount of additional sRGB training images. The codes are release at https://github.com/leonmakise/ELMformer.


title: Skipping the boundary layer: high-speed droplet-based immunoassay using Rayleigh acoustic streaming

abstract: Acoustic mixing of droplets is a promising way to implement biosensors that combine high speed and minimal reagent consumption. To date, this type of droplet mixing is driven by a volume force resulting from the absorption of high-frequency acoustic waves in the bulk of the fluid. Here, we show that the speed of these sensors is limited by the slow advection of analyte to the sensor surface due to the formation of a hydrodynamic boundary layer. We eliminate this hydrodynamic boundary layer by using much lower ultrasonic frequencies to excite the droplet, which drives a Rayleigh streaming that behaves essentially like a slip velocity. Three-dimensional simulations show that this provides a threefold speedup compared to Eckart streaming. Experimentally, we shorten a SARS-CoV-2 antibody immunoassay from 20 min to 40 s.


title: Transfering Low-Frequency Features for Domain Adaptation

abstract: Previous unsupervised domain adaptation methods did not handle the cross-domain problem from the perspective of frequency for computer vision. The images or feature maps of different domains can be decomposed into the low-frequency component and high-frequency component. This paper proposes the assumption that low-frequency information is more domain-invariant while the high-frequency information contains domain-related information. Hence, we introduce an approach, named low-frequency module (LFM), to extract domain-invariant feature representations. The LFM is constructed with the digital Gaussian low-pass filter. Our method is easy to implement and introduces no extra hyperparameter. We design two effective ways to utilize the LFM for domain adaptation, and our method is complementary to other existing methods and formulated as a plug-and-play unit that can be combined with these methods. Experimental results demonstrate that our LFM outperforms state-of-the-art methods for various computer vision tasks, including image classification and object detection.


title: A note on local antimagic chromatic number of lexicographic product graphs

abstract: Let $G = (V,E)$ be a connected simple graph. A bijection $f: E \rightarrow \{1,2,\ldots,|E|\}$ is called a local antimagic labeling of $G$ if $f^+(u) \neq f^+(v)$ holds for any two adjacent vertices $u$ and $v$, where $f^+(u) = \sum_{e\in E(u)} f(e)$ and $E(u$) is the set of edges incident to $u$. A graph $G$ is called local antimagic if $G$ admits at least a local antimagic labeling. The local antimagic chromatic number, denoted $\chi_{la}(G)$, is the minimum number of induced colors taken over local antimagic labelings of $G$. Let $G$ and $H$ be two disjoint graphs. The graph $G[H]$ is obtained by the lexicographic product of $G$ and $H$. In this paper, we obtain sufficient conditions for $\chi_{la}(G[H])\leq \chi_{la}(G)\chi_{la}(H)$. Consequently, we give examples of $G$ and $H$ such that $\chi_{la}(G[H]) = \chi(G)\chi(H)$, where $\chi(G)$ is the chromatic number of $G$. We conjecture that (i) there are infinitely many graphs $G$ and $H$ such that $\chi_{la}(G[H])=\chi_{la}(G)\chi_{la}(H) = \chi(G)\chi(H)$, and (ii) for $k\ge 1$, $\chi_{la}(G[H]) = \chi(G)\chi(H)$ if and only if $\chi(G)\chi(H) = 2\chi(H) + \lceil\frac{\chi(H)}{k}\rceil$, where $2k+1$ is the length of a shortest odd cycle in $G$.


title: Classical-to-quantum convolutional neural network transfer learning

abstract: Machine learning using quantum convolutional neural networks (QCNNs) has demonstrated success in both quantum and classical data classification. In previous studies, QCNNs attained a higher classification accuracy than their classical counterparts under the same training conditions in the few-parameter regime. However, the general performance of large-scale quantum models is difficult to examine because of the limited size of quantum circuits, which can be reliably implemented in the near future. We propose transfer learning as an effective strategy for utilizing small QCNNs in the noisy intermediate-scale quantum era to the full extent. In the classical-to-quantum transfer learning framework, a QCNN can solve complex classification problems without requiring a large-scale quantum circuit by utilizing a pre-trained classical convolutional neural network (CNN). We perform numerical simulations of QCNN models with various sets of quantum convolution and pooling operations for MNIST data classification under transfer learning, in which a classical CNN is trained with Fashion-MNIST data. The results show that transfer learning from classical to quantum CNN performs considerably better than purely classical transfer learning models under similar training conditions.


title: Geometric Stress Functions, Continuous and Discontinuous

abstract: In his work on stress functions Maxwell noted that given a planar truss the internal force distribution may be described by a piecewise linear, $C^0$ continuous version of the Airy stress function. Later Williams and McRobie proposed that one can consider planar moment-bearing frames, where the stress function need not be even $C^0$ continuous. The two authors also proposed a discontinuous stress function for the analysis of space-frames, which however suffers from incompleteness. This paper provides a discontinuous stress function for $n$-dimensional space frames that is complete and minimal, along with its derivation from an $n$-dimensional continuous stress function.


title: On the Lorentz symmetry in conformally reduced Quantum Gravity

abstract: The functional renormalization group treatment of the conform reduced Einstein-Hilbert gravity is extended by following the evolution of the time and space derivatives separately, in order to consider the Lorentz symmetry during the evolution. We found the Reuter fixed point in the ultraviolet region. It is shown that starting from the Gaussian fixed point the Lorentz symmetry breaks down in the vicinity of the Reuter fixed point. Similarly, in the symmetry broken phase it also breaks down in the infrared region close to a critical singularity scale. By calculating the anomalous dimension form the kinetic term of the action, we found a new relevant coupling belonging to the curvature.


title: How many roots of a random polynomial system on a Lie group are real?

abstract: A finite linear combination of matrix elements of a finite dimensional representation $\pi$ of a Lie group $K$ is said to be a $\pi$-polynomial on $K$. If $K$ is compact then any $\pi$-polynomial uniquely extends to a holomorphic function on the complexification $K_\C$ of $K$. For a system of $n$ $\pi_i$-polynomials, where $n=\dim(K)$, we consider the proportion of real roots, that is the ratio of roots number to the number of roots in $K_\C$. It turns out that for growing representations $\pi_i$ and random system of $\pi_i$-polynomials, the expected proportion of real roots converges not to $0$, but to a nonzero constant. The limit is calculated in terms of the volumes of some compact convex sets that determine the growth of representation $\pi$. For a $1$-dimensional torus $K$ the limit is $1/\sqrt 3$.


title: Homological theory of orthogonal modules

abstract: Tachikawa's second conjecture predicts that a finitely generated, orthogonal module over a finite-dimensional self-injective algebra is projective. This conjecture is an important part of the Nakayama conjecture. Our principal motivation of this work is a systematic understanding of finitely generated, orthogonal generators over a self-injective Artin algebra from the view point of stable module categories. As a result, for an orthogonal generator M, we establish a recollement of the M-relative stable categories, describe compact objects of the right term of the recollement, and give equivalent characterizations of Tachikawa's second conjecture in terms of M-Gorenstein categories. Further, we introduce Gorenstein-Morita algebras and show that the Nakayama conjecture holds true for them.


title: Models of Bounded Arithmetic and variants of Pigeonhole Principle

abstract: We give elementary proof that theory $T^1_2(R)$ augmented by the weak pigeonhole principle for all $\Delta^b_1(R)$-definable relations does not prove the bijective pigeonhole principle for $R$. This can be derived from known more general results but our proof yields a model of $T^1_2(R)$ in which $ontoPHP^{n+1}_n(R)$ fails for some nonstandard element $n$ while $PHP^{m+1}_m$ holds for all $\Delta^b_1(R)$-definable relations and all $m \leq n^{1-\epsilon}$, where $\epsilon > 0$ is a fixed standard rational parameter. This can be seen as a step towards solving an open question posed by M. Ajtai.


title: A stabilizing reinforcement learning approach for sampled systems with partially unknown models

abstract: Reinforcement learning is commonly associated with training of reward-maximizing (or cost-minimizing) agents, in other words, controllers. It can be applied in model-free or model-based fashion, using a priori or online collected system data to train involved parametric architectures. In general, online reinforcement learning does not guarantee closed loop stability unless special measures are taken, for instance, through learning constraints or tailored training rules. Particularly promising are hybrids of reinforcement learning with "classical" control approaches. In this work, we suggest a method to guarantee practical stability of the system-controller closed loop in a purely online learning setting, i.e., without offline training. Moreover, we assume only partial knowledge of the system model. To achieve the claimed results, we employ techniques of classical adaptive control. The implementation of the overall control scheme is provided explicitly in a digital, sampled setting. That is, the controller receives the state of the system and computes the control action at discrete, specifically, equidistant moments in time. The method is tested in adaptive traction control and cruise control where it proved to significantly reduce the cost.


title: Intuitionistic Logic is a Connexive Logic

abstract: We show that intuitionistic logic is deductively equivalent to Connexive Heyting Logic (CHL), hereby introduced as an example of a strong connexive logic with intuitive semantics. We use the reverse algebraisation paradigm: CHL is presented as the assertional logic of a point regular variety (whose structure theory is examined in detail) that turns out to be term equivalent to the variety of Heyting algebras. We provide Hilbert-style and Gentzen-style proof systems for CHL; moreover, we suggest a possible computational interpretation of its connexive conditional, and we revisit Kapsner's idea of superconnexivity.


title: On Examples and Classification of Frobenius Objects in Rel

abstract: We give some new examples of Frobenius objects in the category of sets and relations $\textbf{Rel}$. One example is a groupoid with a twisted counit. Another example is the set of conjugacy classes of a group. We also classify Frobenius objects in $\textbf{Rel}$ with two or three elements, and we compute the associated surface invariants using the partition functions of the corresponding TQFTs.


title: A Real-Time Tempo and Meter Tracking System for Rhythmic Improvis

abstract: Music is a form of expression that often requires interaction between players. If one wishes to interact in such a musical way with a computer, it is necessary for the machine to be able to interpret the input given by the human to find its musical meaning. In this work, we propose a system capable of detecting basic rhythmic features that can allow an application to synchronize its output with the rhythm given by the user, without having any prior agreement or requirement on the possible input. The system is described in detail and an evaluation is given through simulation using quantitative metrics. The evaluation shows that the system can detect tempo and meter consistently under certain settings, and could be a solid base for further developments leading to a system robust to rhythmically changing inputs.


title: Some properties of morphic images of (eventually) dendric words

abstract: The class of (eventually) dendric words generalizes well-known families such as the Arnoux-Rauzy words or the codings of interval exchanges. There are still many open questions about the link between dendricity and morphisms. In this paper, we focus on two questions. The first one is the evolution of the factor complexity when applying a non-erasing morphism to an eventually dendric word. We next look at the morphisms that preserve dendricity for all dendric words and show that they are exactly those generated by the Arnoux-Rauzy morphisms.


title: Innovation and informal knowledge exchanges between firms

abstract: Firm clusters are seen as having a positive effect on innovations, what can be interpreted as economies of scale or knowledge spillovers. The processes underlying the success of these clusters remain difficult to isolate. We propose in this paper a stylised agent-based model to test the role of geographical proximity and informal knowledge exchanges between firms on the emergence of innovations. The model is run on synthetic firm clusters. Sensitivity analysis and systematic model exploration unveil a strong impact of interaction distance on innovations, with a qualitative shift when spatial interactions are more intense. Model bi-objective optimisation shows a compromise between innovation and product diversity, suggesting trade-offs for clusters in practice. This model provides thus a first basis to systematically explore the interplay between firm cluster geography and innovation, from an evolutionary perspective.


title: Reversible Computations of One-Way Counter Automata

abstract: Deterministic one-way time-bounded multi-counter automata are studied with respect to their ability to perform reversible computations, which means that the automata are also backward deterministic and, thus, are able to uniquely step the computation back and forth. We study the computational capacity of such devices and obtain separation results between irreversible and reversible k-counter automata for superpolynomial time. For exponential time we obtain moreover an infinite and tight hierarchy with respect to the number of counters. This hierarchy is shown with Kolmogorov complexity and incompressibility arguments. In this way, on passing we can prove this hierarchy also for ordinary counter automata. This improves the known hierarchy for ordinary counter automata in the sense that here we consider a weaker acceptance condition. Then, it turns out that k+1 reversible counters are not better than k ordinary counters and vice versa. Finally, almost all usually studied decidability questions turn out to be undecidable and not even semidecidable for reversible multi-counter automata, if at least two counters are provided.


title: Variable selection in sparse multivariate GLARMA models: Application to germination control by environment

abstract: We propose a novel and efficient iterative two-stage variable selection approach for multivariate sparse GLARMA models, which can be used for modelling multivariate discrete-valued time series. Our approach consists in iteratively combining two steps: the estimation of the autoregressive moving average (ARMA) coefficients of multivariate GLARMA models and the variable selection in the coefficients of the Generalized Linear Model (GLM) part of the model performed by regularized methods. We explain how to implement our approach efficiently. Then we assess the performance of our methodology using synthetic data and compare it with alternative methods. Finally, we illustrate it on RNA-Seq data resulting from polyribosome profiling to determine translational status for all mRNAs in germinating seeds. Our approach, which is implemented in the MultiGlarmaVarSel R package and available on the CRAN, is very attractive since it benefits from a low computational load and is able to outperform the other methods for recovering the null and non-null coefficients.


title: Combinatorial Algorithms for Subsequence Matching: A Survey

abstract: In this paper we provide an overview of a series of recent results regarding algorithms for searching for subsequences in words or for the analysis of the sets of subsequences occurring in a word.


title: P versus B: P Systems as a Formal Framework for Controllability of Boolean Networks

abstract: Membrane computing and P systems are a paradigm of massively parallel natural computing introduced by Gheorghe P\u{a}un in 1999, inspired by the structure of the living cell and by its biochemical reactions. In spite of this explicit biological motivation, P systems have not been extensively used in modelling real-world systems. To confirm this intuition, we establish a state of the art investigation comparing the use of P systems to that of Boolean networks in this line of research. We then propose to use P systems as a tool for setting up formal frameworks to reason about other formalisms, and we introduce Boolean P systems, specifically tailored for capturing sequential controllability of Boolean networks. We show how to tackle some technical challenges and prove that sequential controllability properly embeds in the framework of Boolean P systems.


title: Monadic Expressions and their Derivatives

abstract: We propose another interpretation of well-known derivatives computations from regular expressions, due to Brzozowski, Antimirov or Lombardy and Sakarovitch, in order to abstract the underlying data structures (e.g. sets or linear combinations) using the notion of monad. As an example of this generalization advantage, we introduce a new derivation technique based on the graded module monad. We also extend operators defining expressions to any n-ary functions over value sets, such as classical operations (like negation or intersection for Boolean weights) or more exotic ones (like algebraic mean for rational weights). Moreover, we present how to compute a (non-necessarily finite) automaton from such an extended expression, using the Colcombet and Petrisan categorical definition of automata. These category theory concepts allow us to perform this construction in a unified way, whatever the underlying monad. Finally, to illustrate our work, we present a Haskell implementation of these notions using advanced techniques of functional programming, and we provide a web interface to manipulate concrete examples.


title: On the Generative Capacity of Contextual Grammars with Strictly Locally Testable Selection Languages

abstract: We continue the research on the generative capacity of contextual grammars where contexts are adjoined around whole words (externally) or around subwords (internally) which belong to special regular selection languages. All languages generated by contextual grammars where all selection languages are elements of a certain subregular language family form again a language family. We investigate contextual grammars with strictly locally testable selection languages and compare those families to families which are based on finite, monoidal, nilpotent, combinational, definite, suffix-closed, ordered, commutative, circular, non-counting, power-separating, or union-free languages.


title: Approaching the basis-set limit of the dRPA correlation energy with explicitly correlated and Projector Augmented-wave methods

abstract: The direct random-phase approximation (dRPA) is used to calculate and compare atomization energies for the HEAT set and 10 selected molecules of the G2-1 set using both plane waves and Gaussian-type orbitals. We describe detailed procedures to obtain highly accurate and well converged results for the projector augmented-wave (PAW) method as implemented in the Vienna Ab-initio Simulation Package (VASP) as well as the explicitly correlated dRPA-F12 method as implemented in the TURBOMOLE package. The two approaches agree within chemical accuracy (1 kcal/mol) for the atomization energies of all considered molecules, both for the exact exchange as well as for the dRPA. The root mean-square deviation is 0.41 kcal/mol for the exact exchange (evaluated using density functional theory orbitals) and 0.33 kcal/mol for exact exchange plus the random-phase approximation.


title: A Finite-Automaton Based Stream Cipher As a Quasigroup Based Cipher

abstract: In this paper we show that a recently published finite automaton stream cipher can be considered as a quasigroup based stream cipher. Some additional properties of the discussed cipher are also given.


title: Conclusive Tree-Controlled Grammars

abstract: This paper presents a new approach to regulation of grammars. It divides the derivation trees generated by grammars into two sections-generative and conclusive (the conclusion). The former encompasses generation of symbols up till the moment when the lowest rightmost terminal of the derivation tree is generated, whereas the latter represents the final steps needed to successfully generate a sentence. A control mechanism based on regulating only the conclusion is presented and subsequently applied to tree-controlled grammars, creating conclusive tree-controlled grammars. As the main result, it is shown that the ratio between depths of generative and conclusive sections does not influence the generative power. In addition, it is demonstrated that any recursively enumerable language is generated by these grammars possessing no more than seven nonterminals while the regulating language is union-free.


title: Non-Returning Finite Automata With Translucent Letters

abstract: Here we propose a variant of the nondeterministic finite automaton with translucent letters (NFAwtl) which, after reading and deleting a letter, does not return to the left end of its tape, but rather continues from the position of the letter just deleted. When the end-of-tape marker is reached, our automaton can decide whether to accept, to reject, or to continue, which means that it again reads the remaining tape contents from the beginning. This type of automaton, called a non-returning finite automaton with translucent letters or an nrNFAwtl, is strictly more expressive than the NFAwtl. We study the expressive capacity of this type of automaton and that of its deterministic variant. Also we are interested in closure properties of the resulting classes of languages and in decision problems.


title: Quasi-deterministic 5' -> 3' Watson-Crick Automata

abstract: Watson-Crick (WK) finite automata are working on a Watson-Crick tape, that is, on a DNA molecule. A double stranded DNA molecule contains two strands, each having a 5' and a 3' end, and these two strands together form the molecule with the following properties. The strands have the same length, their 5' to 3' directions are opposite, and in each position, the two strands have nucleotides that are complement of each other (by the Watson-Crick complementary relation). Consequently, WK automata have two reading heads, one for each strand. In traditional WK automata both heads read the whole input in the same physical direction, but in 5'->3' WK automata the heads start from the two extremes and read the input in opposite direction. In sensing 5'->3' WK automata, the process on the input is finished when the heads meet, and the model is capable to accept the class of linear context-free languages. Deterministic variants are weaker, the class named 2detLIN, a proper subclass of linear languages is accepted by them. Recently, another specific variants, the state-deterministic sensing 5'->3' WK automata are investigated in which the graph of the automaton has the special property that for each node of the graph, all out edges (if any) go to a sole node, i.e., for each state there is (at most) one state that can be reached by a direct transition. It was shown that this concept is somewhat orthogonal to the usual concept of determinism in case of sensing 5'->3' WK automata. In this paper a new concept, the quasi-determinism is investigated, that is in each configuration of a computation (if it is not finished yet), the next state is uniquely determined although the next configuration may not be, in case various transitions are enabled at the same time. We show that this new concept is a common generalisation of the usual determinism and the state-determinism, i.e., the class of quasi-deterministic sensing 5'->3' WK automata is a superclass of both of the mentioned other classes. There are various usual restrictions on WK automata, e.g., stateless or 1-limited variants. We also prove some hierarchy results among language classes accepted by various subclasses of quasi-deterministic sensing 5'->3' WK automata and also some other already known language classes.


title: On the Accepting State Complexity of Operations on Permutation Automata

abstract: We investigate the accepting state complexity of deterministic finite automata for regular languages obtained by applying one of the following operations to languages accepted by permutation automata: union, quotient, complement, difference, intersection, Kleene star, Kleene plus, and reversal. The paper thus joins the study of accepting state complexity of regularity preserving language operations which was initiated by the work [J. Dassow: On the number of accepting states of finite automata, J. Autom., Lang. Comb., 21, 2016]. We show that for almost all of the operations, except for reversal and quotient, there is no difference in the accepting state complexity for permutation automata compared to deterministic finite automata in general. For both reversal and quotient we prove that certain accepting state complexities cannot be obtained; these number are called "magic" in the literature. Moreover, we solve the left open accepting state complexity problem for the intersection of unary languages accepted by permutation automata and deterministic finite automata in general.


title: Capacities and density conditions in metric spaces

abstract: We examine the relations between different capacities in the setting of a metric measure space. First, we prove a comparability result for the Riesz $(\beta,p)$-capacity and the relative Hajlasz $(\beta,p)$-capacity, for $1<p<\infty$ and $0<\beta \le 1$, under a suitable kernel estimate related to the Riesz potential. Then we show that in geodesic spaces the corresponding capacity density conditions are equivalent even without assuming the kernel estimate. In the last part of the paper, we compare the relative Hajlasz $(1,p)$-capacity to the relative variational $p$-capacity.


title: Multiple flares caused by mass ejection episodes during the advanced nebular phase of Nova Scuti 2019

abstract: Our photometric and spectroscopic monitoring shows that starting with 2020 June 4, day +217 from optical maximum and well into its advanced nebular stage, Nova Sct 2019 began displaying a series of nine large amplitude flares (up to Delta(m)~1.7 mag), characterized by a rapid rise to peak (=<10 hours) and a fast exponential decline (e-folding time =<50 hours). The time interval Delta(t) between flares follows an ordered sequence, declining from 8.43 to 4.90 days, that safely allows to exclude that any other flare occured without being recorded by the observations. When the sequence of flares was over by 2020 July 28 (day +271), Nova Sct 2019 slowed its overall decline rate from Delta(m)=0.0067 mag/day to 0.0027 mag/day. The flares were caused by material expelled at high velocity (~1000 km/s) from the still burning WD. The cooler pseudo-photosphere forming at each flare in the expelled material, resulted in a recombination wave to spread through the original nova ejecta (at ~170 AU from the WD), quenching emission from [FeX] and [FeVII] and boosting that from lower ionization species. After each flare, once the small amount of expelled material had turned optically thin, the original nova ejecta resumed displaying [FeX] and [FeVII] emission lines, a fact that clearly proves the direct photo-ionization action exerted on the ejecta by the burning WD. While the other known flaring novae (V458 Vul, V4745 Sgr, and V5588 Sgr) presented the flares close to maximum brightness and with increasing Delta(t), Nova Sct 2019 is unique in having displayed them during the advanced nebular stage and with decreasing Delta(t).


title: Open Challenges in Musical Metacreation

abstract: Musical Metacreation tries to obtain creative behaviors from computers algorithms composing music. In this paper I briefly analyze how this field evolved from algorithmic composition to be focused on the search for creativity, and I point out some issues in pursuing this goal. Finally, I argue that hybridization of algorithms can be a useful direction for research.


title: Symmetrization in nonlocal diffusion problems

abstract: We study Talenti's type symmetrization properties for solutions of linear stationary and evolution problems. Our main result establishes the comparison in norm between the solution of a problem and its symmetric version when nonlocal diffusion defined through integrable kernels is replacing the usual local diffusion defined by a second order differential operator. Using an approximation argument, we recover, as a corollary of our results, the classical Talenti's theorem. A novelty of our approach is that we replace the measure geometric tools employed in Talenti's proof by the use of the Riesz's rearrangement inequality, giving thus an alternative and somehow simpler proof than Talenti's one.


title: The Zariski Cancellation Problem and related problems in Affine Algebraic Geometry

abstract: In this article, we shall discuss the solution to the Zariski Cancellation Problem in positive characteristic, various approaches taken so far towards the possible solution in characteristic zero, and several other questions related to this problem.


title: Statistical Investigation of the Kinematic and Thermal Properties of Supra-arcade Downflows Observed During a Solar Flare

abstract: Supra-arcade downflows (SADs) are dark structures descending towards post-reconnection flare loops observed in extreme ultraviolet or X-ray observations and are closely related to magnetic reconnection during solar flares. Due to the lack of statistical study on SADs in a single flare, evolutions of kinematic and thermal properties of SADs during the flare process still remain obscure. In this work, we identified 81 SADs in a flare that occurred on 2013 May 22 using observations of the Atmospheric Imaging Assembly (AIA) on the Solar Dynamics Observatory (SDO). The kinematic properties of each SAD, including the appearance time, height, projective velocity, and acceleration were recorded. We found that the appearance heights of SADs become larger during the flare, which is likely due to the lift of the bottom of the plasma sheet. In the flare decay phase, the region where SADs mainly appear moves from the north part to the south side possibly related to a secondary eruption in the south side. The trajectories of most SADs can be fitted by one or two deceleration processes, while some special ones have positive accelerations during the descent. For the thermal properties, we selected 54 SADs, whose front and body could be clearly distinguished from the surrounding during the entire descent, to perform Differential Emission Measure analysis. It is revealed that the temperatures of the SAD front and body tend to increase during their downward courses, and the relationship between the density and temperature indicates that the heating is mainly caused by adiabatic compression.


title: Scatter Points in Space: 3D Detection from Multi-view Monocular Images

abstract: 3D object detection from monocular image(s) is a challenging and long-standing problem of computer vision. To combine information from different perspectives without troublesome 2D instance tracking, recent methods tend to aggregate multiview feature by sampling regular 3D grid densely in space, which is inefficient. In this paper, we attempt to improve multi-view feature aggregation by proposing a learnable keypoints sampling method, which scatters pseudo surface points in 3D space, in order to keep data sparsity. The scattered points augmented by multi-view geometric constraints and visual features are then employed to infer objects location and shape in the scene. To make up the limitations of single frame and model multi-view geometry explicitly, we further propose a surface filter module for noise suppression. Experimental results show that our method achieves significantly better performance than previous works in terms of 3D detection (more than 0.1 AP improvement on some categories of ScanNet). The code will be publicly available.


title: Complete and tractable machine-independent characterizations of second-order polytime

abstract: The class of Basic Feasible Functionals BFF is the second-order counterpart of the class of first-order functions computable in polynomial time. We present several implicit characterizations of BFF based on a typed programming language of terms. These terms may perform calls to non-recursive imperative procedures. The type discipline has two layers: the terms follow a standard simply-typed discipline and the procedures follow a standard tier-based type discipline. BFF consists exactly of the second-order functionals that are computed by typable and terminating programs. The completeness of this characterization surprisingly still holds in the absence of lambda-abstraction. Moreover, the termination requirement can be specified as a completeness-preserving instance, which can be decided in time quadratic in the size of the program. As typing is decidable in polynomial time, we obtain the first tractable (i.e., decidable in polynomial time), sound, complete, and implicit characterization of BFF, thus solving a problem opened for more than 20 years.


title: Model independent bounds on Type Ia supernova absolute peak magnitude

abstract: We put constraints on the peak absolute magnitude, $M_B$ of type Ia supernova using the Pantheon sample for type Ia supernova observations and the cosmic chronometers data for the Hubble parameter by a model independent and non-parametric approach. Our analysis is based on the Gaussian process regression. We find percent level bounds on the peak absolute magnitude given as $M_B=-19.384\pm0.052$. For completeness and to check the consistency of the results, we also include the Baryon acoustic oscillation data and the prior of the comoving sound horizon from Planck 2018 cosmic microwave background observations. The inclusion of these two data gives tighter constraints on $M_B$ at the sub-percent level. We obtain constraints on $M_B$ from the combination of pantheon compilation of type Ia supernova observations and baryon acoustic oscillation observations given as $M_B=-19.396\pm0.016$. When adding the cosmic chronometer observations with these observations, we find $M_B=-19.395\pm0.015$. The mean values of peak absolute magnitude from all these data are consistent with each other and the values are approximately equal to $-19.4$.


title: Cluster-based Sampling in Hindsight Experience Replay for Robotic Tasks (Student Abstract)

abstract: In multi-goal reinforcement learning with a sparse binary reward, training agents is particularly challenging, due to a lack of successful experiences. To solve this problem, hindsight experience replay (HER) generates successful experiences even from unsuccessful ones. However, generating successful experiences from uniformly sampled ones is not an efficient process. In this paper, the impact of exploiting the property of achieved goals in generating successful experiences is investigated and a novel cluster-based sampling strategy is proposed. The proposed sampling strategy groups episodes with different achieved goals by using a cluster model and samples experiences in the manner of HER to create the training batch. The proposed method is validated by experiments with three robotic control tasks of the OpenAI Gym. The results of experiments demonstrate that the proposed method is substantially sample efficient and achieves better performance than baseline approaches.