title: Well posedness of nonlinear parabolic systems beyond duality

abstract: We develop a methodology for proving well-posedness in optimal regularity spaces for a wide class of nonlinear parabolic initial-boundary value systems, where the standard monotone operator theory fails. A motivational example of a problem accessible to our technique is the following system \[ \partial_tu-\mathrm{div} ( \nu(|\nabla u|) \nabla u )= -\mathrm{div} f \] with a given {strictly} positive bounded function $\nu$, {such that $\lim_{k\to \infty} \nu(k)=\nu_\infty$} and $f \in L^q$ with $q\in (1,\infty)$. The {existence, uniqueness and regularity} results for $q\ge 2$ are by now standard. However, even if a priori estimates are available, the existence in case $q\in (1,2)$ was essentially missing. We overcome the related crucial difficulty, namely the lack of a standard duality pairing, by resorting to proper weighted spaces and consequently provide existence, uniqueness and optimal regularity in the entire range $q\in (1,\infty)$.


title: Probability to be positive for the membrane model in dimensions 2 and 3

abstract: We consider the membrane model on a box $V_N\subset \mathbb{Z}^n$ of size $(2N+1)^n$ with zero boundary condition in the subcritical dimensions $n=2$ and $n=3$. We show optimal estimates for the probability that the field is positive in a subset $D_N$ of $V_N$. In particular we obtain for $D_N=V_N$ that the probability to be positive on the entire domain is exponentially small and the rate is of the order of the surface area $N^{n-1}$.


title: Expanding solitons to the Hermitian curvature flow on complex Lie groups

abstract: We investigate the algebraic structure of complex Lie groups equipped with left-invariant metrics which are expanding semi-algebraic solitons to the Hermitian curvature flow (HCF). We show that the Lie algebras of such Lie groups decompose in the semidirect product of a reductive Lie subalgebra with their nilradicals. Furthermore, we give a structural result concerning expanding semi-algebraic solitons on complex Lie groups. It turns out that the restriction of the soliton metric to the nilradical is also an expanding algebraic soliton and we explain how to construct expanding solitons on complex Lie groups starting from expanding solitons on their nilradicals.


title: A Theory-Based Evaluation of Nearest Neighbor Models Put Into Practice

abstract: In the $k$-nearest neighborhood model ($k$-NN), we are given a set of points $P$, and we shall answer queries $q$ by returning the $k$ nearest neighbors of $q$ in $P$ according to some metric. This concept is crucial in many areas of data analysis and data processing, e.g., computer vision, document retrieval and machine learning. Many $k$-NN algorithms have been published and implemented, but often the relation between parameters and accuracy of the computed $k$-NN is not explicit. We study property testing of $k$-NN graphs in theory and evaluate it empirically: given a point set $P \subset \mathbb{R}^\delta$ and a directed graph $G=(P,E)$, is $G$ a $k$-NN graph, i.e., every point $p \in P$ has outgoing edges to its $k$ nearest neighbors, or is it $\epsilon$-far from being a $k$-NN graph? Here, $\epsilon$-far means that one has to change more than an $\epsilon$-fraction of the edges in order to make $G$ a $k$-NN graph. We develop a randomized algorithm with one-sided error that decides this question, i.e., a property tester for the $k$-NN property, with complexity $O(\sqrt{n} k^2 / \epsilon^2)$ measured in terms of the number of vertices and edges it inspects, and we prove a lower bound of $\Omega(\sqrt{n / \epsilon k})$. We evaluate our tester empirically on the $k$-NN models computed by various algorithms and show that it can be used to detect $k$-NN models with bad accuracy in significantly less time than the building time of the $k$-NN model.


title: Regularized Contextual Bandits

abstract: We consider the stochastic contextual bandit problem with additional regularization. The motivation comes from problems where the policy of the agent must be close to some baseline policy which is known to perform well on the task. To tackle this problem we use a nonparametric model and propose an algorithm splitting the context space into bins, and solving simultaneously - and independently - regularized multi-armed bandit instances on each bin. We derive slow and fast rates of convergence, depending on the unknown complexity of the problem. We also consider a new relevant margin condition to get problem-independent convergence rates, ending up in intermediate convergence rates interpolating between the aforementioned slow and fast rates.


title: Semidefinite programming bounds for Lee codes

abstract: For $q,n,d \in \mathbb{N}$, let $A_q^L(n,d)$ denote the maximum cardinality of a code $C \subseteq \mathbb{Z}_q^n$ with minimum Lee distance at least $d$, where $\mathbb{Z}_q$ denotes the cyclic group of order $q$. We consider a semidefinite programming bound based on triples of codewords, which bound can be computed efficiently using symmetry reductions, resulting in several new upper bounds on $A_q^L(n,d)$. The technique also yields an upper bound on the independent set number of the $n$-th strong product power of the circular graph $C_{d,q}$, which number is related to the Shannon capacity of $C_{d,q}$. Here $C_{d,q}$ is the graph with vertex set $\mathbb{Z}_q$, in which two vertices are adjacent if and only if their distance (mod $q$) is strictly less than $d$. The new bound does not seem to improve significantly over the bound obtained from Lov\'asz theta-function, except for very small $n$.


title: Linearly Convergent Asynchronous Distributed ADMM via Markov Sampling

abstract: We consider the consensual distributed optimization problem and propose an asynchronous version of the Alternating Direction Method of Multipliers (ADMM) algorithm to solve it. The `asynchronous' part here refers to the fact that only one node/processor is updated (i.e. performs a minimization step) at each iteration of the algorithm. The selection of the node to be updated is decided by simulating a Markov chain. The proposed algorithm is shown to have a linear convergence property in expectation for the class of functions which are strongly convex and continuously differentiable.


title: T-Visor: A Hypervisor for Mixed Criticality Embedded Real-time System with Hardware Virtualization Support

abstract: Recently, embedded systems have not only requirements for hard real-time behavior and reliability, but also diversified functional demands, such as network functions. To satisfy these requirements, virtualization using hypervisors is promising for embedded systems. However, as most of existing hypervisors are designed for general-purpose information processing systems, they rely on large system stacks, so that they are not suitable for mixed criticality embedded real-time systems. Even in hypervisors designed for embedded systems, their schedulers do not consider the diversity of real-time requirements and rapid change in scheduling theory. We present the design and implementation of T-Visor, a hypervisor specialized for mixed criticality embedded real-time systems. T-Visor supports ARM architecture and realizes full virtualization using ARM Virtualization Extensions. To guarantee real-time behavior, T-Visor provides a flexible scheduling framework so that developers can select the most suitable scheduling algorithm for their systems. Our evaluation showed that it performed better compared to Xen/ARM. From these results, we conclude that our design and implementation are more suitable for embedded real-time systems than the existing hypervisors.


title: Surjectivity of the $\overline{\partial}$-operator between weighted spaces of smooth vector-valued functions

abstract: We derive sufficient conditions for the surjectivity of the Cauchy-Riemann operator $\overline{\partial}$ between spaces of weighted smooth Fr\'echet-valued functions. This is done by establishing an analog of H\"ormander's theorem on the solvability of the inhomogeneous Cauchy-Riemann equation in a space of smooth $\mathbb{C}$-valued functions whose topologyis given by a whole family of weights. Our proof relies on a weakened variant of weak reducibility of the corresponding subspace of holomorphic functions in combination with the Mittag-Leffler procedure. Using tensor products, we deduce the corresponding result on the solvability of the inhomogeneous Cauchy-Riemann equation for Fr\'echet-valued functions.


title: Crazy Sequential Representations of Numbers for Small Bases

abstract: Throughout history, recreational mathematics has always played a prominent role in advancing research. Following in this tradition, in this paper we extend some recent work with crazy sequential representations of numbers- equations made of sequences of one through nine (or nine through one) that evaluate to a number. All previous work on this type of puzzle has focused only on base ten numbers and whether a solution existed. We generalize this concept and examine how this extends to arbitrary bases, the ranges of possible numbers, the combinatorial challenge of finding the numbers, efficient algorithms, and some interesting patterns across any base. For the analysis, we focus on bases three through ten. Further, we outline several interesting mathematical and algorithmic complexity problems related to this area that have yet to be considered.


title: Densely k-separable compacta are densely separable

abstract: A space has $\sigma$-compact tightness if the closures of $\sigma$-compact subsets determines the topology. We consider a dense set variant that we call densely k-separable. We consider the question of whether every densely k-separable space is separable. The somewhat surprising answer is that this property, for compact spaces, implies that every dense set is separable. The path to this result relies on the known connections established between $\pi$-weight and the density of all dense subsets, or more precisely, the cardinal invariant $\delta(X)$.


title: Stationary localized structures and the effect of the delayed feedback in the Brusselator model

abstract: The Brusselator reaction-diffusion model is a paradigm for the understanding of dissipative structures in systems out of equilibrium. In the first part of this paper, we investigate the formation of stationary localized structures in the Brusselator model. By using numerical continuation methods in two spatial dimensions, we establish a bifurcation diagram showing the emergence of localized spots. We characterize the transition from a single spot to an extended pattern in the form of squares. In the second part, we incorporate delayed feedback control and show that delayed feedback can induce a spontaneous motion of both localized and periodic dissipative structures. We characterize this motion by estimating the threshold and the velocity of the moving dissipative structures.


title: $\sigma_2$ Yamabe problem on conic 4-spheres

abstract: We discuss the constant $\sigma_{2}$ problem for conic 4-spheres. Based on earlier works of Chang-Han-Yang and Han-Li-Teixeira, we are able to find a necessary condition for the existence problem. In particular, when the condition is sharp, we have the uniqueness result similar to that of Troyanov in dimension 2. It indicates that the boundary of the moduli of all conic 4-spheres with constant $\sigma_{2}$ metrics consists of conic spheres with 2 conic points and rotational symmetry.


title: See saw mechanism with Yukawa alignment for neutrinos

abstract: In the extension of the standard model with one right-handed neutrino and one Higgs triplet, we propose a suppression mechanism, obtaining small masses for the active neutrinos, while mixing angles are predicted with a right-handed neutrino at the TeV scale and Yukawa couplings at the order of $\mathcal{O}(1)$. In this extension, the seesaw formula is proportional to the difference between two Yukawa couplings: the one that governs the interactions of the ordinary matter through the Higgs triplet, and the coupling of the new neutrino through the scalar doublet, so that by aligning both Yukawa couplings, exact zero-mass active neutrinos are obtained. By perturbating this alignment condition, we obtain neutrino masses proportional to the magnitude and direction of the perturbation in the flavour space. Bimaximal and nearly bimaximal mass structures emerge from specific unalignment forms.


title: Taming the Cross Entropy Loss

abstract: We present the Tamed Cross Entropy (TCE) loss function, a robust derivative of the standard Cross Entropy (CE) loss used in deep learning for classification tasks. However, unlike other robust losses, the TCE loss is designed to exhibit the same training properties than the CE loss in noiseless scenarios. Therefore, the TCE loss requires no modification on the training regime compared to the CE loss and, in consequence, can be applied in all applications where the CE loss is currently used. We evaluate the TCE loss using the ResNet architecture on four image datasets that we artificially contaminated with various levels of label noise. The TCE loss outperforms the CE loss in every tested scenario.


title: Dissipative many-body physics of cold Rydberg atoms

abstract: In the last twenty years, Rydberg atoms have become a versatile and much studied system for implementing quantum many-body systems in the framework of quantum computation and quantum simulation. However, even in the absence of coherent evolution Rydberg systems exhibit interesting and non-trivial many-body phenomena such as kinetic constraints and non-equilibrium phase transitions that are relevant in a number of research fields. Here we review our recent work on such systems, where dissipation leads to incoherent dynamics and also to population decay. We show that those two effects, together with the strong interactions between Rydberg atoms, give rise to a number of intriguing phenomena that make cold Rydberg atoms an attractive test-bed for classical many-body processes and quantum generalizations thereof.


title: On the Brain Networks of Complex Problem Solving

abstract: Complex problem solving is a high level cognitive process which has been thoroughly studied over the last decade. The Tower of London (TOL) is a task that has been widely used to study problem-solving. In this study, we aim to explore the underlying cognitive network dynamics among anatomical regions of complex problem solving and its sub-phases, namely planning and execution. A new brain network construction model establishing dynamic functional brain networks using fMRI is proposed. The first step of the model is a preprocessing pipeline that manages to decrease the spatial redundancy while increasing the temporal resolution of the fMRI recordings. Then, dynamic brain networks are estimated using artificial neural networks. The network properties of the estimated brain networks are studied in order to identify regions of interest, such as hubs and subgroups of densely connected brain regions. The major similarities and dissimilarities of the network structure of planning and execution phases are highlighted. Our findings show the hubs and clusters of densely interconnected regions during both subtasks. It is observed that there are more hubs during the planning phase compared to the execution phase, and the clusters are more strongly connected during planning compared to execution.


title: The New Variability Phase of OJ 287 and Emergence of New Components in NIR to X-ray Region

abstract: We present a multi-wavelength (MW) spectral and temporal study of the recent activity of the claimed super-massive binary black hole system OJ 287 since December 2015. The overall MW activity can be divided into two durations: December 2015 - April 2016 (MJD: 57360 - 57500), showing strong activity from near-infrared (NIR) to $\gamma$-rays and September 2016 - June 2017 (MJD: 57650 - 57930), showing intense NIR to X-ray variability concurrent with detection at very high energies (VHE) by VERITAS, but without any signatures of variability in the Fermi-LAT band. In the first duration, the variations are almost simultaneous and the SEDs show new components in NIR-optical and optical-UV region. The NIR-optical bump is consistent with standard accretion-disk (AD) description while the optical-UV appears consistent with contributions from the broad-line region. The extracted broadband SEDs also show a clear shift in gamma-ray SED peak and can be explained with inverse Compton scattering of photons from broad line region. In the second period, the variations are also simultaneous except for one duration during which X-ray leads the optical/UV by $\sim$ 5-6 day. The broadband SEDs, on the other hand, show mixture of a typical OJ 287 SED and an HBL SED, consistent with an origin from two different zones, one located at sub-parsec scales and other at parsec scales.


title: Efficient estimation of autocorrelation spectra

abstract: The performance of Markov chain Monte Carlo calculations is determined by both ensemble variance of the Monte Carlo estimator and autocorrelation of the Markov process. In order to study autocorrelation, binning analysis is commonly used, where the autocorrelation is estimated from results grouped into bins of logarithmically increasing sizes. In this paper, we show that binning analysis comes with a bias that can be eliminated by combining bin sizes. We then show binning analysis can be performed on-the-fly with linear overhead in time and logarithmic overhead in memory with respect to the sample size. We then show that binning analysis contains information not only about the integrated effect of autocorrelation, but can be used to estimate the spectrum of autocorrelation lengths, yielding the height of phase space barriers in the system. Finally, we revisit the Ising model and apply the proposed method to recover its autocorrelation spectra.


title: Person Retrieval in Surveillance Video using Height, Color and Gender

abstract: A person is commonly described by attributes like height, build, cloth color, cloth type, and gender. Such attributes are known as soft biometrics. They bridge the semantic gap between human description and person retrieval in surveillance video. The paper proposes a deep learning-based linear filtering approach for person retrieval using height, cloth color, and gender. The proposed approach uses Mask R-CNN for pixel-wise person segmentation. It removes background clutter and provides precise boundary around the person. Color and gender models are fine-tuned using AlexNet and the algorithm is tested on SoftBioSearch dataset. It achieves good accuracy for person retrieval using the semantic query in challenging conditions.


title: Self-assembled Bismuth Selenide (Bi2Se3) quantum dots grown by molecular beam epitaxy

abstract: We report the growth of self-assembled Bi2Se3 quantum dots (QDs) by molecular beam epitaxy on GaAs substrates using the droplet epitaxy technique. The QD formation occurs after anneal of Bismuth droplets under Selenium flux. Characterization by atomic force microscopy, scanning electron microscopy, X-ray diffraction, high-resolution transmission electron microscopy and X-ray reflectance spectroscopy is presented. The quantum dots are crystalline, with hexagonal shape, and have average dimensions of 12 nm height (12 quintuple layers) and 46 nm width, and a density of $8.5 \cdot 10^9 cm^{-2}$. This droplet growth technique provides a means to produce topological insulator QDs in a reproducible and controllable way, providing convenient access to a promising quantum material with singular spin properties.


title: On various levels of deterministic toy models for the Richardson cascade in turbulence

abstract: The Desnyanski-Novikov shell model is a deterministic dynamical model for scalar velocities $v_t(n)$ defined on the one-dimensional-lattice $n=0,1,2,..$ labelling the length-scales $l_n=l_0 2^{-n}$, in order to describe the cascade of energy from the biggest scale where it is injected by some external forcing towards the smaller scales where it is dissipated by viscosity. We describe the generalization of this model in two directions : (i) the one-dimensional-lattice $n=0,1,2,..$ labelling the length-scales $l_n=l_0 2^{-n}$ is replaced by a scale-spatial tree structure of nested cells in order to allow spatial heterogeneities between different coherent structures that are localized in different regions of the whole volume ; (ii) the scalar velocities $v_t(n)$ are replaced by 3D-vector velocities in order to take into account the vorticity in the dynamical equations and to include vortex-stretching effects.


title: Definitions and Analysis of Quantum E-voting Protocols

abstract: Recent advances indicate that quantum computers will soon be reality. Motivated by this ever more realistic threat for existing classical cryptographic protocols, researchers have developed several schemes to resist "quantum attacks". In particular, for electronic voting, several e-voting schemes relying on properties of quantum mechanics have been proposed. However, each of these proposals comes with a different and often not well-articulated corruption model, has different objectives, and is accompanied by security claims which are never formalized and are at best justified only against specific attacks. To address this, we propose the first formal security definitions for quantum e-voting protocols. With these at hand, we systematize and evaluate the security of previously-proposed quantum e-voting protocols; we examine the claims of these works concerning privacy, correctness and verifiability, and if they are correctly attributed to the proposed protocols. In all non-trivial cases, we identify specific quantum attacks that violate these properties. We argue that the cause of these failures lies in the absence of formal security models and references to the existing cryptographic literature.


title: Representations induced from a normal subgroup of prime index

abstract: Let $G$ be a finite group, $H$ be a normal subgroup of prime index $p$. Let $F$ be a field of either characteristic $0$ or prime to $|G|$. Let $\eta$ be an irreducible $F$-representation of $H$. If $F$ is an algebraically closed field of characteristic either $0$ or prime to $|G|$, then the induced representation $\eta \uparrow^{G}_{H}$ is either irreducible or a direct sum of $p$ pairwise inequivalent irreducible representations. In this paper, we show that if $F$ is not assumed algebraically closed field, then there are five possibilities in the decomposition of induced representation into irreducible representations.


title: On the centralizer of vector fields: criteria of triviality and genericity results

abstract: In this paper, we investigate the question of whether a typical vector field on a compact connected Riemannian manifold $M^d$ has a `small' centralizer. In the $C^1$ case, we give two criteria, one of which is $C^1$-generic, which guarantees that the centralizer of a $C^1$-generic vector field is indeed small, namely \textit{collinear}. The other criterion states that a $C^1$ \textit{separating} flow has a collinear $C^1$-centralizer. When all the singularities are hyperbolic, we prove that the collinearity property can actually be promoted to a stronger one, refered as \textit{quasi-triviality}. In particular, the $C^1$-centralizer of a $C^1$-generic vector field is quasi-trivial. In certain cases, we obtain the triviality of the centralizer of a $C^1$-generic vector field, which includes $C^1$-generic Axiom A (or sectional Axiom A) vector fields and $C^1$-generic vector fields with countably many chain recurrent classes. For sufficiently regular vector fields, we also obtain various criteria which ensure that the centralizer is \textit{trivial} (as small as it can be), and we show that in higher regularity, collinearity and triviality of the $C^d$-centralizer are equivalent properties for a generic vector field in the $C^d$ topology. We also obtain that in the non-uniformly hyperbolic scenario, with regularity $C^2$, the $C^1$-centralizer is trivial.


title: Set Representation of Dynamic De Morgan algebras

abstract: By a De Morgan algebra is meant a bounded poset equipped with an antitone involution considered as negation. Such an algebra can be considered as an algebraic axiomatization of a propositional logic satisfying the double negation law. Our aim is to introduce the so-called tense operators in every De Morgan algebra for to get an algebraic counterpart of a tense logic with negation satisfying the double negation law which need not be Boolean. Following the standard construction of tense operators $G$ and $H$ by a frame we solve the following question: if a dynamic De Morgan algebra is given, how to find a frame such that its tense operators $G$ and $H$ can be reached by this construction.


title: Measurement of the photon identification efficiencies with the ATLAS detector using LHC Run 2 data collected in 2015 and 2016

abstract: The efficiency of the photon identification criteria in the ATLAS detector is measured using 36.1 fb$^{-1}$ to 36.7 fb$^{-1}$ of $pp$ collision data at $\sqrt{s}$ = 13 TeV collected in 2015 and 2016. The efficiencies are measured separately for converted and unconverted isolated photons, in four different pseudorapidity regions, for transverse momenta between 10 GeV and 1.5 TeV. The results from the combination of three data-driven techniques are compared with the predictions from simulation after correcting the variables describing the shape of electromagnetic showers in simulation for the average differences observed relative to data. Data-to-simulation efficiency ratios are determined to account for the small residual efficiency differences. These factors are measured with uncertainties between 0.5% and 5% depending on the photon transverse momentum and pseudorapidity. The impact of the isolation criteria on the photon identification efficiency, and that of additional soft $pp$ interactions, are also discussed. The probability of reconstructing an electron as a photon candidate is measured in data, and compared with the predictions from simulation. The efficiency of the reconstruction of photon conversions is measured using a sample of photon candidates from $Z\to\mu\mu\gamma$ events, exploiting the properties of the ratio of the energies deposited in the first and second longitudinal layers of the ATLAS electromagnetic calorimeter.


title: An economic perspective on major cloud computing providers

abstract: Cloud computing can be defined as the outsourcing / renting of resources over the network. It has been regarded as an essential utility similar to electricity, water, telephone and sewerage utilities. Over the years, a number of providers have emerged that provide basic and advanced form of services for cloud computing. However, these providers employ their own nomenclature for marketing their specification and the range of services offered by them. This makes it very difficult for a common user to select a platform based on their requirements. This paper provides a comparison of different cloud service providers from an economic perspective. It performs the cost analysis of services provided by providers for different scenarios. Based on the analysis, conclusions have been drawn and directions for further research have been provided.


title: Comment on "The N = 3 Weyl Multiplet in Four Dimensions"

abstract: N = 3 Weyl multiplet in four dimensions was first constructed in J van Muiden et al (2017) where the authors used the current multiplet approach to obtain the linearized transformation rules and completed the nonlinear variations using the superconformal algebra. The multiplet of currents was obtained by a truncation of the multiplet of currents for the N = 4 vector multiplet. While the procedure seems to be correct, the result suffers from several inconsistencies. The inconsistencies are observed in the transformation rules as well as the field dependent structure constants in the corresponding soft algebra. We take a different approach, and compute the transformation rule as well as the corresponding soft algebra by demanding consistency.


title: A cognitive radio ad hoc networks based disaster management scheme with efficient spectrum management, collaboration and interoperability

abstract: In this work, a disaster management scheme based on cognitive radio ad hoc network (CRAHN) has been presented. Disaster management has been a big problem for mankind for years. However, still not much research work has been presented on this problem. Technology has been employed in past few years to address this problem. Cognitive radio ad hoc network presents a viable solution for disaster management. It can be deployed rapidly without infrastructure and it solves the spectrum scarcity and congestion issues that arise during disaster. This paper presents a novel solution for disaster management. It provides a multi-layer perceptron (MLP) based disaster detection scheme based on WSN. To solve the spectrum scarcity problem, a MLP based spectrum management scheme has been proposed. In order to ensure collaboration among rescue workers during disaster, a novel service discovery scheme has been proposed. To ensure interoperability during communication, XML format has been recommended. A real-time GUI has been proposed to provide shared situation awareness to rescue workers and enabling better decision making. The proposed approach has been implemented in NS-2 simulator. The results show accurate disaster detection, efficient spectrum usage, and interoperability and collaboration among nodes with reduced latency.


title: Mean action of periodic orbits of area-preserving annulus diffeomorphisms

abstract: An area-preserving diffeomorphism of an annulus has an "action function" which measures how the diffeomorphism distorts curves. The average value of the action function over the annulus is known as the Calabi invariant of the diffeomorphism, while the average value of the action function over a periodic orbit of the diffeomorphism is the mean action of the orbit. If an area-preserving annulus diffeomorphism is a rotation near the boundary of the annulus, and if its Calabi invariant is less than the maximum boundary value of the action function, then we show that the infimum of the mean action over all periodic orbits of the diffeomorphism is less than or equal to its Calabi invariant.


title: Classification of phases for mixed states via fast dissipative evolution

abstract: We propose the following definition of topological quantum phases valid for mixed states: two states are in the same phase if there exists a time independent, fast and local Lindbladian evolution driving one state into the other. The underlying idea, motivated by K\"onig and Pastawski in 2013, is that it takes time to create new topological correlations, even with the use of dissipation. We show that it is a good definition in the following sense: (1) It divides the set of states into equivalent classes and it establishes a partial order between those according to their level of "topological complexity". (2) It provides a path between any two states belonging to the same phase where observables behave smoothly. We then focus on pure states to relate the new definition in this particular case with the usual definition for quantum phases of closed systems in terms of the existence of a gapped path of Hamiltonians connecting both states in the corresponding ground state path. We show first that if two pure states are in the same phase in the Hamiltonian sense, they are also in the same phase in the Lindbladian sense considered here. We then turn to analyse the reverse implication, where we point out a very different behaviour in the case of symmetry protected topological (SPT) phases in 1D. Whereas at the Hamiltonian level, phases are known to be classified with the second cohomology group of the symmetry group, we show that symmetry cannot give any protection in 1D in the Lindbladian sense: there is only one SPT phase in 1D independently of the symmetry group. We finish analysing the case of 2D topological quantum systems. There we expect that different topological phases in the Hamiltonian sense remain different in the Lindbladian sense. We show this formally only for the $\mathbb{Z}_n$ quantum double models.

categories: quant-ph cond-mat.stat-mech math-ph math.MP


title: Measuring Expert Performance at Manually Classifying Domain Entities under Upper Ontology Classes

abstract: Classifying entities in domain ontologies under upper ontology classes is a recommended task in ontology engineering to facilitate semantic interoperability and modelling consistency. Integrating upper ontologies this way is difficult and, despite emerging automated methods, remains a largely manual task. Little is known about how well experts perform at upper ontology integration. To develop methodological and tool support, we first need to understand how well experts do this task. We designed a study to measure the performance of human experts at manually classifying classes in a general knowledge domain ontology with entities in the Basic Formal Ontology (BFO), an upper ontology used widely in the biomedical domain. We conclude that manually classifying domain entities under upper ontology classes is indeed very difficult to do correctly. Given the importance of the task and the high degree of inconsistent classifications we encountered, we further conclude that it is necessary to improve the methodological framework surrounding the manual integration of domain and upper ontologies.


title: Unbiased deep solvers for linear parametric PDEs

abstract: We develop several deep learning algorithms for approximating families of parametric PDE solutions. The proposed algorithms approximate solutions together with their gradients, which in the context of mathematical finance means that the derivative prices and hedging strategies are computed simulatenously. Having approximated the gradient of the solution one can combine it with a Monte-Carlo simulation to remove the bias in the deep network approximation of the PDE solution (derivative price). This is achieved by leveraging the Martingale Representation Theorem and combining the Monte Carlo simulation with the neural network. The resulting algorithm is robust with respect to quality of the neural network approximation and consequently can be used as a black-box in case only limited a priori information about the underlying problem is available. We believe this is important as neural network based algorithms often require fair amount of tuning to produce satisfactory results. The methods are empirically shown to work for high-dimensional problems (e.g. 100 dimensions). We provide diagnostics that shed light on appropriate network architectures.


title: The Statistical Physics of Real-World Networks

abstract: In the last 15 years, statistical physics has been a very successful framework to model complex networks. On the theoretical side, this approach has brought novel insights into a variety of physical phenomena, such as self-organisation, scale invariance, emergence of mixed distributions and ensemble non-equivalence, that display unconventional features on heterogeneous networks. At the same time, thanks to their deep connection with information theory, statistical physics and the principle of maximum entropy have led to the definition of null models for networks reproducing some features of real-world systems, but otherwise as random as possible. We review here the statistical physics approach and the various null models for complex networks, focusing in particular on the analytic frameworks reproducing the local network features. We then show how these models have been used to detect statistically significant and predictive structural patterns in real-world networks, as well as to reconstruct the network structure in case of incomplete information. We further survey the statistical physics models that reproduce more complex, semi-local network features using Markov chain Monte Carlo sampling, as well as the models of generalised network structures such as multiplex networks, interacting networks and simplicial complexes.

categories: physics.soc-ph cond-mat.dis-nn cond-mat.stat-mech cs.IT cs.SI math.IT


title: Theory status of hadronic top-quark pair production

abstract: The status of theoretical predictions for top-quark pair production at hadron colliders is reviewed, focusing on the total cross section, differential distributions, and the description of top-quark production and decay including off-shell effects.


title: Estimation of recurrence for nilpotent group action

abstract: We estimate size of recurrence of an action of a nilpotent group by homeomorphisms of a compact space for polynomial mappings into a nilpotent group form the partial semigroup $(\mathcal{P}_{f}(\mathbb{N}),\uplus)$. To do this we have used algebraic structure of the Stone-\v{C}ech copactification partial semigroup and that of the given nilpotent group.


title: The Skorokhod embedding problem for inhomogeneous diffusions

abstract: We solve the Skorokhod embedding problem for a class of stochastic processes satisfying an inhomogeneous stochastic differential equation (SDE) of the form $d A_t =\mu (t, A_t) d t + \sigma(t, A_t) d W_t$. We provide sufficient conditions guaranteeing that for a given probability measure $\nu$ on $\mathbb{R}$ there exists a bounded stopping time $\tau$ and a real $a$ such that the solution $(A_t)$ of the SDE with initial value $a$ satisfies $A_\tau \sim \nu$. We hereby distinguish the cases where $(A_t)$ is a solution of the SDE in a weak or strong sense. Our construction of embedding stopping times is based on a solution of a fully coupled forward-backward SDE. We use the so-called method of decoupling fields for verifying that the FBSDE has a unique solution. Finally, we sketch an algorithm for putting our theoretical construction into practice and illustrate it with a numerical experiment.


title: Construction and assessment of prediction rules for binary outcome in the presence of missing predictor data using multiple imputation: theoretical perspective and data-based evaluation

abstract: We investigate the problem of calibration and assessment of predictive rules in prognostic designs when missing values are present in the predictors. Our paper has two key objectives which are entwined. The first is to investigate how the calibration of the prediction rule can be combined with the use of multiple imputation to account for missing predictor observations. The second objective is to propose such methods that can be implemented with current multiple imputation software, while allowing for unbiased predictive assessment through validation on new observations for which outcome is not yet available. To inform the definition of methodology, we commence with a review of the theoretical background of multiple imputation as a model estimation approach as opposed to a purely algorithmic description. We specifically contrast application of multiple imputation for parameter (effect) estimation with predictive calibration. Based on this review, two approaches are formulated, of which the second utilizes application of the classical Rubin's rules for parameter estimation, while the first approach averages probabilities from models fitted on single imputations to directly approximate the predictive density for future observations. We present implementations using current software which allow for validatory or cross-validatory estimation of performance measures, as well as imputation of missing data in predictors on the future data where outcome is by definition as yet unobserved. We restrict discussion to binary outcome and logistic regression throughout, though the principles discussed are generally applicable. We present two data sets as examples from our regular consultative practice. Results show little difference between methods for accuracy but substantial reductions in variation of calibrated probabilities when using the first approach.


title: A methodology to Evaluate the Usability of Security APIs

abstract: Increasing number of cyber-attacks demotivate people to use Information and Communication Technology (ICT) for industrial as well as day to day work. A main reason for the increasing number of cyber-attacks is mistakes that programmers make while developing software applications that are caused by usability issues exist in security Application Programming Interfaces (APIs). These mistakes make software vulnerable to cyber-attacks. In this paper, we attempt to take a step closer to solve this problem by proposing a methodology to evaluate the usability and identify usability issues exist in security APIs. By conducting a review of previous research, we identified 5 usability evaluation methodologies that have been proposed to evaluate the usability of general APIs and characteristics of those methodologies that would affect when using these methodologies to evaluate security APIs. Based on the findings, we propose a methodology to evaluate the usability of security APIs.


title: Centrality in Modular Networks

abstract: Identifying influential nodes in a network is a fundamental issue due to its wide applications, such as accelerating information diffusion or halting virus spreading. Many measures based on the network topology have emerged over the years to identify influential nodes such as Betweenness, Closeness, and Eigenvalue centrality. However, although most real-world networks are modular, few measures exploit this property. Recent works have shown that it has a significant effect on the dynamics on networks. In a modular network, a node has two types of influence: a local influence (on the nodes of its community) through its intra-community links and a global influence (on the nodes in other communities) through its inter-community links. Depending of the strength of the community structure, these two components are more or less influential. Based on this idea, we propose to extend all the standard centrality measures defined for networks with no community structure to modular networks. The so-called "Modular centrality" is a two dimensional vector. Its first component quantifies the local influence of a node in its community while the second component quantifies its global influence on the other communities of the network. In order to illustrate the effectiveness of the Modular centrality extensions, comparison with their scalar counterpart are performed in an epidemic process setting. Simulation results using the Susceptible-Infected-Recovered (SIR) model on synthetic networks with controlled community structure allows getting a clear idea about the relation between the strength of the community structure and the major type of influence (global/local). Furthermore, experiments on real-world networks demonstrate the merit of this approach.


title: Neural Relation Extraction Within and Across Sentence Boundaries

abstract: Past work in relation extraction mostly focuses on binary relation between entity pairs within single sentence. Recently, the NLP community has gained interest in relation extraction in entity pairs spanning multiple sentences. In this paper, we propose a novel architecture for this task: inter-sentential dependency-based neural networks (iDepNN). iDepNN models the shortest and augmented dependency paths via recurrent and recursive neural networks to extract relationships within (intra-) and across (inter-) sentence boundaries. Compared to SVM and neural network baselines, iDepNN is more robust to false positives in relationships spanning sentences. We evaluate our models on four datasets from newswire (MUC6) and medical (BioNLP shared task) domains that achieve state-of-the-art performance and show a better balance in precision and recall for inter-sentential relationships. We perform better than 11 teams participating in the BioNLP shared task 2016 and achieve a gain of 5.2% (0.587 vs 0.558) in F1 over the winning team. We also release the crosssentence annotations for MUC6.


title: Linear $\ell$-Intersection Pairs of Codes and Their Applications

abstract: In this paper, a linear $\ell$-intersection pair of codes is introduced as a generalization of linear complementary pairs of codes. Two linear codes are said to be a linear $\ell$-intersection pair if their intersection has dimension $\ell$. Characterizations and constructions of such pairs of codes are given in terms of the corresponding generator and parity-check matrices. Linear $\ell$-intersection pairs of MDS codes over $\mathbb{F}_q$ of length up to $q+1$ are given for all possible parameters. As an application, linear $\ell$-intersection pairs of codes are used to construct entanglement-assisted quantum error correcting codes. This provides a large number of new MDS entanglement-assisted quantum error correcting codes.


title: Simple and Effective Text Simplification Using Semantic and Neural Methods

abstract: Sentence splitting is a major simplification operator. Here we present a simple and efficient splitting algorithm based on an automatic semantic parser. After splitting, the text is amenable for further fine-tuned simplification operations. In particular, we show that neural Machine Translation can be effectively used in this situation. Previous application of Machine Translation for simplification suffers from a considerable disadvantage in that they are over-conservative, often failing to modify the source in any way. Splitting based on semantic parsing, as proposed here, alleviates this issue. Extensive automatic and human evaluation shows that the proposed method compares favorably to the state-of-the-art in combined lexical and structural simplification.


title: A note on the $G$-Sarkisov program

abstract: The purpose of this note is to prove the $G$-equivariant Sarkisov program for a connected algebraic group $G$ following the proof of the Sarkisov program by Hacon and McKernan. As a consequence, we obtain a characterisation of connected subgroups of $Bir(Z)$ acting rationally on $Z$.


title: Parity games and universal graphs

abstract: This paper is a contribution to the study of parity games and the recent constructions of three quasipolynomial time algorithms for solving them. We revisit a result of Czerwi\'nski, Daviaud, Fijalkow, Jurdzi\'nski, Lazi\'c, and Parys witnessing a quasipolynomial barrier for all three quasipolynomial time algorithms. The argument is that all three algorithms can be understood as constructing a so-called separating automaton, and to give a quasipolynomial lower bond on the size of separating automata. We give an alternative proof of this result. The key innovations of this paper are the notion of universal graphs and the idea of saturation.


title: Crack-pot: Autonomous Road Crack and Pothole Detection

abstract: With the advent of self-driving cars and autonomous robots, it is imperative to detect road impairments like cracks and potholes and to perform necessary evading maneuvers to ensure fluid journey for on-board passengers or equipment. We propose a fully autonomous robust real-time road crack and pothole detection algorithm which can be deployed on any GPU based conventional processing boards with an associated camera. The approach is based on a deep neural net architecture which detects cracks and potholes using texture and spatial features. We also propose pre-processing methods which ensure real-time performance. The novelty of the approach lies in using texture- based features to differentiate between crack surfaces and sound roads. The approach performs well in large viewpoint changes, background noise, shadows, and occlusion. The efficacy of the system is shown on standard road crack datasets.


title: Charged scalar-tensor solitons and black holes with (approximate) Anti-de Sitter asymptotics

abstract: We discuss charged and static solutions in a shift-symmetric scalar-tensor gravity model including a negative cosmological constant. The solutions are only approximately Anti-de Sitter (AdS) asymptotically. While spherically symmetric black holes with scalar-tensor hair do exist in our model, the uncharged spherically symmetric scalar-tensor solitons constructed recently cannot be generalised to include charge. We point out that this is due to the divergence of the electric monopole at the origin of the coordinate system, while higher order multipoles are well-behaved. We also demonstrate that black holes with scalar hair exist only for horizon value larger than that of the corresponding {\it extremal} Reissner-Nordstr\"om-AdS (RNAdS) solution, i.e. that we cannot construct solutions with arbitrarily small horizon radius. We demonstrate that for fixed $Q$ a horizon radius exists at which the specific heat $C_Q$ diverges - signalling a transition from thermodynamically unstable to stable black holes. In contrast to the RNAdS case, however, we have only been able to construct a stable phase of large horizon black holes, while a stable phase of small horizon black holes does not (seem to) exist.


title: Five-Dimensional Gauge Theories from Shifted Web Diagrams

abstract: In previous works (arXiv:1610.07916, arXiv:1711.07921, arXiv:1807.00186) we studied a class of toric Calabi-Yau threefolds which engineer six-dimensional supersymmetric gauge theories with gauge group $U(N)$ and adjoint matter. The K\"ahler moduli space of these manifolds can be extended through flop transformations to include regions which are described by so-called shifted toric web diagrams. In this paper we analyse gauge theories that are engineered by these shifted toric web diagrams and argue that in specific limits, some of the them engineer five-dimensional quiver gauge theories with gauge group $G\subset U(N)$ and with fundamental and bi-fundamental matter. We discuss several examples in detail and describe how the matter sector is obtained from the six-dimensional parent theory.


title: Analytical Formulations for the Level Based Weighted Average Value of Discrete Trapezoidal Fuzzy Numbers

abstract: In fuzzy decision-making processes based on linguistic information, operations on discrete fuzzy numbers are commonly performed. Aggregation and defuzzification operations are some of these often used operations. Many aggregation and defuzzification operators produce results independent to the decision makers strategy. On the other hand, the Weighted Average Based on Levels (WABL) approach can take into account the level weights and the decision makers optimism strategy. This gives flexibility to the WABL operator and, through machine learning, can be trained in the direction of the decision makers strategy, producing more satisfactory results for the decision maker. However, in order to determine the WABL value, it is necessary to calculate some integrals. In this study, the concept of WABL for discrete trapezoidal fuzzy numbers is investigated, and analytical formulas have been proven to facilitate the calculation of WABL value for these fuzzy numbers. Trapezoidal and their special form, triangular fuzzy numbers, are the most commonly used fuzzy number types in fuzzy modeling, so in this study, such numbers have been studied. Computational examples explaining the theoretical results have been performed.


title: Stability of scrape-off layer plasma: a modified Rayleigh-Benard problem

abstract: We present a linear stability analysis of a two-dimensional fluid model used to study the plasma dynamics in the scrape-off layer of tokamaks. The model equations are based on the Braginskii fluid equations under the assumptions of drift ordering and an electrostatic plasma. The model also employs the common slab geometry approximation, whereby the magnetic field is assumed constant and straight, with the effects of curvature reintroduced as effective gravitational terms. We demonstrate that the governing plasma equations for the scrape-off layer can be viewed as describing a thermal convection problem with additional effects. The new features include a non-uniform basic state gradient, linear damping terms, and additional advective terms. We characterise the conditions at the onset of instability, and perform an extensive parameter scan to describe how the stability threshold varies as a function of plasma parameters.


title: Theory of Andreev Blockade in a Double Quantum Dot with a Superconducting Lead

abstract: A normal metal source reservoir can load two electrons onto a double quantum dot in the spin-triplet configuration. We show that if the drain lead of the dot is a spin-singlet superconductor, these electrons cannot form a Cooper pair and are blockaded on the double dot. We call this phenomenon Andreev blockade because it arises due to suppressed Andreev reflections. We identify transport characteristics unique to Andreev blockade. Most significantly, it occurs for any occupation of the dot adjacent to the superconductor, in contrast with the well-studied Pauli blockade which requires odd occupations. Andreev blockade is lifted if quasiparticles are allowed to enter the superconducting lead, but it should be observable in the hard gap superconductor-semiconductor devices. A recent experiment tests this model and finds support for several predictions made here~[P. Zhang, H. Wu, J. Chen, S. A. Khan, P. Krogstrup, D. Pekker, and S. M. Frolov, arXiv:2102.03283 (2021)]. Andreev blockade should be considered in the design of topological quantum circuits, hybrid quantum bits and quantum emulators.


title: Bounded Invariant Equivalence Relations

abstract: We study strong types and Galois groups in model theory from a topological and descriptive-set-theoretical point of view, leaning heavily on topological dynamical tools. More precisely, we give an abstract (not model theoretic) treatment of problems related to cardinality and Borel cardinality of strong types, quotients of definable groups and related objecets, generalising (and often improving) essentially all hitherto known results in this area. In particular, we show that under reasonable assumptions, strong type spaces are "locally" quotients of compact Polish groups. It follows that they are smooth if and only if they are type-definable, and that a quotient of a type-definable group by an analytic subgroup is either finite or of cardinality at least continuum.


title: Closed sets of real roots in Kac-Moody root systems

abstract: In this note, we provide a complete description of the closed sets of real roots in a Kac-Moody root system.


title: Plane wave backgrounds and colour-kinematics duality

abstract: We obtain the detailed Feynman rules for perturbative gauge theory on a fixed Yang-Mills plane wave background. Using these rules, the tree-level 4-point gluon amplitude is computed and some 1-loop Feynman diagrams are considered. As an application, we test the extent to which colour-kinematics duality, the relation between the colour and kinematic constituents of the amplitude, holds on the plane wave background. Although the duality is obstructed, the obstruction has an interesting constrained structure. This plane wave version of colour-kinematics duality reduces on a flat background to the well-known identities underpinning the BCJ relations for colour-ordered partial amplitudes, and constrains representations of tree-level amplitudes beyond 4-points.


title: Quark and gluon contributions to the QCD trace anomaly

abstract: We show that, in dimensional reguralization in the minimal subtraction scheme, the QCD trace anomaly can be unambiguously decomposed into two parts coming from the renormalized quark and gluon energy momentum tensors. We carry out this decomposition at the two-loop level. The result can be used to constrain the renormalization group properties of the nucleon's twist-four gravitational form factor $\bar{C}_{q,g}$.


title: Well-posedness of fully nonlinear KdV-type evolution equations

abstract: We study the well-posedness of the initial value problem for fully nonlinear evolution equations, $u_{t}=f[u],$ where $f$ may depend on up to the first three spatial derivatives of $u.$ We make three primary assumptions about the form of $f:$ a regularity assumption, a dispersivity assumption, and an assumption related to the strength of backwards diffusion. Because the third derivative of $u$ is present in the right-hand side and we effectively assume that the equation is dispersive, we say that these fully nonlinear evolution equations are of KdV-type. We prove the well-posedness of the initial value problem in the Sobolev space $H^{7}(\mathbb{R}).$ The proof relies on gauged energy estimates which follow after making two regularizations, a parabolic regularization and mollification of the initial data.


title: Canadian Crime Rates in the Penalty Box

abstract: Over the 1962 to 2016 period, the Canadian violent crime rate has remained strongly correlated with National Hockey League (NHL) penalties. The Canadian property crime rate was similarly correlated with stolen base attempts in the Major League Baseball (MLB). Of course, correlation does not imply causation or prove association. It is simply presented here as an observation. Curious readers might be tempted to conduct additional research and ask questions in order to enhance the conversation, transition away from a state of confusion, clarify the situation, prevent false attribution, and possibly solve a problem that economists call identification.


title: Secrecy Energy Efficiency Optimization for Artificial Noise Aided Physical-Layer Security in OFDM-Based Cognitive Radio Networks

abstract: In this paper, we investigate the power allocation of primary base station (PBS) and cognitive base station (CBS) across different orthogonal frequency division multiplexing (OFDM) subcarriers for energy-efficient secure downlink communication in OFDM-based cognitive radio networks (CRNs) with the existence of an eavesdropper having multiple antennas. We propose a secrecy energy efficiency maximization (SEEM) scheme by exploiting the instantaneous channel state information (ICSI) of the eavesdropper, called ICSI based SEEM (ICSI-SEEM) scheme with a given total transmit power budget for different OFDM subcarriers of both PBS and CBS. As for the case when the eavesdropper's ICSI is unknown, we also propose an SEEM scheme through using the statistical CSI (SCSI) of the eavesdropper, namely SCSI based SEEM (SCSI-SEEM) scheme. Since the ICSI-SEEM and SCSI-SEEM problems are fractional and non-convex, we first transform them into equivalent subtractive problems, and then achieve approximate convex problems through employing the difference of two-convex functions approximation method. Finally, new two-tier power allocation algorithms are proposed to achieve $\varepsilon$-optimal solutions of our formulated ICSI-SEEM and SCSI-SEEM problems. Simulation results illustrate that the ICSI-SEEM has a better secrecy energy efficiency (SEE) performance than SCSI-SEEM, and moreover, the proposed ICSI-SEEM and SCSI-SEEM schemes outperform conventional SR maximization and EE maximization approaches in terms of their SEE performance.


title: Initial-state energy loss in cold QCD matter and the Drell-Yan process

abstract: The effects of parton energy loss in nuclear matter on the Drell-Yan process in pA and $\pi$A collisions at fixed-target energies are investigated. Calculations are based on the Baier-Dokshitzer-Mueller-Peign\'{e}-Schiff (BDMPS) framework embedded in a next-to-leading order calculation, using the transport coefficient extracted from $J/\psi$ measurements. Model calculations prove in good agreement with preliminary measurements by the E906 experiment, despite a slightly different magnitude, supporting a consistent picture between Drell-Yan and $J/\psi$ data. Predictions for the COMPASS future measurements in $\pi$A collisions at $\sqrt{s}=18.9$~GeV are also performed. At higher collision energy ($\sqrt{s}=38.7$~GeV), Drell-Yan measurements are only slightly affected by energy loss effects. On the contrary, the E906 results turn out in clear disagreement with nuclear PDF effects alone. The comparison of E772, E866, and E906 measurements indicates for the first time a clear violation of QCD factorization in Drell-Yan production in pA collisions.


title: Blow-up in finite or infinite time of the 2D cubic Zakharov-Kuznetsov equation

abstract: We prove that near-threshold negative energy solutions to the 2D cubic ($L^2$-critical) focusing Zakharov-Kuznetsov (ZK) equation blow-up in finite or infinite time. The proof consists of several steps. First, we show that if the blow-up conclusion is false, there are negative energy solutions arbitrarily close to the threshold that are globally bounded in $H^1$ and are spatially localized, uniformly in time. In the second step, we show that such solutions must in fact be exact remodulations of the ground state, and hence, have zero energy, which is a contradiction. This second step, a nonlinear Liouville theorem, is proved by contradiction, with a limiting argument producing a nontrivial solution to a (linear) linearized ZK equation obeying uniform-in-time spatial localization. Such nontrivial linear solutions are excluded by a local-viral space-time estimate. The general framework of the argument is modeled on Merle [29] and Martel & Merle [24], who treated the 1D problem of the $L^2$-critical gKdV equation. Several new features are introduced here to handle the 2D ZK case.


title: Multiple-shot and unambiguous discrimination of von Neumann measurements

abstract: We present an in-depth study of the problem of multiple-shot discrimination of von Neumann measurements in finite-dimensional Hilbert spaces. Specifically, we consider two scenarios: minimum error and unambiguous discrimination. In the case of minimum error discrimination, we focus on discrimination of measurements with the assistance of entanglement. We provide an alternative proof of the fact that all pairs of distinct von Neumann measurements can be distinguished perfectly (i.e. with the unit success probability) using only a finite number of queries. Moreover, we analytically find the minimal number of queries needed for perfect discrimination. We also show that in this scenario querying the measurements gives the optimal strategy, and hence any possible adaptive methods do not offer any advantage over the parallel scheme. In the unambiguous discrimination scenario, we give the general expressions for the optimal discrimination probabilities with and without the assistance of entanglement. Finally, we show that typical pairs of Haar-random von Neumann measurements can be perfectly distinguished with only two queries.


title: Structures and Diffusion of Two Dimensional Dusty Plasmas on One Dimensional Periodic Substrates

abstract: Using numerical simulations, we examine the structure and diffusion of a two-dimensional dusty plasma (2DDP) in the presence of a one-dimensional periodic substrate (1DPS) as a function of increasing substrate strength. Both the pair correlation function perpendicular to the substrate modulation and the mean squared displacement (MSD) of dust particles are calculated. It is found that both the structure and dynamics of 2DDP exhibit strong anisotropic effects, due to the applied 1DPS. As the substrate strength increases from 0, the structure order of dusty plasma along each potential well of 1DPS increases first probably due to the competition between the inter-particle interactions and the particle-substrate interactions, and then decreases gradually, which may be due to the reduced dimensionality and the enhanced fluctuations. The obtained MSD along potential wells of 1DPS clearly shows three processes of diffusion in our studied 2DDP. Between the initial ballistic and finally diffusive motion, there is the intermediate sub-diffusion discovered here, which may result from the substrate-induced distortion of the caging dynamics.


title: Closed timelike curves and chronology protection in quantum and classical simulators

abstract: In principe, General Relativity seems to allow the existence of closed timelike curves (CTC). However, when quantum effects are considered, it is likely that their existence is prevented by some kind of chronological protection mechanism, as Hawking conjectured. Confirming or refuting the conjecture would require a full quantum theory of gravity. Meanwhile, the use of simulations could shed some light on this issue. We propose simulations of CTCs in a quantum system as well as in a classical one. In the quantum simulation, some restrictions appear that are not present in the classical setup, which could be interpreted as an analogue of a chronology protection mechanism.


title: Knot Floer homology and the unknotting number

abstract: Given a knot K in S^3, let u^-(K) (respectively, u^+(K)) denote the minimum number of negative (respectively, positive) crossing changes among all unknotting sequences for K. We use knot Floer homology to construct the invariants l^-(K), l^+(K) and l(K), which give lower bounds on u^-(K), u^+(K) and the unknotting number u(K), respectively. The invariant l(K) only vanishes for the unknot, and is greater than or equal to the \nu^-(K). Moreover, the difference l(K)-\nu^-(K) can be arbitrarily large. We also present several applications towards bounding the unknotting number, the alteration number and the Gordian distance.


title: Degenerate ground state in the classical pyrochlore antiferromagnet Na$_3$Mn(CO$_3$)$_2$Cl

abstract: In an ideal classical pyrochlore antiferromagnet without perturbations, an infinite degeneracy at a ground state leads to absence of a magnetic order and spin-glass transition. Here we present Na$_3$Mn(CO$_3$)$_2$Cl as a new candidate compound where classical spins are coupled antiferromagnetically on the pyrochlore lattice, and report its structural and magnetic properties.The temperature dependences of the magnetic susceptibility and heat capacity, and the magnetization curve are consistent with those of an $S$ = 5/2 pyrochlore lattice antiferromagnet with nearest-neighbor interactions of 2 K. Neither an apparent signature of a spin-glass transition nor a magnetic order is detected in magnetization and heat capacity measurements, or powder neutron diffraction experiments. On the other hand, an antiferromagnetic short-range order from the nearest neighbors is evidenced by the $Q$-dependence of the diffuse scattering which develops around 0.85 \AA$^{-1}$. A high degeneracy near the ground state in Na$_3$Mn(CO$_3$)$_2$Cl is supported by the magnetic entropy estimated as almost 4 J K$^{-2}$ mol$^{-1}$ at 0.5 K.


title: A Characterization of Rationally Convex Immersions

abstract: Let $S$ be a smooth, totally real, compact immersion in $\mathbb{C}^n$ of real dimension $m \leq n$, which is locally polynomially convex and it has finitely many points where it self-intersects finitely many times, transversely or non-transversely. We prove that $S$ is rationally convex if and only if it is isotropic with respect to a "degenerate" K\"ahler form in $\mathbb{C}^n$.


title: Ecosystem-bedrock interaction changes nutrient compartmentalization during early oxidative weathering

abstract: Ecosystem-bedrock interactions power the biogeochemical cycles of Earth's shallow crust, supporting life, stimulating substrate transformation, and spurring evolutionary innovation. While oxidative processes have dominated half of terrestrial history, the relative contribution of the biosphere and its chemical fingerprints on Earth's developing regolith are still poorly constrained. Here, we report results from a two-year incipient weathering experiment. We found that the mass release and compartmentalization of major elements during weathering of granite, rhyolite, schist and basalt was rock-specific and regulated by ecosystem components. A tight interplay between physiological needs of different biota, mineral dissolution rates, and substrate nutrient availability resulted in intricate elemental distribution patterns. Biota accelerated CO2 mineralization over abiotic controls as ecosystem complexity increased, and significantly modified stoichiometry of mobilized elements. Microbial and fungal components inhibited element leaching (23.4% and 7%), while plants increased leaching and biomass retention by 63.4%. All biota left comparable biosignatures in the dissolved weathering products. Nevertheless, the magnitude and allocation of weathered fractions under abiotic and biotic treatments provide quantitative evidence for the role of major biosphere components in the evolution of upper continental crust, presenting critical information for large-scale biogeochemical models and for the search for stable in situ biosignatures beyond Earth.


title: The algorithmic hardness threshold for continuous random energy models

abstract: We prove an algorithmic hardness result for finding low-energy states in the so-called \emph{continuous random energy model (CREM)}, introduced by Bovier and Kurkova in 2004 as an extension of Derrida's \emph{generalized random energy model}. The CREM is a model of a random energy landscape $(X_v)_{v \in \{0,1\}^N}$ on the discrete hypercube with built-in hierarchical structure, and can be regarded as a toy model for strongly correlated random energy landscapes such as the family of $p$-spin models including the Sherrington--Kirkpatrick model. The CREM is parameterized by an increasing function $A:[0,1]\to[0,1]$, which encodes the correlations between states. We exhibit an \emph{algorithmic hardness threshold} $x_*$, which is explicit in terms of $A$. More precisely, we obtain two results: First, we show that a renormalization procedure combined with a greedy search yields for any $\varepsilon > 0$ a linear-time algorithm which finds states $v \in \{0,1\}^N$ with $X_v \ge (x_*-\varepsilon) N$. Second, we show that the value $x_*$ is essentially best-possible: for any $\varepsilon > 0$, any algorithm which finds states $v$ with $X_v \ge (x_*+\varepsilon)N$ requires exponentially many queries in expectation and with high probability. We further discuss what insights this study yields for understanding algorithmic hardness thresholds for random instances of combinatorial optimization problems.

categories: math.PR cond-mat.dis-nn cond-mat.stat-mech cs.CC cs.DS


title: Supplementary Material for Random Cayley Graphs Project

abstract: This document contains supplementary material for the main articles in our Random Cayley Graphs project. We prove refined results about simple random walks on the integers and on the cycle. We are primarily interested in the entropy of these random walks at certain times and how this entropy changes when the time changes slightly. Additionally, we prove some large deviation and exit time estimates. We prove some results on the size of discrete lattice balls and how this size changes when the radius changes slightly. We do this in a general $L_q$ norm, with $q \in [1,\infty]$. We also prove some other technical results deferred from the main papers. We hope that some of the results, particularly the simple random walk estimates, will be useful in their own right for other researchers.


title: A Case Study of Spherical Parallel Manipulators Fabricated via Laminate Processes

abstract: This paper evaluates how laminated techniques may be used to replicate the performance of more traditionally manufactured robotic manipulators. In this case study, we introduce a laminated 2-DOF spherical, parallel manipulator. Taking advantage of laminating techniques in the construction of the robot can result in considerable saving in construction costs and time, but, the challenges caused by this technique have to be addressed. By using stiffer materials in rigid links, the rigidity of the robot is increased to an acceptable level. We discuss one method for compensating position uncertainty via an experimental identification technique which uses a neural network to create a forward kinematic model. Final results show that the proposed mechanism is able to track desired rotation with acceptable precision using open-loop model-based control. This indicates that parallel manipulators fabricated using lamination techniques can provide similar performance with prototypes made in conventional methods.


title: Real tropicalization and analytification of semialgebraic sets

abstract: Let $K$ be a real closed field with a nontrivial non-archimedean absolute value. We study a refined version of the tropicalization map, which we call real tropicalization map, that takes into account the signs on $K$. We study images of semialgebraic subsets of $K^n$ under this map from a general point of view. For a semialgebraic set $S \subset K^n$ we define a space $S_r^{\text{an}}$ called the real analytification, which we show to be homeomorphic to the inverse limit of all real tropicalizations of $S$. We prove a real analogue of the tropical fundamental theorem and show that the tropicalization of any semialgebraic set is described by tropicalization of finitely many inequalities which are valid on the semialgebraic set. We also study the topological properties of real analytification and tropicalization. If $X$ is an algebraic variety, we show that $X_r^{\text{an}}$ can be canonically embedded into the real spectrum $X_r$ of $X$, and we study its relation with the Berkovich analytification of $X$.


title: Commissioning of the highly granular SiW-ECAL technological prototype

abstract: In this article we describe the commissioning and a first analysis of the the beam test performance of a small prototype of a highly granular silicon tungsten calorimeter. The prototype features detector elements with a channel number similar to that envisaged for e.g. the ILD Detector of the International Linear Collider (ILC). The analysis demonstrates the capability of the detector to record signals as low as 0.5 MIP. Further, no loss of performance has been observed when operating the detector in a high magnetic field.


title: Residual Intersections are Koszul-Fitting ideals

abstract: One describes generators of disguised residual intersections in any commutative Noetherian rings. It is shown that, over Cohen-Macaulay rings, the disguised residual intersections and algebraic residual intersections are the same, for ideals with sliding depth. This coincidence provides structural results for algebraic residual intersections in quite general setting. It is shown how the DG-algebra structure of Koszul homologies affects the determination of generators of residual intersections. In the midway it is shown that the Buchsbaum-Eisenbud family of complexes can be derived from the Koszul-\v{C}ech spectral sequence. This interpretation of Buchsbaum-Eisenbud families has crucial rule to establish the above results.


title: Spectroscopy of fractional orbital angular momentum states

abstract: We present an approach for measuring the orbital angular momentum (OAM) of light tailored towards applications in spectroscopy and non-integer OAM values. It is based on the OAM sorting method (Berkhout et al., Phys. Rev. Lett. 105, 153601 (2010)). We demonstrate that mixed OAM states and fractional OAM states can be identified using moments of the sorted output intensity distribution and OAM states with integer and non-integer topological charge can be clearly distinguished. Furthermore the difference between intrinsic OAM and total OAM for fractional OAM states is highlighted and the importance of the orientation of the fractional OAM beam is shown. All experimental results show good agreement with simulations. Finally we discuss possible applications of this method for spectroscopy of semiconductor systems such as exciton-polaritons in microcavities.


title: Relating Noncommutative SO(2,3) Gravity to the Lorentz-Violating Standard-Model Extension

abstract: We consider a model of noncommutative gravity that is based on a spacetime with broken local SO(2,3) symmetry. We show that the torsion-free version of this model is contained within the framework of the Lorentz-violating Standard-Model Extension. We analyze in detail the relation between the torsion-free, quadratic limits of the broken SO(2,3) model and the Standard-Model Extension. As part of the analysis,we construct the relevant geometric quantities to quadratic order in the metric perturbation around a flat background.


title: Hypocoercivity-compatible finite element methods for the long-time computation of Kolmogorov's equation

abstract: This work is concerned with the development of a family of Galerkin finite element methods for the classical Kolmogorov's equation. Kolmogorov's equation serves as a sufficiently rich, for our purposes, model problem for kinetic-type equations and is characterised by diffusion in one of the two (or three) spatial directions only. Nonetheless, its solution admits typically decay properties to some long time equilibrium, depending on closure by suitable boundary/decay-at-infinity conditions. A key attribute of the proposed family of methods is that they also admit similar decay properties at the (semi)discrete level for very general families of triangulations. The method construction uses ideas by the general theory of hypocoercivity developed by Villani [23], along with judicious choice of numerical flux functions. These developments turn out to be sufficient to imply that the proposed finite element methods admit a priori error bounds with constants independent of the final time, despite Kolmogorov equation's degenerate diffusion nature. Thus, the new methods provably allow for robust error analysis for final times tending to infinity. The extension to three spatial dimensions is also briefly discussed.


title: Planar master integrals for the two-loop light-fermion electroweak corrections to Higgs plus jet production

abstract: We present the analytic calculation of the planar master integrals which contribute to compute the two-loop light-fermion electroweak corrections to the production of a Higgs boson in association with a jet in gluon-gluon fusion. The complete dependence on the electroweak-boson mass is retained. The master integrals are evaluated by means of the differential equations method and the analytic results are expressed in terms of multiple polylogarithms up to weight four.


title: Climates of Warm Earth-like Planets II: Rotational 'Goldilocks' Zones for Fractional Habitability and Silicate Weathering

abstract: Planetary rotation rate has a significant effect on atmospheric circulation, where the strength of the Coriolis effect in part determines the efficiency of latitudinal heat transport, altering cloud distributions, surface temperatures, and precipitation patterns. In this study we use the ROCKE-3D dynamic-ocean general circulation model to study the effects of slow rotations and increased insolations on the 'fractional habitability' and silicate weathering rate of an Earth-like world. Defining the fractional habitability f_h to be the percentage of a planet's surface which falls in the 0 <= T <= 100 C temperature regime, we find a moderate increase in f_h with a 10% and 20% increase in insolation and a possible maximum in f_h at sidereal day-lengths between 8 and 32 times that of the modern Earth. By tracking precipitation and run-off we further determine that there is a rotational regime centered on a 4-day period in which the silicate weathering rate is maximized and is particularly strongly peaked at higher overall insolations. Because of weathering's integral role in the long-term carbonate-silicate cycle, we suggest that climate stability may be strongly affected by the anticipated rotational evolution of temperate terrestrial-type worlds, and should be considered a major factor in their study. In light of our results we argue that planetary rotation period is an important factor to consider when determining the habitability of terrestrial worlds.


title: Countably compact group topologies on non-torsion abelian groups of size continuum with non-trivial convergent sequences

abstract: Under $\mathfrak{p} = \mathfrak{c}$, we answer Question 24 of \cite{dikranjan&shakhmatov3} for cardinality ${\mathfrak c}$ , by showing that if a non-torsion Abelian group of size continuum admits a countably compact Hausdorff group topology, then it admits a countably compact Hausdorff group topology with non-trivial convergent sequences.


title: Observational constraints on one-parameter dynamical dark-energy parametrizations and the $H_0$ tension

abstract: The phenomenological parametrizations of dark-energy (DE) equation of state can be very helpful, since they allow for the investigation of its cosmological behavior despite the fact that its underlying theory is unknown. However, although there has been a large amount of research on DE parametrizations which involve two or more free parameters, the one-parameter parametrizations seem to be underestimated. We perform a detailed observational confrontation of five one-parameter DE models, with observational data from cosmic microwave background (CMB), Joint light-curve analysis sample from Supernovae Type Ia observations (JLA), baryon acoustic oscillations (BAO) distance measurements, and cosmic chronometers (CC). We find that all models favor a phantom DE equation of state at present time, while they lead to $H_0$ values in perfect agreement with its direct measurements and therefore they offer an alleviation to the $H_0$-tension. Finally, performing a Bayesian analysis we show that although $\Lambda$CDM cosmology is still favored, one-parameter DE models have similar or better efficiency in fitting the data comparing to two-parameter DE parametrizations, and thus they deserve a thorough investigation.


title: Existence and Uniqueness of Traveling Fronts in Lateral Inhibition Neural Fields with Sigmoidal Firing Rates

abstract: We rigorously prove the existence of traveling fronts in neural field models with lateral inhibition coupling types and smooth sigmoidal firing rates. With Heaviside firing rates as our base point (where unique traveling fronts exist), we repeatedly apply the implicit function theorem in Banach spaces to provide a non-monotone version of the homotopy approach originally proposed by Ermentrout and McLeod (1993) in their seminal study of monotone fronts in purely excitatory models. By comparing smooth and Heaviside firing rates, we develop global wave speed and profile comparisons that guide our analysis, leading to uniqueness (modulo translation) in the perturbative case. Moreover, we establish a meaningful a priori existence result; we prove existence holds for a range of firing rates, independent of continuation path.


title: Short Cycles via Low-Diameter Decompositions

abstract: We present improved algorithms for short cycle decomposition of a graph. Short cycle decompositions were introduced in the recent work of Chu et al, and were used to make progress on several questions in graph sparsification. For all constants $\delta \in (0,1]$, we give an $O(mn^\delta)$ time algorithm that, given a graph $G,$ partitions its edges into cycles of length $O(\log n)^\frac{1}{\delta}$, with $O(n)$ extra edges not in any cycle. This gives the first subquadratic, in fact almost linear time, algorithm achieving polylogarithmic cycle lengths. We also give an $m \cdot \exp(O(\sqrt{\log n}))$ time algorithm that partitions the edges of a graph into cycles of length $\exp(O(\sqrt{\log n} \log\log n))$, with $O(n)$ extra edges not in any cycle. This improves on the short cycle decomposition algorithms given in Chu et al in terms of all parameters, and is significantly simpler. As a result, we obtain faster algorithms and improved guarantees for several problems in graph sparsification -- construction of resistance sparsifiers, graphical spectral sketches, degree preserving sparsifiers, and approximating the effective resistances of all edges.


title: Coulomb pairing of electrons in thin films with strong spin-orbit interaction

abstract: In low-dimensional structures with strong Rashba spin-orbit interaction (SOI), the Coulomb fields between moving electrons produce a SOI component of the pair interaction that competes with the potential Coulomb repulsion. If the Rashba SOI constant of the material is sufficiently high, the total electron-electron interaction becomes attractive, which leads to the formation of the two-electron bound states. We show that because of the dielectric screening in a thin film the binding energy is significantly higher as compared to the case of the bulk screening.


title: Applications of semi-definite optimization in quantum information protocols

abstract: This work is concerned with the issue of applications of the semi-definite programming (SDP) in the field of quantum information science. Our results of the analysis of certain quantum information protocols using this optimization technique are presented, and an implementation of a relevant numerical tool is introduced. The key method used is NPA discovered by Navascues et al. [Phys. Rev. Lett. 98, 010401 (2007)]. In chapter 1 a brief overview of mathematical methods used in this work is presented. In chapter 2 an introduction to quantum information science is given. Chapter 3 concerns the device-independent (DI) and semi-device-independent (SDI) approaches in quantum cryptography. In chapter 4 our results regarding quantum information protocols which we developed using SDP are described. The results include a new type of quantum key distribution protocol based on Hardy's paradox; several protocols for quantum random number expansion; a method of formulation of SDP relaxations of SDI protocols; and a DI Santha-Vazirani source of randomness amplification protocol. In chapter 5 an introduction to interior point methods is given. In chapter 6 the implementation of our numerical tool dedicated to problems occurring in chapter 4 are discussed and compared with other solutions.


title: Remarks on Suzuki's Knot Epimorphism Number

abstract: A partial order on prime knots can be defined by declaring $J\ge K$ if there exists an epimorphism from the knot group of $J$ onto the knot group of $K$. Suppose that $J$ is a 2-bridge knot that is strictly greater than $m$ distinct, nontrivial knots. In this paper we determine a lower bound on the crossing number of $J$ in terms of $m$. Using this bound we answer a question of Suzuki regarding the 2-bridge epimorphism number $\mbox{EK}(n)$ which is the maximum number of nontrivial knots which are strictly smaller than some 2-bridge knot with crossing number $n$. We establish our results using techniques associated to parsings of a continued fraction expansion of the defining fraction of a 2-bridge knot.


title: Thermalizing two identical particles

abstract: How do indistinguishable identical bosons manage to obey Bose-Einstein statistics---and hence be correlated---even when they do not interact with each other? Part of the answer is that the bosons have to interact indirectly with each other by interacting with the same environment. A joint measurement interaction provides a good example. Thermalization occurs whenever there are two competing processes, one diagonal in the energy basis (namely, reversible Hamiltonian evolution), the other irreversible and diagonal in a complementary basis (for example, a measurement in a spatially localized basis). Correlations arise only from initial states in which the bosons start in different (orthogonal) states.


title: Bayesian Deep Convolutional Networks with Many Channels are Gaussian Processes

abstract: There is a previously identified equivalence between wide fully connected neural networks (FCNs) and Gaussian processes (GPs). This equivalence enables, for instance, test set predictions that would have resulted from a fully Bayesian, infinitely wide trained FCN to be computed without ever instantiating the FCN, but by instead evaluating the corresponding GP. In this work, we derive an analogous equivalence for multi-layer convolutional neural networks (CNNs) both with and without pooling layers, and achieve state of the art results on CIFAR10 for GPs without trainable kernels. We also introduce a Monte Carlo method to estimate the GP corresponding to a given neural network architecture, even in cases where the analytic form has too many terms to be computationally feasible. Surprisingly, in the absence of pooling layers, the GPs corresponding to CNNs with and without weight sharing are identical. As a consequence, translation equivariance, beneficial in finite channel CNNs trained with stochastic gradient descent (SGD), is guaranteed to play no role in the Bayesian treatment of the infinite channel limit - a qualitative difference between the two regimes that is not present in the FCN case. We confirm experimentally, that while in some scenarios the performance of SGD-trained finite CNNs approaches that of the corresponding GPs as the channel count increases, with careful tuning SGD-trained CNNs can significantly outperform their corresponding GPs, suggesting advantages from SGD training compared to fully Bayesian parameter estimation.


title: Diboson at the LHC vs LEP

abstract: We use the current CMS and ATLAS data for the leptonic $pp \to WW, WZ$ channels to show that diboson production is, for a broad class of flavour models, already competitive with LEP-1 measurements for setting bounds on the dimension six operators parametrising the anomalous couplings between the quarks and the electroweak gauge bosons, at least under the assumption that any new particle is heavier than a few TeV. We also make an estimate of the HL-LHC reach with $3$ ab$^{-1}$. We comment on possible BSM interpretations of the bounds, and show the interplay with other searches for a simplified model with vector triplets. We further study the effect of modified $Z$-quark-quark couplings on the anomalous triple gauge coupling bounds. We find that their impact is already significant and that it could modify the constraints on $\delta g_{1z}$ and $\delta \kappa_\gamma$ by as much as a factor two at the end of HL-LHC ($\lambda_\gamma$ is only marginally affected), requiring a global fit to extract robust bounds. We stress the role of flavour assumptions and study explicitly flavour universal and minimal flavour violation scenarios, illustrating the differences with results obtained for universal theories.


title: Early evolution of purple retinal pigments on Earth and implications for exoplanet biosignatures

abstract: We propose that retinal-based phototrophy arose early in the evolution of life on Earth, profoundly impacting the development of photosynthesis and creating implications for the search for life beyond our planet. While the early evolutionary history of phototrophy is largely in the realm of the unknown, the onset of oxygenic photosynthesis in primitive cyanobacteria significantly altered the Earth's atmosphere by contributing to the rise of oxygen ~2.3 billion years ago. However, photosynthetic chlorophyll and bacteriochlorophyll pigments lack appreciable absorption at wavelengths about 500-600 nm, an energy-rich region of the solar spectrum. By contrast, simpler retinal-based light-harvesting systems such as the haloarchaeal purple membrane protein bacteriorhodopsin show a strong well-defined peak of absorbance centered at 568 nm, which is complementary to that of chlorophyll pigments. We propose a scenario where simple retinal-based light-harvesting systems like that of the purple chromoprotein bacteriorhodopsin, originally discovered in halophilic Archaea, may have dominated prior to the development of photosynthesis. We explore this hypothesis, termed the 'Purple Earth,' and discuss how retinal photopigments may serve as remote biosignatures for exoplanet research.


title: Complexity and entanglement for thermofield double states

abstract: Motivated by holographic complexity proposals as novel probes of black hole spacetimes, we explore circuit complexity for thermofield double (TFD) states in free scalar quantum field theories using the Nielsen approach. For TFD states at t = 0, we show that the complexity of formation is proportional to the thermodynamic entropy, in qualitative agreement with holographic complexity proposals. For TFD states at t > 0, we demonstrate that the complexity evolves in time and saturates after a time of the order of the inverse temperature. The latter feature, which is in contrast with the results of holographic proposals, is due to the Gaussian nature of the TFD state of the free bosonic QFT. A novel technical aspect of our work is framing complexity calculations in the language of covariance matrices and the associated symplectic transformations, which provide a natural language for dealing with Gaussian states. Furthermore, for free QFTs in 1+1 dimension, we compare the dynamics of circuit complexity with the time dependence of the entanglement entropy for simple bipartitions of TFDs. We relate our results for the entanglement entropy to previous studies on non-equilibrium entanglement evolution following quenches. We also present a new analytic derivation of a logarithmic contribution due to the zero momentum mode in the limit of vanishing mass for a subsystem containing a single degree of freedom on each side of the TFD and argue why a similar logarithmic growth should be present for larger subsystems.


title: Representations of the Necklace Braid Group: Topological and Combinatorial Approaches

abstract: The necklace braid group $\mathcal{NB}_n$ is the motion group of the $n+1$ component necklace link $\mathcal{L}_n$ in Euclidean $\mathbb{R}^3$. Here $\mathcal{L}_n$ consists of $n$ pairwise unlinked Euclidean circles each linked to an auxiliary circle. Partially motivated by physical considerations, we study representations of the necklace braid group $\mathcal{NB}_n$, especially those obtained as extensions of representations of the braid group $\mathcal{B}_n$ and the loop braid group $\mathcal{LB}_n$. We show that any irreducible $\mathcal{B}_n$ representation extends to $\mathcal{NB}_n$ in a standard way. We also find some non-standard extensions of several well-known $\mathcal{B}_n$-representations such as the Burau and LKB representations. Moreover, we prove that any local representation of $\mathcal{B}_n$ (i.e. coming from a braided vector space) can be extended to $\mathcal{NB}_n$, in contrast to the situation with $\mathcal{LB}_n$. We also discuss some directions for future study from categorical and physical perspectives.


title: Out-of-the-box Baryogenesis During Relaxation

abstract: We show that spontaneous baryogenesis occurs automatically in relaxion models if the reheating temperature is larger than the weak scale, provided the Standard Model fields are charged under the U(1) of which the relaxion is a pseudo-Nambu-Goldstone boson. During the slow roll, the relaxion breaks CPT, biasing the thermal equilibrium in favor of baryons, with sphalerons providing the necessary baryon number violation. We calculate the resulting baryon asymmetry, explore the possible constraints on this scheme and show that there is a swath of parameter space in which the current observations are matched. Successful baryogenesis can be achieved for a range of relaxion masses between $10^{-10}$ and $10^{-5}$ eV. The mechanism operates precisely in the region of parameter space where recent work has shown relaxion oscillations to be a dark matter candidate.


title: Efficient Nonthermal Particle Acceleration by the Kink Instability in Relativistic Jets

abstract: Relativistic magnetized jets from active galaxies are among the most powerful cosmic accelerators, but their particle acceleration mechanisms remain a mystery. We present a new acceleration mechanism associated with the development of the helical kink instability in relativistic jets, which leads to the efficient conversion of the jet's magnetic energy into nonthermal particles. Large-scale three-dimensional ab initio simulations reveal that the formation of highly tangled magnetic fields and a large-scale inductive electric field throughout the kink-unstable region promotes rapid energization of the particles. The energy distribution of the accelerated particles develops a well-defined power-law tail extending to the radiation-reaction limited energy in the case of leptons, and to the confinement energy of the jet in the case of ions. When applied to the conditions of well-studied bright knots in jets from active galaxies, this mechanism can account for the spectrum of synchrotron and inverse Compton radiating particles, and offers a viable means of accelerating ultra-high-energy cosmic rays to $10^{20}$ eV.


title: Revisiting steady viscous flow of a generalized Newtonian fluid through a slender elastic tube using shell theory

abstract: A flow vessel with an elastic wall can deform significantly due to viscous fluid flow within it, even at vanishing Reynolds number (no fluid inertia). Deformation leads to an enhancement of throughput due to the change in cross-sectional area. The latter gives rise to a non-constant pressure gradient in the flow-wise direction and, hence, to a nonlinear flow rate--pressure drop relation (unlike the Hagen--Poiseuille law for a rigid tube). Many biofluids are non-Newtonian, and are well approximated by generalized Newtonian (say, power-law) rheological models. Consequently, we analyze the problem of steady low Reynolds number flow of a generalized Newtonian fluid through a slender elastic tube by coupling fluid lubrication theory to a structural problem posed in terms of Donnell shell theory. A perturbative approach (in the slenderness parameter) yields analytical solutions for both the flow and the deformation. Using matched asymptotics, we obtain a uniformly valid solution for the tube's radial displacement, which features both a boundary layer and a corner layer caused by localized bending near the clamped ends. In doing so, we obtain a ``generalized Hagen--Poiseuille law'' for soft microtubes. We benchmark the mathematical predictions against three-dimensional two-way coupled direct numerical simulations (DNS) of flow and deformation performed using the commercial computational engineering platform by ANSYS. The simulations show good agreement and establish the range of validity of the theory. Finally, we discuss the implications of the theory on the problem of the flow-induced deformation of a blood vessel, which is featured in some textbooks.