title: Credulous Users and Fake News: a Real Case Study on the Propagation in Twitter

abstract: Recent studies have confirmed a growing trend, especially among youngsters, of using Online Social Media as favourite information platform at the expense of traditional mass media. Indeed, they can easily reach a wide audience at a high speed; but exactly because of this they are the preferred medium for influencing public opinion via so-called fake news. Moreover, there is a general agreement that the main vehicle of fakes news are malicious software robots (bots) that automatically interact with human users. In previous work we have considered the problem of tagging human users in Online Social Networks as credulous users. Specifically, we have considered credulous those users with relatively high number of bot friends when compared to total number of their social friends. We consider this group of users worth of attention because they might have a higher exposure to malicious activities and they may contribute to the spreading of fake information by sharing dubious content. In this work, starting from a dataset of fake news, we investigate the behaviour and the degree of involvement of credulous users in fake news diffusion. The study aims to: (i) fight fake news by considering the content diffused by credulous users; (ii) highlight the relationship between credulous users and fake news spreading; (iii) target fake news detection by focusing on the analysis of specific accounts more exposed to malicious activities of bots. Our first results demonstrate a strong involvement of credulous users in fake news diffusion. This findings are calling for tools that, by performing data streaming on credulous' users actions, enables us to perform targeted fact-checking.


title: O-Band Subwavelength Grating Filters in a Monolithic Photonics Technology

abstract: The data communications industry has begun transitioning from electrical to optical interconnects in datacenters in order to overcome performance bottlenecks and meet consumer needs. To mitigate the costs associated with this change and achieve performance for 5G and beyond, it is crucial to explore advanced photonic devices that can enable high-bandwidth interconnects via wavelength-division multiplexing (WDM) in photonic integrated circuits. Subwavelength grating (SWG) filters have shown great promise for WDM applications. However, the small feature sizes necessary to implement these structures have prohibited them from penetrating into industrial applications. To explore the manufacturability and performance of SWG filters in an industrial setting, we fabricate and characterize O-band subwavelength grating filters using the monolithic photonics technology at GLOBALFOUNDRIES (GF). We demonstrate a low drop channel loss of -1.2 dB with a flat-top response, a high extinction ratio of -30 dB, a 3 dB channel width of 5 nm and single-source thermal tunability without shape distortion. This filter structure was designed using elements from the product design kit provided by GF and functions in a compact footprint of 0.002 mm2 with a minimum feature size of 150 nm.


title: Online Algorithms to Schedule a Proportionate Flexible Flow Shop of Batching Machines

abstract: This paper is the first to consider online algorithms to schedule a proportionate flexible flow shop of batching machines (PFFB). The scheduling model is motivated by manufacturing processes of individualized medicaments, which are used in modern medicine to treat some serious illnesses. We provide two different online algorithms, proving also lower bounds for the offline problem to compute their competitive ratios. The first algorithm is an easy-to-implement, general local scheduling heuristic. It is 2-competitive for PFFBs with an arbitrary number of stages and for several natural scheduling objectives. We also show that for total/average flow time, no deterministic algorithm with better competitive ratio exists. For the special case with two stages and the makespan or total completion time objective, we describe an improved algorithm that achieves the best possible competitive ratio $\varphi=\frac{1+\sqrt{5}}{2}$, the golden ratio. All our results also hold for proportionate (non-flexible) flow shops of batching machines (PFB) for which this is also the first paper to study online algorithms.


title: Investigating the dependence of collective dynamics on n/p asymmetry for light nuclei

abstract: The dynamics present in the fusion of neutron-rich nuclei is explored through the comparison of experimental cross-sections at above-barrier energies with measurements of the interaction cross-section at relativistic energies. The increase of fusion dynamics with increasing neutron excess is clearly demonstrated. Experimental cross-sections are compared with the predictions of a Sao Paulo model using relativistic mean field density distributions and the impact of different interactions is explored.


title: Mortgage Contracts and Underwater Default

abstract: We analyze recently proposed mortgage contracts that aim to eliminate selective borrower default when the loan balance exceeds the house price (the ``underwater'' effect). We show contracts that automatically reduce the outstanding balance in the event of house price decline remove the default incentive, but may induce prepayment in low price states. However, low state prepayments vanish if the benefit from home ownership is sufficiently high. We also show that capital gain sharing features, such as prepayment penalties in high house price states, are ineffective as they virtually eliminate prepayment. For observed foreclosure costs, we find that contracts with automatic balance adjustments become preferable to the traditional fixed-rate contracts at mortgage rate spreads between 20-50 basis points. We obtain these results for perpetual versions of the contracts using American options pricing methodology, in a continuous-time model with diffusive home prices. The contracts' values and optimal decision rules are associated with free boundary problems, which admit semi-explicit solutions.


title: Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling

abstract: We present a sound and complete method for the verification of qualitative liveness properties of replicated systems under stochastic scheduling. These are systems consisting of a finite-state program, executed by an unknown number of indistinguishable agents, where the next agent to make a move is determined by the result of a random experiment. We show that if a property of such a system holds, then there is always a witness in the shape of a Presburger stage graph: a finite graph whose nodes are Presburger-definable sets of configurations. Due to the high complexity of the verification problem (non-elementary), we introduce an incomplete procedure for the construction of Presburger stage graphs, and implement it on top of an SMT solver. The procedure makes extensive use of the theory of well-quasi-orders, and of the structural theory of Petri nets and vector addition systems. We apply our results to a set of benchmarks, in particular to a large collection of population protocols, a model of distributed computation extensively studied by the distributed computing community.


title: Constraining Alfv\'enic Turbulence with Helicity Invariants

abstract: In this paper, we study the constraints imposed by the invariants (generalized helicities and energy) of extended magnetohydrodynamics on some global characteristics of turbulence. We show that the global turbulent kinetic and magnetic energies will approach equipartition only under certain circumstances that depend on the ratio of the generalized helicities. In systems with minimal thermal energy, we demonstrate that the three invariants collectively determine the characteristic length scale associated with Alfv\'enic turbulence.


title: Non-asymptotic Convergence Analysis of Two Time-scale (Natural) Actor-Critic Algorithms

abstract: As an important type of reinforcement learning algorithms, actor-critic (AC) and natural actor-critic (NAC) algorithms are often executed in two ways for finding optimal policies. In the first nested-loop design, actor's one update of policy is followed by an entire loop of critic's updates of the value function, and the finite-sample analysis of such AC and NAC algorithms have been recently well established. The second two time-scale design, in which actor and critic update simultaneously but with different learning rates, has much fewer tuning parameters than the nested-loop design and is hence substantially easier to implement. Although two time-scale AC and NAC have been shown to converge in the literature, the finite-sample convergence rate has not been established. In this paper, we provide the first such non-asymptotic convergence rate for two time-scale AC and NAC under Markovian sampling and with actor having general policy class approximation. We show that two time-scale AC requires the overall sample complexity at the order of $\mathcal{O}(\epsilon^{-2.5}\log^3(\epsilon^{-1}))$ to attain an $\epsilon$-accurate stationary point, and two time-scale NAC requires the overall sample complexity at the order of $\mathcal{O}(\epsilon^{-4}\log^2(\epsilon^{-1}))$ to attain an $\epsilon$-accurate global optimal point. We develop novel techniques for bounding the bias error of the actor due to dynamically changing Markovian sampling and for analyzing the convergence rate of the linear critic with dynamically changing base functions and transition kernel.


title: Phase Transitions for one-dimensional Lorenz-like expanding Maps

abstract: Given an one-dimensional Lorenz-like expanding map we prove that the condition\linebreak $P_{top}(\phi,\partial \mathcal{P},\ell)<P_{top}(\phi,\ell)$ (see, subsection 2.4 for definition), introduced by Buzzi and Sarig in [1] is satisfied for all continuous potentials $\phi:[0,1]\longrightarrow \mathbb{R}$. We apply this to prove that quasi-H\"older-continuous potentials (see, subsection 2.2 for definition) have at most one equilibrium measure and we construct a family of continuous but not H\"older and neither weak H\"older continuous potentials for which we observe phase transitions. Indeed, this class includes all H\"older and weak-H\"older continuous potentials and form an open and [2].


title: Asymptotic safety and quantum gravity amplitudes

abstract: Application of the Weinberg's conditions of asymptotic safety to amplitudes and not to couplings of the effective action can help to uniquely define the running in the UV and avoid some of the asymptotic safety program problems. The idea is illustrated by the 4-graviton amplitude in string theory and its symmetries.


title: NH-HAZE: An Image Dehazing Benchmark with Non-Homogeneous Hazy and Haze-Free Images

abstract: Image dehazing is an ill-posed problem that has been extensively studied in the recent years. The objective performance evaluation of the dehazing methods is one of the major obstacles due to the lacking of a reference dataset. While the synthetic datasets have shown important limitations, the few realistic datasets introduced recently assume homogeneous haze over the entire scene. Since in many real cases haze is not uniformly distributed we introduce NH-HAZE, a non-homogeneous realistic dataset with pairs of real hazy and corresponding haze-free images. This is the first non-homogeneous image dehazing dataset and contains 55 outdoor scenes. The non-homogeneous haze has been introduced in the scene using a professional haze generator that imitates the real conditions of hazy scenes. Additionally, this work presents an objective assessment of several state-of-the-art single image dehazing methods that were evaluated using NH-HAZE dataset.


title: Spin caloritronics in a CrBr$_3$-based magnetic van der Waals heterostructure

abstract: The recently reported magnetic ordering in insulating two-dimensional (2D) materials, such as chromium triiodide (CrI$_3$) and chromium tribromide (CrBr$_3$), opens new possibilities for the fabrication of magneto-electronic devices based on 2D systems. Inevitably, the magnetization and spin dynamics in 2D magnets are strongly linked to Joule heating. Therefore, understanding the coupling between spin, charge and heat, i.e. spin caloritronic effects, is crucial. However, spin caloritronics in 2D ferromagnets remains mostly unexplored, due to their instability in air. Here we develop a fabrication method that integrates spin-active contacts with 2D magnets through hBN encapsulation, allowing us to explore the spin caloritronic effects in these materials. The angular dependence of the thermal spin signal of the CrBr$_3$/Pt system is studied, for different conditions of magnetic field and heating current. We highlight the presence of a significant magnetic proximity effect from CrBr$_3$ on Pt revealed by an anomalous Nernst effect in Pt, and suggest the contribution of the spin Seebeck effect from CrBr$_3$. These results pave the way for future magnonic devices using air-sensitive 2D magnetic insulators.


title: Coherent dynamics in frustrated coupled parametric oscillators

abstract: We explore the coherent dynamics in a small network of three coupled parametric oscillators and demonstrate the effect of frustration on the persistent beating between them. Since a single-mode parametric oscillator represents an analog of a classical Ising spin, networks of coupled parametric oscillators are considered as simulators of Ising spin models, aiming to efficiently calculate the ground state of an Ising network - a computationally hard problem. However, the coherent dynamics of coupled parametric oscillators can be considerably richer than that of Ising spins, depending on the nature of the coupling between them (energy preserving or dissipative), as was recently shown for two coupled parametric oscillators. In particular, when the energy-preserving coupling is dominant, the system displays everlasting coherent beats, transcending the Ising description. Here, we extend these findings to three coupled parametric oscillators, focusing in particular on the effect of frustration of the dissipative coupling. We theoretically analyze the dynamics using coupled nonlinear Mathieu's equations, and corroborate our theoretical findings by a numerical simulation that closely mimics the dynamics of the system in an actual experiment. Our main finding is that frustration drastically modifies the dynamics. While in the absence of frustration the system is analogous to the two-oscillator case, frustration reverses the role of the coupling completely, and beats are found for small energy-preserving couplings.


title: Simulation of Optimum values of device parameters to attain Peak to Valley current Ratio (PVCR) in Resonant tunneling diodes (RTD)

abstract: Relations for the optimum well width, barrier width and width of the spacer layer to achieve highest PVCR on the basis of effective mass and barrier height in RTDs is proposed. The optimum spacer layer is found to be half of the de-Broglie wavelength associated with the bound state of the corresponding finite quantum well. The proposed relations for the optimum parameters can be used to design RTD based on any two appropriate materials to attain highest PVCR. The effect of doping concentrations on PVCR and peak current was studied. As case study, we have considered the GaAs/Ga0.7Al0.3As and GaN/Ga0.7Al0.3N RTDs. The current density obtained using the tunneling coefficient based on transfer matrix approach takes in to account the variation in the electric field in the well and barrier region on account of variation in the dielectric constant in the material.


title: QuickSync: A Quickly Synchronizing PoS-Based Blockchain Protocol

abstract: To implement a blockchain, we need a blockchain protocol for all the nodes to follow. To design a blockchain protocol, we need a block publisher selection mechanism and a chain selection rule. In Proof-of-Stake (PoS) based blockchain protocols, block publisher selection mechanism selects the node to publish the next block based on the relative stake held by the node. However, PoS protocols, such as Ouroboros v1, may face vulnerability to fully adaptive corruptions. In this paper, we propose a novel PoS-based blockchain protocol, QuickSync, to achieve security against fully adaptive corruptions while improving on performance. We propose a metric called block power, a value defined for each block, derived from the output of the verifiable random function based on the digital signature of the block publisher. With this metric, we compute chain power, the sum of block powers of all the blocks comprising the chain, for all the valid chains. These metrics are a function of the block publisher's stake to enable the PoS aspect of the protocol. The chain selection rule selects the chain with the highest chain power as the one to extend. This chain selection rule hence determines the selected block publisher of the previous block. When we use metrics to define the chain selection rule, it may lead to vulnerabilities against Sybil attacks. QuickSync uses a Sybil attack resistant function implemented using histogram matching. We prove that QuickSync satisfies common prefix, chain growth, and chain quality properties and hence it is secure. We also show that it is resilient to different types of adversarial attack strategies. Our analysis demonstrates that QuickSync performs better than Bitcoin by an order of magnitude on both transactions per second and time to finality, and better than Ouroboros v1 by a factor of three on time to finality.


title: Possibility of using Parallel beam CT in dental treatment by correction of movement errors with virtual Alignment Method

abstract: The purpose of this study is to correct the movement errors that may occur because of the patients' movement during the CT scanning and thus, to obtain more precise CT images, additionally to investigate the possible use of Parallel Beam CT in the dental treatment. An extracted human tooth was scanned with PBCT and the possible movement errors that patients may cause during the CT scan were intentionally assigned. The maximum width of errors was designed to reach 0.1 mm. The trajectory of the fixed point was traced in the sinogram that includes the fixed point. The part deviated from the sinusoidal curve was modified using the Virtual Alignment Method. The quality of reconstructed image was remarkably degraded when the movement errors were given. A radiopaque part inside the tooth was used as a fixed point. The errors were corrected by shifting the fixed point to the center of sinogram and this relocation of fixed point did not cause any distortion of image or change of size. The movement errors were corrected with the fixed point inside the tooth. The more precise CT images obtained through this method are expected to be of extensive application in the area of dental treatment using CAD/CAM.


title: Noisy Differentiable Architecture Search

abstract: Simplicity is the ultimate sophistication. Differentiable Architecture Search (DARTS) has now become one of the mainstream paradigms of neural architecture search. However, it largely suffers from the well-known performance collapse issue due to the aggregation of skip connections. It is thought to have overly benefited from the residual structure which accelerates the information flow. To weaken this impact, we propose to inject unbiased random noise to impede the flow. We name this novel approach NoisyDARTS. In effect, a network optimizer should perceive this difficulty at each training step and refrain from overshooting, especially on skip connections. In the long run, since we add no bias to the gradient in terms of expectation, it is still likely to converge to the right solution area. We also prove that the injected noise plays a role in smoothing the loss landscape, which makes the optimization easier. Our method features extreme simplicity and acts as a new strong baseline. We perform extensive experiments across various search spaces, datasets, and tasks, where we robustly achieve state-of-the-art results. Our code is available at https://github.com/xiaomi-automl/NoisyDARTS.


title: A global model of the magnetorotational instability in protoneutron stars

abstract: Magnetars are highly magnetized neutron stars whose magnetic dipole ranges from $10^{14}$ to $10^{15}$ G. The MRI is considered to be a promising mechanism to amplify the magnetic field in fast-rotating protoneutron stars and form magnetars. This scenario is supported by many local studies showing that magnetic fields could be amplified by the MRI on small scales. However, the efficiency of the MRI at generating a dipole field is still unknown. To answer this question, we study the MRI dynamo in an idealized global model of a fast rotating protoneutron star with differential rotation. We perform 3D incompressible MHD simulations in spherical geometry with explicit diffusivities where the differential rotation is forced at the outer boundary. We vary the initial magnetic field and investigated different magnetic boundary conditions. These simulations were compared to local shearing box simulations. We obtain a self-sustained turbulent MRI-driven dynamo, whose saturated state is independent of the initial magnetic field. The MRI generates a strong turbulent magnetic field of $B \geq 2\times 10^{15}$ G and a non-dominant magnetic dipole, which represents systematically about $5\%$ of the averaged magnetic field strength. Interestingly, this dipole is tilted towards the equatorial plane. We find that local shearing box models can reproduce fairly well several characteristics of global MRI turbulence such as the kinetic and magnetic spectra. The turbulence is nonetheless more vigorous in the local models than in the global ones. Overall, our results support the ability of the MRI to form magnetar-like large-scale magnetic fields. They furthermore predict the presence of a stronger small-scale magnetic field. The resulting magnetic field could be important to power outstanding stellar explosions, such as superluminous supernovae and GRBs.


title: Exact representations of many body interactions with RBM neural networks

abstract: Restricted Boltzmann Machines (RBM) are simple statistical models defined on a bipartite graph which have been successfully used in studying more complicated many-body systems, both classical and quantum. In this work, we exploit the representation power of RBMs to provide an exact decomposition of many-body contact interactions into one-body operators coupled to discrete auxiliary fields. This construction generalizes the well known Hirsch's transform used for the Hubbard model to more complicated theories such as Pionless EFT in nuclear physics, which we analyze in detail. We also discuss possible applications of our mapping for quantum annealing applications and conclude with some implications for RBM parameter optimization through machine learning.


title: Connectedness of square-free Groebner Deformations

abstract: Let $I\subseteq S=K[x_1,\ldots,x_n]$ be a homogeneous ideal equipped with a monomial order $<$. We show that if $\operatorname{in}_<(I)$ is a square-free monomial ideal, then $S/I$ and $S/\operatorname{in}_<(I)$ have the same connectedness dimension. We also show that graphs related to connectedness of these quotient rings have the same number of components. We also provide consequences regarding Lyubeznik numbers. We obtain these results by furthering the study of connectedness modulo a parameter in a local ring.


title: Minimal acceleration for the multi-dimensional isentropic Euler equations

abstract: On the set of dissipative solutions to the multi-dimensional isentropic Euler equations we introduce a quasi-order by comparing the acceleration at all times. This quasi-order is continuous with respect to a suitable notion of convergence of dissipative solutions. We establish the existence of minimal elements. Minimizing the acceleration amounts to selecting dissipative solutions that are as close to being a weak solution as possible.


title: Binary black hole mergers in AGN accretion discs: gravitational wave rate density estimates

abstract: The majority of gravitational wave (GW) events detected so far by LIGO/Virgo originate from binary black hole (BBH) mergers. Among the different binary evolution paths, the merger of BBHs in accretion discs of active galactic nuclei (AGNs) is a possible source of GW detections. We consider an idealised analytical model of the orbital evolution of BBHs embedded in an AGN accretion disc. In this framework, the disc-binary interaction increases the orbital eccentricity and decreases the orbital separation, driving the BBH into a regime where GW emission eventually leads to coalescence. We compute the resulting GW merger rate density from this channel based on a weighted average of the merger timescales of a population of BBHs radially distributed within the AGN accretion disc. The predicted merger rates broadly lie in the range $\mathcal{R} \sim (0.002 - 18) \, \mathrm{Gpc^{-3} yr^{-1}}$. We analyse the dependence of the merger rate density on both the accretion disc and binary orbital parameters, emphasising the important role of the orbital eccentricity. We discuss the astrophysical implications of this particular BBH-in-AGN formation channel in the broader context of binary evolution scenarios.


title: Enhancing Geometric Factors in Model Learning and Inference for Object Detection and Instance Segmentation

abstract: Deep learning-based object detection and instance segmentation have achieved unprecedented progress. In this paper, we propose Complete-IoU (CIoU) loss and Cluster-NMS for enhancing geometric factors in both bounding box regression and Non-Maximum Suppression (NMS), leading to notable gains of average precision (AP) and average recall (AR), without the sacrifice of inference efficiency. In particular, we consider three geometric factors, i.e., overlap area, normalized central point distance and aspect ratio, which are crucial for measuring bounding box regression in object detection and instance segmentation. The three geometric factors are then incorporated into CIoU loss for better distinguishing difficult regression cases. The training of deep models using CIoU loss results in consistent AP and AR improvements in comparison to widely adopted $\ell_n$-norm loss and IoU-based loss. Furthermore, we propose Cluster-NMS, where NMS during inference is done by implicitly clustering detected boxes and usually requires less iterations. Cluster-NMS is very efficient due to its pure GPU implementation, and geometric factors can be incorporated to improve both AP and AR. In the experiments, CIoU loss and Cluster-NMS have been applied to state-of-the-art instance segmentation (e.g., YOLACT and BlendMask-RT), and object detection (e.g., YOLO v3, SSD and Faster R-CNN) models. Taking YOLACT on MS COCO as an example, our method achieves performance gains as +1.7 AP and +6.2 AR$_{100}$ for object detection, and +0.9 AP and +3.5 AR$_{100}$ for instance segmentation, with 27.1 FPS on one NVIDIA GTX 1080Ti GPU. All the source code and trained models are available at https://github.com/Zzh-tju/CIoU


title: No significant correlation between radial velocity planet presence and debris disc properties

abstract: We investigate whether the tentative correlation between planets and debris discs which has been previously identified can be confirmed at high significance. We compile a sample of 201 stars with known planets and existing far infrared observations. The sample is larger than those studied previously since we include targets from an unpublished Herschel survey of planet hosts. We use spectral energy distribution modelling to characterise Kuiper belt analogue debris discs within the sample, then compare the properties of the discs against a control sample of 294 stars without known planets. Survival analysis suggests that there is a significant ($p\sim 0.002$) difference between the disc fractional luminosity distributions of the two samples. However, this is largely a result of the fact that the control sample contains a higher proportion of close binaries and of later-type stars; both of these factors are known to reduce disc detection rates. Considering only Sun-like stars without close binary companions in each sample greatly reduces the significance of the difference ($p\sim 0.3$). We also find no evidence for a difference in the disc fractional luminosities of stars hosting planets more or less massive than Saturn ($p\sim 0.9$). Finally, we find that the planet hosts have cooler discs than the control stars, but this is likely a detection bias, since the warmest discs in the control sample are also the faintest, and would thus be undetectable around the more distant planet hosts. Considering only discs in each sample that could have been detected around a typical planet host, we find $p\sim 0.07$ for the temperatures.


title: A Reduced Basis Method For Fractional Diffusion Operators II

abstract: We present a novel numerical scheme to approximate the solution map $s\mapsto u(s) := \mathcal{L}^{-s}f$ to partial differential equations involving fractional elliptic operators. Reinterpreting $\mathcal{L}^{-s}$ as interpolation operator allows us to derive an integral representation of $u(s)$ which includes solutions to parametrized reaction-diffusion problems. We propose a reduced basis strategy on top of a finite element method to approximate its integrand. Unlike prior works, we deduce the choice of snapshots for the reduced basis procedure analytically. Avoiding further discretization, the integral is interpreted in a spectral setting to evaluate the surrogate directly. Its computation boils down to a matrix approximation $L$ of the operator whose inverse is projected to a low-dimensional space, where explicit diagonalization is feasible. The universal character of the underlying $s$-independent reduced space allows the approximation of $(u(s))_{s\in(0,1)}$ in its entirety. We prove exponential convergence rates and confirm the analysis with a variety of numerical examples. Further improvements are proposed in the second part of this investigation to avoid inversion of $L$. Instead, we directly project the matrix to the reduced space, where its negative fractional power is evaluated. A numerical comparison with the predecessor highlights its competitive performance.


title: Phase diagram of helically imbalanced QCD matter

abstract: We discuss the influence of a helicity imbalance on the phase diagram of dense QCD at finite temperature. We argue that the helical chemical potential is a thermodynamically relevant quantity in theories with the mass gap generation. Using the linear sigma model coupled to quarks, we show that the presence of the helical density substantially affects the phase diagram of dense quark matter. A moderate helical density makes the chiral phase transition softer while shifting the critical endpoint towards lower temperatures and higher baryon chemical potentials. As the helical density increases, the segment of the first-order transition disappears, and the chiral transition becomes a soft crossover. At even higher helical chemical potentials, the first-order transition reappears again at the zero-density finite-temperature transition and extends into the interior of the phase diagram. This evolution of the chiral transition reflects the existence of a thermodynamic duality between helical and vector (baryonic) chemical potentials. We also show that the presence of the helicity imbalance of quark matter increases the curvature of the chiral pseudocritical line in QCD.


title: Estimating customer impatience in a service system with unobserved balking

abstract: This paper studies a service system in which arriving customers are provided with information about the delay they will experience. Based on this information they decide to wait for service or to leave the system. Specifically, every customer has a patience threshold and they balk if the observed delay is above the threshold. The main objective is to estimate the parameters of the customers' patience-level distribution and the corresponding potential arrival rate, using knowledge of the actual queue-length process only. The main complication, and distinguishing feature of our setup, lies in the fact that customers who decide not to join are not observed, remarkably, we manage to devise a procedure to estimate the underlying patience and arrival rate parameters. The model is a multi-server queue with a Poisson stream of customers, enabling evaluation of the corresponding likelihood function of the state-dependent effective arrival process. We establish strong consistency of the MLE and derive the asymptotic distribution of the estimation error. Several applications and extensions of the method are discussed. The performance is further assessed through a series of numerical experiments. By fitting parameters of hyperexponential and generalized-hyperexponential distributions our method provides a robust estimation framework for any continuous patience-level distribution.


title: Graded 2-generated axial algebras

abstract: Axial algebras are non-associative algebras generated by semisimple idempotents whose adjoint actions obey a fusion law. Axial algebras that are generated by two such idempotents play a crucial role in the theory. We classify all primitive 2-generated axial algebras whose fusion laws have two eigenvalues and all graded primitive 2-generated axial algebras whose fusion laws have three eigenvalues. This represents a significant broadening in our understanding of axial algebras.


title: Outbursts in Global Protoplanetary Disk Simulations

abstract: While accreting through a circumstellar disk, young stellar objects are observed to undergo sudden and powerful accretion events known as FUor or EXor outbursts. Although such episodic accretion is considered to be an integral part of the star formation process, the triggers and mechanisms behind them remain uncertain. We conducted global numerical hydrodynamics simulations of protoplanetary disk formation and evolution in the thin-disk limit, assuming both magnetically layered and fully magnetorotational instability (MRI)-active disk structure. In this paper, we characterize the nature of the outbursts occurring in these simulations. The instability in the dead zone of a typical layered disk results in "MRI outbursts". We explore their progression and their dependence on the layered disk parameters as well as cloud core mass. The simulations of fully MRI-active disks showed an instability analogous to the classical thermal instability. This instability manifested at two temperatures--above approximately 1400 K and 3500 K--due to the steep dependence of Rosseland opacity on the temperature. The origin of these thermally unstable regions is related to the bump in opacity resulting from molecular absorption by water vapor and may be viewed as a novel mechanism behind some of the shorter duration accretion events. Although we demonstrated local thermal instability in the disk, more investigations are needed to confirm that a large-scale global instability will ensue. We conclude that the magnetic structure of a disk, its composition, as well as the stellar mass, can significantly affect the nature of episodic accretion in young stellar objects.


title: On Abelianity Lines in Elliptic $W$-Algebras

abstract: We present a systematic derivation of the abelianity conditions for the $q$-deformed $W$-algebras constructed from the elliptic quantum algebra $\mathcal{A}_{q,p}\big(\widehat{\mathfrak{gl}}(N)_{c}\big)$. We identify two sets of conditions on a given critical surface yielding abelianity lines in the moduli space ($p, q, c$). Each line is identified as an intersection of a countable number of critical surfaces obeying diophantine consistency conditions. The corresponding Poisson brackets structures are then computed for which some universal features are described.


title: Robust and optimal predictive control of the COVID-19 outbreak

abstract: We investigate adaptive strategies to robustly and optimally control the COVID-19 pandemic via social distancing measures based on the example of Germany. Our goal is to minimize the number of fatalities over the course of two years without inducing excessive social costs. We consider a tailored model of the German COVID-19 outbreak with different parameter sets to design and validate our approach. Our analysis reveals that an open-loop optimal control policy can significantly decrease the number of fatalities when compared to simpler policies under the assumption of exact model knowledge. In a more realistic scenario with uncertain data and model mismatch, a feedback strategy that updates the policy weekly using model predictive control (MPC) leads to a reliable performance, even when applied to a validation model with deviant parameters. On top of that, we propose a robust MPC-based feedback policy using interval arithmetic that adapts the social distancing measures cautiously and safely, thus leading to a minimum number of fatalities even if measurements are inaccurate and the infection rates cannot be precisely specified by social distancing. Our theoretical findings support various recent studies by showing that 1) adaptive feedback strategies are required to reliably contain the COVID-19 outbreak, 2) well-designed policies can significantly reduce the number of fatalities compared to simpler ones while keeping the amount of social distancing measures on the same level, and 3) imposing stronger social distancing measures early on is more effective and cheaper in the long run than opening up too soon and restoring stricter measures at a later time.

categories: q-bio.PE cs.SY eess.SY math.OC physics.soc-ph


title: Optimal location of resources and Steiner symmetry in a population dynamics model in heterogeneous environments

abstract: The subject of this paper is inspired by \cite{CC} and \cite{CCP}. In \cite{CC} the authors investigate the dynamics of a population in a heterogeneous environment by means of diffusive logistic equations. An important part of their study consists in finding sufficient conditions which guarantee the survival of the species. Mathematically, this task leads to the weighted eigenvalue problem $-\Delta u =\lambda m u $ in a bounded smooth domain $\Omega\subset \mathbb{R}^N$, $N\geq 1$, under homogeneous Dirichlet boundary conditions, where $\lambda \in \mathbb{R}$ and $m\in L^\infty(\Omega)$. The domain $\Omega$ represents the environment and $m(x)$, called the local growth rate, says where the favourable and unfavourable habitats are located. Then, the authors in \cite{CC} consider a class of weights $m(x)$ corresponding to environments where the total sizes of favourable and unfavourable habitats are fixed, but their spatial arrangement is allowed to change; they determine the best choice among them for the population to survive.\\ In our paper we give an alternative proof and develop a refinement of the result above, moreover we prove a Steiner symmetry result.


title: Predictive Modeling of ICU Healthcare-Associated Infections from Imbalanced Data. Using Ensembles and a Clustering-Based Undersampling Approach

abstract: Early detection of patients vulnerable to infections acquired in the hospital environment is a challenge in current health systems given the impact that such infections have on patient mortality and healthcare costs. This work is focused on both the identification of risk factors and the prediction of healthcare-associated infections in intensive-care units by means of machine-learning methods. The aim is to support decision making addressed at reducing the incidence rate of infections. In this field, it is necessary to deal with the problem of building reliable classifiers from imbalanced datasets. We propose a clustering-based undersampling strategy to be used in combination with ensemble classifiers. A comparative study with data from 4616 patients was conducted in order to validate our proposal. We applied several single and ensemble classifiers both to the original dataset and to data preprocessed by means of different resampling methods. The results were analyzed by means of classic and recent metrics specifically designed for imbalanced data classification. They revealed that the proposal is more efficient in comparison with other approaches.


title: Depletion-driven Morphological Transitions in Hexagonal Crystallites of Virus Rods

abstract: The assembly of nanometer-sized building blocks into complex morphologies is not only of fundamental interest but also plays a key role in material science and nanotechnology. We show that the shape of self-assembled superstructures formed by rod-like viruses can be controlled by tuning the attraction via the depletion interaction between the rods. Using nonadsorbing polymers as a depleting agent, we demonstrate that a hierarchical unidimensional self-organization into crystalline clusters emerges progressively upon increasing depletion attraction -and enhanced growth kinetics. We observe a polymorphic change proceeding from two-dimensional (2D) crystalline monolayers at weak depletion to one-dimensional (1D) columnar fibers at strong depletion, via the formation of smectic fibrils at intermediate depletion strength. A simple theory for reversible polymerization enables us to determine the typical bond energy between monomeric units making up the smectic fibrils. We also demonstrate that gentle flow-assistance can be used to template filament-like structures into highly aligned supported films. Our results showcase a generic bottom-up approach for tuning the morphology of crystalline superstructures through modification of the interaction between non-spherical building blocks. This provides a convenient pathway for controlling self-organization, dimensionality and structure-formation of anisotropic nanoparticles for use in nanotechnology and functional materials.


title: Simulating Population Protocols in Sub-Constant Time per Interaction

abstract: We consider the problem of efficiently simulating population protocols. In the population model, we are given a distributed system of $n$ agents modeled as identical finite-state machines. In each time step, a pair of agents is selected uniformly at random to interact. In an interaction, agents update their states according to a common transition function. We empirically and analytically analyze two classes of simulators for this model. First, we consider sequential simulators executing one interaction after the other. Key to the performance of these simulators is the data structure storing the agents' states. For our analysis, we consider plain arrays, binary search trees, and a novel Dynamic Alias Table data structure. Secondly, we consider batch processing to efficiently update the states of multiple independent agents in one step. For many protocols considered in literature, our simulator requires amortized sub-constant time per interaction and is fast in practice: given a fixed time budget, the implementation of our batched simulator is able to simulate population protocols several orders of magnitude larger compared to the sequential competitors, and can carry out $2^{50}$ interactions among the same number of agents in less than 400s.


title: Domain Adaptation in Highly Imbalanced and Overlapping Datasets

abstract: In many machine learning domains, datasets are characterized by highly imbalanced and overlapping classes. Particularly in the medical domain, a specific list of symptoms can be labeled as one of various different conditions. Some of these conditions may be more prevalent than others by several orders of magnitude. Here we present a novel unsupervised domain adaptation scheme for such datasets. The scheme, based on a specific type of Quantification, is designed to work under both label and conditional shifts. It is demonstrated on datasets generated from electronic health records and provides high quality results for both Quantification and Domain Adaptation in very challenging scenarios. Potential benefits of using this scheme in the current COVID-19 outbreak, for estimation of prevalence and probability of infection are discussed.


title: GeoLogic -- Graphical interactive theorem prover for Euclidean geometry

abstract: Domain of mathematical logic in computers is dominated by automated theorem provers (ATP) and interactive theorem provers (ITP). Both of these are hard to access by AI from the human-imitation approach: ATPs often use human-unfriendly logical foundations while ITPs are meant for formalizing existing proofs rather than problem solving. We aim to create a simple human-friendly logical system for mathematical problem solving. We picked the case study of Euclidean geometry as it can be easily visualized, has simple logic, and yet potentially offers many high-school problems of various difficulty levels. To make the environment user friendly, we abandoned strict logic required by ITPs, allowing to infer topological facts from pictures. We present our system for Euclidean geometry, together with a graphical application GeoLogic, similar to GeoGebra, which allows users to interactively study and prove properties about the geometrical setup.


title: Gluing curves of genus 1 and 2 along their 2-torsion

abstract: Let $X$ (resp. $Y$) be a curve of genus 1 (resp. 2) over a base field $k$ whose characteristic does not equal 2. We give criteria for the existence of a curve $Z$ over $k$ whose Jacobian is up to twist (2,2,2)-isogenous to the products of the Jacobians of $X$ and $Y$. Moreover, we give algorithms to construct the curve $Z$ once equations for $X$ and $Y$ are given. The first of these involves the use of hyperplane sections of the Kummer variety of $Y$ whose desingularization is isomorphic to $X$, whereas the second is based on interpolation methods involving numerical results over $\mathbb{C}$ that are proved to be correct over general fields a posteriori. As an application, we find a twist of a Jacobian over $\mathbb{Q}$ that admits a rational 70-torsion point.


title: Learning Implicit Text Generation via Feature Matching

abstract: Generative feature matching network (GFMN) is an approach for training implicit generative models for images by performing moment matching on features from pre-trained neural networks. In this paper, we present new GFMN formulations that are effective for sequential data. Our experimental results show the effectiveness of the proposed method, SeqGFMN, for three distinct generation tasks in English: unconditional text generation, class-conditional text generation, and unsupervised text style transfer. SeqGFMN is stable to train and outperforms various adversarial approaches for text generation and text style transfer.


title: Scalar Dark Matter and Electroweak Stability

abstract: The standard model of elementary particles (SM), despite experimental completion at the LHC, needs to be extended for various physical reasons, including the cold dark matter (DM). Each extension comes with its scale and mechanism, and typically lifts, at the loop level, the electroweak scale towards its high scale. The problem is to keep the electroweak scale stable while providing a room for the aforementioned heavy extensions. To this end, it turns out that the SM Higgs sector remains stable in the presence of a heavy scalar if their quartic couplings unify at a certain scale when their masses are degenerate. Under this mass-degeneracy-driven unification (MDDU), the scalar under concern is found to qualify as a viable DM candidate and to leave the electroweak scale stable. Our detailed simulation studies explicitly show that the MDDU parameter space agrees with current collider and astrophysical bounds. Our work can be extended to other relevant scalars (like flavons, inflaton and others) as a mechanism by which the electroweak scale is held stable.


title: VM placement over WDM-TDM AWGR PON Based Data Centre Architecture

abstract: Passive optical networks (PON) can play a vital role in data centres and access fog solutions by providing scalable, cost and energy efficient architectures. This paper proposes a Mixed Integer Linear Programming (MILP) model to optimize the placement of virtual machines (VMs) over an energy efficient WDM-TDM AWGR PON based data centre architecture. In this optimization, the use of VMs and their requirements affect the optimum number of servers utilized in the data centre when minimizing the power consumption and enabling more efficient utilization of servers is considered. Two power consumption minimization objectives were examined for up to 20 VMs with different computing and networking requirements. The results indicate that considering the minimization of the processing and networking power consumption in the allocation of VMs in the WDM-TDM AWGR PON can reduce the networking power consumption by up to 70% compared to the minimization of the processing power consumption.


title: Positive- and negative-frequency noise from an ensemble of two-level fluctuators

abstract: The analysis of charge noise based on the Bloch-Redfield treatment of an ensemble of dissipative two-level fluctuators generally results in a violation of the fluctuation-dissipation theorem. The standard Markov approximation (when applied to the two-level fluctuators coupled to a bath) can be identified as the main origin of this failure. The resulting decoherence rates only involve the bath response at the fluctuator frequency, and thus completely neglect the effects of frequency broadening. A systematic and computationally convenient way to overcome this issue is to employ the spectator-qubit method: by coupling an auxiliary qubit to the two-level fluctuator ensemble, an analytical approximation for $S({\omega})$ fully consistent with the fluctuation-dissipation theorem can be obtained. We discuss the resulting characteristics of the noise which exhibits distinct behavior over several frequency ranges, including a $1/f$ to $1/f^2$ crossover with a $T^3$ temperature dependence of the crossover frequency.


title: Departure from Babinet principle in metasurfaces supported by subwavelength dielectric slabs

abstract: Symmetry principles and theorems are of crucial importance in optics. Indeed, from one side they allow to get direct insights into phenomena by eliminating unphysical interpretations; from the other side, they guide the designer of photonic components by narrowing down the parameter space of design variables. In this Letter we illustrate a significant departure from the Babinet spectral complementarity in a very common and technologically relevant situation: that of a patterned conducting screen placed on a subwavelength dielectric slab. The symmetry property predicted by Babinet theorem is correctly recovered for pairs of geometrically complementary - but less realistic in terms of applications - free-standing patterned screens. Our analysis merges experimental data with fully vectorial electromagnetic modeling, and provides also an alternative form of Babinet theorem that highlights a connection with the concept of electromagnetic duality.


title: A Tale of Two Perplexities: Sensitivity of Neural Language Models to Lexical Retrieval Deficits in Dementia of the Alzheimer's Type

abstract: In recent years there has been a burgeoning interest in the use of computational methods to distinguish between elicited speech samples produced by patients with dementia, and those from healthy controls. The difference between perplexity estimates from two neural language models (LMs) - one trained on transcripts of speech produced by healthy participants and the other trained on transcripts from patients with dementia - as a single feature for diagnostic classification of unseen transcripts has been shown to produce state-of-the-art performance. However, little is known about why this approach is effective, and on account of the lack of case/control matching in the most widely-used evaluation set of transcripts (DementiaBank), it is unclear if these approaches are truly diagnostic, or are sensitive to other variables. In this paper, we interrogate neural LMs trained on participants with and without dementia using synthetic narratives previously developed to simulate progressive semantic dementia by manipulating lexical frequency. We find that perplexity of neural LMs is strongly and differentially associated with lexical frequency, and that a mixture model resulting from interpolating control and dementia LMs improves upon the current state-of-the-art for models trained on transcript text exclusively.


title: Probing Light Gauge Bosons in Tau Neutrino Experiments

abstract: The tau neutrino is probably the least studied particle in the SM, with only a handful of interaction events being identified so far. This can in part be attributed to their small production rate in the SM, which occurs mainly through D_s meson decay. However, this also makes the tau neutrino flux measurement an interesting laboratory for additional new physics production modes. In this study, we investigate the possibility of tau neutrino production in the decay of light vector bosons. We consider four scenarios of anomaly-free U(1) gauge groups corresponding to the B-L, B-L_mu-2L_tau, B-L_e-2L_tau and B-3L_tau numbers, analyze current constraints on their parameter spaces and explore the sensitivity of DONuT and as well as the future emulsion detector experiments FASERnu, SND@LHC an SND@SHiP. We find that these experiments provide the leading direct constraints in parts of the parameter space, especially when the vector boson's mass is close to the mass of the omega meson.


title: Machine learning -- based diffractive imaging with subwavelength resolution

abstract: Far-field characterization of small objects is severely constrained by the diffraction limit. Existing tools achieving sub-diffraction resolution often utilize point-by-point image reconstruction via scanning or labelling. Here, we present a new imaging technique capable of fast and accurate characterization of two-dimensional structures with at least wavelength/25 resolution, based on a single far-field intensity measurement. Experimentally, we realized this technique resolving the smallest-available to us 180-nm-scale features with 532-nm laser light. A comprehensive analysis of machine learning algorithms was performed to gain insight into the learning process and to understand the flow of subwavelength information through the system. Image parameterization, suitable for diffractive configurations and highly tolerant to random noise was developed. The proposed technique can be applied to new characterization tools with high spatial resolution, fast data acquisition, and artificial intelligence, such as high-speed nanoscale metrology and quality control, and can be further developed to high-resolution spectroscopy


title: Physics-informed neural network for ultrasound nondestructive quantification of surface breaking cracks

abstract: We introduce an optimized physics-informed neural network (PINN) trained to solve the problem of identifying and characterizing a surface breaking crack in a metal plate. PINNs are neural networks that can combine data and physics in the learning process by adding the residuals of a system of Partial Differential Equations to the loss function. Our PINN is supervised with realistic ultrasonic surface acoustic wave data acquired at a frequency of 5 MHz. The ultrasonic surface wave data is represented as a surface deformation on the top surface of a metal plate, measured by using the method of laser vibrometry. The PINN is physically informed by the acoustic wave equation and its convergence is sped up using adaptive activation functions. The adaptive activation function uses a scalable hyperparameter in the activation function, which is optimized to achieve best performance of the network as it changes dynamically the topology of the loss function involved in the optimization process. The usage of adaptive activation function significantly improves the convergence, notably observed in the current study. We use PINNs to estimate the speed of sound of the metal plate, which we do with an error of 1\%, and then, by allowing the speed of sound to be space dependent, we identify and characterize the crack as the positions where the speed of sound has decreased. Our study also shows the effect of sub-sampling of the data on the sensitivity of sound speed estimates. More broadly, the resulting model shows a promising deep neural network model for ill-posed inverse problems.


title: Efficient Exact Verification of Binarized Neural Networks

abstract: Concerned with the reliability of neural networks, researchers have developed verification techniques to prove their robustness. Most verifiers work with real-valued networks. Unfortunately, the exact (complete and sound) verifiers face scalability challenges and provide no correctness guarantees due to floating point errors. We argue that Binarized Neural Networks (BNNs) provide comparable robustness and allow exact and significantly more efficient verification. We present a new system, EEV, for efficient and exact verification of BNNs. EEV consists of two parts: (i) a novel SAT solver that speeds up BNN verification by natively handling the reified cardinality constraints arising in BNN encodings; and (ii) strategies to train solver-friendly robust BNNs by inducing balanced layer-wise sparsity and low cardinality bounds, and adaptively cancelling the gradients. We demonstrate the effectiveness of EEV by presenting the first exact verification results for L-inf-bounded adversarial robustness of nontrivial convolutional BNNs on the MNIST and CIFAR10 datasets. Compared to exact verification of real-valued networks of the same architectures on the same tasks, EEV verifies BNNs hundreds to thousands of times faster, while delivering comparable verifiable accuracy in most cases.


title: A Local Spectral Exterior Calculus for the Sphere and Application to the Shallow Water Equations

abstract: We introduce $\Psi\mathrm{ec}$, a local spectral exterior calculus for the two-sphere $S^2$. $\Psi\mathrm{ec}$ provides a discretization of Cartan's exterior calculus on $S^2$ formed by spherical differential $r$-form wavelets. These are well localized in space and frequency and provide (Stevenson) frames for the homogeneous Sobolev spaces $\dot{H}^{-r+1}( \Omega_{\nu}^{r} , S^2 )$ of differential $r$-forms. At the same time, they satisfy important properties of the exterior calculus, such as the de Rahm complex and the Hodge-Helmholtz decomposition. Through this, $\Psi\mathrm{ec}$ is tailored towards structure preserving discretizations that can adapt to solutions with varying regularity. The construction of $\Psi\mathrm{ec}$ is based on a novel spherical wavelet frame for $L_2(S^2)$ that we obtain by introducing scalable reproducing kernel frames. These extend scalable frames to weighted sampling expansions and provide an alternative to quadrature rules for the discretization of needlet-like scale-discrete wavelets. We verify the practicality of $\Psi\mathrm{ec}$ for numerical computations using the rotating shallow water equations. Our numerical results demonstrate that a $\Psi\mathrm{ec}$-based discretization of the equations attains accuracy comparable to those of spectral methods while using a representation that is well localized in space and frequency.


title: COVID-19 Contact-tracing Apps: a Survey on the Global Deployment and Challenges

abstract: To address the massive spike in uncertainties triggered by the coronavirus disease (COVID-19), there is an ever-increasing number of national governments that are rolling out contact-tracing Apps to aid the containment of the virus. The first hugely contentious issue facing the Apps is the deployment framework, i.e. centralized or decentralized. Based on this, the debate branches out to the corresponding technologies that underpin these architectures, i.e. GPS, QR codes, and Bluetooth. This work conducts a pioneering review of the above scenarios and contributes a geolocation mapping of the current deployment. The Apps vulnerabilities and the directions of research are identified, with a special focus on the Bluetooth-inspired decentralized paradigm.


title: Dark matter stability from Dirac neutrinos in scotogenic 3-3-1-1 theory

abstract: We propose the simplest TeV-scale scotogenic extension of the original 3-3-1 theory, where dark matter stability is linked to the Dirac nature of neutrinos, which results from an unbroken $B-L$ gauge symmetry. The new gauge bosons get masses through the interplay of spontaneous symmetry breaking \`a la Higgs and the Stueckelberg mechanism.


title: Groups up to congruence relation and from categorical groups to c-crossed modules

abstract: We introduce a notion of c-group, which is a group up to congruence relation and consider the corresponding category. Extensions, actions and crossed modules (c-crossed modules) are defined in this category and the semi-direct product is constructed. We prove that each categorical group gives rise to c-groups and to a c-crossed module, which is a connected, special and strict c-crossed module in the sense defined by us. The results obtained here will be applied in the proof of an equivalence of the categories of categorical groups and connected, special and strict c-crossed modules.


title: Entropy, irreversibility and cascades in the inertial range of isotropic turbulence

abstract: This paper analyses the turbulent energy cascade from the perspective of statistical mechanics, and relates inter-scale energy fluxes to statistical irreversibility and information-entropy production. The microscopical reversibility of the energy cascade is tested by constructing a reversible 3D turbulent system using a dynamic model for the sub-grid stresses. This system, when reversed in time, develops a sustained inverse cascade towards the large scales, evidencing that the characterisation of the inertial energy cascade must consider the possibility of an inverse regime. This experiment is used to study the origin of statistical irreversibility and the prevalence of direct over inverse energy cascades in isotropic turbulence. Statistical irreversibility, a property of statistical ensembles in phase space related to entropy production, is connected to the dynamics of the energy cascade in physical space by considering the space locality of the energy fluxes and their relation to the local structure of the flow. A mechanism to explain the probabilistic prevalence of direct energy transfer is proposed based the dynamics of the rate-of-strain tensor, which is identified as the most important source of statistical irreversibility in the energy cascade.


title: In the Pursuit of Majorana Modes in Iron-based High-$T_c$ Superconductors

abstract: Majorana zero mode is an exotic quasi-particle excitation with non-Abelian statistics in topological superconductor systems, and can serve as the cornerstone for topological quantum computation, a new type of fault-tolerant quantum computation architecture. This review paper highlights recent progress in realizing Majorana modes in iron-based high-temperature superconductors. We begin with the discussion on topological aspect of electronic band structures in iron-based superconductor compounds. Then we focus on several concrete proposals for Majorana modes, including the Majorana zero modes inside the vortex core on the surface of Fe(Te,Se), helical Majorana modes at the hinge of Fe(Te,Se), the Majorana zero modes at the corner of the Fe(Te,Se)/FeTe heterostructure or the monolayer Fe(Te,Se) under an in-plane magnetic field. We also review the current experimental stage and provide the perspective and outlook for this rapidly developing field.


title: A simulation study of disaggregation regression for spatial disease mapping

abstract: Disaggregation regression has become an important tool in spatial disease mapping for making fine-scale predictions of disease risk from aggregated response data. By including high resolution covariate information and modelling the data generating process on a fine scale, it is hoped that these models can accurately learn the relationships between covariates and response at a fine spatial scale. However, validating these high resolution predictions can be a challenge, as often there is no data observed at this spatial scale. In this study, disaggregation regression was performed on simulated data in various settings and the resulting fine-scale predictions are compared to the simulated ground truth. Performance was investigated with varying numbers of data points, sizes of aggregated areas and levels of model misspecification. The effectiveness of cross validation on the aggregate level as a measure of fine-scale predictive performance was also investigated. Predictive performance improved as the number of observations increased and as the size of the aggregated areas decreased. When the model was well-specified, fine-scale predictions were accurate even with small numbers of observations and large aggregated areas. Under model misspecification predictive performance was significantly worse for large aggregated areas but remained high when response data was aggregated over smaller regions. Cross-validation correlation on the aggregate level was a moderately good predictor of fine-scale predictive performance. While the simulations are unlikely to capture the nuances of real-life response data, this study gives insight into the effectiveness of disaggregation regression in different contexts.


title: Prediction of the Al-rich part of the Al-Cu phase diagram using cluster expansion and statistical mechanics

abstract: The thermodynamic properties of {\alpha}-Al and other phases (GP zones, {\theta}'', {\theta}' and {\theta}) in the Al-rich part of the Al-Cu system have been obtained by means of the cluster expansion formalism in combination with statistical mechanics. This information was used to build the Al-rich part of the Al-Cu phase-diagram taking into account vibrational entropic contributions for {\theta}', as those of the other phases were negligible. The simulation predictions of the phase boundaries between {\alpha}-Al and either {\theta}'', {\theta}' or {\theta} phases as a function of temperature are in good agreement with experimental data and extend the phase boundaries to a wider temperature range. The DFT calculations reveal the presence of a number of metastable Guinier-Preston-zone type configurations that may coexist with {\alpha}-Al and {\theta}'' at low temperatures. They also demonstrate that {\theta}' is the stable phase below 550K but it is replaced by {\theta} above this temperature due to the vibrational entropic contribution to the Gibbs energy of {\theta}'. This work shows how the combination of cluster expansion and statistical mechanics can be used to expand our knowledge of the phase diagram of metallic alloys and to provide Gibbs free energies of different phases that can be used as input in mesoscale simulations of precipitation.


title: Delayed approximate matrix assembly in multigrid with dynamic precisions

abstract: The accurate assembly of the system matrix is an important step in any code that solves partial differential equations on a mesh. We either explicitly set up a matrix, or we work in a matrix-free environment where we have to be able to quickly return matrix entries upon demand. Either way, the construction can become costly due to non-trivial material parameters entering the equations, multigrid codes requiring cascades of matrices that depend upon each other, or dynamic adaptive mesh refinement that necessitates the recomputation of matrix entries or the whole equation system throughout the solve. We propose that these constructions can be performed concurrently with the multigrid cycles. Initial geometric matrices and low accuracy integrations kickstart the multigrid, while improved assembly data is fed to the solver as and when it becomes available. The time to solution is improved as we eliminate an expensive preparation phase traditionally delaying the actual computation. We eliminate algorithmic latency. Furthermore, we desynchronise the assembly from the solution process. This anarchic increase of the concurrency level improves the scalability. Assembly routines are notoriously memory- and bandwidth-demanding. As we work with iteratively improving operator accuracies, we finally propose the use of a hierarchical, lossy compression scheme such that the memory footprint is brought down aggressively where the system matrix entries carry little information or are not yet available with high accuracy.


title: The Fourier Transform Approach to Inversion of lambda-Cosine and Funk Transforms on the Unit Sphere

abstract: We use the classical Fourier analysis to introduce analytic families of weighted differential operators on the unit sphere. These operators are polynomial functions of the usual Beltrami-Laplace operator. New inversion formulas are obtained for totally geodesic Funk transforms on the sphere and the correpsonding lambda-cosine transforms.


title: On products of groups and indices not divisible by a given prime

abstract: Let the group $G = AB$ be the product of subgroups $A$ and $B$, and let $p$ be a prime. We prove that $p$ does not divide the conjugacy class size (index) of each $p$-regular element of prime power order $x\in A\cup B$ if and only if $G$ is $p$-decomposable, i.e. $G=O_p(G) \times O_{p'}(G)$.


title: A novel approach to visibility-space modelling of interferometric gravitational lens observations at high angular resolution

abstract: We present a new gravitational lens modelling technique designed to model high-resolution interferometric observations with large numbers of visibilities without the need to pre-average the data in time or frequency. We demonstrate the accuracy of the method using validation tests on mock observations. Using small data sets with $\sim 10^3$ visibilities, we first compare our approach with the more traditional direct Fourier transform (DFT) implementation and direct linear solver. Our tests indicate that our source inversion is indistinguishable from that of the DFT. Our method also infers lens parameters to within 1 to 2 per cent of both the ground truth and DFT, given sufficiently high signal-to-noise ratio (SNR). When the SNR is as low as 5, both approaches lead to errors of several tens of per cent in the lens parameters and a severely disrupted source structure, indicating that this is related to the SNR and choice of priors rather than the modelling technique itself. We then analyze a large data set with $\sim 10^8$ visibilities and a SNR matching real global Very Long Baseline Interferometry observations of the gravitational lens system MG J0751+2716. The size of the data is such that it cannot be modelled with traditional implementations. Using our novel technique, we find that we can infer the lens parameters and the source brightness distribution, respectively, with an RMS error of 0.25 and 0.97 per cent relative to the ground truth.


title: Black Hole Hunting with LISA

abstract: The Laser Interferometer Space Antenna (LISA) will be able to detect massive black hole mergers throughout the visible Universe. These observations will provide unique information about black hole formation and growth, and the role black holes play in galaxy evolution. Here we develop several key building blocks for detecting and characterizing black hole binary mergers with LISA, including fast heterodyned likelihood evaluations, and efficient stochastic search techniques.


title: Real-Time Context-aware Detection of Unsafe Events in Robot-Assisted Surgery

abstract: Cyber-physical systems for robotic surgery have enabled minimally invasive procedures with increased precision and shorter hospitalization. However, with increasing complexity and connectivity of software and major involvement of human operators in the supervision of surgical robots, there remain significant challenges in ensuring patient safety. This paper presents a safety monitoring system that, given the knowledge of the surgical task being performed by the surgeon, can detect safety-critical events in real-time. Our approach integrates a surgical gesture classifier that infers the operational context from the time-series kinematics data of the robot with a library of erroneous gesture classifiers that given a surgical gesture can detect unsafe events. Our experiments using data from two surgical platforms show that the proposed system can detect unsafe events caused by accidental or malicious faults within an average reaction time window of 1,693 milliseconds and F1 score of 0.88 and human errors within an average reaction time window of 57 milliseconds and F1 score of 0.76.


title: Positive Geometries and Differential Forms with Non-Logarithmic Singularities I

abstract: Positive geometries encode the physics of scattering amplitudes in flat space-time and the wavefunction of the universe in cosmology for a large class of models. Their unique canonical forms, providing such quantum mechanical observables, are characterised by having only logarithmic singularities along all the boundaries of the positive geometry. However, physical observables have logarithmic singularities just for a subset of theories. Thus, it becomes crucial to understand whether a similar paradigm can underlie their structure in more general cases. In this paper we start a systematic investigation of a geometric-combinatorial characterisation of differential forms with non-logarithmic singularities, focusing on projective polytopes and related meromorphic forms with multiple poles. We introduce the notions of covariant forms and covariant pairings. Covariant forms have poles only along the boundaries of the given polytope; moreover, their leading Laurent coefficients along any of the boundaries are still covariant forms on the specific boundary. Whereas meromorphic forms in covariant pairing with a polytope are associated to a specific (signed) triangulation, in which poles on spurious boundaries do not cancel completely, but their order is lowered. These meromorphic forms can be fully characterised if the polytope they are associated to is viewed as the restriction of a higher dimensional one onto a hyperplane. The canonical form of the latter can be mapped into a covariant form or a form in covariant pairing via a covariant restriction. We show how the geometry of the higher dimensional polytope determines the structure of these differential forms. Finally, we discuss how these notions are related to Jeffrey-Kirwan residues and cosmological polytopes.


title: Soft factors from classical scattering on the Reissner-Nordstr\"om spacetime

abstract: We consider perturbations of the $4$ dimensional Reissner-Nordstr\"om spacetime induced by the probe scattering of a point particle with charge and mass moving on an unbound trajectory with an asymptotically large velocity. The resulting classical radiative solutions are the gravitational and electromagnetic bremmstrahlung. We use these classical solutions to derive the universal photon and graviton soft factor contributions at the tree level, which have the same form as noted in the literature. The soft factor expressions enable us to investigate the tail contribution to the memory effect in late time gravitational and electromagnetic waveforms. We find that generically, the contribution from the charge dominates that from the mass in the late time radiation.


title: A survey of Hardy type inequalities on homogeneous groups

abstract: In this review paper, we survey Hardy type inequalities from the point of view of Folland and Stein's homogeneous groups. Particular attention is paid to Hardy type inequalities on stratified groups which give a special class of homogeneous groups. In this environment, the theory of Hardy type inequalities becomes intricately intertwined with the properties of sub-Laplacians and more general subelliptic partial differential equations. Particularly, we discuss the Badiale-Tarantello conjecture and a conjecture on the geometric Hardy inequality in a half-space of the Heisenberg group with a sharp constant.


title: A Model for Optimal Human Navigation with Stochastic Effects

abstract: We present a method for optimal path planning of human walking paths in mountainous terrain, using a control theoretic formulation and a Hamilton-Jacobi-Bellman equation. Previous models for human navigation were entirely deterministic, assuming perfect knowledge of the ambient elevation data and human walking velocity as a function of local slope of the terrain. Our model includes a stochastic component which can account for uncertainty in the problem, and thus includes a Hamilton-Jacobi-Bellman equation with viscosity. We discuss the model in the presence and absence of stochastic effects, and suggest numerical methods for simulating the model. We discuss two different notions of an optimal path when there is uncertainty in the problem. Finally, we compare the optimal paths suggested by the model at different levels of uncertainty, and observe that as the size of the uncertainty tends to zero (and thus the viscosity in the equation tends to zero), the optimal path tends toward the deterministic optimal path.


title: On Harmonic and Asymptotically Harmonic Finsler Manifolds

abstract: In the present paper, we introduce and investigate various types of harmonic Finsler manifolds and find out the interrelation between them. We give some characterizations of such spaces in terms of the mean curvature of geodesic spheres and the Laplacian of the distance function induced by the Finsler structure. We investigate some properties of the Finsler mean curvature of geodesic spheres of different radii. In addition, we prove that certain harmonic Finsler manifolds are of Einstein type and provide a technique to construct harmonic Finsler manifolds of Randers type. Moreover, we give some examples of non-Riemmanian Finsler harmonic manifolds of constant flag curvature and constant $S$-curvature.


title: On the asymptotic behavior of solutions to the Vlasov-Poisson system

abstract: We prove small data modified scattering for the Vlasov-Poisson system in dimension $d=3$ using a method inspired from dispersive analysis. In particular, we identify a simple asymptotic dynamic related to the scattering mass.


title: Impact of nonlinear overdensity statistics on primordial black hole abundance

abstract: It has been recently established that, if the nonlinear relationship between the overdensity perturbations and the curvature perturbations are taken into account, non-Gaussianity is introduced in the overdensity statistics which alters the expected primordial black hole abundance. This is explored by using the nonlinear relationship between the overdensities and curvature perturbations up to second order where a negative skewness and positive kurtosis aims at lowering and increasing the abundance while an abundance comparable to Gaussian perturbations is obtained by adjusting the amplitude of the curvature power spectrum. The effects of the nonvanishing skewness and kurtosis are studied using a toy model Dirac delta and lognormal curvature power spectra as well as one obtained from an $\alpha-$attractor model capable of primordial black hole production. Finally, the nonlinear calculations using Press-Schechter are compared with peaks theory.


title: On the partitions into distinct parts and odd parts

abstract: In this paper, we show that the difference between the number of parts in the odd partitions of $n$ and the number of parts in the distinct partitions of $n$ satisfies Euler's recurrence relation for the partition function $p(n)$ when $n$ is odd. A decomposition of this difference in terms of the total number of parts in all the partitions of $n$ is also derived. In this context, we conjecture that for $k>0$, the series $$ (q^2;q^2)_\infty \sum_{n=k}^\infty \frac{q^{{k\choose 2}+(k+1)n}}{(q;q)_n} \begin{bmatrix} n-1\\k-1 \end{bmatrix} $$ has non-negative coefficients.


title: Technical Report of "Deductive Joint Support for Rational Unrestricted Rebuttal"

abstract: In ASPIC-style structured argumentation an argument can rebut another argument by attacking its conclusion. Two ways of formalizing rebuttal have been proposed: In restricted rebuttal, the attacked conclusion must have been arrived at with a defeasible rule, whereas in unrestricted rebuttal, it may have been arrived at with a strict rule, as long as at least one of the antecedents of this strict rule was already defeasible. One systematic way of choosing between various possible definitions of a framework for structured argumentation is to study what rationality postulates are satisfied by which definition, for example whether the closure postulate holds, i.e. whether the accepted conclusions are closed under strict rules. While having some benefits, the proposal to use unrestricted rebuttal faces the problem that the closure postulate only holds for the grounded semantics but fails when other argumentation semantics are applied, whereas with restricted rebuttal the closure postulate always holds. In this paper we propose that ASPIC-style argumentation can benefit from keeping track not only of the attack relation between arguments, but also the relation of deductive joint support that holds between a set of arguments and an argument that was constructed from that set using a strict rule. By taking this deductive joint support relation into account while determining the extensions, the closure postulate holds with unrestricted rebuttal under all admissibility-based semantics. We define the semantics of deductive joint support through the flattening method.


title: Towards a Resolution of the Static Correlation Problem in Density Functional Theory from Semidefinite Programming

abstract: Kohn-Sham density functional theory (DFT) has long struggled with the accurate description of strongly correlated and open shell systems and improvements have been minor even in the newest hybrid functionals. In this Letter we treat the static correlation in DFT when frontier orbitals are degenerate by the means of using a semidefinite programming (SDP) approach to minimize the system energy as a function of the $N$-representable, non-idempotent 1-electron reduced density matrix. While showing greatly improved singlet-triplet gaps for linear density approximation and generalized gradient approximation (GGA) functionals, the SDP procedure reveals flaws in modern meta and hybrid GGA functionals, which show no major improvements when provided with an accurate electron density.


title: Nonparametric Estimation of the Fisher Information and Its Applications

abstract: This paper considers the problem of estimation of the Fisher information for location from a random sample of size $n$. First, an estimator proposed by Bhattacharya is revisited and improved convergence rates are derived. Second, a new estimator, termed a clipped estimator, is proposed. Superior upper bounds on the rates of convergence can be shown for the new estimator compared to the Bhattacharya estimator, albeit with different regularity conditions. Third, both of the estimators are evaluated for the practically relevant case of a random variable contaminated by Gaussian noise. Moreover, using Brown's identity, which relates the Fisher information and the minimum mean squared error (MMSE) in Gaussian noise, two corresponding consistent estimators for the MMSE are proposed. Simulation examples for the Bhattacharya estimator and the clipped estimator as well as the MMSE estimators are presented. The examples demonstrate that the clipped estimator can significantly reduce the required sample size to guarantee a specific confidence interval compared to the Bhattacharya estimator.

categories: cs.IT cs.LG eess.SP math.IT math.ST stat.ML stat.TH


title: A Hamilton-Jacobi Formulation for Time-Optimal Paths of Rectangular Nonholonomic Vehicles

abstract: We address the problem of optimal path planning for a simple nonholonomic vehicle in the presence of obstacles. Most current approaches are either split hierarchically into global path planning and local collision avoidance, or neglect some of the ambient geometry by assuming the car is a point mass. We present a Hamilton-Jacobi formulation of the problem that resolves time-optimal paths and considers the geometry of the vehicle.


title: Learning Robust Models for e-Commerce Product Search

abstract: Showing items that do not match search query intent degrades customer experience in e-commerce. These mismatches result from counterfactual biases of the ranking algorithms toward noisy behavioral signals such as clicks and purchases in the search logs. Mitigating the problem requires a large labeled dataset, which is expensive and time-consuming to obtain. In this paper, we develop a deep, end-to-end model that learns to effectively classify mismatches and to generate hard mismatched examples to improve the classifier. We train the model end-to-end by introducing a latent variable into the cross-entropy loss that alternates between using the real and generated samples. This not only makes the classifier more robust but also boosts the overall ranking performance. Our model achieves a relative gain compared to baselines by over 26% in F-score, and over 17% in Area Under PR curve. On live search traffic, our model gains significant improvement in multiple countries.


title: Know Your Clients' behaviours: a cluster analysis of financial transactions

abstract: In Canada, financial advisors and dealers are required by provincial securities commissions and self-regulatory organizations--charged with direct regulation over investment dealers and mutual fund dealers--to respectively collect and maintain Know Your Client (KYC) information, such as their age or risk tolerance, for investor accounts. With this information, investors, under their advisor's guidance, make decisions on their investments which are presumed to be beneficial to their investment goals. Our unique dataset is provided by a financial investment dealer with over 50,000 accounts for over 23,000 clients. We use a modified behavioural finance recency, frequency, monetary model for engineering features that quantify investor behaviours, and machine learning clustering algorithms to find groups of investors that behave similarly. We show that the KYC information collected does not explain client behaviours, whereas trade and transaction frequency and volume are most informative. We believe the results shown herein encourage financial regulators and advisors to use more advanced metrics to better understand and predict investor behaviours.


title: Seismic Shot Gather Noise Localization Using a Multi-Scale Feature-Fusion-Based Neural Network

abstract: Deep learning-based models, such as convolutional neural networks, have advanced various segments of computer vision. However, this technology is rarely applied to seismic shot gather noise localization problem. This letter presents an investigation on the effectiveness of a multi-scale feature-fusion-based network for seismic shot-gather noise localization. Herein, we describe the following: (1) the construction of a real-world dataset of seismic noise localization based on 6,500 seismograms; (2) a multi-scale feature-fusion-based detector that uses the MobileNet combined with the Feature Pyramid Net as the backbone; and (3) the Single Shot multi-box detector for box classification/regression. Additionally, we propose the use of the Focal Loss function that improves the detector's prediction accuracy. The proposed detector achieves an AP@0.5 of 78.67\% in our empirical evaluation.


title: Universal Coding and Prediction on Ergodic Martin-L\"of Random Points

abstract: Suppose that we have a method which estimates the conditional probabilities of some unknown stochastic source and we use it to guess which of the outcomes will happen. We want to make a correct guess as often as it is possible. What estimators are good for this? In this work, we consider estimators given by a familiar notion of universal coding for stationary ergodic measures, while working in the framework of algorithmic randomness, i.e, we are particularly interested in prediction of Martin-L\"of random points. We outline the general theory and exhibit some counterexamples. Completing a result of Ryabko from 2009 we also show that universal probability measure in the sense of universal coding induces a universal predictor in the prequential sense. Surprisingly, this implication holds true provided the universal measure does not ascribe too low conditional probabilities to individual symbols. As an example, we show that the Prediction by Partial Matching (PPM) measure satisfies this requirement with a large reserve.


title: Surjective endomorphisms of projective surfaces: the existence of infinitely many dense orbits

abstract: Let $f \colon X \to X$ be a surjective endomorphism of a normal projective surface. When $\operatorname{deg} f \geq 2$, applying an (iteration of) $f$-equivariant minimal model program (EMMP), we determine the geometric structure of $X$. Using this, we extend the second author's result to singular surfaces to the extent that either $X$ has an $f$-invariant non-constant rational function, or $f$ has infinitely many Zariski-dense forward orbits; this result is also extended to Adelic topology (which is finer than Zariski topology).


title: Approaching quantum-limited metrology with imperfect detectors by using weak-value amplification

abstract: Weak value amplification (WVA) is a metrological protocol that amplifies ultra-small physical effects. However, the amplified outcomes necessarily occur with highly suppressed probabilities, leading to the extensive debate on whether the overall measurement precision is improved in comparison to that of conventional measurement (CM). Here, we experimentally demonstrate the unambiguous advantages of WVA that overcome practical limitations including noise and saturation of photo-detection and maintain a shot-noise-scaling precision for a large range of input light intensity well beyond the dynamic range of the photodetector. The precision achieved by WVA is six times higher than that of CM in our setup. Our results clear the way for the widespread use of WVA in applications involving the measurement of small signals including precision metrology and commercial sensors.


title: The Zhou Ordinal of Labelled Markov Processes over Separable Spaces

abstract: There exist two notions of equivalence of behavior between states of a Labelled Markov Process (LMP): state bisimilarity and event bisimilarity. The first one can be considered as an appropriate generalization to continuous spaces of Larsen and Skou's probabilistic bisimilarity, while the second one is characterized by a natural logic. C. Zhou expressed state bisimilarity as the greatest fixed point of an operator $\mathcal{O}$, and thus introduced an ordinal measure of the discrepancy between it and event bisimilarity. We call this ordinal the "Zhou ordinal" of $\mathbb{S}$, $\mathfrak{Z}(\mathbb{S})$. When $\mathfrak{Z}(\mathbb{S})=0$, $\mathbb{S}$ satisfies the Hennessy-Milner property. The second author proved the existence of an LMP $\mathbb{S}$ with $\mathfrak{Z}(\mathbb{S}) \geq 1$ and Zhou showed that there are LMPs having an infinite Zhou ordinal. In this paper we show that there are LMPs $\mathbb{S}$ over separable metrizable spaces having arbitrary large countable $\mathfrak{Z}(\mathbb{S})$ and that it is consistent with the axioms of $\mathit{ZFC}$ that there is such a process with an uncountable Zhou ordinal.


title: Phase Transitions of the Maximum Likelihood Estimates in the $p$-Spin Curie-Weiss Model

abstract: In this paper we consider the problem of parameter estimation in the $p$-spin Curie-Weiss model, for $p \geq 3$. We provide a complete description of the limiting properties of the maximum likelihood (ML) estimates of the inverse temperature and the magnetic field given a single realization from the $p$-spin Curie-Weiss model, complementing the well-known results in the 2-spin case (Comets and Gidas (1991)). Our results unearth various new phase transitions and surprising limit theorems, such as the existence of a 'critical' curve in the parameter space, where the limiting distribution of the ML estimates is a mixture with both continuous and discrete components. The number of mixture components is either two or three, depending on, among other things, the sign of one of the parameters and the parity of $p$. Another interesting revelation is the existence of certain 'special' points in the parameter space where the ML estimates exhibit a superefficiency phenomenon, converging to a non-Gaussian limiting distribution at rate $N^{\frac{3}{4}}$. Using these results we can obtain asymptotically valid confidence intervals for the inverse temperature and the magnetic field at all points in the parameter space where consistent estimation is possible.


title: Visualisation and knowledge discovery from interpretable models

abstract: Increasing number of sectors which affect human lives, are using Machine Learning (ML) tools. Hence the need for understanding their working mechanism and evaluating their fairness in decision-making, are becoming paramount, ushering in the era of Explainable AI (XAI). In this contribution we introduced a few intrinsically interpretable models which are also capable of dealing with missing values, in addition to extracting knowledge from the dataset and about the problem. These models are also capable of visualisation of the classifier and decision boundaries: they are the angle based variants of Learning Vector Quantization. We have demonstrated the algorithms on a synthetic dataset and a real-world one (heart disease dataset from the UCI repository). The newly developed classifiers helped in investigating the complexities of the UCI dataset as a multiclass problem. The performance of the developed classifiers were comparable to those reported in literature for this dataset, with additional value of interpretability, when the dataset was treated as a binary class problem.


title: Domain Aware Training for Far-field Small-footprint Keyword Spotting

abstract: In this paper, we focus on the task of small-footprint keyword spotting under the far-field scenario. Far-field environments are commonly encountered in real-life speech applications, causing severe degradation of performance due to room reverberation and various kinds of noises. Our baseline system is built on the convolutional neural network trained with pooled data of both far-field and close-talking speech. To cope with the distortions, we develop three domain aware training systems, including the domain embedding system, the deep CORAL system, and the multi-task learning system. These methods incorporate domain knowledge into network training and improve the performance of the keyword classifier on far-field conditions. Experimental results show that our proposed methods manage to maintain the performance on the close-talking speech and achieve significant improvement on the far-field test set.


title: Word problems for finite nilpotent groups

abstract: Let $w$ be a word in $k$ variables. For a finite nilpotent group $G$, a conjecture of Amit states that $N_w(1) \ge |G|^{k-1}$, where $N_w(1)$ is the number of $k$-tuples $(g_1,...,g_k)\in G^{(k)}$ such that $w(g_1,...,g_k)=1$. Currently, this conjecture is known to be true for groups of nilpotency class 2. Here we consider a generalized version of Amit's conjecture, and prove that $N_w(g) \ge |G|^{k-2}$, where $g$ is a $w$-value in $G$, for finite groups $G$ of odd order and nilpotency class 2. If $w$ is a word in two variables, we further show that $N_w(g) \ge |G|$, where $g$ is a $w$-value in $G$ for finite groups $G$ of nilpotency class 2. In addition, for $p$ a prime, we show that finite $p$-groups $G$, with two distinct irreducible complex character degrees, satisfy the generalized Amit conjecture for words $w_k =[x_1,y_1]...[x_k,y_k]$ with $k$ a natural number; that is, for $g$ a $w_k$-value in $G$ we have $N_{w_k}(g) \ge |G|^{2k-1}$. Finally, we discuss the related group properties of being rational and chiral, and show that every finite group of nilpotency class 2 is rational.


title: Stability of Jovian Trojans and their collisional families

abstract: The Jovian Trojans are two swarms of objects located around the L$_4$ and L$_5$ Lagrange points. The population is thought to have been captured by Jupiter during the Solar system's youth. Within the swarms, six collisional families have been identified in previous work, with four in the L$_4$ swarm, and two in the L$_5$. Our aim is to investigate the stability of the two Trojan swarms, with a particular focus on these collisional families. We find that the members of Trojan swarms escape the population at a linear rate, with the primordial L$_4$ (23.35% escape) and L$_5$ (24.89% escape) population sizes likely 1.31 and 1.35 times larger than today. Given that the escape rates were approximately equal between the two Trojan swarms, our results do not explain the observed asymmetry between the two groups, suggesting that the numerical differences are primordial in nature, supporting previous studies. Upon leaving the Trojan population, the escaped objects move onto orbits that resemble those of the Centaur and short-period comet populations. Within the Trojan collisional families, the 1996 RJ and 2001 UV$_{209}$ families are found to be dynamically stable over the lifetime of the Solar system, whilst the Hektor, Arkesilos and Ennomos families exhibit various degrees of instability. The larger Eurybates family shows 18.81\% of simulated members escaping the Trojan population. Unlike the L4 swarm, the escape rate from the Eurybates family is found to increase as a function of time, allowing an age estimation of approximately $1.045\pm 0.364 \times 10^9$ years.