title: Phase-field study of surface diffusion enhanced break-ups of nanowire junctions

abstract: Using a phase-field model which incorporates enhanced diffusion at the nanowire surfaces, we study the effect of different parameters on the stability of intersecting nanowires. Our study shows that at the intersection of nanowires, sintering (curvature driven material flow) leads to the formation of junctions. These junctions act the initiators of nanowire break-up. The subsequent break-ups take place due to Rayleigh instability at the arms away from these junctions. Finally, at long time scales, the fragments coarsen due to the differences in sizes. The radii of the nanowires that form the junction, the difference in size of the intersecting nanowires and the angle of intersection play a dominant role in determining the kinetics of break-up while the density of intersections has little or no effect on the kinetics. We rationalise our results using maps of (i) mean curvatures (and, hence, chemical potentials), and, (ii) Interfacial Shape Distributions (ISDs) (which are based on probability densities associated with different combinations of the two principal curvatures). Finally, we use the moment of inertia tensor to characterise the (non-spherical) shapes and morphologies of (central) nanowire fragments at the junctions.


title: Hot carrier dynamics and electron-optical phonon coupling in photoexcited graphene via time-resolved ultrabroadband terahertz spectroscopy

abstract: Electron-electron (e-e) interaction is known as a source of logarithmic renormalizations for Dirac fermions in quantum field theory. The renormalization of electron--optical phonon coupling (EPC) by e-e interaction, which plays a pivotal role in hot carrier and phonon dynamics, has been discussed after the discovery of graphene. We investigate the hot carrier dynamics and the EPC strength using time-resolved ultrabroadband terahertz (THz) spectroscopy combined with numerical simulation based on the Boltzmann transport equation and comprehensive temperature model. The large negative photoconductivity and the non-Drude behavior of THz conductivity spectra appear under high pump fluence and can be attributed to the temporal variation of the hot carrier distribution and scattering rate. We successfully estimate the dimensionless EPC matrix element of the $A_1^{\prime}$ optical phonon mode near the $\mathbf{K}$ point as $\lambda_{\mathbf{K}} \approx$0.09 from the fitting of THz conductivity spectra and temporal evolution of transient THz reflectivity, which is slightly larger than the prediction of the renormalization group.


title: Quantitative transfer of regularity of the incompressible Navier-Stokes equations from $\mathbb{R}^3$ to the case of a bounded domain

abstract: Let $u_0\in C_0^5 ( B_{R_0})$ be divergence-free and suppose that $u$ is a strong solution of the three-dimensional incompressible Navier-Stokes equations on $[0,T]$ in the whole space $\mathbb{R}^3$ such that $\| u \|_{L^\infty ((0,T);H^5 (\mathbb{R}^3 ))} + \| u \|_{L^\infty ((0,T);W^{5,\infty }(\mathbb{R}^3 ))} \leq M <\infty$. We show that then there exists a unique strong solution $w$ to the problem posed on $B_R$ with the homogeneous Dirichlet boundary conditions, with the same initial data and on the same time interval for $R\geq \max(1+R_0, C(a) C(M)^{1/a} \exp ({CM^4T/a})) )$ for any $a\in [0,3/2)$, and we give quantitative estimates on $u-w$ and the corresponding pressure functions.


title: Randomized Dimensionality Reduction for Facility Location and Single-Linkage Clustering

abstract: Random dimensionality reduction is a versatile tool for speeding up algorithms for high-dimensional problems. We study its application to two clustering problems: the facility location problem, and the single-linkage hierarchical clustering problem, which is equivalent to computing the minimum spanning tree. We show that if we project the input pointset $X$ onto a random $d = O(d_X)$-dimensional subspace (where $d_X$ is the doubling dimension of $X$), then the optimum facility location cost in the projected space approximates the original cost up to a constant factor. We show an analogous statement for minimum spanning tree, but with the dimension $d$ having an extra $\log \log n$ term and the approximation factor being arbitrarily close to $1$. Furthermore, we extend these results to approximating solutions instead of just their costs. Lastly, we provide experimental results to validate the quality of solutions and the speedup due to the dimensionality reduction. Unlike several previous papers studying this approach in the context of $k$-means and $k$-medians, our dimension bound does not depend on the number of clusters but only on the intrinsic dimensionality of $X$.


title: Dual Synchronous Generator: Inertial Current Source based Grid-Forming Solution for VSC

abstract: In order to improve dynamic characteristics of the power system with high-proportion renewable energy sources (RESs), it is necessary for the voltage source converter (VSC), interfaces of RESs, to provide inertial and frequency regulation. In practical applications, VSCs are better to be controlled as a current source due to its weak overcurrent capacity. According to the characteristic, a dual synchronous theory is proposed to analyze the synchronization between current sources in this paper. Based on dual synchronous idea, a dual synchronous generator (DSG) control is applied in VSC to form inertial current source. In addition, a braking control is embedded in DSG control to improve the transient stability of VSC. Finally, experimental results verify the effectiveness of the theory and the control method.


title: Evaluating the Cybersecurity Risk of Real World, Machine Learning Production Systems

abstract: Although cyberattacks on machine learning (ML) production systems can be harmful, today, security practitioners are ill equipped, lacking methodologies and tactical tools that would allow them to analyze the security risks of their ML-based systems. In this paper, we performed a comprehensive threat analysis of ML production systems. In this analysis, we follow the ontology presented by NIST for evaluating enterprise network security risk and apply it to ML-based production systems. Specifically, we (1) enumerate the assets of a typical ML production system, (2) describe the threat model (i.e., potential adversaries, their capabilities, and their main goal), (3) identify the various threats to ML systems, and (4) review a large number of attacks, demonstrated in previous studies, which can realize these threats. In addition, to quantify the risk of adversarial machine learning (AML) threat, we introduce a novel scoring system, which assign a severity score to different AML attacks. The proposed scoring system utilizes the analytic hierarchy process (AHP) for ranking, with the assistance of security experts, various attributes of the attacks. Finally, we developed an extension to the MulVAL attack graph generation and analysis framework to incorporate cyberattacks on ML production systems. Using the extension, security practitioners can apply attack graph analysis methods in environments that include ML components; thus, providing security practitioners with a methodological and practical tool for evaluating the impact and quantifying the risk of a cyberattack targeting an ML production system.


title: Q-SpiNN: A Framework for Quantizing Spiking Neural Networks

abstract: A prominent technique for reducing the memory footprint of Spiking Neural Networks (SNNs) without decreasing the accuracy significantly is quantization. However, the state-of-the-art only focus on employing the weight quantization directly from a specific quantization scheme, i.e., either the post-training quantization (PTQ) or the in-training quantization (ITQ), and do not consider (1) quantizing other SNN parameters (e.g., neuron membrane potential), (2) exploring different combinations of quantization approaches (i.e., quantization schemes, precision levels, and rounding schemes), and (3) selecting the SNN model with a good memory-accuracy trade-off at the end. Therefore, the memory saving offered by these state-of-the-art to meet the targeted accuracy is limited, thereby hindering processing SNNs on the resource-constrained systems (e.g., the IoT-Edge devices). Towards this, we propose Q-SpiNN, a novel quantization framework for memory-efficient SNNs. The key mechanisms of the Q-SpiNN are: (1) employing quantization for different SNN parameters based on their significance to the accuracy, (2) exploring different combinations of quantization schemes, precision levels, and rounding schemes to find efficient SNN model candidates, and (3) developing an algorithm that quantifies the benefit of the memory-accuracy trade-off obtained by the candidates, and selects the Pareto-optimal one. The experimental results show that, for the unsupervised network, the Q-SpiNN reduces the memory footprint by ca. 4x, while maintaining the accuracy within 1% from the baseline on the MNIST dataset. For the supervised network, the Q-SpiNN reduces the memory by ca. 2x, while keeping the accuracy within 2% from the baseline on the DVS-Gesture dataset.


title: Why is Pruning at Initialization Immune to Reinitializing and Shuffling?

abstract: Recent studies assessing the efficacy of pruning neural networks methods uncovered a surprising finding: when conducting ablation studies on existing pruning-at-initialization methods, namely SNIP, GraSP, SynFlow, and magnitude pruning, performances of these methods remain unchanged and sometimes even improve when randomly shuffling the mask positions within each layer (Layerwise Shuffling) or sampling new initial weight values (Reinit), while keeping pruning masks the same. We attempt to understand the reason behind such network immunity towards weight/mask modifications, by studying layer-wise statistics before and after randomization operations. We found that under each of the pruning-at-initialization methods, the distribution of unpruned weights changed minimally with randomization operations.


title: Boosting Transferability of Targeted Adversarial Examples via Hierarchical Generative Networks

abstract: Transfer-based adversarial attacks can evaluate model robustness in the black-box setting. Several methods have demonstrated impressive untargeted transferability, however, it is still challenging to efficiently produce targeted transferability. To this end, we develop a simple yet effective framework to craft targeted transfer-based adversarial examples, applying a hierarchical generative network. In particular, we contribute to amortized designs that well adapt to multi-class targeted attacks. Extensive experiments on ImageNet show that our method improves the success rates of targeted black-box attacks by a significant margin over the existing methods -- it reaches an average success rate of 29.1\% against six diverse models based only on one substitute white-box model, which significantly outperforms the state-of-the-art gradient-based attack methods. Moreover, the proposed method is also more efficient beyond an order of magnitude than gradient-based methods.


title: Comparative Analysis of Impact of Cryptography Algorithms on Wireless Sensor Networks

abstract: Cryptography techniques are essential for a robust and stable security design of a system to mitigate the risk of external attacks and thus improve its efficiency. Wireless Sensor Networks (WSNs) play a pivotal role in sensing, monitoring, processing, and accumulating raw data to enhance the performance of the actuators, micro-controllers, embedded architectures, IoT devices, and computing machines to which they are connected. With so much threat of potential adversaries, it is essential to scale up the security level of WSN without affecting its primary goal of seamless data collection and communication with relay devices. This paper intends to explore the past and ongoing research activities in this domain. An extensive study of these algorithms referred here, are studied and analyzed. Based on these findings this paper will illustrate the best possible cryptography algorithms which will be most suited to implement the security aspects of the WSN and protect it from any threat and reduce its vulnerabilities. This study will pave the way for future research on this topic since it will provide a comprehensive and holistic view of the subject.


title: Optical amplification of surface plasmon polaritons in a graphene single layer integrated with a random grating

abstract: In this paper, we design and simulate a terahertz (THz) controllable active plasmonic waveguide structure based on a single graphene layer that is placed on a random silicon grating substrate. Optical gain in the proposed THz active plasmonic waveguide structure is provided by the stimulated emission process in the photoexcited graphene monolayer that leads to the amplification of surface plasmon polariton (SPP) waves. We use a random grating substrate to introduce Anderson localization of the SPP waves propagating through the graphene monolayer to enhance their optical amplification at resonant frequencies. It is shown that the enhancement factor of the resonant peaks corresponding to the graphene SPPs can be as high as 175. We also analyze their corresponding field intensity distributions along the graphene monolayer and find out that their intensities and localization positions are different from each other. By investigating the pump dependent and temperature dependent variations of the transmittance of the structure, it is shown that the resonant peak frequencies are blue-shifted by increasing the temperature and the external pump intensity. Also, we show that increasing the ambient temperature by 60 K can dramatically reduce the output amplified intensity by a factor of 70. This property of the proposed graphene-based THz plasmonic waveguide structure makes it useful in temperature sensing applications and on/off switchable laser devices.


title: Propagation-invariant vortex Airy beam whose singular point follows its main lobe

abstract: We propose and demonstrate a novel vortex Airy beam which is a superposition of an Airy beam and its laterally sheared beam with a $\pi/2$ phase shift. This new-type of vortex Airy beam exhibits stable propagation dynamics, wherein its singular point closely follows its main lobe, unlike conventional vortex Airy beams. Notably, the orbital angular mode purity of this new vortex Airy beam is up to 10% better than that of a conventional vortex Airy beam. We anticipate that this new type of vortex Airy beam, which combines the characteristics of an optical vortex and a diffraction-free Airy beam, will facilitate new directions in applications such as microscopy, material processing and nonlinear optics.


title: Zero-modified Count Time Series with Markovian Intensities

abstract: This paper proposes a method for analyzing count time series with inflation or deflation of zeros. In particular, zero-modified Poisson and zero-modified negative binomial series with intensities generated by non-negative Markov sequences are studied in detail. Parameters of the model are estimated by the method of estimating equations which is facilitated by expressing the model in a generalized state space form. The latent intensities required for estimation are extracted using generalized Kalman filter. The applications of proposed model and its estimation methods are illustrated using simulated and real data sets.


title: Web-Scale Generic Object Detection at Microsoft Bing

abstract: In this paper, we present Generic Object Detection (GenOD), one of the largest object detection systems deployed to a web-scale general visual search engine that can detect over 900 categories for all Microsoft Bing Visual Search queries in near real-time. It acts as a fundamental visual query understanding service that provides object-centric information and shows gains in multiple production scenarios, improving upon domain-specific models. We discuss the challenges of collecting data, training, deploying and updating such a large-scale object detection model with multiple dependencies. We discuss a data collection pipeline that reduces per-bounding box labeling cost by 81.5% and latency by 61.2% while improving on annotation quality. We show that GenOD can improve weighted average precision by over 20% compared to multiple domain-specific models. We also improve the model update agility by nearly 2 times with the proposed disjoint detector training compared to joint fine-tuning. Finally we demonstrate how GenOD benefits visual search applications by significantly improving object-level search relevance by 54.9% and user engagement by 59.9%.


title: A Formal Semantics of the GraalVM Intermediate Representation

abstract: The optimization phase of a compiler is responsible for transforming an intermediate representation (IR) of a program into a more efficient form. Modern optimizers, such as that used in the GraalVM compiler, use an IR consisting of a sophisticated graph data structure that combines data flow and control flow into the one structure. As part of a wider project on the verification of optimization passes of GraalVM, this paper describes a semantics for its IR within Isabelle/HOL. The semantics consists of a big-step operational semantics for data nodes (which are represented in a graph-based static single assignment (SSA) form) and a small-step operational semantics for handling control flow including heap-based reads and writes, exceptions, and method calls. We have proved a suite of canonicalization optimizations and conditional elimination optimizations with respect to the semantics.


title: Sets of Marginals and Pearson-Correlation-based CHSH Inequalities for a Two-Qubit System

abstract: Quantum mass functions (QMFs), which are tightly related to decoherence functionals, were introduced by Loeliger and Vontobel [IEEE Trans. Inf. Theory, 2017, 2020] as a generalization of probability mass functions toward modeling quantum information processing setups in terms of factor graphs. Simple quantum mass functions (SQMFs) are a special class of QMFs that do not explicitly model classical random variables. Nevertheless, classical random variables appear implicitly in an SQMF if some marginals of the SQMF satisfy some conditions; variables of the SQMF corresponding to these "emerging" random variables are called classicable variables. Of particular interest are jointly classicable variables. In this paper we initiate the characterization of the set of marginals given by the collection of jointly classicable variables of a graphical model and compare them with other concepts associated with graphical models like the sets of realizable marginals and the local marginal polytope. In order to further characterize this set of marginals given by the collection of jointly classicable variables, we generalize the CHSH inequality based on the Pearson correlation coefficients, and thereby prove a conjecture proposed by Pozsgay et al. A crucial feature of this inequality is its nonlinearity, which poses difficulties in the proof.


title: Sub-Feller Semigroups Generated by Pseudodifferential Operators on Symmetric Spaces of Noncompact Type

abstract: We consider global pseudodifferential operators on symmetric spaces of noncompact type, defined using spherical functions. The associated symbols have a natural probabilistic form that extend the notion of the characteristic exponent appearing in Gangolli's L\'evy-Khinchine formula to a function of two variables. The Hille-Yosida-Ray theorem is used to obtain conditions on such a symbol so that the corresponding pseudodifferential operator has an extension that generates a sub-Feller semigroup, generalising existing results for Euclidean space.


title: Outflows in the Radio-Intermediate Quasar III Zw 2: A Polarization Study with the EVLA & uGMRT

abstract: We present results from a polarization study of the radio-intermediate quasar, III Zw 2, at a redshift of 0.089, with the upgraded Giant Metrewave Radio Telescope (uGMRT) at 685 MHz and the Karl G. Jansky Very Large Array (VLA) at 5 and 34 GHz. We detect a kpc-scale outflow, exhibiting transverse magnetic (B-) fields. The curved jet terminates in a bow-shock-like radio structure with inferred B-fields aligned with the lobe edges. We suggest that the radio outflow in III Zw 2 is a combination of a collimated jet along with a wind-like component. This "wind" component could be a magnetized accretion disk wind or the outer layers of a broadened jet or a combination of both. The current data cannot differentiate between these possibilities. We also detect kpc-scale lobe emission that is misaligned with the primary lobes in the uGMRT images. The spectral indices and the electron lifetimes in the misaligned lobe are similar to the primary lobe, suggesting that the misaligned lobe is not a relic. We propose that changing spectral states of the accretion disk, and the subsequent intermittent behaviour of the outflow, along with the close interplay between the jet and "wind" could explain the radio-intermediate nature of III Zw 2. Our study shows that radio-intermediate quasars are promising sources for understanding the role of jets and winds in galaxy evolution and demonstrates the power of radio polarization studies towards achieving this.


title: A Note on Error Bounds for Pseudo Skeleton Approximations of Matrices

abstract: Due to their importance in both data analysis and numerical algorithms, low rank approximations have recently been widely studied. They enable the handling of very large matrices. Tight error bounds for the computationally efficient Gaussian elimination based methods (skeleton approximations) are available. In practice, these bounds are useful for matrices with singular values which decrease quickly. Using the Chebyshev norm, this paper provides improved bounds for the errors of the matrix elements. These bounds are substantially better in the practically relevant cases where the eigenvalues decrease polynomially. Results are proven for general real rectangular matrices. Even stronger bounds are obtained for symmetric positive definite matrices. A simple example is given, comparing these new bounds to earlier ones.


title: An Explainable AI System for the Diagnosis of High Dimensional Biomedical Data

abstract: Typical state of the art flow cytometry data samples consists of measures of more than 100.000 cells in 10 or more features. AI systems are able to diagnose such data with almost the same accuracy as human experts. However, there is one central challenge in such systems: their decisions have far-reaching consequences for the health and life of people, and therefore, the decisions of AI systems need to be understandable and justifiable by humans. In this work, we present a novel explainable AI method, called ALPODS, which is able to classify (diagnose) cases based on clusters, i.e., subpopulations, in the high-dimensional data. ALPODS is able to explain its decisions in a form that is understandable for human experts. For the identified subpopulations, fuzzy reasoning rules expressed in the typical language of domain experts are generated. A visualization method based on these rules allows human experts to understand the reasoning used by the AI system. A comparison to a selection of state of the art explainable AI systems shows that ALPODS operates efficiently on known benchmark data and also on everyday routine case data.


title: $cos(2\phi_h)$ asymmetry in $J/\psi$ production in unpolarized $ep$ collision in NRQCD

abstract: We present a recent calculation of the transverse momentum dependent gluon distributions inside unpolarised protons and show how the ratio of the linearly polarized and the unpolarized gluon distribution in the proton can be probed by looking at $Cos(2\phi_h)$ asymmetry in $J/\psi$ production in unpolarized $ep$ collision. We use NRQCD for estimating $J/\psi$ production and include contributions both from color singlet and color octet states.


title: Two tractable models of non-stationary light scattering by subwavelength particles and their application to Fano resonances

abstract: We introduce two tractable analytical models to describe dynamic effects at resonant light scattering by subwavelength particles. One of them is based on generalization of the temporal coupled-mode theory, and the other employs the normal mode approach. We show that sharp variations in the envelope of the incident pulse may initiate unusual, counterintuitive dynamics of the scattering associated with interference of modes with fast and slow relaxation. To exhibit the power of the models, we apply them to explain the dynamic light scattering of a square-envelope pulse by an infinite circular cylinder made of $GaP$, when the pulse carrier frequency lies in the vicinity of the destructive interference at the Fano resonances. We observe and explain intensive sharp spikes in scattering cross section just behind the leading and trailing edges of the incident pulse. The latter occurs when the incident pulse is over and is explained by the electromagnetic energy released in the particle at the previous scattering stages. The accuracy of the models is checked against their comparison with results of the direct numerical integration of the complete set of Maxwell's equations and occurs very high. The models' advantages and disadvantages are revealed, and the ways to apply them to other types of dynamic resonant scattering are discussed.


title: On the topology of determinantal links

abstract: We study the cohomology of the generic determinantal varieties $M_{m,n}^s = \{ \varphi \in \mathbb C^{m\times n} : \mathrm{rank} \varphi <s \}$, their polar multiplicities, their sections $D_k \cap M_{m,n}^s$ by generic hyperplanes $D_k$ of various dimension $k$, and the real and complex links of the spaces $(D_k\cap M_{m,n}^s,0)$. Such complex links were shown to provide the basic building blocks in a bouquet decomposition for the (determinantal) smoothings of smoothable isolated determinantal singularities. The detailed vanishing topology of such singularities was still not fully understood beyond isolated complete intersections and a few further special cases. Our results now allow to compute all distinct Betti numbers of any determinantal smoothing.


title: Exploring Data Pipelines through the Process Lens: a Reference Model forComputer Vision

abstract: Researchers have identified datasets used for training computer vision (CV) models as an important source of hazardous outcomes, and continue to examine popular CV datasets to expose their harms. These works tend to treat datasets as objects, or focus on particular steps in data production pipelines. We argue here that we could further systematize our analysis of harms by examining CV data pipelines through a process-oriented lens that captures the creation, the evolution and use of these datasets. As a step towards cultivating a process-oriented lens, we embarked on an empirical study of CV data pipelines informed by the field of method engineering. We present here a preliminary result: a reference model of CV data pipelines. Besides exploring the questions that this endeavor raises, we discuss how the process lens could support researchers in discovering understudied issues, and could help practitioners in making their processes more transparent.


title: Sample Efficient Reinforcement Learning via Model-Ensemble Exploration and Exploitation

abstract: Model-based deep reinforcement learning has achieved success in various domains that require high sample efficiencies, such as Go and robotics. However, there are some remaining issues, such as planning efficient explorations to learn more accurate dynamic models, evaluating the uncertainty of the learned models, and more rational utilization of models. To mitigate these issues, we present MEEE, a model-ensemble method that consists of optimistic exploration and weighted exploitation. During exploration, unlike prior methods directly selecting the optimal action that maximizes the expected accumulative return, our agent first generates a set of action candidates and then seeks out the optimal action that takes both expected return and future observation novelty into account. During exploitation, different discounted weights are assigned to imagined transition tuples according to their model uncertainty respectively, which will prevent model predictive error propagation in agent training. Experiments on several challenging continuous control benchmark tasks demonstrated that our approach outperforms other model-free and model-based state-of-the-art methods, especially in sample complexity.


title: The maximal negative ion of molecules in Schr\"odinger, Hartree-Fock, and M\"uller theories

abstract: Bounds are studied for the maximum number, $N_c$, of electrons that can be bound to $K$ atoms of the total nuclear charge $Z$. It is proved that $N_c < \min\{2Z+1, 1.22Z + 3Z^{1/3}\}$ in Schr\"odinger theory. This improves Lieb's bound $N_c < 2Z+K$ and extends Nam's results for an atom to the molecule. Moreover, the ionization conjectures for the molecules in Hartree-Fock and M\"uller theories are proved, i.e., $N_c \le Z + CKR_\mathrm{min}^{-3}$, where $R_\mathrm{min}$ is the minimal distance between atoms and $C$ is a universal constant.


title: Analysis of flux-integrated semi-exclusive cross sections for charged current quasi-elastic neutrino scattering off 40Ar at energies available at the MicroBooNE experiment

abstract: Flux-integrated semi-exclusive differential and integral cross sections for quasi-elastic neutrino charged-current scattering on argon are analyzed. We calculate these cross sections using the relativistic distorted-wave impulse approximation and compare with recent MicroBooNE data. We found that the measured cross sections can be described well within the experimental uncertainties with value of the nucleon axial mass $1 < M_A < 1.2$ GeV. The contribution of the exclusive channel $\boldmath{(\nu_{\mu}, \mu p)}$ to the flux-integrated inclusive cross sections is about 50\%.


title: Exergy of passive states: Waste energy after ergotropy extraction

abstract: Work extraction protocol is always a significant issue in the context of quantum batteries, in which the notion of ergotropy is used to quantify a particular amount of energy that can be extracted through unitary processes. Given the total amount of energy stored in a quantum system, quantifying wasted energy after the ergotropy extraction is a question to be considered when undesired coupling with thermal reservoirs is taken into account. In this paper, we show that some amount of energy can be lost when we extract ergotropy from a quantum system and quantified by the exergy of passive states. Through a particular example, one shows that ergotropy extraction can be done by preserving the quantum correlations of a quantum system. Our study opens the perspective for new advances in open system quantum batteries able to explore exergy stored as quantum correlations.


title: A System for Traded Control Teleoperation of Manipulation Tasks using Intent Prediction from Hand Gestures

abstract: This paper presents a teleoperation system that includes robot perception and intent prediction from hand gestures. The perception module identifies the objects present in the robot workspace and the intent prediction module which object the user likely wants to grasp. This architecture allows the approach to rely on traded control instead of direct control: we use hand gestures to specify the goal objects for a sequential manipulation task, the robot then autonomously generates a grasping or a retrieving motion using trajectory optimization. The perception module relies on the model-based tracker to precisely track the 6D pose of the objects and makes use of a state of the art learning-based object detection and segmentation method, to initialize the tracker by automatically detecting objects in the scene. Goal objects are identified from user hand gestures using a trained a multi-layer perceptron classifier. After presenting all the components of the system and their empirical evaluation, we present experimental results comparing our pipeline to a direct traded control approach (i.e., one that does not use prediction) which shows that using intent prediction allows to bring down the overall task execution time.


title: ARM-Net: Adaptive Relation Modeling Network for Structured Data

abstract: Relational databases are the de facto standard for storing and querying structured data, and extracting insights from structured data requires advanced analytics. Deep neural networks (DNNs) have achieved super-human prediction performance in particular data types, e.g., images. However, existing DNNs may not produce meaningful results when applied to structured data. The reason is that there are correlations and dependencies across combinations of attribute values in a table, and these do not follow simple additive patterns that can be easily mimicked by a DNN. The number of possible such cross features is combinatorial, making them computationally prohibitive to model. Furthermore, the deployment of learning models in real-world applications has also highlighted the need for interpretability, especially for high-stakes applications, which remains another issue of concern to DNNs. In this paper, we present ARM-Net, an adaptive relation modeling network tailored for structured data, and a lightweight framework ARMOR based on ARM-Net for relational data analytics. The key idea is to model feature interactions with cross features selectively and dynamically, by first transforming the input features into exponential space, and then determining the interaction order and interaction weights adaptively for each cross feature. We propose a novel sparse attention mechanism to dynamically generate the interaction weights given the input tuple, so that we can explicitly model cross features of arbitrary orders with noisy features filtered selectively. Then during model inference, ARM-Net can specify the cross features being used for each prediction for higher accuracy and better interpretability. Our extensive experiments on real-world datasets demonstrate that ARM-Net consistently outperforms existing models and provides more interpretable predictions for data-driven decision making.


title: Kelvin-Helmholtz instability in strongly coupled dusty plasma with rotational shear flows and tracer transport

abstract: Kelvin-Helmholtz (KH) instability plays a significant role in transport and mixing properties of any medium. In this paper, we numerically explore this instability for a two-dimensional strongly coupled dusty plasma with rotational shear flows. We study this medium using generalized hydrodynamic fluid model which treats it as viscoelastic fluid. We consider the specific cases of rotating vorticity with abrupt radial profiles of rotation. In particular: single-circulation, and multi-circulation vorticity shell profiles have been chosen. We observe the KH vortices at each circular interface between two relative rotating flows along with a pair of ingoing and outgoing wavefronts of transverse shear waves. Our studies show that due to the interplay between KH vortices and shear waves in the strongly coupled medium, the mixing and transport behaviour are much better than inviscid hydrodynamic fluids. In interests of substantiating the mixing and transport behaviour, the generalized hydrodynamic fluid model is extended to include the Lagrangian tracer particles. The numerical dispersion of these tracer particles in a flow provides an estimate of the diffusion in such a medium. We present the preliminary observations of tracers distribution (cluster formation) and their diffusion (mean square displacement) across the medium.


title: Provable Convergence of Nesterov's Accelerated Gradient Method for Over-Parameterized Neural Networks

abstract: Momentum methods, such as heavy ball method~(HB) and Nesterov's accelerated gradient method~(NAG), have been widely used in training neural networks by incorporating the history of gradients into the current updating process. In practice, they often provide improved performance over (stochastic) gradient descent~(GD) with faster convergence. Despite these empirical successes, theoretical understandings of their accelerated convergence rates are still lacking. Recently, some attempts have been made by analyzing the trajectories of gradient-based methods in an over-parameterized regime, where the number of the parameters is significantly larger than the number of the training instances. However, the majority of existing theoretical work is mainly concerned with GD and the established convergence result of NAG is inferior to HB and GD, which fails to explain the practical success of NAG. In this paper, we take a step towards closing this gap by analyzing NAG in training a randomly initialized over-parameterized two-layer fully connected neural network with ReLU activation. Despite the fact that the objective function is non-convex and non-smooth, we show that NAG converges to a global minimum at a non-asymptotic linear rate $(1-\Theta(1/\sqrt{\kappa}))^t$, where $\kappa > 1$ is the condition number of a gram matrix and $t$ is the number of the iterations. Compared to the convergence rate $(1-\Theta(1/{\kappa}))^t$ of GD, our result provides theoretical guarantees for the acceleration of NAG in neural network training. Furthermore, our findings suggest that NAG and HB have similar convergence rate. Finally, we conduct extensive experiments on six benchmark datasets to validate the correctness of our theoretical results.


title: Age of Information in Relay-Assisted Status Updating Systems

abstract: In this paper we consider the age of information (AoI) of a status updating system with a relay, where the updates are delivered to destination either from the direct line or the two-hop link via the relay. An updating packet generated at source is sent to receiver and the relay simultaneously. When the direct packet transmission fails, the relay replaces the source and retransmits the packet until it is eventually obtained at the receiver side. Assume that the propagation delay on each link is one time slot, we determine the stationary distribution of the AoI for three cases: (a) relay has no buffer and the packet delivery from relay cannot be preempted by fresher updates from source; (b) relay has no buffer but the packet substitution is allowable; (c) relay has size 1 buffer and the packet in buffer is refreshed when a newer packet is obtained. The idea is invoking a multiple-dimensional state vector which contains the AoI as a part and constituting the multiple-dimensional AoI stochastic process. We find the steady state of each multiple-dimensional AoI process by solving the system of stationary equations. Once the steady-state distribution of larger-dimensional AoI process is known, the stationary AoI distribution is also obtained as it is one of the marginal distributions of that process's steady-state distribution. For all the situations, we derive the explicit expression of AoI distribution, and calculate the mean and the variance of the stationary AoI. All the results are compared numerically, including the AoI performance of the non-relay state updating system. Numerical results show that adding the relay improves the system's timeliness dramatically, and no-buffer-and-preemption setting in relay achieves both minimal average AoI and AoI's variance. Thus, for the system model discussed in this paper, to reduce the AoI at receiver there is no need to add the buffer in relay.


title: Third Party Risk Modelling and Assessment for Safe UAV Path Planning in Metropolitan Environments

abstract: Various applications of advanced air mobility (AAM) in urban environments facilitate our daily life and public services. As one of the key issues of realizing these applications autonomously, path planning problem has been studied with main objectives on minimizing travel distance, flight time and energy cost. However, AAM operations in metropolitan areas bring safety and society issues. Because most of AAM aircraft are unmanned aerial vehicles (UAVs) and they may fail to operate resulting in fatality risk, property damage risk and societal impacts (noise and privacy) to the public. To quantitatively assess these risks and mitigate them in planning phase, this paper proposes an integrated risk assessment model and develops a hybrid algorithm to solve the risk-based 3D path planning problem. The integrated risk assessment method considers probability and severity models of UAV impact ground people and vehicle. By introducing gravity model, the population density and traffic density are estimated in a finer scale, which enables more accurate risk assessment. The 3D risk-based path planning problem is first formulated as a special minimum cost flow problem. Then, a hybrid estimation of distribution algorithm (EDA) and risk-based A* (named as EDA-RA*) algorithm is proposed to solve the problem. To improve computational efficiency, k-means clustering method is incorporated into EDA-RA* to provide both global and local search heuristic information, which formed the EDA and fast risk-based A* algorithm we call EDA-FRA*. Case study results show that the risk assessment model can capture high risk areas and the generated risk map enables safe UAV path planning in urban complex environments.


title: Fast Rate Learning in Stochastic First Price Bidding

abstract: First-price auctions have largely replaced traditional bidding approaches based on Vickrey auctions in programmatic advertising. As far as learning is concerned, first-price auctions are more challenging because the optimal bidding strategy does not only depend on the value of the item but also requires some knowledge of the other bids. They have already given rise to several works in sequential learning, many of which consider models for which the value of the buyer or the opponents' maximal bid is chosen in an adversarial manner. Even in the simplest settings, this gives rise to algorithms whose regret grows as $\sqrt{T}$ with respect to the time horizon $T$. Focusing on the case where the buyer plays against a stationary stochastic environment, we show how to achieve significantly lower regret: when the opponents' maximal bid distribution is known we provide an algorithm whose regret can be as low as $\log^2(T)$; in the case where the distribution must be learnt sequentially, a generalization of this algorithm can achieve $T^{1/3+ \epsilon}$ regret, for any $\epsilon>0$. To obtain these results, we introduce two novel ideas that can be of interest in their own right. First, by transposing results obtained in the posted price setting, we provide conditions under which the first-price biding utility is locally quadratic around its optimum. Second, we leverage the observation that, on small sub-intervals, the concentration of the variations of the empirical distribution function may be controlled more accurately than by using the classical Dvoretzky-Kiefer-Wolfowitz inequality. Numerical simulations confirm that our algorithms converge much faster than alternatives proposed in the literature for various bid distributions, including for bids collected on an actual programmatic advertising platform.


title: GraspME -- Grasp Manifold Estimator

abstract: In this paper, we introduce a Grasp Manifold Estimator (GraspME) to detect grasp affordances for objects directly in 2D camera images. To perform manipulation tasks autonomously it is crucial for robots to have such graspability models of the surrounding objects. Grasp manifolds have the advantage of providing continuously infinitely many grasps, which is not the case when using other grasp representations such as predefined grasp points. For instance, this property can be leveraged in motion optimization to define goal sets as implicit surface constraints in the robot configuration space. In this work, we restrict ourselves to the case of estimating possible end-effector positions directly from 2D camera images. To this extend, we define grasp manifolds via a set of key points and locate them in images using a Mask R-CNN backbone. Using learned features allows generalizing to different view angles, with potentially noisy images, and objects that were not part of the training set. We rely on simulation data only and perform experiments on simple and complex objects, including unseen ones. Our framework achieves an inference speed of 11.5 fps on a GPU, an average precision for keypoint estimation of 94.5% and a mean pixel distance of only 1.29. This shows that we can estimate the objects very well via bounding boxes and segmentation masks as well as approximate the correct grasp manifold's keypoint coordinates.


title: Advanced turning maneuver of a multi-legged robot using pitchfork bifurcation

abstract: Legged robots have excellent terrestrial mobility for traversing diverse environments and thus have the potential to be deployed in a wide variety of scenarios. However, they are susceptible to falling and leg malfunction during locomotion. Although the use of a large number of legs can overcome these problems, it makes the body long and leads to many legs being constrained to contact with the ground to support the long body, which impedes maneuverability. To improve the locomotion maneuverability of such robots, the present study focuses on dynamic instability, which induces rapid and large movement changes, and uses a 12-legged robot with a flexible body axis. Our previous work found that the straight walk of the robot becomes unstable through Hopf bifurcation when the body axis flexibility is changed, which induces body undulations. Furthermore, we developed a simple controller based on the Hopf bifurcation and showed that the instability facilitates the turning of the robot. In this study, we newly found that the straight walk becomes unstable through pitchfork bifurcation when the body-axis flexibility is changed in a way different from that in our previous work. In addition, the pitchfork bifurcation induces a transition into a curved walk, whose curvature can be controlled by the body-axis flexibility. We developed a simple controller based on the pitchfork-bifurcation characteristics and demonstrated that the robot can perform a turning maneuver superior to that with the previous controller. This study provides a novel design principle for maneuverable locomotion of many-legged robots using intrinsic dynamic properties.


title: Exceptional zero formulas for anticyclotomic p-adic L-functions

abstract: In this note we define anticyclotomic p-adic measures attached to a finite set of places S above p, a modular elliptic curve E over a general number field F and a quadratic extension K/F. We study the exceptional zero phenomenon that arises when E has multiplicative reduction at some place in S. In this direction, we obtain p-adic Gross-Zagier formulas relating derivatives of the corresponding p-adic L-functions to the extended Mordell-Weil group of E. Our main result uses the recent construction of plectic points on elliptic curves due to Fornea and Gehrmann and generalizes their main result. We obtain a formula that computes the r-th derivative of the p-adic L-function, where r is the number of places in S where E has multiplicative reduction, in terms of plectic points and Tate periods of E.


title: Symmetry, nodal structure, and Bogoliubov Fermi surfaces for nonlocal pairing

abstract: Multiband effects can lead to fundamentally different electronic behavior of solids, as exemplified by the possible emergence of Fermi surfaces of Bogoliubov quasiparticles in centrosymmetric superconductors which break time-reversal symmetry. We extend the analysis of possible pairing symmetries, the corresponding nodal structure, and the Bogoliubov Fermi surfaces in two directions: We include nonlocal pairing and we consider internal degrees of freedom other than the effective angular momentum of length $j=3/2$ examined so far. Since our main focus is on the Bogoliubov Fermi surfaces we concentrate on even-parity pairing. The required symmetry analysis is illustrated for several examples, as a guide for the reader. We find that the inclusion of nonlocal pairing leads to a much larger range of possible pairing symmetries. For infinitesimal pairing strength, we find a simple yet powerful criterion for nodes in terms of a scalar product of form factors.


title: On the speed of convergence of Picard iterations of backward stochastic differential equations

abstract: It is a well-established fact in the scientific literature that Picard iterations of backward stochastic differential equations with globally Lipschitz continuous nonlinearity converge at least exponentially fast to the solution. In this paper we prove that this convergence is in fact at least square-root factorially fast. We show for one example that no higher convergence speed is possible in general. Moreover, if the nonlinearity is $z$-independent, then the convergence is even factorially fast. Thus we reveal a phase transition in the speed of convergence of Picard iterations of backward stochastic differential equations.


title: A note on "Existence and uniqueness of coexistence states for an elliptic system coupled in the linear part", by Hei Li-Jun, Nonlinear Anal. Real World Appl. 5, 2004

abstract: In this short paper I report on a paper published in Nonlinear Analysis: Real World Applications in 2004. There is a major mistake early in that paper which makes most of its claims false. The class of reaction-diffusion systems considered in the paper has been the object of a renewed investigation in the past few years, by myself and others, and recent discoveries provide explicit counterexamples .


title: Tuning and Amplifying the Interactions in Superconducting Quantum Circuits with Subradiant Qubits

abstract: We propose a tunable coupler consisting of N fixed-frequency qubits, which can tune and even amplify the effective interaction between two superconducting quantum circuits. The tuning range of the interaction is proportional to N, with a minimum value of zero and a maximum that can exceed the physical coupling rates between the coupler and the circuits. The effective coupling rate is determined by the collective magnetic quantum number of the qubit ensemble, which takes only discrete values and is free from collective decay and decoherence. Using single-photon pi-pulses, the coupling rate can be switched between arbitrary choices of the initial and final values within the dynamic range in a single step without going through intermediate values. A cascade of the couplers for amplifying small interactions or weak signals is also discussed. These results should not only stimulate interest in exploring the collective effects in quantum information processing, but also enable development of applications in tuning and amplifying the interactions in a general cavity-QED system.


title: Convex optimization of bioprocesses

abstract: We optimize a general model of bioprocesses, which is nonconvex due to the microbial growth in the biochemical reactors. We formulate a convex relaxation and give conditions guaranteeing its exactness in both the transient and steady state cases. When the growth kinetics are modeled by the Monod function under constant biomass or the Contois function, the relaxation is a second-order cone program, which can be solved efficiently at large scales. We implement the model on a numerical example based on a wastewater treatment system.


title: Dissecting the Gaia HR diagram within 200 pc

abstract: We analyse the high-quality Hertzsprung-Russell diagram (HRD) derived from Gaia data release 2 for the Solar Neighbourhood. We start building an almost-complete sample within 200 pc and for |b|>25 deg, so as to limit the impact of known errors and artefacts in the Gaia catalog. Particular effort is then put into improving the modelling of population of binaries, which produce two marked features in the HRD: the sequence of near-equal mass binaries along the lower main sequence, and the isolated group of hot subdwarfs. We describe a new tool, BinaPSE, to follow the evolution of interacting binaries in a way that improves the consistency with PARSEC evolutionary tracks for single stars. BinaPSE is implemented into the TRILEGAL code for the generation of "partial models" for both single and binary stellar populations, taking into account the presence of resolved and unresolved binaries. We then fit the Gaia HRD via MCMC methods that search for the star formation history (SFH) and initial binary fraction (by mass) that maximise the likelihood. The main results are (i) the binary fraction derived from the lower main sequence is close to 0.4, while twice larger values are favoured when the upper part of the HRD is fitted; (ii) present models predict the observed numbers of hot subdwarfs to within a factor of 2; (iii) irrespective of the prescription for the binaries, the star formation rate peaks at values 1.5e-4 Msun/yr at ages slightly above 2 Gyr, and then decreases to 0.8e-4 Msun/yr at very old ages.


title: Gravitational waves from bubble collisions in FLRW spacetime

abstract: Stochastic gravitational wave background (SGWB) is a promising tool to probe the very early universe where the standard model of particle physics and cosmology are connected closely. As a possible component of SGWB, gravitational waves (GW) from bubble collisions during the first order cosmological phase transitions deserve comprehensive analyses. In 2017, Ryusuke Jinno and Masahiro Takimoto proposed an elegant analysis approach to derive the analytical expressions of energy spectra of GW from bubble collisions in Minkowski spacetime avoiding large-scale numerical simulations for the first time[26]. However, they neglect the expansion of the universe and regard the duration of phase transitions as infinity in their derivation which could deviate their estimations from true values. For these two reasons, we give a new expression of GW spectra by adopting their method, switching spacetime background to FLRW spacetime, and considering a finite duration of phase transitions. By denoting $\sigma$ as the fraction of the speed of phase transitions to the expansion speed of the universe, we find when $\sigma$ is around $\mathcal{O}(10)$, the maxima of estimated GW energy spectra drop by around 1 order of magnitude than the results given by their previous work. Even when $\sigma=100$, the maximum of GW energy spectrum is only $65\%$ of their previous estimation. Such a significant decrease may bring about new challenges for the detectability of GW from bubble collisions. Luckily, by comparing new spectra with PLI (\textit{power-law integrated}) sensitivity curves of GW detectors, we find that the detection prospect for GW from bubble collisions is still promising for DECIGO, BBO, LISA, and TianQin in the foreseeable future.


title: Reconstruction of multiple Compton scattering events in MeV gamma-ray Compton telescopes towards GRAMS: the physics-based probabilistic model

abstract: Aimed at progress in mega-electron volt (MeV) gamma-ray astronomy, which has not yet been well-explored, Compton telescope missions with a variety of detector concepts have been proposed so far. One of the key techniques for these future missions is an event reconstruction algorithm that is able to determine the scattering orders of multiple Compton scattering events and to identify events in which gamma rays escape from the detectors before they deposit all of their energies. We revisit previous event reconstruction methods and propose a modified algorithm based on a probabilistic method. First, we present a general formalism of the probabilistic model of Compton scattering describing physical interactions inside the detector and measurement processes. Then, we also introduce several approximations in the calculation of the probability functions for efficient computation. For validation, the developed algorithm has been applied to simulation data of a Compton telescope using a liquid argon time projection chamber, which is a new type of Compton telescope proposed for the GRAMS project. We have confirmed that it works successfully for up to 8-hit events, including correction of incoming gamma-ray energies for escape events. The proposed algorithm can be used for next-generation MeV gamma-ray missions featured by large-volume detectors, e.g., GRAMS.


title: The Siebeck-Marden-Northshield Theorem and the Real Roots of the Symbolic Cubic Equation

abstract: The isolation intervals of the real roots of the symbolic monic cubic polynomial $x^3 + a x^2 + b x + c$ are determined, in terms of the coefficients of the polynomial, by solving the Siebeck-Marden-Northshield triangle - the equilateral triangle that projects onto the three real roots of the cubic polynomial and whose inscribed circle projects onto an interval with endpoints equal to stationary points of the polynomial


title: Differentially Private Sliced Wasserstein Distance

abstract: Developing machine learning methods that are privacy preserving is today a central topic of research, with huge practical impacts. Among the numerous ways to address privacy-preserving learning, we here take the perspective of computing the divergences between distributions under the Differential Privacy (DP) framework -- being able to compute divergences between distributions is pivotal for many machine learning problems, such as learning generative models or domain adaptation problems. Instead of resorting to the popular gradient-based sanitization method for DP, we tackle the problem at its roots by focusing on the Sliced Wasserstein Distance and seamlessly making it differentially private. Our main contribution is as follows: we analyze the property of adding a Gaussian perturbation to the intrinsic randomized mechanism of the Sliced Wasserstein Distance, and we establish the sensitivityof the resulting differentially private mechanism. One of our important findings is that this DP mechanism transforms the Sliced Wasserstein distance into another distance, that we call the Smoothed Sliced Wasserstein Distance. This new differentially private distribution distance can be plugged into generative models and domain adaptation algorithms in a transparent way, and we empirically show that it yields highly competitive performance compared with gradient-based DP approaches from the literature, with almost no loss in accuracy for the domain adaptation problems that we consider.


title: Integrating Expert Knowledge with Domain Adaptation for Unsupervised Fault Diagnosis

abstract: Data-driven fault diagnosis methods often require abundant labeled examples for each fault type. On the contrary, real-world data is often unlabeled and consists of mostly healthy observations and only few samples of faulty conditions. The lack of labels and fault samples imposes a significant challenge for existing data-driven fault diagnosis methods. In this paper, we aim to overcome this limitation by integrating expert knowledge with domain adaptation in a synthetic-to-real framework for unsupervised fault diagnosis. Motivated by the fact that domain experts often have a relatively good understanding on how different fault types affect healthy signals, in the first step of the proposed framework, a synthetic fault dataset is generated by augmenting real vibration samples of healthy bearings. This synthetic dataset integrates expert knowledge and encodes class information about the fault types. However, models trained solely based on the synthetic data often do not perform well because of the distinct distribution difference between the synthetically generated and real faults. To overcome this domain gap between the synthetic and real data, in the second step of the proposed framework, an imbalance-robust domain adaptation~(DA) approach is proposed to adapt the model from synthetic faults~(source) to the unlabeled real faults~(target) which suffer from severe class imbalance. The framework is evaluated on two unsupervised fault diagnosis cases for bearings, the CWRU laboratory dataset and a real-world wind-turbine dataset. Experimental results demonstrate that the generated faults are effective for encoding fault type information and the domain adaptation is robust against the different levels of class imbalance between faults.


title: Matching a Desired Causal State via Shift Interventions

abstract: Transforming a causal system from a given initial state to a desired target state is an important task permeating multiple fields including control theory, biology, and materials science. In causal models, such transformations can be achieved by performing a set of interventions. In this paper, we consider the problem of identifying a shift intervention that matches the desired mean of a system through active learning. We define the Markov equivalence class that is identifiable from shift interventions and propose two active learning strategies that are guaranteed to exactly match a desired mean. We then derive a worst-case lower bound for the number of interventions required and show that these strategies are optimal for certain classes of graphs. In particular, we show that our strategies may require exponentially fewer interventions than the previously considered approaches, which optimize for structure learning in the underlying causal graph. In line with our theoretical results, we also demonstrate experimentally that our proposed active learning strategies require fewer interventions compared to several baselines.


title: Rotator phases in hexadecane emulsion drops revealed by X-ray synchrotron techniques

abstract: Micrometer sized alkane-in-water emulsion drops, stabilized by appropriate long-chain surfactants, spontaneously break symmetry upon cooling and transform consecutively into series of regular shapes (Denkov et al., Nature 2015, 528, 392). Two mechanisms were proposed to explain this phenomenon of drop "self-shaping". One of these mechanisms assumes that thin layers of plastic rotator phase form at the drop surface around the freezing temperature of the oil. This mechanism has been supported by several indirect experimental findings but direct structural characterization has not been reported so far. We combine small- and wide-angle X-ray scattering (SAXS/WAXS) with optical microscopy and DSC measurements of self-shaping drops in emulsions. In the emulsions exhibiting drop self-shaping, the scattering spectra reveal the formation of intermediate, metastable rotator phases in the alkane drops before their crystallization. In addition, shells of rotator phase were observed to form in hexadecane drops, stabilized by C16EO10 surfactant. This rotator phase melts at ca. 16.6 {\deg}C which is significantly lower than the melting temperature of crystalline hexadecane, 18 {\deg}C. The scattering results are in a very good agreement with the complementary optical observations and DSC measurements.


title: Recombination and localization: unfolding the pathways behind conductivity losses in Cs2AgBiBr6 thin films

abstract: Cs2AgBiBr6 (CABB) has been proposed as a promising non-toxic alternative to lead halide perovskites. However, low charge carrier collection efficiencies remain an obstacle for the incorporation of this material in optoelectronic applications. In this work, we study the optoelectronic properties of CABB thin films using steady state and transient absorption and reflectance spectroscopy. We find that optical measurements on such thin films are distorted as a consequence of multiple reflections within the film. Moreover, we discuss the pathways behind conductivity loss in these thin films, using a combination of microsecond transient absorption and time-resolved microwave conductivity spectroscopy. We demonstrate that a combined effect of carrier loss and localization results in the conductivity loss in CABB thin films. Moreover, we find that the charge carrier diffusion length and sample thickness are of the same order. This suggests that the materials surface is an important contributor to charge carrier loss.


title: Ferroelectric Tunneling Junctions for Edge Computing

abstract: Ferroelectric tunneling junctions (FTJ) are considered to be the intrinsically most energy efficient memristors. In this work, specific electrical features of ferroelectric hafnium-zirconium oxide based FTJ devices are investigated. Moreover, the impact on the design of FTJ-based circuits for edge computing applications is discussed by means of two example circuits.


title: Poisoning Attack against Estimating from Pairwise Comparisons

abstract: As pairwise ranking becomes broadly employed for elections, sports competitions, recommendations, and so on, attackers have strong motivation and incentives to manipulate the ranking list. They could inject malicious comparisons into the training data to fool the victim. Such a technique is called poisoning attack in regression and classification tasks. In this paper, to the best of our knowledge, we initiate the first systematic investigation of data poisoning attacks on pairwise ranking algorithms, which can be formalized as the dynamic and static games between the ranker and the attacker and can be modeled as certain kinds of integer programming problems. To break the computational hurdle of the underlying integer programming problems, we reformulate them into the distributionally robust optimization (DRO) problems, which are computationally tractable. Based on such DRO formulations, we propose two efficient poisoning attack algorithms and establish the associated theoretical guarantees. The effectiveness of the suggested poisoning attack strategies is demonstrated by a series of toy simulations and several real data experiments. These experimental results show that the proposed methods can significantly reduce the performance of the ranker in the sense that the correlation between the true ranking list and the aggregated results can be decreased dramatically.


title: A theoretical analysis of one-dimensional discrete generation ensemble Kalman particle filters

abstract: Despite the widespread usage of discrete generation Ensemble Kalman particle filtering methodology to solve nonlinear and high dimensional filtering and inverse problems, little is known about their mathematical foundations. As genetic-type particle filters (a.k.a. sequential Monte Carlo), this ensemble-type methodology can also be interpreted as mean-field particle approximations of the Kalman-Bucy filtering equation. In contrast with conventional mean-field type interacting particle methods equipped with a globally Lipschitz interacting drift-type function, Ensemble Kalman filters depend on a nonlinear and quadratic-type interaction function defined in terms of the sample covariance of the particles. Most of the literature in applied mathematics and computer science on these sophisticated interacting particle methods amounts to designing different classes of useable observer-type particle methods. These methods are based on a variety of inconsistent but judicious ensemble auxiliary transformations or include additional inflation/localisationtype algorithmic innovations, in order to avoid the inherent time-degeneracy of an insufficient particle ensemble size when solving a filtering problem with an unstable signal. To the best of our knowledge, the first and the only rigorous mathematical analysis of these sophisticated discrete generation particle filters is developed in the pioneering articles by Le Gland-Monbet-Tran and by Mandel-Cobb-Beezley, which were published in the early 2010s. Nevertheless, besides the fact that these studies prove the asymptotic consistency of the Ensemble Kalman filter, they provide exceedingly pessimistic meanerror estimates that grow exponentially fast with respect to the time horizon, even for linear Gaussian filtering problems with stable one dimensional signals. In the present article we develop a novel self-contained and complete stochastic perturbation analysis of the fluctuations, the stability, and the long-time performance of these discrete generation ensemble Kalman particle filters, including time-uniform and non-asymptotic mean-error estimates that apply to possibly unstable signals. To the best of our knowledge, these are the first results of this type in the literature on discrete generation particle filters, including the class of genetic-type particle filters and discrete generation ensemble Kalman filters. The stochastic Riccati difference equations considered in this work are also of interest in their own right, as a prototype of a new class of stochastic rational difference equation.


title: Winning at Any Cost -- Infringing the Cartel Prohibition With Reinforcement Learning

abstract: Pricing decisions are increasingly made by AI. Thanks to their ability to train with live market data while making decisions on the fly, deep reinforcement learning algorithms are especially effective in taking such pricing decisions. In e-commerce scenarios, multiple reinforcement learning agents can set prices based on their competitor's prices. Therefore, research states that agents might end up in a state of collusion in the long run. To further analyze this issue, we build a scenario that is based on a modified version of a prisoner's dilemma where three agents play the game of rock paper scissors. Our results indicate that the action selection can be dissected into specific stages, establishing the possibility to develop collusion prevention systems that are able to recognize situations which might lead to a collusion between competitors. We furthermore provide evidence for a situation where agents are capable of performing a tacit cooperation strategy without being explicitly trained to do so.


title: Versatile and concurrent FPGA-based architecture for practical quantum communication systems

abstract: This work presents a hardware and software architecture which can be used in those systems that implement practical Quantum Key Distribution (QKD) and Quantum Random Number Generation (QRNG) schemes. This architecture fully exploits the capability of a System-on-a-Chip (SoC) which comprehends both a Field Programmable Gate Array (FPGA) and a dual core CPU unit. By assigning the time-related tasks to the FPGA and the management to the CPU, we built a flexible system with optimized resource sharing on a commercial off-the-shelf (COTS) evaluation board which includes a SoC. Furthermore, by changing the dataflow direction, the versatile system architecture can be exploited as a QKD transmitter, QKD receiver and QRNG control-acquiring unit. Finally, we exploited the dual core functionality and realized a concurrent stream device to implement a practical QKD transmitter where one core continuously receives fresh data at a sustained rate from an external QRNG source while the other operates with the FPGA to drive the qubits transmission to the QKD receiver. The system was successfully tested on a long-term run proving its stability and security. This demonstration paves the way towards a more secure QKD implementation, with fully unconditional security as the QKD states are entirely generated by a true random process and not by deterministic expansion algorithms. Eventually, this enables the realization of a standalone quantum transmitter, including both the random numbers and the qubits generation.


title: Automating Generative Deep Learning for Artistic Purposes: Challenges and Opportunities

abstract: We present a framework for automating generative deep learning with a specific focus on artistic applications. The framework provides opportunities to hand over creative responsibilities to a generative system as targets for automation. For the definition of targets, we adopt core concepts from automated machine learning and an analysis of generative deep learning pipelines, both in standard and artistic settings. To motivate the framework, we argue that automation aligns well with the goal of increasing the creative responsibility of a generative system, a central theme in computational creativity research. We understand automation as the challenge of granting a generative system more creative autonomy, by framing the interaction between the user and the system as a co-creative process. The development of the framework is informed by our analysis of the relationship between automation and creative autonomy. An illustrative example shows how the framework can give inspiration and guidance in the process of handing over creative responsibility.


title: On the generating function of the Pearcey process

abstract: The Pearcey process is a universal point process in random matrix theory. In this paper, we study the generating function of the Pearcey process on any number $m$ of intervals. We derive an integral representation for it in terms of a Hamiltonian that is related to a system of $6m+2$ coupled nonlinear equations. We also obtain asymptotics for the generating function as the size of the intervals get large, up to and including the constant term. This work generalizes some recent results of Dai, Xu and Zhang, which correspond to $m=1$.


title: Optimal metrology with programmable quantum sensors

abstract: Quantum sensors are an established technology that has created new opportunities for precision sensing across the breadth of science. Using entanglement for quantum-enhancement will allow us to construct the next generation of sensors that can approach the fundamental limits of precision allowed by quantum physics. However, determining how state-of-the-art sensing platforms may be used to converge to these ultimate limits is an outstanding challenge. In this work we merge concepts from the field of quantum information processing with metrology, and successfully implement experimentally a *programmable quantum sensor* operating close to the fundamental limits imposed by the laws of quantum mechanics. We achieve this by using low-depth, parametrized quantum circuits implementing optimal input states and measurement operators for a sensing task on a trapped ion experiment. With 26 ions, we approach the fundamental sensing limit up to a factor of 1.45(1), outperforming conventional spin-squeezing with a factor of 1.87(3). Our approach reduces the number of averages to reach a given Allan deviation by a factor of 1.59(6) compared to traditional methods not employing entanglement-enabled protocols. We further perform on-device quantum-classical feedback optimization to `self-calibrate' the programmable quantum sensor with comparable performance. This ability illustrates that this next generation of quantum sensor can be employed without prior knowledge of the device or its noise environment.


title: Cost-Oriented Load Forecasting

abstract: Accurate load prediction is an effective way to reduce power system operation costs. Traditionally, the mean square error (MSE) is a common-used loss function to guide the training of an accurate load forecasting model. However, the MSE loss function is unable to precisely reflect the real costs associated with forecasting errors because the cost caused by forecasting errors in the real power system is probably neither symmetric nor quadratic. To tackle this issue, this paper proposes a generalized cost-oriented load forecasting framework. Specifically, how to obtain a differentiable loss function that reflects real cost and how to integrate the loss function with regression models are studied. The economy and effectiveness of the proposed load forecasting method are verified by the case studies of an optimal dispatch problem that is built on the IEEE 30-bus system and the open load dataset from the Global Energy Forecasting Competition 2012 (GEFCom2012).


title: 2D hybrid CrCl2(N2C4H4)2 with tunable ferromagnetic half-metallicity

abstract: Two-dimensional ferromagnetic (2D FM) half-metal holds great potential for quantum magnetoelectronics and spintronic devices. Here, using density functional calculations and magnetic pictures, we study the electronic structure and magnetic properties of the novel van der Waals (vdW) metal-organic framework (MOF), CrCl2(N2C4H4)2, i.e. CrCl2(pyrazine)2. Our results show that CrCl2(pyrazine)2 is a 2D FM half-metal, having a strong intralayer FM coupling but a much weak interlayer one due to the vdW spacing. Its spin-polarized conduction bands are formed by the pyrazine molecular orbitals and are polarized by the robust Cr3+ local spin = 3/2. These results agree with the recent experiments [Pedersen et al., Nature Chemistry, 2018, 10, 1056]. More interestingly, CrCl2(pyrazine)2 monolayer has a strong doping tunability of the FM half-metallicity, and the FM coupling would be significantly enhanced by electron doping. Our work highlights a vital role of the organic ligand and suggests that vdW MOF is also worth exploration for new 2D magnetic materials.


title: A Deep Transfer Learning Approach on Identifying Glitch Wave-form in Gravitational Wave Data

abstract: LIGO interferometer is considered the most sensitive and complicated gravitational experimental equipment ever built. Its main objective is to detect the gravitational wave from the strongest events in the universe by observing if the length of its 4-kilometer arms change by a distance 10,000 times smaller than the diameter of a proton. Due to its sensitivity, interferometer is prone to the disturbance of external noises which affects the data being collected to detect the gravitational wave. These noises are commonly called by the gravitational-wave community as glitches. This study focuses on identifying those glitches using different deep transfer learning algorithms. The extensive experiment shows that algorithm with architecture VGG19 recorded the highest AUC-ROC among other experimented algorithm with 0.9898. While all of the experimented algorithm achieved a considerably high AUC-ROC, some of the algorithm suffered from class imbalance of the dataset which has a detrimental effect when identifying other classes.

categories: gr-qc astro-ph.IM cs.LG physics.space-ph


title: Multiloop corrections for collider processes using auxiliary mass flow

abstract: With a key improvement, the auxiliary mass flow method is now able to compute Feynman integrals encountered in cutting-edge collider processes. We have successfully applied it to compute some integrals involved in two-loop electroweak corrections to $e^+e^-\to HZ$, two-loop QCD corrections to $3j$, $W/Z/H+2j$, $t\bar{t}H$ and $4j$ production at hadron colliders, and three-loop QCD corrections to $t\bar{t}$ production at hadron colliders, all of which are crucial for precision frontier in collider physics in the following decade. Our results are important building blocks and benchmarks for future studies of these processes.


title: Variational Bayesian Inference for a Polytomous-Attribute Saturated Diagnostic Classification Model with Parallel Computing

abstract: As a statistical tool to assist formative assessments in educational settings, diagnostic classification models (DCMs) have been increasingly used to provide diagnostic information regarding examinees' attributes. DCMs often adopt a dichotomous division such as the mastery and non-mastery of attributes to express the mastery states of attributes. However, many practical settings involve different levels of mastery states rather than a simple dichotomy in a single attribute. Although this practical demand can be addressed by polytomous-attribute DCMs, their computational cost in a Markov chain Monte Carlo estimation impedes their large-scale application due to the larger number of polytomous-attribute mastery patterns than that of binary-attribute ones. This study considers a scalable Bayesian estimation method for polytomous-attribute DCMs and developed a variational Bayesian (VB) algorithm for a polytomous-attribute saturated DCM -- a generalization of polytomous-attribute DCMs -- by building on the existing literature on polytomous-attribute DCMs and VB for binary-attribute DCMs. Furthermore, we proposed the configuration of parallel computing for the proposed VB algorithm to achieve better computational efficiency. Monte Carlo simulations revealed that our method exhibited the high performance in parameter recovery under a wide range of conditions. An empirical example is used to demonstrate the utility of our method.


title: Weinhold geometry and thermodynamics of Bardeen AdS black holes

abstract: Thermodynamics of Bardeen AdS black holes has attracted a great deal of attentions due to its intrinsic complications and rich phase structures. However, the entropy and thermodynamic volume are incorrect in some literatures. In this paper we revisit the thermodynamics of Bardeen AdS black holes and provide the correct entropy and thermodynamic volume. Furthermore, thermodynamic geometries are a powerful tool to probe the microstructure of black holes. Based on the Hessian matrix of black hole mass, we introduce a thermodynamic metric and give its scalar curvature in Weinhold's geometry. The conformal relation between Weinhold's geometry and Ruppeiner's geometry will be changed due to the specific first law of thermodynamics for regular black holes like the Bardeen AdS black hole. We also investigate the critical behaviour of phase transitions in an extended phase space, and find that the critical behaviour of the Bardeen AdS black hole coincides with that of liquid-gas systems. In particular, based on the Weinhold geometry we unveil a repulsive interaction in the microstructure of the Bardeen AdS black hole under its small volume state, while it is known that only attractive interaction exists in the microstructure of the van der Waals fluid.


title: Control of rough terrain vehicles using deep reinforcement learning

abstract: We explore the potential to control terrain vehicles using deep reinforcement in scenarios where human operators and traditional control methods are inadequate. This letter presents a controller that perceives, plans, and successfully controls a 16-tonne forestry vehicle with two frame articulation joints, six wheels, and their actively articulated suspensions to traverse rough terrain. The carefully shaped reward signal promotes safe, environmental, and efficient driving, which leads to the emergence of unprecedented driving skills. We test learned skills in a virtual environment, including terrains reconstructed from high-density laser scans of forest sites. The controller displays the ability to handle obstructing obstacles, slopes up to 27$^\circ$, and a variety of natural terrains, all with limited wheel slip, smooth, and upright traversal with intelligent use of the active suspensions. The results confirm that deep reinforcement learning has the potential to enhance control of vehicles with complex dynamics and high-dimensional observation data compared to human operators or traditional control methods, especially in rough terrain.


title: Gauge invariance in phase-gradient metagratings

abstract: Phase gradient metagratings/metasurfaces (PGMs) have provided a new paradigm for light manipulations. In this work, we will show the existence of gauge invariance in PGMs, i.e., the diffraction law of PGMs is independent of the choice of initial value of abrupt phase shift that induces the phase gradient. This gauge invariance ensures the well-studied ordinary metallic grating that can be regarded as a PGM, with its diffraction properties that can fully predicted by generalized diffraction law with phase gradient. The generalized diffraction law presents a new insight for the famous effect of Wood's Anomalies and Rayleigh conjecture.


title: Towards Better Adversarial Synthesis of Human Images from Text

abstract: This paper proposes an approach that generates multiple 3D human meshes from text. The human shapes are represented by 3D meshes based on the SMPL model. The model's performance is evaluated on the COCO dataset, which contains challenging human shapes and intricate interactions between individuals. The model is able to capture the dynamics of the scene and the interactions between individuals based on text. We further show how using such a shape as input to image synthesis frameworks helps to constrain the network to synthesize humans with realistic human shapes.


title: Optimum GSSK Transmission in Massive MIMO Systems Using the Box-LASSO Decoder

abstract: We propose in this work to employ the Box-LASSO, a variation of the popular LASSO method, as a low-complexity decoder in a massive multiple-input multiple-output (MIMO) wireless communication system. The Box-LASSO is mainly useful for detecting simultaneously structured signals such as signals that are known to be sparse and bounded. One modulation technique that generates essentially sparse and bounded constellation points is the so-called generalized space-shift keying (GSSK) modulation. In this direction, we derive high dimensional sharp characterizations of various performance measures of the Box-LASSO such as the mean square error, probability of support recovery, and the element error rate, under independent and identically distributed (i.i.d.) Gaussian channels that are not perfectly known. In particular, the analytical characterizations can be used to demonstrate performance improvements of the Box-LASSO as compared to the widely used standard LASSO. Then, we can use these measures to optimally tune the involved hyper-parameters of Box-LASSO such as the regularization parameter. In addition, we derive optimum power allocation and training duration schemes in a training-based massive MIMO system. Monte Carlo simulations are used to validate these premises and to show the sharpness of the derived analytical results.


title: Linking Use Cases and Associated Requirements: A Replicated Eye Tracking Study on the Impact of Linking Variants on Reading Behavior

abstract: A wide variety of use case templates supports different variants to link a use case with its associated requirements. Regardless of the linking, a reader must process the related information simultaneously to understand them. Linking variants are intended to cause a specific reading behavior in which a reader interrelates a use case and its associated requirements. Due to the effort to create and maintain links, we investigated the impact of different linking variants on the reading behavior in terms of visual effort and the intended way of interrelating both artifacts. We designed an eye tracking study about reading a use case and requirements. We conducted the study twice each with 15 subjects as a baseline experiment and as a repetition. The results of the baseline experiment, its repetition, and their joint analysis are consistent. All investigated linking variants cause comparable visual effort. In all cases, reading the single artifacts one after the other is the most frequently occurring behavior. Only links embedded in the fields of a use case description significantly increase the readers' efforts to interrelate both artifacts. None of the investigated linking variants impedes reading a use case and requirements. However, only the most detailed linking variant causes readers to process related information simultaneously.


title: Parts2Words: Learning Joint Embedding of Point Clouds and Texts by Bidirectional Matching between Parts and Words

abstract: Shape-Text matching is an important task of high-level shape understanding. Current methods mainly represent a 3D shape as multiple 2D rendered views, which obviously can not be understood well due to the structural ambiguity caused by self-occlusion in the limited number of views. To resolve this issue, we directly represent 3D shapes as point clouds, and propose to learn joint embedding of point clouds and texts by bidirectional matching between parts from shapes and words from texts. Specifically, we first segment the point clouds into parts, and then leverage optimal transport method to match parts and words in an optimized feature space, where each part is represented by aggregating features of all points within it and each word is abstracted by its contextual information. We optimize the feature space in order to enlarge the similarities between the paired training samples, while simultaneously maximizing the margin between the unpaired ones. Experiments demonstrate that our method achieves a significant improvement in accuracy over the SOTAs on multi-modal retrieval tasks under the Text2Shape dataset. Codes are available at https://github.com/JLUtangchuan/Parts2Words.


title: Detecting Concept Drift With Neural Network Model Uncertainty

abstract: Deployed machine learning models are confronted with the problem of changing data over time, a phenomenon also called concept drift. While existing approaches of concept drift detection already show convincing results, they require true labels as a prerequisite for successful drift detection. Especially in many real-world application scenarios-like the ones covered in this work-true labels are scarce, and their acquisition is expensive. Therefore, we introduce a new algorithm for drift detection, Uncertainty Drift Detection (UDD), which is able to detect drifts without access to true labels. Our approach is based on the uncertainty estimates provided by a deep neural network in combination with Monte Carlo Dropout. Structural changes over time are detected by applying the ADWIN technique on the uncertainty estimates, and detected drifts trigger a retraining of the prediction model. In contrast to input data-based drift detection, our approach considers the effects of the current input data on the properties of the prediction model rather than detecting change on the input data only (which can lead to unnecessary retrainings). We show that UDD outperforms other state-of-the-art strategies on two synthetic as well as ten real-world data sets for both regression and classification tasks.


title: Schubert Eisenstein series and Poisson summation for Schubert varieties

abstract: The first author and Bump defined Schubert Eisenstein series by restricting the summation in a degenerate Eisenstein series to a particular Schubert variety. In the case of $\mathrm{GL}_3$ over $\mathbb{Q}$ they proved that these Schubert Eisenstein series have meromorphic continuations in all parameters and conjectured the same is true in general. We revisit their conjecture and relate it to the program of Braverman, Kazhdan, Lafforgue, Ng\^o, and Sakellaridis aimed at establishing generalizations of the Poisson summation formula. We prove the Poisson summation formula for certain schemes closely related to Schubert varieties and use it to refine and establish the conjecture of the first author and Bump in many cases.


title: DeepRapper: Neural Rap Generation with Rhyme and Rhythm Modeling

abstract: Rap generation, which aims to produce lyrics and corresponding singing beats, needs to model both rhymes and rhythms. Previous works for rap generation focused on rhyming lyrics but ignored rhythmic beats, which are important for rap performance. In this paper, we develop DeepRapper, a Transformer-based rap generation system that can model both rhymes and rhythms. Since there is no available rap dataset with rhythmic beats, we develop a data mining pipeline to collect a large-scale rap dataset, which includes a large number of rap songs with aligned lyrics and rhythmic beats. Second, we design a Transformer-based autoregressive language model which carefully models rhymes and rhythms. Specifically, we generate lyrics in the reverse order with rhyme representation and constraint for rhyme enhancement and insert a beat symbol into lyrics for rhythm/beat modeling. To our knowledge, DeepRapper is the first system to generate rap with both rhymes and rhythms. Both objective and subjective evaluations demonstrate that DeepRapper generates creative and high-quality raps with rhymes and rhythms. Code will be released on GitHub.


title: Which Invariance Should We Transfer? A Causal Minimax Learning Approach

abstract: A major barrier to deploying current machine learning models lies in their non-reliability to dataset shifts. To resolve this problem, most existing studies attempted to transfer stable information to unseen environments. Particularly, independent causal mechanisms-based methods proposed to remove mutable causal mechanisms via the do-operator. Compared to previous methods, the obtained stable predictors are more effective in identifying stable information. However, a key question remains: which subset of this whole stable information should the model transfer, in order to achieve optimal generalization ability? To answer this question, we present a comprehensive minimax analysis from a causal perspective. Specifically, we first provide a graphical condition for the whole stable set to be optimal. When this condition fails, we surprisingly find with an example that this whole stable set, although can fully exploit stable information, is not the optimal one to transfer. To identify the optimal subset under this case, we propose to estimate the worst-case risk with a novel optimization scheme over the intervention functions on mutable causal mechanisms. We then propose an efficient algorithm to search for the subset with minimal worst-case risk, based on a newly defined equivalence relation between stable subsets. Compared to the exponential cost of exhaustively searching over all subsets, our searching strategy enjoys a polynomial complexity. The effectiveness and efficiency of our methods are demonstrated on synthetic data and the diagnosis of Alzheimer's disease.


title: Faster-LTN: a neuro-symbolic, end-to-end object detection architecture

abstract: The detection of semantic relationships between objects represented in an image is one of the fundamental challenges in image interpretation. Neural-Symbolic techniques, such as Logic Tensor Networks (LTNs), allow the combination of semantic knowledge representation and reasoning with the ability to efficiently learn from examples typical of neural networks. We here propose Faster-LTN, an object detector composed of a convolutional backbone and an LTN. To the best of our knowledge, this is the first attempt to combine both frameworks in an end-to-end training setting. This architecture is trained by optimizing a grounded theory which combines labelled examples with prior knowledge, in the form of logical axioms. Experimental comparisons show competitive performance with respect to the traditional Faster R-CNN architecture.


title: Percolation transition for random forests in $d\geq 3$

abstract: The arboreal gas is the probability measure on (unrooted spanning) forests of a graph in which each forest is weighted by a factor $\beta>0$ per edge. It arises as the $q\to 0$ limit of the $q$-state random cluster model with $p=\beta q$. We prove that in dimensions $d\geq 3$ the arboreal gas undergoes a percolation phase transition. This contrasts with the case of $d=2$ where no percolation transition occurs. The starting point for our analysis is an exact relationship between the arboreal gas and a non-linear sigma model with target space the fermionic hyperbolic plane $\mathbb{H}^{0|2}$. This latter model can be thought of as the $0$-state Potts model, with the arboreal gas being its random cluster representation. Unlike the standard Potts models, the $\mathbb{H}^{0|2}$ model has continuous symmetries. By combining a renormalisation group analysis with Ward identities we prove that this symmetry is spontaneously broken at low temperatures. In terms of the arboreal gas, this symmetry breaking translates into the existence of infinite trees in the thermodynamic limit. Our analysis also establishes massless free field correlations at low temperatures and the existence of a macroscopic tree on finite tori.


title: Cusp in the Symmetry Energy, Speed of Sound in Neutron Stars and Emergent Pseudo-Conformal Symmetry

abstract: We review how the "cusp" predicted in the nuclear symmetry energy generated by a topology change at density $n_{1/2}\gsim 2 n_0$ can have a surprising consequence, so far unrecognized in nuclear physics and astrophysics communities, on the structure of dense compact-star matter. The topology change, when translated into nuclear EFT with "effective" QCD degrees of freedom in terms of hidden local and scale symmetries duly taken into account, predicts an EoS that is soft below and stiff above $n\gsim n_{1/2}$, involving no low-order phase transitions, and yields the macrophysical properties of neutron stars consistent -- so far with no tension -- with the astrophysical observations, including the maximum mass $ 2.0\lsim M/ M_\odot\lsim 2.2$ as well as the GW data. Furthermore it describes the interior core of the massive stars populated by baryon-charge-fractionalized quasi-fermions that are neither baryonic nor quarkonic. It is argued that the cusp "buried" in the symmetry energy resulting from strong correlations with hidden heavy degrees of freedom leads, at $n\gsim n_{1/2}$, to what we dubbed "pseudo-conformal" sound speed, $v^2_{pcs}/c^2\approx 1/3$, precociously converged from below at $n_{1/2}$. It is not strictly conformal since the trace of energy-momentum tensor is not zero even in the chiral limit. This observation with the topology change identified with the putative hadron-quark continuity, taking place at at density $\gsim 2 n_0$, implies that the quantities accurately measured at $\sim n_0$ cannot give a stringent constraint for what takes place at the core density of compact stars $\sim (3-7) n_0$. This is because the change of degrees of freedom in effective field theory is involved. We discuss the implication of this on the recent PREX-II "dilemma" in the measured skin thickness of $^{208}$Pb.