title: CO2 removal and 1.5{\deg}C: what, when, where, and how?

abstract: The international community aims to limit global warming to 1.5{\deg}C, but little progress has been made towards a global, cost-efficient, and fair climate mitigation plan to deploy carbon dioxide removal (CDR) at the Paris Agreement's scale. Here, we investigate how different CDR options - AR, BECCS, and DACCS - might be deployed to meet the Paris Agreement's CDR objectives. We find that international cooperation in climate mitigation policy is key for deploying the most cost-efficient CDR pathway - comprised of BECCS, mainly (74%), and AR (26%) -, allowing to take the most advantage of regional bio-geophysical resources and socio-economic factors, and time variations, and therefore minimising costs. Importantly, with international cooperation, the spatio-temporal evolution of the CDR pathway differs greatly from the socio-economically fair regional allocation of the Paris Agreement's CDR objectives. With limited, or no international cooperation, we find that the likelihood of delivering these CDR objectives decreases, as deploying CDR pathways becomes significantly more challenging and costly - particularly when leading to the deployment of DACCS. Moreover, we show that developing international cooperation policy instruments - such as an international market for negative emissions trading - can deliver, simultaneously, cost-efficient and equitable CDR at the Paris Agreement's scale, by incentivising participating nations to meet their share of the Paris Agreement's CDR objectives, whilst making up for the uneven distribution of CDR potentials across the world. Crucially, we conclude that international cooperation is imperative, as soon as possible, to preserve the feasibility and sustainability of future CDR pathways, and ensure that future generations do not bear the burden, increasingly costlier, of climate mitigation inaction.


title: Key interaction patterns in proteins revealed by cluster expansion of the partition function

abstract: The native conformation of structured proteins is stabilized by a complex network of interactions. We analyzed the elementary patterns that constitute such network and ranked them according to their importance in shaping protein sequence design. To achieve this goal, we employed a cluster expansion of the partition function in the space of sequences and evaluated numerically the statistical importance of each cluster. An important feature of this procedure is that it is applied to a dense, finite system. We found that patterns that contribute most to the partition function are cycles with even numbers of nodes, while cliques are typically detrimental. Each cluster also gives a contribute to the sequence entropy, which is a measure of the evolutionary designability of a fold. We compared the entropies associated with different interaction patterns to their abundances in the native structures of real proteins.


title: Gate-controlled skyrmion and domain wall chirality

abstract: Magnetic skyrmions are localized chiral spin textures, which offer great promise to store and process information at the nanoscale. In the presence of asymmetric exchange interactions, their chirality, which governs their dynamics, is generally considered as an intrinsic parameter set during the sample deposition. In this work, we experimentally demonstrate that a gate voltage can control this key parameter. We probe the chirality of skyrmions and chiral domain walls by observing the direction of their current-induced motion and show that a gate voltage can reverse it. This local and dynamical reversal of the chirality is due to a sign inversion of the interfacial Dzyaloshinskii-Moriya interaction that we attribute to ionic migration of oxygen under gate voltage. Micromagnetic simulations show that the chirality reversal is a continuous transformation, in which the skyrmion is conserved. This control of chirality with 2 - 3 V gate voltage can be used for skyrmion-based logic devices, yielding new functionalities.


title: Approximating the parallel transport of an induced connection

abstract: Efficient numerical methods to approximate the parallel transport operators of the induced connection on a sub-bundle of a vector bundle are presented. These methods are simpler than naive applications of a Runge--Kutta algorithm, and have accuracy up to order 4. They have the desirable property of being insensitive to choices of trivialisation of the sub-bundle. The methods were developed in order to solve a problem of computing skyrmions using the Atiyah--Manton--Sutcliffe and Atiyah--Drinfeld--Hitchin--Manin constructions, but are applicable to a broader range of problems in computational geometry.


title: Capacity Bounds for One-Bit MIMO Gaussian Channels with Analog Combining

abstract: The use of 1-bit analog-to-digital converters (ADCs) is seen as a promising approach to significantly reduce the power consumption and hardware cost of multiple-input multiple-output (MIMO) receivers. However, the nonlinear distortion due to 1-bit quantization fundamentally changes the optimal communication strategy and also imposes a capacity penalty to the system. In this paper, the capacity of a Gaussian MIMO channel in which the antenna outputs are processed by an analog linear combiner and then quantized by a set of zero threshold ADCs is studied. A new capacity upper bound for the zero threshold case is established that is tighter than the bounds available in the literature. In addition, we propose an achievability scheme which configures the analog combiner to create parallel Gaussian channels with phase quantization at the output. Under this class of analog combiners, an algorithm is presented that identifies the analog combiner and input distribution that maximize the achievable rate. Numerical results are provided showing that the rate of the achievability scheme is tight in the low signal-to-noise ratio (SNR) regime. Finally, a new 1-bit MIMO receiver architecture which employs analog temporal and spatial processing is proposed. The proposed receiver attains the capacity in the high SNR regime.


title: Change in Conceptual Modeling and Systems Reconfiguration

abstract: In this paper, we explore the notion of change in systems and software engineering, emphasizing its philosophical elucidation. Generally, it has been claimed that change is so pervasive in systems that it almost defeats description and analysis. In this article, we analyze change using the conceptual modeling technique called a thinging machine (TM), which reflects change in terms of the actions of creating, processing, releasing, transferring, and receiving things. We illustrated change in TM modeling with an example of a system s reconfiguration of business product handling designed using business process modeling notation (BPMN). Then we analyze the notion of change and compare its various definitions in philosophy. Specifically, we examine Zeno s paradox that involves how to account for change and continuity together in moving things. The problem is that we cannot assert that an arrow is actually moving when it has been shot from a bow because the arrow needs to be at a certain place at each point in time, which by definition cannot contain any duration at all. In our analysis of this problem, we convert the arrow trajectory into space units called thimacs. In the TM generic actions, two types of change are identified: state and progression (PROCESS) changes. Therefore, when an arrow flows to a TM machine that represents a trajectory space unit, it is rejected, causing it to bounce away to the outside. That is, the arrow is transferred, arrives, and is transferred back; therefore, the arrow is never accepted into a thimac in the trajectory at any moment. The result of such analysis seems to introduce a logical explanation for the notion of movement discussed in Zeno s puzzles.


title: Another Solution for Some Optimum Allocation Problem

abstract: We derive optimality conditions for the optimum sample allocation problem in stratified sampling, formulated as the determination of the fixed strata sample sizes that minimize the total cost of the survey, under the assumed level of variance of the stratified $\pi$ estimator of the population total (or mean) and one-sided upper bounds imposed on sample sizes in strata. In this context, we presume that the variance function is of some generic form that, in particular, covers the case of the simple random sampling without replacement design in strata. The optimality conditions mentioned above will be derived from the Karush-Kuhn-Tucker conditions. Based on the established optimality conditions, we provide a formal proof of the optimality of the existing procedure, termed here as LRNA, which solves the allocation problem considered. We formulate the LRNA in such a way that it also provides the solution to the classical optimum allocation problem (i.e. minimization of the estimator's variance under a fixed total cost) under one-sided lower bounds imposed on sample sizes in strata. In this context, the LRNA can be considered as a counterparty to the popular recursive Neyman allocation procedure that is used to solve the classical problem of an optimum sample allocation with added one-sided upper bounds. Ready-to-use R-implementation of the LRNA is available through our stratallo package, which is published on the Comprehensive R Archive Network (CRAN) package repository.


title: Improved proton-transfer barriers with van der Waals density functionals: Role of repulsive non-local correlation

abstract: Proton-transfer (PT) between organic complexes is a common and important biochemical process. Unfortunately, PT energy barriers are difficult to accurately predict using density functional theory (DFT); in particular, the generalized gradient approximation (GGA) tends to underestimate PT barriers. Moreover, PT typically occurs in environments where dispersion forces contribute to the cohesion of the system; thus, a suitable exchange-correlation functional should accurately describe both dispersion forces and PT barriers. This paper provides benchmark results for the PT barriers of several density functionals including several variants of the van der Waals density functional (vdWDF). The benchmark set comprises small organic molecules with inter- and intra-molecular PT. The results show that replacing GGA correlation with a fully non-local vdW-DF correlation increases the PT barriers, making it closer to the quantum chemical reference values. In contrast, including nonlocal correlations with the Vydrov-Voorhis (VV) method or dispersion-corrections at the DFT-D3 or the Tkatchenko-Scheffler (TS) level has barely any impact on the PT barriers. Hybrid functionals also increase and improve the energies and the best performance is provided by a hybrid version of the consistent-exchange van der Waals density functional vdW-DF-cx. For the formic acid dimer PT system, we analyzed the GGA exchange and non-local correlation contributions. The analysis shows that the repulsive part of the non-local correlation kernel plays a key role in the PT energy barriers predicted with vdW-DF.


title: Measurement of static light scattering of bio-particles

abstract: Light scattering by small particles is one of the most prevailing and non-invasive technique for examining the properties of particulate systems chiefly of biological origin. The sub-micron particles including the bio-particles were so chosen because of their importance in biology and biomedical sciences. Light scattering investigation from homogenous, pathogenic Pseudomonas aeruginosa and non-pathogenic Mycobacterium smegmatis was carried out at two different wavelength of incident light, by using an original designed and fabricated polar and azimuth-dependent light scattering setup. Theoretical scattering plots were generated by using T-matrix approach to validate our analyses. Simulations of light scattering of these particles were also carried out using a novel Monte- Carlo simulation technique. The relation between experimental, theoretical and simulated result is presented in this paper. We have studied Pseudomonas aeruginosa and Mycobacterium smegmatis, and attempted for prospect of observing its morphological property by using light scattering tool.


title: Influence of refractive index in light scattering measurements of biological particles

abstract: Investigations on diverse particulate matter can be carried out by non-invasive and non-destructive analytical means of light scattering technique. Exploration of small particles using this tool must address the concept of refractive index accurately. Interpretation of light scattering results for quantification of morphology of biological particles like viruses and bacterial cells can only be validated by exact evidence of its refractive index. Size and shape quantification of such particles by collecting information from the scattered light, was reported earlier by many researchers but parameter like refractive index was considered as a standard value employed from literature or selected as a median value of biological particles which are alike. A strong analysis is needed on inclusion of appropriate value of refractive index for revelation of light scattering results. This important perception is otherwise not considered strongly in similar works reported earlier. We primarily took an attempt to find the influence of refractive index in light scattering studies with allusion to biological particles like Staphylococcus aureus, Escherichia coli, Corona virus (SARS COV 2) etc.


title: Transformation cost spectrum for irregularly sampled time series

abstract: Irregularly sampled time series analysis is a common problem in various disciplines. Since conventional methods are not directly applicable to irregularly sampled time series, a common interpolation approach is used; however, this causes data distortion and consequently biases further analyses. We propose a method that yields a regularly sampled time series spectrum of costs with minimum information loss. Each time series in this spectrum is a stationary series and acts as a difference filter. The transformation costs approach derives the differences between consecutive and arbitrarily sized segments. After obtaining regular sampling, recurrence plot analysis is performed to distinguish regime transitions. The approach is applied to a prototypical model to validate its performance and to different palaeoclimate proxy data sets located around Africa to identify critical climate transition periods during the last 5 million years and their characteristic properties.


title: Ontology Matching Through Absolute Orientation of Embedding Spaces

abstract: Ontology matching is a core task when creating interoperable and linked open datasets. In this paper, we explore a novel structure-based mapping approach which is based on knowledge graph embeddings: The ontologies to be matched are embedded, and an approach known as absolute orientation is used to align the two embedding spaces. Next to the approach, the paper presents a first, preliminary evaluation using synthetic and real-world datasets. We find in experiments with synthetic data, that the approach works very well on similarly structured graphs; it handles alignment noise better than size and structural differences in the ontologies.


title: Negative-mass exciton polaritons induced by dissipative light-matter coupling in an atomically thin semiconductor

abstract: Dispersion engineering is a powerful and versatile tool that can vary the speed of light signals and induce negative-mass effects in the dynamics of particles and quasiparticles. Here, we show that dissipative coupling between bound electron-hole pairs (excitons) and photons in an optical microcavity can lead to the formation of exciton polaritons with an inverted dispersion of the lower polariton branch and hence a negative mass. We perform direct measurements of the anomalous dispersion in atomically thin (monolayer) WS$_2$ crystals embedded in planar microcavities and demonstrate that the propagation direction of the negative-mass polaritons is opposite to their momentum. Our study introduces a new concept of non-Hermitian dispersion engineering for exciton polaritons and opens a pathway for realising new phases of quantum matter in a solid state.


title: Checking HateCheck: a cross-functional analysis of behaviour-aware learning for hate speech detection

abstract: Behavioural testing -- verifying system capabilities by validating human-designed input-output pairs -- is an alternative evaluation method of natural language processing systems proposed to address the shortcomings of the standard approach: computing metrics on held-out data. While behavioural tests capture human prior knowledge and insights, there has been little exploration on how to leverage them for model training and development. With this in mind, we explore behaviour-aware learning by examining several fine-tuning schemes using HateCheck, a suite of functional tests for hate speech detection systems. To address potential pitfalls of training on data originally intended for evaluation, we train and evaluate models on different configurations of HateCheck by holding out categories of test cases, which enables us to estimate performance on potentially overlooked system properties. The fine-tuning procedure led to improvements in the classification accuracy of held-out functionalities and identity groups, suggesting that models can potentially generalise to overlooked functionalities. However, performance on held-out functionality classes and i.i.d. hate speech detection data decreased, which indicates that generalisation occurs mostly across functionalities from the same class and that the procedure led to overfitting to the HateCheck data distribution.


title: C-NMT: A Collaborative Inference Framework for Neural Machine Translation

abstract: Collaborative Inference (CI) optimizes the latency and energy consumption of deep learning inference through the inter-operation of edge and cloud devices. Albeit beneficial for other tasks, CI has never been applied to the sequence- to-sequence mapping problem at the heart of Neural Machine Translation (NMT). In this work, we address the specific issues of collaborative NMT, such as estimating the latency required to generate the (unknown) output sequence, and show how existing CI methods can be adapted to these applications. Our experiments show that CI can reduce the latency of NMT by up to 44% compared to a non-collaborative approach.


title: Confidence Score for Unsupervised Foreground Background Separation of Document Images

abstract: Foreground-background separation is an important problem in document image analysis. Popular unsupervised binarization methods (such as the Sauvola's algorithm) employ adaptive thresholding to classify pixels as foreground or background. In this work, we propose a novel approach for computing confidence scores of the classification in such algorithms. This score provides an insight of the confidence level of the prediction. The computational complexity of the proposed approach is the same as the underlying binarization algorithm. Our experiments illustrate the utility of the proposed scores in various applications like document binarization, document image cleanup, and texture addition.


title: Probing Fundamental Physics With Multi-Modal Cosmic Ray Events

abstract: The Horizon-T experiment in Tien Shan is based on the idea of measuring the time at which EAS disc passes the observation level with nanosecond accuracy. The detector system consists of ten charged particles registration points located at distances of up to several hundred meters from each other. The points are equipped with detectors based on registration of Cherenkov radiation in glass and registration of scintillation light in polystyrene. The detectors register the arrival times of charged particles at the observation level with a resolution of ~2 ns, as required to study the spatial and temporal characteristics of the EAS and the structure of the multi-modal events specifically. Over the period of the Horizon-T data taking since 2017 to present, a large number of multi-modal events were detected. The data has presented numerous challenges that show the direction towards the further development of the detector system and of the analysis methods and techniques that could be applied to these multi-modal events.


title: KCD: Knowledge Walks and Textual Cues Enhanced Political Perspective Detection in News Media

abstract: Political perspective detection has become an increasingly important task that can help combat echo chambers and political polarization. Previous approaches generally focus on leveraging textual content to identify stances, while they fail to reason with background knowledge or leverage the rich semantic and syntactic textual labels in news articles. In light of these limitations, we propose KCD, a political perspective detection approach to enable multi-hop knowledge reasoning and incorporate textual cues as paragraph-level labels. Specifically, we firstly generate random walks on external knowledge graphs and infuse them with news text representations. We then construct a heterogeneous information network to jointly model news content as well as semantic, syntactic and entity cues in news articles. Finally, we adopt relational graph neural networks for graph-level representation learning and conduct political perspective detection. Extensive experiments demonstrate that our approach outperforms state-of-the-art methods on two benchmark datasets. We further examine the effect of knowledge walks and textual cues and how they contribute to our approach's data efficiency.


abstract: Distributed-order time-fractional wave equations appear in the modeling of wave propagation in viscoelastic media. The material characteristics of the medium are modeled through constitutive functions or distributions in the distributed-order constitutive law. In this work we propose to take positive Radon measures for the constitutive "functions". First, we derive a thermodynamical restriction on the constitutive measures which is easy to check, and therefore suitable for applications. Then we prove that the setting with measures in combination with the derived thermodynamical restriction guarantee existence and uniqueness of solutions for the distributed-order fractional wave equation. We further discuss the support and regularity of the fundamental solution, and conclude with a discussion on wave velocities.


title: Characterizing nonclassical correlations of tensorizing states in a bilocal scenario

abstract: In the present paper, we attempt to address the question of "can tensorizing states have quantum advantages?". To answer this question, we exploit the notion of measurement-induced nonlocality (MIN) and advocate a fidelity based nonbilocal measure to capture the nonlocal effects of tensorizing states due to locally invariant von Neumann projective measurements. We show that the properties of the fidelity based nonbilocal measure are retrieved from that of MIN. Analytically, we evaluate the nonbilocal measure for any arbitrary pure state. The upper bounds of the nonbilocal measure based on fidelity are also obtained in terms of eigenvalues of correlation matrix. As an illustration, we have computed the nonbilocality for some popular input states.


title: Efficient tracking of team sport players with few game-specific annotations

abstract: One of the requirements for team sports analysis is to track and recognize players. Many tracking and reidentification methods have been proposed in the context of video surveillance. They show very convincing results when tested on public datasets such as the MOT challenge. However, the performance of these methods are not as satisfactory when applied to player tracking. Indeed, in addition to moving very quickly and often being occluded, the players wear the same jersey, which makes the task of reidentification very complex. Some recent tracking methods have been developed more specifically for the team sport context. Due to the lack of public data, these methods use private datasets that make impossible a comparison with them. In this paper, we propose a new generic method to track team sport players during a full game thanks to few human annotations collected via a semi-interactive system. Non-ambiguous tracklets and their appearance features are automatically generated with a detection and a reidentification network both pre-trained on public datasets. Then an incremental learning mechanism trains a Transformer to classify identities using few game-specific human annotations. Finally, tracklets are linked by an association algorithm. We demonstrate the efficiency of our approach on a challenging rugby sevens dataset. To overcome the lack of public sports tracking dataset, we publicly release this dataset at https://kalisteo.cea.fr/index.php/free-resources/. We also show that our method is able to track rugby sevens players during a full match, if they are observable at a minimal resolution, with the annotation of only 6 few seconds length tracklets per player.


title: Giant diffusion of nanomechanical rotors in a tilted washboard potential

abstract: We present an experimental realization of a biased optical periodic potential in the low friction limit. The noise-induced bistability between locked (torsional) and running (spinning) states in the rotational motion of a nanodumbbell is driven by an elliptically polarized light beam tilting the angular potential. By varying the gas pressure around the point of maximum intermittency, the rotational effective diffusion coefficient increases by more than 3 orders of magnitude over free-space diffusion. These experimental results are in agreement with a simple two-state model that is derived from the Langevin equation through using timescale separation. Our work provides a new experimental platform to study the weak thermal noise limit for diffusion in this system.


title: Development of a High Intensity Neutron Source at the European Spallation Source: The HighNESS project

abstract: The European Spallation Source (ESS), presently under construction in Lund, Sweden, is a multidisciplinary international laboratory that will operate the world's most powerful pulsed neutron source. Supported by a 3M Euro Research and Innovation Action within the EU Horizon 2020 program, a design study (HighNESS) is now underway to develop a second neutron source below the spallation target. Compared to the first source, located above the spallation target and designed for high cold and thermal brightness, the new source will provide higher intensity, and a shift to longer wavelengths in the spectral regions of cold (2 /- 20 {\AA}), very cold (VCN, 10 /- 120 {\AA}), and ultra cold (UCN, > 500 {\AA}) neutrons. The core of the second source will consist of a large liquid deuterium moderator to deliver a high flux of cold neutrons and to serve secondary VCN and UCN sources, for which different options are under study. The features of these new sources will boost several areas of condensed matter research and will provide unique opportunities in fundamental physics. Part of the HighNESS project is also dedicated to the development of future instruments that will make use of the new source and will complement the initial suite of instruments in construction at ESS. The HighNESS project started in October 2020. In this paper, the ongoing developments and the results obtained in the first year are described.


title: Transformation-Invariant Learning of Optimal Individualized Decision Rules with Time-to-Event Outcomes

abstract: In many important applications of precision medicine, the outcome of interest is time to an event (e.g., death, relapse of disease) and the primary goal is to identify the optimal individualized decision rule (IDR) to prolong survival time. Existing work in this area have been mostly focused on estimating the optimal IDR to maximize the We propose a new robust framework for estimating an optimal static or dynamic IDR with time-to-event outcomes based on an easy-to-interpret quantile criterion. The new method does not need to specify an outcome regression model and is robust for heavy-tailed distribution. The estimation problem corresponds to a nonregular M-estimation problem with both finite and infinite-dimensional nuisance parameters. Employing advanced empirical process techniques, we establish the statistical theory of the estimated parameter indexing the optimal IDR. Furthermore, we prove a novel result that the proposed approach can consistently estimate the optimal value function under mild conditions even when the optimal IDR is non-unique, which happens in the challenging setting of exceptional laws. We also propose a smoothed resampling procedure for inference. The proposed methods are implemented in the R-package QTOCen. We demonstrate the performance of the proposed new methods via extensive Monte Carlo studies and a real data application.restricted mean survival time in the population.


title: Identifying Ambiguous Similarity Conditions via Semantic Matching

abstract: Rich semantics inside an image result in its ambiguous relationship with others, i.e., two images could be similar in one condition but dissimilar in another. Given triplets like "aircraft" is similar to "bird" than "train", Weakly Supervised Conditional Similarity Learning (WS-CSL) learns multiple embeddings to match semantic conditions without explicit condition labels such as "can fly". However, similarity relationships in a triplet are uncertain except providing a condition. For example, the previous comparison becomes invalid once the conditional label changes to "is vehicle". To this end, we introduce a novel evaluation criterion by predicting the comparison's correctness after assigning the learned embeddings to their optimal conditions, which measures how much WS-CSL could cover latent semantics as the supervised model. Furthermore, we propose the Distance Induced Semantic COndition VERification Network (DiscoverNet), which characterizes the instance-instance and triplets-condition relations in a "decompose-and-fuse" manner. To make the learned embeddings cover all semantics, DiscoverNet utilizes a set module or an additional regularizer over the correspondence between a triplet and a condition. DiscoverNet achieves state-of-the-art performance on benchmarks like UT-Zappos-50k and Celeb-A w.r.t. different criteria.


title: GPSAF: A Generalized Probabilistic Surrogate-Assisted Framework for Constrained Single- and Multi-objective Optimization

abstract: Significant effort has been made to solve computationally expensive optimization problems in the past two decades, and various optimization methods incorporating surrogates into optimization have been proposed. Most research focuses on either exploiting the surrogate by defining a utility optimization problem or customizing an existing optimization method to use one or multiple approximation models. However, only a little attention has been paid to generic concepts applicable to different types of algorithms and optimization problems simultaneously. Thus this paper proposes a generalized probabilistic surrogate-assisted framework (GPSAF), applicable to a broad category of unconstrained and constrained, single- and multi-objective optimization algorithms. The idea is based on a surrogate assisting an existing optimization method. The assistance is based on two distinct phases, one facilitating exploration and another exploiting the surrogates. The exploration and exploitation of surrogates are automatically balanced by performing a probabilistic knockout tournament among different clusters of solutions. A study of multiple well-known population-based optimization algorithms is conducted with and without the proposed surrogate assistance on single- and multi-objective optimization problems with a maximum solution evaluation budget of 300 or less. The results indicate the effectiveness of applying GPSAF to an optimization algorithm and the competitiveness with other surrogate-assisted algorithms.


title: Reliable Wireless Networking via Soft-Source Information Combining

abstract: This paper puts forth a multi-stream networking paradigm, referred to as soft-source-information-combining (SSIC), to support wireless Internet of Things (IoT) applications with ultra-reliability requirements. For SSIC networking, an SSIC dispatcher at the source dispatches duplicates of packets over multiple streams, which may be established over different physical wireless networks. If a packet on a stream cannot be decoded due to wireless interference or noise, the decoder makes available the packet's soft information. An aggregator then combines the soft information of the duplicates to boost reliability. Of importance are two challenges: i) how to descramble the scrambled soft information from different streams to enable correct SSIC; ii) the construct of an SSIC dispatching and aggregation framework compatible with commercial network interface cards (NICs) and TCP/IP networks. To address the challenges, we put forth: i) a soft descrambling (SD) method to minimize the bit-error rate (BER) and packet-error rate (PER) at the SSIC's output; ii) an SSIC networking architecture readily deployable over today's TCP/IP networks without specialized NICs. For concept proving and experimentation, we realized an SSIC system over two Wi-Fi's physical paths in such a way that all legacy TCP/IP applications can enjoy the reliability brought forth by SSIC without modification. Experiments over our testbed corroborate the effectiveness of SSIC in lowering the packet delivery failure rate and the possibility of SSIC in providing 99.99% reliable packet delivery for short-range communication.


title: Similarity of materials and data-quality assessment by fingerprinting

abstract: Identifying similar materials, i.e., those sharing a certain property or feature, requires interoperable data of high quality. It also requires means to measure similarity. We demonstrate how a spectral fingerprint as a descriptor, combined with a similarity metric, can be used for establishing quantitative relationships between materials data, thereby serving multiple purposes. This concerns, for instance, the identification of materials exhibiting electronic properties similar to a chosen one. The same approach can be used for assessing uncertainty in data that potentially come from different sources. Selected examples show how to quantify differences between measured optical spectra or the impact of methodology and computational parameters on calculated properties, like the the density of states or excitonic spectra. Moreover, combining the same fingerprint with a clustering approach allows us to explore materials spaces in view of finding (un)expected trends or patterns. In all cases, we provide physical reasoning behind the findings of the automatized assessment of data.


title: The Power of Filling in Balanced Allocations

abstract: We introduce a new class of balanced allocation processes which are primarily characterized by ``filling'' underloaded bins. A prototypical example is the Packing process: At each round we only take one bin sample, if the load is below the average load, then we place as many balls until the average load is reached; otherwise, we place only one ball. We prove that for any process in this class the gap between the maximum and average load is $\mathcal{O}(\log n)$ w.h.p. for any number of balls $m\geq 1$. For the Packing process, we also provide a matching lower bound. Additionally, we prove that the Packing process is sample-efficient in the sense that the expected number of balls allocated per sample is strictly greater than one. Finally, we also demonstrate that the upper bound of $\mathcal{O}(\log n)$ on the gap can be extended to the Memory process studied by Mitzenmacher, Prabhakar and Shah (2002).


title: Improving Tokenisation by Alternative Treatment of Spaces

abstract: Tokenisation is the first step in almost all NLP tasks, and state-of-the-art transformer-based language models all use subword tokenisation algorithms to process input text. Existing algorithms have problems, often producing tokenisations of limited linguistic validity, and representing equivalent strings differently depending on their position within a word. We hypothesise that these problems hinder the ability of transformer-based models to handle complex words, and suggest that these problems are a result of allowing tokens to include spaces. We thus experiment with an alternative tokenisation approach where spaces are always treated as individual tokens. Specifically, we apply this modification to the BPE and Unigram algorithms. We find that our modified algorithms lead to improved performance on downstream NLP tasks that involve handling complex words, whilst having no detrimental effect on performance in general natural language understanding tasks. Intrinsically, we find our modified algorithms give more morphologically correct tokenisations, in particular when handling prefixes. Given the results of our experiments, we advocate for always treating spaces as individual tokens as an improved tokenisation method.


title: Deep Learning-Based Intra Mode Derivation for Versatile Video Coding

abstract: In intra coding, Rate Distortion Optimization (RDO) is performed to achieve the optimal intra mode from a pre-defined candidate list. The optimal intra mode is also required to be encoded and transmitted to the decoder side besides the residual signal, where lots of coding bits are consumed. To further improve the performance of intra coding in Versatile Video Coding (VVC), an intelligent intra mode derivation method is proposed in this paper, termed as Deep Learning based Intra Mode Derivation (DLIMD). In specific, the process of intra mode derivation is formulated as a multi-class classification task, which aims to skip the module of intra mode signaling for coding bits reduction. The architecture of DLIMD is developed to adapt to different quantization parameter settings and variable coding blocks including non-square ones, which are handled by one single trained model. Different from the existing deep learning based classification problems, the hand-crafted features are also fed into the intra mode derivation network besides the learned features from feature learning network. To compete with traditional method, one additional binary flag is utilized in the video codec to indicate the selected scheme with RDO. Extensive experimental results reveal that the proposed method can achieve 2.28%, 1.74%, and 2.18% bit rate reduction on average for Y, U, and V components on the platform of VVC test model, which outperforms the state-of-the-art works.


title: Deep-Learning-Based Identification of LPV Models for Nonlinear Systems

abstract: The Linear Parameter-Varying (LPV) framework provides a modeling and control design toolchain to address nonlinear (NL) system behavior via linear surrogate models. Despite major research effort on LPV data-driven modeling, a key shortcoming of the current identification theory is that often the scheduling variable is assumed to be a given measured signal in the data set. In case of identifying an LPV model of a NL system, the selection of the scheduling map, which describes the relation to the measurable scheduling signal, is put on the users' shoulder, with only limited supporting tools available. This choice however greatly affects the usability and complexity of the resulting LPV model. This paper presents a deep-learning-based approach to provide joint estimation of a scheduling map and an LPV state-space model of a NL system from input-output data, and has consistency guarantees under general innovation-type noise conditions. Its efficiency is demonstrated on a realistic identification problem.


title: "Am I Private and If So, how Many?" -- Using Risk Communication Formats for Making Differential Privacy Understandable

abstract: Mobility data is essential for cities and communities to identify areas for necessary improvement. Data collected by mobility providers already contains all the information necessary, but privacy of the individuals needs to be preserved. Differential privacy (DP) defines a mathematical property which guarantees that certain limits of privacy are preserved while sharing such data, but its functionality and privacy protection are difficult to explain to laypeople. In this paper, we adapt risk communication formats in conjunction with a model for the privacy risks of DP. The result are privacy notifications which explain the risk to an individual's privacy when using DP, rather than DP's functionality. We evaluate these novel privacy communication formats in a crowdsourced study. We find that they perform similarly to the best performing DP communications used currently in terms of objective understanding, but did not make our participants as confident in their understanding. We also discovered an influence, similar to the Dunning-Kruger effect, of the statistical numeracy on the effectiveness of some of our privacy communication formats and the DP communication format used currently. These results generate hypotheses in multiple directions, for example, toward the use of risk visualization to improve the understandability of our formats or toward adaptive user interfaces which tailor the risk communication to the characteristics of the reader.


title: Hidden unique possibilities of mathematical physics equations (Formalism of skew-symmetric forms)

abstract: It is shown that mathematical physics differential equations have properties that allow describing processes such as the structures emergence, discrete transitions, quantum jumps. The peculiarity is that such properties are hidden. They do not follow directly from the mathematical physics equations but are realized discretely in the solving process. This is due to the mathematical physics equations integrability, which, as shown, can be realized only discretely in the presence of any degrees of freedom. In this case, a transition occurs from the original coordinate space with a solution that is not a function (the solution derivatives do not compose a differential) to integrable structures with a solution that is a discrete function. It is the double solutions and spatial transitions that can describe the processes of the emergence of any structures or phenomena. Due to hidden properties, the mathematical physics equations have unique possibilities in describing physical processes and phenomena that cannot be described in the framework of other mathematical formalisms. Such results were obtained using skew-symmetric differential forms.


title: Transfer Attacks Revisited: A Large-Scale Empirical Study in Real Computer Vision Settings

abstract: One intriguing property of adversarial attacks is their "transferability" -- an adversarial example crafted with respect to one deep neural network (DNN) model is often found effective against other DNNs as well. Intensive research has been conducted on this phenomenon under simplistic controlled conditions. Yet, thus far, there is still a lack of comprehensive understanding about transferability-based attacks ("transfer attacks") in real-world environments. To bridge this critical gap, we conduct the first large-scale systematic empirical study of transfer attacks against major cloud-based MLaaS platforms, taking the components of a real transfer attack into account. The study leads to a number of interesting findings which are inconsistent to the existing ones, including: (1) Simple surrogates do not necessarily improve real transfer attacks. (2) No dominant surrogate architecture is found in real transfer attacks. (3) It is the gap between posterior (output of the softmax layer) rather than the gap between logit (so-called $\kappa$ value) that increases transferability. Moreover, by comparing with prior works, we demonstrate that transfer attacks possess many previously unknown properties in real-world environments, such as (1) Model similarity is not a well-defined concept. (2) $L_2$ norm of perturbation can generate high transferability without usage of gradient and is a more powerful source than $L_\infty$ norm. We believe this work sheds light on the vulnerabilities of popular MLaaS platforms and points to a few promising research directions.


title: Reconstruction of Videos Taken by a Non-Regular Sampling Sensor

abstract: Recently, it has been shown that a high resolution image can be obtained without the usage of a high resolution sensor. The main idea has been that a low resolution sensor is covered with a non-regular sampling mask followed by a reconstruction of the incomplete high resolution image captured this way. In this paper, a multi-frame reconstruction approach is proposed where a video is taken by a non-regular sampling sensor and fully reconstructed afterwards. By utilizing the temporal correlation between neighboring frames, the reconstruction quality can be further enhanced. Compared to a state-of-the-art single-frame reconstruction approach, this leads to a visually noticeable gain in PSNR of up to 1.19 dB on average.


title: Reducing Randomness of Non-Regular Sampling Masks for Image Reconstruction

abstract: Increasing spatial image resolution is an often required, yet challenging task in image acquisition. Recently, it has been shown that it is possible to obtain a high resolution image by covering a low resolution sensor with a non-regular sampling mask. Due to the masking, however, some pixel information in the resulting high resolution image is not available and has to be reconstructed by an efficient image reconstruction algorithm in order to get a fully reconstructed high resolution image. In this paper, the influence of different sampling masks with a reduced randomness of the non-regularity on the image reconstruction process is evaluated. Simulation results show that it is sufficient to use sampling masks that are non-regular only on a smaller scale. These sampling masks lead to a visually noticeable gain in PSNR compared to arbitrary chosen sampling masks which are non-regular over the whole image sensor size. At the same time, they simplify the manufacturing process and allow for efficient storage.


title: "Gettr-ing" Deep Insights from the Social Network Gettr

abstract: As yet another alternative social network, Gettr positions itself as the "marketplace of ideas" where users should expect the truth to emerge without any administrative censorship. We looked deep inside the platform by analyzing it's structure, a sample of 6.8 million posts, and the responses from a sample of 124 Gettr users we interviewed to see if this actually is the case. Administratively, Gettr makes a deliberate attempt to stifle any external evaluation of the platform as collecting data is marred with unpredictable and abrupt changes in their API. Content-wise, Gettr notably hosts pro-Trump content mixed with conspiracy theories and attacks on the perceived "left." It's social network structure is asymmetric and centered around prominent right-thought leaders, which is characteristic for all alt-platforms. While right-leaning users joined Gettr as a result of a perceived freedom of speech infringement by the mainstream platforms, left-leaning users followed them in numbers as to "keep up with the misinformation." We contextualize these findings by looking into the Gettr's user interface design to provide a comprehensive insight into the incentive structure for joining and competing for the truth on Gettr.


title: Reconstruction of images taken by a pair of non-regular sampling sensors using correlation based matching

abstract: Multi-view image acquisition systems with two or more cameras can be rather costly due to the number of high resolution image sensors that are required. Recently, it has been shown that by covering a low resolution sensor with a non-regular sampling mask and by using an efficient algorithm for image reconstruction, a high resolution image can be obtained. In this paper, a stereo image reconstruction setup for multi-view scenarios is proposed. A scene is captured by a pair of non-regular sampling sensors and by incorporating information from the adjacent view, the reconstruction quality can be increased. Compared to a state-of-the-art single-view reconstruction algorithm, this leads to a visually noticeable average gain in PSNR of 0.74 dB.


title: Declipping of Speech Signals Using Frequency Selective Extrapolation

abstract: The reconstruction of clipped speech signals is an important task in audio signal processing to achieve an enhanced audio quality for further processing. In this paper, Frequency Selective Extrapolation (FSE), which is commonly used for error concealment or the reconstruction of incomplete image data, is adapted to be able to restore audio signals which are distorted from clipping. For this, FSE generates a model of the signal as an iterative superposition of Fourier basis functions. Clipped samples can then be replaced by estimated samples from the model. The performance of the proposed algorithm is evaluated by using different speech test data sets. Compared to other state-of-the-art declipping algorithms, this leads to a maximum gain in SNR of up to 3:5 dB and an average gain of 1 dB.


title: Second harmonic generation at the edge of a two-dimensional electron gas

abstract: We show that driving a two-dimensional electron gas by an in-plane electric field oscillating at the frequency $\omega$ gives rise to an electric current at $2\omega$ flowing near the edge of the system. This current has both parallel and perpendicular to the edge components, which emit electromagnetic waves at $2\omega$ with different polarizations. We develop a microscopic theory of such an edge second harmonic generation and calculate the edge current at $2\omega$ in different regimes of electron transport and electric field screening. We also show that at high frequencies the spatial profile of the edge current contains oscillations caused by excitation of plasma waves.


title: Optimal Ratchet Potentials for Run-and-Tumble particles

abstract: Run-and-Tumble particles, mimicking the behaviour of microorganisms like E. coli, are a paradigmatic model of active matter. Due to self-propulsion, their random and undirected motion can be rectified in a ratchet potential. Using perturbative field theory, we determine the shape of the potential that produces the maximum particle current as a function of the particles' parameters.


title: Utility Functions for Human/Robot Interaction

abstract: In this paper, we place ourselves in the context of human robot interaction and address the problem of cognitive robot modelling. More precisely we are investigating properties of a utility-based model that will govern a robot's actions. The novelty of this approach lies in embedding the responsibility of the robot over the state of affairs into the utility model via a utility aggregation function. We describe desiderata for such a function and consider related properties.


title: Characterizing (non-)Markovianity through Fisher Information

abstract: A non-isolated physical system typically loses information to its environment, and when such loss is irreversible the evolution is said to be Markovian. Non-Markovian effects are studied by monitoring how information quantifiers, such as the distance between physical states, evolve in time. Here we show that the Fisher information metric emerges as a natural object to study in this context; we fully characterize the relation between its contractivity properties and Markovianity, both from the mathematical and operational point of view. We prove, both for classical and quantum dynamics, that Markovianity is equivalent to the monotonous contraction of the Fisher metric at all points of the set of states. At the same time, operational witnesses of non-Markovianity based on the dilation of the Fisher distance cannot, in general, detect all non-Markovian evolutions, unless specific physical postprocessing is applied to the dynamics. Finally, we show for the first time that non-Markovian dilations of Fisher distance between states at any time correspond to backflow of information about the initial state of the dynamics at time 0, via Bayesian retrodiction.


title: The impact of thermal noise on kink propagation through a heterogeneous system

abstract: The impact of thermal noise on kink motion through the curved region of the long Josephson junction is studied. On the basis of the Fokker-Planck equation the analytical formula that describes the probability of transmission of the kink over the potential barrier is proposed. The analytical results are compared with the simulations based on the field model.


title: Spin functional renormalization group for dimerized quantum spin systems

abstract: We investigate dimerized quantum spin systems using the spin functional renormalization group approach proposed by Krieg and Kopietz [Phys. Rev. B 99, 060403(R) (2019)] which directly focuses on the physical spin correlation functions and avoids the representation of the spins in terms of fermionic or bosonic auxiliary operators. Starting from decoupled dimers as initial condition for the renormalization group flow equations, we obtain the spectrum of the triplet excitations as well as the magnetization in the quantum paramagnetic, ferromagnetic, and thermally disordered phases at all temperatures. Moreover, we compute the full phase diagram of a weakly coupled dimerized spin system in three dimensions, including the correct mean field critical exponents at the two quantum critical points.


title: Hyper-holomorphic connections on vector bundles on hyper-K\"ahler manifolds

abstract: We study infinitesimal deformations of autodual and hyper-holomorphic connections on complex vector bundles on hyper-K\"ahler manifolds of arbitrary dimension. In particular, we describe the DG Lie algebra controlling this deformation problem. Moreover, we prove associative formality for derived endomorphisms of a holomorphic vector bundle admitting a projectively hyper-holomorphic connection.


title: Invariant Descriptors for Intrinsic Reflectance Optimization

abstract: Intrinsic image decomposition aims to factorize an image into albedo (reflectance) and shading (illumination) sub-components. Being ill-posed and under-constrained, it is a very challenging computer vision problem. There are infinite pairs of reflectance and shading images that can reconstruct the same input. To address the problem, Intrinsic Images in the Wild provides an optimization framework based on a dense conditional random field (CRF) formulation that considers long-range material relations. We improve upon their model by introducing illumination invariant image descriptors: color ratios. The color ratios and the reflectance intrinsic are both invariant to illumination and thus are highly correlated. Through detailed experiments, we provide ways to inject the color ratios into the dense CRF optimization. Our approach is physics-based, learning-free and leads to more accurate and robust reflectance decompositions.


title: A CRASH simulation of the contribution of binary stars to the epoch of reionization

abstract: We use a set of 3D radiative transfer simulations to study the effect that a large fraction of binary stars in galaxies during the epoch of reionization has on the physical properties of the intergalactic medium (i.e. the gas temperature and the ionization state of hydrogen and helium), on the topology of the ionized bubbles and on the 21 cm power spectra. Consistently to previous literature, we find that the inclusion of binary stars can speed up the reionization process of HI and HeI, while HeII reionization is still dominated by more energetic sources, especially accreting black holes. The earlier ionization attained with binary stars allows for more time for cooling and recombination, so that gas fully ionized by binary stars is typically colder than that ionized by single stars at any given redshift. With the same volume averaged ionization fraction, the inclusion of binary stars results in fewer small ionized bubbles and more large ones, with visible effects also on the large scales of the 21 cm power spectrum.


title: General Incremental Learning with Domain-aware Categorical Representations

abstract: Continual learning is an important problem for achieving human-level intelligence in real-world applications as an agent must continuously accumulate knowledge in response to streaming data/tasks. In this work, we consider a general and yet under-explored incremental learning problem in which both the class distribution and class-specific domain distribution change over time. In addition to the typical challenges in class incremental learning, this setting also faces the intra-class stability-plasticity dilemma and intra-class domain imbalance problems. To address above issues, we develop a novel domain-aware continual learning method based on the EM framework. Specifically, we introduce a flexible class representation based on the von Mises-Fisher mixture model to capture the intra-class structure, using an expansion-and-reduction strategy to dynamically increase the number of components according to the class complexity. Moreover, we design a bi-level balanced memory to cope with data imbalances within and across classes, which combines with a distillation loss to achieve better inter- and intra-class stability-plasticity trade-off. We conduct exhaustive experiments on three benchmarks: iDigits, iDomainNet and iCIFAR-20. The results show that our approach consistently outperforms previous methods by a significant margin, demonstrating its superiority.


title: Assessing the impact of soil moisture-temperature coupling on temperature extremes over the Indian region

abstract: While previous model sensitivity studies have mainly focused on discerning the soil moisture-precipitation feedback processes over the Indian region, the present study investigates the impact of soil moisture-temperature (SM-T) coupling on the temperature extremes (ExT) using the high-resolution (~60 km) model simulations. These simulations include the control and soil moisture (SM) sensitivity experiments (DRY-SM and WET-SM) initialized by perturbing (decreasing/increasing) SM from the historical (HIST: 1951-2010) and future 4K warming (FUT: 2051-2100) control runs. The analysis identifies the transitional regions of north-central India (NCI) as the hotspot of strong SM-T coupling. Over NCI, the HIST experiment shows an occurrence of 4-5 extreme events per year, with an average duration of 5-6 days per event and intensity exceeding 46oC. Whereas, FUT estimates indicate relatively severe, long-lasting, and more frequent extreme events. The SM sensitivity experiments reveal the significant influence of SM-T coupling on the ExT over NCI in both historical and future climates. We find that the DRY-SM results in significant enhancement of frequency, duration and intensity of ExT, in contrast to WET-SM. We note that the difference between DRY-SM and WET-SM 50-year return value of the block maxima GEV fit can reach upto 1.25oC and 3oC for historical and future climate, respectively. The enhanced (reduced) extreme temperature conditions in DRY-SM (WET-SM) simulation are caused by the intensification (abridgement) of sensible heat flux by limiting (intensifying) available total energy for evaporative cooling due to faster (slower) dissipation of positive soil moisture anomalies (also called as soil moisture memory). In addition, the influence of SM on ExT over NCI is found to be larger during the post-monsoon season as compared to the pre-monsoon and monsoon seasons.


title: Learning the Ordering of Coordinate Compounds and Elaborate Expressions in Hmong, Lahu, and Chinese

abstract: Coordinate compounds (CCs) and elaborate expressions (EEs) are coordinate constructions common in languages of East and Southeast Asia. Mortensen (2006) claims that (1) the linear ordering of EEs and CCs in Hmong, Lahu, and Chinese can be predicted via phonological hierarchies and (2) these phonological hierarchies lack a clear phonetic rationale. These claims are significant because morphosyntax has often been seen as in a feed-forward relationship with phonology, and phonological generalizations have often been assumed to be phonetically "natural". We investigate whether the ordering of CCs and EEs can be learned empirically and whether computational models (classifiers and sequence labeling models) learn unnatural hierarchies similar to those posited by Mortensen (2006). We find that decision trees and SVMs learn to predict the order of CCs/EEs on the basis of phonology, with DTs learning hierarchies strikingly similar to those proposed by Mortensen. However, we also find that a neural sequence labeling model is able to learn the ordering of elaborate expressions in Hmong very effectively without using any phonological information. We argue that EE ordering can be learned through two independent routes: phonology and lexical distribution, presenting a more nuanced picture than previous work. [ISO 639-3:hmn, lhu, cmn]


title: Bad metal and negative compressibility transitions in a two-band Hubbard model

abstract: We analyze the paramagnetic state of a two-band Hubbard model with finite Hund's coupling close to integer filling at $n=2$ in two spacial dimensions. Previously, a Mott metal-insulator transition was established at $n=2$ with a coexistence region of a metallic and a bad metal state in the vicinity of that integer filling. The coexistence region ends at a critical point beyond which a charge instability persists. Here we investigate the transition into negative electronic compressibility states for an extended filling range close to $n=2$ within a slave boson setup. We analyze the separate contributions from the (fermionic) quasiparticles and the (bosonic) multiparticle incoherent background and find that the total compressibility depends on a subtle interplay between the quasiparticle excitations and collective fields. Implementing a Blume-Emery-Griffiths model approach for the slave bosons, which mimics the bosonic fields by Ising-like pseudospins, we suggest a feedback mechanism between these fields and the fermionic degrees of freedom. We argue that the negative compressibility can be sustained for heterostructures of such strongly correlated planes and results in a large capacitance of these structures. The strong density dependence of these capacitances allows to tune them through small electronic density variations. Moreover, by resistive switching from a Mott insulating state to a metallic state through short electric pulses, transitions between fairly different capacitances are within reach.


title: Efficient scheme for realizing a multiplex-controlled phase gate with photonic qubits in circuit quantum electrodynamics

abstract: We propose an efficient scheme to implement a multiplex-controlled phase gate with multiple photonic qubits simultaneously controlling one target photonic qubit based on circuit quantum electrodynamics (QED). For convenience, we denote this multiqubit gate as MCP gate. The gate is realized by using a two-level coupler to couple multiple cavities. The coupler here is a superconducting qubit. This scheme is simple because the gate implementation requires only \textit{one step} of operation. In addition, this scheme is quite general because the two logic states of each photonic qubit can be encoded with a vacuum state and an arbitrary non-vacuum state (e.g., a Fock state, a superposition of Fock states, a cat state, or a coherent state, etc.) which is orthogonal or quasi-orthogonal to the vacuum state. The scheme has some additional advantages: Because only two levels of the coupler are used, i.e., no auxiliary levels are utilized, decoherence from higher energy levels of the coupler is avoided; the gate operation time does not depend on the number of qubits; and the gate is implemented deterministically because no measurement is applied. As an example, we numerically analyze the circuit-QED based experimental feasibility of implementing a three-qubit MCP gate with photonic qubits each encoded via a vacuum state and a cat state. The scheme can be applied to accomplish the same task in a wide range of physical system, which consists of multiple microwave or optical cavities coupled to a two-level coupler such as a natural or artificial atom.


title: POSTER: A Pyramid Cross-Fusion Transformer Network for Facial Expression Recognition

abstract: Facial expression recognition (FER) is an important task in computer vision, having practical applications in areas such as human-computer interaction, education, healthcare, and online monitoring. In this challenging FER task, there are three key issues especially prevalent: inter-class similarity, intra-class discrepancy, and scale sensitivity. While existing works typically address some of these issues, none have fully addressed all three challenges in a unified framework. In this paper, we propose a two-stream Pyramid crOss-fuSion TransformER network (POSTER), that aims to holistically solve all three issues. Specifically, we design a transformer-based cross-fusion method that enables effective collaboration of facial landmark features and image features to maximize proper attention to salient facial regions. Furthermore, POSTER employs a pyramid structure to promote scale invariance. Extensive experimental results demonstrate that our POSTER achieves new state-of-the-art results on RAF-DB (92.05%), FERPlus (91.62%), as well as AffectNet 7 class (67.31%) and 8 class (63.34%). The code is available at https://github.com/zczcwh/POSTER.


title: On the Effectiveness of Binary Emulation in Malware Classification

abstract: Malware authors are continuously evolving their code base to include counter-analysis methods that can significantly hinder their detection and blocking. While the execution of malware in a sandboxed environment may provide a lot of insightful feedback about what the malware actually does in a machine, anti-virtualisation and hooking evasion methods may allow malware to bypass such detection methods. The main objective of this work is to complement sandbox execution with the use of binary emulation frameworks. The core idea is to exploit the fact that binary emulation frameworks may quickly test samples quicker than a sandbox environment as they do not need to open a whole new virtual machine to execute the binary. While with this approach, we lose the granularity of the data that can be collected through a sandbox, due to scalability issues, one may need to simply determine whether a file is malicious or to which malware family it belongs. To this end, we record the API calls that are performed and use them to explore the efficacy of using them as features for binary and multiclass classification. Our extensive experiments with real-world malware illustrate that this approach is very accurate, achieving state-of-the art outcomes with a statistically robust set of classification experiments while simultaneously having a relatively low computational overhead compared to traditional sandbox approaches. In fact, we compare the binary analysis results with a commercial sandbox, and our classification outperforms it at the expense of the fine-grained results that a sandbox provides.


title: Predicting Berth Stay for Tanker Terminals: A Systematic and Dynamic Approach

abstract: Given the trend of digitization and increasing number of maritime transport, prediction of vessel berth stay has been triggered for requirements of operation research and scheduling optimization problem in the era of maritime big data, which takes a significant part in port efficiency and maritime logistics enhancement. This study proposes a systematic and dynamic approach of predicting berth stay for tanker terminals. The approach covers three innovative aspects: 1) Data source employed is multi-faceted, including cargo operation data from tanker terminals, time-series data from automatic identification system (AIS), etc. 2) The process of berth stay is decomposed into multiple blocks according to data analysis and information extraction innovatively, and practical operation scenarios are also developed accordingly. 3) The predictive models of berth stay are developed on the basis of prior data analysis and information extraction under two methods, including regression and decomposed distribution. The models are evaluated under four dynamic scenarios with certain designated cargoes among two different terminals. The evaluation results show that the proposed approach can predict berth stay with the accuracy up to 98.81% validated by historical baselines, and also demonstrate the proposed approach has dynamic capability of predicting berth stay among the scenarios. The model may be potentially applied for short-term pilot-booking or scheduling optimizations within a reasonable time frame for advancement of port intelligence and logistics efficiency.


title: Gone Quishing: A Field Study of Phishing with Malicious QR Codes

abstract: The COVID-19 pandemic enabled "quishing", or phishing with malicious QR codes, as they became a convenient go-between for sharing URLs, including malicious ones. To explore the quishing phenomenon, we conducted a 173-participant study where we used a COVID-19 digital passport sign-up trial with a malicious QR code as a pretext. We found that 67 % of the participants were happy to sign-up with their Google or Facebook credentials, 18.5% to create a new account, and only 14.5% to skip on the sign-up. Convenience was the single most cited factor for the willingness to yield participants' credentials. Reluctance of linking personal accounts with new services was the reason for creating a new account or skipping the registration. We also developed a Quishing Awareness Scale (QAS) and found a significant relationship between participants' QR code behavior and their sign-up choices: the ones choosing to sign-up with Facebook scored the lowest while the one choosing to skip the highest on average. We used our results to propose quishing awareness training guidelines and develop and test usable security indicators for warning users about the threat of quishing.


title: Games on AF-algebras

abstract: We analyze $\mathrm{C}^\ast$-algebras, particularly AF-algebras, and their $K_0$-groups in the context of the infinitary logic $\mathcal{L}_{\omega_1 \omega}$. Given two separable unital AF-algebras $A$ and $B$, and considering their $K_0$-groups as ordered unital groups, we prove that $K_0(A) \equiv_{\omega \cdot \alpha} K_0(B)$ implies $A \equiv_\alpha B$, where $M \equiv_\beta N$ means that $M$ and $N$ agree on all sentences of quantifier rank at most $\beta$. This implication is proved using techniques from Elliott's classification of separable AF-algebras, together with an adaptation of the Ehrenfeucht-Fra\"iss\'e game to the metric setting. We use moreover this result to build a family $\{ A_\alpha \}_{\alpha < \omega_1}$ of pairwise non-isomorphic separable simple unital AF-algebras which satisfy $A_\alpha \equiv_\alpha A_\beta$ for every $\alpha < \beta$. In particular, we obtain a set of separable simple unital AF-algebras of arbitrarily high Scott rank. Next, we give a partial converse to the aforementioned implication, showing that $A \otimes \mathcal{K} \equiv_{\omega + 2 \cdot \alpha +2} B \otimes \mathcal{K}$ implies $K_0(A) \equiv_\alpha K_0(B)$, for every unital $\mathrm{C}^\ast$-algebras $A$ and $B$.


title: Stochastic Gradient-based Fast Distributed Multi-Energy Management for an Industrial Park with Temporally-Coupled Constraints

abstract: Contemporary industrial parks are challenged by the growing concerns about high cost and low efficiency of energy supply. Moreover, in the case of uncertain supply/demand, how to mobilize delay-tolerant elastic loads and compensate real-time inelastic loads to match multi-energy generation/storage and minimize energy cost is a key issue. Since energy management is hardly to be implemented offline without knowing statistical information of random variables, this paper presents a systematic online energy cost minimization framework to fulfill the complementary utilization of multi-energy with time-varying generation, demand and price. Specifically to achieve charging/discharging constraints due to storage and short-term energy balancing, a fast distributed algorithm based on stochastic gradient with two-timescale implementation is proposed to ensure online implementation. To reduce the peak loads, an incentive mechanism is implemented by estimating users' willingness to shift. Analytical results on parameter setting are also given to guarantee feasibility and optimality of the proposed design. Numerical results show that when the bid-ask spread of electricity is small enough, the proposed algorithm can achieve the close-to-optimal cost asymptotically.


title: The Supersymmetric Neveu-Schwarz Branes of Non-Relativistic String Theory

abstract: We construct the basic Neveu-Schwarz (NS) brane solutions of non-relativistic string theory using longitudinal T-duality as a solution generating technique. Extending the NS background fields to a supergravity multiplet, we verify that all solutions we find are half-supersymmetric. The two perturbative solutions we find both have an interpretation as the background geometry outside a string-like object. Correspondingly, we refer to these non-Lorentzian backgrounds as winding string and unwound string solution. Whereas the winding string is part of the on-shell spectrum of non-relativistic string theory, the unwound string only makes sense off-shell where it mediates the instantaneous gravitational force. Seen from the nine-dimensional point of view, we find that the winding string solution is sourced by a non-relativistic massive particle and that the unwound string solution is sourced by a massless Galilean particle of zero colour and spin. We explain how these two string solutions fit into a discrete lightcone quantization of string theory. We shortly discuss the basic NS five-brane and Kaluza-Klein monopole solutions and show that they are both half-supersymmetric.


title: Single-level Adversarial Data Synthesis based on Neural Tangent Kernels

abstract: Abstract Generative adversarial networks (GANs) have achieved impressive performance in data synthesis and have driven the development of many applications. However, GANs are known to be hard to train due to their bilevel objective, which leads to the problems of convergence, mode collapse, and gradient vanishing. In this paper, we propose a new generative model called the generative adversarial NTK (GA-NTK) that has a single-level objective. The GA-NTK keeps the spirit of adversarial learning (which helps generate plausible data) while avoiding the training difficulties of GANs. This is done by modeling the discriminator as a Gaussian process with a neural tangent kernel (NTK-GP) whose training dynamics can be completely described by a closed-form formula. We analyze the convergence behavior of GA-NTK trained by gradient descent and give some sufficient conditions for convergence. We also conduct extensive experiments to study the advantages and limitations of GA-NTK and propose some techniques that make GA-NTK more practical.


title: FFT-based investigation of the shear stress distribution in face-centered cubic polycrystals

abstract: The onset of nonlinear effects in metals, such as plasticity and damage, is strongly influenced by the heterogeneous stress distribution at the grain level. This work is devoted to studying the local stress distribution of shear stresses resolved in the slip systems as the critical driving force for plastic deformations. Specific grain orientations with respect to load direction are investigated in the linear elastic regime and at incipient plastic deformations based on a large ensemble of microstructures. The elastic anisotropy of the single crystal is found to have a crucial influence on the scatter of the stress distribution, whereas the Young's modulus in the respective crystal direction governs the mean stress in the grain. It is further demonstrated that, for higher anisotropy, the shear stresses deviate from the normal distribution and are better approximated by a log-normal fit. Comparing the full-field simulations to the Maximum Entropy Method (MEM), reveals that the MEM provides an excellent prediction up to the second statistical moment in the linear elastic range. In a study on the spatial distribution of shear stresses, the grain boundary is identified as a region of pronounced stress fluctuations and as the starting point of yielding during the elastic-plastic transition.


title: Dynamic super-resolution in particle tracking problems

abstract: Particle tracking in biological imaging is concerned with reconstructing the trajectories, locations, or velocities of the targeting particles. The standard approach of particle tracking consists of two steps: first reconstructing statically the source locations in each time step, and second applying tracking techniques to obtain the trajectories and velocities. In contrast, the dynamic reconstruction seeks to simultaneously recover the source locations and velocities from all frames, which enjoys certain advantages. In this paper, we provide a rigorous mathematical analysis for the resolution limit of reconstructing source number, locations, and velocities by general dynamical reconstruction in particle tracking problems, by which we demonstrate the possibility of achieving super-resolution for the dynamic reconstruction. We show that when the location-velocity pairs of the particles are separated beyond certain distances (the resolution limits), the number of particles and the location-velocity pair can be stably recovered. The resolution limits are related to the cut-off frequency of the imaging system, signal-to-noise ratio, and the sparsity of the source. By these estimates, we also derive a stability result for a sparsity-promoting dynamic reconstruction. In addition, we further show that the reconstruction of velocities has a better resolution limit which improves constantly as the particles moving. This result is derived by an observation that the inherent cut-off frequency for the velocity recovery can be viewed as the total observation time multiplies the cut-off frequency of the imaging system, which may lead to a better resolution limit as compared to the one for each diffraction-limited frame. It is anticipated that this observation can inspire new reconstruction algorithms that improve the resolution of particle tracking in practice.


title: Floer homology and right-veering monodromy

abstract: We prove that the knot Floer complex of a fibered knot detects whether the monodromy of its fibration is right-veering. In particular, this leads to a purely knot Floer-theoretic characterization of tight contact structures, by the work of Honda, Kazez, and Matic. Our proof makes use of the relationship between the Heegaard Floer homology of mapping tori and the symplectic Floer homology of area-preserving surface diffeomorphisms. We describe applications of this work to Dehn surgeries and taut foliations.


title: A new endstation for extreme-ultraviolet spectroscopy of free clusters and nanodroplets

abstract: We present a new endstation for the AMOLine of the ASTRID2 synchrotron at Aarhus University, which combines a cluster and nanodroplet beam source with a velocity map imaging and time-of-flight spectrometer for coincidence imaging spectroscopy. Extreme-ultraviolet spectroscopy of free nanoparticles is a powerful tool for studying the photophysics and photochemistry of resonantly excited or ionized nanometer-sized condensed-phase systems. Here we demonstrate this capability by performing photoelectron-photoion coincidence (PEPICO) experiments with pure and doped superfluid helium nanodroplets. Different doping options and beam sources provide a versatile platform to generate various van der Waals clusters as well as He nanodroplets. We present a detailed characterization of the new setup and present examples of its use for measuring high-resolution yield spectra of charged particles, time-of-flight ion mass spectra, anion-cation coincidence spectra, multi-coincidence electron spectra and angular distributions. A particular focus of the research with this new endstation is on intermolecular charge and energy-transfer processes in heterogeneous nanosystems induced by valence-shell excitation and ionization.


title: Probing the spin dimensionality in single-layer CrSBr van der Waals heterostructures by magneto-transport measurements

abstract: Two-dimensional (2D) magnetic materials offer unprecedented opportunities for fundamental physics and applied research in spintronics and magnonics. Beyond the pioneering studies on 2D CrI3 and Cr2Ge2Te6, this emerging field has expanded to 2D antiferromagnets exhibiting different spin anisotropies and textures. Of particular interest is the layered metamagnet CrSBr, a relatively air-stable semiconductor formed by antiferromagnetically-coupled ferromagnetic layers (Tc~150 K) that can be exfoliated down to the single-layer. It presents a complex magnetic behavior with a dynamic magnetic crossover leading to a low-temperature hidden order below T*~40 K. Here, we inspect the magneto-transport properties of CrSBr vertical heterostructures in the 2D limit. Our results demonstrate the marked low-dimensional character of the ferromagnetic monolayer, with short-range correlations above Tc and an Ising-type in-plane anisotropy, being the spins spontaneously aligned along the easy-axis b below Tc. By applying moderate magnetic fields along a and c axes, a spin reorientation occurs, leading to a magnetoresistance enhancement below T*. In multilayers, a spin-valve behavior is observed, with negative magnetoresistance strongly enhanced along the three directions below T*. These results show that CrSBr monolayer/bilayer provides an ideal platform for studying and controlling field-induced phenomena in two-dimensions, offering new insights regarding 2D magnets and their integration into vertical spintronic devices.


title: Weakly K\"ahler hyperbolic manifolds and the Green--Griffiths--Lang conjecture

abstract: We introduce the notion of weakly K\"ahler hyperbolic manifold which generalizes that of K\"ahler hyperbolic manifold given in the early '90s by M. Gromov, and establish its basic features. We then investigate its spectral properties and show a spectral gap result (on a suitable modification). As applications, we prove that weakly K\"ahler hyperbolic manifolds are of general type and we study the geometry of their subvarieties and entire curves, verifying -- among other things -- various aspects of the Lang and the Green--Griffiths conjectures for this class of manifolds.


title: Quenching in Cosmic Sheets: Tracing the Impact of Large Scale Structure Collapse on the Evolution of Dwarf Galaxies

abstract: Dwarf galaxies are thought to quench primarily due to environmental processes most typically occurring in galaxy groups and clusters or around single, massive galaxies. However, at earlier epochs, ($5 < z < 2$), the collapse of large scale structure (forming Zel'dovich sheets and subsequently filaments of the cosmic web) can produce volume-filling accretion shocks which elevate large swaths of the intergalactic medium (IGM) in these structures to a hot ($T>10^6$ K) phase. We study the impact of such an event on the evolution of central dwarf galaxies ($5.5 < \log M_* < 8.5$) in the field using a spatially large, high resolution cosmological zoom simulation which covers the cosmic web environment between two protoclusters. We find that the shock-heated sheet acts as an environmental quencher much like clusters and filaments at lower redshift, creating a population of quenched, central dwarf galaxies. Even massive dwarfs which do not quench are affected by the shock, with reductions to their sSFR and gas accretion. This process can potentially explain the presence of isolated quenched dwarf galaxies, and represents an avenue of pre-processing, via which quenched satellites of bound systems quench before infall.


title: Identifying Experts in Question & Answer Portals: A Case Study on Data Science Competencies in Reddit

abstract: The irreplaceable key to the triumph of Question & Answer (Q&A) platforms is their users providing high-quality answers to the challenging questions posted across various topics of interest. From more than a decade, the expert finding problem attracted much attention in information retrieval research. Based on the encountered gaps in the expert identification across several Q&A portals, we inspect the feasibility of identifying data science experts in Reddit. Our method is based on the manual coding results where two data science experts labelled not only expert and non-expert comments, but also out-of-scope comments, which is a novel contribution to the literature, enabling the identification of more groups of comments across web portals. We present a semi-supervised approach which combines 1,113 labelled comments with 100,226 unlabelled comments during training. The proposed model uses the activity behaviour of every user, including Natural Language Processing (NLP), crowdsourced and user feature sets. We conclude that the NLP and user feature sets contribute the most to the better identification of these three classes. It means that this method can generalise well within the domain. Finally, we make a novel contribution by presenting different types of users in Reddit, which opens many future research directions.


title: Seeded graph matching for the correlated Gaussian Wigner model via the projected power method

abstract: In the \emph{graph matching} problem we observe two graphs $G,H$ and the goal is to find an assignment (or matching) between their vertices such that some measure of edge agreement is maximized. We assume in this work that the observed pair $G,H$ has been drawn from the Correlated Gaussian Wigner (CGW) model -- a popular model for correlated weighted graphs -- where the entries of the adjacency matrices of $G$ and $H$ are independent Gaussians and each edge of $G$ is correlated with one edge of $H$ (determined by the unknown matching) with the edge correlation described by a parameter $\sigma\in [0,1)$. In this paper, we analyse the performance of the \emph{projected power method} (PPM) as a \emph{seeded} graph matching algorithm where we are given an initial partially correct matching (called the seed) as side information. We prove that if the seed is close enough to the ground-truth matching, then with high probability, PPM iteratively improves the seed and recovers the ground-truth matching (either partially or exactly) in $\mathcal{O}(\log n)$ iterations. Our results prove that PPM works even in regimes of constant $\sigma$, thus extending the analysis in (Mao et al. 2023) for the sparse Correlated Erdos-Renyi(CER) model to the (dense) CGW model. As a byproduct of our analysis, we see that the PPM framework generalizes some of the state-of-art algorithms for seeded graph matching. We support and complement our theoretical findings with numerical experiments on synthetic data.


title: R.E. Bruck, proof mining and a rate of asymptotic regularity for ergodic averages in Banach spaces

abstract: We analyze a proof of Bruck to obtain an explicit rate of asymptotic regularity for Ces\`aro means in uniformly convex Banach spaces. Our rate will only depend on a norm bound and a modulus $\eta$ of uniform convexity. One ingredient for the proof by Bruck is a result of Pisier, which shows that every uniformly convex (in fact every uniformly nonsquare) Banach space has some Rademacher type $q>1$ with a suitable constant $C_q$. We explicitly determine $q$ and $C_q$, which only depend on the single value $\eta(1)$ of our modulus. Beyond these specific results, we summarize how work of Bruck has inspired developments in the proof mining program, which applies tools from logic to obtain results in various areas of mathematics.


title: Dynamical Mahler Measure: A survey and some recent results

abstract: We study the dynamical Mahler measure of multivariate polynomials and present dynamical analogues of various results from the classical Mahler measure as well as examples of formulas allowing the computation of the dynamical Mahler measure in certain cases. We discuss multivariate analogues of dynamical Kronecker's Lemma and present some improvements on the result for two variables due to Carter, Lal\'in, Manes, Miller, and Mocz.


title: Huisken-Yau-type uniqueness for area-constrained Willmore spheres

abstract: Let $(M,g)$ be a Riemannian $3$-manifold that is asymptotic to Schwarzschild. We study the existence of large area-constrained Willmore spheres $\Sigma \subset M$ with non-negative Hawking mass and inner radius $\rho$ dominated by the area radius $\lambda$. If the scalar curvature of $(M,g)$ is non-negative, we show that no such surfaces with $\log \lambda \ll \rho$ exist. This answers a question of G. Huisken.


title: Linking atmospheric chemistry of the hot Jupiter HD 209458b to its formation location through infrared transmission and emission spectra

abstract: The elemental ratios of carbon, nitrogen, and oxygen in the atmospheres of hot Jupiters may hold clues to their formation locations in the protostellar disc. In this work, we adopt gas phase chemical abundances of C, N and O from several locations in a disc chemical kinetics model as sources for the envelope of the hot Jupiter HD 209458b and evolve the planet's atmospheric composition using a 1D chemical kinetics model, treating both vertical mixing and photochemistry. We consider two atmospheric pressure-temperature profiles, one with and one without a thermal inversion. From each of the resulting 32 atmospheric composition profiles, we find that the molecules CH4, NH3, HCN, and C2H2 are more prominent in the atmospheres computed using a realistic non-inverted P-T profile in comparison to a prior equilibrium chemistry based work which used an analytical P-T profile. We also compute the synthetic transmission and emission spectra for these atmospheres and find that many spectral features vary with the location in the disc where the planet's envelope was accreted. By comparing with the species detected using the latest high-resolution ground-based observations, our model suggests HD 209458b could have accreted most of its gas between the CO2 and CH4 icelines with a super solar C/O ratio from its protostellar disc, which in turn directly inherited its chemical abundances from the protostellar cloud. Finally, we simulate observing the planet with the James Webb Space Telescope (JWST) and show that differences in spectral signatures of key species can be recognized. Our study demonstrates the enormous importance of JWST in providing new insights into hot Jupiter's formation environments.


title: Finding a Winning Strategy for Wordle is NP-complete

abstract: In this paper, we give a formal definition of the popular word-guessing game Wordle. We show that, in general, determining if a given Wordle instance admits a winning strategy is NP-complete. We also show that given a Wordle instance of size $N$, a winning strategy that uses $g$ guesses in the worst case (if any) can be found in time $N^{O(g)}$.


title: Improving LSHADE by means of a pre-screening mechanism

abstract: Evolutionary algorithms have proven to be highly effective in continuous optimization, especially when numerous fitness function evaluations (FFEs) are possible. In certain cases, however, an expensive optimization approach (i.e. with relatively low number of FFEs) must be taken, and such a setting is considered in this work. The paper introduces an extension to the well-known LSHADE algorithm in the form of a pre-screening mechanism (psLSHADE). The proposed pre-screening relies on the three following components: a specific initial sampling procedure, an archive of samples, and a global linear meta-model of a fitness function that consists of 6 independent transformations of variables. The pre-screening mechanism preliminary assesses the trial vectors and designates the best one of them for further evaluation with the fitness function. The performance of psLSHADE is evaluated using the CEC2021 benchmark in an expensive scenario with an optimization budget of 10^2-10^4 FFEs per dimension. We compare psLSHADE with the baseline LSHADE method and the MadDE algorithm. The results indicate that with restricted optimization budgets psLSHADE visibly outperforms both competitive algorithms. In addition, the use of the pre-screening mechanism results in faster population convergence of psLSHADE compared to LSHADE.


title: Collective excitation and decay of waveguide-coupled atoms: from timed Dicke states to inverted ensembles

abstract: The collective absorption and emission of light by an ensemble of atoms is at the heart of many fundamental quantum optical effects and the basis for numerous applications. However, beyond weak excitation, both experiment and theory become increasingly challenging. Here, we explore the regimes from weak excitation to inversion with ensembles of up to one thousand atoms that are trapped and optically interfaced using the evanescent field surrounding an optical nanofiber. We realize strong inversion, with about 80% of the atoms being excited, and study their subsequent radiative decay into the guided modes. The data is very well described by a simple model that assumes a cascaded interaction of the guided light with the atoms. Our results contribute to the fundamental understanding of the collective interaction of light and matter and are relevant for applications ranging from quantum memories to sources of nonclassical light to optical frequency standards.


title: Linear perturbations of Einstein-Gauss-Bonnet black holes

abstract: We study linear perturbations about non rotating black hole solutions in scalar-tensor theories, more specifically Horndeski theories. We consider two particular theories that admit known hairy black hole solutions. The first one, Einstein-scalar-Gauss-Bonnet theory, contains a Gauss-Bonnet term coupled to a scalar field, and its black hole solution is given as a perturbative expansion in a small parameter that measures the deviation from general relativity. The second one, known as 4-dimensional-Einstein-Gauss-Bonnet theory, can be seen as a compactification of higher-dimensional Lovelock theories and admits an exact black hole solution. We study both axial and polar perturbations about these solutions and write their equations of motion as a first-order (radial) system of differential equations, which enables us to study the asymptotic behaviours of the perturbations at infinity and at the horizon following an algorithm we developed recently. For the axial perturbations, we also obtain effective Schr\"odinger-like equations with explicit expressions for the potentials and the propagation speeds. We see that while the Einstein-scalar-Gauss-Bonnet solution has well-behaved perturbations, the solution of the 4-dimensional-Einstein-Gauss-Bonnet theory exhibits unusual asymptotic behaviour of its perturbations near its horizon and at infinity, which makes the definition of ingoing and outgoing modes impossible. This indicates that the dynamics of these perturbations strongly differs from the general relativity case and seems pathological.


title: Semidefinite programming bounds for complex spherical codes

abstract: A complex spherical code is a finite subset on the unit sphere in $\mathbb{C}^d$. A fundamental problem on complex spherical codes is to find upper bounds for those with prescribed inner products. In this paper, we determine the irreducible decomposition under the action of the one-point stabilizer of the unitary group $U(d)$ on the polynomial ring $\mathbb{C}[z_1\ldots,z_d,\bar{z}_1,\ldots,\bar{z}_d]$ in order to obtain the semidefinite programming bounds for complex spherical codes.


title: Fast metric embedding into the Hamming cube

abstract: We consider the problem of embedding a subset of $\mathbb{R}^n$ into a low-dimensional Hamming cube in an almost isometric way. We construct a simple, data-oblivious, and computationally efficient map that achieves this task with high probability: we first apply a specific structured random matrix, which we call the double circulant matrix; using that matrix requires linear storage and matrix-vector multiplication can be performed in near-linear time. We then binarize each vector by comparing each of its entries to a random threshold, selected uniformly at random from a well-chosen interval. We estimate the number of bits required for this encoding scheme in terms of two natural geometric complexity parameters of the set - its Euclidean covering numbers and its localized Gaussian complexity. The estimate we derive turns out to be the best that one can hope for - up to logarithmic terms. The key to the proof is a phenomenon of independent interest: we show that the double circulant matrix mimics the behavior of a Gaussian matrix in two important ways. First, it maps an arbitrary set in $\mathbb{R}^n$ into a set of well-spread vectors. Second, it yields a fast near-isometric embedding of any finite subset of $\ell_2^n$ into $\ell_1^m$. This embedding achieves the same dimension reduction as a Gaussian matrix in near-linear time, under an optimal condition - up to logarithmic factors - on the number of points to be embedded. This improves a well-known construction due to Ailon and Chazelle.


title: Rotating cosmologies: classical and quantum

abstract: We revisit spatially flat, anisotropic cosmologies within the framework of mini-superspace. Putting special emphasis on the symmetries of the mini-superspace action and on the associated conservation laws, we unveil a new class of rotating cosmologies driven by solid matter. Their rotating is physical, in that it is characterized in an invariant way in terms of a conserved angular momentum. Along the way, we confirm the results of Bartolo et al. regarding the slow decay of anisotropies for solid inflation. We then use our minisuperspace approach as a laboratory to address certain puzzles of quantum cosmology-among these, how to characterize the spacetime symmetries of a quantum state at the level of the wavefunction of the universe. For the case of a solid driven cosmology, this question seems better defined than in more standard cases. Other questions remain unanswered, though; in particular, the general question of how to operate a minisuperspace-like truncation of degrees of freedom that is consistent at the quantum level.