title: Intrinsic Entropy of Squeezed Quantum Fields and Nonequilibrium Quantum Dynamics of Cosmological Perturbations

abstract: Density contrasts in the universe are governed by scalar cosmological perturbations which, when expressed in terms of gauge-invariant variables, contain a classical component from scalar metric perturbations and a quantum component from inflaton field fluctuations. It has long been known that the effect of cosmological expansion on a quantum field amounts to squeezing. Thus the entropy of cosmological perturbations can be studied by treating them in the framework of squeezed quantum systems. Entropy of a free quantum field is a seemingly simple yet subtle issue. In this paper, as different from previous treatments, we tackle this issue with a fully developed nonequilibrium quantum field theory formalism for such systems. We compute the covariance matrix elements of the parametric quantum field and solve for the evolution of the density matrix elements and the Wigner functions, and, from them, derive the von Neumann entropy. We then show explicitly why the entropy for the squeezed yet closed system is zero, but is proportional to the particle number produced upon coarse-graining out the correlation between the particle pairs. We also construct the bridge between our quantum field-theoretic results and those using probability distribution of classical stochastic fields by earlier authors. From this we can see the clear advantages of the quantum field-theoretical approach over the stochastic classical field treatment since the latter misses out in some important quantum properties, such as entanglement and coherence, of the quantum field.


title: Mismatched No More: Joint Model-Policy Optimization for Model-Based RL

abstract: Many model-based reinforcement learning (RL) methods follow a similar template: fit a model to previously observed data, and then use data from that model for RL or planning. However, models that achieve better training performance (e.g., lower MSE) are not necessarily better for control: an RL agent may seek out the small fraction of states where an accurate model makes mistakes, or it might act in ways that do not expose the errors of an inaccurate model. As noted in prior work, there is an objective mismatch: models are useful if they yield good policies, but they are trained to maximize their accuracy, rather than the performance of the policies that result from them. In this work, we propose a single objective for jointly training the model and the policy, such that updates to either component increase a lower bound on expected return. To the best of our knowledge, this is the first lower bound for model-based RL that holds globally and can be efficiently estimated in continuous settings; it is the only lower bound that mends the objective mismatch problem. A version of this bound becomes tight under certain assumptions. Optimizing this bound resembles a GAN: a classifier distinguishes between real and fake transitions, the model is updated to produce transitions that look realistic, and the policy is updated to avoid states where the model predictions are unrealistic. Numerical simulations demonstrate that optimizing this bound yields reward maximizing policies and yields dynamics that (perhaps surprisingly) can aid in exploration. We also show that a deep RL algorithm loosely based on our lower bound can achieve performance competitive with prior model-based methods, and better performance on certain hard exploration tasks.


title: Crossover behavior in the magnetoresistance of thin flakes of the topological material ZrTe5

abstract: ZrTe5 is a layered material that exhibits intricate topological effects. Intensive theoretically and experimental efforts have been devoted to try to understand the physics in this materials. In this paper the temperature dependent magneto-transport properties of ZrTe5 thin flakes are investigated. A characteristic temperature T* is observed in the temperature dependence of three different types of magnetoresistance simultaneously, which are the saturated Hall anomaly, the chiral anomaly and the longitudinal magnetoresistance. Furthermore, the value of T* decreases monotonically from 200K to 160K with increasing thickness of the ZrTe5 thin flakes from 42nm to 89nm. Temperature induced topological phase transitions are attributed to the cause of such anomaly in the three types of magnetoresistance at T*. Our findings provide a multi-parameter indicator for the emergence of topological phase transition in ZrTe5 and could be extended to the study of other topological materials. The temperature dependence of the three types of magnetoresistance also shed light on the role of anomalous Hall Effect in the transport properties of ZrTe5.


title: Sharp bounds for the spherical restriction Fourier transform in classical Lebesgue-Riesz and Grand Lebesgue spaces for ordinary and radial functions

abstract: We derive bilateral estimates for the constants appearing in the Fourier transform restricted theorems on the Euclidean sphere for the ordinary and especially radial functions belonging to the Lebesgue-Riesz spaces as well as belonging to the Grand Lebesgue Spaces. We obtain an exact estimate for the norm of the restriction Fourier transform operator acting on the radial functions.


title: Tail estimations for functions belonging to Grand Lebesgue Spaces builded on the set with infinite measure

abstract: We establish the bilateral exact reciprocal interrelations between a tail behavior of a measurable functions and its norm in the suitable Grand Lebesgue Space (GLS) as well as Orlicz one, builded over the set with infinite measure. We bring also some examples in order to illustrate the exactness of offered estimates.


title: Classical non-linear operators in Grand Lebesgue Spaces

abstract: We study in this short report the boundedness of classical non-linear operators: Nemytskii, Urysohn, Hammerstein acting from one Grand Lebesgue Space to another one, and deduce some its upper norm estimates. We bring also some examples to illustrate the exactness of our estimates.


title: Quantum Blockchain Based on Dimensional Lifting Generalized Gram-Schmidt Procedure

abstract: The advancement of quantum computers undermines the security of classical blockchain, necessitating either a post-quantum upgrade of the existing architecture or creation of an inherently quantum blockchain. Here we propose a practically realizable model of a fully quantum blockchain based on a generalized Gram-Schmidt procedure utilizing dimensional lifting. In this model, information of transactions stored in a multi-qubit state are subsequently encoded using the generalized Gram-Schmidt process. The chain is generated as a result of the reliance of orthogonalized state on the sequence of states preceding it. Various forking scenarios and their countermeasures are considered for the proposed model. It is shown to be secure even against quantum computing attacks using the no-cloning theorem and non-democratic nature of Generalized Gram-Schmidt orthogonalization. Finally, we outline a framework for a quantum token built on the same architecture as our blockchain.


title: WS2 Monolayers Coupled to Hyperbolic Metamaterial Nanoantennas: Broad Implications for Light-Matter-Interaction Applications

abstract: Due to their atomic layer thickness, direct bandgap, mechanical robustness and other superior properties, transition metal dichalcogenides (TMDCs) monolayers are considered as an attractive alternative to graphene for diverse optoelectronic applications. Yet, due to the very nature of atomic layer thickness, the interaction of light with TMDCs is limited, hindering overall efficiency for optical applications. Therefore, in order for TMDCs to become a true candidate as the material of choice for optoelectronics, there is a need for a mechanism which significantly enhances the interaction of light with TMDCs. In this paper, we demonstrate about 30-fold enhancement of the overall photoluminescence emission intensity from a WS2 monolayer, by its coupling to a hyperbolic metamaterial nanoantenna array. This enhancement corresponds to nearly 300-fold enhancement per individual nanoantenna. This overall enhancement is achieved by the combination of enhancing the excitation (absorption) efficiency, alongside with enhancing the radiative decay rate. Our result paves the way for the use of TMDCs in diverse optoelectronic applications, ranging from light sources and photodetectors to saturated absorbers and nonlinear media.


title: Quadratic Regularization of Bilevel Pricing Problems and Application to Electricity Retail Markets

abstract: We consider the profit-maximization problem solved by an electricity retailer who aims at designing a menu of contracts. This is an extension of the unit-demand envy-free pricing problem: customers aim to choose a contract maximizing their utility based on a reservation bill and multiple price coefficients (attributes). A basic approach supposes that the customers have deterministic utilities; then, the response of each customer is highly sensitive to price since it concentrates on the best offer. A second classical approach is to consider logit model to add a probabilistic behavior in the customers' choices. To circumvent the intrinsic instability of the former and the resolution difficulties of the latter, we introduce a quadratically regularized model of customer's response, which leads to a quadratic program under complementarity constraints (QPCC). This allows to robustify the deterministic model, while keeping a strong geometrical structure. In particular, we show that the customer's response is governed by a polyhedral complex, in which every polyhedral cell determines a set of contracts which is effectively chosen. Moreover, the deterministic model is recovered as a limit case of the regularized one. We exploit these geometrical properties to develop a pivoting heuristic, which we compare with implicit or non-linear methods from bilevel programming, showing the effectiveness of the approach. Throughout the paper, the electricity retailer problem is our guideline, and we present a numerical study on this application case.


title: Generalization of Weinberg's Compositeness Relations

abstract: We generalize the time-honored Weinberg's compositeness relations by including the range corrections through considering a general form factor. In Weinberg's derivation, he considered the effective range expansion up to $\mathcal{O}(p^2)$ and made two additional approximations: neglecting the non-pole term in the Low equation; approximating the form factor by a constant. We lift the second approximation, and work out an analytic expression for the form factor. For a positive effective range, the form factor is of a single-pole form. An integral representation of the compositeness is obtained and is expected to have a smaller uncertainty than that derived from Weinberg's relations. We also establish an exact relation between the wave function of a bound state and the phase of the scattering amplitude neglecting the non-pole term. The deuteron is analyzed as an example, and the formalism can be applied to other cases where range corrections are important.


title: Schwarz type lemmas and their applications in Banach spaces

abstract: The main purpose of this paper is to develop some methods to investigate the Schwarz type lemmas of holomorphic mappings and pluriharmonic mappings in Banach spaces. Initially, we extend the classical Schwarz lemmas of holomorphic mappings to Banach spaces, and then we apply these extensions to establish a sharp Bloch type theorem for pluriharmonic mappings on homogeneous unit balls of $\C^n$ and to obtain some sharp boundary Schwarz type lemmas for holomorphic mappings in Banach spaces. Furthermore, we improve and generalize the classical Schwarz lemmas of planar harmonic mappings into the sharp forms of Banach spaces, and present some applications to sharp boundary Schwarz type lemmas for pluriharmonic mappings in Banach spaces. Additionally, using a relatively simple method of proof, we prove some sharp Schwarz-Pick type estimates of pluriharmonic mappings in JB$^*$-triples, and the obtained results provide the improvements and generalizations of the corresponding results in \cite{CH20}.


title: Posture Recognition in the Critical Care Settings using Wearable Devices

abstract: Low physical activity levels in the intensive care units (ICU) patients have been linked to adverse clinical outcomes. Therefore, there is a need for continuous and objective measurement of physical activity in the ICU to quantify the association between physical activity and patient outcomes. This measurement would also help clinicians evaluate the efficacy of proposed rehabilitation and physical therapy regimens in improving physical activity. In this study, we examined the feasibility of posture recognition in an ICU population using data from wearable sensors.


title: Visibility Reasoning for Concurrent Snapshot Algorithms

abstract: Visibility relations have been proposed by Henzinger et al. as an abstraction for proving linearizability of concurrent algorithms that obtains modular and reusable proofs. This is in contrast to the customary approach based on exhibiting the algorithm's linearization points. In this paper we apply visibility relations to develop modular proofs for three elegant concurrent snapshot algorithms of Jayanti. The proofs are divided by signatures into components of increasing level of abstraction; the components at higher abstraction levels are shared, i.e., they apply to all three algorithms simultaneously. Importantly, the interface properties mathematically capture Jayanti's original intuitions that have previously been given only informally.


title: Generalised Flatness Constants: A Framework Applied in Dimension $2$

abstract: Let $A \in \{ \mathbb{Z}, \mathbb{R} \}$ and $X \subset \mathbb{R}^d$ be a bounded set. Affine transformations given by an automorphism of $\mathbb{Z}^d$ and a translation in $A^d$ are called (affine) $A$-unimodular transformations. The image of $X$ under such a transformation is called an $A$-unimodular copy of $X$. It was shown in [Averkov, Hofscheier, Nill, 2019] that every convex body whose width is "big enough" contains an $A$-unimodular copy of $X$. The threshold when this happens is called the generalised flatness constant $\mathrm{Flt}_d^A(X)$. It resembles the classical flatness constant if $A=\mathbb{Z}$ and $X$ is a lattice point. In this work, we introduce a general framework for the explicit computation of these numerical constants. The approach relies on the study of $A$-$X$-free convex bodies generalising lattice-free (also known as hollow) convex bodies. We then focus on the case that $X=P$ is a full-dimensional polytope and show that inclusion-maximal $A$-$P$-free convex bodies are polytopes. The study of those inclusion-maximal polytopes provides us with the means to explicitly determine generalised flatness constants. We apply our approach to the case $X=\Delta_2$ the standard simplex in $\mathbb{R}^2$ of normalised volume $1$ and compute $\mathrm{Flt}^{\mathbb{R}}_2(\Delta_2)=2$ and $\mathrm{Flt}^{\mathbb{Z}}_2(\Delta_2)=\frac{10}3$.


title: DNN-assisted Particle-based Bayesian Joint Synchronization and Localization

abstract: In this work, we propose a Deep neural network-assisted Particle Filter-based (DePF) approach to address the Mobile User (MU) joint synchronization and localization (sync\&loc) problem in ultra dense networks. In particular, DePF deploys an asymmetric time-stamp exchange mechanism between the MUs and the Access Points (APs), which, traditionally, provides us with information about the MUs' clock offset and skew. However, information about the distance between an AP and an MU is also intrinsic to the propagation delay experienced by exchanged time-stamps. In addition, to estimate the angle of arrival of the received synchronization packet, DePF draws on the multiple signal classification algorithm that is fed by Channel Impulse Response (CIR) experienced by the sync packets. The CIR is also leveraged on to determine the link condition, i.e. Line-of-Sight (LoS) or Non-LoS. Finally, to perform joint sync\&loc, DePF capitalizes on particle Gaussian mixtures that allow for a hybrid particle-based and parametric Bayesian Recursive Filtering (BRF) fusion of the aforementioned pieces of information and thus jointly estimate the position and clock parameters of the MUs. The simulation results verifies the superiority of the proposed algorithm over the state-of-the-art schemes, especially that of Extended Kalman filter- and linearized BRF-based joint sync\&loc. In particular, only drawing on the synchronization time-stamp exchange and CIRs, for 90$\%$of the cases, the absolute position and clock offset estimation error remain below 1 meter and 2 nanoseconds, respectively.


title: The Challenge of Appearance-Free Object Tracking with Feedforward Neural Networks

abstract: Nearly all models for object tracking with artificial neural networks depend on appearance features extracted from a "backbone" architecture, designed for object recognition. Indeed, significant progress on object tracking has been spurred by introducing backbones that are better able to discriminate objects by their appearance. However, extensive neurophysiology and psychophysics evidence suggests that biological visual systems track objects using both appearance and motion features. Here, we introduce $\textit{PathTracker}$, a visual challenge inspired by cognitive psychology, which tests the ability of observers to learn to track objects solely by their motion. We find that standard 3D-convolutional deep network models struggle to solve this task when clutter is introduced into the generated scenes, or when objects travel long distances. This challenge reveals that tracing the path of object motion is a blind spot of feedforward neural networks. We expect that strategies for appearance-free object tracking from biological vision can inspire solutions these failures of deep neural networks.


title: Jet Substructure and Multivariate Analysis Aid in Polarization Study of Boosted, Hadronic $W$ Fatjet at the LHC

abstract: Study of polarization of heavy particles is an important branch of research in today's collider studies. The massive $W$ boson has two types of polarization states, which usually are studied via the angular distribution of its decay products. We have studied polarization of hadronic and boosted $W$ boson using jet substructure technique at 14 TeV LHC. Two different methods, viz. N-subjettiness and Soft Drop, were used to find the subjets, which are approximately considered to be the two hadronic decay products of $W$, inside boosted $W$ jets. These subjets were then used to find the distribution of $p_\theta$ and $z_j$ to prepare the templates of longitudinally and transversely polarized $W$. We then used these templates to find the fractions of different $W$ polarization in a mixed sample to a relatively good accuracy.


title: Minimax rate of estimation for invariant densities associated to continuous stochastic differential equations over anisotropic Holder classes

abstract: We study the problem of the nonparametric estimation for the density $\pi$ of the stationary distribution of a $d$-dimensional stochastic differential equation $(X_t)_{t \in [0, T]}$. From the continuous observation of the sampling path on $[0, T]$, we study the estimation of $\pi(x)$ as $T$ goes to infinity. For $d\ge2$, we characterize the minimax rate for the $\mathbf{L}^2$-risk in pointwise estimation over a class of anisotropic H\"older functions $\pi$ with regularity $\beta = (\beta_1, ... , \beta_d)$. For $d \ge 3$, our finding is that, having ordered the smoothness such that $\beta_1 \le ... \le \beta_d$, the minimax rate depends on whether $\beta_2 < \beta_3$ or $\beta_2 = \beta_3$. In the first case, this rate is $(\frac{\log T}{T})^\gamma$, and in the second case, it is $(\frac{1}{T})^\gamma$, where $\gamma$ is an explicit exponent dependent on the dimension and $\bar{\beta}_3$, the harmonic mean of smoothness over the $d$ directions after excluding $\beta_1$ and $\beta_2$, the smallest ones. We also demonstrate that kernel-based estimators achieve the optimal minimax rate. Furthermore, we propose an adaptive procedure for both $L^2$ integrated and pointwise risk. In the two-dimensional case, we show that kernel density estimators achieve the rate $\frac{\log T}{T}$, which is optimal in the minimax sense. Finally we illustrate the validity of our theoretical findings by proposing numerical results.


title: NEWRON: A New Generalization of the Artificial Neuron to Enhance the Interpretability of Neural Networks

abstract: In this work, we formulate NEWRON: a generalization of the McCulloch-Pitts neuron structure. This new framework aims to explore additional desirable properties of artificial neurons. We show that some specializations of NEWRON allow the network to be interpretable with no change in their expressiveness. By just inspecting the models produced by our NEWRON-based networks, we can understand the rules governing the task. Extensive experiments show that the quality of the generated models is better than traditional interpretable models and in line or better than standard neural networks.


title: SIRe-Networks: Convolutional Neural Networks Architectural Extension for Information Preservation via Skip/Residual Connections and Interlaced Auto-Encoders

abstract: Improving existing neural network architectures can involve several design choices such as manipulating the loss functions, employing a diverse learning strategy, exploiting gradient evolution at training time, optimizing the network hyper-parameters, or increasing the architecture depth. The latter approach is a straightforward solution, since it directly enhances the representation capabilities of a network; however, the increased depth generally incurs in the well-known vanishing gradient problem. In this paper, borrowing from different methods addressing this issue, we introduce an interlaced multi-task learning strategy, defined SIRe, to reduce the vanishing gradient in relation to the object classification task. The presented methodology directly improves a convolutional neural network (CNN) by preserving information from the input image through interlaced auto-encoders (AEs), and further refines the base network architecture by means of skip and residual connections. To validate the presented methodology, a simple CNN and various implementations of famous networks are extended via the SIRe strategy and extensively tested on five collections, i.e., MNIST, Fashion-MNIST, CIFAR-10, CIFAR-100, and Caltech-256; where the SIRe-extended architectures achieve significantly increased performances across all models and datasets, thus confirming the presented approach effectiveness.


title: The Auslander-Reiten quivers of string algebras of affine type $\widetilde{C}$ and a conjecture by Geiss-Leclerc-Schr\"{o}er

abstract: In this paper, we study representations of certain string algebras, which are referred to as of affine type $\widetilde{C}$. We introduce minimal string modules and apply them to explicitly describe components of the Auslander-Reiten quivers of the string algebras and $\tau$-locally free modules defined by Geiss-Lerclerc-Schr\"{o}er. As an application, we prove Geiss-Leclerc-Schr\"{o}er's conjecture on the correspondence between positive roots of type $\widetilde{C}$ and $\tau$-locally free modules of the corresponding string algebras.


title: Diastereoselective Formation of trans-HC(O)SH Through Hydrogenation of OCS on Interstellar Dust Grains

abstract: With the presence of evermore complex S-bearing molecules being detected lately, studies on their chemical formation routes need to keep up the pace to rationalize observations, suggest new candidates for detection, and provide input for chemical evolution models. In this paper, we theoretically characterize the hydrogenation channels of OCS on top of amorphous solid water as an interstellar dust grain analog in molecular clouds. Our results show that the significant reaction outcome is trans-HC(O)SH, a recently detected prebiotic molecule toward G+0.693. The reaction is diastereoselective, explaining the seemingly absence of the cis isomer in the astronomical observations. We found that the reaction proceeds through a highly localized radical intermediate (cis-OCSH), which could be essential in the formation of other sulfur-bearing complex organic molecules due to its slow isomerization dynamics on top of amorphous solid water.


title: On the discretised $ABC$ sum-product problem

abstract: Let $0 < \beta \leq \alpha < 1$ and $\kappa > 0$. I prove that there exists $\eta > 0$ such that the following holds for every pair of Borel sets $A,B \subset \mathbb{R}$ with $\dim_{\mathrm{H}} A = \alpha$ and $\dim_{\mathrm{H}} B = \beta$: $$\dim_{\mathrm{H}} \{c \in \mathbb{R} : \dim_{\mathrm{H}} (A + cB) \leq \alpha + \eta\} \leq \tfrac{\alpha - \beta}{1 - \beta} + \kappa.$$ This extends a result of Bourgain from 2010, which contained the case $\alpha = \beta$. The paper also contains a $\delta$-discretised, and somewhat stronger, version of the estimate above, and new information on the size of long sums of the form $a_{1}B + \ldots + a_{n}B$.


title: Study on Transfer Learning Capabilities for Pneumonia Classification in Chest-X-Rays Image

abstract: Over the last year, the severe acute respiratory syndrome coronavirus-2 (SARS-CoV-2) and its variants have highlighted the importance of screening tools with high diagnostic accuracy for new illnesses such as COVID-19. To that regard, deep learning approaches have proven as effective solutions for pneumonia classification, especially when considering chest-x-rays images. However, this lung infection can also be caused by other viral, bacterial or fungi pathogens. Consequently, efforts are being poured toward distinguishing the infection source to help clinicians to diagnose the correct disease origin. Following this tendency, this study further explores the effectiveness of established neural network architectures on the pneumonia classification task through the transfer learning paradigm. To present a comprehensive comparison, 12 well-known ImageNet pre-trained models were fine-tuned and used to discriminate among chest-x-rays of healthy people, and those showing pneumonia symptoms derived from either a viral (i.e., generic or SARS-CoV-2) or bacterial source. Furthermore, since a common public collection distinguishing between such categories is currently not available, two distinct datasets of chest-x-rays images, describing the aforementioned sources, were combined and employed to evaluate the various architectures. The experiments were performed using a total of 6330 images split between train, validation and test sets. For all models, common classification metrics were computed (e.g., precision, f1-score) and most architectures obtained significant performances, reaching, among the others, up to 84.46% average f1-score when discriminating the 4 identified classes. Moreover, confusion matrices and activation maps computed via the Grad-CAM algorithm were also reported to present an informed discussion on the networks classifications.


title: FTPipeHD: A Fault-Tolerant Pipeline-Parallel Distributed Training Framework for Heterogeneous Edge Devices

abstract: With the increased penetration and proliferation of Internet of Things (IoT) devices, there is a growing trend towards distributing the power of deep learning (DL) across edge devices rather than centralizing it in the cloud. This development enables better privacy preservation, real-time responses, and user-specific models. To deploy deep and complex models to edge devices with limited resources, model partitioning of deep neural networks (DNN) model is necessary, and has been widely studied. However, most of the existing literature only considers distributing the inference model while still relying centralized cloud infrastructure to generate this model through training. In this paper, we propose FTPipeHD, a novel DNN training framework that trains DNN models across distributed heterogeneous devices with fault tolerance mechanism. To accelerate the training with time-varying computing power of each device, we optimize the partition points dynamically according to real-time computing capacities. We also propose a novel weight redistribution approach that replicates the weights to both the neighboring nodes and the central node periodically, which combats the failure of multiple devices during training while incurring limited communication cost. Our numerical results demonstrate that FTPipeHD is 6.8x faster in training than the state of the art method when the computing capacity of the best device is 10x greater than the worst one. It is also shown that the proposed method is able to accelerate the training even with the existence of device failures.


title: How BPE Affects Memorization in Transformers

abstract: Training data memorization in NLP can both be beneficial (e.g., closed-book QA) and undesirable (personal data extraction). In any case, successful model training requires a non-trivial amount of memorization to store word spellings, various linguistic idiosyncrasies and common knowledge. However, little is known about what affects the memorization behavior of NLP models, as the field tends to focus on the equally important question of generalization. In this work, we demonstrate that the size of the subword vocabulary learned by Byte-Pair Encoding (BPE) greatly affects both ability and tendency of standard Transformer models to memorize training data, even when we control for the number of learned parameters. We find that with a large subword vocabulary size, Transformer models fit random mappings more easily and are more vulnerable to membership inference attacks. Similarly, given a prompt, Transformer-based language models with large subword vocabularies reproduce the training data more often. We conjecture this effect is caused by reduction in the sequences' length that happens as the BPE vocabulary grows. Our findings can allow a more informed choice of hyper-parameters, that is better tailored for a particular use-case.


title: Active Learning for Sound Negotiations

abstract: We present two active learning algorithms for sound deterministic negotiations. Sound deterministic negotiations are models of distributed systems, a kind of Petri nets or Zielonka automata with additional structure. We show that this additional structure allows to minimize such negotiations. The two active learning algorithms differ in the type of membership queries they use. Both have similar complexity to Angluin's L* algorithm, in particular, the number of queries is polynomial in the size of the negotiation, and not in the number of configurations.


title: Cooperative Multi-Agent Actor-Critic for Privacy-Preserving Load Scheduling in a Residential Microgrid

abstract: As a scalable data-driven approach, multi-agent reinforcement learning (MARL) has made remarkable advances in solving the cooperative residential load scheduling problems. However, the common centralized training strategy of MARL algorithms raises privacy risks for involved households. In this work, we propose a privacy-preserving multi-agent actor-critic framework where the decentralized actors are trained with distributed critics, such that both the decentralized execution and the distributed training do not require the global state information. The proposed framework can preserve the privacy of the households while simultaneously learn the multi-agent credit assignment mechanism implicitly. The simulation experiments demonstrate that the proposed framework significantly outperforms the existing privacy-preserving actor-critic framework, and can achieve comparable performance to the state-of-the-art actor-critic framework without privacy constraints.


title: A case study on profiling of an EEG-based brain decoding interface on Cloud and Edge servers

abstract: Brain-Computer Interfaces (BCIs) enable converting the brain electrical activity of an interface user to the user commands. BCI research studies demonstrated encouraging results in different areas such as neurorehabilitation, control of artificial limbs, control of computer environments, communication and detection of diseases. Most of BCIs use scalp-electroencephalography (EEG), which is a non-invasive method to capture the brain activity. Although EEG monitoring devices are available in the market, these devices are generally lab-oriented and expensive. Day-to-day use of BCIs is impractical at this time due to the complex techniques required for data preprocessing and signal analysis. This implies that BCI technologies should be improved to facilitate its widespread adoption in Cloud and Edge datacenters. This paper presents a case study on profiling the accuracy and performance of a brain-computer interface which runs on typical Cloud and Edge servers. In particular, we investigate how the accuracy and execution time of the preprocessing phase, i.e. the brain signal filtering phase, of a brain-computer interface varies when processing static and live streaming data obtained in real time BCI devices. We identify the optimal size of the packets for sampling brain signals which provides the best trade-off between the accuracy and performance. Finally, we discuss the pros and cons of using typical Cloud and Edge servers to perform the BCI filtering phase.


title: Completeness of the G\"odel-L\"ob provability logic for the filter sequence of normal measures

abstract: Assuming the existence of suitable large cardinals, we show it is consistent that the Provability logic $\mathbf{GL}$ is complete with respect to the filter sequence of normal measures. This result answers a question of Andreas Blass from 1990 and a related question of Beklemishev and Joosten.


title: Relative Entropy Gradient Sampler for Unnormalized Distributions

abstract: We propose a relative entropy gradient sampler (REGS) for sampling from unnormalized distributions. REGS is a particle method that seeks a sequence of simple nonlinear transforms iteratively pushing the initial samples from a reference distribution into the samples from an unnormalized target distribution. To determine the nonlinear transforms at each iteration, we consider the Wasserstein gradient flow of relative entropy. This gradient flow determines a path of probability distributions that interpolates the reference distribution and the target distribution. It is characterized by an ODE system with velocity fields depending on the density ratios of the density of evolving particles and the unnormalized target density. To sample with REGS, we need to estimate the density ratios and simulate the ODE system with particle evolution. We propose a novel nonparametric approach to estimating the logarithmic density ratio using neural networks. Extensive simulation studies on challenging multimodal 1D and 2D mixture distributions and Bayesian logistic regression on real datasets demonstrate that the REGS outperforms the state-of-the-art sampling methods included in the comparison.


title: The Impact of Blocking Cars on Pathloss Within a Platoon: Measurements for 26 GHz Band

abstract: Platooning is considered to be one of the possible prospective implementations of the autonomous driving concept, where the train-of-cars moves together following the platoon leader's commands. However, the practical realization of this scheme assumes the use of reliable communications between platoon members. In this paper, the results of the measurement experiment have been presented showing the impact of the blocking cars on the signal attenuation. The tests have been carried out for the high-frequency band, i.e. for 26.555 GHz. It has been observed that on one hand side, the attenuation can reach even tens of dB for 2 or 3 blocking cars, but in some locations, the impact of a two-ray propagation mitigates the presence of obstructing vehicles.


title: Optical resonances in silica-nanosphere dimers and trimers probed with high-energy electrons at the nanoscale

abstract: Optical dielectric resonances have the ability to modulate optical energy, and by coupling multiple resonators into photonic molecules, new opportunities emerge in spectral engineering. Using electron-beam spectroscopy, in a 300-keV scanning transmission electron microscope, we probe optical modes of photonic molecules at the nanometer scale. Monochromated electron energy-loss spectra of 400nm-silica-sphere monomers, dimers and trimers display series of sharp peaks in the ultraviolet region. For monomers, the peaks are assigned to low angular number optical whispering gallery modes. For dimers and trimers, experimental observations, supported by simulations, reveal energy shifts and peak broadening resulting from coupling between spherical modes. Variations in spectra for different electron probe positions demonstrate the possibility to extract information on local photonic density of states at the nanometer scale.


title: Some approximate solutions to the spread of influenza A virus infection

abstract: We study differential equations describing the spread of influenza A virus infection based on a mathematical model. We look for surface trajectories of the dynamical system in hand and their asymptotic behaviour.


title: Spell my name: keyword boosted speech recognition

abstract: Recognition of uncommon words such as names and technical terminology is important to understanding conversations in context. However, the ability to recognise such words remains a challenge in modern automatic speech recognition (ASR) systems. In this paper, we propose a simple but powerful ASR decoding method that can better recognise these uncommon keywords, which in turn enables better readability of the results. The method boosts the probabilities of given keywords in a beam search based on acoustic model predictions. The method does not require any training in advance. We demonstrate the effectiveness of our method on the LibriSpeeech test sets and also internal data of real-world conversations. Our method significantly boosts keyword accuracy on the test sets, while maintaining the accuracy of the other words, and as well as providing significant qualitative improvements. This method is applicable to other tasks such as machine translation, or wherever unseen and difficult keywords need to be recognised in beam search.


title: Hierarchical Potential-based Reward Shaping from Task Specifications

abstract: The automatic synthesis of policies for robotic-control tasks through reinforcement learning relies on a reward signal that simultaneously captures many possibly conflicting requirements. In this paper, we in\-tro\-duce a novel, hierarchical, potential-based reward-shaping approach (HPRS) for defining effective, multivariate rewards for a large family of such control tasks. We formalize a task as a partially-ordered set of safety, target, and comfort requirements, and define an automated methodology to enforce a natural order among requirements and shape the associated reward. Building upon potential-based reward shaping, we show that HPRS preserves policy optimality. Our experimental evaluation demonstrates HPRS's superior ability in capturing the intended behavior, resulting in task-satisfying policies with improved comfort, and converging to optimal behavior faster than other state-of-the-art approaches. We demonstrate the practical usability of HPRS on several robotics applications and the smooth sim2real transition on two autonomous-driving scenarios for F1TENTH race cars.


abstract: Developing reinforcement learning algorithms that satisfy safety constraints is becoming increasingly important in real-world applications. In multi-agent reinforcement learning (MARL) settings, policy optimisation with safety awareness is particularly challenging because each individual agent has to not only meet its own safety constraints, but also consider those of others so that their joint behaviour can be guaranteed safe. Despite its importance, the problem of safe multi-agent learning has not been rigorously studied; very few solutions have been proposed, nor a sharable testing environment or benchmarks. To fill these gaps, in this work, we formulate the safe MARL problem as a constrained Markov game and solve it with policy optimisation methods. Our solutions -- Multi-Agent Constrained Policy Optimisation (MACPO) and MAPPO-Lagrangian -- leverage the theories from both constrained policy optimisation and multi-agent trust region learning. Crucially, our methods enjoy theoretical guarantees of both monotonic improvement in reward and satisfaction of safety constraints at every iteration. To examine the effectiveness of our methods, we develop the benchmark suite of Safe Multi-Agent MuJoCo that involves a variety of MARL baselines. Experimental results justify that MACPO/MAPPO-Lagrangian can consistently satisfy safety constraints, meanwhile achieving comparable performance to strong baselines.


title: 3rd Place Solution to Google Landmark Recognition Competition 2021

abstract: In this paper, we show our solution to the Google Landmark Recognition 2021 Competition. Firstly, embeddings of images are extracted via various architectures (i.e. CNN-, Transformer- and hybrid-based), which are optimized by ArcFace loss. Then we apply an efficient pipeline to re-rank predictions by adjusting the retrieval score with classification logits and non-landmark distractors. Finally, the ensembled model scores 0.489 on the private leaderboard, achieving the 3rd place in the 2021 edition of the Google Landmark Recognition Competition.


title: Openness of uniformly valuative stability on the K\"ahler cone of projective manifolds

abstract: Assume that a projective variety is uniformly valuatively stable with respect to a polarization. We show that the projective variety is uniformly valuatively stable with respect to any polarization sufficiently close to the original polarization. The definition of uniformly valuatively stability in this paper is stronger than that given by Dervan and Legendre in \cite{D-L20}. We also define the valuative stability for the transcendental K\"ahler classes. Our openness result can be extended to the K\"ahler cone of projective manifolds.


title: An Unconstrained Layer-Peeled Perspective on Neural Collapse

abstract: Neural collapse is a highly symmetric geometric pattern of neural networks that emerges during the terminal phase of training, with profound implications on the generalization performance and robustness of the trained networks. To understand how the last-layer features and classifiers exhibit this recently discovered implicit bias, in this paper, we introduce a surrogate model called the unconstrained layer-peeled model (ULPM). We prove that gradient flow on this model converges to critical points of a minimum-norm separation problem exhibiting neural collapse in its global minimizer. Moreover, we show that the ULPM with the cross-entropy loss has a benign global landscape for its loss function, which allows us to prove that all the critical points are strict saddle points except the global minimizers that exhibit the neural collapse phenomenon. Empirically, we show that our results also hold during the training of neural networks in real-world tasks when explicit regularization or weight decay is not used.


title: Adversarial Robustness Comparison of Vision Transformer and MLP-Mixer to CNNs

abstract: Convolutional Neural Networks (CNNs) have become the de facto gold standard in computer vision applications in the past years. Recently, however, new model architectures have been proposed challenging the status quo. The Vision Transformer (ViT) relies solely on attention modules, while the MLP-Mixer architecture substitutes the self-attention modules with Multi-Layer Perceptrons (MLPs). Despite their great success, CNNs have been widely known to be vulnerable to adversarial attacks, causing serious concerns for security-sensitive applications. Thus, it is critical for the community to know whether the newly proposed ViT and MLP-Mixer are also vulnerable to adversarial attacks. To this end, we empirically evaluate their adversarial robustness under several adversarial attack setups and benchmark them against the widely used CNNs. Overall, we find that the two architectures, especially ViT, are more robust than their CNN models. Using a toy example, we also provide empirical evidence that the lower adversarial robustness of CNNs can be partially attributed to their shift-invariant property. Our frequency analysis suggests that the most robust ViT architectures tend to rely more on low-frequency features compared with CNNs. Additionally, we have an intriguing finding that MLP-Mixer is extremely vulnerable to universal adversarial perturbations.


title: Dynamics of hot random hyperbolic graphs

abstract: We derive the most basic dynamical properties of random hyperbolic graphs (the distributions of contact and intercontact durations) in the hot regime (network temperature $T > 1$). We show that for sufficiently large networks the contact distribution decays as a power law with exponent $2+T > 3$ for durations $t > T$, while for $t < T$ it exhibits exponential-like decays. This result holds irrespective of the expected degree distribution, as long as it has a finite $T^{\text{th}}$ moment. Otherwise, the contact distribution depends on the expected degree distribution and we show that if the latter is a power law with exponent $\gamma \in (2, T+1]$, then the former decays as a power law with exponent $\gamma+1 > 3$. On the other hand, the intercontact distribution exhibits power-law decays with exponent $2-T \in (0, 1)$ for $T \in (1,2)$, while for $T > 2$ it displays linear decays with a slope that depends on the observation interval. This result holds irrespective of the expected degree distribution as long as it has a finite $T^{\text{th}}$ moment if $T \in (1,2)$, or a finite second moment if $T > 2$. Otherwise, the intercontact distribution depends on the expected degree distribution and if the latter is a power law with exponent $\gamma \in (2, 3)$, then the former decays as a power law with exponent $3-\gamma \in (0,1)$. Thus, hot random hyperbolic graphs can give rise to contact and intercontact distributions that both decay as power laws. These power laws however are unrealistic for the case of the intercontact distribution, as their exponent is always less than one. These results mean that hot random hyperbolic graphs are not adequate for modeling real temporal networks, in stark contrast to cold random hyperbolic graphs ($T < 1$). Since the configuration model emerges at $T \to \infty$, these results also suggest that this is not an adequate null temporal network model.

categories: physics.soc-ph cond-mat.stat-mech cs.SI math.PR


title: Real-time Optimal Landing Control of the MIT Mini Cheetah

abstract: Quadrupedal landing is a complex process involving large impacts, elaborate contact transitions, and is a crucial recovery behavior observed in many biological animals. This work presents a real-time, optimal landing controller that is free of pre-specified contact schedules. The controller determines optimal touchdown postures and reaction force profiles and is able to recover from a variety of falling configurations. The quadrupedal platform used, the MIT Mini Cheetah, recovered safely from drops of up to 8 m in simulation, as well as from a range of orientations and planar velocities. The controller is also tested on hardware, successfully recovering from drops of up to 2 m.


title: Unital Qubit Queue-channels: Classical Capacity and Product Decoding

abstract: Quantum queue-channels arise naturally in the context of buffering in quantum networks, wherein the noise suffered by the quantum states depends on the time spent waiting in the buffer. It has been shown that the upper-bound on the classical capacity of an additive queue-channel has a simple expression, and is achievable for the erasure and depolarizing channels [IEEE JSAIT, 1(2):432-444]. In this paper, we characterise the classical capacity for the class of unital qubit queue-channels, and show that a simple product (non-entangled) decoding strategy is capacity-achieving. As an intermediate result, we derive an explicit capacity achieving product decoding strategy for any i.i.d. unital qubit channel, which could be of independent interest. As an important special case, we also derive the capacity and optimal decoding strategies for a symmetric generalized amplitude damping (GAD) queue-channel. Our results provide useful insights towards designing practical quantum communication networks, and highlight the need to explicitly model the impact of buffering.


title: Besov regularity for the Dirichlet integral fractional Laplacian in Lipschitz domains

abstract: We prove Besov regularity estimates for the solution of the Dirichlet problem involving the integral fractional Laplacian of order $s$ in bounded Lipschitz domains $\Omega$: \[ \begin{aligned} \|u\|_{\dot{B}^{s+r}_{2,\infty}(\Omega)} \le C \|f\|_{L^2(\Omega)}, & \quad r = \min\{s,1/2\}, & \quad \mbox{if } s \neq 1/2, \\ \|u\|_{\dot{B}^{1-\epsilon}_{2,\infty}(\Omega)} \le C \|f\|_{L^2(\Omega)}, & \quad \epsilon \in (0,1), & \quad \mbox{if } s = 1/2, \end{aligned} \] with explicit dependence of $C$ on $s$ and $\epsilon$. These estimates are consistent with the regularity on smooth domains and show that there is no loss of regularity due to Lipschitz boundaries. The proof uses elementary ingredients, such as the variational structure of the problem and the difference quotient technique.


title: Self-conditioning pre-trained language models

abstract: In this paper we aim to investigate the mechanisms that guide text generation with pre-trained Transformer-based Language Models (TLMs). Grounded on the Product of Experts formulation by Hinton (1999), we describe a generative mechanism that exploits expert units which naturally exist in TLMs. Such units are responsible for detecting concepts in the input and conditioning text generation on such concepts. We describe how to identify expert units and how to activate them during inference in order to induce any desired concept in the generated output. We find that the activation of a surprisingly small amount of units is sufficient to steer text generation (as little as 3 units in a model with 345M parameters). While the objective of this work is to learn more about how TLMs work, we show that our method is effective for conditioning without fine-tuning or using extra parameters, even on fine-grained homograph concepts. Additionally, we show that our method can be used to correct gender bias present in the output of TLMs and achieves gender parity for all evaluated contexts. We compare our method with FUDGE and PPLM-BoW, and show that our approach is able to achieve gender parity at a lower perplexity. The proposed method is accessible to a wide audience thanks to its simplicity and minimal compute needs. The findings in this paper are a step forward in understanding the generative mechanisms of TLMs.


title: Avalanche dynamics in sheared athermal particle packings occurs via localized bursts predicted by unstable linear response

abstract: Under applied shear strain, granular and amorphous materials deform via particle rearrangements, which can be small and localized or organized into system-spanning avalanches. While the statistical properties of avalanches under quasi-static shear are well-studied, the dynamics during avalanches is not. In numerical simulations of sheared soft spheres, we find that avalanches can be decomposed into bursts of localized deformations, which we identify using an extension of persistent homology methods. We also study the linear response of unstable systems during an avalanche, demonstrating that eigenvalue dynamics are highly complex during such events, and that the most unstable eigenvector is a poor predictor of avalanche dynamics. Instead, we modify existing tools that identify localized excitations in stable systems, and apply them to these unstable systems with non-positive definite Hessians, quantifying the evolution of such excitations during avalanches. We find that bursts of localized deformations in the avalanche almost always occur at localized excitations identified using the linear spectrum. These new tools will provide an improved framework for validating and extending mesoscale elastoplastic models that are commonly used to explain avalanche statistics in glasses and granular matter.


title: From dependent type theory to higher algebraic structures

abstract: The first part of this dissertation defines "dependently typed algebraic theories", which are a strict subclass of the generalised algebraic theories (GATs) of Cartmell. We characterise dependently typed algebraic theories as finitary monads on certain presheaf categories, generalising a well-known result due to Lawvere, B\'enabou and Linton for ordinary multisorted algebraic theories. We use this to recognise dependently typed algebraic theories for a number of classes of algebraic structures, such as small categories, n-categories, strict and weak omega-categories, planar coloured operads and opetopic sets. We then show that every locally finitely presentable category is the category of models of some dependently typed algebraic theory. Thus, with respect to their Set-models, these theories are just as expressive as GATs, essentially algebraic theories and finite limit sketches. However, dependently typed algebraic theories admit a good definition of homotopy-models in spaces, via a left Bousfield localisation of a global model structure on simplicial presheaves. Some cases, such as certain "idempotent opetopic theories", have a rigidification theorem relating homotopy-models and (strict) simplicial models. The second part of this dissertation concerns localisations of presentable $(\infty,1)$-categories. We give a definition of "pre-modulator", and show that every accessible orthogonal factorisation system on a presentable $(\infty,1)$-category can be generated from a pre-modulator by iterating a plus-construction resembling that of sheafification. We give definitions of "modulator" and "left-exact modulator", and prove that they correspond to those factorisation systems that are modalities and left-exact modalities respectively. Thus every left-exact localisation of an $\infty$-topos is obtained by iterating the plus-construction associated to a left-exact modulator.


title: Penalized Optimal Scaling for Ordinal Variables with an Application to International Classification of Functioning Core Sets

abstract: Ordinal data occur frequently in the social sciences. When applying principal component analysis (PCA), however, those data are often treated as numeric implying linear relationships between the variables at hand, or non-linear PCA is applied where the obtained quantifications are sometimes hard to interpret. Non-linear PCA for categorical data, also called optimal scoring/scaling, constructs new variables by assigning numerical values to categories such that the proportion of variance in those new variables that is explained by a predefined number of principal components is maximized. We propose a penalized version of non-linear PCA for ordinal variables that is a smoothed intermediate between standard PCA on category labels and non-linear PCA as used so far. The new approach is by no means limited to monotonic effects and offers both better interpretability of the non-linear transformation of the category labels as well as better performance on validation data than unpenalized non-linear PCA and/or standard linear PCA. In particular, an application of penalized optimal scaling to ordinal data as given with the International Classification of Functioning, Disability and Health (ICF) is provided.


title: Generalized dynamical mean-field theory of two-subalttice systems with non-local interactions and its application to study charge and spin correlations in graphene

abstract: We investigate magnetic and charge correlations in graphene by using the formulation of extended dynamical mean-field theory (E-DMFT) for two-sublattice systems. First, we map the average non-local interaction onto the effective static interaction between different sublattices, which is treated together with the local interaction within an effective "two-orbital" local model. The remaining part of the non-local interaction is considered by introducing an effective retarded interaction within the E-DMFT approach. The non-local susceptibilities in charge and spin channel are further evaluated in the ladder approximation. We verify the applicability of the proposed method to describe the effect of uniformly screened long-range Coulomb potential $\propto 1/r$, as well as screened realistic long-range electron interaction [T. O. Wehling et al., Phys. Rev. Lett. 106, 236805 (2011)] in graphene. We show that the developed approach describes a competition of semimetal, spin density wave (SDW), and charge-density-wave (CDW) correlations. The obtained phase diagram is in a good agreement with recent results of functional renormalization group (fRG) for finite large graphene nanoflakes and scaling analysis of quantum Monte Carlo data on finite clusters. Similarly to the previously obtained results within the fRG approach, the realistic screening of Coulomb interaction by $\sigma$ bands causes moderate (strong) enhancement of critical long-range interaction strength, needed for the SDW (CDW) instability, compared to the results for the uniformly screened Coulomb potential.


title: Fitting Distances by Tree Metrics Minimizing the Total Error within a Constant Factor

abstract: We consider the numerical taxonomy problem of fitting a positive distance function ${D:{S\choose 2}\rightarrow \mathbb R_{>0}}$ by a tree metric. We want a tree $T$ with positive edge weights and including $S$ among the vertices so that their distances in $T$ match those in $D$. A nice application is in evolutionary biology where the tree $T$ aims to approximate the branching process leading to the observed distances in $D$ [Cavalli-Sforza and Edwards 1967]. We consider the total error, that is the sum of distance errors over all pairs of points. We present a deterministic polynomial time algorithm minimizing the total error within a constant factor. We can do this both for general trees, and for the special case of ultrametrics with a root having the same distance to all vertices in $S$. The problems are APX-hard, so a constant factor is the best we can hope for in polynomial time. The best previous approximation factor was $O((\log n)(\log \log n))$ by Ailon and Charikar [2005] who wrote "Determining whether an $O(1)$ approximation can be obtained is a fascinating question".


title: Quantum classifiers for domain adaptation

abstract: Transfer learning (TL), a crucial subfield of machine learning, aims to accomplish a task in the target domain with the acquired knowledge of the source domain. Specifically, effective domain adaptation (DA) facilitates the delivery of the TL task where all the data samples of the two domains are distributed in the same feature space. In this paper, two quantum implementations of the DA classifier are presented with quantum speedup compared with the classical DA classifier. One implementation, the quantum basic linear algebra subroutines (QBLAS)-based classifier, can predict the labels of the target domain data with logarithmic resources in the number and dimension of the given data. The other implementation efficiently accomplishes the DA task through a variational hybrid quantum-classical procedure.


title: Partial order alignment by adjacencies and breakpoints

abstract: Linearizing two partial orders to maximize the number of adjacencies and minimize the number of breakpoints is APX-hard. This holds even if one of the two partial orders is already a linear order and the other is an interval order, or if both partial orders are weak orders.


title: Estimation of the Scale Parameter for a Misspecified Gaussian Process Model

abstract: Parameters of the covariance kernel of a Gaussian process model often need to be estimated from the data generated by an unknown Gaussian process. We consider fixed-domain asymptotics of the maximum likelihood estimator of the scale parameter under smoothness misspecification. If the covariance kernel of the data-generating process has smoothness $\nu_0$ but that of the model has smoothness $\nu \geq \nu_0$, we prove that the expectation of the maximum likelihood estimator is of the order $N^{2(\nu-\nu_0)/d}$ if the $N$ observation points are quasi-uniform in $[0, 1]^d$. This indicates that maximum likelihood estimation of the scale parameter alone is sufficient to guarantee the correct rate of decay of the conditional variance. We also discuss a connection the expected maximum likelihood estimator has to Driscoll's theorem on sample path properties of Gaussian processes. The proofs are based on reproducing kernel Hilbert space techniques and worst-case case rates for approximation in Sobolev spaces.


title: Imaging tunable quantum Hall broken-symmetry orders in graphene

abstract: When electrons populate a flat band their kinetic energy becomes negligible, forcing them to organize in exotic many-body states to minimize their Coulomb energy. The zeroth Landau level of graphene under magnetic field is a particularly interesting strongly interacting flat band because inter-electron interactions are predicted to induce a rich variety of broken-symmetry states with distinct topological and lattice-scale orders. Evidence for these stems mostly from indirect transport experiments that suggest that broken-symmetry states are tunable by boosting the Zeeman energy or by dielectric screening of the Coulomb interaction. However, confirming the existence of these ground states requires a direct visualization of their lattice-scale orders. Here, we image three distinct broken-symmetry phases in graphene using scanning tunneling spectroscopy. We explore the phase diagram by tuning the screening of the Coulomb interaction by a low or high dielectric constant environment, and with a magnetic field. In the unscreened case, we unveil a Kekul\'e bond order, consistent with observations of an insulating state undergoing a magnetic-field driven Kosterlitz-Thouless transition. Under dielectric screening, a sublattice-unpolarized ground state emerges at low magnetic fields, and transits to a charge-density-wave order with partial sublattice polarization at higher magnetic fields. The Kekul\'e and charge-density-wave orders furthermore coexist with additional, secondary lattice-scale orders that enrich the phase diagram beyond current theory predictions. This screening-induced tunability of broken-symmetry orders may prove valuable to uncover correlated phases of matter in other quantum materials.


title: Robust Nonadiabatic Holonomic Quantum Gates on Decoherence-Protected Qubits

abstract: Obtaining high-fidelity and robust quantum gates is the key for scalable quantum computation, and one of the promising ways is to implement quantum gates using geometric phases, where the influence of local noises can be greatly reduced. To obtain robust quantum gates, we here propose a scheme for quantum manipulation by combining the geometric phase approach with the dynamical correction technique, where the imperfection control induced X-error can be greatly suppressed. Moreover, to be robust against the decoherence effect and the randomized qubit-frequency shift Z-error, our scheme is also proposed based on the polariton qubit, the eigenstates of the light-matter interaction, which is immune to both errors up to the second order, due to its near symmetric energy spectrum. Finally, our scheme is implemented on the superconducting circuits, which also simplifies previous implementations. Since the main errors can be greatly reduced in our proposal, it provides a promising strategy for scalable solid-state fault-tolerant quantum computation.


title: Accelerated First Order Methods for Variational Imaging

abstract: In this thesis, we offer a thorough investigation of different regularisation terms used in variational imaging problems, together with detailed optimisation processes of these problems. We begin by studying smooth problems and partially non-smooth problems in the form of Tikhonov denoising and Total Variation (TV) denoising, respectively. For Tikhonov denoising, we study an accelerated gradient method with adaptive restart, which shows a very rapid convergence rate. However, it is not straightforward to apply this fast algorithm to TV denoising, due to the non-smoothness of its built-in regularisation. To tackle this issue, we propose to utilise duality to convert such a non-smooth problem into a smooth one so that the accelerated gradient method with restart applies naturally. However, we notice that both Tikhonov and TV regularisations have drawbacks, in the form of blurred image edges and staircase artefacts, respectively. To overcome these drawbacks, we propose a novel adaption to Total Generalised Variation (TGV) regularisation called Total Smooth Variation (TSV), which retains edges and meanwhile does not produce results which contain staircase artefacts. To optimise TSV effectively, we then propose the Accelerated Proximal Gradient Algorithm (APGA) which also utilises adaptive restart techniques. Compared to existing state-of-the-art regularisations (e.g. TV), TSV is shown to obtain more effective results on denoising problems as well as advanced imaging applications such as magnetic resonance imaging (MRI) reconstruction and optical flow. TSV removes the staircase artefacts observed when using TV regularisation, but has the added advantage over TGV that it can be efficiently optimised using gradient based methods with Nesterov acceleration and adaptive restart. Code is available at https://github.com/Jbartlett6/Accelerated-First-Order-Method-for-Variational-Imaging.


title: Efficient and High-quality Prehensile Rearrangement in Cluttered and Confined Spaces

abstract: Prehensile object rearrangement in cluttered and confined spaces has broad applications but is also challenging. For instance, rearranging products in a grocery shelf means that the robot cannot directly access all objects and has limited free space. This is harder than tabletop rearrangement where objects are easily accessible with top-down grasps, which simplifies robot-object interactions. This work focuses on problems where such interactions are critical for completing tasks. It proposes a new efficient and complete solver under general constraints for monotone instances, which can be solved by moving each object at most once. The monotone solver reasons about robot-object constraints and uses them to effectively prune the search space. The new monotone solver is integrated with a global planner to solve non-monotone instances with high-quality solutions fast. Furthermore, this work contributes an effective pre-processing tool to significantly speed up online motion planning queries for rearrangement in confined spaces. Experiments further demonstrate that the proposed monotone solver, equipped with the pre-processing tool, results in 57.3% faster computation and 3 times higher success rate than state-of-the-art methods. Similarly, the resulting global planner is computationally more efficient and has a higher success rate, while producing high-quality solutions for non-monotone instances (i.e., only 1.3 additional actions are needed on average). Videos of demonstrating solutions on a real robotic system and codes can be found at https://github.com/Rui1223/uniform_object_rearrangement.


title: First-mover advantage explains gender disparities in physics citations

abstract: Mounting evidence suggests that publications and citations of scholars in the STEM fields (Science, Technology, Engineering and Mathematics) suffer from gender biases. In this paper, we study the physics community, a core STEM field in which women are still largely underrepresented and where these gender disparities persist. To reveal such inequalities, we compare the citations received by papers led by men and women that cover the same topics in a comparable way. To do that, we devise a robust statistical measure of similarity between publications that enables us to detect pairs of similar papers. Our findings indicate that although papers written by women tend to have lower visibility in the citation network, pairs of similar papers written by men and women receive comparable attention when corrected for the time of publication. These analyses suggest that gender disparity is closely related to the first-mover and cumulative advantage that men have in physics, and is not an intentional act of discrimination towards women.


title: Crystal slow extraction of positrons from DAFNE: the SHERPA project

abstract: The SHERPA project aim is to develop an efficient technique to extract a positron beam from one of the accelerator rings composing the DAFNE complex at the Frascati National Laboratory of INFN, setting up a new beam line able to deliver positron spills of O(ms) length, excellent beam energy spread and emittance. The most common approach to slowly extract from a ring is to increase betatron oscillations approaching a tune resonance in order to gradually eject particles from the circulating beam. SHERPA proposes a paradigm change using coherent processes in bent crystals to kick out positrons from the ring, a cheaper and less complex alternative. A description of this innovative non-resonant extraction technique is reported in this manuscript, including its performance preliminary estimation.


title: Combined Regularization and Discretization of Equilibrium Problems and Primal-Dual Gap Estimators

abstract: The present work aims at the application of finite element discretizations to a class of equilibrium problems involving moving constraints. Therefore, a Moreau--Yosida based regularization technique, controlled by a parameter, is discussed and, using a generalized $\Gamma$-convergence concept, a priori convergence results are derived. The latter technique is applied to the discretization of the regularized problems and is used to prove the convergence to the orginal equilibrium problem, when both -- regularization and discretization -- are imposed simultaneously. In addition, a primal-dual gap technique is used for the derivation of error estimators suitable for adaptive mesh refinement. A strategy for balancing between a refinement of the mesh and an update of the regularization parameter is established, too. The theoretical findings are illustrated for the obstacle problem as well as numerical experiments are performed for two quasi-variational inequalities with application to thermoforming and biomedicine, respectively.


title: NNLO QCD corrections to weak boson fusion Higgs boson production in the $H \to b\bar b$ and $H \to WW^* \to 4l$ decay channels

abstract: We compute the next-to-next-to-leading order QCD corrections to Higgs boson production in weak boson fusion followed by its decay to a $b\bar b$ pair or to a pair of leptonically-decaying $W$ bosons. Our calculation allows us to compute realistic fiducial cross sections and assess the impact of fiducial cuts applied to the Higgs boson decay products on the magnitude of QCD radiative corrections in weak boson fusion.


title: Truncated Euler-Maruyama method for time-changed stochastic differential equations with super-linear state variables and H\"older's continuous time variables

abstract: An explicit numerical method is developed for a class of non-autonomous time-changed stochastic differential equations, whose coefficients obey H\"older's continuity in terms of the time variables and are allowed to grow super-linearly in terms of the state variables. The strong convergence of the method in the finite time interval is proved and the convergence rate is obtained. Numerical simulations are provided.


title: Randomized Nystr\"om Preconditioning

abstract: This paper introduces the Nystr\"om PCG algorithm for solving a symmetric positive-definite linear system. The algorithm applies the randomized Nystr\"om method to form a low-rank approximation of the matrix, which leads to an efficient preconditioner that can be deployed with the conjugate gradient algorithm. Theoretical analysis shows that preconditioned system has constant condition number as soon as the rank of the approximation is comparable with the number of effective degrees of freedom in the matrix. The paper also develops adaptive methods that provably achieve similar performance without knowledge of the effective dimension. Numerical tests show that Nystr\"om PCG can rapidly solve large linear systems that arise in data analysis problems, and it surpasses several competing methods from the literature.


title: Primordial Black Holes as Dark Matter Candidates

abstract: We review the formation and evaporation of primordial black holes (PBHs) and their possible contribution to dark matter. Various constraints suggest they could only provide most of it in the mass windows $10^{17}$ - $10^{23}\,$g or $10$ - $10^{2}\,M_{\odot}$, with the last possibility perhaps being suggested by the LIGO/Virgo observations. However, PBHs could have important consequences even if they have a low cosmological density. Sufficiently large ones might generate cosmic structures and provide seeds for the supermassive black holes in galactic nuclei. Planck-mass relics of PBH evaporations or stupendously large black holes bigger than $10^{12}\,M_{\odot}$ could also be an interesting dark component.


title: A Sublime Opportunity: The Dynamics of Transitioning Cometary Bodies and the Feasibility of $\textit{In Situ}$ Observations of The Evolution of Their Activity

abstract: The compositional and morphological evolution of minor bodies in the Solar System is primarily driven by the evolution of their heliocentric distances, as the level of incident solar radiation regulates cometary activity. We investigate the dynamical transfer of Centaurs into the inner Solar System, facilitated by mean motion resonances with Jupiter and Saturn. The recently discovered object, P/2019 LD2, will transition from the Centaur region to the inner Solar System in 2063. In order to contextualize LD2, we perform N-body simulations of a population of Centaurs and JFCs. Objects between Jupiter and Saturn with Tisserand parameter $T_J\sim$3 are transferred onto orbits with perihelia $q<4$au within the next 1000 years with notably high efficiency. Our simulations show that there may be additional LD2-like objects transitioning into the inner Solar System in the near-term future, all of which have low $\Delta$V with respect to Jupiter. We calculate the distribution of orbital elements resulting from a single Jovian encounter and show that objects with initial perihelia close to Jupiter are efficiently scattered to $q<4$au. Moreover, approximately $55\%$ of the transitioning objects in our simulated population experience at least 1 Jovian encounter prior to reaching $q<4$au. We demonstrate that a spacecraft stationed near Jupiter would be well-positioned to rendezvous, orbit match, and accompany LD2 into the inner Solar System, providing an opportunity to observe the onset of intense activity in a pristine comet $\textit{in situ}$. Finally, we discuss the prospect of identifying additional targets for similar measurements with forthcoming observational facilities.


title: Spin-resolved thermal signatures of Majorana-Kondo interplay in double quantum dots

abstract: We investigate theoretically the thermoelectric transport properties of a T-shaped double quantum dot side-coupled to a topological superconducting nanowire hosting Majorana zero-energy modes. The calculations are performed using the numerical renormalization group method focusing on the transport regime, where the system exhibits the two-stage Kondo effect. It is shown that the leakage of Majorana quasiparticles into the double dot system results in a half-suppression of the second stage of the Kondo effect, which is revealed through fractional values of the charge and heat conductances and gives rise to new resonances in the Seebeck coefficient. The heat conductance is found to satisfy a modified Wiedemann-Franz law. Finally, the interplay of Majorana-induced interference with strong electron correlations is discussed in the behavior of the spin Seebeck effect, a unique feature of the considered setup.


title: Multi-Stage Linear Decision Rules for Stochastic Control of Natural Gas Networks with Linepack

abstract: The disturbances from variable and uncertain renewable generation propagate from power systems to natural gas networks, causing gas network operators to adjust gas supply nominations to ensure operational security. To alleviate expensive supply adjustments, we develop control policies to leverage instead the flexibility of linepack -- the gas stored in pipelines -- to balance stochastic gas extractions. These policies are based on multi-stage linear decision rules optimized on a finite discrete horizon to guide controllable network components, such as compressors and valves, towards feasible operations. Our approach offers several control applications. First, it treats the linepack as a main source of flexibility to balance disturbances from power systems without substantial impacts on nominal gas supply. Second, these policies can be optimized to minimize the variability (due to intermittency of renewables) and variance (due to their uncertainty) of network state variables, such as pressures. Finally, it enables topology optimization to decouple network parts and prevent uncertainty propagation through the network. This is demonstrated using illustrative numerical experiments.


title: Collective radiance with NV centers coupled to nonlinear phononic waveguides

abstract: Collective radiance is a fundamental phenomenon in quantum optics. However, these radiation effects remain largely unexplored in the field of quantum acoustics. In this work, we investigate the supercorrelated radiation effects in a nonlinear phononic waveguide that is coupled with NV centers. When the spin's frequency is below the scattering continuum but within the bound-state band of the phonon waveguide, a single NV center dissipates slowly, but two NV centers can exhibit a rapid exponential decay. When multiple NV spins are considered, supercorrelated radiance occurs at a rate N times faster than Dicke superradiance. The peak of the state distribution in supercorrelated radiance jumps directly from $|m=N/2\rangle$ to $|m=-N/2\rangle$, distinguished from the continuous shift of the peak in superradiance. This work provides deeper insight into the collective radiation effect and may find interesting applications in quantum information processing.


title: A CMS Level-1 Track Finder for the HL-LHC

abstract: The High-Luminosity LHC will put significant demands on trigger systems. To control trigger thresholds, the CMS Collaboration is designing a novel Level-1 track trigger. The Outer Tracker will use modules with pairs of sensor layers to read out hits compatible with charged particles above 2-3 GeV. The system will combine these front-end trigger primitives to reconstruct tracks, providing a measurement of $p_{\mathrm{T}}$, $\eta$ , $\phi$, and $z_{0}$. This presentation will introduce the CMS L1 track finding system: the algorithm and its estimated performance, hardware prototypes, and the unique challenges associated with this system.


title: Colmena: Scalable Machine-Learning-Based Steering of Ensemble Simulations for High Performance Computing

abstract: Scientific applications that involve simulation ensembles can be accelerated greatly by using experiment design methods to select the best simulations to perform. Methods that use machine learning (ML) to create proxy models of simulations show particular promise for guiding ensembles but are challenging to deploy because of the need to coordinate dynamic mixes of simulation and learning tasks. We present Colmena, an open-source Python framework that allows users to steer campaigns by providing just the implementations of individual tasks plus the logic used to choose which tasks to execute when. Colmena handles task dispatch, results collation, ML model invocation, and ML model (re)training, using Parsl to execute tasks on HPC systems. We describe the design of Colmena and illustrate its capabilities by applying it to electrolyte design, where it both scales to 65536 CPUs and accelerates the discovery rate for high-performance molecules by a factor of 100 over unguided searches.


title: Improving IGM temperature constraints using wavelet analysis on high-redshift quasars

abstract: The thermal state of the intergalactic medium (IGM) contains vital information about the epoch of reionization, one of the most transformative yet poorly understood periods in the young universe. This thermal state is encoded in the small-scale structure of Lyman-$\alpha$ (Ly$\alpha$) absorption in quasar spectra. The 1D flux power spectrum measures the average small-scale structure along quasar sightlines. At high redshifts, where the opacity is large, averaging mixes high signal-to-noise ratio transmission spikes with noisy absorption troughs. Wavelet amplitudes are an alternate statistic that maintains spatial information while quantifying fluctuations at the same spatial frequencies as the power spectrum, giving them the potential to more sensitively measure the small-scale structure. Previous Ly$\alpha$ forest studies using wavelet amplitude probability density functions (PDFs) used limited spatial frequencies and neglected strong correlations between PDF bins and across wavelets scales, resulting in sub-optimal and unreliable parameter inference. Here we present a novel method for performing statistical inference using wavelet amplitude PDFs that spans the full range of spatial frequencies probed by the power spectrum and that fully accounts for these correlations. We applied this procedure to realistic mock data drawn from a simple thermal model parameterized by the temperature at mean density, $T_0$, and find that wavelets deliver 1$\sigma$ constraints on $T_0$ that are on average 7% more sensitive at $z=5$ (12% at $z=6$) than those from the power spectrum. We consider the possibility of combing wavelet PDFs with the power, but find that this does not lead to improved sensitivity.


title: Semantic Prediction: Which One Should Come First, Recognition or Prediction?

abstract: The ultimate goal of video prediction is not forecasting future pixel-values given some previous frames. Rather, the end goal of video prediction is to discover valuable internal representations from the vast amount of available unlabeled video data in a self-supervised fashion for downstream tasks. One of the primary downstream tasks is interpreting the scene's semantic composition and using it for decision-making. For example, by predicting human movements, an observer can anticipate human activities and collaborate in a shared workspace. There are two main ways to achieve the same outcome, given a pre-trained video prediction and pre-trained semantic extraction model; one can first apply predictions and then extract semantics or first extract semantics and then predict. We investigate these configurations using the Local Frequency Domain Transformer Network (LFDTN) as the video prediction model and U-Net as the semantic extraction model on synthetic and real datasets.


title: Parameterized Algorithms for the Steiner Arborescence Problem on a Hypercube

abstract: Motivated by a phylogeny reconstruction problem in evolutionary biology, we study the minimum Steiner arborescence problem on directed hypercubes (MSA-DH). Given $m$, representing the directed hypercube $\vec{Q}_m$, and a set of terminals $R$, the problem asks to find a Steiner arborescence that spans $R$ with minimum cost. As $m$ implicitly represents $\vec{Q}_m$ comprising $2^{m}$ vertices, the running time analyses of traditional Steiner tree algorithms on general graphs does not give a clear understanding of the actual complexity of this problem. We present algorithms that exploit the structure of the hypercube and run in time polynomial in $|R|$ and $m$. We explore the MSA-DH problem on three natural parameters - $R$, and two above-guarantee parameters, number of Steiner nodes $p$ and penalty $q$. For above-guarantee parameters, the parameterized MSA-DH problem takes $p \geq 0$ or $q\geq 0$ as input, and outputs a Steiner arborescence with at most $|R| + p - 1$ or $m + q$ edges respectively. We present the following results ($\tilde{\mathcal{O}}$ hides the polynomial factors): 1. An exact algorithm that runs in $\tilde{\mathcal{O}}(3^{|R|})$ time. 2. A randomized algorithm that runs in $\tilde{\mathcal{O}}(9^q)$ time with success probability $\geq 4^{-q}$. 3. An exact algorithm that runs in $\tilde{\mathcal{O}}(36^q)$ time. 4. A $(1+q)$-approximation algorithm that runs in $\tilde{\mathcal{O}}(1.25284^q)$ time. 5. An $\mathcal{O}\left(p\ell_{\mathrm{max}} \right)$-additive approximation algorithm that runs in $\tilde{\mathcal{O}}(\ell_{\mathrm{max}}^{p+2})$ time, where $\ell_{\mathrm{max}}$ is the maximum distance of any terminal from the root.


title: Lattice paths with a first return decomposition constrained by the maximal height of a pattern

abstract: We consider the system of equations $A_k(x)=p(x)A_{k-1}(x)(q(x)+\sum_{i=0}^k A_i(x))$ for $k\geq r+1$ where $A_i(x)$, $0\leq i \leq r$, are some given functions and show how to obtain a close form for $A(x)=\sum_{k\geq 0}A_k(x)$. We apply this general result to the enumeration of certain subsets of Dyck, Motzkin, skew Dyck, and skew Motzkin paths, defined recursively according to the first return decomposition with a monotonically non-increasing condition relative to the maximal ordinate reached by an occurrence of a given pattern $\pi$.


title: Hydrodynamical Simulations of the Triggering of Nuclear Activities by Minor Mergers of Galaxies

abstract: Major mergers of galaxies are considered to be an efficient way to trigger Active Galactic Nuclei and are thought to be responsible for the phenomenon of quasars. This has however recently been challenged by observations of a large number of low luminosity Active Galactic Nuclei at low redshift ($z\lesssim1$) without obvious major merger signatures. Minor mergers are frequently proposed to explain the existence of these Active Galactic Nuclei. In this paper, we perform nine high resolution hydrodynamical simulations of minor galaxy mergers and investigate whether nuclear activities can be efficiently triggered by minor mergers, by setting various properties for the progenitor galaxies of those mergers. We find that minor galaxy merger scan activate the massive black hole in the primary galaxy with an Eddington ratio of $f_{\rm Edd}>0.01$ and $>0.05$ (or a bolometric luminosity $>10^{43}$ and $>10^{44}\mathrm{erg\, s^{-1}}$) with a duration of $2.71$ and $0.49$ Gyr (or $2.69$ and $0.19$ Gyr), respectively. The nuclear activity of primary galaxy strongly depends on the nucleus separation, the nucleus is more active as the two nuclei approach to each other. Dual Active Galactic Nuclei systems can still possibly form by minor mergers of galaxies, the time period for dual Active Galactic Nuclei is only $\sim 0.011$ Gyr and $\sim 0.017$ Gyr with Eddington ratio of $f_{\rm Edd}>0.05$ and bolometric luminosity $>10^{44}\mathrm{erg\, s^{-1}}$. This time period is typically shorter than that of dual Active Galactic Nuclei induced by galaxy major mergers.


title: Shallow Features Guide Unsupervised Domain Adaptation for Semantic Segmentation at Class Boundaries

abstract: Although deep neural networks have achieved remarkable results for the task of semantic segmentation, they usually fail to generalize towards new domains, especially when performing synthetic-to-real adaptation. Such domain shift is particularly noticeable along class boundaries, invalidating one of the main goals of semantic segmentation that consists in obtaining sharp segmentation masks. In this work, we specifically address this core problem in the context of Unsupervised Domain Adaptation and present a novel low-level adaptation strategy that allows us to obtain sharp predictions. Moreover, inspired by recent self-training techniques, we introduce an effective data augmentation that alleviates the noise typically present at semantic boundaries when employing pseudo-labels for self-training. Our contributions can be easily integrated into other popular adaptation frameworks, and extensive experiments show that they effectively improve performance along class boundaries.


title: Relation Prediction as an Auxiliary Training Objective for Improving Multi-Relational Graph Representations

abstract: Learning good representations on multi-relational graphs is essential to knowledge base completion (KBC). In this paper, we propose a new self-supervised training objective for multi-relational graph representation learning, via simply incorporating relation prediction into the commonly used 1vsAll objective. The new training objective contains not only terms for predicting the subject and object of a given triple, but also a term for predicting the relation type. We analyse how this new objective impacts multi-relational learning in KBC: experiments on a variety of datasets and models show that relation prediction can significantly improve entity ranking, the most widely used evaluation task for KBC, yielding a 6.1% increase in MRR and 9.9% increase in Hits@1 on FB15k-237 as well as a 3.1% increase in MRR and 3.4% in Hits@1 on Aristo-v4. Moreover, we observe that the proposed objective is especially effective on highly multi-relational datasets, i.e. datasets with a large number of predicates, and generates better representations when larger embedding sizes are used.


title: Characterizing the Experience of Subjects in Software Engineering Studies

abstract: Context: Empirical studies in software engineering are typically centered on human subjects, ranging from novice to experienced developers. The experience of these individuals is a key context factor that should be properly characterized for supporting the design of empirical studies and interpreting their results. However, the criteria adopted for characterizing the experience of subjects do not follow a standard and are frequently limited. Goal: Our research aims at establishing an optimized and comprehensive scheme to characterize the subjects' experience for studies in software engineering. Method: Based on previous work, we defined the first version of this scheme, composed of three experience attributes, including time, number of projects, and self-perception. In the last years, we applied the characterization scheme over four empirical studies, reaching the characterization of 79 subjects in three different skills. Results: We found that the attributes from our scheme are positively but moderately correlated. This finding suggests these attributes play a complementary role in characterizing the subjects' experience. Besides, we found that study subjects tend to enumerate the technical diversity of their background when summarizing their professional experience. Conclusion: The scheme proposed represents a feasible alternative for characterizing subjects of empirical studies in the field. However, we intend to conduct additional investigations with developers to evolve it.


title: Beyond quadratic speedups in quantum attacks on symmetric schemes

abstract: In this paper, we report the first quantum key-recovery attack on a symmetric block cipher design, using classical queries only, with a more than quadratic time speedup compared to the best classical attack. We study the 2XOR-Cascade construction of Ga\v{z}i and Tessaro (EUROCRYPT~2012). It is a key length extension technique which provides an n-bit block cipher with 5n/2 bits of security out of an n-bit block cipher with 2n bits of key, with a security proof in the ideal model. We show that the offline-Simon algorithm of Bonnetain et al. (ASIACRYPT~2019) can be extended to, in particular, attack this construction in quantum time \~O($2^n$), providing a 2.5 quantum speedup over the best classical attack. Regarding post-quantum security of symmetric ciphers, it is commonly assumed that doubling the key sizes is a sufficient precaution. This is because Grover's quantum search algorithm, and its derivatives, can only reach a quadratic speedup at most. Our attack shows that the structure of some symmetric constructions can be exploited to overcome this limit. In particular, the 2XOR-Cascade cannot be used to generically strengthen block ciphers against quantum adversaries, as it would offer only the same security as the block cipher itself.


title: Dissipation-assisted preparation of steady spin-squeezed states of SiV centers

abstract: We propose an efficient scheme for generating spin-squeezed states at steady state in a spin-mechanical hybrid system, where an ensemble of SiV centers are coupled to a strongly damped nanomechanical resonator. We show that,there exists a collective steady state in the system, which is exactly formed by the collective spin states plus the zero excitation state of the mechanical mode. The generation of the steady spin-squeezed state is based on a dissipative quantum dynamical process in which the mechanical dissipation plays a positive role but without destroying the target state. We demonstrate that the spin-squeezed steady state can be deterministically prepared via dissipative means, with the optimal spin squeezing up to 4/N in the ideal case, where N is the number of spins. This work provides a promising platform for quantum information processing and quantum metrology.


title: Conformal geometry of isotropic curves in the complex quadric

abstract: Let $\mathbb{Q}_3$ be the complex 3-quadric endowed with its standard complex conformal structure. We study the complex conformal geometry of isotropic curves in $\mathbb{Q}_3$. By an isotropic curve we mean a nonconstant holomorphic map from a Riemann surface into $\mathbb{Q}_3$, null with respect to the conformal structure of $\mathbb{Q}_3$. The relations between isotropic curves and a number of relevant classes of surfaces in Riemannian and Lorentzian spaceforms are discussed.


title: Census-Independent Population Estimation using Representation Learning

abstract: Knowledge of population distribution is critical for building infrastructure, distributing resources, and monitoring the progress of sustainable development goals. Although censuses can provide this information, they are typically conducted every ten years with some countries having forgone the process for several decades. Population can change in the intercensal period due to rapid migration, development, urbanisation, natural disasters, and conflicts. Census-independent population estimation approaches using alternative data sources, such as satellite imagery, have shown promise in providing frequent and reliable population estimates locally. Existing approaches, however, require significant human supervision, for example annotating buildings and accessing various public datasets, and therefore, are not easily reproducible. We explore recent representation learning approaches, and assess the transferability of representations to population estimation in Mozambique. Using representation learning reduces required human supervision, since features are extracted automatically, making the process of population estimation more sustainable and likely to be transferable to other regions or countries. We compare the resulting population estimates to existing population products from GRID3, Facebook (HRSL) and WorldPop. We observe that our approach matches the most accurate of these maps, and is interpretable in the sense that it recognises built-up areas to be an informative indicator of population.


title: Average scattering entropy for periodic, aperiodic and random distribution of vertices in simple quantum graphs

abstract: This work deals with the average scattering entropy of quantum graphs. We explore this concept in several distinct scenarios that involve periodic, aperiodic and random distribution of vertices of distinct degrees. In particular, we compare distinct situations to see how they behave as we change the arrangements of vertices and the topology and geometry of the proposed structures. The results show that the average scattering entropy may depend on the number of vertices, and on the topological and geometrical disposition of vertices and edges of the quantum graph. In this sense, it can be seen as another tool to be used to explore geometric and topological effects of current interest for quantum systems.


title: Regularized inverse Brascamp--Lieb inequalities

abstract: Given any (forward) Brascamp--Lieb inequality on euclidean space, a famous theorem of Lieb guarantees that gaussian near-maximizers always exist. Recently, Barthe and Wolff used mass transportation techniques to establish a counterpart to Lieb's theorem for all non-degenerate cases of the inverse Brascamp--Lieb inequality. Here we build on work of Chen--Dafnis--Paouris and employ heat-flow techniques to understand the inverse Brascamp--Lieb inequality for certain regularized input functions, in particular extending the Barthe--Wolff theorem to such a setting. Inspiration arose from work of Bennett, Carbery, Christ and Tao for the forward inequality, as well as Wolff's surprising observation that the gaussian saturation property for the inverse Brascamp--Lieb inequality implies the gaussian saturation property for both the forward Brascamp--Lieb inequality and Barthe's reverse Brascamp--Lieb inequality.