title: Tuning the electronic band structure in a kagome ferromagnetic metal via magnetization

abstract: Materials with zero energy band gap display intriguing properties including high sensitivity of the electronic band structure to external stimulus such as pressure or magnetic field. An interesting candidate for zero energy band gap are Weyl nodes at the Fermi level EF. A prerequisite for the existence of Weyl nodes is to either have inversion or time reversal symmetry broken. Weyl nodes in systems with broken time reversal symmetry are ideal to realize the tunability of the electronic band structure by magnetic field. Theoretically, it has been shown that in ferromagnetic Weyl materials, the band structure is dependent upon the magnetization direction and thus the electronic bands can be tuned by controlling the magnetization direction. Here, we demonstrate tuning of the band structure in a kagome Weyl ferromagnetic metal Fe3Sn2 with magnetization and magnetic field. Owing to spin-orbit coupling, we observe changes in the band structure depending on the magnetization direction that amount to a decrease in the carrier density by a factor of four when the magnetization lies in the kagome plane as compared to when the magnetization is along the c axis. Our discovery opens a way for tuning the carrier density in ferromagnetic materials.


title: Extremal Instability for Topological Black Holes

abstract: The initial idea underlying the Weak Gravity Conjecture is that extremal black holes must always be "unstable", in the sense that they should slowly decay by emitting either particles or smaller black holes. Here we show that, when this idea is applied to the \emph{planar} asymptotically AdS black holes which play a central role in applications of holography, the result, via gauge-gravity duality, is a prediction that there should exist a lower bound on the possible densities of cold strongly coupled matter. Recent observations of neutron stars suggest that, in many cases, even the extreme densities in their cores may not be sufficient to generate quark matter, showing that there is indeed a (very high) lower bound on the possible density of cold quark matter.


title: Isocurvature modes and non-Gaussianity in affine inflation

abstract: Inflationary dynamics driven by multiple fields, especially with nonminimal couplings, allow for highly interesting features such as isocurvature, non-Gaussianity, and preheating. In this paper, we study two-field inflation in the context of purely affine gravity, where the metrical structure results from the dynamics of the spacetime affine connection. We introduce a covariant formulation in the new framework and show that it leads to a curved field space which can produce conspicuous departure from the purely metric gravity. In the case where the fields are canonical, the field manifold gains a conformally flat shape. Interestingly, while the manifold is generally curved, it is possible to be flattened by allowing specific non-canonical field kinetic terms. This in turn simplifies the inflationary dynamics significantly while allowing for new predictions due to the effects of the nonminimal coupling function on the potential solely. We use this new feature in studying two-field inflation driven by quartic potentials for given parameter constants. We perform a numerical solution of the slow-roll dynamics and track the possible non-Gaussianity. We focus on field parameters that allow for spectral indices within the favored region of the Planck results. These are associated to tiny tensor-to-scalar ratios, $r \sim 10^{-6}$ for single field and $r \sim 10^{-4}$ for two-fields. We also show that two-field Higgs inflation may favor a curved field manifold.


title: No Hilton-Milner type results for linear groups of degree two

abstract: A set of permutations $\mathcal{F}$ of a finite transitive permutation group $G\leq \operatorname{Sym}(\Omega)$ is \emph{intersecting} if any pair of elements of $\mathcal{F}$ agree on an element of $\Omega$. We say that $G$ has the \emph{EKR property} if an intersecting set of $G$ has size at most the order of a point stabilizer. Moreover, $G$ has the \emph{strict-EKR} property whenever $G$ has the EKR property and any intersecting set of maximum size is a coset of a point stabilizer of $G$. It is known that the permutation group $\operatorname{GL}_2(\mathbb{F}_q)$ acting on $\Omega_q := \mathbb{F}_q^2\setminus\{0\}$ has the EKR property, but does not have the strict-EKR property since the stabilizer of a hyperplane is a maximum intersecting set. In this paper, it is proved that the Hilton-Milner type result does not hold for $\operatorname{GL}_2(\mathbb{F}_q)$ acting on $\Omega_q$. Precisely, it is shown that a maximal intersecting set of $\operatorname{GL}_2(\mathbb{F}_q)$ is of maximum size. As a result, we prove the Complete Erd\H{o}s-Ko-Rado theorem for $\operatorname{GL}_2(\mathbb{F}_{q})$.


title: Multi-colored dimer models in one-dimension: lattice paths and generalized Rogers--Ramanujan identities

abstract: We define and study multi-colored dimer models on a segment and on a circle. The multivariate generating functions for the dimer models satisfy the recurrence relations similar to the one for Fibonacci numbers. We give closed formulae for the generating functions. We show that, in the large size limit with specializations of the formal variables, the generating functions exhibit the summations appearing in generalized Rogers--Ramanujan identities. Further, the generating functions of the dimer models have infinite product formulae for general values of formal variables in the large size limit. These formulae are generalizations of Rogers--Ramanujan identities for multi variables. We also give other several specializations which exhibit simple combinatorial formulae. The analysis of the correlation functions, which we call emptiness formation probabilities and moments, leads to the application of the formal power series associated to the Dyck, Motzkin and Schr\"oder paths to the generating functions for the dimer models. We give descriptions of the generating functions of finite size in terms of these combinatorial objects, Dyck and Motzkin paths with statistics. We have three additional results. First, the convoluted generating functions for Fibonacci, Catalan and Motzkin numbers are shown to be expressed as generating functions of Fibonacci, Dyck and Motzkin words with the weights given by binomial coefficients. The second one is a weight preserving correspondence between a Motzkin path and a set of Dyck paths. The third one is a connection of the generating functions for the dimer models to the generating functions of independent sets of special classes of graphs.

categories: math.CO cond-mat.stat-mech math-ph math.MP


title: A search for Planet 9 in the IRAS data

abstract: I have carried out a search for Planet 9 in the IRAS data. At the distance range proposed for Planet 9, the signature would be a 60 micron unidentified IRAS point source with an associated nearby source from the IRAS Reject File of sources which received only a single hours-confirmed (HCON) detection. The confirmed source should be detected on the first two HCON passes, but not on the third, while the single HCON should be detected only on the third HCON. I have examined the unidentified sources in three IRAS 60micron catalogues: some can be identified with 2MASS galaxies, Galactic sources or as cirrus. The remaining unidentified sources have been examined with the IRSA Scanpi tool to check for the signature missing HCONs, and for association with IRAS Reject File single HCONs. No matches of interest survive. For a lower mass planet (< 5 earth masses) in the distance range 200-400 AU, we expect a pair or triplet of single HCONs with separations 2-35 arcmin. Several hundred candidate associations are found and have been examined with Scanpi. A single candidate for Planet 9 survives which satisfies the requirements for detected and non-detected HCON passes. A fitted orbit suggest a distance of 225+-15 AU and a mass of 3-5 earth masses. Dynamical simulations are needed to explore whether the candidate is consistent with existing planet ephemerides. If so, a search in an annulus of radius 2.5-4 deg centred on the 1983 position at visible and near infrared wavelengths would be worthwhile.


title: High-resolution laser-induced fluorescence spectroscopy of $^{28}$Si$^{16}$O$^+$ and $^{29}$Si$^{16}$O$^+$ in a cryogenic buffer-gas cell

abstract: The electronic, laser-induced fluorescence spectrum of the $B^2\Sigma^+\leftarrow X^2\Sigma^+$ transition in $^{28}$Si$^{16}$O$^+$ and $^{29}$Si$^{16}$O$^+$ has been recorded in a cryogenic buffer gas cell at $\approx$ 100 K. Molecular constants are extracted for both $^{28}$Si$^{16}$O$^+$ and $^{29}$Si$^{16}$O$^+$, including the Fermi contact hyperfine constant for both the $B$ and $X$ states of $^{29}$Si$^{16}$O$^+$, and used in a discussion of the suitability of SiO$^+$ in future quantum information experiments.


title: New error bounds for Legendre approximations of differentiable functions

abstract: In this paper we present a new perspective on error analysis of Legendre approximations for differentiable functions. We start by introducing a sequence of Legendre-Gauss-Lobatto polynomials and prove their theoretical properties, such as an explicit and optimal upper bound. We then apply these properties to derive a new and explicit bound for the Legendre coefficients of differentiable functions and establish some explicit and optimal error bounds for Legendre projections in the $L^2$ and $L^{\infty}$ norms. Illustrative examples are provided to demonstrate the sharpness of our new results.


title: Wide moments of $L$-functions II: Dirichlet $L$-functions

abstract: We study wide moments of Dirichlet $L$-functions using analytic properties of the Lerch zeta function. Among other things we obtain an asymptotic expansion of wide moments of Dirichlet $L$-functions (with arbitrary twists) extending results of Heath-Brown. We also give applications to non-vanishing.


title: Design of an Adaptive Surface for Space-Reconfigurable Reflectors using Auxetic Lattice Skin

abstract: The effect of Poisson's ratio to the reflector reshaping is investigated through mechanical study of reconfigurable reflectors in this paper. The value of Poisson's ratio corresponding to the minimum deforming stress is given and an auxetic lattice is proposed for the reflector surface. The parameters of the auxetic lattice are investigated for vary Poisson's ratio. A case of reconfigurable reflector is studied, the curvature change and strain are calculated by surface geometry analysis, and the negative Poisson's ratio is established for vary thickness. According to RMS calculation by the FEM structure analysis, the thickness can finally be established.


title: Traveling pulses with oscillatory tails, figure-eight-like stack of isolas, and dynamics in heterogeneous media

abstract: The interplay between 1D traveling pulses with oscillatory tails (TPO) and heterogeneities of bump type is studied for a generalized three-component FitzHugh-Nagumo equation. First, we present that stationary pulses with oscillatory tails (SPO) form a ``snaky'' structure in homogeneous spaces, after which TPO branches form a ``figure-eight-like stack of isolas'' located adjacent to the snaky structure of SPO. Herein, we adopted input resources as a bifurcation parameter. A drift bifurcation from SPO to TPO was observed by introducing another parameter at which these two solution sheets merged. In contrast to the monotone tail case, a nonlocal interaction appeared in the heterogeneous problem between the TPO and heterogeneity, which created infinitely many saddle solutions and finitely many stable stationary solutions distributed across the entire line. TPO displayed a variety of dynamics including pinning and depinning processes along with penetration (PEN) and rebound (REB). The stable/unstable manifolds of these saddles interacted with the TPO in a complex manner, which created a subtle dependence on the initial condition, and a difficulty to predict the behavior after collision. A systematic global exploration of solution branches induced by heterogeneities enabled us to find all the asymptotic states after collision to predict the solution results without solving the PDEs. The reduction method of finite-dimensional ODE system allowed us to clarify the detailed mechanism of the transitions from PEN to pinning and pinning to REB based on a dynamical system perspective. Consequently, the basin boundary between two distinct outputs against the heterogeneities yielded an infinitely many successive reconnection of heteroclinic orbits among those saddles, because the strength of heterogeneity increased and caused the aforementioned subtle dependence of initial condition.


title: Focusing on Potential Named Entities During Active Label Acquisition

abstract: Named entity recognition (NER) aims to identify mentions of named entities in an unstructured text and classify them into predefined named entity classes. While deep learning-based pre-trained language models help to achieve good predictive performances in NER, many domain-specific NER applications still call for a substantial amount of labeled data. Active learning (AL), a general framework for the label acquisition problem, has been used for NER tasks to minimize the annotation cost without sacrificing model performance. However, the heavily imbalanced class distribution of tokens introduces challenges in designing effective AL querying methods for NER. We propose several AL sentence query evaluation functions that pay more attention to potential positive tokens, and evaluate these proposed functions with both sentence-based and token-based cost evaluation strategies. We also propose a better data-driven normalization approach to penalize sentences that are too long or too short. Our experiments on three datasets from different domains reveal that the proposed approach reduces the number of annotated tokens while achieving better or comparable prediction performance with conventional methods.


title: New bound for Roth's theorem with generalized coefficients

abstract: We prove the following conjecture of Shkredov and Solymosi: every subset $A \subset \mathbf{Z}^2$ such that $\sum_{a\in A\setminus\{0\}} 1/\left\|a\right\|^{2} = +\infty$ contains the three vertices of an isosceles right triangle. To do this, we adapt the proof of the recent breakthrough by Bloom and Sisask on sets without three-term arithmetic progressions, to handle more general equations of the form $T_1a_1+T_2a_2+T_3a_3 = 0$ in a finite abelian group $G$, where the $T_i$'s are automorphisms of $G$.


title: Non-Binary Polar Coded System for the Two-User Multiple-Access Channel

abstract: This paper presents non-binary polar codes for the two-user multiple-access channel (MAC). The bit error rate (BER) performances of the non-binary polar codes with different kernel factors have been investigated in detail to select a proper parameter from GF(q) for the generator matrix. Furthermore, the successive cancellation decoding for the non-binary polar codes in the two-user MAC is introduced in detail. Simulation results show that the choice of the kernel factors has a significant impact on the block error rate (BLER) performance; moreover, the non-binary polar codes provide a better BLER performance than their binary counterpart in the two-user MAC.


title: The $\sin2\phi_h$ azimuthal asymmetry of pion production in SIDIS within TMD factorization

abstract: We study the $\sin2\phi_h$ azimuthal asymmetry of charged and neutral pion productions off the longitudinally polarized nucleon targets in semi-inclusive deeply inelastic scattering (SIDIS) process within the transverse momentum dependent~(TMD) factorization. The asymmetry is contributed by the convolution of the TMD distribution $h_{1L}^{\perp}$ and the Collins fragmentation function $H_{1}^\perp$. We adopt the Wandzura-Wilczek-type~(WW-type) approximation for $h_{1L}^{\perp}$ and two different parametrizations on the nonperturbative part of TMD evolution for $h_{1L}^{\perp}$ and $H_{1}^\perp$. We numerically estimate the asymmetry in the kinematical configurations available at HERMES, CLAS and CLAS12. It is shown that our theoretical calculation can describe the HERMES and CLAS data, except the asymmetry of the $\pi^-$ production off proton target at HERMES and CLAS. We also find that different choices of the nonperturbative part of TMD evolution lead qualitatively similar results.


title: Application of recoil-imaging time projection chambers to directional neutron background measurements in the SuperKEKB accelerator tunnel

abstract: Gaseous time projection chambers (TPCs) with high readout segmentation are capable of reconstructing detailed 3D ionization distributions of nuclear recoils resulting from elastic neutron scattering. Using a system of six compact TPCs with pixel ASIC readout, filled with a 70:30 mixture of He:CO$_2$ gas, we analyze the first directional measurements of beam-induced neutron backgrounds in the tunnel regions surrounding the Belle II detector at the SuperKEKB $e^+e^-$ collider. With the use of 3D recoil tracking, we show that these TPCs are capable of maintaining nearly $100\%$ nuclear recoil purity to reconstructed ionization energies ($E_\text{reco}$) as low as 5 $\mathrm{keV_\text{ee}}$. Using a large sample of simulated $^4$He, $^{12}$C, and $^{16}$O recoil tracks, we find consistency between predicted and measured recoil energy spectra in five of the six TPCs, providing useful validation of the neutron production mechanisms modeled in simulation. Restricting this sample to $^4$He recoil tracks with $E_\text{reco}>40$ $\mathrm{keV_\text{ee}}$, we demonstrate axial angular resolutions within $8^{\circ}$ and we introduce a procedure that under suitable conditions, correctly assigns the vector direction to $91\%$ of simulated $^4$He recoils. Applying this procedure to assign vector directions to measured $^4$He recoil tracks, we observe consistency between the angular distributions of observed and simulated recoils, providing first experimental evidence of localized neutron "hotspots" in the accelerator tunnel. Observed rates of nuclear recoils in these TPCs suggest that simulation overestimates the neutron flux from these hotspots.


title: Class Token and Knowledge Distillation for Multi-head Self-Attention Speaker Verification Systems

abstract: This paper explores three novel approaches to improve the performance of speaker verification (SV) systems based on deep neural networks (DNN) using Multi-head Self-Attention (MSA) mechanisms and memory layers. Firstly, we propose the use of a learnable vector called Class token to replace the average global pooling mechanism to extract the embeddings. Unlike global average pooling, our proposal takes into account the temporal structure of the input what is relevant for the text-dependent SV task. The class token is concatenated to the input before the first MSA layer, and its state at the output is used to predict the classes. To gain additional robustness, we introduce two approaches. First, we have developed a Bayesian estimation of the class token. Second, we have added a distilled representation token for training a teacher-student pair of networks using the Knowledge Distillation (KD) philosophy, which is combined with the class token. This distillation token is trained to mimic the predictions from the teacher network, while the class token replicates the true label. All the strategies have been tested on the RSR2015-Part II and DeepMine-Part 1 databases for text-dependent SV, providing competitive results compared to the same architecture using the average pooling mechanism to extract average embeddings.


title: Gauge-invariant renormalization of fermion bilinears and energy-momentum tensor on the lattice

abstract: We study a gauge-invariant renormalization scheme (GIRS) for composite operators, regularized on the lattice, by extending the coordinate space (X-space) scheme proposed some years ago. In this scheme, Green's functions of products of gauge-invariant operators located at different spacetime points are considered. Due to the gauge-invariant nature of GIRS, gauge fixing is not needed in the lattice simulations. Also, when operator mixing occurs, the gauge-variant operators (BRST variations and operators which vanish by the equations of motion) can be safely excluded from the renormalization process. We propose a number of variants of GIRS, including integration over time slices of the operator insertion point in a Green's function, which may lead to reduced statistical noise in lattice simulations. We employ these variants in the renormalization of fermion bilinear operators and the study of mixing between the gluon and quark energy-momentum tensor operators. We extract the one-loop conversion factors relating the nonperturbative renormalization factors in different versions of GIRS to the reference scheme of $\overline{\rm MS}$.


title: Dust Emission in Galaxies at Millimeter Wavelengths: Cooling of star forming regions in NGC6946

abstract: Interstellar dust plays an important role in the formation of molecular gas and the heating and cooling of the interstellar medium. The spatial distribution of the mm-wavelength dust emission from galaxies is largely unexplored. The NIKA2 Guaranteed Time Project IMEGIN (Interpreting the Millimeter Emission of Galaxies with IRAM and NIKA2) has recently mapped the mm emission in the grand design spiral galaxy NGC6946. By subtracting the contributions from the free-free, synchrotron, and CO line emission, we map the distribution of the pure dust emission at 1:15mm and 2mm. Separating the arm/interarm regions, we find a dominant 2mm emission from interarms indicating the significant role of the general interstellar radiation field in heating the cold dust. Finally, we present maps of the dust mass, temperature, and emissivity index using the Bayesian MCMC modeling of the spectral energy distribution in NGC6946.


title: Multi-modal land cover mapping of remote sensing images using pyramid attention and gated fusion networks

abstract: Multi-modality data is becoming readily available in remote sensing (RS) and can provide complementary information about the Earth's surface. Effective fusion of multi-modal information is thus important for various applications in RS, but also very challenging due to large domain differences, noise, and redundancies. There is a lack of effective and scalable fusion techniques for bridging multiple modality encoders and fully exploiting complementary information. To this end, we propose a new multi-modality network (MultiModNet) for land cover mapping of multi-modal remote sensing data based on a novel pyramid attention fusion (PAF) module and a gated fusion unit (GFU). The PAF module is designed to efficiently obtain rich fine-grained contextual representations from each modality with a built-in cross-level and cross-view attention fusion mechanism, and the GFU module utilizes a novel gating mechanism for early merging of features, thereby diminishing hidden redundancies and noise. This enables supplementary modalities to effectively extract the most valuable and complementary information for late feature fusion. Extensive experiments on two representative RS benchmark datasets demonstrate the effectiveness, robustness, and superiority of the MultiModNet for multi-modal land cover classification.


title: On the CFT describing the spin clusters in 2d Potts model

abstract: We have considered clusters of like spin in the Q-Potts model, the spin Potts clusters. Using Monte Carlo simulations, we studied these clusters on a square lattice with periodic boundary conditions for values of Q in [1,4]. We continue the work initiated with Delfino and Viti (2013) by measuring the universal finite size corrections of the two-point connectivity. The numerical data are perfectly compatible with the CFT prediction, thus supporting the existence of a consistent CFT, still unknown, describing the connectivity Potts spin clusters. We provided in particular new insights on the energy field of such theory. For Q=2, we found a good agreement with the prediction that the Ising spin clusters behave as the Fortuin-Kasteleyn ones at the tri-critical point of the dilute 1-Potts model. We show that the structure constants are likely to be given by the imaginary Liouville structure constants, consistently with the results of Delfino et al. (2013) and of Ang and Sun (2021). For Q different from 2 instead, the structure constants we measure do not correspond to any known bootstrap solutions. The validity of our analysis is backed up by the measures of the spin Potts clusters wrapping probability for Q=3. We evaluate the main critical exponents and the correction to the scaling. A new exact and compact expression for the torus one-point of the Q-Potts energy field is also given.

categories: cond-mat.stat-mech hep-th math-ph math.MP


title: Deep Noise Suppression Maximizing Non-Differentiable PESQ Mediated by a Non-Intrusive PESQNet

abstract: Speech enhancement employing deep neural networks (DNNs) for denoising are called deep noise suppression (DNS). During training, DNS methods are typically trained with mean squared error (MSE) type loss functions, which do not guarantee good perceptual quality. Perceptual evaluation of speech quality (PESQ) is a widely used metric for evaluating speech quality. However, the original PESQ algorithm is non-differentiable, and therefore cannot directly be used as optimization criterion for gradient-based learning. In this work, we propose an end-to-end non-intrusive PESQNet DNN to estimate the PESQ scores of the enhanced speech signal. Thus, by providing a reference-free perceptual loss, it serves as a mediator towards the DNS training, allowing to maximize the PESQ score of the enhanced speech signal. We illustrate the potential of our proposed PESQNet-mediated training on the basis of an already strong baseline DNS. As further novelty, we propose to train the DNS and the PESQNet alternatingly to keep the PESQNet up-to-date and perform well specifically for the DNS under training. Our proposed method is compared to the same DNS trained with MSE-based loss for joint denoising and dereverberation, and the Interspeech 2021 DNS Challenge baseline. Detailed analysis shows that the PESQNet mediation can further increase the DNS performance by about 0.1 PESQ points on synthetic test data and by 0.03 DNSMOS points on real test data, compared to training with the MSE-based loss. Our proposed method also outperforms the Challenge baseline by 0.2 PESQ points on synthetic test data and 0.1 DNSMOS points on real test data.


title: Multimodal PET/CT Tumour Segmentation and Prediction of Progression-Free Survival using a Full-Scale UNet with Attention

abstract: Segmentation of head and neck (H\&N) tumours and prediction of patient outcome are crucial for patient's disease diagnosis and treatment monitoring. Current developments of robust deep learning models are hindered by the lack of large multi-centre, multi-modal data with quality annotations. The MICCAI 2021 HEad and neCK TumOR (HECKTOR) segmentation and outcome prediction challenge creates a platform for comparing segmentation methods of the primary gross target volume on fluoro-deoxyglucose (FDG)-PET and Computed Tomography images and prediction of progression-free survival in H\&N oropharyngeal cancer.For the segmentation task, we proposed a new network based on an encoder-decoder architecture with full inter- and intra-skip connections to take advantage of low-level and high-level semantics at full scales. Additionally, we used Conditional Random Fields as a post-processing step to refine the predicted segmentation maps. We trained multiple neural networks for tumor volume segmentation, and these segmentations were ensembled achieving an average Dice Similarity Coefficient of 0.75 in cross-validation, and 0.76 on the challenge testing data set. For prediction of patient progression free survival task, we propose a Cox proportional hazard regression combining clinical, radiomic, and deep learning features. Our survival prediction model achieved a concordance index of 0.82 in cross-validation, and 0.62 on the challenge testing data set.


title: Light rays in the Solar system experiments: phases and displacements

abstract: Geometric optics approximation is sufficient to describe the effects in the near-Earth environment. In this framework Faraday rotation is purely a reference frame (gauge) effect. However, it cannot be simply dismissed. Establishing local reference frame with respect to some distant stars leads to the Faraday phase error between the ground station and the spacecraft of the order of $10^{-10}$ in the leading post-Newtonian expansion of the Earth's gravitational field. While the Wigner phase of special relativity is of the order $10^{-4}$--$10^{-5}$. Both types of errors can be simultaneously mitigated by simple encoding procedures. We also present briefly the covariant formulation of geometric optic correction up to the subleading order approximation, which is necessary for the propagation of electromagnetic/ gravitational waves of large but finite frequencies. We use this formalism to obtain a closed form of the polarization dependent correction of the light ray trajectory in the leading order in a weak spherically symmetric gravitational field.


title: Generalized existential completions and their regular and exact completions

abstract: This paper aims to apply the tool of generalized existential completions of conjunctive doctrines, concerning a class $\Lambda$ of morphisms of their base category, to deepen the study of regular and exact completions of existential elementary Lawvere's doctrines. After providing a characterization of generalized existential completions, we observe that both the subobjects doctrine $\mathrm{Sub}_{C}$ and the weak subobjects doctrine $\Psi_{\mathcal{C}}$ of a category $\mathcal{C}$ with finite limits are generalized existential completions of the constant true doctrine, the first along the class of all the monomorphisms of $\mathcal{C}$ while the latter along all the morphisms of $\mathcal{C}$. We then name full existential completion a generalized completion of a conjunctive doctrine along the class of all the morphisms of its base. From this we immediately deduce that both the regular and the exact completion of a finite limit category are regular and exact completions of full existential doctrines since it is known that both the regular completion $(\mathcal{D})_{ reg / lex}$ and the exact completion $(\mathcal{D})_{ex / lex}$ of a finite limit category $\mathcal{D}$ are respectively the regular completion $\mathrm{Reg}(\Psi_{\mathcal{D}})$ and the exact completion $\mathcal{T}_{\Psi_{\mathcal{D}}}$ (as an instance of the tripos-to-topos construction) of the weak subobjects doctrine $\Psi_{\mathcal{D}}$ of $\mathcal{D}$. Here we prove that the condition of being a generic full existential completion is also sufficient to produce a regular/exact completion equivalent to a regular/exact completion of a finite limit category. Then, we show more specialized characterizations from which we derive known results as well as remarkable examples of exact completions of full existential completions, including all realizability toposes and supercoherent localic toposes.


title: Metric Distributional Discrepancy in Metric Space

abstract: Independence analysis is an indispensable step before regression analysis to find out essential factors that influence the objects. With many applications in machine Learning, medical Learning and a variety of disciplines, statistical methods of measuring the relationship between random variables have been well studied in vector spaces. However, there are few methods developed to verify the relation between random elements in metric spaces. In this paper, we present a novel index called metric distributional discrepancy (MDD) to measure the dependence between a random element $X$ and a categorical variable $Y$, which is applicable to the medical image and genetic data. The metric distributional discrepancy statistics can be considered as the distance between the conditional distribution of $X$ given each class of $Y$ and the unconditional distribution of $X$. MDD enjoys some significant merits compared to other dependence-measures. For instance, MDD is zero if and only if $X$ and $Y$ are independent. MDD test is a distribution-free test since there is no assumption on the distribution of random elements. Furthermore, MDD test is robust to the data with heavy-tailed distribution and potential outliers. We demonstrate the validity of our theory and the property of the MDD test by several numerical experiments and real data analysis.


title: Weighted estimates for generalized Riesz potentials

abstract: We obtain $H^{p}_{w} - L^{q}_{w^{q/p}}$ estimates for certain fractional operators.


title: A new baseline for retinal vessel segmentation: Numerical identification and correction of methodological inconsistencies affecting 100+ papers

abstract: In the last 15 years, the segmentation of vessels in retinal images has become an intensively researched problem in medical imaging, with hundreds of algorithms published. One of the de facto benchmarking data sets of vessel segmentation techniques is the DRIVE data set. Since DRIVE contains a predefined split of training and test images, the published performance results of the various segmentation techniques should provide a reliable ranking of the algorithms. Including more than 100 papers in the study, we performed a detailed numerical analysis of the coherence of the published performance scores. We found inconsistencies in the reported scores related to the use of the field of view (FoV), which has a significant impact on the performance scores. We attempted to eliminate the biases using numerical techniques to provide a more realistic picture of the state of the art. Based on the results, we have formulated several findings, most notably: despite the well-defined test set of DRIVE, most rankings in published papers are based on non-comparable figures; in contrast to the near-perfect accuracy scores reported in the literature, the highest accuracy score achieved to date is 0.9582 in the FoV region, which is 1% higher than that of human annotators. The methods we have developed for identifying and eliminating the evaluation biases can be easily applied to other domains where similar problems may arise.


title: Learning equilibria with personalized incentives in a class of nonmonotone games

abstract: We consider quadratic, nonmonotone generalized Nash equilibrium problems with symmetric interactions among the agents. Albeit this class of games is known to admit a potential function, its formal expression can be unavailable in several real-world applications. For this reason, we propose a two-layer Nash equilibrium seeking scheme in which a central coordinator exploits noisy feedback from the agents to design personalized incentives for them. By making use of those incentives, the agents compute a solution to an extended game, and then return feedback measures to the coordinator. We show that our algorithm returns an equilibrium if the coordinator is endowed with standard learning policies, and corroborate our results on a numerical instance of a hypomonotone game.


title: A Presheaf Semantics for Quantified Temporal Logics

abstract: Temporal logics stands for a widely adopted family of formalisms for the verification of computational devices, enriching propositional logics by operators predicating on the step-wise behaviour of a system. Its quantified extensions allow to reason on the properties of the individual components of the system at hand. The expressiveness of the resulting logics poses problems in correctly identifying a semantics that exploit its features without resorting to the imposition of restrictions on the acceptable behaviours. In this paper we address this issue by means of counterpart models and relational presheaves.


title: Another proof that $\mathsf{MM}^{++}$ implies Woodin's axiom $(*)$

abstract: Let $\mathsf{MM}^{++}(\kappa)$ state that the forcing axiom $\mathsf{MM}^{++}$ can be instantiated only for stationary set preserving posets of size at most $\kappa$. We give a detailed account of Asper\`o and Schindler's proof that $\mathsf{MM}^{++}(\kappa)+$there are class many Woodin cardinals implies Woodin's axiom $(*)$ if $\Diamond_\kappa$ holds and $\kappa>\aleph_2$. Our presentation takes advantage of the notion of consistency property: specifically we rephrase Asper\`o and Schindler's forcing as a specific instantiation of the notion of ``consistency property'' used by Makkai, Keisler, Mansfield and others in the study of infinitary logics. We also reorganize the order of presentation of the various parts of the proof. Taken aside these variations, our account is quite close to the original proof of Asper\`o and Schindler.


title: Ferromagnetism in tilted fermionic Mott insulators

abstract: We investigate the magnetism in tilted fermionic Mott insulators. With a small tilt, the fermions are still localized and form a Mott-insulating state, where the localized spins interact via antiferromagnetic exchange coupling. While the localized state is naively expected to be broken with a large tilt, in fact, the fermions are still localized under a large tilt due to the Wannier-Stark localization and it can be regarded as a localized spin system. We find that the sign of the exchange coupling is changed and the ferromagnetic interaction is realized under the large tilt. To show this, we employ the perturbation theory and the real-time numerical simulation with the fermionic Hubbard chain. Our simulation exhibits that it is possible to effectively control the speed and time direction of the dynamics by changing the size of tilt, which may be useful for experimentally measuring the out-of-time ordered correlators. Finally, we address the experimental platforms, such as ultracold atoms in an optical lattice, to observe these phenomena.

categories: cond-mat.quant-gas cond-mat.mes-hall cond-mat.str-el quant-ph


title: Quantum Rajeev-Ranken model as an anharmonic oscillator

abstract: The Rajeev-Ranken (RR) model is a Hamiltonian system describing screw-type nonlinear waves of wavenumber $k$ in a scalar field theory pseudodual to the 1+1D SU(2) principal chiral model. Classically, the RR model is Liouville integrable. Here, we interpret the model as a novel 3D cylindrically symmetric quartic oscillator with an additional rotational energy. The quantum theory has two dimensionless parameters. Upon separating variables in the Schr\"odinger equation, we find that the radial equation has a four-term recurrence relation. It is of type $[0,1,1_6]$ and lies beyond the ellipsoidal Lam\'e and Heun equations in Ince's classification. At strong coupling $\lambda$, the energies of highly excited states are shown to depend on the scaling variable $\lambda k$. The energy spectrum at weak coupling and its dependence on wavenumber $k$ in a double-scaling strong coupling limit are obtained. The semi-classical WKB quantization condition is expressed in terms of elliptic integrals. Numerical inversion enables us to establish a $(\lambda k)^{2/3}$ dispersion relation for highly energetic quantized 'screwons' at moderate and strong coupling. We also suggest a mapping between our radial equation and one of Zinn-Justin and Jentschura that could facilitate a resurgent WKB expansion for energy levels. In another direction, we show that the equations of motion of the RR model can also be viewed as Euler equations for a step-3 nilpotent Lie algebra. We use our canonical quantization to uncover an infinite dimensional reducible unitary representation of this nilpotent algebra, which is then decomposed using its Casimir operators.


title: Cryptography Vulnerabilities on HackerOne

abstract: Previous studies have shown that cryptography is hard for developers to use and misusing cryptography leads to severe security vulnerabilities. We studied relevant vulnerability reports on the HackerOne bug bounty platform to understand what types of cryptography vulnerabilities exist in the wild. We extracted eight themes of vulnerabilities from the vulnerability reports and discussed their real-world implications and mitigation strategies. We hope that our findings alert developers, familiarize them with the dire consequences of cryptography misuses, and support them in avoiding such mistakes.


title: On monostable cooperative system with nonlocal diffusion and free boundaries

abstract: This paper continues to study the monostable cooperative system with nonlocal diffusion and free boundary, which has recently been discussed by [Du and Ni, 2020, arXiv:2010.01244]. We here aim at the four aspects: the first is to give more accurate estimates for solution; the second is to discuss the limitations of solution pair of a semi-wave problem; the third is to investigate the asymptotic behaviors of the corresponding cauchy problem; the last is to study the limiting profiles of solution as one of the expanding rates of free boundary converges to $\yy$. Then two epidemic models are given to illustrate their own longtime behaviors.


title: What augmentations are sensitive to hyper-parameters and why?

abstract: We apply augmentations to our dataset to enhance the quality of our predictions and make our final models more resilient to noisy data and domain drifts. Yet the question remains, how are these augmentations going to perform with different hyper-parameters? In this study we evaluate the sensitivity of augmentations with regards to the model's hyper parameters along with their consistency and influence by performing a Local Surrogate (LIME) interpretation on the impact of hyper-parameters when different augmentations are applied to a machine learning model. We have utilized Linear regression coefficients for weighing each augmentation. Our research has proved that there are some augmentations which are highly sensitive to hyper-parameters and others which are more resilient and reliable.


title: How to check universality of quantum gates?

abstract: We provide two simple universality criteria. Our first criterion states that $\mathcal{S}\subset G_d:=U(d)$ is universal if and only if $\mathcal{S}$ forms a $\delta$-approximate $t(d)$-design, where $t(2)=6$ and $t(d)=4$ for $d\geq3$. Our second universality criterion says that $\mathcal{S}\subset G_d$ is universal if and only if the centralizer of $\mathcal{S}^{t(d),t(d)}=\{U^{\otimes t(d)}\otimes \bar{U}^{\otimes t(d)}|U\in \mathcal{S}\}$ is equal to the centralizer of $G_d^{t(d),t(d)}=\{U^{\otimes t(d)}\otimes \bar{U}^{\otimes t(d)}|U\in G_d\}$, where $t(2)=3$, and $t(d)=2$ for $d\geq 3$. The equality of the centralizers can be verified by comparing their dimensions.


title: Trajectory PHD and CPHD Filters with Unknown Detection Profile

abstract: Compared to the probability hypothesis density (PHD) and cardinalized PHD (CPHD) filters, the trajectory PHD (TPHD) and trajectory CPHD (TCPHD) filters are for sets of trajectories, and thus are able to produce trajectory estimates with better estimation performance. In this paper, we develop the TPHD and TCPHD filters which can adaptively learn the history of the unknown target detection probability, and therefore they can perform more robustly in scenarios where targets are with unknown and time-varying detection probabilities. These filters are referred to as the unknown TPHD (U-TPHD) and unknown TCPHD (U-TCPHD) filters.By minimizing the Kullback-Leibler divergence (KLD), the U-TPHD and U-TCPHD filters can obtain, respectively, the best Poisson and independent identically distributed (IID) density approximations over the augmented sets of trajectories. For computational efficiency, we also propose the U-TPHD and U-TCPHD filters that only consider the unknown detection profile at the current time. Specifically, the Beta-Gaussian mixture method is adopted for the implementation of proposed filters, which are referred to as the BG-U-TPHD and BG-U-TCPHD filters. The L-scan approximations of these filters with much lower computational burden are also presented. Finally, various simulation results demonstrate that the BG-U-TPHD and BG-U-TCPHD filters can achieve robust tracking performance to adapt to unknown detection profile. Besides, it also shows that usually a small value of the L-scan approximation can achieve almost full efficiency of both filters but with a much lower computational costs.


title: Realism is almost true: A critique of the interface theory of perception

abstract: Objective reality and its relation to our perception have been an important topic of debate in philosophy and cognitive science. Hoffman's "interface theory of perception," which asserts that our perception has no congruency with reality, is recent and controversial among existing theories. Hoffman and Prakash formulated and evaluated their theory using evolutionary game theory and genetic algorithms. This paper investigates the "interface theory of perception," introducing an agent-based simulation. Using the principles and hypothesis of Hoffman's model, first, we regenerate and approve his initial claims to consider interface as a winning perception strategy. Then we move forward to assess his model in more realistic conditions and challenge interface perception model. Our findings indicate that in case of drastic environmental changes, interface perception is no longer compatible with reality and pushes the interface species further toward extinction. Our proposed model will pave the road for future studies to investigate the perception strategies in a more realistic condition.


title: Sunspot: A Decentralized Framework Enabling Privacy for Authorizable Data Sharing on Transparent Public Blockchains

abstract: Blockchain technologies have been boosting the development of data-driven decentralized services in a wide range of fields. However, with the spirit of full transparency, many public blockchains expose all types of data to the public such as Ethereum. Besides, the on-chain persistence of large data is significantly expensive technically and economically. These issues lead to the difficulty of sharing fairly large private data while preserving attractive properties of public blockchains. Although direct encryption for on-chain data persistence can introduce confidentiality, new challenges such as key sharing, access control, and legal rights proving are still open. Meanwhile, cross-chain collaboration still requires secure and effective protocols, though decentralized storage systems such as IPFS bring the possibility for fairly large data persistence. In this paper, we propose Sunspot, a decentralized framework for privacy-preserving data sharing with access control on transparent public blockchains, to solve these issues. We also show the practicality and applicability of Sunspot by MyPub, a decentralized privacy-preserving publishing platform based on Sunspot. Furthermore, we evaluate the security, privacy, and performance of Sunspot through theoretical analysis and experiments.


title: Discerning Singlet and Triplet scalars at the electroweak phase transition and Gravitational Wave

abstract: In this article we examine the prospect of first order phase transition with a Y=0 real $SU(2)$ triplet extension of the Standard Model, which remains odd under $Z_2$, considering the observed Higgs boson mass, perturbative unitarity, dark matter constraints, etc. Especially we investigate the role of Higgs-triplet quartic coupling considering one- and two-loop beta functions and compare the results with the complex singlet extension case. It is observed that at the one-loop level, no solution can be found for both, demanding the Planck scale perturbativity. However, for a much lower scale of $10^4$ GeV, the singlet case predicts first order phase transition consistent with the observed Higgs boson mass. On the contrary, at the two-loop, both the scenarios foresee strongly first order phase transition consistent with the observed Higgs mass with upper bounds of 310, 909 GeV on the triplet and singlet masses, respectively. This puts the triplet in apparent contradiction with the observed dark matter relic bound and thus requires additional field for that. The preferred regions of the parameter space in both cases are identified by benchmark points, that predict the Gravitational Waves with detectable frequencies in the present and future experiments.


title: A metric for tradable biodiversity credits linked to the Living Planet Index and global species conservation

abstract: Difficulties identifying appropriate biodiversity impact metrics remain a major barrier to inclusion of biodiversity considerations in environmentally responsible investment. We propose and analyse a simple science-based local metric: the sum of proportional changes in local species abundances relative to their global species abundances, with a correction for species close to extinction. As we show, this metric quantifies changes in the mean long-term global survival probability of species. It links mathematically to a widely cited global biodiversity indicator, the Living Planet Index, for which we propose an improved formula that directly addresses the known problem of singularities caused by extinctions. We show that, in an ideal market, trade in our metric would lead to near-optimal allocation of resources to species conservation. We further show that the metric is closely related to several other metrics and indices already in use. Barriers to adoption are therefore low. Used in conjunction with metrics addressing ecosystem functioning and services, potential areas of application include biodiversity related financial disclosures and voluntary or legislated no net biodiversity loss policies.


title: Multi-target Joint Tracking and Classification Using the Trajectory PHD Filter

abstract: To account for joint tracking and classification (JTC) of multiple targets from observation sets in presence of detection uncertainty, noise and clutter, this paper develops a new trajectory probability hypothesis density (TPHD) filter, which is referred to as the JTC-TPHD filter. The JTC-TPHD filter classifies different targets based on their motion models and each target is assigned with multiple class hypotheses. By using this strategy, we can not only obtain the category information of the targets, but also a more accurate trajectory estimation than the traditional TPHD filter. The JTC-TPHD filter is derived by finding the best Poisson posterior approximation over trajectories on an augmented state space using the Kullback-Leibler divergence (KLD) minimization. The Gaussian mixture is adopted for the implementation, which is referred to as the GM-JTC-TPHD filter. The L-scan approximation is also presented for the GM-JTC-TPHD filter, which possesses lower computational burden. Simulation results show that the GM-JTC-TPHD filter can classify targets correctly and obtain accurate trajectory estimation.


title: AI-based Radio Resource Management and Trajectory Design for PD-NOMA Communication in IRS-UAV Assisted Networks

abstract: In this paper, we consider that the unmanned aerial vehicles (UAVs) with attached intelligent reflecting surfaces (IRSs) play the role of flying reflectors that reflect the signal of users to the destination, and utilize the power-domain non-orthogonal multiple access (PD-NOMA) scheme in the uplink. We investigate the benefits of the UAV-IRS on the internet of things (IoT) networks that improve the freshness of collected data of the IoT devices via optimizing power, sub-carrier, and trajectory variables, as well as, the phase shift matrix elements. We consider minimizing the average age-of-information (AAoI) of users subject to the maximum transmit power limitations, PD-NOMA-related restriction, and the constraints related to UAV's movement. The optimization problem consists of discrete and continuous variables. Hence, we divide the resource allocation problem into two sub-problems and use two different reinforcement learning (RL) based algorithms to solve them, namely the double deep Qnetwork (DDQN) and a proximal policy optimization (PPO). Our numerical results illustrate the performance gains that can be achieved for IRS enabled UAV communication systems. Moreover, we compare our deep RL (DRL) based algorithm with matching algorithm and random trajectory, showing the combination of DDQN and PPO algorithm proposed in this paper performs 10% and 15% better than matching algorithm and random-trajectory algorithm, respectively.


title: Soliton boson stars, Q-balls and the causal Buchdahl bound

abstract: Self-gravitating non-topological solitons whose potential admits multiple vacua are promising candidates for exotic compact objects. Such objects can arise in several extensions of the Standard Model and could be produced in the early Universe. In this work, we focus on objects made from complex scalars (gravitating Q-balls/soliton boson stars), deriving analytic solutions in spherical symmetry and comparing them with fully numerical ones. In the high-compactness limit we find that these objects present an effectively linear equation of state, thus saturating the Buchdahl limit with the causality constraint. Far from that limit, these objects behave either as flat space-time Q-balls or (in the low-compactness limit) as mini boson stars stabilized by quantum pressure. We establish the robustness of this picture by analyzing a variety of potentials (including cosine, quartic and sextic ones).


title: Trajectory PHD Filter with Unknown Detection Profile and Clutter Rate

abstract: In this paper, we derive the robust TPHD (R-TPHD) filter, which can adaptively learn the unknown detection profile history and clutter rate. The R-TPHD filter is derived by obtaining the best Poisson posterior density approximation over trajectories on hybrid and augmented state space by minimizing the Kullback-Leibler divergence (KLD). Because of the huge computational burden and the short-term stability of the detection profile, we also propose the R-TPHD filter with unknown detection profile only at current time as an approximation. The Beta-Gaussian mixture model is proposed for the implementation, which is referred to as the BG-R-TPHD filter and we also propose a L-scan approximation for the BG-R-TPHD filter, which possesses lower computational burden.


title: Constraining Scalar Doublet and Triplet Leptoquarks with Vacuum Stability and Perturbativity

abstract: We investigate the constraints on the leptoquark Yukawa couplings and Higgs-leptoquark quartic couplings for scalar doublet leptoquark $\tilde{R}_2$, scalar triplet leptoquark $\vec S_3$ and their combination with both three generations and one generation from perturbative unitarity and vacuum stability. Perturbative unitarity of all the dimensionless couplings have been studied via one- and two-loop beta-functions. Introduction of new $SU(2)$ multiplets in terms of these leptoquarks fabricate Landau poles at two-loop level in the gauge coupling $g_2$ at $10^{19.7}$ GeV and $10^{14.4}$ GeV, respectively for $\vec S_3$ and $\tilde{R}_2+\vec S_3$ models with three generations. However, such Landau pole ceases to exist for $\tilde{R}_2$ and any of these extensions with both one and two generations till Planck scale. The Higgs-leptoquark quartic couplings acquire severe constraints to protect Planck scale perturbativity, whereas leptoquark Yukawa couplings get some upper bound in order to respect Planck scale stability of Higgs Vacuum. The Higgs quartic coupling at two-loop constraints the leptoquark Yukawa couplings for $\tilde{R}_2,\vec S_3, \,\tilde{R}_2+\vec S_3$ with values $\lesssim 1.30, 3.90, 1.00$ with three generations. In the effective potential approach, the presence of any of these leptoquarks with any number of generations pushes the metastable vacuum of the Standard Model to the stable region.


title: On uniqueness theorems for the inverse problem of Electrocardiography in the Sobolev spaces

abstract: We consider a mathematical model related to reconstruction of cardiac electrical activity from ECG measurements on the body surface. An application of recent developments in solving boundary value problems for elliptic and parabolic equations in Sobolev type spaces allows us to obtain uniqueness theorems for the model. The obtained results can be used as a sound basis for creating numerical methods for non-invasive mapping of the heart.


title: Towards Calibrated Model for Long-Tailed Visual Recognition from Prior Perspective

abstract: Real-world data universally confronts a severe class-imbalance problem and exhibits a long-tailed distribution, i.e., most labels are associated with limited instances. The na\"ive models supervised by such datasets would prefer dominant labels, encounter a serious generalization challenge and become poorly calibrated. We propose two novel methods from the prior perspective to alleviate this dilemma. First, we deduce a balance-oriented data augmentation named Uniform Mixup (UniMix) to promote mixup in long-tailed scenarios, which adopts advanced mixing factor and sampler in favor of the minority. Second, motivated by the Bayesian theory, we figure out the Bayes Bias (Bayias), an inherent bias caused by the inconsistency of prior, and compensate it as a modification on standard cross-entropy loss. We further prove that both the proposed methods ensure the classification calibration theoretically and empirically. Extensive experiments verify that our strategies contribute to a better-calibrated model, and their combination achieves state-of-the-art performance on CIFAR-LT, ImageNet-LT, and iNaturalist 2018.


title: A stability result for elliptic equations with singular nonlinearity and its applications to homogenization problems

abstract: We consider model semilinear elliptic equations of the type \[ \begin{cases} - \mathrm{div} (A(x) \nabla u) = f u^{- \lambda}, \quad u > 0 \quad \text{in} \ \Omega, \\ u \in H_{0}^{1}(\Omega), \end{cases} \] where $\Omega$ is a bounded domain in $\mathbf{R}^{N}$, $N \ge 1$, $A \in L^{\infty}(\Omega)^{N \times N}$ is a coercive matrix, $0 < \lambda \le 1$ and $f$ is a nonnegative function in $L^{1}_{loc}(\Omega)$, or more generally, nonnegative Radon measure on $\Omega$. We discuss $H^{1}$-stability of $u$ under a minimal assumption on $f$. Additionally, we apply the result to homogenization problems.


title: Duality in spatially resolved star-formation relations in local LIRGs

abstract: We analyse the star formation (SF) relations in a sample of 16 nearby luminous infrared galaxies (LIRGs) with more than 2800 regions defined on scales of 90 to 500 pc. We used ALMA to map the distribution of the cold molecular gas traced by the J = 2-1 line of CO and archival Pa\alpha HST/NICMOS imaging to trace the recent SF. In four objects, we find two different branches in the Kennicutt-Schmidt relation at 90 pc scales, suggesting the existence of a duality in this relation. The two branches correspond to two different dynamical environments within each galaxy. One branch, which corresponds to the central region of these galaxies 90% of the regions are located at radii < 0.85 kpc), shows higher gas and star formation rate surface densities with higher velocity dispersion. The other branch, which shows lower molecular gas and SF rate surface densities, corresponds to the more external disk regions (r $\sim$ 1 kpc). Despite the scatter, the SF efficiency of the galaxies with a dual behaviour increases with increasing boundedness as measured by the b parameter (b $\equiv$ $\Sigma_{H_{2}}$/$\sigma^{2}$ $\propto$ $\alpha_{vir}^{-1}$). At larger spatial scales (250 and 500 pc), the duality disappears. The rest of the sample does not show evidence of this dual behaviour at any scale.


title: High-ordered spectral characterizations of graphs

abstract: The spectrum of the $k$-power hypergraph of a graph $G$ is called the $k$-ordered spectrum of $G$.If graphs $G_1$ and $G_2$ have same $k$-ordered spectrum for all positive integer $k\geq2$, $G_1$ and $G_2$ are said to be high-ordered cospectral. If all graphs who are high-ordered cospectral with the graph $G$ are isomorphic to $G$, we say that $G$ is determined by the high-ordered spectrum.In this paper, we use the high-ordered spectrum of graphs to study graph isomorphism and show that all Smith's graphs are determined by the high-ordered spectrum.And we give infinitely many pairs of trees with same spectrum but different high-ordered spectrum by high-ordered cospectral invariants of trees,it means that we can determine that these cospectral trees are not isomorphism by the high-ordered spectrum.


title: Automated folding of origami lattices: from nanopatterned sheets to stiff meta-biomaterial

abstract: Folding nanopatterned flat sheets into complex 3D structures enables the fabrication of meta-biomaterials that combine a rationally designed 3D architecture (e.g., to tune mechanical and mass transport properties) with nanoscale surface features (e.g., to guide the differentiation of stem cells). Self-folding is an attractive approach for realizing such materials. However, self-folded lattices are generally too compliant as there is an inherent competition between the ease-of-folding requirements and the final load-bearing characteristics. Inspired by sheet metal forming, we propose an alternative route for the fabrication of origami lattices. This automated folding approach allows for the introduction of sharp folds into thick metal sheets, thereby enhancing their stiffness. We then demonstrate the first time ever realization of automatically folded origami lattices with bone-mimicking mechanical properties (elastic modulus = 0.5 GPa). The proposed approach is highly scalable given that the unit cells making up the meta-biomaterial can be arbitrarily large in number and small in dimensions. To demonstrate the scalability and versatility of the proposed approach, we fabricated origami lattices with > 100 unit cells, lattices with unit cells as small as 1.25 mm, and auxetic lattices. We then used inductively coupled plasma reactive ion etching to nanopattern the surface of the sheets prior to folding. Protected by a thin layer of coating, these nanoscale features remained intact during the folding process. A cell culture assay was then used to assess the bone tissue regeneration performance of the folded origami. We found that the nanopatterned folded specimens exhibit significantly increased mineralization as compared to their non-patterned counterparts.


title: Complex magnetic phase diagram in noncentrosymmetric EuPtAs

abstract: We report the observation of multiple magnetic transitions in single crystals of EuPtAs using magnetization, transport, and thermodynamic measurements. EuPtAs crystallizes in the noncentrosymmetric tetragonal LaPtSi-type structure (space group I41md) and undergoes a second-order antiferromagnetic transition at 14.8 K, which is followed by a first-order transition at about 7.5 K. Both transitions are suppressed by magnetic fields applied parallel and perpendicular to the c axis, and multiple field-induced transitions are observed for both field directions, leading to complex temperature-field diagrams with a dome-like magnetic phase for fields parallel to the c axis. Moreover, the dependence of the low temperature resistivity on the application of a training field, but the lack of remanent magnetization, suggests the presence of multiple antiferromagnetic domains in zero-field.


title: Flat-band Majorana bound states in topological Josephson junctions

abstract: Nodal topological superconductors characterized by $p_x$-wave pairing symmetry host flat-band Majorana bound states causing drastic anomalies in low-energy electromagnetic responses. Nevertheless, the study of flat-band Majorana bound states has been at a standstill owing to a serious lack of candidate materials for $p_x$-wave superconductors. In this paper, by expanding a scheme of planar topological Josephson junctions, we propose a promising device realizing an effective $p_x$-wave superconductor. Specifically, we consider a three-dimensional Josephson junction consisting of a thin-film semiconductor hosting a persistent spin-helix state and two conventional $s$-wave superconductors. We analytically obtain a topological phase diagram and numerically demonstrate the emergence of flat-band Majorana bound states by calculating the local density of states.


title: Abstraction for Crash-Resilient Objects (Extended Version)

abstract: We study abstraction for crash-resilient concurrent objects using non-volatile memory (NVM). We develop a library correctness criterion that is sound for ensuring contextual refinement in this setting, thus allowing clients to reason about library behaviors in terms of their abstract specifications, and library developers to verify their implementations against the specifications abstracting away from particular client programs. As a semantic foundation we employ a recent NVM model, called Persistent Sequential Consistency, and extend its language and operational semantics with useful specification constructs. The proposed correctness criterion accounts for NVM-related interactions between client and library code due to explicit persist instructions, and for calling policies enforced by libraries. We illustrate our approach on two implementations and specifications of simple persistent objects with different prototypical durability guarantees. Our results provide the first approach to formal compositional reasoning under NVM.


title: Action Recognition using Transfer Learning and Majority Voting for CSGO

abstract: Presently online video games have become a progressively favorite source of recreation and Counter Strike: Global Offensive (CS: GO) is one of the top-listed online first-person shooting games. Numerous competitive games are arranged every year by Esports. Nonetheless, (i) No study has been conducted on video analysis and action recognition of CS: GO game-play which can play a substantial role in the gaming industry for prediction model (ii) No work has been done on the real-time application on the actions and results of a CS: GO match (iii) Game data of a match is usually available in the HLTV as a CSV formatted file however it does not have open access and HLTV tends to prevent users from taking data. This manuscript aims to develop a model for accurate prediction of 4 different actions and compare the performance among the five different transfer learning models with our self-developed deep neural network and identify the best-fitted model and also including major voting later on, which is qualified to provide real time prediction and the result of this model aids to the construction of the automated system of gathering and processing more data alongside solving the issue of collecting data from HLTV.


title: Resource Allocation in STAR-RIS-Aided Networks: OMA and NOMA

abstract: Simultaneously transmitting and reflecting reconfigurable intelligent surface (STAR-RIS) is a promising technology to achieve full-space coverage. This paper investigates the resource allocation problem in a STAR-RIS-assisted multi-carrier communication network. To maximize the system sum-rate, a joint optimization problem for orthogonal multiple access (OMA) is first formulated, which is a mixed-integer non-linear programming problem. To solve this challenging problem, we first propose a channel assignment scheme utilizing matching theory and then invoke the alternating optimization-based method to optimize the resource allocation policy and beamforming vectors iteratively. Furthermore, the sum-rate maximization problem for non-orthogonal multiple access (NOMA) is investigated. To efficiently solve it, we first propose a location-based matching algorithm to determine the sub-channel assignment, where a transmitted user and a reflected user are grouped on a sub-channel. Then, a three-step approach is proposed, where the decoding orders, beamforming-coefficient vectors, and power allocation are optimized by employing semidefinite programming, convex upper bound approximation, and geometry programming, respectively. Numerical results unveil that: 1) For OMA, a general design that includes same-side user-pairing for channel assignment is preferable, while for NOMA, the proposed transmission-and-reflection scheme can achieve near-optimal performance. 2) The STAR-RIS-aided NOMA network significantly outperforms the networks employing conventional RISs and OMA.


title: An Adaptive Honeypot Configuration, Deployment and Maintenance Strategy

abstract: Since honeypots first appeared as an advanced network security concept they suffer from poor deployment and maintenance strategies. State-of-the-Art deployment is a manual process in which the honeypot needs to be configured and maintained by a network administrator. In this paper we present a method for a dynamic honeypot configuration, deployment and maintenance strategy based on machine learning techniques. Our method features an identification mechanism for machines and devices in a network. These entities are analysed and clustered. Based on the clusters, honeypots are intelligently deployed in the network. The proposed method needs no configuration and maintenance and is therefore a major advantage for the honeypot technology in modern network security.


title: An Empirical Bayes Approach to Controlling the False Discovery Exceedance

abstract: In large-scale multiple hypothesis testing problems, the false discovery exceedance (FDX) provides a desirable alternative to the widely used false discovery rate (FDR) when the false discovery proportion (FDP) is highly variable. We develop an empirical Bayes approach to control the FDX. We show that, for independent hypotheses from a two-group model and dependent hypotheses from a Gaussian model fulfilling the exchangeability condition, an oracle decision rule based on ranking and thresholding the local false discovery rate (lfdr) is optimal in the sense that the power is maximized subject to the FDX constraint. We propose a data-driven FDX procedure that uses carefully designed computational shortcuts to emulate the oracle rule. We investigate the empirical performance of the proposed method using both simulated and real data and study the merits of FDX control through an application for identifying abnormal stock trading strategies.


title: Defining entanglement without tensor factoring: a Euclidean hourglass prescription

abstract: We consider entanglement across a planar boundary in flat space. Entanglement entropy is usually thought of as the von Neumann entropy of a reduced density matrix, but it can also be thought of as half the von Neumann entropy of a product of reduced density matrices on the left and right. The latter form allows a natural regulator in which two cones are smoothed into a Euclidean hourglass geometry. Since there is no need to tensor-factor the Hilbert space, the regulated entropy is manifestly gauge-invariant and has a manifest state-counting interpretation. We explore this prescription for scalar fields, where the entropy is insensitive to a non-minimal coupling, and for Maxwell fields, which have the same entropy as $d-2$ scalars.


title: Dynamical parallax, physical parameters and evolutionary status of the components of the bright eclipsing binary {\alpha} Draconis

abstract: Altough both components of the bright eclipsing binary $\alpha$ Dra having been resolved using long baseline interferometry and the secondary component shown to contribute some 15\% of the total flux, a spectroscopic detection of the companion star was so far unsuccessful. To achieve our goals, we use a combined data set from interferometry with the Navy Precision Optical Interferometer (NPOI), photometry with the TESS space observatory, and high-resolution spectroscopy with the HERMES fibre-fed spectrograph at the La Palma observatory. We use the method of spectral disentangling to search for the contribution of a companion star in the observed composite HERMES spectra, to separate the spectral contributions of both components, and to determine orbital elements of the $\alpha$ Dra system. TESS light curves are analysed in an iterative fashion with spectroscopic inference of stellar atmospheric parameters to determine fundamental stellar properties and their uncertainties. Finally, NPOI interferometric measurements are used for determination of the orbital parameters of the system and angular diameters of both binary components. We report the first firm spectroscopic detection of the secondary component in $\alpha$ Dra and deliver disentangled spectra of both binary components. The inferred near-core mixing properties of both components do not support a dependence of the convective core overshooting on the stellar mass. At the same time, the $\alpha$ Dra system provides extra support to hypothesise that the mass discrepancy in eclipsing spectroscopic double-lined binaries is associated with inferior atmospheric modelling of intermediate- and high-mass stars, and less so with the predictive power of stellar structure and evolution models as to the amount of near-core mixing and mass of the convective core. (abridged abstract)


title: Symmetric cohomology of groups and Poincar\'e duality

abstract: Let $G$ be a finite group of order $n$ and let $M$ be a $G$-module. We construct groups $H_*^\varkappa(G,M)$ for which $H_k^\varkappa (G,M^{tw}) \cong H^{n-k-1}_\lambda(G,M),$ where $M^{tw}$ is a twisting of a $G$-module $M$ defined in Section $5$ and $H^{*}_\lambda(G,M)$ is a variation of the group cohomology introduced by Zarelua, which in many cases is isomorphic to the symmetric cohomology of groups defined by Staic. The groups $H_*^\varkappa(G,M)$ come together with transformations from Tate cohomology. We find conditions under which these transformations are isomorphisms.


title: Tensor PDE model of biological network formation

abstract: We study an elliptic-parabolic system of partial differential equations describing formation of biological network structures. The model takes into consideration the evolution of the permeability tensor under the influence of a diffusion term, representing randomness in the material structure, a decay term describing metabolic cost and a pressure force. A Darcy's law type equation describes the pressure field. In the spatially two-dimensional setting, we present a constructive, formal derivation of the PDE system from the discrete network formation model in the refinement limit of a sequence of unstructured triangulations. Moreover, we show that the PDE system is a formal $L^2$-gradient flow of an energy functional with biological interpretation, and study its convexity properties. For the case when the energy functional is convex, we construct unique global weak solutions of the PDE system. Finally, we construct steady state solutions in one- and multi-dimensional settings and discuss their stability properties.


title: Demystifying Deep Learning Models for Retinal OCT Disease Classification using Explainable AI

abstract: In the world of medical diagnostics, the adoption of various deep learning techniques is quite common as well as effective, and its statement is equally true when it comes to implementing it into the retina Optical Coherence Tomography (OCT) sector, but (i)These techniques have the black box characteristics that prevent the medical professionals to completely trust the results generated from them (ii)Lack of precision of these methods restricts their implementation in clinical and complex cases (iii)The existing works and models on the OCT classification are substantially large and complicated and they require a considerable amount of memory and computational power, reducing the quality of classifiers in real-time applications. To meet these problems, in this paper a self-developed CNN model has been proposed which is comparatively smaller and simpler along with the use of Lime that introduces Explainable AI to the study and helps to increase the interpretability of the model. This addition will be an asset to the medical experts for getting major and detailed information and will help them in making final decisions and will also reduce the opacity and vulnerability of the conventional deep learning models.


title: Design of an Internet of Things - based multi-channel temperature monitoring system

abstract: In the scope of the Jiangmen Underground Neutrino Observatory (JUNO) project, 6 back-end card (BEC) mezzanines connected to one BEC base board are in charge of compensating the attenuated incoming data from 48 front-end channels over 48 100-meter-long ethernet cables. Each of the mezzanines has 16 equalizers that may be subject to overheating. It is important therefore to monitor their temperature in real time. However, collecting data from a relatively large (1080) number of mezzanines is not a trivial task. In this work we propose a solution based on Wi-Fi mesh. Both the technical details and the first test results performed are be reported.


title: TND-NAS: Towards Non-differentiable Objectives in Progressive Differentiable NAS Framework

abstract: Differentiable architecture search has gradually become the mainstream research topic in the field of Neural Architecture Search (NAS) for its high efficiency compared with the early NAS methods. Recent differentiable NAS also aims at further improving the search performance and reducing the GPU-memory consumption. However, these methods are no longer naturally capable of tackling the non-differentiable objectives, e.g., energy, resource-constrained efficiency, and other metrics, let alone the multi-objective search demands. Researches in the multi-objective NAS field target this but requires vast computational resources cause of the sole optimization of each candidate architecture. In light of this discrepancy, we propose the TND-NAS, which is with the merits of the high efficiency in differentiable NAS framework and the compatibility among non-differentiable metrics in Multi-objective NAS. Under the differentiable NAS framework, with the continuous relaxation of the search space, TND-NAS has the architecture parameters been optimized in discrete space, while resorting to the progressive search space shrinking by architecture parameters. Our representative experiment takes two objectives (Parameters, Accuracy) as an example, we achieve a series of high-performance compact architectures on CIFAR10 (1.09M/3.3%, 2.4M/2.95%, 9.57M/2.54%) and CIFAR100 (2.46M/18.3%, 5.46/16.73%, 12.88/15.20%) datasets. Favorably, compared with other multi-objective NAS methods, TND-NAS is less time-consuming (1.3 GPU-days on NVIDIA 1080Ti, 1/6 of that in NSGA-Net), and can be conveniently adapted to real-world NAS scenarios (resource-constrained, platform-specialized).


title: Dissipation-induced dynamical phase transition in postselected quantum trajectories

abstract: It is known that effects of dissipation or measurement backreaction in postselected quantum trajectories are described by non-Hermitian Hamiltonian, but their consequences in real-time dynamics of many-body systems are yet to be elucidated. Through a study of a non-Hermitian Hubbard model, we reveal a novel dissipation-induced dynamical phase transition in postselected quantum trajectories, where time controls the strength of postselection and becomes the intrinsic parameter inducing the phase transition. Our findings are testable in ultracold atom experiments and may open a new avenue in the dissipative engineering of quantum systems.

categories: cond-mat.quant-gas cond-mat.stat-mech cond-mat.str-el hep-lat hep-th


title: Constraints on the number of X-ray Pulsars in IC 10 from a deep XMM-Newton Observation

abstract: We report the most sensitive search yet for X-ray pulsars in the dwarf starburst galaxy IC 10, which is known to contain a population of young high mass X-ray binaries. We searched for pulsations in 207 point-like X-ray sources in the direction of IC 10 by a 2012 \xmm~observation with a total exposure time of 134.5 ks. Pulsation searches in faint objects can be sensitive to the energy bands of the light curves, and the source and background extraction areas. We analyzed separately the PN and MOS barycenter corrected 0.2-12 keV data, with good time interval filtering. Different schemes for source and background extraction were compared, and the search was repeated in the narrower 0.5-8 keV energy band to increase the signal-to-noise ratio. For the most conservative parameters, 5 point sources produced significant peaks in the Lomb-Scargle periodogram (99\% significance, single trial, assuming white noise). A similar number of different candidates result from alternative analyses. A $\sim$4100 s period seen in all 3 instruments for the black hole (BH) + Wolf-Rayet (WR) binary IC 10 X-1 is probably due to red noise of astrophysical origin. Considering the periods, luminosities, and spatial distribution of the pulsar candidates in the direction of IC 10, they do not belong to the same distribution as the ones in the Magellanic Clouds and Milky Way. This result holds even if the candidates are spurious, since if the Small Magellanic Cloud were placed at the distance of IC 10, we would expect to see $\sim$5 pulsars at $L_x>10^{36}$ \lx ~inside the $D_{25}$ contour, and their periods would be of order 100 seconds, rather than the mostly $\sim$1 s periods for the candidates reported here, which lie outside the main body of the galaxy.


title: Digital Audio Processing Tools for Music Corpus Studies

abstract: Digital audio processing tools offer music researchers the opportunity to examine both non-notated music and music as performance. This chapter summarises the types of information that can be extracted from audio as well as currently available audio tools for music corpus studies. The survey of extraction methods includes both a primer on signal processing and background theory on audio feature extraction. The survey of audio tools focuses on widely used tools, including both those with a graphical user interface, namely Audacity and Sonic Visualiser, and code-based tools written in the C/C++, Java, MATLAB, and Python computer programming languages.


title: Superradiant atomic recoil lasing with orbital angular momentum light

abstract: We analyze the collective light scattering by cold atoms in free space of a pump laser beam possessing orbital angular momentum. We derive a set of coupled equations for the atomic motion in which the vacuum-mode field is adiabatically eliminated. The resulting equations describe collective recoil as due to either transfer of linear momentum or orbital angular momentum. For a transverse annular atomic distribution the initial equilibrium with uniform atomic phases and no scattered field, is unstable. The atoms are set in rotation and bunched in phase at different harmonics depending on the pump azimuthal index l and on the ring radius.


title: The How and Why of Bayesian Nonparametric Causal Inference

abstract: Spurred on by recent successes in causal inference competitions, Bayesian nonparametric (and high-dimensional) methods have recently seen increased attention in the causal inference literature. In this paper, we present a comprehensive overview of Bayesian nonparametric applications to causal inference. Our aims are to (i) introduce the fundamental Bayesian nonparametric toolkit; (ii) discuss how to determine which tool is most appropriate for a given problem; and (iii) show how to avoid common pitfalls in applying Bayesian nonparametric methods in high-dimensional settings. Unlike standard fixed-dimensional parametric problems, where outcome modeling alone can sometimes be effective, we argue that most of the time it is necessary to model both the selection and outcome processes.


title: Rapid mixing for the hardcore Glauber dynamics and other Markov chains in bounded-treewidth graphs

abstract: We give a new rapid mixing result for a natural random walk on the independent sets of a graph $G$. We show that when $G$ has bounded treewidth, this random walk -- known as the Glauber dynamics for the hardcore model -- mixes rapidly for all fixed values of the standard parameter $\lambda > 0$, giving a simple alternative to existing sampling algorithms for these structures. We also show rapid mixing for analogous Markov chains on dominating sets, $b$-edge covers, $b$-matchings, maximal independent sets, and maximal $b$-matchings. (For $b$-matchings, maximal independent sets, and maximal $b$-matchings we also require bounded degree.) Our results imply simpler alternatives to known algorithms for the sampling and approximate counting problems in these graphs. We prove our results by applying a divide-and-conquer framework we developed in a previous paper, as an alternative to the projection-restriction technique introduced by Jerrum, Son, Tetali, and Vigoda. We extend this prior framework to handle chains for which the application of that framework is not straightforward, strengthening existing results by Dyer, Goldberg, and Jerrum and by Heinrich for the Glauber dynamics on $q$-colorings of graphs of bounded treewidth and bounded degree.


title: Planning for net zero by 2050, what HVAC system interventions will today's code minimum commercial buildings require?

abstract: Heating, Ventilation and Air conditioning (HVAC) systems account for approximately 40% of the total energy used by buildings in the USA. To reduce this consumption States enforce minimum energy codes that currently range from strict (ASHRAE 90.1-2016) to relaxed (ASHRAE 90.1-2007) with some states following no particular standard. To reach as close as possible to net zero carbon and energy, each statewide energy code requires different levels of interventions for each code minimum building. This paper presents a collection of potential HVAC retrofits to transition each State's current code minimum buildings towards the goal of net zero to achieve a carbon free future by 2050. The study shall use a large array of code minimum criteria and climate zones covering the 48 contiguous United States to determine the most successful interventions at reducing the energy use of buildings meeting today's energy codes. Office use type has been selected for the study as they account for 18% of total buildings and close to 19% of the total commercial floorspace. A number of interventions will be applied to this use type that will vary based on current code and climate zone; however, a common theme will be electrification through the use of heat pump technology. Each intervention will be scored based on energy and carbon savings, along with level of difficulty and cost. The study not only provides a comprehensive transition guideline toward the net zero energy and carbon but also predicts the future project opportunities.


title: Consensus Formation in First-Order Graphon Models with Time-Varying Topologies

abstract: In this article, we investigate the asymptotic formation of consensus for several classes of time-dependent cooperative graphon dynamics. After motivating the use of this type of macroscopic models to describe multi-agent systems, we adapt the classical notion of scrambling coefficient to this setting, leverage it to establish sufficient conditions ensuring the exponential convergence to consensus with respect to the $L^{\infty}$-norm topology. We then shift our attention to consensus formation expressed in terms of the $L^2$-norm, and prove three different consensus result for symmetric, balanced and strongly connected topologies, which involve a suitable generalisation of the notion of algebraic connectivity to this infinite-dimensional framework. We then show that, just as in the finite-dimensional setting, the notion of algebraic connectivity that we propose encodes information about the connectivity properties of the underlying interaction topology. We finally use the corresponding results to shed some light on the relation between $L^2$- and $L^{\infty}$-consensus formation, and illustrate our contributions by a series of numerical simulations.


title: Dynamics of two-dimensional liquid bridges

abstract: We have simulated the motion of a single vertical, two-dimensional liquid bridge spanning the gap between two flat, horizontal solid substrates of given wettabilities, using a multicomponent pseudopotential lattice Boltzmann method. For this simple geometry, the Young-Laplace equation can be solved (quasi-)analytically to yield the equilibrium bridge shape under gravity, which provides a check on the validity of the numerical method. In steady-state conditions, we calculate the drag force exerted by the moving bridge on the confining substrates as a function of its velocity, for different contact angles and Bond numbers. We also study how the bridge deforms as it moves, as parametrized by the changes in the advancing and receding contact angles at the substrates relative to their equilibrium values. Finally, starting from a bridge within the range of contact angles and Bond numbers in which it can exist at equilibrium, we investigate how fast it must move in order to break up.


title: Development of an FPGA-based realtime DAQ system for axion haloscope experiments

abstract: A real-time Data Acquisition (DAQ) system for the CULTASK axion haloscope experiment was constructed and tested. The CULTASK is an experiment to search for cosmic axions using resonant cavities, to detect photons from axion conversion through the inverse Primakoff effect in a few GHz frequency range in a very high magnetic field and at an ultra low temperature. The constructed DAQ system utilizes a Field Programmable Gate Array (FPGA) for data processing and Fast Fourier Transformation. This design along with a custom Ethernet packet designed for real-time data transfer enables 100% DAQ efficiency, which is the key feature compared with a commercial spectrum analyzer. This DAQ system is optimally designed for RF signal detection in the axion experiment, with 100 Hz frequency resolution and 500 kHz analysis window. The noise level of the DAQ system averaged over 100,000 measurements is around -111.7 dBm. From a pseudo-data analysis, an improvement of the signal-to-noise ratio due to repeating and averaging the measurements using this real-time DAQ system was confirmed.


title: Interstellar Extinction and Elemental Abundances: Individual Sight Lines

abstract: While it is well recognized that both the Galactic interstellar extinction curves and the gas-phase abundances of dust-forming elements exhibit considerable variations from one sight line to another, as yet most of the dust extinction modeling efforts have been directed to the Galactic average extinction curve, which is obtained by averaging over many clouds of different gas and dust properties. Therefore, any details concerning the relationship between the dust properties and the interstellar environments are lost. Here we utilize the wealth of extinction and elemental abundance data obtained by space telescopes and explore the dust properties of a large number of individual sight lines. We model the observed extinction curve of each sight line and derive the abundances of the major dust-forming elements (i.e., C, O, Si, Mg and Fe) required to be tied up in dust (i.e., dust depletion). We then confront the derived dust depletions with the observed gas-phase abundances of these elements and investigate the environmental effects on the dust properties and elemental depletions. It is found that for the majority of the sight lines the interstellar oxygen atoms are fully accommodated by gas and dust and therefore there does not appear to be a "missing oxygen" problem. For those sight lines with an extinction-to-hydrogen column density $A_V/N_H$ $>$ 4.8$\times$10$^{-22}$ mag cm$^2$/H there are shortages of C, Si, Mg and Fe elements for making dust to account for the observed extinction, even if the interstellar C/H, Si/H, Mg/H and Fe/H abundances are assumed to be proto-solar abundances augmented by Galactic chemical evolution.


title: On pseudo-absence generation and machine learning for locust breeding ground prediction in Africa

abstract: Desert locust outbreaks threaten the food security of a large part of Africa and have affected the livelihoods of millions of people over the years. Machine learning (ML) has been demonstrated as an effective approach to locust distribution modelling which could assist in early warning. ML requires a significant amount of labelled data to train. Most publicly available labelled data on locusts are presence-only data, where only the sightings of locusts being present at a location are recorded. Therefore, prior work using ML have resorted to pseudo-absence generation methods as a way to circumvent this issue. The most commonly used approach is to randomly sample points in a region of interest while ensuring that these sampled pseudo-absence points are at least a specific distance away from true presence points. In this paper, we compare this random sampling approach to more advanced pseudo-absence generation methods, such as environmental profiling and optimal background extent limitation, specifically for predicting desert locust breeding grounds in Africa. Interestingly, we find that for the algorithms we tested, namely logistic regression, gradient boosting, random forests and maximum entropy, all popular in prior work, the logistic model performed significantly better than the more sophisticated ensemble methods, both in terms of prediction accuracy and F1 score. Although background extent limitation combined with random sampling boosted performance for ensemble methods, for LR this was not the case, and instead, a significant improvement was obtained when using environmental profiling. In light of this, we conclude that a simpler ML approach such as logistic regression combined with more advanced pseudo-absence generation, specifically environmental profiling, can be a sensible and effective approach to predicting locust breeding grounds across Africa.


title: Geodesic curves in Gaussian random field manifolds

abstract: Random fields are mathematical structures used to model the spatial interaction of random variables along time, with applications ranging from statistical physics and thermodynamics to system's biology and the simulation of complex systems. Despite being studied since the 19th century, little is known about how the dynamics of random fields are related to the geometric properties of their parametric spaces. For example, how can we quantify the similarity between two random fields operating in different regimes using an intrinsic measure? In this paper, we propose a numerical method for the computation of geodesic distances in Gaussian random field manifolds. First, we derive the metric tensor of the underlying parametric space (the 3 x 3 first-order Fisher information matrix), then we derive the 27 Christoffel symbols required in the definition of the system of non-linear differential equations whose solution is a geodesic curve starting at the initial conditions. The fourth-order Runge-Kutta method is applied to numerically solve the non-linear system through an iterative approach. The obtained results show that the proposed method can estimate the geodesic distances for several different initial conditions. Besides, the results reveal an interesting pattern: in several cases, the geodesic curve obtained by reversing the system of differential equations in time does not match the original curve, suggesting the existence of irreversible geometric deformations in the trajectory of a moving reference traveling along a geodesic curve.

categories: cs.IT math-ph math.DG math.IT math.MP stat.CO


title: Insights Into Incitement: A Computational Perspective on Dangerous Speech on Twitter in India

abstract: Dangerous speech on social media platforms can be framed as blatantly inflammatory, or be couched in innuendo. It is also centrally tied to who engages it - it can be driven by openly sectarian social media accounts, or through subtle nudges by influential accounts, allowing for complex means of reinforcing vilification of marginalized groups, an increasingly significant problem in the media environment in the Global South. We identify dangerous speech by influential accounts on Twitter in India around three key events, examining both the language and networks of messaging that condones or actively promotes violence against vulnerable groups. We characterize dangerous speech users by assigning Danger Amplification Belief scores and show that dangerous users are more active on Twitter as compared to other users as well as most influential in the network, in terms of a larger following as well as volume of verified accounts. We find that dangerous users have a more polarized viewership, suggesting that their audience is more susceptible to incitement. Using a mix of network centrality measures and qualitative analysis, we find that most dangerous accounts tend to either be in mass media related occupations or allied with low-ranking, right-leaning politicians, and act as "broadcasters" in the network, where they are best positioned to spearhead the rapid dissemination of dangerous speech across the platform.


title: Causal Mediation and Sensitivity Analysis for Mixed-Scale Data

abstract: The goal of causal mediation analysis, often described within the potential outcomes framework, is to decompose the effect of an exposure on an outcome of interest along different causal pathways. Using the assumption of sequential ignorability to attain non-parametric identification, Imai et al. (2010) proposed a flexible approach to measuring mediation effects, focusing on parametric and semiparametric normal/Bernoulli models for the outcome and mediator. Less attention has been paid to the case where the outcome and/or mediator model are mixed-scale, ordinal, or otherwise fall outside the normal/Bernoulli setting. We develop a simple, but flexible, parametric modeling framework to accommodate the common situation where the responses are mixed continuous and binary, and apply it to a zero-one inflated beta model for the outcome and mediator. Applying our proposed methods to a publicly-available JOBS II dataset, we (i) argue for the need for non-normal models, (ii) show how to estimate both average and quantile mediation effects for boundary-censored data, and (iii) show how to conduct a meaningful sensitivity analysis by introducing unidentified, scientifically meaningful, sensitivity parameters.