title: Every subcubic multigraph is $(1,2^7)$-packing edge-colorable

abstract: For a non-decreasing sequence $S = (s_1, \ldots, s_k)$ of positive integers, an $S$-packing edge-coloring of a graph $G$ is a decomposition of edges of $G$ into disjoint sets $E_1, \ldots, E_k$ such that for each $1 \le i \le k$ the distance between any two distinct edges $e_1, e_2 \in E_i$ is at least $s_i+1$. The notion of $S$-packing edge-coloring was first generalized by Gastineau and Togni from its vertex counterpart. They showed that there are subcubic graphs that are not $(1,2,2,2,2,2,2)$-packing (abbreviated to $(1,2^6)$-packing) edge-colorable and asked the question whether every subcubic graph is $(1,2^7)$-packing edge-colorable. Very recently, Hocquard, Lajou, and Lu\v{z}ar showed that every subcubic graph is $(1,2^8)$-packing edge-colorable and every $3$-edge colorable subcubic graph is $(1,2^7)$-packing edge-colorable. Furthermore, they also conjectured that every subcubic graph is $(1,2^7)$-packing edge-colorable. In this paper, we confirm the conjecture of Hocquard, Lajou, and Lu\v{z}ar, and extend it to multigraphs.


title: Improving Ensemble Distillation With Weight Averaging and Diversifying Perturbation

abstract: Ensembles of deep neural networks have demonstrated superior performance, but their heavy computational cost hinders applying them for resource-limited environments. It motivates distilling knowledge from the ensemble teacher into a smaller student network, and there are two important design choices for this ensemble distillation: 1) how to construct the student network, and 2) what data should be shown during training. In this paper, we propose a weight averaging technique where a student with multiple subnetworks is trained to absorb the functional diversity of ensemble teachers, but then those subnetworks are properly averaged for inference, giving a single student network with no additional inference cost. We also propose a perturbation strategy that seeks inputs from which the diversities of teachers can be better transferred to the student. Combining these two, our method significantly improves upon previous methods on various image classification tasks.


title: Concordance invariant $\Upsilon$ for balanced spatial graphs using grid homology

abstract: The $\Upsilon$ invariant is a concordance invariant defined by using knot Floer homology. F\"{o}ldv\'{a}ri gives a combinatorial restructure of it using grid homology. We extend the combinatorial $\Upsilon$ invariant for balanced spatial graph using grid homology for balanced spatial graph. Regarding links as spatial graphs, we give a upper and lower bounds for $\Upsilon$ when two links are connected by a cobordism. Also we show that the combinatorial $\Upsilon$ is a concordance invariant for knots.


title: ZeroC: A Neuro-Symbolic Model for Zero-shot Concept Recognition and Acquisition at Inference Time

abstract: Humans have the remarkable ability to recognize and acquire novel visual concepts in a zero-shot manner. Given a high-level, symbolic description of a novel concept in terms of previously learned visual concepts and their relations, humans can recognize novel concepts without seeing any examples. Moreover, they can acquire new concepts by parsing and communicating symbolic structures using learned visual concepts and relations. Endowing these capabilities in machines is pivotal in improving their generalization capability at inference time. In this work, we introduce Zero-shot Concept Recognition and Acquisition (ZeroC), a neuro-symbolic architecture that can recognize and acquire novel concepts in a zero-shot way. ZeroC represents concepts as graphs of constituent concept models (as nodes) and their relations (as edges). To allow inference time composition, we employ energy-based models (EBMs) to model concepts and relations. We design ZeroC architecture so that it allows a one-to-one mapping between a symbolic graph structure of a concept and its corresponding EBM, which for the first time, allows acquiring new concepts, communicating its graph structure, and applying it to classification and detection tasks (even across domains) at inference time. We introduce algorithms for learning and inference with ZeroC. We evaluate ZeroC on a challenging grid-world dataset which is designed to probe zero-shot concept recognition and acquisition, and demonstrate its capability.


title: Algebraic Theory of Patterns as Generalized Symmetries

abstract: We generalize the exact predictive regularity of symmetry groups to give an algebraic theory of patterns, building from a core principle of future equivalence. For topological patterns in fully-discrete one-dimensional systems, future equivalence uniquely specifies a minimal semiautomaton. We demonstrate how the latter and its semigroup algebra generalizes translation symmetry to partial and hidden symmetries. This generalization is not as straightforward as previously considered. Here, though, we clarify the underlying challenges. A stochastic form of future equivalence, known as predictive equivalence, captures distinct statistical patterns supported on topological patterns. Finally, we show how local versions of future equivalence can be used to capture patterns in spacetime. As common when moving to higher dimensions, there is not a unique local approach, and we detail two local representations that capture different aspects of spacetime patterns. A previously-developed local spacetime variant of future equivalence captures patterns as generalized symmetries in higher dimensions, but we show this representation is not a faithful generator of its spacetime patterns. This motivates us to introduce a local representation that is a faithful generator, but we demonstrate that it no longer captures generalized spacetime symmetries. Taken altogether, building on future equivalence, the theory defines and quantifies patterns present in a wide range of classical field theories.


title: Group-invariant tensor train networks for supervised learning

abstract: Invariance has recently proven to be a powerful inductive bias in machine learning models. One such class of predictive or generative models are tensor networks. We introduce a new numerical algorithm to construct a basis of tensors that are invariant under the action of normal matrix representations of an arbitrary discrete group. This method can be up to several orders of magnitude faster than previous approaches. The group-invariant tensors are then combined into a group-invariant tensor train network, which can be used as a supervised machine learning model. We applied this model to a protein binding classification problem, taking into account problem-specific invariances, and obtained prediction accuracy in line with state-of-the-art deep learning approaches.


title: Holographic Schwinger effect in a rotating strongly coupled medium

abstract: We perform the potential analysis for the holographic Schwinger effect in a rotating deformed AdS black-hole background. We calculate the total potential of a quark-antiquark ($Q\bar{Q}$) pair in an external electric field and evaluate the critical electric field from Dirac-Born-Infeld (DBI) action. It is shown that the inclusion of angular velocity decreases the potential barrier thus enhancing the Schwinger effect, opposite to the effect of the confining scale. Moreover, by increasing angular velocity decreases the critical electric field above which the pairs are produced freely without any suppression. Furthermore, we conclude that producing $Q\bar{Q}$ pairs would be easier in rotating medium.


title: Harnessing structure in composite nonsmooth minimization

abstract: We consider the problem of minimizing the composition of a nonsmooth function with a smooth mapping in the case where the proximity operator of the nonsmooth function can be explicitly computed. We first show that this proximity operator can provide the exact smooth substructure of minimizers, not only of the nonsmooth function, but also of the full composite function. We then exploit this proximal identification by proposing an algorithm which combines proximal steps with sequential quadratic programming steps. We show that our method locally identifies the optimal smooth substructure and then converges quadratically. We illustrate its behavior on two problems: the minimization of a maximum of quadratic functions and the minimization of the maximal eigenvalue of a parametrized matrix.


title: Induced subgraphs and path decompositions

abstract: A graph $H$ is an induced subgraph of a graph $G$ if a graph isomorphic to $H$ can be obtained from $G$ by deleting vertices. Recently, there has been significant interest in understanding the unavoidable induced subgraphs for graphs of large treewidth. Motivated by this work, we consider the analogous problem for pathwidth: what are the unavoidable induced subgraphs for graphs of large pathwidth? While resolving this question in the general setting looks challenging, we prove various results for sparse graphs. In particular, we show that every graph with bounded maximum degree and sufficiently large pathwidth contains a subdivision of a large complete binary tree or the line graph of a subdivision of a large complete binary tree as an induced subgraph. Similarly, we show that every graph excluding a fixed minor and with sufficiently large pathwidth contains a subdivision of a large complete binary tree or the line graph of a subdivision of a large complete binary tree as an induced subgraph. Finally, we present a characterisation for when a hereditary class defined by a finite set of forbidden induced subgraphs has bounded pathwidth.


title: Efficient Collective Action for Tackling Time-Critical Cybersecurity Threats

abstract: The latency reduction between the discovery of vulnerabilities, the build-up and dissemination of cyber-attacks has put significant pressure on cybersecurity professionals. For that, security researchers have increasingly resorted to collective action in order to reduce the time needed to characterize and tame outstanding threats. Here, we investigate how joining and contributions dynamics on MISP, an open source threat intelligence sharing platform, influence the time needed to collectively complete threat descriptions. We find that performance, defined as the capacity to characterize quickly a threat event, is influenced by (i) its own complexity (negatively), by (ii) collective action (positively), and by (iii) learning, information integration and modularity (positively). Our results inform on how collective action can be organized at scale and in a modular way to overcome a large number of time-critical tasks, such as cybersecurity threats.


title: FeaRLESS: Feature Refinement Loss for Ensembling Self-Supervised Learning Features in Robust End-to-end Speech Recognition

abstract: Self-supervised learning representations (SSLR) have resulted in robust features for downstream tasks in many fields. Recently, several SSLRs have shown promising results on automatic speech recognition (ASR) benchmark corpora. However, previous studies have only shown performance for solitary SSLRs as an input feature for ASR models. In this study, we propose to investigate the effectiveness of diverse SSLR combinations using various fusion methods within end-to-end (E2E) ASR models. In addition, we will show there are correlations between these extracted SSLRs. As such, we further propose a feature refinement loss for decorrelation to efficiently combine the set of input features. For evaluation, we show that the proposed 'FeaRLESS learning features' perform better than systems without the proposed feature refinement loss for both the WSJ and Fearless Steps Challenge (FSC) corpora.


title: Universal order statistics for random walks & L\'evy flights

abstract: We consider one-dimensional discrete-time random walks (RWs) of $n$ steps, starting from $x_0=0$, with arbitrary symmetric and continuous jump distributions $f(\eta)$, including the important case of L\'evy flights. We study the statistics of the gaps $\Delta_{k,n}$ between the $k^\text{th}$ and $(k+1)^\text{th}$ maximum of the set of positions $\{x_1,\ldots,x_n\}$. We obtain an exact analytical expression for the probability distribution $P_{k,n}(\Delta)$ valid for any $k$ and $n$, and jump distribution $f(\eta)$, which we then analyse in the large $n$ limit. For jump distributions whose Fourier transform behaves, for small $q$, as $\hat f (q) \sim 1 - |q|^\mu$ with a L\'evy index $0< \mu \leq 2$, we find that, the distribution becomes stationary in the limit of $n\to \infty$, i.e. $\lim_{n\to \infty} P_{k,n}(\Delta)=P_k(\Delta)$. We obtain an explicit expression for its first moment $\mathbb{E}[\Delta_{k}]$, valid for any $k$ and jump distribution $f(\eta)$ with $\mu>1$, and show that it exhibits a universal algebraic decay $ \mathbb{E}[\Delta_{k}]\sim k^{1/\mu-1} \Gamma\left(1-1/\mu\right)/\pi$ for large $k$. Furthermore, for $\mu>1$, we show that in the limit of $k\to\infty$ the stationary distribution exhibits a universal scaling form $P_k(\Delta) \sim k^{1-1/\mu} \mathcal{P}_\mu(k^{1-1/\mu}\Delta)$ which depends only on the L\'evy index $\mu$, but not on the details of the jump distribution. We compute explicitly the limiting scaling function $\mathcal{P}_\mu(x)$ in terms of Mittag-Leffler functions. For $1< \mu <2$, we show that, while this scaling function captures the distribution of the typical gaps on the scale $k^{1/\mu-1}$, the atypical large gaps are not described by this scaling function since they occur at a larger scale of order $k^{1/\mu}$.


title: A note on Linear Bottleneck networks and their Transition to Multilinearity

abstract: Randomly initialized wide neural networks transition to linear functions of weights as the width grows, in a ball of radius $O(1)$ around initialization. A necessary condition for this result is that all layers of the network are wide enough, i.e., all widths tend to infinity. However, the transition to linearity breaks down when this infinite width assumption is violated. In this work we show that linear networks with a bottleneck layer learn bilinear functions of the weights, in a ball of radius $O(1)$ around initialization. In general, for $B-1$ bottleneck layers, the network is a degree $B$ multilinear function of weights. Importantly, the degree only depends on the number of bottlenecks and not the total depth of the network.


title: Generalization of the addition and restriction theorems from free arrangements to the class of projective dimension one

abstract: We study a generalized version of Terao's famous addition theorem for free arrangements to the category of those with projective dimension one. Namely, we give a criterion to determine the algebraic structure of logarithmic derivation modules of the addition when the deletion and restrictions are free with a mild condition. Also, we introduce a class of divisionally SPOG arrangements whose SPOGness depends only on the intersection lattice like Terao's famous conjecture on combinatoriality of freeness.


title: Discovery of nanographene for hydrogen storage solving low reversibility issues

abstract: We found good reversibility of hydrogen uptake-release in vacancy-centered hexagonal armchair nanographene (VANG) based on density functional theory calculation. VANG has a triply hydrogenated vacancy (V$_{111}$) at the center and acts as a self-catalytic property to reduce an activation barrier of hydrogen uptake-release. We found remarkable features in an almost equal value of the activation energy barrier of 1.19 eV for hydrogen uptake and 1.25 eV for hydrogen release on V$_{111}$ of VANG. The dehydrogenation showed slightly exothermic and the hydrogenation became slightly endothermic, suggesting the efficiency of hydrogen uptake-release. In high hydrogen coverage, the quintuply hydrogenated vacancy (V$_{221}$) is formed with some hydrogenated located in the in-plane and armchair edges. This structure produces an exothermic hydrogen release from the in-plane with an energy barrier of not more than 2 eV. This finding potentially addresses the low reversibility issues in the organic chemical hydrides as hydrogen storage materials.


title: Existence of two solutions for singular {\Phi}-Laplacian problems

abstract: Existence of two solutions to a parametric singular quasi-linear elliptic problem is proved. The equation is driven by the {\Phi}-Laplacian operator and the reaction term can be non-monotone. The main tools employed are a local minimum theorem and the Mountain Pass theorem, together with the truncation technique. Global C^{1,{\tau}} regularity of solutions is also investigated, chiefly via a priori estimates and perturbation techniques.


title: Infrared view of the multiphase ISM in NGC 253 I. Observations and fundamental parameters of the ionised gas

abstract: Context. Massive star-formation leads to enrichment with heavy elements of the interstellar medium. On the other hand, the abundance of heavy elements is a key parameter to study the star-formation history of galaxies. Furthermore, the total molecular hydrogen mass, usually determined by converting CO or [C ii] 158 $\mu$m luminosities, depends on the metallicity as well. The excitation of metallicity-sensitive emission lines, however, depends on the gas density of H ii regions, where they arise. Aims. We used spectroscopic observations from SOFIA, Herschel, and Spitzer of the nuclear region of the starburst galaxy NGC 253, as well as photometric observations from GALEX, 2MASS, Spitzer, and Herschel in order to derive physical properties such as the optical depth to correct for extinction, as well as the gas density and metallicity of the central region. Methods. Ratios of the integrated line fluxes of several species were utilised to derive the gas density and metallicity. The [O iii] along with the [S iii] and [N ii] line flux ratios for example, are sensitive to the gas density but nearly independent of the local temperature. As these line ratios trace different gas densities and ionisation states, we examined if these lines may originate from different regions within the observing beam. The ([Ne ii] 13 $\mu$m + [Ne iii] 16 $\mu$m)/Hu $\alpha$ line flux ratio on the other hand, is independent of the depletion onto dust grains but sensitive to the Ne/H abundance ratio and will be used as a tracer for metallicity of the gas. Results. We derived values for gas phase abundances of the most important species, as well as estimates for the optical depth and the gas density of the ionised gas in the nuclear region of NGC 253. We obtained densities of at least two different ionised components $(< 84$ cm$^{-3}$ and $\sim 170 - 212$ cm$^{-3})$ and a metallicity of solar value.


title: Imputation under Differential Privacy

abstract: The literature on differential privacy almost invariably assumes that the data to be analyzed are fully observed. In most practical applications this is an unrealistic assumption. A popular strategy to address this problem is imputation, in which missing values are replaced by estimated values given the observed data. In this paper we evaluate various approaches to answering queries on an imputed dataset in a differentially private manner, as well as discuss trade-offs as to where along the pipeline privacy is considered. We show that if imputation is done without consideration to privacy, the sensitivity of certain queries can increase linearly with the number of incomplete records. On the other hand, for a general class of imputation strategies, these worst case scenarios can be greatly reduced by ensuring privacy already during the imputation stage. We use a simulated dataset to demonstrate these results across a number of imputation schemes (both private and non-private) and examine their impact on the utility of a private query on the data.


title: Cluster Random Fields and Random-Shift Representations

abstract: This paper investigates random-shift representations of $\alpha$-homogeneous shift-invariant classes of random fields (rf's) $ K_{\alpha}[ Z]$, which were introduced in \cite{hashorva2021shiftinvariant}. Here $ Z(t),t\in T$ is a stochastically continuous $\mathbb{R}^d$-valued rf with $ T=\mathbb{R}^l$ or $T=\mathbb{Z}^l$. We show that that random-shift representations of interest are obtained by constructing cluster rf's, which play a crucial role in the study of extremes of stationary regularly varying rf's. An important implication of those representations is their close relationship with Rosi\'nski (or mixed moving maxima) representations of max-stable rf's. We show that for a given $ K_{\alpha}[ Z]$ different cluster rf's can be constructed, which is useful for the derivation of new representations of extremal functional indices, Rosi\'nski representations of max-stable rf's as well as for random-shift representations of shift-invariant tail measures.


title: Learning-Based Near-Orthogonal Superposition Code for MIMO Short Message Transmission

abstract: Massive machine type communication (mMTC) has attracted new coding schemes optimized for reliable short message transmission. In this paper, a novel deep learning-based near-orthogonal superposition (NOS) coding scheme is proposed to transmit short messages in multiple-input multiple-output (MIMO) channels for mMTC applications. In the proposed MIMO-NOS scheme, a neural network-based encoder is optimized via end-to-end learning with a corresponding neural network-based detector/decoder in a superposition-based auto-encoder framework including a MIMO channel. The proposed MIMO-NOS encoder spreads the information bits to multiple near-orthogonal high dimensional vectors to be combined (superimposed) into a single vector and reshaped for the space-time transmission. For the receiver, we propose a novel looped K-best tree-search algorithm with cyclic redundancy check (CRC) assistance to enhance the error correcting ability in the block-fading MIMO channel. Simulation results show the proposed MIMO-NOS scheme outperforms maximum likelihood (ML) MIMO detection combined with a polar code with CRC-assisted list decoding by 1-2 dB in various MIMO systems for short (32-64 bit) message transmission.


title: Story-thinking, computational-thinking, programming and software engineering

abstract: Working with stories and working with computations require very different modes of thought. We call the first mode "story-thinking" and the second "computational-thinking". The aim of this curiosity-driven paper is to explore the nature of these two modes of thinking, and to do so in relation to programming, including software engineering as programming-in-the-large. We suggest that story-thinking and computational-thinking may be understood as two ways of attending to the world, and that each both contributes and neglects the world, though in different ways and for different ends. We formulate two fundamental problems, i.e., the problem of "neglectful representations" and the problem of oppositional ways of thinking. We briefly suggest two ways in which these problems might be tackled and identify candidate hypotheses about the current state of the world, one assertion about a possible future state, and several research questions for future research.


title: Language Model-Based Emotion Prediction Methods for Emotional Speech Synthesis Systems

abstract: This paper proposes an effective emotional text-to-speech (TTS) system with a pre-trained language model (LM)-based emotion prediction method. Unlike conventional systems that require auxiliary inputs such as manually defined emotion classes, our system directly estimates emotion-related attributes from the input text. Specifically, we utilize generative pre-trained transformer (GPT)-3 to jointly predict both an emotion class and its strength in representing emotions coarse and fine properties, respectively. Then, these attributes are combined in the emotional embedding space and used as conditional features of the TTS model for generating output speech signals. Consequently, the proposed system can produce emotional speech only from text without any auxiliary inputs. Furthermore, because the GPT-3 enables to capture emotional context among the consecutive sentences, the proposed method can effectively handle the paragraph-level generation of emotional speech.


title: Accountable Private Set Cardinality for Distributed Measurement

abstract: We introduce cryptographic protocols for securely and efficiently computing the cardinality of set union and set intersection. Our private set-cardinality protocols (PSC) are designed for the setting in which a large set of parties in a distributed system makes observations, and a small set of parties with more resources and higher reliability aggregates the observations. PSC allows for secure and useful statistics gathering in privacy-preserving distributed systems. For example, it allows operators of anonymity networks such as Tor to securely answer the questions: "How many unique users are using the network?" and "How many hidden services are being accessed?". We prove the correctness and security of PSC in the Universal Composability framework against an active adversary that compromises all but one of the aggregating parties. Although successful output cannot be guaranteed in this setting, PSC either succeeds or terminates with an abort, and we furthermore make the adversary accountable for causing an abort by blaming at least one malicious party. We also show that PSC prevents adaptive corruption of the data parties from revealing past observations, which prevents them from being victims of targeted compromise, and we ensure safe measurements by making outputs differentially private. We present a proof-of-concept implementation of PSC and use it to demonstrate that PSC operates with low computational overhead and reasonable bandwidth. It can count tens of thousands of unique observations from tens to hundreds of data-collecting parties while completing within hours. PSC is thus suitable for daily measurements in a distributed system.


title: PVT-COV19D: Pyramid Vision Transformer for COVID-19 Diagnosis

abstract: With the outbreak of COVID-19, a large number of relevant studies have emerged in recent years. We propose an automatic COVID-19 diagnosis framework based on lung CT scan images, the PVT-COV19D. In order to accommodate the different dimensions of the image input, we first classified the images using Transformer models, then sampled the images in the dataset according to normal distribution, and fed the sampling results into the modified PVTv2 model for training. A large number of experiments on the COV19-CT-DB dataset demonstrate the effectiveness of the proposed method.


title: Modified Z-Phase Formation in a 12% Cr Tempered Martensite Ferritic Steel during Long-Term Creep

abstract: The formation of modified Z-phase in a 12Cr1MoV (German grade: X20) tempered martensite ferritic (TMF) steel subjected to interrupted long-term creep-testing at 550$^{\circ}$C and 120 MPa was investigated. Quantitative volumetric measurements collected from thin-foil and extraction replica samples showed that modified Z-phase precipitated in both the uniformly-elongated gauge ($f_v$: 0.23 $\pm$ 0.02 %) and thread regions ($f_v$: 0.06 $\pm$ 0.01 %) of the sample that ruptured after 139 kh. The formation of modified Z-phase was accompanied by a progressive dissolution of MX precipitates, which decreased from ($f_v$: 0.16 $\pm$ 0.02 %) for the initial state to ($f_v$: 0.03 $\pm$ 0.01 %) in the uniformly-elongated gauge section of the sample tested to failure. The interparticle spacing of the creep-strengthening MX particles increased from ($\lambda_{3D}$: 0.55 $\pm$ 0.05 $\mu m$) in the initial state to ($\lambda_{3D}$: 1.01 $\pm$ 0.10 $\mu m$) for the uniformly-elongated gauge section of the ruptured sample, while the thread region had an interparticle spacing of ($\lambda_{3D}$: 0.60 $\pm$ 0.05 $\mu m$). The locally deformed fracture region had an increased phase fraction of modified Z-phase ($f_v$: 0.40 $\pm$ 0.20 %), which implies that localised creep-strain strongly promotes the formation of modified Z-phase. The modified Z-phase precipitates did not form only on prior-austenite grain boundaries and formed throughout the tempered martensite ferritic grain structure.


title: Strain engineering of the magnetic anisotropy and magnetic moment in NdFeO3 epitaxial thin films

abstract: Strain engineering is a powerful mean for tuning the various functionalities of ABO3 perovskite oxide thin films. Rare-earth orthoferrite RFeO3 materials such as NdFeO3 (NFO) are of prime interest because of their intriguing magnetic properties as well as their technological potential applications especially as thin films. Here, using a large set of complementary and advanced techniques, we show that NFO epitaxial thin films, successfully grown by pulsed laser deposition on (001)-SrTiO3, show a strong magnetic anisotropy below a critical thickness tc of 54 nm, associated with the occurrence of structural modifications related to symmetry and domain pattern changes. By varying the tensile misfit strain through the decrease of film thickness below tc, the amplitudes of in and out-of-plane magnetization can be continuously tuned while their ratio stays constant. Furthermore, different low-temperature magnetic behaviors are evidenced for strained and relaxed films, suggesting that the strain-induced structural state impacts the magnetic phase stability.


title: Learnable Model-Driven Performance Prediction and Optimization for Imperfect MIMO System: Framework and Application

abstract: State-of-the-art schemes for performance analysis and optimization of multiple-input multiple-output systems generally experience degradation or even become invalid in dynamic complex scenarios with unknown interference and channel state information (CSI) uncertainty. To adapt to the challenging settings and better accomplish these network auto-tuning tasks, we propose a generic learnable model-driven framework in this paper. To explain how the proposed framework works, we consider regularized zero-forcing precoding as a usage instance and design a light-weight neural network for refined prediction of sum rate and detection error based on coarse model-driven approximations. Then, we estimate the CSI uncertainty on the learned predictor in an iterative manner and, on this basis, optimize the transmit regularization term and subsequent receive power scaling factors. A deep unfolded projected gradient descent based algorithm is proposed for power scaling, which achieves favorable trade-off between convergence rate and robustness.


title: COVID Detection and Severity Prediction with 3D-ConvNeXt and Custom Pretrainings

abstract: Since COVID strongly affects the respiratory system, lung CT-scans can be used for the analysis of a patients health. We introduce a neural network for the prediction of the severity of lung damage and the detection of a COVID-infection using three-dimensional CT-data. Therefore, we adapt the recent ConvNeXt model to process three-dimensional data. Furthermore, we design and analyze different pretraining methods specifically designed to improve the models ability to handle three-dimensional CT-data. We rank 2nd in the 1st COVID19 Severity Detection Challenge and 3rd in the 2nd COVID19 Detection Challenge.


title: Ionization Distributions in Outflows of Active Galaxies: Universal Trends and Prospect of Future XRISM Observations

abstract: The physics behind the ionization structure of outflows from black holes is yet to be fully understood. Using archival observations with the Chandra\HETG gratings over the past two decades, we measured an absorption measure distribution for a sample of outflows in nine active galaxies (AGNs), namely the dependence of outflow column density, $N_H$, on the ionization parameter, $\xi$. The slope of $\log(N_H)$ vs. $\log\xi$ is found to be between 0.00 and 0.72. We find an anti-correlation between the log of total column density of the outflow and the log of AGN luminosity, and none with the black hole mass and accretion efficiency. A major improvement in the diagnostics of AGN outflows will potentially occur with the launch of the XRISM/Resolve spectrometer. We study the ability of Resolve to reveal the outflow ionization structure by constructing the absorption measure distribution from simulated Resolve spectra, utilizing its superior resolution and effective area. Resolve constrains the column density as well as HETG, but with much shorter observations.


title: Topological data analysis and machine learning

abstract: Topological data analysis refers to approaches for systematically and reliably computing abstract ``shapes'' of complex data sets. There are various applications of topological data analysis in life and data sciences, with growing interest among physicists. We present a concise yet (we hope) comprehensive review of applications of topological data analysis to physics and machine learning problems in physics including the detection of phase transitions. We finish with a preview of anticipated directions for future research.


title: BigBIO: A Framework for Data-Centric Biomedical Natural Language Processing

abstract: Training and evaluating language models increasingly requires the construction of meta-datasets --diverse collections of curated data with clear provenance. Natural language prompting has recently lead to improved zero-shot generalization by transforming existing, supervised datasets into a diversity of novel pretraining tasks, highlighting the benefits of meta-dataset curation. While successful in general-domain text, translating these data-centric approaches to biomedical language modeling remains challenging, as labeled biomedical datasets are significantly underrepresented in popular data hubs. To address this challenge, we introduce BigBIO a community library of 126+ biomedical NLP datasets, currently covering 12 task categories and 10+ languages. BigBIO facilitates reproducible meta-dataset curation via programmatic access to datasets and their metadata, and is compatible with current platforms for prompt engineering and end-to-end few/zero shot language model evaluation. We discuss our process for task schema harmonization, data auditing, contribution guidelines, and outline two illustrative use cases: zero-shot evaluation of biomedical prompts and large-scale, multi-task learning. BigBIO is an ongoing community effort and is available at https://github.com/bigscience-workshop/biomedical


title: A perspective on Attitude Control Issues and Techniques

abstract: This paper reviews the attitude control problems for rigid-body systems, starting from the attitude representation for rigid body kinematics. Highly redundant rotation matrix defines the attitude orientation globally and uniquely by 9 parameters, which is the most fundamental one, without any singularities; minimum 3-parameter Euler angles or (modified) Rodrigues parameters define the attitude orientation neither globally nor uniquely, but the former exhibits kinematical singularity and Gimbal lock, while the latter two exhibit geometrical singularity; once-redundant axis-angle or unit quaternion globally define the attitude rotation but not uniquely using 4 parameters, but the former is not appropriate to define very small or very large rotations, while the latter shows unwinding phenomenon despite of the reduced computation burden. In addition, we explore the relationships among those attitude representations, including the connections among Gimbal lock, unwinding phenomenon and a nowhere dense set of zero Lebesgue measure. Based on attitude representations, we analyze different attitude control laws, almost global control and global attitude control, nominal and general robustness, as well as the technique tools.


title: Laplacian Autoencoders for Learning Stochastic Representations

abstract: Established methods for unsupervised representation learning such as variational autoencoders produce none or poorly calibrated uncertainty estimates making it difficult to evaluate if learned representations are stable and reliable. In this work, we present a Bayesian autoencoder for unsupervised representation learning, which is trained using a novel variational lower-bound of the autoencoder evidence. This is maximized using Monte Carlo EM with a variational distribution that takes the shape of a Laplace approximation. We develop a new Hessian approximation that scales linearly with data size allowing us to model high-dimensional data. Empirically, we show that our Laplacian autoencoder estimates well-calibrated uncertainties in both latent and output space. We demonstrate that this results in improved performance across a multitude of downstream tasks.


title: Prediction of Dilatory Behavior in eLearning: A Comparison of Multiple Machine Learning Models

abstract: Procrastination, the irrational delay of tasks, is a common occurrence in online learning. Potential negative consequences include higher risk of drop-outs, increased stress, and reduced mood. Due to the rise of learning management systems and learning analytics, indicators of such behavior can be detected, enabling predictions of future procrastination and other dilatory behavior. However, research focusing on such predictions is scarce. Moreover, studies involving different types of predictors and comparisons between the predictive performance of various methods are virtually non-existent. In this study, we aim to fill these research gaps by analyzing the performance of multiple machine learning algorithms when predicting the delayed or timely submission of online assignments in a higher education setting with two categories of predictors: subjective, questionnaire-based variables and objective, log-data based indicators extracted from a learning management system. The results show that models with objective predictors consistently outperform models with subjective predictors, and a combination of both variable types perform slightly better. For each of these three options, a different approach prevailed (Gradient Boosting Machines for the subjective, Bayesian multilevel models for the objective, and Random Forest for the combined predictors). We conclude that careful attention should be paid to the selection of predictors and algorithms before implementing such models in learning management systems.


title: Comparing the efficiency of forward and backward contact tracing

abstract: Tracing potentially infected contacts of confirmed cases is important when fighting outbreaks of many infectious diseases. The COVID-19 pandemic has motivated researchers to examine how different contact tracing strategies compare in terms of effectiveness (ability to mitigate infections) and cost efficiency (number of prevented infections per isolation). Two important strategies are so-called forward contact tracing (tracing to whom disease spreads) and backward contact tracing (tracing from whom disease spreads). Recently, Kojaku and colleagues reported that backward contact tracing was ``profoundly more effective'' than forward contact tracing, that contact tracing effectiveness ``hinges on reaching the `source' of infection'', and that contact tracing outperformed case isolation in terms of cost efficiency. Here we show that these conclusions are not true in general. They were based in part on simulations that vastly overestimated the effectiveness and efficiency of contact tracing. Our results show that the efficiency of contact tracing strategies is highly contextual; faced with a disease outbreak, the disease dynamics determine whether tracing infection sources or new cases is more impactful. Our results also demonstrate the importance of simulating disease spread and mitigation measures in parallel rather than sequentially.


title: How to use GP: Effects of the mean function and hyperparameter selection on Gaussian Process regression

abstract: Gaussian processes have been widely used in cosmology to reconstruct cosmological quantities in a model-independent way. However, the validity of the adopted mean function and hyperparameters, and the dependence of the results on the choice have not been well explored. In this paper, we study the effects of the underlying mean function and the hyperparameter selection on the reconstruction of the distance moduli from type Ia supernovae. We show that the choice of an arbitrary mean function affects the reconstruction: a zero mean function leads to unphysical distance moduli and the best-fit LCDM to biased reconstructions. We propose to marginalize over a family of mean functions and over the hyperparameters to effectively remove their impact on the reconstructions. We further explore the validity and consistency of the results considering different kernel functions and show that our method is unbiased.


title: Magnetic field measurements on the mini-ICAL detector using Hall probes

abstract: The magnetised 51 kton Iron Calorimeter (ICAL) detector proposed to be built at INO is designed with a focus on detecting 1-20 GeV muons. The magnetic field will enable the measurement of the momentum of the $\mu^-$ and $\mu^+$ generated from the charge current interactions of $\nu_\mu$ and $\bar\nu_\mu$ separately within iron in the detector, thus permitting the determination of the neutrino mass ordering/hierarchy, among other important goals of ICAL. Hence it is important to determine the magnetic field as accurately as possible. The mini-ICAL detector is an 85-ton prototype of ICAL, which is operational at Madurai in South India. We describe here the first measurement of the magnetic field in mini-ICAL using Hall sensor PCBs. A set-up developed to calibrate the Hall probe sensors using an electromagnet. The readout system has been designed using an Arduino Nano board for selection of channels of Hall probes mounted on the PCB and to convert the analog voltage to a digital output. The magnetic field has been measured in the small gaps (provided for the purpose) between iron plates in the top layer of mini-ICAL as well as in the air just outside the detector. A precision of better than 3% was obtained, with a sensitivity down to about 0.03 kGauss when measuring the small fringe fields outside the detector.


title: UniDAformer: Unified Domain Adaptive Panoptic Segmentation Transformer via Hierarchical Mask Calibration

abstract: Domain adaptive panoptic segmentation aims to mitigate data annotation challenge by leveraging off-the-shelf annotated data in one or multiple related source domains. However, existing studies employ two separate networks for instance segmentation and semantic segmentation which lead to excessive network parameters as well as complicated and computationally intensive training and inference processes. We design UniDAformer, a unified domain adaptive panoptic segmentation transformer that is simple but can achieve domain adaptive instance segmentation and semantic segmentation simultaneously within a single network. UniDAformer introduces Hierarchical Mask Calibration (HMC) that rectifies inaccurate predictions at the level of regions, superpixels and pixels via online self-training on the fly. It has three unique features: 1) it enables unified domain adaptive panoptic adaptation; 2) it mitigates false predictions and improves domain adaptive panoptic segmentation effectively; 3) it is end-to-end trainable with a much simpler training and inference pipeline. Extensive experiments over multiple public benchmarks show that UniDAformer achieves superior domain adaptive panoptic segmentation as compared with the state-of-the-art.


title: Lattice calculation of the short and intermediate time-distance hadronic vacuum polarization contributions to the muon magnetic moment using twisted-mass fermions

abstract: We present a lattice determination of the leading-order hadronic vacuum polarization (HVP) contribution to the muon anomalous magnetic moment, $a_{\mu}^{\rm HVP}$, in the so-called short and intermediate time-distance windows, $a_{\mu}^{\rm SD}$ and $a_{\mu}^{\rm W}$, defined by the RBC/UKQCD Collaboration [1]. We employ gauge ensembles produced by the Extended Twisted Mass Collaboration (ETMC) with $N_f = 2 + 1 + 1$ flavors of Wilson-clover twisted-mass quarks with masses of all the dynamical quark flavors tuned close to their physical values. The simulations are carried out at three values of the lattice spacing equal to $\simeq 0.057, 0.068$ and $0.080$ fm with spatial lattice sizes up to $L \simeq 7.6$~fm. For the short distance window we obtain $a_\mu^{\rm SD}({\rm ETMC}) = 69.27\,(34) \cdot 10^{-10}$, which is consistent with the recent dispersive value of $a_\mu^{\rm SD}(e^+ e^-) = 68.4\,(5) \cdot 10^{-10}$ [2]. In the case of the intermediate window we get the value $a_\mu^{\rm W}({\rm ETMC}) = 236.3\,(1.3) \cdot 10^{-10}$, which is consistent with the result $a_\mu^{\rm W}({\rm BMW}) = 236.7\,(1.4) \cdot 10^{-10}$ [3] by the BMW collaboration as well as with the recent determination by the CLS/Mainz group of $a_\mu^{\rm W}({\rm CLS}) = 237.30\,(1.46) \cdot 10^{-10}$ [4]. However, it is larger than the dispersive result of $a_\mu^{\rm W}(e^+ e^-) = 229.4\,(1.4) \cdot 10^{-10}$ [2] by approximately $3.6$ standard deviations. The tension increases to approximately $4.5$ standard deviations if we average our ETMC result with those by BMW and CLS/Mainz. Our accurate lattice results in the short and intermediate windows point to a possible deviation of the $e^+ e^-$ cross section data with respect to Standard Model predictions in the low and intermediate energy regions, but not in the high energy region.


title: Skeleton-based Action Recognition via Adaptive Cross-Form Learning

abstract: Skeleton-based action recognition aims to project skeleton sequences to action categories, where skeleton sequences are derived from multiple forms of pre-detected points. Compared with earlier methods that focus on exploring single-form skeletons via Graph Convolutional Networks (GCNs), existing methods tend to improve GCNs by leveraging multi-form skeletons due to their complementary cues. However, these methods (either adapting structure of GCNs or model ensemble) require the co-existence of all forms of skeletons during both training and inference stages, while a typical situation in real life is the existence of only partial forms for inference. To tackle this issue, we present Adaptive Cross-Form Learning (ACFL), which empowers well-designed GCNs to generate complementary representation from single-form skeletons without changing model capacity. Specifically, each GCN model in ACFL not only learns action representation from the single-form skeletons, but also adaptively mimics useful representations derived from other forms of skeletons. In this way, each GCN can learn how to strengthen what has been learned, thus exploiting model potential and facilitating action recognition as well. Extensive experiments conducted on three challenging benchmarks, i.e., NTU-RGB+D 120, NTU-RGB+D 60 and UAV-Human, demonstrate the effectiveness and generalizability of the proposed method. Specifically, the ACFL significantly improves various GCN models (i.e., CTR-GCN, MS-G3D, and Shift-GCN), achieving a new record for skeleton-based action recognition.


title: Colonoscopy Navigation using End-to-End Deep Visuomotor Control: A User Study

abstract: Flexible endoscopes for colonoscopy present several limitations due to their inherent complexity, resulting in patient discomfort and lack of intuitiveness for clinicians. Robotic devices together with autonomous control represent a viable solution to reduce the workload of endoscopists and the training time while improving the overall procedure outcome. Prior works on autonomous endoscope control use heuristic policies that limit their generalisation to the unstructured and highly deformable colon environment and require frequent human intervention. This work proposes an image-based control of the endoscope using Deep Reinforcement Learning, called Deep Visuomotor Control (DVC), to exhibit adaptive behaviour in convoluted sections of the colon tract. DVC learns a mapping between the endoscopic images and the control signal of the endoscope. A first user study of 20 expert gastrointestinal endoscopists was carried out to compare their navigation performance with DVC policies using a realistic virtual simulator. The results indicate that DVC shows equivalent performance on several assessment parameters, being more safer. Moreover, a second user study with 20 novice participants was performed to demonstrate easier human supervision compared to a state-of-the-art heuristic control policy. Seamless supervision of colonoscopy procedures would enable interventionists to focus on the medical decision rather than on the control problem of the endoscope.


title: Sub-barrier fusion hindrance and absence of neutron transfer channels

abstract: The sub-barrier fusion hindrance has been observed in the domain of very low energies of astrophysical relevance. This phenomenon can be analyzed effectively using an uncomplicated straightforward elegant mathematical formula gleaned presuming diffused barrier with a Gaussian distribution. The mathematical formula for cross section of nuclear fusion reaction has been obtained by folding together a Gaussian function representing the fusion barrier height distribution and the expression for classical cross section of fusion assuming a fixed barrier. The variation of fusion cross section as a function of energy, thus obtained, describes well the existing data on sub-barrier heavy-ion fusion for lighter systems of astrophysical interest. Employing this elegant formula, cross sections of interacting nuclei from $^{16}$O + $^{18}$O to $^{12}$C + $^{198}$Pt, all of which were measured down to $<$ 10 $\mu$b have been analyzed. The agreement of the present analysis with the measured values is comparable, if not better, than those calculated from more sophisticated calculations. The three parameters of this formula varies rather smoothly implying its usage in estimating the excitation function or extrapolating cross sections for pairs of interacting nuclei which are yet to be measured. Possible effects of neutron transfers on the hindrance in heavy-ion fusion have been explored.


title: On graphs coverable by k shortest paths

abstract: We show that if the edges or vertices of an undirected graph $G$ can be covered by $k$ shortest paths, then the pathwidth of $G$ is upper-bounded by a single-exponential function of $k$. As a corollary, we prove that the problem Isometric Path Cover with Terminals (which, given a graph $G$ and a set of $k$ pairs of vertices called terminals, asks whether $G$ can be covered by $k$ shortest paths, each joining a pair of terminals) is FPT with respect to the number of terminals. The same holds for the similar problem Strong Geodetic Set with Terminals (which, given a graph $G$ and a set of $k$ terminals, asks whether there exist $\binom{k}{2}$ shortest paths covering $G$, each joining a distinct pair of terminals). Moreover, this implies that the related problems Isometric Path Cover and Strong Geodetic Set (defined similarly but where the set of terminals is not part of the input) are in XP with respect to parameter $k$.


title: Fairness and Cost Constrained Privacy-Aware Record Linkage

abstract: Record linkage algorithms match and link records from different databases that refer to the same real-world entity based on direct and/or quasi-identifiers, such as name, address, age, and gender, available in the records. Since these identifiers generally contain personal identifiable information (PII) about the entities, record linkage algorithms need to be developed with privacy constraints. Known as privacy-preserving record linkage (PPRL), many research studies have been conducted to perform the linkage on encoded and/or encrypted identifiers. Differential privacy (DP) combined with computationally efficient encoding methods, e.g. Bloom filter encoding, has been used to develop PPRL with provable privacy guarantees. The standard DP notion does not however address other constraints, among which the most important ones are fairness-bias and cost of linkage in terms of number of record pairs to be compared. In this work, we propose new notions of fairness-constrained DP and fairness and cost-constrained DP for PPRL and develop a framework for PPRL with these new notions of DP combined with Bloom filter encoding. We provide theoretical proofs for the new DP notions for fairness and cost-constrained PPRL and experimentally evaluate them on two datasets containing person-specific data. Our experimental results show that with these new notions of DP, PPRL with better performance (compared to the standard DP notion for PPRL) can be achieved with regard to privacy, cost and fairness constraints.


title: Effect of short- and long-range correlations on neutron skins of various neutron-rich doubly magic nuclei

abstract: We study the effects of correlations beyond the independent particle model in the evaluation of neutron skins of various neutron-rich doubly magic nuclei. We consider short- and long-range correlations to take into account the presence of the strongly repulsive core of the bare nucleon-nucleon interaction and collective nuclear phenomena, respectively. Despite the strong sensitivity on the structure of the nucleus considered, our results indicate that, in general, correlations increase the values of the neutron skins.


title: Slim Tree-Cut Width

abstract: Tree-cut width is a parameter that has been introduced as an attempt to obtain an analogue of treewidth for edge cuts. Unfortunately, in spite of its desirable structural properties, it turned out that tree-cut width falls short as an edge-cut based alternative to treewidth in algorithmic aspects. This has led to the very recent introduction of a simple edge-based parameter called edge-cut width [WG 2022], which has precisely the algorithmic applications one would expect from an analogue of treewidth for edge cuts, but does not have the desired structural properties. In this paper, we study a variant of tree-cut width obtained by changing the threshold for so-called thin nodes in tree-cut decompositions from 2 to 1. We show that this "slim tree-cut width" satisfies all the requirements of an edge-cut based analogue of treewidth, both structural and algorithmic, while being less restrictive than edge-cut width. Our results also include an alternative characterization of slim tree-cut width via an easy-to-use spanning-tree decomposition akin to the one used for edge-cut width, a characterization of slim tree-cut width in terms of forbidden immersions as well as approximation algorithm for computing the parameter.


title: Treewidth versus clique number. III. Tree-independence number of graphs with a forbidden structure

abstract: We continue the study of $(\mathrm{tw},\omega)$-bounded graph classes, that is, hereditary graph classes in which the treewidth can only be large due to the presence of a large clique, with the goal of understanding the extent to which this property has useful algorithmic implications for the Independent Set and related problems. In the previous paper of the series [Dallard, Milani\v{c}, and \v{S}torgel, Treewidth versus clique number. II. Tree-independence number], we introduced the tree-independence number, a min-max graph invariant related to tree decompositions. Bounded tree-independence number implies both $(\mathrm{tw},\omega)$-boundedness and the existence of a polynomial-time algorithm for the Maximum Weight Independent Set problem, provided that the input graph is given together with a tree decomposition with bounded independence number. In this paper, we consider six graph containment relations and for each of them characterize the graphs $H$ for which any graph excluding $H$ with respect to the relation admits a tree decomposition with bounded independence number. The induced minor relation is of particular interest: we show that excluding either a $K_5$ minus an edge or the $4$-wheel implies the existence of a tree decomposition in which every bag is a clique plus at most $3$ vertices, while excluding a complete bipartite graph $K_{2,q}$ implies the existence of a tree decomposition with independence number at most $2(q-1)$. Our constructive proofs are obtained using a variety of tools, including $\ell$-refined tree decompositions, SPQR trees, and potential maximal cliques. They imply polynomial-time algorithms for the Independent Set and related problems in an infinite family of graph classes; in particular, the results apply to the class of $1$-perfectly orientable graphs, answering a question of Beisegel, Chudnovsky, Gurvich, Milani\v{c}, and Servatius from 2019.


title: Ce and Dy substitutions in Nd$_{2}$Fe$_{14}$B: site-specific magnetic anisotropy from first-principles

abstract: A first-principles approach combining density functional and dynamical mean-field theories in conjunction with a quasi-atomic approximation for the strongly localized 4$f$ shell is applied to Nd$_{2}$Fe$_{14}$B-based hard magnets in order to evaluate crystal-field and exchange-field parameters at rare-earth sites and their corresponding single-ion contribution to the magnetic anisotropy. In pure Nd$_2$Fe$_{14}$B, our calculations reproduce the easy-cone to easy axis transition; theoretical magnetization curves agree quantitatively with experiment. Our study reveals that the rare-earth single-ion anisotropy in the "2-14-1" structure is strongly site-dependent, with the $g$ rare-earth site exhibiting a larger value. In particular, we predict that increased $f$ and $g$-site occupancy of $R=$ Ce and Dy, respectively, leads to an increase of the magnetic anisotropy of the corresponding (Nd,$R$)$_{2}$Fe$_{14}$B substituted compounds.


title: Two-stage melting of an inter-component Potts long-range order in two dimensions

abstract: Interplay of topology and competing interactions can induce new phases and phase transitions at finite temperatures. We consider a weakly coupled two-dimensional hexatic-nematic XY model with a relative $Z_3$ Potts degrees of freedom,and apply the matrix product state method to solve this model rigorously. Since the partition function is expressed as a product of two-legged one-dimensional transfer matrix operator, an entanglement entropy of the eigenstate corresponding to the maximal eigenvalue of this transfer operator can be used as a stringent criterion to determine various phase transitions precisely. At low temperatures, the inter-component $Z_3$ Potts long-range order (LRO) exists, indicating that the hexatic and nematic fields are locked together and their respective vortices exhibit quasi-LRO. In the hexatic regime, below the BKT transition of the hexatic vortices, the inter-component $Z_3$ Potts LRO appears, accompanying with the binding of nematic vortices. In the nematic regime, however, the inter-component $Z_3$ Potts LRO undergoes a two-stage melting process. An intermediate Potts liquid phase emerges between the Potts ordered and disordered phases, characterized by an algebraic correlation with formation of charge-neutral pairs of both hexatic and nematic vortices. These two-stage phase transitions are associated with the proliferation of the domain walls and vortices of the relative $Z_3$ Potts variable, respectively. Our results thus provide a prototype example of two-stage melting of a two-dimensional long-range order, driven by multiple topological defects.


title: Learning-Aided Beam Prediction in mmWave MU-MIMO Systems for High-Speed Railway

abstract: The problem of beam alignment and tracking in high mobility scenarios such as high-speed railway (HSR) becomes extremely challenging, since large overhead cost and significant time delay are introduced for fast time-varying channel estimation. To tackle this challenge, we propose a learning-aided beam prediction scheme for HSR networks, which predicts the beam directions and the channel amplitudes within a period of future time with fine time granularity, using a group of observations. Concretely, we transform the problem of high-dimensional beam prediction into a two-stage task, i.e., a low-dimensional parameter estimation and a cascaded hybrid beamforming operation. In the first stage, the location and speed of a certain terminal are estimated by maximum likelihood criterion, and a data-driven data fusion module is designed to improve the final estimation accuracy and robustness. Then, the probable future beam directions and channel amplitudes are predicted, based on the HSR scenario priors including deterministic trajectory, motion model, and channel model. Furthermore, we incorporate a learnable non-linear mapping module into the overall beam prediction to allow non-linear tracks. Both of the proposed learnable modules are model-based and have a good interpretability. Compared to the existing beam management scheme, the proposed beam prediction has (near) zero overhead cost and time delay. Simulation results verify the effectiveness of the proposed scheme.


title: Voluntary Information Disclosure in Centralized Matching: Efficiency Gains and Strategic Properties

abstract: Information frictions can harm the welfare of participants in two-sided matching markets. Consider a centralized admission, where colleges cannot observe students' preparedness for success in a particular major or degree program. Colleges choose between using simple, cheap admission criteria, e.g., high school grades as a proxy for preparedness, or screening all applications, which is time-consuming for both students and colleges. To address issues of fairness and welfare, we introduce two novel mechanisms that allow students to disclose private information voluntarily and thus only require partial screening. The mechanisms are based on Deferred Acceptance and preserve its core strategic properties of credible preference revelation, particularly ordinal strategy-proofness. In addition, we demonstrate conditions for which cardinal welfare improves for market participants compared to not screening. Intuitively, students and colleges benefit from voluntary information disclosure if public information about students correlates weakly with students' private information and the cost of processing disclosed information is sufficiently low. Finally, we present empirical evidence from the Danish higher education system that supports critical features of our model. Our work has policy implications for the mechanism design of large two-sided markets where information frictions are inherent.


title: Prefix-free parsing for building large tunnelled Wheeler graphs

abstract: We propose a new technique for creating a space-efficient index for large repetitive text collections, such as pangenomic databases containing sequences of many individuals from the same species. We combine two recent techniques from this area: Wheeler graphs (Gagie et al., 2017) and prefix-free parsing (PFP, Boucher et al., 2019). Wheeler graphs (WGs) are a general framework encompassing several indexes based on the Burrows-Wheeler transform (BWT), such as the FM-index. Wheeler graphs admit a succinct representation which can be further compacted by employing the idea of tunnelling, which exploits redundancies in the form of parallel, equally-labelled paths called blocks that can be merged into a single path. The problem of finding the optimal set of blocks for tunnelling, i.e. the one that minimizes the size of the resulting WG, is known to be NP-complete and remains the most computationally challenging part of the tunnelling process. To find an adequate set of blocks in less time, we propose a new method based on the prefix-free parsing (PFP). The idea of PFP is to divide the input text into phrases of roughly equal sizes that overlap by a fixed number of characters. The original text is represented by a sequence of phrase ranks (the parse) and a list of all used phrases (the dictionary). In repetitive texts, the PFP of the text is generally much shorter than the original. To speed up the block selection for tunnelling, we apply the PFP to obtain the parse and the dictionary of the text, tunnel the WG of the parse using existing heuristics and subsequently use this tunnelled parse to construct a compact WG of the original text. Compared with constructing a WG from the original text without PFP, our method is much faster and uses less memory on collections of pangenomic sequences. Therefore, our method enables the use of WGs as a pangenomic reference for real-world datasets.


title: Talent Hoarding in Organizations

abstract: Most organizations rely on managers to identify talented workers. However, managers who are evaluated on team performance have an incentive to hoard workers. This study provides the first empirical evidence of talent hoarding using personnel records and survey evidence from a large manufacturing firm. Talent hoarding is reported by three-fourths of managers, is detectable in managerial decisions, and occurs more frequently when hoarding incentives are stronger. Using quasi-random variation in exposure to talent hoarding, I demonstrate that hoarding deters workers from applying to new positions, inhibiting worker career progression and altering the allocation of talent in the firm.


title: Automatic generation of interpretable hyperelastic material models by symbolic regression

abstract: In this paper, we present a new procedure to automatically generate interpretable hyperelastic material models. This approach is based on symbolic regression which represents an evolutionary algorithm searching for a mathematical model in the form of an algebraic expression. This results in a relatively simple model with good agreement to experimental data. By expressing the strain energy function in terms of its invariants or other parameters, it is possible to interpret the resulting algebraic formulation in a physical context. In addition, a direct implementation of the obtained algebraic equation is possible. For the validation of the proposed approach, benchmark tests on the basis of the generalized Mooney-Rivlin model are presented. In all these tests, the chosen ansatz can find the predefined models. Additionally, this method is applied for the multi-axial loading data set of vulcanized rubber. Finally, a data set for a temperature-dependent thermoplastic polyester elastomer is evaluated. In latter cases, good agreement with the experimental data is obtained.


title: Computing the Parameterized Burrows--Wheeler Transform Online

abstract: Parameterized strings are a generalization of strings in that their characters are drawn from two different alphabets, where one is considered to be the alphabet of static characters and the other to be the alphabet of parameter characters. Two parameterized strings are a parameterized match if there is a bijection over all characters such that the bijection transforms one string to the other while keeping the static characters (i.e., it behaves as the identity on the static alphabet). Ganguly et al. [SODA 2017] proposed the parameterized Burrows--Wheeler transform (pBWT) as a variant of the Burrows--Wheeler transform for space-efficient parameterized pattern matching. In this paper, we propose an algorithm for computing the pBWT online by reading the characters of a given input string one-by-one from right to left. Our algorithm works in $O(|\Pi| \log n / \log \log n)$ amortized time for each input character, where $n$ and $\Pi$ denote the size of the input string and the alphabet of the parameter characters, respectively.


title: The maximum capability of a topological feature in link prediction

abstract: Networks offer a powerful approach to modeling complex systems by representing the underlying set of pairwise interactions. Link prediction is the task that predicts links of a network that are not directly visible, with profound applications in biological, social, and other complex systems. Despite intensive utilization of the topological feature in this task, it is unclear to what extent a feature can be leveraged to infer missing links. Here, we aim to unveil the capability of a topological feature in link prediction by identifying its prediction performance upper bound. We introduce a theoretical framework that is compatible with different indexes to gauge the feature, different prediction approaches to utilize the feature, and different metrics to quantify the prediction performance. The maximum capability of a topological feature follows a simple yet theoretically validated expression, which only depends on the extent to which the feature is held in missing and nonexistent links. Because a family of indexes based on the same feature shares the same upper bound, the potential of all others can be estimated from one single index. Furthermore, a feature's capability is lifted in the supervised prediction, which can be mathematically quantified, allowing us to estimate the benefit of applying machine learning algorithms. The universality of the pattern uncovered is empirically verified by 550 structurally diverse networks. The findings have applications in feature and method selection, and shed light on network characteristics that make a topological feature effective in link prediction.


title: DynamicFilter: an Online Dynamic Objects Removal Framework for Highly Dynamic Environments

abstract: Emergence of massive dynamic objects will diversify spatial structures when robots navigate in urban environments. Therefore, the online removal of dynamic objects is critical. In this paper, we introduce a novel online removal framework for highly dynamic urban environments. The framework consists of the scan-to-map front-end and the map-to-map back-end modules. Both the front- and back-ends deeply integrate the visibility-based approach and map-based approach. The experiments validate the framework in highly dynamic simulation scenarios and real-world datasets.


title: Effect of a viscous fluid shell on the propagation of gravitational waves

abstract: In this paper we show that there are circumstances in which the damping of gravitational waves (GWs) propagating through a viscous fluid can be highly significant; in particular, this applies to Core Collapse Supernovae (CCSNe). In previous work, we used linearized perturbations on a fixed background within the Bondi-Sachs formalism, to determine the effect of a dust shell on GW propagation. Here, we start with the (previously found) velocity field of the matter, and use it to determine the shear tensor of the fluid flow. Then, for a viscous fluid, the energy dissipated is calculated, leading to an equation for GW damping. It is found that the damping effect agrees with previous results when the wavelength $\lambda$ is much smaller than the radius $r_i$ of the matter shell; but if $\lambda\gg r_i$, then the damping effect is greatly increased. Next, the paper discusses an astrophysical application, CCSNe. There are several different physical processes that generate GWs, and many models have been presented in the literature. The damping effect thus needs to be evaluated with each of the parameters $\lambda,r_i$ and the coefficient of shear viscosity $\eta$, having a range of values. It is found that in most cases there will be significant damping, and in some cases that it is almost complete. We also consider the effect of viscous damping on primordial gravitational waves (pGWs) generated during inflation in the early Universe. Two cases are investigated where the wavelength is either much shorter than the shell radii or much longer; we find that there are conditions that will produce significant damping, to the extent that the waves would not be detectable.


title: Euler characteristics of collapsing Alexandrov spaces

abstract: We prove that the Euler characteristic of a collapsing Alexandrov space (in particular, a Riemannian manifold) is equal to the sum of the products of the Euler characteristics with compact support of the strata of the limit space and the Euler characteristics of the fibers over the strata. This was conjectured by Semyon Alesker.


title: Approximation Algorithms for Continuous Clustering and Facility Location Problems

abstract: We consider the approximability of center-based clustering problems where the points to be clustered lie in a metric space, and no candidate centers are specified. We call such problems "continuous", to distinguish from "discrete" clustering where candidate centers are specified. For many objectives, one can reduce the continuous case to the discrete case, and use an $\alpha$-approximation algorithm for the discrete case to get a $\beta\alpha$-approximation for the continuous case, where $\beta$ depends on the objective: e.g. for $k$-median, $\beta = 2$, and for $k$-means, $\beta = 4$. Our motivating question is whether this gap of $\beta$ is inherent, or are there better algorithms for continuous clustering than simply reducing to the discrete case? In a recent SODA 2021 paper, Cohen-Addad, Karthik, and Lee prove a factor-$2$ and a factor-$4$ hardness, respectively, for continuous $k$-median and $k$-means, even when the number of centers $k$ is a constant. The discrete case for a constant $k$ is exactly solvable in polytime, so the $\beta$ loss seems unavoidable in some regimes. In this paper, we approach continuous clustering via the round-or-cut framework. For four continuous clustering problems, we outperform the reduction to the discrete case. Notably, for the problem $\lambda$-UFL, where $\beta = 2$ and the discrete case has a hardness of $1.27$, we obtain an approximation ratio of $2.32 < 2 \times 1.27$ for the continuous case. Also, for continuous $k$-means, where the best known approximation ratio for the discrete case is $9$, we obtain an approximation ratio of $32 < 4 \times 9$. The key challenge is that most algorithms for discrete clustering, including the state of the art, depend on linear programs that become infinite-sized in the continuous case. To overcome this, we design new linear programs for the continuous case which are amenable to the round-or-cut framework.


title: Sink versus tilt penetration into shaken dry granular matter: The role of the foundation

abstract: We study the behavior of cylindrical objects as they sink into a drygranular bed fluidized due to lateral oscillations. Somewhat unexpectedly, we have found that, within a large range of lateral shaking powers,cylinders with flat bottoms sink vertically, while those with a''foundation'' consisting in ashallow ring attached to their bottom, tilt besides sinking. Thelatter scenario seems to dominate independently from the nature ofthe foundation when strong enough lateral vibrations are applied. Weare able to explain the observed behavior by quasi-2D numericalsimulations, which also demonstrate the influence of the intruder's aspect ratio. The vertical sink dynamics is explained with the help of a Newtonian equation of motion for the intruder. Our findings may shed light on the behavior of buildings and other man-made constructions during earthquakes.


title: Solving the "many variables" problem in MICE with principal component regression

abstract: Multiple Imputation (MI) is one of the most popular approaches to addressing missing values in questionnaires and surveys. MI with multivariate imputation by chained equations (MICE) allows flexible imputation of many types of data. In MICE, for each variable under imputation, the imputer needs to specify which variables should act as predictors in the imputation model. The selection of these predictors is a difficult, but fundamental, step in the MI procedure, especially when there are many variables in a data set. In this project, we explore the use of principal component regression (PCR) as a univariate imputation method in the MICE algorithm to automatically address the "many variables" problem that arises when imputing large social science data. We compare different implementations of PCR-based MICE with a correlation-thresholding strategy by means of a Monte Carlo simulation study and a case study. We find the use of PCR on a variable-by-variable basis to perform best and that it can perform closely to expertly designed imputation procedures.


title: Non-Universal Moderate Deviation Principle for the Nodal Length of Arithmetic Random Waves

abstract: Inspired by the recent work [MRT21], we prove a non-universal non-central Moderate Deviation principle for the nodal length of arithmetic random waves (Gaussian Laplace eigenfunctions on the standard flat torus) both on the whole manifold and on shrinking toral domains. Second order fluctuations for the latter were established in [MPRW16] and [BMW20] respectively, by means of chaotic expansions, number theoretical estimates and full correlation phenomena. Our proof is simple and relies on the interplay between the long memory behavior of arithmetic random waves and the chaotic expansion of the nodal length, as well as on well-known techniques in Large Deviation theory (the contraction principle and the concept of exponential equivalence).


title: MKIoU Loss: Towards Accurate Oriented Object Detection in Aerial Images

abstract: Oriented bounding box regression is crucial for oriented object detection. However, regression-based methods often suffer from boundary problems and the inconsistency between loss and evaluation metrics. In this paper, a modulated Kalman IoU loss of approximate SkewIoU is proposed, named MKIoU. To avoid boundary problems, we convert the oriented bounding box to Gaussian distribution, then use the Kalman filter to approximate the intersection area. However, there exists significant difference between the calculated and actual intersection areas. Thus, we propose a modulation factor to adjust the sensitivity of angle deviation and width-height offset to loss variation, making the loss more consistent with the evaluation metric. Furthermore, the Gaussian modeling method avoids the boundary problem but causes the angle confusion of square objects simultaneously. Thus, the Gaussian Angle Loss (GA Loss) is presented to solve this problem by adding a corrected loss for square targets. The proposed GA Loss can be easily extended to other Gaussian-based methods. Experiments on three publicly available aerial image datasets, DOTA, UCAS-AOD, and HRSC2016, show the effectiveness of the proposed method.


title: Automated Experiments of Local Non-linear Behavior in Ferroelectric Materials

abstract: We develop and implement an automated experiment in multimodal imaging to probe structural, chemical, and functional behaviors in complex materials and elucidate the dominant physical mechanisms that control device function. Here the emergence of non-linear electromechanical responses in piezoresponse force microscopy (PFM) is explored. Non-linear responses in PFM can originate from multiple mechanisms, including intrinsic material responses often controlled by domain structure, surface topography that affects the mechanical phenomena at the tip-surface junction, and, potentially, the presence of surface contaminants. Using an automated experiment to probe the origins of non-linear behavior in model ferroelectric lead titanate (PTO) and ferroelectric Al0.93B0.07N films, it was found that PTO showed asymmetric nonlinear behavior across a/c domain walls and a broadened high nonlinear response region around c/c domain walls. In contrast, for Al0.93B0.07N, well-poled regions showed high linear piezoelectric responses paired with low non-linear responses and regions that were multidomain indicated low linear responses and high nonlinear responses. We show that formulating dissimilar exploration strategies in deep kernel learning as alternative hypotheses allows for establishing the preponderant physical mechanisms behind the non-linear behaviors, suggesting that this approach automated experiments can potentially discern between competing physical mechanisms. This technique can also be extended to electron, probe, and chemical imaging.


title: Bilinear optimal control for weak solutions of the Keller-Segel logistic model in $2D$ domains

abstract: An optimal control problem associated to the Keller-Segel with logistic reaction system will be studied in $2D$ domains. The control acts in a bilinear form only in the chemical equation. The existence of optimal control and a necessary optimality system are deduced. The main novelty is that control can be rather singular and the state (cell density $u$ and the chemical concentration $v$) remains only in a weak setting, which is not usual in the literature to solve optimal control problems subject to chemotaxis models (see e.g. Guill\'en-Gonz\'alez et al. ESAIM Control Optim. Calc. Var. 26 (2020), Paper No. 29, 21 pp).


title: Berezin-Toeplitz operators, Kodaira maps, and random sections

abstract: We study the zeros of sections of the form $T_k s_k$ of a large power $L^{\otimes k} \to M$ of a holomorphic positive Hermitian line bundle over a compact K\''ahler manifold $M$, where $s_k$ is a random holomorphic section of $L^{\otimes k}$ and $T_k$ is a Berezin-Toeplitz operator, in the limit $k \to +\infty$. In particular, we compute the second order approximation of the expectation of the distribution of these zeros. In a ball of radius of order $k^{-\frac{1}{2}}$ around $x \in M$, assuming that the principal symbol $f$ of $T_k$ is real-valued and vanishes transversally, we show that this expectation exhibits two drastically different behaviors depending on whether $f(x) = 0$ or $f(x) \neq 0$. These different regimes are related to a similar phenomenon about the convergence of the normalized Fubini-Study forms associated with $T_k$: they converge to the K\''ahler form in the sense of currents as $k\rightarrow + \infty$, but not as differential forms (even pointwise). This contrasts with the standard case $f=1$, in which the convergence is in the $\mathscr{C}^{\infty}$-topology. From this, we are able to recover the zero set of $f$ from the zeros of $T_k s_k$.


title: Phase separation induces congestion waves in electric vehicle charging

abstract: Electric vehicles may dominate motorized transport in the next decade, yet the impact of the collective dynamics of electric mobility on long-range traffic flow is still largely unknown. We demonstrate a type of congestion that arises if charging infrastructure is limited or electric vehicle density is high. This congestion emerges solely through indirect interactions at charging infrastructure by queue-avoidance behavior that - counterintuitively - induces clustering of occupied charging stations and phase separation of the flow into free and congested stations. The resulting congestion waves always propagate forward in the direction of travel, in contrast to typically backward-propagating congestion waves known from traditional traffic jams. These results may guide the planning and design of charging infrastructure and decision support applications in the near future.


title: A learning by confusion approach to characterize phase transitions

abstract: Recently, the learning by confusion (LBC) approach has been proposed as a machine learning tool to determine the critical temperature Tc of phase transitions without any prior knowledge of its even approximate value. However, the effectiveness of the method has been demonstrated only for continuous phase transitions, where confusion can result only from a deliberate incorrect labeling of the data and not from the coexistence of different phases. To verify whether the confusion scheme can also be used for discontinuous phase transitions, in this work, we apply the LBC method to three microscopic models, the Blume-Capel, the q-state Potts, and the Falicov-Kimball models, which undergo continuous or discontinuous phase transitions depending on model parameters. With the help of a simple model, we predict that the phase coexistence present in discontinuous phase transitions can make the neural network more confused and thus decrease its performance. However, numerical calculations performed for the models mentioned above indicate that other aspects of this kind of phase transition are more important and can render the LBC method less effective. Nevertheless, we demonstrate that in some cases the same aspects allow us to use the LBC method to identify the order of a phase transition


title: A Two-Stage Bayesian Optimisation for Automatic Tuning of an Unscented Kalman Filter for Vehicle Sideslip Angle Estimation

abstract: This paper presents a novel methodology to auto-tune an Unscented Kalman Filter (UKF). It involves using a Two-Stage Bayesian Optimisation (TSBO), based on a t-Student Process to optimise the process noise parameters of a UKF for vehicle sideslip angle estimation. Our method minimises performance metrics, given by the average sum of the states' and measurement' estimation error for various vehicle manoeuvres covering a wide range of vehicle behaviour. The predefined cost function is minimised through a TSBO which aims to find a location in the feasible region that maximises the probability of improving the current best solution. Results on an experimental dataset show the capability to tune the UKF in 79.9% less time than using a genetic algorithm (GA) and the overall capacity to improve the estimation performance in an experimental test dataset of 9.9% to the current state-of-the-art GA.


title: A Constructive Heuristic Algorithm for 3D Bin Packing of Irregular Shaped Items

abstract: The three-dimensional bin packing problem (3D-BPP) plays an important role in city logistics and manufacturing environments, due to its direct relevance to operational cost. Most existing literature have investigated the conventional 3D-BPP, in which the shape of items are typically considered as regular shapes, e.g., rectangular-shaped rigid boxes or cylindrical-shaped containers. However, 3D-BPP for non-rectangular shaped items are quite common in varies delivery schemes, especially in fresh food delivery, and few published studies focusing on these issues. In this paper, we address a novel 3D-BPP variant in which the shape changing factor of non-rectangular and deformable items is incorporated to further enhance the loading efficiency and reduce the operational cost of related companies. Motivated by the compression process of item-loading, we propose a constructive heuristic (i.e., an improved dynamic-volume-based packing algorithm) to solve the studied problem. Experimental results over a set of randomly generated instances reveal that considering shape changing factor is indeed able to achieve higher space utilization than that of conventional schemes, thereby has potential to save packaging and delivering cost, as well as enhance operation efficiency.


title: A GPU-based Imager with Polarised Primary-beam Correction

abstract: The next generation of radio telescopes will strive for unprecedented dynamic range across wide fields of view, and direction-dependent gains such as the gain from the primary-beam pattern, or leakage of one Stokes product into another, must be removed from the cleaned images if dynamic range is to reach its full potential. Unfortunately, such processing is extremely computationally intensive, and is made even more challenging by the very large volumes of data that these instruments will generate. Here we describe a new GPU-based imager, aimed primarily at use with the ASKAP telescope, that is capable of generating cleaned, full-polarisation images that include wide-field, primary-beam, and polarisation leakage corrections.


title: Anomalies and Symmetry Fractionalization

abstract: We study ordinary, zero-form symmetry $G$ and its anomalies in a system with a one-form symmetry $\Gamma$. In a theory with one-form symmetry, the action of $G$ on charged line operators is not completely determined, and additional data, a fractionalization class, needs to be specified. Distinct choices of a fractionalization class can result in different values for the anomalies of $G$ if the theory has an anomaly involving $\Gamma$. Therefore, the computation of the 't Hooft anomaly for an ordinary symmetry $G$ generally requires first discovering the one-form symmetry $\Gamma$ of the physical system. We show that the multiple values of the anomaly for $G$ can be realized by twisted gauge transformations, since twisted gauge transformations shift fractionalization classes. We illustrate these ideas in QCD theories in diverse dimensions. We successfully match the anomalies of time-reversal symmetries in $2+1d$ gauge theories, across the different fractionalization classes, with previous conjectures for the infrared phases of such strongly coupled theories, and also provide new checks of these proposals. We perform consistency checks of recent proposals about two-dimensional adjoint QCD and present new results about the anomaly of the axial $\mathbb{Z}_{2N}$ symmetry in $3+1d$ ${\cal N}=1$ super-Yang-Mills. Finally, we study fractionalization classes that lead to 2-group symmetry, both in QCD-like theories, and in $2+1d$ $\mathbb{Z}_2$ gauge theory.


title: Model-based vs Data-driven Estimation of Vehicle Sideslip Angle and Benefits of Tyre Force Measurements

abstract: This paper provides a comprehensive comparison of model-based and data-driven approaches and analyses the benefits of using measured tyre forces for vehicle sideslip angle estimation. The model-based approaches are based on an extended Kalman filter and an unscented Kalman filter, in which the measured tyre forces are utilised in the observation model. An adaptive covariance matrix is introduced to minimise the tyre model mismatch during evasive manoeuvres. For data-driven approaches, feed forward and recurrent neural networks are evaluated. Both approaches use the standard inertial measurement unit and the tyre force measurements as inputs. Using the large-scale experimental dataset of 216 manoeuvres, we demonstrate a significant improvement in accuracy using data-driven vs. model-based approaches. Tyre force measurements improve the performance of both model-based and data-driven approaches, especially in the non-linear regime of tyres.


title: Complete Hypersurfaces of Constant Isotropic Curvature in Space Forms

abstract: We classify complete orientable hypersurfaces of constant isotropic curvature in space forms. We show that such a hypersurface has constant mean curvature only if it is an isoparametric hypersurface, and that it is minimal if and only if it is totally geodesic or it is the Clifford minimal hypersurface ${\mathbb S}^{3}(\frac{4c}{3})\times {\mathbb S}^{1}(4c)$ in ${\mathbb S}^{5}(c).$


title: Extension in generalized Orlicz--Sobolev spaces

abstract: We study the existence of an extension operator $\Lambda \colon W^{1,\varphi}(\Omega)\to W^{1,\psi}(\mathbb{R}^n)$. We assume that $\varphi \in \Phi_\mathrm{w}(\Omega)$ has generalized Orlicz growth, $\psi \in \Phi_\mathrm{w}(\mathbb{R}^n)$ is an extension of $\varphi$, and that $\Omega\subset\mathbb{R}^n$ is an $(\epsilon,\delta)$-domain. Special cases include the classical constant exponent case, the Orlicz case, the variable exponent case, and the double phase case.


title: Space-Bounded Unitary Quantum Computation with Postselection

abstract: Space-bounded computation has been a central topic in classical and quantum complexity theory. In the quantum case, every elementary gate must be unitary. This restriction makes it unclear whether the power of space-bounded computation changes by allowing intermediate measurement. In the bounded error case, Fefferman and Remscrim [STOC 2021, pp.1343--1356] and Girish, Raz and Zhan~[ICALP 2021, pp.73:1--73:20] recently provided the break-through results that the power does not change. This paper shows that a similar result holds for space-bounded quantum computation with postselection. Namely, it is proved possible to eliminate intermediate postselections and measurements in the space-bounded quantum computation in the bounded-error setting. Our result strengthens the recent result by Le Gall, Nishimura and Yakaryilmaz~[TQC 2021, pp.10:1--10:17] that logarithmic-space bounded-error quantum computation with intermediate postselections and measurements is equivalent in computational power to logarithmic-space unbounded-error probabilistic computation. As an application, it is shown that bounded-error space-bounded one-clean qubit computation (DQC1) with postselection is equivalent in computational power to unbounded-error space-bounded probabilistic computation, and the computational supremacy of the bounded-error space-bounded DQC1 is interpreted in complexity-theoretic terms.


title: Curvature and the equivalence problem in sub-Riemannian geometry

abstract: These notes give an introduction to the equivalence problem of sub-Riemannian manifolds. We first introduce preliminaries in terms of connections, frame bundles and sub-Riemannian geometry. Then we arrive to the main aim of these notes, which is to give the description of the canonical grading and connection existing on sub-Riemann manifolds with constant symbol. These structures are exactly what is needed in order to determine if two manifolds are isometric. We give three concrete examples, which are Engel (2,3,4)-manifolds, contact manifolds and Cartan (2,3,5)-manifolds. These notes are an edited version of a lecture series given at the \href{https://conference.math.muni.cz/srni/}{42nd Winter school: Geometry and Physics}, Snr\'i, Check Republic, mostly based on other earlier work. However, the work on Engel (2,3,4)-manifolds is original research, and illustrate the important special case were our model has the minimal set of isometries.


title: Local time pushed mixed stopping and smooth fit for time-inconsistent stopping problems

abstract: We consider the game-theoretic approach to time-inconsistent stopping of a one-dimensional diffusion where the time-inconsistency is due to the presence of a non-exponential (weighted) discount function. In particular, we study (weak) equilibria for this problem in a novel class of mixed (i.e., randomized) stopping times based on a local time construction of the stopping intensity. For a general formulation of the problem we provide a verification theorem giving sufficient conditions for mixed (and pure) equilibria in terms of a set of variational inequalities, including a smooth fit condition. We apply the theory to prove the existence of (mixed) equilibria in a recently studied real options problem in which no pure equilibria exist.


title: Core-excited states of SF$_{6}$ probed with soft X-ray femtosecond transient absorption of vibrational wavepackets

abstract: A vibrational wavepacket in SF$_6$, created by impulsive stimulated Raman scattering with a few-cycle infrared pulse, is mapped onto five sulfur core-excited states using table-top soft X-ray transient absorption spectroscopy between 170-200 eV. The amplitudes of the X-ray energy shifts of the femtosecond oscillations depend strongly on the nature of the state. The prepared wavepacket is controlled with the pump laser intensity to probe the core-excited levels for various extensions of the S-F stretching motion. This allows the determination of the relative core-level potential energy gradients, in good agreement with TDDFT calculations. This experiment demonstrates a new means of characterizing core-excited potential energy surfaces.


title: Experimental tests of Lieb-Robinson bounds

abstract: Judging by the enormous body of work that it has inspired, Elliott Lieb and Derek Robinson's 1972 article on the "Finite Group Velocity of Quantum Spin Systems" can be regarded as a \emph{high-impact paper}, as research accountants say. But for more than 30 years this major contribution to quantum physics has remained pretty much confidential. Lieb and Robinson's work eventually found a large audience in the years 2000, with the rapid and concomitant development of quantum information theory and experimental platforms enabling the characterisation and manipulation of isolated quantum systems at the single-particle level. In this short review article, I will first remind the reader of the central result of Lieb and Robinson's work, namely the existence of a maximum group velocity for the propagation of information in non-relativistic quantum systems. I will then review the experiments that most closely relate to this finding, in the sense that they reveal how information propagates in specific -- yet "real" -- quantum systems. Finally, as an outlook, I will attempt to make a connection with the quantum version of the butterfly effect recently studied in chaotic quantum systems.


title: Experimental quantum simulation of non-Hermitian dynamical topological states using stochastic Schr\"odinger equation

abstract: Noise is ubiquitous in real quantum systems, leading to non-Hermitian quantum dynamics, and may affect the fundamental states of matter. Here we report in experiment a quantum simulation of the two-dimensional non-Hermitian quantum anomalous Hall (QAH) model using the nuclear magnetic resonance processor. Unlike the usual experiments using auxiliary qubits, we develop a stochastic average approach based on the stochastic Schr\"odinger equation to realize the non-Hermitian dissipative quantum dynamics, which has advantages in saving the quantum simulation sources and simplifies implementation of quantum gates. We demonstrate the stability of dynamical topology against weak noise, and observe two types of dynamical topological transitions driven by strong noise. Moreover, a region that the emergent topology is always robust regardless of the noise strength is observed. Our work shows a feasible quantum simulation approach for dissipative quantum dynamics with stochastic Schr\"odinger equation and opens a route to investigate non-Hermitian dynamical topological physics.