title: Viscosity approximation method for a variational problem

abstract: Let $Q$ be a nonempty closed and convex subset of a real Hilbert space $% \mathcal{H}$, $S:Q\rightarrow Q$ a nonexpansive mapping, $A:Q\rightarrow Q$ an inverse strongly monotone operator, and $f:Q\rightarrow Q$ a contraction mapping. We prove, under appropriate conditions on the real sequences $% \{\alpha_{n}\}$ and $\{\lambda_{n}\},$ that for any starting point $x_{1}$ in $Q,$ the sequence $\{x_{n}\}$ generated by the iterative process \begin{equation} x_{n+1}=\alpha_{n}f(x_{n})+(1-\alpha_{n})SP_{Q}(x_{n}-\lambda_{n}Ax_{n}) \label{Alg} \end{equation} converges strongly to a particular element of the set $F_{ix}(S)\cap S_{VI(A,Q)}$ which we suppose that it is nonempty, where $F_{ix}(S)$ is the set of fixed point of the mapping $% S$ and $S_{VI(A,Q)}$ is the set of $q\in Q$ such that $\langle Aq,x-q\rangle\geq0$ for every $x\in Q.$ Moreover, we study the strong convergence of a perturbed version of the algorithm generated by the above process. Finally, we apply the main result to construct an algorithm associated to a constrained convex optimization problem and we provide a numerical experiment to emphasize the effect of the parameter $\{\alpha_{n}\}$ on the convergence rate of this algorithm.


title: Dyadic models for fluid equations: a survey

abstract: Over the centuries mathematicians have been challenged by the partial differential equations (PDEs) that describe the motion of fluids in many physical contexts. Important and beautiful results were obtained in the past one hundred years, including the groundbreaking work of Ladyzhenskaya on the Navier-Stokes equations. However crucial questions such as the existence, uniqueness and regularity of the three dimensional Navier-Stokes equations remain open. Partly because of this mathematical challenge and partly motivated by the phenomena of turbulence, insights into the full PDEs have been sought via the study of simpler approximating systems that retain some of the original nonlinear features. One such simpler system is an infinite dimensional coupled set of nonlinear ordinary differential equations referred to a dyadic model. In this survey we provide a brief overview of dyadic models and describe recent results. In particular, we discuss results for certain dyadic models in the context of existence, uniqueness and regularity of solutions.


title: Ultrashort pulse generation from a graphene-coupled passively mode-locked terahertz laser

abstract: The generation of stable trains of ultra-short (fs-ps), terahertz (THz)-frequency radiation pulses, with large instantaneous intensities, is an underpinning requirement for the investigation of light-matter interactions, for metrology and for ultra-high-speed communications. In solid-state electrically-pumped lasers, the primary route for generating short pulses is through passive mode-locking. However, this has not yet been achieved in the THz range, defining one of the longest standing goals over the last two decades. In fact, the realization of passive mode-locking has long been assumed to be inherently hindered by the fast recovery times associated with the intersubband gain of THz lasers. Here, we demonstrate a self-starting miniaturized ultra-short pulse THz laser, exploiting an original device architecture that includes the surface patterning of multilayer-graphene saturable absorbers distributed along the entire cavity of a double-metal semiconductor 2.30-3.55 THz wire laser. Self-starting pulsed emission with 4.0-ps-long pulses in a compact, all-electronic, all-passive and inexpensive configuration is demonstrated.


title: Strong Field Non-Franck-Condon Ionization of H$_2$: A Semi-Classical Analysis

abstract: Single ionization of H$_2$ molecules exposed to strong and short laser pulses is investigated by a semi-classical method. Three laser characteristics are considered: i) The carrier-wave frequency corresponds to wavelengths covering and bridging the two ionization regimes: From tunnel ionization (TI) at 800 nm to multiphoton ionization (MPI) at 266 nm. ii) Values of the peak intensity are chosen within a window to eliminate competing double ionization processes. iii) Particular attention is paid to the polarization of the laser field, which can be linearly or circularly polarized. The results and their interpretation concern two observables, namely the end-of-pulse total ionization probability and vibrational distribution generated in the cation H$_2^+$. The most prominent findings are an increased ionization efficiency in circular polarization and a vibrational distribution of the cation that favors lower-lying levels than those that would be populated in a vertical (Franck-Condon) ionization, leading to non Franck-Condon distributions, both in linear and circular polarizations.


title: The Power of Non-Superpowers

abstract: We propose a game-theoretic model to investigate how non-superpowers with heterogenous preferences and endowments shape the superpower competition for a sphere of influence. Two superpowers play a Stackelberg game by providing club goods. Their utility depends on non-superpowers who form coalitions to join a club in the presence of externality. The coalition formation, which depends on the characteristics of non-superpowers, influences the behavior of superpowers and thus the size of their clubs. Our data-based simulations of the subgame perfect equilbirum capture how the US-China competition depends on other countries.


title: Evaluation of Look-ahead Economic Dispatch Using Reinforcement Learning

abstract: Modern power systems are experiencing a variety of challenges driven by renewable energy, which calls for developing novel dispatch methods such as reinforcement learning (RL). Evaluation of these methods as well as the RL agents are largely under explored. In this paper, we propose an evaluation approach to analyze the performance of RL agents in a look-ahead economic dispatch scheme. This approach is conducted by scanning multiple operational scenarios. In particular, a scenario generation method is developed to generate the network scenarios and demand scenarios for evaluation, and network structures are aggregated according to the change rates of power flow. Then several metrics are defined to evaluate the agents' performance from the perspective of economy and security. In the case study, we use a modified IEEE 30-bus system to illustrate the effectiveness of the proposed evaluation approach, and the simulation results reveal good and rapid adaptation to different scenarios. The comparison between different RL agents is also informative to offer advice for a better design of the learning strategies.


title: Kernel-Based Generalized Median Computation for Consensus Learning

abstract: Computing a consensus object from a set of given objects is a core problem in machine learning and pattern recognition. One popular approach is to formulate it as an optimization problem using the generalized median. Previous methods like the Prototype and Distance-Preserving Embedding methods transform objects into a vector space, solve the generalized median problem in this space, and inversely transform back into the original space. Both of these methods have been successfully applied to a wide range of object domains, where the generalized median problem has inherent high computational complexity (typically $\mathcal{NP}$-hard) and therefore approximate solutions are required. Previously, explicit embedding methods were used in the computation, which often do not reflect the spatial relationship between objects exactly. In this work we introduce a kernel-based generalized median framework that is applicable to both positive definite and indefinite kernels. This framework computes the relationship between objects and its generalized median in kernel space, without the need of an explicit embedding. We show that the spatial relationship between objects is more accurately represented in kernel space than in an explicit vector space using easy-to-compute kernels, and demonstrate superior performance of generalized median computation on datasets of three different domains. A software toolbox resulting from our work is made publicly available to encourage other researchers to explore the generalized median computation and applications.


title: Topolectrical-circuit realization of quadrupolar surface semimetals

abstract: Recent studies have shown that there are two types of topological quadrupolar semimetals. One is the quadrupolar bulk semimetal, which is a conventional semimetal with gapless nodes in the bulk spectrum. The other type is named the quadrupolar surface semimetal, possessing a gapped bulk but gapless nodes on the surface spectrum. There have been many experiments on the implementation of quadrupolar bulk semimetals. However, the quadrupolar surface semimetal has never been realized. Here we report on the experimental realization of the quadrupolar surface semimetal in the circuit system. To highlight the properties of the quadrupolar surface semimetal, we also prepare a quadrupolar bulk semimetal in the circuit as a contrast. It has been demonstrated that the quadrupolar surface semimetal has a bulk band gap, but two gapless nodes appear on the surfaces. Also, the electrons not only concentrate on the hinges but also on the corresponding surfaces. Our studies provide novel ways to control electrical signals and may have potential applications in the field of intergraded circuit design.


title: Numerical methods for control-based continuation of relaxation oscillations

abstract: Control-based continuation (CBC) is an experimental method that can reveal stable and unstable dynamics of physical systems. It extends the path-following principles of numerical continuation to experiments, and provides systematic dynamical analyses without the need for mathematical modelling. CBC has seen considerable success in studying the bifurcation structure of mechanical systems. Nevertheless, the method is not practical for studying relaxation oscillations. Large numbers of Fourier modes are required to describe them, and the length of the experiment significantly increases when many Fourier modes are used, as the system must be run to convergence many times. Furthermore, relaxation oscillations often arise in autonomous systems, for which an appropriate phase constraint is required. To overcome these challenges, we introduce an adaptive B-spline discretisation, that can produce a parsimonious description of responses that would otherwise require many Fourier modes. We couple this to a novel phase constraint, that phase-locks control target and solution phase. Results are demonstrated on simulations of a slow-fast synthetic gene network and an Oregonator model. Our methods extend CBC to a much broader range of systems than have been studied so far, opening up a range of novel experimental opportunities on slow-fast systems.


title: Advanced Design Space Exploration for Joint Energy and Quality Optimization for VVC

abstract: In recent studies, it could be shown that the energy demand of Versatile Video Coding (VVC) decoders can be twice as high as comparable High Efficiency Video Coding (HEVC) decoders. A significant part of this increase in complexity is attributed to the usage of new coding tools. By using a design space exploration algorithm, it was shown that the energy demand of VVC-coded sequences could be reduced if different coding tool profiles were used for the encoding process. This work extends the algorithm with several optimization strategies, methodological adjustments to optimize perceptual quality, and a new minimization criterion. As a result, we significantly improve the Pareto front, and the rate-distortion and energy efficiency of the state-of-the-art design space exploration. Therefore, we show an energy demand reduction of up to 47% with less than 30% additional bit rate, or a reduction of over 35% with approximately 6% additional bit rate.


title: MR-based quantitative measurement of human soft tissue internal strains for pressure ulcer prevention

abstract: Pressure ulcers are a severe disease affecting patients that are bedridden or in a wheelchair bound for long periods of time. These wounds can develop in the deep layers of the skin of specific parts of the body, mostly on heels or sacrum, making them hard to detect in their early stages. Strain levels have been identified as a direct danger indicator for triggering pressure ulcers. Prevention could be possible with the implementation of subject-specific Finite Element (FE) models. However, generation and validation of such FE models is a complex task, and the current implemented techniques offer only a partial solution of the entire problem considering only external displacements and pressures, or cadaveric samples. In this paper, we propose an in vivo solution based on the 3D non-rigid registration between two Magnetic Resonance (MR) images, one in an unloaded configuration and the other deformed by means of a plate or an indenter. From the results of the image registration, the displacement field and subsequent strain maps for the soft tissues were computed. An extensive study, considering different cases (on heel pad and sacrum regions) was performed to evaluate the reproducibility and accuracy of the results obtained with this methodology.The implemented technique can give insight for several applications. It adds a useful tool for better understanding the propagation of deformations in the heel soft tissues that could generate pressure ulcers. This methodology can be used to obtain data on the material properties of the soft tissues to define constitutive laws for FE simulations and finally it offers a promising technique for validating FE models.


title: Scaling limits for Rudvalis card shuffles

abstract: We consider the Rudvalis card shuffle and some of its variations that were introduced by Diaconis and Saloff-Coste in \cite{symmetrized}, and we project them to some stochastic interacting particle system. For the latter, we derive the hydrodynamic limits and we study the equilibrium fluctuations. Our results show that, for these shuffles, when we consider an asymmetric variation of the Rudvalis shuffle, the hydrodynamic limit in Eulerian scale is given in terms of a transport equation with a constant that depends on the exchange rates of the system; while for symmetric and weakly asymmetric variations of this shuffle, in diffusive time scale, the evolution is given by the solution of a martingale problem.


title: Generating Upper-Body Motion for Real-Time Characters Making their Way through Dynamic Environments

abstract: Real-time character animation in dynamic environments requires the generation of plausible upper-body movements regardless of the nature of the environment, including non-rigid obstacles such as vegetation. We propose a flexible model for upper-body interactions, based on the anticipation of the character's surroundings, and on antagonistic controllers to adapt the amount of muscular stiffness and response time to better deal with obstacles. Our solution relies on a hybrid method for character animation that couples a keyframe sequence with kinematic constraints and lightweight physics. The dynamic response of the character's upper-limbs leverages antagonistic controllers, allowing us to tune tension/relaxation in the upper-body without diverging from the reference keyframe motion. A new sight model, controlled by procedural rules, enables high-level authoring of the way the character generates interactions by adapting its stiffness and reaction time. As results show, our real-time method offers precise and explicit control over the character's behavior and style, while seamlessly adapting to new situations. Our model is therefore well suited for gaming applications.


title: Real-Time Locomotion on Soft Grounds With Dynamic Footprints

abstract: When we move on snow, sand, or mud, the ground deforms under our feet, immediately affecting our gait. We propose a physically based model for computing such interactions in real time, from only the kinematic motion of a virtual character. The force applied by each foot on the ground during contact is estimated from the weight of the character, its current balance, the foot speed at the time of contact, and the nature of the ground. We rely on a standard stress-strain relationship to compute the dynamic deformation of the soil under this force, where the amount of compression and lateral displacement of material are, respectively, parameterized by the soil's Young modulus and Poisson ratio. The resulting footprint is efficiently applied to the terrain through procedural deformations of refined terrain patches, while the addition of a simple controller on top of a kinematic character enables capturing the effect of ground deformation on the character's gait. As our results show, the resulting footprints greatly improve visual realism, while ground compression results in consistent changes in the character's motion. Readily applicable to any locomotion gait and soft soil material, our real-time model is ideal for enhancing the visual realism of outdoor scenes in video games and virtual reality applications.


title: Effect of Co Substitution on Ferrimagnetic Heusler compound Mn3Ga

abstract: Effect of Co substitution on Mn$_3$Ga is investigated using first-principles study for structural and magnetic properties. Without Co, ferrimagnetic Heusler compound Mn3Ga is in tetragonal phase. With Co substitution, depending on Co concentration (x) Mn$_3$Ga prefers tetragonal (cubic) phase when x \leq 0.5 (x \geq 0.5). Ferrimagnetism is robust regardless of x in both phases. While magnetic moments of two Mn do not vary significantly with x, Co magnetic moment in two phases exhibit different behaviors, leading to distinct features in total magnetic moment (M_{tot}). When x \leq 0.5, in tetragonal phase, Co magnetic moment is vanishingly small, resulting in a decrease of M_{tot} with x. In contrast, when x \geq 0.5, in cubic phase, Co magnetic moment is roughly 1$\mu_B$, which is responsible for an increase of Mtot. Electronic structure is analyzed with partial density of states for various x. To elucidate the counterintuitively small Co moment, the magnetic exchange interaction is investigated where exchange coefficient between Co and Mn is much smaller in x \leq 0.5 case than x \geq 0.5 one.


title: Quantitative Stability of Barycenters in the Wasserstein Space

abstract: Wasserstein barycenters define averages of probability measures in a geometrically meaningful way. Their use is increasingly popular in applied fields, such as image, geometry or language processing. In these fields however, the probability measures of interest are often not accessible in their entirety and the practitioner may have to deal with statistical or computational approximations instead. In this article, we quantify the effect of such approximations on the corresponding barycenters. We show that Wasserstein barycenters depend in a H{\"o}lder-continuous way on their marginals under relatively mild assumptions. Our proof relies on recent estimates that quantify the strong convexity of the dual quadratic optimal transport problem and a new result that allows to control the modulus of continuity of the push-forward operation under a (not necessarily smooth) optimal transport map.


title: HiFuse: Hierarchical Multi-Scale Feature Fusion Network for Medical Image Classification

abstract: Medical image classification has developed rapidly under the impetus of the convolutional neural network (CNN). Due to the fixed size of the receptive field of the convolution kernel, it is difficult to capture the global features of medical images. Although the self-attention-based Transformer can model long-range dependencies, it has high computational complexity and lacks local inductive bias. Much research has demonstrated that global and local features are crucial for image classification. However, medical images have a lot of noisy, scattered features, intra-class variation, and inter-class similarities. This paper proposes a three-branch hierarchical multi-scale feature fusion network structure termed as HiFuse for medical image classification as a new method. It can fuse the advantages of Transformer and CNN from multi-scale hierarchies without destroying the respective modeling so as to improve the classification accuracy of various medical images. A parallel hierarchy of local and global feature blocks is designed to efficiently extract local features and global representations at various semantic scales, with the flexibility to model at different scales and linear computational complexity relevant to image size. Moreover, an adaptive hierarchical feature fusion block (HFF block) is designed to utilize the features obtained at different hierarchical levels comprehensively. The HFF block contains spatial attention, channel attention, residual inverted MLP, and shortcut to adaptively fuse semantic information between various scale features of each branch. The accuracy of our proposed model on the ISIC2018 dataset is 7.6% higher than baseline, 21.5% on the Covid-19 dataset, and 10.4% on the Kvasir dataset. Compared with other advanced models, the HiFuse model performs the best. Our code is open-source and available from https://github.com/huoxiangzuo/HiFuse.


title: Detailed analysis of a sample of field metal-poor N-rich dwarfs

abstract: Aims. The aim of this work is to compare the detailed chemical composition of the field N-rich dwarf stars to the second generation stars of globular clusters (GC) in order to investigate the hypothesis that they originated in GCs. Methods. We have measured the abundance of 23 elements (from Li to Eu) in a sample of six metal-poor N-rich stars (three of them pointed out for the first time) and we have compared their chemical composition to, (i) the chemical composition observed in a sample of classical metal-poor stars, and (ii) the abundances observed in the second generation stars of GCs. Results. In metal-poor N-rich stars C and O are slightly deficient but the scatter of [(C+N+O)/Fe] is very small, a strong indication that the N enrichment is the result of a pollution by CNO processed material. The N-rich stars of our sample, like the second generation stars in the GCs, show an excess of Na and sometimes of Al, as expected if the material from which these stars were formed, has been polluted by the ejecta of massive AGB stars. For the first time we have been able to establish an anti-correlation Na-O in field stars like the one observed in NGC6752. The N-rich star HD 74000 has a rather low [Eu/Ba] ratio for its metallicity. Such an anomaly is also observed in several second generation stars of M15. Conclusions. This analysis supports the hypothesis that the N-rich stars today observed in the field, were born as second generation stars in GCs.


title: On a class of retarded integrodifferential equations

abstract: The following class of retarded integro-differential equations in a Banach space \[ \dot{x}\left(t\right)=Ax\left(t\right)+\int_{0}^{t}b\left(t-\tau\right)Lx_{\tau}d\tau+Kx_{t};\,\,t\geq0, \] are taken into consideration in this study. The delay term $Lx_{\tau}$ of this equation is inserted into the integral as a convolution product with a scalar kernel. We prove the well-posedness of the problem under investigation using the Miyadera-Voigt perturbation and the theory of semigroups. We also explore the spectral analysis of an associated abstract Cauchy problem.


title: Calcul effectif de la cohomologie des faisceaux constructibles sur le site \'etale d'une courbe

abstract: This thesis deals with the algorithmic representation of constructible sheaves of abelian groups on the \'etale site of a variety over an algebraically closed field, as well as the explicit computation of their cohomology. We describe three representations of such sheaves on curves with at worst nodal singularities, as well as algorithms performing various operations (kernels and cokernels of morphisms, pullback and pushforward, internal Hom and tensor product) on these sheaves. We present an algorithm computing the cohomology complex of a locally constant constructible sheaf on a smooth or nodal curve, which in turn allows us to give an explicit description of the functor $\mathrm{R}\Gamma(X,-)\colon \mathrm{D}^b_c(X,\mathbb{Z}/n\mathbb{Z})\to \mathrm{D}^b_c(\mathbb{Z}/n\mathbb{Z})$. This description is functorial in the scheme $X$ and the given complex of constructible sheaves. In particular, if $X$ and the sheaf $\mathcal{F}$ are obtained by base change from a subfield, we describe the Galois action on the complex $\mathrm{R}\Gamma(X,\mathcal{F})$. We give precise bounds on the number of operations performed by the algorithm computing $\mathrm{R}\Gamma(X,\mathcal{F})$. We also give an explicit description of cup-products in the cohomology of locally constant constructible sheaves over smooth projective curves. Finally, we show how to use these algorithms in order to compute the cohomology groups of a constant sheaf on a smooth surface fibered over the projective line.


title: Fairness Reprogramming

abstract: Despite a surge of recent advances in promoting machine Learning (ML) fairness, the existing mainstream approaches mostly require retraining or finetuning the entire weights of the neural network to meet the fairness criteria. However, this is often infeasible in practice for those large-scale trained models due to large computational and storage costs, low data efficiency, and model privacy issues. In this paper, we propose a new generic fairness learning paradigm, called FairReprogram, which incorporates the model reprogramming technique. Specifically, FairReprogram considers the case where models can not be changed and appends to the input a set of perturbations, called the fairness trigger, which is tuned towards the fairness criteria under a min-max formulation. We further introduce an information-theoretic framework that explains why and under what conditions fairness goals can be achieved using the fairness trigger. We show both theoretically and empirically that the fairness trigger can effectively obscure demographic biases in the output prediction of fixed ML models by providing false demographic information that hinders the model from utilizing the correct demographic information to make the prediction. Extensive experiments on both NLP and CV datasets demonstrate that our method can achieve better fairness improvements than retraining-based methods with far less data dependency under two widely-used fairness criteria. Codes are available at https://github.com/UCSB-NLP-Chang/Fairness-Reprogramming.git.


title: Dynamic Time-Alignment of Dimensional Annotations of Emotion using Recurrent Neural Networks

abstract: Most automatic emotion recognition systems exploit time-continuous annotations of emotion to provide fine-grained descriptions of spontaneous expressions as observed in real-life interactions. As emotion is rather subjective, its annotation is usually performed by several annotators who provide a trace for a given dimension, i.e. a time-continuous series describing a dimension such as arousal or valence. However, annotations of the same expression are rarely consistent between annotators, either in time or in value, which adds bias and delay in the trace that is used to learn predictive models of emotion. We therefore propose a method that can dynamically compensate inconsistencies across annotations and synchronise the traces with the corresponding acoustic features using Recurrent Neural Networks. Experimental evaluations were carried on several emotion data sets that include Chinese, French, German, and Hungarian participants who interacted remotely in either noise-free conditions or in-the-wild. The results show that our method can significantly increase inter-annotator agreement, as well as correlation between traces and audio features, for both arousal and valence. In addition, improvements are obtained in the automatic prediction of these dimensions using simple light-weight models, especially for valence in noise-free conditions, and arousal for recordings captured in-the-wild.


title: Identifying Emerging Technologies and Leading Companies using Network Dynamics of Patent Clusters: a Cybersecurity Case Study

abstract: Strategic decisions rely heavily on non-scientific instrumentation to forecast emerging technologies and leading companies. Instead, we build a fast quantitative system with a small computational footprint to discover the most important technologies and companies in a given field, using generalisable methods applicable to any industry. With the help of patent data from the US Patent and Trademark Office, we first assign a value to each patent thanks to automated machine learning tools. We then apply network science to track the interaction and evolution of companies and clusters of patents (i.e. technologies) to create rankings for both sets that highlight important or emerging network nodes thanks to five network centrality indices. Finally, we illustrate our system with a case study based on the cybersecurity industry. Our results produce useful insights, for instance by highlighting (i) emerging technologies with a growing mean patent value and cluster size, (ii) the most influential companies in the field and (iii) attractive startups with few but impactful patents. Complementary analysis also provides evidence of decreasing marginal returns of research and development in larger companies in the cybersecurity industry.


title: Three-user D2D Coded Caching with Two Random Requesters and One Sender

abstract: In device-to-device (D2D) coded caching problems, it is possible that not all users will make file requests in the delivery phase. Hence, we propose a new D2D centralized coded caching problem, named the 3-user D2D coded caching with two random requesters and one sender (2RR1S), where in the delivery phase, any two of the three users will make file requests, and the user that does not make any file request is the designated sender. We find the optimal caching and delivery scheme, denoted as the 2RRIS scheme, for any number of files N by proving matching converse and achievability results. It is shown that coded cache placement is needed to achieve the optimal performance. Furthermore, the optimal rate-memory tradeoff has a uniform expression for N>=4 and different expressions for N=2 and 3. To examine the usefulness of the proposed model and scheme, we adapt the 2RR1S scheme to three scenarios. The first one is the 3-user D2D coded caching model proposed by Ji et al. By characterizing the optimal rate-memory tradeoff for the 3-user D2D coded caching when N=2, which was previously unknown, we show that the adapted 2RR1S scheme is in fact optimal for the 3-user D2D coded caching problem when N=2 and the cache size is medium. The benefit comes from coded cache placement which is missing from existing D2D coded caching schemes. The second scenario is where in the delivery phase, each user makes a file request randomly and independently with the same probability p. We call this model the request-random D2D coded caching problem. Adapting the 2RR1S scheme to this scenario, we show the superiority of our adapted scheme over other existing D2D coded caching schemes for medium to large cache size. The third scenario is the K-user D2D coded caching with K-s random requesters and s senders problem, for which an achievability result is obtained by generalizing the 2RR1S scheme.


title: Recent MAGIC results on Galactic binaries

abstract: X-ray and gamma-ray binaries are systems consisting of a compact object and normally a non-degenerate companion star. Most of these sources have been shown to emit radiation in a broad frequency range, from radio up to X-rays and sometimes gamma rays. We report on recent results in very high-energy gamma rays above 100 GeV obtained by the MAGIC Collaboration for the Galactic X-ray binaries MAXI J1820+070 and 1A 0535+262, and the gamma-ray binary HESS J0632+057. Multiwavelength data at lower energies are also provided for a better contextualisation of the sources.


title: Correlation energy of the paramagnetic electron gas at the thermodynamic limit

abstract: The variational and diffusion quantum Monte Carlo methods are used to calculate the correlation energy of the paramagnetic three-dimensional homogeneous electron gas at intermediate to high density. Ground state energies in finite cells are determined using Slater-Jastrow-backflow trial wave functions, and finite-size errors are removed using twist-averaged boundary conditions and extrapolation of the energy per particle to the thermodynamic limit of infinite system size. Our correlation energies in the thermodynamic limit are lower (i.e., more negative, and therefore more accurate according to the variational principle) than previous results, and can be used for the parameterization of density functionals to be applied to high-density systems.

categories: cond-mat.str-el physics.chem-ph physics.plasm-ph quant-ph


title: Radio observations of the Black Hole X-ray Binary EXO 1846-031 re-awakening from a 34-year slumber

abstract: We present radio [1.3 GHz MeerKAT, 4-8 GHz Karl G. Jansky Very Large Array (VLA) and 15.5 GHz Arcminute Microkelvin Imager Large Array (AMI-LA)] and X-ray (Swift and MAXI) data from the 2019 outburst of the candidate Black Hole X-ray Binary (BHXB) EXO 1846-031. We compute a Hardness-Intensity diagram, which shows the characteristic q-shaped hysteresis of BHXBs in outburst. EXO 1846-031 was monitored weekly with MeerKAT and approximately daily with AMI-LA. The VLA observations provide sub-arcsecond-resolution images at key points in the outburst, showing moving radio components. The radio and X-ray light curves broadly follow each other, showing a peak on ~MJD 58702, followed by a short decline before a second peak between ~MJD 58731-58739. We estimate the minimum energy of these radio flares from equipartition, calculating values of $E_{\rm min} \sim$ 4$\times$10$^{41}$ and 5$\times$10$^{42}$ erg, respectively. The exact date of the return to `quiescence' is missed in the X-ray and radio observations, but we suggest that it likely occurred between MJD 58887 and 58905. From the Swift X-ray flux on MJD 58905 and assuming the soft-to-hard transition happened at 0.3-3 per cent Eddington, we calculate a distance range of 2.4-7.5\,kpc. We computed the radio:X-ray plane for EXO 1846-031 in the `hard' state, showing that it is most likely a `radio-quiet' BH, preferentially at 4.5 kpc. Using this distance and a jet inclination angle of $\theta$=73$^{\circ}$, the VLA data place limits on the intrinsic jet speed of $\beta_{\rm int} = 0.29c$, indicating sub-luminal jet motion.


title: Intelligent wayfinding vehicle design based on visual recognition

abstract: Intelligent drug delivery trolley is an advanced intelligent drug delivery equipment. Compared with traditional manual drug delivery, it has higher drug delivery efficiency and lower error rate. In this project, an intelligent drug delivery car is designed and manufactured, which can recognize the road route and the room number of the target ward through visual recognition technology. The trolley selects the corresponding route according to the identified room number, accurately transports the drugs to the target ward, and can return to the pharmacy after the drugs are delivered. The intelligent drug delivery car uses DC power supply, and the motor drive module controls two DC motors, which overcomes the problem of excessive deviation of turning angle. The trolley line inspection function uses closed-loop control to improve the accuracy of line inspection and the controllability of trolley speed. The identification of ward number is completed by the camera module with microcontroller, and has the functions of adaptive adjustment of ambient brightness, distortion correction, automatic calibration and so on. The communication between two cooperative drug delivery vehicles is realized by Bluetooth module, which achieves efficient and accurate communication and interaction. Experiments show that the intelligent drug delivery car can accurately identify the room number and plan the route to deliver drugs to the far, middle and near wards, and has the characteristics of fast speed and accurate judgment. In addition, two drug delivery trolleys can cooperate to deliver drugs to the same ward, with high efficiency and high cooperation.


title: Magic squares: Latin, Semiclassical and Quantum

abstract: Quantum magic squares were recently introduced as a 'magical' combination of quantum measurements. In contrast to quantum measurements, they cannot be purified (i.e. dilated to a quantum permutation matrix) -- only the so-called semiclassical ones can. Purifying establishes a relation to an ideal world of fundamental theoretical and practical importance; the opposite of purifying is described by the matrix convex hull. In this work, we prove that semiclassical magic squares can be purified to quantum Latin squares, which are 'magical' combinations of orthonormal bases. Conversely, we prove that the matrix convex hull of quantum Latin squares is larger than the semiclassical ones. This tension is resolved by our third result: We prove that the quantum Latin squares that are semiclassical are precisely those constructed from a classical Latin square. Our work sheds light on the internal structure of quantum magic squares, on how this is affected by the matrix convex hull, and, more generally, on the nature of the 'magical' composition rule, both at the semiclassical and quantum level.


title: Hole spin manipulation in inhomogeneous and non-separable electric fields

abstract: The usual models for electrical spin manipulation in semiconductor quantum dots assume that the confinement potential is separable in the three spatial dimensions and that the AC drive field is homogeneous. However, the electric field induced by the gates in quantum dot devices is not fully separable and displays significant inhomogeneities. Here, we address the electrical manipulation of hole spins in semiconductor heterostructures subject to inhomogeneous vertical electric fields and/or in-plane AC electric fields. We consider Ge quantum dots electrically confined in a Ge/GeSi quantum well as an illustration. We show that the lack of separability between the vertical and in-plane motions gives rise to an additional spin-orbit coupling mechanism (beyond the usual linear and cubic in momentum Rashba terms) that modulates the principal axes of the hole gyromagnetic g-matrix. This non-separability mechanism can be of the same order of magnitude as Rashba-type interactions, and enables spin manipulation when the magnetic field is applied in the plane of the heterostructure even if the dot is symmetric (disk-shaped). More generally, we show that Rabi oscillations in strongly patterned electric fields harness a variety of g-factor modulations. We discuss the implications for the design, modeling and understanding of hole spin qubit devices.


title: Playing with Thresholds on the Forward Linear Threshold Rank

abstract: Social networks are the natural space for the spreading of information and influence and have become a media themselves. Several models capturing that diffusion process have been proposed, most of them based on the Independent Cascade (IC) model or on the Linear Threshold (LT) model. The IC model is probabilistic while the LT model relies on the knowledge of an actor to be convinced, reflected in an associated individual threshold. Although the LT-based models contemplate an individual threshold for each actor in the network, the existing studies so far have always considered a threshold of 0.5 equal in all actors (i.e., a simple majority activation criterion). Our main objective in this work is to start the study on how the dissemination of information on networks behaves when we consider other options for setting those thresholds and how many network actors end up being influenced by this dissemination. For doing so, we consider a recently introduced centrality measure based on the LT model, the Forward Linear Threshold Rank (FLTR). We analyze experimentally the ranking properties for several networks in which the influence resistance threshold follows different schemes. Here we consider three different schemes: (1) uniform, in which all players have the same value; (2) random, where each player is assigned a threshold u.a.r. in a prescribed interval; and (3) determined by the value of another centrality measure on the actor. Our results show that the selection has a clear impact on the ranking, even quite significant and abrupt in some cases. We conclude that the social networks ranks that provide the best assignments for the individual thresholds are PageRank and FLTR.


title: Probing non-unitarity of neutrino mixing in the scenario of Lorentz violation and dark nonstandard interaction

abstract: Neutrino flavour oscillation is one of the primary indication of the existence of new physics beyond standard model. The presence of small neutrino mass is indispensable to explicate the oscillation among different flavours of neutrino. By the addition of a right handed neutral lepton with the standard model fermions, it is possible to generate tiny neutrino mass. Such additional fermion may induce non-unitarity to the $3\times 3$ PMNS mixing matrix which influences the propagation of neutrino in space-time. In this work the effect of non-unitary mixing matrix is analyzed in neutrino oscillation in presence of two new physics scenarios, Lorentz violation and dark non-standard interaction. Lorentz symmetry violation mainly appears at the Planck scale, which may also be manifested at a lower energy level. On the other hand, dark non standard interaction arises due to the interaction of neutrino with the environmental dark matter which contributes as a perturbative correction to the neutrino mass. In this analysis, the comparative study of unitary and non-unitary mixing matrix is carried out considering the scenario of Lorentz violation and dark NSI in the context of long baseline DUNE and short baseline Daya Bay experimental set up. The signature of dark nonstandard interaction is observable in both DUNE and Daya Bay set up in terms of large value of neutrino survival and oscillation probability respectively and is a possible explanation for the excess flux observed at $\sim5$ MeV in Daya Bay experiment. The signature of Lorentz violation is also possible to be observed in the short baseline Daya Bay experiment only.


title: Cold-atom sources for the Matter-wave laser Interferometric Gravitation Antenna (MIGA)

abstract: The Matter-wave laser Interferometric Gravitation Antenna (MIGA) is an underground instrument using cold-atom interferometry to perform precision measurements of gravity gradients and strains. Following its installation at the low noise underground laboratory LSBB in the South-East of France, it will serve as a prototype for gravitational wave detectors with a horizontal baseline of 150 meters. Three spatially separated cold-atom interferometers will be driven by two common counter-propagating lasers to perform a measurement of the gravity gradient along this baseline. This article presents the cold-atom sources of MIGA, focusing on the design choices, the realization of the systems, the performances and the integration within the MIGA instrument.


title: Chiral spin symmetry and hot/dense QCD

abstract: Above the chiral symmetry restoration crossover around T_{ch} ~ 155 MeV a new regime arises in QCD, a stringy fluid, which is characterized by an approximate chiral spin symmetry of the thermal partition function. This symmetry is not a symmetry of the Dirac Lagrangian and is a symmetry of the electric part of the QCD Lagrangian. In this regime the medium consists of the chirally symmetric and approximately chiral spin symmetric hadrons that are made of the chirally symmetric quarks connected into the color singlet compounds by a confining chromoelectric field. This regime is evidenced by the approximate chiral spin symmetry of the spatial and temporal correlators and by the breakdown of the thermal perturbation theory at the crossover between the partonic (the quark-gluon plasma) and stringy fluid regimes at ~ 3 T_{ch}. The chiral spin symmetry smoothly disappears above ~ 3T_{ch} which means that the chromoelectric confining interaction gets screened. A direct evidence that the stringy fluid medium consists of densely packed hadrons is the pion spectral function that shows a distinct pion state and its first radial excitation above T_{ch}. Another direct evidence of the hadron degrees of freedom in the stringy fluid is the bottomonium spectrum with the 1S,2S,3S and 1P,2P radial and orbital excitations that become broad with temperature. The hadrons between T_{ch} and ~ 3 T_{ch} in the stringy fluid interact strongly which makes the stringy fluid more a liquid rather than a gas. We discuss how this chiral spin symmetric regime extends into the finite chemical potentials domain and present a qualitative sketch of the QCD phase diagram.


title: Towards probabilistic multiclass classification of gamma-ray sources

abstract: Machine learning algorithms have been used to determine probabilistic classifications of unassociated sources. Often classification into two large classes, such as Galactic and extra-galactic, is considered. However, there are many more physical classes of sources. For example, there are 23 classes in the latest Fermi-LAT 4FGL-DR3 catalog. In this note we subdivide one of the large classes into two subclasses in view of a more general multi-class classification of gamma-ray sources. Each of the three large classes still encompasses several of the physical classes. We compare the performance of classifications into two and three classes. We calculate the receiver operating characteristic curves for two-class classification, where in case of three classes we sum the probabilities of the sub-classes in order to obtain the class probabilities for the two large classes. We also compare precision, recall, and reliability diagrams in the two- and three-class cases.


title: Crowding-Enhanced Diffusion: An Exact Theory for Highly Entangled Self-Propelled Stiff Filaments

abstract: We study a strongly interacting crowded system of self-propelled stiff filaments by event-driven Brownian dynamics simulations and an analytical theory to elucidate the intricate interplay of crowding and self-propulsion. We find a remarkable increase of the effective diffusivity upon increasing the filament number density by more than one order of magnitude. This counter-intuitive 'crowded is faster' behavior can be rationalized by extending the concept of a confining tube pioneered by Doi and Edwards for highly entangled crowded, passive to active systems. We predict a scaling theory for the effective diffusivity as a function of the P\'eclet number and the filament number density. Subsequently, we show that an exact expression derived for a single self-propelled filament with motility parameters as input can predict the non-trivial spatiotemporal dynamics over the entire range of length and time scales. In particular, our theory captures short-time diffusion, directed swimming motion at intermediate times, and the transition to complete orientational relaxation at long times.

categories: cond-mat.soft cond-mat.stat-mech physics.bio-ph physics.comp-ph


title: On compact extensions of tracial $W^*$-dynamical systems

abstract: We establish several classification results for compact extensions of tracial $W^*$-dynamical systems and for relatively independent joinings thereof for actions of arbitrary discrete groups. We use these results to answer a question of Austin, Eisner, and Tao and some questions raised by Duvenhage and King. Moreover, combining our results with an earlier classification of weakly mixing extensions by Popa, we can derive non-commutative Furstenberg-Zimmer type dichotomies on the $L^2$-level. Although in general an adequate generalization of the Furstenberg-Zimmer tower of intermediate compact extensions doesn't seem possible in the von Neumann algebraic framework, we show that there always exists a non-commutative analogue of the finer Host-Kra-Ziegler tower for any ergodic action of a countable abelian group.


title: Neutron scattering from fragmented frustrated magnets

abstract: The fragmentation description is used to analyse calculated neutron scattering intensities from kagom\'e ice and spin ice systems. The longitudinal, transverse and harmonic fragments produce independent contributions to the neutron scattering intensity. This framework is used to analyse the ordering due to quantum fluctuations in the topologically constrained phase of kagom\'e ice and the monopole crystal phase of spin ice. Here, quantum fluctuations are restricted to the transverse fragment and they drive the system into a double-$q$ structure in which longitudinal and transverse fragments have a different ordering wave vector. The intensity reduction of the Bragg peaks for the transverse fragments, compared with known classical limits can be used as a diagnostic tool for quantum fluctuations. Published quantum Monte Carlo data for spin ice in a $[111]$ field are consistent with the proposed protocol.


title: Fingerprinting Robot Movements via Acoustic Side Channel

abstract: In this paper, we present an acoustic side channel attack which makes use of smartphone microphones recording a robot in operation to exploit acoustic properties of the sound to fingerprint a robot's movements. In this work we consider the possibility of an insider adversary who is within physical proximity of a robotic system (such as a technician or robot operator), equipped with only their smartphone microphone. Through the acoustic side-channel, we demonstrate that it is indeed possible to fingerprint not only individual robot movements within 3D space, but also patterns of movements which could lead to inferring the purpose of the movements (i.e. surgical procedures which a surgical robot is undertaking) and hence, resulting in potential privacy violations. Upon evaluation, we find that individual robot movements can be fingerprinted with around 75% accuracy, decreasing slightly with more fine-grained movement meta-data such as distance and speed. Furthermore, workflows could be reconstructed with around 62% accuracy as a whole, with more complex movements such as pick-and-place or packing reconstructed with near perfect accuracy. As well as this, in some environments such as surgical settings, audio may be recorded and transmitted over VoIP, such as for education/teaching purposes or in remote telemedicine. The question here is, can the same attack be successful even when VoIP communication is employed, and how does packet loss impact the captured audio and the success of the attack? Using the same characteristics of acoustic sound for plain audio captured by the smartphone, the attack was 90% accurate in fingerprinting VoIP samples on average, 15% higher than the baseline without the VoIP codec employed. This opens up new research questions regarding anonymous communications to protect robotic systems from acoustic side channel attacks via VoIP communication networks.


title: Exact and sampling methods for mining higher-order motifs in large hypergraphs

abstract: Network motifs are recurrent, small-scale patterns of interactions observed frequently in a system. They shed light on the interplay between the topology and the dynamics of complex networks across various domains. In this work, we focus on the problem of counting occurrences of small sub-hypergraph patterns in very large hypergraphs, where higher-order interactions connect arbitrary numbers of system units. We show how directly exploiting higher-order structures speeds up the counting process compared to traditional data mining techniques for exact motif discovery. Moreover, with hyperedge sampling, performance is further improved at the cost of small errors in the estimation of motif frequency. We evaluate our method on several real-world datasets describing face-to-face interactions, co-authorship and human communication. We show that our approximated algorithm allows us to extract higher-order motifs faster and on a larger scale, beyond the computational limits of an exact approach.


title: Stellar Populations in type Ia supernova host galaxies at intermediate-high redshift: Star formation and metallicity enrichment histories

abstract: We present a summary of our project that studies galaxies hosting type Ia supernova (SN Ia) at different redshifts. We present Gran Telescopio de Canarias (GTC) optical spectroscopy of six SN Ia host galaxies at redshift $z\sim 0.4-0.5$. They are joined to a set of SN Ia host galaxies at intermediate-high redshift, which include galaxies from surveys SDSS and COSMOS. The final sample, after a selection of galaxy spectra in terms of signal-to-noise and other characteristics, consists of 680 galaxies with redshift in the range $0.04 < z < 1$. We perform an inverse stellar population synthesis with the code {\sc fado} to estimate the star formation and enrichment histories of this set of galaxies, simultaneously obtaining their mean stellar age and metallicity and stellar mass. After analysing the correlations among these characteristics, we look for possible dependencies of the Hubble diagram residuals and supernova features (luminosity, color and strength parameter) on these stellar parameters. We find that the Hubble residuals show a clear dependence on the stellar metallicity weighted by mass with a slope of -0.061\,mag\,dex$^{-1}$, when represented in logarithmic scale, $\log{ \langle Z_{M}/Z_{\odot}\rangle }$. This result supports our previous findings obtained from gas oxygen abundances for local and SDSS-survey galaxies. Comparing with other works from the literature that also use the stellar metallicity, we find a similar value, but with more precision and a better significance (2.08 vs $\sim$ 1.1), due to the higher number of objects and wider range of redshift of our sample.


title: Homological stability of diffeomorphism groups of high dimensional manifolds via $E_k$-algebras

abstract: We will study homological stability of the diffeomorphism groups of the manifolds $W_{g,1}:=D^{2n} \# (S^n \times S^n)^{\#g }$ using $E_k$-algebras. This will lead to new improvements in the stability results, especially when working with rational coefficients. Moreover, we will prove a new type of stability result -- quantised homological stability -- which says that either the best stability result is a linear bound of slope $1/2$ or the stability is at least as good as a line of slope $2/3$.


title: Condition-based Design of Variable Impedance Controllers from User Demonstrations

abstract: This paper presents an approach to ensure conditions on Variable Impedance Controllers through the off-line tuning of the parameters involved in its description. In particular, we prove its application to term modulations defined by a Learning from Demonstration technique. This is performed through the assessment of conditions regarding safety and performance, which encompass heuristics and constraints in the form of Linear Matrix Inequalities. Latter ones allow to define a convex optimisation problem to analyse their fulfilment, and require a polytopic description of the VIC, in this case, obtained from its formulation as a discrete-time Linear Parameter Varying system. With respect to the current state-of-art, this approach only limits the term definition obtained by the Learning from Demonstration technique to be continuous and function of exogenous signals, i.e. external variables to the robot. Therefore, using a solution-search method, the most suitable set of parameters according to assessment criteria can be obtained. Using a 7-DoF Kinova Gen3 manipulator, validation and comparison against solutions with relaxed conditions are performed. The method is applied to generate Variable Impedance Controllers for a pulley belt looping task, inspired by the Assembly Challenge for Industrial Robotics in World Robot Summit 2018, to reduce the exerted force with respect to a standard (constant) Impedance Controller. Additionally, method agility is evaluated on the generation of controllers for one-off modifications of the nominal belt looping task setup without new demonstrations.


title: POAS: A high-performance scheduling framework for exploiting Accelerator Level Parallelism

abstract: Heterogeneous computing is becoming mainstream in all scopes. This new era in computer architecture brings a new paradigm called Accelerator Level Parallelism (ALP). In ALP, accelerators are used concurrently to provide unprecedented levels of performance and energy efficiency. To reach that, there are many problems to be solved, one of the most challenging being co-execution. This paper develops a scheduling framework called POAS, a general method for providing co-execution to generic applications. Unlike other scheduling approaches, POAS does not directly schedule applications. Instead, it is a generic model that transforms any application to make it suitable for co-execution, so that it can be executed in ALP environments. Our proposal is composed of four differentiated steps: predict, optimize, adapt and schedule. During these phases, different modifications are implemented in the application to make it suitable to be executed in ALP environments. In this work we also apply our framework to a matrix multiplication case study, outlining the critical and most important steps to port the application with POAS. We evaluate our POAS-based implementation for matrix multiplication on a CPU/GPU/XPU environment using CPU cores, CUDA cores and tensor cores (XPU). Our experiments prove that co-execution in the studied scenario can benefit from ALP, yielding speedups of up to 45% with respect to using only one accelerator. The proven flexibility and potential of POAS make it an excellent candidate to reach ALP in future computer systems.


title: Magic partially filled arrays on abelian groups

abstract: In this paper we introduce a special class of partially filled arrays. A magic partially filled array $\mathrm{MPF}_\Omega(m,n; s,k)$ on a subset $\Omega$ of an abelian group $(\Gamma,+)$ is a partially filled array of size $m\times n$ with entries in $\Omega$ such that $(i)$ every $\omega \in \Omega$ appears once in the array; $(ii)$ each row contains $s$ filled cells and each column contains $k$ filled cells; $(iii)$ there exist (not necessarily distinct) elements $x,y\in \Gamma$ such that the sum of the elements in each row is $x$ and the sum of the elements in each column is $y$. In particular, if $x=y=0_\Gamma$, we have a zero-sum magic partially filled array ${}^0\mathrm{MPF}_\Omega(m,n; s,k)$. Examples of these objects are magic rectangles, $\Gamma$-magic rectangles, signed magic arrays, (integer or non integer) Heffter arrays. Here, we give necessary and sufficient conditions for the existence of a magic rectangle with empty cells, i.e., of an $\mathrm{MPF}_\Omega(m,n;s,k)$ where $\Omega=\{1,2,\ldots,nk\}\subset\mathbb{Z}$. We also construct zero-sum magic partially filled arrays when $\Omega$ is the abelian group $\Gamma$ or the set of its nonzero elements.


title: Iterated club shooting and the stationary-logic constructible model

abstract: We investigate iterating the construction of $C(\mathtt{aa})$, the $L$-like inner model constructed using the so-called "stationary-logic". We show that it is possible to force over generic extensions of $L$ to obtain a model of $V=C(\mathtt{aa})$, and to obtain models in which the sequence of iterated $C(\mathtt{aa})$s is decreasing of arbitrarily large order types. For this we prove distributivity and stationary-set preservation properties for countable iterations of club-shooting forcings using mutually stationary sets, and introduce the notion of mutually fat sets which yields better distributivity results even for uncountable iterations.


title: BEVStereo: Enhancing Depth Estimation in Multi-view 3D Object Detection with Dynamic Temporal Stereo

abstract: Bounded by the inherent ambiguity of depth perception, contemporary camera-based 3D object detection methods fall into the performance bottleneck. Intuitively, leveraging temporal multi-view stereo (MVS) technology is the natural knowledge for tackling this ambiguity. However, traditional attempts of MVS are flawed in two aspects when applying to 3D object detection scenes: 1) The affinity measurement among all views suffers expensive computation cost; 2) It is difficult to deal with outdoor scenarios where objects are often mobile. To this end, we introduce an effective temporal stereo method to dynamically select the scale of matching candidates, enable to significantly reduce computation overhead. Going one step further, we design an iterative algorithm to update more valuable candidates, making it adaptive to moving candidates. We instantiate our proposed method to multi-view 3D detector, namely BEVStereo. BEVStereo achieves the new state-of-the-art performance (i.e., 52.5% mAP and 61.0% NDS) on the camera-only track of nuScenes dataset. Meanwhile, extensive experiments reflect our method can deal with complex outdoor scenarios better than contemporary MVS approaches. Codes have been released at https://github.com/Megvii-BaseDetection/BEVStereo.


title: The Phase Space Structure in the vicinity of vertical Lyapunov orbits around L1,2 in a barred galaxy model

abstract: We study the phase space structure and the orbital diffusion from the vicinity of the vertical Lyapunov periodic orbits around the unstable Lagrangian points L1,2 in a 3D barred galaxy model. By perturbing the initial conditions of these periodic orbits, we detected the following five types of orbital structures in the 4D spaces of section: (i) Ring-like structures, sticky for large time intervals to the unstable invariant manifolds of the simple and double unstable vertical Lyapunov periodic orbits. (ii) 2D tori belonging to quasi-periodic orbits around stable periodic orbits existing in the region. They are associated either with vertical stable periodic orbits around L4,5 or with "stable anomalous" periodic orbits. (iii) Orbits sticky for large time intervals to these tori, forming "sticky tori", before they slowly depart from them. (iv) Clouds of points that have a strong chaotic behavior. Such clouds of consequents have slow diffusion speeds, because they are hindered by the presence of the tori around the "stable anomalous" periodic orbits. (v) Toroidal zones consisting of points that stick for long time on the unstable invariant manifolds of the "unstable anomalous" periodic orbits. By continuing the integration, we find that eventually they become strongly chaotic, retaining however small diffusion speeds, due to the presence of the tori around the stable anomalous periodic orbits.


title: Query-Guided Networks for Few-shot Fine-grained Classification and Person Search

abstract: Few-shot fine-grained classification and person search appear as distinct tasks and literature has treated them separately. But a closer look unveils important similarities: both tasks target categories that can only be discriminated by specific object details; and the relevant models should generalize to new categories, not seen during training. We propose a novel unified Query-Guided Network (QGN) applicable to both tasks. QGN consists of a Query-guided Siamese-Squeeze-and-Excitation subnetwork which re-weights both the query and gallery features across all network layers, a Query-guided Region Proposal subnetwork for query-specific localisation, and a Query-guided Similarity subnetwork for metric learning. QGN improves on a few recent few-shot fine-grained datasets, outperforming other techniques on CUB by a large margin. QGN also performs competitively on the person search CUHK-SYSU and PRW datasets, where we perform in-depth analysis.


title: Multiple Coulomb Scattering of muons in Lithium Hydride

abstract: Multiple Coulomb Scattering (MCS) is a well known phenomenon occurring when charged particles traverse materials. Measurements of muons traversing low $Z$ materials made in the MuScat experiment showed that theoretical models and simulation codes, such as GEANT4 (v7.0), over-estimated the scattering. The Muon Ionization Cooling Experiment (MICE) measured the cooling of a muon beam traversing a liquid hydrogen or lithium hydride (LiH) energy absorber as part of a programme to develop muon accelerator facilities, such as a Neutrino Factory or a Muon Collider. The energy loss and MCS that occur in the absorber material are competing effects that alter the performance of the cooling channel. Therefore measurements of MCS are required in order to validate the simulations used to predict the cooling performance in future accelerator facilities. We report measurements made in the MICE apparatus of MCS using a LiH absorber and muons within the momentum range 160 to 245 MeV/c. The measured RMS scattering width is about 9% smaller than that predicted by the approximate formula proposed by the Particle Data Group. Data at 172, 200 and 240 MeV/c are compared to the GEANT4 (v9.6) default scattering model. These measurements show agreement with this more recent GEANT4 (v9.6) version over the range of incident muon momenta.


title: Single chain differential evolution Monte-Carlo for self-tuning Bayesian inference

abstract: 1. Bayesian inference is difficult because it often requires time consuming tuning of samplers. Differential evolution Monte-Carlo (DEMC) is a self-tuning multi-chain sampling approach which requires minimal input from the operator as samples are obtained by taking the difference of the current position of multiple randomly selected chains. However, this can also make DEMC more computationally intensive than single chain samplers. 2. We provide a single-chain adaptation of the DEMC algorithm by taking samples according to the difference in previous states of the chain, rather than the current state of multiple chains. This minimises computational costs by requiring only one posterior evaluation per step, while retaining the self-adaptive property of DEMC. We test the algorithm by sampling a bivariate normal distribution and by estimating the posterior distribution of parameters of an ODE model fitted to an artificial prey-predator time series. In both cases we compare the quality of DEMC generated samples to those obtained by a standard adaptive Markov chain Monte-Carlo sampler (AMC). 3. In both case studies, DEMC is as accurate as AMC in estimating posterior distributions, while being an order of magnitude faster due to simpler computations. DEMC also provides a higher effective samples size than AMC, and lower initial samples autocorrelations. 4. Its low computational cost and self-adaptive property make single chain DEMC particularly suitable for fitting models that are costly to evaluate, such as ODE models. The simplicity of the algorithm also makes it easy to implement in base R, hence offering a simple alternative to STAN.


title: Polynomial extension of the Stronger Central Sets Theorem

abstract: In [F81] Furstenberg introduced the notion of central set and established his famous Central Sets Theorem. Since then, several improved versions of Furstenberg's result have been found. The strongest generalization has been published by De, Hindman and Strauss in [DHS08], whilst a polynomial extension by Bergelson, Johnson and Moreira appeared in [BJM17]. In this article, we will establish a polynomial extension of the stronger version of the central sets theorem, and we will discuss properties of the families of sets that this result leads to consider


title: T5QL: Taming language models for SQL generation

abstract: Automatic SQL generation has been an active research area, aiming at streamlining the access to databases by writing natural language with the given intent instead of writing SQL. Current SOTA methods for semantic parsing depend on LLMs to achieve high predictive accuracy on benchmark datasets. This reduces their applicability, since LLMs requires expensive GPUs. Furthermore, SOTA methods are ungrounded and thus not guaranteed to always generate valid SQL. Here we propose T5QL, a new SQL generation method that improves the performance in benchmark datasets when using smaller LMs, namely T5-Base, by 13pp when compared against SOTA methods. Additionally, T5QL is guaranteed to always output valid SQL using a context-free grammar to constrain SQL generation. Finally, we show that dividing semantic parsing in two tasks, candidate SQLs generation and candidate re-ranking, is a promising research avenue that can reduce the need for large LMs.


title: PTSG: a test generation tool based on extended finite state machine

abstract: The Extended Finite State Machine (EFSM) is one of the most popular modeling approaches for model-based testing. However, EFSM-based test case generation is susceptible to the infeasible (inexecutable) path problem, which stems from the conflict of predicates (guards) between transitions in the path. Therefore, in order to derive feasible test cases, a test generation algorithm needs to dynamically acquire information about the model and verify the feasibility of the generated test path through the simulation execution of the model. The traditional method of constructing executable models using hard-coding for different EFSM models under test has limitations such as inflexibility, time-consuming and error-prone. To address this issue, this paper develops an open source test generation tool for testing EFSM-specified systems, PTSG, to support the automatic generation of executable test cases. It decouples the EFSM model description, parsing and simulation execution functions from the test generation algorithm, which can effectively improve the efficiency and quality of test generation. In particular, PTSG first uses a well-designed JSON syntax to describe the specific EFSM under test. Then, based on the model description file, it uses lexical and syntactic parsers to dynamically extract model information to construct various model objects in memory such as state configurations, transitions, etc. Finally, the tool provide a series of service interfaces to support model information acquisition, transition feasibility evaluation, and model simulation execution. A case study of test sequence generation for the SCP protocol model demonstrates the capability and promise of the PTSG to serve executable test cases.


title: Heterogeneous earning responses to inheritance: new event-study evidence from Norway

abstract: It has long been assumed that inheritances, particularly large ones, have a negative effect on the labor supply of inheritors. Using Norwegian registry data, I examine the inheritance-induced decline in inheritors' wages and occupational income. In contrast to prior research, my estimates allow the dynamic effect of inheritances on labor supply to vary among inheritor cohorts. The estimation approach adopted and the 25-year long panel data make it possible to trace the dynamics of the effect for at least 20 years, which is twice as long as the study period in previous studies. Since all observations in the sample are inheritors, I avoid the selection problem arising in studies employing non-inheritors as controls. I find that large parental inheritances (more than one million Norwegian kroner) reduce annual wage and occupational income by, at most, 4.3%, which is about half the decrease previously identified. The magnitude of the effect increases with the size of the inheritance. Large inheritances also increase the probability of being self-employed by more than 1%, although entrepreneurship may be dampened by inheritances that are excessively large. The inheritance effect lasts for up to 10 years and is heterogeneous across sexes and age groups. Male heirs are more likely to reduce their labor supply after receiving the transfer. Young heirs are more likely to be self-employed, and their annual occupational income is, therefore, less affected by inheritances in the long run; for the very young inheriting large amounts of wealth from their grandparents, the probability of their attaining a post-secondary education declines by 2%.


title: Excitonic effects in time-dependent density functional theory from zeros of the density response

abstract: We show that the analytic structure of the dynamical xc kernels of semiconductors and insulators can be sensed in terms of its poles which mark physically relevant frequencies of the system where the counter-phase motion of discrete collective excitations occurs: if excited, the collective modes counterbalance each other, making the system to exhibit none at all or extremely weak density response. This property can be employed to construct simple and practically relevant approximations of the dynamical xc kernel for time-dependent density functional theory (TDDFT). Such kernels have simple analytic structure, are able to reproduce dominant excitonic features of the absorption spectra of monolayer semiconductors and bulk solids, and promise high potential for future uses in efficient real-time calculations with TDDFT.


title: A graph-based knowledge representation and pattern mining supporting the Digital Twin creation of existing manufacturing systems

abstract: The creation of a Digital Twin for existing manufacturing systems, so-called brownfield systems, is a challenging task due to the needed expert knowledge about the structure of brownfield systems and the effort to realize the digital models. Several approaches and methods have already been proposed that at least partially digitalize the information about a brownfield manufacturing system. A Digital Twin requires linked information from multiple sources. This paper presents a graph-based approach to merge information from heterogeneous sources. Furthermore, the approach provides a way to automatically identify templates using graph structure analysis to facilitate further work with the resulting Digital Twin and its further enhancement.


title: Learning Hierarchical Metrical Structure Beyond Measures

abstract: Music contains hierarchical structures beyond beats and measures. While hierarchical structure annotations are helpful for music information retrieval and computer musicology, such annotations are scarce in current digital music databases. In this paper, we explore a data-driven approach to automatically extract hierarchical metrical structures from scores. We propose a new model with a Temporal Convolutional Network-Conditional Random Field (TCN-CRF) architecture. Given a symbolic music score, our model takes in an arbitrary number of voices in a beat-quantized form, and predicts a 4-level hierarchical metrical structure from downbeat-level to section-level. We also annotate a dataset using RWC-POP MIDI files to facilitate training and evaluation. We show by experiments that the proposed method performs better than the rule-based approach under different orchestration settings. We also perform some simple musicological analysis on the model predictions. All demos, datasets and pre-trained models are publicly available on Github.


title: Efficient Non-Uniform Structured Mesh Generation Algorithm for Computational Electromagnetics

abstract: Despite the rapidly evolving field of computational electromagnetics, few open-source tools have managed to tackle the problem of automatic mesh generation for properly discretizing the problem of interest into a finite set of elements (cells). While several mesh generation algorithms have been established in the field of computational physics, the vast majority of such tools are targeted solely towards tetrahedral mesh formation, with the intended primary application being the finite element method. In this work, a computationally efficient non-uniform structured (rectilinear) mesh generation algorithm for electromagnetic simulations is presented. We examine the speed, performance and adaptability against previous work, and we evaluate its robustness against a complex geometry case with a commercially-generated grid. The mesh and simulation results produced using the generated grids of the proposed method are found to be in solid agreement.


title: X-ray spectral and timing analysis of the Compton Thick Seyfert 2 galaxy NGC 1068

abstract: We present the timing and spectral analysis of the Compton Thick Seyfert 2 active galactic nuclei NGC 1068 observed using {\it NuSTAR} and {\it XMM-Newton}. In this work for the first time we calculated the coronal temperature ($\rm{kT_{e}}$) of the source and checked for its variation between the epochs if any. The data analysed in this work comprised of (a) eight epochs of observations with {\it NuSTAR} carried out during the period December 2012 to November 2017, and, (b) six epochs of observations with {\it XMM-Newton} carried out during July 2000 to February 2015. From timing analysis of the {\it NuSTAR} observations, we found the source not to show any variations in the soft band. However, on examination of the flux at energies beyond 20 keV, during August 2014 and August 2017 the source was brighter by about 20\% and 30\% respectively compared to the mean flux of the three 2012 {\it NuSTAR} observations as in agreement with earlier results in literature. From an analysis of {\it XMM-Newton} data we found no variation in the hard band (2 $-$ 4 keV) between epochs as well as within epochs. In the soft band (0.2 $-$ 2 keV), while the source was found to be not variable within epochs, it was found to be brighter in epoch B relative to epoch A. By fitting physical models we determined $\rm{kT_{e}}$ to range between 8.46$^{+0.39}_{-0.66}$ keV and 9.13$^{+0.63}_{-0.98}$ keV. From our analysis, we conclude that we found no variation of $\rm{kT_{e}}$ in the source.


title: On Reachable Assignments under Dichotomous Preferences

abstract: We consider the problem of determining whether a target item assignment can be reached from an initial item assignment by a sequence of pairwise exchanges of items between agents. In particular, we consider the situation where each agent has a dichotomous preference over the items, that is, each agent evaluates each item as acceptable or unacceptable. Furthermore, we assume that communication between agents is limited, and the relationship is represented by an undirected graph. Then, a pair of agents can exchange their items only if they are connected by an edge and the involved items are acceptable. We prove that this problem is PSPACE-complete even when the communication graph is complete (that is, every pair of agents can exchange their items), and this problem can be solved in polynomial time if an input graph is a tree.


title: Broadband Bragg phenomenon in a uniform medium

abstract: A new mechanism of Bragg reflection is identified, one that, remarkably, occurs in a uniform medium and relies on resonant tuning of the medium's parameters. Due to uniformity, reflection ensues over a broad wavelength range, much like a metal, but it is polarization dependent: one circular state is reflected, whilst the other is transmitted. Such a medium can thus provide a broadband, low-loss polarization divider/combiner. Assessment of the required parameters suggests that manufacturing is within range of current metamaterials technology. By externally regulating the medium's parameters, a highly efficient optical modulator is possible with potential applications across optics, optoelectronics, and photonics.


title: Extremal octagonal chains with respect to the Kirchhoff index

abstract: Let $G$ be a connected graph. The resistance distance between any two vertices of $G$ is equal to the effective resistance between them in the corresponding electrical network constructed from $G$ by replacing each edge with a unit resistor. The Kirchhoff index is defined as the sum of resistance distances between all pairs of the vertices. These indices have been computed for many interesting graphs, such as linear polyomino chain, linear/M\"{o}bius/cylinder hexagonal chain, and linear/M\"{o}bius/cylinder octagonal chain. In this paper, we characterized the maximum and minimum octagonal chains with respect to the Kirchhoff index.


title: Improved Approximation for Two-Edge-Connectivity

abstract: The basic goal of survivable network design is to construct low-cost networks which preserve a sufficient level of connectivity despite the failure or removal of a few nodes or edges. One of the most basic problems in this area is the $2$-Edge-Connected Spanning Subgraph problem (2-ECSS): given an undirected graph $G$, find a $2$-edge-connected spanning subgraph $H$ of $G$ with the minimum number of edges (in particular, $H$ remains connected after the removal of one arbitrary edge). 2-ECSS is NP-hard and the best-known (polynomial-time) approximation factor for this problem is $4/3$. Interestingly, this factor was achieved with drastically different techniques by [Hunkenschr{\"o}der, Vempala and Vetta '00,'19] and [Seb{\"o} and Vygen, '14]. In this paper we present an improved $\frac{118}{89}+\epsilon<1.326$ approximation for 2-ECSS. The key ingredient in our approach (which might also be helpful in future work) is a reduction to a special type of structured graphs: our reduction preserves approximation factors up to $6/5$. While reducing to 2-vertex-connected graphs is trivial (and heavily used in prior work), our structured graphs are "almost" 3-vertex-connected: more precisely, given any 2-vertex-cut $\{u,v\}$ of a structured graph $G=(V,E)$, $G[V\setminus \{u,v\}]$ has exactly 2 connected components, one of which contains exactly one node of degree $2$ in $G$.


title: Decoding Energy Modeling For Versatile Video Coding

abstract: In previous research, it was shown that the software decoding energy demand of High Efficiency Video Coding (HEVC) can be reduced by 15$\%$ by using a decoding-energy-rate-distortion optimization algorithm. To achieve this, the energy demand of the decoder has to be modeled by a bit stream feature-based model with sufficiently high accuracy. Therefore, we propose two bit stream feature-based models for the upcoming Versatile Video Coding (VVC) standard. The newly introduced models are compared with models from literature, which are used for HEVC. An evaluation of the proposed models reveals that the mean estimation error is similar to the results of the literature and yields an estimation error of 1.85% with 10-fold cross-validation.


title: Clustering Without Knowing How To: Application and Evaluation

abstract: Crowdsourcing allows running simple human intelligence tasks on a large crowd of workers, enabling solving problems for which it is difficult to formulate an algorithm or train a machine learning model in reasonable time. One of such problems is data clustering by an under-specified criterion that is simple for humans, but difficult for machines. In this demonstration paper, we build a crowdsourced system for image clustering and release its code under a free license at https://github.com/Toloka/crowdclustering. Our experiments on two different image datasets, dresses from Zalando's FEIDEGGER and shoes from the Toloka Shoes Dataset, confirm that one can yield meaningful clusters with no machine learning algorithms purely with crowdsourcing.


title: Extending Video Decoding Energy Models for 360{\deg} and HDR Video Formats in HEVC

abstract: Research has shown that decoder energy models are helpful tools for improving the energy efficiency in video playback applications. For example, an accurate feature-based bit stream model can reduce the energy consumption of the decoding process. However, until now only sequences of the SDR video format were investigated. Therefore, this paper shows that the decoding energy of HEVC-coded bit streams can be estimated precisely for different video formats and coding bit depths. Therefore, we compare a state-of-the-art model from the literature with a proposed model. We show that bit streams of the 360{\deg}, HDR, and fisheye video format can be estimated with a mean estimation error lower than 3.88% if the setups have the same coding bit depth. Furthermore, it is shown that on average, the energy demand for the decoding of bit streams with a bit depth of 10-bit is 55% higher than with 8-bit.


title: Embedding theorems for quantizable pseudo-K\"ahler manifolds

abstract: Given a compact quantizable pseudo-K\"ahler manifold $(M,\omega)$ of constant signature, there exists a Hermitian line bundle $(L,h)$ over $M$ with curvature $-2\pi i\,\omega$. We shall show that the asymptotic expansion of the Bergman kernels for $L^{\otimes k}$-valued $(0,q)$-forms implies more or less immediately a number of analogues of well-known results, such as Kodaira embedding theorem and Tian's almost-isometry theorem.


title: Frontiers, challenges, and solutions in modeling of swift heavy ion effects in materials

abstract: Since a few breakthroughs in the fundamental understanding of the effects of swift heavy ions (SHI) decelerating in the electronic stopping regime in the matter have been achieved in the last decade, it motivated us to review the state-of-the-art approaches in the modeling of SHI effects. The SHI track kinetics occurs via several well-separated stages: from attoseconds in ion-impact ionization depositing energy in a target, to femtoseconds of electron transport and hole cascades, to picoseconds of lattice excitation and response, to nanoseconds of atomic relaxation, and even longer macroscopic reaction. Each stage requires its own approaches for quantitative description. We discuss that understanding the links between the stages makes it possible to describe the entire track kinetics within a multiscale model without fitting procedures. The review focuses on the underlying physical mechanisms of each process, the dominant effects they produce, and the limitations of the existing approaches as well as various numerical techniques implementing these models. It provides an overview of ab-initio-based modeling of the evolution of the electronic properties; Monte Carlo simulations of nonequilibrium electronic transport; molecular dynamics modeling of atomic reaction on the surface and in the bulk; kinetic Mote Carlo of atomic defect kinetics; finite-difference methods of tracks interaction with chemical solvents describing etching kinetics. We outline the modern methods that couple these approaches into multiscale multidisciplinary models and point to their bottlenecks, strengths, and weaknesses. The analysis is accompanied by examples of important results improving the understanding of track formation in various materials. Summarizing the most recent advances in the field of the track formation process, the review delivers a comprehensive picture and detailed understanding of the phenomena.


title: Analyzing Social Media Activities at Bellingcat

abstract: Open-source journalism emerged as a new phenomenon in the media ecosystem, which uses crowdsourcing to fact-check and generate investigative reports for world events using open sources (e.g., social media). A particularly prominent example is Bellingcat. Bellingcat is known for its investigations on the illegal use of chemical weapons during the Syrian war, the Russian responsibility for downing flight MH17, the identification of the perpetrators in the attempted murder of Alexei Navalny, and war crimes in the Russo-Ukraine war. Crucial for this is social media in order to disseminate findings and crowdsource fact-checks. In this work, we characterize the social media activities at Bellingcat on Twitter. For this, we built a comprehensive dataset of all N=24,682 tweets posted by Bellingcat on Twitter since its inception in July 2014. Our analysis is three-fold: (1) We analyze how Bellingcat uses Twitter to disseminate information and collect information from its follower base. Here, we find a steady increase in both posts and replies over time, particularly during the Russo-Ukrainian war, which is in line with the growing importance of Bellingcat for the traditional media ecosystem. (2) We identify characteristics of posts that are successful in eliciting user engagement. User engagement is particularly large for posts embedding additional media items and with a more negative sentiment. (3) We examine how the follower base has responded to the Russian invasion of Ukraine. Here, we find that the sentiment has become more polarized and negative. We attribute this to a ~13-fold increase in bots interacting with the Bellingcat account. Overall, our findings provide recommendations for how open-source journalism such as Bellingcat can successfully operate on social media.


title: Evaluating Continuous Basic Graph Patterns over Dynamic Link Data Graphs

abstract: In this paper, we investigate the problem of evaluating Basic Graph Patterns (BGP, for short, a subclass of SPARQL queries) over dynamic Linked Data graphs; i.e., Linked Data graphs that are continuously updated. We consider a setting where the updates are continuously received through a stream of messages and support both insertions and deletions of triples (updates are straightforwardly handled as a combination of deletions and insertions). In this context, we propose a set of in-memory algorithms minimizing the cached data for efficiently and continuously answering main subclasses of BGP queries. The queries are typically submitted into a system and continuously result the delta answers while the update messages are processed. Consolidating all the historical delta answers, the algorithms ensure that the answer of each query is constructed at any given time.


title: Observational entropic study of Anderson localization

abstract: The notion of the thermodynamic entropy in the context of quantum mechanics is a controversial topic. While there were proposals to refer von Neumann entropy as the thermodynamic entropy, it has it's own limitations. The observational entropy has been developed as a generalization of Boltzmann entropy, and it is presently one of the most promising candidates to provide a clear and well-defined understanding of the thermodynamic entropy in quantum mechanics. In this work, we study the behaviour of the observational entropy in the context of localization-delocalization transition for one-dimensional Aubrey-Andr\'e (AA) model. We find that for the typical mid-spectrum states, in the delocalized phase the observation entropy grows rapidly with coarse-grain size and saturates to the maximal value, while in the localized phase the growth is logarithmic. Moreover, for a given coarse-graining, it increases logarithmically with system size in the delocalized phase, and obeys area law in the localized phase. We also find the increase of the observational entropy followed by the quantum quench, is logarithmic in time in the delocalized phase as well as at the transition point, while in the localized phase it oscillates. Finally, we also venture the self-dual property of the AA model using momentum space coarse-graining.


title: Some consequences of Glaisher's map and a generalization of Sylvester's theorem

abstract: For positive integers $k, l \geq 2$, the set of $k$-regular partitions in which parts appear at most $l$ times has attracted a lot of interest in that a composition of Glaisher's mapping can be used to prove the associated partition identities in certain cases. We consider some special cases and derive some arithmetic properties. Of particular focus is the set of partitions in which parts are odd and distinct ($k =2$, $l = 2$). Sylvester proved that, for fixed weight, this set of partitions is equinumerous with the set of self-conjugate partitions. We introduce a new class of partitions that generalizes self-conjugate partitions and as a result, we extend Sylvester's theorem. Furthermore, using this class of partitions, we give new combinatorial interpretation of some Rogers-Ramanujan identities which were previously considered by A. K. Agarwal.


title: Tight Exponential Strong Converse for Source Coding Problem with Encoded Side Information

abstract: The source coding problem with encoded side information is considered. A lower bound on the strong converse exponent has been derived by Oohama, but its tightness has not been clarified. In this paper, we derive a tight strong converse exponent. For the special case such that the side-information does not exists, we demonstrate that our tight exponent of the WAK problem reduces to the known tight expression of that special case while Oohama's lower bound is strictly loose. The converse part is proved by a judicious use of the change-of-measure argument, which was introduced by Gu-Effros and further developed by Tyagi-Watanabe. Interestingly, the soft Markov constraint, which was introduced by Oohama as a proof technique, is naturally incorporated into the characterization of the exponent. A technical innovation of this paper is recognizing that the soft Markov constraint is a part of the exponent, rather than a penalty term that should be vanished. In fact, via numerical experiment, we provide evidence that the soft Markov constraint is strictly positive. The achievability part is derived by a careful analysis of the type argument; however, unlike the conventional analysis for the achievable rate region, we need to derive the soft Markov constraint in the analysis of the correct probability. Furthermore, we present an application of our derivation of strong converse exponent to the privacy amplification.


title: Observation of the radiative decay of the ${}^{229}\mathrm{Th}$ nuclear clock isomer

abstract: The nucleus of the radioisotope thorium-229 (${}^{229}$Th) features an isomer with an exceptionally low excitation energy that enables direct laser manipulation of nuclear states. For this reason, it is a leading candidate for use in next-generation optical clocks. This nuclear clock will be a unique tool, amongst others, for tests of fundamental physics. While first indirect experimental evidence for the existence of such an extraordinary nuclear state is significantly older, the proof of existence has been delivered only recently by observing the isomer's electron conversion decay and its hyperfine structure in a laser spectroscopy study, revealing information on the isomer's excitation energy, nuclear spin and electromagnetic moments. Further studies reported the electron conversion lifetime and refined the isomer's energy. In spite of recent progress, the isomer's radiative decay, a key ingredient for the development of a nuclear clock, remained unobserved. In this Letter, we report the detection of the radiative decay of this low-energy isomer in thorium-229 (${}^{229\mathrm{m}}$Th). By performing vacuum-ultraviolet spectroscopy of ${}^{229\mathrm{m}}$Th incorporated into large-bandgap CaF${}_2$ and MgF${}_2$ crystals at the ISOLDE facility at CERN, the photon vacuum wavelength of the isomer's decay is measured as 148.71(42) nm, corresponding to an excitation energy of 8.338(24) eV. This value is in agreement with recent measurements, and decreases the uncertainty by a factor of seven. The half-life of ${}^{229\mathrm{m}}$Th embedded in MgF${}_2$ is determined to be 670(102) s. The observation of the radiative decay in a large-bandgap crystal has important consequences for the design of a future nuclear clock and the improved uncertainty of the energy eases the search for direct laser excitation of the atomic nucleus.


title: Plans for building a prototype SKA regional centre in India

abstract: In order to deliver the full science potential of the Square Kilometer Array (SKA) telescope, several SKA Regional Centres (SRCs) will be required to be constructed in different SKA member countries around the world. These SRCs will provide high performance compute and storage for the generation of advanced science data products from the basic data streams generated by the SKA Science Data Handling and Processing system, critically necessary to the success of the key science projects to be carried out by the SKA user community. They will also provide support to astronomers to enable them to carry out analysis on very large SKA datasets. Construction of such large data centres is a technical challenge for all SKA member nations. In such a situation, each country plans to construct a smaller SRC over the next few years (2022 onwards), known as a proto-SRC. In India, we propose to construct a proto-SRC which will be used for the analysis of data from SKA pathfinders and precursors with strong Indian involvement such as uGMRT, Meerkat and MWA. We describe our thinking on some aspects of the the storage, compute and network of the proto-SRC and how it will be used for data analysis as well as for carrying out various simulations related to SKA key science projects led by Indian astronomers. We also present our thoughts on how the proto-SRC plans to evaluate emerging hardware and software technologies and to also begin software development in areas of relevance to SKA data processing and analysis such as algorithm implementation, pipeline development and data visualisation software.


title: An Automatically Verified Prototype of the Android Permissions System

abstract: In a previous work De Luca and Luna presented formal specifications of idealized formulations of the permission model of Android in the Coq proof assistant. This formal development is about 23 KLOC of Coq code, including proofs. This work aims at showing that {log} (`setlog') -- a satisfiability solver and a constraint logic programming language -- can be used as an effective automated prover for the class of proofs that must be discharged in the formal verification of systems such as the one carried out by De Luca and Luna. We show how the Coq model is encoded in {log} and how automated proofs are performed. The resulting {log} model is an automatically verified executable prototype of the Android permissions system. Detailed data on the empirical evaluation resulting after executing all the proofs in {log} is provided. The integration of Coq and {log} as to provide a framework featuring automated proof and prototype generation is discussed.


title: The 4-Adic Complexity of Interleaved Quaternary Sequences of Even Length with Optimal Autocorrelation

abstract: Su et al. proposed several new classes of quaternary sequences of even length with optimal autocorrelation interleaved by twin-prime sequences pairs, GMW sequences pairs or binary cyclotomic sequences of order four in \cite{S1}. In this paper, we determine the 4-adic complexity of these quaternary sequences with period $2n$ by using correlation function and the "Gauss periods" of order four and "quadratic Gauss sums" on finite field $\mathbb{F}_n$ and valued in $\mathbb{Z}^{*}_{4^{2n}-1}$. Our results show that they are safe enough to resist the attack of the rational approximation algorithm.