title: Heterogeneous multiscale Monte Carlo simulations for gold nanoparticle radiosensitization

abstract: To introduce the heterogeneous multiscale (HetMS) model for Monte Carlo simulations of gold nanoparticle dose-enhanced radiation therapy (GNPT), a model characterized by its varying levels of detail on different length scales within a single phantom; to apply the HetMS model in two different scenarios relevant for GNPT and to compare computed results with others published. The HetMS model is implemented in EGSnrc; the code is tested via comparisons with published data from independent gold nanoparticle (GNP) simulations. Two distinct scenarios for the HetMS model are considered: (1) monoenergetic photon beams incident on a large cylinder; (2) isotropic point source at the center of a large sphere with GNPs diffusing from the center. Dose enhancement factors (DEFs) are compared for different source energies, depths, gold concentrations, GNP sizes, and modeling assumptions. Simulation efficiencies are investigated. The HetMS MC simulations account for the competing effects of photon fluence perturbation coupled with enhanced local energy deposition. DEFs are most sensitive to these effects for lower source energies, varying with distance from the source; DEFs below unity can occur at energies relevant for brachytherapy. Compared to discrete modeling of GNPs throughout the gold-containing volume, efficiencies are enhanced by up to a factor of 122 with the HetMS approach. For the spherical phantom, DEFs vary with time for diffusion, radionuclide, and radius. By combining geometric models of varying complexity on different length scales within a single simulation, the HetMS model can effectively account for both macroscopic and microscopic effects. Efficiency gains with the HetMS approach enable diverse calculations which would otherwise be prohibitively long. The HetMS model may be extended to diverse scenarios relevant for GNPT, providing further avenues for research and development.


title: Incoherent Solar Radio Emission

abstract: Incoherent solar radio radiation comes from the free-free, gyroresonance, and gyrosynchrotron emission mechanisms. Free-free is primarily produced from Coulomb collisions between thermal electrons and ions. Gyroresonance and gyrosynchrotron result from the acceleration of low-energy electrons and mildly relativistic electrons, respectively, in the presence of a magnetic field. In the non-flaring Sun, free-free is the dominant emission mechanism with the exception of regions of strong magnetic fields which emit gyroresonance at microwaves. Due to its ubiquitous presence, free-free emission can be used to probe the non-flaring solar atmosphere above temperature minimum. Gyroresonance opacity depends strongly on the magnetic field strength and orientation; hence it provides a unique tool for the estimation of coronal magnetic fields. Gyrosynchrotron is the primary emission mechanism in flares at frequencies higher than 1-2 GHz and depends on the properties of both the magnetic field and the accelerated electrons, as well as the properties of the ambient plasma. In this paper we discuss in detail the above mechanisms and their diagnostic potential.


title: Radio pulsations from the $\gamma$-ray millisecond pulsar PSR J2039-5617

abstract: The predicted nature of the candidate redback pulsar 3FGL\,J2039.6$-$5618 was recently confirmed by the discovery of $\gamma$-ray millisecond pulsations (Clark et al. 2020, hereafter Paper\,I), which identify this $\gamma$-ray source as \msp. We observed this object with the Parkes radio telescope in 2016 and 2019. We detect radio pulsations at 1.4\,GHz and 3.1\,GHz, at the 2.6ms period discovered in $\gamma$-rays, and also at 0.7\,GHz in one 2015 archival observation. In all bands, the radio pulse profile is characterised by a single relatively broad peak which leads the main $\gamma$-ray peak. At 1.4\,GHz we found clear evidence of eclipses of the radio signal for about half of the orbit, a characteristic phenomenon in redback systems, which we associate with the presence of intra-binary gas. From the dispersion measure of $24.57\pm0.03$\,pc\,cm$^{-3}$ we derive a pulsar distance of $0.9\pm 0.2$\,kpc or $1.7\pm0.7$\,kpc, depending on the assumed Galactic electron density model. The modelling of the radio and $\gamma$-ray light curves leads to an independent determination of the orbital inclination, and to a determination of the pulsar mass, qualitatively consistent to the results in Paper\,I.


title: Quotients of the Booleanization of an inverse semigroup

abstract: We introduce $X$-to-join representations of inverse semigroups which are a relaxation of the notion of a cover-to-join representation. We construct the universal $X$-to-join Booleanization of an inverse semigroup $S$ as a weakly meet-preserving quotient of the universal Booleanization ${\mathrm B}(S)$ and show that all such quotients of ${\mathrm B}(S)$ arise via $X$-to-join representaions. As an application, we provide groupoid models for the intermediate boundary quotients of the $C^*$-algebra of a Zappa-Sz\'ep product right LCM semigroup by Brownlowe, Ramagge, Robertson and Whittaker.


title: Peristaltic pumping in thin, non-axisymmetric, annular tubes

abstract: Two-dimensional laminar flow of a viscous fluid induced by peristalsis due to a moving wall wave has been studied previously for a rectangular channel, a circular tube, and a concentric circular annulus. Here we study peristaltic flow in a non-axisymmetric annular tube, where the flow is three dimensional, with azimuthal motions. This geometry is motivated by experimental observations of cerebrospinal fluid flow along perivascular spaces (PVSs) surrounding arteries in the brain, which is at least partially driven by peristaltic pumping. These PVSs are well matched, in cross-section, by an adjustable model consisting of an inner circle (arterial wall) and an outer ellipse (outer edge of the PVS), not necessarily concentric. We use this model, which may have other applications, as a basis for numerical simulations of peristaltic flow. We use a finite-element scheme to compute the flow driven by a propagating sinusoidal radial displacement of the inner wall. Unlike peristaltic flow in a concentric circular annulus, the flow is fully three-dimensional, with streamlines wiggling in both the radial and axial directions. We examine the dependence of the flow on the elongation of the outer elliptical wall and on the eccentricity of the configuration. We find that time-averaged volumetric flow decreases with increasing ellipticity or eccentricity. Azimuthal pressure variations, caused by the wall wave, drive an oscillatory azimuthal flow in and out of the narrower gaps. The additional shearing motion in the azimuthal direction will enhance Taylor dispersion in these flows, an effect that might have practical applications.


title: Simple relativistic quark models

abstract: A class of phenomenological relativistic models of hadronic systems motivated by QCD that have dual representations as models of mesons and nucleons or quarks and gluons is investigated. These models are designed to provided qualitative insight into the role of sea quarks in hadronic structure and reactions. The model assumption is that the Hamiltonian can be divided into two parts; one that involves degrees of freedom in the same connected local and global color singlet and the remaining interactions that allow the connected local and global color singlets to interact. The first class of interactions results in infinite towers of bare "particles" with hadronic quantum numbers. All but a finite number of these remain stable when the second class of interactions is included. The model interactions are expressed in terms of sub-hadronic degrees of freedom, which determine the bare hadronic spectrum and the interactions involving the bare hadrons in terms of a small number of sub-hadronic model parameters. As a first test, this paper considers the simplest case of mesons that interact via a string-breaking interaction. One virtue of this model is that all of the bare meson masses and eigenfunctions can be computed analytically. In addition, the string breaking interaction leads to production vertices that can also be computed analytically. The relativistic wave functions have a light-front kinematic symmetry. The goal is to find a simple relativistic quantum mechanical model based on sub-hadronic degrees of freedom that can provide an efficient, qualitatively consistent description of hadronic masses, lifetimes, cross sections, sea quark effects, and electromagnetic properties. The simplicity of the model makes it a potentially useful tool to study the impact of sea quarks on hadronic structure and reactions.


title: Strangeonium-like hybrids on the lattice

abstract: The strangeonium-like $s\bar{s}g$ hybrids are investigated from lattice QCD in the quenched approximation. In the Coulomb gauge, spatially extended operators are constructed for $1^{--}$ and $(0,1,2)^{-+}$ states with the color octet $s\bar{s}$ component being separated from the chromomagnetic field strength by spatial distances $r$, whose matrix elements between the vacuum and the corresponding states are interpreted as Bethe-Salpeter (BS) wave functions. In each of the $(1,2)^{-+}$ channels, the masses and the BS wave functions are reliably derived. The $1^{-+}$ ground state mass is around 2.1-2.2 GeV, and that of $2^{-+}$ is around 2.3-2.4 GeV, while the masses of the first excited states are roughly 1.4 GeV higher. This mass splitting is much larger than the expectation of the phenomenological flux-tube model or constituent gluon model for hybrids, which is usually a few hundred MeV. The BS wave functions with respect to $r$ show clear radial nodal structures of non-relativistic two-body system, which imply that $r$ is a meaningful dynamical variable for these hybrids and motivate a color halo picture of hybrids that the color octet $s\bar{s}$ is surrounded by gluonic degrees of freedom. In the $1^{--}$ channel, the properties of the lowest two states comply with those of $\phi(1020)$ and $\phi(1680)$. We have not obtained convincing information relevant to $\phi(2170)$ yet, however, we argue that whether $\phi(2170)$ is a conventional $s\bar{s}$ meson or a $s\bar{s}g$ hybrid within the color halo scenario, the ratio of partial decay widths $\Gamma(\phi \eta)$ and $\Gamma (\phi \eta')$ observed by BESIII can be understood by the mechanism of hadronic transition of a strangeonium-like meson along with the $\eta-\eta'$ mixing.


title: Proton Bunch Self-Modulation in Plasma with Density Gradient

abstract: We study experimentally the effect of linear plasma density gradients on the self-modulation of a 400\,GeV proton bunch. Results show that a positive/negative gradient in/decreases the number of micro-bunches and the relative charge per micro-bunch observed after 10\,m of plasma. The measured modulation frequency also in/decreases. With the largest positive gradient we observe two frequencies in the modulation power spectrum. Results are consistent with changes in wakefields' phase velocity due to plasma density gradient adding to the slow wakefields' phase velocity during self-modulation growth predicted by linear theory.


title: Reliable Tuberculosis Detection using Chest X-ray with Deep Learning, Segmentation and Visualization

abstract: Tuberculosis (TB) is a chronic lung disease that occurs due to bacterial infection and is one of the top 10 leading causes of death. Accurate and early detection of TB is very important, otherwise, it could be life-threatening. In this work, we have detected TB reliably from the chest X-ray images using image pre-processing, data augmentation, image segmentation, and deep-learning classification techniques. Several public databases were used to create a database of 700 TB infected and 3500 normal chest X-ray images for this study. Nine different deep CNNs (ResNet18, ResNet50, ResNet101, ChexNet, InceptionV3, Vgg19, DenseNet201, SqueezeNet, and MobileNet), which were used for transfer learning from their pre-trained initial weights and trained, validated and tested for classifying TB and non-TB normal cases. Three different experiments were carried out in this work: segmentation of X-ray images using two different U-net models, classification using X-ray images, and segmented lung images. The accuracy, precision, sensitivity, F1-score, specificity in the detection of tuberculosis using X-ray images were 97.07 %, 97.34 %, 97.07 %, 97.14 % and 97.36 % respectively. However, segmented lungs for the classification outperformed than whole X-ray image-based classification and accuracy, precision, sensitivity, F1-score, specificity were 99.9 %, 99.91 %, 99.9 %, 99.9 %, and 99.52 % respectively. The paper also used a visualization technique to confirm that CNN learns dominantly from the segmented lung regions results in higher detection accuracy. The proposed method with state-of-the-art performance can be useful in the computer-aided faster diagnosis of tuberculosis.


title: Survey on Congestion Detection and Control in Connected Vehicles

abstract: The dynamic nature of vehicular ad hoc network (VANET) induced by frequent topology changes and node mobility, imposes critical challenges for vehicular communications. Aggravated by the high volume of information dissemination among vehicles over limited bandwidth, the topological dynamics of VANET causes congestion in the communication channel, which is the primary cause of problems such as message drop, delay, and degraded quality of service. To mitigate these problems, congestion detection, and control techniques are needed to be incorporated in a vehicular network. Congestion control approaches can be either open-loop or closed loop based on pre-congestion or post congestion strategies. We present a general architecture of vehicular communication in urban and highway environment as well as a state-of-the-art survey of recent congestion detection and control techniques. We also identify the drawbacks of existing approaches and classify them according to different hierarchical schemes. Through an extensive literature review, we recommend solution approaches and future directions for handling congestion in vehicular communications.


title: Transaction-level Model Simulator for Communication-Limited Accelerators

abstract: Rapid design space exploration in early design stage is critical to algorithm-architecture co-design for accelerators. In this work, a pre-RTL cycle-accurate accelerator simulator based on SystemC transaction-level modeling (TLM), AccTLMSim, is proposed for convolutional neural network (CNN) accelerators. The accelerator simulator keeps track of each bus transaction between accelerator and DRAM, taking into account the communication bandwidth. The simulation results are validated against the implementation results on the Xilinx Zynq. Using the proposed simulator, it is shown that the communication bandwidth is severely affected by DRAM latency and bus protocol overhead. In addition, the loop tiling is optimized to maximize the performance under the constraint of on-chip SRAM size. Furthermore, a new performance estimation model is proposed to speed up the design space exploration. Thanks to the proposed simulator and performance estimation model, it is possible to explore a design space of millions of architectural options within a few tens of minutes.


title: Deterministic Distributed Expander Decomposition and Routing with Applications in Distributed Derandomization

abstract: There is a recent exciting line of work in distributed graph algorithms in the $\mathsf{CONGEST}$ model that exploit expanders. All these algorithms so far are based on two tools: expander decomposition and expander routing. An $(\epsilon,\phi)$-expander decomposition removes $\epsilon$-fraction of the edges so that the remaining connected components have conductance at least $\phi$, i.e., they are $\phi$-expanders, and expander routing allows each vertex $v$ in a $\phi$-expander to very quickly exchange $\text{deg}(v)$ messages with any other vertices, not just its local neighbors. In this paper, we give the first efficient deterministic distributed algorithms for both tools. We show that an $(\epsilon,\phi)$-expander decomposition can be deterministically computed in $\text{poly}(\epsilon^{-1}) n^{o(1)}$ rounds for $\phi = \text{poly}(\epsilon) n^{-o(1)}$, and that expander routing can be performed deterministically in $\text{poly}(\phi^{-1})n^{o(1)}$ rounds. Both results match previous bounds of randomized algorithms by [Chang and Saranurak, PODC 2019] and [Ghaffari, Kuhn, and Su, PODC 2017] up to subpolynomial factors. Consequently, we derandomize existing distributed algorithms that exploit expanders. We show that a minimum spanning tree on $n^{o(1)}$-expanders can be constructed deterministically in $n^{o(1)}$ rounds, and triangle detection and enumeration on general graphs can be solved deterministically in $O(n^{0.58})$ and $n^{2/3 + o(1)}$ rounds, respectively. We also give the first polylogarithmic-round randomized algorithm for constructing an $(\epsilon,\phi)$-expander decomposition in $\text{poly}(\epsilon^{-1}, \log n)$ rounds for $\phi = 1 / \text{poly}(\epsilon^{-1}, \log n)$. The previous algorithm by [Chang and Saranurak, PODC 2019] needs $n^{\Omega(1)}$ rounds for any $\phi\ge 1/\text{poly}\log n$.


title: Volatile Sample Return in the Solar System

abstract: We advocate for the realization of volatile sample return from various destinations including: small bodies, the Moon, Mars, ocean worlds/satellites, and plumes. As part of recent mission studies (e.g., Comet Astrobiology Exploration SAmple Return (CAESAR) and Mars Sample Return), new concepts, technologies, and protocols have been considered for specific environments and cost. Here we provide a plan for volatile sample collection and identify the associated challenges with the environment, transit/storage, Earth re-entry, and curation. Laboratory and theoretical simulations are proposed to verify sample integrity during each mission phase. Sample collection mechanisms are evaluated for a given environment with consideration for alteration. Transport and curation are essential for sample return to maximize the science investment and ensure pristine samples for analysis upon return and after years of preservation. All aspects of a volatile sample return mission are driven by the science motivation: isotope fractionation, noble gases, organics and prebiotic species; plus planetary protection considerations for collection and for the sample. The science value of sample return missions has been clearly demonstrated by previous sample return programs and missions. Sample return of volatile material is key to understanding (exo)planet formation, evolution, and habitability. Returning planetary volatiles poses unique and potentially severe technical challenges. These include preventing changes to samples between (and including) collection and analyses, and meeting planetary protection requirements.


title: Bayesian Context Trees: Modelling and exact inference for discrete time series

abstract: We develop a new Bayesian modelling framework for the class of higher-order, variable-memory Markov chains, and introduce an associated collection of methodological tools for exact inference with discrete time series. We show that a version of the context tree weighting algorithm can compute the prior predictive likelihood exactly (averaged over both models and parameters), and two related algorithms are introduced, which identify the a posteriori most likely models and compute their exact posterior probabilities. All three algorithms are deterministic and have linear-time complexity. A family of variable-dimension Markov chain Monte Carlo samplers is also provided, facilitating further exploration of the posterior. The performance of the proposed methods in model selection, Markov order estimation and prediction is illustrated through simulation experiments and real-world applications with data from finance, genetics, neuroscience, and animal communication. The associated algorithms are implemented in the R package BCT.


title: Tutorial Review of Mixing in a Rotating Soft Microchannel under Electrical Double Layer Effect: A Variational Calculus Approach

abstract: We study the effect of the grafted polyelectrolyte layer on the flow dynamics, and its consequences on underlying mixing in the rotating microfluidic channel. For this analysis, the method used by Sadeghi et al. (J. Fluid Mech., vol. 887, 2020, pp. A13; Phys. Rev. Fluids., vol. 4 (6), 2019, 063701-23), is modified by incorporating the non-linear effect stemming from the polyelectrolyte layer induced electrostatics to solve the coupled system of equations, integrated with the non-homogeneous boundary conditions. This method is used to obtain the velocity distribution in the asymptotic limit of geostrophic plug flow under the framework of variational calculus approach. We analyze the mixing dynamics from the perspective of both qualitative assessment and quantitative evaluation. For the qualitative estimation, we focus on the Poincar\'e map analysis, while the entropy of mixing approach is used for the mixing quantification. Results show that the grafted polyelectrolyte layer in contact with the ionic solution leads to the development of an electrical double layer, which upon interacting with the external electric field, strengthens the electroosmotic pumping in the fluidic channel. Such polyelectrolyte layer modulated strong electroosmotic pumping together with its intrinsic feature of offering a frictional drag to the underlying transport helps to modulate the primary as well as the secondary flows in the channel under the influence of rotational forces. With an alteration in the electroosmotic pumping and frictional drag force, tuneable through the thickness of the grafted polyelectrolyte layer, we obtain different types of secondary flow vortex configurations viz., a standard double-vortex, dumbbell-shaped vortex and the transition state between the formers. A significant change in the structure and strengths of these vortices modulates the chaotic mixing in the present configuration


title: Linear Attention Mechanism: An Efficient Attention for Semantic Segmentation

abstract: In this paper, to remedy this deficiency, we propose a Linear Attention Mechanism which is approximate to dot-product attention with much less memory and computational costs. The efficient design makes the incorporation between attention mechanisms and neural networks more flexible and versatile. Experiments conducted on semantic segmentation demonstrated the effectiveness of linear attention mechanism. Code is available at https://github.com/lironui/Linear-Attention-Mechanism.


title: EOSFuzzer: Fuzzing EOSIO Smart Contracts for Vulnerability Detection

abstract: EOSIO is one typical public blockchain platform. It is scalable in terms of transaction speeds and has a growing ecosystem supporting smart contracts and decentralized applications. However, the vulnerabilities within the EOSIO smart contracts have led to serious attacks, which caused serious financial loss to its end users. In this work, we systematically analyzed three typical EOSIO smart contract vulnerabilities and their related attacks. Then we presented EOSFuzzer, a general black-box fuzzing framework to detect vulnerabilities within EOSIO smart contracts. In particular, EOSFuzzer proposed effective attacking scenarios and test oracles for EOSIO smart contract fuzzing. Our fuzzing experiment on 3963 EOSIO smart contracts shows that EOSFuzzer is both effective and efficient to detect EOSIO smart contract vulnerabilities with high accuracy.


title: Sub-TeV Singlet Scalar Dark Matter and Electroweak Vacuum Stability with Vector Like Fermions

abstract: We study a scalar singlet dark matter (DM) having mass in sub-TeV regime by extending the minimal scalar singlet DM setup by additional vector like fermions. While the minimal scalar singlet DM satisfies the relic and direct detection constraints for mass beyond TeV only, presence of its portal coupling with vector like fermions opens up additional co-annihilation channels. These vector like fermions also help in achieving electroweak vacuum stability all the way up to Planck scale. We find that for one generation of vector like quarks consisting of a $SU(2)_L$ doublet and a singlet, scalar singlet DM with mass a few hundred GeV can indeed satisfy relic, direct detection and other relevant constraints while also making the electroweak vacuum absolutely stable. The same can be achieved by introducing vector like leptons too, but with three generations. While the model with vector like quarks is minimal, the three generations of vector like lepton doublet and neutral singlet can also give rise to light neutrino mass at one loop level.


title: Retention of Long-Period Gas Giant Planets: Type II Migration Revisited

abstract: During their formation, emerging protoplanets tidally interact with their natal disks. Proto-gas-giant planets, with Hills radius larger than the disk thickness, open gaps and quench gas flow in the vicinity of their orbits. It is usually assumed that their type II migration is coupled to the viscous evolution of the disk. Although this hypothesis provides an explanation for the origin of close-in planets, it also encounter predicament on the retention of long-period orbits for most gas giant planets. Moreover, numerical simulations indicate that planets migrations are not solely determined by the viscous diffusion of their natal disk. Here we carry out a series of hydrodynamic simulations combined with analytic studies to examine the transition between different paradigms of type II migration. We find a range of planetary mass for which gas continues to flow through a severely depleted gap so that the surface density distribution in the disk region beyond the gap is maintained in a quasi-steady state. The associated gap profile modifies the location of corotation \& Lindblad resonances. In the proximity of the planet's orbit, high-order Lindblad \& corotation torque are weakened by the gas depletion in the gap while low-order Lindblad torques near the gap walls preserves their magnitude. Consequently, the intrinsic surface density distribution of the disk determines delicately both pace and direction of planets' type II migration. We show that this effect might stall the inward migration of giant planets and preserve them in disk regions where the surface density is steep.


title: Fantastic Embeddings and How to Align Them: Zero-Shot Inference in a Multi-Shop Scenario

abstract: This paper addresses the challenge of leveraging multiple embedding spaces for multi-shop personalization, proving that zero-shot inference is possible by transferring shopping intent from one website to another without manual intervention. We detail a machine learning pipeline to train and optimize embeddings within shops first, and support the quantitative findings with additional qualitative insights. We then turn to the harder task of using learned embeddings across shops: if products from different shops live in the same vector space, user intent - as represented by regions in this space - can then be transferred in a zero-shot fashion across websites. We propose and benchmark unsupervised and supervised methods to "travel" between embedding spaces, each with its own assumptions on data quantity and quality. We show that zero-shot personalization is indeed possible at scale by testing the shared embedding space with two downstream tasks, event prediction and type-ahead suggestions. Finally, we curate a cross-shop anonymized embeddings dataset to foster an inclusive discussion of this important business scenario.


title: Norm-attaining lattice homomorphisms

abstract: In this paper we study the structure of the set $\mbox{Hom}(X,\mathbb{R})$ of all lattice homomorphisms from a Banach lattice $X$ into $\mathbb{R}$. Using the relation among lattice homomorphisms and disjoint families, we prove that the topological dual of the free Banach lattice $FBL(A)$ generated by a set $A$ contains a disjoint family of cardinality $2^{|A|}$, answering a question of B. de Pagter and A.W. Wickstead. We also deal with norm-attaining lattice homomorphisms. For classical Banach lattices, as $c_0$, $L_p$-, and $C(K)$-spaces, every lattice homomorphism on it attains its norm, which shows, in particular, that there is no James theorem for this class of functions. We prove that, indeed, every lattice homomorphism on $X$ and $C(K,X)$ attains its norm whenever $X$ has order continuous norm. On the other hand, we provide what seems to be the first example in the literature of a lattice homomorphism which does not attain its norm. In general, we study the existence and characterization of lattice homomorphisms not attaining their norm in free Banach lattices. As a consequence, it is shown that no Bishop-Phelps type theorem holds true in the Banach lattice setting, i.e. not every lattice homomorphism can be approximated by norm-attaining lattice homomorphisms.


title: Neutrinoless Double-Electron Capture

abstract: Double-beta processes play a key role in the exploration of neutrino and weak interaction properties, and in the searches for effects beyond the Standard Model. During the last half century many attempts were undertaken to search for double-beta decay with emission of two electrons, especially for its neutrinoless mode ($0\nu2\beta^-$), the latter being still not observed. Double-electron capture (2EC) was not in focus so far because of its in general lower transition probability. However, the rate of neutrinoless double-electron capture ($0\nu2$EC) can experience a resonance enhancement by many orders of magnitude in case the initial and final states are energetically degenerate. In the resonant case, the sensitivity of the $0\nu2$EC process can approach the sensitivity of the $0\nu2\beta^-$ decay in the search for the Majorana mass of neutrinos, right-handed currents, and other new physics. We present an overview of the main experimental and theoretical results obtained during the last decade in this field. The experimental part outlines search results of 2EC processes and measurements of the decay energies for possible resonant $0\nu$2EC transitions. An unprecedented precision in the determination of decay energies with Penning traps has allowed one to refine the values of the degeneracy parameter for all previously known near-resonant decays and has reduced the rather large uncertainties in the estimate of the $0\nu2$EC half-lives. The theoretical part contains an updated analysis of the electron shell effects and an overview of the nuclear structure models, in which the nuclear matrix elements of the $0\nu2$EC decays are calculated. One can conclude that the decay probability of $0\nu$2EC can experience a significant enhancement in several nuclides.


title: Epistemic Horizons: This Sentence is $\frac{1}{\sqrt{2}}(|True\rangle + |False\rangle)$

abstract: In [Found. Phys. 48.12 (2018): 1669], the notion of 'epistemic horizon' was introduced as an explanation for many of the puzzling features of quantum mechanics. There, it was shown that Lawvere's theorem, which forms the categorical backdrop to phenomena such as G\"odelian incompleteness, Turing undecidability, Russell's paradox and others, applied to a measurement context, yields bounds on the maximum knowledge that can be obtained about a system, which produces many paradigmatically quantum phenomena. We give a brief presentation of the framework, and then demonstrate how it naturally yields Bell inequality violations. We then study the argument due to Einstein, Podolsky, and Rosen, and show how the counterfactual inference needed to conclude the incompleteness of the quantum formalism is barred by the epistemic horizon. Similarly, the paradoxes due to Hardy and Frauchiger-Renner are discussed, and found to turn on an inconsistent combination of information from incompatible contexts.


title: A Survey on Disaster: Understanding the After-effects of Super-cyclone Amphan and Helping Hand of Social Media

abstract: The super-cyclonic storm "Amphan" hit Eastern India, specifically the state of West Bengal, Odisha and parts of Bangladesh in May 2020, and caused severe damage to the regions. In this study, we aim to understand the self-reported effects of this natural disaster on residents of the state of West Bengal. To that end, we conducted an online survey to understand the effects of the cyclone. In total, 201 participants (spanning five districts) from the worst-affected state of West Bengal participated in the survey. This report describes our findings from the survey, with respect to the damages caused by the cyclone, how it affected the population in various districts of West Bengal, and how prepared the authorities were in responding to the disaster. We found that the participants were most adversely affected in this disaster due to disruption of services like electricity, phone and internet (as opposed to uprooting of trees and water-logging). Furthermore, we found that receiving responses to Amphan-related queries is highly positively correlated with the favorable perception of people about preparedness of authorities. Additionally, we study the usage of online social media by the affected population in the days immediately after the disaster. Our results strongly suggest how social media platforms can help authorities to better prepare for future disasters. In summary, our study analyzes self-reported data collected from grassroots, and brings out several key insights that can help authorities deal better with disaster events in future.


title: Existence Theorems for Regular Spatially Periodic Solutions to the Navier-Stokes Equations

abstract: We consider the initial value problem for the Navier-Stokes equations over $R^{3} \times [0,T]$ with a positive time $T$ in the spatially periodic setting. Identifying periodic vector-valued functions on $R^{3}$ with functions on the three-dimensional torus $T^{3}$, we prove that the problem induces an open both injective and surjective mapping of specially constructed function spaces of Bochner-Sobolev type. This gives a uniqueness and existence theorem for regular solutions to the Navier-Stokes equations. Our techniques consist in proving the closedness of the image by estimating all possible divergent sequences in the preimage and matching the asymptotics.


title: Magnetic and ferroelectric properties of Sr$_{1-x}$Ba$_{x}$MnO$_3$ from first principles

abstract: Density functional theory (DFT) calculations are used to study the magnetic and ferroelectric properties of Sr$_{1-x}$Ba$_{x}$MnO$_3$, with focus on $x=0.5$, under isotropic volume expansion/compression and biaxial strain. Our results indicate that, unexpectedly, Ba substitution alters the electronic structure in a way that, at fixed lattice parameter, notably enhances the interatomic magnetic exchange interactions. However, increasing Ba-content also causes a volume expansion which tends to weaken these interactions, leading to a net effect of weakly suppressed magnetism, as observed in experiments. The ferroelectric properties, on the other hand, are found to be less affected by changes in the electronic structure and can largely be understood in terms of the volume expansion caused by Ba-substitution. The calculated electric polarization as a function of biaxial strain in Sr$_{1-x}$Ba$_{x}$MnO$_3$ for $x=0$ and $x=0.5$, shows that the difference between the two is mainly due to differences in the magnetic order at certain strain values, accompanied by enormous magnetoelectric coupling.


title: Dynamic Character Graph via Online Face Clustering for Movie Analysis

abstract: An effective approach to automated movie content analysis involves building a network (graph) of its characters. Existing work usually builds a static character graph to summarize the content using metadata, scripts or manual annotations. We propose an unsupervised approach to building a dynamic character graph that captures the temporal evolution of character interaction. We refer to this as the character interaction graph(CIG). Our approach has two components:(i) an online face clustering algorithm that discovers the characters in the video stream as they appear, and (ii) simultaneous creation of a CIG using the temporal dynamics of the resulting clusters. We demonstrate the usefulness of the CIG for two movie analysis tasks: narrative structure (acts) segmentation, and major character retrieval. Our evaluation on full-length movies containing more than 5000 face tracks shows that the proposed approach achieves superior performance for both the tasks.


title: A Review on Environmental Barrier Coatings: History, Current State of the Art and Future Developments

abstract: The increasing demand for more efficient and environmental-friendly gas turbines has driven the development of new strategies for material development. SiC/SiC ceramic matrix composites (CMCs) can fulfil the stringent requirements; however, they require protection from the operating environment and debris ingested during operation. Environmental barrier coatings (EBCs) are a protective measure to enable the CMCs to operate under harsh conditions. EBC-coated CMCs will enable an increased efficiency and reduced pollutant and CO2 emissions. In this review, the fundamentals of SiC/SiC ceramic matrix composites degradation in steam environments and under the presence of molten alkali salts, namely CaO-MgO-Al2O3-SiO2 (CMAS), are first presented. Then, a summary of EBCs along with a comprehensive summary of the current compositions and their interactions with steam and molten salts is presented. Finally, an overview of the latest research directions for the potential next generation of EBCs are outlined


title: Secure Computation Framework for Multiple Data Providers Against Malicious Adversaries

abstract: Due to the great development of secure multi-party computation, many practical secure computation schemes have been proposed. As an example, different secure auction mechanisms have been widely studied, which can protect bid privacy while satisfying various economic properties. However, as far as we know, none of them solve the secure computation problems for multiple data providers (e.g., secure cloud resource auctions) in the malicious security model. In this paper, we use the techniques of cut-and-choose and garbled circuits to propose a general secure computation framework for multiple data providers against malicious adversaries. Specifically, our framework checks input consistency with the cut-and-choose paradigm, conducts maliciously secure computations by running two independent garbled circuits, and verifies the correctness of output by comparing two versions of outputs. Theoretical analysis shows that our framework is secure against a malicious computation party, or a subset of malicious data providers. Taking secure cloud resource auctions as an example, we implement our framework. Extensive experimental evaluations show that the performance of the proposed framework is acceptable in practice.


title: Boardroom Voting: Verifiable Voting with Ballot Privacy Using Low-Tech Cryptography in a Single Room

abstract: A boardroom election is an election that takes place in a single room -- the boardroom -- in which all voters can see and hear each other. We present an initial exploration of boardroom elections with ballot privacy and voter verifiability that use only "low-tech cryptography" without using computers to mark or collect ballots. Specifically, we define the problem, introduce several building blocks, and propose a new protocol that combines these blocks in novel ways. Our new building blocks include "foldable ballots" that can be rotated to hide the alignment of ballot choices with voting marks, and "visual secrets" that are easy to remember and use but hard to describe. Although closely seated participants in a boardroom election have limited privacy, the protocol ensures that no one can determine how others voted. Moreover, each voter can verify that their ballot was correctly cast, collected, and counted, without being able to prove how they voted, providing assurance against undue influence. Low-tech cryptography is useful in situations where constituents do not trust computer technology, and it avoids the complex auditing requirements of end-to-end cryptographic voting systems such as Pr\^{e}t-\`{a}-Voter. This paper's building blocks and protocol are meant to be a proof of concept that might be tested for usability and improved.


title: Compressing Deep Neural Networks via Layer Fusion

abstract: This paper proposes \textit{layer fusion} - a model compression technique that discovers which weights to combine and then fuses weights of similar fully-connected, convolutional and attention layers. Layer fusion can significantly reduce the number of layers of the original network with little additional computation overhead, while maintaining competitive performance. From experiments on CIFAR-10, we find that various deep convolution neural networks can remain within 2\% accuracy points of the original networks up to a compression ratio of 3.33 when iteratively retrained with layer fusion. For experiments on the WikiText-2 language modelling dataset where pretrained transformer models are used, we achieve compression that leads to a network that is 20\% of its original size while being within 5 perplexity points of the original network. We also find that other well-established compression techniques can achieve competitive performance when compared to their original networks given a sufficient number of retraining steps. Generally, we observe a clear inflection point in performance as the amount of compression increases, suggesting a bound on the amount of compression that can be achieved before an exponential degradation in performance.


title: Force myography benchmark data for hand gesture recognition and transfer learning

abstract: Force myography has recently gained increasing attention for hand gesture recognition tasks. However, there is a lack of publicly available benchmark data, with most existing studies collecting their own data often with custom hardware and for varying sets of gestures. This limits the ability to compare various algorithms, as well as the possibility for research to be done without first needing to collect data oneself. We contribute to the advancement of this field by making accessible a benchmark dataset collected using a commercially available sensor setup from 20 persons covering 18 unique gestures, in the hope of allowing further comparison of results as well as easier entry into this field of research. We illustrate one use-case for such data, showing how we can improve gesture recognition accuracy by utilising transfer learning to incorporate data from multiple other persons. This also illustrates that the dataset can serve as a benchmark dataset to facilitate research on transfer learning algorithms.


title: Error Correction Codes for COVID-19 Virus and Antibody Testing: Using Pooled Testing to Increase Test Reliability

abstract: We consider a novel method to increase the reliability of COVID-19 virus or antibody tests by using specially designed pooled testings. Instead of testing nasal swab or blood samples from individual persons, we propose to test mixtures of samples from many individuals. The pooled sample testing method proposed in this paper also serves a different purpose: for increasing test reliability and providing accurate diagnoses even if the tests themselves are not very accurate. Our method uses ideas from compressed sensing and error-correction coding to correct for a certain number of errors in the test results. The intuition is that when each individual's sample is part of many pooled sample mixtures, the test results from all of the sample mixtures contain redundant information about each individual's diagnosis, which can be exploited to automatically correct for wrong test results in exactly the same way that error correction codes correct errors introduced in noisy communication channels. While such redundancy can also be achieved by simply testing each individual's sample multiple times, we present simulations and theoretical arguments that show that our method is significantly more efficient in increasing diagnostic accuracy. In contrast to group testing and compressed sensing which aim to reduce the number of required tests, this proposed error correction code idea purposefully uses pooled testing to increase test accuracy, and works not only in the "undersampling" regime, but also in the "oversampling" regime, where the number of tests is bigger than the number of subjects. The results in this paper run against traditional beliefs that, "even though pooled testing increased test capacity, pooled testings were less reliable than testing individuals separately."


abstract: Feature selection is a data mining task with the potential of speeding up classification algorithms, enhancing model comprehensibility, and improving learning accuracy. However, finding a subset of features that is optimal in terms of predictive accuracy is usually computationally intractable. Out of several heuristic approaches to dealing with this problem, the Recursive Feature Elimination (RFE) algorithm has received considerable interest from data mining practitioners. In this paper, we propose two novel algorithms inspired by RFE, called Fibonacci- and k-Subsecting Recursive Feature Elimination, which remove features in logarithmic steps, probing the wrapped classifier more densely for the more promising feature subsets. The proposed algorithms are experimentally compared against RFE on 28 highly multidimensional datasets and evaluated in a practical case study involving 3D electron density maps from the Protein Data Bank. The results show that Fibonacci and k-Subsecting Recursive Feature Elimination are capable of selecting a smaller subset of features much faster than standard RFE, while achieving comparable predictive performance.


title: Two Dimensional $\left( \alpha,\beta \right) $-Constacyclic Codes of arbitrary length over a Finite Field

abstract: In this paper we characterize the algebraic structure of two-dimensional $(\alpha,\beta )$-constacyclic codes of arbitrary length $s.\ell$ and of their duals. For $\alpha,\beta \in \{1,-1\}$, we give necessary and sufficient conditions for a two-dimensional $(\alpha,\beta )$-constacyclic code to be self-dual. We also show that a two-dimensional $(\alpha,1 )$-constacyclic code $\mathcal{C}$ of length $n=s.\ell$ can not be self-dual if $\gcd(s,q)= 1$. Finally, we give some examples of self-dual, isodual, MDS and quasi-twisted codes corresponding to two-dimensional $(\alpha,\beta )$-constacyclic codes.


title: Structural representations of DNA regulatory substrates can enhance sequence-based algorithms by associating functional sequence variants

abstract: The nucleotide sequence representation of DNA can be inadequate for resolving protein-DNA binding sites and regulatory substrates, such as those involved in gene expression and horizontal gene transfer. Considering that sequence-like representations are algorithmically very useful, here we fused over 60 currently available DNA physicochemical and conformational variables into compact structural representations that can encode single DNA binding sites to whole regulatory regions. We find that the main structural components reflect key properties of protein-DNA interactions and can be condensed to the amount of information found in a single nucleotide position. The most accurate structural representations compress functional DNA sequence variants by 30% to 50%, as each instance encodes from tens to thousands of sequences. We show that a structural distance function discriminates among groups of DNA substrates more accurately than nucleotide sequence-based metrics. As this opens up a variety of implementation possibilities, we develop and test a distance-based alignment algorithm, demonstrating the potential of using the structural representations to enhance sequence-based algorithms. Due to the bias of most current bioinformatic methods to nucleotide sequence representations, it is possible that considerable performance increases might still be achievable with such solutions.


title: Novel subbands in the doped two-orbital Kanamori-Hubbard model

abstract: We calculate and resolve with unprecedented detail the local density of states (DOS) and momentum-dependent spectral functions at zero temperature of one of the key models for strongly correlated electron materials, the degenerate two-orbital Kanamori-Hubbard model, by means of a highly optimized Dynamical Mean Field Theory which uses the Density Matrix Renormalization Group as the impurity solver. When the system is hole doped, and in the presence of a finite interorbital Coulomb interaction we find the emergence of a novel holon-doublon in-gap subband which is split by the Hund's coupling. We also observe new interesting features in the DOS like the splitting of the lower Hubbard band into a coherent narrowly dispersing peak around the Fermi energy, and another subband which evolves with the chemical potential. We characterize the main transitions giving rise to each subband by calculating the response functions of specific projected operators and comparing with the energies in the atomic limit, obtaining excellent agreement. The detailed results for the spectral functions found in this work pave the way to study with great precision the microscopic quantum behavior in correlated materials.


title: Stieltjes moment properties and continued fractions from combinatorial triangles

abstract: Many combinatorial numbers can be placed in the following generalized triangular array $[T_{n,k}]_{n,k\ge 0}$ satisfying the recurrence relation: \begin{equation*} T_{n,k}=\lambda(a_0n+a_1k+a_2)T_{n-1,k}+(b_0n+b_1k+b_2)T_{n-1,k-1}+\frac{d(da_1-b_1)}{\lambda}(n-k+1)T_{n-1,k-2} \end{equation*} with $T_{0,0}=1$ and $T_{n,k}=0$ unless $0\le k\le n$ for suitable $a_0,a_1,a_2,b_0,b_1,b_2,d$ and $\lambda$. For $n\geq0$, denote by $T_n(q)$ the generating function of the $n$-th row. In this paper, we develop various criteria for $\textbf{x}$-Stieltjes moment property and $3$-$\textbf{x}$-log-convexity of $T_n(q)$ based on the Jacobi continued fraction expression of $\sum_{n\geq0}T_n(q)t^n$, where $\textbf{x}$ is a set of indeterminates consisting of $q$ and those parameters occurring in the recurrence relation. With the help of a criterion of Wang and Zhu [Adv. in Appl. Math. (2016)], we show that the corresponding linear transformation of $T_{n,k}$ preserves Stieltjes moment properties of sequences. Finally, we present some related examples including factorial numbers, Whitney numbers, Stirling permutations, minimax trees and peak statistics.


title: Slice regular functions in several variables

abstract: In this paper, we lay the foundations of the theory of slice regular functions in several variables ranging in any real alternative $^*$-algebra, including quaternions, octonions and Clifford algebras. This theory is an extension of the classical theory of holomorphic functions in several complex variables.


title: Healthcare Utilization and Perceived Health Status from Falun Gong Practitioners in Taiwan: A Pilot SF-36 Survey

abstract: Objective: Falun Gong (FLG) is a practice of mind and body focusing on moral character improvement along with meditative exercises. This 2002 pilot study explored perceived health status, medical resource utilization and related factors among Taiwanese FLG practitioners, compared to the general Taiwanese norm estimated by the 2001 National Health Interview Survey (NHIS). Methods: This cross-sectional, observational study was based on a voluntary, paper-based survey conducted from October 2002 to February 2003 using the same Taiwanese SF-36 instrument employed by the NHIS. Primary outcomes included eight SF-36 domain scores and the number of medical visits. One-sample t-tests, one-way ANOVA and multivariate linear regression analyses were performed. Results: The response rate was 75.6% (1,210/1,600). Compared to the norm, the study cohort had significantly higher scores in six of eight SF-36 domains across gender and age (p<0.05). Among those with chronic diseases, 70% to 89% reported their conditions either improved or cured. 74.2%, 79.2%, 83.3%, and 85.6% quitted alcohol drinking, smoking, chewing betel nuts, and gambling. 62.7% reported a reduced number of medical visits (mean=13.53 before; mean=5.87 after). Conclusions: In this subject cohort, practicing FLG led to higher perceived health scores and reduced health resource utilization compared to the norm.


title: On explicit $L^2$-convergence rate estimate for piecewise deterministic Markov processes in MCMC algorithms

abstract: We establish $L^2$-exponential convergence rate for three popular piecewise deterministic Markov processes for sampling: the randomized Hamiltonian Monte Carlo method, the zigzag process, and the bouncy particle sampler. Our analysis is based on a variational framework for hypocoercivity, which combines a Poincar\'{e}-type inequality in time-augmented state space and a standard $L^2$ energy estimate. Our analysis provides explicit convergence rate estimates, which are more quantitative than existing results.


title: A Development Cycle for Automated Self-Exploration of Robot Behaviors

abstract: In this paper we introduce Q-Rock, a development cycle for the automated self-exploration and qualification of robot behaviors. With Q-Rock, we suggest a novel, integrative approach to automate robot development processes. Q-Rock combines several machine learning and reasoning techniques to deal with the increasing complexity in the design of robotic systems. The Q-Rock development cycle consists of three complementary processes: (1) automated exploration of capabilities that a given robotic hardware provides, (2) classification and semantic annotation of these capabilities to generate more complex behaviors, and (3) mapping between application requirements and available behaviors. These processes are based on a graph-based representation of a robot's structure, including hardware and software components. A central, scalable knowledge base enables collaboration of robot designers including mechanical, electrical and systems engineers, software developers and machine learning experts. In this paper we formalize Q-Rock's integrative development cycle and highlight its benefits with a proof-of-concept implementation and a use case demonstration.


title: Big pure mapping class groups are never perfect

abstract: We show that the closure of the compactly supported mapping class group of an infinite type surface is not perfect and that its abelianization contains a direct summand isomorphic to an uncountable direct sum of rationals. We also extend this to the Torelli group and show that in the case of surfaces with infinite genus the abelianization of the Torelli group contains an indivisible copy of an uncountable free abelian group as well. Finally we give an application to the question of automatic continuity by exhibiting discontinuous homomorphisms to the rationals.


title: Robbins and Ardila meet Berstel

abstract: In 1996, Neville Robbins proved the amazing fact that the coefficient of $X^n$ in the Fibonacci infinite product $$ \prod_{n \geq 2} (1-X^{F_n}) = (1-X)(1-X^2)(1-X^3)(1-X^5)(1-X^8) \cdots = 1-X-X^2+X^4 + \cdots$$ is always either $-1$, $0$, or $1$. The same result was proved later by Federico Ardila using a different method. Meanwhile, in 2001, Jean Berstel gave a simple 4-state transducer that converts an "illegal" Fibonacci representation into a "legal" one. We show how to obtain the Robbins-Ardila result from Berstel's with almost no work at all, using purely computational techniques that can be performed by existing software.


title: A GPU based multidimensional amplitude analysis to search for tetraquark candidates

abstract: The demand for computational resources is steadily increasing in experimental high energy physics as the current collider experiments continue to accumulate huge amounts of data and physicists indulge in more complex and ambitious analysis strategies. This is especially true in the fields of hadron spectroscopy and flavour physics where the analyses often depend on complex multidimensional unbinned maximum-likelihood fits, with several dozens of free parameters, with an aim to study the internal structure of hadrons. Graphics processing units (GPUs) represent one of the most sophisticated and versatile parallel computing architectures that are becoming popular toolkits for high energy physicists to meet their computational demands. GooFit is an upcoming open-source tool interfacing ROOT/RooFit to the CUDA platform on NVIDIA GPUs that acts as a bridge between the MINUIT minimization algorithm and a parallel processor, allowing probability density functions to be estimated on multiple cores simultaneously. In this article, a full-fledged amplitude analysis framework developed using GooFit is tested for its speed and reliability. The four-dimensional fitter framework, one of the firsts of its kind to be built on GooFit, is geared towards the search for exotic tetraquark states in the $B^0 \rightarrow J/\psi K \pi$ decays and can also be seamlessly adapted for other similar analyses. The GooFit fitter, running on GPUs, shows a remarkable improvement in the computing speed compared to a ROOT/RooFit implementation of the same analysis running on multi-core CPU clusters. Furthermore, it shows sensitivity to components with small contributions to the overall fit. It has the potential to be a powerful tool for sensitive and computationally intensive physics analyses.


title: Corner charge and bulk multipole moment in periodic systems

abstract: A formula for the corner charge in terms of the bulk quadrupole moment is derived for two-dimensional periodic systems. This is an analog of the formula for the surface charge density in terms of the bulk polarization. In the presence of an $n$-fold rotation symmetry with $n=3$, $4$, and $6$, the quadrupole moment is quantized and is independent of the spread or shape of Wannier orbitals, depending only on the location of Wannier centers of filled bands. In this case, our formula predicts the fractional part of the quadrupole moment purely from the bulk property. The system can contain many-body interactions as long as the ground state is gapped and topologically trivial in the sense it is smoothly connected to a product state limit. An extension of these results to three-dimensional systems is also discussed. In three dimensions, in general, even the fractional part of the corner charge is not fully predictable from the bulk perspective even in the presence of point group symmetry.

categories: cond-mat.str-el cond-mat.mes-hall cond-mat.other cond-mat.stat-mech


title: OpenSBLI: Automated code-generation for heterogeneous computing architectures applied to compressible fluid dynamics on structured grids

abstract: OpenSBLI is an open-source code-generation system for compressible fluid dynamics (CFD) on heterogeneous computing architectures. Written in Python, OpenSBLI is an explicit high-order finite-difference solver on structured curvilinear meshes. Shock-capturing is performed by a choice of high-order Weighted Essentially Non-Oscillatory (WENO) or Targeted Essentially Non-Oscillatory (TENO) schemes. OpenSBLI generates a complete CFD solver in the Oxford Parallel Structured (OPS) domain specific language. The OPS library is embedded in C code, enabling massively-parallel execution of the code on a variety of high-performance-computing architectures, including GPUs. The present paper presents a code base that has been completely rewritten from the earlier proof of concept (Jacobs et al, JoCS 18 (2017), 12-23), allowing shock capturing, coordinate transformations for complex geometries, and a wide range of boundary conditions, including solid walls with and without heat transfer. A suite of validation and verification cases are presented, plus demonstration of a large-scale Direct Numerical Simulation (DNS) of a transitional Shockwave Boundary Layer Interaction (SBLI). The code is shown to have good weak and strong scaling on multi-GPU clusters. We demonstrate that code-generation and domain specific languages are suitable for performing efficient large-scale simulations of complex fluid flows on emerging computing architectures.


title: All-optical nonreciprocity due to valley polarization in transition metal dichalcogenides

abstract: Nonreciprocity and nonreciprocal optical devices play a vital role in modern photonic technologies by enforcing one-way propagation of light. Most nonreciprocal devices today are made from a special class of low-loss ferrites that exhibit a magneto-optical response in the presence of an external static magnetic field. While breaking transmission symmetry, ferrites fail to satisfy the need for miniaturization of photonic circuitry due to weak character of nonreciprocal responses at optical wavelengths and are not easy to integrate into on-chip photonic systems. These challenges led to the emergence of magnetic-free approaches relying on breaking time reversal symmetry, e.g. with nonlinear effects modulating optical system in time. Here, we demonstrate an all-optical approach to nonreciprocity based on nonlinear valley-selective response in transition metal dichalcogenides (TMDs). This approach overcomes the limitations of magnetic materials and it does not require an external magnetic field. We provide experimental evidence of photoinduced nonreciprocity in a monolayer WS2 pumped by circularly polarized light. Nonreciprocity stems from valley-selective exciton-exciton interactions, giving rise to nonlinear circular dichroism controlled by circularly polarized pump fields. Our experimental results reveal a significant effect even at room temperature, despite considerable intervalley-scattering, showing potential for practical applications in magnetic-free nonreciprocal platforms. As an example, we propose a device scheme to realize an optical isolator based on a pass-through silicon nitride (SiN) ring resonator integrating the optically biased TMD monolayer.


title: Some integral formulae on weighted manifolds

abstract: Introducing a notion of the weighted mean sigma-r curvature and using the weighted Newton transformations we derive in this paper some integral formulae on weighted manifolds. These formulae generalize the flux formula and some of its examples of applications obtained by Alias, de Lira and Malacarne [3].


title: #Brexit: Leave or Remain? The Role of User's Community and Diachronic Evolution on Stance Detection

abstract: Interest has grown around the classification of stance that users assume within online debates in recent years. Stance has been usually addressed by considering users posts in isolation, while social studies highlight that social communities may contribute to influence users' opinion. Furthermore, stance should be studied in a diachronic perspective, since it could help to shed light on users' opinion shift dynamics that can be recorded during the debate. We analyzed the political discussion in UK about the BREXIT referendum on Twitter, proposing a novel approach and annotation schema for stance detection, with the main aim of investigating the role of features related to social network community and diachronic stance evolution. Classification experiments show that such features provide very useful clues for detecting stance.


title: Learning Video Representations from Textual Web Supervision

abstract: Videos on the Internet are paired with pieces of text, such as titles and descriptions. This text typically describes the most important content in the video, such as the objects in the scene and the actions being performed. Based on this observation, we propose to use text as a method for learning video representations. To accomplish this, we propose a data collection process and use it to collect 70M video clips shared publicly on the Internet, and we then train a model to pair each video with its associated text. We evaluate the model on several down-stream action recognition tasks, including Kinetics, HMDB-51, and UCF-101. We find that this approach is an effective method of pre-training video representations. Specifically, it outperforms all existing methods for self-supervised and cross-modal video representation learning.


title: Cache-enabled HetNets with Limited Backhaul: A Stochastic Geometry Model

abstract: With the rapid explosion of data volume from mobile networks, edge caching has received significant attentions as an efficient approach to boost content delivery efficiency by bringing contents near users. In this article, cache-enabled heterogeneous networks (HetNets) considering the limited backhaul is analyzed with the aid of the stochastic geometry approach. A hybrid caching policy, in which the most popular contents are cached in the macro BSs tier with the deterministic caching strategy and the less popular contents are cached in the helpers tier with the probabilistic caching strategy, is proposed. Correspondingly, the content-centric association strategy is designed based on the comprehensive state of the access link, the cache and the backhaul link. Under the hybrid caching policy, new analytical results for successful content delivery probability, average successful delivery rate and energy efficiency are derived in the general scenario, the interference-limited scenario and the mean load scenario. The simulation results show that the proposed caching policy outperforms the most popular caching policy in HetNets with the limited backhaul. The performance gain is dramatically improved when the content popularity is less skewed, the cache capacity is sufficient and the helper density is relatively large. Furthermore, it is confirmed that there exists an optimal helper density to maximize the energy efficiency of the cache-enabled HetNets.


title: Photon radiation from quark-gluon plasma by means of chiral anomalies without magnetic field

abstract: We discuss a new channel of photon emission from the quark-gluon plasma, which opens up as photon acquires a tachyonic mass in the presence of the CP-odd topological domains generated by the chiral anomaly. It allows photon radiation through the decay $q\to q\gamma$ and annihilation $q\bar q\to \gamma$ processes closely related to the chiral Cherenkov radiation. Unlike previous proposals this mechanism does not require an external magnetic field. The differential photon emission rate per unit volume is computed and shown to be comparable to the rate of photon emission in conventional processes.


title: Monte Carlo analysis of phosphorene nanotransistors

abstract: Experimental studies on two-dimensional (2D) materials are still in the early stages, and most of the theoretical studies performed to screen these materials are limited to the room-temperature carrier-mobility in the free standing 2D layers. With the dimensions of devices moving towards nanometer-scale lengths, the room-temperature carrier-mobility -- an equilibrium concept -- may not be the main quantity that controls the performance of devices based on these 2D materials, since electronic transport occurs under strong off--equilibrium conditions. Here we account for these non-equilibrium conditions and, for the case of monolayer phosphorene (monolayer black phosphorus), show the results of device simulations for a short channel n-MOSFET, using the Monte Carlo method coupled with the Poisson equation, including full bands and full electron-phonon matrix elements obtained from density functional theory. Our simulations reveal significant intrinsic limitations to the performance of phosphorene as a channel material in nanotransistors.


title: Mesoscopic architecture enhances communication across the Macaque connectome revealing structure-function correspondence in the brain

abstract: Analyzing the brain in terms of organizational structures at intermediate scales provides an approach to negotiate the complexity arising from interactions between its large number of components. Focusing on a wiring diagram that spans the cortex, basal ganglia and thalamus of the Macaque brain, we provide a mesoscopic-level description of the topological architecture of one of the most well-studied mammalian connectomes. The robust modules we identify each comprise densely inter-connected cortical and sub-cortical areas that play complementary roles in executing specific cognitive functions. We find that physical proximity between areas is insufficient to explain the modular organization, as similar mesoscopic structures can be obtained even after factoring out the effect of distance constraints on the connectivity. We observe that the distribution profile of brain areas, classified in terms of their intra- and inter-modular connectivity, is conserved across the principal cortical subdivisions, as well as, sub-cortical structures. In particular provincial hubs, which have significantly higher number of connections with members of their module, but relatively less well-connected to other modules, are the only class that exhibits homophily, i.e., a discernible preference to connect to each other. By considering a process of diffusive propagation we demonstrate that this architecture, instead of localizing the activity, facilitates rapid communication across the connectome. By supplementing the topological information about the Macaque connectome with physical locations, volumes and functions of the constituent areas and analyzing this augmented dataset, we reveal a counter-intuitive role played by the modular architecture of the brain in promoting global interaction.


title: Exploring metamaterials' structures through the relaxed micromorphic model: switching an acoustic screen into an acoustic absorber

abstract: While the design of always new metamaterials with exotic static and dynamic properties is attracting deep attention in the last decades, little effort is made to explore their interactions with other materials. This prevents the conception of (meta-)structures that can enhance metamaterials' unorthodox behaviours and that can be employed in real engineering applications. In this paper, we give a first answer to this challenging problem by showing that the relaxed micromorphic model with zero static characteristic length can be usefully applied to describe the refractive properties of simple meta-structures for extended frequency ranges and for any direction of propagation of the incident wave. Thanks to the simplified model's structure, we are able to efficiently explore different configurations and to show that a given meta-structure can drastically change its overall refractive behaviour when varying the elastic properties of specific meta-structural elements. In some cases, changing the stiffness of a homogeneous material which is in contact with a metamaterial's slab, reverses the structure's refractive behaviour by switching it from an acoustic screen (total reflection) into an acoustic absorber (total transmission). The present paper clearly indicates that, while the study and enhancement of the intrinsic metamaterials' properties is certainly of great importance, it is even more challenging to enable the conception of meta-structures that can eventually boost the use of metamaterials in real-case applications.


title: Simultaneously Learning Corrections and Error Models for Geometry-based Visual Odometry Methods

abstract: This paper fosters the idea that deep learning methods can be used to complement classical visual odometry pipelines to improve their accuracy and to associate uncertainty models to their estimations. We show that the biases inherent to the visual odometry process can be faithfully learned and compensated for, and that a learning architecture associated with a probabilistic loss function can jointly estimate a full covariance matrix of the residual errors, defining an error model capturing the heteroscedasticity of the process. Experiments on autonomous driving image sequences assess the possibility to concurrently improve visual odometry and estimate an error associated with its outputs.


title: Edge-colouring graphs with local list sizes

abstract: The famous List Colouring Conjecture from the 1970s states that for every graph $G$ the chromatic index of $G$ is equal to its list chromatic index. In 1996 in a seminal paper, Kahn proved that the List Colouring Conjecture holds asymptotically. Our main result is a local generalization of Kahn's theorem. More precisely, we show that, for a graph $G$ with sufficiently large maximum degree $\Delta$ and minimum degree $\delta \geq \ln^{25} \Delta$, the following holds: for every assignment of lists of colours to the edges of $G$, such that $|L(e)| \geq (1+o(1)) \cdot \max\left\{\rm{deg}(u),\rm{deg}(v)\right\}$ for each edge $e=uv$, there is an $L$-edge-colouring of $G$. Furthermore, Kahn showed that the List Colouring Conjecture holds asymptotically for linear, $k$-uniform hypergraphs, and recently Molloy generalized Kahn's original result to correspondence colouring as well as its hypergraph generalization. We prove local versions of all of these generalizations by showing a weighted version that simultaneously implies all of our results.


title: Tuning the Berry curvature in 2D Perovskite

abstract: Topological physics and in particular its connection with artificial gauge fields is a forefront topic in different physical systems, ranging from cold atoms to photonics and more recently semiconductor dressed exciton-photon states, called polaritons. Engineering the energy dispersion of polaritons in microcavities through nanofabrication or exploiting the intrinsic material and cavity anisotropies has demonstrated many intriguing effects related to topology and emergent gauge fields. Here, we show that we can control the Berry curvature distribution of polariton bands in a strongly coupled organic-inorganic 2D perovskite single crystal. The spatial anisotropy of the perovskite crystal combined with photonic spin-orbit coupling make emerge two Hamilton's diabolical points in the dispersion. The application of an external magnetic field breaks time reversal symmetry thanks to the exciton Zeeman splitting. It splits the diabolical points degeneracy. The resulting bands show non-zero integral Berry curvature which we directly measure by state tomography. Crucially, we show that we can control the Berry curvature distribution in the band, the so-called band geometry, within the same microcavity.


title: Foundational Oracle Patterns: Connecting Blockchain to the Off-chain World

abstract: Blockchain has evolved into a platform for decentralized applications, with beneficial properties like high integrity, transparency, and resilience against censorship and tampering. However, blockchains are closed-world systems which do not have access to external state. To overcome this limitation, oracles have been introduced in various forms and for different purposes. However so far common oracle best practices have not been dissected, classified, and studied in their fundamental aspects. In this paper, we address this gap by studying foundational blockchain oracle patterns in two foundational dimensions characterising the oracles: (i) the data flow direction, i.e., inbound and outbound data flow, from the viewpoint of the blockchain; and (ii) the initiator of the data flow, i.e., whether it is push or pull-based communication. We provide a structured description of the four patterns in detail, and discuss an implementation of these patterns based on use cases. On this basis we conduct a quantitative analysis, which results in the insight that the four different patterns are characterized by distinct performance and costs profiles.


title: Quasiparticle and Nonquasiparticle Transport in Doped Quantum Paraelectrics

abstract: Charge transport in doped quantum paralectrics (QPs) presents a number of puzzles, including a pronounced $T^2$ regime in the resistivity. We analyze charge transport in a QP within a model of electrons coupled to a soft transverse optical (TO) mode via a two-phonon mechanism. For $T$ above the soft-mode frequency but below some characteristic scale ($E_0$), the resistivity scales with the occupation number of phonons squared, i.e., as $T^2$. The $T^2$ scattering rate does not depend on the carrier number density and is not affected by a crossover between degenerate and non-degenerate regimes, in agreement with the experiment. Temperatures higher than $E_0$ correspond to a non-quasiparticle regime, which we analyze by mapping the Dyson equation onto a problem of supersymmetric quantum mechanics. The combination of scattering by two TO phonons and by a longitudinal optical mode explains the data quite well.


title: On the four-body problem in the Born-Oppenheimer approximation

abstract: The quantum problem of four particles in $\mathbb{R}^d$ ($d\geq 3$), with arbitrary masses $m_1,m_2,m_3$ and $m_4$, interacting through an harmonic oscillator potential is considered. This model allows exact solvability and a critical analysis of the Born-Oppenheimer approximation. The study is restricted to the ground state level. We pay special attention to the case of two equally heavy masses $m_1=m_2=M$ and two light particles $m_3=m_4=m$. It is shown that the sum of the first two terms of the Puiseux series, in powers of the dimensionless parameter $\sigma=\frac{m}{M}$, of the exact phase $\Phi$ of the wave function $\psi_0=e^{-\Phi}$ and the corresponding ground state energy $E_0$, coincide exactly with the values obtained in the Born-Oppenheimer approximation. A physically relevant rough model of the $H_2$ molecule and of the chemical compound $H_2O_2$ (Hydrogen peroxide) is described in detail. The generalization to an arbitrary number of particles $n$, with $d$ degrees of freedom ($d\geq n-1$), interacting through an harmonic oscillator potential is briefly discussed as well.

categories: quant-ph math-ph math.MP physics.chem-ph


title: Cascade Brillouin scattering as a mechanism for photoluminescence from rough surfaces of noble metals

abstract: In surface-enhanced Raman scattering experiments that use plasmonic nanostructures as substrates, the scattering spectrum contains a broad background usually associated with photoluminescence. This background exists above and below the frequency of the incident wave. The low-frequency part of this background is similar to the scattering spectrum of a plasmon nanoparticle, while the high-frequency part follows the Gibbs distribution. We develop a theory that explains experimentally observed features in both the high- and low-frequency parts of the photoluminescence spectrum from a unified point of view. We show that photoluminescence is attributed to the cascade Brillouin scattering of the incident wave by metal phonons under the plasmon resonance conditions. The theory is in good agreement with our measurements over the entire frequency range of the background.


title: Characterising the target selection pipeline for the Dark Energy Spectroscopic Instrument Bright Galaxy Survey

abstract: We present the steps taken to produce a reliable and complete input galaxy catalogue for the Dark Energy Spectroscopic Instrument (DESI) Bright Galaxy Survey (BGS) using the photometric Legacy Survey DR8 DECam. We analyse some of the main issues faced in the selection of targets for the DESI BGS, such as star-galaxy separation, contamination by fragmented stars and bright galaxies. Our pipeline utilizes a new way to select BGS galaxies using Gaia photometry and we implement geometrical and photometric masks that reduce the number of spurious objects. The resulting catalogue is cross-matched with the Galaxy And Mass Assembly (GAMA) survey to assess the completeness of the galaxy catalogue and the performance of the target selection. We also validate the clustering of the sources in our BGS catalogue by comparing with mock catalogues and the Sloan Digital Sky Survey (SDSS) data. Finally, the robustness of the BGS selection criteria is assessed by quantifying the dependence of the target galaxy density on imaging and other properties. The largest systematic correlation we find is a 7 per cent suppression of the target density in regions of high stellar density.


title: A Subspace Acceleration Method for Minimization Involving a Group Sparsity-Inducing Regularizer

abstract: We consider the problem of minimizing an objective function that is the sum of a convex function and a group sparsity-inducing regularizer. Problems that integrate such regularizers arise in modern machine learning applications, often for the purpose of obtaining models that are easier to interpret and that have higher predictive accuracy. We present a new method for solving such problems that utilize subspace acceleration, domain decomposition, and support identification. Our analysis shows, under common assumptions, that the iterate sequence generated by our framework is globally convergent, converges to an $\epsilon$-approximate solution in at most $O(\epsilon^{-(1+p)})$ (respectively, $O(\epsilon^{-(2+p)})$) iterations for all $\epsilon$ bounded above and large enough (respectively, all $\epsilon$ bounded above) where $p > 0$ is an algorithm parameter, and exhibits superlinear local convergence. Preliminary numerical results for the task of binary classification based on regularized logistic regression show that our approach is efficient and robust, with the ability to outperform a state-of-the-art method.


title: Valley Pumping via Edge States and the Nonlocal Valley Hall Effect in Two-Dimensional Semiconductors

abstract: Recent experiments have studied the temperature and gate voltage dependence of nonlocal transport in bilayer graphene, identifying features thought to be associated with the two-dimensional semiconductor's bulk intrinsic valley Hall effect. Here, we use both simple microscopic tight-binding ribbon models and phenomenological bulk transport equations to emphasize the impact of sample edges on the nonlocal voltage signals. We show that the nonlocal valley Hall response is sensitive to electronic structure details at the sample edges, and that it is enhanced when the local longitudinal conductivity is larger near the sample edges than in the bulk. We discuss recent experiments in light of these findings and also discuss the close analogy between electron pumping between valleys near two-dimensional sample edges in the valley Hall effect, and bulk pumping between valleys due to the chiral anomaly in three-dimensional topological semimetals.


title: A Computational Approach to Homans Social Exchange Theory

abstract: How does society work? How do groups emerge within society? What are the effects of emotions and memory on our everyday actions? George Homans, like us, had a perspective on what society is, except that he was a sociologist. Homans theory, which is an exchange theory, is based on a few propositions about the fundamental actions of individuals, and how values, memory, and expectations affect their behavior. In this paper, our main interest and purpose are to find out whether these propositions can satisfy our conception of society and generate essential properties of it computationally. To do so, Based on Homans' prepositions, we provide the opportunity for each agent to exchange with other agents. That is, each agent transacts with familiar agents based on his previous history with them and transacts with newly found agents through exploration. One novelty of our work is the investigation of implications of the base theory while covering its flaws with minimal intervention; flaws which are inevitable in a non-mathematical theory. The importance of our work is that we have scrutinized the consequences of an actual sociological theory. At the end of our investigation, we propose another proposition to Homans theory, which makes the theory more appealing, and we discuss other possible directions for further research.


title: Sweepouts of closed Riemannian manifolds

abstract: We show that for every closed Riemannian manifold there exists a continuous family of $1$-cycles (defined as finite collections of disjoint closed curves) parametrized by a sphere and sweeping out the whole manifold so that the lengths of all connected closed curves are bounded in terms of the volume (or the diameter) and the dimension $n$ of the manifold, when $n \geq 3$. An alternative form of this result involves a modification of Gromov's definition of waist of sweepouts, where the space of parameters can be any finite polyhedron (and not necessarily a pseudomanifold). We demonstrate that the so-defined polyhedral $1$-dimensional waist of a closed Riemannian manifold is equal to its filling radius up to at most a constant factor. We also establish upper bounds for the polyhedral $1$-waist of some homology classes in terms of the volume or the diameter of the ambient manifold. In addition, we provide generalizations of these results for sweepouts by polyhedra of higher dimension using the homological filling functions. Finally, we demonstrate that the filling radius and the hypersphericity of a closed Riemannian manifold can be arbitrarily far apart.


title: An N=1 Lagrangian for an N=3 SCFT

abstract: We propose that a certain $4d$ $\mathcal{N}=1$ $SU(2)\times SU(2)$ gauge theory flows in the IR to an $\mathcal{N}=3$ SCFT plus a single free chiral field. The specific $\mathcal{N}=3$ SCFT has rank $1$ and a dimension three Coulomb branch operator. The flow is generically expected to land at the $\mathcal{N}=3$ SCFT deformed by the marginal deformation associated with said Coulomb branch operator. We also present a discussion about the properties expected of various RG invariant quantities from $\mathcal{N}=3$ superconformal symmetry, and use these to test our proposal. Finally, we discuss a generalization to another $\mathcal{N}=1$ model that we propose is related to a certain rank $3$ $\mathcal{N}=3$ SCFT through the turning of certain marginal deformations.


title: Effective anisotropic stresses of the relic gravitons

abstract: The effective anisotropic stresses induced by the scalar modes of the geometry depend on the coordinate system so that the comparison of the competing results is ultimately determined by the evolution of the pivotal variables in each particular gauge. After arguing that the only reasonable physical coordinate systems for this problem are the ones where the gauge freedom is completely fixed (like the longitudinal and the uniform curvature gauges), we propose a novel gauge-invariant strategy for the comparison of gauge-dependent results. Instead of employing the pivotal variables of a given coordinate system, the effective anisotropic stress is solely expressed in terms of the gravitating normal modes of the plasma and in terms of their conformal time derivatives. The new approach is explicitly gauge-invariant and when the wavelengths of the normal modes are either shorter or larger than the sound horizon, the physical limits of the anisotropic stresses are determined without relying on the specific details of the background evolution. The relevance of the proposed strategy is discussed in the general situation where the scalar anisotropic stress and the non-adiabatic pressure fluctuations are simultaneously present. We finally argue that the anisotropic stress can be most efficiently obtained from the second-order effective action of the curvature inhomogeneities.


title: Learning enables adaptation in cooperation for multi-player stochastic games

abstract: Interactions among individuals in natural populations often occur in a dynamically changing environment. Understanding the role of environmental variation in population dynamics has long been a central topic in theoretical ecology and population biology. However, the key question of how individuals, in the middle of challenging social dilemmas (e.g., the "tragedy of the commons"), modulate their behaviors to adapt to the fluctuation of the environment has not yet been addressed satisfactorily. Utilizing evolutionary game theory and stochastic games, we develop a game-theoretical framework that incorporates the adaptive mechanism of reinforcement learning to investigate whether cooperative behaviors can evolve in the ever-changing group interaction environment. When the action choices of players are just slightly influenced by past reinforcements, we construct an analytical condition to determine whether cooperation can be favored over defection. Intuitively, this condition reveals why and how the environment can mediate cooperative dilemmas. Under our model architecture, we also compare this learning mechanism with two non-learning decision rules, and we find that learning significantly improves the propensity for cooperation in weak social dilemmas, and, in sharp contrast, hinders cooperation in strong social dilemmas. Our results suggest that in complex social-ecological dilemmas, learning enables the adaptation of individuals to varying environments.

categories: q-bio.PE cs.GT cs.MA physics.bio-ph physics.soc-ph


title: Advancing Visual Specification of Code Requirements for Graphs

abstract: Researchers in the humanities are among the many who are now exploring the world of big data. They have begun to use programming languages like Python or R and their corresponding libraries to manipulate large data sets and discover brand new insights. One of the major hurdles that still exists is incorporating visualizations of this data into their projects. Visualization libraries can be difficult to learn how to use, even for those with formal training. Yet these visualizations are crucial for recognizing themes and communicating results to not only other researchers, but also the general public. This paper focuses on producing meaningful visualizations of data using machine learning. We allow the user to visually specify their code requirements in order to lower the barrier for humanities researchers to learn how to program visualizations. We use a hybrid model, combining a neural network and optical character recognition to generate the code to create the visualization.


title: Dynamics of QCD Matter -- current status

abstract: In this article, there are 18 sections discussing various current topics in the field of relativistic heavy-ion collisions and related phenomena, which will serve as a snapshot of the current state of the art. Section 1 reviews experimental results of some recent light-flavored particle production data from ALICE collaboration. Other sections are mostly theoretical in nature. Very strong but transient magnetic field created in relativistic heavy-ion collisions could have important observational consequences. This has generated a lot of theoretical activity in the last decade. Sections 2, 7, 9, 10 and 11 deal with the effects of the magnetic field on the properties of the QCD matter. There are several unanswered questions about the QCD phase diagram. Sections 3, 11 and 18 discuss various aspects of the QCD phase diagram and phase transitions. Recent years have witnessed interesting developments in foundational aspects of hydrodynamics and their application to heavy-ion collisions. Sections 12, 15, 16 and 17 of this article probe some aspects of this exciting field. Transport coefficients together with their temperature- and density-dependence, are essential inputs in hydrodynamical calculations. Sections 5, 8 and 14 deal with calculation/estimation of various transport coefficients (shear and bulk viscosity, thermal conductivity, relaxation times, etc.) of quark matter and hadronic matter. Sections 4, 6 and 13 deals with interesting new developments in the field. Section 4 discusses color dipole gluon distribution function at small transverse momentum in the form of a series of Bells polynomials. Section 6 discusses the properties of Higgs boson in the quark gluon plasma using Higgs-quark interaction. Section 13 discusses modification of coalescence model to incorporate viscous corrections and application of this model.


title: Opacity of Discrete Event Systems with Active Intruder

abstract: Opacity is a security property formalizing the information leakage of a system to an external observer, namely intruder. The conventional opacity that has been studied in the Discrete Event System (DES) literature usually assumes passive intruders, who only observe the behavior of the system. However, in many cybersecurity concerns, such as web service, active intruders, who are capable of influencing the system's behavior beyond passive observations, need to be considered and defended against. We are therefore motivated to extend the opacity notions to handle active intruders. For this, we model the system as a non-deterministic finite-state transducer. It is assumed that the intruder has a full knowledge of the system structure and is capable of interacting with the system by injecting different inputs and observing its responses. In this setup, we first introduce reactive current-state opacity (RCSO) notion characterizing a property that the system does not leak its secret state regardless of how the intruder manipulates the system behavior. We furthermore extend this notion to language-based and initial-state reactive opacity notions, and study the relationship among them. It turns out that all the proposed reactive opacity notions are equivalent to RCSO. We therefore focus on RCSO and study its verification problem. It is shown that the RCSO can be verified by constructing an observer automaton.


title: Spatially dependent mixture models via the Logistic Multivariate CAR prior

abstract: We consider the problem of spatially dependent areal data, where for each area independent observations are available, and propose to model the density of each area through a finite mixture of Gaussian distributions. The spatial dependence is introduced via a novel joint distribution for a collection of vectors in the simplex, that we term logisticMCAR. We show that salient features of the logisticMCAR distribution can be described analytically, and that a suitable augmentation scheme based on the P\'olya-Gamma identity allows to derive an efficient Markov Chain Monte Carlo algorithm. When compared to competitors, our model has proved to better estimate densities in different (disconnected) areal locations when they have different characteristics. We discuss an application on a real dataset of Airbnb listings in the city of Amsterdam, also showing how to easily incorporate for additional covariate information in the model.


title: Hybrid-basis inference for large-scale galaxy clustering: combining spherical and Cartesian Fourier analyses

abstract: Future precision cosmology from large-scale structure experiments including the Dark Energy Spectroscopic Instrument (DESI) and Euclid will probe wider and deeper cosmic volumes than those covered by previous surveys. The Cartesian power spectrum analysis of anisotropic galaxy clustering based on the Fourier plane wave basis makes a number of assumptions, including the local plane-parallel approximation, that will no longer be valid on very large scales and may degrade cosmological constraints. We propose an approach that utilises a hybrid basis: on the largest scales, clustering statistics are decomposed into spherical Fourier modes which respect the natural geometry of both survey observations and physical effects along the line of sight, such as redshift-space distortions, the Alcock--Paczy\'nsky and light-cone effects; on smaller scales with far more clustering modes, we retain the computational benefit of the power spectrum analysis aided by fast Fourier transforms. This approach is particularly suited to the likelihood analysis of local primordial non-Gaussianity $f_\textrm{NL}$ through the scale-dependent halo bias, and we demonstrate its applicability with $N$-body simulations. We also release our public code Harmonia (https://github.com/MikeSWang/Harmonia) for galaxy clustering likelihood inference in spherical Fourier or hybrid-basis analyses.


title: Heat kernels of the discrete Laguerre operators

abstract: For the discrete Laguerre operators we compute explicitly the corresponding heat kernels by expressing them with the help of Jacobi polynomials. This enables us to show that the heat semigroup is ultracontractive and to compute the corresponding norms. On the one hand, this helps us to answer basic questions (recurrence, stochastic completeness) regarding the associated Markovian semigroup. On the other hand, we prove the analogs of the Cwiekel-Lieb-Rosenblum and the Bargmann estimates for perturbations of the Laguerre operators, as well as the optimal Hardy inequality.


title: Selection-Bias-Corrected Visualization via Dynamic Reweighting

abstract: The collection and visual analysis of large-scale data from complex systems, such as electronic health records or clickstream data, has become increasingly common across a wide range of industries. This type of retrospective visual analysis, however, is prone to a variety of selection bias effects, especially for high-dimensional data where only a subset of dimensions is visualized at any given time. The risk of selection bias is even higher when analysts dynamically apply filters or perform grouping operations during ad hoc analyses. These bias effects threatens the validity and generalizability of insights discovered during visual analysis as the basis for decision making. Past work has focused on bias transparency, helping users understand when selection bias may have occurred. However, countering the effects of selection bias via bias mitigation is typically left for the user to accomplish as a separate process. Dynamic reweighting (DR) is a novel computational approach to selection bias mitigation that helps users craft bias-corrected visualizations. This paper describes the DR workflow, introduces key DR visualization designs, and presents statistical methods that support the DR process. Use cases from the medical domain, as well as findings from domain expert user interviews, are also reported.