title: The Observable Supernova Rate in Galaxy-Galaxy Lensing Systems with the TESS Satellite

abstract: The Transiting Exoplanet Survey Satellite (TESS) is the latest observational effort to find exoplanets and map bright transient optical phenomena. Supernovae (SN) are particularly interesting as cosmological standard candles for cosmological distance measures. The limiting magnitude of TESS strongly constrains supernova detection to the very nearby Universe ($m \sim$ 19, $z<0.05$). We explore the possibility that more distant supernovae that are gravitationally lensed and magnified by a foreground galaxy can be detected by TESS, an opportunity to measure the time delay between light paths and constrain the Hubble constant independently. We estimate the rate of occurrence of such systems, assuming reasonable distributions of magnification, host dust attenuation and redshift. There are approximately 16 type Ia and 43 core-collapse SN (SNcc) expected to be observable with TESS each year, which translates to 18% and 43% chance of detection per year, respectively. Monitoring the largest collections of known strong galaxy-galaxy lenses from Petrillo et al., this translates into 0.6% and 1.3% chances of a SNIa and SNcc per year. The TESS all-sky detection rates are lower than those of the Zwicky Transient Facility (ZTF) and Vera Rubin Observatory. However, on the ecliptic poles, TESS performs almost as well as its all-sky search thanks to its continuous coverage: 2 and 4% chance of an observed SN (Ia or cc) each year. These rates argue for timely processing of full-frame TESS imaging to facilitate follow-up and should motivate further searches for low-redshift lensing system.


title: Speed Planning Using Bezier Polynomials with Trapezoidal Corridors

abstract: To generate safe and real-time trajectories for an autonomous vehicle in dynamic environments, path and speed decoupled planning methods are often considered. This paper studies speed planning, which mainly deals with dynamic obstacle avoidance given the planning path. The main challenges lie in the decisions in non-convex space and the trade-off between safety, comfort and efficiency performances. This work uses dynamic programming to search heuristic waypoints on the S-T graph and to construct convex feasible spaces. Further, a piecewise Bezier polynomials optimization approach with trapezoidal corridors is presented, which theoretically guarantees the safety and optimality of the trajectory. The simulations verify the effectiveness of the proposed approach.


title: Equal-norm parseval K-frames in Hilbert Spaces

abstract: In this paper, we focus on frames of operators or K-frames on Hilbert spaces in Parseval cases. Since equal-norm tight frames play important roles for robust data transmission, we aim to study this topics on Parseval K-frames. We will show that each finite set of equal-norms of vectors can be extended to an equal-norm K-frame. Also, we present a correspondence between Parseval K-frames and the set of all closed subspaces of a finite Hilbert space. Finally, a construction of equal-norm dual K-frames will be introduced.


title: Dynamical Clustering Interrupts Motility Induced Phase Separation in Chiral Active Brownian Particles

abstract: One of the most intriguing phenomena in active matter has been the gas-liquid like motility induced phase separation (MIPS) observed in repulsive active particles. However, experimentally no particle can be a perfect sphere, and the asymmetric shape, mass distribution or catalysis coating can induce an active torque on the particle, which makes it a chiral active particle. Here using computer simulations and dynamic mean-field theory, we demonstrate that the large enough torque of circle active Brownian particles (cABPs) in two dimensions generates a dynamical clustering state interrupting the conventional MIPS. Multiple clusters arise from the combination of the conventional MIPS cohesion, and the circulating current caused disintegration. The non-vanishing current in non-equilibrium steady states microscopically originates from the motility ``relieved'' by automatic rotation, which breaks the detailed balance at the continuum level. This suggests that no equilibrium-like phase separation theory can be constructed for chiral active colloids even with tiny active torque, in which no visible collective motion exists. This mechanism also sheds light on the understanding of dynamic clusters observed in a variety of active matter systems.


title: Interstitialcy-based reordering kinetics of Ni$_3$Al precipitates in irradiated Ni-based super alloys

abstract: Neutron irradiation tends to promote disorder in ordered alloys through the action of the thermal spikes that it generates, while simultaneously introducing point defects and defect clusters. As they migrate, these point defects will promote reordering of the alloys, acting against irradiation-induced disordering. In this study, classical molecular dynamics and a highly parallel accelerated sampling method are used to study the reordering kinetics of Ni$_3$Al under the diffusion of self-interstitial atoms (SIA). By monitoring the order parameter and potential energy from atomistic simulations, we show that the SIA acts as a reordering agent in Ni$_3$Al. A mean-field rate theory model of the interstitialcy-based reordering kinetics is introduced, which reproduces simulation data and predicts reordering at temperatures as low as 500 K.


title: Numerical Methods for the Hyperbolic Monge-Amp\`ere Equation Based on the Method of Characteristics

abstract: We present three alternative derivations of the method of characteristics (MOC) for a second order nonlinear hyperbolic partial differential equation. The MOC gives rise to two mutually coupled systems of ordinary differential equations. As a special case we consider the Monge-Amp\`ere equation, for which we solve the system of ODE's using explicit one-step methods (Euler, Runge-Kutta) and spline interpolation. Numerical examples demonstrate the performance of the methods.


title: Automatic Grasp Pose Generation for Parallel Jaw Grippers

abstract: This paper presents a novel approach for the automatic offline grasp pose synthesis on known rigid objects for parallel jaw grippers. We use several criteria such as gripper stroke, surface friction, and a collision check to determine suitable 6D grasp poses on an object. In contrast to most available approaches, we neither aim for the best grasp pose nor for as many grasp poses as possible, but for a highly diverse set of grasps distributed all along the object. In order to accomplish this objective, we employ a clustering algorithm to the sampled set of grasps. This allows to simultaneously reduce the set of grasp pose candidates and maintain a high variance in terms of position and orientation between the individual grasps. We demonstrate that the grasps generated by our method can be successfully used in real-world robotic grasping applications.


title: Size-effect at finite temperature in a quark-antiquark effective model in phase space

abstract: A quark-antiquark effective model is studied in a toroidal topology at finite temperature. The model is described by a Schr\"odinger equation with linear potential which is embedded in a torus. The following aspects are analysed: (i) the nonclassicality structure using the Wigner function formalism; (ii) finite temperature and size-effects are studied by a generalization of Thermofield Dynamics written in phase space; (iii) in order to include the spin of the quark, Pauli-like Schr\"odinger equation is used; (iv) analysis of the size-effect is considered to observe the fluctuation in the ground state. The size effect goes to zero at zero, finite and high temperatures. The results emphasize that the spin is a central aspect for this quark-antiquark effective model.


title: Spontaneous symmetry breaking in finite systems and anomalous order-parameter correlations

abstract: We show that the spontaneous symmetry breaking can be defined also for finite systems based on the properly defined jump probability between the ground states in the 2d and 3d Ising models on a square and a cubic lattice respectively. Our analysis reveals the existence of an interval in the temperature (control parameter) space within which the spontaneous symmetry breaking takes place. The upper limit of this region is the pseudocritical point where the symmetric vacuum bifurcates in energetically degenerate non-symmetric vacua, initiating the spontaneous symmetry breaking process. The lower limit, identified as the temperature value at which the spontaneous symmetry breaking is completed, is characterized by maximal characteristic time for the decay of magnetization (order parameter) auto-correlations. We argue that this anomalous enhancement of auto-correlations is attributed to the transition from type I to on-off intermittency in the order parameter dynamics. Possible phenomenological implications of this behaviour are briefly discussed.


title: Online smart charging algorithm with asynchronous electric vehicles demand

abstract: The increasing penetration of Electric Vehicles (EVs) and renewable energies into the grid necessitates tools to smooth the demand curve. To this end, this paper suggests an EV charging scheduling algorithm and a smart charging price. As EVs arrive at the charging station and leave at different times, the operator of the station applies at each EV arrival an online scheduling algorithm based on the concept of "water filling. The EV charging price is guaranteed at their arrival and defined as a function of the online algorithm's output, following the idea of locational marginal pricing. A numerical comparison with the offline version of the algorithm -- in which the operator knows in advance all future arrival and departure times -- shows the efficiency of the suggested online scheduling algorithm.


title: Entangled Two-Photon Absorption Spectroscopy with Varying Pump Wavelength

abstract: In virtual-state spectroscopy, information about the energy-level structure of an arbitrary sample is retrieved by Fourier transforming sets of measured two-photon absorption probabilities of entangled photon pairs where the degree of entanglement and the delay time between the photons have been varied. This works well for simple systems but quickly becomes rather difficult when many intermediate states are involved. We propose and discuss an extension of entangled two-photon absorption spectroscopy that solves this problem by means of repeated measurements at different pump wavelengths. Specifically, we demonstrate that our extension works well for a variety of realistic experimental setups.


title: Search for $Q \sim 0$ order near a forbidden Bragg position in Bi$_{2.1}$Sr$_{1.9}$CaCu$_2$O$_{8+x}$ with resonant soft x-ray scattering

abstract: Identifying what broken symmetries are present in the cuprates has become a major area of research. Many authors have reported evidence for so-called "$Q \sim 0$" order that involves broken inversion, mirror, chiral, or time-reversal symmetry that is uniform in space. Not all these observations are well understood and new experimental probes are needed. Here we use resonant soft x-ray scattering (RSXS) to search for $Q \sim 0$ order in Bi$_{2.1}$Sr$_{1.9}$CaCu$_2$O$_{8+x}$ (Bi-2212) by measuring the region of a forbidden Bragg peak, $(0,0,3)$, which is normally extinguished by symmetry but may become allowed on resonance if valence band order is present. Using circularly polarized light, we found that this reflection becomes allowed on the Cu $L_3$ resonance for temperatures $T_c < T < T^\ast$, though remains absent in linear polarization and at other temperatures. This observation suggests the existence of spatially uniform valence band order near the pseudogap temperature. In addition, we observed periodic oscillations in the specular reflectivity from the sample surface that resemble thin film interference fringes, though no known film is present. These fringes are highly resonant, appear in all polarizations, and exhibit a period that depends on the location where the beam strikes the sample surface. We speculate that these fringes arise from interaction between some intrinsic valence band instability and extrinsic structural surface morphologies of the material. Our study supports the existence of some kind of $Q \sim 0$ broken symmetry state in Bi-2212 at intermediate temperatures, and calls for further study using a microfocused beam that could disentangle microscopic effects from macroscopic heterogeneities.


title: Modelling on the very large-scale connectome

abstract: In this review, we discuss critical dynamics of simple nonequilibrium models on large connectomes, obtained by diffusion MRI, representing the white matter of the human brain. In the first chapter, we overview graph theoretical and topological analysis of these networks, pointing out that universality allows selecting a representative network, the KKI-18, which has been used for dynamical simulation. The critical and sub-critical behaviour of simple, two- or three-state threshold models is discussed with special emphasis on rare-region effects leading to robust Griffiths Phases (GP). Numerical results of synchronization phenomena, studied by the Kuramoto model, are also shown, leading to a continuous analog of the GP, termed frustrated synchronization. The models presented here exhibit dynamical scaling behaviour with exponents in agreement with brain experimental data if local homeostasis is provided.

categories: cond-mat.stat-mech cond-mat.dis-nn physics.bio-ph q-bio.NC


title: Deep Learning for Bayesian Optimization of Scientific Problems with High-Dimensional Structure

abstract: Bayesian optimization (BO) is a popular paradigm for global optimization of expensive black-box functions, but there are many domains where the function is not completely a black-box. The data may have some known structure (e.g. symmetries) and/or the data generation process may be a composite process that yields useful intermediate or auxiliary information in addition to the value of the optimization objective. However, surrogate models traditionally employed in BO, such as Gaussian Processes (GPs), scale poorly with dataset size and do not easily accommodate known structure. Instead, we use Bayesian neural networks, a class of scalable and flexible surrogate models with inductive biases, to extend BO to complex, structured problems with high dimensionality. We demonstrate BO on a number of realistic problems in physics and chemistry, including topology optimization of photonic crystal materials using convolutional neural networks, and chemical property optimization of molecules using graph neural networks. On these complex tasks, we show that neural networks often outperform GPs as surrogate models for BO in terms of both sampling efficiency and computational cost.

categories: cs.LG physics.app-ph physics.chem-ph physics.comp-ph physics.optics


title: A geometric free field realisation for the genus-two class $\mathcal{S}$ theory of type $\mathfrak{a}_1$

abstract: We present a free field realisation for the vertex operator algebra associated to the genus-two, class $\mathcal{S}$ superconformal field theory of type $\mathfrak{a}_1$. The free field realisation is in the style of recent work by the authors, and is formulated in terms of a one-dimensional isotropic lattice vertex algebra along with two pairs of symplectic fermions. Our realisation makes manifest an enhanced ${\rm USp}(4)$ outer automorphism group of the VOA that is inherited from the symplectic fermion system. This extends an ${\rm SU(2)}$ outer automorphism that has been observed in recent work of Kiyoshige and Nishinaka and significantly simplifies the structure of the algebra. Along the way, we also produce a realisation of the generic subregular Drinfel'd-Sokolov $\mathcal{W}$ algebra of type $\mathcal{c}_2$ in terms of the generic principle $\mathcal{W}$ algebra of type $\mathfrak{c}_2$ and a one-dimensional isotropic lattice vertex algebra.


title: Dissipative phase transition in systems with two-photon drive and nonlinear dissipation near the critical point

abstract: We study dissipative phase transition near the critical point for a system with two-photon driving and nonlinear dissipation. The proposed mean-field theory, which explicitly takes into account quantum fluctuations, allowed us to describe properly the evolution dynamics of the system and to demonstrate the new effects in the steady-state. We show that the presence of quantum fluctuations leads to a power-law dependence of the anomalous average at the phase transition point, with which the critical exponent is associated. Also, we investigate the effect of the quantum fluctuations on the critical point renormalization and demonstrate the existence of a two-photon pump threshold. It is noteworthy that the obtained results are in a good agreement with the numerical simulations.


title: The Metric Relaxation for $0$-Extension Admits an $\Omega(\log^{2/3}{k})$ Gap

abstract: We consider the $0$-Extension problem, where we are given an undirected graph $\mathcal{G}=(V,E)$ equipped with non-negative edge weights $w:E\rightarrow \mathbb{R}^+$, a collection $ T=\{ t_1,\ldots,t_k\}\subseteq V$ of $k$ special vertices called terminals, and a semi-metric $D$ over $T$. The goal is to assign every non-terminal vertex to a terminal while minimizing the sum over all edges of the weight of the edge multiplied by the distance in $D$ between the terminals to which the endpoints of the edge are assigned. $0$-Extension admits two known algorithms, achieving approximations of $O(\log{k})$ [C{\u{a}}linescu-Karloff-Rabani SICOMP '05] and $O(\log{k}/\log{\log{k}})$ [Fakcharoenphol-Harrelson-Rao-Talwar SODA '03]. Both known algorithms are based on rounding a natural linear programming relaxation called the metric relaxation, in which $D$ is extended from $T$ to the entire of $V$. The current best known integrality gap for the metric relaxation is $\Omega (\sqrt{\log{k}})$. In this work we present an improved integrality gap of $\Omega(\log^{\frac{2}{3}}k)$ for the metric relaxation. Our construction is based on the randomized extension of one graph by another, a notion that captures lifts of graphs as a special case and might be of independent interest. Inspired by algebraic topology, our analysis of the gap instance is based on proving no continuous section (in the topological sense) exists in the randomized extension.


title: Reduced model for capillary breakup with thermal gradients: Predictions and computational validation

abstract: It was recently demonstrated that feeding a silicon-in-silica coaxial fibre into a flame$\mathord{-}$imparting a steep silica viscosity gradient$\mathord{-}$results in the formation of silicon spheres whose size is controlled by the feed speed [Gumennik et al., Nat.Commun. 4, 2216 (2013)]. A reduced model to predict the droplet size from the feed speed was then derived by Mowlavi et al. [Phys. Rev. Fluids. 4, 064003 (2019)], but large experimental uncertainties in the parameter values and temperature profile made quantitative validation of the model impossible. Here, we validate the reduced model against fully-resolved three-dimensional axisymmetric Stokes simulations using the exact same physical parameters and temperature profile. We obtain excellent quantitative agreement for a wide range of experimentally relevant feed speeds. Surprisingly, we also observe that the local capillary number at the breakup location remains almost constant across all feed speeds. Owing to its low computational cost, the reduced model is therefore a useful tool for designing future experiments.


title: Uniformly accurate low regularity integrators for the Klein--Gordon equation from the classical to non-relativistic limit regime

abstract: We propose a novel class of uniformly accurate integrators for the Klein--Gordon equation which capture classical $c=1$ as well as highly-oscillatory non-relativistic regimes $c\gg1$ and, at the same time, allow for low regularity approximations. In particular, the schemes converge with order $\tau$ and $\tau^2$, respectively, under lower regularity assumptions than classical schemes, such as splitting or exponential integrator methods, require. The new schemes in addition preserve the nonlinear Schr\"odinger (NLS) limit on the discrete level. More precisely, we will design our schemes in such a way that in the limit $c\to \infty$ they converge to a recently introduced class of low regularity integrators for NLS.


title: Deep Learning Based Assessment of Synthetic Speech Naturalness

abstract: In this paper, we present a new objective prediction model for synthetic speech naturalness. It can be used to evaluate Text-To-Speech or Voice Conversion systems and works language independently. The model is trained end-to-end and based on a CNN-LSTM network that previously showed to give good results for speech quality estimation. We trained and tested the model on 16 different datasets, such as from the Blizzard Challenge and the Voice Conversion Challenge. Further, we show that the reliability of deep learning-based naturalness prediction can be improved by transfer learning from speech quality prediction models that are trained on objective POLQA scores. The proposed model is made publicly available and can, for example, be used to evaluate different TTS system configurations.


title: Genetic Constrained Graph Variational Autoencoder for COVID-19 Drug Discovery

abstract: In the past several months, COVID-19 has spread over the globe and caused severe damage to the people and the society. In the context of this severe situation, an effective drug discovery method to generate potential drugs is extremely meaningful. In this paper, we provide a methodology of discovering potential drugs for the treatment of Severe Acute Respiratory Syndrome Corona-Virus 2 (commonly known as SARS-CoV-2). We proposed a new model called Genetic Constrained Graph Variational Autoencoder (GCGVAE) to solve this problem. We trained our model based on the data of various viruses' protein structure, including that of the SARS, HIV, Hep3, and MERS, and used it to generate possible drugs for SARS-CoV-2. Several optimization algorithms, including valency masking and genetic algorithm, are deployed to fine tune our model. According to the simulation, our generated molecules have great effectiveness in inhibiting SARS-CoV-2. We quantitatively calculated the scores of our generated molecules and compared it with the scores of existing drugs, and the result shows our generated molecules scores much better than those existing drugs. Moreover, our model can be also applied to generate effective drugs for treating other viruses given their protein structure, which could be used to generate drugs for future viruses.


title: Output Regulation of Linear Stochastic Systems

abstract: We address the output regulation problem for a general class of linear stochastic systems. Specifically, we formulate and solve the ideal full-information and output-feedback problems, obtaining perfect, but non-causal, asymptotic regulation. A characterisation of the problem solvability is deduced. We point out that the ideal problems cannot be solved in practice because they unrealistically require that the Brownian motion affecting the system is available for feedback. Drawing from the ideal solution, we formulate and solve approximate versions of the full-information and output-feedback problems, which do not yield perfect asymptotic tracking but can be solved in a realistic scenario. These solutions rely on two key ideas: first we introduce a discrete-time a-posteriori estimator of the variations of the Brownian motion obtained causally by sampling the system state or output; second we introduce a hybrid state observer and a hybrid regulator scheme which employ the estimated Brownian variations. The approximate solution tends to the ideal as the sampling period tends to zero. The proposed theory is validated by the regulation of a circuit subject to electromagnetic noise.


title: Synthesis of Deceptive Strategies in Reachability Games with Action Misperception (Technical Report)

abstract: Strategic deception is an act of manipulating the opponent's perception to gain strategic advantages. In this paper, we study synthesis of deceptive winning strategies in two-player turn-based zero-sum reachability games on graphs with one-sided incomplete information of action sets. In particular, we consider the class of games in which Player 1 (P1) starts with a non-empty set of private actions, which she may 'reveal' to Player 2 (P2) during the course of the game. P2 is equipped with an inference mechanism using which he updates his perception of P1's action set whenever a new action is revealed. Under this information structure, the objective of P1 is to reach a set of goal states in the game graph while that of P2 is to prevent it. We address the question: how can P1 leverage her information advantages to deceive P2 into choosing actions that in turn benefit P1? To this end, we introduce a dynamic hypergame model to capture the reachability game with evolving misperception of P2. Analyzing the game qualitatively, we design algorithms to synthesize deceptive sure and almost-sure winning regions, and establish two key results: (1) under sure-winning condition, deceptive winning strategy is equivalent to the non-deceptive winning strategy - i.e. use of deception has no advantages, (2) under almost-sure winning condition, the deceptive winning strategy could be more powerful than the non-deceptive strategy. We illustrate our algorithms using a capture-the-flag game, and demonstrate the use of proposed approach to a larger class of games with temporal logic objectives.


title: Rapid Detection of Aircrafts in Satellite Imagery based on Deep Neural Networks

abstract: Object detection is one of the fundamental objectives in Applied Computer Vision. In some of the applications, object detection becomes very challenging such as in the case of satellite image processing. Satellite image processing has remained the focus of researchers in domains of Precision Agriculture, Climate Change, Disaster Management, etc. Therefore, object detection in satellite imagery is one of the most researched problems in this domain. This paper focuses on aircraft detection. in satellite imagery using deep learning techniques. In this paper, we used YOLO deep learning framework for aircraft detection. This method uses satellite images collected by different sources as learning for the model to perform detection. Object detection in satellite images is mostly complex because objects have many variations, types, poses, sizes, complex and dense background. YOLO has some limitations for small size objects (less than$\sim$32 pixels per object), therefore we upsample the prediction grid to reduce the coarseness of the model and to accurately detect the densely clustered objects. The improved model shows good accuracy and performance on different unknown images having small, rotating, and dense objects to meet the requirements in real-time.


title: A Case for Fine-grain Coherence Specialization in Heterogeneous Systems

abstract: Hardware specialization is becoming a key enabler of energyefficient performance. Future systems will be increasingly heterogeneous, integrating multiple specialized and programmable accelerators, each with different memory demands. Traditionally, communication between accelerators has been inefficient, typically orchestrated through explicit DMA transfers between different address spaces. More recently, industry has proposed unified coherent memory which enables implicit data movement and more data reuse, but often these interfaces limit the coherence flexibility available to heterogeneous systems. This paper demonstrates the benefits of fine-grained coherence specialization for heterogeneous systems. We propose an architecture that enables low-complexity independent specialization of each individual coherence request in heterogeneous workloads by building upon a simple and flexible baseline coherence interface, Spandex. We then describe how to optimize individual memory requests to improve cache reuse and performance-critical memory latency in emerging heterogeneous workloads. Collectively, our techniques enable significant gains, reducing execution time by up to 61% or network traffic by up to 99% while adding minimal complexity to the Spandex protocol.


title: On the Optimal Power Allocation and User Pairing for Uplink Non-Orthogonal Multiple Access Networks

abstract: In this paper, we derive the optimal user pairing and power allocation in uplink non orthogonal multiple access (NOMA) networks. The optimal power allocation that maximizes the sum rate is found for two user NOMA networks, while ensuring that the individual rates of NOMA users are at least equal to those they would achieve with orthogonal multiple access (OMA). Next, we prove that in a 2K user network and when the optimal power allocation is used, the optimal pairing reduces to pairing the user with index k to the user with index 2K-k+1, i.e., the user with the best channel condition and the one with the worst channel condition are paired together, the second best with the second worst and so on. Finally, the expressions of the corresponding optimal NOMA power coefficients are derived analytically for networks with more than two users. With these expressions at hand, our simulation results validate the superiority of NOMA over OMA in terms of sum rates.


title: The Location of Young Pulsar PSR J0837$-$2454: Galactic Halo or Local Supernova Remnant?

abstract: We present the discovery and timing of the young (age $\sim 28.6$ kyr) pulsar PSR J0837$-$2454. Based on its high latitude ($b = 9.8^{\circ}$) and dispersion measure (DM $ = 143$~pc~cm$^{-3}$), the pulsar appears to be at a $z$-height of $>$1 kpc above the Galactic plane, but near the edge of our Galaxy. This is many times the observed scale height of the canonical pulsar population, which suggests this pulsar may have been born far out of the plane. If accurate, the young age and high $z$-height imply that this is the first pulsar known to be born from a runaway O/B star. In follow-up imaging with the Australia Telescope Compact Array (ATCA), we detect the pulsar with a flux density $S_{1400} = 0.18 \pm 0.05$ mJy. We do not detect an obvious supernova remnant around the pulsar in our ATCA data, but we detect a co-located, low-surface-brightness region of $\sim$1.5$^\circ$ extent in archival Galactic and Extragalactic All-sky MWA Survey data. We also detect co-located H$\alpha$ emission from the Southern H$\alpha$ Sky Survey Atlas. Distance estimates based on these two detections come out to $\sim$0.9 kpc and $\sim$0.2 kpc respectively, both of which are much smaller than the distance predicted by the NE2001 model ($6.3$ kpc) and YMW model ($>25$ kpc) and place the pulsar much closer to the plane of the Galaxy. If the pulsar/remnant association holds, this result also highlights the inherent difficulty in the classification of transients as "Galactic" (pulsar) or "extragalactic" (fast radio burst) toward the Galactic anti-center based solely on the modeled Galactic electron contribution to a detection.


title: Interventional Aspect-Based Sentiment Analysis

abstract: Recent neural-based aspect-based sentiment analysis approaches, though achieving promising improvement on benchmark datasets, have reported suffering from poor robustness when encountering confounder such as non-target aspects. In this paper, we take a causal view to addressing this issue. We propose a simple yet effective method, namely, Sentiment Adjustment (SENTA), by applying a backdoor adjustment to disentangle those confounding factors. Experimental results on the Aspect Robustness Test Set (ARTS) dataset demonstrate that our approach improves the performance while maintaining accuracy in the original test set.


title: Optimizing Coherence Suppression in a Laser Broadened by Phase Modulation with Noise

abstract: Phase noise can be modulated onto the output of a laser with an electro-optic phase modulator (EOM) to create a highly incoherent broadened source with low intensity noise. This technique leaves a small but finite fraction of the coherent carrier power that can be highly detrimental in applications requiring incoherent light. This paper shows that the carrier suppression in a laser broadened by this technique can be calculated for an arbitrary noise probability density function. The carrier suppression can be varied experimentally by adjusting the noise voltage standard deviation $Gv_{\sigma}$ and saturation voltage $V_{sat}$ of the amplifier that amplifies the noise source that drives the EOM. Simulations show that suppressions better than -30 dB are attainable for reasonable tolerances in $Gv_{\sigma}$, for example an EOM with a $V_{\pi}$ of 4.7 V, a $V_{sat}$ of 6.3V, and $Gv_{\sigma}/V_{\pi} = 0.73\pm0.03$. Even greater tolerances can be achieved with a higher $V_{sat}$ (21 V), lower $V_\pi$ (3.5 V), and $Gv_{\sigma}/V_{\pi} \approx 3.2 \pm 2.3$. This model aids in selecting these parameters such that the carrier suppression is resilient to fluctuations in these voltages due to temperature variations and aging of the components. The model predictions are validated by testing a fiber optic gyroscope interrogated with a broadened laser for various $Gv_{\sigma}$ and $V_{sat}$ and inferring the carrier suppression from its measured noise. A -44-dB carrier suppression was observed for a nonlinear amplifier with $Gv_{\sigma}$ = 3.43 V, $V_{sat}$ = 6.3 V, and an EOM with $V_{\pi}$ = 4.7 V, in agreement with predictions.


title: Establishing phone-pair co-usage by comparing mobility patterns

abstract: In forensic investigations it is often of value to establish whether two phones were used by the same person during a given time period. We present a method that uses time and location of cell tower registrations of mobile phones to assess the strength of evidence that any pair of phones were used by the same person. The method is transparent as it uses logistic regression to discriminate between the hypotheses of same and different user, and a standard kernel density estimation to quantify the weight of evidence in terms of a likelihood ratio. We further add to previous theoretical work by training and validating our method on real world data, paving the way for application in practice. The method shows good performance under different modeling choices and robustness under lower quantity or quality of data. We discuss practical usage in court.


title: Pricing Asian Options with Correlators

abstract: We derive a series expansion by Hermite polynomials for the price of an arithmetic Asian option. This series requires the computation of moments and correlators of the underlying price process, but for a polynomial jump-diffusion, these are given in closed form, hence no numerical simulation is required to evaluate the series. This allows, for example, for the explicit computation of Greeks. The weight function defining the Hermite polynomials is a Gaussian density with scale $b$. We find that the rate of convergence for the series depends on $b$, for which we prove a lower bound to guarantee convergence. Numerical examples show that the series expansion is accurate but unstable for initial values of the underlying process far from zero, mainly due to rounding errors.


title: Generating Continuous Motion and Force Plans in Real-Time for Legged Mobile Manipulation

abstract: Manipulators can be added to legged robots, allowing them to interact with and change their environment. Legged mobile manipulation planners must consider how contact forces generated by these manipulators affect the system. Current planning strategies either treat these forces as immutable during planning or are unable to optimize over these contact forces while operating in real-time. This paper presents the Stability and Task Oriented Receding-Horizon Motion and Manipulation Autonomous Planner (STORMMAP) that is able to generate continuous plans for the robot's motion and manipulation force trajectories that ensure dynamic feasibility and stability of the platform, and incentivizes accomplishing manipulation and motion tasks specified by a user. STORMMAP uses a nonlinear optimization problem to compute these plans and is able to run in real-time by assuming contact locations are given a-priori, either by a user or an external algorithm. A variety of simulated experiments on a quadruped with a manipulator mounted to its torso demonstrate the versatility of STORMMAP. In contrast to existing state of the art methods, the approach described in this paper generates continuous plans in under ten milliseconds, an order of magnitude faster than previous strategies.


title: On the spectral asymptotics for the buckling problem

abstract: We provide a direct proof of Weyl's law for the buckling eigenvalues of the biharmonic operator on a wide class of domains of $\mathbb R^d$ including bounded Lipschitz domains. The proof relies on asymptotically sharp lower and upper bounds that we develop for the Riesz mean $R_2(z)$. Lower bounds are obtained by making use of the so-called "averaged variational principle". Upper bounds are obtained in the spirit of Berezin-Li-Yau. Moreover, we state a conjecture for the second term in Weyl's law and prove its correctness in two special cases: balls in $\mathbb R^d$ and bounded intervals in $\mathbb R$.


title: The SNO+ Experiment

abstract: The SNO+ experiment is located 2 km underground at SNOLAB in Sudbury, Canada. A low background search for neutrinoless double beta ($0\nu\beta\beta$) decay will be conducted using 780 tonnes of liquid scintillator loaded with 3.9 tonnes of natural tellurium, corresponding to 1.3 tonnes of $^{130}$Te. This paper provides a general overview of the SNO+ experiment, including detector design, construction of process plants, commissioning efforts, electronics upgrades, data acquisition systems, and calibration techniques. The SNO+ collaboration is reusing the acrylic vessel, PMT array, and electronics of the SNO detector, having made a number of experimental upgrades and essential adaptations for use with the liquid scintillator. With low backgrounds and a low energy threshold, the SNO+ collaboration will also pursue a rich physics program beyond the search for $0\nu\beta\beta$ decay, including studies of geo- and reactor antineutrinos, supernova and solar neutrinos, and exotic physics such as the search for invisible nucleon decay. The SNO+ approach to the search for $0\nu\beta\beta$ decay is scalable: a future phase with high $^{130}$Te-loading is envisioned to probe an effective Majorana mass in the inverted mass ordering region.


title: Grouped Feature Importance and Combined Features Effect Plot

abstract: Interpretable machine learning has become a very active area of research due to the rising popularity of machine learning algorithms and their inherently challenging interpretability. Most work in this area has been focused on the interpretation of single features in a model. However, for researchers and practitioners, it is often equally important to quantify the importance or visualize the effect of feature groups. To address this research gap, we provide a comprehensive overview of how existing model-agnostic techniques can be defined for feature groups to assess the grouped feature importance, focusing on permutation-based, refitting, and Shapley-based methods. We also introduce an importance-based sequential procedure that identifies a stable and well-performing combination of features in the grouped feature space. Furthermore, we introduce the combined features effect plot, which is a technique to visualize the effect of a group of features based on a sparse, interpretable linear combination of features. We used simulation studies and a real data example from computational psychology to analyze, compare, and discuss these methods.


title: Inversion formulae for Siegel transforms

abstract: Let $n \in \mathbb{Z}_{\geq 3}$ be given. We prove Lebesgue-almost everywhere pointwise inversion formulae for the Siegel transforms in the geometry of numbers. These inversion formulae are quite general; for instance, they are valid for the Siegel transforms of any even and compactly supported Borel measurable function $f : \mathbb{R}^n \to \mathbb{R}$ that belongs to $L^1(\mathbb{R}^n) \cap L^2(\mathbb{R}^n).$


title: A determination of the blowup solutions to the focusing, quintic NLS with mass equal to the mass of the soliton

abstract: In this paper we prove that the only blowup solutions to the focusing, quintic nonlinear Schr{\"o}dinger equation with mass equal to the mass of the soliton are rescaled solitons or the pseudoconformal transformation of those solitons.


title: Patch Shortcuts: Interpretable Proxy Models Efficiently Find Black-Box Vulnerabilities

abstract: An important pillar for safe machine learning (ML) is the systematic mitigation of weaknesses in neural networks to afford their deployment in critical applications. An ubiquitous class of safety risks are learned shortcuts, i.e. spurious correlations a network exploits for its decisions that have no semantic connection to the actual task. Networks relying on such shortcuts bear the risk of not generalizing well to unseen inputs. Explainability methods help to uncover such network vulnerabilities. However, many of these techniques are not directly applicable if access to the network is constrained, in so-called black-box setups. These setups are prevalent when using third-party ML components. To address this constraint, we present an approach to detect learned shortcuts using an interpretable-by-design network as a proxy to the black-box model of interest. Leveraging the proxy's guarantees on introspection we automatically extract candidates for learned shortcuts. Their transferability to the black box is validated in a systematic fashion. Concretely, as proxy model we choose a BagNet, which bases its decisions purely on local image patches. We demonstrate on the autonomous driving dataset A2D2 that extracted patch shortcuts significantly influence the black box model. By efficiently identifying such patch-based vulnerabilities, we contribute to safer ML models.


title: A Closer Look at Self-training for Zero-Label Semantic Segmentation

abstract: Being able to segment unseen classes not observed during training is an important technical challenge in deep learning, because of its potential to reduce the expensive annotation required for semantic segmentation. Prior zero-label semantic segmentation works approach this task by learning visual-semantic embeddings or generative models. However, they are prone to overfitting on the seen classes because there is no training signal for them. In this paper, we study the challenging generalized zero-label semantic segmentation task where the model has to segment both seen and unseen classes at test time. We assume that pixels of unseen classes could be present in the training images but without being annotated. Our idea is to capture the latent information on unseen classes by supervising the model with self-produced pseudo-labels for unlabeled pixels. We propose a consistency regularizer to filter out noisy pseudo-labels by taking the intersections of the pseudo-labels generated from different augmentations of the same image. Our framework generates pseudo-labels and then retrain the model with human-annotated and pseudo-labelled data. This procedure is repeated for several iterations. As a result, our approach achieves the new state-of-the-art on PascalVOC12 and COCO-stuff datasets in the challenging generalized zero-label semantic segmentation setting, surpassing other existing methods addressing this task with more complex strategies.


title: Deep Lucas-Kanade Homography for Multimodal Image Alignment

abstract: Estimating homography to align image pairs captured by different sensors or image pairs with large appearance changes is an important and general challenge for many computer vision applications. In contrast to others, we propose a generic solution to pixel-wise align multimodal image pairs by extending the traditional Lucas-Kanade algorithm with networks. The key contribution in our method is how we construct feature maps, named as deep Lucas-Kanade feature map (DLKFM). The learned DLKFM can spontaneously recognize invariant features under various appearance-changing conditions. It also has two nice properties for the Lucas-Kanade algorithm: (1) The template feature map keeps brightness consistency with the input feature map, thus the color difference is very small while they are well-aligned. (2) The Lucas-Kanade objective function built on DLKFM has a smooth landscape around ground truth homography parameters, so the iterative solution of the Lucas-Kanade can easily converge to the ground truth. With those properties, directly updating the Lucas-Kanade algorithm on our feature maps will precisely align image pairs with large appearance changes. We share the datasets, code, and demo video online.


title: Mutual Hyperlinking Among Misinformation Peddlers

abstract: The internet promised to democratize access to knowledge and make the world more open and understanding. The reality of today's internet, however, is far from this ideal. Misinformation, lies, and conspiracies dominate many social media platforms. This toxic online world has had real-world implications ranging from genocide to, election interference, and threats to global public health. A frustrated public and impatient government regulators are calling for a more vigorous response to mis- and disinformation campaigns designed to sow civil unrest and inspire violence against individuals, societies, and democracies. We describe a large-scale, domain-level analysis that reveals seemingly coordinated efforts between multiple domains to spread and amplify misinformation. We also describe how the hyperlinks shared by certain Twitter users can be used to surface problematic domains. These analyses can be used by search engines and social media recommendation algorithms to systematically discover and demote misinformation peddlers.


title: A Framework for Unsupervised Classificiation and Data Mining of Tweets about Cyber Vulnerabilities

abstract: Many cyber network defense tools rely on the National Vulnerability Database (NVD) to provide timely information on known vulnerabilities that exist within systems on a given network. However, recent studies have indicated that the NVD is not always up to date, with known vulnerabilities being discussed publicly on social media platforms, like Twitter and Reddit, months before they are published to the NVD. To that end, we present a framework for unsupervised classification to filter tweets for relevance to cyber security. We consider and evaluate two unsupervised machine learning techniques for inclusion in our framework, and show that zero-shot classification using a Bidirectional and Auto-Regressive Transformers (BART) model outperforms the other technique with 83.52% accuracy and a F1 score of 83.88, allowing for accurate filtering of tweets without human intervention or labelled data for training. Additionally, we discuss different insights that can be derived from these cyber-relevant tweets, such as trending topics of tweets and the counts of Twitter mentions for Common Vulnerabilities and Exposures (CVEs), that can be used in an alert or report to augment current NVD-based risk assessment tools.


title: Chaotic behaviour of disordered nonlinear lattices

abstract: This thesis focuses on the mechanisms of energy transport in multidimensional heterogeneous lattice models, studying in particular the case of the Klein-Gordon model of coupled anharmonic oscillators in one and two spatial dimensions. We report the effects of the type of the impurity (heterogeneity) parameter on the systems' transport properties and classifies the transport mechanisms of the nonlinear versions of the models into various dynamical regimes. We also identify computationally efficient numerical integration techniques, including the so-called symplectic integrators, and implement them for studying these models. Finally, we perform an extensive numerical investigation of the dynamics of the considered models revealing that for their nonlinear versions chaotic transport persists and chaotic hotspots meander in the region of energy concentration supporting the spreading mechanism.


title: An algebraic approach to the spontaneous formation of spherical jets

abstract: The global structure of the atmosphere and the oceans is a continuous source of intriguing challenges in geophysical fluid dynamics (GFD). Among these, jets are determinant in the air and water circulation around the Earth. In the last fifty years, thanks to the development of more and more precise and extensive observations, it has been possible to study in detail the atmospheric formations of the giant-gas planets in the solar system. For those planets, jets are the dominant large scale structure. Starting from the 70s, various theories combining observations and mathematical models have been proposed in order to describe their formation and stability. In this paper, we propose a purely algebraic approach to describe the spontaneous formation of jets on a spherical domain. Analysing the algebraic properties of the 2D Euler equations, we give a characterization of the different jets' structures. The calculations are performed starting from the discrete Zeitlin model of the Euler equations. For this model, the classification of the jets' structures can be precisely described in terms of reductive Lie algebras decomposition. The discrete framework provides a simple tool for analysing both from a theoretical and and a numerical perspective the jets' formation. Furthermore, it allows to extend the results to the original Euler equations.


title: Spatial shifts in productivity of the coastal ocean over the past two decades induced by migration of the Pacific Anticyclone and Bakun effect in the Humboldt Upwelling Ecosystem

abstract: Intensification and poleward expansion of upwelling favourable winds have been predicted as a response to anthropogenic global climate change and have recently been documented in most Eastern Boundary Upwelling Ecosystems of the world. To identify how these processes are impacting nearshore oceanographic habitats and, especially, long term trends of primary productivity in the Humboldt Upwelling Ecosystem (HUE), we analysed time series of sea level pressure, wind stress, sea surface and atmospheric surface temperatures, and Chlorophyll-a, as a proxy for primary productivity, along 26{\deg} - 36{\deg} S. We show that climate induced trends in primary productivity are highly heterogeneous across the region. On the one hand, the well documented poleward migration of the South Pacific Anticyclone (SPA) has led to decreased spring upwelling winds in the region between ca. 30{\deg} and 34{\deg} S, and to their intensification to the south. Decreased winds have produced slight increases in sea surface temperature and a pronounced and meridionally extensive decrease in surface Chlorophyll-a in this region of central Chile. To the north of 30{\deg} S, significant increases in upwelling winds, decreased SST, and enhanced Chlorophyll-a concentration are observed in the nearshore. We show that this increased in upwelling driven coastal productivity is probably produced by the increased land-sea pressure gradients (Bakun's effect) that have occurred over the past two decades north of 30{\deg} S. Thus, climate drivers along the HUE are inducing contrasting trends in oceanographic conditions and primary productivity, which can have far-reaching consequences for coastal pelagic and benthic ecosystems and lead to geographic displacements of the major fisheries.


title: Secure Artificial Intelligence of Things for Implicit Group Recommendations

abstract: The emergence of Artificial Intelligence of Things (AIoT) has provided novel insights for many social computing applications such as group recommender systems. As distance among people has been greatly shortened, it has been a more general demand to provide personalized services to groups instead of individuals. In order to capture group-level preference features from individuals, existing methods were mostly established via aggregation and face two aspects of challenges: secure data management workflow is absent, and implicit preference feedbacks is ignored. To tackle current difficulties, this paper proposes secure Artificial Intelligence of Things for implicit Group Recommendations (SAIoT-GR). As for hardware module, a secure IoT structure is developed as the bottom support platform. As for software module, collaborative Bayesian network model and non-cooperative game are can be introduced as algorithms. Such a secure AIoT architecture is able to maximize the advantages of the two modules. In addition, a large number of experiments are carried out to evaluate the performance of the SAIoT-GR in terms of efficiency and robustness.


title: Robust Federated Learning by Mixture of Experts

abstract: We present a novel weighted average model based on the mixture of experts (MoE) concept to provide robustness in Federated learning (FL) against the poisoned/corrupted/outdated local models. These threats along with the non-IID nature of data sets can considerably diminish the accuracy of the FL model. Our proposed MoE-FL setup relies on the trust between users and the server where the users share a portion of their public data sets with the server. The server applies a robust aggregation method by solving the optimization problem or the Softmax method to highlight the outlier cases and to reduce their adverse effect on the FL process. Our experiments illustrate that MoE-FL outperforms the performance of the traditional aggregation approach for high rate of poisoned data from attackers.


title: On a question of Luca and Schinzel over Segal-Piatetski-Shapiro sequences

abstract: We extend to Segal-Piatetski-Shapiro sequences previous results on the Luca-Schinzel question over integral valued polynomial sequences. Namely, we prove that for any real $c$ larger than $1$ the sequence $(\sum_{m\le n} \varphi(\lfloor m^c \rfloor) /\lfloor m^c \rfloor)_n$ is dense modulo $1$, where $\varphi$ denotes Euler's totient function. The main part of the proof consists in showing that when $R$ is a large integer, the sequence of the residues of $\lfloor m^c \rfloor$ modulo $R$ contains blocks of consecutive values which are in an arithmetic progression.


title: Correlated Dynamics in Marketing Sensitivities

abstract: Understanding individual customers' sensitivities to prices, promotions, brands, and other marketing mix elements is fundamental to a wide swath of marketing problems. An important but understudied aspect of this problem is the dynamic nature of these sensitivities, which change over time and vary across individuals. Prior work has developed methods for capturing such dynamic heterogeneity within product categories, but neglected the possibility of correlated dynamics across categories. In this work, we introduce a framework to capture such correlated dynamics using a hierarchical dynamic factor model, where individual preference parameters are influenced by common cross-category dynamic latent factors, estimated through Bayesian nonparametric Gaussian processes. We apply our model to grocery purchase data, and find that a surprising degree of dynamic heterogeneity can be accounted for by only a few global trends. We also characterize the patterns in how consumers' sensitivities evolve across categories. Managerially, the proposed framework not only enhances predictive accuracy by leveraging cross-category data, but enables more precise estimation of quantities of interest, like price elasticity.


title: Hydrogenation kinetics of metal hydride catalytic layers

abstract: Catalyzing capping layers on top of metal hydrides are often employed to enhance the hydrogenation kinetics of metal-hydride based systems such as hydrogen sensors. Here, we experimentally study the hydrogenation kinetics of capping layers composed of several alloys of Pd and Au as well as Pt, Ni and Ru, all with and without an additional PTFE protection layer using a novel method and under the same set of experimental conditions. Our results demonstrate that doping Pd with Au results in significantly faster hydrogenation kinetics, with response times up to five times shorter than Pd through enhanced diffusion and a reduction of the activation energy. The kinetics of non-Pd based materials turns out to be significantly slower and mainly limited by the diffusion through the capping layer itself. Surprisingly, the additional PTFE layer was only found to improve the kinetics of Pd-based capping materials and has no significant effect on the kinetics of Pt, Ni and Ru. Taken together, the experimental results aid in rationally choosing a suitable capping material for the application of metal hydrides and other materials in a green economy. In addition, the developed method can be used to simultaneously study the hydrogenation kinetics and determine diffusion constants in thin film materials for a wide set of experimental conditions.


title: Lacunary Polynomial Compositions

abstract: This work is a study of polynomial compositions having a fixed number of terms. We outline a recursive method to describe these characterizations, give some particular results and discuss the general case. In the final sections, some applications to Universal Hilbert Sets generated by closed forms of linear recurrence relations and to integer perfect powers having few digits in their representation in a given scale $x \ge 2$ are provided.


title: Radiation-reaction force and multipolar waveforms for eccentric, spin-aligned binaries in the effective-one-body formalism

abstract: While most binary inspirals are expected to have circularized before they enter the LIGO/Virgo frequency band, a small fraction of those binaries could have non-negligible orbital eccentricity depending on their formation channel. Hence, it is important to accurately model eccentricity effects in waveform models used to detect those binaries, infer their properties, and shed light on their astrophysical environment. We develop a multipolar effective-one-body (EOB) eccentric waveform model for compact binaries whose components have spins aligned or anti-aligned with the orbital angular momentum. The waveform model contains eccentricity effects in the radiation-reaction force and gravitational modes through second post-Newtonian (PN) order, including tail effects, and spin-orbit and spin-spin couplings. We recast the PN-expanded, eccentric radiation-reaction force and modes in factorized form so that the newly derived terms can be directly included in the state-of-the-art, quasi-circular--orbit EOB model currently used in LIGO/Virgo analyses (i.e., the SEOBNRv4HM model).


title: Safe Chance Constrained Reinforcement Learning for Batch Process Control

abstract: Reinforcement Learning (RL) controllers have generated excitement within the control community. The primary advantage of RL controllers relative to existing methods is their ability to optimize uncertain systems independently of explicit assumption of process uncertainty. Recent focus on engineering applications has been directed towards the development of safe RL controllers. Previous works have proposed approaches to account for constraint satisfaction through constraint tightening from the domain of stochastic model predictive control. Here, we extend these approaches to account for plant-model mismatch. Specifically, we propose a data-driven approach that utilizes Gaussian processes for the offline simulation model and use the associated posterior uncertainty prediction to account for joint chance constraints and plant-model mismatch. The method is benchmarked against nonlinear model predictive control via case studies. The results demonstrate the ability of the methodology to account for process uncertainty, enabling satisfaction of joint chance constraints even in the presence of plant-model mismatch.


title: DisCo RL: Distribution-Conditioned Reinforcement Learning for General-Purpose Policies

abstract: Can we use reinforcement learning to learn general-purpose policies that can perform a wide range of different tasks, resulting in flexible and reusable skills? Contextual policies provide this capability in principle, but the representation of the context determines the degree of generalization and expressivity. Categorical contexts preclude generalization to entirely new tasks. Goal-conditioned policies may enable some generalization, but cannot capture all tasks that might be desired. In this paper, we propose goal distributions as a general and broadly applicable task representation suitable for contextual policies. Goal distributions are general in the sense that they can represent any state-based reward function when equipped with an appropriate distribution class, while the particular choice of distribution class allows us to trade off expressivity and learnability. We develop an off-policy algorithm called distribution-conditioned reinforcement learning (DisCo RL) to efficiently learn these policies. We evaluate DisCo RL on a variety of robot manipulation tasks and find that it significantly outperforms prior methods on tasks that require generalization to new goal distributions.


title: Regression Modeling for Recurrent Events Using R Package reReg

abstract: Recurrent event analyses have found a wide range of applications in biomedicine, public health, and engineering, among others, where study subjects may experience a sequence of event of interest during follow-up. The R package reReg (Chiou and Huang 2021) offers a comprehensive collection of practical and easy-to-use tools for regression analysis of recurrent events, possibly with the presence of an informative terminal event. The regression framework is a general scale-change model which encompasses the popular Cox-type model, the accelerated rate model, and the accelerated mean model as special cases. Informative censoring is accommodated through a subject-specific frailty without no need for parametric specification. Different regression models are allowed for the recurrent event process and the terminal event. Also included are visualization and simulation tools.


title: Risk-Aware Path Planning for Ground Vehicles using Occluded Aerial Images

abstract: We consider scenarios where a ground vehicle plans its path using data gathered by an aerial vehicle. In the aerial images, navigable areas of the scene may be occluded due to obstacles. Naively planning paths using aerial images may result in longer paths as a conservative planner may try to avoid regions that are occluded. We propose a modular, deep learning-based framework that allows the robot to predict the existence of navigable areas in the occluded regions. Specifically, we use image inpainting methods to fill in parts of the areas that are potentially occluded, which can then be semantically segmented to determine navigability. We use supervised neural networks for both modules. However, these predictions may be incorrect. Therefore, we extract uncertainty in these predictions and use a risk-aware approach that takes these uncertainties into account for path planning. We compare modules in our approach with non-learning-based approaches to show the efficacy of the proposed framework through photo-realistic simulations. The modular pipeline allows further improvement in path planning and deployment in different settings.


title: Beyond Voice Activity Detection: Hybrid Audio Segmentation for Direct Speech Translation

abstract: The audio segmentation mismatch between training data and those seen at run-time is a major problem in direct speech translation. Indeed, while systems are usually trained on manually segmented corpora, in real use cases they are often presented with continuous audio requiring automatic (and sub-optimal) segmentation. After comparing existing techniques (VAD-based, fixed-length and hybrid segmentation methods), in this paper we propose enhanced hybrid solutions to produce better results without sacrificing latency. Through experiments on different domains and language pairs, we show that our methods outperform all the other techniques, reducing by at least 30% the gap between the traditional VAD-based approach and optimal manual segmentation.


title: Existence of a negative next-nearest-neighbor coupling in evanescently coupled dielectric waveguides

abstract: We experimentally demonstrate that the next-nearest-neighbor(NNN)coupling in an array of waveguides can naturally be negative. To do so, dielectric zig-zag shaped waveguide arrays are fabricated with direct laser writing (DLW). By changing the angle of the zig-zag shape it is possible to tune between positive and negative ratios of nearest and next-nearest-neighbor coupling, which also allows to reduce the impact of the NNN-coupling to zero at the correct respective angle. We describe how the correct higher order coupling constants in tight-binding models can be derived, based on non-orthogonal coupled mode theory. We confirm the existence of negative NNN-couplings experimentally and show the improved accuracy of this refined tight-binding model. The negative NNN-coupling has a noticeable impact especially when higher order coupling terms can no longer be neglected. Our results are also of importance for other discrete systems in which the tight-binding model is often used.


title: Skeletor: Skeletal Transformers for Robust Body-Pose Estimation

abstract: Predicting 3D human pose from a single monoscopic video can be highly challenging due to factors such as low resolution, motion blur and occlusion, in addition to the fundamental ambiguity in estimating 3D from 2D. Approaches that directly regress the 3D pose from independent images can be particularly susceptible to these factors and result in jitter, noise and/or inconsistencies in skeletal estimation. Much of which can be overcome if the temporal evolution of the scene and skeleton are taken into account. However, rather than tracking body parts and trying to temporally smooth them, we propose a novel transformer based network that can learn a distribution over both pose and motion in an unsupervised fashion. We call our approach Skeletor. Skeletor overcomes inaccuracies in detection and corrects partial or entire skeleton corruption. Skeletor uses strong priors learn from on 25 million frames to correct skeleton sequences smoothly and consistently. Skeletor can achieve this as it implicitly learns the spatio-temporal context of human motion via a transformer based neural network. Extensive experiments show that Skeletor achieves improved performance on 3D human pose estimation and further provides benefits for downstream tasks such as sign language translation.


title: Symplectic cohomology of compound Du Val singularities

abstract: We compute symplectic cohomology for Milnor fibres of certain compound Du Val singularities that admit small resolution by using homological mirror symmetry. Our computations suggest a new conjecture that the existence of a small resolution has strong implications for the symplectic cohomology and conversely. We also use our computations to give a contact invariant of the link of the singularities and thereby distinguish many contact structures on connected sums of $S^2 \times S^3$.


title: Quadratic-stretch elasticity

abstract: A nonlinear small-strain elastic theory is constructed from a systematic expansion in Biot strains, truncated at quadratic order. The primary motivation is the desire for a clean separation between stretching and bending energies for shells, which appears to arise only from reduction of a bulk energy of this type. An approximation of isotropic invariants, bypassing the solution of a quartic equation or computation of tensor square roots, allows stretches, rotations, stresses, and balance laws to be written in terms of derivatives of position. Two-field formulations are also presented. Extensions to anisotropic theories are briefly discussed.


title: Experimental signatures of a new dark matter WIMP

abstract: The WIMP proposed here yields the observed abundance of dark matter, and is consistent with the current limits from direct detection, indirect detection, and collider experiments, if its mass is $\sim 72$ GeV/$c^2$. It is also consistent with analyses of the gamma rays observed by Fermi-LAT from the Galactic center (and other sources), and of the antiprotons observed by AMS-02, in which the excesses are attributed to dark matter annihilation. These successes are shared by the inert doublet model (IDM), but the phenomenology is very different: The dark matter candidate of the IDM has first-order gauge couplings to other new particles, whereas the present candidate does not. In addition to indirect detection through annihilation products, it appears that the present particle can be observed in the most sensitive direct-detection and collider experiments currently being planned.


title: Representations and tensor product growth

abstract: The deep theory of approximate subgroups establishes 3-step product growth for subsets of finite simple groups $G$ of Lie type of bounded rank. In this paper we obtain 2-step growth results for representations of such groups $G$ (including those of unbounded rank), where products of subsets are replaced by tensor products of representations. Let $G$ be a finite simple group of Lie type and $\chi$ a character of $G$. Let $|\chi|$ denote the sum of the squares of the degrees of all (distinct) irreducible characters of $G$ which are constituents of $\chi$. We show that for all $\delta>0$ there exists $\epsilon>0$, independent of $G$, such that if $\chi$ is an irreducible character of $G$ satisfying $|\chi| \le |G|^{1-\delta}$, then $|\chi^2| \ge |\chi|^{1+\epsilon}$. We also obtain results for reducible characters, and establish faster growth in the case where $|\chi| \le |G|^{\delta}$. In another direction, we explore covering phenomena, namely situations where every irreducible character of $G$ occurs as a constituent of certain products of characters. For example, we prove that if $|\chi_1| \cdots |\chi_m|$ is a high enough power of $|G|$, then every irreducible character of $G$ appears in $\chi_1\cdots\chi_m$. Finally, we obtain growth results for compact semisimple Lie groups.


title: Practical quantum tokens without quantum memories and experimental tests

abstract: Unforgeable quantum money tokens were the first invention of quantum information science, but remain technologically challenging as they require quantum memories and/or long distance quantum communication. More recently, virtual 'S-money' tokens were introduced. These are generated by quantum cryptography, do not require quantum memories or long distance quantum communication, and yet in principle guarantee many of the security advantages of quantum money. Here, we describe implementations of S-money schemes with off-the-shelf quantum key distribution technology, and analyse security in the presence of noise, losses, and experimental imperfection. Our schemes satisfy near instant validation without cross-checking. We show that, given standard assumptions in mistrustful quantum cryptographic implementations, unforgeability and user privacy could be guaranteed with attainable refinements of our off-the-shelf setup. We discuss the possibilities for unconditionally secure (assumption-free) implementations.


title: A Kinetic Model of Friction in Strongly Coupled Strongly Magnetized Plasmas

abstract: Plasmas that are strongly magnetized in the sense that the gyrofrequency exceeds the plasma frequency exhibit novel transport properties that are not well understood. As a representative example, we compute the friction force acting on a massive test charge moving through a strongly coupled and strongly magnetized one-component plasma using a generalized Boltzmann kinetic theory. Recent works studying the weakly coupled regime have shown that strong magnetization leads to a transverse component of the friction force that is perpendicular to both the Lorentz force and velocity of the test charge; in addition to the stopping power component aligned antiparallel to the velocity. Recent molecular dynamics simulations have also shown that strong Coulomb coupling in addition to strong magnetization gives rise to a third component of the friction force in the direction of the Lorentz force. Here, we show that the generalized Boltzmann kinetic theory captures these effects, and generally agrees well with the molecular dynamics simulations over a broad range of Coulomb coupling and magnetization strength regimes. The theory is also used to show that a "gyro" component of the friction in the direction of the Lorentz force arises due to asymmetries associated with gyromotion during short-range collisions. Computing the average motion of the test charge through the background plasma, the transverse force is found to strongly influence the trajectory by changing the gyroradius and the gyro friction force is found to slightly change the gyrofrequency of the test charge resulting in a phase shift.


title: Composite Flavon-Higgs Models

abstract: We consider a composite Higgs model based on the $SU(6)/Sp(6)$ coset, where an $U(1)$ subgroup of $Sp(6)$ is identified as the flavor symmetry. A complex scalar field $s$, which is a pseudo-Nambu-Goldstone boson of the broken symmetry, carries a flavor charge and plays the role of a flavon field. The $U(1)_F$ flavor symmetry is then broken by a VEV of the flavon field, which leads to a small parameter and generates the mass hierarchy between the top and bottom quarks. A light flavon below the TeV scale can be naturally introduced, which provides a fully testable model for the origin of flavor hierarchy. A light flavon also leads to substantial flavor changing neutral currents, which are strongly constrained by the flavor precision tests. The direct search of additional scalar bosons can also be conducted in HL-LHC and future hadron colliders.


title: Entropic Optimal Transport: Convergence of Potentials

abstract: We study the potential functions that determine the optimal density for $\varepsilon$-entropically regularized optimal transport, the so-called Schr\"odinger potentials, and their convergence to the counterparts in classical optimal transport, the Kantorovich potentials. In the limit $\varepsilon\to0$ of vanishing regularization, strong compactness holds in $L^{1}$ and cluster points are Kantorovich potentials. In particular, the Schr\"odinger potentials converge in $L^{1}$ to the Kantorovich potentials as soon as the latter are unique. These results are proved for all continuous, integrable cost functions on Polish spaces. In the language of Schr\"odinger bridges, the limit corresponds to the small-noise regime.


title: Safe Fakes: Evaluating Face Anonymizers for Face Detectors

abstract: Since the introduction of the GDPR and CCPA legislation, both public and private facial image datasets are increasingly scrutinized. Several datasets have been taken offline completely and some have been anonymized. However, it is unclear how anonymization impacts face detection performance. To our knowledge, this paper presents the first empirical study on the effect of image anonymization on supervised training of face detectors. We compare conventional face anonymizers with three state-of-the-art Generative Adversarial Network-based (GAN) methods, by training an off-the-shelf face detector on anonymized data. Our experiments investigate the suitability of anonymization methods for maintaining face detector performance, the effect of detectors overtraining on anonymization artefacts, dataset size for training an anonymizer, and the effect of training time of anonymization GANs. A final experiment investigates the correlation between common GAN evaluation metrics and the performance of a trained face detector. Although all tested anonymization methods lower the performance of trained face detectors, faces anonymized using GANs cause far smaller performance degradation than conventional methods. As the most important finding, the best-performing GAN, DeepPrivacy, removes identifiable faces for a face detector trained on anonymized data, resulting in a modest decrease from 91.0 to 88.3 mAP. In the last few years, there have been rapid improvements in realism of GAN-generated faces. We expect that further progression in GAN research will allow the use of Deep Fake technology for privacy-preserving Safe Fakes, without any performance degradation for training face detectors.


title: Asymptotic Incidence Rate estimation of SARS-COVID-19 via a Polya process scheme: a comparative analysis in Italy and European Countries

abstract: During an ongoing epidemic, especially in the case of a new agent, data are partial and sparse, also affected by external factors as for example climatic effects or preparedness and response capability of healthcare structures. Despite that we showed how, under some universality assumptions, it is possible to extract strategic insights by modelling the pandemic trough a probabilistic Polya urn scheme. In the Polya framework, we provide both the distribution of infected cases and the asymptotic estimation of the incidence rate, showing that data are consistent with a general underlying process at different scales. Using European confirmed cases and diagnostic test data on COVID-19 , we provided an extensive comparison among European countries and between Europe and Italy at regional scale, for both the two big waves of infection. We globally estimated an incidence rate in accordance with previous studies. On the other hand, this quantity could play a crucial role as a proxy variable for an unbiased estimation of the real incidence rate, including symptomatic and asymptomatic cases.


title: On the Rigorous Derivation of the Incompressible Euler Equation from Newton's Second Law

abstract: A longstanding problem in mathematical physics is the rigorous derivation of the incompressible Euler equation from Newtonian mechanics. Recently, Han-Kwan and Iacobelli arXiv:2006.14924 showed that in the monokinetic regime, one can directly obtain the Euler equation from a system of $N$ particles interacting in $\mathbb{T}^d$, $d\geq 2$, via Newton's second law through a supercritical mean-field limit. Namely, the coupling constant $\lambda$ in front of the pair potential, which is Coulombic, scales like $N^{-\theta}$ for some $\theta \in (0,1)$, in contrast to the usual mean-field scaling $\lambda\sim N^{-1}$. Assuming $\theta\in (1-\frac{2}{d(d+1)},1)$, they showed that the empirical measure of the system is effectively described by the solution to the Euler equation as $N\rightarrow\infty$. Han-Kwan and Iacobelli asked if their range for $\theta$ was optimal. We answer this question in the negative by showing the validity of the incompressible Euler equation in the limit $N\rightarrow\infty$ for $\theta \in (1-\frac{2}{d},1)$. For reasons of scaling, this range appears optimal in all dimensions. Our proof is based on Serfaty's modulated-energy method, but compared to that of Han-Kwan and Iacobelli, crucially uses an improved "renormalized commutator" estimate to obtain the larger range for $\theta$.


title: Comment on "Distinction of Electron Dispersion in Time-Resolved Photoemission Spectroscopy"

abstract: In a recent paper [Phys. Rev. Lett. 125, 043201 (2020)] (Ref.1) Liao et al. propose a theory of the interferometric photoemission delay based on the concepts of the photoelectron phase and photoelectron effective mass. The present comment discusses the applicability and limitations of the proposed approach based on an ab initio analysis supported by vast literature. Two central assumptions of the paper are questioned, namely that the photoelectron can be characterized by a phase (have a well-defined phase velocity), and that it can always be ascribed an effective mass Theories based on these concepts are concluded to be inapplicable to real solids, which is illustrated by the example of the system addressed in Ref. 1. That the basic assumptions of the theory are never fulfilled in nature discredits the underlying idea of the "time-domain interferometric solid-state energy-momentum-dispersion imaging method" suggested in Ref. 1. Apart from providing a necessary caution to experimentalists, the present comment also gives an insight into the photoelectron wave function and points out problems and pitfalls inherent in modeling real crystals.


title: SpectralFly: Ramanujan Graphs as Flexible and Efficient Interconnection Networks

abstract: In recent years, graph theoretic considerations have become increasingly important in the design of HPC interconnection topologies. One approach is to seek optimal or near-optimal families of graphs with respect to a particular graph theoretic property, such as diameter. In this work, we consider topologies which optimize the spectral gap. We study a novel HPC topology, SpectralFly, designed around the Ramanujan graph construction of Lubotzky, Phillips, and Sarnak (LPS). We show combinatorial properties, such as diameter, bisection bandwidth, average path length, and resilience to link failure, of SpectralFly topologies are better than, or comparable to, similarly constrained DragonFly, SlimFly, and BundleFly topologies. Additionally, we simulate the performance of SpectralFly on a representative sample of micro-benchmarks using the Structure Simulation Toolkit Macroscale Element Library simulator and study cost-minimizing layouts, demonstrating considerable benefit of the SpectralFly topology.


title: Managing mental & psychological wellbeing amidst COVID-19 pandemic: Positive psychology interventions

abstract: COVID-19 pandemic has shaken the roots of healthcare facilities worldwide, with the US being one of the most affected countries irrespective of being a superpower. Along with the current pandemic, COVID-19 can cause a secondary crisis of mental health pandemic if left unignored. Various studies from past epidemics, financial turmoil and pandemic, especially SARS and MERS, have shown a steep increase in mental and psychological issues like depression, low quality of life, self-harm and suicidal tendencies among general populations. The most venerable being the individuals infected and cured due to social discrimination. The government is taking steps to contain and prevent further infections of COVID-19. However, the mental and psychological wellbeing of people is still left ignored in developing countries like India. There is a significant gap in India concerning mental and psychological health still being stigmatized and considered 'non-existent'. This study's effort is to highlight the importance of mental and psychological health and to suggest interventions based on positive psychology literature. These interventions can support the wellbeing of people acting as a psychological first aid. Keywords: COVID-19, Coronavirus, Pandemic, Mental wellbeing, Psychological Wellbeing, Positive Psychology Interventions. KEYWORDS - COVID-19, Coronavirus, Pandemic, Wellbeing, Positive Psychology, Interventions, PPI.


title: Split spin factor algebras

abstract: Motivated by Yabe's classification of symmetric $2$-generated axial algebras of Monster type, we introduce a large class of algebras of Monster type $(\alpha, \frac{1}{2})$, generalising Yabe's $\mathrm{III}(\alpha,\frac{1}{2}, \delta)$ family. Our algebras bear a striking similarity with Jordan spin factor algebras with the difference being that we asymmetrically split the identity as a sum of two idempotents. We investigate the properties of this algebra, including the existence of a Frobenius form and ideals. In the $2$-generated case, where our algebra is isomorphic to one of Yabe's examples, we use our new viewpoint to identify the axet, that is, the closure of the two generating axes.


title: Chemistrees: data driven identification of reaction pathways via machine learning

abstract: We propose a supervised machine learning algorithm, decision trees, to analyze molecular dynamics output. The approach aims to identify the predominant geometric features which correlate with trajectories that transition between two arbitrarily defined states. The data-based algorithm aims to identify such features in an approach which is unbiased by human "chemical intuition". We demonstrate the method by analyzing proton exchange reactions in formic acid (FA) solvated in small water clusters. The simulations were performed with ab initio molecular dynamics combined with a method for generating rare events, specifically path sampling. Our machine learning analysis identified mechanistic descriptions of the proton transfer reaction for the different water clusters.


title: Evaluating Deception Detection Model Robustness To Linguistic Variation

abstract: With the increasing use of machine-learning driven algorithmic judgements, it is critical to develop models that are robust to evolving or manipulated inputs. We propose an extensive analysis of model robustness against linguistic variation in the setting of deceptive news detection, an important task in the context of misinformation spread online. We consider two prediction tasks and compare three state-of-the-art embeddings to highlight consistent trends in model performance, high confidence misclassifications, and high impact failures. By measuring the effectiveness of adversarial defense strategies and evaluating model susceptibility to adversarial attacks using character- and word-perturbed text, we find that character or mixed ensemble models are the most effective defenses and that character perturbation-based attack tactics are more successful.


title: New perspective on chiral exceptional points with application to discrete photonics

abstract: Chiral exceptional points (CEPs) have been shown to emerge in traveling wave resonators via asymmetric back scattering from two or more nano-scatterers. Here, we provide a new perspective on the formation of CEPs based on the coupled oscillator model. Our approach provides an intuitive understanding for the modal coalescence that signals the emergence of CEPs, and emphasizes the role played by dissipation throughout this process. In doing so, our model also unveils an otherwise unexplored connection between CEPs and other types of exceptional points associated with parity-time symmetric photonic arrangements. In addition, our model also explains qualitative results observed in recent experimental work involving CEPs. Importantly, the tight-binding nature of our approach allows us to extend the notion of CEP to discrete photonics setups that consist coupled resonator and waveguide arrays, thus opening new avenues for exploring the exotic features of CEPs in conjunction with other interesting physical effects such as nonlinearities and topological protections.


title: Dissipative structures in topological lattices of nonlinear optical resonators

abstract: We theoretically study the dynamics and spatio-temporal pattern formation of driven lattices of nonlinear optical microresonators and analyze the formation of dissipative structures, in particular dissipative Kerr solitons. We consider both equally coupled one-dimensional chains, as well as the topological Su-Schrieffer-Heeger model. We show the complexity of the four-wave mixing pathways arising in these systems with the increasing dimensionality due to the combined spatial and synthetic frequency dimension of each resonator, and show that it can be modeled using a two-dimensional variant of the Lugiato-Lefever equation. We demonstrate the existence of two fundamentally different dynamical regimes in one-dimensional chains - elliptic and hyperbolic - inherent to the system. In the elliptic regime, we generate hexagonal patterns and a two-dimensional dissipative Kerr soliton corresponding to the global spatio-temporal mode-locking and discuss its similarity to edge-state solitons in the two-dimensional Haldane topological lattice. We find that the presence of the second dimension leads to the observation of regularized wave collapse. Furthermore, we study similarities and differences between a one-dimensional topological lattice and a single cavity and analyze nonlinearly induced edge-to-bulk scattering in the Su-Schrieffer-Heeger model. Moreover, we show that soliton formation can both be impaired in trivial but, importantly, also topologically protected bands due to nonlinear bulk edge scattering.


title: Generation and Effects of Electromotive Force in Turbulent Stochastic Reconnection

abstract: Reconnection is an important process that rules dissipation and diffusion of magnetic energy in plasmas. It is already clear that its rate is enhanced by turbulence, and that reconnection itself may increase its stochasticity, but the main mechanism that connects these two effects is still not completely understood. The aim of this work is to identify, from the terms of the electromotive force, the dominant physical process responsible for enhancing the reconnection rate in turbulent plasmas. We employ full three-dimensional numerical simulations of turbulence driven by stochastic reconnection and estimate the production and dissipation of turbulent energy and cross-helicity, the amount of produced residual helicity, and determine the relation between these quantities and the reconnection rate. We observe the development of the electromotive force in the studied models with plasma-$\beta = 0.1 - 2$ and the Lundquist number $S=10^{-5}-10^{-4}$. The turbulent energy and residual helicity develop in the large-scale current sheet, with the latter decreasing the effects of turbulent magnetic diffusion. We demonstrate that the stochastic reconnection, apart from the turbulence, can produce a significant amount of cross-helicity as well. The cross-helicity to turbulent energy ratio, however, has no correlation with the reconnection rate. We show that its sufficiently large value is not a necessary condition for fast reconnection to occur. The results suggest that cross-helicity is inherent to turbulent fields, but the reconnection rate enhancement is possibly caused by the effects of magnetic turbulent diffusion and controlled by the residual helicity.


title: Spontaneous tilt of single-clamped thermal elastic sheets

abstract: Very thin elastic sheets, even at zero temperature, exhibit nonlinear elastic response by virtue of their dominant bending modes. Their behavior is even richer at finite temperature. Here we use molecular dynamics (MD) to study the vibrations of a thermally fluctuating two-dimensional elastic sheet with one end clamped at its zero-temperature length. We uncover a tilt phase in which the sheet fluctuates about a mean plane inclined with respect to the horizontal, thus breaking reflection symmetry. We determine the phase behavior as a function of the aspect ratio of the sheet and the temperature. We show that tilt may be viewed as a type of transverse buckling instability induced by clamping coupled to thermal fluctuations and develop an analytic model that predicts the tilted and untilted regions of the phase diagram. Qualitative agreement is found with the MD simulations. Unusual response driven by control of purely geometric quantities like the aspect ratio, as opposed to external fields, offers a very rich playground for two-dimensional mechanical metamaterials.


title: Exact marginal prior distributions of finite Bayesian neural networks

abstract: Bayesian neural networks are theoretically well-understood only in the infinite-width limit, where Gaussian priors over network weights yield Gaussian priors over network outputs. Recent work has suggested that finite Bayesian networks may outperform their infinite counterparts, but their non-Gaussian function space priors have been characterized only though perturbative approaches. Here, we derive exact solutions for the function space priors for individual input examples of a class of finite fully-connected feedforward Bayesian neural networks. For deep linear networks, the prior has a simple expression in terms of the Meijer $G$-function. The prior of a finite ReLU network is a mixture of the priors of linear networks of smaller widths, corresponding to different numbers of active units in each layer. Our results unify previous descriptions of finite network priors in terms of their tail decay and large-width behavior.


title: Novel observables for exploring QCD collective evolution and quantum entanglement within individual jets

abstract: We postulate that non-perturbative QCD effects occurring during parton fragmentation can result in collective effects of a multi-parton system, reminiscent of those observed in high-energy hadronic or nuclear interactions with large final-state particle multiplicity. Proton-proton collisions at the Large Hadron Collider showed surprising signatures of a strongly interacting, thermalized quark-gluon plasma, which was thought only to form in collisions of large nuclear systems. Another puzzle observed earlier in $e^{+}e^{-}$ collisions is that production yields of various hadron species appear to follow a thermal-like distribution with a common temperature. We propose searches for thermal and collective properties resulting from parton fragmentation processes using high multiplicity jets in high-energy elementary collisions. Several novel observables are studied using the PYTHIA 8 Monte Carlo event generator. Experimental observation of such collectivity will offer a new view of non-perturbative QCD dynamics of multi-parton systems at the smallest scales. Absence of any collective effects may offer new insights into the role of quantum entanglement in the observed thermal behavior of particle production in high energy collisions.


title: Divided power algebras and distributive laws

abstract: We study the divided power structures over a product of operads with distributive law. We give a systematic method to characterise the divided power algebras over such a product from the structures of divided power algebra coming from each of the the factor operads. We characterise divided power algebras with operadic derivation, as well as divided power $p$-level algebras in characteristic $p$, and divided power Poisson algebras in characteristic 3.


title: Fluctuations analysis of the spin susceptibility: N\'eel ordering revisited in dynamical mean field theory

abstract: In this paper, we revisit the antiferromagnetic (AF) phase diagram of the single-band three-dimensional half-filled Hubbard model on a simple cubic lattice studied within the dynamical mean field theory (DMFT). Although this problem has been investigated extensively in the literature, a comprehensive understanding of the impact of the different one- and, in particular, two-particle local correlation functions of DMFT on the AF transition temperature is still missing. We have, hence, performed a fluctuation analysis of $T_N$ with respect to different local bosonic fluctuations (charge, spin, particle-particle) contained in the two-particle vertex of DMFT. Our results indicate that, beyond weak coupling, the screening of the DMFT vertex by local fluctuations leads to an enhancement of $T_N$ with respect to a random phase approximation (RPA) like calculation where this vertex is replaced by the bare interaction. The overall suppression of $T_N$ in DMFT with respect to RPA is then solely due to the incoherence introduced by the DMFT self-energy in the one-particle Green's functions. This illustrates the Janus-faced role of the local moment formation in the DMFT solution of the Hubbard model, which leads to completely opposite effects in the one- and two-particle correlation functions.


title: Politeness and Stable Infiniteness: Stronger Together

abstract: We make two contributions to the study of polite combination in satisfiability modulo theories. The first contribution is a separation between politeness and strong politeness, by presenting a polite theory that is not strongly polite. This result shows that proving strong politeness (which is often harder than proving politeness) is sometimes needed in order to use polite combination. The second contribution is an optimization to the polite combination method, obtained by borrowing from the Nelson-Oppen method. In its non-deterministic form, the Nelson-Oppen method is based on guessing arrangements over shared variables. In contrast, polite combination requires an arrangement over \emph{all} variables of the shared sort (not just the shared variables). We show that when using polite combination, if the other theory is stably infinite with respect to a shared sort, only the shared variables of that sort need be considered in arrangements, as in the Nelson-Oppen method. Reasoning about arrangements of variables is exponential in the worst case, so reducing the number of variables that are considered has the potential to improve performance significantly. We show preliminary evidence for this in practice by demonstrating a speed-up on a smart contract verification benchmark.