title: What determines active region coronal plasma composition?

abstract: The chemical composition of the solar corona is different from that of the solar photosphere, with the strongest variation being observed in active regions (ARs). Using data from the Extreme Ultraviolet (EUV) Imaging Spectrometer (EIS) on Hinode, we present a survey of coronal elemental composition as expressed in the first ionisation potential (FIP) bias in 28 ARs of different ages and magnetic flux content, which are at different stages in their evolution. We find no correlation between the FIP bias of an AR and its total unsigned magnetic flux or age. However, there is a weak dependence of FIP bias on the evolutionary stage, decreasing from 1.9-2.2 in ARs with spots to 1.5-1.6 in ARs that are at more advanced stages of the decay phase. FIP bias shows an increasing trend with average magnetic flux density up to 200 G but this trend does not continue at higher values. The FIP bias distribution within ARs has a spread between 0.4 and 1. The largest spread is observed in very dispersed ARs. We attribute this to a range of physical processes taking place in these ARs including processes associated with filament channel formation. These findings indicate that, while some general trends can be observed, the processes influencing the composition of an AR are complex and specific to its evolution, magnetic configuration or environment. The spread of FIP bias values in ARs shows a broad match with that previously observed in situ in the slow solar wind.


title: A Tale of Two Markets: Investigating the Ransomware Payments Economy

abstract: Ransomware attacks are among the most severe cyber threats. They have made headlines in recent years by threatening the operation of governments, critical infrastructure, and corporations. Collecting and analyzing ransomware data is an important step towards understanding the spread of ransomware and designing effective defense and mitigation mechanisms. We report on our experience operating Ransomwhere, an open crowdsourced ransomware payment tracker to collect information from victims of ransomware attacks. With Ransomwhere, we have gathered 13.5k ransom payments to more than 87 ransomware criminal actors with total payments of more than $101 million. Leveraging the transparent nature of Bitcoin, the cryptocurrency used for most ransomware payments, we characterize the evolving ransomware criminal structure and ransom laundering strategies. Our analysis shows that there are two parallel ransomware criminal markets: commodity ransomware and Ransomware as a Service (RaaS). We notice that there are striking differences between the two markets in the way that cryptocurrency resources are utilized, revenue per transaction, and ransom laundering efficiency. Although it is relatively easy to identify choke points in commodity ransomware payment activity, it is more difficult to do the same for RaaS.


title: Hybrid Reinforcement Learning for STAR-RISs: A Coupled Phase-Shift Model Based Beamformer

abstract: A simultaneous transmitting and reflecting reconfigurable intelligent surface (STAR-RIS) assisted multi-user downlink multiple-input single-output (MISO) communication system is investigated. In contrast to the existing ideal STAR-RIS model assuming an independent transmission and reflection phase-shift control, a practical coupled phase-shift model is considered. Then, a joint active and passive beamforming optimization problem is formulated for minimizing the long-term transmission power consumption, subject to the coupled phase-shift constraint and the minimum data rate constraint. Despite the coupled nature of the phase-shift model, the formulated problem is solved by invoking a hybrid continuous and discrete phase-shift control policy. Inspired by this observation, a pair of hybrid reinforcement learning (RL) algorithms, namely the hybrid deep deterministic policy gradient (hybrid DDPG) algorithm and the joint DDPG & deep-Q network (DDPG-DQN) based algorithm are proposed. The hybrid DDPG algorithm controls the associated high-dimensional continuous and discrete actions by relying on the hybrid action mapping. By contrast, the joint DDPG-DQN algorithm constructs two Markov decision processes (MDPs) relying on an inner and an outer environment, thereby amalgamating the two agents to accomplish a joint hybrid control. Simulation results demonstrate that the STAR-RIS has superiority over other conventional RISs in terms of its energy consumption. Furthermore, both the proposed algorithms outperform the baseline DDPG algorithm, and the joint DDPG-DQN algorithm achieves a superior performance, albeit at an increased computational complexity.


title: A Quantitative Symbolic Approach to Individual Human Reasoning

abstract: Cognitive theories for reasoning are about understanding how humans come to conclusions from a set of premises. Starting from hypothetical thoughts, we are interested which are the implications behind basic everyday language and how do we reason with them. A widely studied topic is whether cognitive theories can account for typical reasoning tasks and be confirmed by own empirical experiments. This paper takes a different view and we do not propose a theory, but instead take findings from the literature and show how these, formalized as cognitive principles within a logical framework, can establish a quantitative notion of reasoning, which we call plausibility. For this purpose, we employ techniques from non-monotonic reasoning and computer science, namely, a solving paradigm called answer set programming (ASP). Finally, we can fruitfully use plausibility reasoning in ASP to test the effects of an existing experiment and explain different majority responses.


title: GRB 211211A: a Prolonged Central Engine under a Strong Magnetic Field Environment

abstract: Recently, a kilonova-associated gamma-ray burst (GRB 211211A), whose light curve consists of a precursor ($\sim$0.2 s), a hard spiky emission ($\sim$10 s), and a soft long extended emission ($\sim$40 s), has attracted great attention. Kilonova association could prove its merger origin, while the detection of the precursor can be used to infer at least one highly magnetized neutron star (NS) being involved in the merger. In this case, a strong magnetic flux $\Phi$ is expected to surround the central engine of GRB 211211A. Here we suggest that when $\Phi$ is large enough, the accretion flow could be halted far from the innermost stable radius, which will significantly prolong the lifetime of the accretion process, and so the GRB duration. For example, we show that as long as the central black hole (BH) is surrounded by a strong magnetic flux $\Phi\sim 10^{29}\rm cm^{2}G$, an accretion flow with $\dot{M}_{\rm ini} \simeq 0.1 M_\odot s^{-1}$ could be halted at 40 times the gravitational radius and be slowly transferred into the black hole on the order of $\sim$10 s, which naturally explains the duration of hard spiky emission. After most of the disk mass has been accreted onto the BH, the inflow rate will be reduced, so a long and soft extended emission is expected when a new balance between the magnetic field and the accretion current is reconstructed at a larger radius. Our results further support that the special behavior of GRB 211211A is mainly due to the strong magnetic field of its progenitor stars.


title: Brazilian COVID-19 data streaming

abstract: We collected individualized (unidentifiable) and aggregated openly available data from various sources related to suspected/confirmed SARS-CoV-2 infections, vaccinations, non-pharmaceutical government interventions, human mobility, and levels of population inequality in Brazil. In addition, a data structure allowing real-time data collection, curation, integration, and extract-transform-load processes for different objectives was developed. The granularity of this dataset (state- and municipality-wide) enables its application to individualized and ecological epidemiological studies, statistical, mathematical, and computational modeling, data visualization as well as the scientific dissemination of information on the COVID-19 pandemic in Brazil.


title: Multipartite channel assemblages

abstract: Motivated by the recent studies on post-quantum steering, we generalize the notion of bipartite channel steering by introducing the concept of multipartite no-signaling channel assemblages. We first show that beyond the bipartite case, the no-signaling and quantum descriptions of channel assemblages do not coincide. Using the Choi-Jamio{\l}kowski isomorphism, we present a complete characterization of these classes of assemblages and use this characterization to provide sufficient conditions for extremality of quantum channel assemblages within the set of all no-signaling channel assemblages. Finally, we introduce and discuss a relaxed version of channel steering where only certain subsystems obey the no-signaling constraints. In this latter asymmetric scenario we show the possibility of certifying a perfect key bit that is secure against a general no-signaling eavesdropper.


title: Environmental Sensing Options for Robot Teams: A Computational Complexity Perspective

abstract: Visual and scalar-field (e.g., chemical) sensing are two of the options robot teams can use to perceive their environments when performing tasks. We give the first comparison of the computational characteristic of visual and scalar-field sensing, phrased in terms of the computational complexities of verifying and designing teams of robots to efficiently and robustly perform distributed construction tasks. This is done relative a basic model in which teams of robots with deterministic finite-state controllers operate in a synchronous error-free manner in 2D grid-based environments. Our results show that for both types of sensing, all of our problems are polynomial-time intractable in general and remain intractable under a variety of restrictions on parameters characterizing robot controllers, teams, and environments. That being said, these results also include restricted situations for each of our problems in which those problems are effectively polynomial-time tractable. Though there are some differences, our results suggest that (at least in this stage of our investigation) verification and design problems relative to visual and scalar-field sensing have roughly the same patterns and types of tractability and intractability results.


title: Graded rings associated to valuations and direct limits

abstract: In this paper, we study the structure of the graded ring associated to a limit key polynomial $Q_n$ in terms of the key polynomials that define $Q_n$. In order to do that, we use direct limits. In general, we describe the direct limit of a family of graded rings associated to a totally ordered set of valuations. As an example, we describe the graded ring associated to a valuation-algebraic valuation as a direct limit of graded rings associated to residue-transcendental valuations.


title: Multi-agent Reinforcement Learning for Dynamic Resource Management in 6G in-X Subnetworks

abstract: The 6G network enables a subnetwork-wide evolution, resulting in a "network of subnetworks". However, due to the dynamic mobility of wireless subnetworks, the data transmission of intra-subnetwork and inter-subnetwork will inevitably interfere with each other, which poses a great challenge to radio resource management. Moreover, most of the existing approaches require the instantaneous channel gain between subnetworks, which are usually difficult to be collected. To tackle these issues, in this paper we propose a novel effective intelligent radio resource management method using multi-agent deep reinforcement learning (MARL), which only needs the sum of received power, named received signal strength indicator (RSSI), on each channel instead of channel gains. However, to directly separate individual interference from RSSI is an almost impossible thing. To this end, we further propose a novel MARL architecture, named GA-Net, which integrates a hard attention layer to model the importance distribution of inter-subnetwork relationships based on RSSI and exclude the impact of unrelated subnetworks, and employs a graph attention network with a multi-head attention layer to exact the features and calculate their weights that will impact individual throughput. Experimental results prove that our proposed framework significantly outperforms both traditional and MARL-based methods in various aspects.


title: Strong electronic winds blowing under liquid flows on carbon surfaces

abstract: The interface between a liquid and a solid is the location of plethora of intrincate mechanisms at the nanoscale, at the root of their specific emerging properties in natural processes or technological applications. However, while the structural properties and chemistry of interfaces have been intensively explored, the effect of the solid-state electronic transport at the fluid interface has been broadly overlooked up to now. It has been reported that water flowing against carbon-based nanomaterials, such as carbon nanotubes or graphene sheets, does induce electronic currents, but the mechanism at stake remains controversial. Here, we unveil the molecular mechanisms underlying the hydro-electronic couplings by investigating the electronic conversion under flow at the nanoscale. We use a tuning fork-Atomic Force Microscope (AFM) to deposit and displace a micrometric droplet of both ionic and non-ionic liquids on a multilayer graphene sample, while recording the electrical current across the carbon flake. We report measurements of an oscillation-induced current which is several orders of magnitude larger than previously reported for water on carbon , and further boosted by the presence of surface wrinkles on the carbon layer. Our results point to a peculiar momentum transfer mechanism between fluid molecules and charge carriers in the carbon walls mediated by phonon excitations in the solid. Our findings pave the way for active control of fluid transfer at the nanoscale by harnessing the complex interplay between collective excitations in the solid and the molecules in the fluid.


title: Torus conformal blocks and Casimir equations in the necklace channel

abstract: We consider the conformal block decomposition in arbitrary exchange channels of a two-dimensional conformal field theory on a torus. The channels are described by diagrams built of a closed loop with external legs (a necklace sub-diagram) and trivalent vertices forming trivalent trees attached to the necklace. Then, the $n$-point torus conformal block in any channel can be obtained by acting with a number of OPE operators on the $k$-point torus block in the necklace channel at $k=1,...,n$. Focusing on the necklace channel, we go to the large-$c$ regime, where the Virasoro algebra truncates to the $sl(2, \mathbb{R})$ subalgebra, and obtain the system of the Casimir equations for the respective $k$-point global conformal block. In the plane limit, when the torus modular parameter $q\to 0$, we explicitly find the Casimir equations on a plane which define the $(k+2)$-point global conformal block in the comb channel. Finally, we formulate the general scheme to find Casimir equations for global torus blocks in arbitrary channels.


title: On the Capacity of Gaussian MIMO Channels with Memory

abstract: The operational capacity of Gaussian MIMO channels with memory was obtained by Brandenburg and Wyner in [9] under certain mild assumptions on the channel impulse response and its noise covariance matrix, which essentuially require channel memory to be not too strong. This channel was also considered by Tsybakov in [10] and its information capacity was obtained in some cases. It was further conjectured, based on numerical evidence, that these capacities are the same in all cases. This conjecture is proved here. An explicit closed-form expression for the optimal input power spectral density matrix is also given. The obtained result is further extended to the case of joint constraints, including per-antenna and interference power constraints as well as energy harvesting constraints. These results imply the information-theoretic optimality of OFDM-type transmission systems for such channels with memory.


title: A Communication-Efficient Distributed Gradient Clipping Algorithm for Training Deep Neural Networks

abstract: In distributed training of deep neural networks, people usually run Stochastic Gradient Descent (SGD) or its variants on each machine and communicate with other machines periodically. However, SGD might converge slowly in training some deep neural networks (e.g., RNN, LSTM) because of the exploding gradient issue. Gradient clipping is usually employed to address this issue in the single machine setting, but exploring this technique in the distributed setting is still in its infancy: it remains mysterious whether the gradient clipping scheme can take advantage of multiple machines to enjoy parallel speedup. The main technical difficulty lies in dealing with nonconvex loss function, non-Lipschitz continuous gradient, and skipping communication rounds simultaneously. In this paper, we explore a relaxed-smoothness assumption of the loss landscape which LSTM was shown to satisfy in previous works, and design a communication-efficient gradient clipping algorithm. This algorithm can be run on multiple machines, where each machine employs a gradient clipping scheme and communicate with other machines after multiple steps of gradient-based updates. Our algorithm is proved to have $O\left(\frac{1}{N\epsilon^4}\right)$ iteration complexity and $O(\frac{1}{\epsilon^3})$ communication complexity for finding an $\epsilon$-stationary point in the homogeneous data setting, where $N$ is the number of machines. This indicates that our algorithm enjoys linear speedup and reduced communication rounds. Our proof relies on novel analysis techniques of estimating truncated random variables, which we believe are of independent interest. Our experiments on several benchmark datasets and various scenarios demonstrate that our algorithm indeed exhibits fast convergence speed in practice and thus validates our theory.


title: The $\rho$ parameter and the CDF W-mass anomaly: observations on the role of scalar triplets

abstract: The $\rho$-parameter, together with the W-and Z-masses, acts as Occam's razor on extensions of the electroweak symmetry breaking sectors. We apply this to non-doublet Higgs scenarios, by examining the CDF- $II$ claim on the W-boson mass. Suspending any judgement on the CDF claim, we show that in general, if one works at the tree level, theoretical models which predict $\rho =1$ at the tree-level are inconsistent with the CDF claims at 4-6 standard deviations if one confines oneself to the existing Z-boson mass, and the earlier $M_W$ value from either the global fit or the ATLAS data. We take some well-motivated scenarios containing one or more scalar SU(2) triplets in addition to the usual doublet, and show that, both a scenario including a complex scalar triplet and one with a complex as well as a real triplet (the Georgi-Machacek model) can be made consistent with the new data, where a small splitting between the complex and the real triplet vacuum expectation values is required in the second scenario. We will explore the consequences of this splitting, either at tree level or via incalculable new physics contribution to $M_W$, and indicate, as illustrations its implications in $H^{\pm}W^{\mp}Z$ type interaction vertices.


title: Radiative corrections to neutron and nuclear $\beta$-decays: a serious kinematics problem in the literature

abstract: We report a serious kinematics problem in the bremsstrahlung photon part of the order-$\alpha$ outer (model independent) radiative correction calculations for those neutron (and nuclear beta) decay observables (like electron-neutrino correlation parameter measurement) where the proton (recoil particle) is detected. The so-called neutrino-type radiative correction calculations, which fix the neutrino direction in the bremsstrahlung photon integrals, use 3-body decay kinematics to connect the unobserved neutrino direction with the observed electron and proton (recoil particle) momenta. But the presence of the bremsstrahlung photon changes the kinematics from 3-body to 4-body one, and the accurate information about the recoil particle momentum is lost due to the integration with respect to the photon momentum. Therefore the application of the abovementioned 3-body decay kinematics connection for the radiative correction calculations, rather prevalent in the literature, is not acceptable. We show that the correct, so-called recoil-type radiative correction calculations, which fix the proton (recoil particle) momentum instead of the neutrino direction and use rather involved analytical, semianalytical or Monte Carlo bremsstrahlung integration methods, result usually in much larger corrections than the incorrect neutrino-type analytical methods.


title: Decisions in Continuous Integration and Delivery: An Exploratory Study

abstract: In recent years, Continuous Integration (CI) and Continuous Delivery (CD) has been heatedly discussed and widely used in part or all of the software development life cycle as the practices and pipeline to deliver software products in an efficient way. There are many tools, such as Travis CI, that offer various features to support the CI/CD pipeline, but there is a lack of understanding about what decisions are frequently made in CI/CD. In this work, we explored one popular open-source project on GitHub, Budibase, to provide insights on the types of decisions made in CI/CD from a practitioners' perspective. We first explored the GitHub Trending page, conducted a pilot repository extraction, and identified the Budibase repository as the case for our study. We then crawled all the closed issues from the repository and got 1,168 closed issues. Irrelevant issues were filtered out based on certain criteria, and 370 candidate issues that contain decisions were obtained for data extraction. We analyzed the issues using a hybrid approach combining pre-defined types and the Constant Comparison method to get the categories of decisions. The results show that the major type of decisions in the Budibase closed issues is Functional Requirement Decision (67.6%), followed by Architecture Decision (11.1%). Our findings encourage developers to put more effort on the issues and making decisions related to CI/CD, and provide researchers with a reference of decision classification made in CI/CD.


title: Spanning tree-connected subgraphs and spanning closed trails with small degrees

abstract: Let $G$ be a graph, let $m$ be a positive integer, and let $f$ be a positive integer-valued function on $V(G)$. In this paper, we show that if for all $S\subseteq V(G)$, $$\Omega_m(G\setminus S)\le \sum_{v\in S}\big(f(v)-2m\big)+m+\Omega_m(G[S]),$$ then $G$ has a spanning $m$-tree-connected subgraph $H$ containing an arbitrary given subgraph with maximum degree at most $m$ such that for each vertex $v$, $d_H(v)\le f(v)$, where $G[S]$ denotes the induced subgraph of $G$ with the vertex set $S$ and $\Omega_m(G_0)$ is a parameter to measure $m$-tree-connectivity of a given graph $G_0$. By applying this result, we prove that every $k$-edge-connected graph $G$ has a spanning $m$-tree-connected subgraph $H$ such that for each vertex $v$, $d_H(v)\le \big\lceil \frac{m}{k}(d_G(v)-2m)\big\rceil+2m$, where $k\ge 2m$; also if $G$ is $k$-tree-connected, then $H$ can be found such that for each vertex $v$, $d_H(v)\le \big\lceil \frac{m}{k}(d_G(v)-m)\big\rceil+m$, where $k\ge m$. Next, we prove that if for all $S\subseteq V(G)$, $$\frac{1}{2}\Omega_2(G\setminus S)\le \sum_{v\in S}(f(v)-3/2)+1,$$ then $G$ admits a spanning closed trail meeting each vertex $v$ at most $f(v)$ times. From this result, we conclude that every $4$-tough graph of order at least three admits a spanning closed trail meeting each vertex at most twice. This result confirms a weaker version of a long-standing conjecture due to Chv\'atal (1973).


title: A spectroscopic quadruple as a possible progenitor of sub-Chandrasekhar Type Ia supernovae

abstract: Binaries have received much attention as possible progenitors of Type Ia supernova (SNIa) explosions, but long-term gravitational effects in tight triple or quadruple systems could also play a key role in producing SNIa. Here we report on the properties of a spectroscopic quadruple (SB4) found within a star cluster: the 2+2 hierarchical system HD 74438. Its membership in the open cluster IC 2391 makes it the youngest (43 My) SB4 discovered so far and among the quadruple systems with the shortest outer orbital period. The eccentricity of the 6 y outer period is 0.46 and the two inner orbits, with periods of 20.5 d and 4.4 d, and eccentricities of 0.36 and 0.15, are not coplanar. Using an innovative combination of ground-based high resolution spectroscopy and Gaia/Hipparcos astrometry, we show that this system is undergoing secular interaction that likely pumped the eccentricity of one of the inner orbits higher than expected for the spectral types of its components. We compute the future evolution of HD 74438 and show that this system is an excellent candidate progenitor of sub-Chandrasekhar SNIa through white dwarf (WD) mergers. Taking into account the contribution of this specific type of SNIa better accounts for the chemical evolution of iron-peak elements in the Galaxy than considering only near Chandrasekhar-mass SNIa.


title: Broadband physical layer cognitive radio with an integrated photonic processor for blind source separation

abstract: The expansion of telecommunications incurs increasingly severe crosstalk and interference, and a physical layer cognitive method, called blind source separation (BSS), can effectively address these issues. BSS requires minimal prior knowledge to recover signals from their mixtures, agnostic to carrier frequency, signal format, and channel conditions. However, previous electronic implementations of BSS did not fulfill this versatility requirement due to the inherently narrow bandwidth of radio-frequency (RF) components, the high energy consumption of digital signal processors (DSP), and their shared weaknesses of low scalability. Here, we report a photonic BSS approach that inherits the advantages of optical devices and can fully fulfill its "blindness" aspect. Using a microring weight bank integrated on a photonic chip, we demonstrate energy-efficient, WDM-scalable BSS across 19.2 GHz of bandwidth, covering many standard frequency bands. Our system also has a high (9-bit) resolution for signal demixing thanks to a recently developed dithering control method, resulting in higher signal-to-interference ratios (SIR) even for ill-conditioned mixtures.


title: Classification and mapping of low-statured 'shrubland' cover types in post-agricultural landscapes of the US Northeast

abstract: Novel plant communities reshape landscapes and pose challenges for land cover classification and mapping that can constrain research and stewardship efforts. In the US Northeast, emergence of low-statured woody vegetation, or shrublands, instead of secondary forests in post-agricultural landscapes is well-documented by field studies, but poorly understood from a landscape perspective, which limits the ability to systematically study and manage these lands. To address gaps in classification/mapping of low-statured cover types where they have been historically rare, we developed models to predict shrubland distributions at 30m resolution across New York State (NYS), using a stacked ensemble combining a random forest, gradient boosting machine, and artificial neural network to integrate remote sensing of structural (airborne LIDAR) and optical (satellite imagery) properties of vegetation cover. We first classified a 1m canopy height model (CHM), derived from a patchwork of available LIDAR coverages, to define shrubland presence/absence. Next, these non-contiguous maps were used to train a model ensemble based on temporally-segmented imagery to predict shrubland probability for the entire study landscape (NYS). Approximately 2.5% of the CHM coverage area was classified as shrubland. Models using Landsat predictors trained on the classified CHM were effective at identifying shrubland (test set AUC=0.893, real-world AUC=0.904), in discriminating between shrub/young forest and other cover classes, and produced qualitatively sensible maps, even when extending beyond the original training data. Our results suggest that incorporation of airborne LiDAR, even from a discontinuous patchwork of coverages, can improve land cover classification of historically rare but increasingly prevalent shrubland habitats across broader areas.


title: Faint light of old neutron stars and detectability at the James Webb Space Telescope

abstract: Isolated ideal neutron stars (NS) of age $>10^9$ yrs exhaust thermal and rotational energies and cool down to temperatures below $\mathcal{O}(100)$ K. Accretion of particle dark matter (DM) by such NS can heat them up through kinetic and annihilation processes. This increases the NS surface temperature to a maximum of $\sim 2550$ K in the best case scenario. The maximum accretion rate depends on the DM ambient density and velocity dispersion, and on the NS equation of state and their velocity distributions. Upon scanning over these variables, we find that the effective surface temperature varies at most by $\sim 40\%$. Black body spectrum of such warm NS peak at near infrared wavelengths with magnitudes in the range potentially detectable by the James Webb Space Telescope (JWST). Using the JWST exposure time calculator, we demonstrate that NS with surface temperatures $\gtrsim 2400$ K, located at a distance of 10\,pc can be detected through the F150W2 (F322W2) filters of the NIRCAM instrument at SNR\,$\gtrsim 10$ (5) within 24 hours of exposure time. Independently of DM, an observation of NS with surface temperatures $\gtrsim 2500$ K will be a formative step towards testing the minimal cooling paradigm during late evolutionary stages.


title: Two-fluid implementation in MPI-AMRVAC, with applications in the solar chromosphere

abstract: The chromosphere is a partially ionized layer of the solar atmosphere, the transition between the photosphere where the gas is almost neutral and the fully ionized corona. As the collisional coupling between neutral and charged particles decreases in the upper part of the chromosphere, the hydrodynamical timescales may become comparable to the collisional timescale, and a two-fluid model is needed. In this paper we describe the implementation and validation of a two-fluid model which simultaneously evolves charges and neutrals, coupled by collisions. The two-fluid equations are implemented in the fully open-source MPI-AMRVAC code. In the photosphere and the lower part of the solar atmosphere, where collisions between charged and neutral particles are very frequent, an explicit time-marching would be too restrictive, since for stability the timestep needs to be proportional to the inverse of the collision frequency. This is overcome by evaluating the collisional terms implicitly using an explicit-implicit (IMEX) scheme. The cases presented cover very different collisional regimes and our results are fully consistent with related literature findings. If collisional time and length scales are smaller than the hydrodynamical scales usually considered in the solar chromosphere, density structures seen in the neutral and charged fluids are similar, with the effect of elastic collisions between charges and neutrals being similar to diffusivity. Otherwise, density structures are different and the decoupling in velocity between the two species increases. The use of IMEX schemes efficiently avoids the small timestep constraints of fully explicit implementations in strongly collisional regimes. Adaptive Mesh Refinement (AMR) greatly decreases the computational cost, compared to uniform grid runs at the same effective resolution.


title: White-box Testing of NLP models with Mask Neuron Coverage

abstract: Recent literature has seen growing interest in using black-box strategies like CheckList for testing the behavior of NLP models. Research on white-box testing has developed a number of methods for evaluating how thoroughly the internal behavior of deep models is tested, but they are not applicable to NLP models. We propose a set of white-box testing methods that are customized for transformer-based NLP models. These include Mask Neuron Coverage (MNCOVER) that measures how thoroughly the attention layers in models are exercised during testing. We show that MNCOVER can refine testing suites generated by CheckList by substantially reduce them in size, for more than 60\% on average, while retaining failing tests -- thereby concentrating the fault detection power of the test suite. Further we show how MNCOVER can be used to guide CheckList input generation, evaluate alternative NLP testing methods, and drive data augmentation to improve accuracy.


title: Matrix pencils with the numerical range equal to the whole complex plane

abstract: The main purpose of this article is to show that the numerical range of a linear pencil $\lambda A + B$ is equal to $\mathbb{C}$ if and only if $0$ belongs to the convex hull of the joint numerical range of $A$ and $B$. We also prove that if the numerical range of a linear pencil $\lambda A + B$ is equal to $\mathbb{C}$ and $A + A^*, B + B^* \geq 0$, then $A$ and $B$ have a common isotropic vector. Moreover, we improve the classical result which describes Hermitian linear pencils.


title: On learning agent-based models from data

abstract: Agent-Based Models (ABMs) are used in several fields to study the evolution of complex systems from micro-level assumptions. However, ABMs typically can not estimate agent-specific (or "micro") variables: this is a major limitation which prevents ABMs from harnessing micro-level data availability and which greatly limits their predictive power. In this paper, we propose a protocol to learn the latent micro-variables of an ABM from data. The first step of our protocol is to reduce an ABM to a probabilistic model, characterized by a computationally tractable likelihood. This reduction follows two general design principles: balance of stochasticity and data availability, and replacement of unobservable discrete choices with differentiable approximations. Then, our protocol proceeds by maximizing the likelihood of the latent variables via a gradient-based expectation maximization algorithm. We demonstrate our protocol by applying it to an ABM of the housing market, in which agents with different incomes bid higher prices to live in high-income neighborhoods. We demonstrate that the obtained model allows accurate estimates of the latent variables, while preserving the general behavior of the ABM. We also show that our estimates can be used for out-of-sample forecasting. Our protocol can be seen as an alternative to black-box data assimilation methods, that forces the modeler to lay bare the assumptions of the model, to think about the inferential process, and to spot potential identification problems.


title: A High Throughput Generative Vector Autoregression Model for Stochastic Synapses

abstract: By imitating the synaptic connectivity and plasticity of the brain, emerging electronic nanodevices offer new opportunities as the building blocks of neuromorphic systems. One challenge for largescale simulations of computational architectures based on emerging devices is to accurately capture device response, hysteresis, noise, and the covariance structure in the temporal domain as well as between the different device parameters. We address this challenge with a high throughput generative model for synaptic arrays that is based on a recently available type of electrical measurement data for resistive memory cells. We map this real world data onto a vector autoregressive stochastic process to accurately reproduce the device parameters and their cross-correlation structure. While closely matching the measured data, our model is still very fast; we provide parallelized implementations for both CPUs and GPUs and demonstrate array sizes above one billion cells and throughputs exceeding one hundred million weight updates per second, above the pixel rate of a 30 frames/s 4K video stream.


title: Bayesian clustering of multiple zero-inflated outcomes

abstract: Several applications involving counts present a large proportion of zeros (excess-of-zeros data). A popular model for such data is the Hurdle model, which explicitly models the probability of a zero count, while assuming a sampling distribution on the positive integers. We consider data from multiple count processes. In this context, it is of interest to study the patterns of counts and cluster the subjects accordingly. We introduce a novel Bayesian nonparametric approach to cluster multiple, possibly related, zero-inflated processes. We propose a joint model for zero-inflated counts, specifying a Hurdle model for each process with a shifted Negative Binomial sampling distribution. Conditionally on the model parameters, the different processes are assumed independent, leading to a substantial reduction in the number of parameters as compared to traditional multivariate approaches. The subject-specific probabilities of zero-inflation and the parameters of the sampling distribution are flexibly modelled via an enriched finite mixture with random number of components. This induces a two-level clustering of the subjects based on the zero/non-zero patterns (outer clustering) and on the sampling distribution (inner clustering). Posterior inference is performed through tailored MCMC schemes. We demonstrate the proposed approach on an application involving the use of the messaging service WhatsApp.


title: Data Distributional Properties Drive Emergent In-Context Learning in Transformers

abstract: Large transformer-based models are able to perform in-context few-shot learning, without being explicitly trained for it. This observation raises the question: what aspects of the training regime lead to this emergent behavior? Here, we show that this behavior is driven by the distributions of the training data itself. In-context learning emerges when the training data exhibits particular distributional properties such as burstiness (items appear in clusters rather than being uniformly distributed over time) and having large numbers of rarely occurring classes. In-context learning also emerges more strongly when item meanings or interpretations are dynamic rather than fixed. These properties are exemplified by natural language, but are also inherent to naturalistic data in a wide range of other domains. They also depart significantly from the uniform, i.i.d. training distributions typically used for standard supervised learning. In our initial experiments, we found that in-context learning traded off against more conventional weight-based learning, and models were unable to achieve both simultaneously. However, our later experiments uncovered that the two modes of learning could co-exist in a single model when it was trained on data following a skewed Zipfian distribution -- another common property of naturalistic data, including language. In further experiments, we found that naturalistic data distributions were only able to elicit in-context learning in transformers, and not in recurrent models. In sum, our findings indicate how the transformer architecture works together with particular properties of the training data to drive the intriguing emergent in-context learning behaviour of large language models, and how future work might encourage both in-context and in-weights learning in domains beyond language.


title: Fundamental limitations on optimization in variational quantum algorithms

abstract: Exploring quantum applications of near-term quantum devices is a rapidly growing field of quantum information science with both theoretical and practical interests. A leading paradigm to establish such near-term quantum applications is variational quantum algorithms (VQAs). These algorithms use a classical optimizer to train a parameterized quantum circuit to accomplish certain tasks, where the circuits are usually randomly initialized. In this work, we prove that for a broad class of such random circuits, the variation range of the cost function via adjusting any local quantum gate within the circuit vanishes exponentially in the number of qubits with a high probability. This result can unify the restrictions on gradient-based and gradient-free optimizations in a natural manner and reveal extra harsh constraints on the training landscapes of VQAs. Hence a fundamental limitation on the trainability of VQAs is unraveled, indicating the essential mechanism of the optimization hardness in the Hilbert space with exponential dimension. We further showcase the validity of our results with numerical simulations of representative VQAs. We believe that these results would deepen our understanding of the scalability of VQAs and shed light on the search for near-term quantum applications with advantages.


title: Sensible AI: Re-imagining Interpretability and Explainability using Sensemaking Theory

abstract: Understanding how ML models work is a prerequisite for responsibly designing, deploying, and using ML-based systems. With interpretability approaches, ML can now offer explanations for its outputs to aid human understanding. Though these approaches rely on guidelines for how humans explain things to each other, they ultimately solve for improving the artifact -- an explanation. In this paper, we propose an alternate framework for interpretability grounded in Weick's sensemaking theory, which focuses on who the explanation is intended for. Recent work has advocated for the importance of understanding stakeholders' needs -- we build on this by providing concrete properties (e.g., identity, social context, environmental cues, etc.) that shape human understanding. We use an application of sensemaking in organizations as a template for discussing design guidelines for Sensible AI, AI that factors in the nuances of human cognition when trying to explain itself.


title: A simple theory for interfacial properties of dilute solutions

abstract: Recent studies suggest that cosolute mixtures may exert significant non-additive effects upon protein stability. The corresponding liquid-vapor interfaces may provide useful insight into these non-additive effects. Accordingly, in this work we relate the interfacial properties of dilute multicomponent solutions to the interactions between solutes. We first derive a simple model for the surface excess of solutes in terms of thermodynamic observables. We then develop a lattice-based statistical mechanical perturbation theory to derive these observables from microscopic interactions. Rather than adopting a random mixing approximation, this dilute solution theory (DST) exactly treats solute-solute interactions to lowest order in perturbation theory. Although it cannot treat concentrated solutions, Monte Carlo (MC) simulations demonstrate that DST describes dilute solutions with much greater accuracy than regular solution theory. Importantly, DST emphasizes an important distinction between the `intrinsic' and `effective' preferences of solutes for interfaces. DST predicts that three classes of solutes can be distinguished by their intrinsic preference for interfaces. While the surface preference of strong depletants are relatively insensitive to interactions, the surface preference of strong surfactants can be modulated by interactions at the interface. Moreover, DST predicts that the surface preference of weak depletants and weak surfactants can be qualitatively inverted by interactions in the bulk. We also demonstrate that DST can be extended to treat surface polarization effects and to model experimental data. MC simulations validate the accuracy of DST predictions for lattice systems that correspond to molar concentrations.


title: A Note on the Shape Regularity of Worsey-Farin Splits

abstract: We prove three-dimensional Worsey-Farin refinements inherit their parent triangulations' shape-regularity.


title: Beat of a current

abstract: The fluctuation relation, a milestone of modern thermodynamics, is only established when a set of fundamental currents can be measured. Here we prove that it also holds for systems with hidden transitions if observations are carried ``at their own beat,'' that is, by stopping the experiment after a fixed number of visible transitions, rather than the elapse of an external clock time. This suggests that thermodynamic symmetries are more resistant to the loss of information when described in the space of transitions.


title: On the Verge of Solving Rocket League using Deep Reinforcement Learning and Sim-to-sim Transfer

abstract: Autonomously trained agents that are supposed to play video games reasonably well rely either on fast simulation speeds or heavy parallelization across thousands of machines running concurrently. This work explores a third way that is established in robotics, namely sim-to-real transfer, or if the game is considered a simulation itself, sim-to-sim transfer. In the case of Rocket League, we demonstrate that single behaviors of goalies and strikers can be successfully learned using Deep Reinforcement Learning in the simulation environment and transferred back to the original game. Although the implemented training simulation is to some extent inaccurate, the goalkeeping agent saves nearly 100% of its faced shots once transferred, while the striking agent scores in about 75% of cases. Therefore, the trained agent is robust enough and able to generalize to the target domain of Rocket League.


title: The Taylor-Wiles method for reductive groups

abstract: We construct a local deformation problem for residual Galois representations $\bar{\rho}$ valued in an arbitrary reductive group $\hat{G}$ which we use to develop a variant of the Taylor-Wiles method. Our generalization allows Taylor-Wiles places for which the image of Frobenius is semisimple, a weakening of the regular semisimple constraint imposed previously in the literature. We introduce the notion of $\hat{G}$-adequate subgroup, our corresponding 'big image' condition. When $\hat{G}$ is a simply connected simple group of type $\mathrm{C}$ or of exceptional type and $\hat{G} \to \mathrm{GL}_n$ is a faithful irreducible representation of minimal dimension, we show that a subgroup is $\hat{G}$-adequate if it is $\mathrm{GL}_n$-irreducible and the residue characteristic is sufficiently large. We apply our ideas to the case $\hat{G} = \mathrm{GSp}_4$ and prove a modularity lifting theorem for abelian surfaces over a totally real field $F$ which holds under weaker hypotheses than in the work of Boxer-Calegari-Gee-Pilloni. We deduce some modularity results for elliptic curves over quadratic extensions of $F$.


title: Pipeline for Antarctic Survey Telescope 3-3 in Yaoan, Yunnan

abstract: AST3-3 is the third robotic facility of the Antarctic Survey Telescopes (AST3) for transient surveys to be deployed at Dome A, Antarctica. Due to the current pandemic, the telescope has been currently deployed at the Yaoan Observation Station in China, starting the commissioning observation and a transient survey. This paper presents a fully automatic data processing system for AST3-3 observations. The transient detection pipeline uses state-of-the-art image subtraction techniques optimised for GPU devices. Image reduction and transient photometry are accelerated by concurrent task methods. Our Python-based system allows for transient detection from wide-field data in a real-time and accurate way. A ResNet-based rotational-invariant neural network was employed to classify the transient candidates. As a result, the system enables auto-generation of transients and their light curves.


title: Holography of the Photon Ring

abstract: Space-based next-generation interferometers propose to measure the Lyapunov exponents of the nearly bound geodesics that comprise the photon ring surrounding the black hole M87*. We argue that these classical Lyapunov exponents equal the quantum Ruelle resonances describing the late-time approach to thermal equilibrium of the quantum microstate holographically dual to any Kerr black hole such as M87*. Moreover, we identify "near-ring regions" in the phase space of fields propagating on Kerr that exhibit critical behavior, including emergent conformal symmetries. These are analogues for sub-extremal Kerr of the much-studied "near-horizon regions" of (near-)extremal black holes. The emergent conformal symmetries greatly constrain the observational predictions for the fine photon ring substructure around M87* and for quasinormal gravitational-wave ringdowns, as well as any proposal for a quantum holographic dual to the Kerr black hole. More generally, we hope that our identification of several universal features of Kerr spectroscopy provides a useful starting point for a bottom-up approach to holography for astrophysical black holes.


title: MM-RealSR: Metric Learning based Interactive Modulation for Real-World Super-Resolution

abstract: Interactive image restoration aims to restore images by adjusting several controlling coefficients, which determine the restoration strength. Existing methods are restricted in learning the controllable functions under the supervision of known degradation types and levels. They usually suffer from a severe performance drop when the real degradation is different from their assumptions. Such a limitation is due to the complexity of real-world degradations, which can not provide explicit supervision to the interactive modulation during training. However, how to realize the interactive modulation in real-world super-resolution has not yet been studied. In this work, we present a Metric Learning based Interactive Modulation for Real-World Super-Resolution (MM-RealSR). Specifically, we propose an unsupervised degradation estimation strategy to estimate the degradation level in real-world scenarios. Instead of using known degradation levels as explicit supervision to the interactive mechanism, we propose a metric learning strategy to map the unquantifiable degradation levels in real-world scenarios to a metric space, which is trained in an unsupervised manner. Moreover, we introduce an anchor point strategy in the metric learning process to normalize the distribution of metric space. Extensive experiments demonstrate that the proposed MM-RealSR achieves excellent modulation and restoration performance in real-world super-resolution. Codes are available at https://github.com/TencentARC/MM-RealSR.


title: Seeing Around Obstacles with Terahertz Waves

abstract: Traditional imaging systems, such as the eye or cameras, image scenes that lie in the direct line-of-sight (LoS). Most objects are opaque in the optical and infrared regimes and can limit dramatically the field of view (FoV). Current approaches to see around occlusions exploit the multireflection propagation of signals from neighboring surfaces either in the microwave or the optical bands. Using lower frequency signals anatomical information is limited and images suffer from clutter while optical systems encounter diffuse scattering from most surfaces and suffer from path loss, thus limiting the imaging distance. In this work, we show that terahertz (THz) waves can be used to extend visibility to non-line-of-sight (NLoS) while combining the advantages of both spectra. The material properties and roughness of most building surfaces allow for a unique combination of both diffuse and strong specular scattering. As a result, most building surfaces behave as lossy mirrors that enable propagation paths between a THz camera and the NLoS scenes. We propose a mirror folding algorithm that tracks the multireflection propagation of THz waves to 1) correct the image from cluttering and 2) see around occlusions without a priori knowledge of the scene geometry and material properties. To validate the feasibility of the proposed NLoS imaging approach, we carried out a numerical analysis and developed two THz imaging systems to demonstrate real-world NLoS imaging experiments in sub-THz bands (270-300 GHz). The results show the capability of THz radar imaging systems to recover both the geometry and pose of LoS and NLoS objects with centimeter-scale resolution in various multipath propagation scenarios. THz NLoS imaging can operate in low visibility conditions (e.g., night, strong ambient light, smoke) and uses computationally inexpensive image reconstruction algorithms.


title: Augmented Transition Path Theory for Sequences of Events

abstract: Transition path theory provides a statistical description of the dynamics of a reaction in terms of local spatial quantities. In its original formulation, it is limited to reactions that consist of trajectories flowing from a reactant set A to a product set B. We extend the basic concepts and principles of transition path theory to reactions in which trajectories exhibit a specified sequence of events and illustrate the utility of this generalization on examples.


title: Secure and Private Source Coding with Private Key and Decoder Side Information

abstract: The problem of secure source coding with multiple terminals is extended by considering a remote source whose noisy measurements are the correlated random variables used for secure source reconstruction. The main additions to the problem include 1) all terminals noncausally observe a noisy measurement of the remote source; 2) a private key is available to all legitimate terminals; 3) the public communication link between the encoder and decoder is rate-limited; and 4) the secrecy leakage to the eavesdropper is measured with respect to the encoder input, whereas the privacy leakage is measured with respect to the remote source. Exact rate regions are characterized for a lossy source coding problem with a private key, remote source, and decoder side information under security, privacy, communication, and distortion constraints. By replacing the distortion constraint with a reliability constraint, we obtain the exact rate region also for the lossless case. Furthermore, the lossy rate region for scalar discrete-time Gaussian sources and measurement channels is established.


title: Accelerating the Training of Video Super-Resolution Models

abstract: Despite that convolution neural networks (CNN) have recently demonstrated high-quality reconstruction for video super-resolution (VSR), efficiently training competitive VSR models remains a challenging problem. It usually takes an order of magnitude more time than training their counterpart image models, leading to long research cycles. Existing VSR methods typically train models with fixed spatial and temporal sizes from beginning to end. The fixed sizes are usually set to large values for good performance, resulting to slow training. However, is such a rigid training strategy necessary for VSR? In this work, we show that it is possible to gradually train video models from small to large spatial/temporal sizes, i.e., in an easy-to-hard manner. In particular, the whole training is divided into several stages and the earlier stage has smaller training spatial shape. Inside each stage, the temporal size also varies from short to long while the spatial size remains unchanged. Training is accelerated by such a multigrid training strategy, as most of computation is performed on smaller spatial and shorter temporal shapes. For further acceleration with GPU parallelization, we also investigate the large minibatch training without the loss in accuracy. Extensive experiments demonstrate that our method is capable of largely speeding up training (up to $6.2\times$ speedup in wall-clock training time) without performance drop for various VSR models. The code is available at https://github.com/TencentARC/Efficient-VSR-Training.


title: Tensor-based Collaborative Filtering With Smooth Ratings Scale

abstract: Conventional collaborative filtering techniques don't take into consideration the effect of discrepancy in users' rating perception. Some users may rarely give 5 stars to items while others almost always assign 5 stars to the chosen item. Even if they had experience with the same items this systematic discrepancy in their evaluation style will lead to the systematic errors in the ability of recommender system to effectively extract right patterns from data. To mitigate this problem we introduce the ratings' similarity matrix which represents the dependency between different values of ratings on the population level. Hence, if on average the correlations between ratings exist, it is possible to improve the quality of proposed recommendations by off-setting the effect of either shifted down or shifted up users' rates.


title: Towards Climate Awareness in NLP Research

abstract: The climate impact of AI, and NLP research in particular, has become a serious issue given the enormous amount of energy that is increasingly being used for training and running computational models. Consequently, increasing focus is placed on efficient NLP. However, this important initiative lacks simple guidelines that would allow for systematic climate reporting of NLP research. We argue that this deficiency is one of the reasons why very few publications in NLP report key figures that would allow a more thorough examination of environmental impact. As a remedy, we propose a climate performance model card with the primary purpose of being practically usable with only limited information about experiments and the underlying computer hardware. We describe why this step is essential to increase awareness about the environmental impact of NLP research and, thereby, paving the way for more thorough discussions.


title: Learning Visual Styles from Audio-Visual Associations

abstract: From the patter of rain to the crunch of snow, the sounds we hear often convey the visual textures that appear within a scene. In this paper, we present a method for learning visual styles from unlabeled audio-visual data. Our model learns to manipulate the texture of a scene to match a sound, a problem we term audio-driven image stylization. Given a dataset of paired audio-visual data, we learn to modify input images such that, after manipulation, they are more likely to co-occur with a given input sound. In quantitative and qualitative evaluations, our sound-based model outperforms label-based approaches. We also show that audio can be an intuitive representation for manipulating images, as adjusting a sound's volume or mixing two sounds together results in predictable changes to visual style. Project webpage: https://tinglok.netlify.app/files/avstyle


title: The Ariel Target List: The Impact of TESS and the Potential for Characterising Multiple Planets Within a System

abstract: The ESA Ariel mission has been adopted for launch in 2029 and will conduct a survey of around one thousand exoplanetary atmospheres during its primary mission life. By providing homogeneous datasets, with a high SNR and wide wavelength coverage, Ariel will unveil the atmospheric demographics of these far-away worlds, helping to constrain planet formation and evolution processes on a galactic scale. Ariel seeks to undertake a statistical survey of a diverse population of planets and, therefore, the sample of planets from which this selection can be made is of the utmost importance. While many suitable targets have already been found, hundreds more will be discovered before the mission is operational. Previous studies have used predictions of exoplanet detections to forecast the available planet population by the launch date of Ariel, with the most recent noting that the Transiting Exoplanet Survey Satellite (TESS) alone should provide over a thousand potential targets. In this work, we consider the planet candidates found to date by TESS to show that, with the addition of already confirmed planets, Ariel will already have a more than sufficient sample to choose its target list from once these candidates are validated. We showcase the breadth of this population as well as exploring, for the first time, the ability of Ariel to characterise multiple planets within a single system. Comparative planetology of worlds orbiting the same star, as well as across the wider population, will undoubtedly revolutionise our understanding of planet formation and evolution.


title: The SLE loop via conformal welding of quantum disks

abstract: We prove that the SLE$_\kappa$ loop measure arises naturally from the conformal welding of two $\gamma$-Liouville quantum gravity (LQG) disks for $\gamma^2 = \kappa \in (0,4)$. The proof relies on our companion work on conformal welding of LQG disks and uses as an essential tool the concept of uniform embedding of LQG surfaces. Combining our result with work of Gwynne and Miller, we get that random quadrangulations decorated by a self-avoiding polygon converge in the scaling limit to the LQG sphere decorated by the SLE$_{8/3}$ loop. Our result is also a key input to recent work of the first and third coauthors on the integrability of the conformal loop ensemble.


title: Finding minimum spanning trees via local improvements

abstract: We consider a family of local search algorithms for the minimum-weight spanning tree, indexed by a parameter $\rho$. One step of the local search corresponds to replacing a connected induced subgraph of the current candidate graph whose total weight is at most $\rho$ by the minimum spanning tree (MST) on the same vertex set. Fix a non-negative random variable $X$, and consider this local search problem on the complete graph $K_n$ with independent $X$-distributed edge weights. Under rather weak conditions on the distribution of $X$, we determine a threshold value $\rho^*$ such that the following holds. If the starting graph (the "initial candidate MST") is independent of the edge weights, then if $\rho > \rho^*$ local search can construct the MST with high probability (tending to $1$ as $n \to \infty$), whereas if $\rho < \rho^*$ it cannot with high probability.


title: Reduce Information Loss in Transformers for Pluralistic Image Inpainting

abstract: Transformers have achieved great success in pluralistic image inpainting recently. However, we find existing transformer based solutions regard each pixel as a token, thus suffer from information loss issue from two aspects: 1) They downsample the input image into much lower resolutions for efficiency consideration, incurring information loss and extra misalignment for the boundaries of masked regions. 2) They quantize $256^3$ RGB pixels to a small number (such as 512) of quantized pixels. The indices of quantized pixels are used as tokens for the inputs and prediction targets of transformer. Although an extra CNN network is used to upsample and refine the low-resolution results, it is difficult to retrieve the lost information back.To keep input information as much as possible, we propose a new transformer based framework "PUT". Specifically, to avoid input downsampling while maintaining the computation efficiency, we design a patch-based auto-encoder P-VQVAE, where the encoder converts the masked image into non-overlapped patch tokens and the decoder recovers the masked regions from inpainted tokens while keeping the unmasked regions unchanged. To eliminate the information loss caused by quantization, an Un-Quantized Transformer (UQ-Transformer) is applied, which directly takes the features from P-VQVAE encoder as input without quantization and regards the quantized tokens only as prediction targets. Extensive experiments show that PUT greatly outperforms state-of-the-art methods on image fidelity, especially for large masked regions and complex large-scale datasets. Code is available at https://github.com/liuqk3/PUT


title: Unconditional Stability Of A Two-Step Fourth-Order Modified Explicit Euler/Crank-Nicolson Approach For Solving Time-Variable Fractional Mobile-Immobile Advection-Dispersion Equation

abstract: This paper considers a two-step fourth-order modified explicit Euler/Crank-Nicolson numerical method for solving the time-variable fractional mobile-immobile advection-dispersion model subjects to suitable initial and boundary conditions. Both stability and error estimates of the new approach are deeply analyzed in the $L^{\infty}(0,T;L^{2})$-norm. The theoretical studies show that the proposed technique is unconditionally stable with convergence of order $O(k+h^{4})$, where $h$ and $k$ are space step and time step, respectively. This result indicate that the two-step fourth-order formulation is more efficient than a broad range of numerical schemes widely studied in the literature for the considered problem. Numerical experiments are performed to verify the unconditional stability and convergence rate of the developed algorithm.


title: Modeling Operational Fairness of Hybrid Cloud Brokerage

abstract: Cloud service brokerage is an emerging technology that attempts to simplify the consumption and operation of hybrid clouds. Today's cloud brokers attempt to insulate consumers from the vagaries of multiple clouds. To achieve the insulation, the modern cloud broker needs to disguise itself as the end-provider to consumers by creating and operating a virtual data center construct that we call a meta-cloud, which is assembled on top of a set of participating supplier clouds. It is crucial for such a cloud broker to be considered a trusted partner both by cloud consumers and by the underpinning cloud suppliers. A fundamental tenet of brokerage trust is vendor neutrality. On the one hand, cloud consumers will be comfortable if a cloud broker guarantees that they will not be led through a preferred path. And on the other hand, cloud suppliers would be more interested in partnering with a cloud broker who promises a fair apportioning of client provisioning requests. Because consumer and supplier trust on a meta-cloud broker stems from the assumption of being agnostic to supplier clouds, there is a need for a test strategy that verifies the fairness of cloud brokerage. In this paper, we propose a calculus of fairness that defines the rules to determine the operational behavior of a cloud broker. The calculus uses temporal logic to model the fact that fairness is a trait that has to be ascertained over time; it is not a characteristic that can be judged at a per-request fulfillment level. Using our temporal calculus of fairness as the basis, we propose an algorithm to determine the fairness of a broker probabilistically, based on its observed request apportioning policies. Our model for the fairness of cloud broker behavior also factors in inter-provider variables such as cost divergence and capacity variance.


title: On 3-Dimensional Quantum Gravity and Quasi-Local Holography in Spin Foam Models and Group Field Theory

abstract: This thesis is devoted to the study of 3-dimensional quantum gravity as a spin foam model and group field theory. In the first part of this thesis, we review some general physical and mathematical aspects of 3-dimensional gravity, focusing on its topological nature. Afterwards, we review some important aspects of the Ponzano-Regge spin foam model for 3-dimensional Riemannian quantum gravity and explain in some details how it is related to the discretized path integral of general relativity in its first-order formulation. Furthermore, we discuss briefly some related spin foam models and review the notion of spin network states in order to properly define transition amplitudes of these models. The main results of this thesis are contained in the second part. We start by reviewing the Boulatov group field theory and explain how it is related to the Ponzano-Regge model and some advantages of introducing colouring. Afterwards, we give a very detailed review of the topology of coloured graphs with non-empty boundary and review techniques, which are devolved in crystallization theory, a branch of geometric topology. In the last part of this chapter, we apply these techniques in order to define suitable boundary observables and transition amplitudes of this model and in order to set up a formalism for dealing with transition amplitudes in the coloured Boulatov model in a more systematic way by writing them as topological expansions. We also apply these techniques to the simplest possible boundary state representing a 2-sphere. Last but not least, we review some results regarding quasi-local holography in the Ponzano-Regge model, construct some explicit examples of coloured graphs representing manifolds with torus boundary and discuss the transition amplitude of some fixed boundary graph representing a 2-torus.


title: The multivariate ARMA/CARMA transformation relation

abstract: A transformation relation between multivariate ARMA and CARMA processes is derived through a discretization procedure. This gives a direct relationship between the discrete time and continuous time analogues, serving as the basis for an estimation method for multivariate CARMA models. We will see that the autoregressive coefficients, making up the deterministic part of a multivariate CARMA model, are entirely given by the transformation relation. An Euler discretization convergence rate of jump diffusions is found for the case of small jumps of infinite variation. This substantiates applying the transformation relation for estimation of multivariate CARMA models driven by NIG-L\'evy processes. A two-dimensional CAR model is fit to stratospheric temperature and wind data, as an example of how to apply the transformation relation in estimation methods.


title: Breitenlohner-Freedman bound on hyperbolic tilings

abstract: We establish how the Breitenlohner-Freedman (BF) bound is realized on tilings of two-dimensional Euclidean Anti-de Sitter space. For the continuum, the BF bound states that on Anti-de Sitter spaces, fluctuation modes remain stable for small negative mass-squared $m^2$. This follows from a real and positive total energy of the gravitational system. For finite cutoff $\varepsilon$, we solve the Klein-Gordon equation numerically on regular hyperbolic tilings. When $\varepsilon\to0$, we find that the continuum BF bound is approached in a manner independent of the tiling. We confirm these results via simulations of a hyperbolic electric circuit. Moreover, we propose a novel circuit including active elements that allows to further scan values of $m^2$ above the BF bound.


title: A Novel Solution for Resonant Scattering Using Self-Consistent Boundary Conditions

abstract: We present two novel additions to the semi-analytic solution of Lyman $\alpha$ (Ly$\alpha$) radiative transfer in spherical geometry: (1) implementation of the correct boundary condition for a steady source, and (2) solution of the time-dependent problem for an impulsive source. For the steady-state problem, the solution can be represented as a sum of two terms: a previously-known analytic solution of the equation with mean intensity $J=0$ at the surface, and a novel, semi-analytic solution which enforces the correct boundary condition of zero-ingoing intensity at the surface. This solution is compared to that of the Monte Carlo method, which is valid at arbitrary optical depth. It is shown that the size of the correction is of order unity when the spectral peaks approach the Doppler core and decreases slowly with line center optical depth, specifically as $(a \tau_0)^{-1/3}$, which may explain discrepancies seen in previous studies. For the impulsive problem, the time, spatial, and frequency dependence of the solution are expressed using an eigenfunction expansion in order to characterize the escape time distribution and emergent spectra of photons. It is shown that the lowest-order eigenfrequency agrees well with the decay rate found in the Monte Carlo escape time distribution at sufficiently large line-center optical depths. The characterization of the escape-time distribution highlights the potential for a Monte Carlo acceleration method, which would sample photon escape properties from distributions rather than calculating every photon scattering, thereby reducing computational demand.

categories: astro-ph.EP astro-ph.GA astro-ph.IM astro-ph.SR physics.optics


title: Power spectrum of domain-wall network and its implications for isotropic and anisotropic cosmic birefringence

abstract: Recently, based on a novel analysis of the Planck satellite data, a hint of a uniform rotation of the polarization of cosmic microwave background photons, called isotropic cosmic birefringence, has been reported. The suggested rotation angle of polarization of about $0.2-0.4$ degrees strongly suggests that it is determined by the fine structure constant, which can be naturally explained over a very wide parameter range by the domain walls of axion-like particles. Interestingly, the axion-like particle domain walls predict not only isotropic cosmic birefringence but also anisotropic one that reflects the spatial distribution of the axion-like particle field on the last scattering surface. In this Letter, we perform lattice simulations of the formation and evolution of domain walls in the expanding universe and obtain for the first time the two-point correlation function and power spectrum of the scalar field that constitutes the domain walls. We find that while the power spectrum is generally consistent with analytical predictions based on random wall distributions, there is a predominant excess on the scale corresponding to the Hubble radius. Applying our results to the anisotropic cosmic birefringence, we predict the power spectrum of the rotation angles induced by the axion-like particle domain walls and show that it is within the reach of future observations of the cosmic microwave background.


title: Bias and Priors in Machine Learning Calibrations for High Energy Physics

abstract: Machine learning offers an exciting opportunity to improve the calibration of nearly all reconstructed objects in high-energy physics detectors. However, machine learning approaches often depend on the spectra of examples used during training, an issue known as prior dependence. This is an undesirable property of a calibration, which needs to be applicable in a variety of environments. The purpose of this paper is to explicitly highlight the prior dependence of some machine learning-based calibration strategies. We demonstrate how some recent proposals for both simulation-based and data-based calibrations inherit properties of the sample used for training, which can result in biases for downstream analyses. In the case of simulation-based calibration, we argue that our recently proposed Gaussian Ansatz approach can avoid some of the pitfalls of prior dependence, whereas prior-independent data-based calibration remains an open problem.


title: A Mathematical Treatment of the Offset Microlensing Degeneracy

abstract: The offset microlensing degeneracy, recently proposed by Zhang et al. (2022), has been shown to generalize the close-wide and inner-outer caustic degeneracies into a unified regime of magnification degeneracy in the interpretation of 2-body planetary microlensing observations. While the inner-outer degeneracy expects the source trajectory to pass equidistant to the planetary caustics of the degenerate lens configurations, the offset degeneracy states that the same mathematical expression applies to any combination of the close, wide, and resonant caustic topologies, where the projected star-planet separations differ by an offset ($s_{\rm A}\neq s_{\rm B}$) that depends on where the source trajectory crosses the star-planet axis. An important implication is that the $s_{\rm A}=1/s_{\rm B}$ solution of the close-wide degeneracy never strictly manifests in observations except when the source crosses a singular point near the primary. Nevertheless, the offset degeneracy was proposed upon numerical calculations, and no theoretical justification was given. Here, we provide a theoretical treatment of the offset degeneracy, which demonstrates its nature as a mathematical degeneracy. From first principles, we show that the offset degeneracy formalism is exact to zeroth-order in the mass ratio ($q$) for two cases: when the source crosses the lens-axis inside of caustics, and for $(s_{\rm A}-s_{\rm B})^6\ll1$ when crossing outside of caustics. The extent to which the offset degeneracy persists in oblique source trajectories is explored numerically. Lastly, it is shown that the superposition principle allows for a straightforward generalization to $N$-body microlenses with $N-1$ planetary lens components ($q\ll1$), which results in a $2^{N-1}$-fold degeneracy.

categories: astro-ph.EP astro-ph.GA astro-ph.IM astro-ph.SR


title: Non-invertible Global Symmetries in the Standard Model

abstract: We identify infinitely many non-invertible generalized global symmetries in QED and QCD for the real world in the massless limit. In QED, while there is no conserved Noether current for the $U(1)_\text{A}$ axial symmetry because of the ABJ anomaly, for every rational angle $2\pi p/N$, we construct a conserved and gauge-invariant topological symmetry operator. Intuitively, it is a composition of the axial rotation and a fractional quantum Hall state coupled to the electromagnetic $U(1)$ gauge field. These conserved symmetry operators do not obey a group multiplication law, but a non-invertible fusion algebra over TQFT coefficients. They act invertibly on all local operators as axial rotations, but non-invertibly on the 't Hooft lines. These non-invertible symmetries lead to selection rules, which are consistent with the scattering amplitudes in QED. We further generalize our construction to QCD, and show that the coupling $\pi^0 F\wedge F$ in the effective pion Lagrangian is necessary to match these non-invertible symmetries in the UV. Therefore, the conventional argument for the neutral pion decay using the ABJ anomaly is now rephrased as a matching condition of a generalized global symmetry.


title: Spin-Orbit Enhanced Superconductivity in Bernal Bilayer Graphene

abstract: In the presence of a large perpendicular electric field, Bernal-stacked bilayer graphene (BLG) features several broken-symmetry metallic phases as well as magnetic-field-induced superconductivity. The superconducting state is quite fragile, however, appearing only in a narrow window of density and with a maximum critical temperature $T_c\approx30$~mK. Here, we show that placing monolayer tungsten diselenide (WSe$_{2}$) on BLG promotes Cooper pairing to an extraordinary degree: superconductivity appears at zero magnetic field, exhibits an order of magnitude enhancement in $T_c$, and occurs over a density range that is wider by a factor of eight. By mapping quantum oscillations in BLG-WSe$_2$ as a function of electric field and doping, we establish that superconductivity emerges throughout a region whose normal state is polarized, with two out of four spin-valley flavours predominantly populated. In-plane magnetic field measurements further reveal a striking dependence of the critical field on doping, with the Chandrasekhar-Clogston (Pauli) limit roughly obeyed on one end of the superconducting dome yet sharply violated on the other. Moreover, the superconductivity arises only for perpendicular electric fields that push BLG hole wavefunctions towards WSe$_2$ -- suggesting that proximity-induced (Ising) spin-orbit coupling plays a key role in enhancing the pairing. Our results pave the way for engineering robust, highly tunable, and ultra-clean graphene-based superconductors.


title: Optimal broad-band frequency conversion via a magnomechanical transducer

abstract: Developing schemes for efficient and broad-band frequency conversion of quantum signals is an ongoing challenge in the field of modern quantum information. Especially the coherent conversion between microwave and optical signals is an important milestone towards long-distance quantum communication. In this work, we propose a two-stage conversion protocol, employing a resonant interaction between magnetic and mechanical excitations as a mediator between microwave and optical photons. Based on estimates for the coupling strengths under optimized conditions for yttrium iron garnet, we predict close to unity conversion efficiency without the requirement of matching cooperativities. We predict a conversion bandwidth in the regions of largest efficiency on the order of magnitude of the coupling strengths which can be further increased at the expense of reduced conversion efficiency.


title: The first hard X-ray spectral catalogue of Blazars observed by NuSTAR

abstract: Blazars are a peculiar class of active galactic nuclei (AGNs) that enlighten the sky at all wavelengths. The electromagnetic emission of these sources is jet-dominated resulting in a spectral energy distribution (SED) that has a typical double-humped shape. X-ray photons provide a wealth of information on the physics of each source as in the X-ray band we can observe the tail of SED first peak, the rise of the second one or the transition between the two. NuSTAR, thanks to its capability of focusing X-rays up to 79 keV provides broadband data particularly suitable to compute SEDs in a still poorly explored part of the spectrum. In the context of the Open Universe initiative we developed a dedicated pipeline, NuSTAR_Spectra, a shell-script that automatically downloads data from the archive, generates scientific products and carries out a complete spectral analysis. The script homogeneously extracts high level scientific products for both NuSTAR's telescopes and the spectral characterisation is performed testing two phenomenological models. The corresponding X-ray properties are derived from the data best-fit and the SEDs are also computed. The systematic processing of all blazar observations of the NuSTAR public archive allowed us to release the first hard X-ray spectroscopic catalogue of blazars (NuBlazar). The catalogue, updated to September 30th, 2021, includes 253 observations of 126 distinct blazars, 30 of which have been multiply observed.


title: CLEAR: The Ionization and Chemical-Enrichment Properties of Galaxies at 1.1 < z < 2.3

abstract: We use deep spectroscopy from the Hubble Space Telescope (HST) Wide-Field-Camera 3 (WFC3) IR grisms combined with broad-band photometry to study the stellar populations, gas ionization and chemical abundances in star-forming galaxies at $z\sim 1.1-2.3$. The data stem from the CANDELS Lyman-$\alpha$ Emission At Reionization (CLEAR) survey. At these redshifts the grism spectroscopy measure the [OII] 3727, 3729, [OIII] 4959, 5008, H-$\beta$ strong emission features, which constrain the ionization parameter and oxygen abundance of the nebular gas. We compare the line flux measurements to predictions from updated photoionization models (MAPPINGS (Kewley et al. 2019), which include an updated treatment of nebular gas pressure, log P/k = $n_e T_e$. Compared to low-redshift samples ($z\sim 0.2$) at fixed stellar mass, llog M / M$_\odot$ = 9.4-9.8, the CLEAR galaxies at z=1.35 (z=1.90) have lower gas-phase metallicity, $\Delta$(log Z) = 0.25 (0.35) dex, and higher ionization parameters, $\Delta$(log q) = 0.25 (0.35) dex, where U = q/c. We provide updated analytic calibrations between the [OIII], [OII], and H-$\beta$ emission line ratios, metallicity, and ionization parameter. The CLEAR galaxies show that at fixed stellar mass, the gas ionization parameter is correlated with the galaxy specific star-formation rates (sSFRs), where $\Delta$ log q = 0.4 $\Delta$(log sSFR), derived from changes in the strength of galaxy H-$\beta$ equivalent width. We interpret this as a consequence of higher gas densities, lower gas covering fractions, combined with higher escape fraction of H-ionizing photons. We discuss both tests to confirm these assertions and implications this has for future observations of galaxies at higher redshifts.


title: RG flow between $W_3$ minimal models by perturbation and domain wall approaches

abstract: We explore the RG flow between neighboring minimal CFT models with $W_3$ symmetry. After computing several classes of OPE structure constants we were able to find the matrices of anomalous dimensions for three classes of RG invariant sets of local fields. Each set from the first class consists of a single primary field, the second one of three primaries, while sets in the third class contain six primary and four secondary fields. We diagonalize their matrices of anomalous dimensions and establish the explicit maps between UV and IR fields (mixing coefficients). While investigating the three point functions of secondary fields we have encountered an interesting phenomenon, namely violation of holomorphic anti-holomorphic factorization property, something that does not happen in ordinary minimal models with Virasoro symmetry solely. Furthermore, the perturbation under consideration preserves a non-trivial subgroup of $W$ transformations. We have derived the corresponding conserved current explicitly. We used this current to define a notion of anomalous $W$-weights in perturbed theory: the analog for matrix of anomalous dimensions. For RG invariant sets with primary fields only we have derived a formula for this quantity in terms of structure constants. This allowed us to compute anomalous $W$-weights for the first and second classes explicitly. The same RG flow we investigate also with the domain wall approach for the second RG invariant class and find complete agreement with the perturbative approach.


title: Problems with Cosine as a Measure of Embedding Similarity for High Frequency Words

abstract: Cosine similarity of contextual embeddings is used in many NLP tasks (e.g., QA, IR, MT) and metrics (e.g., BERTScore). Here, we uncover systematic ways in which word similarities estimated by cosine over BERT embeddings are understated and trace this effect to training data frequency. We find that relative to human judgements, cosine similarity underestimates the similarity of frequent words with other instances of the same word or other words across contexts, even after controlling for polysemy and other factors. We conjecture that this underestimation of similarity for high frequency words is due to differences in the representational geometry of high and low frequency words and provide a formal argument for the two-dimensional case.


title: Richer Countries and Richer Representations

abstract: We examine whether some countries are more richly represented in embedding space than others. We find that countries whose names occur with low frequency in training corpora are more likely to be tokenized into subwords, are less semantically distinct in embedding space, and are less likely to be correctly predicted: e.g., Ghana (the correct answer and in-vocabulary) is not predicted for, "The country producing the most cocoa is [MASK].". Although these performance discrepancies and representational harms are due to frequency, we find that frequency is highly correlated with a country's GDP; thus perpetuating historic power and wealth inequalities. We analyze the effectiveness of mitigation strategies; recommend that researchers report training word frequencies; and recommend future work for the community to define and design representational guarantees.


title: Boosting to BMS

abstract: Bondi-Metzner-Sachs (BMS) symmetries, or equivalently Conformal Carroll symmetries, are intrinsically associated to null manifolds and in two dimensions can be obtained as an In{\"o}n{\"u}-Wigner contraction of the two-dimensional ($2d$) relativistic conformal algebra. Instead of performing contractions, we demonstrate in this paper how this transmutation of symmetries can be achieved by infinite boosts or degenerate linear transformations on coordinates. Taking explicit cues from the worldsheet theory of null strings, we show boosting the system is equivalent to adding a current-current deformation term to the Hamiltonian. As the strength of this deformation term reaches a critical value, the classical symmetry algebra "flows" from two copies of Virasoro to the BMS algebra. We further explore the situation where the CFT coordinates are asymmetrically transformed, and degenerate limits lead to chiral theories.


title: Design and Implementation of a Secure RISC-V Microprocessor

abstract: Secret keys can be extracted from the power consumption or electromagnetic emanations of unprotected devices. Traditional counter-measures have limited scope of protection, and impose several restrictions on how sensitive data must be manipulated. We demonstrate a bit-serial RISC-V microprocessor implementation with no plain-text data. All values are protected using Boolean masking. Software can run with little to no counter-measures, reducing code size and performance overheads. Unlike previous literature, our methodology is fully automated and can be applied to designs of arbitrary size or complexity. We also provide details on other key components such as clock randomizer, memory protection, and random number generator. The microprocessor was implemented in 65 nm CMOS technology. Its implementation was evaluated using NIST tests as well as side channel attacks. Random numbers generated with our RNG pass on all NIST tests. Side-channel analysis on the baseline implementation extracted the AES key using only 375 traces, while our secure microprocessor was able to withstand attacks using 20 M traces.


title: The First High-Contrast Images of X-Ray Binaries: Detection of Candidate Companions in the $\gamma$ Cas Analog RX J1744.7$-$2713

abstract: X-ray binaries provide exceptional laboratories for understanding the physics of matter under the most extreme conditions. Until recently, there were few, if any, observational constraints on the circumbinary environments of X-ray binaries at $\sim$ 100-5000 AU scales; it remains unclear how the accretion onto the compact objects or the explosions giving rise to the compact objects interact with their immediate surroundings. Here, we present the first high-contrast adaptive optics images of X-ray binaries. These observations target all X-ray binaries within $\sim$ 3 kpc accessible with the Keck/NIRC2 vortex coronagraph. This paper focuses on one of the first key results from this campaign: our images reveal the presence of 21 sources potentially associated with the $\gamma$ Cassiopeiae analog high-mass X-ray binary RX J1744.7$-$2713. By conducting different analyses - a preliminary proper motion analysis, a color-magnitude diagram and a probability of chance alignment calculation - we found that three of these 21 sources have a high probability of being bound to the system. If confirmed, they would be in wide orbits ($\sim$ 450 AU to 2500 AU). While follow-up astrometric observations will be needed in $\sim$ 5-10 years to confirm further the bound nature of these detections, these discoveries emphasize that such observations may provide a major breakthrough in the field. In fact, they would be useful not only for our understanding of stellar multiplicity but also for our understanding of how planets, brown dwarfs and stars can form even in the most extreme environments.


title: An X-ray View of the Ambiguous Nuclear Transient AT2019pev

abstract: AT2019pev is a nuclear transient in a narrow-line Seyfert 1 galaxy at $z=0.096$. The archival ultraviolet, optical and infrared data showed features of both tidal disruption events (TDEs) and active galactic nuclei (AGNs), and its nature is not fully understood. We present detailed X-ray observations of AT2019pev taken with Swift, Chandra and NICER over 173 days of its evolution since the first Swift XRT epoch. The X-ray luminosity increases by a factor of five in five days from the first Swift XRT epoch to the lightcurve peak. The lightcurve decays by a factor of ten over $\sim$75 days and then flattens with a weak re-brightening trend at late times. The X-ray spectra show a "harder-when-brighter" trend before peak and a "harder-when-fainter" trend after peak, which may indicate a transition of accretion states. The archival ground-based optical observations show similar time evolution as the X-ray lightcurves. Beyond the seasonal limit of the ground-based observations, the Gaia lightcurve is rising toward an equally bright or brighter peak 223 days after the optical discovery. Combining our X-ray analysis and archival multi-wavelength data, AT2019pev more closely resembles an AGN transient.


title: Graph-theoretic approach to Bell experiments with low detection efficiency

abstract: Bell inequality tests where the detection efficiency is below a certain threshold $\eta_{\rm{crit}}$ can be simulated with local hidden-variable models. Here, we introduce a method to identify Bell tests requiring low $\eta_{\rm{crit}}$ and relatively low dimension $d$ of the local quantum systems. The method has two steps. First, we show a family of bipartite Bell inequalities for which, for correlations produced by maximally entangled states, $\eta_{\rm{crit}}$ can be upper bounded by a function of some invariants of graphs, and use it to identify correlations that require small $\eta_{\rm{crit}}$. We present examples in which, for maximally entangled states, $\eta_{\rm{crit}} \le 0.516$ for $d=16$, $\eta_{\rm{crit}} \le 0.407$ for $d=28$, and $\eta_{\rm{crit}} \le 0.326$ for $d=32$. We also show evidence that the upper bound for $\eta_{\rm{crit}}$ can be lowered down to $0.415$ for $d=16$ and present a method to make the upper bound of $\eta_{\rm{crit}}$ arbitrarily small by increasing the dimension and the number of settings. All these upper bounds for $\eta_{\rm{crit}}$ are valid (as it is the case in the literature) assuming no noise. The second step is based on the observation that, using the initial state and measurement settings identified in the first step, we can construct Bell inequalities with smaller $\eta_{\rm{crit}}$ and better noise robustness. For that, we use a modified version of Gilbert's algorithm that takes advantage of the automorphisms of the graphs used in the first step. We illustrate its power by explicitly developing an example in which $\eta_{\rm{crit}}$ is $12.38\%$ lower and the required visibility is $14.62\%$ lower than the upper bounds obtained in the first step. The tools presented here may allow for developing high-dimensional loophole-free Bell tests and loophole-free Bell nonlocality over long distances.


title: Modelling the host galaxies of binary compact object mergers with observational scaling relations

abstract: The merger rate density evolution of binary compact objects and the properties of their host galaxies carry crucial information to understand the sources of gravitational waves. Here, we present galaxyRate, a new code that estimates the merger rate density of binary compact objects and the properties of their host galaxies, based on observational scaling relations. We generate our synthetic galaxies according to the galaxy stellar mass function. We estimate the metallicity according to both the mass-metallicity relation (MZR) and the fundamental metallicity relation (FMR). Also, we take into account galaxy-galaxy mergers and the evolution of the galaxy properties from the formation to the merger of the binary compact object. We find that the merger rate density changes dramatically depending on the choice of the star-forming galaxy main sequence, especially in the case of binary black holes (BBHs) and black hole neutron star systems (BHNSs). The slope of the merger rate density of BBHs and BHNSs is steeper if we assume the MZR with respect to the FMR, because the latter predicts a shallower decrease of metallicity with redshift. In contrast, binary neutron stars (BNSs) are only mildly affected by both the galaxy main sequence and metallicity relation. Overall, BBHs and BHNSs tend to form in low-mass metal-poor galaxies and merge in high-mass metal-rich galaxies, while BNSs form and merge in massive galaxies. We predict that passive galaxies host at least ~5-10%, ~15-25%, and ~15-35% of all BNS, BHNS and BBH mergers in the local Universe.

categories: astro-ph.HE astro-ph.CO astro-ph.GA astro-ph.SR


title: Bounds on Path Energy of Graphs

abstract: Given a graph $M,$ path eigenvalues are eigenvalues of its path matrix. The path energy of a simple graph $M$ is equal to the sum of the absolute values of the path eigenvalues of the graph $M$ (Shikare et. al, 2018). We have discovered new upper constraints on path energy in this study, expressed in terms of a graph's maximum degree. Additionally, a relationship between a graph's energy and path energy is given.


title: Non-Unitary Mixing Matrices in Neutrino and Vector-like Quark Models

abstract: This work analyses a class of extensions of the Standard Model through the lens of a novel exact parameterisation. This parameterisation is specially suitable to the analysis of extensions of the Standard Model with non-unitary mixing matrices, like models with vector-like fermions or right-handed neutrinos. The usefulness of this parameterisation is motivated with two example models: A) Standard Model with the addition of $n_u$ up and $n_d$ down singlet vector-like quarks and B) Standard Model with the addition of $n_R$ right-handed neutrinos.