title: Dataset of Pathloss and ToA Radio Maps With Localization Application

abstract: In this article, we present a collection of radio map datasets in dense urban setting, which we generated and made publicly available. The datasets include simulated pathloss/received signal strength (RSS) and time of arrival (ToA) radio maps over a large collection of realistic dense urban setting in real city maps. The two main applications of the presented dataset are 1) learning methods that predict the pathloss from input city maps (namely, deep learning-based simulations), and, 2) wireless localization. The fact that the RSS and ToA maps are computed by the same simulations over the same city maps allows for a fair comparison of the RSS and ToA-based localization methods.


title: Adversarial Machine Learning and Defense Game for NextG Signal Classification with Deep Learning

abstract: This paper presents a game-theoretic framework to study the interactions of attack and defense for deep learning-based NextG signal classification. NextG systems such as the one envisioned for a massive number of IoT devices can employ deep neural networks (DNNs) for various tasks such as user equipment identification, physical layer authentication, and detection of incumbent users (such as in the Citizens Broadband Radio Service (CBRS) band). By training another DNN as the surrogate model, an adversary can launch an inference (exploratory) attack to learn the behavior of the victim model, predict successful operation modes (e.g., channel access), and jam them. A defense mechanism can increase the adversary's uncertainty by introducing controlled errors in the victim model's decisions (i.e., poisoning the adversary's training data). This defense is effective against an attack but reduces the performance when there is no attack. The interactions between the defender and the adversary are formulated as a non-cooperative game, where the defender selects the probability of defending or the defense level itself (i.e., the ratio of falsified decisions) and the adversary selects the probability of attacking. The defender's objective is to maximize its reward (e.g., throughput or transmission success ratio), whereas the adversary's objective is to minimize this reward and its attack cost. The Nash equilibrium strategies are determined as operation modes such that no player can unilaterally improve its utility given the other's strategy is fixed. A fictitious play is formulated for each player to play the game repeatedly in response to the empirical frequency of the opponent's actions. The performance in Nash equilibrium is compared to the fixed attack and defense cases, and the resilience of NextG signal classification against attacks is quantified.


title: The Impact of Regulation Regime Changes on ChiNext IPOs: Effects of 2013 and 2020 Reforms on Pricing and Overreaction

abstract: Since its inauguration, ChiNext has gone through three time periods with two different regulation regimes and three different sets of listing day trading restrictions. This paper studies the impact of regulation regimes and listing day trading restrictions on the initial return of ChiNext IPOs. We hypothesize that the initial return of a ChiNext IPO contains the issuers intrinsic value and the investors overreaction. The intrinsic value is represented by the IPOs 21st day return (monthly return), and the difference between the monthly and initial returns (intramonth return) is a proxy of the overreaction. We find that all significant variables for all three returns in all three time periods fall into four categories: pre-listing demand, post-listing demand, market condition and pre-listing issuer value. We observe stark contrasts among variable categories for each of the returns in the three time periods, which reveals an evolution of the investors behavior with regard to the progression of regulation regimes. Based on our findings, we argue that the differences among the levels and determinants of initial return, monthly return (intrinsic value) and intramonth return (overreaction) in different time periods can be largely explained by regulation regime changes along two dimensions: 1) approval vs. registration and 2) listing day trading curbs and return limits. We find that IPO pricing is demand-driven under the approval regime, but value-driven under the registration regime. We further compare the impact of regulation regime changes on ChiNext IPO pricing practice, and propose a future research plan on ChiNext IPO pricing efficiency with policy implication.


title: First-order sentences in random groups II: $\forall\exists$-sentences

abstract: We prove that a random group, in Gromov's density model with $d < 1/16$ satisfies with overwhelming probability a universal-existential first-order sentence $\sigma$ (in the language of groups) if and only if $\sigma$ is true in a nonabelian free group.


title: Functional John and L\"owner conditions for pairs of log-concave functions

abstract: John's fundamental theorem characterizing the largest volume ellipsoid contained in a convex body $K$ in $\mathbb{R}^d$ has seen several generalizations and extensions. One direction, initiated by V. Milman is to replace ellipsoids by positions (affine images) of another body $L$. Another, more recent direction is to consider logarithmically concave functions on $\mathbb{R}^d$ instead of convex bodies: we designate some special, radially symmetric log-concave function $g$ as the analogue of the Euclidean ball, and want to find its largest integral position under the constraint that it is pointwise below some given log-concave function $f$. We follow both directions simultaneously: we consider the functional question, and allow essentially any meaningful function to play the role of $g$ above. Our general theorems jointly extend known results in both directions. The dual problem in the setting of convex bodies asks for the smallest volume ellipsoid, called \emph{L{\"o}wner's ellipsoid}, containing $K$. We consider the analogous problem for functions: we characterize the solutions of the optimization problem of finding a smallest integral position of some log-concave function $g$ under the constraint that it is pointwise above $f$. It turns out that in the functional setting, the relationship between the John and the L{\"o}wner problems is more intricate than it is in the setting of convex bodies.


title: Fast Exploration of the Impact of Precision Reduction on Spiking Neural Networks

abstract: Approximate Computing (AxC) techniques trade off the computation accuracy for performance, energy, and area reduction gains. The trade-off is particularly convenient when the applications are intrinsically tolerant to some accuracy loss, as in the Spiking Neural Networks (SNNs) case. SNNs are a practical choice when the target hardware reaches the edge of computing, but this requires some area minimization strategies. In this work, we employ an Interval Arithmetic (IA) model to develop an exploration methodology that takes advantage of the capability of such a model to propagate the approximation error to detect when the approximation exceeds tolerable limits by the application. Experimental results confirm the capability of reducing the exploration time significantly, providing the chance to reduce the network parameters' size further and with more fine-grained results.


title: Analytical and numerical relaxation results for models in soil mechanics

abstract: A variational model of pressure-dependent plasticity employing a time-incremental setting is introduced. A novel formulation of the dissipation potential allows one to construct the condensed energy in a variationally consistent manner. For a one-dimensional model problem, an explicit expression for the quasiconvex envelope can be found which turns out to be essentially independent of the original pressure-dependent yield surface. The model problem can be extended to higher dimensions in an empirical manner. Numerical simulation exhibit well-posed behavior showing mesh-independent results.


title: Sum and Tensor of Quantitative Effects

abstract: Inspired by the seminal work of Hyland, Plotkin, and Power on the combination of algebraic computational effects via sum and tensor, we develop an analogous theory for the combination of quantitative algebraic effects. Quantitative algebraic effects are monadic computational effects on categories of metric spaces, which, moreover, admit an algebraic presentation in the form of quantitative equational theories, a logical framework introduced by Mardare, Panangaden, and Plotkin that generalises equational logic to account for a concept of approximate equality. As our main result, we show that the sum and tensor of two quantitative equational theories correspond to the categorical sum (i.e., coproduct) and tensor, respectively, of their effects qua monads. We further give a theory of quantitative effect transformers based on these two operations, essentially providing quantitive analogues to the following monad transformers due to Moggi: exception, resumption, reader, and writer transformers. Finally, as an application we provide the first quantitative algebraic axiomatizations to the following coalgebraic structures: Markov processes, labelled Markov processes, Mealy machines, and Markov decision processes, each endowed with their respective bisimilarity metrics. Apart from the intrinsic interest in these axiomatizations, it is pleasing they have been obtained as the composition, via sum and tensor, of simpler quantitative equational theories.


title: Bifurcations of Neural Fields on the Sphere

abstract: A common model to study pattern formation in large groups of neurons is the neural field. We investigate a neural field with excitatory and inhibitory neurons, like Wilson and Cowan (1972), with transmission delays and gap junctions. We build on the work of Visser et al. (2017) by investigating pattern formation in these models on the sphere. Specifically, we investigate how different amounts of gap-junctions, modelled by a diffusion term, influence the behaviour of the neural field. We look in detail at the periodic orbits which are generated by Hopf bifurcation in the presence of spherical symmetry. For this end, we derive general formulas to compute the normal form coefficients of these bifurcations up to third order and predict the stability of the resulting branches, and formulate a novel numerical method to solve delay equations on the sphere.


title: An Improved Parameterization Procedure for NDDO-Descendant Semiempirical Methods

abstract: MNDO-based semiempirical methods in quantum chemistry have found widespread application in the modelling of large and complex systems. A method for the analytic evaluation of first and second derivatives of molecular properties against semiempirical parameters in MNDO-based NDDO-descendant models is presented, and the resultant parameter Hessian is compared against the approximant currently used in parameterization for the PMx models. As a proof of concept, the exact parameter Hessian is employed in a limited reparameterization of MNDO for the elements C, H, N, O and F using 1206 molecules for reference data.


title: Macro carbon price prediction with support vector regression and Paris accord targets

abstract: Carbon neutralization is an urgent task in society because of the global warming threat. And carbon trading is an essential market mechanics to solve carbon reduction targets. Macro carbon price prediction is vital in the useful management and decision-making of the carbon market. We focus on the EU carbon market and we choose oil price, coal price, gas price, and DAX index to be the four market factors in predicting carbon price, and also we select carbon emission targets from Paris Accord as the political factor in the carbon market in terms of the macro view of the carbon price prediction. Thus we use these five factors as inputs to predict the future carbon yearly price in 2030 with the support vector regression models. We use grid search and cross validation to guarantee the prediction performance of our models. We believe this model will have great applications in the macro carbon price prediction.


title: A systematic literature review on ethnomathematics in geometry

abstract: This study aims to investigate geometrical concepts related to ethnomathematics in Indonesia. The research design used in this study is to summarize, review, and analyze 24 papers that discussed ethnomathematics. We selected either journal articles or conference proceedings that were published in the last five years, which cover documents from 2016 to 2020, and were indexed by Scopus abstract and citation database. With the assistance of the Publish or Perish tool, we were able to compile a collection of papers to complete the task. We also used PRISMA, an evidence-based minimum set of items for reporting in systematic reviews and meta-analyses, to conduct the systematic review on geometry and ethnomathematics. The process includes determining eligibility and exclusion criteria, steps in the review process (identification, screening, and eligibility), abstraction, and data analysis. The finding suggests that several ethnic groups use geometrical concepts in their cultural lives. We can find them in traditional houses, regional dances, regional specialties, batik motifs, fabrics/weaving, temples, and mosques.


title: Euler's Equation via Lagrangian Dynamics with Generalized Coordinates

abstract: Euler's equation relates the change in angular momentum of a rigid body to the applied torque. This paper fills a gap in the literature by using Lagrangian dynamics to derive Euler's equation in terms of generalized coordinates. This is done by parameterizing the angular velocity vector in terms of 3-2-1 and 3-1-3 Euler angles as well as Euler parameters, that is, unit quaternions.


title: Normalized Contrastive Learning for Text-Video Retrieval

abstract: Cross-modal contrastive learning has led the recent advances in multimodal retrieval with its simplicity and effectiveness. In this work, however, we reveal that cross-modal contrastive learning suffers from incorrect normalization of the sum retrieval probabilities of each text or video instance. Specifically, we show that many test instances are either over- or under-represented during retrieval, significantly hurting the retrieval performance. To address this problem, we propose Normalized Contrastive Learning (NCL) which utilizes the Sinkhorn-Knopp algorithm to compute the instance-wise biases that properly normalize the sum retrieval probabilities of each instance so that every text and video instance is fairly represented during cross-modal retrieval. Empirical study shows that NCL brings consistent and significant gains in text-video retrieval on different model architectures, with new state-of-the-art multimodal retrieval metrics on the ActivityNet, MSVD, and MSR-VTT datasets without any architecture engineering.


title: Training Integer-Only Deep Recurrent Neural Networks

abstract: Recurrent neural networks (RNN) are the backbone of many text and speech applications. These architectures are typically made up of several computationally complex components such as; non-linear activation functions, normalization, bi-directional dependence and attention. In order to maintain good accuracy, these components are frequently run using full-precision floating-point computation, making them slow, inefficient and difficult to deploy on edge devices. In addition, the complex nature of these operations makes them challenging to quantize using standard quantization methods without a significant performance drop. We present a quantization-aware training method for obtaining a highly accurate integer-only recurrent neural network (iRNN). Our approach supports layer normalization, attention, and an adaptive piecewise linear (PWL) approximation of activation functions, to serve a wide range of state-of-the-art RNNs. The proposed method enables RNN-based language models to run on edge devices with $2\times$ improvement in runtime, and $4\times$ reduction in model size while maintaining similar accuracy as its full-precision counterpart.


title: CatlNet: Learning Communication and Coordination Policies from CaTL+ Specifications

abstract: In this paper, we propose a learning-based framework to simultaneously learn the communication and distributed control policies for a heterogeneous multi-agent system (MAS) under complex mission requirements from Capability Temporal Logic plus (CaTL+) specifications. Both policies are trained, implemented, and deployed using a novel neural network model called CatlNet. Taking advantage of the robustness measure of CaTL+, we train CatlNet centrally to maximize it where network parameters are shared among all agents, allowing CatlNet to scale to large teams easily. CatlNet can then be deployed distributedly. A plan repair algorithm is also introduced to guide CatlNet's training and improve both training efficiency and the overall performance of CatlNet. The CatlNet approach is tested in simulation and results show that, after training, CatlNet can steer the decentralized MAS system online to satisfy a CaTL+ specification with a high success rate.


title: The Selberg trace formula for spin Dirac operators on degenerating hyperbolic surfaces

abstract: We investigate the spectrum of the spin Dirac operator on families of hyperbolic surfaces where a set of disjoint simple geodesics shrink to $0$, under the hypothesis that the spin structure is non-trivial along each pinched geodesic. The main tool is a trace formula for the Dirac operator on finite area hyperbolic surfaces. We derive a version of Huber's theorem and a non-standard small-time heat trace asymptotic expansion for hyperbolic surfaces with cusps. As a corollary we find a simultaneous Weyl law for the eigenvalues of the Dirac operator which is \emph{uniform} in the degenerating parameter. The main result is the convergence of the Selberg zeta function associated to the Dirac operator on such families of hyperbolic surfaces. A central role is played by a $\{ \pm 1 \}$-valued class function $\varepsilon$ determined by the spin structure.


title: Analytical solutions of moving boundary problems for the time-fractional diffusion equation

abstract: The time-fractional diffusion equation is considered, where the time derivative is either of Caputo or Riemann-Liouville type. The solution of a general initial-boundary value problem with time-dependent boundary conditions over bounded and unbounded domains is derived using the embedding method. The solution of the initial-boundary value problem, expressed in terms of a two-parameter auxiliary function, is used to obtain analytical solutions of moving boundary problems. In particular, a 'fractional' analogue of the Neumann solution to a classical Stefan problem for melting ice is found.


title: Towards a possible discovery of dark photons with a multi-cathode counter

abstract: The main points of experiment on the search of dark photons using multy-cathode counter are outlined. The evidence base to prove that the observed effect is really from dark photons is formulated. First data on diurnal variations are presented. The possible interpretation of the data is given for the case if they are expanded in future measurements.


title: Automatically Annotating Indoor Images with CAD Models via RGB-D Scans

abstract: We present an automatic method for annotating images of indoor scenes with the CAD models of the objects by relying on RGB-D scans. Through a visual evaluation by 3D experts, we show that our method retrieves annotations that are at least as accurate as manual annotations, and can thus be used as ground truth without the burden of manually annotating 3D data. We do this using an analysis-by-synthesis approach, which compares renderings of the CAD models with the captured scene. We introduce a 'cloning procedure' that identifies objects that have the same geometry, to annotate these objects with the same CAD models. This allows us to obtain complete annotations for the ScanNet dataset and the recent ARKitScenes dataset.


title: Global Kuranishi charts and a product formula in symplectic Gromov-Witten theory

abstract: We construct global Kuranishi charts for the moduli spaces of stable pseudoholomorphic maps to a closed symplectic manifold in all genera. This is used to prove a product formula for symplectic Gromov-Witten invariants. As a consequence we obtain a K\"unneth formula for quantum cohomology.


title: Analyticity of stationary spacetimes from maximal hypersurfaces

abstract: The standard method of proving analyticity of stationary vacuum metrics invokes the quotient-space version of Einstein equations. We verify that the same conclusion can be obtained using the KID equations on maximal surfaces.


title: Homology stability for asymptotic monopole moduli spaces

abstract: We prove homological stability for two different flavours of asymptotic monopole moduli spaces, namely moduli spaces of framed Dirac monopoles and moduli spaces of ideal monopoles. The former are Gibbons-Manton torus bundles over configuration spaces whereas the latter are obtained from them by replacing each circle factor of the fibre with a monopole moduli space by the Borel construction. They form boundary hypersurfaces in a partial compactification of the classical monopole moduli spaces. Our results follow from a general homological stability result for configuration spaces equipped with non-local data.


title: Solitons in Open N=2 String Theory

abstract: The open N=2 string theory is defined on the four-dimensional space-time with the split signature (+,+,-,-). The string field theory action of the open N=2 string theory is described by the four-dimensional Wess-Zumino-Witten (WZW_4) model. Equation of motion of the WZW_4 model is the Yang equation which is equivalent to the anti-self-dual Yang-Mills equation. In this paper, we study soliton-type classical solutions of the WZW_4 model in the split signature by calculating the action density of the WZW_4 model. We find that the action density of the one-soliton solutions is localized on a three-dimensional hyperplane. This shows that there would be codimension-one-solitonic objects, or equivalently, some kind of three-branes in the open N=2 string theory. We also prove that in the asymptotic region of the space-time, the action density of the n-soliton solutions is a ``nonlinear superposition'' of n one-solitons. This suggests the existence of intersecting n three-branes in the N=2 strings. Finally we make a reduction to a (1+2)-dimensional real space-time to calculate energy densities of the soliton solutions. We can successfully evaluate the energy distribution for the two-soliton solutions and find that there is no singularity in the interacting region. This implies the existence of smooth intersecting codimension-one branes in the whole region. Soliton solutions in the Euclidean signature are also discussed.


title: Polynomials with vanishing Hessian and Lefschetz properties

abstract: The aim is to study Perazzo hypersurfaces $X=V(F)\subseteq\mathbb{P}(K^5)$, defined by $F(x_0,x_1,x_2,u,v) = p_0(u,v)x_0+p_1(u,v)x_1+p_2(u,v)x_2+g(u,v)$, where $p_0,p_1,p_2$ are algebraically dependent, but linearly independent forms of degree $d-1$ in $u,v$, and $g$ is a form in $u,v$ of degree $d$. These hypersurfaces are the "building blocks" for all possible hypersuface in $\mathbb{P}^4$ with vanishing Hessian. A minimal and a maximal Hilbert vector is found for the associated Artinian Gorenstein $K$-algebras $A_F$: in the minimal case they satisfy the Weak Lefschetz property, but in the maximal case they don't. Furthermore, we classify all Perazzo $3$-folds with minimal $h$-vector. We also summarise basic knowledge and already known results about hypersurfaces with vanishing Hessian and their geometry in low dimension, and also about Artinian Gorenstein $K$-algebras.


title: Broken Symmetries in Microfluidic Pillar Arrays are Reflected in a Flowing DNA Solution across Multiple Length Scales

abstract: Unlike Newtonian fluids, viscoelastic fluids may break time-reversal symmetry at low Reynolds numbers resulting in elastic turbulence. Furthermore, under some conditions, instead of the chaotic turbulence, large-scale regular waves form, as has been shown for DNA flowing in microfluidic pillar arrays. We here demonstrate how the symmetry of the individual pillars influences the symmetry of these waves, thereby contributing to the understanding of the origin of the waves and opening up for better control of the waves with relevance to applications such as microfluidic sorting and mixing. The onset of waves occurs at different Deborah numbers for flow in different directions through the same array. Because the onset of waves leads to an increase in flow rate for a given driving pressure, we observe an increase in diodicity within this range.


title: EuclidNets: An Alternative Operation for Efficient Inference of Deep Learning Models

abstract: With the advent of deep learning application on edge devices, researchers actively try to optimize their deployments on low-power and restricted memory devices. There are established compression method such as quantization, pruning, and architecture search that leverage commodity hardware. Apart from conventional compression algorithms, one may redesign the operations of deep learning models that lead to more efficient implementation. To this end, we propose EuclidNet, a compression method, designed to be implemented on hardware which replaces multiplication, $xw$, with Euclidean distance $(x-w)^2$. We show that EuclidNet is aligned with matrix multiplication and it can be used as a measure of similarity in case of convolutional layers. Furthermore, we show that under various transformations and noise scenarios, EuclidNet exhibits the same performance compared to the deep learning models designed with multiplication operations.


title: Monocular 3D Object Detection using Multi-Stage Approaches with Attention and Slicing aided hyper inference

abstract: 3D object detection is vital as it would enable us to capture objects' sizes, orientation, and position in the world. As a result, we would be able to use this 3D detection in real-world applications such as Augmented Reality (AR), self-driving cars, and robotics which perceive the world the same way we do as humans. Monocular 3D Object Detection is the task to draw 3D bounding box around objects in a single 2D RGB image. It is localization task but without any extra information like depth or other sensors or multiple images. Monocular 3D object detection is an important yet challenging task. Beyond the significant progress in image-based 2D object detection, 3D understanding of real-world objects is an open challenge that has not been explored extensively thus far. In addition to the most closely related studies.


title: Device Selection for the Coexistence of URLLC and Distributed Learning Services

abstract: Recent advances in distributed artificial intelligence (AI) have led to tremendous breakthroughs in various communication services, from fault-tolerant factory automation to smart cities. When distributed learning is run over a set of wirelessly connected devices, random channel fluctuations and the incumbent services running on the same network impact the performance of both distributed learning and the coexisting service. In this paper, we investigate a mixed service scenario where distributed AI workflow and ultra-reliable low latency communication (URLLC) services run concurrently over a network. Consequently, we propose a risk sensitivity-based formulation for device selection to minimize the AI training delays during its convergence period while ensuring that the operational requirements of the URLLC service are met. To address this challenging coexistence problem, we transform it into a deep reinforcement learning problem and address it via a framework based on soft actor-critic algorithm. We evaluate our solution with a realistic and 3GPP-compliant simulator for factory automation use cases. Our simulation results confirm that our solution can significantly decrease the training delay of the distributed AI service while keeping the URLLC availability above its required threshold and close to the scenario where URLLC solely consumes all network resources.


title: Phonon Self-Energy Corrections: To Screen, or Not to Screen

abstract: First-principles calculations of phonons are often based on the adiabatic approximation and on Brillouin-zone samplings that might not always be sufficient to capture the subtleties of Kohn anomalies. These shortcomings can be addressed through corrections to the phonon self-energy arising from the low-energy electrons. The exact self-energy involves a product of a bare and a screened electron-phonon vertex [Rev. Mod. Phys. 89, 015003 (2017)]; still, calculations often employ two adiabatically screened vertices, which have been proposed as a reliable approximation for self-energy differences [Phys. Rev. B 82, 165111 (2010)]. We assess the accuracy of both approaches in estimating the phonon spectral functions of model Hamiltonians and the adiabatic low-temperature phonon dispersions of monolayer TaS$_2$ and doped MoS$_2$. We find that the approximate method yields excellent corrections at low computational cost, due to its designed error cancellation to first order, while using a bare vertex could in principle improve these results but is challenging in practice. We offer an alternative strategy based on downfolding to partially screened phonons and interactions [Phys. Rev. B 92, 245108 (2015)]. This is a natural scheme to include electron-electron interactions and tackle phonons in strongly correlated materials and the frequency dependence of the electron-phonon vertex.


title: Pauli's Electron in Ehrenfest and Bohm Theories, a Comparative Study

abstract: Electrons moving at slow speeds much lower that the speed of light are described by a wave function which is a solution of Pauli's equation. This is a low velocity limit of the relativistic Dirac equation. Here we compare two approaches, one which is the more conservative Copenhagen's interpretation denying a trajectory of the electron but allowing a trajectory to the electron expectation value through Ehrenfest theorem. The said expectation value is of course calculated using a solution of Pauli's equation. A less orthodox approach is championed by Bohm, and attributes a velocity field to the electron also derived from the Pauli wave function. It is thus interesting to compare the trajectory followed by the electron according to Bohm and its expectation value according to Ehrenfest. Both similarities and differences will be considered.


title: A Mutation-based Text Generation for Adversarial Machine Learning Applications

abstract: Many natural language related applications involve text generation, created by humans or machines. While in many of those applications machines support humans, yet in few others, (e.g. adversarial machine learning, social bots and trolls) machines try to impersonate humans. In this scope, we proposed and evaluated several mutation-based text generation approaches. Unlike machine-based generated text, mutation-based generated text needs human text samples as inputs. We showed examples of mutation operators but this work can be extended in many aspects such as proposing new text-based mutation operators based on the nature of the application.


title: Mind the Retrosynthesis Gap: Bridging the divide between Single-step and Multi-step Retrosynthesis Prediction

abstract: Retrosynthesis is the task of breaking down a chemical compound recursively step-by-step into molecular precursors until a set of commercially available molecules is found. Consequently, the goal is to provide a valid synthesis route for a molecule. As more single-step models develop, we see increasing accuracy in the prediction of molecular disconnections, potentially improving the creation of synthetic paths. Multi-step approaches repeatedly apply the chemical information stored in single-step retrosynthesis models. However, this connection is not reflected in contemporary research, fixing either the single-step model or the multi-step algorithm in the process. In this work, we establish a bridge between both tasks by benchmarking the performance and transfer of different single-step retrosynthesis models to the multi-step domain by leveraging two common search algorithms, Monte Carlo Tree Search and Retro*. We show that models designed for single-step retrosynthesis, when extended to multi-step, can have a tremendous impact on the route finding capabilities of current multi-step methods, improving performance by up to +30% compared to the most widely used model. Furthermore, we observe no clear link between contemporary single-step and multi-step evaluation metrics, showing that single-step models need to be developed and tested for the multi-step domain and not as an isolated task to find synthesis routes for molecules of interest.


title: GAN-based Domain Inference Attack

abstract: Model-based attacks can infer training data information from deep neural network models. These attacks heavily depend on the attacker's knowledge of the application domain, e.g., using it to determine the auxiliary data for model-inversion attacks. However, attackers may not know what the model is used for in practice. We propose a generative adversarial network (GAN) based method to explore likely or similar domains of a target model -- the model domain inference (MDI) attack. For a given target (classification) model, we assume that the attacker knows nothing but the input and output formats and can use the model to derive the prediction for any input in the desired form. Our basic idea is to use the target model to affect a GAN training process for a candidate domain's dataset that is easy to obtain. We find that the target model may distract the training procedure less if the domain is more similar to the target domain. We then measure the distraction level with the distance between GAN-generated datasets, which can be used to rank candidate domains for the target model. Our experiments show that the auxiliary dataset from an MDI top-ranked domain can effectively boost the result of model-inversion attacks.


title: Renormalization in the neural network-quantum field theory correspondence

abstract: A statistical ensemble of neural networks can be described in terms of a quantum field theory (NN-QFT correspondence). The infinite-width limit is mapped to a free field theory, while finite N corrections are mapped to interactions. After reviewing the correspondence, we will describe how to implement renormalization in this context and discuss preliminary numerical results for translation-invariant kernels. A major outcome is that changing the standard deviation of the neural network weight distribution corresponds to a renormalization flow in the space of networks.


title: On the stability of smooth branches of periodic solutions for higher order perturbed differential equations

abstract: The averaging method combined with the Lyapunov-Schmidt reduction provides sufficient conditions for the existence of periodic solutions of the following class of perturbative $T$-periodic nonautonomous differential equations $x'=F_0(t,x)+\varepsilon F(t,x,\varepsilon)$. Such periodic solutions bifurcate from a manifold $\mathcal{Z}$ of periodic solutions of the unperturbed system $x'=F_0(t,x)$. Determining the stability of this kind of periodic solutions involves the computation of eigenvalues of matrix-valued functions $M(\varepsilon)$, which can done using the theory of $k$-hyperbolic matrices. Usually, in this theory, a diagonalizing process of $k$-jets of $M(\varepsilon)$ must be employed and no general algorithm exists for doing that. In this paper, we develop an alternative strategy for determining the stability of the periodic solutions without the need of such a diagonalization process, which can work even when the diagonalization is not possible. Applications of our result for two families of $4$D vector fields are also presented.


title: FieldView: An interactive software tool for exploration of three-dimensional vector fields

abstract: Vector fields are one of the fundamental parts of mathematics which are key for modelling many physics phenomena such as electromagnetic fields or fluid and gas flows. Fields found in nature often exhibit complex structures which can be difficult to analyze in full detail without a graphical representation. In this paper we introduce FieldView -- an application targeted at academics and industry professionals wanting to visualize vector fields using various rendering techniques. FieldView uses a novel way of evaluation of the field and construction of the displayed elements directly on the GPU which is based on the recently introduced mesh shader graphics pipeline by NVIDIA. Research done for FieldView development has found practical application in the form of magnetic field visualisation integrated in the data processing framework developed by ALICE experiment at CERN.


title: A quantum algorithm for counting zero-crossings

abstract: We present a zero-crossings counting problem that is a generalization of the Bernstein-Vazirani problem. The goal of this problem is to count the number of zero-crossings (or sign changes) in a special type of sequence S, whose definition depends upon a secret string. A quantum algorithm is presented to solve this problem. The proposed quantum algorithm requires only one oracle query to solve the problem, whereas a classical algorithm would need at least n oracle queries, where $2^n$ is the size of the sequence S. In addition to solving the zero-crossings counting problem, we also give a quantum circuit for performing the Walsh-Hadamard transforms in sequency ordering. The Walsh-Hadamard transform in sequency ordering is used in a wide range of scientific and engineering applications, including in digital signal and image processing. Therefore, the proposed quantum circuit for computing the Walsh-Hadamard transforms in sequency ordering may be helpful in quantum computing algorithms for applications for which the computation of the Walsh-Hadamard transform in sequency ordering is required.


title: Reactive Vortexes in a Naturally Activated Process: Non-Diffusive Rotational Fluxes at Transition State Uncovered by Persistent Homology

abstract: Dynamics of reaction coordinates during barrier-crossing are key to understand activated processes in complex systems such as proteins. The default assumption from Kramers physical intuition is that of a diffusion process. However, the dynamics of barrier-crossing in natural complex molecules are largely unexplored. Here we investigate the transition dynamics of alanine-dipeptide isomerization, the simplest complex system with a large number of non-reaction coordinates that can serve as an adequate thermal bath feeding energy into the reaction coordinates. We separate conformations along the time axis and construct the dynamic probability surface of reaction. We quantify its topological structure and rotational flux using persistent homology and differential form. Our results uncovered a region with strong reactive vortex in the configuration-time space, where the highest probability peak and the transition state ensemble are located. This reactive region contains strong rotational fluxes: Most reactive trajectories swirl multiple times around this region in the subspace of the two most-important reaction coordinates. Furthermore, the rotational fluxes result from cooperative movement along the isocommitter surfaces and orthogonal barrier-crossing. Overall, our findings offer a first glimpse into the reactive vortex regions that characterize the non-diffusive dynamics of barrier-crossing of a naturally occurring activation process.


title: High-Resolution Transmission Spectroscopy of the Terrestrial Exoplanet GJ 486b

abstract: Terrestrial exoplanets orbiting M-dwarf stars are promising targets for transmission spectroscopy with existing or near-future instrumentation. The atmospheric composition of such rocky planets remains an open question, especially given the high X-ray and ultraviolet flux from their host M dwarfs that can drive atmospheric escape. The 1.3 $R_\oplus$ exoplanet GJ 486b ($T_{\rm{eq}} \sim$ 700 K), orbiting an M3.5 star, is expected to have one of the strongest transmission spectroscopy signals among known terrestrial exoplanets. We observed three transits of GJ 486b using three different high-resolution spectrographs: IRD on Subaru, IGRINS on Gemini-South, and SPIRou on the Canada-France-Hawai'i Telescope. We searched for atmospheric absorption from a wide variety of molecular species via the cross-correlation method, but did not detect any robust atmospheric signals. Nevertheless, our observations are sufficiently sensitive to rule out several clear atmospheric scenarios via injection and recovery tests, and extend comparative exoplanetology into the terrestrial regime. Our results suggest that GJ 486b does not possess a clear H$_2$/He-dominated atmosphere, nor a clear 100% water-vapor atmosphere. Other secondary atmospheres with high mean molecular weights or H$_2$/He-dominated atmospheres with clouds remain possible. Our findings provide further evidence suggesting that terrestrial planets orbiting M-dwarf stars may experience significant atmospheric loss.


title: Anisotropic electron transport in the nuclear pasta phase

abstract: The presence of nuclear pasta is expected to modify the transport properties in the mantle of neutron stars. The non-spherical geometry of the pasta nuclear clusters leads to anisotropies in the collision frequencies, impacting the thermal and electrical conductivity. We derive analytical expressions for the anisotropic collision frequencies using the Boltzmann equation in the relaxation time approximation. The average parallel, perpendicular and Hall electrical conductivities are computed in the high-temperature regime above crustal melting, considering incoherent elastic electron-pasta scattering and randomly oriented pasta structures. Numerical values are obtained at different densities and temperatures by using the IUFSU parametrization of the non-linear Walecka model to determine the crustal structure. We find that the anisotropy of the collision frequencies grows with the length of the pasta structures and, independently of the magnetic field, the presence of rod and slab phases decreases the conductivity by more than one order of magnitude. Our numerical results indicate that, even if the pasta structures might survive above the crustal melting point, no strong anisotropies are to be expected in the conduction properties in this temperature regime, even in the presence of a very high magnetic field.


title: Minimal counterexamples to Hendrickson's conjecture on globally rigid graphs

abstract: In this paper we consider the class of graphs which are redundantly $d$-rigid and $(d+1)$-connected but not globally $d$-rigid, where $d$ is the dimension. This class arises from counterexamples to a conjecture by Bruce Hendrickson. It seems that there are relatively few graphs in this class for a given number of vertices. Using computations we show that $K_{5,5}$ is indeed the smallest counterexample to the conjecture.


title: Interaction-Aware Motion Planning for Autonomous Vehicles with Multi-Modal Obstacle Uncertainty Predictions

abstract: This paper proposes an interaction and safety-aware motion-planning method for an autonomous vehicle in uncertain multi-vehicle traffic environments. The method integrates the ability of the interaction-aware interacting multiple model Kalman filter (IAIMM-KF) to predict interactive multi-modal maneuvers of surrounding vehicles, and the advantage of model predictive control (MPC) in planning an optimal trajectory in uncertain dynamic environments. The multi-modal prediction uncertainties, containing both the maneuver and trajectory uncertainties of surrounding vehicles, are considered in computing the reference targets and designing the collision-avoidance constraints of MPC for resilient motion planning of the ego vehicle. The MPC achieves safety awareness by incorporating a tunable parameter to adjust the predicted obstacle occupancy in the design of the safety constraints, allowing the approach to achieve a trade-off between performance and robustness. Based on the prediction of the surrounding vehicles, an optimal reference trajectory of the ego vehicle is computed by MPC to follow the time-varying reference targets and avoid collisions with obstacles. The efficiency of the method is illustrated in challenging highway-driving simulation scenarios and a driving scenario from a recorded traffic dataset.


title: Unobservability of the topological charge in nonabelian gauge theory: Ward-Takahashi identity and phenomenological aspects

abstract: We argue that the topological charge of nonabelian gauge theory is unphysical. To show this statement, we use the Adler-Bardeen theorem and the Becchi-Rouet-Stora-Tyutin symmetry which are warranted by the perturbative finiteness of the chiral anomaly, thus being free of Gribov ambiguity. In addition to the original argument using the unphysical gauge field component collinear to the spatial derivative of the gauge function, we show the unobservability of the topological charge using the Ward-Takahashi identity. We then present the consequences of this finding and show the consistency with many physical pictures and ideas that have been developed around the topology of nonabelian gauge theory. The most important ones are the resolution of the Strong CP problem, the unobservability of topological instantons, the physical relevance of the axial $U(1)$ symmetry, the independence of the vacuum energy on the vacuum angle, and the impossibility to realize the sphaleron induced baryogenesis and chiral magnetic effects. The axial $U(1)$ symmetry and the unphysical $\theta$-term imply that the physical complex phase of the Cabibbo-Kobayashi-Maskawa matrix is the sole source of CP violation in the standard model. The unphysical sphaleron also means that the lepton number is phenomenologically free from the baryon number, and their violations may be modeled separately. We also comment on the consistency with the results of lattice calculations.


title: Fermion disorder operator at Gross-Neveu and deconfined quantum criticalities

abstract: The fermion disorder operator has been shown to reveal the entanglement information in 1D Luttinger liquids and 2D free and interacting Fermi and non-Fermi liquids emerging at quantum critical points(QCP). Here we study, by means of large-scale quantum Monte Carlo simulation, the scaling behavior of disorder operator in correlated Dirac systems. We first demonstrate the logarithmic scaling behavior of the disorder operator at the Gross-Neveu (GN) chiral Ising and Heisenberg QCPs, where consistent conformal field theory (CFT) content of the GN-QCP in its coefficient is found. Then we study a 2D monopole free deconfined quantum critical point (DQCP) realized between a quantum-spin Hall insulator and a superconductor. Our data point to negative values of the logarithmic coefficients such that the DQCP does not correspond to a unitary CFT. Density matrix renormalization group calculations of the disorder operator on a 1D DQCP model also detect emergent continuous symmetries.


title: Machine learning understands knotted polymers

abstract: Simulated configurations of flexible knotted rings confined inside a spherical cavity are fed into long-short term memory neural networks (LSTM NNs) designed to distinguish knot types. The results show that they perform well in knot recognition even if tested against flexible, strongly confined and therefore highly geometrically entangled rings. In agreement with the expectation that knots are delocalized in dense polymers, a suitable coarse-graining procedure on configurations boosts the performance of the LSTMs when knot identification is applied to rings much longer than those used for training. Notably, when the NNs fail, usually the wrong prediction still belongs to the same topological family of the correct one. The fact that the LSTMs are able to grasp some basic properties of the ring's topology is corroborated by a test on knot types not used for training. We also show that the choice of the NN architecture is important: simpler convolutional NNs do not perform so well. Finally, all results depend on the features used for input: surprisingly, coordinates or bond directions of the configurations provide the best accuracy to the NNs, even if they are not invariant under rotations (while the knot type is invariant). Other rotational invariant features we tested are based on distances, angles, and dihedral angles.


title: Radio and Gamma-ray Evidence for the Supernova Origin of High Velocity Cloud Complex M

abstract: Using $\lambda$-21-cm galactic neutral atomic hydrogen data from the HI4PI survey of Bekhti et al. (2016) and 0.75-30 MeV $\gamma$-ray emission from the Imaging Compton Telescope, we have searched for the origin event that accelerated high velocity cloud Complex M. Radio plots of $l-b$, $l-v$, and $b-v$ show a cavity centered at ($l$, $b$) $\sim$ (150$^{\circ}$, 50.$^{\circ}$) and extending about $\pm$33$^{\circ}$. The best view of the cavity is at a velocity of -25 km s$^{-1}$, which shows a circular cross section on the back (receding) face. Complex M, at -85 km s$^{-1}$, is on the front (approaching) face. The $\gamma$-ray emission reveals several minima, the largest centered at ($l$, $b$) $\sim$ (150$^{\circ}$, 50.$^{\circ}$) and coincident with the position and extent of the cavity seen in the radio data. Using the know distance to Complex M and assuming that the cavity is spherical, we can bootstrap the distance to the original, explosive source of the cavity, D = 307 pc, calculate the radius of the cavity, R = 166 pc, and approximate the expansion velocity, V$_E$ $\approx$ 40 km $s^{-1}$, of the cavity. The total energy of the expanding cavity is 3.0 $\pm$ 1.0 ${\times}$ 10$^{50}$ ergs, well within the range of a single supernova. These results indicate that this explosion took place about four million years ago. As the blast wave from this supernova propagated outwards, it began to sweep up interstellar gas and carved out the Local Chimney, a low-density extension of the Local Bubble that reaches into the galactic halo.


title: Jamdani Motif Generation using Conditional GAN

abstract: Jamdani is the strikingly patterned textile heritage of Bangladesh. The exclusive geometric motifs woven on the fabric are the most attractive part of this craftsmanship having a remarkable influence on textile and fine art. In this paper, we have developed a technique based on the Generative Adversarial Network that can learn to generate entirely new Jamdani patterns from a collection of Jamdani motifs that we assembled, the newly formed motifs can mimic the appearance of the original designs. Users can input the skeleton of a desired pattern in terms of rough strokes and our system finalizes the input by generating the complete motif which follows the geometric structure of real Jamdani ones. To serve this purpose, we collected and preprocessed a dataset containing a large number of Jamdani motifs images from authentic sources via fieldwork and applied a state-of-the-art method called pix2pix to it. To the best of our knowledge, this dataset is currently the only available dataset of Jamdani motifs in digital format for computer vision research. Our experimental results of the pix2pix model on this dataset show satisfactory outputs of computer-generated images of Jamdani motifs and we believe that our work will open a new avenue for further research.


title: Mesonic "screening masses" in high temperature QCD

abstract: Lattice studies of QCD at high temperature has investigated the so called ``screening masses", corresponding to quark-antiquark states propagating in $spatial$ (rather than time) direction. Thirty years ago we pointed out that those should correspond to states of 2+1 dimensional quarkonia, and in this work we show that this correspondence provide quantitative description of the lattice data.


title: The Quantum Path Kernel: a Generalized Quantum Neural Tangent Kernel for Deep Quantum Machine Learning

abstract: Building a quantum analog of classical deep neural networks represents a fundamental challenge in quantum computing. A key issue is how to address the inherent non-linearity of classical deep learning, a problem in the quantum domain due to the fact that the composition of an arbitrary number of quantum gates, consisting of a series of sequential unitary transformations, is intrinsically linear. This problem has been variously approached in the literature, principally via the introduction of measurements between layers of unitary transformations. In this paper, we introduce the Quantum Path Kernel, a formulation of quantum machine learning capable of replicating those aspects of deep machine learning typically associated with superior generalization performance in the classical domain, specifically, hierarchical feature learning. Our approach generalizes the notion of Quantum Neural Tangent Kernel, which has been used to study the dynamics of classical and quantum machine learning models. The Quantum Path Kernel exploits the parameter trajectory, i.e. the curve delineated by model parameters as they evolve during training, enabling the representation of differential layer-wise convergence behaviors, or the formation of hierarchical parametric dependencies, in terms of their manifestation in the gradient space of the predictor function. We evaluate our approach with respect to variants of the classification of Gaussian XOR mixtures - an artificial but emblematic problem that intrinsically requires multilevel learning in order to achieve optimal class separation.


title: Differential Dynamic Microscopy can be applied to Differential Interference Contrast images despite shadowing effects

abstract: During In Vitro Fertilisation (IVF), combining time-lapse contrast microscopy with suitable image processing techniques could facilitate non-invasive classification of oocyte health, driving oocyte selection to maximise success rates. One image processing technique, Differential Dynamic Microscopy (DDM), has been used in a variety of microscopy settings including bright field, dark field and fluorescence. However, in some applications, effects stemming from the choice of microscopy may invalidate underlying assumptions of DDM. Here, we study the DDM analysis of differential interference contrast (DIC) microscopy movies. DIC exhibits a characteristic shadowing effect that gives the illusion of a 3D appearance, which we show causes deformation of the output DDM matrix. We present a mathematical description of this deformation, and conclude that, when studying isotropic motion, no account of the DIC shadow needs to be considered during DDM analysis. We validate our conclusions with simulated particle data, and with DIC images of colloidal dispersions. Although this conclusion does not generally extend to anisotropic motion, we demonstrate that for directed advection and diffusion behaviour, parameter fitting invariance still holds. These results validate the current practice of applying DDM to DIC, and are a foundation for further exploration of DDM in other phase-contrast image datasets.


title: The pion-nucleon sigma term with $N_f=2+1$ $\mathcal{O}(a)$-improved Wilson fermions

abstract: We present an analysis of the pion-nucleon sigma term on the CLS ensembles with $N_f=2+1$ flavors of $\mathcal{O}(a)$-improved Wilson fermions. We perform a chiral interpolation based on ensembles with pion masses ranging from 130 MeV to roughly 350 MeV. The analysis covers four lattice spacings between $a\approx [0.05 \, \rm{fm}\ldots 0.09\, \rm{fm}]$, allowing for an estimate of systematics associated with lattice artefacts.


title: Aspects of Conformal Field Theory

abstract: In this thesis we analyse three aspects of Conformal Field Theories (CFTs). First, we consider correlation functions of descendant states in two-dimensional CFTs. We discuss a recursive formula to calculate them and provide a computer implementation of it. This allows us to obtain any correlation function of vacuum descendants, and for non-vacuum descendants to express the correlator as a differential operator acting on the respective primary correlator. With this code, we study some entanglement and distinguishability measures between descendant states, i.e. the R\'enyi entropy, trace square distance and sandwiched R\'enyi divergence. With our results we can test the R\'enyi Quantum Null Energy Condition and provide new tools to analyse the holographic description of descendant states. Second, we study four-dimensional Weyl fermions on different backgrounds. Our interest is in their trace anomaly, where the Pontryagin density has been claimed to appear. To ascertain this possibility, we compute the anomalies of Dirac fermions coupled to vector and axial non-abelian gauge fields and then in a metric-axial-tensor background. Appropriate limits of the backgrounds allow to recover the anomalies of Weyl fermions coupled to non-abelian gauge fields and in a curved spacetime. In both cases we confirm the absence of the Pontryagin density in the trace anomalies. Third, we provide the holographic description of a four-dimensional CFT with an irrelevant operator. When the operator has integer conformal dimension, its presence in the CFT modifies the Weyl transformation of the metric, which in turns modifies the trace anomaly. Exploiting the equivalence between bulk diffeomorphisms and boundary Weyl transformations, we compute these modifications from the dual gravity theory. Our results represent an additional test of the AdS/CFT conjecture.


title: The Stability of Uranus Trojans Over the Age of the Solar System

abstract: The stability of eight nominal fictitious Uranus Trojan orbits over the age of the Solar system has been measured. The initial inclinations, i0, were 0 deg., 5 deg., 15 deg., and 30 deg. relative to the ecliptic plane. Initial eccentricities ranged from 0 to 0.1 for i0 = 0 deg., 5 deg., and 0 to 0.2 for i0 = 15 deg., 30 deg. Half of the orbits were in the L4 swarm, and half were in the L5 swarm. Orbits in the L4 swarm had mean longitudes 8.8 deg. from the nominal L4 Lagrange point, and orbits in the L5 swarm had mean longitudes 18.2 deg. from the nominal L5 point. I integrated 10,000 massless clones per nominal orbit in the six-body problem (Sun, test particle, four giant planets) for 4.5 Gyr and calculated the half-life for each orbit. A total of 1291 test particles survived for the entire integration time. Of these survivors, 99% were associated with the nominal orbit with i0 = 0 deg. in the L4 swarm. These surviving test particles had initial eccentricities in the range e0 < 0.07. The half-lives associated with L4 orbits were 1258 Myr, 286 Myr, 56 Myr, and 237 Myr for nominal orbits with i0 = 0 deg., 5 deg., 15 deg., and 30 deg., respectively. The half-lives associated with L5 orbits were 103 Myr, 281 Myr, 25 Myr, and 46 Myr, respectively. The overall results showed that the ecliptic plane is one good place to search for primordial Uranus Trojans.


title: A simple approach to hopping matrix elements between nearby molecules

abstract: The hopping matrix element $t$ quantifies the quantum-mechanical coupling between frontier orbitals on a pair of nearby molecules. Convenient and generally applicable methods to determine $t$ from DFT calculations are lacking; $t$ can be obtained from coupling-induced energy splittings only if the interacting molecules are identical and symmetrically placed. We present a simple approach to determine $t$ from DFT results that relies on measuring hybridization, projecting hybridized pair orbitals onto constituent frontier orbitals of the interacting molecules, using spatially discretized wavefunctions (``cube files'') rather than analytical representations. We demonstrate the method by exploring how $t$ depends on the identity and relative placement of typical moieties found in semiconducting polymers.


title: An optimal upper bound for the dilute Fermi gas in three dimensions

abstract: In a system of interacting fermions, the correlation energy is defined as the difference between the energy of the ground state and the one of the free Fermi gas. We consider $N$ interacting spin $1/2$ fermions in the dilute regime, i.e., $\rho\ll 1$ where $\rho$ is the total density of the system. We rigorously derive a first order upper bound for the correlation energy with an optimal error term of the order $\mathcal{O}(\rho^{7/3})$ in the thermodynamic limit. Moreover, we improve the lower bound estimate with respect to previous results getting an error $\mathcal{O}(\rho^{2+1/5})$.


title: Efficient Sampling for Realized Variance Estimation in Time-Changed Diffusion Models

abstract: This paper analyzes the benefits of sampling intraday returns in intrinsic time for the standard and pre-averaging realized variance (RV) estimators. We theoretically show in finite samples and asymptotically that the RV estimator is most efficient under the new concept of realized business time, which samples according to a combination of observed trades and estimated tick variance. Our asymptotic results carry over to the pre-averaging RV estimator under market microstructure noise. The analysis builds on the assumption that asset prices follow a diffusion that is time-changed with a jump process that separately models the transaction times. This provides a flexible model that separately captures the empirically varying trading intensity and tick variance processes, which are particularly relevant for disentangling the driving forces of the sampling schemes. Extensive simulations confirm our theoretical results and show that realized business time remains superior also under more general noise and process specifications. An application to stock data provides empirical evidence for the benefits of using realized business time sampling to construct more efficient RV estimators as well as for an improved forecasting performance.


title: Real-valued affine automata compute beyond Turing machines

abstract: We show that bounded-error affine finite automata recognize uncountably many (and so some non-Turing recognizable) languages when using real-valued transitions.


title: Electroweak corrections to $g+g\to H_{l,h}$ and $H_{l,h}\to\gamma+\gamma$ in the Higgs-singlet extension of the Standard model

abstract: We calculate the next-to-leading order electroweak corrections for Higgs-boson production in gluon fusion and the Higgs-boson decay into two photons or gluons in the real Higgs-singlet extension of the Standard model (HSESM). For the light Higgs-boson of the HSESM the electroweak corrections for these processes are of the same order of magnitude as in the Standard model. For the heavy Higgs-boson of the HSESM the electroweak corrections can become large depending on the considered scenario.


title: Spectrum of equivariant cohomology as a fixed point scheme

abstract: An action of a complex reductive group $\mathrm G$ on a smooth projective variety $X$ is regular when all regular unipotent elements in $\mathrm G$ act with finitely many fixed points. Then the complex $\mathrm G$-equivariant cohomology ring of $X$ is isomorphic to the coordinate ring of a certain regular fixed point scheme. Examples include partial flag varieties, smooth Schubert varieties and Bott-Samelson varieties. We also show that a more general version of the fixed point scheme allows a generalisation to GKM spaces, such as toric varieties.


title: Systematic and statistical uncertainty evaluation of the HfF$^+$ electron electric dipole moment experiment

abstract: We have completed a new precision measurement of the electron's electric dipole moment using trapped HfF$^+$ in rotating bias fields. We report on the accuracy evaluation of this measurement, describing the mechanisms behind our systematic shifts. Our systematic uncertainty is reduced by a factor of 30 compared to the first generation of this measurement. Our combined statistical and systematic accuracy is improved by a factor of 2 relative to any previous measurement.


title: Nonreciprocal magnetoacoustic waves in synthetic antiferromagnets with Dzyaloshinskii-Moriya interaction

abstract: The interaction between surface acoustic waves (SAWs) and spin waves (SWs) in a piezoelectric/magnetic thin film heterostructure yields potential for the realization of novel microwave devices and applications in magnonics. In the present work, we investigate the SAW-SW interaction in a Pt/Co(2 nm)/Ru(0.85 nm)/Co(4 nm)/Pt synthetic antiferromagnet (SAF) composed of two ferromagnetic layers with different thicknesses separated by a thin nonmagnetic Ru spacer layer. Because of the combined presence of interfacial Dzyaloshinskii--Moriya interaction (iDMI) and interlayer dipolar coupling fields, the optical SW mode shows a large nondegenerate dispersion relation for oppositely propagating SWs. Due to SAW-SW interaction, we observe nonreciprocal SAW transmission in the piezoelectric/SAF hybrid device. The equilibrium magnetization directions of both Co layers are manipulated by an external magnetic field to set a ferromagnetic, canted, or antiferromagnetic configuration. This has a strong impact on the SW dispersion, its nonreciprocity, and SAW-SW interaction. The experimental results are in agreement with a phenomenological SAW-SW interaction model, which considers the interlayer exchange coupling, iDMI, and interlayer dipolar coupling fields of the SWs.


title: Multiple Mellin-Barnes integrals with straight contours

abstract: We show how the conic hull method, recently developed for the analytic and non-iterative evaluation of multifold Mellin-Barnes (MB) integrals, can be extended to the case where these integrals have straight contours of integration parallel to the imaginary axes in the complex planes of the integration variables. MB integrals of this class appear, for instance, when one computes the $\epsilon$-expansion of dimensionally regularized Feynman integrals, as a result of the application of one of the two main strategies (called A and B in the literature) used to resolve the singularities in $\epsilon$ of MB representations. We upgrade the Mathematica package MBConicHulls.wl which can now be used to obtain multivariable series representations of multifold MB integrals with arbitrary straight contours, providing an efficient tool for the automatic computation of such integrals. This new feature of the package is presented, along with an example of application by calculating the $\epsilon$-expansion of the dimensionally regularized massless one-loop pentagon integral in general kinematics and $D=4-2\epsilon$.


title: Local minimizers of the interface length functional based on a concept of local paired calibrations

abstract: We establish that regular flat partitions are locally minimizing for the interface energy with respect to $L^1$ perturbations of the phases. Regular flat partitions are partitions of open sets in $\mathbb{R}^2$ whose network of interfaces consists of finitely many straight segments with a singular set made up of finitely many triple junctions at which the Herring angle condition is satisfied. This result not only holds for the case of the perimeter functional but for a general class of surface tension matrices. Our proof relies on a localized version of the paired calibration method which was introduced by Lawlor and Morgan (Pac. J. Appl. Math., 166(1), 1994) in conjunction with a relative energy functional that precisely captures the suboptimality of classical calibration estimates. Vice versa, we show that any stationary point of the length functional (in a sense of metric spaces) has to be a regular flat partition.


title: A new bound on the electron's electric dipole moment

abstract: The Standard Model cannot explain the dominance of matter over anti-matter in our universe. This imbalance indicates undiscovered physics that violates combined CP symmetry. Many extensions to the Standard Model seek to explain the imbalance by predicting the existence of new particles. Vacuum fluctuations of the fields associated with these new particles can interact with known particles and make small modifications to their properties; for example, particles which violate CP symmetry will induce an electric dipole moment of the electron (eEDM). The size of the induced eEDM is dependent on the masses of the new particles and their coupling to the Standard Model. To date, no eEDM has been detected, but increasingly precise measurements probe new physics with higher masses and weaker couplings. Here we present the most precise measurement yet of the eEDM using electrons confined inside molecular ions, subjected to a huge intra-molecular electric field, and evolving coherently for up to 3 s. Our result is consistent with zero and improves on the previous best upper bound by a factor $\sim2.4$. Our sensitivity to $10^{-19}$ eV shifts in molecular ions provides constraints on broad classes of new physics above $10^{13}$ eV, well beyond the direct reach of the LHC or any other near- or medium-term particle collider.


title: A High-Level Comparison of Recent Technologies for Massive MIMO Architectures

abstract: Since the introduction of massive MIMO (mMIMO), the design of a transceiver with feasible complexity has been a challenging problem. Initially, it was believed that the main issue in this respect is the overall RF-cost. However, as mMIMO is becoming more and more a key technology for future wireless networks, it is realized, that the RF-cost is only one of many implementational challenges and design trade-offs. In this paper, we present, analyze and compare various novel mMIMO architectures, considering recent emerging technologies such as intelligent surface-assisted and Rotman lens based architectures. These are compared to the conventional fully digital (FD) and hybrid analog-digital beamforming (HADB) approaches. To enable a fair comparison, we account for various hardware imperfections and losses and utilize a novel, universal algorithm for signal precoding. Based on our thorough investigations, we draw a generic efficiency to quality trade-off for various mMIMO architectures. We find that in a typical cellular communication setting the reflect/transmit array based architectures sketch the best overall trade-off. Further, we show that in a qualitative ranking the power efficiency of the considered architectures is independent of the frequency range.


title: Two-loop evolution kernels for colour dependent double parton distributions

abstract: A key ingredient in the description of double parton distributions is their scale dependence. If the colour of each individual parton is summed over, the distributions evolve with the same DGLAP kernels as ordinary parton distributions. This is no longer true if the two partons are colour correlated. We compute the relevant kernels for this case at next-to-leading order in the strong coupling, for unpolarised or longitudinally polarised partons and for transversely polarised quarks.


title: Fully 3D Implementation of the End-to-end Deep Image Prior-based PET Image Reconstruction Using Block Iterative Algorithm

abstract: Deep image prior (DIP) has recently attracted attention owing to its unsupervised positron emission tomography (PET) image reconstruction, which does not require any prior training dataset. In this paper, we present the first attempt to implement an end-to-end DIP-based fully 3D PET image reconstruction method that incorporates a forward-projection model into a loss function. To implement a practical fully 3D PET image reconstruction, which could not be performed due to a graphics processing unit memory limitation, we modify the DIP optimization to block-iteration and sequentially learn an ordered sequence of block sinograms. Furthermore, the relative difference penalty (RDP) term was added to the loss function to enhance the quantitative PET image accuracy. We evaluated our proposed method using Monte Carlo simulation with [$^{18}$F]FDG PET data of a human brain and a preclinical study on monkey brain [$^{18}$F]FDG PET data. The proposed method was compared with the maximum-likelihood expectation maximization (EM), maximum-a-posterior EM with RDP, and hybrid DIP-based PET reconstruction methods. The simulation results showed that the proposed method improved the PET image quality by reducing statistical noise and preserved a contrast of brain structures and inserted tumor compared with other algorithms. In the preclinical experiment, finer structures and better contrast recovery were obtained by the proposed method. This indicated that the proposed method can produce high-quality images without a prior training dataset. Thus, the proposed method is a key enabling technology for the straightforward and practical implementation of end-to-end DIP-based fully 3D PET image reconstruction.


title: p-Forms from Syzygies

abstract: We describe how to use syzygies to produce homogeneous polynomial differential $p$-forms with prescribed vanishing locus.


title: Transitioning from perturbative to non-perturbative splittings within QCD jets

abstract: Experimental and theoretical realizations of jets in high energy collisions involve an ordered collection of particle groupings or splittings. Recent p+p measurements of the wide-angle, early-time jet splittings show consistency with theoretical calculations while subsequent later-time splittings hint at deviations from the theory. We study splittings along a jet tree in vacuum representing the perturbative QCD, transition, and non-perturbative QCD regions. With a specially selected resolved splitting, we highlight its apparent disagreement with pQCD predictions and discuss its features.


title: Dark $SU(2) \to Z_3 \times Z_2$ Gauge Symmetry

abstract: The dark sector is postulated to be invariant under an $SU(2)$ gauge symmetry, spontaneously broken by a Higgs quadruplet to a conserved residual $Z_3 \times Z_2$ symmetry. The resulting dark matter phenomenology is studied.


title: Free Energy on the Sphere for Non-Abelian Gauge Theories

abstract: We compute the $S^d$ partition function of the fixed point of non-abelian gauge theories in continuous $d$, using the $\epsilon$-expansion around $d=4$. We illustrate in detail the technical aspects of the calculation, including all the factors arising from the gauge-fixing procedure, and the method to deal with the zero-modes of the ghosts. We obtain the result up to NLO, i.e. including two-loop vacuum diagrams. Depending on the sign of the one-loop beta function, there is a fixed point with real gauge coupling in $d>4$ or $d<4$. In the first case we extrapolate to $d=5$ to test a recently proposed construction of the UV fixed point of $5d$ $SU(2)$ Yang-Mills via a susy-breaking deformation of the $E_1$ SCFT. We find that the $F$ theorem allows the proposed RG flow. In the second case we extrapolate to $d=3$ to test whether QCD$_3$ with gauge group $SU(n_c)$ and $n_f$ fundamental matter fields flows to a CFT or to a symmetry-breaking phase. We find that within the regime with a real gauge coupling near $d=4$ the CFT phase is always favored. For lower values of $n_f$ we compare the average of $F$ between the two complex fixed points with its value at the symmetry-breaking phase to give an upper bound of the critical value $n_f^*$ below which the symmetry-breaking phase takes over.


title: Stability Analysis and Performance Evaluation of Mixed-Precision Runge-Kutta Methods

abstract: Additive Runge-Kutta methods designed for preserving highly accurate solutions in mixed-precision computation were proposed and analyzed in 4. These specially designed methods use reduced precision for the implicit computations and full precision for the explicit computations. In this work we analyze the stability properties of these methods and their sensitivity to the low precision rounding errors, and demonstrate their performance in terms of accuracy and efficiency. We develop codes in FORTRAN and Julia to solve nonlinear systems of ODEs and PDEs using the mixed precision additive Runge-Kutta (MP-ARK) methods. The convergence, accuracy, runtime, and energy consumption of these methods is explored. We show that for a given level of accuracy, suitably chosen MP-ARK methods may provide significant reductions in runtime.


title: DYST (Did You See That?): An Amplified Covert Channel That Points To Previously Seen Data

abstract: Covert channels are stealthy communication channels that enable manifold adversary and legitimate scenarios, ranging from malware communications to the exchange of confidential information by journalists and censorship circumvention. We introduce a new class of covert channels that we call history covert channels. We further present a new paradigm: covert channel amplification. All covert channels described until now need to craft seemingly legitimate flows or need to modify third-party flows, mimicking unsuspicious behavior. In contrast, history covert channels can communicate by pointing to unaltered legitimate traffic created by regular network nodes. Only a negligible fraction of the covert communication process requires the transfer of covert information by the covert channel's sender. This information can be sent through different protocols/channels. Our approach allows an amplification of the covert channel's message size, i.e., minimizing the fraction of actually transferred secret data by a covert channel's sender in relation to the overall secret data being exchanged. Further, we extend the current taxonomy for covert channels to show how history channels can be categorized. We describe multiple scenarios in which history covert channels can be realized, analyze the characteristics of these channels, and show how their configuration can be optimized.


title: StoRM: A Diffusion-based Stochastic Regeneration Model for Speech Enhancement and Dereverberation

abstract: Diffusion models have shown a great ability at bridging the performance gap between predictive and generative approaches for speech enhancement. We have shown that they may even outperform their predictive counterparts for non-additive corruption types or when they are evaluated on mismatched conditions. However, diffusion models suffer from a high computational burden, mainly as they require to run a neural network for each reverse diffusion step, whereas predictive approaches only require one pass. As diffusion models are generative approaches they may also produce vocalizing and breathing artifacts in adverse conditions. In comparison, in such difficult scenarios, predictive models typically do not produce such artifacts but tend to distort the target speech instead, thereby degrading the speech quality. In this work, we present a stochastic regeneration approach where an estimate given by a predictive model is provided as a guide for further diffusion. We show that the proposed approach uses the predictive model to remove the vocalizing and breathing artifacts while producing very high quality samples thanks to the diffusion model, even in adverse conditions. We further show that this approach enables to use lighter sampling schemes with fewer diffusion steps without sacrificing quality, thus lifting the computational burden by an order of magnitude. Source code and audio examples are available online (https://uhh.de/inf-sp-storm).


title: Magnetoelasticity-driven phase inversion of ultrafast spin precession in NixFe100-x thin films

abstract: We present strong evidences for the deterministic role of magnetoelasticity in ultrafast spin dynamics of ferromagnetic NixFe100-x alloy films. Without a change in the crystal structure, we observed sudden Pi-phase inversion of the spin precession in the range of x = 87.0 - 97.5. In addition, it was found that the phase was continuously changed and reversed its sign by varying the pump fluence. These cannot be explained simply by temperature dependence of magnetocrystalline, demagnetizing, and Zeeman fields which have been conventionally considered so far in describing the spin dynamics. Through the temperature- and composition-dependent simulations adding the magnetoelastic field generated from the lattice thermal strain, we revealed that the conventional and magnetoelastic fields were competing around x = 95.3, where the spin dynamics showed the largest phase shift. For analytic understanding, we further show that the temperature-dependent interplay of the Curie temperature, saturation magnetization, and magnetostriction, which are demonstrated to be the most important macroscopic parameters, determines the ultrafast spin dynamics. Our extensive study emphasizes that magnetoelasticity is the key ingredient for fully understanding the driving mechanism of ultrafast spin dynamics.


title: SEM-O-RAN: Semantic and Flexible O-RAN Slicing for NextG Edge-Assisted Mobile Systems

abstract: 5G and beyond cellular networks (NextG) will support the continuous execution of resource-expensive edge-assisted deep learning (DL) tasks. To this end, Radio Access Network (RAN) resources will need to be carefully "sliced" to satisfy heterogeneous application requirements while minimizing RAN usage. Existing slicing frameworks treat each DL task as equal and inflexibly define the resources to assign to each task, which leads to sub-optimal performance. In this paper, we propose SEM-O-RAN, the first semantic and flexible slicing framework for NextG Open RANs. Our key intuition is that different DL classifiers can tolerate different levels of image compression, due to the semantic nature of the target classes. Therefore, compression can be semantically applied so that the networking load can be minimized. Moreover, flexibility allows SEM-O-RAN to consider multiple edge allocations leading to the same task-related performance, which significantly improves system-wide performance as more tasks can be allocated. First, we mathematically formulate the Semantic Flexible Edge Slicing Problem (SF-ESP), demonstrate that it is NP-hard, and provide an approximation algorithm to solve it efficiently. Then, we evaluate the performance of SEM-O-RAN through extensive numerical analysis with state-of-the-art multi-object detection (YOLOX) and image segmentation (BiSeNet V2), as well as real-world experiments on the Colosseum testbed. Our results show that SEM-O-RAN improves the number of allocated tasks by up to 169% with respect to the state of the art.


title: Data-Centric Artificial Intelligence

abstract: Data-centric artificial intelligence (data-centric AI) represents an emerging paradigm emphasizing that the systematic design and engineering of data is essential for building effective and efficient AI-based systems. The objective of this article is to introduce practitioners and researchers from the field of Information Systems (IS) to data-centric AI. We define relevant terms, provide key characteristics to contrast the data-centric paradigm to the model-centric one, and introduce a framework for data-centric AI. We distinguish data-centric AI from related concepts and discuss its longer-term implications for the IS community.


title: Closed-loop machine learning for discovery of novel superconductors

abstract: The discovery of novel materials drives industrial innovation, although the pace of discovery tends to be slow due to the infrequency of "Eureka!" moments. These moments are typically tangential to the original target of the experimental work: "accidental discoveries". Here we demonstrate the acceleration of intentional materials discovery - targeting material properties of interest while generalizing the search to a large materials space with machine learning (ML) methods. We demonstrate a closed-loop ML discovery process targeting novel superconducting materials, which have industrial applications ranging from quantum computing to sensors to power delivery. By closing the loop, i.e. by experimentally testing the results of the ML-generated superconductivity predictions and feeding data back into the ML model to refine, we demonstrate that success rates for superconductor discovery can be more than doubled. In four closed-loop cycles, we discovered a new superconductor in the Zr-In-Ni system, re-discovered five superconductors unknown in the training datasets, and identified two additional phase diagrams of interest for new superconducting materials. Our work demonstrates the critical role experimental feedback provides in ML-driven discovery, and provides definite evidence that such technologies can accelerate discovery even in the absence of knowledge of the underlying physics.


title: Multilingual News Location Detection using an Entity-Based Siamese Network with Semi-Supervised Contrastive Learning and Knowledge Base

abstract: Early detection of relevant locations in a piece of news is especially important in extreme events such as environmental disasters, war conflicts, disease outbreaks, or political turmoils. Additionally, this detection also helps recommender systems to promote relevant news based on user locations. Note that, when the relevant locations are not mentioned explicitly in the text, state-of-the-art methods typically fail to recognize them because these methods rely on syntactic recognition. In contrast, by incorporating a knowledge base and connecting entities with their locations, our system successfully infers the relevant locations even when they are not mentioned explicitly in the text. To evaluate the effectiveness of our approach, and due to the lack of datasets in this area, we also contribute to the research community with a gold-standard multilingual news-location dataset, NewsLOC. It contains the annotation of the relevant locations (and their WikiData IDs) of 600+ Wikinews articles in five different languages: English, French, German, Italian, and Spanish. Through experimental evaluations, we show that our proposed system outperforms the baselines and the fine-tuned version of the model using semi-supervised data that increases the classification rate. The source code and the NewsLOC dataset are publicly available for being used by the research community at https://github.com/vsuarezpaniagua/NewsLocation.


title: Aut(Fn) actions on representation spaces

abstract: J. Wiegold conjectured that if n>2 and G is a finite simple group, then the action of Aut(F_n) on Epi(F_n,G) is transitive. In this note we consider analogous questions where G is a compact Lie group, a non-compact simple analytic group or a simple algebraic group.


title: Multi-Frequency Channel Modeling for Millimeter Wave and THz Wireless Communication via Generative Adversarial Networks

abstract: Modern cellular systems rely increasingly on simultaneous communication in multiple discontinuous bands for macro-diversity and increased bandwidth. Multi-frequency communication is particularly crucial in the millimeter wave (mmWave) and Terahertz (THz) frequencies, as these bands are often coupled with lower frequencies for robustness. Evaluation of these systems requires statistical models that can capture the joint distribution of the channel paths across multiple frequencies. This paper presents a general neural network based methodology for training multi-frequency double directional statistical channel models. In the proposed approach, each is described as a multi-clustered set, and a generative adversarial network (GAN) is trained to generate random multi-cluster profiles where the generated cluster data includes the angles and delay of the clusters along with the vectors of random received powers, angular, and delay spread at different frequencies. The model can be readily applied for multi-frequency link or network layer simulation. The methodology is demonstrated on modeling urban micro-cellular links at 28 and 140 GHz trained from extensive ray tracing data. The methodology makes minimal statistical assumptions and experiments show the model can capture interesting statistical relationships between frequencies.


title: Librationist cum classical set theories

abstract: A librationist set theory \pounds ${}$ is developed. It descends from semantics for truth, initiated by by Kripke, Herzberger, Gupta and others. # extends the system \pounds, of Librationist closures of the paradoxes in Logic and Logical Philosophy 21(4), 323-361, 2012. The focus is upon the paradoxes in theories of sets. A central result is that the extension #$\mathscr{HR}(\mathbf{D})$, of #, accounts for $\mathbf{NBG}$ set theory, with the global Axiom of Choice and Tarski's Axiom. Moreover, # also succeeds with defining an impredicative manifestation set $\mathbf{W}$, $\mathit{die \ Welt}$, so that #$\mathscr{H}(\mathbf{W})$ accounts for Quine's $\mathbf{NF}$. Nevertheless, the points of view developed support the view that the truth-paradoxes and the set-paradoxes have common origins, so that the librationist resolutions of the set theoretic paradoxes at the same time are resolutions of the truth theoretic paradoxes. Both the librationist resolutions of the set theoretic paradoxes and the truth theoretic paradoxes have non-trivial implications: librationist set theories have the consequence that there are no absolutely uncountable sets, and librationist truth theories allow the use of syntactical modalities in ways which circumvent well known limitations, first pointed out by Montague in 1963. So librationism has a truth predicate which is useful for more precise discourse, and # retains the ideology of the author's 2012 article, that the set theoretic universe is countable. But the set within which $\mathbf{NBG}$ is interpreted "believes" that there are sets which are uncountable. The situation is analyzed much as by Skolem, though it is not suggested that the notion of $\mathit{set}$ is imprecise: for the bijection from the set of finite von Neumann ordinals to the full universe is not a member of a classical set theory.


title: Towards a Unified Model of Neutrino-Nucleus Interactions

abstract: The achievement of the goals of the ongoing and future accelerator-based neutrino experiments - notably the determination of CP violating phase in the lepton sector - will require the development of advanced models of neutrino-nucleus interactions. In this review, we summarise the present status of experimental studies of neutrino-nucleus scattering, and discuss the developments and perspectives of the theoretical approach based on factorisation of the nuclear cross section, which has recently emerged as a promising framework for the description of the variety of processes contributing to the detected signals.


title: Radiative decays of the charmed mesons in a modified relativistic quark model

abstract: In the present work, we perform systematic estimations for the radiative decays of the charmed mesons in a modified relativistic quark model. Our estimations indicate that the branching ratios of the process of $D_2^0(1^3P_2) \to D^{\ast 0}(1^3S_1) \gamma$, $D_3^0(1D_3) \to D_2^0(1^3P_2) \gamma$, $D_2^0(2D_2^\prime) \to D_1^{0}(2P_1) \gamma$, $D_3^0(2^3D_3) \to D_2^0(2^3P_2) \gamma$, and $D^{\ast 0}(1^3S_1) \to D^0(1^1S_0) \gamma$ are of the order of $10^{-2}$, which are sizable to be detected experimentally. Moreover, the branching ratios of some channels, for example, $D_1^0(1P_1) \to D(1^1S_0)^0 \gamma$, $D^0(3^1S_0) \to D_1^{\prime 0}(2P^\prime_{1}) \gamma$ and $D^0(3^3S_1) \to D_2^0(2^3P_2) \gamma$ are estimated to be of the order of $10^{-3}$, which may be accessible with the accumulation of data in future experiments.


title: Reduce&chop: Shallow circuits for deeper problems

abstract: State-of-the-art quantum computers can only reliably execute circuits with limited qubit numbers and computational depth. This severely reduces the scope of algorithms that can be run. While numerous techniques have been invented to exploit few-qubit devices, corresponding schemes for depth-limited computations are less explored. This work investigates to what extent we can mimic the performance of a deeper quantum computation by repeatedly using a shallower device. We propose a method for this purpose, inspired by Feynman simulation, where a given circuit is chopped in two pieces. The first piece is executed and measured early on, and the second piece is run based on the previous outcome. This method is inefficient if applied in a straightforward manner due to the high number of possible outcomes. To mitigate this issue, we propose a shallow variational circuit, whose purpose is to maintain the complexity of the method within pre-defined tolerable limits, and provide a novel optimisation method to find such circuit. The composition of these components of the methods is called reduce\&chop. As we discuss, this approach works for certain cases of interest. We believe this work may stimulate new research towards exploiting the potential of shallow quantum computers.


title: Laser Cooling of Trapped Ions in Strongly Inhomogeneous Magnetic Fields

abstract: Hybrid traps for the simultaneous confinement of neutrals and ions have recently emerged as versatile tools for studying interactions between these species at very low temperatures. Such traps rely on the combination of different types of external fields for the confinement of either species raising the question of interactions between the individual traps. Here, the influence of a strongly inhomogeneous magnetic field used for trapping neutrals on the trapping and laser cooling of a single Ca$^+$ ion in a radiofrequency ion trap is studied theoretically using molecular-dynamics simulations based on multilevel rate equations. The inhomogeneous magnetic field couples the different components of the ion motion and introduces position-dependent Zeeman splittings. Nonetheless, laser cooling is still found to work efficiently as the ion samples different magnetic field strengths and directions along its trajectory. Offsetting the centres of the two traps generates a linear magnetic-field gradient so that multiple lasers are required to address the resulting range of Zeeman splittings in order to ensure efficient cooling. The present study yields detailed insights into the ion cooling dynamics in combined magnetic and radiofrequency electric fields relevant for the characterisation and optimisation of hybrid trapping experiments.


title: How can we combat online misinformation? A systematic overview of current interventions and their efficacy

abstract: The spread of misinformation is a pressing global problem that has elicited a range of responses from researchers, policymakers, civil society and industry. Over the past decade, these stakeholders have developed many interventions to tackle misinformation that vary across factors such as which effects of misinformation they hope to target, at what stage in the misinformation lifecycle they are aimed at, and who they are implemented by. These interventions also differ in how effective they are at reducing susceptibility to (and curbing the spread of) misinformation. In recent years, a vast amount of scholarly work on misinformation has become available, which extends across multiple disciplines and methodologies. It has become increasingly difficult to comprehensively map all of the available interventions, assess their efficacy, and understand the challenges, opportunities and tradeoffs associated with using them. Few papers have systematically assessed and compared the various interventions, which has led to a lack of understanding in civic and policymaking discourses. With this in mind, we develop a new hierarchical framework for understanding interventions against misinformation online. The framework comprises three key elements: Interventions that Prepare people to be less susceptible; Interventions that Curb the spread and effects of misinformation; and Interventions that Respond to misinformation. We outline how different interventions are thought to work, categorise them, and summarise the available evidence on their efficacy; offering researchers, policymakers and practitioners working to combat online misinformation both an analytical framework that they can use to understand and evaluate different interventions (and which could be extended to address new interventions that we do not describe here) and a summary of the range of interventions that have been proposed to date.


title: Weak vertical composition

abstract: We study semi-strict tricategories in which the only weakness is in vertical composition. We construct these as categories enriched in the category of bicategories with strict functors, with respect to the cartesian monoidal structure. As these are a form of tricategory it follows that doubly-degenerate ones are braided monoidal categories. We show that this form of semi-strict tricategory is weak enough to produce all braided monoidal categories. That is, given any braided monoidal category $B$ there is a doubly-degenerate ``vertically weak'' semi-strict tricategory whose associated braided monoidal category is braided monoidal equivalent to $B$.


title: Who Ate My Memory? Towards Attribution in Memory Management

abstract: To understand applications' memory usage details, engineers use instrumented builds and profiling tools. Both approaches are impractical for use in production environments or deployed mobile applications. As a result, developers can gather only high-level memory-related statistics for deployed software. In our experience, the lack of granular field data makes fixing performance and reliability-related defects complex and time-consuming. The software industry needs lightweight solutions to collect detailed data about applications' memory usage to increase developer productivity. Current research into memory attribution-related data structures, techniques, and tools is in the early stages and enables several new research avenues.


title: Zeros of a growing number of derivatives of random polynomials with independent roots

abstract: Let $X_1,X_2,\ldots$ be independent and identically distributed random variables in $\mathbb{C}$ chosen from a probability measure $\mu$ and define the random polynomial $$ P_n(z)=(z-X_1)\ldots(z-X_n)\,. $$ We show that for any sequence $k = k(n)$ satisfying $k \leq \log n / (5 \log\log n)$, the zeros of the $k$th derivative of $P_n$ are asymptotically distributed according to the same measure $\mu$. This extends work of Kabluchko, which proved the $k = 1$ case, as well as Byun, Lee and Reddy who proved the fixed $k$ case.