title: A Large-scale Study of Security Vulnerability Support on Developer Q&A Websites

abstract: Context: Security Vulnerabilities (SVs) pose many serious threats to software systems. Developers usually seek solutions to addressing these SVs on developer Question and Answer (Q&A) websites. However, there is still little known about on-going SV-specific discussions on different developer Q&A sites. Objective: We present a large-scale empirical study to understand developers' SV discussions and how these discussions are being supported by Q&A sites. Method: We first curate 71,329 SV posts from two large Q&A sites, namely Stack Overflow (SO) and Security StackExchange (SSE). We then use topic modeling to uncover the topics of SV-related discussions and analyze the popularity, difficulty, and level of expertise for each topic. We also perform a qualitative analysis to identify the types of solutions to SV-related questions. Results: We identify 13 main SV discussion topics on Q&A sites. Many topics do not follow the distributions and trends in expert-based security sources such as Common Weakness Enumeration (CWE) and Open Web Application Security Project (OWASP). We also discover that SV discussions attract more experts to answer than many other domains, but some difficult SV topics (e.g., Vulnerability Scanning Tools) still receive quite limited support from experts. Moreover, we identify seven key types of answers given to SV questions on Q&A sites, in which SO often provides code and instructions, while SSE usually gives experience-based advice and explanations. Conclusion: Our findings provide support for researchers and practitioners to effectively acquire, share and leverage SV knowledge on Q&A sites.


title: Zeros of the i.i.d. Gaussian Laurent series on an annulus: weighted Szeg\H{o} kernels and permanental-determinantal point processes

abstract: On an annulus ${\mathbb{A}}_q :=\{z \in {\mathbb{C}}: q < |z| < 1\}$ with a fixed $q \in (0, 1)$, we study a Gaussian analytic function (GAF) and its zero set which defines a point process on ${\mathbb{A}}_q$ called the zero point process of the GAF. The GAF is defined by the i.i.d.~Gaussian Laurent series such that the covariance kernel parameterized by $r >0$ is identified with the weighted Szeg\H{o} kernel of ${\mathbb{A}}_q$ with the weight parameter $r$ studied by Mccullough and Shen. The GAF and the zero point process are rotationally invariant and have a symmetry associated with the $q$-inversion of coordinate $z \leftrightarrow q/z$ and the parameter change $r \leftrightarrow q^2/r$. When $r=q$ they are invariant under conformal transformations which preserve ${\mathbb{A}}_q$. Conditioning the GAF by adding zeros, new GAFs are induced such that the covariance kernels are also given by the weighted Szeg\H{o} kernel of Mccullough and Shen but the weight parameter $r$ is changed depending on the added zeros. We also prove that the zero point process of the GAF provides a permanental-determinantal point process (PDPP) in which each correlation function is expressed by a permanent multiplied by a determinant. Dependence on $r$ of the unfolded 2-correlation function of the PDPP is studied. If we take the limit $q \to 0$, a simpler but still non-trivial PDPP is obtained on the unit disk ${\mathbb{D}}$. We observe that the limit PDPP indexed by $r \in (0, \infty)$ can be regarded as an interpolation between the determinantal point process (DPP) on ${\mathbb{D}}$ studied by Peres and Vir\'ag ($r \to 0$) and that DPP of Peres and Vir\'ag with a deterministic zero added at the origin ($r \to \infty$).

categories: math.PR cond-mat.stat-mech math-ph math.CV math.MP nlin.SI


title: On the Monomorphism Category of $n$-Cluster Tilting Subcategories

abstract: Let $\mathcal{M}$ be an $n$-cluster tilting subcategory of ${\rm mod}\mbox{-}\Lambda$, where $\Lambda$ is an artin algebra. Let $\mathcal{S}(\mathcal{M})$ denotes the full subcategory of $\mathcal{S}(\Lambda)$, the submodule category of $\Lambda$, consisting of all monomorphisms in $\mathcal{M}$. We construct two functors from $\mathcal{S}(\mathcal{M})$ to ${\rm mod}\mbox{-}\underline{\mathcal{M}}$, the category of finitely presented (coherent) additive contravariant functors on the stable category of $\mathcal{M}$. We show that these functors are full, dense and objective. So they induce equivalences from the quotient categories of the submodule category of $\mathcal{M}$ modulo their respective kernels. Moreover, they are related by a syzygy functor on the stable category of ${\rm mod}\mbox{-}\underline{\mathcal{M}}$. These functors can be considered as a higher version of the two functors studied by Ringel and Zhang [RZ] in the case $\Lambda=k[x]/{\langle x^n \rangle}$ and generalized later by Eir\'{i}ksson [E] to self-injective artin algebras. Several applications will be provided.


title: High-frequency oscillations in small chromospheric bright features observed with ALMA

abstract: We report detection of oscillations in brightness temperature, size, and horizontal velocity of three small bright features in the chromosphere of a plage/enhanced-network region. The observations, which were taken with high temporal resolution (i.e., 2-sec cadence) with the Atacama Large Millimeter/submillimeter Array (ALMA) in Band 3 (centred at 3 mm; 100 GHz), exhibit three small-scale features with oscillatory behaviour with different, but overlapping, distributions of period on the order of, on average, $90 \pm 22$ s, $110 \pm 12$ s and $66 \pm 23$ s, respectively. We find anti-correlations between perturbations in brightness temperature and size of the three features, which suggest the presence of fast sausage-mode waves in these small structures. In addition, the detection of transverse oscillations (although with a larger uncertainty) may suggest as well the presence of Alfv\'enic oscillations which are likely representative of kink waves. This work demonstrates the diagnostic potential of high-cadence observations with ALMA for detecting high-frequency magnetohydrodynamic waves in the solar chromosphere. Such waves can potentially channel a vast amount of energy into the outer atmosphere of the Sun.


title: Waiving Article Processing Charges for Least Developed Countries. A Brick Stone of a Large-scale Open Access Transformation

abstract: This article investigates the question, if it is economically feasible for a large publishing house to waive article processing charges for the group of 47 so called least developed countries (LDC). As an example Springer-Nature is selected. The analysis is based on the Web of Science, OpenAPC and the Jisc collections Springer compact journal list. As a result, it estimates an average yearly publication output of 520 publications (or a share of 0,26% of the worldwide publication output in Springer-Nature journals) for the LDC country group. The loss of revenues for Springer-Nature would be 1,1 million $ if a waiver would be applied for all of these countries. Given that money is indispensable for development in the case of LDC (e.g. life expectancy, health, education), it is not only desirable but also possible in economic terms for a publisher like Springer-Nature to waive APCs for these countries without much loss in revenues.


title: The Carnegie-Chicago Hubble Program. IX. Calibration of the Tip of the Red Giant Branch Method in the Mega-Maser Host Galaxy, NGC4258 (M106)

abstract: In the nearby galaxy NGC 4258, the well-modeled orbital motion of H$_2$O masers about its supermassive black hole provides the means to measure a precise geometric distance. As a result, NGC 4258 is one of a few "geometric anchors" available to calibrate the true luminosities of stellar distance indicators such as the Tip of the Red Giant Branch (TRGB) or the Cepheid Leavitt law. In this paper, we present a detailed study of the apparent magnitude of the TRGB within NGC 4258 using publicly-available HST observations optimally situated in the gas- and dust-free halo along the minor axis, spanning distances ranging from 8 to 22 kpc in projected galactocentric radius. We undertake a systematic evaluation of the uncertainties associated with measuring the TRGB in this galaxy, based on an analysis of 54 arcmin$^2$ of HST/ACS imaging. After quantifying these uncertainties, we measure the TRGB in NGC 4258 to be F814W$_0$ = 25.347 $\pm$ 0.014(stat) $\pm$ 0.042(sys) mag. Combined with a recent 1.5% megamaser distance to NGC 4258, we determine the absolute luminosity of the TRGB to be $M_{F814W}^{TRGB}$ = -4.050 $\pm$ 0.028(stat) $\pm$ 0.048(sys) mag. This new calibration agrees to better than 1% with an independent calibration presented in Freedman et al. (2019, 2020) that was based on detached eclipsing binaries (DEBs) located in the LMC.


title: Scaling of Multi-contact Phase Change Device for Toggle Logic Operations

abstract: Scaling of two dimensional six-contact phase change devices that can perform toggle logic operations is analyzed through 2D electrothermal simulations with dynamic materials modeling, integrated with CMOS access circuitry. Toggle configurations are achieved through a combination of isolation of some contacts from others using amorphous regions and coupling between different regions via thermal crosstalk. Use of thermal crosstalk as a coupling mechanism in a multi-contact device in the memory layer allows implementation of analog routing and digital logic operations at a significantly lower transistor count, with the added benefit of non-volatility. Simulation results show approximately linear improvement in peak current and voltage requirements with thickness scaling.


title: Connected Components in Undirected Set--Based Graphs. Applications in Object--Oriented Model Manipulation

abstract: This work introduces a novel algorithm for finding the connected components of a graph where the vertices and edges are grouped into sets defining a Set--Based Graph. The algorithm, under certain restrictions on those sets, has the remarkable property of achieving constant computational costs with the number of vertices and edges. The mentioned restrictions are related to the possibility of representing the sets of vertices by intension and the sets of edges using some particular type of maps. While these restrictions can result strong in a general context, they are usually satisfied in the problem of transforming connections into equations in object oriented models, which is the main application of the proposed algorithm. Besides describing the new algorithm and studying its computational cost, the work describes its prototype implementation and shows its application in different examples.


title: Boson-Exchange Parquet Solver for dual fermions

abstract: We present and implement a parquet approximation within the dual-fermion formalism based on a partial bosonization of the dual vertex function which substantially reduces the computational cost of the calculation. The method relies on splitting the vertex exactly into single-boson exchange contributions and a residual four-fermion vertex, which physically embody respectively long-range and short-range spatial correlations. After recasting the parquet equations in terms of the residual vertex, these are solved using the truncated unity method of Eckhardt et al. [Phys. Rev. B 101, 155104 (2020)], which allows for a rapid convergence with the number of form factors in different regimes. While our numerical treatment of the parquet equations can be restricted to only a few Matsubara frequencies, reminiscent of Astretsov et al. [Phys. Rev. B 101, 075109 (2020)], the one- and two-particle spectral information is fully retained. In applications to the two-dimensional Hubbard model the method agrees quantitatively with a stochastic summation of diagrams over a wide range of parameters.


title: Path-Based Reasoning over Heterogeneous Networks for Recommendation via Bidirectional Modeling

abstract: Heterogeneous Information Network (HIN) is a natural and general representation of data in recommender systems. Combining HIN and recommender systems can not only help model user behaviors but also make the recommendation results explainable by aligning the users/items with various types of entities in the network. Over the past few years, path-based reasoning models have shown great capacity in HIN-based recommendation. The basic idea of these models is to explore HIN with predefined path schemes. Despite their effectiveness, these models are often confronted with the following limitations: (1) Most prior path-based reasoning models only consider the influence of the predecessors on the subsequent nodes when modeling the sequences, and ignore the reciprocity between the nodes in a path; (2) The weights of nodes in the same path instance are usually assumed to be constant, whereas varied weights of nodes can bring more flexibility and lead to expressive modeling; (3) User-item interactions are noisy, but they are often indiscriminately exploited. To overcome the aforementioned issues, in this paper, we propose a novel path-based reasoning approach for recommendation over HIN. Concretely, we use a bidirectional LSTM to enable the two-way modeling of paths and capture the reciprocity between nodes. Then an attention mechanism is employed to learn the dynamical influence of nodes in different contexts. Finally, the adversarial regularization terms are imposed on the loss function of the model to mitigate the effects of noise and enhance HIN-based recommendation. Extensive experiments conducted on three public datasets show that our model outperforms the state-of-the-art baselines. The case study further demonstrates the feasibility of our model on the explainable recommendation task.


title: On Topological Rank of Factors of Cantor Minimal Systems

abstract: A Cantor minimal system is of finite topological rank if it has a Bratteli-Vershik representation whose number of vertices per level is uniformly bounded. We prove that if the topological rank of a minimal dynamical system on a Cantor set is finite then all its minimal Cantor factors have finite topological rank as well. This gives an affirmative answer to a question posed by Donoso, Durand, Maass, and Petite.


title: Measurement of two-particle correlations in hadronic $e^{+}e^{-}$ collisions at Belle

abstract: The enhancement of charged-particle pairs with large pseudorapidity difference and small azimuthal angle difference, often referred to as the ``ridge signal'', is a phenomenon widely observed in high multiplicity proton-proton, proton-ion and deutron-ion collisions, which is not yet fully understood. In heavy-ion collisions, the hydrodynamic expansion of the Quark-Gluon Plasma is one of the possible explanations of the origin of the ridge signal. Measurements in the $e^+e^-$ collision system, without the complexities introduced by hadron structure in the initial state, can serve as a complementary probe to examine the formation of a ridge signal. The first measurement of two-particle angular correlation functions in high multiplicity $e^+e^-$ collisions at $\sqrt{s}=10.52$ GeV is reported. The hadronic $e^+e^-$ annihilation data collected by the Belle detector at KEKB are used in this study. Two-particle angular correlation functions are measured over the full azimuth and large pseudorapidity intervals which are defined by either the electron beam axis or the event thrust as a function of charged particle multiplicity. The measurement in the event thrust analysis, with mostly outgoing quark pairs determining the reference axis, is sensitive to the region of additional soft gluon emissions. No significant ridge signal is observed with either coordinates analyses. Near side jet correlations appear to be absent in the thrust axis analysis. The measurements are compared to predictions from various event generators and expected to provide new constraints to the phenomenological models in the low energy regime.


title: Sharp rank-one convexity conditions in planar isotropic elasticity for the additive volumetric-isochoric split

abstract: We consider the volumetric-isochoric split in planar isotropic hyperelasticity and give a precise analysis of rank-one convexity criteria for this case, showing that the Legendre-Hadamard ellipticity condition separates and simplifies in a suitable sense. Starting from the classical two-dimensional criterion by Knowles and Sternberg, we can reduce the conditions for rank-one convexity to a family of one-dimensional coupled differential inequalities. In particular, this allows us to derive a simple rank-one convexity classification for generalized Hadamard energies of the type $W(F)=\frac{\mu}{2}\frac{\lVert F\rVert^2}{\det F}+f(\det F)$; such an energy is rank-one convex if and only if the function $f$ is convex.


title: Observation of giant and tuneable thermal diffusivity of Dirac fluid at room temperature

abstract: Conducting materials typically exhibit either diffusive or ballistic charge transport. However, when electron-electron interactions dominate, a hydrodynamic regime with viscous charge flow emerges (1-13). More stringent conditions eventually yield a quantum-critical Dirac-fluid regime, where electronic heat can flow more efficiently than charge (14-22). Here we observe heat transport in graphene in the diffusive and hydrodynamic regimes, and report a controllable transition to the Dirac-fluid regime at room temperature, using carrier temperature and carrier density as control knobs. We introduce the technique of spatiotemporal thermoelectric microscopy with femtosecond temporal and nanometre spatial resolution, which allows for tracking electronic heat spreading. In the diffusive regime, we find a thermal diffusivity of $\sim$2,000 cm$^2$/s, consistent with charge transport. Remarkably, during the hydrodynamic time window before momentum relaxation, we observe heat spreading corresponding to a giant diffusivity up to 70,000 cm$^2$/Vs, indicative of a Dirac fluid. These results are promising for applications such as nanoscale thermal management.


title: Maximal nighttime electrical power generation via optimal radiative cooling

abstract: We present a systematic optimization of nighttime thermoelectric power generation system utilizing radiative cooling. We show that an electrical power density over 2 W/m2, two orders of magnitude higher than the previously reported experimental result, is achievable using existing technologies. This system combines radiative cooling and thermoelectric power generation and operates at night when solar energy harvesting is unavailable. The thermoelectric power generator (TEG) itself covers less than 1 percent of the system footprint area when achieving this optimal power generation, showing economic feasibility. We study the influence of emissivity spectra, thermal convection, thermoelectric figure of merit and the area ratio between the TEG and the radiative cooler on the power generation performance. We optimize the thermal radiation emitter attached to the cold side and propose practical material implementation. The importance of the optimal emitter is elucidated by the gain of 153% in power density compared to regular blackbody emitters.


title: An Adaptive High Order Method for Finding Third-Order Critical Points of Nonconvex Optimization

abstract: It is well known that finding a global optimum is extremely challenging for nonconvex optimization. There are some recent efforts \cite{anandkumar2016efficient, cartis2018second, cartis2020sharp, chen2019high} regarding the optimization methods for computing higher-order critical points, which can exclude the so-called degenerate saddle points and reach a solution with better quality. Desipte theoretical development in \cite{anandkumar2016efficient, cartis2018second, cartis2020sharp, chen2019high}, the corresponding numerical experiments are missing. In this paper, we propose an implementable higher-order method, named adaptive high order method (AHOM), that aims to find the third-order critical points. This is achieved by solving an ``easier'' subproblem and incorporating the adaptive strategy of parameter-tuning in each iteration of the algorithm. The iteration complexity of the proposed method is established. Some preliminary numerical results are provided to show AHOM is able to escape the degenerate saddle points, where the second-order method could possibly get stuck.


title: Potentially diagonalizable modular lifts of large weight

abstract: We prove that for a Hecke cuspform $f\in S_k(\Gamma_0(N),\chi)$ and a prime $l>\max\{k,6\}$ such that $l\nmid N$, there exists an infinite family $\{k_r\}_{r\geq 1}\subseteq\mathbb{Z}$ such that for each $k_r$, there is a cusp form $f_{k_r}\in S_{k_r}(\Gamma_0(N),\chi)$ such that the Deligne representation $\rho_{f_{k_r,l}}$ is a crystaline and potentially diagonalizable lift of $\overline{\rho}_{f,l}$. When $f$ is $l$-ordinary, we base our proof on the theory of Hida families, while in the non-ordinary case, we adapt a local-to-global argument due to Khare and Wintenberger in the setting of their proof of Serre's modularity conjecture, together with a result on existence of lifts with prescribed local conditions over CM fields, a flatness result due to B\"ockle and a local dimension result by Kisin. We discuss the motivation and tentative future applications of our result in ongoing research on the automorphy of $\mathrm{GL}_{2n}$-representations in the higher level case.


title: On a recipe for quantum graphical languages

abstract: Different graphical calculi have been proposed to represent quantum computation. First the ZX- calculus [4], followed by the ZW-calculus [12] and then the ZH-calculus [1]. We can wonder if new Z*-calculi will continue to be proposed forever. This article answers negatively. All those language share a common core structure we call Z*-algebras. We classify Z*-algebras up to isomorphism in two dimensional Hilbert spaces and show that they are all variations of the aforementioned calculi. We do the same for linear relations and show that the calculus of [2] is essentially the unique one.


title: From reflected L\'evy processes to stochastically monotone Markov processes via generalized inverses and supermodularity

abstract: It was recently proven that the correlation function of the stationary version of a reflected L\'evy process is nonnegative, nonincreasing and convex. In another branch of the literature it was established that the mean value of the reflected process starting from zero is nonnegative, nondecreasing and concave. In the present paper it is shown, by putting them in a common framework, that these results extend to substantially more general settings. Indeed, instead of reflected L\'evy processes, we consider a class of more general stochastically monotone Markov processes. In this setup we show monotonicity results associated with a supermodular function of two coordinates of our Markov process, from which the above-mentioned monotonicity and convexity/concavity results directly follow, but now for the class of Markov processes considered rather than just reflected L\'evy processes. In addition, various results for the transient case (when the Markov process is not in stationarity) are provided. The conditions imposed are natural, in that they are satisfied by various frequently used Markovian models, as illustrated by a series of examples.


title: An improved convergence analysis for decentralized online stochastic non-convex optimization

abstract: In this paper, we study decentralized online stochastic non-convex optimization over a network of nodes. Integrating a technique called gradient tracking in decentralized stochastic gradient descent, we show that the resulting algorithm, GT-DSGD, enjoys certain desirable characteristics towards minimizing a sum of smooth non-convex functions. In particular, for general smooth non-convex functions, we establish non-asymptotic characterizations of GT-DSGD and derive the conditions under which it achieves network-independent performances that match the centralized minibatch SGD. In contrast, the existing results suggest that GT-DSGD is always network-dependent and is therefore strictly worse than the centralized minibatch SGD. When the global non-convex function additionally satisfies the Polyak-Lojasiewics (PL) condition, we establish the linear convergence of GT-DSGD up to a steady-state error with appropriate constant step-sizes. Moreover, under stochastic approximation step-sizes, we establish, for the first time, the optimal global sublinear convergence rate on almost every sample path, in addition to the asymptotically optimal sublinear rate in expectation. Since strongly convex functions are a special case of the functions satisfying the PL condition, our results are not only immediately applicable but also improve the currently known best convergence rates and their dependence on problem parameters.

categories: math.OC cs.LG cs.MA cs.SY eess.SY stat.ML


title: Dust masses, compositions, and luminosities in the nuclear disks and the diffuse circumnuclear medium of Arp220

abstract: We present an analysis of the 4-2600 $\mu$m spectral energy distributions (SEDs) of the west and east nuclei and the diffuse infrared (IR) region of the merger-driven starburst Arp 220. We examine several possible source morphologies and dust temperature distributions using a mixture of silicate and carbonaceous grains. From fits to the SEDs we derive dust masses, temperatures, luminosities, and dust inferred gas masses. We show that the west and east nuclei are powered by central sources deeply enshrouded behind $\sim 10^{26}$ cm$^{-2}$ column densities of hydrogen with an exponential density distribution, and that the west and east nuclei are optically thick out to wavelengths of $\sim 1900$ and $\sim 770$ $\mu$m, respectively. The nature of the central sources cannot be determined from our analysis. We derive star formation rates or black hole masses needed to power the IR emission, and show that the [C II] 158$\mu$m line cannot be used as a tracer of the star formation rate in heavily obscured systems. Dust inferred gas masses are larger than those inferred from CO observations, suggesting either larger dust-to-H mass ratios, or the presence of hidden atomic H that cannot be inferred from CO observations. The luminosities per unit mass in the nuclei are $\sim 450$, in solar units, smaller that the Eddington limit of $\sim 1000 - 3000$ for an optically thick star forming region, suggesting that the observed gas outflows are primarily driven by stellar winds and supernova shock waves instead of radiation pressure on the dust.


title: Deep Learning-based Human Detection for UAVs with Optical and Infrared Cameras: System and Experiments

abstract: In this paper, we present our deep learning-based human detection system that uses optical (RGB) and long-wave infrared (LWIR) cameras to detect, track, localize, and re-identify humans from UAVs flying at high altitude. In each spectrum, a customized RetinaNet network with ResNet backbone provides human detections which are subsequently fused to minimize the overall false detection rate. We show that by optimizing the bounding box anchors and augmenting the image resolution the number of missed detections from high altitudes can be decreased by over 20 percent. Our proposed network is compared to different RetinaNet and YOLO variants, and to a classical optical-infrared human detection framework that uses hand-crafted features. Furthermore, along with the publication of this paper, we release a collection of annotated optical-infrared datasets recorded with different UAVs during search-and-rescue field tests and the source code of the implemented annotation tool.


title: Molecular Force Fields with Gradient-Domain Machine Learning (GDML): Comparison and Synergies with Classical Force Fields

abstract: Modern machine learning force fields (ML-FF) are able to yield energy and force predictions at the accuracy of high-level $ab~initio$ methods, but at a much lower computational cost. On the other hand, classical molecular mechanics force fields (MM-FF) employ fixed functional forms and tend to be less accurate, but considerably faster and transferable between molecules of the same class. In this work, we investigate how both approaches can complement each other. We contrast the ability of ML-FF for reconstructing dynamic and thermodynamic observables to MM-FFs in order to gain a qualitative understanding of the differences between the two approaches. This analysis enables us to modify the generalized AMBER force field (GAFF) by reparametrizing short-range and bonded interactions with more expressive terms to make them more accurate, without sacrificing the key properties that make MM-FFs so successful.

categories: physics.chem-ph physics.atm-clus physics.bio-ph physics.comp-ph physics.data-an


title: Internal natural transformations and Frobenius algebras in the Drinfeld center

abstract: For M and N finite module categories over a finite tensor category C, the category Rex_C(M,N) of right exact module functors is a finite module category over the Drinfeld center Z(C). We study the internal Homs of this module category, which we call internal natural transformations. With the help of certain integration functors that map C-C-bimodule functors to objects of Z(C), we express them as ends over internal Homs and define horizontal and vertical compositions. We show that if M and N are exact C-modules and C is pivotal, then the Z(C)-module Rex_C(M,N) is exact. We compute its relative Serre functor and show that if M and N are even pivotal module categories, then Rex_C(M,N) is pivotal as well. Its internal Ends are then a rich source for Frobenius algebras in Z(C).


title: Describe What to Change: A Text-guided Unsupervised Image-to-Image Translation Approach

abstract: Manipulating visual attributes of images through human-written text is a very challenging task. On the one hand, models have to learn the manipulation without the ground truth of the desired output. On the other hand, models have to deal with the inherent ambiguity of natural language. Previous research usually requires either the user to describe all the characteristics of the desired image or to use richly-annotated image captioning datasets. In this work, we propose a novel unsupervised approach, based on image-to-image translation, that alters the attributes of a given image through a command-like sentence such as "change the hair color to black". Contrarily to state-of-the-art approaches, our model does not require a human-annotated dataset nor a textual description of all the attributes of the desired image, but only those that have to be modified. Our proposed model disentangles the image content from the visual attributes, and it learns to modify the latter using the textual description, before generating a new image from the content and the modified attribute representation. Because text might be inherently ambiguous (blond hair may refer to different shadows of blond, e.g. golden, icy, sandy), our method generates multiple stochastic versions of the same translation. Experiments show that the proposed model achieves promising performances on two large-scale public datasets: CelebA and CUB. We believe our approach will pave the way to new avenues of research combining textual and speech commands with visual attributes.


title: The Effect of Confinement on Capillary Phase Transition In Granular Aggregates

abstract: Utilizing a 3D mean-field lattice-gas model, we analyze the effect of confinement on the nature of capillary phase transition in granular aggregates with varying disorder and their inverse porous structures obtained by interchanging particles and pores. Surprisingly, the confinement effects are found to be much less pronounced in granular aggregates as opposed to porous structures. We show that this discrepancy can be understood in terms of the surface-surface correlation length with a connected path through the fluid domain, suggesting that this length captures the true degree of confinement. We also find that the liquid-gas phase transition in these porous materials is of second order nature near capillary critical temperature, which is shown to represent a true critical temperature, i.e. independent of the degree of disorder and the nature of solid matrix, discrete or continuous. The critical exponents estimated here from finite-size scaling analysis suggest that this transition belongs to the 3D random field Ising model universality class as hypothesized by P.G. de Gennes, with the underlying random fields induced by local disorder in fluid-solid interactions.


title: Ensemble from Coarse Graining: Reconstructing the Interior of an Evaporating Black Hole

abstract: In understanding the quantum physics of a black hole, nonperturbative aspects of gravity play important roles. In particular, huge gauge redundancies of a gravitational theory at the nonperturbative level, which are much larger than the standard diffeomorphism and relate even spaces with different topologies, allow us to take different descriptions of a system. While the physical conclusions are the same in any description, the same physics may manifest itself in vastly different forms in descriptions based on different gauge choices. In this paper, we explore the relation between two such descriptions, which we refer to as the global gauge and unitary gauge constructions. The former is based on the global spacetime of general relativity, in which understanding unitarity requires the inclusion of subtle nonperturbative effects of gravity. The latter is based on a distant view of the black hole, in which unitarity is manifest but the existence of interior spacetime is obscured. These two descriptions are complementary. In this paper, we initiate the study of learning aspects of one construction through the analysis of the other. We find that the existence of near empty interior spacetime manifest in the global gauge construction is related to the maximally chaotic, fast scrambling, and universal dynamics of the horizon in the unitary gauge construction. We use the complementarity of the gauge choices to understand the ensemble nature of the gravitational path integral in global spacetime in terms of coarse graining and thermality in a single unitary theory that does not involve any ensemble nature at the fundamental level. We also discuss how the interior degrees of freedom are related with those in the exterior in the two constructions. This relation emerges most naturally as entanglement wedge reconstruction and the effective theory of the interior in the respective constructions.


title: FireBERT: Hardening BERT-based classifiers against adversarial attack

abstract: We present FireBERT, a set of three proof-of-concept NLP classifiers hardened against TextFooler-style word-perturbation by producing diverse alternatives to original samples. In one approach, we co-tune BERT against the training data and synthetic adversarial samples. In a second approach, we generate the synthetic samples at evaluation time through substitution of words and perturbation of embedding vectors. The diversified evaluation results are then combined by voting. A third approach replaces evaluation-time word substitution with perturbation of embedding vectors. We evaluate FireBERT for MNLI and IMDB Movie Review datasets, in the original and on adversarial examples generated by TextFooler. We also test whether TextFooler is less successful in creating new adversarial samples when manipulating FireBERT, compared to working on unhardened classifiers. We show that it is possible to improve the accuracy of BERT-based models in the face of adversarial attacks without significantly reducing the accuracy for regular benchmark samples. We present co-tuning with a synthetic data generator as a highly effective method to protect against 95% of pre-manufactured adversarial samples while maintaining 98% of original benchmark performance. We also demonstrate evaluation-time perturbation as a promising direction for further research, restoring accuracy up to 75% of benchmark performance for pre-made adversarials, and up to 65% (from a baseline of 75% orig. / 12% attack) under active attack by TextFooler.


title: Leptogenesis from the Asymmetric Texture

abstract: We investigate non-resonant thermal leptogenesis in the context of the $SU(5) \times \mathcal{T}_{13}$ "asymmetric texture", where both Dirac and Majorana ${CP}$ violation arise from a single phase in the tribimaximal seesaw mixing matrix. We show that the baryon asymmetry of the universe can be explained in this model only when flavor effects are considered for right-handed neutrino masses of $\mathcal{O}(10^9 - 10^{12})$ $\text{GeV}$. The sign of the baryon asymmetry also determines the sign of the previously predicted Dirac $\require{cancel}\cancel{CP}$ phase $|\delta_{CP}| = 1.32\pi$, consistent with the latest global fit $\delta_{CP}^{PDG} = 1.37 \pm 0.17\pi$.


title: The estimation of $\gamma$-ray Doppler factor for Fermi/LAT-detected blazars

abstract: Blazars are a subclass of active galactic nuclei (AGNs) with extreme observation properties, which is caused by the beaming effect, expressed by a Doppler factor, in a relativistic jet. Doppler factor is an important parameter in the blazars paradigm to indicate all of the observation properties, and many methods were proposed to estimate its value. In this paper, we present a method following Mattox et al. to calculate the lower limit on gamma-ray Doppler factor for 809 selected Fermi/LAT-detected gamma-ray blazars by adopting the available gamma-ray and X-ray data. Our sample included 342 flat-spectrum radio quasars (FSRQs) and 467 BL Lac objects (BL Lacs), out of which 507 sources are compiled with available radio core-dominance parameter (R) from our previous study. Our calculation shows that the average values of the lower limit on gamma-ray Doppler factor for FSRQs and BL Lacs are 6.87 and 4.31, respectively. We compare and discuss our results with those from the literature. We found that the derived lower limit on gamma-ray Doppler factor for some sources are higher than that from the radio estimation, which could be possibly explained by the jet bending within those blazars. Our results also suggest that the gamma-ray and radio regions perhaps share the same relativistic effects. The gamma-ray Doppler factor has been found to be correlated with both the gamma-ray luminosity and core-dominance parameter, implying that the jet is possibly continuous in the gamma-ray bands, and R is perhaps an indicator for a beaming effect.


title: Decentralized Multi-Agent Optimization Based on a Penalty Method

abstract: We propose a decentralized penalty method for general convex constrained multi-agent optimization problems. Each auxiliary penalized problem is solved approximately with a special parallel descent splitting method. The method can be implemented in a computational network where each agent sends information only to the nearest neighbours. Convergence of the method is established under rather weak assumptions. We also describe a specialization of the proposed approach to the feasibility problem.


title: Investigating Gravitational Collapse of a Pebble Cloud to form Transneptunian Binaries

abstract: Context. A large fraction of transneptunian objects are found in binary pairs, ~30% in the cold classical population between $a_\text{hel}$~39 and ~48 AU. Observationally, these binaries generally have components of similar size and colour. Previous work has shown that gravitational collapse of a pebble cloud is an efficient mechanism for producing such systems. Since the discovery of the bi-lobate nature of Arrokoth there is also interest in gravitational collapse as a way to form contact binaries. Aims. Our aim was to investigate formation of binary systems via gravitational collapse, considering a wider range of binary masses than previous studies. We analysed in detail the properties of the bound systems that are formed and compared them to observations. Methods. We performed N-body simulations of gravitational collapse of a pebble cloud using the REBOUND package, with an integrator designed for rotating reference frames and robust collision detection. We conducted a deep search for gravitationally bound particles at the end of the gravitational collapse phase and tested their stability. For all systems produced, not just the most massive binaries, we investigated the population characteristics of their mass and orbital parameters. Gravitational collapse can create binary systems analogous to Arrokoth and collisions in a collapsing cloud should be gentle enough to preserve a bi-lobed structure. Results. Gravitational collapse is an efficient producer of bound planetesimal systems. On average ~1.5 bound systems were produced per cloud in the mass range studied here. As well as the large equal-sized binaries, we found that gravitational collapse produces massive bodies with small satellites and low mass binaries with a high mass ratio. Our results disfavour the collapse of high mass clouds, in line with reported upper mass limits of clouds formed by the streaming instability.


title: Working Memory for Online Memory Binding Tasks: A Hybrid Model

abstract: Working Memory is the brain module that holds and manipulates information online. In this work, we design a hybrid model in which a simple feed-forward network is coupled to a balanced random network via a read-write vector called the interface vector. Three cases and their results are discussed similar to the n-back task called, first-order memory binding task, generalized first-order memory task, and second-order memory binding task. The important result is that our dual-component model of working memory shows good performance with learning restricted to the feed-forward component only. Here we take advantage of the random network property without learning. Finally, a more complex memory binding task called, a cue-based memory binding task, is introduced in which a cue is given as input representing a binding relation that prompts the network to choose the useful chunk of memory. To our knowledge, this is the first time that random networks as a flexible memory is shown to play an important role in online binding tasks. We may interpret our results as a candidate model of working memory in which the feed-forward network learns to interact with the temporary storage random network as an attentional-controlling executive system.


title: Measurements of the induced polarization in the quasi-elastic $A(e,e'\vec p\,)$ process in non-coplanar kinematics

abstract: We report measurements of the induced polarization $\vec P$ of protons knocked out from $^2$H and $^{12}$C via the $A(e,e'\vec p\,)$ reaction. We have studied the dependence of $\vec P$ on two kinematic variables: the missing momentum $p_{\rm miss}$ and the "off-coplanarity" angle $\phi_{pq}$ between the scattering and reaction planes. For the full 360$\degree$ range in $\phi_{pq}$, both the normal ($P_y$) and, for the first time, the transverse ($P_x$) components of the induced polarization were measured with respect to the coordinate system associated with the scattering plane. $P_x$ vanishes in coplanar kinematics, however in non-coplanar kinematics, it is on the same scale as $P_y$. We find that the dependence on $\phi_{pq}$ is sine-like for $P_x$ and cosine-like for $P_y$. For carbon, the magnitude of the induced polarization is especially large when protons are knocked out from the $p_{3/2}$ shell at very small $p_{\rm miss}$. For the deuteron, the induced polarization is near zero at small $|p_{\rm miss}|$, and its magnitude increases with $|p_{\rm miss}|$. For both nuclei such behavior is reproduced qualitatively by theoretical results, driven largely by the spin-orbit part of the final-state interactions. However, for both nuclei, sizeable discrepancies exist between experiment and theory.


title: From the logistic-sigmoid to nlogistic-sigmoid: modelling the COVID-19 pandemic growth

abstract: Real-world growth processes, such as epidemic growth, are inherently noisy, uncertain and often involve multiple growth phases. The logistic-sigmoid function has been suggested and applied in the domain of modelling such growth processes. However, existing definitions are limiting, as they do not consider growth as restricted in two-dimension. Additionally, as the number of growth phases increase, the modelling and estimation of logistic parameters becomes more cumbersome, requiring more complex tools and analysis. To remedy this, we introduce the nlogistic-sigmoid function as a compact, unified modern definition of logistic growth for modelling such real-world growth phenomena. Also, we introduce two characteristic metrics of the logistic-sigmoid curve that can give more robust projections on the state of the growth process in each dimension. Specifically, we apply this function to modelling the daily World Health Organization published COVID-19 time-series data of infection and death cases of the world and countries of the world to date. Our results demonstrate statistically significant goodness of fit greater than or equal to 99% for affected countries of the world exhibiting patterns of either single or multiple stages of the ongoing COVID-19 outbreak, such as the USA. Consequently, this modern logistic definition and its metrics, as a machine learning tool, can help to provide clearer and more robust monitoring and quantification of the ongoing pandemic growth process.


title: Formation of Argon Cluster with Proton Seeding

abstract: We employ force-field molecular dynamics simulations to investigate the kinetics of nucleation to new liquid or solid phases in a dense gas of particles, seeded with ions. We use precise atomic pair interactions, with physically correct long-range behavior, between argon atoms and protons. Time-dependence of molecular cluster formation is analyzed at different proton concentration, temperature and argon gas density. The modified phase transitions with proton seeding of the argon gas are identified and analyzed. The seeding of the gas enhances the formation of nano-size atomic clusters and their aggregation. The strong attraction between protons and bath gas atoms stabilizes large nano-clusters and the critical temperature for evaporation. An analytical model is proposed to describe the stability of argon-proton droplets, and is compared with the molecular dynamics simulations.


title: Creative AI Through Evolutionary Computation: Principles and Examples

abstract: The main power of artificial intelligence is not in modeling what we already know, but in creating solutions that are new. Such solutions exist in extremely large, high-dimensional, and complex search spaces. Population-based search techniques, i.e. variants of evolutionary computation, are well suited to finding them. These techniques make it possible to find creative solutions to practical problems in the real world, making creative AI through evolutionary computation the likely "next deep learning."


title: Boosting Ant Colony Optimization via Solution Prediction and Machine Learning

abstract: This paper introduces an enhanced meta-heuristic (ML-ACO) that combines machine learning (ML) and ant colony optimization (ACO) to solve combinatorial optimization problems. To illustrate the underlying mechanism of our ML-ACO algorithm, we start by describing a test problem, the orienteering problem. In this problem, the objective is to find a route that visits a subset of vertices in a graph within a time budget to maximize the collected score. In the first phase of our ML-ACO algorithm, an ML model is trained using a set of small problem instances where the optimal solution is known. Specifically, classification models are used to classify an edge as being part of the optimal route, or not, using problem-specific features and statistical measures. The trained model is then used to predict the probability that an edge in the graph of a test problem instance belongs to the corresponding optimal route. In the second phase, we incorporate the predicted probabilities into the ACO component of our algorithm, i.e., using the probability values as heuristic weights or to warm start the pheromone matrix. Here, the probability values bias sampling towards favoring those predicted high-quality edges when constructing feasible routes. We have tested multiple classification models including graph neural networks, logistic regression and support vector machines, and the experimental results show that our solution prediction approach consistently boosts the performance of ACO. Further, we empirically show that our ML model trained on small synthetic instances generalizes well to large synthetic and real-world instances. Our approach integrating ML with a meta-heuristic is generic and can be applied to a wide range of optimization problems.


title: Mastering high-dimensional dynamics with Hamiltonian neural networks

abstract: We detail how incorporating physics into neural network design can significantly improve the learning and forecasting of dynamical systems, even nonlinear systems of many dimensions. A map building perspective elucidates the superiority of Hamiltonian neural networks over conventional neural networks. The results clarify the critical relation between data, dimension, and neural network learning performance.


title: STAN: Spatio-Temporal Attention Network for Pandemic Prediction Using Real World Evidence

abstract: Objective: The COVID-19 pandemic has created many challenges that need immediate attention. Various epidemiological and deep learning models have been developed to predict the COVID-19 outbreak, but all have limitations that affect the accuracy and robustness of the predictions. Our method aims at addressing these limitations and making earlier and more accurate pandemic outbreak predictions by (1) using patients' EHR data from different counties and states that encode local disease status and medical resource utilization condition; (2) considering demographic similarity and geographical proximity between locations; and (3) integrating pandemic transmission dynamics into deep learning models. Materials and Methods: We proposed a spatio-temporal attention network (STAN) for pandemic prediction. It uses an attention-based graph convolutional network to capture geographical and temporal trends and predict the number of cases for a fixed number of days into the future. We also designed a physical law-based loss term for enhancing long-term prediction. STAN was tested using both massive real-world patient data and open source COVID-19 statistics provided by Johns Hopkins university across all U.S. counties. Results: STAN outperforms epidemiological modeling methods such as SIR and SEIR and deep learning models on both long-term and short-term predictions, achieving up to 87% lower mean squared error compared to the best baseline prediction model. Conclusions: By using information from real-world patient data and geographical data, STAN can better capture the disease status and medical resource utilization information and thus provides more accurate pandemic modeling. With pandemic transmission law based regularization, STAN also achieves good long-term prediction performance.


title: Using Experts' Opinions in Machine Learning Tasks

abstract: In machine learning tasks, especially in the tasks of prediction, scientists tend to rely solely on available historical data and disregard unproven insights, such as experts' opinions, polls, and betting odds. In this paper, we propose a general three-step framework for utilizing experts' insights in machine learning tasks and build four concrete models for a sports game prediction case study. For the case study, we have chosen the task of predicting NCAA Men's Basketball games, which has been the focus of a group of Kaggle competitions in recent years. Results highly suggest that the good performance and high scores of the past models are a result of chance, and not because of a good-performing and stable model. Furthermore, our proposed models can achieve more steady results with lower log loss average (best at 0.489) compared to the top solutions of the 2019 competition (>0.503), and reach the top 1%, 10% and 1% in the 2017, 2018 and 2019 leaderboards, respectively.


title: First Discovery of a Fast Radio Burst at 350 MHz by the GBNCC Survey

abstract: We report the first discovery of a fast radio burst (FRB), FRB 20200125A, by the Green Bank Northern Celestial Cap (GBNCC) Pulsar Survey conducted with the Green Bank Telescope at 350 MHz. FRB 20200125A was detected at a Galactic latitude of 58.43 degrees with a dispersion measure of 179 pc cm$^{-3}$, while electron density models predict a maximum Galactic contribution of 25 pc cm$^{-3}$ along this line of sight. Moreover, no apparent Galactic foreground sources of ionized gas that could account for the excess DM are visible in multi-wavelength surveys of this region. This argues that the source is extragalactic. The maximum redshift for the host galaxy is $z_{max}=0.17$, corresponding to a maximum comoving distance of approximately 750 Mpc. The measured peak flux density for FRB 20200125A is 0.37 Jy, and we measure a pulse width of 3.7 ms, consistent with the distribution of FRB widths observed at higher frequencies. Based on this detection and assuming an Euclidean flux density distribution of FRBs, we calculate an all-sky rate at 350 MHz of $3.4^{+15.4}_{-3.3} \times 10^3$ FRBs sky$^{-1}$ day$^{-1}$ above a peak flux density of 0.42 Jy for an unscattered pulse having an intrinsic width of 5 ms, consistent with rates reported at higher frequencies. Given the recent improvements in our single-pulse search pipeline, we also revisit the GBNCC survey sensitivity to various burst properties. Finally, we find no evidence of interstellar scattering in FRB 20200125A, adding to the growing evidence that some FRBs have circumburst environments where free-free absorption and scattering are not significant.


title: Viral Aerosol Concentration Characterization and Detection in Bounded Environments

abstract: Viral spread has been intermittently threatening human life over time. Characterizing the viral concentration and modelling the viral transmission are, therefore, considered major milestones for enhancing viral detection capabilities. This paper addresses the problem of viral aerosol detection based on the exhaled breath in a bounded environment, e.g., a bounded room. The paper models the exhaled breath as a cloud which is emitted through the room continuously, and analyzes the temporal-spatial virus concentration by accounting for partial absorption and reflection at each side of the room. The paper first derives a closed form expression of the temporal-spatial virus concentration. It then considers the deployment of a receiver composed of an air sampler and a bio-sensor to detect the viral existence of a specific virus. We, therefore, assess the detection capabilities of the proposed system via evaluating the viral miss-detection probability as a function of the sampling volume and the detection time-instance at the receiver side. Our numerical simulations verify the validity of the analytical results, and illustrate the ability of the proposed system to detect viruses in indoor environments. The results further characterize the impacts of several system parameters on the miss-detection probability.


title: The Laplacian on Cartesian products with mixed boundary conditions

abstract: A definition of the Laplacian on Cartesian products with mixed boundary conditions using quadratic forms is proposed. Its consistency with the standard definition for homogeneous and certain mixed boundary conditions is proved and, as a consequence, tensor representations of the corresponding Sobolev spaces of first order are derived. Moreover, a criterion for the domain to belong to the Sobolev space of second order is proved.


title: On the simplicity of Nekrashevych algebras of contracting self-similar groups

abstract: Nekrashevych algebras of self-similar group actions are natural generalizations of the classical Leavitt algebras. They are discrete analogues of the corresponding Nekrashevych $C^\ast$-algebras. In particular, Nekrashevych, Clark, Exel, Pardo, Sims and Starling have studied the question of simplicity of Nekrashevych algebras, in part, because non-simplicity of the complex algebra implies non-simplicity of the $C^\ast$-algebra. In this paper we give necessary and sufficient conditions for the Nekrashevych algebra of a contracting group to be simple. Nekrashevych algebras of contracting groups are finitely presented. We give an algorithm which on input the nucleus of the contracting group, outputs all characteristics of fields over which the corresponding Nekrashevych algebra is simple. Using our methods, we determine the fields over which the Nekrashevych algebras of a number of well-known contracting groups are simple including the Basilica group, Gupta-Sidki groups, GGS-groups, multi-edge spinal groups, \v{S}uni\'{c} groups associated to polynomials (this latter family includes the Grigorchuk group, Grigorchuk-Erschler group and Fabrykowski-Gupta group) and self-replicating spinal automaton groups.


title: Deep learning for photoacoustic imaging: a survey

abstract: Machine learning has been developed dramatically and witnessed a lot of applications in various fields over the past few years. This boom originated in 2009, when a new model emerged, that is, the deep artificial neural network, which began to surpass other established mature models on some important benchmarks. Later, it was widely used in academia and industry. Ranging from image analysis to natural language processing, it fully exerted its magic and now become the state-of-the-art machine learning models. Deep neural networks have great potential in medical imaging technology, medical data analysis, medical diagnosis and other healthcare issues, and is promoted in both pre-clinical and even clinical stages. In this review, we performed an overview of some new developments and challenges in the application of machine learning to medical image analysis, with a special focus on deep learning in photoacoustic imaging. The aim of this review is threefold: (i) introducing deep learning with some important basics, (ii) reviewing recent works that apply deep learning in the entire ecological chain of photoacoustic imaging, from image reconstruction to disease diagnosis, (iii) providing some open source materials and other resources for researchers interested in applying deep learning to photoacoustic imaging.


title: Accuracy of neural networks for the simulation of chaotic dynamics: precision of training data vs precision of the algorithm

abstract: We explore the influence of precision of the data and the algorithm for the simulation of chaotic dynamics by neural networks techniques. For this purpose, we simulate the Lorenz system with different precisions using three different neural network techniques adapted to time series, namely reservoir computing (using ESN), LSTM and TCN, for both short and long time predictions, and assess their efficiency and accuracy. Our results show that the ESN network is better at predicting accurately the dynamics of the system, and that in all cases the precision of the algorithm is more important than the precision of the training data for the accuracy of the predictions. This result gives support to the idea that neural networks can perform time-series predictions in many practical applications for which data are necessarily of limited precision, in line with recent results. It also suggests that for a given set of data the reliability of the predictions can be significantly improved by using a network with higher precision than the one of the data.


title: Integrating Variable Reduction Strategy with Evolutionary Algorithm for Solving Nonlinear Equations Systems

abstract: Nonlinear equations systems (NESs) are widely used in real-world problems while they are also difficult to solve due to their characteristics of nonlinearity and multiple roots. Evolutionary algorithm (EA) is one of the methods for solving NESs, given their global search capability and an ability to locate multiple roots of a NES simultaneously within one run. Currently, the majority of research on using EAs to solve NESs focuses on transformation techniques and improving the performance of the used EAs. By contrast, the problem domain knowledge of NESs is particularly investigated in this study, using which we propose to incorporate the variable reduction strategy (VRS) into EAs to solve NESs. VRS makes full use of the systems of expressing a NES and uses some variables (i.e., core variable) to represent other variables (i.e., reduced variables) through the variable relationships existing in the equation systems. It enables to reduce partial variables and equations and shrink the decision space, thereby reducing the complexity of the problem and improving the search efficiency of the EAs. To test the effectiveness of VRS in dealing with NESs, this paper integrates VRS into two existing state-of-the-art EA methods (i.e., MONES and DRJADE), respectively. Experimental results show that, with the assistance of VRS, the EA methods can significantly produce better results than the original methods and other compared methods.


title: The Cone epsilon-Dominance: An Approach for Evolutionary Multiobjective Optimization

abstract: We propose the cone epsilon-dominance approach to improve convergence and diversity in multiobjective evolutionary algorithms (MOEAs). A cone-eps-MOEA is presented and compared with MOEAs based on the standard Pareto relation (NSGA-II, NSGA-II*, SPEA2, and a clustered NSGA-II) and on the epsilon-dominance (eps-MOEA). The comparison is performed both in terms of computational complexity and on four performance indicators selected to quantify the quality of the final results obtained by each algorithm: the convergence, diversity, hypervolume, and coverage of many sets metrics. Sixteen well-known benchmark problems are considered in the experimental section, including the ZDT and the DTLZ families. To evaluate the possible differences amongst the algorithms, a carefully designed experiment is performed for the four performance metrics. The results obtained suggest that the cone-eps-MOEA is capable of presenting an efficient and balanced performance over all the performance metrics considered. These results strongly support the conclusion that the cone-eps-MOEA is a competitive approach for obtaining an efficient balance between convergence and diversity to the Pareto front, and as such represents a useful tool for the solution of multiobjective optimization problems.


title: Effect of isotope disorder on the Raman spectra of cubic boron arsenide

abstract: Boron arsenide (c-BAs) is at the forefront of research on ultrahigh thermal conductivity materials. We present a Raman scattering study of isotopically tailored cubic boron arsenide single crystals for 11 isotopic compositions spanning the range from nearly pure c-$^{10}$BAs to nearly pure c-$^{11}$BAs. Our results provide insights on the effects of strong mass disorder on optical phonons and the appearance of two-mode behavior in the Raman spectra of mixed crystals. Strong isotope disorder also relaxes the one-phonon Raman selection rules, resulting in disorder-activated Raman scattering by acoustic phonons.


title: Closed manifolds admitting no special generic maps whose codimensions are negative and their cohomology rings

abstract: Special generic maps are higher dimensional versions of Morse functions with exactly two singular points, characterizing spheres topologically except $4$-dimensional cases: in these cases standard spheres are characterized. Canonical projections of unit spheres are special generic. In suitable cases, it is easy to construct special generic maps on manifolds represented as connected sums of products of spheres for example. It is an interesting fact that these maps restrict the topologies and the differentiable structures admitting them strictly in various cases. For example, exotic spheres, which are not diffeomorphic to standard spheres, admit no special generic map into some Euclidean spaces in considerable cases. In general, it is difficult to find (families of) manifolds admitting no such maps of suitable classes. The present paper concerns a new result on this work where key objects are products of cohomology classes of the manifolds. We can see that manifolds such as closed symplectic manifolds and real projective spaces admit no special generic maps into any connected nin-closed manifold in considerable cases.


title: Influence of long-range interaction on degeneracy of eigenvalues of connection matrix of d-dimensional Ising system

abstract: We examine connection matrices of Ising systems with long-rang interaction on d-dimensional hypercube lattices of linear dimensions L. We express the eigenvectors of these matrices as the Kronecker products of the eigenvectors for the one-dimensional Ising system. The eigenvalues of the connection matrices are polynomials of the d-th degree of the eigenvalues for the one-dimensional system. We show that including of the long-range interaction does not remove the degeneracy of the eigenvalues of the connection matrix. We analyze the eigenvalue spectral density in the limit L go to \infty. In the case of the continuous spectrum, for d < 3 we obtain analytical formulas that describe the influence of the long-range interaction on the spectral density and the crucial changes of the spectrum.


title: Lie Symmetries and Similarity transformations for the Generalized Boiti-Leon-Pempinelli equations

abstract: We perform a detailed classification of the Lie point symmetries and of the resulting similarity transformations for the Generalized Boiti-Leon-Pempinelli equations. The latter equations for a system of two nonlinear 1+2 partial differential equations of second- and third-order. The nonlinear equations depend of two parameters, namely $n$ and $m$, from where we find that for various values of these two parameters the resulting systems admit different number of Lie point symmetries. For every case, we present the complete analysis for the admitted Lie group as also we determine all the possible similarity solutions which follow from the one-dimensional optimal system. Finally, we summarize the results by presenting them in a tabular way.


title: The Decision-Conflict Logit

abstract: We introduce the *decision-conflict logit*, a simple and disciplined extension of the logit with an outside option that assigns a menu-dependent utility to that option. The relative value of this utility at a menu could be interpreted as proxying decision difficulty and determines the probability of avoiding/delaying choice at that menu. We focus on two intuitively structured special cases of the model that offer complementary insights, and argue that they explain a variety of observed choice-deferral effects that are caused by hard decisions. We conclude by illustrating the usability of the proposed modelling framework in applications.


title: A Scalable Querying Scheme for Memory-efficient Runtime Models with History

abstract: Runtime models provide a snapshot of a system at runtime at a desired level of abstraction. Via a causal connection to the modeled system and by employing model-driven engineering techniques, runtime models support schemes for (runtime) adaptation where data from previous snapshots facilitates more informed decisions. Nevertheless, although runtime models and model-based adaptation techniques have been the focus of extensive research, schemes that treat the evolution of the model over time as a first-class citizen have only lately received attention. Consequently, there is a lack of sophisticated technology for such runtime models with history. We present a querying scheme where the integration of temporal requirements with incremental model queries enables scalable querying for runtime models with history. Moreover, our scheme provides for a memory-efficient storage of such models. By integrating these two features into an adaptation loop, we enable efficient history-aware self-adaptation via runtime models, of which we present an implementation.


title: Sub-kelvin temperature management in ion traps for optical clocks

abstract: The uncertainty of the ac Stark shift due to thermal radiation represents a major contribution to the systematic uncertainty budget of state-of-the-art optical atomic clocks. In the case of optical clocks based on trapped ions, the thermal behavior of the rf-driven ion trap must be precisely known. This determination is even more difficult when scalable linear ion traps are used. Such traps enable a more advanced control of multiple ions and have become a platform for new applications in quantum metrology, simulation and computation. Nevertheless, their complex structure makes it more difficult to precisely determine its temperature in operation and thus the related systematic uncertainty. We present here scalable linear ion traps for optical clocks, which exhibit very low temperature rise under operation. We use a finite-element model refined with experimental measurements to determine the thermal distribution in the ion trap and the temperature at the position of the ions. The trap temperature is investigated at different rf-drive frequencies and amplitudes with an infrared camera and integrated temperature sensors. We show that for typical trapping parameters for $\mathrm{In}^{+}$, $\mathrm{Al}^{+}$, $\mathrm{Lu}^{+}$, $\mathrm{Ca}^{+}$, $\mathrm{Sr}^{+}$ or $\mathrm{Yb}^{+}$ ions, the temperature rise at the position of the ions resulting from rf heating of the trap stays below 700 mK and can be controlled with an uncertainty on the order of a few 100 mK maximum.


title: From Quasi-Dominions to Progress Measures

abstract: We revisit the approaches to the solution of parity games based on progress measures and show how the notion of quasi dominions can be integrated with those approaches. The idea is that, while progress measure based techniques typically focus on one of the two players, little information is gathered on the other player during the solution process. Adding quasi dominions provides additional information on this player that can be leveraged to greatly accelerate convergence to a progress measure. To accommodate quasi dominions, however, non trivial refinements of the approach are necessary. In particular, we need to introduce a novel notion of measure and a new method to prove correctness of the resulting solution technique.


title: On the Burness-Giudici Conjecture

abstract: Let $G$ be a permutation group on a set $\Omega$. A subset of $\Omega$ is a base for $G$ if its pointwise stabilizer in $G$ is trivial. By $b(G)$ we denote the size of the smallest base of $G$. Every permutation group with $b(G)=2$ contains some regular suborbits. It is conjectured by Burness-Giudici in [4] that every primitive permutation group $G$ with $b(G)=2$ has the property that if $\alpha^g\not\in \Gamma$ then $\Gamma \cap \Gamma^g\neq \emptyset$, where $\Gamma$ is the union of all regular suborbits of $G$ relative to $\alpha$. An affirmative answer of the conjecture has been shown for many sporadic simple groups and some alternative groups in [4], but it is still open for simple groups of Lie-type. The first candidate of infinite family of simple groups of Lie-type we should work on might be $PSL(2,q)$, where $q\geq 5$. In this manuscript, we show the correctness of the conjecture for all the primitive groups with socle $PSL(2,q)$, see Theorem $1.3$.


title: Phase competition in frustrated anisotropic antiferromagnet in strong magnetic field

abstract: We discuss theoretically a frustrated Heisenberg antiferromagnet in magnetic field close to the saturation one. It is demonstrated that a small biaxial anisotropy and/or the magnetic dipolar interaction produce a delicate balance between phases with a commensurate canted, incommensurate helical (conical), and fan spin orderings. As a result, different sequences of phase transitions are realized depending on values of these small anisotropic interactions. We derive analytical expressions for critical fields and ground-state energies of the phases which are in a quantitative agreement with our and previous Monte-Carlo simulations.


title: Solution to the Sudakov suppressed Balitsky-Kovchegov equation and its application to the HERA data

abstract: We analytically solve the Sudakov suppressed Balitsky-Kovchegov evolution equation with the fixed and running coupling constants in the saturation region. The analytic solution of the $S$-matrix shows the $\exp(\mathcal{O}(\eta^2))$ rapidity dependence of the solution with the fixed coupling constant is replaced by $\exp(\mathcal{O}(\eta^{3/2}))$ dependence in the smallest dipole running coupling case rather than obeying the law found in our previous publication, in which all the solutions of the next-to-leading order evolution equations comply with $\exp(\mathcal{O}(\eta))$ rapidity dependence once the QCD coupling is switched from the fixed coupling to the smallest dipole running coupling prescription. This finding indicates that the corrections of the sub-leading double logarithms in the Sudakov suppressed evolution equation are significant, which compensate part of the evolution decrease of the dipole amplitude made by running coupling effect. To test the analytic findings, we calculate the numerical solutions of the Sudakov suppressed evolution equation, the numerical results confirm the analytic outcomes. Moreover, we use the numerical solutions of the evolution equation to fit the HERA data. It shows that the Sudakove suppressed evolution equation can give good quality fit to the data.


title: PolicyKit: Building Governance in Online Communities

abstract: The software behind online community platforms encodes a governance model that represents a strikingly narrow set of governance possibilities focused on moderators and administrators. When online communities desire other forms of government, such as ones that take many members' opinions into account or that distribute power in non-trivial ways, communities must resort to laborious manual effort. In this paper, we present PolicyKit, a software infrastructure that empowers online community members to concisely author a wide range of governance procedures and automatically carry out those procedures on their home platforms. We draw on political science theory to encode community governance into policies, or short imperative functions that specify a procedure for determining whether a user-initiated action can execute. Actions that can be governed by policies encompass everyday activities such as posting or moderating a message, but actions can also encompass changes to the policies themselves, enabling the evolution of governance over time. We demonstrate the expressivity of PolicyKit through implementations of governance models such as a random jury deliberation, a multi-stage caucus, a reputation system, and a promotion procedure inspired by Wikipedia's Request for Adminship (RfA) process.


title: Self-Supervised Learning of Audio-Visual Objects from Video

abstract: Our objective is to transform a video into a set of discrete audio-visual objects using self-supervised learning. To this end, we introduce a model that uses attention to localize and group sound sources, and optical flow to aggregate information over time. We demonstrate the effectiveness of the audio-visual object embeddings that our model learns by using them for four downstream speech-oriented tasks: (a) multi-speaker sound source separation, (b) localizing and tracking speakers, (c) correcting misaligned audio-visual data, and (d) active speaker detection. Using our representation, these tasks can be solved entirely by training on unlabeled video, without the aid of object detectors. We also demonstrate the generality of our method by applying it to non-human speakers, including cartoons and puppets.Our model significantly outperforms other self-supervised approaches, and obtains performance competitive with methods that use supervised face detection.


title: A escola vai a Mostra de Astronomia do ES: dialogos entre a educacao formal, nao formal e informal para o desenvolvimento da cultura cientifica

abstract: This article is derived from the development of educational activities in astronomy, with a view to encouraging the training of future researchers. The goal is to present how the participation of students from EEEM Dr.Silva Mello took place in the Mostra de Astronomia do ES (MAES), and how that promoted their involvement and participation in the three types of education, formal, informal and non-formal, highlighting the articulation between them. In order to train citizens with interests for development of scientific research on astronomical themes, developing a taste for the search for knowledge and to motivate this action, we form groups to present works at MAES, used as a non-formal education space . The event included the presentation of works, lectures and prizes. As a result, one of the works presented by the students was awarded. Informal education has gained special relevance, when students discussed science, bringing it to their daily lives


title: Electronic and magnetic properties of stoichiometric CeAuBi$_{2}$

abstract: We report the electronic and magnetic properties of stoichiometric CeAuBi$_{2}$ single crystals. At ambient pressure, CeAuBi$_{2}$ orders antiferromagnetically below a N\'{e}el temperature ($T_{N}$) of 19 K. Neutron diffraction experiments revealed an antiferromagnetic propagation vector $\hat{\tau} = [0, 0, 1/2]$, which doubles the paramagnetic unit cell along the $c$-axis. At low temperatures several metamagnetic transitions are induced by the application of fields parallel to the $c$-axis, suggesting that the magnetic structure of CeAuBi$_{2}$ changes as a function of field. At low temperatures, a linear positive magnetoresistance may indicate the presence of band crossings near the Fermi level. Finally, the application of external pressure favors the antiferromagnetic state, indicating that the 4$f$ electrons become more localized.


title: A new numerical scheme for simulating non-gaussian and non-stationary stochastic processes

abstract: This paper presents a new numerical scheme for simulating stochastic processes specified by their marginal distribution functions and covariance functions. Stochastic samples are firstly generated to automatically satisfy target marginal distribution functions. An iterative algorithm is proposed to match the simulated covariance function of stochastic samples to the target covariance function, and only a few times iterations can converge to a required accuracy. Several explicit representations, based on Karhunen-Lo\`{e}ve expansion and Polynomial Chaos expansion, are further developed to represent the obtained stochastic samples in series forms. Proposed methods can be applied to non-gaussian and non-stationary stochastic processes, and three examples illustrate their accuracies and efficiencies.


title: LIGO series, dimension of embedding and Kolmogorov's complexity

abstract: The interpretation of the series recorded by the Laser Interferometer Gravitational Wave Observatory is a very important issue. Naturally, it is not free of controversy. Here we apply two methods widely used in the study of nonlinear dynamical systems, namely, the calculation of Takens' dimension of embedding and the spectrum of Kolmogorov's complexity, to the series recorded in event GW150914. An increase of the former and a drop of the latter are observed, consistent with the claimed appearance of a gravitational wave. We propose these methods as additional tools to help identifying signals of cosmological interest.


title: The GAPS programme at TNG XXVI. Magnetic activity in M stars: spectroscopic monitoring of AD Leonis

abstract: Understanding stellar activity in M dwarfs is fundamental to improving our knowledge of the physics of stellar atmospheres and for planet search programmes. High levels of stellar activity (also with flare events) can cause additional variations in the stellar emission that contaminate the signal induced by a planet and that need to be corrected. The study of activity indicators in active stars can improve our capability of modelling this signal. Our aim is to understand the behaviour of stellar chromospheres of M stars, studying the more sensitive chromospheric activity indicators, characterising their variability and on finding the correlations among these indicators to obtain information on the origin of the magnetic activity in low-mass stars. We studied the main optical activity indicators (Ca II H&K, Balmer lines, Na I D$_{1,2}$ doublet, He I D$_3$ and other helium lines) measured for AD Leonis using the data provided by HARPS-N in 2018 and by HARPS in 2006. We measured excess flux of the selected activity indicators and analysed the correlation between the different indicators as well as the temporal evolution of fluxes. A stellar flare was identified during the 2018 observing run and the H$\alpha$, H$\beta$, He I 4471 A and He I 5876 A lines were analysed in detail by fitting the line profiles with two Gaussian components. We found that the Ca II H&K flux excesses are strongly correlated with each other, but the Ca II H&K doublet is generally less correlated with the other indicators. Moreover, H$\alpha$ is correlated with Na I doublet and helium lines. Analysing the time variability of flux of the studied lines, we found a higher level of activity of the star during the observations in 2018 than in 2006, while Ca II H&K showed more intense emission on spectra obtained during the observations in 2006. We investigated the flare evaluating the mass motion during the event.


title: Eulerian series, zeta functions and the arithmetic of partitions

abstract: In this Ph.D. dissertation (2018, Emory University) we prove theorems at the intersection of the additive and multiplicative branches of number theory, bringing together ideas from partition theory, $q$-series, algebra, modular forms and analytic number theory. We present a natural multiplicative theory of integer partitions (which are usually considered in terms of addition), and explore new classes of partition-theoretic zeta functions and Dirichlet series -- as well as "Eulerian" $q$-hypergeometric series -- enjoying many interesting relations. We find a number of theorems of classical number theory and analysis arise as particular cases of extremely general combinatorial structure laws. Among our applications, we prove explicit formulas for the coefficients of the $q$-bracket of Bloch-Okounkov, a partition-theoretic operator from statistical physics related to quasi-modular forms; we prove partition formulas for arithmetic densities of certain subsets of the integers, giving $q$-series formulas to evaluate the Riemann zeta function; we study $q$-hypergeometric series related to quantum modular forms and the "strange" function of Kontsevich; and we show how Ramanujan's odd-order mock theta functions (and, more generally, the universal mock theta function $g_3$ of Gordon-McIntosh) arise from the reciprocal of the Jacobi triple product via the $q$-bracket operator, connecting also to unimodal sequences in combinatorics and quantum modular-like phenomena.


title: Threshold pion electro- and photoproduction off nucleons in covariant chiral perturbation theory

abstract: Pion electro- and photoproduction off the nucleon close to threshold is studied in covariant baryon chiral perturbation theory at O($p^3$) in the extended-on-mass-shell scheme, with the explicit inclusion of the $\Delta(1232)$ resonance. The relevant low energy constants are fixed by fitting the available experimental data with the theoretical model. The inclusion of the $\Delta$ resonance as an explicit degree of freedom substantially improves the agreement with data and the convergence of the model.


title: TinySpeech: Attention Condensers for Deep Speech Recognition Neural Networks on Edge Devices

abstract: Advances in deep learning have led to state-of-the-art performance across a multitude of speech recognition tasks. Nevertheless, the widespread deployment of deep neural networks for on-device speech recognition remains a challenge, particularly in edge scenarios where the memory and computing resources are highly constrained (e.g., low-power embedded devices) or where the memory and computing budget dedicated to speech recognition is low (e.g., mobile devices performing numerous tasks besides speech recognition). In this study, we introduce the concept of attention condensers for building low-footprint, highly-efficient deep neural networks for on-device speech recognition on the edge. An attention condenser is a self-attention mechanism that learns and produces a condensed embedding characterizing joint local and cross-channel activation relationships, and performs selective attention accordingly. To illustrate its efficacy, we introduce TinySpeech, low-precision deep neural networks comprising largely of attention condensers tailored for on-device speech recognition using a machine-driven design exploration strategy, with one tailored specifically with microcontroller operation constraints. Experimental results on the Google Speech Commands benchmark dataset for limited-vocabulary speech recognition showed that TinySpeech networks achieved significantly lower architectural complexity (as much as $507\times$ fewer parameters), lower computational complexity (as much as $48\times$ fewer multiply-add operations), and lower storage requirements (as much as $2028\times$ lower weight memory requirements) when compared to previous work. These results not only demonstrate the efficacy of attention condensers for building highly efficient networks for on-device speech recognition, but also illuminate its potential for accelerating deep learning on the edge and empowering TinyML applications.


title: Measurement of the Principal Quantum Number Distribution in a Beam of Antihydrogen Atoms

abstract: The ASACUSA (Atomic Spectroscopy And Collisions Using Slow Antiprotons) collaboration plans to measure the ground-state hyperfine splitting of antihydrogen in a beam at the CERN Antiproton Decelerator with initial relative precision of 10-6 or better, to test the fundamental CPT (combination of charge conjugation, parity transformation and time reversal) symmetry between matter and antimatter. This challenging goal requires a polarised antihydrogen beam with a sufficient number of antihydrogen atoms in the ground state. The first measurement of the quantum state distribution of antihydrogen atoms in a low magnetic field environment of a few mT is described. Furthermore, the data-driven machine learning analysis to identify antihydrogen events is discussed.


title: The Faddeev-LeVerrier algorithm and the Pfaffian

abstract: We adapt the Faddeev-LeVerrier algorithm for the computation of characteristic polynomials to the computation of the Pfaffian of a skew-symmetric matrix. This yields a very simple, easy to implement and parallelize algorithm of computational cost $O(n^{\beta+1})$ where $n$ is the size of the matrix and $O(n^{\beta})$ is the cost of multiplying $n\times n$-matrices, $\beta\in[2,2.37286)$. We compare its performance to that of other algorithms and show how it can be used to compute the Euler form of a Riemannian manifold using computer algebra.


title: Robust and Scalable Techniques for TWR and TDoA based localization using Ultra Wide Band Radios

abstract: Current trends in autonomous vehicles and their applications indicates an increasing need in positioning at low battery and compute cost. Lidars provide accurate localization at the cost of high compute and power consumption which could be detrimental for drones. Modern requirements for autonomous drones such as No-Permit-No-Takeoff (NPNT) and applications restricting drones to a corridor require the infrastructure to constantly determine the location of the drone. Ultra Wide Band Radios (UWB) fulfill such requirements and offer high precision localization and fast position update rates at a fraction of the cost and battery consumption as compared to lidars and also have greater network availability than GPS in a dense forested campus or an indoor setting. We present in this paper a novel protocol and technique to localize a drone for such applications using a Time Difference of Arrival (TDoA) approach. This further increases the position update rates without sacrificing on accuracy and compare it to traditional methods


title: Elastic Potential: A proposal to discover elastic production of top quarks at the Large Hadron Collider

abstract: In this letter, I present the motivation and an example analysis method for discovering the elastic production of top-quark pairs at the LHC using forward proton tags, including an overview of the current theoretical tools and experimental acceptance. I show that it is possible to discover the semi-elastic process with only 300 pb${^{-1}}$ of data but that the fully-elastic case is currently out of reach. I also illustrate how the use of forward proton tags can result in limits on the branching ratio for flavor changing neutral current decays of the top quark of the form $t\rightarrow u\gamma$ and $t\rightarrow c\gamma$ of $<0.39\cdot10^{-5}$ and $<0.97\cdot10^{-5}$, respectively, both of which would surpass the existing world limits by at least an order of magnitude.


title: Topological band and superconductivity in UTe$_2$

abstract: UTe$_2$ has recently been found to be a likely spin-triplet superconductor that exhibits evidence for chiral Majorana edge states. A characteristic structural feature of UTe$_2$ is inversion-symmetry related pairs of U atoms, forming rungs of ladders. Here we show how each rung's two sublattice degrees of freedom play a key role in understanding the electronic structure and the origin of superconductivity. In particular, we show that DFT+$U$ calculations generically reveal a topological band that originates from a band inversion associated with $5f$ electrons residing on these rung sublattice degrees of freedom. Furthermore, we show that a previously identified strong ferromagnetic interaction within a U-U rung leads to a pseudospin-triplet superconducting state that can account for a non-zero polar Kerr angle, observed magnetic field-temperature phase diagrams, and nodal Weyl fermions. Our analysis may also be relevant for other U-based superconductors.


title: An Improved Bound for the Linear Arboricity Conjecture

abstract: In 1980, Akiyama, Exoo and Harary posited the Linear Arboricity Conjecture which states that any graph $G$ of maximum degree $\Delta$ can be decomposed into at most $\left\lceil \frac{\Delta}{2}\right\rceil$ linear forests. (A forest is linear if all of its components are paths.) In 1988, Alon proved the conjecture holds asymptotically. The current best bound is due to Ferber, Fox and Jain from 2020 who showed that $\frac{\Delta}{2}+ O(\Delta^{.661})$ suffices for large enough $\Delta$. Here, we show that $G$ admits a decomposition into at most $\frac{\Delta}{2}+ 3\sqrt{\Delta} \log^4 \Delta$ linear forests provided $\Delta$ is large enough. Moreover, our result also holds in the more general list setting, where edges have (possibly different) sets of permissible linear forests. Thus our bound also holds for the List Linear Arboricity Conjecture which was only recently shown to hold asymptotically by Kim and the second author. Indeed, our proof method ties together the Linear Arboricity Conjecture and the well-known List Colouring Conjecture; consequently, our error term for the Linear Arboricity Conjecture matches the best known error-term for the List Colouring Conjecture due to Molloy and Reed from 2000. This follows as we make two copies of every colour and then seek a proper edge colouring where we avoid bicoloured cycles between a colour and its copy; we achieve this via a clever modification of the nibble method.


title: Communication Efficient Self-Stabilizing Leader Election (Full Version)

abstract: This paper presents a randomized self-stabilizing algorithm that elects a leader $r$ in a general $n$-node undirected graph and constructs a spanning tree $T$ rooted at $r$. The algorithm works under the synchronous message passing network model, assuming that the nodes know a linear upper bound on $n$ and that each edge has a unique ID known to both its endpoints (or, alternatively, assuming the $KT_{1}$ model). The highlight of this algorithm is its superior communication efficiency: It is guaranteed to send a total of $\tilde{O} (n)$ messages, each of constant size, till stabilization, while stabilizing in $\tilde{O} (n)$ rounds, in expectation and with high probability. After stabilization, the algorithm sends at most one constant size message per round while communicating only over the ($n - 1$) edges of $T$. In all these aspects, the communication overhead of the new algorithm is far smaller than that of the existing (mostly deterministic) self-stabilizing leader election algorithms. The algorithm is relatively simple and relies mostly on known modules that are common in the fault free leader election literature; these modules are enhanced in various subtle ways in order to assemble them into a communication efficient self-stabilizing algorithm.


title: Direct detection of dark matter: Precision predictions in a simplified model framework

abstract: We present a calculation of the next-to-leading order QCD corrections for the scattering of Dark Matter particles off nucleons in the framework of simplified models with s- and t-channel mediators. These results are matched to the Wilson coefficients and operators of an effective field theory that is generally used for the presentation of experimental results on spin-independent and spin-dependent direct detection rates. Detailed phenomenological studies illustrate the complementary reach of collider searches for Dark Matter and the direct detection experiments CRESST and XENON. In the case of cancellation effects in the tree-level contributions, one-loop corrections can have a particularly large impact on exclusion limits in the case of combined s+t-channel models.


title: Informative Dropout for Robust Representation Learning: A Shape-bias Perspective

abstract: Convolutional Neural Networks (CNNs) are known to rely more on local texture rather than global shape when making decisions. Recent work also indicates a close relationship between CNN's texture-bias and its robustness against distribution shift, adversarial perturbation, random corruption, etc. In this work, we attempt at improving various kinds of robustness universally by alleviating CNN's texture bias. With inspiration from the human visual system, we propose a light-weight model-agnostic method, namely Informative Dropout (InfoDrop), to improve interpretability and reduce texture bias. Specifically, we discriminate texture from shape based on local self-information in an image, and adopt a Dropout-like algorithm to decorrelate the model output from the local texture. Through extensive experiments, we observe enhanced robustness under various scenarios (domain generalization, few-shot classification, image corruption, and adversarial perturbation). To the best of our knowledge, this work is one of the earliest attempts to improve different kinds of robustness in a unified model, shedding new light on the relationship between shape-bias and robustness, also on new approaches to trustworthy machine learning algorithms. Code is available at https://github.com/bfshi/InfoDrop.


title: Investigation of coronal properties of X-ray bright G-dwarf stars based on the solar surface magnetic field -- corona relation

abstract: We investigated the coronal properties of G-dwarf stars including the Sun over a wide range of X-ray luminosity $L_{\rm X}$ ($3\times 10^{26}$ to $2\times 10^{30}~{\rm erg~s^{-1}}$). We analyzed the archival data of ten X-ray bright ($L_{\it X}>10^{28}~{\rm erg~s^{-1}}$) G-dwarf stars to derive their emission measure (EM) and the coronal temperature ($T$) during the periods when no prominent stellar flares were observed. We attempted to explain the relation on the basis of our understanding of the present Sun: a steady corona model based on the so-called RTV scaling laws and the observed power-law distribution function of surface magnetic features. We derived a theoretical scaling law of the EM--$T$ relation for a star with multiple active regions, and applied it to the observations combined with data in literature. We found that with the solar parameters, our scaling law seems to be consistent with the data of slowly-rotating stars. However, more X-ray bright stars are located well above the scaling law based on the solar parameter. The scaling law may explain the observations if those stars show a power-law distribution function of active regions with the same power-law index but a 10-100 times larger coefficient. This suggests that X-ray bright stars show more active regions for a given size than the Sun. Since our samples include rapidly-rotating stars, we infer that the offset of the X-ray bright stars from the present-Sun-based scaling law is due to the enhancement of the surface magnetic field generation by their rapid rotation.


title: Purely Bayesian counterfactuals versus Newcomb's paradox

abstract: This paper proposes a careful separation between an entity's epistemic system and their decision system. Crucially, Bayesian counterfactuals are estimated by the epistemic system; not by the decision system. Based on this remark, I prove the existence of Newcomb-like problems for which an epistemic system necessarily expects the entity to make a counterfactually bad decision. I then address (a slight generalization of) Newcomb's paradox. I solve the specific case where the player believes that the predictor applies Bayes rule with a supset of all the data available to the player. I prove that the counterfactual optimality of the 1-Box strategy depends on the player's prior on the predictor's additional data. If these additional data are not expected to reduce sufficiently the predictor's uncertainty on the player's decision, then the player's epistemic system will counterfactually prefer to 2-Box. But if the predictor's data is believed to make them quasi-omniscient, then 1-Box will be counterfactually preferred. Implications of the analysis are then discussed. More generally, I argue that, to better understand or design an entity, it is useful to clearly separate the entity's epistemic, decision, but also data collection, reward and maintenance systems, whether the entity is human, algorithmic or institutional.