title: Cosmic jerk parameter in symmetric teleparallel cosmology

abstract: In this paper, we have examined the recently proposed modified symmetric teleparallel gravity, in which gravitational Lagrangian is given by an arbitrary function of non-metricity scalar $Q$. We have considered a constant jerk parameter to express the Hubble rate. Moreover, we have used 31 points of OHD datasets and 1701 points of Pantheon+ datasets to constraint our model parameters by means of the Markov Chain Monte Carlo analysis. The mean values and the best fit obtained give a consistent Hubble rate and deceleration parameter compared to the observation values. In order to study the current accelerated expansion scenario of the Universe with the presence of the cosmological fluid as a perfect fluid, we have considered two forms of teleparallel gravity. We have studied the obtained field equations with the proposed forms of $f(Q)$ models, specifically, linear $f\left( Q\right) =\alpha Q+\beta $ and non-linear $f\left( Q\right) =Q+mQ^{n}$ models. Next, we have discussed the physical behavior of cosmological parameters such as energy density, pressure, EoS parameter, and deceleration parameter for both model. To ensure the validity of our proposed cosmological models, we have checked all energy conditions. The properties of these parameters confirm that our models describe the current acceleration of the expansion of the Universe. This result is also corroborated by the energy conditions criteria. the Finally, the EoS parameter for both models indicates that the cosmological fluid behaves like a quintessence dark energy model.


title: Oriented cobicircular matroids are $GSP$

abstract: Colourings and flows are well-known dual notions in Graph Theory. In turn, the definition of flows in graphs naturally extends to flows in oriented matroids. So, the colour-flow duality gives a generalization of Hadwiger's conjecture about graph colourings, to a conjecture about coflows of oriented matroids. The first non-trivial case of Hadwiger's conjecture for oriented matroids reads as follows. If $\mathcal{O}$ is an $M(K_4)$-minor free oriented matroid, then $\mathcal{O}$ has a now-where $3$-coflow, i.e., it is $3$-colourable in the sense of Hochst\"attler-Ne\v{s}et\v{r}il. The class of generalized series parallel ($GSP$) oriented matroids is a class of $3$-colourable oriented matroids with no $M(K_4)$-minor. So far, the only technique towards proving that all orientations of a class $\mathcal{C}$ of $M(K_4)$-minor free matroids are $GSP$ (and thus $3$-colourable), has been to show that every matroid in $\mathcal{C}$ has a positive coline. Towards proving Hadwiger's conjecture for the class of gammoids, Goddyn, Hochst\"attler, and Neudauer conjectured that every gammoid has a positive coline. In this work we disprove this conjecture by exhibiting an infinite class of strict gammoids that do not have positive colines. We conclude by proposing a simpler technique for showing that certain oriented matroids are $GSP$. In particular, we recover that oriented lattice path matroids are $GSP$, and we show that oriented cobicircular matroids are $GSP$.


title: Model-based recursive partitioning for discrete event times

abstract: Model-based recursive partitioning (MOB) is a semi-parametric statistical approach allowing the identification of subgroups that can be combined with a broad range of outcome measures including continuous time-to-event outcomes. When time is measured on a discrete scale, methods and models need to account for this discreetness as otherwise subgroups might be spurious and effects biased. The test underlying the splitting criterion of MOB, the M-fluctuation test, assumes independent observations. However, for fitting discrete time-to-event models the data matrix has to be modified resulting in an augmented data matrix violating the independence assumption. We propose MOB for discrete Survival data (MOB-dS) which controls the type I error rate of the test used for data splitting and therefore the rate of identifying subgroups although none is present. MOB-ds uses a permutation approach accounting for dependencies in the augmented time-to-event data to obtain the distribution under the null hypothesis of no subgroups being present. Through simulations we investigate the type I error rate of the new MOB-dS and the standard MOB for different patterns of survival curves and event rates. We find that the type I error rates of the test is well controlled for MOB-dS, but observe some considerable inflations of the error rate for MOB. To illustrate the proposed methods, MOB-dS is applied to data on unemployment duration.


title: Theory of nuclear motion in RABBITT spectra

abstract: Reconstruction of attosecond beating by interference of two-photon transitions (RABBITT) is a powerful photoelectron spectroscopy, offering direct access to internal dynamics of the target. It is being increasingly applied to molecular systems, but a general, computationally tractable theory of RABBITT spectra in molecules has so far been lacking. We show that under quite general assumptions, RABBITT spectra in molecules can be expressed as a convolution of the vibronic cross-correlation functions and two-electron photoionization matrix elements. We specialize the general expressions to the commonly-encountered special cases. We expect our theory to enable accurate modeling and interpretation of molecular RABBITT spectra in most medium-sized molecules.


title: Orbits closeness for slowly mixing dynamical systems

abstract: Given a dynamical system, we prove that the shortest distance between two $n$-orbits scales like $n$ to a power even when the system has slow mixing properties, thus building and improving on results of Barros, Liao and the first author. We also extend these results to flows. Finally, we give an example for which the shortest distance between two orbits has no scaling limit.


title: Cluster theory of topological Fukaya categories

abstract: We establish a novel relation between the cluster categories associated with marked surfaces and the topological Fukaya categories of the surfaces. We consider a generalization of the triangulated cluster category of the surface by a $2$-Calabi-Yau extriangulated/exact $\infty$-category, which arises via Amiot's construction from the relative Ginzburg algebra of the triangulated surface. This category is shown to be equivalent to the $1$-periodic version of the topological Fukaya category of the marked surface, as well as to Wu's Higgs category. We classify the cluster tilting objects in this extriangulated cluster category and describe a cluster character to the upper cluster algebra of the marked surface with coefficients in the boundary arcs. We furthermore give a general construction of $2$-Calabi-Yau Frobenius extriangulated structures/exact $\infty$-structures on stable $\infty$-categories equipped with a relative right $2$-Calabi-Yau structure in the sense of Brav-Dyckerhoff, that may be of independent interest.


title: Few Clean Instances Help Denoising Distant Supervision

abstract: Existing distantly supervised relation extractors usually rely on noisy data for both model training and evaluation, which may lead to garbage-in-garbage-out systems. To alleviate the problem, we study whether a small clean dataset could help improve the quality of distantly supervised models. We show that besides getting a more convincing evaluation of models, a small clean dataset also helps us to build more robust denoising models. Specifically, we propose a new criterion for clean instance selection based on influence functions. It collects sample-level evidence for recognizing good instances (which is more informative than loss-level evidence). We also propose a teacher-student mechanism for controlling purity of intermediate results when bootstrapping the clean set. The whole approach is model-agnostic and demonstrates strong performances on both denoising real (NYT) and synthetic noisy datasets.


title: Spectral Difference method with a posteriori limiting: Application to the Euler equations in one and two space dimensions

abstract: We present a new numerical scheme which combines the Spectral Difference (SD) method up to arbitrary high order with \emph{a-posteriori} limiting using the classical MUSCL-Hancock scheme as fallback scheme. It delivers very accurate solutions in smooth regions of the flow, while capturing sharp discontinuities without spurious oscillations. We exploit the strict equivalence between the SD scheme and a Finite-Volume (FV) scheme based on the SD control volumes to enable a straightforward limiting strategy. At the end of each stage of our high-order time-integration ADER scheme, we check if the high-order solution is admissible under a number of numerical and physical criteria. If not, we replace the high-order fluxes of the troubled cells by fluxes from our robust second-order MUSCL fallback scheme. We apply our method to a suite of test problems for the 1D and 2D Euler equations. We demonstrate that this combination of SD and ADER provides a virtually arbitrary high order of accuracy, while at the same time preserving good sub-element shock capturing capabilities.


title: Ermittlung und Kommunikation von Anforderungen in etablierten UX-Prozessen

abstract: There is a strong overlap between requirements engineering (RE) and user experience (UX). Nevertheless, in practice both disciplines are often performed by separate roles and there are deficits in collaboration. In order to provide starting points for the further development of roles, activities and artifacts of the disciplines, the Requirements Engineering and User Experience Working Group (AK REUX) has been conducting a series of case studies since 2021, analyzing the UX processes of different companies from a RE perspective. We presented interim results of this investigation at the RE specialist group meeting in 2022 and compared them with the experiences of the participants.


title: The dihedral Dunkl--Dirac symmetry algebra with negative Clifford signature

abstract: The Dunkl--Dirac symmetry algebra is an associative subalgebra of the tensor product of a Clifford algebra and the faithful polynomial representation of a rational Cherednik algebra. In previous work, the finite-dimensional representations of the Dunkl--Dirac symmetry algebra in three dimensions linked with a dihedral group were given. We give here the necessary results to proceed to the same construction when the Clifford algebra in the tensor product has negative signature.


title: Rank zero Segre integrals on Hilbert schemes of points on surfaces

abstract: We prove the conjecture of Marian-Oprea-Pandharipande on the Segre series associated to a rank zero class. Hence the rank zero Segre integrals on the Hilbert schemes of points for all surfaces are determined.


title: Strict transfer operator approaches for non-compact hyperbolic orbisurfaces

abstract: By building on former results and the cusp expansion algorithm, we construct strict transfer operator approaches for geometrically finite developable hyperbolic orbisurfaces of infinite area without cusps. Together with the cusp expansion algorithm for orbisurfaces with cusps, this provides strict transfer operator approaches for all hyperbolic orbifolds fulfilling mild assumptions. For every such orbisurface we obtain explicit transfer operator families for which, by virtue of a result of Fedosova and Pohl, the Fredholm determinant function is seen to be identical to the associated Selberg zeta function.


title: Compact Star Twins with a Dark Matter Core

abstract: We present a model of compact stars with a dark matter core. The hadronic equation of state is based on the parity doublet model and does not present a phase transition to quark matter. Instead, a strong first-order phase transition to dark matter described by a constant speed of sound model leads to the scenario of compact star mass twins. Compact star structural properties which obey state-of-the-art measurements and constraints are presented.


title: Typesafe Coordinate Systems in High-Throughput Sequencing Applications

abstract: High-throughput sequencing file formats and tools encode coordinate intervals with respect to a reference sequence in at least four distinct, incompatible ways. Integrating data from and moving data between different formats has the potential to introduce subtle off-by-one errors. Here, we introduce the notion of typesafe coordinates: coordinate intervals are not only an integer pair, but members of a type class comprising four types: the Cartesian product of a zero or one basis, and an open or closed interval end. By leveraging the type system of statically and strongly-typed, compiled languages we can provide static guarantees that an entire class of error is eliminated. We provide a reference implementation in D as part of a larger work (dhtslib), and proofs of concept in Rust, OCaml, and Python. Exploratory implementations are available at https://github.com/blachlylab/typesafe-coordinates.


title: Learning state correspondence of reinforcement learning tasks for knowledge transfer

abstract: Deep reinforcement learning has shown an ability to achieve super-human performance in solving complex reinforcement learning (RL) tasks only from raw-pixels. However, it fails to reuse knowledge from previously learnt tasks to solve new, unseen ones. Generalizing and reusing knowledge are the fundamental requirements for creating a truly intelligent agent. This work proposes a general method for one-to-one transfer learning based on generative adversarial network model tailored to RL task.


title: Origin of Echo-Enabled Harmonic Generation

abstract: In this paper I present overview of two preprints that were published at Budker Institute of Nuclear Physics in 1980 [1,2]. These original publications describing harmonic generation technique which has the same foundation as Echo-Enabled Har-monic Generation (EEHG). They recently become available online [3], but they are still unknown to FEL community. This paper is an attempt to cur-rent this omission.


title: PlaStIL: Plastic and Stable Memory-Free Class-Incremental Learning

abstract: Plasticity and stability are needed in class-incremental learning in order to learn from new data while preserving past knowledge. Due to catastrophic forgetting, finding a compromise between these two properties is particularly challenging when no memory buffer is available. Mainstream methods need to store two deep models since they integrate new classes using fine-tuning with knowledge distillation from the previous incremental state. We propose a method which has similar number of parameters but distributes them differently in order to find a better balance between plasticity and stability. Following an approach already deployed by transfer-based incremental methods, we freeze the feature extractor after the initial state. Classes in the oldest incremental states are trained with this frozen extractor to ensure stability. Recent classes are predicted using partially fine-tuned models in order to introduce plasticity. Our proposed plasticity layer can be incorporated to any transfer-based method designed for exemplar-free incremental learning, and we apply it to two such methods. Evaluation is done with three large-scale datasets. Results show that performance gains are obtained in all tested configurations compared to existing methods.


title: Constrained instanton approximation of Skyrmions with massive pions

abstract: We present the idea of using the holonomy along a line of a constrained instanton solution (an approximate solution of the Euclidean equations of motion subject to a constraint) of an $\rm SU(2)$ Yang-Mills-Higgs theory to approximate the Skyrmion solution in a chiral model with massive pions. The fact that the gauge field acquires a nonzero mass due to the Higgs mechanism implies that a constrained instanton decays exponentially far from its center, and so does the Skyrmion configuration that it generates via the Atiyah-Manton construction. This is precisely the desired behavior at large distances for the true Skyrmion solutions when the pion mass is included.


title: Generation of Spin-Wave Pulses by Inverse Design

abstract: The development of fast magnonic information processing nanodevices requires operating with short spin-wave pulses, but, the shorter the pulses, the more affected they are by information loss due to broadening and dispersion. The capability of engineering spin-wave pulses and controlling their propagation could solve this problem. Here, we provide a method to generate linear spin-wave pulses with a desired spatial-temporal profile in magnonic waveguides based on inverse design. As relevant examples, we theoretically predict that both rectangular and self-compressing spin-wave pulses can be generated in state-of-the-art waveguides with fidelities >96% using narrow stripline antennas. The method requires minimal computational overhead and is universal, i.e., it applies to arbitrary targeted pulse shapes, type of waves (exchange or dipolar), waveguide materials, and waveguide geometries. It can also be extended to more complex magnonic structures. Our results could lead to the utilization of large-scale magnonic circuits for classical and quantum information processing.


title: Shared control of a 16 semiconductor quantum dot crossbar array

abstract: The efficient control of a large number of qubits is one of most challenging aspects for practical quantum computing. Current approaches in solid-state quantum technology are based on brute-force methods, where each and every qubit requires at least one unique control line, an approach that will become unsustainable when scaling to the required millions of qubits. Here, inspired by random access architectures in classical electronics, we introduce the shared control of semiconductor quantum dots to efficiently operate a two-dimensional crossbar array in planar germanium. We tune the entire array, comprising 16 quantum dots, to the few-hole regime and, to isolate an unpaired spin per dot, we confine an odd number of holes in each site. Moving forward, we establish a method for the selective control of the quantum dots interdot coupling and achieve a tunnel coupling tunability over more than 10 GHz. The operation of a quantum electronic device with fewer control terminals than tunable experimental parameters represents a compelling step forward in the construction of scalable quantum technology.


title: On the centre of Iwahori-Hecke algebras

abstract: We prove triviality of the centre of arbitrary Hecke algebras of irreducible non-finite non-affine type. This result is obtained as a consequence of the following structure result for conjugacy classes of the underlying Coxeter groups. If $W$ is any infinite irreducible Coxeter group and $w \in W$ is a nontrivial element that is assumed not be a translation in case $W$ is affine, then there is an infinite sequence of conjugates of $w$ by Coxeter generators whose length is non-decreasing and tends to infinity.


title: Universal performance bounds of restart

abstract: As has long been known to computer scientists, the performance of probabilistic algorithms characterized by relatively large runtime fluctuations can be improved by applying a restart, i.e., episodic interruption of a randomized computational procedure followed by initialization of its new statistically independent realization. A similar effect of restart-induced process acceleration could potentially be possible in the context of enzymatic reactions, where dissociation of the enzyme-substrate intermediate corresponds to restarting the catalytic step of the reaction. To date, a significant number of analytical results have been obtained in physics and computer science regarding the effect of restart on the completion time statistics in various model problems, however, the fundamental limits of restart efficiency remain unknown. Here we derive a range of universal statistical inequalities that offer constraints on the effect that restart could impose on the completion time of a generic stochastic process. The corresponding bounds are expressed via simple statistical metrics of the original process such as harmonic mean $h$, median value $m$ and mode $M$, and, thus, are remarkably practical. We test our analytical predictions with multiple numerical examples, discuss implications arising from them and important avenues of future work.


title: Distribution Calibration for Out-of-Domain Detection with Bayesian Approximation

abstract: Out-of-Domain (OOD) detection is a key component in a task-oriented dialog system, which aims to identify whether a query falls outside the predefined supported intent set. Previous softmax-based detection algorithms are proved to be overconfident for OOD samples. In this paper, we analyze overconfident OOD comes from distribution uncertainty due to the mismatch between the training and test distributions, which makes the model can't confidently make predictions thus probably causing abnormal softmax scores. We propose a Bayesian OOD detection framework to calibrate distribution uncertainty using Monte-Carlo Dropout. Our method is flexible and easily pluggable into existing softmax-based baselines and gains 33.33\% OOD F1 improvements with increasing only 0.41\% inference time compared to MSP. Further analyses show the effectiveness of Bayesian learning for OOD detection.


title: EaaS: A Service-Oriented Edge Computing Framework Towards Distributed Intelligence

abstract: Edge computing has become a popular paradigm where services and applications are deployed at the network edge closer to the data sources. It provides applications with outstanding benefits, including reduced response latency and enhanced privacy protection. For emerging advanced applications, such as autonomous vehicles, industrial IoT, and metaverse, further research is needed. This is because such applications demand ultra-low latency, hyper-connectivity, and dynamic and reliable service provision, while existing approaches are inadequate to address the new challenges. Hence, we envision that the future edge computing is moving towards distributed intelligence, where heterogeneous edge nodes collaborate to provide services in large-scale and geo-distributed edge infrastructure. We thereby propose Edge-as-a-Service (EaaS) to enable distributed intelligence. EaaS jointly manages large-scale cross-node edge resources and facilitates edge autonomy, edge-to-edge collaboration, and resource elasticity. These features enable flexible deployment of services and ubiquitous computation and intelligence. We first give an overview of existing edge computing studies and discuss their limitations to articulate the motivation for proposing EaaS. Then, we describe the details of EaaS, including the physical architecture, proposed software framework, and benefits of EaaS. Various application scenarios, such as real-time video surveillance, smart building, and metaverse, are presented to illustrate the significance and potential of EaaS. Finally, we discuss several challenging issues of EaaS to inspire more research towards this new edge computing framework.


title: Cluster-based multidimensional scaling embedding tool for data visualization

abstract: We present a new technique for visualizing high-dimensional data called cluster MDS (cl-MDS), which addresses a common difficulty of dimensionality reduction methods: preserving both local and global structures of the original sample in a single 2-dimensional visualization. Its algorithm combines the well-known multidimensional scaling (MDS) tool with the $k$-medoids data clustering technique, and enables hierarchical embedding, sparsification and estimation of 2-dimensional coordinates for additional points. While cl-MDS is a generally applicable tool, we also include specific recipes for atomic structure applications. We apply this method to non-linear data of increasing complexity where different layers of locality are relevant, showing a clear improvement in their retrieval and visualization quality.


title: HyperPUT: Generating Synthetic Faulty Programs to Challenge Bug-Finding Tools

abstract: As research in automatically detecting bugs grows and produces new techniques, having suitable collections of programs with known bugs becomes crucial to reliably and meaningfully compare the effectiveness of these techniques. Most of the existing approaches rely on benchmarks collecting manually curated real-world bugs, or synthetic bugs seeded into real-world programs. Using real-world programs entails that extending the existing benchmarks or creating new ones remains a complex time-consuming task. In this paper, we propose a complementary approach that automatically generates programs with seeded bugs. Our technique, called HyperPUT, builds C programs from a "seed" bug by incrementally applying program transformations (introducing programming constructs such as conditionals, loops, etc.) until a program of the desired size is generated. In our experimental evaluation, we demonstrate how HyperPUT can generate buggy programs that can challenge in different ways the capabilities of modern bug-finding tools, and some of whose characteristics are comparable to those of bugs in existing benchmarks. These results suggest that HyperPUT can be a useful tool to support further research in bug-finding techniques -- in particular their empirical evaluation.


title: Geometrically Frustrated Systems which are as Singles Hotter Than in Company

abstract: We show that an ensemble of thermally weakly coupled geometrically frustrated systems (GFSs), which are constraint to reside at negative Boltzmann temperatures, is in equilibrium cooler than its constituents, and may even exhibit positive temperatures at low energies. The challenge for the second law of thermodynamics arising from potential heat flow related to the Boltzmann temperature gradient between a GFS and its ensemble is resolved by considering the energy fluctuations above the ground state, i.e. the most probable state of a GFS. They are comprised in the canonical temperature, derived from information theory. Whereas the Boltzmann temperature gradient reveals the direction of the stochastic drift of the most probable state of a GFS within its ensemble, canonical temperature gradients define that of heat flow.


title: An 18.9-minute Blue Large-Amplitude Pulsator Crossing the 'Hertzsprung Gap' of Hot Subdwarfs

abstract: Blue large-amplitude pulsators (BLAPs) represent a new and rare class of hot pulsating stars with unusually large amplitudes and short periods. Up to now, only 24 confirmed BLAPs have been identified from more than one billion monitored stars, including a group with pulsation period longer than $\sim 20$ min (classical BLAPs, hereafter) and the other group with pulsation period below $\sim 8$ min. The evolutionary path that could give rise to such kinds of stellar configurations is unclear. Here we report on a comprehensive study of the peculiar BLAP discovered by the Tsinghua University - Ma Huateng Telescopes for Survey (TMTS), TMTS J035143.63+584504.2 (TMTS-BLAP-1). This new BLAP has an 18.9 min pulsation period and is similar to the BLAPs with a low surface gravity and an extended helium-enriched envelope, suggesting that it is a low-gravity BLAP at the shortest-period end. In particular, the long-term monitoring data reveal that this pulsating star has an unusually large rate of period change, P_dot/P=2.2e-6/yr. Such a significant and positive value challenges its origins from both helium-core pre-white-dwarfs and core helium-burning subdwarfs, but is consistent with that derived from shell helium-burning subdwarfs. The particular pulsation period and unusual rate of period change indicate that TMTS-BLAP-1 is at a short-lived (~10^6 yr) phase of shell-helium ignition before the stable shell-helium burning; in other words, TMTS-BLAP-1 is going through a "Hertzsprung gap" of hot subdwarfs.


title: Safe Autonomous Docking Maneuvers for a Floating Platform based on Input Sharing Control Barrier Functions

abstract: In this article, we present a control strategy for the problem of safe autonomous docking for a planar floating platform (Slider) that emulates the movement of a satellite. Employing the proposed strategy, Slider approaches a docking port with the right orientation, maintaining a safe distance, while always keeping a visual lock on the docking port throughout the docking maneuver. Control barrier functions are designed to impose the safety, direction of approach and visual locking constraints. Three control inputs of the Slider are shared among three barrier functions in enforcing the constraints. It is proved that the control inputs are shared in a conflict-free manner in rendering the sets defining safety and visual locking constraints forward invariant and in establishing finite-time convergence to the visual locking mode. The conflict-free input-sharing ensures the feasibility of a quadratic program that generates minimally-invasive corrections for a nominal controller, that is designed to track the docking port, so that the barrier constraints are respected throughout the docking maneuver. The efficacy of the proposed control design approach is validated through various simulations.


title: trec: An R package for trend estimation and classification to support integrated assessment of the marine ecosystem and environmental factors

abstract: Solvang and Planque (2020) provided a trend estimation and classification (TREC) approach to estimating dominant common trends among multivariate time series observations. This approach was developed to improve communication among stakeholders like marine managers, industry representatives, non-governmental organizations, and governmental agencies as they investigate the common tendencies between a biological community in a marine ecosystem and the local environmental factors. The entire calculation procedure was originally implemented using MATLAB (ver.R2018b). In this paper, we present R package trec, which was motivated by the requests of readers of the Journal of Marine Science, published by the International Council for the Exploration of the Sea. The tasks of trend estimation and classification in the original program have been revised, and new features include an automatic icon assignment algorithm using a multinomial logistic discriminator. Implementation of this package involves three partitions corresponding to TREC1) estimating trends from observed time series data; TREC2) classifying two/three rough patterns; and TREC3) generating a table summarizing categories of common configurations and the automatic icon assignments to them.


title: Distributionally Robust Offline Reinforcement Learning with Linear Function Approximation

abstract: Among the reasons hindering reinforcement learning (RL) applications to real-world problems, two factors are critical: limited data and the mismatch between the testing environment (real environment in which the policy is deployed) and the training environment (e.g., a simulator). This paper attempts to address these issues simultaneously with distributionally robust offline RL, where we learn a distributionally robust policy using historical data obtained from the source environment by optimizing against a worst-case perturbation thereof. In particular, we move beyond tabular settings and consider linear function approximation. More specifically, we consider two settings, one where the dataset is well-explored and the other where the dataset has sufficient coverage of the optimal policy. We propose two algorithms~-- one for each of the two settings~-- that achieve error bounds $\tilde{O}(d^{1/2}/N^{1/2})$ and $\tilde{O}(d^{3/2}/N^{1/2})$ respectively, where $d$ is the dimension in the linear function approximation and $N$ is the number of trajectories in the dataset. To the best of our knowledge, they provide the first non-asymptotic results of the sample complexity in this setting. Diverse experiments are conducted to demonstrate our theoretical findings, showing the superiority of our algorithm against the non-robust one.


title: Determination of diffusion coefficients of mercury atoms in various gases from longitudinal spin relaxation in magnetic gradients

abstract: We present a method to measure the binary diffusion coefficient of mercury atoms in a gas at room temperature and low pressure. It is based on the measurement of the longitudinal spin relaxation of optically pumped mercury-199 atoms in a magnetic field gradient. We provide a consistent set of diffusion coefficients for helium-3, helium-4, argon, krypton, xenon, nitrogen, carbon dioxide, oxygen, and air.


title: Distributed Multi-Robot Obstacle Avoidance via Logarithmic Map-based Deep Reinforcement Learning

abstract: Developing a safe, stable, and efficient obstacle avoidance policy in crowded and narrow scenarios for multiple robots is challenging. Most existing studies either use centralized control or need communication with other robots. In this paper, we propose a novel logarithmic map-based deep reinforcement learning method for obstacle avoidance in complex and communication-free multi-robot scenarios. In particular, our method converts laser information into a logarithmic map. As a step toward improving training speed and generalization performance, our policies will be trained in two specially designed multi-robot scenarios. Compared to other methods, the logarithmic map can represent obstacles more accurately and improve the success rate of obstacle avoidance. We finally evaluate our approach under a variety of simulation and real-world scenarios. The results show that our method provides a more stable and effective navigation solution for robots in complex multi-robot scenarios and pedestrian scenarios. Videos are available at https://youtu.be/r0EsUXe6MZE.


title: Convergence Acceleration in Wireless Federated Learning: A Stackelberg Game Approach

abstract: This paper studies issues that arise with respect to the joint optimization for convergence time in federated learning over wireless networks (FLOWN). We consider the criterion and protocol for selection of participating devices in FLOWN under the energy constraint and derive its impact on device selection. In order to improve the training efficiency, age-of-information (AoI) enables FLOWN to assess the freshness of gradient updates among participants. Aiming to speed up convergence, we jointly investigate global loss minimization and latency minimization in a Stackelberg game based framework. Specifically, we formulate global loss minimization as a leader-level problem for reducing the number of required rounds, and latency minimization as a follower-level problem to reduce time consumption of each round. By decoupling the follower-level problem into two sub-problems, including resource allocation and sub-channel assignment, we achieve an optimal strategy of the follower through monotonic optimization and matching theory. At the leader-level, we derive an upper bound of convergence rate and subsequently reformulate the global loss minimization problem and propose a new age-of-update (AoU) based device selection algorithm. Simulation results indicate the superior performance of the proposed AoU based device selection scheme in terms of the convergence rate, as well as efficient utilization of available sub-channels.


title: Digital 'nudges' to increase childhood vaccination compliance: Evidence from Pakistan

abstract: Pakistan has one of the lowest rates of routine childhood immunization worldwide, with only two-thirds of infants 2 years or younger being fully immunized (Pakistan Demographic and Health Survey 2019). Government-led, routine information campaigns have been disrupted over the last few years due to the on-going COVID-19 pandemic. We use data from a mobile-based campaign that involved sending out short audio dramas emphasizing the importance of vaccines and parental responsibilities in Quetta, Pakistan. Five out of eleven areas designated by the provincial government were randomly selected to receive the audio calls with a lag of 3 months and form the comparison group in our analysis. We conduct a difference-in-difference analysis on data collected by the provincial Department of Health in the 3-month study and find a significant 30% increase over the comparison mean in the number of fully vaccinated children in campaign areas on average. We find evidence that suggests vaccination increased in UCs where vaccination centers were within a short 30-minute travel distance, and that the campaign was successful in changing perceptions about vaccination and reliable sources of advice. Results highlight the need for careful design and targeting of similar soft behavioral change campaigns, catering to the constraints and abilities of the context.


title: On Riesz type inequalities, Hardy-Littlewood type theorems and smooth moduli

abstract: The purpose of this paper is to develop some methods to study Riesz type inequalities, Hardy-Littlewood type theorems and smooth moduli of holomorphic, pluriharmonic and harmonic functions in high-dimensional cases. Initially, we prove some sharp Riesz type inequalities of pluriharmonic functions on bounded symmetric domains. The obtained results extend the main results in (\textit{Trans. Amer. Math. Soc.} {\bf 372} (2019)~ 4031--4051). Furthermore, some Hardy-Littlewood type theorems of holomorphic and pluriharmonic functions on John domains are established. Additionally, we also discuss the Hardy-Littlewood type theorems and smooth moduli of holomorphic, pluriharmonic and harmonic functions. Consequently, we improve and generalize the corresponding results in (\textit{Acta Math.} {\bf 178} (1997)~ 143--167) and (\textit{Adv. Math.} {\bf 187} (2004)~ 146--172).


title: NAAP-440 Dataset and Baseline for Neural Architecture Accuracy Prediction

abstract: Neural architecture search (NAS) has become a common approach to developing and discovering new neural architectures for different target platforms and purposes. However, scanning the search space is comprised of long training processes of many candidate architectures, which is costly in terms of computational resources and time. Regression algorithms are a common tool to predicting a candidate architecture's accuracy, which can dramatically accelerate the search procedure. We aim at proposing a new baseline that will support the development of regression algorithms that can predict an architecture's accuracy just from its scheme, or by only training it for a minimal number of epochs. Therefore, we introduce the NAAP-440 dataset of 440 neural architectures, which were trained on CIFAR10 using a fixed recipe. Our experiments indicate that by using off-the-shelf regression algorithms and running up to 10% of the training process, not only is it possible to predict an architecture's accuracy rather precisely, but that the values predicted for the architectures also maintain their accuracy order with a minimal number of monotonicity violations. This approach may serve as a powerful tool for accelerating NAS-based studies and thus dramatically increase their efficiency. The dataset and code used in the study have been made public.


title: The influence of freestream turbulence on the development of a wind turbine wake

abstract: The wake of an isolated model-scale wind turbine is analysed in a set of inflow conditions having freestream turbulence intensity between 3 % and 12 %, and integral time scales in the range of 0.1 to 10 times the convective timescale based on the turbine diameter. It is observed that the wake generated by the turbine evolves more rapidly, with the onset of the wake evolution being closer to the turbine, for high turbulence intensity and low integral time scale flows, in accordance with literature, while flows at higher integral time scales result in a slow wake evolution, akin to that generated by low-turbulence inflow conditions despite the highly-turbulent ambient condition. The delayed onset of the wake evolution is connected to the stability of the shear layer enveloping the near wake, which is favoured for low-turbulence or high-integral time scale flows, and to the stability of the helical vortex set surrounding the wake, as this favours interaction events and prevents momentum exchange at the wake boundary which hinder wake evolution. The rate at which the velocity in the wake recovers to undisturbed conditions is instead analytically shown to be a function of the Reynolds shear stress at the wake centreline, an observation that is confirmed by measurements. The rate of production of Reynolds shear stress in the wake is then connected to the power harvested by the turbine to explain the differences between flows at constant turbulence intensity and different integral time scales.


title: Swarm-LIO: Decentralized Swarm LiDAR-inertial Odometry

abstract: Accurate self and relative state estimation are the critical preconditions for completing swarm tasks, e.g., collaborative autonomous exploration, target tracking, search and rescue. This paper proposes Swarm-LIO: a fully decentralized state estimation method for aerial swarm systems, in which each drone performs precise ego-state estimation, exchanges ego-state and mutual observation information by wireless communication, and estimates relative state with respect to (w.r.t.) the rest of UAVs, all in real-time and only based on LiDAR-inertial measurements. A novel 3D LiDAR-based drone detection, identification and tracking method is proposed to obtain observations of teammate drones. The mutual observation measurements are then tightly-coupled with IMU and LiDAR measurements to perform real-time and accurate estimation of ego-state and relative state jointly. Extensive real-world experiments show the broad adaptability to complicated scenarios, including GPS-denied scenes, degenerate scenes for camera (dark night) or LiDAR (facing a single wall). Compared with ground-truth provided by motion capture system, the result shows the centimeter-level localization accuracy which outperforms other state-of-the-art LiDAR-inertial odometry for single UAV system.


title: Transformers and CNNs both Beat Humans on SBIR

abstract: Sketch-based image retrieval (SBIR) is the task of retrieving natural images (photos) that match the semantics and the spatial configuration of hand-drawn sketch queries. The universality of sketches extends the scope of possible applications and increases the demand for efficient SBIR solutions. In this paper, we study classic triplet-based SBIR solutions and show that a persistent invariance to horizontal flip (even after model finetuning) is harming performance. To overcome this limitation, we propose several approaches and evaluate in depth each of them to check their effectiveness. Our main contributions are twofold: We propose and evaluate several intuitive modifications to build SBIR solutions with better flip equivariance. We show that vision transformers are more suited for the SBIR task, and that they outperform CNNs with a large margin. We carried out numerous experiments and introduce the first models to outperform human performance on a large-scale SBIR benchmark (Sketchy). Our best model achieves a recall of 62.25% (at k = 1) on the sketchy benchmark compared to previous state-of-the-art methods 46.2%.


title: The maximal regularity property of abstract integro-differential equations

abstract: We provide a convenient framework for the study of the well-posedness of a variety of abstract (integro)differential equations in general Banach function spaces. It allows us to extend and complement the known theory on the maximal regularity of such equations. More precisely, by methods of harmonic analysis, we identify large classes of Banach spaces which are invariant with respect to distributional Fourier multipliers. Such classes include general vector-valued Banach function spaces $\Phi$ and/or the scales of Besov and Triebel-Lizorkin spaces defined by $\Phi$. We apply this result to the study of the well-posedness and maximal regularity property of abstract second-order integro-differential equation, which models various types of elliptic and parabolic problems arising in different areas of applied mathematics.


title: Sample Fit Reliability

abstract: Researchers frequently test and improve model fit by holding a sample constant and varying the model. We propose methods to test and improve sample fit by holding a model constant and varying the sample. Much as the bootstrap is a well-known method to re-sample data and estimate the uncertainty of the fit of parameters in a model, we develop Sample Fit Reliability (SFR) as a set of computational methods to re-sample data and estimate the reliability of the fit of observations in a sample. SFR uses Scoring to assess the reliability of each observation in a sample, Annealing to check the sensitivity of results to removing unreliable data, and Fitting to re-weight observations for more robust analysis. We provide simulation evidence to demonstrate the advantages of using SFR, and we replicate three empirical studies with treatment effects to illustrate how SFR reveals new insights about each study.


title: The Gildener-Weinberg two-Higgs doublet model at two loops

abstract: The Gildener-Weinberg two-Higgs doublet model (GW-2HDM) provides a naturally light and aligned Higgs boson, $H = H(125)$. It has been studied in the one-loop approximation of its effective potential, $V_1$. An important consequence is that the masses of the model's BSM Higgs bosons ($H',A,H^\pm$) are bounded by the sum rule $\left(M_{H'}^4 + M_A^4 + 2M_{H^\pm}^4\right)^{1/4} = 540\,{\rm GeV}$. Although they are well within reach of the LHC, searches for them have been stymied by large QCD backgrounds. Another consequence is that $H$ is highly aligned, i.e., $H$--$H'$ mixing is small and $H$ has only Standard Model couplings. A corollary of this alignment is that search modes such as $H',\,A \leftrightarrow W^+W^-,\,ZZ,\,HZ$ and $H^\pm \leftrightarrow W^\pm Z,\,W^\pm H$ are greatly suppressed. To assess the accuracy of the sum rule and Higgs alignment, we study this model in two loops. This calculation is complicated by having many new contributions. We present two formulations of it to calculate the $H$--$H'$ mass matrix, its eigenvectors $H_1,\,H_2$, and the mass $M_{H_2}$ while fixing $M_{H_1}= 125\,{\rm GeV}$. They give similar results, in accord with the one-loop results. Requiring $M_A = M_{H^\pm}$, we find $180\,{\rm GeV} < M_{A,H^\pm} < 380$--$425\,{\rm GeV}$ and $550$--$700\,{\rm GeV} > M_{H_2} > 125\,{\rm GeV}$, with $M_{H_2}$ decreasing as $M_{A,H^\pm}$ increase. The corrections to $H$-alignment are below ${\cal{O}}(1\%)$. So, the BSM searches above will remain fruitless. Finding the BSM Higgses requires improved sensitivity to their low masses. We discuss two possible searches for this.


title: Integrating Form and Meaning: A Multi-Task Learning Model for Acoustic Word Embeddings

abstract: Models of acoustic word embeddings (AWEs) learn to map variable-length spoken word segments onto fixed-dimensionality vector representations such that different acoustic exemplars of the same word are projected nearby in the embedding space. In addition to their speech technology applications, AWE models have been shown to predict human performance on a variety of auditory lexical processing tasks. Current AWE models are based on neural networks and trained in a bottom-up approach that integrates acoustic cues to build up a word representation given an acoustic or symbolic supervision signal. Therefore, these models do not leverage or capture high-level lexical knowledge during the learning process. In this paper, we propose a multi-task learning model that incorporates top-down lexical knowledge into the training procedure of AWEs. Our model learns a mapping between the acoustic input and a lexical representation that encodes high-level information such as word semantics in addition to bottom-up form-based supervision. We experiment with three languages and demonstrate that incorporating lexical knowledge improves the embedding space discriminability and encourages the model to better separate lexical categories.


title: Automatic Comment Generation via Multi-Pass Deliberation

abstract: Deliberation is a common and natural behavior in human daily life. For example, when writing papers or articles, we usually first write drafts, and then iteratively polish them until satisfied. In light of such a human cognitive process, we propose DECOM, which is a multi-pass deliberation framework for automatic comment generation. DECOM consists of multiple Deliberation Models and one Evaluation Model. Given a code snippet, we first extract keywords from the code and retrieve a similar code fragment from a pre-defined corpus. Then, we treat the comment of the retrieved code as the initial draft and input it with the code and keywords into DECOM to start the iterative deliberation process. At each deliberation, the deliberation model polishes the draft and generates a new comment. The evaluation model measures the quality of the newly generated comment to determine whether to end the iterative process or not. When the iterative process is terminated, the best-generated comment will be selected as the target comment. Our approach is evaluated on two real-world datasets in Java (87K) and Python (108K), and experiment results show that our approach outperforms the state-of-the-art baselines. A human evaluation study also confirms the comments generated by DECOM tend to be more readable, informative, and useful.


title: Macroscopic quantum test with bulk acoustic wave resonators

abstract: Recently, solid-state mechanical resonators have become a platform for demonstrating non-classical behavior of systems involving a truly macroscopic number of particles. Here, we perform the most macroscopic quantum test in a mechanical resonator to date, which probes the validity of quantum mechanics at the microgram mass scale. This is done by a direct measurement of the Wigner function of a high-overtone bulk acoustic wave resonator mode, monitoring the gradual decay of negativities over tens of microseconds. While the obtained macroscopicity of $\mu= 11.3$ is on par with state-of-the-art atom interferometers, future improvements of mode geometry and coherence times could confirm the quantum superposition principle at unprecedented scales.


title: Revisiting NCQED and scattering amplitudes

abstract: Research progresses on the noncommutative gauge theories on the Moyal space are discussed in this minireview. We first present a brief overview on the development of gauge theories on Moyal space, with an emphasis on the role of Seiberg-Witten maps. Two important relations induced by reversible Seiberg-Witten maps, namely the formal equivalence of on-shell DeWitt background field effective action in general and explicit identical relation between tree level scattering amplituded in noncommutative quantum electrodynamics (NCQED), are described in some details. We then proceed to the properties of the tree level two-by-two scattering amplitudes in NCQED, including a forward scattering singularity in NCQED Compton scattering. After covering some phenomenological perspectives of NCYM based models, outlooks into the future are given at the end.


title: Structure and dynamics of motor-driven microtubule bundles

abstract: Connecting the large-scale emergent behaviors of active materials to the microscopic properties of their constituents is a challenge due to a lack of data on the multiscale dynamics and structure of such systems. We approach this problem by studying the impact of polyethylene glycol, a crowding agent, on bundles of microtubules and kinesin-14 molecular motors. Bundles assembled in the presence of either low or high concentrations of polyethylene glycol generate similar net extensile behaviors. However, as polyethylene glycol concentration is increased, the motion of microtubules in the bundles transition from bi-directional sliding with extension to pure extension with no sliding. Small-angle X-ray scattering shows that the transition in microtubule dynamics is concomitant with a rearrangement of microtubules in the bundles from an open hexagonal to a compressed rectangular lattice. These results demonstrate that bundles of microtubules and molecular motors can display similar mesoscopic extensile behaviors despite having very different internal structures and dynamics.


title: SPACE-2: Tree-Structured Semi-Supervised Contrastive Pre-training for Task-Oriented Dialog Understanding

abstract: Pre-training methods with contrastive learning objectives have shown remarkable success in dialog understanding tasks. However, current contrastive learning solely considers the self-augmented dialog samples as positive samples and treats all other dialog samples as negative ones, which enforces dissimilar representations even for dialogs that are semantically related. In this paper, we propose SPACE-2, a tree-structured pre-trained conversation model, which learns dialog representations from limited labeled dialogs and large-scale unlabeled dialog corpora via semi-supervised contrastive pre-training. Concretely, we first define a general semantic tree structure (STS) to unify the inconsistent annotation schema across different dialog datasets, so that the rich structural information stored in all labeled data can be exploited. Then we propose a novel multi-view score function to increase the relevance of all possible dialogs that share similar STSs and only push away other completely different dialogs during supervised contrastive pre-training. To fully exploit unlabeled dialogs, a basic self-supervised contrastive loss is also added to refine the learned representations. Experiments show that our method can achieve new state-of-the-art results on the DialoGLUE benchmark consisting of seven datasets and four popular dialog understanding tasks. For reproducibility, we release the code and data at https://github.com/AlibabaResearch/DAMO-ConvAI/tree/main/space-2.


title: Integrated Correlators in $\mathcal{N}=4$ SYM via $SL(2,\mathbb{Z})$ Spectral Theory

abstract: We perform a systematic study of integrated four-point functions of half-BPS operators in four-dimensional $\mathcal{N}=4$ super Yang-Mills theory with gauge group $SU(N)$. These observables, defined by a certain spacetime integral of $\langle\mathcal{O}_2\mathcal{O}_2\mathcal{O}_p\mathcal{O}_p\rangle$ where $\mathcal{O}_p$ is a superconformal primary of charge $p$, are known to be computable by supersymmetric localization, yet are non-trivial functions of the complexified gauge coupling $\tau$. We find explicit and remarkably simple results for several classes of these observables, exactly as a function of $N$ and $\tau$. Their physical and formal properties are greatly illuminated upon employing the $SL(2,\mathbb{Z})$ spectral decomposition: in this S-duality-invariant eigenbasis, the integrated correlators are fixed simply by polynomials in the spectral parameter. These polynomials are determined recursively by linear algebraic equations relating different $N$ and $p$, such that all integrated correlators are ultimately fixed in terms of the integrated stress tensor multiplets in the $SU(2)$ theory. Our computations include the full matrix of integrated correlators at low values of $p$, and a certain infinite class involving operators of arbitrary $p$. The latter satisfy an open lattice chain equation for all $N$, reminiscent of the Toda equation obeyed by extremal correlators in $\mathcal{N}=2$ superconformal theories. We compute ensemble averages of these observables and analyze our solutions at large $N$, confirming and predicting features of semiclassical AdS$_5\, \times$ S$^5$ supergravity amplitudes.


title: Revisiting Neural Scaling Laws in Language and Vision

abstract: The remarkable progress in deep learning in recent years is largely driven by improvements in scale, where bigger models are trained on larger datasets for longer schedules. To predict the benefit of scale empirically, we argue for a more rigorous methodology based on the extrapolation loss, instead of reporting the best-fitting (interpolating) parameters. We then present a recipe for estimating scaling law parameters reliably from learning curves. We demonstrate that it extrapolates more accurately than previous methods in a wide range of architecture families across several domains, including image classification, neural machine translation (NMT) and language modeling, in addition to tasks from the BIG-Bench evaluation benchmark. Finally, we release a benchmark dataset comprising of 90 evaluation tasks to facilitate research in this domain.


title: CMR3D: Contextualized Multi-Stage Refinement for 3D Object Detection

abstract: Existing deep learning-based 3D object detectors typically rely on the appearance of individual objects and do not explicitly pay attention to the rich contextual information of the scene. In this work, we propose Contextualized Multi-Stage Refinement for 3D Object Detection (CMR3D) framework, which takes a 3D scene as input and strives to explicitly integrate useful contextual information of the scene at multiple levels to predict a set of object bounding-boxes along with their corresponding semantic labels. To this end, we propose to utilize a context enhancement network that captures the contextual information at different levels of granularity followed by a multi-stage refinement module to progressively refine the box positions and class predictions. Extensive experiments on the large-scale ScanNetV2 benchmark reveal the benefits of our proposed method, leading to an absolute improvement of 2.0% over the baseline. In addition to 3D object detection, we investigate the effectiveness of our CMR3D framework for the problem of 3D object counting. Our source code will be publicly released.


title: A Robust Scientific Machine Learning for Optimization: A Novel Robustness Theorem

abstract: Scientific machine learning (SciML) is a field of increasing interest in several different application fields. In an optimization context, SciML-based tools have enabled the development of more efficient optimization methods. However, implementing SciML tools for optimization must be rigorously evaluated and performed with caution. This work proposes the deductions of a robustness test that guarantees the robustness of multiobjective SciML-based optimization by showing that its results respect the universal approximator theorem. The test is applied in the framework of a novel methodology which is evaluated in a series of benchmarks illustrating its consistency. Moreover, the proposed methodology results are compared with feasible regions of rigorous optimization, which requires a significantly higher computational effort. Hence, this work provides a robustness test for guaranteed robustness in applying SciML tools in multiobjective optimization with lower computational effort than the existent alternative.


title: Fast-response hot-wire flow sensors for wind and gust estimation on UAVs

abstract: Due to limitations in available sensor technology, unmanned aerial vehicles (UAVs) lack an active sensing capability to measure turbulence, gusts, or other unsteady aerodynamic phenomena. Conventional in situ anemometry techniques fail to deliver in the harsh and dynamic multirotor environment due to form factor, resolution, or robustness requirements. To address this capability gap, a novel, fast-response sensor system to measure a wind vector in two dimensions is introduced and evaluated. This system, known as `MAST' (for MEMS Anemometry Sensing Tower), leverages advances in microelectromechanical (MEMS) hot-wire devices to produce a solid-state, lightweight, and robust flow sensor suitable for real-time wind estimation onboard a UAV. The MAST uses five pentagonally-arranged microscale hot-wires to determine the wind vector's direction and magnitude. The MAST's performance was evaluated in a wind tunnel at speeds up to 5~m/s and orientations of 0 - 360 degrees. A neural network sensor model was trained from the wind tunnel data to estimate the wind vector from sensor signals. The average error of the sensor is 0.14 m/s for speed and 1.6 degrees for direction. Furthermore, 95% of measurements are within 0.36 m/s error for speed and 5.0 degree error for direction. With a bandwidth of 570 Hz determined from square-wave testing, the MAST stands to greatly enhance UAV wind estimation capabilities and enable capturing relevant high-frequency phenomena in flow conditions.


title: Beyond Learning from Next Item: Sequential Recommendation via Personalized Interest Sustainability

abstract: Sequential recommender systems have shown effective suggestions by capturing users' interest drift. There have been two groups of existing sequential models: user- and item-centric models. The user-centric models capture personalized interest drift based on each user's sequential consumption history, but do not explicitly consider whether users' interest in items sustains beyond the training time, i.e., interest sustainability. On the other hand, the item-centric models consider whether users' general interest sustains after the training time, but it is not personalized. In this work, we propose a recommender system taking advantages of the models in both categories. Our proposed model captures personalized interest sustainability, indicating whether each user's interest in items will sustain beyond the training time or not. We first formulate a task that requires to predict which items each user will consume in the recent period of the training time based on users' consumption history. We then propose simple yet effective schemes to augment users' sparse consumption history. Extensive experiments show that the proposed model outperforms 10 baseline models on 11 real-world datasets. The codes are available at https://github.com/dmhyun/PERIS.


title: Derivation of Euler equations from quantum and classical microscopic dynamics

abstract: We derive Euler equations from a Hamiltonian microscopic dynamics. The microscopic system is a one-dimensional disordered harmonic chain, and the dynamics is either quantum or classical. This chain is an Anderson insulator with a symmetry protected mode: Thermal fluctuations are frozen while the low modes ensure the transport of elongation, momentum and mechanical energy, that evolve according to Euler equations in an hyperbolic scaling limit. In this paper, we strengthen considerably our previous results, where we established a limit in mean starting from a local Gibbs state: We now control the second moment of the fluctuations around the average, yielding a limit in probability, and we enlarge the class of admissible initial states.


title: Monolayer superconductivity and tunable topological electronic structure at the Fe(Te,Se)/Bi2Te3 interface

abstract: The interface between two-dimensional topological Dirac states and an s-wave superconductor is expected to support Majorana bound states that can be used for quantum computing applications. Realizing these novel states of matter and their applications requires control over superconductivity and spin-orbit coupling to achieve spin-momentum locked topological surface states which are simultaneously superconducting. While signatures of Majorana bound states have been observed in the magnetic vortex cores of bulk FeTe0.55Se0.45, inhomogeneity and disorder from doping makes these signatures unclear and inconsistent between vortices. Here we report superconductivity in monolayer FeTe1-ySey (Fe(Te,Se)) grown on Bi2Te3 by molecular beam epitaxy. Spin and angle resolved photoemission spectroscopy directly resolve the interfacial spin and electronic structure of Fe(Te,Se)/Bi2Te3 heterostructures. We find that for y = 0.25 the Fe(Te,Se) electronic structure overlaps with the topological Bi2Te3 interfacial states which disrupts the desired spin-momentum locking. In contrast, for y = 0.1 a smaller Fe(Te,Se) Fermi surface allows for clear spin-momentum locking observed in the topological states. Hence, we demonstrate the Fe(Te,Se)/Bi2Te3 system is a highly tunable platform for realizing Majorana bound states where reduced doping can improve characteristics important for Majorana interrogation and potential applications.


title: Value of Bidirectional V2G Smart Charging Responsive Services: Insights from a Simple CA Model

abstract: In this paper, particle-hopping cellular automaton (CA) models of elastic demand are used to investigate the value added to plug-in electric vehicles (PEV) aggregators by adopting vehicle-to-grid (V2G) responsive services. CA models used earlier to study load-sifting responses are modified to capture discharge/ recharge capabilities of V2G. Results on ramping responses from CA are then analysed to discuss the small contribution to system controllability added by V2G responsive services.


title: Automated Synthesis of Asynchronizations

abstract: Asynchronous programming is widely adopted for building responsive and efficient software, and modern languages such as C# provide async/await primitives to simplify the use of asynchrony. In this paper, we propose an approach for refactoring a sequential program into an asynchronous program that uses async/await, called asynchronization. The refactoring process is parametrized by a set of methods to replace with asynchronous versions, and it is constrained to avoid introducing data races. We investigate the delay complexity of enumerating all data race free asynchronizations, which quantifies the delay between outputting two consecutive solutions. We show that this is polynomial time modulo an oracle for solving reachability in sequential programs. We also describe a pragmatic approach based on an interprocedural data-flow analysis with polynomial-time delay complexity. The latter approach has been implemented and evaluated on a number of non-trivial C# programs extracted from open-source repositories


title: The edge ideals of the join of some vertex weighted oriented graphs

abstract: In this paper, we describe primary decomposition of the edge ideal of the join of some graphs in terms of that information of the edge ideal of every weighted oriented graph. Meanwhile, we also study depth and regularity of symbolic powers and ordinary powers of such an edge ideal. We explicitly compute depth and regularity of ordinary powers of the edge ideal of the join of two graphs consisting of isolated vertices, and also provide upper bounds of regularity of symbolic powers of such an edge ideal. For the edge ideal of the join of two graphs with at least an oriented edge for per graph, we give the exact formulas for their depth and regularity, and also provide the upper bounds of regularity of ordinary powers of such an edge ideal. Some examples show that these upper bounds can be obtained, but may be strict.


title: WildQA: In-the-Wild Video Question Answering

abstract: Existing video understanding datasets mostly focus on human interactions, with little attention being paid to the "in the wild" settings, where the videos are recorded outdoors. We propose WILDQA, a video understanding dataset of videos recorded in outside settings. In addition to video question answering (Video QA), we also introduce the new task of identifying visual support for a given question and answer (Video Evidence Selection). Through evaluations using a wide range of baseline models, we show that WILDQA poses new challenges to the vision and language research communities. The dataset is available at https://lit.eecs.umich.edu/wildqa/.


title: Rotating shallow water equations with bottom drag: bifurcations and growth due to kinetic energy backscatter

abstract: The rotating shallow water equations with f-plane approximation and nonlinear bottom drag are a prototypical model for mid-latitude geophysical flow that experience energy loss through simple topography. Motivated by numerical schemes for large-scale geophysical flow, we consider this model on the whole space with horizontal kinetic energy backscatter source terms built from negative viscosity and stabilizing hyperviscosity with constant parameters. We study its interplay with linear and non-smooth quadratic bottom drag through the existence of coherent flows. Our results highlight that backscatter can have undesired amplification and selection effects, generating obstacles to energy distribution. We find that decreasing linear bottom drag destabilizes the trivial flow and generates nonlinear flows that can be associated with geostrophic equilibria (GE) and inertia-gravity waves (IGWs). The IGWs are periodic travelling waves, while the GE are stationary and can be studied by a plane wave reduction. We show that for isotropic backscatter both bifurcate simultaneously and supercritically, while for anisotropic backscatter the primary bifurcation are GE. In all cases presence of non-smooth quadratic bottom drag implies unusual scaling laws. For the rigorous bifurcation analysis by Lyapunov-Schmidt reduction care has to be taken due to this lack of smoothness and since the hyperviscous terms yield a lack of spectral gap at large wave numbers. For purely smooth bottom drag, we identify a class of explicit such flows that behave linearly within the nonlinear equations: amplitudes can be steady and arbitrary, or grow exponentially and unboundedly. We illustrate the results by numerical computations and present extended branches in parameter space.


title: CoHS-CQG: Context and History Selection for Conversational Question Generation

abstract: Conversational question generation (CQG) serves as a vital task for machines to assist humans, such as interactive reading comprehension, through conversations. Compared to traditional single-turn question generation (SQG), CQG is more challenging in the sense that the generated question is required not only to be meaningful, but also to align with the occurred conversation history. While previous studies mainly focus on how to model the flow and alignment of the conversation, there has been no thorough study to date on which parts of the context and history are necessary for the model. We argue that shortening the context and history is crucial as it can help the model to optimise more on the conversational alignment property. To this end, we propose CoHS-CQG, a two-stage CQG framework, which adopts a CoHS module to shorten the context and history of the input. In particular, CoHS selects contiguous sentences and history turns according to their relevance scores by a top-p strategy. Our model achieves state-of-the-art performances on CoQA in both the answer-aware and answer-unaware settings.


title: The algebraic Brauer group of a pinched variety

abstract: Added lemma provided by Michel Brion. Other (minor) changes. Submitted version. Let k be any field, let X' be a projective and geometrically integral k-scheme and let Y' be a finite closed subscheme of X'. If f: Y'-> Y is a schematically dominant morphism between finite k-schemes and X is obtained by pinching X' along Y' via f, we describe the kernel (and, in certain cases, the cokernel) of the induced pullback map Br_{1}X -> Br_{1}X' between the corresponding algebraic (cohomological) Brauer groups of X and X'_solely_ in terms of the Brauer groups of the residue fields of Y and Y' and the Amitsur subgroups of X and X' in Br k. As an application, we compute the Brauer group of a projective and geometrically integral k-rational curve (with arbitrary singularities) over any field k. We also extend a well-known theorem of Roquette and Lichtenbaum to a class of singular curves over any local field.


title: The Sign of Risk for Present Value of Future Losses

abstract: In the ongoing debate over discount rates and climate change, William Nordhaus has championed a higher discount rate to account for risk. Nicholas Stern has championed a lower rate. Here we prove that in the case of a stream of future losses, risk can only be represented by a lower discount rate, never a higher one.


title: Model-completeness for a dense linear order in weak monadic second order logic

abstract: We present a streamlined and (hopefully) accessible proof of the model-completeness of the weak monadic second order version of a dense linear order with left-endpoint but no right-endpoint in a particular finite signature. We also show how this can be used to establish model-completeness of the lattice of finite unions of closed intervals of a dense linear order, i.e. the lattice of closed definable subsets in a (densely ordered) o-minimal structure, in a particularly simple signature (comprising binary functions for union and intersection together with two constant symbols and four unary function symbols).


title: Syndrome decoding meets multiple instances

abstract: The NP-hard problem of decoding random linear codes is crucial to both coding theory and cryptography. In particular, this problem underpins the security of many code based post-quantum cryptographic schemes. The state-of-art algorithms for solving this problem are the information syndrome decoding algorithm and its advanced variants. In this work, we consider syndrome decoding in the multiple instances setting. Two strategies are applied for different scenarios. The first strategy is to solve all instances with the aid of the precomputation technique. We adjust the current framework and distinguish the offline phase and online phase to reduce the amortized complexity. Further, we discuss the impact on the concrete security of some post-quantum schemes. The second strategy is to solve one out of many instances. Adapting the analysis for some earlier algorithm, we discuss the effectiveness of using advanced variants and confirm a related folklore conjecture.


title: Well-posedness of a class of stochastic partial differential equations with fully monotone coefficients perturbed by L\'evy noise

abstract: In this article, we consider the following class of stochastic partial differential equations (SPDE): \begin{equation*} \left\{\begin{aligned}\mathrm{d} \mathbf{X}(t)&=\mathrm{A}(t,\mathbf{X}(t))\mathrm{d} t+\mathrm{B}(t,\mathbf{X}(t))\mathrm{d}\mathrm{W}(t)+\int_{\mathrm{Z}}\gamma(t,\mathbf{X}(t-),z)\widetilde{\pi}(\mathrm{d} t,\mathrm{d} z),\; t\in[0,T],\\ \mathbf{X}(0)&=\boldsymbol{x} \in \mathbb{H},\end{aligned} \right.\end{equation*} with fully locally monotone coefficients in a Gelfand triplet $\mathbb{V}\subset \mathbb{H}\subset\mathbb{V}^*$, where the mappings \begin{align*} \mathrm{A}:[0,T]\times \mathbb{V}\to\mathbb{V}^*,\quad \mathrm{B}:[0,T]\times \mathbb{V}\to\mathrm{L}_2(\mathbb{U},\mathbb{H}), \quad \gamma:[0,T]\times\mathbb{V}\times\mathrm{Z}\to\mathbb{H}, \end{align*} are measurable, $\mathrm{L}_2(\mathbb{U},\mathbb{H})$ is the space of all Hilbert-Schmidt operators from $\mathbb{U}\to\mathbb{H}$, $\mathrm{W}$ is a $\mathbb{U}$-cylindrical Wiener process and $\widetilde{\pi}$ is a compensated time homogeneous Poisson random measure. Such kind of SPDE cover a large class of quasilinear SPDE and a good number of fluid dynamic models. Under certain generic assumptions of $\mathrm{A},\mathrm{B}$ and $\gamma$, using the classical Faedo-Galekin technique, a compactness method and a version of Skorokhod's representation theorem, we prove the existence of a \emph{probabilistic weak solution} as well as \emph{pathwise uniqueness of solution}. We use the classical Yamada-Watanabe theorem to obtain the existence of a \emph{unique probabilistic strong solution}. Finally, we allow both diffusion coefficient $\mathrm{B}(t,\cdot)$ and jump noise coefficient $\gamma(t,\cdot,z)$ to depend on both $\mathbb{H}$-norm and $\mathbb{V}$-norm, which implies that both the coefficients could also depend on the gradient of solution. We establish the global solvability results.


title: The number of rational points of a class of superelliptic curves

abstract: In this paper, we study the number of $\mathbb F_{q^n}$-rational points on the affine curve $\mathcal{X}_{d,a,b}$ given by the equation $$ y^d=ax\text{Tr}(x)+b,$$ where $\text{Tr}$ denote the trace function from $\mathbb F_{q^n}$ to $\mathbb F_{q}$ and $d$ is a positive integer. In particular, we present bounds for the number of $\mathbb F_{q}$-rational points on $\mathcal{X}_{d,a,b}$ and, for the cases where $d$ satisfies a natural condition, explicit formulas for the number of rational points are obtained. Particularly, a complete characterization is given for the case $d=2$. As a consequence of our results, we compute the number of elements $\alpha$ in $\mathbb F_{q^n}$ such that $\alpha$ and $\text{Tr}(\alpha)$ are quadratic residues in $\mathbb F_{q^n}$.


title: Effects of impact and target parameters on the results of a kinetic impactor: predictions for the Double Asteroid Redirection Test (DART) mission

abstract: The Double Asteroid Redirection Test (DART) spacecraft will impact into the asteroid Dimorphos on September 26, 2022 as a test of the kinetic impactor technique for planetary defense. The efficiency of the deflection following a kinetic impactor can be represented using the momentum enhancement factor, Beta, which is dependent on factors such as impact geometry and the specific target material properties. Currently, very little is known about Dimorphos and its material properties that introduces uncertainty in the results of the deflection efficiency observables, including crater formation, ejecta distribution, and Beta. The DART Impact Modeling Working Group (IWG) is responsible for using impact simulations to better understand the results of the DART impact. Pre-impact simulation studies also provide considerable insight into how different properties and impact scenarios affect momentum enhancement following a kinetic impact. This insight provides a basis for predicting the effects of the DART impact and the first understanding of how to interpret results following the encounter. Following the DART impact, the knowledge gained from these studies will inform the initial simulations that will recreate the impact conditions, including providing estimates for potential material properties of Dimorphos and Beta resulting from DARTs impact. This paper summarizes, at a high level, what has been learned from the IWG simulations and experiments in preparation for the DART impact. While unknown, estimates for reasonable potential material properties of Dimorphos provide predictions for Beta of 1-5, depending on end-member cases in the strength regime.


title: On the well-posedness of a Hamilton-Jacobi-Bellman equation with transport noise

abstract: In this paper we consider the following non-linear stochastic partial differential equation (SPDE): \begin{align*} \begin{cases} \mathrm{d}u(s,x)=\sum^n_{i=1} \mathscr{L}_i u(s,x)\circ \mathrm{d}W_i(s)+\left(V(x)+\mu\Delta u(s,x)-\frac{1}{2}\vert\nabla u(s,x)\vert^2\right)\mathrm{d}s, \quad &\text{in } (0,T)\times \mathbb{T}^n, u(0,x)=u_0(x), & \text{on } \mathbb{T}^n, \end{cases} \end{align*} where $\mathbb{T}^n$ is the $n$-dimensional torus, the functions $u_0, V: \mathbb{T}^n \to \mathbb{R}$ are given and $\{\mathscr{L}_i\}_i$ is a collection of first order linear operators. This can be seen as a Cauchy problem for a Hamilton-Jacobi-Bellman equation with transport noise in any space dimension. We introduce the concept of a strong solution from the realm of PDEs and establish the existence and uniqueness of maximal solutions (strong solutions upto a stopping time). Moreover, for a particular class of $\{\mathscr{L}_i\}_i$ we establish global well-posedness of strong solutions. The proof relies on studying an associated truncated version of the original SPDE and showing its global well-posedness in the class of strong solutions.


title: Red Blue Set Cover Problem on Axis-Parallel Hyperplanes and Other Objects

abstract: Given a universe $\mathcal{U}=R \cup B$ of a finite set of red elements $R$, and a finite set of blue elements $B$ and a family $\mathcal{F}$ of subsets of $\mathcal{U}$, the \RBSC problem is to find a subset $\mathcal{F}'$ of $\mathcal{F}$ that covers all blue elements of $B$ and minimum number of red elements from $R$. We prove that the \RBSC problem is NP-hard even when $R$ and $B$ respectively are sets of red and blue points in ${\rm I\!R}^2$ and the sets in $\mathcal{F}$ are defined by axis-parallel lines i.e, every set is a maximal set of points with the same $x$ or $y$ coordinate. We then study the parameterized complexity of a generalization of this problem, where $\mathcal{U}$ is a set of points in ${\rm I\!R}^d$ and $\mathcal{F}$ is a collection of set of axis-parallel hyperplanes in ${\rm I\!R}^d$, under different parameterizations. For every parameter, we show that the problem is fixed-parameter tractable and also show the existence of a polynomial kernel. We further consider the \RBSC problem for some special types of rectangles in ${\rm I\!R}^2$.


title: Detection of a quasi-periodic oscillation at $\sim$40 mHz in Cen X-3 with Insight-HXMT

abstract: We investigated the quasi-periodic oscillation (QPO) features in the accretion-powered X-ray pulsar Cen X-3 observed by Insight-HXMT. For two observations in 2020 when Cen X-3 was in an extremely soft state, the power density spectrum revealed the presence of obvious QPO features at $\sim$40 mHz with an averaged fractional rms amplitude of $\sim9\%$. We study the mHz QPO frequency and rms amplitude over orbital phases, and find that the QPO frequency is $\sim$33-39 mHz at the orbital phase of 0.1-0.4, increasing to $\sim$37-43 mHz in the orbital phase of 0.4-0.8, but has no strong dependence on X-ray intensity. We also carried out an energy-dependent QPO analysis, the rms amplitude of the mHz QPOs have a decreasing trend as the energy increases from 2 to 20 keV. In addition, the QPO time-lag analysis shows that the time delay is $\sim 20$ ms (a hard lag) in the range of $\sim$5-10 keV, and becomes negative (time lag of $-(20-70)$ ms) above $\sim 10$ keV. The different QPO theoretical models are summarized and discussed. In the end, we suggest that these energy-dependent timing features as well as the origin of mHz QPOs in Cen X-3 may be ascribed to an instability when the accretion disk is truncated near the corotation radius.


title: On the anomaly terms in Cheeger-M\"uller theorem on spaces with conical singularities

abstract: We prove that the anomaly term appearing in the ratio between Reidemeister torsion and analytic torsion for a space with a conical singularity vanishes in the smooth case. Moreover, we show that such anomaly term is non trivial for the cone over a torus.


title: SPACE-3: Unified Dialog Model Pre-training for Task-Oriented Dialog Understanding and Generation

abstract: Recently, pre-training methods have shown remarkable success in task-oriented dialog (TOD) systems. However, most existing pre-trained models for TOD focus on either dialog understanding or dialog generation, but not both. In this paper, we propose SPACE-3, a novel unified semi-supervised pre-trained conversation model learning from large-scale dialog corpora with limited annotations, which can be effectively fine-tuned on a wide range of downstream dialog tasks. Specifically, SPACE-3 consists of four successive components in a single transformer to maintain a task-flow in TOD systems: (i) a dialog encoding module to encode dialog history, (ii) a dialog understanding module to extract semantic vectors from either user queries or system responses, (iii) a dialog policy module to generate a policy vector that contains high-level semantics of the response, and (iv) a dialog generation module to produce appropriate responses. We design a dedicated pre-training objective for each component. Concretely, we pre-train the dialog encoding module with span mask language modeling to learn contextualized dialog information. To capture the structured dialog semantics, we pre-train the dialog understanding module via a novel tree-induced semi-supervised contrastive learning objective with the help of extra dialog annotations. In addition, we pre-train the dialog policy module by minimizing the L2 distance between its output policy vector and the semantic vector of the response for policy optimization. Finally, the dialog generation model is pre-trained by language modeling. Results show that SPACE-3 achieves state-of-the-art performance on eight downstream dialog benchmarks, including intent prediction, dialog state tracking, and end-to-end dialog modeling. We also show that SPACE-3 has a stronger few-shot ability than existing models under the low-resource setting.


title: Threshold for Existence, Non-existence and Multiplicity of positive solutions with prescribed mass for an NLS with a pure power nonlinearity in the exterior of a ball

abstract: We obtain threshold results for the existence, non-existence and multiplicity of normalized solutions for semi-linear elliptic equations in the exterior of a ball. To the best of our knowledge, it is the first result in the literature addressing this problem. In particular, we show that the prescribed mass can affect the number of normalized solutions and has a stabilizing effect in the mass supercritical case. Furthermore, in the threshold we find a new exponent p = 6 when N = 2, which does not seem to have played a role for this equation in the past. Moreover, our findings are "quite surprising" and completely different from the results obtained on the entire space and on balls. We will also show that the nature of the domain is crucial for the existence and stability of standing waves. As a foretaste, it is well-known that in the supercritical case these waves are unstable in RN . In this paper, we will show that in the exterior domain they are strongly stable.


title: Tackling the Unique Challenges of Low-frequency Solar Polarimetry with the Square Kilometre Array Low Precursor: Pipeline Implementation

abstract: The dynamics and the structure of the solar corona are determined by its magnetic field. Measuring coronal magnetic fields is, however, extremely hard. The polarization of low-frequency radio emissions has long been recognized as one of the few effective observational probes of magnetic fields in the mid and high corona. However, the extreme intrinsic variability of this emission, the limited ability of most of the available existing instrumentation (until recently) to capture it, and the technical challenges involved have all contributed to its use being severely limited. The high dynamic-range spectropolarimetric snapshot imaging capability that is needed for radio coronal magnetography is now within reach. This has been enabled by the confluence of data from the Murchison Widefield Array (MWA), a Square Kilometre Array (SKA) precursor, and our unsupervised and robust polarization calibration and imaging software pipeline dedicated to the Sun-Polarimetry using the Automated Imaging Routine for Compact Arrays of the Radio Sun (P-AIRCARS). Here, we present the architecture and implementation details of P-AIRCARS. Although the present implementation of P-AIRCARS is tuned to the MWA, the algorithm itself can easily be adapted for future arrays, such as SKA1-Low. We hope and expect that P-AIRCARS will enable exciting new science with instruments like the MWA, and that it will encourage the wider use of radio imaging in the larger solar physics community.


title: The potential roles of transacylation in intracellular lipolysis and related QSSA approximations

abstract: Fatty acids (FAs) are crucial energy metabolites, signalling molecules, and membrane building blocks for a wide range of organisms. Adipose triglyceride lipase (ATGL) is the first and presumingly most crucial regulator of FA release from triacylglycerols (TGs) stored within cytosolic lipid droplets. However, besides the function of releasing FAs by hydrolysing TGs into diacylglycerols (DGs), ATGL also promotes the transacylation reaction of two DG molecules into one TG and one monoacylglycerol molecule. To date, it is unknown whether DG transacylation is a coincidental byproduct of ATGL-mediated lipolysis or whether it is physiologically relevant. Experimental evidence is scarce since both, hydrolysis and transacylation, rely on the same active site of ATGL and always occur in parallel in an ensemble of molecules. This paper illustrates the potential roles of transacylation. It shows that, depending on the kinetic parameters but also on the state of the hydrolytic machinery, transacylation can increase or decrease downstream products up to 50\% and more. We provide an extensive asymptotic analysis including quasi-steady-state approximations (QSSA) with higher order correction terms and provide numerical simulation. We also argue that when assessing the validity of QSSAs one should include parameter sensitivity derivatives. Our results suggest that the transacylation function of ATGL is of biological relevance by providing feedback options and altogether stability to the lipolytic machinery in adipocytes.


title: UIT-ViCoV19QA: A Dataset for COVID-19 Community-based Question Answering on Vietnamese Language

abstract: For the last two years, from 2020 to 2021, COVID-19 has broken disease prevention measures in many countries, including Vietnam, and negatively impacted various aspects of human life and the social community. Besides, the misleading information in the community and fake news about the pandemic are also serious situations. Therefore, we present the first Vietnamese community-based question answering dataset for developing question answering systems for COVID-19 called UIT-ViCoV19QA. The dataset comprises 4,500 question-answer pairs collected from trusted medical sources, with at least one answer and at most four unique paraphrased answers per question. Along with the dataset, we set up various deep learning models as baseline to assess the quality of our dataset and initiate the benchmark results for further research through commonly used metrics such as BLEU, METEOR, and ROUGE-L. We also illustrate the positive effects of having multiple paraphrased answers experimented on these models, especially on Transformer - a dominant architecture in the field of study.


title: Efficient Beam Search for Initial Access Using Collaborative Filtering

abstract: Beamforming-capable antenna arrays overcome the high free-space path loss at higher carrier frequencies. However, the beams must be properly aligned to ensure that the highest power is radiated towards (and received by) the user equipment (UE). While there are methods that improve upon an exhaustive search for optimal beams by some form of hierarchical search, they can be prone to return only locally optimal solutions with small beam gains. Other approaches address this problem by exploiting contextual information, e.g., the position of the UE or information from neighboring base stations (BS), but the burden of computing and communicating this additional information can be high. Methods based on machine learning so far suffer from the accompanying training, performance monitoring and deployment complexity that hinders their application at scale. This paper proposes a novel method for solving the initial beam-discovery problem. It is scalable, and easy to tune and to implement. Our algorithm is based on a recommender system that associates groups (i.e., UEs) and preferences (i.e., beams from a codebook) based on a training data set. Whenever a new UE needs to be served our algorithm returns the best beams in this user cluster. Our simulation results demonstrate the efficiency and robustness of our approach, not only in single BS setups but also in setups that require a coordination among several BSs. Our method consistently outperforms standard baseline algorithms in the given task.


title: Slow-roll inflation in $f(Q)$ non-metric gravity

abstract: We discuss the cosmological inflation in the context of $f(Q)$ non-metric gravity, where $Q$ is the non-metric scalar. After introducing conformal transformations for $f(Q)$ gravity, we first focus on the potential-slow-roll inflation by studying the corresponding potentials for different forms of the function $f(Q)$ in the Einstein frame. Secondly, we investigate the Hubble-slow-roll inflation for three classes of inflationary potentials considered for the specific form $f(Q)\propto Q^{2}$, in the Jordan frame. We compare results in both approaches with observations coming from Planck and BICEP2/Keck array satellites. Observational constraints on the parameters space of the models are obtained as well.


title: Flocking in One Dimension: Asters and Reversals

abstract: We study the one-dimensional active Ising model in which aligning particles undergo diffusion biased by the signs of their spins. The phase diagram obtained varying the density of particles, their hopping rate and the temperature controlling the alignment shows a homogeneous disordered phase but no homogeneous ordered one, as well as two phases with localized dense structures. In the flocking phase, large ordered aggregates move ballistically and stochastically reverse their direction of motion. In what we termed the "aster" phase, dense immobile aggregates of opposite magnetization face each other, exchanging particles, without any net motion of the aggregates. Using a combination of numerical simulations and mean-field theory, we study the evolution of the shapes of the flocks, the statistics of their reversal times, and their coarsening dynamics. Solving exactly for the zero-temperature dynamics of an aster allows us to understand their coarsening, which shows extremal dynamics, while mean-field equations account for their shape.


title: The Universe at the MeV era: neutrino evolution and cosmological observables

abstract: Neutrino physics in the early Universe is key to our understanding of later cosmological stages, such as primordial nucleosynthesis (BBN) or the formation of large-scale structures. The coming decade promises new experimental results to explore and constrain cosmological models even more precisely - which requires robust theoretical predictions. This PhD thesis presents a study of the evolution of neutrinos in the first seconds after the Big Bang, more precisely when the temperature of the Universe is of the order of one mega-electronvolt. This evolution is obtained numerically by solving kinetic equations for which we propose a new derivation. A first application is the calculation of the so-called "standard" decoupling in order to calculate the cosmological parameter quantifying the energy density of the primordial relativistic species, $N_\mathrm{eff}$, to a precision of a few ten-thousandths. This study has highlighted the possibility of effectively describing the phenomenon of flavour oscillations, taking advantage of the large separation of time scales involved. Such an approximation is then adapted and validated in the case of non-zero asymmetries between neutrinos and antineutrinos. Finally, we study semi-analytically the consequences of incomplete neutrino decoupling on BBN, in order to understand how the primordial abundances of helium and deuterium are affected by this physics.


title: Fault-Tolerant Preparation of Quantum Polar Codes Encoding One Logical Qubit

abstract: This paper explores a new approach to fault-tolerant quantum computing (FTQC), relying on quantum polar codes. We consider quantum polar codes of Calderbank-Shor-Steane type, encoding one logical qubit, which we refer to as $\mathcal{Q}_1$ codes. First, we show that a subfamily of $\mathcal{Q}_1$ codes is equivalent to the well-known family of Shor codes. Moreover, we show that $\mathcal{Q}_1$ codes significantly outperform Shor codes, of the same length and minimum distance. Second, we consider the fault-tolerant preparation of $\mathcal{Q}_1$ code states. We give a recursive procedure to prepare a $\mathcal{Q}_1$ code state, based on two-qubit Pauli measurements only. The procedure is not by itself fault-tolerant, however, the measurement operations therein provide redundant classical bits, which can be advantageously used for error detection. Fault-tolerance is then achieved by combining the proposed recursive procedure with an error detection method. Finally, we consider the fault-tolerant error correction of $\mathcal{Q}_1$ codes. We use Steane error correction, which incorporates the proposed fault-tolerant code state preparation procedure. We provide numerical estimates of the logical error rates for $\mathcal{Q}_1$ and Shor codes of length $16$ and $64$ qubits, assuming a circuit-level depolarizing noise model. Remarkably, the $\mathcal{Q}_1$ code of length $64$ qubits achieves a logical error rate very close to $10^{-6}$ for the physical error rate $p = 10^{-3}$, therefore, demonstrating the potential of the proposed polar codes based approach to FTQC.


title: Analytic aspects of $q,r$-analogue of poly-Stirling numbers of both kinds

abstract: The Stirling numbers of type $B$ of the second kind count signed set partitions. In this paper we provide new combinatorial and analytical identities regarding these numbers as well as Broder's $r$-version of these numbers. Among these identities one can find recursions, explicit formulas based on the inclusion-exclusion principle, and also exponential generating functions. These Stirling numbers can be considered as members of a wider family of triangles of numbers that are characterized using results of Comtet and Lancaster. We generalize these theorems, which present equivalent conditions for a triangle of numbers to be a triangle of generalized Stirling numbers, to the case of the $q,r$-poly Stirling numbers, which are $q$-analogues of the restricted Stirling numbers defined by Broder and having a polynomial value appearing in their defining recursion. There are two ways to do this and these ways are related by a nice identity.


title: Volumetric-based Contact Point Detection for 7-DoF Grasping

abstract: In this paper, we propose a novel grasp pipeline based on contact point detection on the truncated signed distance function (TSDF) volume to achieve closed-loop 7-degree-of-freedom (7-DoF) grasping on cluttered environments. The key aspects of our method are that 1) the proposed pipeline exploits the TSDF volume in terms of multi-view fusion, contact-point sampling and evaluation, and collision checking, which provides reliable and collision-free 7-DoF gripper poses with real-time performance; 2) the contact-based pose representation effectively eliminates the ambiguity introduced by the normal-based methods, which provides a more precise and flexible solution. Extensive simulated and real-robot experiments demonstrate that the proposed pipeline can select more antipodal and stable grasp poses and outperforms normal-based baselines in terms of the grasp success rate in both simulated and physical scenarios.