title: Open-system modeling of quantum annealing: theory and applications

abstract: In this dissertation, we explore how quantum annealing (QA) and its applications behave in an open system setting. We give derivations and numerical recipes for effective parallel simulation methods for time-dependent open dynamics of quantum annealing devices. We consider the weak-coupling limit to an environment and also the case of $1/f$ noise. The stochastic time-dependent quantum trajectories technique can be utilized in studying weak measurements and feedback error correction in quantum annealing. Then we focus on opensystem descriptions of reverse annealing (RA), which is a promising variant and application of quantum annealing. We show that, with various simulation tools, reverse annealing can benefit from the interaction between the annealer and its environment.


title: On the expressivity of bi-Lipschitz normalizing flows

abstract: An invertible function is bi-Lipschitz if both the function and its inverse have bounded Lipschitz constants. Nowadays, most Normalizing Flows are bi-Lipschitz by design or by training to limit numerical errors (among other things). In this paper, we discuss the expressivity of bi-Lipschitz Normalizing Flows and identify several target distributions that are difficult to approximate using such models. Then, we characterize the expressivity of bi-Lipschitz Normalizing Flows by giving several lower bounds on the Total Variation distance between these particularly unfavorable distributions and their best possible approximation. Finally, we discuss potential remedies which include using more complex latent distributions.


title: Genetic CFL: Optimization of Hyper-Parameters in Clustered Federated Learning

abstract: Federated learning (FL) is a distributed model for deep learning that integrates client-server architecture, edge computing, and real-time intelligence. FL has the capability of revolutionizing machine learning (ML) but lacks in the practicality of implementation due to technological limitations, communication overhead, non-IID (independent and identically distributed) data, and privacy concerns. Training a ML model over heterogeneous non-IID data highly degrades the convergence rate and performance. The existing traditional and clustered FL algorithms exhibit two main limitations, including inefficient client training and static hyper-parameter utilization. To overcome these limitations, we propose a novel hybrid algorithm, namely genetic clustered FL (Genetic CFL), that clusters edge devices based on the training hyper-parameters and genetically modifies the parameters cluster-wise. Then, we introduce an algorithm that drastically increases the individual cluster accuracy by integrating the density-based clustering and genetic hyper-parameter optimization. The results are bench-marked using MNIST handwritten digit dataset and the CIFAR-10 dataset. The proposed genetic CFL shows significant improvements and works well with realistic cases of non-IID and ambiguous data.


title: Two-dimensional Cahn-Hilliard simulations for coarsening kinetics of spinodal decomposition in binary mixtures

abstract: The evolution of the microstructure due to spinodal decomposition in phase separated mixtures has a strong impact on the final material properties. In the late stage of coarsening, the system is characterized by the growth of a single characteristic length scale $L\sim C t^{\alpha}$. To understand the structure-property relationship, the knowledge of the coarsening exponent $\alpha$ and the coarsening rate constant $C$ is mandatory. Since the existing literature is not entirely consistent, we perform phase field simulations based on the Cahn-Hilliard equation. We restrict ourselves to binary mixtures using a symmetric Flory-Huggins free energy and a constant mobility term and show that the coarsening for off-critical mixtures is slower than the expected $t^{1/3}$-growth. Instead, we find $\alpha$ to be dependent on the mixture composition and thus from the morphology. Finally, we propose a model to describe the complete coarsening kinetics including the rate constant $C$.


title: Deep Automatic Natural Image Matting

abstract: Automatic image matting (AIM) refers to estimating the soft foreground from an arbitrary natural image without any auxiliary input like trimap, which is useful for image editing. Prior methods try to learn semantic features to aid the matting process while being limited to images with salient opaque foregrounds such as humans and animals. In this paper, we investigate the difficulties when extending them to natural images with salient transparent/meticulous foregrounds or non-salient foregrounds. To address the problem, a novel end-to-end matting network is proposed, which can predict a generalized trimap for any image of the above types as a unified semantic representation. Simultaneously, the learned semantic features guide the matting network to focus on the transition areas via an attention mechanism. We also construct a test set AIM-500 that contains 500 diverse natural images covering all types along with manually labeled alpha mattes, making it feasible to benchmark the generalization ability of AIM models. Results of the experiments demonstrate that our network trained on available composite matting datasets outperforms existing methods both objectively and subjectively. The source code and dataset are available at https://github.com/JizhiziLi/AIM.


title: The $L^1$-relaxed area of the graph of the vortex map

abstract: We compute the value of the $L^1$-relaxed area of the graph of the map $u : B_l(0)\subset \mathbb R^2 \mapsto \mathbb R^2$, $u(x):= x/\vert x\vert$, $x \neq 0$, for all values of $l>0$. Interestingly, for $l$ in a certain range, in particular $l$ not too large, a Plateau-type problem, having as solution a sort of catenoid constrained to contain a segment, has to be solved.


title: Magnetic properties of {M$_4$} coordination clusters with different magnetic cores (M=Co, Mn)

abstract: We present a joint experimental and theoretical characterization of the magnetic properties of coordination clusters with an antiferromagnetic core of four magnetic ions. Two different compounds are analyzed, with Co and Mn ions in the core. While both molecules are antiferromagnetic, they display different sensitivities to external magnetic field, according to the different strength of the intra-molecular magnetic coupling. In particular, the dependence of the magnetization versus field of the two molecules switches with temperatures: at low temperature the magnetization is smaller in \{Mn$_4$\}, while the opposite happens at high temperature. Through a detailed analysis of the electronic and magnetic properties of the two compounds we identify a stronger magnetic interaction between the magnetic ions in \{Mn$_4$\} with respect to \{Co$_4$\}. Moreover \{Co$_4$\} displays not negligible spin-orbit related effects that could affect the spin lifetime in future antiferromagnetic spintronic applications. We highlight the necessity to account for these spin-orbit effects for a reliable description of these compounds.


title: Exploiting fermion number in factorized decompositions of the electronic structure Hamiltonian

abstract: Achieving an accurate description of fermionic systems typically requires considerably many more orbitals than fermions. Previous resource analyses of quantum chemistry simulation often failed to exploit this low fermionic number information in the implementation of Trotter-based approaches and overestimated the quantum-computer runtime as a result. They also depended on numerical procedures that are computationally too expensive to scale up to large systems of practical interest. Here we propose techniques that solve both problems by using various factorized decompositions of the electronic structure Hamiltonian. We showcase our techniques for the uniform electron gas, finding substantial (over 100x) improvements in Trotter error for low-filling fraction and pushing to much higher numbers of orbitals than is possible with existing methods. Finally, we calculate the T-count to perform phase-estimation on Jellium. In the low-filling regime, we observe improvements in gate complexity of over 10x compared to the best Trotter-based approach reported to date. We also report gate counts competitive with qubitization-based approaches for Wigner-Seitz values of physical interest.


title: Physics to the rescue?

abstract: A vast body of literature addresses the complex nature of science's reproducibility crisis. In contrast with this perceived complexity, some recent papers from the discipline of physics suggests that irreproducibility does not point to a systemic crisis, but is, on the contrary, a sign that the science system works properly. These works, while acknowledging the difference between physics and other disciplines mired in the reproducibility crisis, hint that all disciplines could learn from Physics. The present work suggests that this optimistic message, when addressed to struggling disciplines, may invite complacency over other relevant dimensions of crisis, delay its solution, and get into the way of a truly joint effort from all disciplines to tackle the important social and environmental predicaments of the present age.


title: Subnet Replacement: Deployment-stage backdoor attack against deep neural networks in gray-box setting

abstract: We study the realistic potential of conducting backdoor attack against deep neural networks (DNNs) during deployment stage. Specifically, our goal is to design a deployment-stage backdoor attack algorithm that is both threatening and realistically implementable. To this end, we propose Subnet Replacement Attack (SRA), which is capable of embedding backdoor into DNNs by directly modifying a limited number of model parameters. Considering the realistic practicability, we abandon the strong white-box assumption widely adopted in existing studies, instead, our algorithm works in a gray-box setting, where architecture information of the victim model is available but the adversaries do not have any knowledge of parameter values. The key philosophy underlying our approach is -- given any neural network instance (regardless of its specific parameter values) of a certain architecture, we can always embed a backdoor into that model instance, by replacing a very narrow subnet of a benign model (without backdoor) with a malicious backdoor subnet, which is designed to be sensitive (fire large activation value) to a particular backdoor trigger pattern.


title: Orbit determination just from historical observations? Test case: The comet of AD 760 is identified as 1P/Halley

abstract: Recent advances in techniques of critical close reading of historical texts can now be applied to records of pre-telescopic celestial observations - allowing significant progress for analyzing and solving orbits of past comets: we exemplify our method by solving the orbit of the comet in AD 760 only with historical observations and then identify it with 1P/Halley. A detailed eyewitness record with drawing of a comet in AD 760 in the Syriac Chronicle of Zuqnin (finished AD 775/6) was not yet included in the study of its orbit - the Chinese reports alone do not yield a sufficient number of dated positions. We analyze the Syriac and Chinese sources with critical methods for quantitative astronomical usage, we also consider a few further records from the Mediterranean and West Asian area. With our conservatively derived dated positions we can determine the best fitting Keplerian orbital solution by least squares fitting yielding the orbital elements; the parameter ranges for non-periodic solutions and highly eccentric periodic solutions are consistent with each other. The allowed parameter ranges for perihelion distance and inclination are sufficiently small to identify the comet with 1P/Halley. Although 1P/Halley is the only comet, where the telescopic orbit is credibly linked to pre-telescopic returns, e.g. to AD 760, our identification confirms claims from extrapolating telescopic observations backward in time - here independently based on historical data. In particular, we obtained a precise perihelion time (760 May 19.1 \pm 1.7). The inferior conjunction between comet and Sun as on the previously published orbit (760 May 31.9) is shifted by about one day compared to our new orbit (June 1.8), only the new one is consistent with the last observation (June 1.0) before conjunction as reported in the Chronicle of Zuqnin. We also study the comet's brightness evolution ...


title: Dihedral twist liquid models from emergent Majorana fermions

abstract: We present a family of electron-based coupled-wire models of bosonic orbifold topological phases, referred to as twist liquids, in two spatial dimensions. All local fermion degrees of freedom are gapped and removed from the topological order by many-body interactions. Bosonic chiral spin liquids and anyonic superconductors are constructed on an array of interacting wires, each supports emergent massless Majorana fermions that are non-local (fractional) and constitute the $SO(N)$ Kac-Moody Wess-Zumino-Witten algebra at level 1. We focus on the dihedral $D_k$ symmetry of $SO(2n)_1$, and its promotion to a gauge symmetry by manipulating the locality of fermion pairs. Gauging the symmetry (sub)group generates the $\mathcal{C}/G$ twist liquids, where $G=\mathbb{Z}_2$ for $\mathcal{C}=U(1)_l$, $SU(n)_1$, and $G=\mathbb{Z}_2$, $\mathbb{Z}_k$, $D_k$ for $\mathcal{C}=SO(2n)_1$. We construct exactly solvable models for all of these topological states. We prove the presence of a bulk excitation energy gap and demonstrate the appearance of edge orbifold conformal field theories corresponding to the twist liquid topological orders. We analyze the statistical properties of the anyon excitations, including the non-Abelian metaplectic anyons and a new class of quasiparticles referred to as Ising-fluxons. We show an eight-fold periodic gauging pattern in $SO(2n)_1/G$ by identifying the non-chiral components of the twist liquids with discrete gauge theories.


title: VILENS: Visual, Inertial, Lidar, and Leg Odometry for All-Terrain Legged Robots

abstract: We present VILENS (Visual Inertial Lidar Legged Navigation System), an odometry system for legged robots based on factor graphs. The key novelty is the tight fusion of four different sensor modalities to achieve reliable operation when the individual sensors would otherwise produce degenerate estimation. To minimize leg odometry drift, we extend the robot's state with a linear velocity bias term which is estimated online. This bias is observable because of the tight fusion of this preintegrated velocity factor with vision, lidar, and IMU factors. Extensive experimental validation on different ANYmal quadruped robots is presented, for a total duration of 2 h and 1.8 km traveled. The experiments involved dynamic locomotion over loose rocks, slopes, and mud which caused challenges like slippage and terrain deformation. Perceptual challenges included dark and dusty underground caverns, and open and feature-deprived areas. We show an average improvement of 62% translational and 51% rotational errors compared to a state-of-the-art loosely coupled approach. To demonstrate its robustness, VILENS was also integrated with a perceptive controller and a local path planner.


title: Multipolar nematic state of nonmagnetic FeSe based on the DFT+$U$

abstract: Clarifying the origin of nematic state in FeSe is one of urgent problems in the field of iron-based superconductivity. Motivated by the discovery of a nematic solution in the density-functional theory implemented by on-site Coulomb interaction (DFT+$U$) [npj Quantum Mater. \textbf{5}, 50 (2020)], we reexamine the $U$ dependence of electronic states in the nonmagnetic normal state of FeSe and perform full multipolar analyses for the nematic state. We find that with increasing $U$ the normal state experiences a topological change in the Fermi surfaces before the emergence of a nematic ground state. The resulting nematic ground state is a multipolar state having both antiferrohexadecapoles in the $E$ representation and ferromultipoles in the $B_2$ representation on each Fe site. Cooperative coupling between the $E$ and the $B_2$ multipoles in the local coordinate with the $D_{2d}$ point group will play an important role in the formation of the $d_{xz},~d_{yz}$ orbital-splitting nematic state not only in FeSe, but also in other iron pnictides.


title: A simple evaluation of a theta value and the Kronecker limit formula

abstract: We evaluate the classic sum $\sum_{n\in\mathbb{Z}} e^{-\pi n^2}$. The novelty of our approach is that it does not require any prior knowledge about modular forms, elliptic functions or analytic continuations. Even the $\Gamma$ function, in terms of which the result is expressed, only appears as a complex function in the computation of a real integral by the residue theorem. Another contribution of this note is to provide a very simple proof of the Kronecker limit formula.


title: Estimation of spatially varying parameters with application to hyperbolic SPDEs

abstract: Parameter estimation is a growing area of interest in statistical signal processing. Some parameters in real-life applications vary in space as opposed to those that are static. Most common methods in estimating parameters involve solving an optimization problem where the cost function is assembled variously; for example, maximum likelihood and maximum a posteriori methods. However, these methods do not have exact solutions to most real-life problems. It is for this reason that Monte Carlo methods are preferred. In this paper, we treat the estimation of parameters which vary with space. We use Metropolis-Hastings algorithm as a selection criteria for the maximum filter likelihood. Comparisons are made with the use of joint estimation of both the spatially varying parameters and the state. We illustrate the procedures employed in this paper by means of two hyperbolic SPDEs: the advection and the wave equation. The Metropolis-Hastings procedure registers better estimates.


title: Theoretical analysis of the leptonic decays $B\to \ell \ell \ell'\bar\nu_{\ell'}$

abstract: We discuss the amplitude of the $B\to l^+l^-l'\nu'$ decays and the differential decay rate $d^2\Gamma/dq^2dq'^2$, $q$ the momentum of the $l^+l^-$ pair emitted from the electromagnetic vertex and $q'$ the momentum of the $l'\nu'$ pair emitted from the weak vertex. For the relevant form factors, we construct dispersion representations in $q^2$ which consistently take into account the Ward identity constraints at $q^2=0$ and the contributions of light vector resonances. This allows a reliable description of the form factors in the range $0 < q^2 \le 1$ GeV$^2$ that saturates around 99% of the decay rate. The differential decay rate behaves at small $q^2$ as $d\Gamma(B\to l^+l^-l' \nu')/dq^2\propto 1/q^2$ in the limit $m'_l=0$, but contains also more singlular contribution of order ${m'^2_l}/q^4$, which we take into account. For the case $m_l'\le m_l$, the latter may be neglected and one obtains a mild logarithmic dependence of $\Gamma(B\to l^{+}l^{-}l'\nu')$ on $m_l$. For the case $m_l\ll m'_l$, however, the ${m'^2_l}/q^4$ terms dominate the decay rate leading to $\Gamma(B\to l^{+}l^{-}l'\nu')\sim m'^2_l/m^2_l$. We find the following features of the four-lepton $B$-decays: (i) The decay rates $\Gamma\left(B\to \mu^+\mu^-(\mu \nu_\mu,e\nu_e)\right)$ are fully dominated by the region of light vector resonances $q^2\simeq M_\rho^2, M_\omega^2$; (ii) The decay rate $\Gamma(B\to e^{+}e^{-}e \nu_e)$ receives comparable contributions from the region near $q^2\sim 4m_e^2$ and from the resonance region; (iii) One finds a strong enhancement of the decay rate $\Gamma(B\to e^+e^- \mu \nu_\mu)\sim m_\mu^2/m_e^2$ which is dominated by the region $q^2\sim 4m_e^2$ due to the terms $O(m_\mu^2/q^4)$ in the differential distribution.


title: Generalizations of the Hilbert-Weierstrass Theorem and Tonelli-Morrey Theorem: the Regularity of Solutions of Differential Equations and Optimal Control Problems

abstract: Two Theorems attributed to Hilbert-Weierstrass and Tonelli-Morrey respectively are two classical studies for the regularity discussion around the solutions of some problems in the realm of Calculus of Variations. Now, since differential equations and optimal control problems with high-order have been growing in the literature, addressing the regularity issues for these problems should be paid more attention. In this regard, here, a generalization for the regularity theorems will be presented. It is desired that these theorems will be useful for researchers to prove the regularity properties of differential equations or optimal control problems.


title: Empowered and Embedded: Ethics and Agile Processes

abstract: In this article we focus on the structural aspects of the development of ethical software, and argue that ethical considerations need to be embedded into the (agile) software development process. In fact, we claim that agile processes of software development lend themselves specifically well for this endeavour. First, we contend that ethical evaluations need to go beyond the use of software products and include an evaluation of the software itself. This implies that software engineers influence peoples' lives through the features of their designed products. Embedded values are thus approached best by software engineers themselves. Therefore, we put emphasis on the possibility to implement ethical deliberations in already existing and well established agile software development processes. Our approach relies on software engineers making their own judgments throughout the entire development process to ensure that technical features and ethical evaluation can be addressed adequately to transport and foster desirable values and norms. We argue that agile software development processes may help the implementation of ethical deliberation for five reasons: 1) agile methods are widely spread, 2) their emphasis on flat hierarchies promotes independent thinking, 3) their reliance on existing team structures serve as an incubator for deliberation, 4) agile development enhances object-focused techno-ethical realism, and, finally, 5) agile structures provide a salient endpoint to deliberation.


title: A Low-Complexity Radar Detector Outperforming OS-CFAR for Indoor Drone Obstacle Avoidance

abstract: As radar sensors are being miniaturized, there is a growing interest for using them in indoor sensing applications such as indoor drone obstacle avoidance. In those novel scenarios, radars must perform well in dense scenes with a large number of neighboring scatterers. Central to radar performance is the detection algorithm used to separate targets from the background noise and clutter. Traditionally, most radar systems use conventional CFAR detectors but their performance degrades in indoor scenarios with many reflectors. Inspired by the advances in non-linear target detection, we propose a novel high-performance, yet low-complexity target detector and we experimentally validate our algorithm on a dataset acquired using a radar mounted on a drone. We experimentally show that our proposed algorithm drastically outperforms OS-CFAR (standard detector used in automotive systems) for our specific task of indoor drone navigation with more than 19% higher probability of detection for a given probability of false alarm. We also benchmark our proposed detector against a number of recently proposed multi-target CFAR detectors and show an improvement of 16% in probability of detection compared to CHA-CFAR, with even larger improvements compared to both OR-CFAR and TS-LNCFAR in our particular indoor scenario. To the best of our knowledge, this work improves the state of the art for high-performance yet low-complexity radar detection in critical indoor sensing applications.


title: London model of dual color superconductor

abstract: Following closely the logic of the London phenomenological macroscopic theory of the Meissner effect in superconductors we describe the origin of the short-range behavior of the chromo-electric field, the necessary ingredient for color confinement in QCD. The genuinely non-Abelian model is specified by the strong-coupling colored-gluon current. Its first term, as the superconductivity current, is proportional to the gauge potential. The new term is simply related to the chromo-magnetic pseudo-vector current of the non-Abelian Bianchi identity. We suggest that this London dual color superconductivity current is responsible for the observed almost perfect fluidity in droplets of the strongly interacting quark-gluon plasma. Its chromo-magnetic component should have a specific experimental manifestation.


title: Boltzmann to Landau from the Gradient Flow Perspective

abstract: We revisit the grazing collision limit connecting the Boltzmann equation to the Landau(-Fokker-Planck) equation from their recent reinterpretations as gradient flows. Our results are in the same spirit as the $\Gamma$-convergence of gradient flows technique introduced by Sandier and Serfaty. In this setting, the grazing collision limit reduces to showing the lower semi-continuous convergence of the Boltzmann entropy-dissipation to the Landau entropy-dissipation.


title: MarIA: Spanish Language Models

abstract: This work presents MarIA, a family of Spanish language models and associated resources made available to the industry and the research community. Currently, MarIA includes RoBERTa-base, RoBERTa-large, GPT2 and GPT2-large Spanish language models, which can arguably be presented as the largest and most proficient language models in Spanish. The models were pretrained using a massive corpus of 570GB of clean and deduplicated texts with 135 billion words extracted from the Spanish Web Archive crawled by the National Library of Spain between 2009 and 2019. We assessed the performance of the models with nine existing evaluation datasets and with a novel extractive Question Answering dataset created ex novo. Overall, MarIA models outperform the existing Spanish models across a variety of NLU tasks and training settings.


title: Variable-Horizon Guidance for Autonomous Rendezvous and Docking to a Tumbling Target

abstract: In this paper, the trajectory planning problem for autonomous rendezvous and docking between a controlled spacecraft and a tumbling target is addressed. The use of a variable planning horizon is proposed in order to construct an appropriate maneuver plan, within an optimization-based framework. The involved optimization problem is nonconvex and features nonlinear constraints. The main contribution is to show that such problem can be tackled effectively by solving a finite number of linear programs. To this aim, a specifically conceived horizon search algorithm is employed in combination with a polytopic constraint approximation technique. The resulting guidance scheme provides the ability to identify favourable docking configurations, by exploiting the time-varying nature of the optimization problem endpoint. Simulation results involving the capture of the nonoperational EnviSat spacecraft indicate that the method is able to generate optimal trajectories at a fraction of the computational cost incurred by a state-of-the-art nonlinear solver.


title: PHiLIP on the HiL: Automated Multi-platform OS Testing with External Reference Devices

abstract: Developing an operating system (OS) for low-end embedded devices requires continuous adaptation to new hardware architectures and components, while serviceability of features needs to be assured for each individual platform under tight resource constraints. It is challenging to design a versatile and accurate heterogeneous test environment that is agile enough to cover a continuous evolution of the code base and platforms. This mission is even morehallenging when organized in an agile open-source community process with many contributors such as for the RIOT OS. Hardware in the Loop (HiL) testing and Continuous Integration (CI) are automatable approaches to verify functionality, prevent regressions, and improve the overall quality at development speed in large community projects. In this paper, we present PHiLIP (Primitive Hardware in the Loop Integration Product), an open-source external reference device together with tools that validate the system software while it controls hardware and interprets physical signals. Instead of focusing on a specific test setting, PHiLIP takes the approach of a tool-assisted agile HiL test process, designed for continuous evolution and deployment cycles. We explain its design, describe how it supports HiL tests, evaluate performance metrics, and report on practical experiences of employing PHiLIP in an automated CI test infrastructure. Our initial deployment comprises 22 unique platforms, each of which executes 98 peripheral tests every night. PHiLIP allows for easy extension of low-cost, adaptive testing infrastructures but serves testing techniques and tools to a much wider range of applications.


title: Statistical modeling of corneal OCT speckle. A distributional model-free approach

abstract: In biomedical optics, it is often of interest to statistically model the amplitude of the speckle using some distributional models with their parameters acting as biomarkers. In this paper, a paradigm shift is being advocated in which a distributional model-free approach is used. Specifically, a range of distances, evaluated in different domains, between an empirical nonparametric distribution of the normalized speckle amplitude sample and the benchmark Rayleigh distribution, is considered. Using OCT images from phantoms, two ex-vivo experiments with porcine corneas and an in-vivo experiment with human corneas, an evidence is provided that the distributional model-free approach, despite its simplicity, could lead to better results than the best-fitted (among a range of considered models) distributional model. Concluding, in practice, the distributional model-free approach should be considered as the first choice to speckle modeling before a distributional-based approach is utilized.


title: Nonparametric, tuning-free estimation of S-shaped functions

abstract: We consider the nonparametric estimation of an S-shaped regression function. The least squares estimator provides a very natural, tuning-free approach, but results in a non-convex optimisation problem, since the inflection point is unknown. We show that the estimator may nevertheless be regarded as a projection onto a finite union of convex cones, which allows us to propose a mixed primal-dual bases algorithm for its efficient, sequential computation. After developing a projection framework that demonstrates the consistency and robustness to misspecification of the estimator, our main theoretical results provide sharp oracle inequalities that yield worst-case and adaptive risk bounds for the estimation of the regression function, as well as a rate of convergence for the estimation of the inflection point. These results reveal not only that the estimator achieves the minimax optimal rate of convergence for both the estimation of the regression function and its inflection point (up to a logarithmic factor in the latter case), but also that it is able to achieve an almost-parametric rate when the true regression function is piecewise affine with not too many affine pieces. Simulations and a real data application to air pollution modelling also confirm the desirable finite-sample properties of the estimator, and our algorithm is implemented in the R package Sshaped.


title: Probing horizon scale quantum effects with Love

abstract: Future gravitational wave detectors have been projected to be able to probe the nature of compact objects in great detail. In this work, we study the potential observability of the small length scale physics near black hole horizon with the tidal deformability of the compact objects in an inspiraling binary. We find that it is possible to probe them with extreme mass ratio inspirals. We discuss how the quantum effects can affect the gravitational wave observables. This as a consequence is bound to shape our understanding of the quantum scale near the horizon.


title: Single-image Full-body Human Relighting

abstract: We present a single-image data-driven method to automatically relight images with full-body humans in them. Our framework is based on a realistic scene decomposition leveraging precomputed radiance transfer (PRT) and spherical harmonics (SH) lighting. In contrast to previous work, we lift the assumptions on Lambertian materials and explicitly model diffuse and specular reflectance in our data. Moreover, we introduce an additional light-dependent residual term that accounts for errors in the PRT-based image reconstruction. We propose a new deep learning architecture, tailored to the decomposition performed in PRT, that is trained using a combination of L1, logarithmic, and rendering losses. Our model outperforms the state of the art for full-body human relighting both with synthetic images and photographs.


title: MCL-GAN: Generative Adversarial Networks with Multiple Specialized Discriminators

abstract: We propose a framework of generative adversarial networks with multiple discriminators, which collaborate to represent a real dataset more effectively. Our approach facilitates learning a generator consistent with the underlying data distribution based on real images and thus mitigates the chronic mode collapse problem. From the inspiration of multiple choice learning, we guide each discriminator to have expertise in a subset of the entire data and allow the generator to find reasonable correspondences between the latent and real data spaces automatically without extra supervision for training examples. Despite the use of multiple discriminators, the backbone networks are shared across the discriminators and the increase in training cost is marginal. We demonstrate the effectiveness of our algorithm using multiple evaluation metrics in the standard datasets for diverse tasks.


title: Turning Tables: Generating Examples from Semi-structured Tables for Endowing Language Models with Reasoning Skills

abstract: Models pre-trained with a language modeling objective possess ample world knowledge and language skills, but are known to struggle in tasks that require reasoning. In this work, we propose to leverage semi-structured tables, and automatically generate at scale question-paragraph pairs, where answering the question requires reasoning over multiple facts in the paragraph. We add a pre-training step over this synthetic data, which includes examples that require 16 different reasoning skills such as number comparison, conjunction, and fact composition. To improve data efficiency, we propose sampling strategies that focus training on reasoning skills the model is currently lacking. We evaluate our approach on three reading comprehension datasets that are focused on reasoning, and show that our model, PReasM, substantially outperforms T5, a popular pre-trained encoder-decoder model. Moreover, sampling examples based on current model errors leads to faster training and higher overall performance.


title: Quadratic rational maps with integer multipliers

abstract: In this article, we prove that every quadratic rational map whose multipliers all lie in the ring of integers of a given imaginary quadratic field is a power map, a Chebyshev map or a Latt\`{e}s map. In particular, this provides some evidence in support of a conjecture by Milnor concerning rational maps whose multipliers are all integers.


title: Performance Analysis of MDPC and RS codes in Two-channel THz Communication Systems

abstract: We analyze whether a multidimensional parity check (MDPC) or a Reed-Solomon (RS) code in combination with an auxiliary channel can improve the throughput and extend the THz transmission distance. While channel quality is addressed by various coding approaches, and an effective THz system configuration is enabled by other approaches with additional channels, their combination is new with the potential for significant improvements in quality of the data transmission. Our specific solution is designed to correct data bits at the physical layer by using a low complexity erasure code (MDPC or RS), whereby original and parity data are transferred over two separate and parallel THz channels, including one main channel and one additional channel. The results are theoretically analyzed to see that our new solution can improve throughput, support higher modulation levels and transfer data over the longer distances with THz communications.


title: Automatic Resource Allocation in Business Processes: A Systematic Literature Survey

abstract: For delivering products or services to their clients, organizations execute manifold business processes. During such execution, upcoming process tasks need to be allocated to internal resources. Resource allocation is a complex decision-making problem with high impact on the effectiveness and efficiency of processes. A wide range of approaches was developed to support research allocation automatically. This systematic literature survey provides an overview of approaches and categorizes them regarding their resource allocation goals and capabilities, their use of models and data, their algorithmic solutions, and their maturity. Rule-based approaches were identified as dominant, but heuristics and learning approaches also play a relevant role.


title: Birefringence-mediated enhancement of the magneto-optical activity in anisotropic magnetic crystals

abstract: Optical anisotropy is usually treated as an unfavorable condition for the magneto-optical measurements since it is known to diminish the Faraday rotation concerning the case of the isotropic medium. Here we show that the situation could be quite opposite: a phenomenon of birefringence mediated enhancement of the magneto-optical activity appears if the incident light polarization and angle of incidence are set properly. The present study relies on the experimental, analytical, and numerical studies of iron borate $\mathrm{FeBO_3}$ crystals. We demonstrate a significant increase of the magneto-optical activity resulting in nearly $100\%$ magneto-optical light modulation magnitude. The approach applies to other types of birefringent crystals with the magneto-optical response that makes it crucial for various practical applications, including magneto-optical microscopy, pump-probe studies, and others.


title: Neural Architecture Search using Covariance Matrix Adaptation Evolution Strategy

abstract: Evolution-based neural architecture search requires high computational resources, resulting in long search time. In this work, we propose a framework of applying the Covariance Matrix Adaptation Evolution Strategy (CMA-ES) to the neural architecture search problem called CMANAS, which achieves better results than previous evolution-based methods while reducing the search time significantly. The architectures are modelled using a normal distribution, which is updated using CMA-ES based on the fitness of the sampled population. We used the accuracy of a trained one shot model (OSM) on the validation data as a prediction of the fitness of an individual architecture to reduce the search time. We also used an architecture-fitness table (AF table) for keeping record of the already evaluated architecture, thus further reducing the search time. CMANAS finished the architecture search on CIFAR-10 with the top-1 test accuracy of 97.44% in 0.45 GPU day and on CIFAR-100 with the top-1 test accuracy of 83.24% for 0.6 GPU day on a single GPU. The top architectures from the searches on CIFAR-10 and CIFAR-100 were then transferred to ImageNet, achieving the top-5 accuracy of 92.6% and 92.1%, respectively.


title: Faraday-Fresnel rotation and splitting of orbital angular momentum carrying waves in a rotating plasma

abstract: Rotational Fresnel drag - or orbital Faraday rotation - in a rotating magnetised plasma is uncovered and studied analytically for Trivelpiece-Gould and Whistler-Helicon waves carrying orbital angular momentum (OAM). Plasma rotation is shown to introduce a non-zero phase shift between OAM-carrying eigenmodes with opposite helicities, similarly to the phase-shift between spin angular momentum eigenmodes associated with the classical Faraday effect in a magnetised plasma at rest. By examining the dispersion relation for these two low-frequency modes in a Brillouin rotating plasma, this Faraday-Fresnel rotation effect is traced back to the combined effects of Doppler shift, centrifugal forces and Coriolis forces. In addition, rotation is further shown to lead to rotation- and azimuthal mode-dependent longitudinal group velocity, therefore predicting the Faraday-Fresnel splitting of the enveloppe of a wave packet containing a superposition of OAM-carrying eigenmodes with opposite helicities.


title: Cross-modal Variational Auto-encoder for Content-based Micro-video Background Music Recommendation

abstract: In this paper, we propose a cross-modal variational auto-encoder (CMVAE) for content-based micro-video background music recommendation. CMVAE is a hierarchical Bayesian generative model that matches relevant background music to a micro-video by projecting these two multimodal inputs into a shared low-dimensional latent space, where the alignment of two corresponding embeddings of a matched video-music pair is achieved by cross-generation. Moreover, the multimodal information is fused by the product-of-experts (PoE) principle, where the semantic information in visual and textual modalities of the micro-video are weighted according to their variance estimations such that the modality with a lower noise level is given more weights. Therefore, the micro-video latent variables contain less irrelevant information that results in a more robust model generalization. Furthermore, we establish a large-scale content-based micro-video background music recommendation dataset, TT-150k, composed of approximately 3,000 different background music clips associated to 150,000 micro-videos from different users. Extensive experiments on the established TT-150k dataset demonstrate the effectiveness of the proposed method. A qualitative assessment of CMVAE by visualizing some recommendation results is also included.


title: Planetary Migration

abstract: Studies of planet migration derived from disc planet interactions began before the discovery of exoplanets. The potential importance of migration for determining orbital architectures being realised, the field received greater attention soon after the initial discoveries of exoplanets. Early studies based on very simple disc models indicated very fast migration times for low mass planets that raised questions about its relevance. However, more recent studies, made possible with improving resources, that considered improved physics and disc models revealed processes that could halt or reverse this migration. That in turn led to a focus on special regions in the disc where migration could be halted. In this way the migration of low mass planets could be reconciled with formation theories. In the case of giant planets which have a nonlinear interaction with the disc, the migration should be slower and coupled to the evolution of the disc. The latter needs to be considered more fully to make future progress in all cases. Here we are primarily concerned with processes where migration is connected with the presence of the protopolanetary disk. Migration may also be induced by disc-free gravitational interactions amongst planets or with binary companions. This is only briefly discussed here.


title: Kondo effect with Wilson fermions

abstract: We investigate the Kondo effect with Wilson fermions. This is based on a mean-field approach for the chiral Gross-Neveu model including four-point interactions between a light Wilson fermion and a heavy fermion. For massless Wilson fermions, we demonstrate the appearance of the Kondo effect. We point out that there is a coexistence phase with both the light-fermion scalar condensate and Kondo condensate, and the critical chemical potentials of the scalar condensate are shifted by the Kondo effect. For negative-mass Wilson fermions, we find that the Kondo effect is favored near the parameter region realizing the Aoki phase. Our findings will be useful for understanding the roles of heavy impurities in Dirac semimetals, topological insulators, and lattice simulations.

categories: hep-lat cond-mat.mes-hall cond-mat.str-el hep-ph


title: Multi-Channel Auto-Encoders and a Novel Dataset for Learning Domain Invariant Representations of Histopathology Images

abstract: Domain shift is a problem commonly encountered when developing automated histopathology pipelines. The performance of machine learning models such as convolutional neural networks within automated histopathology pipelines is often diminished when applying them to novel data domains due to factors arising from differing staining and scanning protocols. The Dual-Channel Auto-Encoder (DCAE) model was previously shown to produce feature representations that are less sensitive to appearance variation introduced by different digital slide scanners. In this work, the Multi-Channel Auto-Encoder (MCAE) model is presented as an extension to DCAE which learns from more than two domains of data. Additionally, a synthetic dataset is generated using CycleGANs that contains aligned tissue images that have had their appearance synthetically modified. Experimental results show that the MCAE model produces feature representations that are less sensitive to inter-domain variations than the comparative StaNoSA method when tested on the novel synthetic data. Additionally, the MCAE and StaNoSA models are tested on a novel tissue classification task. The results of this experiment show the MCAE model out performs the StaNoSA model by 5 percentage-points in the f1-score. These results show that the MCAE model is able to generalise better to novel data and tasks than existing approaches by actively learning normalised feature representations.


title: Atomic spin-controlled non-reciprocal Raman amplification of fibre-guided light

abstract: In a non-reciprocal optical amplifier, gain depends on whether the light propagates forwards or backwards through the device. Typically, one requires either the magneto-optical effect, a temporal modulation, or an optical nonlinearity to break reciprocity. By contrast, here, we demonstrate non-reciprocal amplification of fibre-guided light using Raman gain provided by spin-polarized atoms that are coupled to the nanofibre waist of a tapered fibre section. The non-reciprocal response originates from the propagation direction-dependent local polarization of the nanofibre-guided mode in conjunction with polarization-dependent atom-light coupling. We show that this novel mechanism does not require an external magnetic field and that it allows us to fully control the direction of amplification via the atomic spin state. Our results may simplify the construction of complex optical networks. Moreover, suitable solid-state based quantum emitters provided, our scheme could be readily implemented in photonic integrated circuits.


title: Exciton-exciton and exciton-charge carrier interaction and the exciton collisional broadening in GaAs/AlGaAs quantum wells

abstract: Wave functions of heavy-hole excitons in GaAs/Al$_{0.3}$Ga$_{0.7}$As square quantum wells (QWs) of various widths are calculated by the direct numerical solution of a three-dimensional Schr\"odinger equation using a finite-difference scheme. These wave functions are then used to determine the exciton-exciton, exciton-electron and exciton-hole fermion exchange constants in a wide range of QW widths (5-150 nm). Additionally, the spin-dependent matrix elements of elastic exciton-exciton, exciton-electron and exciton-hole scattering are calculated. From these matrix elements, the collisional broadening of the exciton resonance is obtained within the Born approximation as a function of the areal density of excitons, electrons and holes respectively for QW widths of 5, 15, 30 and 50 nm. The obtained numerical results are compared with other theoretical works.


title: A Robust Deep Learning Workflow to Predict Multiphase Flow Behavior during Geological CO2 Sequestration Injection and Post-Injection Periods

abstract: This paper contributes to the development and evaluation of a deep learning workflow that accurately and efficiently predicts the temporal-spatial evolution of pressure and CO2 plumes during injection and post-injection periods of geologic CO2 sequestration (GCS) operations. Based on a Fourier Neuron Operator, the deep learning workflow takes input variables or features including rock properties, well operational controls and time steps, and predicts the state variables of pressure and CO2 saturation. To further improve the predictive fidelity, separate deep learning models are trained for CO2 injection and post-injection periods due the difference in primary driving force of fluid flow and transport during these two phases. We also explore different combinations of features to predict the state variables. We use a realistic example of CO2 injection and storage in a 3D heterogeneous saline aquifer, and apply the deep learning workflow that is trained from physics-based simulation data and emulate the physics process. Through this numerical experiment, we demonstrate that using two separate deep learning models to distinguish post-injection from injection period generates the most accurate prediction of pressure, and a single deep learning model of the whole GCS process including the cumulative injection volume of CO2 as a deep learning feature, leads to the most accurate prediction of CO2 saturation. For the post-injection period, it is key to use cumulative CO2 injection volume to inform the deep learning models about the total carbon storage when predicting either pressure or saturation. The deep learning workflow not only provides high predictive fidelity across temporal and spatial scales, but also offers a speedup of 250 times compared to full physics reservoir simulation, and thus will be a significant predictive tool for engineers to manage the long term process of GCS.


title: Lepton and quark mixing patterns with generalized CP transformations

abstract: In this work, we have modified a scenario, originally proposed by Grimus and Lavoura, in order to obtain maximal values for atmospheric mixing angle and CP violating Dirac phase of the lepton sector. To achieve this, we have employed CP and some discrete symmetries in a type II seesaw model. In order to make predictions about neutrino mass ordering and the smallness of the reactor angle, we have obtained some conditions on the elements of the neutrino mass matrix of our model. Finally, within the framework of our model, we have studied quark masses and mixing pattern.


title: Evolution of shear zones in granular packings under pressure

abstract: Stress transmission in realistic granular media often occurs under external load and in the presence of boundary slip. We investigate shear localization in a split-bottom Couette cell with smooth walls subject to a confining pressure experimentally and by means of numerical simulations. We demonstrate how the characteristics of the shear zone, such as its center position and width, evolve as the confining pressure and wall slip modify the local effective friction coefficient of the material. For increasing applied pressure, the shear zone evolves toward the center of the cylinder and grows wider and the angular velocity reduces compared to the driving rate of the bottom disk. Moreover, the presence of slip promotes the transition from open shear zones at the top surface to closed shear zones inside the bulk. We also systematically vary the ratio of the effective friction near the bottom plate and in the bulk in simulations and observe the resulting impact on the surface flow profile. Besides the boundary conditions and external load, material properties such as grain size are also known to influence the effective friction coefficient. However, our numerical results reveal that the center position and width of the shear zone are insignificantly affected by the choice of the grain size as far as it remains small compared to the radius of the rotating bottom disk.


title: Passivity-based Decentralized Control for Discrete-time Large-scale Systems

abstract: Passivity theory has recently contributed to developing decentralized control schemes for large-scale systems. Many decentralized passivity-based control schemes are designed in continuous-time. It is well-known, however, that the passivity properties of continuous-time systems may be lost under discretization. In this work, we present a novel stabilizing decentralized control scheme by ensuring passivity for discrete-time systems directly and thus avoiding the issue of passivity preservation. The controller is synthesized by locally solving a semidefinite program offline for each subsystem in a decentralized fashion. This program comprises local conditions ensuring that the corresponding subsystem is locally passive. Passivity is ensured with respect to a local virtual output which is different from the local actual output. The program also comprises local conditions ensuring that the local passivity of all subsystems implies the asymptotic stability of the whole system. The performance of the proposed controller is evaluated on a case study in DC microgrids.


title: Covariate adjustment in randomised trials: canonical link functions protect against model mis-specification

abstract: Covariate adjustment has the potential to increase power in the analysis of randomised trials, but mis-specification of the adjustment model could cause error. We explore what error is possible when the adjustment model omits a covariate by randomised treatment interaction, in a setting where the covariate is perfectly balanced between randomised treatments. We use mathematical arguments and analyses of single hypothetical data sets. We show that analysis by a generalised linear model with the canonical link function leads to no error under the null -- that is, if treatment effect is truly zero under the adjusted model then it is also zero under the unadjusted model. However, using non-canonical link functions does not give this property and leads to potentially important error under the null. The error is present even in large samples and hence constitutes bias. We conclude that covariate adjustment analyses of randomised trials should avoid non-canonical links. If a marginal risk difference is the target of estimation then this should not be estimated using an identity link; alternative preferable methods include standardisation and inverse probability of treatment weighting.


title: Resource-efficient Purification-based Quantum Error Mitigation

abstract: To achieve the practical applications of near-term noisy quantum devices, low-cost ways to mitigate the noise damages in the devices are essential. In many applications, the noiseless state we want to prepare is often a pure state, which has recently inspired a range of purification-based quantum error mitigation proposals. The existing proposals either are limited to the suppressions of only the leading-order state preparation errors, or require a large number of long-range gates that might be challenging to implement depending on the qubit architecture. This article will provide an overview of the different purification-based quantum error mitigation schemes and propose a resource-efficient scheme that can correct state preparation errors up to any order while requiring only half of the qubits and less than half of the long-range gates compared to before.


title: On Lax operators

abstract: We define a Lax operator as a monic pseudodifferential operator $L(\partial)$ of order $N\geq 1$, such that the Lax equations $\dfrac{\partial L(\partial)}{\partial t_k}=[(L^{\frac kN}(\partial))_+,L(\partial)]$ are consistent and non-zero for infinitely many positive integers $k$. Consistency of an equation means that its flow is defined by an evolutionary vector field. In the present paper we demonstrate that the traditional theory of the KP and the $N$-th KdV hierarchies holds for arbitrary scalar Lax operators.


title: Input Dependent Sparse Gaussian Processes

abstract: Gaussian Processes (GPs) are Bayesian models that provide uncertainty estimates associated to the predictions made. They are also very flexible due to their non-parametric nature. Nevertheless, GPs suffer from poor scalability as the number of training instances N increases. More precisely, they have a cubic cost with respect to $N$. To overcome this problem, sparse GP approximations are often used, where a set of $M \ll N$ inducing points is introduced during training. The location of the inducing points is learned by considering them as parameters of an approximate posterior distribution $q$. Sparse GPs, combined with variational inference for inferring $q$, reduce the training cost of GPs to $\mathcal{O}(M^3)$. Critically, the inducing points determine the flexibility of the model and they are often located in regions of the input space where the latent function changes. A limitation is, however, that for some learning tasks a large number of inducing points may be required to obtain a good prediction performance. To address this limitation, we propose here to amortize the computation of the inducing points locations, as well as the parameters of the variational posterior approximation q. For this, we use a neural network that receives the observed data as an input and outputs the inducing points locations and the parameters of $q$. We evaluate our method in several experiments, showing that it performs similar or better than other state-of-the-art sparse variational GP approaches. However, with our method the number of inducing points is reduced drastically due to their dependency on the input data. This makes our method scale to larger datasets and have faster training and prediction times.


title: On the stability of robust dynamical low-rank approximations for hyperbolic problems

abstract: The dynamical low-rank approximation (DLRA) is used to treat high-dimensional problems that arise in such diverse fields as kinetic transport and uncertainty quantification. Even though it is well known that certain spatial and temporal discretizations when combined with the DLRA approach can result in numerical instability, this phenomenon is poorly understood. In this paper we perform a $L^2$ stability analysis for the corresponding nonlinear equations of motion. This reveals the source of the instability for the projector splitting integrator when first discretizing the equations and then applying the DLRA. Based on this we propose a projector splitting integrator, based on applying DLRA to the continuous system before performing the discretization, that recovers the classic CFL condition. We also show that the unconventional integrator has more favorable stability properties and explain why the projector splitting integrator performs better when approximating higher moments, while the unconventional integrator is generally superior for first order moments. Furthermore, an efficient and stable dynamical low-rank update for the scattering term in kinetic transport is proposed. Numerical experiments for kinetic transport and uncertainty quantification, which confirm the results of the stability analysis, are presented.


title: Strategies and Advice for the Search for Extraterrestrial Intelligence

abstract: As a guide for astronomers new to the field of technosignature search (i.e. SETI), I present an overview of some of its observational and theoretical approaches. I review some of the various observational search strategies for SETI, focusing not on the variety of technosignatures that have been proposed or which are most likely to be found, but on the underlying philosophies that motivate searches for them. I cover passive versus active searches, ambiguous versus dispositive kinds of technosignatures, commensal or archival searches versus dedicated ones, communicative signals versus "artifacts", "active" versus derelict technologies, searches for beacons versus eavesdropping, and model-based versus anomaly-based searches. I also attempt to roughly map the landscape of technosignatures by kind and the scale over which they appear. I also discuss the importance of setting upper limits in SETI, and offer a heuristic for how to do so in a generic SETI search. I mention and attempt to dispel several misconceptions about the field. I conclude with some personal observations and recommendations for how to practice SETI, including how to choose good theory projects, how to work with experts and skeptics to improve one's search, and how to plan for success.


title: Auto-detecting groups based on textual similarity for group recommendations

abstract: In general, recommender systems are designed to provide personalized items to a user. But in few cases, items are recommended for a group, and the challenge is to aggregate the individual user preferences to infer the recommendation to a group. It is also important to consider the similarity of characteristics among the members of a group to generate a better recommendation. Members of an automatically identified group will have similar characteristics, and reaching a consensus with a decision-making process is preferable in this case. It requires users-items and their rating interactions over a utility matrix to auto-detect the groups in group recommendations. We may not overlook other intrinsic information to form a group. The textual information also plays a pivotal role in user clustering. In this paper, we auto-detect the groups based on the textual similarity of the metadata (review texts). We consider the order in user preferences in our models. We have conducted extensive experiments over two real-world datasets to check the efficacy of the proposed models. We have also conducted a competitive comparison with a baseline model to show the improvements in the quality of recommendations.


title: Thermal instability of the buoyant flow in a vertical cylindrical porous layer with a uniform internal heat source

abstract: The buoyancy-induced parallel flow in a vertical cylindrical porous layer is analysed. A radial thermal gradient caused by a uniformly distributed heat source is assumed to induce the buoyant flow. The layer boundaries are modelled as isothermal and permeable to an external fluid reservoir. The onset of the convective instability is analysed by linearising the governing equations for the perturbations. The governing parameters driving the instability are the heat-source Rayleigh number and the ratio between the internal radius and the external radius. Neutral stability curves and the critical values of the Rayleigh number, the perturbation wave number and the angular frequency are computed numerically. It is shown that axisymmetric modes form the most dangerous mode of instability.


title: Refined count of real oriented rational curves

abstract: We introduce a \textit{quantum index} for oriented real curves inside toric varieties. This quantum index is related to the computation of the area of the amoeba of the curve for some chosen 2-form. We then make a refined signed count of oriented real rational curves solution to some enumerative problem. This generalizes the results from G. Mikhalkin arXiv:1505.04338 to higher dimension. Finally, we use the tropical approach to relate these new refined invariants to previously known tropical refined invariants.


title: Checking Non-Flow Assumptions and Results via PHENIX Published Correlations in $p$$+$$p$, $p$$+$Au, $d$$+$Au, $^3$He$+$Au at $\sqrt{s_{NN}}$ = 200 GeV

abstract: Recently the PHENIX Collaboration has made available two-particle correlation Fourier coefficients for multiple detector combinations in minimum bias p+p and 0-5% central p+Au, d+Au, 3He+Au collisions at 200 GeV [1]. Using these coefficients for three sets of two-particle correlations, azimuthal anisotropy coefficients $v_2$ and $v_3$ are extracted for midrapidity charged hadrons as a function of transverse momentum. In this paper, we use the available coefficients to explore various non-flow hypotheses as well as compare the results with theoretical model calculations. The non-flow methods fail basic closure tests with AMPT and PYTHIA/ANGANTYR, particularly when including correlations with particles in the low multiplicity light-projectile going direction. In data, the non-flow adjusted $v_2$ results are modestly lower in p+Au and the adjusted $v_3$ results are more significantly higher in p+Au and d+Au. However, the resulting higher values for the ratio $v_3/v_2$ in p+Au at RHIC compared to p+Pb at the LHC is additional evidence for a significant over-correction. Incorporating these additional checks, the conclusion that these flow coefficients are dominated by initial geometry coupled with final-state interactions (e.g.~hydrodynamic expansion of quark-gluon plasma) remains true, and explanations based on initial-state glasma are ruled out. The detailed balance between intrinsic and fluctuation-driven geometry and the exact role of weakly versus strongly-coupled pre-hydrodynamic evolution remains an open question for triangular flow, requiring further theoretical and experimental investigation.


title: Geometric Hamiltonian matrix on the analogy between geodesic equation and Schr\"{o}dinger equation

abstract: By formally comparing the geodesic equation with the Schr\"{o}dinger equation on Riemannian manifold, we come up with the geometric Hamiltonian matrix on Riemannian manifold based on the geospin matrix, and we discuss its eigenvalue equation as well. Meanwhile, we get the geometric Hamiltonian function only related to the scalar curvature.


title: Extracting the Signal of Cosmic String Wakes from 21-cm Observations

abstract: A cosmic string wake produces a distinct non-Gaussian signal in 21-cm intensity maps at redshifts above that of reionization. While the string signal is (locally) larger in amplitude than the signal of the Gaussian fluctuations of the $\Lambda$CDM model, they are overwhelmed (even locally in position space) by astrophysical and instrumental foregrounds. Here, we study to what extent the signal can be extracted from noisy interferometric data. The narrowness of the string-induced feature in redshift direction allows for a subtraction of astrophysical and instrumental foregrounds. Based on the specific geometry of the string signal we identify a particular three-point statistic which is promising in order to extract the signal, and we find that, having in mind a telescope of specifications similar to that of the MWA instrument, the string signal can be successfully extracted for a value of the string tension of $G\mu = 3 \times 10^{-7}$. Prospects for further improvements of the analysis are discussed.


title: Cocommutative vertex bialgebras

abstract: In this paper, the structure of cocommutative vertex bialgebras is investigated. For a general vertex bialgebra $V$, it is proved that the set $G(V)$ of group-like elements is naturally an abelian semigroup, whereas the set $P(V)$ of primitive elements is a vertex Lie algebra. For $g\in G(V)$, denote by $V_g$ the connected component containing $g$. Among the main results, it is proved that if $V$ is a cocommutative vertex bialgebra, then $V=\oplus_{g\in G(V)}V_g$, where $V_{\bf 1}$ is a vertex subbialgebra which is isomorphic to the vertex bialgebra ${\mathcal{V}}_{P(V)}$ associated to the vertex Lie algebra $P(V)$, and $V_g$ is a $V_{\bf 1}$-module for $g\in G(V)$. In particular, this shows that every cocommutative connected vertex bialgebra $V$ is isomorphic to ${\mathcal{V}}_{P(V)}$ and hence establishes the equivalence between the category of cocommutative connected vertex bialgebras and the category of vertex Lie algebras. Furthermore, under the condition that $G(V)$ is a group and lies in the center of $V$, it is proved that $V={\mathcal{V}}_{P(V)}\otimes \C[G(V)]$ as a coalgebra where the vertex algebra structure is explicitly determined.


title: $c \to u \nu {\bar \nu}$ transitions of $B_c$ mesons: 331 model facing Standard Model null tests

abstract: The Glashow-Iliopoulos-Maiani mechanism is extremely efficient to suppress the flavour-changing neutral current decays of charmed hadrons induced by the $c \to u$ transitions, making such processes particularly sensitive to phenomena beyond the Standard Model. In particular, $c \to u$ decays with a neutrino pair in the final state are theoretically appealing due to the small long-distance contributions. Moreover, in the framework of the Standard Model Effective Field Theory (SMEFT), the $SU(2)_L$ invariance allows to relate the Wilson coefficients in the effective Hamiltonian governing the $c \to u \nu {\bar \nu}$ decays to the coefficients in the $c \to u \ell^+ \ell^-$ Hamiltonian. We analyze the $B_c \to B^{(*)+} \nu {\bar \nu}$ decays, for which branching fractions of at most ${\cal O}(10^{-16})$ are predicted in the Standard Model including short- and long-distance contributions, so small that they can be considered as null tests. Using SMEFT and the relation to the $c \to u \ell^+ \ell^-$ processes we study the largest enhancement achievable in generic new physics scenarios. Then we focus on a particular extension of the Standard Model, the 331 model. SMEFT relations and the connection with $c \to u \ell^+ \ell^-$ imply that ${\cal B}(B_c \to B^{(*)+} \nu {\bar \nu})$ could even reach ${\cal O}(10^{-6})$, an extremely large enhancement. A less pronounced effect is found in the 331 model, with ${\cal O}(10^{-11})$ predicted branching fractions. Within the 331 model correlations exist among the $B_c \to B^{(*)+}\nu \bar \nu$ and $K\to \pi \nu \bar \nu$, $B\to (X_s, K, K^*) \nu \bar \nu$ channels.


title: Stochastic resonance in stochastic PDEs

abstract: We consider stochastic partial differential equations (SPDEs) on the one-dimensional torus, driven by space-time white noise, and with a time-periodic drift term, which vanishes on two stable and one unstable equilibrium branches. Each of the stable branches approaches the unstable one once per period. We prove that there exists a critical noise intensity, depending on the forcing period and on the minimal distance between equilibrium branches, such that the probability that solutions of the SPDE make transitions between stable equilibria is exponentially small for subcritical noise intensity, while they happen with probability exponentially close to $1$ for supercritical noise intensity. Concentration estimates of solutions are given in the $H^s$ Sobolev norm for any $s<\frac12$. The results generalise to an infinite-dimensional setting those obtained for $1$-dimensional SDEs in [Nils Berglund and Barbara Gentz. A sample-paths approach to noise-induced synchronization: stochastic resonance in a double-well potential. Ann. Appl. Probab., 12(4):1419-1470, 2002].


title: Single-stage direct Langevin dynamic simulations of transitions over arbitrary high energy barriers: Concept of the energy-dependent temperature

abstract: In this paper we present an algorithm which allows single-stage direct Langevin dynamics simulations of transitions over arbitrary high energy barriers employing the concept of the energy-dependent temperature (EDT). In our algorithm, simulation time required for the computation of the corresponding switching rate does not increase with energy barrier. This is achieved by using in simulations an effective temperature which depends on the system energy: around the energy minima this temperature is high and tends towards the room temperature when the energy approaches the saddle point value. Switching times computed via our EDT algorithm show an excellent agreement with results obtained with the established forward flux sampling (FFS) method. As the simulation time required by our method does not increase with the energy barrier, we achieve a very large speedup when compared even to the highly optimized FFS version. In addition, our method does not suffer from stability problems occurring in multi-stage algorithms (like FFS and 'energy bounce' methods) due to the multiplication of a large number of transition probabilities between the interfaces.


title: Exact inference from finite market data

abstract: We develop conditions under which individual choices and Walrasian equilibrium prices and allocations can be exactly inferred from finite market data. First, we consider market data that consist of individual demands as prices and incomes change. Second, we show that finitely many observations of individual endowments and associated Walrasian equilibrium prices, and only prices, suffice to identify individual demands and, as a consequence, equilibrium comparative statics.


title: Shape Complementarity Optimization of Antibody-Antigen Interfaces: the Application to SARS-CoV-2 Spike Protein

abstract: Many factors influence biomolecules binding, and its assessment constitutes an elusive challenge in computational structural biology. In this respect, the evaluation of shape complementarity at molecular interfaces is one of the main factors to be considered. We focus on the particular case of antibody-antigen complexes to quantify the complementarities occurring at molecular interfaces. We relied on a method we recently developed, which employs the 2D Zernike descriptors, to characterize investigated regions with an ordered set of numbers summarizing the local shape properties. Collected a structural dataset of antibody-antigen complexes, we applied this method and we statistically distinguished, in terms of shape complementarity, pairs of interacting regions from non-interacting ones. Thus, we set up a novel computational strategy based on \textit{in-silico} mutagenesis of antibody binding site residues. We developed a Monte Carlo procedure to increase the shape complementarity between the antibody paratope and a given epitope on a target protein surface. We applied our protocol against several molecular targets in SARS-CoV-2 spike protein, known to be indispensable for viral cell invasion. We, therefore, optimized the shape of template antibodies for the interaction with such regions. As the last step of our procedure, we performed an independent molecular docking validation of the results of our Monte Carlo simulations.


title: The Art of the Meta Stream Protocol: Torrents of Streams

abstract: The rise of streaming libraries such as Akka Stream, Reactive Extensions, and LINQ popularized the declarative functional style of data processing. The stream paradigm offers concise syntax to write down processing pipelines to consume the vast amounts of real-time data available today. These libraries offer the programmer a domain specific language (DSL) embedded in the host language to describe data streams. These libraries however, all suffer from extensibility issues. The semantics of a stream is hard-coded into the DSL language and cannot be changed by the user of the library. We introduce an approach to modify the semantics of a streaming library by means of meta-programming at both run-time and compile-time, and showcase its generality. We show that the expressiveness of the meta-facilities is strong enough to enable push and pull semantics, error handling, parallelism, and operator fusion. We evaluate our work by implementing the identified shortcomings in terms of a novel stream meta-architecture and show that its design and architecture adhere to the design principles of a meta-level architecture. The state of the art offers plenty of choice to programmers regarding reactive stream processing libraries. Expressing reactive systems is otherwise difficult to do in general purpose languages. Extensibility and fine-tuning should be possible in these libraries to ensure a broad variety of applications can be expressed within this single DSL.


title: Shard Scheduler: object placement and migration in sharded account-based blockchains

abstract: We propose Shard Scheduler, a system for object placement and migration in account-based sharded blockchains. Our system calculates optimal placement and decides of object migrations across shards and supports complex multi-account transactions caused by smart contracts. Placement and migration decisions made by Shard Scheduler are fully deterministic, verifiable, and can be made part of the consensus protocol. Shard Scheduler reduces the number of costly cross-shard transactions, ensures balanced load distribution and maximizes the number of processed transactions for the blockchain as a whole. It leverages a novel incentive model motivating miners to maximize the global throughput of the entire blockchain rather than the throughput of a specific shard. Shard Scheduler reduces the number of costly cross-shard transactions by half in our simulations, ensuring equal load and increasing the throughput 3 fold when using 60 shards. We also implement and evaluate Shard Scheduler on Chainspace, more than doubling its throughput and reducing user-perceived latency by 70% when using 10 shards.


title: An Optimised Flow for Futures: From Theory to Practice

abstract: A future is an entity representing the result of an ongoing computation. A synchronisation with a "get" operation blocks the caller until the computation is over, to return the corresponding value. When a computation in charge of fulfilling a future delegates part of its processing to another task, mainstream languages return nested futures, and several "get" operations are needed to retrieve the computed value (we call such futures "control-flow futures"). Several approaches were proposed to tackle this issues: the "forward" construct, that allows the programmer to make delegation explicit and avoid nested futures, and "data-flow explicit futures" which natively collapse nested futures into plain futures. This paper supports the claim that data-flow explicit futures form a powerful set of language primitives, on top of which other approaches can be built. We prove the equivalence, in the context of data-flow explicit futures, between the "forward" construct and classical "return" from functions. The proof relies on a branching bisimulation between a program using "forward" and its "return" counterpart. This result allows language designers to consider "forward" as an optimisation directive rather than as a language primitive. Following the principles of the Godot system, we provide a library implementation of control-flow futures, based on data-flow explicit futures implemented in the compiler. This small library supports the claim that the implementation of classical futures based on data-flow ones is easier than the opposite. Our benchmarks show the viability of the approach from a performance point of view.


title: Geometric partial comodules over flat coalgebras in Abelian categories are globalizable

abstract: The aim of this paper is to prove the statement in the title. As a by-product, we obtain new globalization results in cases never considered before, such as partial corepresentations of Hopf algebras. Moreover, we show that for partial representations of groups and Hopf algebras, our globalization coincides with those described earlier in literature. Finally, we introduce Hopf partial comodules over a bialgebra as geometric partial comodules in the monoidal category of (global) modules. By applying our globalization theorem we obtain an analogue of the fundamental theorem for Hopf modules in this partial setting.


title: Deriving Static Security Testing from Runtime Security Protection for Web Applications

abstract: Context: Static Application Security Testing (SAST) and Runtime Application Security Protection (RASP) are important and complementary techniques used for detecting and enforcing application-level security policies in web applications. Inquiry: The current state of the art, however, does not allow a safe and efficient combination of SAST and RASP based on a shared set of security policies, forcing developers to reimplement and maintain the same policies and their enforcement code in both tools. Approach: In this work, we present a novel technique for deriving SAST from an existing RASP mechanism by using a two-phase abstract interpretation approach in the SAST component that avoids duplicating the effort of specifying security policies and implementing their semantics. The RASP mechanism enforces security policies by instrumenting a base program to trap security-relevant operations and execute the required policy enforcement code. The static analysis of security policies is then obtained from the RASP mechanism by first statically analyzing the base program without any traps. The results of this first phase are used in a second phase to detect trapped operations and abstractly execute the associated and unaltered RASP policy enforcement code. Knowledge: Splitting the analysis into two phases enables running each phase with a specific analysis configuration, rendering the static analysis approach tractable while maintaining sufficient precision. Grounding: We validate the applicability of our two-phase analysis approach by using it to both dynamically enforce and statically detect a range of security policies found in related work. Our experiments suggest that our two-phase analysis can enable faster and more precise policy violation detection compared to analyzing the full instrumented application under a single analysis configuration. Importance: Deriving a SAST component from a RASP mechanism enables equivalent semantics for the security policies across the static and dynamic contexts in which policies are verified during the software development lifecycle. Moreover, our two-phase abstract interpretation approach does not require RASP developers to reimplement the enforcement code for static analysis.


title: A Functional Programming Language with Versions

abstract: While modern software development heavily uses versioned packages, programming languages rarely support the concept of versions in their semantics, which makes software updates more bulky and unsafe. This paper proposes a programming language that intrinsically supports versions. The main goals are to design core language features to support multiple versions in one program and establish a proper notion of type safety with those features. The proposed core calculus, called Lambda VL, has versioned values, each containing different values under different versions. We show the construction of the type system as an extension of coeffect calculus by mapping versions to computational resources. The type system guarantees the existence of a valid combination of versions for a program. The calculus enables programming languages to use multiple versions of a package within a program. It will serve as a basis for designing advanced language features like module systems and semantic versioning.


title: Extreme in-plane upper critical magnetic fields of heavily doped quasi-two-dimensional transition metal dichalcogenides

abstract: Extreme in-plane upper critical magnetic fields $B_{c2//ab}$ strongly violating the Pauli paramagnetic limit have been observed in the misfit layer $(LaSe)_{1.14}(NbSe_2)$ and $(LaSe)_{1.14}(NbSe_2)_2$ single crystals with $T_c$ = 1.23 K and 5.7 K, respectively. The crystals show a two-dimensional to three-dimensional transition at temperatures slightly below $T_c$ with an upturn in the temperature dependence of $B_{c2//ab}$, a temperature dependent huge superconducting anisotropy and a cusplike behavior of the angular dependence of $B_{c2}$. Both misfits are characterized by a strong charge transfer from LaSe to $NbSe_2$. As shown in our previous work, $(LaSe)_{1.14}(NbSe_2)$ is electronically equivalent to the highly doped $NbSe_2$ monolayers. Then, the strong upper critical field can be attributed to the Ising coupling recently discovered in atomically thin transition metal dichalcogenides with strong spin-orbit coupling and a lack of inversion symmetry. A very similar behavior is found in $(LaSe)_{1.14}(NbSe_2)_2$, where the charge transfer is nominally twice as big, which could eventually lead to complete filling of the $NbSe_2$ conduction band and opening superconductivity in LaSe. Whatever the particular superconducting mechanism would be, a common denominator in both misfits is that they behave as a stack of almost decoupled superconducting atomic layers, proving that Ising superconductivity can also exist in bulk materials.


title: Maximum principles and related problems for a class of nonlocal extremal operators

abstract: We study the validity of the comparison and maximum principles, and their relation with principal eigenvalues, for a class of degenerate nonlinear operators that are extremal among operators with one dimensional fractional diffusion.


title: Exploring Object Stores for High-Energy Physics Data Storage

abstract: Over the last two decades, ROOT TTree has been used for storing over one exabyte of High-Energy Physics (HEP) events. The TTree columnar on-disk layout has been proved to be ideal for analyses of HEP data that typically require access to many events, but only a subset of the information stored for each of them. Future colliders, and particularly HL-LHC, will bring an increase of at least one order of magnitude in the volume of generated data. Therefore, the use of modern storage hardware, such as low-latency high-bandwidth NVMe devices and distributed object stores, becomes more important. However, TTree was not designed to optimally exploit modern hardware and may become a bottleneck for data retrieval. The ROOT RNTuple I/O system aims at overcoming TTree's limitations and at providing improved efficiency for modern storage systems. In this paper, we extend RNTuple with a backend that uses Intel DAOS as the underlying storage, demonstrating that the RNTuple architecture can accommodate high-performance object stores. From the user perspective, data can be accessed with minimal changes to the code, that is by replacing a filesystem path by a DAOS URI. Our performance evaluation shows that the new backend can be used for realistic analyses, while outperforming the compatibility solution provided by the DAOS project.


title: Training for temporal sparsity in deep neural networks, application in video processing

abstract: Activation sparsity improves compute efficiency and resource utilization in sparsity-aware neural network accelerators. As the predominant operation in DNNs is multiply-accumulate (MAC) of activations with weights to compute inner products, skipping operations where (at least) one of the two operands is zero can make inference more efficient in terms of latency and power. Spatial sparsification of activations is a popular topic in DNN literature and several methods have already been established to bias a DNN for it. On the other hand, temporal sparsity is an inherent feature of bio-inspired spiking neural networks (SNNs), which neuromorphic processing exploits for hardware efficiency. Introducing and exploiting spatio-temporal sparsity, is a topic much less explored in DNN literature, but in perfect resonance with the trend in DNN, to shift from static signal processing to more streaming signal processing. Towards this goal, in this paper we introduce a new DNN layer (called Delta Activation Layer), whose sole purpose is to promote temporal sparsity of activations during training. A Delta Activation Layer casts temporal sparsity into spatial activation sparsity to be exploited when performing sparse tensor multiplications in hardware. By employing delta inference and ``the usual'' spatial sparsification heuristics during training, the resulting model learns to exploit not only spatial but also temporal activation sparsity (for a given input data distribution). One may use the Delta Activation Layer either during vanilla training or during a refinement phase. We have implemented Delta Activation Layer as an extension of the standard Tensoflow-Keras library, and applied it to train deep neural networks on the Human Action Recognition (UCF101) dataset. We report an almost 3x improvement of activation sparsity, with recoverable loss of model accuracy after longer training.


title: A MATLAB based modeling and simulation package for DPS-QKD

abstract: Quantum key distribution (QKD) is an ingenious technology utilizing quantum information science for provable secure communication. However, owing to the technological limitations and device non-idealities it is important to analyze the system performance critically and carefully define the implementation security. With an acceleration in the commercial adoption of QKD, a simulation toolkit is requisite to evaluate the functional architecture of QKD protocols. We present a simulation framework to model optical and electrical components for implementing a QKD protocol. The present toolkit aims to model and simulate the optical path of the DPS-QKD protocol with its imperfections and eventually characterize the optical path. The detailed device-level modeling and analysis capabilities of the present toolkit based on Simulink and MATLAB have the potential to provide universal toolkit for practical design and implementation of generalized QKD protocols compared to earlier works. We report a novel work on the implementation of a QKD protocol on Simulink and MATLAB platform. Further, the absence of any modeling framework for DPS QKD and its simplistic optical schematic made it an obvious choice for the authors. We are hopeful that this work will pave way for simulating other QKD protocols from the DPR family.


title: Searching for the shadows of giants II: the effect of local ionisation on the Lyman-$\alpha$ absorption signatures of protoclusters at redshift $z\sim2.4$

abstract: Local variations in the intergalactic medium (IGM) neutral hydrogen fraction will affect the Ly-$\alpha$ absorption signature of protoclusters identified in tomographic surveys. Using the IllustrisTNG simulations, we investigate how the AGN proximity effect and hot, collisionally ionised gas arising from gravitational infall and black hole feedback changes the Ly-$\alpha$ absorption associated with $M_{z=0}\simeq10^{14}\,M_\odot$ protoclusters at $z\simeq2.4$. We find that protocluster galaxy overdensities exhibit a weak anti-correlation with Ly-$\alpha$ transmission in IGM transmission maps, but local HI ionisation enhancements due to hot $T>10^{6}\rm\,K$ gas or nearby AGN can disrupt this relationship within individual protoclusters. On average, however, we find that strong reductions in the IGM neutral fraction are limited to within $\lesssim 5h^{-1}\,\textrm{cMpc}$ of the dark matter haloes. Local ionisation enhancements will therefore have a minimal impact on the completeness of protocluster identification in tomographic surveys if smoothing Ly-$\alpha$ transmission maps over scales of $\sim4 h^{-1}\,\textrm{cMpc}$, as is typically done in observations. However, if calibrating the relationship between the matter density and Ly-$\alpha$ transmission in tomographic maps using simple analytical models for the Ly-$\alpha$ forest opacity, the presence of hot gas around haloes can still result in systematically lower estimates of $M_{z=0}$ for the most massive protoclusters.


title: Panicle Counting in UAV Images For Estimating Flowering Time in Sorghum

abstract: Flowering time (time to flower after planting) is important for estimating plant development and grain yield for many crops including sorghum. Flowering time of sorghum can be approximated by counting the number of panicles (clusters of grains on a branch) across multiple dates. Traditional manual methods for panicle counting are time-consuming and tedious. In this paper, we propose a method for estimating flowering time and rapidly counting panicles using RGB images acquired by an Unmanned Aerial Vehicle (UAV). We evaluate three different deep neural network structures for panicle counting and location. Experimental results demonstrate that our method is able to accurately detect panicles and estimate sorghum flowering time.


title: Standardisation needs for COVID-19. Scoping exercise on potential standards gaps carried out among JRC scientists. Putting Science into Standards (PSIS)

abstract: The Joint Research Centre in collaboration with the European standardization bodies CEN and CENELEC launched a scoping exercise on standardization needs in response to COVID-19 and future pandemics. The purpose of the exercise was to identify ongoing harmonization initiatives, as was well as further standardization needs in relevant sectors such as artisanal reusable face masks, medical face masks, and social distancing in closed public or commercial spaces. An overview of already ongoing standardization activities relevant to COVID-19 in Spain and Italy illustrate, although fragmented and partially complete, the importance of standardization in key sectors for combatting pandemics, such as in health, social, safety and security. This report informs colleagues in European institutions and Member States about the crucial role standardization plays in the common efforts to overcome the COVID-19 pandemic. Examples include potential inputs to the drafting of guidelines, methods and or interoperability standards. Finally, the report also provides practical examples of agile standardization activities and deliverables that have the potential to enable the EU to respond more effectively and multilaterally to future crises. With this report we aim to raise awareness about the opportunities that standardization and harmonization can bring in the context of the COVID-19 pandemic.


title: The primordial black hole from running curvaton

abstract: In light of our previous work \cite{Liu:2019xhn}, we investigate the possibility of the formation of a primordial black hole in the second inflationary process induced by the oscillation of curvaton. By adopting the instability of the Mathieu equation, one could utilize the $\delta$ function to fully describe the power spectrum. Due to the running of curvaton mass, we can simulate the value of abundance of primordial black holes nearly covering all of the mass ranges, in which we have given three special cases. One case could account for the dark matter in some sense since the abundance of a primordial black hole is about $75\%$. At late times, the relic of exponential potential could be approximated to a constant of the order of cosmological constant dubbed as a role of dark energy. Thus, our model could unify dark energy and dark matter from the perspective of phenomenology. Finally, it sheds new light on exploring Higgs physics.


title: Floquet Prethermal Phase Protected by U(1) Symmetry on a Superconducting Quantum Processor

abstract: Periodically driven systems, or Floquet systems, exhibit many novel dynamics and interesting out-of-equilibrium phases of matter. Those phases arising with the quantum systems' symmetries, such as global $U(1)$ symmetry, can even show dynamical stability with symmetry-protection. Here we experimentally demonstrate a $U(1)$ symmetry-protected prethermal phase, via performing a digital-analog quantum simulation on a superconducting quantum processor. The dynamical stability of this phase is revealed by its robustness against external perturbations. We also find that the spin glass order parameter in this phase is stabilized by the interaction between the spins. Our work reveals a promising prospect in discovering emergent quantum dynamical phases with digital-analog quantum simulators.


title: FMNet: Latent Feature-wise Mapping Network for Cleaning up Noisy Micro-Doppler Spectrogram

abstract: Micro-Doppler signatures contain considerable information about target dynamics. However, the radar sensing systems are easily affected by noisy surroundings, resulting in uninterpretable motion patterns on the micro-Doppler spectrogram. Meanwhile, radar returns often suffer from multipath, clutter and interference. These issues lead to difficulty in, for example motion feature extraction, activity classification using micro Doppler signatures ($\mu$-DS), etc. In this paper, we propose a latent feature-wise mapping strategy, called Feature Mapping Network (FMNet), to transform measured spectrograms so that they more closely resemble the output from a simulation under the same conditions. Based on measured spectrogram and the matched simulated data, our framework contains three parts: an Encoder which is used to extract latent representations/features, a Decoder outputs reconstructed spectrogram according to the latent features, and a Discriminator minimizes the distance of latent features of measured and simulated data. We demonstrate the FMNet with six activities data and two experimental scenarios, and final results show strong enhanced patterns and can keep actual motion information to the greatest extent. On the other hand, we also propose a novel idea which trains a classifier with only simulated data and predicts new measured samples after cleaning them up with the FMNet. From final classification results, we can see significant improvements.


title: The Taxicab Sampler: MCMC for Discrete Spaces with Application to Tree Models

abstract: Motivated by the problem of exploring discrete but very complex state spaces in Bayesian models, we propose a novel Markov Chain Monte Carlo search algorithm: the taxicab sampler. We describe the construction of this sampler and discuss how its interpretation and usage differs from that of standard Metropolis-Hastings as well as the related Hamming ball sampler. The proposed sampling algorithm is then shown to demonstrate substantial improvement in computation time without any loss of efficiency relative to a na\"ive Metropolis-Hastings search in a motivating Bayesian regression tree count model, in which we leverage the discrete state space assumption to construct a novel likelihood function that allows for flexibly describing different mean-variance relationships while preserving parameter interpretability compared to existing likelihood functions for count data.