title: Extreme events in dynamical systems and random walkers: A review

abstract: Extreme events gain the attention of researchers due to their utmost importance in various contexts ranging from finance to climatology. This brings such recurrent events to the limelight of attention in interdisciplinary research. A comprehensive review of recent progress is provided to capture recent improvements in analyzing such very high-amplitude events from the point of view of dynamical systems and random walkers. We emphasize, in detail, the mechanisms responsible for the emergence of such events in complex systems. Several mechanisms that contribute to the occurrence of extreme events have been elaborated that investigate the sources of instabilities leading to them. In addition, we discuss the prediction of extreme events from two different contexts, using dynamical instabilities and data-based machine learning algorithms. Tracking of instabilities in the phase space is not always feasible and precise knowledge of the dynamics of extreme events does not necessarily help in forecasting extreme events. Moreover, in most studies on high-dimensional systems, only a few degrees of freedom participate in extreme events' formation. Thus, the notable inclusion of prediction through machine learning is of enormous significance, particularly for those cases where the governing equations of the model are explicitly unavailable. Besides, random walks on complex networks can represent several transport processes, and exceedances of the flux of walkers above a prescribed threshold may describe extreme events. We unveil the theoretical studies on random walkers with their enormous potential for applications in reducing extreme events. We cover the possible controlling strategies, which may be helpful to mitigate extreme events in physical situations like traffic jams, heavy load of web requests, competition for shared resources, floods in the network of rivers, and many more.

categories: physics.data-an math-ph math.MP nlin.AO nlin.CD physics.app-ph


title: Kink oscillations of coronal loops

abstract: Kink oscillations of coronal loops, i.e., standing kink waves, is one of the most studied dynamic phenomena in the solar corona. The oscillations are excited by impulsive energy releases, such as low coronal eruptions. Typical periods of the oscillations are from a few to several minutes, and are found to increase linearly with the increase in the major radius of the oscillating loops. It clearly demonstrates that kink oscillations are natural modes of the loops, and can be described as standing fast magnetoacoustic waves with the wavelength determined by the length of the loop. Kink oscillations are observed in two different regimes. In the rapidly decaying regime, the apparent displacement amplitude reaches several minor radii of the loop. The damping time which is about several oscillation periods decreases with the increase in the oscillation amplitude, suggesting a nonlinear nature of the damping. In the decayless regime, the amplitudes are smaller than a minor radius, and the driver is still debated. The review summarises major findings obtained during the last decade, and covers both observational and theoretical results. Observational results include creation and analysis of comprehensive catalogues of the oscillation events, and detection of kink oscillations with imaging and spectral instruments in the EUV and microwave bands. Theoretical results include various approaches to modelling in terms of the magnetohydrodynamic wave theory. Properties of kink oscillations are found to depend on parameters of the oscillating loop, such as the magnetic twist, stratification, steady flows, temperature variations and so on, which make kink oscillations a natural probe of these parameters by the method of magnetohydrodynamic seismology.


title: Group divisible designs with block size 4 and group sizes 2 and 5

abstract: In this paper we provide a $4$-GDD of type $2^2 5^5$, thereby solving the existence question for the last remaining feasible type for a $4$-GDD with no more than $30$ points. We then show that $4$-GDDs of type $2^t 5^s$ exist for all but a finite specified set of feasible pairs $(t,s)$.


title: On the area of empty axis-parallel rectangles amidst 2-dimensional lattice points

abstract: The dispersion of a point set in the unit square is defined to be the area of the largest empty axis-parallel box. In this paper we are interested in the dispersion of lattices in the plane, that is, the supremum of the area of the empty axis-parallel boxes amidst the lattice points. We introduce a framework with which to study this based on the continued fractions expansions of the generators of the lattice. This framework proves so successful that we were unable to ask a question that we could not answer. We give necessary and sufficient conditions under which a lattice has finite dispersion. We obtain an exact formula for the dispersion of the lattices associated to subgroups of the ring of integer of a quadratic field. We have tight bounds for the dispersion of a lattice based the largest continued fraction coefficient of the generators, accurate to within one half. We know what the $n$-th best lattice is. We provide an equivalent formulation of Zaremba's conjecture. Using our framework we are able to give alternative proofs of the results from two other papers in only a few lines.


title: Individual and Collective Autonomous Development

abstract: The increasing complexity and unpredictability of many ICT scenarios let us envision that future systems will have to dynamically learn how to act and adapt to face evolving situations with little or no a priori knowledge, both at the level of individual components and at the collective level. In other words, such systems should become able to autonomously develop models of themselves and of their environment. Autonomous development includes: learning models of own capabilities; learning how to act purposefully towards the achievement of specific goals; and learning how to act collectively, i.e., accounting for the presence of others. In this paper, we introduce the vision of autonomous development in ICT systems, by framing its key concepts and by illustrating suitable application domains. Then, we overview the many research areas that are contributing or can potentially contribute to the realization of the vision, and identify some key research challenges.


title: A Novel Open Set Energy-based Flow Classifier for Network Intrusion Detection

abstract: Network intrusion detection systems (NIDS) are one of many solutions that make up a computer security system. Several machine learning-based NIDS have been proposed in recent years, but most of them were developed and evaluated under the assumption that the training context is similar to the test context. In real networks, this assumption is false, given the emergence of new attacks and variants of known attacks. To deal with this reality, the open set recognition field, which is the most general task of recognizing classes not seen during training in any domain, began to gain importance in NIDS research. Yet, existing solutions are often bounded to high temporal complexities and performance bottlenecks. In this work, we propose an algorithm to be used in NIDS that performs open set recognition. Our proposal is an adaptation of the single-class Energy-based Flow Classifier (EFC), which proved to be an algorithm with strong generalization capability and low computational cost. The new version of EFC correctly classifies not only known attacks, but also unknown ones, and differs from other proposals from the literature by presenting a single layer with low temporal complexity. Our proposal was evaluated against well-established multi-class algorithms and as an open set classifier. It proved to be an accurate classifier in both evaluations, similar to the state of the art. As a conclusion of our work, we consider EFC a promising algorithm to be used in NIDS for its high performance and applicability in real networks.


title: ChannelAugment: Improving generalization of multi-channel ASR by training with input channel randomization

abstract: End-to-end (E2E) multi-channel ASR systems show state-of-the-art performance in far-field ASR tasks by joint training of a multi-channel front-end along with the ASR model. The main limitation of such systems is that they are usually trained with data from a fixed array geometry, which can lead to degradation in accuracy when a different array is used in testing. This makes it challenging to deploy these systems in practice, as it is costly to retrain and deploy different models for various array configurations. To address this, we present a simple and effective data augmentation technique, which is based on randomly dropping channels in the multi-channel audio input during training, in order to improve the robustness to various array configurations at test time. We call this technique ChannelAugment, in contrast to SpecAugment (SA) which drops time and/or frequency components of a single channel input audio. We apply ChannelAugment to the Spatial Filtering (SF) and Minimum Variance Distortionless Response (MVDR) neural beamforming approaches. For SF, we observe 10.6% WER improvement across various array configurations employing different numbers of microphones. For MVDR, we achieve a 74% reduction in training time without causing degradation of recognition accuracy.


title: Keeping data at the edge of smart irrigation networks: A case study in strawberry greenhouses

abstract: Strawberries are widely appreciated for their aroma, bright red color, juicy texture, and sweetness. They are, however, among the most sensitive fruits when it comes to the quality of the end product. The recent commercial trends show a rising number of farmers who directly sell their products and are interested in using smart solutions for a continuous quality control of the product. Cloud-based approaches for smart irrigation have been widely used in the recent years. However, the network traffic, security and regulatory challenges, which come hand in hand with sharing the crop data with third parties outside the edge of the network, lead strawberry farmers and data owners to rely on global clouds and potentially lose control over their data, which are usually transferred to third party data centers. In this paper, we follow a three-step methodological approach in order to design, implement and validate a solution for smart strawberry irrigation in greenhouses, while keeping the corresponding data at the edge of the network: (i) We develop a small-scale smart irrigation prototype solution with off-the-shelf hardware and software equipment, which we test and evaluate on different kinds of plants in order to gain useful insights for larger scale deployments, (ii) we introduce a reference network architecture, specifically targeting smart irrigation and edge data distribution for strawberry greenhouses, and (iii) adopting the proposed reference architecture, we implement a full-scale system in an actual strawberry greenhouse environment in Greece, and we compare its performance against that of conventional strawberries irrigation. We show that our design significantly outperforms the conventional approach, both in terms of soil moisture variation and in terms of water consumption, and conclude by critically appraising the costs and benefits of our approach in the agricultural industry.


title: Fuzzy Generalised Quantifiers for Natural Language in Categorical Compositional Distributional Semantics

abstract: Recent work on compositional distributional models shows that bialgebras over finite dimensional vector spaces can be applied to treat generalised quantifiers for natural language. That technique requires one to construct the vector space over powersets, and therefore is computationally costly. In this paper, we overcome this problem by considering fuzzy versions of quantifiers along the lines of Zadeh, within the category of many valued relations. We show that this category is a concrete instantiation of the compositional distributional model. We show that the semantics obtained in this model is equivalent to the semantics of the fuzzy quantifiers of Zadeh. As a result, we are now able to treat fuzzy quantification without requiring a powerset construction.


title: Optimal Design of Distributed Energy Systems Considering the Impacts on Electrical Power Networks

abstract: Distributed energy systems (DES) have the potential to minimise costly network upgrades while increasing the proportion of renewable energy generation in the electrical grid, when properly designed. In contrast, poorly designed DES can accelerate the degeneration of existing network infrastructure. Most optimisation models used to design grid-connected DES have oversimplified or excluded constraints associated with alternating current (AC) power flow, as the latter has been studied in a standalone class of models known as Optimal Power Flow (OPF). A small subset of models, labelled DES-OPF models, have attempted to combine these independent frameworks. However, the impacts of using a DES-OPF framework on the resulting designs, as opposed to a conventional DES framework without AC power flow, have not been studied in previous work. This study aims to shed light on these impacts by proposing a bi-level method to solve the computationally-expensive DES-OPF framework, and simultaneously comparing results to a baseline MILP model that utilises direct current (DC) approximations in place of AC OPF, as found abundantly in literature. Two test cases of varying scale are employed to test the frameworks and compare resulting designs. The practical feasibility of the designs is assessed, based on whether the designs can mitigate network violations and energy wastage during standard operation. Results demonstrate that the baseline MILP underestimates total costs due to its inability to detect current and voltage violations, resulting in a 37% increase for one case study when tested with the DES-OPF framework. Major implications on battery capacity are also observed, primarily to manage higher levels of renewable energy curtailment, which emphasise the need to use DES-OPF frameworks when designing grid-connected DES.


title: Constraining Evolution of Magnetic Field Strength in Dissipation Region of Two BL Lac Objects

abstract: With the assumption that the optical variability timescale is dominated by the cooling time of the synchrotron process for BL Lac objects, we estimate time dependent magnetic field strength of the emission region for two BL Lac objects. The average magnetic field strengths are consistent with those estimated from core shift measurement and spectral energy distribution modelling. Variation of magnetic field strength in dissipation region is discovered. Variability of flux and magnetic field strength show no clear correlation, which indicates the variation of magnetic field is not the dominant reason of variability origin. The evolution of magnetic field strength can provide another approach to constrain the energy dissipation mechanism in jet.


title: Energy transport in Z3 chiral clock model

abstract: We characterize the energy transport in a one dimensional $\mathbb{Z}_3$ chiral clock model. The model generalizes the $\mathbb{Z}_2$ symmetric transverse field Ising model (TFIM). The model is parametrized by a chirality parameter $\theta$, in addition to $f$ and $J$ which are analogous to the transverse field and the nearest neighbour spin coupling in the TFIM. Unlike the well studied TFIM and XYZ models, does not transform to a fermionic system. We use a matrix product states implementation of the Lindblad master equation to obtain the non-equilibrium steady state (NESS) in systems of sizes up to $48$. We present the estimated NESS current and its scaling exponent $\gamma$ as a function of $\theta$ at different $f/J$. The estimated $\gamma(f/J,\theta)$ point to a ballistic energy transport along a line of integrable points $f=J\cos{3\theta}$ in the parameter space; all other points deviate from ballistic transport. Analysis of finite size effects within the available system sizes suggest a diffusive behavior away from the integrable points.


title: Dynamic inference of user context through social tag embedding for music recommendation

abstract: Music listening preferences at a given time depend on a wide range of contextual factors, such as user emotional state, location and activity at listening time, the day of the week, the time of the day, etc. It is therefore of great importance to take them into account when recommending music. However, it is very difficult to develop context-aware recommender systems that consider these factors, both because of the difficulty of detecting some of them, such as emotional state, and because of the drawbacks derived from the inclusion of many factors, such as sparsity problems in contextual pre-filtering. This work involves the proposal of a method for the detection of the user contextual state when listening to music based on the social tags of music items. The intrinsic characteristics of social tagging that allow for the description of items in multiple dimensions can be exploited to capture many contextual dimensions in the user listening sessions. The embeddings of the tags of the first items played in each session are used to represent the context of that session. Recommendations are then generated based on both user preferences and the similarity of the items computed from tag embeddings. Social tags have been used extensively in many recommender systems, however, to our knowledge, they have been hardly used to dynamically infer contextual states.


title: Magnetic reconnection as a mechanism to produce multiple protonpopulations and beams locally in the solar wind

abstract: Context. Spacecraft observations early revealed frequent multiple proton populations in the solar wind. Decades of research on their origin have focused on processes such as magnetic reconnection in the low corona and wave-particle interactions in the corona and locally in the solar wind.Aims.This study aims to highlight that multiple proton populations and beams are also produced by magnetic reconnection occurring locally in the solar wind. Methods. We use high resolution Solar Orbiter proton velocity distribution function measurements, complemented by electron and magnetic field data, to analyze the association of multiple proton populations and beams with magnetic reconnection during a period of slow Alfv\'enic solar wind on 16 July 2020. Results. At least 6 reconnecting current sheets with associated multiple proton populations and beams, including a case of magnetic reconnection at a switchback boundary, are found during this day. This represents 2% of the measured distribution functions. We discuss how this proportion may be underestimated, and how it may depend on solar wind type and distance from the Sun. Conclusions. Although suggesting a likely small contribution, but which remains to be quantitatively assessed, Solar Orbiter observations show that magnetic reconnection must be considered as one of the mechanisms that produce multiple proton populations and beams locally in the solar wind.


title: A thermodynamical description of third grade fluid mixtures

abstract: A complete thermodynamical analysis for a non-reacting binary mixture exhibiting the features of a third grade fluid is analyzed. The constitutive functions are allowed to depend on the mass density of the mixture and the concentration of one of the constituents, together with their first and second order gradients, on the specific internal energy of the mixture with its first order gradient, as well as on the symmetric part of the gradient of barycentric velocity. Compatibility with second law of thermodynamics is investigated by applying the extended Liu procedure. An explicit solution of the set of thermodynamic restrictions is obtained by postulating a suitable form of the constitutive relations for the diffusional mass flux, the heat flux and the Cauchy stress tensor. Taking a first order expansion in the gradients of the specific entropy, the expression of the entropy flux is determined. It includes an additional contribution due to non-local effects.


title: The Role of Tactile Sensing in Learning and Deploying Grasp Refinement Algorithms

abstract: A long-standing question in robot hand design is how accurate tactile sensing must be. This paper uses simulated tactile signals and the reinforcement learning (RL) framework to study the sensing needs in grasping systems. Our first experiment investigates the need for rich tactile sensing in the rewards of RL-based grasp refinement algorithms for multi-fingered robotic hands. We systematically integrate different levels of tactile data into the rewards using analytic grasp stability metrics. We find that combining information on contact positions, normals, and forces in the reward yields the highest average success rates of 95.4% for cuboids, 93.1% for cylinders, and 62.3% for spheres across wrist position errors between 0 and 7 centimeters and rotational errors between 0 and 14 degrees. This contact-based reward outperforms a non-tactile binary-reward baseline by 42.9%. Our follow-up experiment shows that when training with tactile-enabled rewards, the use of tactile information in the control policy's state vector is drastically reducible at only a slight performance decrease of at most 6.6% for no tactile sensing in the state. Since policies do not require access to the reward signal at test time, our work implies that models trained on tactile-enabled hands are deployable to robotic hands with a smaller sensor suite, potentially reducing cost dramatically.


title: Evidence for stellar contamination in the transmission spectra of HAT-P-12b

abstract: Transmission spectroscopy characterizes the wavelength dependence of transit depth, revealing atmospheric absorption features in planetary terminator regions. In this context, different optical transmission spectra of HAT-P-12b reported in previous studies exhibited discrepant atmospheric features (e.g., Rayleigh scattering, alkali absorption). We aim to understand the atmosphere of HAT-P-12b using two transit spectroscopic observations by the Gran Telescopio CANARIAS (GTC), and to search for evidence of stellar activity contaminating the transmission spectra, which might be the reason behind the discrepancies. We used Gaussian processes to account for systematic noise in the transit light curves and used nested sampling for Bayesian inferences. We performed joint atmospheric retrievals using the two transmission spectra obtained by GTC OSIRIS, as well as previously published results, coupled with stellar contamination corrections for different observations. The retrieved atmospheric model exhibits no alkali absorption signatures, but shows tentative molecular absorption features including $\rm H_2O$, $\rm CH_4$ and $\rm NH_3$. The joint retrieval of the combined additional public data analysis retrieves similar results, but with a higher metallicity. Based on Bayesian model comparison, the discrepancies of the transmission spectra of HAT-P-12b can be explained by the effect of different levels of unocculted stellar spots and faculae. In addition, we did not find strong evidence for a cloudy or hazy atmosphere from the joint analysis, which is inconsistent with prior studies based on the observations of Hubble Space Telescope.


title: Effects of large-scale advection and small-scale turbulent diffusion on vertical phytoplankton dynamics

abstract: Turbulence has been recognized as a factor of paramount importance for the survival or extinction of sinking phytoplankton species. However, dealing with its multiscale nature in models of coupled fluid and biological dynamics is a formidable challenge. Advection by coherent structures, as those related to winter convection and Langmuir circulation, is also recognized to play a role in the survival and localization of phytoplankton. In this work we revisit a theoretically appealing model for phytoplankton vertical dynamics, and numerically investigate how large-scale fluid motions affect the survival conditions and the spatial distribution of the biological population. For this purpose, and to work with realistic parameter values, we adopt a kinematic flow field to account for the different spatial and temporal scales of turbulent motions. The dynamics of the population density are described by an advection-reaction-diffusion model with a spatially heterogeneous growth term proportional to sunlight availability. We explore the role of fluid transport by progressively increasing the complexity of the flow in terms of spatial and temporal scales. We find that, due to the large-scale circulation, phytoplankton accumulates in downwelling regions and its growth is reduced, confirming previous indications in slightly different conditions. We then explain the observed phenomenology in terms of a plankton filament model. Moreover, by contrasting the results in our different flow cases, we show that the large-scale coherent structures have an overwhelming importance. Indeed, we find that smaller-scale motions only quite weakly affect the dynamics, without altering the general mechanism identified. Such results are relevant for parameterizations in numerical models of phytoplankton life cycles in realistic oceanic flow conditions.


title: Pregroup Grammars, their Syntax and Semantics

abstract: Pregroup grammars were developed in 1999 and stayed Lambek's preferred algebraic model of grammar. The set-theoretic semantics of pregroups, however, faces an ambiguity problem. In his latest book, Lambek suggests that this problem might be overcome using finite dimensional vector spaces rather than sets. What is the right notion of composition in this setting, direct sum or tensor product of spaces?


title: Arbitrarily Precise Quantum Alchemy

abstract: Doping compounds can be considered a perturbation to the nuclear charges in a molecular Hamiltonian. Expansions of this perturbation in a Taylor series, i.e. quantum alchemy, has been used in literature to assess millions of derivative compounds at once rather than enumerating them in costly quantum chemistry calculations. So far, it was unclear whether this series even converges for small molecules, whether it can be used for geometry relaxation and how strong this perturbation may be to still obtain convergent numbers. This work provides numerical evidence that this expansion converges and recovers the self-consistent energy of Hartree-Fock calculations. The convergence radius of this expansion is quantified for dimer examples and systematically evaluated for different basis sets, allowing for estimates of the chemical space that can be covered by perturbing one reference calculation alone. Besides electronic energy, convergence is shown for density matrix elements, molecular orbital energies, and density profiles, even for large changes in electronic structure, e.g. transforming He$_3$ into H$_6$. Subsequently, mixed alchemical and spatial derivatives are used to relax H$_2$ from the electronic structure of He alone, highlighting a path to spatially relaxed quantum alchemy. Finally, the underlying code (APHF) which allows for arbitrary precision evaluation of restricted Hartree-Fock energies and arbitrary-order derivatives is made available to support future method development.


title: Nikolskii Type Inequalities for Entire Functions of Exponential Type in Lorentz Zygmund Spaces

abstract: Nikolskii type inequalities for entire functions of exponential type on Rn for the Lorentz Zygmund spaces are obtained. Some new limiting cases are examined. Application to Besov type spaces of logarithmic smoothness is given.


title: Uniform forcing and immune sets in graphs and hypergraphs

abstract: Zero forcing is an iterative coloring process on a graph that has been widely used in such different areas as the modelling of propagation phenomena in networks and the study of minimum rank problems in matrices and graphs. This paper deals with zero forcing on hypergraphs. (Representing a network by a hypergraph allows us to account for its community structure and for more general interactions between different subsets of nodes.) We consider two natural generalizations to hypergraphs of zero forcing on graphs (one of them already known) and, for each one of these generalizations we look into two clutters that play a significant role in the forcing process: the clutter of minimal forcing sets and the one of minimal immune sets. A formulation of immune sets in terms of neighbourhoods (hence without making reference to the iterative zero forcing process) is presented, highlighting the different behaviour of the distinct forcing rules. Moreover, we obtain the families of minimal forcing and minimal immune sets in the case of complete hypergraphs and we provide a full characterization of forcing and immune uniform clutters, both in the graph and in the hypergraph case.


title: Collapse of turbulent massive cores with ambipolar diffusion and hybrid radiative transfer II. Outflows

abstract: (Abridged) Most massive protostars exhibit bipolar outflows. Nonetheless, there is no consensus regarding the mechanism at the origin of these outflows, nor on the cause of the less-frequently observed monopolar outflows. We aim to identify the origin of early massive protostellar outflows, focusing on the combined effects of radiative transfer and magnetic fields in a turbulent medium. We use four state-of-the-art radiation-magnetohydrodynamical simulations following the collapse of massive 100 Msun pre-stellar cores with the Ramses code. Turbulence is taken into account via initial velocity dispersion. We use a hybrid radiative transfer method and include ambipolar diffusion. We find that turbulence delays the launching of outflows, which appear to be mainly driven by magnetohydrodynamical processes. Magnetic tower flow and the magneto-centrifugal acceleration contribute to the acceleration and the former operates on larger volumes than the latter. Our finest resolution, 5 AU, does not allow us to get converged results on magneto-centrifugally accelerated outflows. Radiative acceleration takes place as well, dominates in the star vicinity, enlarges the outflow extent, and has no negative impact on the launching of magnetic outflows (up to M~17 Msun, L~1e5 Lsun). The associated opening angles (20-30 deg when magnetic fields dominate) suggest additional (de-)collimating effects to meet observational constraints. Outflows are launched nearly perpendicular to the disk and are misaligned with the initial core-scale magnetic fields, in agreement with several observational studies. In the most turbulent run, the outflow is monopolar. We conclude that magnetic processes dominate the acceleration of massive protostellar outflows up to ~17 Msun, against radiative processes. Turbulence perturbs the outflow launching and is a possible explanation for monopolar outflows.


title: Simulations of $^{60}$Fe entrained in ejecta from a near-Earth supernova: Effects of observer motion

abstract: Recent studies have shown that live (not decayed) radioactive $^{60}$Fe is present in deep-ocean samples, Antarctic snow, lunar regolith, and cosmic rays. $^{60}$Fe represents supernova (SN) ejecta deposited in the Solar System around $3 \, \rm Myr$ ago, and recently an earlier pulse $\approx 7 \ \rm Myr $ ago has been found. These data point to one or multiple near-Earth SN explosions that presumably participated in the formation of the Local Bubble. We explore this theory using 3D high-resolution smooth-particle hydrodynamical simulations of isolated supernovae with ejecta tracers in a uniform interstellar medium (ISM). The simulation allows us to trace the supernova ejecta in gas form and those eject in dust grains that are entrained with the gas. We consider two cases of diffused ejecta: when the ejecta are well-mixed in the shock and when they are not. In the latter case, we find that these ejecta remain far behind the forward shock, limiting the distance to which entrained ejecta can be delivered to $\approx 100$ pc in an ISM with $n_\mathrm{H}=0.1\; \rm cm^{-3}$ mean hydrogen density. We show that the intensity and the duration of $^{60}$Fe accretion depend on the ISM density and the trajectory of the Solar System. Furthermore, we show the possibility of reproducing the two observed peaks in $^{60}$Fe concentration with this model by assuming two linear trajectories for the Solar System with $30$-km s$^{-1}$ velocity. The fact that we can reproduce the two observed peaks further supports the theory that the $^{60}$Fe signal was originated from near-Earth SNe.


title: Pairwise Emotional Relationship Recognition in Drama Videos: Dataset and Benchmark

abstract: Recognizing the emotional state of people is a basic but challenging task in video understanding. In this paper, we propose a new task in this field, named Pairwise Emotional Relationship Recognition (PERR). This task aims to recognize the emotional relationship between the two interactive characters in a given video clip. It is different from the traditional emotion and social relation recognition task. Varieties of information, consisting of character appearance, behaviors, facial emotions, dialogues, background music as well as subtitles contribute differently to the final results, which makes the task more challenging but meaningful in developing more advanced multi-modal models. To facilitate the task, we develop a new dataset called Emotional RelAtionship of inTeractiOn (ERATO) based on dramas and movies. ERATO is a large-scale multi-modal dataset for PERR task, which has 31,182 video clips, lasting about 203 video hours. Different from the existing datasets, ERATO contains interaction-centric videos with multi-shots, varied video length, and multiple modalities including visual, audio and text. As a minor contribution, we propose a baseline model composed of Synchronous Modal-Temporal Attention (SMTA) unit to fuse the multi-modal information for the PERR task. In contrast to other prevailing attention mechanisms, our proposed SMTA can steadily improve the performance by about 1\%. We expect the ERATO as well as our proposed SMTA to open up a new way for PERR task in video understanding and further improve the research of multi-modal fusion methodology.


title: An algorithm for reconstructing level-2 phylogenetic networks from trinets

abstract: Evolutionary histories for species that cross with one another or exchange genetic material can be represented by leaf-labelled, directed graphs called phylogenetic networks. A major challenge in the burgeoning area of phylogenetic networks is to develop algorithms for building such networks by amalgamating small networks into a single large network. The level of a phylogenetic network is a measure of its deviation from being a tree; the higher the level of network, the less treelike it becomes. Various algorithms have been developed for building level-1 networks from small networks. However, level-1 networks may not be able to capture the complexity of some data sets. In this paper, we present a polynomial-time algorithm for constructing a rooted binary level-2 phylogenetic network from a collection of 3-leaf networks or trinets. Moreover, we prove that the algorithm will correctly reconstruct such a network if it is given all of the trinets in the network as input. The algorithm runs in time $O(t\cdot n+n^4)$ with $t$ the number of input trinets and $n$ the number of leaves. We also show that there is a fundamental obstruction to constructing level-3 networks from trinets, and so new approaches will need to be developed for constructing level-3 and higher level-networks.


title: Periodic solutions to symmetric Newtonian systems in neighborhoods of orbits of equilibria

abstract: The aim of this paper is to prove the existence of periodic solutions to symmetric Newtonian systems in any neighborhood of an isolated orbit of equilibria. Applying equivariant bifurcation techniques we obtain a generalization of the classical Lyapunov center theorem to the case of symmetric potentials with orbits of non-isolated critical points. Our tool is an equivariant version of the Conley index. To compare the indices we compute cohomological dimensions of some orbit spaces.


title: Coded Computation across Shared Heterogeneous Workers with Communication Delay

abstract: Distributed computing enables large-scale computation tasks to be processed over multiple workers in parallel. However, the randomness of communication and computation delays across workers causes the straggler effect, which may degrade the performance. Coded computation helps to mitigate the straggler effect, but the amount of redundant load and their assignment to the workers should be carefully optimized. In this work, we consider a multi-master heterogeneous-worker distributed computing scenario, where multiple matrix multiplication tasks are encoded and allocated to workers for parallel computation. The goal is to minimize the communication plus computation delay of the slowest task. We propose worker assignment, resource allocation and load allocation algorithms under both dedicated and fractional worker assignment policies, where each worker can process the encoded tasks of either a single master or multiple masters, respectively. Then, the non-convex delay minimization problem is solved by employing the Markov's inequality-based approximation, Karush-Kuhn-Tucker conditions, and successive convex approximation methods. Through extensive simulations, we show that the proposed algorithms can reduce the task completion delay compared to the benchmarks, and observe that dedicated and fractional worker assignment policies have different scopes of applications.


title: The Volctrans GLAT System: Non-autoregressive Translation Meets WMT21

abstract: This paper describes the Volctrans' submission to the WMT21 news translation shared task for German->English translation. We build a parallel (i.e., non-autoregressive) translation system using the Glancing Transformer, which enables fast and accurate parallel decoding in contrast to the currently prevailing autoregressive models. To the best of our knowledge, this is the first parallel translation system that can be scaled to such a practical scenario like WMT competition. More importantly, our parallel translation system achieves the best BLEU score (35.0) on German->English translation task, outperforming all strong autoregressive counterparts.


title: Encryption Device Based on Wave-Chaos for Enhanced Physical Security of Wireless Wave Transmission

abstract: We introduce an encryption device based on wave-chaos to enhance the physical security of wireless wave transmission. The proposed encryption device is composed of a compact quasi-2D disordered cavity, where transmit signals pass through to be distorted in time before transmission. On the receiving end, the signals can only be decrypted when they pass through an identical cavity. In the absence of a proper decryption device, the signals cannot be properly decrypted. If a cavity with a different shape is used on the receiving end, vastly different wave dynamics will prevent the signals from being decrypted, causing them to appear as noise. We experimentally demonstrate the proposed concept in an apparatus representing a wireless link.


title: FooBaR: Fault Fooling Backdoor Attack on Neural Network Training

abstract: Neural network implementations are known to be vulnerable to physical attack vectors such as fault injection attacks. As of now, these attacks were only utilized during the inference phase with the intention to cause a misclassification. In this work, we explore a novel attack paradigm by injecting faults during the training phase of a neural network in a way that the resulting network can be attacked during deployment without the necessity of further faulting. In particular, we discuss attacks against ReLU activation functions that make it possible to generate a family of malicious inputs, which are called fooling inputs, to be used at inference time to induce controlled misclassifications. Such malicious inputs are obtained by mathematically solving a system of linear equations that would cause a particular behaviour on the attacked activation functions, similar to the one induced in training through faulting. We call such attacks fooling backdoors as the fault attacks at the training phase inject backdoors into the network that allow an attacker to produce fooling inputs. We evaluate our approach against multi-layer perceptron networks and convolutional networks on a popular image classification task obtaining high attack success rates (from 60% to 100%) and high classification confidence when as little as 25 neurons are attacked while preserving high accuracy on the originally intended classification task.


title: Non-universal Fermi polaron in quasi two-dimensional quantum gases

abstract: We consider an impurity problem in a quasi-two-dimensional Fermi gas, where a spin-down impurity is immersed in a Fermi sea of N spin-up atoms. Using a variational approach and an effective two-channel model, we obtain the energies of the system for a wide range of interaction strength and for various different mass ratios between the impurity and the back ground fermion in the context of heteronuclear mixture. It is demonstrated that in a quasi-two-dimensional Fermi gas there exists a transition of the ground state from polaron in the weakly interacting region to molecule in the strongly interacting region. The critical interaction strength of the polaron-molecule transition is non-universal and depends on the particle density of the background Fermi sea. We also investigate the properties of the excited repulsive polaron state, and find similar non-universal behavior.


title: Trust Region Policy Optimisation in Multi-Agent Reinforcement Learning

abstract: Trust region methods rigorously enabled reinforcement learning (RL) agents to learn monotonically improving policies, leading to superior performance on a variety of tasks. Unfortunately, when it comes to multi-agent reinforcement learning (MARL), the property of monotonic improvement may not simply apply; this is because agents, even in cooperative games, could have conflicting directions of policy updates. As a result, achieving a guaranteed improvement on the joint policy where each agent acts individually remains an open challenge. In this paper, we extend the theory of trust region learning to MARL. Central to our findings are the multi-agent advantage decomposition lemma and the sequential policy update scheme. Based on these, we develop Heterogeneous-Agent Trust Region Policy Optimisation (HATPRO) and Heterogeneous-Agent Proximal Policy Optimisation (HAPPO) algorithms. Unlike many existing MARL algorithms, HATRPO/HAPPO do not need agents to share parameters, nor do they need any restrictive assumptions on decomposibility of the joint value function. Most importantly, we justify in theory the monotonic improvement property of HATRPO/HAPPO. We evaluate the proposed methods on a series of Multi-Agent MuJoCo and StarCraftII tasks. Results show that HATRPO and HAPPO significantly outperform strong baselines such as IPPO, MAPPO and MADDPG on all tested tasks, therefore establishing a new state of the art.


title: Open Source Software for Teleoperated Driving

abstract: Teleoperation allows a human operator to remotely interact with and control a mobile robot in a dangerous or inaccessible area. Besides well-known applications such as space exploration or search and rescue operations, the application of teleoperation in the area of automated driving, i.e., teleoperated driving (ToD), is becoming more popular. Instead of an in-vehicle human fallback driver, a remote operator can connect to the vehicle using cellular networks and resolve situations that are beyond the automated vehicle (AV)'s operational design domain. Teleoperation of AVs, and unmanned ground vehicles in general, introduces different problems, which are the focus of ongoing research. This paper presents an open source ToD software stack, which was developed for the purpose of carrying out this research. As shown in three demonstrations, the software stack can be deployed with minor overheads to control various vehicle systems remotely.


title: Drift of suspended single-domain nanoparticles in a harmonically oscillating gradient magnetic field

abstract: We study the nonlinear dynamics of single-domain ferromagnetic nanoparticles in a viscous liquid induced by a harmonically oscillating gradient magnetic field in the absence and presence of a static uniform magnetic field. Under some physically reasonable assumptions, we derive a coupled set of stiff ordinary differential equations for the magnetization angle and particle coordinate describing the rotational and translational motions of nanoparticles. Analytical solutions of these equations are determined for nanoparticles near and far from the coordinate origin, and their correctness is confirmed numerically. We show that if a uniform magnetic field is absent, the magnetization angle and particle coordinate of each nanoparticle are periodic functions of time. In contrast, the presence of a uniform magnetic field makes these functions aperiodic. In this case, we perform a detailed analysis of the nanoparticle dynamics and predict the appearance of the drift motion (directed transport) of nanoparticles. We calculate both analytically and numerically the drift velocity, study its dependence on time and model parameters, analyze the physical origin of the drift phenomenon and discuss its potential biomedical applications.


title: Hierarchical approach for energetic particle transport in 1-dimensional uniform plasmas

abstract: The importance of the beam-plasma system in fusion physics relies on its capability in reproducing relevant features of energetic particles interacting with the Alfv\'enic spectrum. We analyze here a multi-level hierarchy of the Vlasov-Poisson induced transport in order to characterize the underlying physical processes.


title: On the Serrin problem for ring-shaped domains

abstract: In this paper, we deal with the long standing open problem of characterising rotationally symmetric solutions to $\Delta u = -2$, when Dirichlet boundary conditions are imposed on a ring-shaped planar domain. From a physical perspective, the solution represents the velocity of a homogeneous incompressible fluid, flowing in steady parallel streamlines through a hollow cylindrical pipe and obeying a no-slip condition. In contrast with Serrin's classical result, we show that the simplest possible set of overdetermining conditions, namely the prescription of locally constant Neumann boundary data, is not sufficient to obtain a complete characterisation of the solutions. A further requirement on the number of maximum points arises in our analysis as a necessary and sufficient condition for the rotational symmetry. In fluid-dynamical terms, our results imply that if the wall shear stress is constant on some connected component of the pipe's wall, then the velocity of the fluid must attain its maximal value only at finitely many streamlines, unless the hollow pipe itself consists of a couple of concentric cylindrical round tubes. A major difficulty in the analysis of this problem comes from the lack of monotonicity of the model solutions, which makes the moving plane method ineffective. To remedy this issue, we introduce some new arguments in the spirit of comparison geometry, that we believe of independent interest.


title: Can Question Generation Debias Question Answering Models? A Case Study on Question-Context Lexical Overlap

abstract: Question answering (QA) models for reading comprehension have been demonstrated to exploit unintended dataset biases such as question-context lexical overlap. This hinders QA models from generalizing to under-represented samples such as questions with low lexical overlap. Question generation (QG), a method for augmenting QA datasets, can be a solution for such performance degradation if QG can properly debias QA datasets. However, we discover that recent neural QG models are biased towards generating questions with high lexical overlap, which can amplify the dataset bias. Moreover, our analysis reveals that data augmentation with these QG models frequently impairs the performance on questions with low lexical overlap, while improving that on questions with high lexical overlap. To address this problem, we use a synonym replacement-based approach to augment questions with low lexical overlap. We demonstrate that the proposed data augmentation approach is simple yet effective to mitigate the degradation problem with only 70k synthetic examples. Our data is publicly available at https://github.com/KazutoshiShinoda/Synonym-Replacement.


title: Linear Delay-Differential operator of a meromorphic function sharing two sets or small function together with values with its $c$-shift or $q$-shift

abstract: The paper is devoted to study the uniqueness problem of linear delay-differential operator of a meromorphic function sharing two sets or small function together with values with its $c$-shift and $q$-shift operator. Results of this paper drastically improve two recent results of Meng-Liu [J. Appl. Math. Inform. 37(1-2)(2019), 133-148] and Qi-Li-Yang [Comput. Methods Funct. Theo., 18(2018), 567-582]. In addition to this, one of our result improve and extend that of Qi-Yang [Comput. Methods Funct. Theo., 20(2020), 159-178].


title: The five dimensional transformed Weyl$-$Yang$-$Kaluza$-$Klein theory of gravity

abstract: We study the case in which the five dimensional theory is the transformed Weyl$-$Yang$-$Kaluza$-$Klein gravity. The dimensionally reduced equations of motion are derived by considering an alternative form of the main equation of the theory in the coordinate basis. The conformal transformation rules are applied to the invariants. We also discuss the possible specific cases and the new Lorentz force density term, in detail.


title: Multi-sensor joint target detection, tracking and classification via Bernoulli filter

abstract: This paper focuses on \textit{joint detection, tracking and classification} (JDTC) of a target via multi-sensor fusion. The target can be present or not, can belong to different classes, and depending on its class can behave according to different kinematic modes. Accordingly, it is modeled as a suitably extended Bernoulli \textit{random finite set} (RFS) uniquely characterized by existence, classification, class-conditioned mode and class\&mode-conditioned state probability distributions. By designing suitable centralized and distributed rules for fusing information on target existence, class, mode and state from different sensor nodes, novel \textit{centralized} and \textit{distributed} JDTC \textit{Bernoulli filters} (C-JDTC-BF and D-JDTC-BF), are proposed. The performance of the proposed JDTC-BF approach is evaluated by means of simulation experiments.


title: The Lov\'{a}sz-Cherkassky theorem for locally finite graphs with ends

abstract: Lov\'{a}sz and Cherkassky discovered independently that, if $G$ is a finite graph and $T\subseteq V(G)$ such that the degree $d_G(v)$ is even for every vertex $v\in V(G)\setminus T$, then the maximum number of edge-disjoint paths which are internally disjoint from~$T$ and connect distinct vertices of $T$ is equal to $\frac{1}{2} \sum_{t\in T}\lambda_G(t, T\setminus \{t\})$ (where $\lambda_G(t, T\setminus \{t\})$ is the size of a smallest cut that separates $t$ and $T\setminus\{t\}$). From another perspective, this means that for every vertex $t\in T$, in any optimal path-system there are $\lambda_G(t, T\setminus \{t\})$ many paths between $t$ and~$T\setminus\{t\}$. We extend the theorem of Lov\'{a}sz and Cherkassky based on this reformulation to all locally-finite infinite graphs and their ends. In our generalisation, $T$ may contain not just vertices but ends as well, and paths are one-way (two-way) infinite when they establish a vertex-end (end-end) connection.


title: The effect of environment on star formation activity and morphology at 0.5 < z < 2.5 in CANDELS

abstract: To explore the effect of environment on star-formation and morphological transformation of high-redshift galaxies, we present a robust estimation of localized galaxy overdensity using a density estimator within the Bayesian probability framework.The maps of environmental overdensity at $0.5< z< 2.5$ are constructed for the five CANDELS fields. In general, the quiescent fraction increases with overdensity and stellar mass. Stellar mass dominates the star formation quenching for massive galaxies, while environmental quenching tends to be more effective for the low-mass galaxies at $0.5< z < 1$. For the most massive galaxies ($M_* > 10^{10.8} M_{\odot}$), the effect of environmental quenching is still significant up to $z \sim 2.5$. No significant environmental dependence is found in the distributions of S\'{e}rsic index and effective radius for SFGs and QGs separately. The primary role of environment might be to control the quiescent fraction. And the morphological parameters are primarily connected with star formation status. The similarity in the trends of quiescent fraction and S\'{e}rsic index along with stellar mass indicates that morphological transformation is accompanied with star formation quenching.


title: Two-phase segmentation for intensity inhomogeneous images by the Allen-Cahn Local Binary Fitting Model

abstract: This paper proposes a new variational model by integrating the Allen-Cahn term with a local binary fitting energy term for segmenting images with intensity inhomogeneity and noise. An inhomogeneous graph Laplacian initialization method (IGLIM) is developed to give the initial contour for two-phase image segmentation problems. To solve the Allen-Cahn equation derived from the variational model, we adopt the exponential time differencing (ETD) method for temporal discretization, and the central finite difference method for spatial discretization. The energy stability of proposed numerical schemes can be proved. Experiments on various images demonstrate the necessity and superiority of proper initialization and verify the capability of our model for two-phase segmentation of images with intensity inhomogeneity and noise.


title: Insertion and Lie Bracket Concerning Finite Sets

abstract: In this article we discuss the operations of partitions (sequence of disjoint finite subsets) which are quotient, insertion, composition and Lie bracket. Moreover, we discuss applications of those operations for Feymman diagrams and Kontesvich's graphs.


title: Sandboxing Controllers for Stochastic Cyber-Physical Systems

abstract: Current cyber-physical systems (CPS) are expected to accomplish complex tasks. To achieve this goal, high performance, but unverified controllers (e.g. deep neural network, black-box controllers from third parties) are applied, which makes it very challenging to keep the overall CPS safe. By sandboxing these controllers, we are not only able to use them but also to enforce safety properties over the controlled physical systems at the same time. However, current available solutions for sandboxing controllers are just applicable to deterministic (a.k.a. non-stochastic) systems, possibly affected by bounded disturbances. In this paper, for the first time we propose a novel solution for sandboxing unverified complex controllers for CPS operating in noisy environments (a.k.a. stochastic CPS). Moreover, we also provide probabilistic guarantees on their safety. Here, the unverified control input is observed at each time instant and checked whether it violates the maximal tolerable probability of reaching the unsafe set. If this probability exceeds a given threshold, the unverified control input will be rejected, and the advisory input provided by the optimal safety controller will be used to maintain the probabilistic safety guarantee. The proposed approach is illustrated empirically and the results indicate that the expected safety probability is guaranteed.


title: End-to-End Dense Video Grounding via Parallel Regression

abstract: Video grounding aims to localize the corresponding video moment in an untrimmed video given a language query. Existing methods often address this task in an indirect way, by casting it as a proposal-and-match or fusion-and-detection problem. Solving these surrogate problems often requires sophisticated label assignment during training and hand-crafted removal of near-duplicate results. Meanwhile, existing works typically focus on sparse video grounding with a single sentence as input, which could result in ambiguous localization due to its unclear description. In this paper, we tackle a new problem of dense video grounding, by simultaneously localizing multiple moments with a paragraph as input. From a perspective on video grounding as language conditioned regression, we present an end-to-end parallel decoding paradigm by re-purposing a Transformer-alike architecture (PRVG). The key design in our PRVG is to use languages as queries, and directly regress the moment boundaries based on language-modulated visual representations. Thanks to its simplicity in design, our PRVG framework can be applied in different testing schemes (sparse or dense grounding) and allows for efficient inference without any post-processing technique. In addition, we devise a robust proposal-level attention loss to guide the training of PRVG, which is invariant to moment duration and contributes to model convergence. We perform experiments on two video grounding benchmarks of ActivityNet Captions and TACoS, demonstrating that our PRVG can significantly outperform previous methods. We also perform in-depth studies to investigate the effectiveness of parallel regression paradigm on video grounding.


title: The analytic lattice cohomology of isolated singularities

abstract: We associate (under a minor assumption) to any analytic isolated singularity of dimension $n\geq 2$ the `analytic lattice cohomology' ${\mathbb H}^*_{an}=\oplus_{q\geq 0}{\mathbb H}^q_{an}$. Each ${\mathbb H}^q_{an}$ is a graded ${\mathbb Z}[U]$--module. It is the extension to higher dimension of the `analytic lattice cohomology' defined for a normal surface singularity with a rational homology sphere link. This latest one is the analytic analogue of the `topological lattice cohomology' of the link of the normal surface singularity, which conjecturally is isomorphic to the Heegaard Floer cohomology of the link. The definition uses a good resolution $\widetilde{X}$ of the singularity $(X,o)$. Then we prove the independence of the choice of the resolution, and we show that the Euler characteristic of ${\mathbb H}^*_{an}$ is $h^{n-1}({\mathcal O}_{\widetilde{X}})$. In the case of a hypersurface weighted homogeneous singularity we relate it to the Hodge spectral numbers of the first interval.


title: Scattering by finely-layered obstacles: frequency-explicit bounds and homogenization

abstract: We consider the scalar Helmholtz equation with variable, discontinuous coefficients, modelling transmission of acoustic waves through an anisotropic penetrable obstacle. We first prove a well-posedness result and a frequency-explicit bound on the solution operator, with both valid for sufficiently-large frequency and for a class of coefficients that satisfy certain monotonicity conditions in one spatial direction, and are only assumed to be bounded (i.e., $L^\infty$) in the other spatial directions. This class of coefficients therefore includes coefficients modelling transmission by penetrable obstacles with a (potentially large) number of layers (in 2-d) or fibres (in 3-d). Importantly, the frequency-explicit bound holds uniformly for all coefficients in this class; this uniformity allows us to consider highly-oscillatory coefficients and study the limiting behaviour when the period of oscillations goes to zero. In particular, we bound the $H^1$ error committed by the first-order bulk correction to the homogenized transmission problem, with this bound explicit in both the period of oscillations of the coefficients and the frequency of the Helmholtz equation; to our knowledge, this is the first homogenization result for the Helmholtz equation that is explicit in these two quantities and valid without the assumption that the frequency is small.


title: Cyber Resilience in IoT network: Methodology and example of assessment through epidemic spreading

abstract: Cyber Resilience is an important property of complex systems and is important consideration in developing specific IoT applications. This work aims at introducing a novel approach to assess IoT resilience adopting the risk perception in network based epidemic spreading approach. In particular IoT has been considered a network of devices where the probability of infection and interactions (communication), needs to be balanced in order to reduce the malware outbreack while maintaining the network functionalities at an acceptable level. The mathematical model and the simulation results reveal the benefit of a shift from a risk-based to a resilience based approach to threat management in IoT.


title: Mid-IR spectroscopy with NIR grating spectrometers

abstract: Mid-infrared (mid-IR) spectroscopy is a crucial workhorse for a plethora of analytical applications and is suitable for diverse materials, including gases, polymers or biological tissue. However, this technologically significant wavelength regime between 2.5-10$\mu$m suffers from technical limitations primarily related to the large noise in mid-IR detectors and the complexity and cost of bright, broadband mid-IR light sources. Here, using highly non-degenerate, broadband photon pairs from bright spontaneous parametric down-conversion (SPDC) in a nonlinear interferometer, we circumvent these limitations and realise spectroscopy in the mid-IR using only a visible (VIS) solid-state laser and an off-the-shelf, commercial near-infrared (NIR) grating spectrometer. With this proof-of-concept implementation, covering a broad range from 3.2$\mu$m to 4.4$\mu$m, we access short integration times down to 1s and signal-to-noise ratios above 200 at a spectral resolution from 12cm$^{-1}$ down to 1.5cm$^{-1}$ for longer integration times. Through the analysis of polymer samples and the ambient CO$_2$ in our laboratory, we highlight the potential of this measurement technique for real-world applications.


title: Towards Private On-Chain Algorithmic Trading

abstract: While quantitative automation related to trading crypto-assets such as ERC-20 tokens has become relatively commonplace, with services such as 3Commas and Shrimpy offering user-friendly web-driven services for even the average crypto trader, we have not yet seen the emergence of on-chain trading as a phenomenon. We hypothesize that just like decentralized exchanges (DEXes) that by now are by some measures more popular than traditional exchanges, process in the space of decentralized finance (DeFi) may enable attractive online trading automation options. In this paper we present ChainBot, an approach for creating algorithmic trading bots with the help of blockchain technology. We show how to partition the computation into on- and off-chain components in a way that provides a measure of end-to-end integrity, while preserving the algorithmic "secret sauce". Our system is enabled with a careful use of algorithm partitioning, zero-knowledge proofs and smart contracts. We also show that with layer-2 (L2) technologies, trades can be kept private, which means that algorithmic parameters are difficult to recover by a chain observer. Our approach offers more transparent access to liquidity and better censorship-resistance compared to traditional off-chain trading approaches. We develop a sample ChainBot and train it on historical data, resulting in returns that are up to 2.4x the buy-and-hold strategy, which we use as our baseline. Our measurements show that across 1000 runs, the end-to-end average execution time for our system is 48.4 seconds. We demonstrate that the frequency of trading does not significantly affect the rate of return and Sharpe ratio, which indicates that we do not have to trade at every block, thereby significantly saving in terms of gas fees. In our implementation, a user who invests \$1,000 would earn \$105, and spend \$3 on gas; assuming a user pool of 1,000 subscribers.


title: Design-based theory for Lasso adjustment in randomized block experiments with a general blocking scheme

abstract: Blocking, a special case of rerandomization, is routinely implemented in the design stage of randomized experiments to balance the baseline covariates. Regression adjustment is highly encouraged in the analysis stage to adjust for the remaining covariate imbalances. This study proposes methods that combine blocking, rerandomization, and regression adjustment techniques in randomized experiments with high-dimensional covariates and a general blocking scheme. In the design stage, we suggest the implementation of blocking and rerandomization to balance the fixed number of covariates most relevant to the outcomes. For the analysis stage, we propose a regression adjustment method based on least absolute shrinkage and selection operator (Lasso) to adjust for the remaining imbalances in additional high-dimensional covariates. We derive the asymptotic properties of the proposed estimator and outline the conditions under which this estimator is more efficient than the unadjusted one. Moreover, we provide a conservative variance estimator to facilitate valid inferences. Our design-based analysis allows for model misspecification and is applicable to heterogeneous block sizes, propensity scores, and treatment effects. Simulation studies and two real-data analyses demonstrate the advantages of the proposed method.


title: Tighter monogamy and polygamy relations for a superposition of the generalized $W$-class state and vacuum

abstract: Monogamy and polygamy relations characterize the distributions of entanglement in multipartite systems. We investigate the monogamy and polygamy relations with respect to any partitions for a superposition of the generalized $W$-class state and vacuum in terms of the Tsallis-$q$ entanglement and the R\'enyi-$\alpha$ entanglement. By using the Hamming weight of the binary vectors related to the partitions of the subsystems, new classes of monogamy and polygamy inequalities are derived, which are shown to be tighter than the existing ones. Detailed examples are presented to illustrate the finer characterization of entanglement distributions.


title: Necessary and Sufficient Conditions for State Feedback Equivalence to Negative Imaginary Systems

abstract: In this paper, we present necessary and sufficient conditions under which a linear time-invariant (LTI) system is state feedback equivalent to a negative imaginary (NI) system. More precisely, we show that a minimal LTI strictly proper system can be rendered NI using full state feedback if and only if it can be output transformed into a system, which has relative degree less than or equal to two and is weakly minimum phase. We also considered the problems of state feedback equivalence to output strictly negative imaginary systems and strongly strict negative imaginary systems. Then we apply the NI state feedback equivalence result to robustly stabilize an uncertain system with strictly negative imaginary uncertainty. An example is provided to illustrate the proposed results, for the purpose of stabilizing an uncertain system.


title: Search for the production of dark matter candidates in association with heavy dimuon resonance using the CMS open data for pp collisions at $\sqrt{s}$ = 8 TeV

abstract: In this work, we present a search for the possible production of Dark Matter particles at the Large Hadron Collider alongside a new hypothetical gauge boson denoted by Z$^{\prime}$, which is governed by a model called Mono-Z$^{\prime}$. The topology of the studied events is dimuons plus large missing transverse momentum. The analyzed data were the CMS open data samples collected by the CMS detector, in addition to the CMS open Monte Carlo samples, for the proton-proton collisions at 8 TeV center of mass energy during 2012, which correspond to an integrated luminosity of 11.6 fb$^{-1}$. Two benchmarks scenarios were used for interpreting the data, the Dark Higgs scenario as a simplified scenario of the Mono-Z$^{\prime}$ model and the effective field theory formalism of the same model. No evidence for the existence of dark matter candidates was found. Consequently, 95$\%$ confidence level limits were set on the masses of the Z$^{\prime}$ and the cutoff scale of the effective field theory.


title: Enhancing the hybridization of plasmons in graphene with 2D superconductor collective modes

abstract: We explore ways in which the close proximity between graphene sheets and monolayers of 2D superconductors can lead to hybridization between their collective excitations. We consider heterostructures formed by combinations of graphene sheets and 2D superconductor monolayers. The broad range of energies in which the graphene plasmon can exist, together with its tunability, makes such heterostrucutres promising platforms for probing the many-body physics of superconductors. We show that the hybridization between the graphene plasmon and the Bardasis-Schrieffer mode of a 2D superconductor results in clear signatures on the near-field reflection coefficient of the heterostructure, which in principle can be observed in scanning near-field microscopy experiments.


title: A new block diagonal preconditioner for a class of $3\times 3$ block saddle point problems

abstract: We study the performance of a new block preconditioner for a class of $3\times3$ block saddle point problems which arise from finite element methods for solving time-dependent Maxwell equations and some other practical problems. We also estimate the lower and upper bounds of eigenvalues of the preconditioned matrix. \cred{Finally, we examine our new preconditioner to accelerate the convergence speed of the GMRES method which shows the effectiveness of the preconditioner.


title: FormatFuzzer: Effective Fuzzing of Binary File Formats

abstract: Effective fuzzing of programs that process structured binary inputs, such as multimedia files, is a challenging task, since those programs expect a very specific input format. Existing fuzzers, however, are mostly format-agnostic, which makes them versatile, but also ineffective when a specific format is required. We present FormatFuzzer, a generator for format-specific fuzzers. FormatFuzzer takes as input a binary template (a format specification used by the 010 Editor) and compiles it into C++ code that acts as parser, mutator, and highly efficient generator of inputs conforming to the rules of the language. The resulting format-specific fuzzer can be used as a standalone producer or mutator in black-box settings, where no guidance from the program is available. In addition, by providing mutable decision seeds, it can be easily integrated with arbitrary format-agnostic fuzzers such as AFL to make them format-aware. In our evaluation on complex formats such as MP4 or ZIP, FormatFuzzer showed to be a highly effective producer of valid inputs that also detected previously unknown memory errors in ffmpeg and timidity.


title: The dg Leavitt algebra, singular Yoneda category and singularity category

abstract: For any finite dimensional algebra $\Lambda$ given by a quiver with relations, we prove that its dg singularity category is quasi-equivalent to the perfect dg derived category of a dg Leavitt path algebra. The result might be viewed as a deformed version of the known description of the dg singularity category of a radical-square-zero algebra in terms of a Leavitt path algebra with trivial differential. The above result is achieved in two steps. We first introduce the singular Yoneda dg category of $\Lambda$, which is quasi-equivalent to the dg singularity category of $\Lambda$. The construction of this new dg category follows from a general operation for dg categories, namely an explicit dg localization inverting a natural transformation from the identity functor to a dg endofunctor. This localization turns out to be quasi-equivalent to a dg quotient category. Secondly, we prove that the endomorphism algebra of the quotient of $\Lambda$ modulo its Jacobson radical in the singular Yoneda dg category is isomorphic to the dg Leavitt path algebra. The appendix is devoted to an alternative proof of the result using Koszul-Moore duality and derived localizations.


title: Single-Particle Mobility Edge without Disorder

abstract: The existence of localization and mobility edges in one-dimensional lattices is commonly thought to depend on disorder (or quasidisorder). We investigate localization properties of a disorder-free lattice subject to an equally spaced electric field. We analytically show that, even though the model has no quenched disorder, this system manifests an exact mobility edge and the localization regime extends to weak fields, in contrast to gigantic field for the localization of a usual Stark lattice. For strong fields, the Wannier-Stark ladder is recovered and the number of localized eigenstates is inversely proportional to the spacing. Moreover, we study the time dependence of an initially localized excitation and dynamically probe the existence of mobility edge.


title: Semi-Supervised Imitation Learning with Mixed Qualities of Demonstrations for Autonomous Driving

abstract: In this paper, we consider the problem of autonomous driving using imitation learning in a semi-supervised manner. In particular, both labeled and unlabeled demonstrations are leveraged during training by estimating the quality of each unlabeled demonstration. If the provided demonstrations are corrupted and have a low signal-to-noise ratio, the performance of the imitation learning agent can be degraded significantly. To mitigate this problem, we propose a method called semi-supervised imitation learning (SSIL). SSIL first learns how to discriminate and evaluate each state-action pair's reliability in unlabeled demonstrations by assigning higher reliability values to demonstrations similar to labeled expert demonstrations. This reliability value is called leverage. After this discrimination process, both labeled and unlabeled demonstrations with estimated leverage values are utilized while training the policy in a semi-supervised manner. The experimental results demonstrate the validity of the proposed algorithm using unlabeled trajectories with mixed qualities. Moreover, the hardware experiments using an RC car are conducted to show that the proposed method can be applied to real-world applications.


title: High-dimensional regression with potential prior information on variable importance

abstract: There are a variety of settings where vague prior information may be available on the importance of predictors in high-dimensional regression settings. Examples include ordering on the variables offered by their empirical variances (which is typically discarded through standardisation), the lag of predictors when fitting autoregressive models in time series settings, or the level of missingness of the variables. Whilst such orderings may not match the true importance of variables, we argue that there is little to be lost, and potentially much to be gained, by using them. We propose a simple scheme involving fitting a sequence of models indicated by the ordering. We show that the computational cost for fitting all models when ridge regression is used is no more than for a single fit of ridge regression, and describe a strategy for Lasso regression that makes use of previous fits to greatly speed up fitting the entire sequence of models. We propose to select a final estimator by cross-validation and provide a general result on the quality of the best performing estimator on a test set selected from among a number $M$ of competing estimators in a high-dimensional linear regression setting. Our result requires no sparsity assumptions and shows that only a $\log M$ price is incurred compared to the unknown best estimator. We demonstrate the effectiveness of our approach when applied to missing or corrupted data, and time series settings. An R package is available on github.


title: Unbiased Loss Functions for Multilabel Classification with Missing Labels

abstract: This paper considers binary and multilabel classification problems in a setting where labels are missing independently and with a known rate. Missing labels are a ubiquitous phenomenon in extreme multi-label classification (XMC) tasks, such as matching Wikipedia articles to a small subset out of the hundreds of thousands of possible tags, where no human annotator can possibly check the validity of all the negative samples. For this reason, propensity-scored precision -- an unbiased estimate for precision-at-k under a known noise model -- has become one of the standard metrics in XMC. Few methods take this problem into account already during the training phase, and all are limited to loss functions that can be decomposed into a sum of contributions from each individual label. A typical approach to training is to reduce the multilabel problem into a series of binary or multiclass problems, and it has been shown that if the surrogate task should be consistent for optimizing recall, the resulting loss function is not decomposable over labels. Therefore, this paper derives the unique unbiased estimators for the different multilabel reductions, including the non-decomposable ones. These estimators suffer from increased variance and may lead to ill-posed optimization problems, which we address by switching to convex upper-bounds. The theoretical considerations are further supplemented by an experimental study showing that the switch to unbiased estimators significantly alters the bias-variance trade-off and may thus require stronger regularization, which in some cases can negate the benefits of unbiased estimation.


title: V899 Mon: a peculiar eruptive young star close to the end of its outburst

abstract: V899 Mon is an eruptive young star showing characteristics of both FUors and EXors. It reached a peak brightness in 2010, then briefly faded in 2011, followed by a second outburst. We conducted multi-filter optical photometric monitoring, as well as optical and near-infrared spectroscopic observations of V899 Mon. The light curves and color-magnitude diagrams show that V899 Mon has been gradually fading after its second outburst peak in 2018, but smaller accretion bursts are still happening. Our spectroscopic observations taken with Gemini/IGRINS and VLT/MUSE show a number of emission lines, unlike during the outbursting stage. We used the emission line fluxes to estimate the accretion rate and found that it has significantly decreased compared to the outbursting stage. The mass loss rate is also weakening. Our 2D spectro-astrometric analysis of emission lines recovered jet and disk emission of V899 Mon. We found the emission from permitted metallic lines and the CO bandheads can be modeled well with a disk in Keplerian rotation, which also gives a tight constraint for the dynamical stellar mass of 2 ${M_{\odot}}$. After a discussion of the physical changes that led to the changes in the observed properties of V899 Mon, we suggest this object is finishing its second outburst.


title: Complex contact interaction for systems with short-range two-body loss

abstract: Contact interaction is a fundamental concept that appears in various areas of physics. It simplifies physical models by replacing the detailed short-range interaction with a zero-range contact potential which reproduces the same low-energy scattering parameter, i.e. the $s$-wave scattering length. In this work, we generalize this concept to a system with short-range two-body loss. We show that the short-range two-body loss can effectively be replaced by a zero-range complex contact potential with proper regularization characterized by a complex scattering length. We develop appropriate ways to regularize this potential in the Lindblad master equation and apply them to the dynamic problem of Bose-Einstein condensate with weak interaction and two-body loss.


title: A non-anyonic qudit ZW-calculus

abstract: ZW-calculus is a useful graphical language for pure qubit quantum computing. It is via the translation of the completeness of ZW-calculus that the first proof of completeness of ZX-calculus was obtained. A d-level generalisation of qubit ZW-calculus (anyonic qudit ZW-calculus) has been given in [Hadzihasanovic 2017] which is universal for pure qudit quantum computing. However, the interpretation of the W spider in this type of ZW-calculus has so-called q-binomial coefficients involved, thus makes computation quite complicated. In this paper, we give a new type of qudit ZW-calculus which has generators and rewriting rules similar to that of the qubit ZW-calculus. Especially, the Z spider is exactly the same as that of the qudit ZX-calculus as given in [Wang 2021], and the new W spider has much simpler interpretation as a linear map. Furthermore, we establish a translation between this qudit ZW-calculus and the qudit ZX-calculus which is universal as shown in [Wang 2021], therefore this qudit ZW-calculus is also universal for pure qudit quantum computing.


title: Evolution of electronic structure in pristine and hole-doped kagome metal RbV$_3$Sb$_5$

abstract: We report on in situ low-temperature (4 K) scanning tunneling microscope measurements of atomic and electronic structures of the cleaved surfaces of an alkali-based kagome metal RbV$_3$Sb$_5$ single crystals. We find that the dominant pristine surface exhibits Rb-1x1 structure, in which a unique unidirectional $\sqrt{3}a_0$ charge order is discovered. As the sample temperature slightly rises, Rb-$\sqrt{3}$x1 and Rb-$\sqrt{3}$x$\sqrt{3}$ reconstructions form due to desorption of surface Rb atoms. Our conductance mapping results demonstrate that Rb desorption not only gives rise to hole doping, but also renormalizes the electronic band structures. Surprisingly, we find a ubiquitous gap opening near the Fermi level in tunneling spectra on all the surfaces despite their large differences of hole-carrier concentration, indicating an orbital-selective band reconstruction in RbV$_3$Sb$_5$.


title: Risk-Aware Motion Planning in Partially Known Environments

abstract: Recent trends envisage robots being deployed in areas deemed dangerous to humans, such as buildings with gas and radiation leaks. In such situations, the model of the underlying hazardous process might be unknown to the agent a priori, giving rise to the problem of planning for safe behaviour in partially known environments. We employ Gaussian process regression to create a probabilistic model of the hazardous process from local noisy samples. The result of this regression is then used by a risk metric, such as the Conditional Value-at-Risk, to reason about the safety at a certain state. The outcome is a risk function that can be employed in optimal motion planning problems. We demonstrate the use of the proposed function in two approaches. First is a sampling-based motion planning algorithm with an event-based trigger for online replanning. Second is an adaptation to the incremental Gaussian Process motion planner (iGPMP2), allowing it to quickly react and adapt to the environment. Both algorithms are evaluated in representative simulation scenarios, where they demonstrate the ability of avoiding high-risk areas.


title: Enhancing Navigational Safety in Crowded Environments using Semantic-Deep-Reinforcement-Learning-based Navigation

abstract: Intelligent navigation among social crowds is an essential aspect of mobile robotics for applications such as delivery, health care, or assistance. Deep Reinforcement Learning emerged as an alternative planning method to conservative approaches and promises more efficient and flexible navigation. However, in highly dynamic environments employing different kinds of obstacle classes, safe navigation still presents a grand challenge. In this paper, we propose a semantic Deep-reinforcement-learning-based navigation approach that teaches object-specific safety rules by considering high-level obstacle information. In particular, the agent learns object-specific behavior by contemplating the specific danger zones to enhance safety around vulnerable object classes. We tested the approach against a benchmark obstacle avoidance approach and found an increase in safety. Furthermore, we demonstrate that the agent could learn to navigate more safely by keeping an individual safety distance dependent on the semantic information.


title: Smartphone-based geolocation of Internet hosts

abstract: The location of Internet hosts is frequently used in distributed applications and networking services. Examples include customized advertising, distribution of content, and position-based security. Unfortunately the relationship between an IP address and its position is in general very weak. This motivates the study of measurement-based IP geolocation techniques, where the position of the target host is actively estimated using the delays between a number of landmarks and the target itself. This paper discusses an IP geolocation method based on crowdsourcing where the smartphones of users operate as landmarks. Since smartphones rely on wireless connections, a specific delay-distance model was derived to capture the characteristics of this novel operating scenario.


title: Dynamics on the number of prime divisors for additive arithmetic semigroups

abstract: In 2020, Bergelson and Richter gave a dynamical generalization of the classical Prime Number Theorem, which has been generalized by Loyd in a disjoint form with the Erd\H{o}s-Kac Theorem. These generalizations reveal the rich ergodic properties of the number of prime divisors of integers. In this article, we show a new generalization of Bergelson and Richter's Theorem in a disjoint form with the distribution of the largest prime factors of integers. Then following Bergelson and Richter's techniques, we will show the analogues of all of these results for the arithmetic semigroups arising from finite fields as well.


title: Dark Matter search in dwarf irregular galaxies with the Fermi Large Area Telescope

abstract: We analyze 11 years of Fermi-LAT data corresponding to the sky regions of 7 dwarf irregular (dIrr) galaxies. DIrrs are dark matter (DM) dominated systems, proposed as interesting targets for the indirect search of DM with gamma rays. The galaxies represent interesting cases with a strong disagreement between the density profiles (core vs. cusp) inferred from observations and numerical simulations. In this work, we addressed the problem by considering two different DM profiles, based on both the fit to the rotation curve (in this case a Burkert cored profile) and results from N-body cosmological simulations (i.e., NFW cuspy profile). We also include halo substructures in our analysis, which is expected to boost the DM signal a factor of ten in halos such as those of dIrrs. For each DM model and dIrr, we create a spatial template of the expected DM-induced gamma-ray signal to be used in the analysis of Fermi-LAT data. No significant emission is detected from any of the targets in our sample. Thus, we compute upper limits on the DM annihilation cross-section versus mass parameter space. Among the 7 dIrrs, we find IC10 and NGC6822 to yield the most stringent individual constraints, independently of the adopted DM profile. We also produce combined DM limits for all objects in the sample, which turn out to be dominated by IC10 for all DM models and annihilation channels, i.e. $b\bar{b}$, $\tau^+\tau^-$ and $W^+W^-$. The strongest constraints are obtained for $b\bar{b}$ and are at the level of $\langle\sigma v \rangle \sim 7 \times 10^{-26}\text{cm}^{3}\text{s}^{-1}$ at $m_\chi\sim 6$ GeV. Though these limits are a factor of 3 higher than the thermal relic cross section at low WIMP masses, they are independent from and complementary to those obtained by means of other targets.


title: Don't be Contradicted with Anything! CI-ToD: Towards Benchmarking Consistency for Task-oriented Dialogue System

abstract: Consistency Identification has obtained remarkable success on open-domain dialogue, which can be used for preventing inconsistent response generation. However, in contrast to the rapid development in open-domain dialogue, few efforts have been made to the task-oriented dialogue direction. In this paper, we argue that consistency problem is more urgent in task-oriented domain. To facilitate the research, we introduce CI-ToD, a novel dataset for Consistency Identification in Task-oriented Dialog system. In addition, we not only annotate the single label to enable the model to judge whether the system response is contradictory, but also provide more fine-grained labels (i.e., Dialogue History Inconsistency, User Query Inconsistency and Knowledge Base Inconsistency) to encourage model to know what inconsistent sources lead to it. Empirical results show that state-of-the-art methods only achieve 51.3%, which is far behind the human performance of 93.2%, indicating that there is ample room for improving consistency identification ability. Finally, we conduct exhaustive experiments and qualitative analysis to comprehend key challenges and provide guidance for future directions. All datasets and models are publicly available at \url{https://github.com/yizhen20133868/CI-ToD}.


title: Virial Expansion of the Electrical Conductivity of Hydrogen Plasmas

abstract: The low-density limit of the electrical conductivity $\sigma(n,T)$ of hydrogen as the simplest ionic plasma is presented as function of temperature T and mass density n in form of a virial expansion of the resistivity. Quantum statistical methods yield exact values for the lowest virial coefficients which serve as benchmark for analytical approaches to the electrical conductivity as well as for numerical results obtained from density functional theory based molecular dynamics simulations (DFT-MD) or path-integral Monte Carlo (PIMC) simulations. While these simulations are well suited to calculate $\sigma(n,T)$ in a wide range of density and temperature, in particular for the warm dense matter region, they become computationally expensive in the low-density limit, and virial expansions can be utilized to balance this drawback. We present new results of DFT-MD simulations in that regime and discuss the account of electron-electron collisions by comparing with the virial expansion.


title: Euler system with a polytropic equation of state as a vanishing viscosity limit

abstract: We consider the Euler system of gas dynamics endowed with the incomplete equation of state relating the internal energy to the mass density and the pressure. We show that any sufficiently smooth solution can be recovered as a vanishing viscosity - heat conductivity limit of the Navier--Stokes--Fourier system with a properly defined temperature. The result is unconditional in the case of the Navier type (slip) boundary conditions and extends to the no-slip condition for the velocity under some extra hypotheses of Kato's type concerning the behavior of the fluid in the boundary layer.


title: Dynamic Knowledge Distillation for Pre-trained Language Models

abstract: Knowledge distillation~(KD) has been proved effective for compressing large-scale pre-trained language models. However, existing methods conduct KD statically, e.g., the student model aligns its output distribution to that of a selected teacher model on the pre-defined training dataset. In this paper, we explore whether a dynamic knowledge distillation that empowers the student to adjust the learning procedure according to its competency, regarding the student performance and learning efficiency. We explore the dynamical adjustments on three aspects: teacher model adoption, data selection, and KD objective adaptation. Experimental results show that (1) proper selection of teacher model can boost the performance of student model; (2) conducting KD with 10% informative instances achieves comparable performance while greatly accelerates the training; (3) the student performance can be boosted by adjusting the supervision contribution of different alignment objective. We find dynamic knowledge distillation is promising and provide discussions on potential future directions towards more efficient KD methods. Our code is available at https://github.com/lancopku/DynamicKD.


title: Conditional gradient method for vector optimization

abstract: In this paper, we propose a conditional gradient method for solving constrained vector optimization problems with respect to a partial order induced by a closed, convex and pointed cone with nonempty interior. When the partial order under consideration is the one induced by the non-negative orthant, we regain the method for multiobjective optimization recently proposed by Assun\c{c}\~{a}o et al. (Comput Optim Appl 78(3):741--768, 2021). In our method, the construction of auxiliary subproblem is based on the well-known oriented distance function. Three different types of step size strategies (Armijio, adaptative and nonmonotone) are considered. Without any assumptions, we prove that stationarity of accumulation points of the sequences produced by the proposed method equipped with the Armijio or the nonmonotone step size rule. To obtain the convergence result of the method with the adaptative step size strategy, we introduce an useful cone convexity condition which allows to circumvent the intricate question of the Lipschitz continuity of Jocabian for the objective function. This condition helps us generalize the classical descent lemma to the vector optimization case. Under suitable convexity assumptions for the objective function, it is proved that all accumulation points of any generated sequences obtained by our method are weakly efficient solutions.


title: Perturbation of fractional strongly continuous cosine family operators

abstract: Perturbation theory has long been a very useful tool in the hands of mathematicians and physicists. The purpose of this paper is to prove some perturbation results for infinitesimal generators of fractional strongly continuous cosine families. That is, we impose sufficient conditions such that $\mathscr{A}$ is the infinitesimal generator of a fractional strongly continuous cosine family in a Banach space $\mathcal{X}$, and $\mathscr{B}$ is a bounded linear operator in $\mathcal{X}$, then $\mathscr{A}+\mathscr{B}$ is also the infinitesimal generator of a fractional strongly continuous cosine family in $\mathcal{X}$. Our results coincide with the classical ones when $\alpha=2$.


title: Joint invariance principles for random walks with positively and negatively reinforced steps

abstract: Given a random walk $(S_n)$ with typical step distributed according to some fixed law and a fixed parameter $p \in (0,1)$, the associated positively step-reinforced random walk is a discrete-time process which performs at each step, with probability $1-p$, the same step as $(S_n)$ while with probability $p$, it repeats one of the steps it performed previously chosen uniformly at random. The negatively step-reinforced random walk follows the same dynamics but when a step is repeated its sign is also changed. In this work, we shall prove functional limit theorems for the triplet of a random walk, coupled with its positive and negative reinforced versions when $p<1/2$ and when the typical step is centred. As our work will show, the limiting process is Gaussian and admits a simple representation in terms of stochastic integrals. Our method exhausts a martingale approach in conjunction with the martingale functional CLT.


title: On some open problems concerning strong d-spaces and super H-sober spaces

abstract: In this paper, we highlight some open problems stated by Xu and Zhao. In particular, we focus on strong $d$-spaces and answer two open problems concerning strong $d$-spaces. One is about the product space of an arbitrary family of strong $d$-spaces. The other concerns the reflectivity of the category $\mathbf{S}$-$\mathbf{Top}_{d}$ of strong $d$-spaces. Meantime, for an irreducible subset system ($R$-subset system for short) $\mathrm{H}$ and a $T_{0}$ space $X$, we prove that $\mathrm{H}$ naturally satisfies property $M$. Based on this, we deduce that $X$ is super $\mathrm{H}$-sober iff $X$ is $\mathrm{H}$-sober and $\mathrm{H}$ satisfies property $Q$. Additionally, we give positive answers to some questions posed by Xu in \cite{Xiaoquan21}. Furthermore, we obtain that the finite product of hyper-sober spaces is hyper-sober.


title: Admissible solutions to augmented nonsymmetric $k$-Hessian type equations II. A priori estimates and the Dirichlet problem

abstract: Using the established $d$-concavity of the $k$-Hessian type functions $F_k(R)=\log(S_k(R)),$ whose variables are nonsymmetric matrices, we prove $ C^{2, \alpha}(\overline{\Omega}) $ estimates for strictly $(\delta, \widetilde{\gamma}_k) $-admissible solutions to the Dirichlet problem without the well-known regularity condition. A necessary condition for the existence of strictly $\delta$-admissible solutions to the equations is given. By the method of continuity, we provide some sufficient conditions for the unique solvability in the class of strictly $(\delta,\widetilde{\gamma}_k)$-admissible solutions to the Dirichlet problem, provided that those skew-symmetric matrices in the equations are sufficiently small in some sense.