title: Weak supersymmetric $su(N|1)$ quantum systems

abstract: We present several examples of supersymmetric quantum mechanical systems with weak superalgebra $su(N|1)$. One of them is the weak $su(N|1)$ oscillator. It has a singlet ground state, $N +1$ degenerate states at the first excited level, etc. Starting from the level $k = N+1$, the system has complete supersymmetric multiplets at each level involving $2^N$ degenerate states. Due to the fact that the supermultiplets are not complete for $k \leq N$, the Witten index represents a nontrivial function of $\beta$. This system can be deformed with keeping the algebra intact. The index is invariant under such deformation. The deformed system is not exactly solved, but the invariance of the index implies that the energies of the states at the first $N$ levels of the spectrum are not shifted, and we are dealing with a quasi-exactly solvable system. Another system represents a weak generalisation of the superconformal mechanics with $N$ complex supercharges. Also in this case, starting from a certain energy, the spectrum involves only complete supersymmetric $2^N$-plets. (There also exist normalizable states with lower energies, but they do not have normalizable superpartners. To keep supersymmetry, we have to eliminate these states.)


title: Packing and covering in higher dimensions

abstract: The present work surveys problems in $n$-dimensional space with $n$ large. Early development in the study of packing and covering in high dimensions was motivated by the geometry of numbers. Subsequent results, such as the discovery of the Leech lattice and the linear programming bound, which culminated in the recent solution of the sphere packing problem in dimensions 8 and 24, were influenced by coding theory. After mentioning the known results concerning existence of economical packings and coverings we discuss the different methods yielding upper bounds for the density of packing congruent balls. We summarize the few results on upper bounds for the packing density of general convex bodies. The paper closes with some remarks on the structure of optimal arrangements.


title: Deepfake Detection for Facial Images with Facemasks

abstract: Hyper-realistic face image generation and manipulation have givenrise to numerous unethical social issues, e.g., invasion of privacy,threat of security, and malicious political maneuvering, which re-sulted in the development of recent deepfake detection methods with the rising demands of deepfake forensics. Proposed deepfake detection methods to date have shown remarkable detection performance and robustness. However, none of the suggested deepfake detection methods assessed the performance of deepfakes with the facemask during the pandemic crisis after the outbreak of theCovid-19. In this paper, we thoroughly evaluate the performance of state-of-the-art deepfake detection models on the deepfakes with the facemask. Also, we propose two approaches to enhance the masked deepfakes detection: face-patch and face-crop. The experimental evaluations on both methods are assessed through the base-line deepfake detection models on the various deepfake datasets. Our extensive experiments show that, among the two methods, face-crop performs better than the face-patch, and could be a train method for deepfake detection models to detect fake faces with facemask in real world.


title: Deep Graph Learning for Anomalous Citation Detection

abstract: Anomaly detection is one of the most active research areas in various critical domains, such as healthcare, fintech, and public security. However, little attention has been paid to scholarly data, i.e., anomaly detection in a citation network. Citation is considered as one of the most crucial metrics to evaluate the impact of scientific research, which may be gamed in multiple ways. Therefore, anomaly detection in citation networks is of significant importance to identify manipulation and inflation of citations. To address this open issue, we propose a novel deep graph learning model, namely GLAD (Graph Learning for Anomaly Detection), to identify anomalies in citation networks. GLAD incorporates text semantic mining to network representation learning by adding both node attributes and link attributes via graph neural networks. It exploits not only the relevance of citation contents but also hidden relationships between papers. Within the GLAD framework, we propose an algorithm called CPU (Citation PUrpose) to discover the purpose of citation based on citation texts. The performance of GLAD is validated through a simulated anomalous citation dataset. Experimental results demonstrate the effectiveness of GLAD on the anomalous citation detection task.


title: Exploratory Methods for Relation Discovery in Archival Data

abstract: In this article we propose a holistic approach to discover relations in art historical communities and enrich historians' biographies and archival descriptions with graph patterns relevant to art historiographic enquiry. We use exploratory data analysis to detect patterns, we select features, and we use them to evaluate classification models to predict new relations, to be recommended to archivists during the cataloguing phase. Results show that relations based on biographical information can be addressed with higher precision than relations based on research topics or institutional relations. Deterministic and a priori rules present better results than probabilistic methods.


title: Local well-posedness and global existence for the Popowicz system

abstract: Popowicz system, as the interacting system of Camassa-Holm and Degasperis-Procesi equations, has attracted some attention in recent years. In this paper, we first study the local well-posedness for the cauchy problem of Popowicz system in nonhomogeneous Besov spaces $B^s_{p,r}\times B^s_{p,r}$ with $s> \max\{2, \frac{1}{p}+\frac{3}{2}\}$ or $(s=2, 2\leq p \leq \infty, 1\leq r\leq 2)$. Moreover, a new blow-up criterion and global existence with different initial values are obtained.


title: The SIRAH force-field and interactions between short DNA duplexes

abstract: In recent years, short DNA duplexes have been studied as an interesting self-assembling system and a building block for DNA-based nanotechnologies. Numerical simulation studies for the determination of the full phase diagram of short duplexes require, as an input ingredient, a simplified but reliable force-field able to capture the main features of duplex-duplex interaction. We used the coarse-grained SIRAH force field in the implicit solvent approximation to study the interaction between two short duplexes of double-strand DNA as a function of the relative positions and orientations and the salt concentration, in the cases of 8 and 20 base pairs. We discuss the consequences of our study to determine new simple but qualitatively reliable model potentials.


title: FastRPB: a Scalable Relative Positional Encoding for Long Sequence Tasks

abstract: Transformers achieve remarkable performance in various domains, including NLP, CV, audio processing, and graph analysis. However, they do not scale well on long sequence tasks due to their quadratic complexity w.r.t. the inputs length. Linear Transformers were proposed to address this limitation. However, these models have shown weaker performance on the long sequence tasks comparing to the original one. In this paper, we explore Linear Transformer models, rethinking their two core components. Firstly, we improved Linear Transformer with Shift-Invariant Kernel Function SIKF, which achieve higher accuracy without loss in speed. Secondly, we introduce FastRPB which stands for Fast Relative Positional Bias, which efficiently adds positional information to self-attention using Fast Fourier Transformation. FastRPB is independent of the self-attention mechanism and can be combined with an original self-attention and all its efficient variants. FastRPB has O(N log(N)) computational complexity, requiring O(N) memory w.r.t. input sequence length N.


title: Spin canting in nonlinear terahertz magnon dynamics revealed by magnetorefractive probing in orthoferrite

abstract: We excite the spin precession in rare-earth orthoferrite YFeO3 by the magnetic field of intense terahertz pulse and probe its dynamics by transient absorption change in the near infrared. The observed waveforms contain quasi-ferromagnetic-mode magnon oscillation and its second harmonics with a comparably strong amplitude. The result can be explained by dielectric function derived from magnetorefractive Hamiltonian. We reveal that the strong second harmonic signal microscopically originates from novel dynamics of the quasi-ferromagnetic mode magnon at nonlinear regime, wherein spin canting angle periodically oscillates.


title: Miscellaneous problems about packing and covering

abstract: In this paper we discuss various special problems on packing and covering. Among others we survey the problems and results concerning finite arrangements, Minkowskian, saturated, compact, and totally separable packings. We discuss shortest path problems and questions about stability of packings.


title: The DoF Region of Two-User MIMO Broadcast Channel with Delayed Imperfect-Quality CSIT

abstract: The channel state information at the transmitter (CSIT) play an important role in the performance of wireless networks. The CSIT model can be delayed and imperfect-quality, since the feedback link has a delay and the channel state information (CSI) feedback has distortion. In this paper, we thus characterize the degrees-of-freedom (DoF) region of the two-user multiple-input multiple-output (MIMO) broadcast channel with delayed imperfect-quality CSIT, where the antenna configurations can be arbitrary. The converse proof of DoF region is based on the enhancement of physically degraded channel. The achievability proof of DoF region is through a novel transmission scheme design, where the duration of each phase and the amount of transmitted symbols are configured based on the imperfect-quality of delayed CSIT. As a result, we show that the DoF region with delayed imperfect-quality CSIT is located between the DoF region with no CSIT and the DoF region with delayed CSIT.


title: The mean and variance of the distribution of shortest path lengths of random regular graphs

abstract: The distribution of shortest path lengths (DSPL) of random networks provides useful information on their large scale structure. In the special case of random regular graphs (RRGs), which consist of $N$ nodes of degree $c \ge 3$, the DSPL, denoted by $P(L=\ell)$, follows a discrete Gompertz distribution. Using the discrete Laplace transform we derive a closed-form expression for the moment generating function of the DSPL of RRGs. From the moment generating function we obtain closed-form expressions for the mean and variance of the DSPL. More specifically, we find that the mean distance between pairs of distinct nodes is given by $\langle L \rangle = \frac{\ln N}{\ln (c-1)} + \frac{1}{2} - \frac{ \ln c - \ln (c-2) +\gamma}{\ln (c-1)} + \mathcal{O} \left( \frac{\ln N}{N} \right)$, where $\gamma$ is the Euler-Mascheroni constant. While the leading term is known, this result includes a novel correction term, which yields very good agreement with the results obtained from direct numerical evaluation of $\langle L \rangle$ via the tail-sum formula and with the results obtained from computer simulations. However, it does not account for an oscillatory behavior of $\langle L \rangle$ as a function of $c$ or $N$. These oscillations are negligible in sparse networks but detectable in dense networks. We also derive an expression for the variance ${\rm Var}(L)$ of the DSPL, which captures the overall dependence of the variance on $c$ but does not account for the oscillations. The oscillations are due to the discrete nature of the shell structure around a random node. They reflect the profile of the filling of new shells as $N$ is increased. The results for the mean and variance are compared to the corresponding results obtained in other types of random networks. The relation between the mean distance and the diameter is discussed.


title: Wong-Zakai approximation and support theorem for 2D and 3D stochastic convective Brinkman-Forchheimer equations

abstract: In this work, we demonstrate the Wong-Zakai approximation results for two and three dimensional stochastic convective Brinkman-Forchheimer (SCBF) equations forced by Hilbert space valued Wiener noise on bounded domains. Even though the existence and uniqueness of a pathwise strong solution to SCBF equations is known, the existence of a unique solution to the approximating system is not immediate from the solvability results of SCBF equations, and we prove it by using Faedo-Galerkin approximation technique and monotonicity arguments. Moreover, as an application of the Wong-Zakai approximation, we obtain the support of the distribution of solutions to SCBF equations.


title: Unravelling Saturable Absorption of Thulium-doped Fibres for New Level of Integrated Femtosecond Pulse Generation

abstract: The ultrashort pulse laser operation is crucially defined by engaging explicit modulators. Conventionally, they are laborious to incorporate into an all-fibre design or involve the design of sophisticated cavities. We exploit Thulium-doped fibre as the gain and simple, highly integrated saturable absorber with a modulation depth of 23% and a high thermal damage threshold. Hence, pulses as short as 350fs carrying 1nJ energy at a repetition rate of 45MHz have been demonstrated. The laser average output power showed long-term stability with ~1%. The utilised concept of all-fibre saturable absorber provides technological grounds for a down-scaled, highly integrated laser architecture.


title: Construction of $G^2$ planar Hermite interpolants with prescribed arc lengths

abstract: In this paper we address the problem of constructing $G^2$ planar Pythagorean--hodograph (PH) spline curves, that interpolate points, tangent directions and curvatures, and have prescribed arc-length. The interpolation scheme is completely local. Each spline segment is defined as a PH biarc curve of degree $7$, which results in having a closed form solution of the $G^2$ interpolation equations depending on four free parameters. By fixing two of them to zero, it is proven that the length constraint can be satisfied for any data and any chosen ratio between the two boundary tangents. Length interpolation equation reduces to one algebraic equation with four solutions in general. To select the best one, the value of the bending energy is observed. Several numerical examples are provided to illustrate the obtained theoretical results and to numerically confirm that the approximation order is $5$.


title: Localizing Small Apples in Complex Apple Orchard Environments

abstract: The localization of fruits is an essential first step in automated agricultural pipelines for yield estimation or fruit picking. One example of this is the localization of apples in images of entire apple trees. Since the apples are very small objects in such scenarios, we tackle this problem by adapting the object proposal generation system AttentionMask that focuses on small objects. We adapt AttentionMask by either adding a new module for very small apples or integrating it into a tiling framework. Both approaches clearly outperform standard object proposal generation systems on the MinneApple dataset covering complex apple orchard environments. Our evaluation further analyses the improvement w.r.t. the apple sizes and shows the different characteristics of our two approaches.


title: Hilbert points in Hilbert space-valued $L^p$ spaces

abstract: Let $H$ be a Hilbert space and $(\Omega,\mathcal{F},\mu)$ a probability space. A Hilbert point in $L^p(\Omega; H)$ is a nontrivial function $\varphi$ such that $\|\varphi\|_p \leq \|\varphi+f\|_p$ whenever $\langle f, \varphi \rangle = 0$. We demonstrate that $\varphi$ is a Hilbert point in $L^p(\Omega; H)$ for some $p\neq2$ if and only if $\|\varphi(\omega)\|_H$ assumes only the two values $0$ and $C>0$. We also obtain a geometric description of when a sum of independent Rademacher variables is a Hilbert point.


title: Skeleton Sequence and RGB Frame Based Multi-Modality Feature Fusion Network for Action Recognition

abstract: Action recognition has been a heated topic in computer vision for its wide application in vision systems. Previous approaches achieve improvement by fusing the modalities of the skeleton sequence and RGB video. However, such methods have a dilemma between the accuracy and efficiency for the high complexity of the RGB video network. To solve the problem, we propose a multi-modality feature fusion network to combine the modalities of the skeleton sequence and RGB frame instead of the RGB video, as the key information contained by the combination of skeleton sequence and RGB frame is close to that of the skeleton sequence and RGB video. In this way, the complementary information is retained while the complexity is reduced by a large margin. To better explore the correspondence of the two modalities, a two-stage fusion framework is introduced in the network. In the early fusion stage, we introduce a skeleton attention module that projects the skeleton sequence on the single RGB frame to help the RGB frame focus on the limb movement regions. In the late fusion stage, we propose a cross-attention module to fuse the skeleton feature and the RGB feature by exploiting the correlation. Experiments on two benchmarks NTU RGB+D and SYSU show that the proposed model achieves competitive performance compared with the state-of-the-art methods while reduces the complexity of the network.


title: Spectroscopic observation of a transition region network jet

abstract: Ubiquitous transition region (TR) network jets are considered to be substantial sources of mass and energy to the corona and solar wind. We conduct a case study of a network jet to better understand the nature of mass flows along its length and the energetics involved in its launch. We present an observation of a jet with the Interface Region Imaging Spectrograph (IRIS), while also using data from the Solar Dynamics Observatory (SDO) to provide further context. The jet was located within a coronal hole close to the disk center. We find that a blueshifted secondary component of TR emission is associated with the jet and is persistent along its spire. This component exhibits upward speeds of approximately 20-70 km s$^{-1}$ and shows enhanced line broadening. However, plasma associated with the jet in the upper chromosphere shows downflows of 5-10 km s$^{-1}$. Finally, the jet emanates from a seemingly unipolar magnetic footpoint. While a definitive magnetic driver is not discernible for this event, we infer that the energy driving the network jet is deposited at the top of the chromosphere, indicating that TR network jets are driven from the mid-atmospheric layers of the Sun. The energy flux associated with the line broadening indicates that the jet could be powered all the way into the solar wind.


title: Cooperative Behavior Planning for Automated Driving using Graph Neural Networks

abstract: Urban intersections are prone to delays and inefficiencies due to static precedence rules and occlusions limiting the view on prioritized traffic. Existing approaches to improve traffic flow, widely known as automatic intersection management systems, are mostly based on non-learning reservation schemes or optimization algorithms. Machine learning-based techniques show promising results in planning for a single ego vehicle. This work proposes to leverage machine learning algorithms to optimize traffic flow at urban intersections by jointly planning for multiple vehicles. Learning-based behavior planning poses several challenges, demanding for a suited input and output representation as well as large amounts of ground-truth data. We address the former issue by using a flexible graph-based input representation accompanied by a graph neural network. This allows to efficiently encode the scene and inherently provide individual outputs for all involved vehicles. To learn a sensible policy, without relying on the imitation of expert demonstrations, the cooperative planning task is considered as a reinforcement learning problem. We train and evaluate the proposed method in an open-source simulation environment for decision making in automated driving. Compared to a first-in-first-out scheme and traffic governed by static priority rules, the learned planner shows a significant gain in flow rate, while reducing the number of induced stops. In addition to synthetic simulations, the approach is also evaluated based on real-world traffic data taken from the publicly available inD dataset.


title: Multi-scale Sparse Representation-Based Shadow Inpainting for Retinal OCT Images

abstract: Inpainting shadowed regions cast by superficial blood vessels in retinal optical coherence tomography (OCT) images is critical for accurate and robust machine analysis and clinical diagnosis. Traditional sequence-based approaches such as propagating neighboring information to gradually fill in the missing regions are cost-effective. But they generate less satisfactory outcomes when dealing with larger missing regions and texture-rich structures. Emerging deep learning-based methods such as encoder-decoder networks have shown promising results in natural image inpainting tasks. However, they typically need a long computational time for network training in addition to the high demand on the size of datasets, which makes it difficult to be applied on often small medical datasets. To address these challenges, we propose a novel multi-scale shadow inpainting framework for OCT images by synergically applying sparse representation and deep learning: sparse representation is used to extract features from a small amount of training images for further inpainting and to regularize the image after the multi-scale image fusion, while convolutional neural network (CNN) is employed to enhance the image quality. During the image inpainting, we divide preprocessed input images into different branches based on the shadow width to harvest complementary information from different scales. Finally, a sparse representation-based regularizing module is designed to refine the generated contents after multi-scale feature aggregation. Experiments are conducted to compare our proposal versus both traditional and deep learning-based techniques on synthetic and real-world shadows. Results demonstrate that our proposed method achieves favorable image inpainting in terms of visual quality and quantitative metrics, especially when wide shadows are presented.


title: Recommended high performance telescope system design for the TianQin project

abstract: China is planning to construct a new space-borne gravitational-wave (GW) observatory, the TianQin project, in which the spaceborne telescope is an important component in laser interferometry. The telescope is aimed to transmit laser beams between the spacecrafts for the measurement of the displacements between proof-masses in long arms. The telescope should have ultra-small wavefront deviation to minimize noise caused by pointing error, ultra-stable structure to minimize optical path noise caused by temperature jitter, ultra-high stray light suppression ability to eliminate background noise. In this paper, we realize a telescope system design with ultra-stable structure as well as ultra-low wavefront distortion for the space-based GW detection mission. The design requirements demand extreme control of high image quality and extraordinary stray light suppression ability. Based on the primary aberration theory, the initial structure design of the mentioned four-mirror optical system is explored. After optimization, the maximum RMS wavefront error is less than lamda/300 over the full field of view (FOV), which meets the noise budget on the telescope design. The stray light noise caused by the back reflection of the telescope is also analyzed. The noise at the position of optical bench is less than 10-10 of the transmitted power, satisfying the requirements of space gravitational-wave detection. We believe that our design can be a good candidate for TianQin project, and can also be a good guide for the space telescope design in any other similar science project.


title: Packing and covering properties of sequences of convex bodies

abstract: This paper suveys different variants of the following problem: Given a convex set $K$ and a sequence $\{C_i\}$ of convex bodies in $E^n$, is it possible to pack the sequence of bodies in $K$ or cover $K$ with the bodies? Algorithmic versions of these problems are on-line packing and on-line covering: The bodies of the sequence are given one at a time and the algorithm is to decide on the placement of the arriving body before the next body is revealed; once placed, the body cannot be moved.


title: Quantization of topological indices in critical chains at low temperatures

abstract: Various types of topological phenomena at criticality are currently under active research. In this paper we suggest to generalize the known topological quantities to finite temperatures, allowing us to consider gapped and critical (gapless) systems on the same footing. It is then discussed that the quantization of the topological indices, also at critically, is retrieved by taking the low-temperature limit. This idea is explicitly illustrated on a simple case study of chiral critical chains where the quantization is shown analytically and verified numerically. The formalism is also applied for studying robustness of the topological indices to various types of disordering perturbations.


title: Going beyond ER=EPR in the SYK model

abstract: We discuss generalizations of the TFD to a density matrix on the doubled Hilbert space. We suggest that a semiclassical wormhole corresponds to a certain class of such density matrices, and specify how they are constructed. Different semi-classical profiles correspond to different non-overlapping density matrices. We show that this language allows for a finer criteria for when the wormhole is semiclassical, which goes beyond entanglement. Our main tool is the SYK model. We focus on the simplest class of such density matrices, in a scaling limit where the ER bridge is captured by chords going from one space to another, encoding correlations in the microscopic Hamiltonian. The length of the wormhole simply encodes the extent these correlations are eroded when flowing from one side to the other.

categories: hep-th cond-mat.stat-mech cond-mat.str-el math-ph math.MP math.OA


title: Measurement of the polarisation of single top quarks and antiquarks produced in the $t$-channel at $\sqrt{s}=13$ TeV and bounds on the $tWb$ dipole operator from the ATLAS experiment

abstract: A simultaneous measurement of the three components of the top-quark and top-antiquark polarisation vectors in $t$-channel single-top-quark production is presented. This analysis is based on data from proton--proton collisions at a centre-of-mass energy of 13 TeV corresponding to an integrated luminosity of 139 fb$^{-1}$, collected with the ATLAS detector at the LHC. Selected events contain exactly one isolated electron or muon, large missing transverse momentum and exactly two jets, one being $b$-tagged. Stringent selection requirements are applied to discriminate $t$-channel single-top-quark events from the background contributions. The top-quark and top-antiquark polarisation vectors are measured from the distributions of the direction cosines of the charged-lepton momentum in the top-quark rest frame. The three components of the polarisation vector for the selected top-quark event sample are $P_{x'} =0.01\pm0.18$, $P_{y'} = -0.029\pm0.027$, $P_{z'} =0.91\pm0.10$ and for the top-antiquark event sample they are $P_{x'} = -0.02\pm0.20$, $P_{y'} = -0.007\pm0.051$, $P_{z'} = -0.79\pm 0.16$. Normalised differential cross-sections corrected to a fiducial region at the stable-particle level are presented as a function of the charged-lepton angles for top-quark and top-antiquark events inclusively and separately. These measurements are in agreement with Standard Model predictions. The angular differential cross-sections are used to derive bounds on the complex Wilson coefficient of the dimension-six $\mathcal{O}_{tW}$ operator in the framework of an effective field theory. The obtained bounds are $C_{tW} \in\ [-0.9,1.4]$ and $C_{itW} \in [-0.8,0.2]$, both at 95\% confidence level.


title: Multiple arrangements

abstract: This paper surveys the theory of multiple packings and coverings. The study of multiple arrangements started in the 60s of the last century, and it was restricted mostly to lattice arrangements on the plane or of general arrangements of balls. We emphasize two new topics which were intensively investigated recently: decomposition of multiple coverings into simple coverings and characterization of multiple tilings.


title: Multi-Teacher Knowledge Distillation for Incremental Implicitly-Refined Classification

abstract: Incremental learning methods can learn new classes continually by distilling knowledge from the last model (as a teacher model) to the current model (as a student model) in the sequentially learning process. However, these methods cannot work for Incremental Implicitly-Refined Classification (IIRC), an incremental learning extension where the incoming classes could have two granularity levels, a superclass label and a subclass label. This is because the previously learned superclass knowledge may be occupied by the subclass knowledge learned sequentially. To solve this problem, we propose a novel Multi-Teacher Knowledge Distillation (MTKD) strategy. To preserve the subclass knowledge, we use the last model as a general teacher to distill the previous knowledge for the student model. To preserve the superclass knowledge, we use the initial model as a superclass teacher to distill the superclass knowledge as the initial model contains abundant superclass knowledge. However, distilling knowledge from two teacher models could result in the student model making some redundant predictions. We further propose a post-processing mechanism, called as Top-k prediction restriction to reduce the redundant predictions. Our experimental results on IIRC-ImageNet120 and IIRC-CIFAR100 show that the proposed method can achieve better classification accuracy compared with existing state-of-the-art methods.


title: Compositional Model Checking of Consensus Protocols Specified in TLA+ via Interaction-Preserving Abstraction

abstract: Consensus protocols are widely used in building reliable distributed software systems and its correctness is of vital importance. TLA+ is a lightweight formal specification language which enables precise specification of system design and exhaustive checking of the design without any human effort. The features of TLA+ make it widely used in the specification and model checking of consensus protocols, both in academia and industry. However, the application of TLA+ is limited by the state explosion problem in model checking. Though compositional model checking is essential to tame the state explosion problem, existing compositional checking techniques do not sufficiently consider the characteristics of TLA+. In this work, we propose the Interaction-Preserving Abstraction (IPA) framework, which leverages the features of TLA+ and enables practical and efficient compositional model checking of consensus protocols specified in TLA+. In the IPA framework, system specification is partitioned into multiple modules, and each module is divided to the internal part and the interaction part. The basic idea of the interaction-preserving abstraction is to omit the internal part of each module, such that another module cannot distinguish whether it is interacting with the original module or the coarsened abstract one. We use the IPA framework to the compositional checking of the TLA+ specification of two consensus protocols Raft and ParallelRaft. Raft is a consensus protocol which is originally developed in the academia and then widely used in industry. ParallelRaft is the replication protocol in PolarFS, the distributed file system for the commercial database Alibaba PoloarDB. We demonstrate that the IPA framework is easy to use in realistic scenarios and at the same time significantly reduces the model checking cost.


title: Addition and Differentiation of ZX-diagrams

abstract: The ZX-calculus is a powerful framework for reasoning in quantum computing. It provides in particular a compact representation of matrices of interests. A peculiar property of the ZX-calculus is the absence of a formal sum allowing the linear combinations of arbitrary ZX-diagrams. The universality of the formalism guarantees however that for any two ZX-diagrams, the sum of their interpretations can be represented by a ZX-diagram. We introduce a general, inductive definition of the addition of ZX-diagrams, relying on the construction of controlled diagrams. Based on this addition technique, we provide an inductive differentiation of ZX-diagrams. Indeed, given a ZX-diagram with variables in the description of its angles, one can differentiate the diagram according to one of these variables. Differentiation is ubiquitous in quantum mechanics and quantum computing (e.g. for solving optimization problems). Technically, differentiation of ZX-diagrams is strongly related to summation as witnessed by the product rules. We also introduce an alternative, non inductive, differentiation technique rather based on the isolation of the variables. Finally, we apply our results to deduce a diagram for an Ising Hamiltonian.


title: Nonexistence for parabolic differential inequalities with convection terms in exterior domains

abstract: We are concerned with the nonexistence of sign-changing global weak solutions for a class of semilinear parabolic differential inequalities with convection terms in exterior domains. A weight function of the form $t^\alpha |x|^\sigma$ is considered in front of the power nonlinearity. Two types of non-homogeneous boundary conditions are investigated: Neumann-type and Dirichlet-type boundary conditions. Using a unified approach, for each case, we establish sufficient criteria for the nonexistence of global weak solutions. When $\alpha=0$, the critical exponent in the sense of Fujita is obtained. This exponent is bigger than that found previously by Zheng and Wang (2008) in the case of homogeneous Neumann and Dirichlet boundary conditions.


title: Deep Metric Learning-Based Semi-Supervised Regression With Alternate Learning

abstract: This paper introduces a novel deep metric learning-based semi-supervised regression (DML-S2R) method for parameter estimation problems. The proposed DML-S2R method aims to mitigate the problems of insufficient amount of labeled samples without collecting any additional sample with a target value. To this end, it is made up of two main steps: i) pairwise similarity modeling with scarce labeled data; and ii) triplet-based metric learning with abundant unlabeled data. The first step aims to model pairwise sample similarities by using a small number of labeled samples. This is achieved by estimating the target value differences of labeled samples with a Siamese neural network (SNN). The second step aims to learn a triplet-based metric space (in which similar samples are close to each other and dissimilar samples are far apart from each other) when the number of labeled samples is insufficient. This is achieved by employing the SNN of the first step for triplet-based deep metric learning that exploits not only labeled samples but also unlabeled samples. For the end-to-end training of DML-S2R, we investigate an alternate learning strategy for the two steps. Due to this strategy, the encoded information in each step becomes a guidance for learning phase of the other step. The experimental results confirm the success of DML-S2R compared to the state-of-the-art semi-supervised regression methods. The code of the proposed method is publicly available at https://git.tu-berlin.de/rsim/DML-S2R.


title: Fast Sparse Classification for Generalized Linear and Additive Models

abstract: We present fast classification techniques for sparse generalized linear and additive models. These techniques can handle thousands of features and thousands of observations in minutes, even in the presence of many highly correlated features. For fast sparse logistic regression, our computational speed-up over other best-subset search techniques owes to linear and quadratic surrogate cuts for the logistic loss that allow us to efficiently screen features for elimination, as well as use of a priority queue that favors a more uniform exploration of features. As an alternative to the logistic loss, we propose the exponential loss, which permits an analytical solution to the line search at each iteration. Our algorithms are generally 2 to 5 times faster than previous approaches. They produce interpretable models that have accuracy comparable to black box models on challenging datasets.


title: Cosmological constraints on heavy sterile neutrinos

abstract: We consider heavy sterile neutrinos $\nu_s$, with mass in the range 10 MeV $\lesssim m_s \lesssim m_{\pi} \sim 135$ MeV, thermally produced in the early universe and freezing out after the QCD phase transition. The existence of these neutrinos may alter the value of the effective number of neutrino species $N_{\rm eff}$, measured by the cosmic microwave background (CMB), and the ${}^4$He production during the BBN. We provide a detailed account of the solution of the relevant Boltzmann equations and we identify the parameter space constrained by current Planck satellite data and forecast the parameter space probed by future Stage-4 ground-based CMB (CMB-S4) observations.


title: Status of the Fermilab Muon $g-2$ Experiment

abstract: The muon anomalous magnetic moment, $a_\mu = (g-2)/2$, is a low-energy observable which can be both measured and computed with very high precision, making it an excellent test of the Standard Model (SM) and a sensitive probe of new physics. Recent efforts improved the precision of both the theoretical prediction and the experimental measurement. On the theory side, the Muon $g-2$ Theory Initiative, an international team of more than 130 physicists, reached in 2020 a consensus on the SM prediction for $a_\mu$. On the experimental side, the E989 Muon $g-2$ Collaboration at Fermilab (FNAL) published in April 2021 a new measurement of $a_\mu$ from the Run-1 dataset (2018) with 0.46 ppm precision, corroborating the previous Brookhaven National Laboratory (BNL) measurement and increasing the discrepancy with the SM value to 4.2 standard deviations. In this paper, I will discuss the experimental setup and report on the current status of the experiment.


title: The free field realisation of the BVW string

abstract: The symmetric orbifold of $\mathbb{T}^4$ was recently shown to be exactly dual to string theory on ${\rm AdS}_3\times {\rm S}^3 \times \mathbb{T}^4$ with minimal ($k=1$) NS-NS flux. The worldsheet theory is best formulated in terms of the hybrid formalism of Berkovits, Vafa & Witten (BVW), in terms of which the ${\rm AdS}_3\times {\rm S}^3$ factor is described by a $\mathfrak{psu}(1,1|2)_k$ WZW model. At level $k=1$, $\mathfrak{psu}(1,1|2)_1$ has a free field realisation that is obtained from that of $\mathfrak{u}(1,1|2)_1$ upon setting a $\mathfrak{u}(1)$ field, often called $Z$, to zero. We show that the free field version of the ${\cal N}=2$ generators of BVW (whose cohomology defines the physical states) does not give rise to an ${\cal N}=2$ algebra, but is rather contaminated by terms proportional to the $Z$-field. We also show how to overcome this problem by introducing additional ghost fields that implement the quotienting by $Z$.


title: Differential privacy for symmetric log-concave mechanisms

abstract: Adding random noise to database query results is an important tool for achieving privacy. A challenge is to minimize this noise while still meeting privacy requirements. Recently, a sufficient and necessary condition for $(\epsilon, \delta)$-differential privacy for Gaussian noise was published. This condition allows the computation of the minimum privacy-preserving scale for this distribution. We extend this work and provide a sufficient and necessary condition for $(\epsilon, \delta)$-differential privacy for all symmetric and log-concave noise densities. Our results allow fine-grained tailoring of the noise distribution to the dimensionality of the query result. We demonstrate that this can yield significantly lower mean squared errors than those incurred by the currently used Laplace and Gaussian mechanisms for the same $\epsilon$ and $\delta$.


title: Modave Lectures on Horizon-Size Microstructure, Fuzzballs and Observations

abstract: These lecture notes discuss various aspects of the fuzzball paradigm, microstate geometries, and their role in gravitational phenomenology. We briefly introduce the information paradox and discuss how the fuzzball paradigm aims to resolve it. Then, some important families of fuzzball solutions in supergravity, called microstate geometries, are explored: multi-centered bubbling geometries and superstrata. Finally, we will review some very recent developments of the phenomenology of fuzzballs and delineate the exciting opportunities as well as the limitations of studying fuzzballs as alternatives to black holes in current and future observations.


title: Dimension approximation for diffeomorphisms preserving hyperbolic SRB measures

abstract: For a C^{1+\alpha} diffeomorphism f preserving a hyperbolic ergodic SRB measure \mu, Katok's remarkable results assert that \mu can be approximated by a sequence of hyperbolic sets \{\Lambda_n\}_{n\geq1}. In this paper, we prove the Hausdorff dimension for \Lambda_n on the unstable manifold tends to the dimension of the unstable manifold. Furthermore, if the stable direction is one dimension, then the Hausdorff dimension of \mu can be approximated by the Hausdorff dimension of \Lambda_n. To establish these results, we utilize the u-Gibbs property of the conditional measure of the equilibrium measure of -\psi^{s}(\cdot,f^n) and the properties of the uniformly hyperbolic dynamical systems.


title: Strain assisted magnetization switching in ordered nanomagnets of CoFe2O4/SrRuO3/PMNPT hetrostructures

abstract: We have explored the electric field controlled magnetization in the nanodot CoFe2O4/SrRuO3/PMN-PT heterostructures. Ordered ferromagnetic CFO nanodots (~300 nm lateral dimension) are developed on the PMN-PT substrate (ferroelectric as well as piezoelectric) using a nanostencil-mask pattering method during pulsed laser deposition. The nanostructures reveal electric field induced magnetization reversal in the single domain CFO nanodots through transfer of piezostrains from the piezoelectric PMN-PT substrate to the CFO. Further, electric field modulated spin structure of CFO nanomagnets is analysed by using X-ray magnetic circular dichroism (XMCD). The XMCD analysis reveals cations (Fe3+/Co2+) redistribution on the octahedral and tetrahedral site in the electric field poled CoFe2O4 nanodots, establishing the strain induced magneto-electric coupling effects. The CoFe2O4/SrRuO3/PMN-PT nanodots structure demonstrate multilevel switching of ME coupling coefficient ({\alpha}) by applying selective positive and negative electric fields in a non-volatile manner. The retention of two stable states of {\alpha} is illustrated for ~106 seconds, which can be employed to store the digital data in non-volatile memory devices. Thus the voltage controlled magnetization in the nanodot structures leads a path towards the invention of energy efficient high-density memory devices.


title: Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs

abstract: We formally define and implement a translation from domain models in the LEMMA modelling framework to microservice APIs in the Jolie programming language. Our tool enables a software development process whereby microservice architectures can first be designed with the leading method of Domain-Driven Design, and then corresponding data types and service interfaces (APIs) in Jolie are automatically generated. Developers can extend and use these APIs as guides in order to produce compliant implementations. Our tool thus contributes to enhancing productivity and improving the design adherence of microservices.


title: On Cayley graphs over generalized dicyclic groups

abstract: Recently, several works by a number of authors have studied integrality, distance integrality, and distance powers of Cayley graphs over some finite groups, such as dicyclic groups and (generalized) dihedral groups. Our aim is to generalize and/or to give analogues of these results for generalized dicyclic groups. For example, we give a necessary and sufficient condition for a Cayley graph over a generalized dicyclic group to be integral (i.e., all eigenvalues of its adjacency matrix are in $\mathbb{Z}$). We also obtain sufficient conditions for the integrality of all distance powers of a Cayley graph over a given generalized dicyclic group. These results extend works on dicyclic groups by Cheng--Feng--Huang and Cheng--Feng--Liu--Lu--Stevanovic, respectively.


title: Measurement of the Interactions and Stability of MTDC Systems

abstract: The small-signal stability of multi-terminal HVDC systems, which is related to the dynamic interactions among different VSCs through the coupling of DC and AC networks, has become one of the important issues for the safety and stable operation of modern power systems. On the other hand, the robust stability theory with {\nu}-gap metric is an effective tool for the stability analysis and synthesis of uncertain feedback systems. In this paper, we combine it with the self-/en-stabilizing coefficients method to measure the relative stability and analyze the stability influence of different paths of interactions in an MTDC system. The stability index is defined to represent the stability margin with respect to different paths of interactions in an MTDC system. A method for calculating the range of uncertain parameters preserving the stability is presented based on the stability criterion. The influence of control parameters on robust stability through interactions among VSCs can be analyzed quantitatively. Extensive examples are given to demonstrate the application and the effectiveness of the proposed method.


title: A Facile Strategy for the Growth of High-Quality Tungsten Disulfide Crystals Mediated by Oxygen-Deficient Oxide Precursors

abstract: Chemical vapor deposition (CVD) has been established as a versatile route for the large-scale synthesis of transition metal dichalcogenides, such as tungsten disulfide (WS2). Yet, the role of the precursor composition on the efficiency of the CVD process remains largely unknown and yet to be explored. Here, we employ Pulsed Laser Deposition (PLD) in a two-stage process to tune the oxygen content in tungsten oxide (WO3-x) precursors and demonstrate that the presence of oxygen vacancies in the precursor films leads to a more facile conversion from WO3-x to WS2. Using a joint study based on ab initio density functional theory (DFT) calculations and experiments, we unravel that the oxygen vacancies in WO3-x can serve as niches through which sulfur atoms enters the lattice and may facilitate an efficient growth of WS2 crystals. By solely modulating the precursor stoichiometry, the photoluminescence emission of WS2 can be greatly enhanced, while the size of WS2 domains increases significantly. Atomic resolution scanning transmission electron microscopy (STEM) reveals that tungsten vacancies are the dominant intrinsic defects in mono- and bilayers WS2. Moreover, our data reveal that grain boundaries in bilayer WS2 emerge upon the coalescence of AA' and AB-oriented crystals, while turbostatic moir\'e patterns originate upon formation of distinct grain boundaries between the bottom and bottom layers. The atomic resolution images show local strain buildup in bilayer WS2 due to competing effects of complex grain boundaries. Our study provides a means to tune the precursor composition in order to control the lateral growth of TMDs, while revealing insights into the different pathways for the formation of grain boundaries in bilayer WS2.


title: Mixed-Block Neural Architecture Search for Medical Image Segmentation

abstract: Deep Neural Networks (DNNs) have the potential for making various clinical procedures more time-efficient by automating medical image segmentation. Due to their strong, in some cases human-level, performance, they have become the standard approach in this field. The design of the best possible medical image segmentation DNNs, however, is task-specific. Neural Architecture Search (NAS), i.e., the automation of neural network design, has been shown to have the capability to outperform manually designed networks for various tasks. However, the existing NAS methods for medical image segmentation have explored a quite limited range of types of DNN architectures that can be discovered. In this work, we propose a novel NAS search space for medical image segmentation networks. This search space combines the strength of a generalised encoder-decoder structure, well known from U-Net, with network blocks that have proven to have a strong performance in image classification tasks. The search is performed by looking for the best topology of multiple cells simultaneously with the configuration of each cell within, allowing for interactions between topology and cell-level attributes. From experiments on two publicly available datasets, we find that the networks discovered by our proposed NAS method have better performance than well-known handcrafted segmentation networks, and outperform networks found with other NAS approaches that perform only topology search, and topology-level search followed by cell-level search.


title: A Differential Attention Fusion Model Based on Transformer for Time Series Forecasting

abstract: Time series forecasting is widely used in the fields of equipment life cycle forecasting, weather forecasting, traffic flow forecasting, and other fields. Recently, some scholars have tried to apply Transformer to time series forecasting because of its powerful parallel training ability. However, the existing Transformer methods do not pay enough attention to the small time segments that play a decisive role in prediction, making it insensitive to small changes that affect the trend of time series, and it is difficult to effectively learn continuous time-dependent features. To solve this problem, we propose a differential attention fusion model based on Transformer, which designs the differential layer, neighbor attention, sliding fusion mechanism, and residual layer on the basis of classical Transformer architecture. Specifically, the differences of adjacent time points are extracted and focused by difference and neighbor attention. The sliding fusion mechanism fuses various features of each time point so that the data can participate in encoding and decoding without losing important information. The residual layer including convolution and LSTM further learns the dependence between time points and enables our model to carry out deeper training. A large number of experiments on three datasets show that the prediction results produced by our method are favorably comparable to the state-of-the-art.


title: Chern characters for curved dg-algebras

abstract: We construct a quasi-inverse of the cochain map on the negative cyclic complexes of the second kind induced from the quasi-Yoneda embedding on a curved dg algebra. This gives an explicit formula for the Chern character of a perfect module.


title: Exceptional sets for average conformal dynamical systems

abstract: Let $f: M \to M$ be a $C^{1+\alpha}$ map/diffeomorphism of a compact Riemannian manifold $M$ and $\mu$ be an expanding/hyperbolic ergodic $f$-invariant Borel probability measure on $M$. Assume $f$ is average conformal expanding/hyperbolic on the support set $W$ of $\mu$ and $W$ is locally maximal. For any subset $A\subset W$ with small entropy or dimension, we investigate the topological entropy and Hausdorff dimensions of the $A$-exceptional set and the limit $A$-exceptional set.


title: Stokes drift and its discontents

abstract: The Stokes velocity $\mathbf{u}^\mathrm{S}$, defined approximately by Stokes (1847, Trans. Camb. Philos. Soc., 8, 441-455), and exactly via the Generalized Lagrangian Mean, is divergent even in an incompressible fluid. We show that the Stokes velocity can be naturally decomposed into a solenoidal component, $\mathbf{u}^\mathrm{S}_\mathrm{sol}$, and a remainder that is small for waves with slowly varying amplitudes. We further show that $\mathbf{u}^\mathrm{S}_\mathrm{sol}$ arises as the sole Stokes velocity when the Lagrangian mean flow is suitably redefined to ensure its exact incompressibility. The construction is an application of Soward & Roberts's glm theory (2010, J. Fluid Mech., 661, 45-72) which we specialise to surface gravity waves and implement effectively using a Lie series expansion. We further show that the corresponding Lagrangian-mean momentum equation is formally identical to the Craik-Leibovich equation with $\mathbf{u}^\mathrm{S}_\mathrm{sol}$ replacing $\mathbf{u}^\mathrm{S}$, and we discuss the form of the Stokes pumping associated with both $\mathbf{u}^\mathrm{S}$ and $\mathbf{u}^\mathrm{S}_\mathrm{sol}$.


title: Non-Energetic Formation of Ethanol via CCH Reaction with Interstellar H2O Ices. A Computational Chemistry Study

abstract: Ethanol (CH$_3$CH$_2$OH) is a relatively common molecule, often found in star forming regions. Recent studies suggest that it could be a parent molecule of several so-called interstellar complex organic molecules (iCOMs). Yet, the formation route of this species remains debated. In the present work, we study the formation of ethanol through the reaction of CCH with one H$_2$O molecule belonging to the ice, as a test case to investigate the viability of chemical reactions based on a "radical + ice component" scheme as an alternative mechanism for the synthesis of iCOMs, beyond the usual radical-radical coupling. This has been done by means of DFT calculations adopting two clusters of 18 and 33 water molecules as ice models. Results indicate that CH$_3$CH$_2$OH can potentially be formed by this proposed reaction mechanism. The reaction of CCH with H$_2$O on the water ice clusters can be barrierless (thanks to the help of boundary icy water molecules acting as proton transfer assistants) leading to the formation of vinyl alcohol precursors (H$_2$CCOH and CHCHOH). Subsequent hydrogenation of vinyl alcohol yielding ethanol is the only step presenting a low activation energy barrier. We finally discuss the astrophysical implications of these findings.


title: Superhydrophobic surfaces to reduce form drag in turbulent separated flows

abstract: The drag force acting on a body moving in a fluid has two components, friction drag due to fluid viscosity and form drag due to flow separation behind the body. When present, form drag is usually the most significant between the two and in many applications, streamlining efficiently reduces or prevents flow separation. As studied here, when the operating fluid is water, a promising technique for form drag reduction is to modify the walls of the body with superhydrophobic surfaces. These surfaces entrap gas bubbles in their asperities, avoiding the direct contact of the liquid with the wall. Superhydrophobic surfaces have been vastly studied for reducing friction drag. We show they are also effective in reducing flow separation in turbulent flow and therefore in reducing the form drag. Their conceptual effectiveness is demonstrated by studying numerical simulations of turbulent flow over a bluff body, represented by a bump inside a channel, which is modified with different superhydrophobic surfaces. The approach shown here contributes to new and powerful techniques for drag reduction on bluff bodies.


title: Brezis--Kato Type Regularity Results for Higher Order Elliptic Operators

abstract: We prove a Brezis--Kato regularity type results for solutions of the higher order nonlinear elliptic equation \[ L u = g(x,u)\qquad\text{in }\Omega \] with an elliptic operator $L$ of $2m$ order with variable coefficients and a Carath\'eodory function $g:\Omega\times \mathbb{C}\to\mathbb{C}$, where $\Omega\subset\mathbb{R}^N$ is an open set with $N > 2m$.


title: ScrawlD: A Dataset of Real World Ethereum Smart Contracts Labelled with Vulnerabilities

abstract: Smart contracts on Ethereum handle millions of U.S. Dollars and other financial assets. In the past, attackers have exploited smart contracts to steal these assets. The Ethereum community has developed plenty of tools to detect vulnerable smart contracts. However, there is no standardized data set to evaluate these existing tools, or any new tools developed. There is a need for an unbiased standard benchmark of real-world Ethereum smart contracts. We have created ScrawlD: an annotated data set of real-world smart contracts taken from the Ethereum network. The data set is labelled using 5 tools that detect various vulnerabilities in smart contracts, using majority voting.


title: Tropical reproducing kernels and optimization

abstract: Hilbertian kernel methods and their positive semidefinite kernels have been extensively used in various fields of applied mathematics and machine learning, owing to their several equivalent characterizations. We here unveil an analogy with concepts from tropical geometry, proving that tropical positive semidefinite kernels are also endowed with equivalent viewpoints, stemming from Fenchel-Moreau conjugations. This tropical analogue of Aronszajn's theorem shows that these kernels correspond to a feature map, define monotonous operators, and generate max-plus function spaces endowed with a reproducing property. They furthermore include all the Hilbertian kernels classically studied as well as Monge arrays. However, two relevant notions of tropical reproducing kernels must be distinguished, based either on linear or sesquilinear interpretations. The sesquilinear interpretation is the most expressive one, since reproducing spaces then encompass classical max-plus spaces, such as those of (semi)convex functions. In contrast, in the linear interpretation, the reproducing kernels are characterized by a restrictive condition, von Neumann regularity. Finally, we provide a tropical analogue of the ``representer theorems'', showing that a class of infinite dimensional regression and interpolation problems admit solutions lying in finite dimensional spaces. We illustrate this theorem by an application to optimal control, in which tropical kernels allow one to represent the value function.


title: Morphisms between Grassmannians

abstract: Denote by $\mathbb G(k,n)$ the Grassmannian of linear subspaces of dimension $k$ in $\mathbb P^n$. We show that if $n>m$ then every morphism $\varphi: \mathbb G(k,n) \to \mathbb G(l,m)$ is constant.


title: The Modular Isomorphism Problem: a survey

abstract: The Modular Isomorphism Problem asks if an isomorphism of group algebras of two finite p-groups G and H over a field of characteristic p, implies an isomorhism of the groups G and H. We survey the history of the problem, explain strategies which were developed to study it and present the recent negative solution of the problem. The problem is also compared to other isomorphism problems for group rings and various question remaining open are included.


title: Excited-State Quantum Phase Transitions in the Anharmonic Lipkin-Meshkov-Glick Model I: Static Aspects

abstract: The basic Lipkin-Meshkov-Glick model displays a second order ground state quantum phase transition and an excited state quantum phase transition (ESQPT). The inclusion of an anharmonic term in the Hamiltonian implies a second ESQPT of a different nature. We characterize this ESQPT using the mean field limit of the model. The new ESQPT, associated with the changes in the boundary of the finite Hilbert space of the system, can be properly described using the order parameter of the ground state quantum phase transition, the energy gap between adjacent states, the participation ratio, and the quantum fidelity susceptibility.


title: Canonical Polyadic Decomposition via the generalized Schur decomposition

abstract: The canonical polyadic decomposition (CPD) is a fundamental tensor decomposition which expresses a tensor as a sum of rank one tensors. In stark contrast to the matrix case, with light assumptions, the CPD of a low rank tensor is (essentially) unique. The essential uniqueness of CPD makes this decomposition a powerful tool in many applications as it allows for extraction of component information from a signal of interest. One popular algorithm for algebraic computation of a CPD is the generalized eigenvalue decomposition (GEVD) which selects a matrix subpencil of a tensor, then computes the generalized eigenvectors of the pencil. In this article, we present a simplification of GEVD which improves the accuracy of the algorithm. Surprisingly, the generalized eigenvector computation in GEVD is in fact unnecessary and can be replaced by a QZ decomposition which factors a pair of matrices as a product of unitary and upper triangular matrices. Computing a QZ decomposition is a standard first step when computing generalized eigenvectors, so our algorithm can been seen as a direct simplification of GEVD.


title: Privacy issues on biometric systems

abstract: In the XXIth century there is a strong interest on privacy issues. Technology permits obtaining personal information without individuals consent, computers make it feasible to share and process this information, and this can bring about damaging implications. In some sense, biometric information is personal information, so it is important to be conscious about what is true and what is false when some people claim that biometrics is an attempt to individuals privacy. In this paper, key points related to this matter are dealt with.


title: Price formation in financial markets: a game-theoretic perspective

abstract: We propose two novel frameworks to study the price formation of an asset negotiated in an order book. Specifically, we develop a game-theoretic model in many-person games and mean-field games, considering costs stemming from limited liquidity. We derive analytical formulas for the formed price in terms of the realized order flow. We also identify appropriate conditions that ensure the convergence of the price we find in the finite population game to that of its mean-field counterpart. We numerically assess our results with a large experiment using high-frequency data from ten stocks listed in the NASDAQ, a stock listed in B3 in Brazil, and a cryptocurrency listed in Binance.


title: Impact of hadronic interactions and conservation laws on cumulants of conserved charges in a dynamical model

abstract: Understanding the phase diagram of QCD by measuring fluctuations of conserved charges in heavy-ion collision is one of the main goals of the beam energy scan program at RHIC. Within this work, we calculate the role of hadronic interactions and momentum cuts on cumulants of conserved charges up to fourth order in a system in equilibrium within a hadronic transport approach (SMASH). In our model the net baryon, net charge and net strangeness is perfectly conserved on an event-by-event basis and the cumulants are calculated as a function of subvolume sizes and compared to analytic expectations. We find a modification of the kurtosis due to charge annihilation processes in systems with simplified degrees of freedom. Furthermore the result of the full SMASH hadron gas for the net baryon and net proton number fluctuations is presented for systems with zero and finite values of baryon chemical potential. Additionally we find that due to dynamical correlations the cumulants of the net baryon number cannot easily be recovered from the net protons. Finally the influence of deuteron cluster formation on the net proton and net baryon fluctuations in a simplified system is shown. This analysis is important to better understand the relation between measurements of fluctuations in heavy-ion collisions and theoretical calculation which are often performed in a grand canonical ensemble.


title: The Astrometric Performance Test of 80-cm Telescope at Yaoan Station and Precise CCD Positions of Apophis

abstract: The 80-cm azimuthal telescope is newly mounted at Yaoan Station, Purple Mountain Observatory in 2018. The astrometric performance of the telescope is tested in the following three aspects. (a) The geometric distortion of its CCD attached. It is stable in both a single epoch and multi epochs. Eight distortion solutions are derived over about one year. The maximum values range from 0.75 to 0.79 pixel and the median values range from 0.14 to 0.16 pixel. (b) The limit magnitude of stars. About 20.5 magnitude (Gaia-G) stars can be detected with Johnson-V filter exposured in 300 seconds. The astrometric error of about 20.5 magnitude stars is estimated at 0.14 arcsec using the fitted sigmoidal function. (c) The astrometric accuracy and the precision of stacked fast-moving faint object. 24 stacked frames of the potentially hazardous asteroid (PHA) (99942) Apophis are derived on April 14 and 15, 2021 (fainter than 18 mag) based on the ephemeris shifts. During data reduction, the newest Gaia EDR3 Catalog and Jet Propulsion Laboratory Horizons ephemeris are referenced as theoretical positions of stars and Apophis, respectively. Our results show that the mean (O-C)s (observed minus computed) of Apophis are -0.018 and 0.020 arcsec in right ascention and declination, and the dispersions are estimated at 0.094 and 0.085 arcsec, respectively, which show the consistency of the stacked results by Astrometrica.


title: Testing report of a fingerprint-based door-opening system

abstract: This paper describes the operational evaluation of a door-opening system based on a low-cost inkless fingerprint sensor. This system has been developed and installed for access control to one of our laboratories. Experimental results reveal that the system is working fine and no special cleaning requirements neither components replacement is needed. It can support more than 50 users, and an average of 74,5 access attempts per day in a 14-hour 5-day-per-week working. Emphasize is also given on some important facts to be taken into consideration when comparing and evaluating different products from different vendors.


title: Sub-optimality of Gauss--Hermite quadrature and optimality of the trapezoidal rule for functions with finite smoothness

abstract: The sub-optimality of Gauss--Hermite quadrature and the optimality of the trapezoidal rule are proved in the weighted Sobolev spaces of square integrable functions of order $\alpha$, where the optimality is in the sense of worst-case error. For Gauss--Hermite quadrature, we obtain matching lower and upper bounds, which turn out to be merely of the order $n^{-\alpha/2}$ with $n$ function evaluations, although the optimal rate for the best possible linear quadrature is known to be $n^{-\alpha}$. Our proof of the lower bound exploits the structure of the Gauss--Hermite nodes; the bound is independent of the quadrature weights, and changing the Gauss--Hermite weights cannot improve the rate $n^{-\alpha/2}$. In contrast, we show that a suitably truncated trapezoidal rule achieves the optimal rate up to a logarithmic factor.


title: Effect of adhesive interaction on strain stiffening and dissipation in granular gels undergoing yielding

abstract: Stress induced yielding/fluidization in disordered solids, characterized by irreversibility and enhanced dissipation, is important for a wide range of industrial and geological processes. Although, such phenomena in thermal systems have been extensively studied, they remain poorly understood for granular solids. Here, using oscillatory shear rheology and in-situ optical imaging, we study energy dissipation in a dense granular suspension of adhesive particles that forms yield stress solids far below the isotropic jamming point obtained in the limit of hard-sphere repulsion. We find interesting non-linear flow regimes including intra-cycle strain stiffening and plasticity that strongly depend on the applied strain amplitude ($\gamma_0$) and particle volume fraction ($\phi$). We demonstrate that such nonlinearity over the entire parameter range can be effectively captured by a dimensionless variable termed as the normalized energy dissipation ($E_N$). Furthermore, in-situ optical imaging reveals irreversible particle rearrangements correlating with the spatiotemporal fluctuations in local velocity, the nature of which strikingly varies across the yielding transition. By directly measuring the critical jamming packing fractions using particle settling experiments, we propose a detailed phase diagram that unravels the role of inter-particle interactions in controlling the flow properties of the system for a wide range of $\gamma_0$ and $\phi$ values.


title: Recycling of the first atmospheres of embedded planets: Dependence on core mass and optical depth

abstract: Recent observations found close-in planets with significant atmospheres of hydrogen and helium in great abundance. These are the so-called super-Earths and mini-Neptunes. Their atmospheric composition suggests that they formed early during the gas-rich phase of the circumstellar disk and were able to avoid becoming hot Jupiters. As a possible explanation, recent studies explored the recycling hypothesis and showed that atmosphere-disk recycling is able to fully compensate for radiative cooling and thereby halt Kelvin-Helmholtz contraction to prevent runaway gas accretion. To understand the parameters that determine the efficiency of atmospheric recycling, we extend our earlier studies by exploring the effects of the core mass, the effect of circumstellar gas on sub-Keplerian orbits (headwind), and the optical depth of the surrounding gas on the recycling timescale. Additionally, we analyze their effects on the size and mass of the forming atmosphere. For the explored parameter space, all simulations eventually reach an equilibrium where heating due to hydrodynamic recycling fully compensates radiative cooling. In this equilibrium, the atmosphere-to-core mass ratio stays well below $10 \, \%$, preventing the atmosphere from becoming self-gravitating and entering runaway gas accretion. Higher core masses cause the atmosphere to become turbulent, which further enhances recycling. Even for our highest core mass of $10 \, M_\mathrm{Earth}$, atmosphere-disk recycling is efficient enough to fully compensate for radiative cooling and prevent the atmosphere from becoming self-gravitating. Hence, in-situ formation of hot Jupiters is very unlikely, and migration of gas giants is a key process required to explain their existence. Our findings imply that atmosphere-disk recycling is the most natural explanation for the prevalence of close-in super-Earths and mini-Neptunes.


title: Delving Deep into One-Shot Skeleton-based Action Recognition with Diverse Occlusions

abstract: Occlusions are universal disruptions constantly present in the real world. Especially for sparse representations, such as human skeletons, a few occluded points might destroy the geometrical and temporal continuity critically affecting the results. Yet, the research of data-scarce recognition from skeleton sequences, such as one-shot action recognition, does not explicitly consider occlusions despite their everyday pervasiveness. In this work, we explicitly tackle body occlusions for Skeleton-based One-shot Action Recognition (SOAR). We mainly consider two occlusion variants: 1) random occlusions and 2) more realistic occlusions caused by diverse everyday objects, which we generate by projecting the existing IKEA 3D furniture models into the camera coordinate system of the 3D skeletons with different geometric parameters. We leverage the proposed pipeline to blend out portions of skeleton sequences of the three popular action recognition datasets and formalize the first benchmark for SOAR from partially occluded body poses. Another key property of our benchmark are the more realistic occlusions generated by everyday objects, as even in standard recognition from 3D skeletons, only randomly missing joints were considered. We re-evaluate existing state-of-the-art frameworks for SOAR in the light of this new task and further introduce Trans4SOAR - a new transformer-based model which leverages three data streams and mixed attention fusion mechanism to alleviate the adverse effects caused by occlusions. While our experiments demonstrate a clear decline in accuracy with missing skeleton portions, this effect is smaller with Trans4SOAR, which outperforms other architectures on all datasets. Although we specifically focus on occlusions, Trans4SOAR additionally yields state-of-the-art in the standard SOAR without occlusion, surpassing the best published approach by 2.85% on NTU-120.


title: Towards Speaker Age Estimation with Label Distribution Learning

abstract: Existing methods for speaker age estimation usually treat it as a multi-class classification or a regression problem. However, precise age identification remains a challenge due to label ambiguity, \emph{i.e.}, utterances from adjacent age of the same person are often indistinguishable. To address this, we utilize the ambiguous information among the age labels, convert each age label into a discrete label distribution and leverage the label distribution learning (LDL) method to fit the data. For each audio data sample, our method produces a age distribution of its speaker, and on top of the distribution we also perform two other tasks: age prediction and age uncertainty minimization. Therefore, our method naturally combines the age classification and regression approaches, which enhances the robustness of our method. We conduct experiments on the public NIST SRE08-10 dataset and a real-world dataset, which exhibit that our method outperforms baseline methods by a relatively large margin, yielding a 10\% reduction in terms of mean absolute error (MAE) on a real-world dataset.


title: Multi-view Intent Disentangle Graph Networks for Bundle Recommendation

abstract: Bundle recommendation aims to recommend the user a bundle of items as a whole. Nevertheless, they usually neglect the diversity of the user's intents on adopting items and fail to disentangle the user's intents in representations. In the real scenario of bundle recommendation, a user's intent may be naturally distributed in the different bundles of that user (Global view), while a bundle may contain multiple intents of a user (Local view). Each view has its advantages for intent disentangling: 1) From the global view, more items are involved to present each intent, which can demonstrate the user's preference under each intent more clearly. 2) From the local view, it can reveal the association among items under each intent since items within the same bundle are highly correlated to each other. To this end, we propose a novel model named Multi-view Intent Disentangle Graph Networks (MIDGN), which is capable of precisely and comprehensively capturing the diversity of the user's intent and items' associations at the finer granularity. Specifically, MIDGN disentangles the user's intents from two different perspectives, respectively: 1) In the global level, MIDGN disentangles the user's intent coupled with inter-bundle items; 2) In the Local level, MIDGN disentangles the user's intent coupled with items within each bundle. Meanwhile, we compare the user's intents disentangled from different views under the contrast learning framework to improve the learned intents. Extensive experiments conducted on two benchmark datasets demonstrate that MIDGN outperforms the state-of-the-art methods by over 10.7% and 26.8%, respectively.


title: Open5x: Accessible 5-axis 3D printing and conformal slicing

abstract: The common layer-by-layer deposition of regular, 3-axis 3D printing simplifies both the fabrication process and the 3D printer's mechanical design. However, the resulting 3D printed objects have some unfavourable characteristics including visible layers, uneven structural strength and support material. To overcome these, researchers have employed robotic arms and multi-axis CNCs to deposit materials in conformal layers. Conformal deposition improves the quality of the 3D printed parts through support-less printing and curved layer deposition. However, such multi-axis 3D printing is inaccessible to many individuals due to high costs and technical complexities. Furthermore, the limited GUI support for conformal slicers creates an additional barrier for users. To open multi-axis 3D printing up to more makers and researchers, we present a cheap and accessible way to upgrade a regular 3D printer to 5 axes. We have also developed a GUI-based conformal slicer, integrated within a popular CAD package. Together, these deliver an accessible workflow for designing, simulating and creating conformally-printed 3D models.


title: Quasi 1D electronic transport in a 2D magnetic semiconductor

abstract: We investigate electronic transport through exfoliated multilayers of CrSBr, a 2D semiconductor that is attracting attention because of its magnetic properties. We find an extremely pronounced anisotropy that manifests itself in qualitative and quantitative differences of all quantities measured along the in-plane \textit{a} and \textit{b} crystallographic directions. In particular, we observe a qualitatively different dependence of the conductivities $\sigma_a$ and $\sigma_b$ on temperature and gate voltage, accompanied by orders of magnitude differences in their values ($\sigma_b$/$\sigma_a \approx 3\cdot10^2-10^5$ at low temperature and large negative gate voltage). We also find a different behavior of the longitudinal magnetoresistance in the two directions, and the complete absence of the Hall effect in transverse resistance measurements. These observations appear not to be compatible with a description in terms of conventional band transport of a 2D doped semiconductor. The observed phenomenology -- together with unambiguous signatures of a 1D van Hove singularity that we detect in energy resolved photocurrent measurements -- indicate that electronic transport through CrSBr multilayers is better interpreted by considering the system as formed by weakly and incoherently coupled 1D wires, than by conventional 2D band transport. We conclude that CrSBr is the first 2D semiconductor to show distinctly quasi 1D electronic transport properties.


title: Linear Programming Fictitious Play algorithm for Mean Field Games with optimal stopping and absorption

abstract: We develop the fictitious play algorithm in the context of the linear programming approach for mean field games of optimal stopping and mean field games with regular control and absorption. This algorithm allows to approximate the mean field game population dynamics without computing the value function by solving linear programming problems associated with the distributions of the players still in the game and their stopping times/controls. We show the convergence of the algorithm using the topology of convergence in measure in the space of subprobability measures, which is needed to deal with the lack of continuity of the flows of measures. Numerical examples are provided to illustrate the convergence of the algorithm.


title: A Novel Self-Supervised Cross-Modal Image Retrieval Method In Remote Sensing

abstract: Due to the availability of multi-modal remote sensing (RS) image archives, one of the most important research topics is the development of cross-modal RS image retrieval (CM-RSIR) methods that search semantically similar images across different modalities. Existing CM-RSIR methods require the availability of a high quality and quantity of annotated training images. The collection of a sufficient number of reliable labeled images is time consuming, complex and costly in operational scenarios, and can significantly affect the final accuracy of CM-RSIR. In this paper, we introduce a novel self-supervised CM-RSIR method that aims to: i) model mutual-information between different modalities in a self-supervised manner; ii) retain the distributions of modal-specific feature spaces similar to each other; and iii) define the most similar images within each modality without requiring any annotated training image. To this end, we propose a novel objective including three loss functions that simultaneously: i) maximize mutual information of different modalities for inter-modal similarity preservation; ii) minimize the angular distance of multi-modal image tuples for the elimination of inter-modal discrepancies; and iii) increase cosine similarity of the most similar images within each modality for the characterization of intra-modal similarities. Experimental results show the effectiveness of the proposed method compared to state-of-the-art methods. The code of the proposed method is publicly available at https://git.tu-berlin.de/rsim/SS-CM-RSIR.


title: Understanding the relation between thermal Sunyaev-Zeldovich decrement and halo mass using the SIMBA and TNG simulations

abstract: The relation between the integrated thermal Sunyaev-Zeldovich (tSZ) $y$-decrement versus halo mass ($Y$--$M$) can potentially constrain galaxy formation models, if theoretical and observational systematics can be properly assessed. We investigate the $Y$--$M$ relation in the SIMBA and IllustrisTNG-100 cosmological hydrodynamic simulations, quantifying the effects of feedback, line-of-sight projection, and beam convolution. We find that SIMBA's AGN jet feedback generates strong deviations from self-similar expectations for the $Y$--$M$ relation, especially at $M_{500}<10^{13}M_{\odot}$. In SIMBA, this is driven by suppressed in-halo $y$ contributions owing to lowered halo baryon fractions. IllustrisTNG results more closely resemble SIMBA without jets. Projections of line-of-sight structures weaken these model differences slightly, but they remain significant -- particularly at group and lower halo masses. In contrast, beam smearing at $\textit{Planck}$ resolution makes the models indistinguishable, and both models appear to agree well with $\textit{Planck}$ data down to the lowest masses probed. We show that the arcminute resolution expected from forthcoming facilities would retain the differences between model predictions, and thereby provide strong constraints on AGN feedback.


title: DL-SLOT: Dynamic Lidar SLAM and Object Tracking Based On Graph Optimization

abstract: Ego-pose estimation and dynamic object tracking are two key issues in an autonomous driving system. Two assumptions are often made for them, i.e. the static world assumption of simultaneous localization and mapping (SLAM) and the exact ego-pose assumption of object tracking, respectively. However, these assumptions are difficult to hold in highly dynamic road scenarios where SLAM and object tracking become correlated and mutually beneficial. In this paper, DL-SLOT, a dynamic Lidar SLAM and object tracking method is proposed. This method integrates the state estimations of both the ego vehicle and the static and dynamic objects in the environment into a unified optimization framework, to realize SLAM and object tracking (SLOT) simultaneously. Firstly, we implement object detection to remove all the points that belong to potential dynamic objects. Then, LiDAR odometry is conducted using the filtered point cloud. At the same time, detected objects are associated with the history object trajectories based on the time-series information in a sliding window. The states of the static and dynamic objects and ego vehicle in the sliding window are integrated into a unified local optimization framework. We perform SLAM and object tracking simultaneously in this framework, which significantly improves the robustness and accuracy of SLAM in highly dynamic road scenarios and the accuracy of objects' states estimation. Experiments on public datasets have shown that our method achieves better accuracy than A-LOAM.


title: Extension of Dynamic Mode Decomposition for dynamic systems with incomplete information based on t-model of optimal prediction

abstract: The Dynamic Mode Decomposition has proved to be a very efficient technique to study dynamic data. This is entirely a data-driven approach that extracts all necessary information from data snapshots which are commonly supposed to be sampled from measurement. The application of this approach becomes problematic if the available data is incomplete because some dimensions of smaller scale either missing or unmeasured. Such setting occurs very often in modeling complex dynamical systems such as power grids, in particular with reduced-order modeling. To take into account the effect of unresolved variables the optimal prediction approach based on the Mori-Zwanzig formalism can be applied to obtain the most expected prediction under existing uncertainties. This effectively leads to the development of a time-predictive model accounting for the impact of missing data. In the present paper we provide a detailed derivation of the considered method from the Liouville equation and finalize it with the optimization problem that defines the optimal transition operator corresponding to the observed data. In contrast to the existing approach, we consider a first-order approximation of the Mori-Zwanzig decomposition, state the corresponding optimization problem and solve it with the gradient-based optimization method. The gradient of the obtained objective function is computed precisely through the automatic differentiation technique. The numerical experiments illustrate that the considered approach gives practically the same dynamics as the exact Mori-Zwanzig decomposition, but is less computationally intensive.


title: On moment map and bigness of tangent bundles of $G$-varieties

abstract: Let $G$ be a connected algebraic group and let $X$ be a smooth projective $G$-variety. In this paper, we prove a sufficient criterion to determine the bigness of the tangent bundle $TX$ using the moment map $\Phi_X^G:T^*X\rightarrow \mathfrak{g}^*$. As an application, the bigness of the tangent bundles of certain quasi-homogeneous varieties are verified, including symmetric varieties, horospherical varieties and equivariant compactifications of commutative linear algebraic groups. Finally, we study in details the Fano manifolds $X$ with Picard number $1$ which is an equivariant compactification of a vector group $\mathbb{G}_a^n$. In particular, we will determine the pseudoeffective cone of $\mathbb{P}(T^*X)$ and show that the image of the projectivised moment map along the boundary divisor $D$ of $X$ is projectively equivalent to the dual variety of the VMRT of $X$.


title: On the number of fixed edges of automorphisms of vertex-transitive graphs of small valency

abstract: We prove that, if $\Gamma$ is a finite connected $3$-valent vertex-transitive, or $4$-valent vertex- and edge-transitive graph, then either $\Gamma$ is part of a well-understood family of graphs, or every non-identity automorphism of $\Gamma$ fixes at most $1/3$ of the edges. This answers a question proposed by Primo\v{z} Poto\v{c}nik and the third author.


title: Data-Driven Decision Making in COVID-19 Response: A Survey

abstract: COVID-19 has spread all over the world, having an enormous effect on our daily life and work. In response to the epidemic, a lot of important decisions need to be taken to save communities and economies worldwide. Data clearly plays a vital role in effective decision making. Data-driven decision making uses data related evidence and insights to guide the decision making process and to verify the plan of action before it is committed. To better handle the epidemic, governments and policy making institutes have investigated abundant data originating from COVID-19. These data include those related to medicine, knowledge, media, etc. Based on these data, many prevention and control policies are made. In this survey paper, we summarize the progress of data-driven decision making in the response to COVID-19, including COVID-19 prevention and control, psychological counselling, financial aid, work resumption, and school re-opening. We also propose some current challenges and open issues in data-driven decision making, including data collection and quality, complex data analysis, and fairness in decision making. This survey paper sheds light on current policy making driven by data, which also provides a feasible direction for further scientific research.


title: Fine structure splitting analysis of cavity-enhanced telecom-wavelength InAs quantum dots grown on a GaAs(111)A vicinal substrate

abstract: The effcient generation of entangled photons at telecom wavelength is crucial for the success of many quantum communication protocols and the development of fiber-based quantum networks. Entangled light can be generated by solid state quantum emitters with naturally low fine structure splitting, such as highly symmetric InAs quantum dots (QDs) grown on (111)-oriented surfaces. Incorporating this kind of QDs into optical cavities is critical to achieve sufficient signal intensitiesfor applications, but has so far shown major complications. In this work we present droplet epitaxy of telecom-wavelength InAs QDs within an optical cavity on a vicinal (2{\deg} miscut) GaAs(111)A substrate. We show a remarkable enhancement of the photon extraction efficiency compared to previous reports together with a reduction of the density that facilitates the isolation of single spectral lines. Moreover, we characterise the exciton fine structure splitting and employ numerical simulations under the framework of the empirical pseudopotential and configuration interaction methods to study the impact of the miscut on the optical properties of the QDs. We demonstrate that the presence of miscut steps influences the polarisation of the excitonic states and introduces a preferential orientation in the $C_{3v}$ symmetry of the surface.


title: Dirac operator spectrum on a nilmanifold

abstract: We obtain the spectrum of the Dirac operator on the three-dimensional Heisenberg nilmanifold $\mathcal{M}_3$, and its complete dependence on the metric moduli. As an application, we construct the four-dimensional low-energy effective action obtained by compactification of a seven-dimensional gauge-fermion theory on $\mathcal{M}_3$.


title: Unexpected advantages of exploitation for target searches in complex networks

abstract: Exploitation universally emerges in various decision-making contexts, e.g., animals foraging, web surfing, the evolution of scientists' research topics, and our daily lives. Despite its ubiquity, exploitation, which refers to the behavior of revisiting previous experiences, has often been considered to delay the search process of finding a target. In this paper, we investigate how exploitation affects search performance by applying a non-Markovian random walk model, where a walker randomly revisits a previously visited node using long-term memory. We analytically study two broad forms of network structures, namely (i) clique-like networks and (ii) lollipop-like networks, and find that exploitation can significantly improve search performance in lollipop-like networks whereas it hinders target search in clique-like networks. Moreover, we numerically verify that exploitation can reduce the time needed to fully explore the underlying networks by using $550$ diverse real-world networks. Based on the analytic result, we define the lollipop-likeness of a network and observe a positive relationship between the advantage of exploitation and lollipop-likeness.


title: GCM-Motivated Multidimensional Temperature Parametrization Scheme for Phasecurve Retrieval

abstract: We present a novel physically motivated, parametrized temperature model for phase-curve retrieval, able to self-consistently assess the variation in thermal structure in multidimensions. To develop this approach, we drew motivation from both full three-dimensional general circulation models and analytic formulations, accounting for the dominant dynamical feature of tidally locked planets, the planetary jet. Our formulation shows notable flexibility. It can generate planetary jets of various characteristics and redistribution efficiencies seen in the literature, including both standard eastward and unusual westward offset hotspots, as well as more exotic configurations for potential future observations. In our modeling scheme we utilize a tractable set of parameters efficient enough to enable future Bayesian analysis and, in addition to the resolved temperature structure, we return physical insights not yet derived from retrievals: the amplitude and the phase offset, and the location and the extent of the equatorial jet.


title: Toeplitz operators on non-reflexive Fock spaces

abstract: We generalize several results on Toeplitz operators over reflexive, standard weighted Fock spaces $F_t^p$ to the non-reflexive cases $p = 1, \infty$. Among these results are the characterization of compactness and the Fredholm property of such operators, a well-known representation of the Toeplitz algebra, a characterization of the essential centre of the Toeplitz algebra. Further, we improve several results related to correspondence theory, e.g. we improve previous results on the correspondence of algebras and we give a correspondence theoretic version of the well-known Berger-Coburn estimates.


title: Understanding How Older Adults Comprehend COVID-19 Interactive Visualizations via Think-Aloud Protocol

abstract: Older adults have been hit disproportionally hard by the COVID-19 pandemic. One critical way for older adults to minimize the negative impact of COVID-19 and future pandemics is to stay informed about its latest information, which has been increasingly presented through online interactive visualizations (e.g., live dashboards and websites). Thus, it is imperative to understand how older adults interact with and comprehend online COVID-19 interactive visualizations and what challenges they might encounter to make such visualizations more accessible to older adults. We adopted a user-centered approach by inviting older adults to interact with COVID-19 interactive visualizations while at the same time verbalizing their thought processes using a think-aloud protocol. By analyzing their think-aloud verbalizations, we identified four types of thought processes representing how older adults comprehended the visualizations and uncovered the challenges they encountered. Furthermore, we also identified the challenges they encountered with seven common types of interaction techniques adopted by the visualizations. Based on the findings, we present design guidelines for making interactive visualizations more accessible to older adults.


title: The Standard Quantized Matrix Algebra $M_q(n)$ is A Solvable Polynomial Algebra

abstract: Let $M_q(n)$ be the standard quantized matrix algebra, introduced by Faddeev, Reshetikhin, and Takhtajan. It is shown, by constructing an appropriate monomial ordering $\prec$ on its PBW $K$-basis ${\cal B}$ , that $M_q(n)$ is a solvable polynomial algebra. Consequently, further structural properties of $M_q(n)$ and their modules may be established and realized in a constructive-computational way.


title: Hybrid Quantum-Classical Search Algorithms

abstract: Search is one of the most commonly used primitives in quantum algorithm design. It is known that quadratic speedups provided by Grover's algorithm are optimal, and no faster quantum algorithms for Search exist. While it is known that at least some quantum computation is required to achieve these speedups, the existing bounds do not rule out the possibility of an equally fast hybrid quantum-classical algorithm where most of the computation is classical. In this work, we study such hybrid algorithms and we show that classical computation, unless it by itself can solve the Search problem, cannot assist quantum computation. In addition, we generalize this result to algorithms with subconstant success probabilities.


title: Enabling arbitrary translation objectives with Adaptive Tree Search

abstract: We introduce an adaptive tree search algorithm, that can find high-scoring outputs under translation models that make no assumptions about the form or structure of the search objective. This algorithm -- a deterministic variant of Monte Carlo tree search -- enables the exploration of new kinds of models that are unencumbered by constraints imposed to make decoding tractable, such as autoregressivity or conditional independence assumptions. When applied to autoregressive models, our algorithm has different biases than beam search has, which enables a new analysis of the role of decoding bias in autoregressive models. Empirically, we show that our adaptive tree search algorithm finds outputs with substantially better model scores compared to beam search in autoregressive models, and compared to reranking techniques in models whose scores do not decompose additively with respect to the words in the output. We also characterise the correlation of several translation model objectives with respect to BLEU. We find that while some standard models are poorly calibrated and benefit from the beam search bias, other often more robust models (autoregressive models tuned to maximize expected automatic metric scores, the noisy channel model and a newly proposed objective) benefit from increasing amounts of search using our proposed decoder, whereas the beam search bias limits the improvements obtained from such objectives. Thus, we argue that as models improve, the improvements may be masked by over-reliance on beam search or reranking based methods.