title: In Defense of Liquid Democracy

abstract: Fluid democracy is a voting paradigm that allows voters to choose between directly voting and transitively delegating their votes to other voters. While fluid democracy has been viewed as a system that can combine the best aspects of direct and representative democracy, it can also result in situations where few voters amass a large amount of influence. To analyze the impact of this shortcoming, we consider what has been called an epistemic setting, where voters decide on a binary issue for which there is a ground truth. Previous work has shown that under certain assumptions on the delegation mechanism, the concentration of power is so severe that fluid democracy is less likely to identify the ground truth than direct voting. We examine different, arguably more realistic, classes of mechanisms, and prove they behave well by ensuring that (with high probability) there is a limit on concentration of power. Our proofs demonstrate that delegations can be treated as stochastic processes and that they can be compared to well-known processes from the literature -- such as preferential attachment and multi-types branching process -- that are sufficiently bounded for our purposes. Our results suggest that the concerns raised about fluid democracy can be overcome, thereby bolstering the case for this emerging paradigm.


title: Adaptive Estimation and Uniform Confidence Bands for Nonparametric Structural Functions and Elasticities

abstract: We introduce two data-driven procedures for optimal estimation and inference in nonparametric models using instrumental variables. The first is a data-driven choice of sieve dimension for a popular class of sieve two-stage least squares estimators. When implemented with this choice, estimators of both the structural function $h_0$ and its derivatives (such as elasticities) converge at the fastest possible (i.e., minimax) rates in sup-norm. The second is for constructing uniform confidence bands (UCBs) for $h_0$ and its derivatives. Our UCBs guarantee coverage over a generic class of data-generating processes and contract at the minimax rate, possibly up to a logarithmic factor. As such, our UCBs are asymptotically more efficient than UCBs based on the usual approach of undersmoothing. As an application, we estimate the elasticity of the intensive margin of firm exports in a monopolistic competition model of international trade. Simulations illustrate the good performance of our procedures in empirically calibrated designs. Our results provide evidence against common parameterizations of the distribution of unobserved firm heterogeneity.


title: Wavelet Selection and Employment for Side-Channel Disassembly

abstract: Side-channel analysis, originally used in cryptanalysis is growing in use cases, both offensive and defensive. Wavelet analysis is a commonly employed time-frequency analysis technique used across disciplines, with a variety of purposes, and has shown increasing prevalence within side-channel literature. This paper explores wavelet selection and analysis parameters for use in side-channel analysis, particularly power side-channel-based instruction disassembly and classification. Experiments are conducted on an ATmega328P microcontroller and a subset of the AVR instruction set. Classification performance is evaluated with a time-series convolutional neural network (CNN) at clock-cycle fidelity. This work demonstrates that wavelet selection and employment parameters have meaningful impact on analysis outcomes. Practitioners should make informed decisions and consider optimizing these factors similarly to machine learning architecture and hyperparameters. We conclude that the gaus1 wavelet with scales 1-21 and grayscale colormap provided the best balance of classification performance, time, and memory efficiency in our application.


title: Adding air attenuation to simulated room impulse responses: A modal approach

abstract: Air absorption is an important effect to consider when simulating room acoustics as it leads to significant attenuation in high frequencies. In this study, an offline method for adding air absorption to simulated room impulse responses is devised. The proposed method is based on a modal scheme for a system of one-dimensional dissipative wave equations, which can be used to post-process a room impulse response simulated without air absorption, thereby incorporating missing frequency-dependent distance-based air attenuation. Numerical examples are presented to evaluate the proposed method, along with comparisons to existing filter-based methods.


title: Entanglement entropy in Jackiw-Teitelboim gravity with matter

abstract: In this paper, I study the entanglement entropy in Hartle-Hawking states of JT gravity set up by a Euclidean path integral with an operator inserted somewhere along the Euclidean boundary. I show that the entanglement entropy between the dual SYK models can be written to leading order in $1/G_N$ in a way that resembles a formula for entanglement entropy in a compact lattice gauge theory, but where the link that we appear to compute the entanglement across depends on where we put the operator along the Euclidean boundary. I then describe a toy model where we can write down an explicit family of density matrices whose von Neumann entropies exhibit such a phase transition as we tune an interpolating parameter. This behavior relies on a certain superselection sector structure and I comment on the possibility that the gravitational result comes from a similar emergent superselection sector structure in SYK/JT holography. The main implication is that each copy of the SYK model should then contain Hilbert space sectors labeled by multiple $SL(2,R)$ representations whose entanglement gives rise to space.


title: Quantum guessing games with posterior information

abstract: Quantum guessing games form a versatile framework for studying different tasks of information processing. A quantum guessing game with posterior information uses quantum systems to encode messages and classical communication to give partial information after a quantum measurement has been performed. We present a general framework for quantum guessing games with posterior information and derive structure and reduction theorems that enable to analyze any such game. We formalize symmetry of guessing games and characterize the optimal measurements in cases where the symmetry is related to an irreducible representation. The application of guessing games to incompatibility detection is reviewed and clarified. All the presented main concepts and results are demonstrated with examples.


title: Quaternionic analogues of Bers's theorem and Iss'sa's theorem

abstract: In their recent work, Gentili and Struppa proposed a different quaternionic analogue of the notion of holomorphic functions in the complex plane, called \textit{slice regular functions}, which has led to several analogues of classical theorems in complex function theory in the quaternionic setting. The quaternionic analogue of meromorphic functions is called \textit{semiregular functions}. Such a function is said to be \textit{slice preserving} if it maps each domain in a complex line to a domain in the same complex line. In this work, we deal with the relation between analytic and algebraic properties of certain fields of semiregular functions in symmetric slice domains of the real quaternions. More precisely, we prove quaternionic analogues of Bers's theorem and Iss'sa's theorem that deal with the algebraic structures of the ring of slice preserving regular functions and of certain fields of slice preserving semiregular functions on symmetric slice domains in the real quaternions.


title: Stochastic differential equations in a scale of Hilbert spaces 2. Global solutions

abstract: A stochastic differential equation with coefficients defined in a scale of Hilbert spaces is considered. The existence, uniqueness and path-continuity of infinite-time solutions is proved by an extension of the Ovsyannikov method. This result is applied to a system of equations describing non-equilibrium stochastic dynamics of (real-valued) spins of an infinite particle system on a typical realization of a Poisson or Gibbs point process in ${\mathbb{R}}^{n}$. The paper improves the results of the work by the second named author "Stochastic differential equations in a scale of Hilbert spaces", Electron. J. Probab. 23, where finite-time solutions were constructed.


title: A Study on Speech Enhancement Based on Diffusion Probabilistic Model

abstract: Diffusion probabilistic models have demonstrated an outstanding capability to model natural images and raw audio waveforms through a paired diffusion and reverse processes. The unique property of the reverse process (namely, eliminating non-target signals from the Gaussian noise and noisy signals) could be utilized to restore clean signals. Based on this property, we propose a diffusion probabilistic model-based speech enhancement (DiffuSE) model that aims to recover clean speech signals from noisy signals. The fundamental architecture of the proposed DiffuSE model is similar to that of DiffWave--a high-quality audio waveform generation model that has a relatively low computational cost and footprint. To attain better enhancement performance, we designed an advanced reverse process, termed the supportive reverse process, which adds noisy speech in each time-step to the predicted speech. The experimental results show that DiffuSE yields performance that is comparable to related audio generative models on the standardized Voice Bank corpus SE task. Moreover, relative to the generally suggested full sampling schedule, the proposed supportive reverse process especially improved the fast sampling, taking few steps to yield better enhancement results over the conventional full step inference process.


title: Quantum speed limit helps interpret geometric measure of entanglement

abstract: Using the approach offered by quantum speed limit, we show that geometric measure of multipartite entanglement for pure states [Phys. Rev. A 68, 042307(2003)] can be interpreted as the minimal time necessary to unitarily evolve a given quantum state to a separable one.


title: Spatio-Temporal Representation Factorization for Video-based Person Re-Identification

abstract: Despite much recent progress in video-based person re-identification (re-ID), the current state-of-the-art still suffers from common real-world challenges such as appearance similarity among various people, occlusions, and frame misalignment. To alleviate these problems, we propose Spatio-Temporal Representation Factorization (STRF), a flexible new computational unit that can be used in conjunction with most existing 3D convolutional neural network architectures for re-ID. The key innovations of STRF over prior work include explicit pathways for learning discriminative temporal and spatial features, with each component further factorized to capture complementary person-specific appearance and motion information. Specifically, temporal factorization comprises two branches, one each for static features (e.g., the color of clothes) that do not change much over time, and dynamic features (e.g., walking patterns) that change over time. Further, spatial factorization also comprises two branches to learn both global (coarse segments) as well as local (finer segments) appearance features, with the local features particularly useful in cases of occlusion or spatial misalignment. These two factorization operations taken together result in a modular architecture for our parameter-wise light STRF unit that can be plugged in between any two 3D convolutional layers, resulting in an end-to-end learning framework. We empirically show that STRF improves performance of various existing baseline architectures while demonstrating new state-of-the-art results using standard person re-ID evaluation protocols on three benchmarks.


title: Hybrid Autoregressive Inference for Scalable Multi-hop Explanation Regeneration

abstract: Regenerating natural language explanations in the scientific domain has been proposed as a benchmark to evaluate complex multi-hop and explainable inference. In this context, large language models can achieve state-of-the-art performance when employed as cross-encoder architectures and fine-tuned on human-annotated explanations. However, while much attention has been devoted to the quality of the explanations, the problem of performing inference efficiently is largely under-studied. Cross-encoders, in fact, are intrinsically not scalable, possessing limited applicability to real-world scenarios that require inference on massive facts banks. To enable complex multi-hop reasoning at scale, this paper focuses on bi-encoder architectures, investigating the problem of scientific explanation regeneration at the intersection of dense and sparse models. Specifically, we present SCAR (for Scalable Autoregressive Inference), a hybrid framework that iteratively combines a Transformer-based bi-encoder with a sparse model of explanatory power, designed to leverage explicit inference patterns in the explanations. Our experiments demonstrate that the hybrid framework significantly outperforms previous sparse models, achieving performance comparable with that of state-of-the-art cross-encoders while being approx 50 times faster and scalable to corpora of millions of facts. Further analyses on semantic drift and multi-hop question answering reveal that the proposed hybridisation boosts the quality of the most challenging explanations, contributing to improved performance on downstream inference tasks.


title: From Binary Error Correcting Codes to a Relation Between Maximal D=4 and D=3 Supergravities

abstract: This short note provides (TensorFlow-based) numerical evidence for the embedability (in the limit of a scalar parameter going to infinity) of the scalar potential of dyonic N=8, D=4 SO(8) supergravity into the scalar potential of N=16, D=3 SO(8)xSO(8) supergravity. One finds that the dyonic $\omega$-angle gets identified with the compact U(1) part of the SL(2) factor of the SL(2)xE7(7) subgroup of E8(8).


title: Ultra-Fast, High-Performance 8x8 Approximate Multipliers by a New Multicolumn 3,3:2 Inexact Compressor and its Derivatives

abstract: A multiplier, as a key component in many different applications, is a time-consuming, energy-intensive computation block. Approximate computing is a practical design paradigm that attempts to improve hardware efficacy while keeping computation quality satisfactory. A novel multicolumn 3,3:2 inexact compressor is presented in this paper. It takes three partial products from two adjacent columns each for rapid partial product reduction. The proposed inexact compressor and its derivates enable us to design a high-speed approximate multiplier. Then, another ultra-fast, high-efficient approximate multiplier is achieved utilizing a systematic truncation strategy. The proposed multipliers accumulate partial products in only two stages, one fewer stage than other approximate multipliers in the literature. Implementation results by Synopsys Design Compiler and 45 nm technology node demonstrates nearly 11.11% higher speed for the second proposed design over the fastest existing approximate multiplier. Furthermore, the new approximate multipliers are applied to the image processing application of image sharpening, and their performance in this application is highly satisfactory. It is shown in this paper that the error pattern of an approximate multiplier, in addition to the mean error distance and error rate, has a direct effect on the outcomes of the image processing application.


title: Lung Cancer Risk Estimation with Incomplete Data: A Joint Missing Imputation Perspective

abstract: Data from multi-modality provide complementary information in clinical prediction, but missing data in clinical cohorts limits the number of subjects in multi-modal learning context. Multi-modal missing imputation is challenging with existing methods when 1) the missing data span across heterogeneous modalities (e.g., image vs. non-image); or 2) one modality is largely missing. In this paper, we address imputation of missing data by modeling the joint distribution of multi-modal data. Motivated by partial bidirectional generative adversarial net (PBiGAN), we propose a new Conditional PBiGAN (C-PBiGAN) method that imputes one modality combining the conditional knowledge from another modality. Specifically, C-PBiGAN introduces a conditional latent space in a missing imputation framework that jointly encodes the available multi-modal data, along with a class regularization loss on imputed data to recover discriminative information. To our knowledge, it is the first generative adversarial model that addresses multi-modal missing imputation by modeling the joint distribution of image and non-image data. We validate our model with both the national lung screening trial (NLST) dataset and an external clinical validation cohort. The proposed C-PBiGAN achieves significant improvements in lung cancer risk estimation compared with representative imputation methods (e.g., AUC values increase in both NLST (+2.9\%) and in-house dataset (+4.3\%) compared with PBiGAN, p$<$0.05).


title: A freely falling graviton in the D1D5 CFT

abstract: We study a freely falling graviton propagating in AdS in the context of the D1D5 CFT, where we introduce an interaction by turning on a deformation operator. We start with one left and right moving boson in the CFT. After applying two deformation operators, the initial bosons split into three left moving and three right moving bosons. We compute the amplitude for various energies and extrapolate the result to the large energy region. At early times, the amplitude is linear in time. This corresponds to an infalling graviton becoming redshifted in AdS. At late times, the amplitude is periodic, which agrees with the fact that a freely falling graviton will not be thermalized.


title: Exact gyratons in higher and infinite derivative gravity

abstract: We study solutions describing spinning null sources called gyratons in generic theories of gravity with terms that are quadratic in curvature and contain an arbitrary number of covariant derivatives. In particular, we show that the properties of pp-waves of the algebraic type III allow for extreme simplification of the field equations. It turns out that the resulting differential equations are exactly solvable due to partial decoupling and linearity of the equations. This is demonstrated explicitly by finding axially symmetric gyraton solutions in Stelle's fourth derivative gravity and the non-local gravity with an infinite number of derivatives.


title: The three point asymmetric cumulants in high multiplicity pp collisions

abstract: We study the influence of quantum interference and colour flow on three point correlations described by asymmetric cumulants in high multiplicity events in pp collisions. We use the model previously developed for the study of the collectivity in symmetric cumulants. We show that the resulting three point asymmetric cumulant is in qualitative agreement with the experimental data for the same parameters of the model as it was with the symmetric cumulants. Our results show that the initial state correlations must play a major role and may be even dominant in the explanation of the correlations in high multiplicity pp events.


title: Logspace Reducibility From Secret Leakage Planted Clique

abstract: The planted clique problem is well-studied in the context of observing, explaining, and predicting interesting computational phenomena associated with statistical problems. When equating computational efficiency with the existence of polynomial time algorithms, the computational hardness of (some variant of) the planted clique problem can be used to infer the computational hardness of a host of other statistical problems. Is this ability to transfer computational hardness from (some variant of) the planted clique problem to other statistical problems robust to changing our notion of computational efficiency to space efficiency? We answer this question affirmatively for three different statistical problems, namely Sparse PCA, submatrix detection, and testing almost k-wise independence. The key challenge is that space efficient randomized reductions need to repeatedly access the randomness they use. Known reductions to these problems are all randomized and need polynomially many random bits to implement. Since we can not store polynomially many random bits in memory, it is unclear how to implement these existing reductions space efficiently. There are two ideas involved in circumventing this issue and implementing known reductions to these problems space efficiently. 1. When solving statistical problems, we can use parts of the input itself as randomness. 2. Secret leakage variants of the planted clique problem with appropriate secret leakage can be more useful than the standard planted clique problem when we want to use parts of the input as randomness. (abstract shortened due to arxiv constraints)


title: Poincar\'e Duality for Hopf algebroids

abstract: We prove a twisted Poincar\'e duality for (full) Hopf algebroids with bijective antipode. As an application, we recover the Hochschild twisted Poincar\'e duality of Van Den Bergh [VDB]. We also get a Poisson twisted Poincar\'e duality, which was already stated for oriented Poisson manifolds in [CLYZ].


title: Towards an untyped proof of Con(NF)

abstract: The idea of this approach towards proving the consistency of Quine's New Foundations set theory is to go in a completely untyped manner. So no contemplation about types is utilized here. All conceptualization pivots around proving a handful many axioms that are completely untyped and framed in the usual language of set theory, and proven to be equivalent to NF. Here, it'll be shown that if we assume the consistency of ZF plus an automorphism and an external bijection with suitable internalization of subsets of its domain and codomain, then NF would be interpreted in this system using a modification of Boffa construction models.


title: GCExplainer: Human-in-the-Loop Concept-based Explanations for Graph Neural Networks

abstract: While graph neural networks (GNNs) have been shown to perform well on graph-based data from a variety of fields, they suffer from a lack of transparency and accountability, which hinders trust and consequently the deployment of such models in high-stake and safety-critical scenarios. Even though recent research has investigated methods for explaining GNNs, these methods are limited to single-instance explanations, also known as local explanations. Motivated by the aim of providing global explanations, we adapt the well-known Automated Concept-based Explanation approach (Ghorbani et al., 2019) to GNN node and graph classification, and propose GCExplainer. GCExplainer is an unsupervised approach for post-hoc discovery and extraction of global concept-based explanations for GNNs, which puts the human in the loop. We demonstrate the success of our technique on five node classification datasets and two graph classification datasets, showing that we are able to discover and extract high-quality concept representations by putting the human in the loop. We achieve a maximum completeness score of 1 and an average completeness score of 0.753 across the datasets. Finally, we show that the concept-based explanations provide an improved insight into the datasets and GNN models compared to the state-of-the-art explanations produced by GNNExplainer (Ying et al., 2019).


title: Row finite systems of stochastic differential equations with dissipative drift

abstract: Motivated by studies of stochastic systems describing non-equilibrium dynamics of (real-valued) spins of an infinite particle system in $\mathbb{R}^n$ we consider a row-finite system of stochastic differential equations with dissipative drift. The existence and uniqueness of infinite time solutions is proved via finite volume approximation and a version of the Ovsjannikov method.


title: Phase Spectrometry For High Precision mm-Wave DoA Estimation In 5G Systems

abstract: In this paper, we introduce a direction of arrival (DoA) estimation method based on a technique named phase spectrometry (PS) that is mainly suitable for mm-Wave and Tera-hertz applications as an alternative for DoA estimation using antenna arrays. PS is a conventional technique in optics to measure phase difference between two waves at different frequencies of the spectrum. Here we adapt PS for the same purpose in the radio frequency band. We show that we can emulate a large array exploiting only two antennas. To this end, we measure phase difference between the two antennas for different frequencies using PS. Consequently, we demonstrate that we can radically reduce the complexity of the receiver required for DoA estimation employing PS. We consider two different schemes for implementation of PS: via a long wave-guide and frequency code-book. We show that using a frequency code-book, higher processing gain can be achieved. Moreover, we introduce three PS architectures: for device to device DoA estimation, for base-station in uplink scenario and an ultra-fast DoA estimation technique mainly for radar and aerial and satellite communications. Simulation and analytical results show that, PS is capable of detecting and discriminating between multiple incoming signals with different DoAs. Moreover, our results also show that, the angular resolution of PS depends on the distance between the two antennas and the band-width of the frequency code-book. Finally, the performance of PS is compared with a uniform linear array (ULA) and it is shown that PS can perform the same, with a much less complex receiver, and without the prerequisite of spatial search for DoA estimation.


title: A brief note on understanding neural networks as Gaussian processes

abstract: As a generalization of the work in [Lee et al., 2017], this note briefly discusses when the prior of a neural network output follows a Gaussian process, and how a neural-network-induced Gaussian process is formulated. The posterior mean functions of such a Gaussian process regression lie in the reproducing kernel Hilbert space defined by the neural-network-induced kernel. In the case of two-layer neural networks, the induced Gaussian processes provide an interpretation of the reproducing kernel Hilbert spaces whose union forms a Barron space.


title: Hausdorff operators associated with the Opdam--Cherednik transform in Lebesgue spaces

abstract: In this paper, we introduce the Hausdorff operator associated with the Opdam--Cherednik transform and study the boundedness of this operator in various Lebesgue spaces. In particular, we prove the boundedness of the Hausdorff operator in Lebesgue spaces, in grand Lebesgue spaces, and in quasi-Banach spaces that are associated with the Opdam--Cherednik transform. Also, we give necessary and sufficient conditions for the boundedness of the Hausdorff operator in these spaces.


title: On Structural Rank and Resilience of Sparsity Patterns

abstract: A sparsity pattern in $\mathbb{R}^{n \times m}$, for $m\geq n$, is a vector subspace of matrices admitting a basis consisting of canonical basis vectors in $\mathbb{R}^{n \times m}$. We represent a sparsity pattern by a matrix with $0/\star$-entries, where $\star$-entries are arbitrary real numbers and $0$-entries are equal to $0$. We say that a sparsity pattern has full structural rank if the maximal rank of matrices contained in it is $n$. In this paper, we investigate the degree of resilience of patterns with full structural rank: We address questions such as how many $\star$-entries can be removed without decreasing the structural rank and, reciprocally, how many $\star$-entries one needs to add so as to increase the said degree of resilience to reach a target. Our approach goes by translating these questions into max-flow problems on appropriately defined bipartite graphs. Based on these translations, we provide algorithms that solve the problems in polynomial time.


title: First direct lattice calculation of the chiral perturbation theory low-energy constant $\ell_7$

abstract: We evaluate by means of lattice QCD calculations the low-energy constant $\ell_{7}$ which parametrizes strong isospin effects at NLO in $\rm{SU}(2)$ chiral perturbation theory. Among all low-energy constants at NLO, $\ell_{7}$ is the one known less precisely, and its uncertainty is currently larger than $50\%$. Our strategy is based on the RM123 approach in which the lattice path-integral is expanded in powers of the isospin breaking parameter $\Delta m= (m_{d}-m_{u})/2$. In order to evaluate the relevant lattice correlators we make use of the recently proposed rotated twisted-mass (RTM) scheme. Within the RM123 approach, it is possible to cleanly extract the value of $\ell_{7}$ from either the pion mass splitting $M_{\pi^{+}}-M_{\pi^{0}}$ induced by strong isospin breaking at order $\mathcal{O}\left((\Delta m)^{2}\right)$ (mass method), or from the coupling of the neutral pion $\pi^{0}$ to the isoscalar operator $\left(\bar{u}\gamma_{5}u + \bar{d}\gamma_{5} d\right)/\sqrt{2}$ at order $\mathcal{O}(\Delta m)$ (matrix element method). In this pilot study we limit the analysis to a single ensemble generated by the Extended Twisted Mass Collaboration (ETMC) with $N_{f}=2+1+1$ dynamical quark flavours, which corresponds to a lattice spacing $a\simeq 0.095~{\rm fm}$ and to a pion mass $M_{\pi}\simeq 260~{\rm MeV}$. We find that the matrix element method outperforms the mass method in terms of resulting statistical accuracy. Our determination, $\ell_{7} = 2.5(1.4)\times 10^{-3}$, is in agreement and improves previous calculations.


title: Reflected backward stochastic differential equations under stopping with an arbitrary random time

abstract: This paper addresses reflected backward stochastic differential equations (RBSDE hereafter) that take the form of \begin{eqnarray*} \begin{cases} dY_t=f(t,Y_t, Z_t)d(t\wedge\tau)+Z_tdW_t^{\tau}+dM_t-dK_t,\quad Y_{\tau}=\xi, Y\geq S\quad\mbox{on}\quad \Lbrack0,\tau\Lbrack,\quad \displaystyle\int_0^{\tau}(Y_{s-}-S_{s-})dK_s=0\quad P\mbox{-a.s..}\end{cases} \end{eqnarray*} Here $\tau$ is an arbitrary random time that might not be a stopping time for the filtration $\mathbb F$ generated by the Brownian motion $W$. We consider the filtration $\mathbb G$ resulting from the progressive enlargement of $\mathbb F$ with $\tau$ where this becomes a stopping time, and study the RBSDE under $\mathbb G$. Precisely, we focus on answering the following problems: a) What are the sufficient minimal conditions on the data $(f, \xi, S, \tau)$ that guarantee the existence of the solution of the $\mathbb G$-RBSDE in $L^p$ ($p>1$)? b) How can we estimate the solution in norm using the triplet-data $(f, \xi, S)$? c) Is there an RBSDE under $\mathbb F$ that is intimately related to the current one and how their solutions are related to each other? We prove that for any random time, having a positive Az\'ema supermartingale, there exists a positive discount factor ${\widetilde{\cal E}}$ that is vital in answering our questions without assuming any further assumption on $\tau$, and determining the space for the triplet-data $(f,\xi, S)$ and the space for the solution of the RBSDE as well.


title: Hidden, one-dimensional, strongly nested, and almost half-filled Fermi surface in Ba$_2$CuO$_{3+y}$ superconductors

abstract: All previous cuprate superconductors display a set of common features: (i) vicinity to a Cu 3$d^{9}$ configuration; (ii) separated CuO$_2$ planes; (iii) superconductivity for doping $\delta \sim$ 0.1$-$0.3. Recently [PNAS {\bf 24}, 12156 (2019)] challenged this picture by discovering "highly overdoped" superconducting Ba$_2$CuO$_{3+y}$. Using density-functional theory + dynamical mean-field theory, we reveal a bilayer structure of Ba$_2$CuO$_{3.2}$ of alternating quasi 2D and quasi 1D character. Correlations tune an inter-layer self-doping leading to an almost half-filled, strongly nested quasi 1D $d_{b^2-c^2}$ band, which is prone to strong antiferromagnetic fluctuations, possibly at the origin of superconductivity in Ba$_2$CuO$_{3+y}$.


title: A sketch for derivators

abstract: We show first that derivators can be seen as models of a suitable homotopy limit 2-sketch. After discussing homotopy local $\lambda$-presentability of the 2-category of derivators, for some appropriate regular cardinal $\lambda$, as an application we prove that derivators of small presentation are homotopy $\lambda$-presentable objects.


title: On characters of wreath products

abstract: A character identity which relates irreducible character values of the hyperoctahedral group $B_n$ to those of the symmetric group $S_{2n}$ was recently proved by L\"ubeck and Prasad. Their proof is algebraic and involves Lie theory. We present a short combinatorial proof of this identity, as well as a generalization to other wreath products.


title: The surface of a sufficiently large sphere has chromatic number at most 7

abstract: We present a method to assign, for any radius $r$ greater than about 12.44, one of seven colors to each point in $\mathbb{R}^3$ lying at distance $r$ from the origin, such that no two points at unit distance from each other are assigned the same color. The existence of such a construction contrasts with the recent demonstration that, for any positive value $\varepsilon$, if no two points assigned the same color lie at any distance in $[1,1+\varepsilon]$ (and with certain other restrictions that are also satisfied with our coloring), then eight colors are needed for any finite $r\ge18$, even though seven colors suffice in the plane when $\varepsilon \leq\frac{\sqrt{7}}{2} - 1$.


title: A forward-looking matheuristic approach for the multi-period two-dimensional non-guillotine cutting stock problem with usable leftovers

abstract: In [E. G. Birgin, O. C. Rom\~ao, and D. P. Ronconi, The multi-period two-dimensional non-guillotine cutting stock problem with usable leftovers, International Transactions in Operational Research 27(3), 1392-1418, 2020] the multi-period two-dimensional non-guillotine cutting stock problem with usable leftovers was introduced. At each decision instant, the problem consists in determining a cutting pattern for a set of ordered items using a set of objects that can be purchased or can be leftovers of previous periods; the goal being the minimization of the overall cost of the objects up to the considered time horizon. Among solutions with minimum cost, a solution that maximizes the value of the leftovers at the end of the considered horizon is sought. A forward-looking matheuristic approach that applies to this problem is introduced in the present work. At each decision instant, the objects and the cutting pattern that will be used is determined, taking into account the impact of this decision in future states of the system. More specifically, for each potentially used object, an attempt is made to estimate the utilization rate of its leftovers and thereby determine whether the object should be used or not. The approach's performance is compared to the performance of a myopic technique. Numerical experiments show the efficacy of the proposed approach.


title: Inferring spin tilts at formation from gravitational wave observations of binary black holes: Interfacing precession-averaged and orbit-averaged spin evolution

abstract: Two important parameters inferred from the gravitational wave signals of binaries of precessing black holes are the spin tilt angles, i.e., the angles at which the black holes' spin axes are inclined with respect to the binary's orbital angular momentum. The LIGO-Virgo parameter estimation analyses currently provide spin tilts at a fiducial reference frequency, often the lowest frequency used in the data analysis. However, the most astrophysically interesting quantities are the spin tilts when the binary was formed, which can be significantly different from those at the reference frequency for strongly precessing binaries. The spin tilts at formally infinite separation are a good approximation to the tilts at formation in many formation channels and can be computed efficiently for binary black holes using precession-averaged evolution. Here, we present a new code for computing the tilts at infinity that combines the precession-averaged evolution with orbit-averaged evolution at high frequencies and illustrate its application to GW190521 and other binary black hole detections from O3a. We have empirically determined the transition frequency between the orbit-averaged and precession-averaged evolution to produce tilts at infinity with a given accuracy. We also have regularized the precession-averaged equations in order to obtain good accuracy for the very close-to-equal-mass binary parameters encountered in practice. This additionally allows us to investigate the singular equal-mass limit of the precession-averaged expressions, where we find an approximate scaling of $1/(1 - q)$ with the mass ratio $q$.


title: Assertion-Based Approaches to Auditing Complex Elections, with Application to Party-List Proportional Elections

abstract: Risk-limiting audits (RLAs), an ingredient in evidence-based elections, are increasingly common. They are a rigorous statistical means of ensuring that electoral results are correct, usually without having to perform an expensive full recount -- at the cost of some controlled probability of error. A recently developed approach for conducting RLAs, SHANGRLA, provides a flexible framework that can encompass a wide variety of social choice functions and audit strategies. Its flexibility comes from reducing sufficient conditions for outcomes to be correct to canonical `assertions' that have a simple mathematical form. Assertions have been developed for auditing various social choice functions including plurality, multi-winner plurality, super-majority, Hamiltonian methods, and instant runoff voting. However, there is no systematic approach to building assertions. Here, we show that assertions with linear dependence on transformations of the votes can easily be transformed to canonical form for SHANGRLA. We illustrate the approach by constructing assertions for party-list elections such as Hamiltonian free list elections and elections using the D'Hondt method, expanding the set of social choice functions to which SHANGRLA applies directly.


title: Transferable Dialogue Systems and User Simulators

abstract: One of the difficulties in training dialogue systems is the lack of training data. We explore the possibility of creating dialogue data through the interaction between a dialogue system and a user simulator. Our goal is to develop a modelling framework that can incorporate new dialogue scenarios through self-play between the two agents. In this framework, we first pre-train the two agents on a collection of source domain dialogues, which equips the agents to converse with each other via natural language. With further fine-tuning on a small amount of target domain data, the agents continue to interact with the aim of improving their behaviors using reinforcement learning with structured reward functions. In experiments on the MultiWOZ dataset, two practical transfer learning problems are investigated: 1) domain adaptation and 2) single-to-multiple domain transfer. We demonstrate that the proposed framework is highly effective in bootstrapping the performance of the two agents in transfer learning. We also show that our method leads to improvements in dialogue system performance on complete datasets.


title: Revealing the Landscape of Privacy-Enhancing Technologies in the Context of Data Markets for the IoT: A Systematic Literature Review

abstract: IoT data markets in public and private institutions have become increasingly relevant in recent years because of their potential to improve data availability and unlock new business models. However, exchanging data in markets bears considerable challenges related to disclosing sensitive information. Despite considerable research focused on different aspects of privacy-enhancing data markets for the IoT, none of the solutions proposed so far seems to find a practical adoption. Thus, this study aims to organize the state-of-the-art solutions, analyze and scope the technologies that have been suggested in this context, and structure the remaining challenges to determine areas where future research is required. To accomplish this goal, we conducted a systematic literature review on privacy enhancement in data markets for the IoT, covering 50 publications dated up to July 2020, and provided updates with 24 publications dated up to May 2022. Our results indicate that most research in this area has emerged only recently, and no IoT data market architecture has established itself as canonical. Existing solutions frequently lack the required combination of anonymization and secure computation technologies. Furthermore, there is no consensus on the appropriate use of blockchain technology for IoT data markets and a low degree of leveraging existing libraries or reusing generic data market architectures. We also identified significant challenges remaining, such as the copy problem and the recursive enforcement problem that-while solutions have been suggested to some extent-are often not sufficiently addressed in proposed designs. We conclude that privacy-enhancing technologies need further improvements to positively impact data markets so that, ultimately, the value of data is preserved through data scarcity and users' privacy and businesses-critical information are protected.


title: H-Transformer-1D: Fast One-Dimensional Hierarchical Attention for Sequences

abstract: We describe an efficient hierarchical method to compute attention in the Transformer architecture. The proposed attention mechanism exploits a matrix structure similar to the Hierarchical Matrix (H-Matrix) developed by the numerical analysis community, and has linear run time and memory complexity. We perform extensive experiments to show that the inductive bias embodied by our hierarchical attention is effective in capturing the hierarchical structure in the sequences typical for natural language and vision tasks. Our method is superior to alternative sub-quadratic proposals by over +6 points on average on the Long Range Arena benchmark. It also sets a new SOTA test perplexity on One-Billion Word dataset with 5x fewer model parameters than that of the previous-best Transformer-based models.


title: A note on $\phi$-Pr\"ufer $v$-multiplication rings

abstract: In this note, we show that a strongly $\phi$-ring $R$ is a $\phi$-PvMR if and only if any $\phi$-torsion free $R$-module is $\phi$-$w$-flat, if and only if any divisible module is nonnil-absolutely $w$-pure module, if and only if any $h$-divisible module is nonnil-absolutely $w$-pure module, if and only if any finitely generated nonnil ideal of $R$ is $w$-projective.


title: Full-low evaluation methods for derivative-free optimization

abstract: We propose a new class of rigorous methods for derivative-free optimization with the aim of delivering efficient and robust numerical performance for functions of all types, from smooth to non-smooth, and under different noise regimes. To this end, we have developed Full-Low Evaluation methods, organized around two main types of iterations. The first iteration type is expensive in function evaluations, but exhibits good performance in the smooth and non-noisy cases. For the theory, we consider a line search based on an approximate gradient, backtracking until a sufficient decrease condition is satisfied. In practice, the gradient was approximated via finite differences, and the direction was calculated by a quasi-Newton step (BFGS). The second iteration type is cheap in function evaluations, yet more robust in the presence of noise or non-smoothness. For the theory, we consider direct search, and in practice we use probabilistic direct search with one random direction and its negative. A switch condition from Full-Eval to Low-Eval iterations was developed based on the values of the line-search and direct-search stepsizes. If enough Full-Eval steps are taken, we derive a complexity result of gradient-descent type. Under failure of Full-Eval, the Low-Eval iterations become the drivers of convergence yielding non-smooth convergence. Full-Low Evaluation methods are shown to be efficient and robust in practice across problems with different levels of smoothness and noise.


title: Depolarization of MgH Solar Lines by Collisions with Hydrogen Atoms

abstract: Interpretations of the very rich second solar spectrum of the MgH molecule face serious problems owing to the complete lack of any information about rates of collisions between the MgH and hydrogen atoms. This work seeks to begin the process of filling this lacuna by providing, for the first time, quantum excitation, depolarization, and polarization transfer collisional rates of the MgH ground state $X^2\Sigma$. To achieve the goals of this work, potential energy surfaces are calculated and then are included in the Schr\"odinger equation to obtain the probabilities of collisions and, thus, all collisional rates. Our rates are obtained for temperatures ranging from $T \!\!=$2000 K to $T \!\!=$15,000 K. Sophisticated genetic programming methods are adopted in order to fit all depolarization rates with useful analytical functions of two variables: the total molecular angular momentum and temperatures. We study the solar implications of our results, and we find that the $X^2\Sigma$ state of MgH is partially depolarized by isotropic collisions with neutral hydrogen in its ground state $^2S$. Our findings show the limits of applicability of the widely used approximation in which the lower-level polarization is neglected.

categories: astro-ph.SR physics.atom-ph physics.chem-ph physics.plasm-ph


title: Flattening the Curve with Einstein's Quantum Elevator: Hermitization of Non-Hermitian Hamiltonians via a Generalized Vielbein Formalism

abstract: The formalism for non-Hermitian quantum systems sometimes blurs the underlying physics. We present a systematic study of the vielbein-like formalism which transforms the Hilbert space bundles of non-Hermitian systems into the conventional ones, rendering the induced Hamiltonian to be Hermitian. In other words, any non-Hermitian Hamiltonian can be "transformed" into a Hermitian one without altering the physics. Thus we show how to find a reference frame (corresponding to Einstein's quantum elevator) in which a non-Hermitian system, equipped with a non-trivial Hilbert space metric, reduces to a Hermitian system within the standard formalism of quantum mechanics.


title: Restless Bandits with Many Arms: Beating the Central Limit Theorem

abstract: We consider finite-horizon restless bandits with multiple pulls per period, which play an important role in recommender systems, active learning, revenue management, and many other areas. While an optimal policy can be computed, in principle, using dynamic programming, the computation required scales exponentially in the number of arms $N$. Thus, there is substantial value in understanding the performance of index policies and other policies that can be computed efficiently for large $N$. We study the growth of the optimality gap, i.e., the loss in expected performance compared to an optimal policy, for such policies in a classical asymptotic regime proposed by Whittle in which $N$ grows while holding constant the fraction of arms that can be pulled per period. Intuition from the Central Limit Theorem and the tightest previous theoretical bounds suggest that this optimality gap should grow like $O(\sqrt{N})$. Surprisingly, we show that it is possible to outperform this bound. We characterize a non-degeneracy condition and a wide class of novel practically-computable policies, called fluid-priority policies, in which the optimality gap is $O(1)$. These include most widely-used index policies. When this non-degeneracy condition does not hold, we show that fluid-priority policies nevertheless have an optimality gap that is $O(\sqrt{N})$, significantly generalizing the class of policies for which convergence rates are known. We demonstrate that fluid-priority policies offer state-of-the-art performance on a collection of restless bandit problems in numerical experiments.


title: Performance vs Programming Effort between Rust and C on Multicore Architectures: Case Study in N-Body

abstract: Historically, Fortran and C have been the default programming languages in High-Performance Computing (HPC). In both, programmers have primitives and functions available that allow manipulating system memory and interacting directly with the underlying hardware, resulting in efficient code in both response times and resource use. On the other hand, it is a real challenge to generate code that is maintainable and scalable over time in these types of languages. In 2010, Rust emerged as a new programming language designed for concurrent and secure applications, which adopts features of procedural, object-oriented and functional languages. Among its design principles, Rust is aimed at matching C in terms of efficiency, but with increased code security and productivity. This paper presents a comparative study between C and Rust in terms of performance and programming effort, selecting as a case study the simulation of N computational bodies (N-Body), a popular problem in the HPC community. Based on the experimental work, it was possible to establish that Rust is a language that reduces programming effort while maintaining acceptable performance levels, meaning that it is a possible alternative to C for HPC.


title: Measuring Ethics in AI with AI: A Methodology and Dataset Construction

abstract: Recently, the use of sound measures and metrics in Artificial Intelligence has become the subject of interest of academia, government, and industry. Efforts towards measuring different phenomena have gained traction in the AI community, as illustrated by the publication of several influential field reports and policy documents. These metrics are designed to help decision takers to inform themselves about the fast-moving and impacting influences of key advances in Artificial Intelligence in general and Machine Learning in particular. In this paper we propose to use such newfound capabilities of AI technologies to augment our AI measuring capabilities. We do so by training a model to classify publications related to ethical issues and concerns. In our methodology we use an expert, manually curated dataset as the training set and then evaluate a large set of research papers. Finally, we highlight the implications of AI metrics, in particular their contribution towards developing trustful and fair AI-based tools and technologies. Keywords: AI Ethics; AI Fairness; AI Measurement. Ethics in Computer Science.


title: Stabilizer codes for Open Quantum Systems

abstract: The Lindblad master equation describes the evolution of a large variety of open quantum systems. An important property of some open quantum systems is the existence of decoherence-free subspaces. A quantum state from a decoherence-free subspace will evolve unitarily. However, there is no procedural and optimal method for constructing a decoherence-free subspace. In this paper, we develop tools for constructing decoherence-free stabilizer codes for open quantum systems governed by Lindblad master equation. This is done by pursuing an extension of the stabilizer formalism beyond the celebrated group structure of Pauli error operators. We then show how to utilize decoherence-free stabilizer codes in quantum metrology in order to attain the Heisenberg limit scaling with low computational complexity.


title: Topological censorship in spacetimes compatible with $\Lambda > 0$

abstract: Currently available topological censorship theorems are meant for gravitationally isolated black hole spacetimes with cosmological constant $\Lambda=0$ or $\Lambda<0$. Here, we prove a topological censorship theorem that is compatible with $\Lambda>0$ and which can be applied to whole universes containing possibly multiple collections of black holes. The main assumption in the theorem is that distinct black hole collections eventually become isolated from one another at late times, and the conclusion is that the regions near the various black hole collections have trivial fundamental group, in spite of there possibly being nontrivial topology in the universe.


title: Describing subalgebras of $\mathbb{K}[x]$ using derivatives

abstract: We introduce the concept of subalgebra spectrum, $Sp(A)$, for a subalgebra $A$ of finite codimension in $\mathbb{K}[x]$. The spectrum is a subset of the underlying field. We also introduce a tool, the characteristic polynomial of $A$, which has the spectrum as its set of zeroes. The characteristic polynomial can be computed from the generators of $A$, thus allowing us to find the spectrum of an algebra given by generators. We proceed by using the spectrum to get descriptions of subalgebras of finite codimension. More precisely we show that $A$ can be described by a set of conditions that each is either of the type $f(\alpha)=f(\beta)$ for $\alpha,\beta$ in $Sp(A)$ or of the type stating that some sum of derivatives of different orders evaluated in elements of $Sp(A)$ equals zero. We use this type of conditions to, by an inductive process, find explicit descriptions of subalgebras of codimension up to three. These descriptions also include SAGBI bases for each family of subalgebras.


title: Solar models and McKean's breakdown theorem for the $\mu$CH and $\mu$DP equations

abstract: We study the breakdown for $\mu$CH and $\mu$DP equations on the circle, given by $$m_t + u m_{\theta} + \lambda u_{\theta} m = 0,$$ for $m = \mu(u) - u_{\theta\theta}$, where $\mu$ is the mean and $\lambda=2$ or $\lambda=3$ respectively. It is already known that if the initial momentum $m_0$ never changes sign, then smooth solutions exist globally. We prove the converse: if the initial momentum changes sign, then $C^2$ solutions $u$ must break down in finite time. The technique is similar to that of McKean, who proved the same for the Camassa-Holm equation, but we introduce a new perspective involving a change of variables to treat the equation as a family of planar systems with central force for which the conserved angular momentum is precisely the conserved vorticity. We also demonstrate how this perspective can apply to give some insights for other PDEs of continuum mechanics, such as the Okamoto-Sakajo-Wunsch equation (and in particular the De Gregorio equation).


title: Learning from Successful and Failed Demonstrations via Optimization

abstract: Learning from Demonstration (LfD) is a popular approach that allows humans to teach robots new skills by showing the correct way(s) of performing the desired skill. Human-provided demonstrations, however, are not always optimal and the teacher usually addresses this issue by discarding or replacing sub-optimal (noisy or faulty) demonstrations. We propose a novel LfD representation that learns from both successful and failed demonstrations of a skill. Our approach encodes the two subsets of captured demonstrations (labeled by the teacher) into a statistical skill model, constructs a set of quadratic costs, and finds an optimal reproduction of the skill under novel problem conditions (i.e. constraints). The optimal reproduction balances convergence towards successful examples and divergence from failed examples. We evaluate our approach through several 2D and 3D experiments in real-world using a UR5e manipulator arm and also show that it can reproduce a skill from only failed demonstrations. The benefits of exploiting both failed and successful demonstrations are shown through comparison with two existing LfD approaches. We also compare our approach against an existing skill refinement method and show its capabilities in a multi-coordinate setting.


title: ICDAR 2021 Competition on Scene Video Text Spotting

abstract: Scene video text spotting (SVTS) is a very important research topic because of many real-life applications. However, only a little effort has put to spotting scene video text, in contrast to massive studies of scene text spotting in static images. Due to various environmental interferences like motion blur, spotting scene video text becomes very challenging. To promote this research area, this competition introduces a new challenge dataset containing 129 video clips from 21 natural scenarios in full annotations. The competition containts three tasks, that is, video text detection (Task 1), video text tracking (Task 2) and end-to-end video text spotting (Task3). During the competition period (opened on 1st March, 2021 and closed on 11th April, 2021), a total of 24 teams participated in the three proposed tasks with 46 valid submissions, respectively. This paper includes dataset descriptions, task definitions, evaluation protocols and results summaries of the ICDAR 2021 on SVTS competition. Thanks to the healthy number of teams as well as submissions, we consider that the SVTS competition has been successfully held, drawing much attention from the community and promoting the field research and its development.


title: CP-loss: Connectivity-preserving Loss for Road Curb Detection in Autonomous Driving with Aerial Images

abstract: Road curb detection is important for autonomous driving. It can be used to determine road boundaries to constrain vehicles on roads, so that potential accidents could be avoided. Most of the current methods detect road curbs online using vehicle-mounted sensors, such as cameras or 3-D Lidars. However, these methods usually suffer from severe occlusion issues. Especially in highly-dynamic traffic environments, most of the field of view is occupied by dynamic objects. To alleviate this issue, we detect road curbs offline using high-resolution aerial images in this paper. Moreover, the detected road curbs can be used to create high-definition (HD) maps for autonomous vehicles. Specifically, we first predict the pixel-wise segmentation map of road curbs, and then conduct a series of post-processing steps to extract the graph structure of road curbs. To tackle the disconnectivity issue in the segmentation maps, we propose an innovative connectivity-preserving loss (CP-loss) to improve the segmentation performance. The experimental results on a public dataset demonstrate the effectiveness of our proposed loss function. This paper is accompanied with a demonstration video and a supplementary document, which are available at \texttt{\url{https://sites.google.com/view/cp-loss}}.


title: Compensation Learning

abstract: Weighting strategy prevails in machine learning. For example, a common approach in robust machine learning is to exert lower weights on samples which are likely to be noisy or quite hard. This study reveals another undiscovered strategy, namely, compensating. Various incarnations of compensating have been utilized but it has not been explicitly revealed. Learning with compensating is called compensation learning and a systematic taxonomy is constructed for it in this study. In our taxonomy, compensation learning is divided on the basis of the compensation targets, directions, inference manners, and granularity levels. Many existing learning algorithms including some classical ones can be viewed or understood at least partially as compensation techniques. Furthermore, a family of new learning algorithms can be obtained by plugging the compensation learning into existing learning algorithms. Specifically, two concrete new learning algorithms are proposed for robust machine learning. Extensive experiments on image classification and text sentiment analysis verify the effectiveness of the two new algorithms. Compensation learning can also be used in other various learning scenarios, such as imbalance learning, clustering, regression, and so on.


title: AMOEBA: Automated Molecular Excitation Bayesian Line-Fitting Algorithm

abstract: The hyperfine transitions of the ground-rotational state of the hydroxyl radical (OH) have emerged as a versatile tracer of the diffuse molecular interstellar medium. We present a novel automated Gaussian decomposition algorithm designed specifically for the analysis of the paired on-source and off-source optical depth and emission spectra of these transitions. In contrast to existing automated Gaussian decomposition algorithms, AMOEBA (Automated MOlecular Excitation Bayesian line-fitting Algorithm) employs a Bayesian approach to model selection, fitting all 4 optical depth and 4 emission spectra simultaneously. AMOEBA assumes that a given spectral feature can be described by a single centroid velocity and full width at half-maximum, with peak values in the individual optical depth and emission spectra then described uniquely by the column density in each of the four levels of the ground-rotational state, thus naturally including the real physical constraints on these parameters. Additionally, the Bayesian approach includes informed priors on individual parameters which the user can modify to suit different data sets. Here we describe AMOEBA and evaluate its validity and reliability in identifying and fitting synthetic spectra with known parameters.


title: Anomalous valley Hall effect in antiferromagnetic monolayers

abstract: Anomalous valley Hall (AVH) effect is a fundamental transport phenomenon in the field of condensed-matter physics. Usually, the research on AVH effect is mainly focused on 2D lattices with ferromagnetic order. Here, by means of model analysis, we present a general design principle for realizing AVH effect in antiferromagnetic monolayers, which involves the introduction of nonequilibrium potentials to break of PT symmetry. Using first-principles calculations, we further demonstrate this design principle by stacking antiferromagnetic monolayer MnPSe3 on ferroelectric monolayer Sc2CO2 and achieve the AVH effect. The AVH effect can be well controlled by modulating the stacking pattern. In addition, by reversing the ferroelectric polarization of Sc2CO2 via electric field, the AVH effect in monolayer MnPSe3 can be readily switched on or off. The underlying physics are revealed in detail. Our findings open up a new direction of research on exploring AVH effect.


title: Capacity and the quasicentral modulus

abstract: We point out that the quasicentral modulus is a noncommutative analogue of a nonlinear rearrangement invariant Sobolev condenser capacity. In the case of the shifts by the generators of a finitely generated group, the quasicentral modulus coincides with a corresponding nonlinear condenser capacity on the Cayley graph of the group. Some other capacities related to the quasicentral modulus are also discussed.


title: Tsallis and R\'{e}nyi deformations linked via a new $\lambda$-duality

abstract: Tsallis and R\'{e}nyi entropies, which are monotone transformations of each other, are deformations of the celebrated Shannon entropy. Maximization of these deformed entropies, under suitable constraints, leads to the $q$-exponential family which has applications in non-extensive statistical physics, information theory and statistics. In previous information-geometric studies, the $q$-exponential family was analyzed using classical convex duality and Bregman divergence. In this paper, we show that a generalized $\lambda$-duality, where $\lambda = 1 - q$ is the constant information-geometric curvature, leads to a generalized exponential family which is essentially equivalent to the $q$-exponential family and has deep connections with R\'{e}nyi entropy and optimal transport. Using this generalized convex duality and its associated logarithmic divergence, we show that our $\lambda$-exponential family satisfies properties that parallel and generalize those of the exponential family. Under our framework, the R\'{e}nyi entropy and divergence arise naturally, and we give a new proof of the Tsallis/R\'{e}nyi entropy maximizing property of the $q$-exponential family. We also introduce a $\lambda$-mixture family which may be regarded as the dual of the $\lambda$-exponential family, and connect it with other mixture-type families. Finally, we discuss a duality between the $\lambda$-exponential family and the $\lambda$-logarithmic divergence, and study its statistical consequences.


title: Root of unity quantum cluster algebras and Cayley-Hamilton algebras

abstract: We prove that large classes of algebras in the framework of root of unity quantum cluster algebras have the structures of maximal orders in central simple algebras and Cayley-Hamilton algebras in the sense of Procesi. We show that every root of unity upper quantum cluster algebra is a maximal order and obtain an explicit formula for its reduced trace. Under mild assumptions, inside each such algebra we construct a canonical central subalgebra isomorphic to the underlying upper cluster algebra, such that the pair is a Cayley-Hamilton algebra; its fully Azumaya locus is shown to contain a copy of the underlying cluster $\mathcal{A}$-variety. Both results are proved in the wider generality of intersections of mixed quantum tori over subcollections of seeds. Furthermore, we prove that all monomial subalgebras of root of unity quantum tori are Cayley-Hamilton algebras and classify those ones that are maximal orders. Arbitrary intersections of those over subsets of seeds are also proved to be Cayley-Hamilton algebras. Previous approaches to constructing maximal orders relied on filtration and homological methods. We use new methods based on cluster algebras.


title: On Blame Attribution for Accountable Multi-Agent Sequential Decision Making

abstract: Blame attribution is one of the key aspects of accountable decision making, as it provides means to quantify the responsibility of an agent for a decision making outcome. In this paper, we study blame attribution in the context of cooperative multi-agent sequential decision making. As a particular setting of interest, we focus on cooperative decision making formalized by Multi-Agent Markov Decision Processes (MMDPs), and we analyze different blame attribution methods derived from or inspired by existing concepts in cooperative game theory. We formalize desirable properties of blame attribution in the setting of interest, and we analyze the relationship between these properties and the studied blame attribution methods. Interestingly, we show that some of the well known blame attribution methods, such as Shapley value, are not performance-incentivizing, while others, such as Banzhaf index, may over-blame agents. To mitigate these value misalignment and fairness issues, we introduce a novel blame attribution method, unique in the set of properties it satisfies, which trade-offs explanatory power (by under-blaming agents) for the aforementioned properties. We further show how to account for uncertainty about agents' decision making policies, and we experimentally: a) validate the qualitative properties of the studied blame attribution methods, and b) analyze their robustness to uncertainty.


title: Hilbert Series for Leptonic Flavor Invariants in the Minimal Seesaw Model

abstract: In this paper, we examine the leptonic flavor invariants in the minimal seesaw model (MSM), in which only two right-handed neutrino singlets are added into the Standard Model in order to accommodate tiny neutrino masses and explain cosmological matter-antimatter asymmetry via leptogenesis mechanism. For the first time, we calculate the Hilbert series (HS) for the leptonic flavor invariants in the MSM. With the HS we demonstrate that there are totally 38 basic flavor invariants, among which 18 invariants are CP-odd and the others are CP-even. Moreover, we explicitly construct these basic invariants, and any other flavor invariants in the MSM can be decomposed into the polynomials of them. Interestingly, we find that any flavor invariants in the effective theory at the low-energy scale can be expressed as rational functions of those in the full MSM at the high-energy scale. Practical applications to the phenomenological studies of the MSM, such as the sufficient and necessary conditions for CP conservation and CP asymmetries in leptogenesis, are also briefly discussed.


title: Collaborative Problem Solving on a Data Platform Kaggle

abstract: Data exchange across different domains has gained much attention as a way of creating new businesses and improving the value of existing services. Data exchange ecosystem is developed by platform services that facilitate data and knowledge exchange and offer co-creation environments for organizations to promote their problem-solving. In this study, we investigate Kaggle, a data analysis competition platform, and discuss the characteristics of data and the ecosystem that contributes to collaborative problem-solving by analyzing the datasets, users, and their relationships.


title: Lattice QCD calculation of the Collins-Soper kernel from quasi TMDPDFs

abstract: This work presents a lattice quantum chromodynamics (QCD) calculation of the nonperturbative Collins-Soper kernel, which describes the rapidity evolution of quark transverse-momentum-dependent parton distribution functions. The kernel is extracted at transverse momentum scales in the range 400 MeV $< q_T < 1.7$ GeV in a calculation with dynamical fermions and quark masses corresponding to a larger-than-physical pion mass, $m_\pi=538(1)$ MeV. It is found that different approaches to extract the Collins-Soper kernel from the same underlying lattice QCD matrix elements yield significantly different results and uncertainty estimates, revealing that power corrections, such as those associated with higher-twist effects, and perturbative matching between quasi and light-cone beam functions, cannot be neglected.


title: Max-Type and Sum-Type Procedures for Online Change-Point Detection in the Mean of High-Dimensional Data

abstract: We propose two procedures to detect a change in the mean of high-dimensional online data. One is based on a max-type U-statistic and another is based on a sum-type U-statistic. Theoretical properties of the two procedures are explored in the high dimensional setting. More precisely, we derive their average run lengths (ARLs) when there is no change point, and expected detection delays (EDDs) when there is a change point. Accuracy of the theoretical results is confirmed by simulation studies. The practical use of the proposed procedures is demonstrated by detecting an abrupt change in PM2.5 concentrations. The current study attempts to extend the results of the CUSUM and Shiryayev-Roberts procedures previously established in the univariate setting.


title: Small data scattering of Dirac equations with Yukawa type potentials in $L_x^2(\mathbb R^2)$

abstract: We revisit the Cauchy problem of nonlinear massive Dirac equation with Yukawa type potentials $\mathcal F^{-1}\left[(b^2 + |\xi|^2)^{-1}\right]$ in 2 dimensions. The authors of \cite{tes2d, geosha} obtained small data scattering and large data global well-posedness in $H^s$ for $s > 0$, respectively. In this paper we show that the small data scattering occurs in $L_x^2(\mathbb R^2)$. This can be done by combining bilinear estimates and modulation estimates of \cite{yang, tes2d}.


title: A Partial Reproduction of A Guided Genetic Algorithm for Automated Crash Reproduction

abstract: This paper is a partial reproduction of work by Soltani et al. which presented EvoCrash, a tool for replicating software failures in Java by reproducing stack traces. EvoCrash uses a guided genetic algorithm to generate JUnit test cases capable of reproducing failures more reliably than existing coverage-based solutions. In this paper, we present the findings of our reproduction of the initial study exploring the effectiveness of EvoCrash and comparison to three existing solutions: STAR, JCHARMING, and MuCrash. We further explored the capabilities of EvoCrash on different programs to check for selection bias. We found that we can reproduce the crashes covered by EvoCrash in the original study while reproducing two additional crashes not reported as reproduced. We also find that EvoCrash was unsuccessful in reproducing several crashes from the JCHARMING paper, which were excluded from the original study. Both EvoCrash and JCHARMING could reproduce 73\% of the crashes from the JCHARMING paper. We found that there was potentially some selection bias in the dataset for EvoCrash. We also found that some crashes had been reported as non-reproducible even when EvoCrash could reproduce them. We suggest this may be due to EvoCrash becoming stuck in a local optimum.


title: Towards Propagation Uncertainty: Edge-enhanced Bayesian Graph Convolutional Networks for Rumor Detection

abstract: Detecting rumors on social media is a very critical task with significant implications to the economy, public health, etc. Previous works generally capture effective features from texts and the propagation structure. However, the uncertainty caused by unreliable relations in the propagation structure is common and inevitable due to wily rumor producers and the limited collection of spread data. Most approaches neglect it and may seriously limit the learning of features. Towards this issue, this paper makes the first attempt to explore propagation uncertainty for rumor detection. Specifically, we propose a novel Edge-enhanced Bayesian Graph Convolutional Network (EBGCN) to capture robust structural features. The model adaptively rethinks the reliability of latent relations by adopting a Bayesian approach. Besides, we design a new edge-wise consistency training framework to optimize the model by enforcing consistency on relations. Experiments on three public benchmark datasets demonstrate that the proposed model achieves better performance than baseline methods on both rumor detection and early rumor detection tasks.


title: Statistical analysis of spin switching in coupled spin-crossover molecules

abstract: We study the switching behavior of two spin-crossover molecules residing in a nanojunction device consisting of two closely spaced gold electrodes. The spin states are monitored through a real-time measurement of the resistance of the junction. A statistical analysis of the resistance values, the occupation probabilities, and the lifetimes of the respective spin states shows that the two spin-crossover molecules are coupled to each other. We extract the parameters for a minimal model describing the two coupled spin-crossover molecules. Finally, we use the time dependence of factorial cumulants to demonstrate that the measured data indicates the presence of interactions between the two spin-crossover molecules.


title: Field-induced Bose-Einstein condensation and supersolid in the two-dimensional Kondo necklace

abstract: The application of an external magnetic field of sufficient strength to a spin system composed of a localized singlet can overcome the energy gap and trigger bosonic condensation and so provide an alternative method to realize exotic phases of matter in real materials. Previous research has indicated that a spin Hamiltonian with on-site Kondo coupling may be the effective many-body Hamiltonian for $\text{Ba}_2\text{NiO}_2\text{(AgSe)}_2$ (BNOAS) and here we study such a Hamiltonian using a tensor network ansatz in two dimensions. Our results unveil a phase diagram which indicates the underlying phases of BNOAS. We propose, in response to the possible doping-induced superconductivity of BNOAS, a fermionic model for further investigation. We hope that our discovery can bring up further interest in both theoretical and experimental researches for related nickelate compounds.


title: An incidence estimate and a Furstenberg type estimate for tubes in $\mathbb{R}^2$

abstract: We study the $\delta$-discretized Szemer\'edi-Trotter theorem and Furstenberg set problem. We prove sharp estimates for both two problems assuming tubes satisfy some spacing condition. For both two problems, we construct sharp examples that have many common features.


title: Wavefront's stability with asymptotic phase in the delayed monostable equations

abstract: We extend the class of initial conditions for scalar delayed reaction-diffusion equations $u_t (t,x)=u_{xx}(t,x)+f(u(t, x), u(t-h, x))$ which evolve in solutions converging to monostable traveling waves. Our approach allows to compute, in the moving reference frame, the phase distortion $\alpha$ of the limiting travelling wave with respect to the position of solution at the initial moment $t=0$. In general, $\alpha\not=0$ for the Mackey-Glass type diffusive equation. Nevertheless, $\alpha=0$ for the KPP-Fisher delayed equation: the related theorem also improves existing stability conditions for this model.


title: Relaxed Indexability and Index Policy for Partially Observable Restless Bandits

abstract: This paper addresses an important class of restless multi-armed bandit (RMAB) problems that finds a broad application area in operations research, stochastic optimization, and reinforcement learning. There are $N$ independent Markov processes that may be operated, observed and offer rewards. Due to the resource constraint, we can only choose a subset of $M~(M<N)$ processes to operate and accrue reward determined by the states of selected processes. We formulate the problem as a partially observable RMAB with an infinite state space and design an algorithm that achieves a near-optimal performance with low complexity. Our algorithm is based on a generalization of Whittle's original idea of indexability. Referred to as the relaxed indexability, the extended definition leads to the efficient online verifications and computations of the approximate Whittle index under the proposed algorithmic framework.


title: A Closed Graph Theorem for hyperbolic iterated function systems

abstract: In this note we introduce a notion of a morphism between two hyperbolic iterated function systems. We prove that the graph of a morphism is the attractor of an iterated function system, giving a Closed Graph Theorem, and show how it can be used to approach the topological conjugacy problem for iterated function systems.


title: Computation of Reachable Sets Based on Hamilton-Jacobi-Bellman Equation with Running Cost Function

abstract: A novel method for computing reachable sets is proposed in this paper. In the proposed method, a Hamilton-Jacobi-Bellman equation with running cost functionis numerically solved and the reachable sets of different time horizons are characterized by a family of non-zero level sets of the solution of the Hamilton-Jacobi-Bellman equation. In addition to the classical reachable set, by setting different running cost functions and terminal conditionsof the Hamilton-Jacobi-Bellman equation, the proposed method allows to compute more generalized reachable sets, which are referred to as cost-limited reachable sets. In order to overcome the difficulty of solving the Hamilton-Jacobi-Bellman equation caused by the discontinuity of the solution, a method based on recursion and grid interpolation is employed. At the end of this paper, some examples are taken to illustrate the validity and generality of the proposed method.


title: Possible Dirac quantum spin liquid in a kagome quantum antiferromagnet YCu$_3$(OH)$_6$Br$_2$[Br$_{x}$(OH)$_{1-x}$]

abstract: We studied the magnetic properties of YCu$_3$(OH)$_6$Br$_2$[Br$_{1-x}$(OH)$_{x}$] ($x$ = 0.33), where Cu$^{2+}$ ions form two-dimensional kagome layers. There is no magnetic order down to 50 mK while the Curie-Weiss temperature is on the order of -100 K. At zero magnetic field, the low-temperature specific heat shows a $T^2$ dependence. Above 2 T, a linear temperature dependence term in specific heat emerges, and the value of $\gamma = C/T$ increases linearly with the field. Furthermore, the magnetic susceptibility tends to a constant value at $T = 0$. Our results suggest that the magnetic ground state of YCu$_3$(OH)$_6$Br$_2$[Br$_{1-x}$(OH)$_{x}$] is consistent with a Dirac quantum-spin-liquid state with a linearly dispersing spinon strongly coupled to an emergent gauge field, which has long been theoretically proposed as a candidate ground state in the two-dimensional kagome Heisenberg antiferromagnetic system.


title: Log-Polar Space Convolution for Convolutional Neural Networks

abstract: Convolutional neural networks use regular quadrilateral convolution kernels to extract features. Since the number of parameters increases quadratically with the size of the convolution kernel, many popular models use small convolution kernels, resulting in small local receptive fields in lower layers. This paper proposes a novel log-polar space convolution (LPSC) method, where the convolution kernel is elliptical and adaptively divides its local receptive field into different regions according to the relative directions and logarithmic distances. The local receptive field grows exponentially with the number of distance levels. Therefore, the proposed LPSC not only naturally encodes local spatial structures, but also greatly increases the single-layer receptive field while maintaining the number of parameters. We show that LPSC can be implemented with conventional convolution via log-polar space pooling and can be applied in any network architecture to replace conventional convolutions. Experiments on different tasks and datasets demonstrate the effectiveness of the proposed LPSC. Code is available at https://github.com/BingSu12/Log-Polar-Space-Convolution.


title: New thought on Matsumura-Nishida theory in the $L_p$-$L_q$ maximalregularity framework

abstract: In this paper, we prove the global wellposedness of the Navier-Stokes equations describing a motion of compressible, viscous, barotropic fluid flow in a 3 dim. exterior domain in the $L_p$ in time and $L_2 \cap L_6$ maximal regularity framework. This is an extension of a famous thoerem due to Matsumura-Nishida Commun Math. Phys. 89 (1983), 445--464. In Matsumura and Nishida theory, they used energy method and their requirement was that space derivatives of the mass density up to third order and space derivatives of the velocity fields up to fourth order belong to $L_2$ in space-time. On the other hand, in the present manuscript space derivatives of the mass density up to first order and the space derivatives of the velocity fields up to second order belong to $L_2$ in maximal and $L_2 \cap L_6$ in space. The proof is based on the $L_p$-$L_q$ maximal regularity and decay properties of solutions to the linearized equations, namely Stokes equations appering in the study of compressible fluid flows.


title: A Unified Hyper-GAN Model for Unpaired Multi-contrast MR Image Translation

abstract: Cross-contrast image translation is an important task for completing missing contrasts in clinical diagnosis. However, most existing methods learn separate translator for each pair of contrasts, which is inefficient due to many possible contrast pairs in real scenarios. In this work, we propose a unified Hyper-GAN model for effectively and efficiently translating between different contrast pairs. Hyper-GAN consists of a pair of hyper-encoder and hyper-decoder to first map from the source contrast to a common feature space, and then further map to the target contrast image. To facilitate the translation between different contrast pairs, contrast-modulators are designed to tune the hyper-encoder and hyper-decoder adaptive to different contrasts. We also design a common space loss to enforce that multi-contrast images of a subject share a common feature space, implicitly modeling the shared underlying anatomical structures. Experiments on two datasets of IXI and BraTS 2019 show that our Hyper-GAN achieves state-of-the-art results in both accuracy and efficiency, e.g., improving more than 1.47 and 1.09 dB in PSNR on two datasets with less than half the amount of parameters.


title: Formation, diffusion and accreting pollution of DB white dwarfs

abstract: Over 1500 DBZ or DZ white dwarfs (WDs) have been observed so far, and polluted atmospheres with metal elements have been found among these WDs. The surface heavy element abundances of known DBZ or DZ WDs show an evolutionary sequence. By using Modules for Experiments in Stellar Evolution, we create DB WDs, and simulate the element diffusion due to high gravitational fields and the metal-rich material accretion coming from the planet disrupted by the WD. In our models, the input parameters ($\alpha_{\rm MLT}$, $\alpha_{\rm th}$ and $Z$) have very weak effect on DB WD structures including interior temperatures, chemical profiles and convective zones.The mass-accretion rate and the effective temperature of DB WDs determine the abundances of heavy elements. The evolutionary sequence of Ca element for about 1500 observed DB or DBZ WDs cannot be explained by the model with a constant mass-accretion rate, but is consistent well with the model in which the mass-accretion rate decreases by one power law when $T_{\rm eff}>10$ kK and slightly increases by another power law when $T_{\rm eff}<10$ kK. The observed DB WD evolutionary sequence of heavy element abundances originates from WD cooling and the change of mass-accretion rate.


title: Low-Rank and Framelet Based Sparsity Decomposition for Interventional MRI Reconstruction

abstract: Objective: Interventional MRI (i-MRI) is crucial for MR image-guided therapy. Current image reconstruction methods for dynamic MR imaging are mostly retrospective that may not be suitable for i-MRI in real-time. Therefore, an algorithm to reconstruct images without a temporal pattern as in dynamic imaging is needed for i-MRI. Methods: We proposed a low-rank and sparsity (LS) decomposition algorithm with framelet transform to reconstruct the interventional feature with a high temporal resolution. Different from the existing LS based algorithm, we utilized the spatial sparsity of both the low-rank and sparsity components. We also used a primal dual fixed point (PDFP) method for optimization of the objective function to avoid solving sub-problems. Intervention experiments with gelatin and brain phantoms were carried out for validation. Results: The LS decomposition with framelet transform and PDFP could provide the best reconstruction performance compared with those without. Satisfying reconstruction results were obtained with only 10 radial spokes for a temporal resolution of 60 ms. Conclusion and Significance: The proposed method has the potential for i-MRI in many different application scenarios.


title: Spectral signatures of axionlike dark matter

abstract: We derive spectral line shapes of the expected signal for a haloscope experiment searching for axionlike dark matter. The knowledge of these line shapes is needed to optimize an experimental design and data analysis procedure. We extend the previously known results for the axion-photon and axion-gluon couplings to the case of gradient (axion-fermion) coupling. A unique feature of the gradient interaction is its dependence not only on magnitudes but also on directions of velocities of galactic halo particles, which leads to the directional sensitivity of the corresponding haloscope. We also discuss the daily and annual modulations of the gradient signal caused by the Earth's rotational and orbital motions. In the case of detection, these periodic modulations will be an important confirmation that the signal is sourced by axionlike particles in the halo of our Galaxy.

categories: hep-ph astro-ph.CO hep-ex physics.atom-ph


title: Dissecting FLOPs along input dimensions for GreenAI cost estimations

abstract: The term GreenAI refers to a novel approach to Deep Learning, that is more aware of the ecological impact and the computational efficiency of its methods. The promoters of GreenAI suggested the use of Floating Point Operations (FLOPs) as a measure of the computational cost of Neural Networks; however, that measure does not correlate well with the energy consumption of hardware equipped with massively parallel processing units like GPUs or TPUs. In this article, we propose a simple refinement of the formula used to compute floating point operations for convolutional layers, called {\alpha}-FLOPs, explaining and correcting the traditional discrepancy with respect to different layers, and closer to reality. The notion of {\alpha}-FLOPs relies on the crucial insight that, in case of inputs with multiple dimensions, there is no reason to believe that the speedup offered by parallelism will be uniform along all different axes.


title: Excitation spectra of heavy baryons in diquark models

abstract: The excitation energy spectra of heavy baryons consisting of a heavy quark and two light quarks are investigated by using diquark models in order to examine the nature of the diquark as a constituent of single heavy baryons. We consider two diquark models; in model A the diquark is treated as a point-like particle, while it has a spatial size in model B. We determine the masses of scalar and axial vector diquarks by the mass difference of the ground state charmed baryons to the $\Lambda_{c}$ baryon, while the mass of the $ud$ scalar diquark in the $\Lambda_{c}$ baryon is assumed to be 500 MeV as a reference. The parameters of these models are fixed by the $1p$ excitation energy of $\Lambda_{c}$. We find that model A reproduces well the excitation energy spectra of the charmed and bottomed baryons, although the string tension of the confinement potential in model A should be a half of that of the charmonium, while Model B suggests degeneracy of the $2s$ and $1d$ states, which is not seen in the $\Lambda_{c}$ spectrum.


title: TeV Scale Modified Type-II Seesaw and Dark Matter in a Gauged $U(1)_{\rm B-L}$ Symmetric Model

abstract: In an endeavor to explain the light neutrino masses and dark matter (DM) simultaneously, we study a gauged $U(1)_{\rm B-L}$ extension of the standard model (SM). The neutrino masses are generated through a variant of type-II seesaw mechanism in which one of the scalar triplets has a mass in a scale that is accessible at the present generation colliders. Three SM singlet right chiral fermions $\chi_{iR}$($i=e,\mu,\tau$) with $\rm B-L$ charges -4, -4, +5 are invoked to cancel the $\rm B-L$ gauge anomalies and the lightest one among these three fermions becomes a viable DM candidate as their stability is guaranteed by a remnant $\mathcal Z_2$ symmetry to which $U(1)_{\rm B-L}$ gauge symmetry gets spontaneously broken. Interestingly in this scenario, the neutrino mass and the co-annihilation of DM are interlinked through the breaking of $U(1)_{\rm B-L}$ symmetry. Apart from giving rise to the observed neutrino mass and dark matter abundance, the model also predicts exciting signals at the colliders. Especially we see a significant enhancement in the production cross-section of the TeV scale doubly charged scalar in presence of the $Z_{\rm BL}$ gauge boson. We discuss all the relevant constraints on model parameters from observed DM abundance and null detection of DM at direct and indirect search experiments as well as the constraints on the $\rm B-L$ gauge boson from recent colliders.


title: Bijective enumerations for symmetrized poly-Bernoulli polynomials

abstract: Recently, B\'{e}nyi and the second author introduced two combinatorial interpretations for symmetrized poly-Bernoulli polynomials. In the present study, we construct bijections between these combinatorial objects. We also define various combinatorial polynomials and prove that all of these polynomials coincide with symmetrized poly-Bernoulli polynomials.


title: Free Moment Measures and Laws

abstract: In arXiv:1304.0630, it was shown that convex, almost everywhere continuous functions coordinatize a broad class of probability measures on $\mathbb{R}^n$ by the map $U \mapsto (\nabla U)_{\#} e^{-U} dx$. We consider whether there is a similar coordinatization of non-commutative probability spaces, with the Gibbs measure $e^{-U} dx$ replaced by the corresponding free Gibbs law. We call laws parametrized in this way free moment laws. We first consider the case of a single (and thus commutative) random variable and then the regime of $n$ non-commutative random variables which are perturbations of freely independent semi-circular variables. We prove that free moment laws exist with little restriction for the one dimensional case, and for small even perturbations of free semi-circle laws in the general case.


title: Aggregate or Not? Exploring Where to Privatize in DNN Based Federated Learning Under Different Non-IID Scenes

abstract: Although federated learning (FL) has recently been proposed for efficient distributed training and data privacy protection, it still encounters many obstacles. One of these is the naturally existing statistical heterogeneity among clients, making local data distributions non independently and identically distributed (i.e., non-iid), which poses challenges for model aggregation and personalization. For FL with a deep neural network (DNN), privatizing some layers is a simple yet effective solution for non-iid problems. However, which layers should we privatize to facilitate the learning process? Do different categories of non-iid scenes have preferred privatization ways? Can we automatically learn the most appropriate privatization way during FL? In this paper, we answer these questions via abundant experimental studies on several FL benchmarks. First, we present the detailed statistics of these benchmarks and categorize them into covariate and label shift non-iid scenes. Then, we investigate both coarse-grained and fine-grained network splits and explore whether the preferred privatization ways have any potential relations to the specific category of a non-iid scene. Our findings are exciting, e.g., privatizing the base layers could boost the performances even in label shift non-iid scenes, which are inconsistent with some natural conjectures. We also find that none of these privatization ways could improve the performances on the Shakespeare benchmark, and we guess that Shakespeare may not be a seriously non-iid scene. Finally, we propose several approaches to automatically learn where to aggregate via cross-stitch, soft attention, and hard selection. We advocate the proposed methods could serve as a preliminary try to explore where to privatize for a novel non-iid scene.


title: Exotic Image Formation in Strong Gravitational Lensing by Clusters of Galaxies -- III: Statistics with HUDF

abstract: We study the image formation near point singularities (swallowtail and umbilics) in the simulated strongly lensed images of Hubble Ultra Deep Field (HUDF) by the Hubble Frontier Fields (HFF) clusters. In this work, we only consider nearly half of the brightest (a total of 5271) sources in the HUDF region. For every HFF cluster, we constructed 11 realizations of strongly lensed HUDF with an arbitrary translation of the cluster centre within the central region of HUDF and an arbitrary rotation. In each of these realizations, we visually identify the characteristic/exotic image formation corresponding to the different point singularities. We find that our current results are consistent with our earlier results based on different approaches. We also study time delay in these exotic image formations and compare it with typical five-image geometries. We find that the typical time delay in exotic image formations is an order of magnitude smaller than the typical time delay in a generic five-image geometry.


title: Preliminary Steps Towards Federated Sentiment Classification

abstract: Automatically mining sentiment tendency contained in natural language is a fundamental research to some artificial intelligent applications, where solutions alternate with challenges. Transfer learning and multi-task learning techniques have been leveraged to mitigate the supervision sparsity and collaborate multiple heterogeneous domains correspondingly. Recent years, the sensitive nature of users' private data raises another challenge for sentiment classification, i.e., data privacy protection. In this paper, we resort to federated learning for multiple domain sentiment classification under the constraint that the corpora must be stored on decentralized devices. In view of the heterogeneous semantics across multiple parties and the peculiarities of word embedding, we pertinently provide corresponding solutions. First, we propose a Knowledge Transfer Enhanced Private-Shared (KTEPS) framework for better model aggregation and personalization in federated sentiment classification. Second, we propose KTEPS$^\star$ with the consideration of the rich semantic and huge embedding size properties of word vectors, utilizing Projection-based Dimension Reduction (PDR) methods for privacy protection and efficient transmission simultaneously. We propose two federated sentiment classification scenes based on public benchmarks, and verify the superiorities of our proposed methods with abundant experimental investigations.


title: Shubnikov-de Haas Oscillations and Nontrivial Topological State in a New Weyl Semimetal Candidate SmAlSi

abstract: We perform the quantum magnetotransport measurements and first-principles calculations on high quality single crystals of SmAlSi, a new topological Weyl semimetal candidate. At low temperatures, SmAlSi exhibits large non-saturated magnetoresistance (MR)~5200% (at 2 K, 48 T) and prominent Shubnikov-de Haas (SdH) oscillations, where MRs follow the power-law field dependence with exponent 1.52 at low fields ({\mu}0H < 15 T) and linear behavior 1 under high fields ({\mu}0H > 18 T). The analysis of angle dependent SdH oscillations reveal two fundamental frequencies originated from the Fermi surface (FS) pockets with non-trivial {\pi} Berry phases, small cyclotron mass and electron-hole compensation with high mobility at 2 K. In combination with the calculated nontrivial electronic band structure, SmAlSi is proposed to be a paradigm for understanding the Weyl fermions in the topological materials.