title: Counting partitions of $G_{n,1/2}$ with degree congruence conditions

abstract: For $G=G_{n, 1/2}$, the Erd\H{o}s--Renyi random graph, let $X_n$ be the random variable representing the number of distinct partitions of $V(G)$ into sets $A_1, \ldots, A_q$ so that the degree of each vertex in $G[A_i]$ is divisible by $q$ for all $i\in[q]$. We prove that if $q\geq 3$ is odd then $X_n\xrightarrow{d}{\mathrm{Po}(1/q!)}$, and if $q \geq 4$ is even then $X_n\xrightarrow{d}{\mathrm{Po}(2^q/q!)}$. More generally, we show that the distribution is still asymptotically Poisson when we require all degrees in $G[A_i]$ to be congruent to $x_i$ modulo $q$ for each $i\in[q]$, where the residues $x_i$ may be chosen freely. For $q=2$, the distribution is not asymptotically Poisson, but it can be determined explicitly.


title: Data Security on Mobile Devices: Current State of the Art, Open Problems, and Proposed Solutions

abstract: In this work we present definitive evidence, analysis, and (where needed) speculation to answer the questions, (1) Which concrete security measures in mobile devices meaningfully prevent unauthorized access to user data? (2) In what ways are modern mobile devices accessed by unauthorized parties? (3) How can we improve modern mobile devices to prevent unauthorized access? We examine the two major platforms in the mobile space, iOS and Android, and for each we provide a thorough investigation of existing and historical security features, evidence-based discussion of known security bypass techniques, and concrete recommendations for remediation. We then aggregate and analyze public records, documentation, articles, and blog postings to categorize and discuss unauthorized bypass of security features by hackers and law enforcement alike. We provide in-depth analysis of the data potentially accessed via law enforcement methodologies from both mobile devices and associated cloud services. Our fact-gathering and analysis allow us to make a number of recommendations for improving data security on these devices. The mitigations we propose can be largely summarized as increasing coverage of sensitive data via strong encryption, but we detail various challenges and approaches towards this goal and others. It is our hope that this work stimulates mobile device development and research towards security and privacy, provides a unique reference of information, and acts as an evidence-based argument for the importance of reliable encryption to privacy, which we believe is both a human right and integral to a functioning democracy.


title: Entanglement entropy in FRW backgrounds

abstract: We use holography in order to study the entanglement entropy for a spherical entangling surface in a FRW background with an arbitrary time dependence of the scale factor. The calculation is done in various dimensions, allowing for nonzero spatial curvature. The entanglement entropy of a CFT at nonzero temperature in this background is also considered. Our approach is based on coordinate transformations that relate the extremization problem to the one for a static background, with a careful determination of the UV cutoff. We demonstrate the agreement with the expected form of the entanglement entropy and with various known results in specific cases. In four dimensions, apart from the cutoff-dependent terms, we compute and discuss the finite term related to the expansion rate.


title: Consistent Spectral Clustering of Network Block Models under Local Differential Privacy

abstract: The stochastic block model (SBM) and degree-corrected block model (DCBM) are network models often selected as the fundamental setting in which to analyze the theoretical properties of community detection methods. We consider the problem of spectral clustering of SBM and DCBM networks under a local form of edge differential privacy. Using a randomized response privacy mechanism called the edge-flip mechanism, we develop theoretical guarantees for differentially private community detection, demonstrating conditions under which this strong privacy guarantee can be upheld while achieving spectral clustering convergence rates that match the known rates without privacy. We prove the strongest theoretical results are achievable for dense networks (those with node degree linear in the number of nodes), while weak consistency is achievable under mild sparsity (node degree greater than $\sqrt{n}$). We empirically demonstrate our results on a number of network examples.


title: Computations regarding certain graphs associated to finite polar spaces

abstract: We consider various regular graphs defined on the set of elements of given rank of a finite polar space. It is likely that no two such graphs, of the same kind but defined for different ranks, can have the same degree. We shall prove this conjecture under the hypothesis that the considered rank are not too small.


title: E. Schr\"odinger's 1931 paper "On the Reversal of the Laws of Nature" ["\"Uber die Umkehrung der Naturgesetze",Sitzungsberichte der preussischen Akademie der Wissenschaften, physikalische mathematische Klasse, 8 N9 144-153]

abstract: We present an English translation of Erwin Schr\"odinger's paper on "On the Reversal of the Laws of Nature". In this paper Schr\"odinger analyses the idea of time reversal of a diffusion process. Schr\"odinger's paper acted as a prominent source of inspiration for the works of Bernstein on reciprocal processes and of Kolmogorov on time reversal properties of Markov processes and detailed balance. The ideas outlined by Schr\"odinger also inspired the development of probabilistic interpretations of quantum mechanics by F\'enyes, Nelson and others as well as the notion of "Euclidean Quantum Mechanics" as probabilistic analogue of quantization. In the second part of the paper Schr\"odinger discusses the relation between time reversal and statistical laws of physics. We emphasize in our commentary the relevance of Schr\"odinger's intuitions for contemporary developments in statistical nano-physics.


title: Influence of the Bounds of the Hyperparameters on the Reconstruction of Hubble Constant with Gaussian Process

abstract: The cosmological model-independent method Gaussian process (GP) has been widely used in the reconstruction of Hubble constant $H_0$, and the hyperparameters inside GP influence the reconstructed result derived from GP. Different hyperparameters inside GP are used in the constraint of $H_0$ derived from GP with observational Hubble parameter $H(z)$ data (OHD), and the influence of the hyperparameters inside GP on the reconstruction of $H_0$ with GP is discussed. The discussion about the hyperparameters inside GP and the forecasts for future data show that the consideration of the lower and upper bounds on the GP's hyperparameters are necessary in order to get an extrapolated result of $H_0$ from GP reliably and robustly.


title: Global weak solutions to fully cross-diffusive systems with nonlinear diffusion and saturated taxis sensitivity

abstract: Systems of the type $$\begin{cases} u_t = \nabla \cdot (D_1(u) \nabla u - S_1(u) \nabla v) + f_1(u, v),\\ v_t = \nabla \cdot (D_2(v) \nabla v + S_2(v) \nabla u) + f_2(u, v) \end{cases} \qquad (\star)$$ can be used to model pursuit-evasion relationships between predators and prey. Apart from local kinetics given by $f_1$ and $f_2$, the key components in this system are the taxis terms $-\nabla \cdot (S_1(u) \nabla v)$ and $+\nabla \cdot (S_2(v) \nabla u)$; that is, the species are not only assumed to move around randomly in space but are also able to partially direct their movement depending on the nearby presence of the other species. In the present article, we construct global weak solutions of ($\star$) for certain prototypical nonlinear functions $D_i$, $S_i$ and $f_i$, $i \in \{1, 2\}$. To that end, we first make use of a fourth-order regularization to obtain global solutions to approximate systems and then rely on an entropy-like identity associated with ($\star$) for obtaining various a~priori estimates.


title: Lessons Learned and Improvements when Building Screen-Space Samplers with Blue-Noise Error Distribution

abstract: Recent work has shown that the error of Monte-Carlo rendering is visually more acceptable when distributed as blue-noise in screen-space. Despite recent efforts, building a screen-space sampler is still an open problem. In this talk, we present the lessons we learned while improving our previous screen-space sampler. Specifically: we advocate for a new criterion to assess the quality of such samplers; we introduce a new screen-space sampler based on rank-1 lattices; we provide a parallel optimization method that is compatible with a GPU implementation and that achieves better quality; we detail the pitfalls of using such samplers in renderers and how to cope with many dimensions; and we provide empirical proofs of the versatility of the optimization process.


title: The geometry of polynomial representations

abstract: We define a GL-variety to be a (typically infinite dimensional) algebraic variety equipped with an action of the infinite general linear group under which the coordinate ring forms a polynomial representation. Such varieties have been used to study asymptotic properties of invariants like strength and tensor rank, and played a key role in two recent proofs of Stillman's conjecture. We initiate a systematic study of GL-varieties, and establish a number of foundational results about them. For example, we prove a version of Chevalley's theorem on constructible sets in this setting.


title: Regularisation of isolated codimension-2 discontinuity sets

abstract: Work on standard piecewise-smooth (PWS) dynamical systems, with codimension-1 discontinuity sets, relies on the Filippov framework, which does not always readily generalise to systems with higher codimension discontinuities. These higher order degeneracies occur in applications, with spatial Coulomb friction being the prominent example. In this work, we consider PWS systems with isolated codimension-2 discontinuity sets using regularization and blowup to study the dynamics. We present a general framework and give specific results for the local dynamics in a class of problems, and generalising Filippov sliding, crossing and sliding vector fields.


title: New instances for maximum weight independent set from a vehicle routing application

abstract: We present a set of new instances of the maximum weight independent set problem. These instances are derived from a real-world vehicle routing problem and are challenging to solve in part because of their large size. We present instances with up to 881 thousand nodes and 383 million edges.


title: Muon detection in electron-positron annihilation for muon collider studies

abstract: The investigation of the energy frontier in physics requires novel concepts for future colliders. The idea of a muon collider is very appealing since it would allow to study particle collisions at up to tens of TeV energy, while offering a cleaner experimental environment with respect to hadronic colliders. One key element in the muon collider design is the low-emittance muon production. Recently,the Low EMittance Muon Accelerator (LEMMA) collaboration has explored the muon pair production close to its kinematic threshold by annihilating 45 GeV positrons with electrons in a low Z material target. In this configuration, muons are emerging from the target with a naturally low-emittance. In this paper we describe the performance of a system, to study this production mechanism, that consists in several segmented absorbers with alternating active layers composed of fast Cherenkov detectors together with a muon identification technique based on this detector. Passive layers were made of tungsten. We collected data corresponding to muon and electron beams produced at the H2 line in the North Area of the European Organization for Nuclear Research (CERN) in September 2018.


title: Weighted monotonicity theorems and applications to minimal surfaces in $\mathbb{H}^n$ and $S^n$

abstract: We prove that in a Riemannian manifold $M$, each function whose Hessian is proportional the metric tensor yields a weighted monotonicity theorem. Such function appears in the Euclidean space, the round sphere $S^n$ and the hyperbolic space $\mathbb{H}^n$ as the distance function, the Euclidean coordinates of $\mathbb{R}^{n+1}$ and the Minkowskian coordinates of $\mathbb{R}^{n,1}$. Then we show that weighted monotonicity theorems can be compared and that in the hyperbolic case, this comparison implies three $SO(n,1)$-distinct unweighted monotonicity theorems. From these, we obtain upper bounds of the Graham--Witten renormalised area of a minimal surface in term of its ideal perimeter measured under different metrics of the conformal infinity. Other applications include a vanishing result for knot invariants coming from counting minimal surfaces of $\mathbb{H}^n$ and a quantification of how antipodal a minimal submanifold of $S^n$ has to be in term of its volume.


title: Automatic design of quantum feature maps

abstract: We propose a new technique for the automatic generation of optimal ad-hoc ans\"atze for classification by using quantum support vector machine (QSVM). This efficient method is based on NSGA-II multiobjective genetic algorithms which allow both maximize the accuracy and minimize the ansatz size. It is demonstrated the validity of the technique by a practical example with a non-linear dataset, interpreting the resulting circuit and its outputs. We also show other application fields of the technique that reinforce the validity of the method, and a comparison with classical classifiers in order to understand the advantages of using quantum machine learning.


title: Saddle solutions for the fractional Choquard equation

abstract: We study the saddle solutions for the fractional Choquard equation \begin{align*} (-\Delta)^{s}u+ u=(K_{\alpha}\ast|u|^{p})|u|^{p-2}u, \quad x\in \mathbb{R}^N \end{align*} where $s\in(0,1)$, $N\geq 3$ and $K_\alpha$ is the Riesz potential with order $\alpha\in (0,N)$. For every Coxeter group $G$ with rank $1\leq k\leq N$ and $p\in[2,\frac{N+\alpha}{N-2s})$, we construct a $G$-saddle solution with prescribed symmetric nodal configurations. This is a counterpart for the fractional Choquard equation of saddle solutions to the Choquard equation and further completes the existence of non-radial sign-changing solutions for this doubly nonlocal equation.


title: Predict then Interpolate: A Simple Algorithm to Learn Stable Classifiers

abstract: We propose Predict then Interpolate (PI), a simple algorithm for learning correlations that are stable across environments. The algorithm follows from the intuition that when using a classifier trained on one environment to make predictions on examples from another environment, its mistakes are informative as to which correlations are unstable. In this work, we prove that by interpolating the distributions of the correct predictions and the wrong predictions, we can uncover an oracle distribution where the unstable correlation vanishes. Since the oracle interpolation coefficients are not accessible, we use group distributionally robust optimization to minimize the worst-case risk across all such interpolations. We evaluate our method on both text classification and image classification. Empirical results demonstrate that our algorithm is able to learn robust classifiers (outperforms IRM by 23.85% on synthetic environments and 12.41% on natural environments). Our code and data are available at https://github.com/YujiaBao/Predict-then-Interpolate.


title: Optical and Thermodynamic Properties of a Rotating Dyonic Black Hole Spacetime in $\mathcal{N} = 2, U(1)^2$ gauged supergravity

abstract: The null geodesics and the distance of closest approach for photon around a rotating dyonic black hole in $\mathcal{N} = 2, U(1)^2$ gauged supergravity is studied. The phenomenon of black hole shadows with various black hole parameters has also analyzed. Further, the investigation of various thermodynamic properties for this black hole is performed with various thermodynamic parameters at the horizon. The heat capacity to study the thermodynamic stability of this black hole spacetime is also studied. The influence for different values of the black hole parameters $ \nu $, $ e $, $ \nu $, $ g $ and $N_{g}$ on the phenomenon of black hole shadows and thermodynamic parameters is also investigated visually.


title: Cayley--Abels graphs and invariants of totally disconnected, locally compact groups

abstract: A connected, locally finite graph $\Gamma$ is a Cayley--Abels graph for a totally disconnected, locally compact group $G$ if $G$ acts vertex-transitively with compact, open vertex stabilizers on $\Gamma$. Define the minimal degree of $G$ as the minimal degree of a Cayley--Abels graph of $G$. We relate the minimal degree in various ways to the modular function, the scale function and the structure of compact open subgroups. As an application, we prove that if $T_d$ denotes the $d$-regular tree, then the minimal degree of ${\rm Aut}(T_d)$ is $d$ for all $d\geq 2$.


title: On a Differential Intermediate Value Property

abstract: Liouville closed $H$-fields are ordered differential fields whose ordering and derivation interact in a natural way and where every linear differential equation of order $1$ has a nontrivial solution. (The introduction gives a precise definition.) For a Liouville closed $H$-field $K$ with small derivation we show: $K$ has the Intermediate Value Property for differential polynomials iff $K$ is elementarily equivalent to the ordered differential field of transseries. We also indicate how this applies to Hardy fields.


title: A Positive-Definite Energy Functional for the Axisymmetric Perturbations of Kerr-Newman Black Holes

abstract: We consider the axisymmetric, linear perturbations of Kerr-Newman black holes, allowing for arbitrarily large (but subextremal) angular momentum and electric charge. By exploiting the famous Carter-Robinson identities, developed previously for the proofs of (stationary) black hole uniqueness results, we construct a positive-definite energy functional for these perturbations and establish its conservation for a class of (coupled, gravitational and electromagnetic) solutions to the linearized field equations. Our analysis utilizes the familiar (Hamiltonian) reduction of the field equations (for axisymmetric geometries) to a system of wave map fields coupled to a 2+1-dimensional Lorentzian metric on the relevant quotient 3-manifold. The propagating `dynamical degrees of freedom' of this system are entirely captured by the wave map fields, which take their values in a four dimensional, negatively curved (complex hyperbolic) Riemannian target space whereas the base-space Lorentzian metric is entirely determined, in our setup, by elliptic constraints and gauge conditions.


title: Edge Detection for Satellite Images without Deep Networks

abstract: Satellite imagery is widely used in many application sectors, including agriculture, navigation, and urban planning. Frequently, satellite imagery involves both large numbers of images as well as high pixel counts, making satellite datasets computationally expensive to analyze. Recent approaches to satellite image analysis have largely emphasized deep learning methods. Though extremely powerful, deep learning has some drawbacks, including the requirement of specialized computing hardware and a high reliance on training data. When dealing with large satellite datasets, the cost of both computational resources and training data annotation may be prohibitive.


title: The formation of Pareto distribution in tracer systems on the water surface

abstract: We experimentally studied a clusterization process in a system of polyamide tracers that are used for visualizing the flow of liquids on their surface. It was shown that in a surface structure system appearing on the water surface a Pareto distribution is formed for normalized cluster density and it is well described by a C/x^(-n) power-law function. One can suggest that the growth of a surface structure is defined by the action of surface tension forces, and the number of surface structures decreases exponentially, while maintaining their total surface area. We show experimentally the significant role of background liquid flows on the surface in the clusterization process


title: What makes you popular: beauty, personality or intelligence?

abstract: This study explores the determinants of popularity within friendship and advice networks. We involved almost 200 college students in an experiment to predict how personality traits, self-monitoring, creativity, intelligence, energy, and beauty influence the development of friendship and advice networks. Our results indicate that physical attractiveness is a key to develop both friendship and task-related interactions, whereas perceived intelligence and creativity play an important role in the advice network. Our findings seem to support the idea that there might be a kernel of truth in the stereotype that attractiveness correlates with positive social traits and successful outcomes.


title: Saddle solutions for the Choquard equation with a general nonlinearity

abstract: In the spirit of Berestycki and Lions, we prove the existence of saddle type nodal solutions for the Choquard equation \[ -\Delta u + u= \big(I_\alpha \ast F(u)\big)F'(u)\qquad \text{ in }\;\mathbb{R}^N \] where $N\geq 2$ and $I_\alpha$ is the Riesz potential of order $\alpha\in (0,N)$. Without any compact setting, we construct saddle solutions in a unified way for the Choquard equation whose nodal domains are of cone shapes demonstrating Coxeter's symmetric configurations in $\mathbb R^N$. Moreover, if $F'$ is odd and has constant sign on $(0,+\infty)$, then the saddle solution maintains signed on the fundamental domain of the corresponding Coxeter group and receives opposite signs on any two adjacent domains. These results further complete the variational framework in constructing sign-changing solutions for the Choquard equation but still require a quadratic or super-quadratic growth on $F$ near the origin.


title: Evolution of high-redshift quasar hosts and promotion of massive black hole seed formation

abstract: High-redshift luminous quasars powered by accreting supermassive black holes (SMBHs) with mass $\gtrsim 10^9 M_\odot$ constrain their formation pathways. We investigate the formation of heavy seeds of SMBHs through gas collapse in the quasar host progenitors, using merger trees to trace the halo growth in highly-biased, overdense regions of the universe. The progenitor halos are likely irradiated by intense H$_2$-photodissociating radiation from nearby star-forming galaxies and heat the interior gas by successive mergers. The kinetic energy of the gas originating from mergers as well as baryonic streaming motion prevents gas collapse and delays prior star formation. With a streaming velocity higher than the root-mean-square value, gas clouds in nearly all $10^4$ realizations of merger trees enter the atomic-cooling stage and begin to collapse isothermally with $T \simeq 8000 K$ via Ly$\alpha$ cooling. The fraction of trees which host isothermal gas collapse is $14\%$ and increases with streaming velocity, while the rest form H$_2$-cooled cores after short isothermal phases. If the collapsing gas is enriched to $Z_{crit}\sim 2\times 10^{-3} Z_\odot$, requiring efficient metal mixing, this fraction could be reduced by additional cooling via metal fine-structure lines. In the massive collapsing gas, the accretion rate onto a newly-born protostar ranges between $3 \times 10^{-3}-5 M_\odot yr^{-1}$, among which a large fraction exceeds the critical rate suppressing stellar radiative feedback. As a result, we expect a distribution of stellar mass (presumably BH mass) ranging from several hundred to above $10^5 M_\odot$, potentially forming massive BH binary mergers and yielding gravitational wave events.


title: Predicting Aqueous Solubility of Organic Molecules Using Deep Learning Models with Varied Molecular Representations

abstract: Determining the aqueous solubility of molecules is a vital step in many pharmaceutical, environmental, and energy storage applications. Despite efforts made over decades, there are still challenges associated with developing a solubility prediction model with satisfactory accuracy for many of these applications. The goal of this study is to develop a general model capable of predicting the solubility of a broad range of organic molecules. Using the largest currently available solubility dataset, we implement deep learning-based models to predict solubility from molecular structure and explore several different molecular representations including molecular descriptors, simplified molecular-input line-entry system (SMILES) strings, molecular graphs, and three-dimensional (3D) atomic coordinates using four different neural network architectures - fully connected neural networks (FCNNs), recurrent neural networks (RNNs), graph neural networks (GNNs), and SchNet. We find that models using molecular descriptors achieve the best performance, with GNN models also achieving good performance. We perform extensive error analysis to understand the molecular properties that influence model performance, perform feature analysis to understand which information about molecular structure is most valuable for prediction, and perform a transfer learning and data size study to understand the impact of data availability on model performance.


title: Blurs Behave Like Ensembles: Spatial Smoothings to Improve Accuracy, Uncertainty, and Robustness

abstract: Neural network ensembles, such as Bayesian neural networks (BNNs), have shown success in the areas of uncertainty estimation and robustness. However, a crucial challenge prohibits their use in practice. BNNs require a large number of predictions to produce reliable results, leading to a significant increase in computational cost. To alleviate this issue, we propose spatial smoothing, a method that spatially ensembles neighboring feature map points of convolutional neural networks. By simply adding a few blur layers to the models, we empirically show that spatial smoothing improves accuracy, uncertainty estimation, and robustness of BNNs across a whole range of ensemble sizes. In particular, BNNs incorporating spatial smoothing achieve high predictive performance merely with a handful of ensembles. Moreover, this method also can be applied to canonical deterministic neural networks to improve the performances. A number of evidences suggest that the improvements can be attributed to the stabilized feature maps and the smoothing of the loss landscape. In addition, we provide a fundamental explanation for prior works - namely, global average pooling, pre-activation, and ReLU6 - by addressing them as special cases of spatial smoothing. These not only enhance accuracy, but also improve uncertainty estimation and robustness by making the loss landscape smoother in the same manner as spatial smoothing. The code is available at https://github.com/xxxnell/spatial-smoothing.


title: A new class of exact mobility edges in non-Hermitian quasiperiodic models

abstract: Quantum localization in 1D non-Hermitian systems, especially the search for exact single-particle mobility edges, has attracted considerable interest recently. While much progress has been made, the available methods to determine the ME of such models are still limited. In this work, we propose a new method to determine the exact mobility edge in a large class of 1D non-Hermitian quasiperiodic models with parity-time ($\mathcal{PT}$) symmetry. We illustrate our method by studying a specific model. We first use our method to determine the energy-dependent mobility edge as well as the spectrum for localized eigenstates in this model. We then demonstrate that the metal-insulator transition must occur simultaneously with the spontaneous $\mathcal{PT}$-symmetry breaking transition in this model. Finally, we propose an experimental protocol based on a 1D photonic lattice to distinguish the extended and localized single-particle states in our model.


title: Flat bands, electron interactions and magnetic order in magic-angle mono-trilayer graphene

abstract: Starting with twisted bilayer graphene, graphene-based moir\'e materials have recently been established as a new platform for studying strong electron correlations. In this paper, we study twisted graphene monolayers on trilayer graphene and demonstrate that this system can host flat bands when the twist angle is close to the magic-angle of 1.16$^\circ$. When monolayer graphene is twisted on ABA trilayer graphene, the flat bands are not isolated, but are intersected by a Dirac cone with a large Fermi velocity. In contrast, graphene twisted on ABC trilayer graphene (denoted AtABC) exhibits a gap between flat and remote bands. Since ABC trilayer graphene and twisted bilayer graphene are known to host broken-symmetry phases, we further investigate the ostensibly similar magic angle AtABC system. We study the effect of electron-electron interactions in AtABC using both Hartree theory and an atomic Hubbard theory to calculate the magnetic phase diagram as a function of doping, twist angle, and perpendicular electric field. Our analysis reveals a rich variety of magnetic orderings, including ferromagnetism and ferrimagnetism, and demonstrates that a perpendicular electric field makes AtABC more susceptible to magnetic ordering.


title: Tautological rings of Hilbert modular varieties

abstract: We compute the tautological ring for a Hilbert modular variety at an unramified prime. The method generalises that of van der Geer from the Siegel case.


title: Simple Self-calibrating Polarimeter for Measuring the Stokes Parameters of Light

abstract: A simple, self-calibrating, rotating-waveplate polarimeter is largely insensitive to light intensity fluctuations and is shown to be useful for determining the Stokes parameters of light. This study shows how to minimize the in situ self-calibration time, the measurement time and the measurement uncertainty. The suggested methods are applied to measurements of spatial variations in the linear and circular polarizations of laser light passing through glass plates with a laser intensity dependent birefringence. These are crucial measurements for the ACME electron electric dipole measurements, requiring accuracies in circular and linear polarization fraction of about 0.1% and 0.4%, with laser intensities up to 100 $\text{mW/mm}^2$ incident into the polarimeter.


title: Dissipative evolution of quantum Gaussian states

abstract: Recent works on quantum resource theories of non-Gaussianity, which are based upon the type of tools available in contemporary experimental settings, put Gaussian states and their convex combinations on equal footing. Motivated by this, in this article, we derive a new model of dissipative time evolution based on unitary Lindblad operators which, while does not preserve the set of Gaussian states, preserves the set of their convex combinations, i.e. so-called quantum Gaussian states. As we demonstrate, the considered evolution proves useful both as a description for random scattering and as a tool in dissipator engineering.


title: Topological Pilot Assignment in Large-Scale Distributed MIMO Networks

abstract: We consider the pilot assignment problem in large-scale distributed multi-input multi-output (MIMO) networks, where a large number of remote radio head (RRH) antennas are randomly distributed in a wide area, and jointly serve a relatively smaller number of users (UE) coherently. By artificially imposing topological structures on the UE-RRH connectivity, we model the network by a partially-connected interference network, so that the pilot assignment problem can be cast as a topological interference management problem with multiple groupcast messages. Building upon such connection, we formulate the topological pilot assignment (TPA) problem in two different ways with respect to whether or not the to-be-estimated channel connectivity pattern is known a priori. When it is known, we formulate the TPA problem as a low-rank matrix completion problem that can be solved by a simple alternating projection algorithm. Otherwise, we formulate it as a sequential maximum weight induced matching problem that can be solved by either a mixed integer linear program or a simple yet efficient greedy algorithm. With respect to two different formulations of the TPA problem, we evaluate the efficiency of the proposed algorithms under the cell-free massive MIMO setting.


title: Full-Duplex meets Reconfigurable Surfaces: RIS-assisted SIC for Full-Duplex Radios

abstract: Reconfigurable intelligent surfaces (RIS) are a key enabler of various new applications in 6G smart radio environments. By utilizing an RIS prototype system, this paper aims to enhance self-interference (SI) cancellation for in-band full-duplex (FD) communication systems. SI suppression is a crucial requirement for FD communication as the SI severely limits the performance of a node by shadowing the received signal from a distant node with its own transmit signal. To this end, we propose to assist SI cancellation by exploiting an RIS to form a suitable cancellation signal in the analog domain. Building upon a 256-element RIS prototype, we present results of RIS-assisted SI cancellation from a practical testbed. Given an initial analog isolation of 44 dB provided by the antenna design, we are able to cancel the leaked signal by an additional 59 dB in the narrowband case, resulting in an overall SI suppression of 103 dB without additional digital cancellation. The presented case study shows promising performance to build an FD communication system on this foundation.


title: Conceptual Schema Optimisation -- Database Optimisation before sliding down the Waterfall

abstract: In this article we discuss an approach to database optimisation in which a conceptual schema is optimised by applying a sequence of transformations. By performing these optimisations on the conceptual schema, a large part of the database optimisation can be done before actually sliding down the software development waterfall. When optimising schemas, one would like to preserve some level of equivalence between the schemas before and after a transformation. We distinguish between two classes of equivalence, one based on the mathematical semantics of the conceptual schemas, and one on conceptual preference by humans. As a medium for the schema transformations we use the universe of all (correct) conceptual schemas. A schema transformation process can then be seen as a journey (a schema-time worm) within this universe. The underlying theory is conveyed intuitively with sample transformations, and formalised within the framework of Object-Role Modelling. A metalanguage is introduced for the specification of transformations, and more importantly their semantics. While the discussion focusses on the data perspective, the approach has a high level of generality and is extensible to process and behaviour perspectives.


title: Imaging antiferromagnetic domain fluctuations and the effect of atomic-scale disorder in a doped spin-orbit Mott insulator

abstract: Correlated oxides can exhibit complex magnetic patterns, characterized by domains with vastly different size, shape and magnetic moment spanning the material. Understanding how magnetic domains form in the presence of chemical disorder and their robustness to temperature variations has been of particular interest, but atomic-scale insight into this problem has been limited. We use spin-polarized scanning tunneling microscopy to image the evolution of spin-resolved modulations originating from antiferromagnetic (AF) ordering in a spin-orbit Mott insulator Sr3Ir2O7 as a function of chemical composition and temperature. We find that replacing only several percent of La for Sr leaves behind nanometer-scale AF puddles clustering away from La substitutions preferentially located in the middle SrO layer within the unit cell. Thermal erasure and re-entry into the low-temperature ground state leads to a spatial reorganization of the AF modulations, indicating multiple stable AF configurations at low temperature. Interestingly, regardless of this rearrangement, the AF puddles maintain scale-invariant fractal geometry in each configuration. Our experiments reveal spatial fluctuations of the AF order in electron doped Sr3Ir2O7, and shed light on its sensitivity to different types of atomic-scale disorder.


title: Real-time spin-charge separation in one-dimensional Fermi gases from generalized hydrodynamics

abstract: We revisit early suggestions to observe spin-charge separation (SCS) in cold-atom settings {in the time domain} by studying one-dimensional repulsive Fermi gases in a harmonic potential, where pulse perturbations are initially created at the center of the trap. We analyze the subsequent evolution using generalized hydrodynamics (GHD), which provides an exact description, at large space-time scales, for arbitrary temperature $T$, particle density, and interactions. At $T=0$ and vanishing magnetic field, we find that, after a nontrivial transient regime, spin and charge dynamically decouple up to perturbatively small corrections which we quantify. In this limit, our results can be understood based on a simple phase-space hydrodynamic picture. At finite temperature, we solve numerically the GHD equations, showing that for low $T>0$ effects of SCS survive and {characterize} explicitly the value of $T$ for which the two distinguishable excitations melt.


title: Atoms in a spin dependent optical potential: ground state topology and magnetization

abstract: We investigate a Bose-Einstein condensate of $F= 1$ $^{87}$Rb atoms in a 2D spin-dependent optical lattice generated by intersecting laser beams with a superposition of polarizations. For $^{87}$Rb the effective interaction of an atom with the electromagnetic field contains a scalar and a vector (called as fictitious magnetic field, $B_{fic}$) potentials. The Rb atoms behave as a quantum rotor (QR) with angular momentum given by the sum of the atomic rotational motion angular momentum and the hyperfine spin. The ground state of the QR is affected upon applying an external magnetic field, $B_{ext}$, perpendicular to the plane of QR motion and a sudden change of its topology occurs as the ratio $B_{ext}/B_{fic}$ exceeds critical value. It is shown that the change of topology of the QR ground state is a result of combined action of Zeeman and Einstein-de Haas effects. The first transfers atoms to the largest hyperfine component to polarize the sample along the field as the external magnetic field is increased. The second sweeps spin to rotational angular momentum, modifying the kinetic energy of the atoms.


title: The Usability and Trustworthiness of Medical Eye Images

abstract: The majority of blindness is preventable, and is located in developing countries. While mHealth applications for retinal imaging in combination with affordable smartphone lens adaptors are a step towards better eye care access, the expert knowledge and additional hardware needed are often unavailable in developing countries. Eye screening apps without lens adaptors exist, but we do not know much about the experience of guiding users to take medical eye images. Additionally, when an AI based diagnosis is provided, trust plays an important role in ensuring in the adoption. This work addresses factors that impact the usability and trustworthiness dimensions of mHealth applications. We present the design, development and evaluation of EyeGuide, a mobile app that assists users in taking medical eye images using only their smartphone camera. In a study (n=28) we observed that users of an interactive tutorial captured images faster compared to audible tone based guidance. In a second study (n=40) we found out that providing disease-specific background information was the most effective factor to increase trustworthiness in the AI based diagnosis. Application areas of EyeGuide are AI based disease detection and telemedicine examinations.


title: Twisted Traces and Positive Forms on Generalized $q$-Weyl Algebras

abstract: Let ${\mathcal A}$ be a generalized $q$-Weyl algebra, it is generated by $u$, $v$, $Z$, $Z^{-1}$ with relations $ZuZ^{-1}=q^2u$, $ZvZ^{-1}=q^{-2}v$, $uv=P\big(q^{-1}Z\big)$, $vu=P(qZ)$, where $P$ is a Laurent polynomial. A Hermitian form $(\cdot,\cdot)$ on ${\mathcal A}$ is called invariant if $(Za,b)=\big(a,bZ^{-1}\big)$, $(ua,b)=(a,sbv)$, $(va,b)=\big(a,s^{-1}bu\big)$ for some $s\in {\mathbb C}$ with $|s|=1$ and all $a,b\in {\mathcal A}$. In this paper we classify positive definite invariant Hermitian forms on generalized $q$-Weyl algebras.


title: Recent Standard Development Activities on Video Coding for Machines

abstract: In recent years, video data has dominated internet traffic and becomes one of the major data formats. With the emerging 5G and internet of things (IoT) technologies, more and more videos are generated by edge devices, sent across networks, and consumed by machines. The volume of video consumed by machine is exceeding the volume of video consumed by humans. Machine vision tasks include object detection, segmentation, tracking, and other machine-based applications, which are quite different from those for human consumption. On the other hand, due to large volumes of video data, it is essential to compress video before transmission. Thus, efficient video coding for machines (VCM) has become an important topic in academia and industry. In July 2019, the international standardization organization, i.e., MPEG, created an Ad-Hoc group named VCM to study the requirements for potential standardization work. In this paper, we will address the recent development activities in the MPEG VCM group. Specifically, we will first provide an overview of the MPEG VCM group including use cases, requirements, processing pipelines, plan for potential VCM standards, followed by the evaluation framework including machine-vision tasks, dataset, evaluation metrics, and anchor generation. We then introduce technology solutions proposed so far and discuss the recent responses to the Call for Evidence issued by MPEG VCM group.


title: Business Suitability Principles for Workflow Modelling

abstract: By incorporating aspects of coordination and collaboration, workflow implementations of information systems require a sound conceptualisation of \EM{business processing} semantics. Traditionally, the success of conceptual modelling techniques has depended largely on the adequacy of conceptualisation, expressive power, comprehensibility and formal foundation. An equally important requirement, particularly with the increased conceptualisation of business aspects, is \EM{business suitability}. In this paper, the focus is on the business suitability of workflow modelling for a commonly encountered class of (operational) business processing, e.g. those of insurance claims, bank loans and land conveyancing. A general assessment is first conducted on some \EM{integrated} techniques characterising well-known paradigms - structured process modelling, object-oriented modelling, behavioural process modelling and business-oriented modelling. Through this, an insight into business suitability within the broader perspective of technique adequacy, is gained. A specific business suitability diagnosis then follows using a particular characterisation of business processing, i.e.\ one where the intuitive semantics and inter-relationship of business services and business processes are nuanced. As a result, five business suitability principles are elicited. These are proposed for a more detailed understanding and (synthetic) development of workflow modelling techniques. Accordingly, further insight into workflow specification languages and workflow globalisation in open distributed architectures may also be gained.


title: CodeNet: A Large-Scale AI for Code Dataset for Learning a Diversity of Coding Tasks

abstract: Over the last several decades, software has been woven into the fabric of every aspect of our society. As software development surges and code infrastructure of enterprise applications ages, it is now more critical than ever to increase software development productivity and modernize legacy applications. Advances in deep learning and machine learning algorithms have enabled numerous breakthroughs, motivating researchers to leverage AI techniques to improve software development efficiency. Thus, the fast-emerging research area of AI for Code has garnered new interest and gathered momentum. In this paper, we present a large-scale dataset CodeNet, consisting of over 14 million code samples and about 500 million lines of code in 55 different programming languages, which is aimed at teaching AI to code. In addition to its large scale, CodeNet has a rich set of high-quality annotations to benchmark and help accelerate research in AI techniques for a variety of critical coding tasks, including code similarity and classification, code translation between a large variety of programming languages, and code performance (runtime and memory) improvement techniques. Additionally, CodeNet provides sample input and output test sets for 98.5% of the code samples, which can be used as an oracle for determining code correctness and potentially guide reinforcement learning for code quality improvements. As a usability feature, we provide several pre-processing tools in CodeNet to transform source code into representations that can be readily used as inputs into machine learning models. Results of code classification and code similarity experiments using the CodeNet dataset are provided as a reference. We hope that the scale, diversity and rich, high-quality annotations of CodeNet will offer unprecedented research opportunities at the intersection of AI and Software Engineering.


title: Crystal-field excitations and vibronic modes in triangular-lattice spin-liquid candidate TbInO$_3$

abstract: We study the ground state properties, the electronic excitations and lattice dynamics in spin-liquid candidate TbInO$_3$. By employing polarization resolved Raman spectroscopy we define the inter- and intra-multiplet excitations, and establish the low-energy crystal-field (CF) level scheme. In particular, we demonstrate that the ground state of the Tb$^{3+}$ ions is a non-Kramers doublet, and relate the enhanced linewidth of the CF modes to the magnetic fluctuations near the spin-liquid ground state. We identify all 38 allowed Raman-active phonon modes at low temperature. Moreover, we observe hybrid vibronic excitations involving coupled CF and low-lying phonon modes, suggesting strong spin-lattice dynamics. We develop a model for vibronic states and obtain the parameters of the bare responses and coupling strength. We further demonstrate that the obtained CF level scheme is consistent with specific heat data.


title: Optimal State Choice for Rydberg Atom Microwave Sensors

abstract: Rydberg electromagnetically induced transparency (EIT) enables realization of atom-based SI-traceable microwave (MW) sensing, imaging and communication devices by exploiting the strong microwave electric dipole coupling of highly excited Rydberg states. Essential to the development of robust devices is a careful characterization of sensor performance and systematic uncertainties. In this work we present a comparison of microwave-induced EIT splitting in a cesium atomic vapor for four possible Rydberg couplings $65S_{1/2}\rightarrow 65P_{1/2}$, $66S_{1/2}\rightarrow 66P_{3/2}$, $79D_{5/2}\rightarrow 81P_{3/2}$ and $62D_{5/2}\rightarrow 60F_{7/2}$ at microwave transition frequencies around 13 GHz. Our work highlights the impact of multi-photon couplings to neighboring Rydberg states in breaking both the symmetry and linearity of the observed splitting, with excellent agreement between experimental observations and a theoretical model accounting for multi-photon couplings. We identify an optimal angular state choice for robust microwave measurements, as well as demonstrating a new regime in which microwave polarization can be measured.


title: Cross-sections for the ${^{27}\!\rm{al}}(\gamma,\textit{x})^{22}\rm{na}$ multichannel reaction with the 28.3 mev difference of the reaction thresholds

abstract: The bremsstrahlung flux-averaged cross-sections $\langle{\sigma(E_{\rm{\gamma max}})}\rangle$ and the cross-sections per equivalent photon $\langle{\sigma(E_{\rm{\gamma max}})_{\rm{Q}}}\rangle$ were first measured for the photonuclear multichannel reaction ${^{27}\!\rm{Al}}(\gamma,\textit{x})^{22}\rm{Na}$ at end-point bremsstrahlung gamma energies ranging from 35 MeV to 95 MeV. The experiments were performed with the beam from the NSC KIPT electron linear accelerator LUE-40 with the use of the $\gamma$-activation technique. The bremsstrahlung quantum flux was calculated with the program GEANT4.9.2 and, in addition, was monitored by means of the $^{100}\rm{Mo}(\gamma,n)^{99}\rm{Mo}$ reaction. The flux-averaged cross-sections were calculated using the partial cross-section $\sigma(E)$ values computed with the TALYS1.95 code for different level density models. Consideration is given to special features of calculating the cross-sections $\langle{\sigma(E_{\rm{\gamma max}})}\rangle$ and $\langle{\sigma(E_{\rm{\gamma max}})_{\rm{Q}}}\rangle$ for the case of the final nucleus $^{22}\rm{Na}$ production in the $^{27}\!\rm{Al}$ photodisintegration reaction via several partial channels $\textit{x}$: $\rm{n}\alpha + dt + npt + 2n{^{3}\rm{He}} + n2d + 2npd + 2p3n$.


title: It is rotating leaders who build the swarm: social network determinants of growth for healthcare virtual communities of practice

abstract: Purpose: The purpose of this paper is to identify the factors influencing the growth of healthcare virtual communities of practice (VCoPs) through a seven-year longitudinal study conducted using metrics from social-network and semantic analysis. By studying online communication along the three dimensions of social interactions (connectivity, interactivity and language use), the authors aim to provide VCoP managers with valuable insights to improve the success of their communities. Design/methodology/approach: Communications over a period of seven years (April 2008 to April 2015) and between 14,000 members of 16 different healthcare VCoPs coexisting on the same web platform were analysed. Multilevel regression models were used to reveal the main determinants of community growth over time. Independent variables were derived from social network and semantic analysis measures. Findings: Results show that structural and content-based variables predict the growth of the community. Progressively, more people will join a community if its structure is more centralised, leaders are more dynamic (they rotate more) and the language used in the posts is less complex. Research limitations/implications: The available data set included one Web platform and a limited number of control variables. To consolidate the findings of the present study, the experiment should be replicated on other healthcare VCoPs. Originality/value: The study provides useful recommendations for setting up and nurturing the growth of professional communities, considering, at the same time, the interaction patterns among the community members, the dynamic evolution of these interactions and the use of language. New analytical tools are presented, together with the use of innovative interaction metrics, that can significantly influence community growth, such as rotating leadership.


title: Disentangled Face Attribute Editing via Instance-Aware Latent Space Search

abstract: Recent works have shown that a rich set of semantic directions exist in the latent space of Generative Adversarial Networks (GANs), which enables various facial attribute editing applications. However, existing methods may suffer poor attribute variation disentanglement, leading to unwanted change of other attributes when altering the desired one. The semantic directions used by existing methods are at attribute level, which are difficult to model complex attribute correlations, especially in the presence of attribute distribution bias in GAN's training set. In this paper, we propose a novel framework (IALS) that performs Instance-Aware Latent-Space Search to find semantic directions for disentangled attribute editing. The instance information is injected by leveraging the supervision from a set of attribute classifiers evaluated on the input images. We further propose a Disentanglement-Transformation (DT) metric to quantify the attribute transformation and disentanglement efficacy and find the optimal control factor between attribute-level and instance-specific directions based on it. Experimental results on both GAN-generated and real-world images collectively show that our method outperforms state-of-the-art methods proposed recently by a wide margin. Code is available at https://github.com/yxuhan/IALS.


title: Detecting Biological Locomotion in Video: A Computational Approach

abstract: Animals locomote for various reasons: to search for food, find suitable habitat, pursue prey, escape from predators, or seek a mate. The grand scale of biodiversity contributes to the great locomotory design and mode diversity. Various creatures make use of legs, wings, fins and other means to move through the world. In this report, we refer to the locomotion of general biological species as biolocomotion. We present a computational approach to detect biolocomotion in unprocessed video. Significantly, the motion exhibited by the body parts of a biological entity to navigate through an environment can be modeled by a combination of an overall positional advance with an overlaid asymmetric oscillatory pattern, a distinctive signature that tends to be absent in non-biological objects in locomotion. We exploit this key trait of positional advance with asymmetric oscillation along with differences in an object's common motion (extrinsic motion) and localized motion of its parts (intrinsic motion) to detect biolocomotion. An algorithm is developed to measure the presence of these traits in tracked objects to determine if they correspond to a biological entity in locomotion. An alternative algorithm, based on generic features combined with learning is assembled out of components from allied areas of investigation, also is presented as a basis of comparison. A novel biolocomotion dataset encompassing a wide range of moving biological and non-biological objects in natural settings is provided. Also, biolocomotion annotations to an extant camouflage animals dataset are provided. Quantitative results indicate that the proposed algorithm considerably outperforms the alternative approach, supporting the hypothesis that biolocomotion can be detected reliably based on its distinct signature of positional advance with asymmetric oscillation and extrinsic/intrinsic motion dissimilarity.


title: Capillary surfaces: stability, index and curvature estimates

abstract: In this paper we investigate the connection between the index and the geometry and topology of capillary surfaces. We prove an index estimate for compact capillary surfaces immersed in general 3-manifolds with boundary. We also study noncompact capillary surfaces with finite index and show that, under suitable curvature assumptions, such surface is conformally equivalent to a compact Riemann surface with boundary, punctured at finitely many points. We then prove that a weakly stable capillary surface immersed in a half-space of $\mathbb{R}^3$ which is minimal or has a contact angle less than or equal to $\pi/2$ must be a half-plane. Using this uniqueness result we obtain curvature estimates for strongly stable capillary surfaces immersed in a 3-manifold with bounded geometry.


title: Towards Million-Server Network Simulations on Just a Laptop

abstract: The growing size of data center and HPC networks pose unprecedented requirements on the scalability of simulation infrastructure. The ability to simulate such large-scale interconnects on a simple PC would facilitate research efforts. Unfortunately, as we first show in this work, existing shared-memory packet-level simulators do not scale to the sizes of the largest networks considered today. We then illustrate a feasibility analysis and a set of enhancements that enable a simple packet-level htsim simulator to scale to the unprecedented simulation sizes on a single PC. Our code is available online and can be used to design novel schemes in the coming era of omnipresent data centers and HPC clusters.


title: Low-dimensional reciprocal matrices with elliptical components of their Kippenhahn curves

abstract: By definition, reciprocal matrices are tridiagonal $n$-by-$n$ matrices $A$ with constant main diagonal and such that $a_{i,i+1}a_{i+1,i}=1$ for $i=1,\ldots,n-1$. For $n\leq 6$, we establish criteria under which the numerical range generating curves (also called Kippenhahn curves) of such matrices consist of elliptical components only. As a corollary, we also provide a complete description of higher-rank numerical ranges when the criteria are met.


title: Gaussian Process Regression for foreground removal in HI intensity mapping experiments

abstract: We apply for the first time Gaussian Process Regression (GPR) as a foreground removal technique in the context of single-dish, low redshift HI intensity mapping, and present an open-source Python toolkit for doing so. We use MeerKAT and SKA1-MID-like simulations of 21cm foregrounds (including polarisation leakage), HI cosmological signal and instrumental noise. We find that it is possible to use GPR as a foreground removal technique in this context, and that it is better suited in some cases to recover the HI power spectrum than Principal Component Analysis (PCA), especially on small scales. GPR is especially good at recovering the radial power spectrum, outperforming PCA when considering the full bandwidth of our data. Both methods are worse at recovering the transverse power spectrum, since they rely on frequency-only covariance information. When halving our data along frequency, we find that GPR performs better in the low frequency range, where foregrounds are brighter. It performs worse than PCA when frequency channels are missing, to emulate RFI flagging. We conclude that GPR is an excellent foreground removal option for the case of single-dish, low redshift HI intensity mapping in the absence of missing frequency channels. Our Python toolkit gpr4im and the data used in this analysis are publicly available on GitHub.


title: Raster Thomson scattering in large-scale laser plasmas produced at high repetition rate

abstract: We present optical Thomson scattering measurements of electron density and temperature in a large-scale (~2 cm) exploding laser plasma produced by irradiating a solid target with a high energy (5-10 J) laser pulse at high repetition rate (1 Hz). The Thomson scattering diagnostic matches this high repetition rate. Unlike previous work performed in single shots at much higher energies, the instrument allows point measurements anywhere inside the plasma by automatically translating the scattering volume using motorized stages as the experiment is repeated at 1 Hz. Measured densities around 4$\times 10^{16}$ cm$^{-3}$ and temperatures around 7 eV result in a scattering parameter near unity, depending on the distance from the target. The measured spectra show the transition from collective scattering close to the target to non-collective scattering at larger distances. Densities obtained by fitting the weakly collective spectra agree to within 10% with an irradiance calibration performed via Raman scattering in nitrogen.


title: Prosodic segmentation for parsing spoken dialogue

abstract: Parsing spoken dialogue poses unique difficulties, including disfluencies and unmarked boundaries between sentence-like units. Previous work has shown that prosody can help with parsing disfluent speech (Tran et al. 2018), but has assumed that the input to the parser is already segmented into sentence-like units (SUs), which isn't true in existing speech applications. We investigate how prosody affects a parser that receives an entire dialogue turn as input (a turn-based model), instead of gold standard pre-segmented SUs (an SU-based model). In experiments on the English Switchboard corpus, we find that when using transcripts alone, the turn-based model has trouble segmenting SUs, leading to worse parse performance than the SU-based model. However, prosody can effectively replace gold standard SU boundaries: with prosody, the turn-based model performs as well as the SU-based model (90.79 vs. 90.65 F1 score, respectively), despite performing two tasks (SU segmentation and parsing) rather than one (parsing alone). Analysis shows that pitch and intensity features are the most important for this corpus, since they allow the model to correctly distinguish an SU boundary from a speech disfluency -- a distinction that the model otherwise struggles to make.


title: Unleashing the full power of LHCb to probe Stealth New Physics

abstract: In this paper, we describe the potential of the LHCb experiment to detect Stealth physics. This refers to dynamics beyond the Standard Model that would elude searches that focus on energetic objects or precision measurements of known processes. Stealth signatures include long-lived particles and light resonances that are produced very rarely or together with overwhelming backgrounds. We will discuss why LHCb is equipped to discover this kind of physics at the Large Hadron Collider and provide examples of well-motivated theoretical models that can be probed with great detail at the experiment.


title: The automorphisms group and the classification of gradings of finite dimensional associative algebras

abstract: Let $A$ be an $n$-dimensional algebra over a field $k$ and $a(A)$ its quantum symmetry semigroup. We prove that the automorphisms group ${\rm Aut}_{\rm Alg} (A)$ of $A$ is isomorphic to the group $U \bigl( G(a (A)^{\rm o} ) \bigl)$ of all invertible group-like elements of the finite dual $a (A)^{\rm o}$. For a group $G$, all $G$-gradings on $A$ are explicitly described and classified: the set of isomorphisms classes of all $G$-gradings on $A$ is in bijection with the quotient set $ {\rm Hom}_{\rm BiAlg} \, \bigl( a (A) , \, k[G] \bigl)/\approx$ of all bialgebra maps $a (A) \, \to k[G]$, via the equivalence relation implemented by the conjugation with an invertible group-like element of $a (A)^{\rm o}$.


title: Quantum supertwistors

abstract: In this paper we give an explicit expression for a star product on the super Minkowski space written in the supertwistor formalism. The big cell of the super Grassmannian Gr(2|0, 4|1) is identified with the chiral, super Minkowki space. The super Grassmannian is an homogeneous space under the action of the complexification SL(4|1) of SU(2,2|1), the superconformal group in dimension 4, signature (1,3) and supersymmetry N=1. The quantization is done by substituting the groups and homogeneous spaces by their quantum deformed counterparts. The calculations are done in Manin's formalism. When we restrict to the big cell we can compute explicitly an expression for the super star product in the Minkowski superspace associated to this deformation and the choice of a certain basis of monomials.


title: Constructing Pseudo-involutions in the Riordan Group

abstract: Riordan arrays, denoted by pairs of generating functions (g(z), f(z)), are infinite lower-triangular matrices that are used as combinatorial tools. In this paper, we present Riordan and stochastic Riordan arrays that have connections to the Fibonacci and modified Lucas numbers. Then, we present some pseudo-involutions in the Riordan group that are based on constructions starting with a certain generating function g(z). We also present a theorem that shows how to construct pseudo-involutions in the Riordan group starting with a certain generating function f(z) whose additive inverse has compositional order 2. The theorem is then used to construct more pseudo-involutions in the Riordan group where some arrays have connections to the Fibonacci and modified Lucas numbers. A MATLAB algorithm for constructing the pseudo-involutions is also given.


title: Nonlinear effects in the excited states of many-fermion Einstein-Dirac solitons

abstract: We present an analysis of excited-state solutions for a gravitationally localized system consisting of a filled shell of high-angular-momentum fermions, using the Einstein-Dirac formalism introduced by Finster, Smoller, and Yau [Phys. Rev. D 59, 104020 (1999)]. We show that, even when the particle number is relatively low ($N_f\ge 6$), the increased nonlinearity in the system causes a significant deviation in behavior from the two-fermion case. Excited-state solutions can no longer be uniquely identified by the value of their central redshift, with this multiplicity producing distortions in the characteristic spiraling forms of the mass-radius relations. We discuss the connection between this effect and the internal structure of solutions in the relativistic regime.


title: Active Frequency Measurement on Superradiant Strontium Clock Transitions

abstract: We develop a stochastic mean-field theory to describe active frequency measurements of pulsed superradiant emission, studied in recent experiments with strontium-87 atoms trapped in an optical lattice inside an optical cavity [M. Norcia, et al., Phys. Rev. X 8, 21036 (2018)]. Our theory reveals the intriguing dynamics of atomic ensembles with multiple transition frequencies, and it reproduces the superradiant beats signal, noisy power spectra, and frequency uncertainty in remarkable agreement with the experiments. Moreover, by reducing the number of atoms, elongating the superradiant pulses and shortening the experimental duty cycle, we predict a short-term frequency uncertainty $9\times10^{-16} \sqrt{\tau/s}$, which makes active frequency measurements with superradiant transitions comparable with the record performance of current frequency standards [M. Schioppo, et al., Nat. Photonics, 11, 48 (2017)]. Our theory combines cavity-quantum electrodynamics and quantum measurement theory, and it can be readily applied to explore conditional quantum dynamics and describe frequency measurements for other processes such as steady-state superradiance and superradiant Raman lasing.


title: Measuring information exchange and brokerage capacity of healthcare teams

abstract: Purpose: The purpose of this paper is to explore possible factors impacting team performance in healthcare, by focusing on information exchange within and across hospital's boundaries. Design/methodology/approach: Through a web-survey and group interviews, the authors collected data on the communication networks of 31 members of four interdisciplinary healthcare teams involved in a system redesign initiative within a large US children's hospital. The authors mapped their internal and external social networks based on management advice, technical support and knowledge dissemination within and across departments, studying interaction patterns that involved more than 700 actors. The authors then compared team performance and social network metrics such as degree, closeness and betweenness centrality, and computed cross ties and constraint levels for each team. Findings: The results indicate that highly effective teams were more inwardly focused and less connected to outside members. Moreover, highly recognized teams communicated frequently but, overall, less intensely than the others. Originality/value: Mapping knowledge flows and balancing internal focus and outward connectivity of interdisciplinary teams may help healthcare decision makers in their attempt to achieve high value for patients, families and employees.


title: An Immuno-epidemiological Model Linking Between-host and Within-host Dynamics of Cholera

abstract: Cholera, a severe gastrointestinal infection caused by the bacterium Vibrio cholerae, remains a major threat to public health with a yearly estimated global burden of 2.9 million cases. Although the majority of existing models for the disease focus on its population dynamics, it's important to link the multiple scales of the disease to gain better perspectives on its spread and control. In this study, we formulate an immuno-epidemiological model for cholera linking the between-host and within-host dynamics of the disease. The within-host model utilizes time-scale methods to differentiate the pathogen dynamics from the dynamics of the immune response. Bifurcation analysis of the within-host system reveals the necessary conditions for the existence of both the Hopf and saddle-node bifurcations. Contrary to other within-host models, the current approach allows for the elimination of the pathogen after a finite time. The epidemic model takes into account the direct human-to-human transmission route of the infection as well as the transmission via the environment. It is represented by a dynamical system structured on the immune status, which is a function derived from the within-host immune response. The basic reproduction number is derived and the stability of equilibrium points analysed. Analysis of the endemic equilibrium reveals additional constraints that lead to its stability. Without loss of immunity, the endemic equilibrium, if it exists, is globally asymptotically stable.


title: Low-Precision Hardware Architectures Meet Recommendation Model Inference at Scale

abstract: Tremendous success of machine learning (ML) and the unabated growth in ML model complexity motivated many ML-specific designs in both CPU and accelerator architectures to speed up the model inference. While these architectures are diverse, highly optimized low-precision arithmetic is a component shared by most. Impressive compute throughputs are indeed often exhibited by these architectures on benchmark ML models. Nevertheless, production models such as recommendation systems important to Facebook's personalization services are demanding and complex: These systems must serve billions of users per month responsively with low latency while maintaining high prediction accuracy, notwithstanding computations with many tens of billions parameters per inference. Do these low-precision architectures work well with our production recommendation systems? They do. But not without significant effort. We share in this paper our search strategies to adapt reference recommendation models to low-precision hardware, our optimization of low-precision compute kernels, and the design and development of tool chain so as to maintain our models' accuracy throughout their lifespan during which topic trends and users' interests inevitably evolve. Practicing these low-precision technologies helped us save datacenter capacities while deploying models with up to 5X complexity that would otherwise not be deployed on traditional general-purpose CPUs. We believe these lessons from the trenches promote better co-design between hardware architecture and software engineering and advance the state of the art of ML in industry.


title: Construction of Boltzmann and McKean Vlasov type flows (the sewing lemma approach)

abstract: We are concerned with a mixture of Boltzmann and McKean-Vlasov type equations, this means (in probabilistic terms) equations with coefficients depending on the law of the solution itself,and driven by a Poisson point measure with the intensity depending also on the law of the solution. Both the analytical Boltzmann equation and the probabilistic interpretation initiated by Tanaka (1978) have intensively been discussed in the literature for specific models related to the behavior of gas molecules. In this paper, we consider general abstract coefficients that may include mean field effects and then we discuss the link with specific models as well. In contrast with the usual approach in which integral equations are used in order to state the problem, we employ here a new formulation of the problem in terms of flows of endomorphisms on the space of probability measure endowed with the Wasserstein distance. This point of view already appeared in the framework of rough differential equations. Our results concern existence and uniqueness of the solution, in the formulation of flows, but we also prove that the "flow solution" is a solution of the classical integral weak equation and admits a probabilistic interpretation. Moreover, we obtain stability results and regularity with respect to the time for such solutions. Finally we prove the convergence of empirical measures based on particle systems to the solution of our problem, and we obtain the rate of convergence. We discuss as examples the homogeneous and the inhomogeneous Boltzmann (Enskog) equation with hard potentials.


title: A Flexible FPGA-Based ISA Configurable SoC platform

abstract: We proposes a platform which can generate hardware/software description based on flexible in-struction set architectures (ISAs). The platform takes advantage of the flexibility of field pro-grammable gate array (FPGA) to design many micro control units (MCUs) based on different ISAs. The platform can generate many ISAs, MCUs, and Assemblers according to a pre-defined ISA and user applications. Although the MCU performance is not optimized, the FPGA shows a great potential on resource reduction and enough performance at very low system clock rate. The flexible ISA has shown great importance for the design targeted to specific purpose. We also show a case study of the proposed flexible ISA-based FPGA-MCU. It can control many specifi-cally designed hardware IPs and a customized multi-task OS with tasks. Not only the case works correctly, but also the proposed FPGA-MCU of the case is flexible with reduced FPGA resources, low cost, and within time constraints.


title: A geometric approach to some systems of exponential equations

abstract: Zilber's Exponential Algebraic Closedness conjecture (also known as Zilber's Nullstellensatz) gives conditions under which a complex algebraic variety should intersect the graph of the exponential map of a semiabelian variety. We prove the special case of the conjecture where the variety has dominant projection to the domain of the exponential map, for abelian varieties and for algebraic tori. Furthermore, in the situation where the intersection is 0-dimensional, we exhibit structure in the intersection by parametrizing the sufficiently large points as the images of the period lattice under a (multivalued) analytic map. Our approach is complex geometric, in contrast to a real analytic proof given by Brownawell and Masser just for the case of algebraic tori.


title: Surface Growth in Deformable Solids using an Eulerian Formulation

abstract: Growth occurs in a wide range of systems ranging from biological tissue to additive manufacturing. This work considers surface growth, in which mass is added to the boundary of a continuum body from the ambient medium or from within the body. In contrast to bulk growth in the interior, the description of surface growth requires the addition of new continuum particles to the body. This is challenging for standard continuum formulations for solids that are meant for situations with a fixed amount of material. Recent approaches to handle this have used time-evolving reference configurations. In this work, an Eulerian approach to this problem is formulated, enabling the side-stepping of the issue of constructing the reference configuration. However, this raises the complementary challenge of determining the stress response of the solid, which typically requires the deformation gradient that is not immediately available in the Eulerian formulation. To resolve this, the approach introduces additional kinematic descriptors, namely the relaxed zero-stress deformation and the elastic deformation; in contrast to the deformation gradient, these have the important advantage that they are not required to satisfy kinematic compatibility. The resulting model has only the density, velocity, and elastic deformation as variables in the Eulerian setting. The introduction in this formulation of the relaxed deformation and the elastic deformation provides a description of surface growth whereby the added material can bring in its own kinematic information. Loosely, the added material "brings in its own reference configuration" through the specification of the relaxed deformation and the elastic deformation of the added material. This kinematic description enables, e.g., modeling of non-normal growth using a standard normal growth velocity and a simple approach to prescribing boundary conditions.


title: On the linearization of infinite-dimensional random dynamical systems

abstract: We present a new version of the Grobman-Hartman's linearization theorem for random dynamics. Our result holds for infinite dimensional systems whose linear part is not necessarily invertible. In addition, by adding some restrictions on the non-linear perturbations, we don't require for the linear part to be nonuniformly hyperbolic in the sense of Pesin but rather (besides requiring the existence of stable and unstable directions) allow for the existence of a third (central) direction on which we don't prescribe any behaviour for the dynamics. Moreover, under some additional nonuniform growth condition, we prove that the conjugacies given by the linearization procedure are H\"older continuous when restricted to bounded subsets of the space.


title: Zero-shot Medical Entity Retrieval without Annotation: Learning From Rich Knowledge Graph Semantics

abstract: Medical entity retrieval is an integral component for understanding and communicating information across various health systems. Current approaches tend to work well on specific medical domains but generalize poorly to unseen sub-specialties. This is of increasing concern under a public health crisis as new medical conditions and drug treatments come to light frequently. Zero-shot retrieval is challenging due to the high degree of ambiguity and variability in medical corpora, making it difficult to build an accurate similarity measure between mentions and concepts. Medical knowledge graphs (KG), however, contain rich semantics including large numbers of synonyms as well as its curated graphical structures. To take advantage of this valuable information, we propose a suite of learning tasks designed for training efficient zero-shot entity retrieval models. Without requiring any human annotation, our knowledge graph enriched architecture significantly outperforms common zero-shot benchmarks including BM25 and Clinical BERT with 7% to 30% higher recall across multiple major medical ontologies, such as UMLS, SNOMED, and ICD-10.


title: High-order close evaluation of Laplace layer potentials: A differential geometric approach

abstract: This paper presents a new approach for solving the close evaluation problem in three dimensions, commonly encountered while solving linear elliptic partial differential equations via potential theory. The goal is to evaluate layer potentials close to the boundary over which they are defined. The approach introduced here converts these nearly-singular integrals on a patch of the boundary to a set of non-singular line integrals on the patch boundary using the Stokes theorem on manifolds. A function approximation scheme based on harmonic polynomials is designed to express the integrand in a form that is suitable for applying the Stokes theorem. As long as the data -- the boundary and the density function -- is given in a high-order format, the double-layer potential and its derivatives can be evaluated with high-order accuracy using this scheme both on and off the boundary. In particular, we present numerical results demonstrating seventh-order convergence on a smooth, warped torus example achieving 10-digit accuracy in evaluating double layer potential at targets that are arbitrarily close to the boundary.


title: Low Resolution Information Also Matters: Learning Multi-Resolution Representations for Person Re-Identification

abstract: As a prevailing task in video surveillance and forensics field, person re-identification (re-ID) aims to match person images captured from non-overlapped cameras. In unconstrained scenarios, person images often suffer from the resolution mismatch problem, i.e., \emph{Cross-Resolution Person Re-ID}. To overcome this problem, most existing methods restore low resolution (LR) images to high resolution (HR) by super-resolution (SR). However, they only focus on the HR feature extraction and ignore the valid information from original LR images. In this work, we explore the influence of resolutions on feature extraction and develop a novel method for cross-resolution person re-ID called \emph{\textbf{M}ulti-Resolution \textbf{R}epresentations \textbf{J}oint \textbf{L}earning} (\textbf{MRJL}). Our method consists of a Resolution Reconstruction Network (RRN) and a Dual Feature Fusion Network (DFFN). The RRN uses an input image to construct a HR version and a LR version with an encoder and two decoders, while the DFFN adopts a dual-branch structure to generate person representations from multi-resolution images. Comprehensive experiments on five benchmarks verify the superiority of the proposed MRJL over the relevent state-of-the-art methods.


title: Improved Quantum Codes from Metacirculant Graphs via Self-Dual Additive $\mathbb{F}_4$-Codes

abstract: We use symplectic self-dual additive codes over $\mathbb{F}_4$ obtained from metacirculant graphs to construct, for the first time, $[[\ell, 0, d ]]$ qubit codes with parameters $(\ell,d) \in \{(78, 20), (90, 21), (91, 22), (93,21),(96,21)\}$. Secondary constructions applied to the qubit codes result in many qubit codes that perform better than the previous best-known.


title: Dynamic Probabilistic Pruning: A general framework for hardware-constrained pruning at different granularities

abstract: Unstructured neural network pruning algorithms have achieved impressive compression rates. However, the resulting - typically irregular - sparse matrices hamper efficient hardware implementations, leading to additional memory usage and complex control logic that diminishes the benefits of unstructured pruning. This has spurred structured coarse-grained pruning solutions that prune entire filters or even layers, enabling efficient implementation at the expense of reduced flexibility. Here we propose a flexible new pruning mechanism that facilitates pruning at different granularities (weights, kernels, filters/feature maps), while retaining efficient memory organization (e.g. pruning exactly k-out-of-n weights for every output neuron, or pruning exactly k-out-of-n kernels for every feature map). We refer to this algorithm as Dynamic Probabilistic Pruning (DPP). DPP leverages the Gumbel-softmax relaxation for differentiable k-out-of-n sampling, facilitating end-to-end optimization. We show that DPP achieves competitive compression rates and classification accuracy when pruning common deep learning models trained on different benchmark datasets for image classification. Relevantly, the non-magnitude-based nature of DPP allows for joint optimization of pruning and weight quantization in order to even further compress the network, which we show as well. Finally, we propose novel information theoretic metrics that show the confidence and pruning diversity of pruning masks within a layer.


title: Orbital precession of the S2 star in Scalar-Tensor-Vector-Gravity

abstract: We have obtained the first constraint of the parameter space of Scalar-Tensor-Vector-Gravity using the motion of the S2-star around the supermassive black hole at the centre of the Milky Way, and we did not find any serious tension with General Relativity. We used the Schwarzschild-like metric of Scalar-Tensor-Vector-Gravity to predict the orbital motion of S2-star, and to compare it with the publicly available astrometric data, which include 145 measurements of the positions, 44 measurements of the radial velocities of S2-star along its orbit, and the recent measurement of the orbital precession. We employed a Monte Carlo Markov Chain algorithm to explore the parameter space, and constrained the only one additional parameter of Scalar-Tensor-Vector-Gravity to $\alpha \lesssim 0.410$ at 99,7$\%$ confidence level, where $\alpha=0$ reduces this modified theory of gravity to General Relativity.


title: Topological moduli space for germs of holomorphic foliations II: Universal deformations

abstract: This work deals with the topological classification of singular foliation germs on $(\mathbb C^{2},0)$. Working in a suitable class of foliations we fix the topological invariants given by the separatrix set, the Camacho-Sad indices and the projective holonomy representations and we prove the existence of a topological universal deformation through which every equisingular deformation uniquely factorizes up to topological conjugacy. This is done by representing the functor of topological classes of equisingular deformations of a fixed foliation. We also describe the functorial dependence of this representation with respect to the foliation.


title: One-loop constituent quark contributions to the vector and axial-vector meson curvature mass

abstract: The renormalized contribution of fermions to the curvature masses of vector and axial-vector mesons is derived with two different methods at leading order in the loop expansion applied to the (2+1)-flavor constituent quark-meson model. The corresponding contribution to the curvature masses of the scalar and pseudoscalar mesons, already known in the literature, is rederived in a transparent way. The temperature dependence of the curvature mass of various (axial-)vector modes obtained by decomposing the curvature mass tensor is investigated along with the (axial-)vector--(pseudo)scalar mixing. All fermionic corrections are expressed as simple integrals that involve at finite temperature only the Fermi-Dirac distribution function modified by the Polyakov-loop degrees of freedom. The renormalization of the (axial-)vector curvature mass allows us to lift a redundancy in the original Lagrangian of the globally symmetric extended linear sigma model, in which terms already generated by the covariant derivative were reincluded with different coupling constants.


title: Dynamics of Quantum Hall Interfaces

abstract: A quantum Hall (QH) interface is different from an ordinary QH edge, as the latter has its location determined by the confining potential, while the former can be unpinned and behave like a free string. In this paper, we demonstrate this difference by studying three different interfaces formed by (i) the Laughlin state and the vacuum, (ii) the Pfaffian state and the vacuum, and (iii) the Pfaffian and the anti-Pfaffian states. We find that string-like interfaces propagating freely in the QH system lead to very different dynamical properties from edges. This qualitative difference gives rise to fascinating new physics and suggests a new direction in future research on QH physics. We also discuss briefly possible analogies between QH interfaces and concepts in string theory.


title: On the Advantages of Multiple Stereo Vision Camera Designs for Autonomous Drone Navigation

abstract: In this work we showcase the design and assessment of the performance of a multi-camera UAV, when coupled with state-of-the-art planning and mapping algorithms for autonomous navigation. The system leverages state-of-the-art receding horizon exploration techniques for Next-Best-View (NBV) planning with 3D and semantic information, provided by a reconfigurable multi stereo camera system. We employ our approaches in an autonomous drone-based inspection task and evaluate them in an autonomous exploration and mapping scenario. We discuss the advantages and limitations of using multi stereo camera flying systems, and the trade-off between number of cameras and mapping performance.


title: Do gamma-ray burst measurements provide a useful test of cosmological models?

abstract: We study eight different gamma-ray burst (GRB) data sets to examine whether current GRB measurements -- that probe a largely unexplored part of cosmological redshift ($z$) space -- can be used to reliably constrain cosmological model parameters. We use three Amati-correlation samples and five Combo-correlation samples to simultaneously derive correlation and cosmological model parameter constraints. The intrinsic dispersion of each GRB data set is taken as a goodness measurement. We examine the consistency between the cosmological bounds from GRBs with those determined from better-established cosmological probes, such as baryonic acoustic oscillation (BAO) and Hubble parameter $H(z)$ measurements. We use the Markov chain Monte Carlo method implemented in \textsc{MontePython} to find best-fit correlation and cosmological parameters, in six different cosmological models, for the eight GRB samples, alone or in conjunction with BAO and $H(z)$ data. For the Amati correlation case, we compile a data set of 118 bursts, the A118 sample, which is the largest -- about half of the total Amati-correlation GRBs -- current collection of GRBs suitable for constraining cosmological parameters. This updated GRB compilation has the smallest intrinsic dispersion of the three Amati-correlation GRB data sets we examined. We are unable to define a collection of reliable bursts for current Combo-correlation GRB data. Cosmological constraints determined from the A118 sample are consistent with -- but significantly weaker than -- those from BAO and $H(z)$ data. They also are consistent with the spatially-flat $\Lambda$CDM model as well as with dynamical dark energy models and non-spatially-flat models. Since GRBs probe a largely unexplored region of $z$, it is well worth acquiring more and better-quality burst data which will give a more definitive answer to the question of the title.


title: Reconfigurable Architecture for Spatial Sensing in Wideband Radio Front-End

abstract: The deployment of cellular spectrum in licensed, shared and unlicensed spectrum demands wideband sensing over non-contiguous sub-6 GHz spectrum. To improve the spectrum and energy efficiency, beamforming and massive multi-antenna systems are being explored which demand spatial sensing i.e. blind identification of vacant frequency bands and direction-of-arrival (DoA) of the occupied bands. We propose a reconfigurable architecture to perform spatial sensing of multi-band spectrum digitized via wideband radio front-end comprising of the sparse antenna array (SAA) and Sub-Nyquist Sampling (SNS). The proposed architecture comprises SAA pre-processing and algorithms to perform spatial sensing directly on SNS samples. The proposed architecture is realized on Zynq System on Chip (SoC), consisting of the ARM processor and FPGA, via hardware-software co-design (HSCD). Using the dynamic partial reconfiguration (DPR), on-the-fly switching between algorithms depending on the number of active signals in the sensed spectrum is enabled. The functionality, resource utilization, and execution time of the proposed architecture are analyzed for various HSCD configurations, word-length, number of digitized samples, signal-to-noise ratio (SNR), and antenna array (sparse/non-sparse).


title: Deep Learning for Weakly-Supervised Object Detection and Object Localization: A Survey

abstract: Weakly-Supervised Object Detection (WSOD) and Localization (WSOL), i.e., detecting multiple and single instances with bounding boxes in an image using image-level labels, are long-standing and challenging tasks in the CV community. With the success of deep neural networks in object detection, both WSOD and WSOL have received unprecedented attention. Hundreds of WSOD and WSOL methods and numerous techniques have been proposed in the deep learning era. To this end, in this paper, we consider WSOL is a sub-task of WSOD and provide a comprehensive survey of the recent achievements of WSOD. Specifically, we firstly describe the formulation and setting of the WSOD, including the background, challenges, basic framework. Meanwhile, we summarize and analyze all advanced techniques and training tricks for improving detection performance. Then, we introduce the widely-used datasets and evaluation metrics of WSOD. Lastly, we discuss the future directions of WSOD. We believe that these summaries can help pave a way for future research on WSOD and WSOL.


title: Involution factorizations of Ewens random permutations

abstract: An involution is a bijection that is its own inverse. Given a permutation $\sigma$ of $[n],$ let $\mathsf{invol}(\sigma)$ denote the number of ways $\sigma$ can be expressed as a composition of two involutions of $[n].$ We prove that the statistic $\mathsf{invol}$ is asymptotically lognormal when the symmetric groups $\mathfrak{S}_n$ are each equipped with Ewens Sampling Formula probability measures of some fixed positive parameter $\theta.$ This paper strengthens and generalizes previously determined results about the limiting distribution of $\log(\mathsf{invol})$ for uniform random permutations, i.e. the specific case of $\theta = 1$. We also investigate the first two moments of $\mathsf{invol}$ itself, detailing the phase transition in asymptotic behavior at $\theta = 1,$ and provide a functional refinement and a convergence rate for the Gaussian limit law which is demonstrably optimal when $\theta = 1.$


title: Equations in three singular moduli: the equal exponent case

abstract: Let $a \in \mathbb{Z}_{>0}$ and $\epsilon_1, \epsilon_2, \epsilon_3 \in \{\pm 1\}$. We classify explicitly all singular moduli $x_1, x_2, x_3$ satisfying either $\epsilon_1 x_1^a + \epsilon_2 x_2^a + \epsilon_3 x_3^a \in \mathbb{Q}$ or $(x_1^{\epsilon_1} x_2^{\epsilon_2} x_3^{\epsilon_3})^{a} \in \mathbb{Q}^{\times}$. In particular, we show that all the solutions in singular moduli $x_1, x_2, x_3$ to the Fermat equations $x_1^a + x_2^a + x_3^a= 0$ and $x_1^a + x_2^a - x_3^a= 0$ satisfy $x_1 x_2 x_3 = 0$. Our proofs use a generalisation of a result of Faye and Riffaut on the fields generated by sums and products of two singular moduli, which we also establish.


title: Structural Causal Models Reveal Confounder Bias in Linear Program Modelling

abstract: The recent years have been marked by extended research on adversarial attacks, especially on deep neural networks. With this work we intend on posing and investigating the question of whether the phenomenon might be more general in nature, that is, adversarial-style attacks outside classical classification tasks. Specifically, we investigate optimization problems as they constitute a fundamental part of modern AI research. To this end, we consider the base class of optimizers namely Linear Programs (LPs). On our initial attempt of a na\"ive mapping between the formalism of adversarial examples and LPs, we quickly identify the key ingredients missing for making sense of a reasonable notion of adversarial examples for LPs. Intriguingly, the formalism of Pearl's notion to causality allows for the right description of adversarial like examples for LPs. Characteristically, we show the direct influence of the Structural Causal Model (SCM) onto the subsequent LP optimization, which ultimately exposes a notion of confounding in LPs (inherited by said SCM) that allows for adversarial-style attacks. We provide both the general proof formally alongside existential proofs of such intriguing LP-parameterizations based on SCM for three combinatorial problems, namely Linear Assignment, Shortest Path and a real world problem of energy systems.


title: Kalb-Ramond scalar QED multiple vacua

abstract: We study a model of interacting vector and Kalb-Ramond gauge fields in a non-trivial Higgs vacuum generated by a charged and a neutral scalar field. The system admits different vacua for different v.e.v. of the two Higgs fields. Our primary interest in this paper regards the "mixed phase" where both the photon and the Kalb-Ramond acquire a mass. In this phase we compute the interaction potential energy between static test charges. It turns out that the limit in which the photon becomes massless, while the Kalb-Ramond remains massive, leads to a Cornell confining potential between test charges.


title: Managing Manufacturing and Delivery of Personalised Medicine: Current and Future Models

abstract: With almost 50% of annual commercial drug approvals being Personalised Medicine (PM) and its huge potential to improve quality of life, this emerging medical sector has received increased attention from the industry and medical research, driven by health and care services, and us, the patients. Notwithstanding the power of Advanced Therapy Medicinal Products (ATMPs) to treat progressive illnesses and rare genetic conditions, their delivery on large scale is still problematic. The biopharmaceutical companies are currently struggling to meet timely delivery and, given high prices of up to $2 million per patient, prove the cost-effectiveness of their ATMP. The fragility of ATMPs combined with the impossibility for replacements due to the nature of the treatment and the advanced stages of the patient's condition are some of the bottlenecks added to a generally critical supply chain. As a consequence, ATMPs are currently used in most cases only as a last resort. ATMPs are at the intersection of multiple healthcare logistic networks and, due to their novelty, research around their commercialisation is still in its infancy from an operations research perspective. To accelerate technology adoption in this domain, we characterize pertinent practical challenges in a PM supply chain and then capture them in a holistic mathematical model ready for optimisation. The identified challenges and derived model will be contrasted with literature of related supply chains in terms of model formulations and suitable optimisation methods. Finally, needed technological advancements are discussed to pave the way to affordable commercialisation of PM.