title: Clifford Quantum Cellular Automata: Trivial group in 2D and Witt group in 3D

abstract: We study locality preserving automorphisms of operator algebras on $D$-dimensional uniform lattices of prime $p$-dimensional qudits (QCA), specializing in those that are translation invariant (TI) and map every prime $p$-dimensional Pauli matrix to a tensor product of Pauli matrices (Clifford). We associate antihermitian forms of unit determinant over Laurent polynomial rings to TI Clifford QCA with lattice boundaries, and prove that the form determines the QCA up to Clifford circuits and shifts (trivial). It follows that every 2D TI Clifford QCA is trivial since the antihermitian form in this case is always trivial. Further, we prove that for any $D$ the fourth power of any TI Clifford QCA is trivial. We present explicit examples of nontrivial TI Clifford QCA for $D=3$ and any odd prime $p$, and show that the Witt group of the finite field $\mathbb F_p$ is a subgroup of the group $\mathfrak C(D = 3, p)$ of all TI Clifford QCA modulo trivial ones. That is, $\mathfrak C(D = 3, p \equiv 1 \mod 4) \supseteq \mathbb Z_2 \times \mathbb Z_2$ and $\mathfrak C(D = 3, p \equiv 3 \mod 4) \supseteq \mathbb Z_4$. The examples are found by disentangling the ground state of a commuting Pauli Hamiltonian which is constructed by coupling layers of prime dimensional toric codes such that an exposed surface has an anomalous topological order that is not realizable by commuting Pauli Hamiltonians strictly in two dimensions. In an appendix independent of the main body of the paper, we revisit a recent theorem of Freedman and Hastings that any two-dimensional QCA, which is not necessarily Clifford or translation invariant, is a constant depth quantum circuit followed by a shift. We give a more direct proof of the theorem without using any ancillas.

categories: quant-ph cond-mat.str-el math-ph math.MP


title: Mitigating the Sign Problem Through Basis Rotations

abstract: Quantum Monte Carlo simulations of quantum many body systems are plagued by the Fermion sign problem. The computational complexity of simulating Fermions scales exponentially in the projection time $\beta$ and system size. The sign problem is basis dependent and an improved basis, for fixed errors, lead to exponentially quicker simulations. We show how to use sign-free quantum Monte Carlo simulations to optimize over the choice of basis on large two-dimensional systems. We numerically illustrate these techniques decreasing the `badness' of the sign problem by optimizing over single-particle basis rotations on one and two-dimensional Hubbard systems. We find a generic rotation which improves the average sign of the Hubbard model for a wide range of $U$ and densities for $L \times 4$ systems. In one example improvement, the average sign (and hence simulation cost at fixed accuracy) for the $16\times 4$ Hubbard model at $U/t=4$ and $n=0.75$ increases by $\exp\left[8.64(6)\beta\right]$. For typical projection times of $\beta\gtrapprox 100$, this accelerates such simulation by many orders of magnitude.


title: Effect of Zeeman coupling on the Majorana vortex modes in iron-based topological superconductors

abstract: In the superconducting regime of FeTe$_{(1-x)}$Se$_x$, there exist two types of vortices which are distinct by the presence or absence of zero energy states in their core. To understand their origin, we examine the interplay of Zeeman coupling and superconducting pairings in three-dimensional metals with band inversion. Weak Zeeman fields are found to suppress the intra-orbital spin-singlet pairing, known to localize the states at the ends of the vortices on the surface. On the other hand, an orbital-triplet pairing is shown to be stable against Zeeman interactions, but leads to delocalized zero-energy Majorana modes which extend through the vortex. In contrast, the finite-energy vortex modes remain localized at the vortex ends even when the pairing is of orbital-triplet form. Phenomenologically, this manifests as an observed disappearance of zero-bias peaks within the cores of topological vortices upon increase of the applied magnetic field. The presence of magnetic impurities in FeTe$_{(1-x)}$Se$_x$, which are attracted to the vortices, would lead to such Zeeman-induced delocalization of Majorana modes in a fraction of vortices that capture a large enough number of magnetic impurities. Our results provide an explanation to the dichotomy between topological and non-topological vortices recently observed in FeTe$_{(1-x)}$Se$_x$.


title: Determining the Shape of Higgs Potential at Future Colliders

abstract: Although the Higgs boson has been discovered, its self-couplings are poorly constrained. This leaves the nature of the Higgs boson undetermined. Motivated by different Higgs potential scenarios other than the Landau-Ginzburg type in the standard model, we systematically organize various new physics scenarios -- elementary Higgs, Nambu-Goldstone Higgs, Coleman-Weinberg Higgs, and Tadpole-induced Higgs, etc. We find that double-Higgs production at the 27 TeV high energy LHC can be used to discriminate different Higgs potential scenarios, while it is necessary to use triple-Higgs production at a future 100 TeV proton-proton collider to fully determine the shape of the Higgs potential.


title: The Role of Magnetic Field Geometry in the Evolution of Neutron Star Merger Accretion Discs

abstract: Neutron star mergers are unique laboratories of accretion, ejection, and r-process nucleosynthesis. We used 3D general relativistic magnetohydrodynamic simulations to study the role of the post-merger magnetic geometry in the evolution of merger remnant discs around stationary Kerr black holes. Our simulations fully capture mass accretion, ejection, and jet production, owing to their exceptionally long duration exceeding $4$ s. Poloidal post-merger magnetic field configurations produce jets with energies $E_\mathrm{jet} \sim (4{-}30)\times10^{50}$ erg, isotropic equivalent energies $E_\mathrm{iso}\sim(4{-}20)\times10^{52}$ erg, opening angles $\theta_\mathrm{jet}\sim6{-}13^\circ$, and durations $t_j\lesssim1$ s. Accompanying the production of jets is the ejection of $f_\mathrm{ej}\sim30{-}40\%$ of the post-merger disc mass, continuing out to times $> 1$ s. We discover that a more natural, purely toroidal post-merger magnetic field geometry generates large-scale poloidal magnetic flux of alternating polarity and striped jets. The first stripe, of $E_\mathrm{jet}\simeq2\times10^{48}\,\mathrm{erg}$, $E_\mathrm{iso}\sim10^{51}$ erg, $\theta_\mathrm{jet}\sim3.5{-}5^\circ$, and $t_j\sim0.1$ s, is followed by $\gtrsim4$ s of striped jet activity with $f_\mathrm{ej}\simeq27\%$. The dissipation of such stripes could power the short gamma-ray burst (sGRB) prompt emission. Our simulated jet energies and durations span the range of sGRBs. We find that although the blue kilonova component is initially hidden from view by the red component, it expands faster, outruns the red component, and becomes visible to off-axis observers. In comparison to GW 170817/GRB 170817A, our simulations under-predict the mass of the blue relative to red component by a factor of few. Including the dynamical ejecta and neutrino absorption may reduce this tension.


title: On supersymmetric E11 exceptional field theory

abstract: We construct an infinite system of non-linear duality equations, including fermions, that are invariant under global E11 and gauge invariant under generalised diffeomorphisms upon the imposition of a suitable section constraint. We use finite-dimensional fermionic representations of the R-symmetry E11 to describe the fermionic contributions to the duality equations. These duality equations reduce to the known equations of E8 exceptional field theory or eleven-dimensional supergravity for appropriate (partial) solutions of the section constraint. Of key importance in the construction is an indecomposable representation of E11 that entails extra non-dynamical fields beyond those predicted by E11 alone, generalising the known constrained p-forms of exceptional field theories. The construction hinges on the tensor hierarchy algebra extension of E11, both for the bosonic theory and its supersymmetric extension.


title: Screening maps of the local Universe I -- Methodology

abstract: We introduce the LOCal Universe Screening Test Suite (LOCUSTS) project, an effort to create 'screening maps' in the nearby Universe to identify regions in our neighbourhood which are screened, i.e., regions where deviations from General Relativity (GR) are suppressed, in various modified gravity (MG) models. In these models, deviations from the GR force law are often stronger for smaller astrophysical objects, making them ideal test beds of gravity in the local Universe. However, the actual behaviour of the modified gravity force also depends on the environment of the objects, and to make accurate predictions one has to take the latter into account. This can be done approximately using luminous objects in the local Universe as tracers of the underlying dark matter field. Here, we propose a new approach that takes advantage of state-of-the-art Bayesian reconstruction of the mass distribution in the Universe, which allows us to solve the modified gravity equations and predict the screening effect more accurately. This is the first of a series of works, in which we present our methodology and some qualitative results of screening for a specific MG model, $f(R)$ gravity. Applications to test models using observations and extensions to other classes of models will be studied in future works.


title: The prevalence of pseudo-bulges in the Auriga simulations

abstract: We study the galactic bulges in the Auriga simulations, a suite of thirty cosmological magneto-hydrodynamical zoom-in simulations of late-type galaxies in Milky Way-sized dark matter haloes performed with the moving-mesh code AREPO. We aim to characterize bulge formation mechanisms in this large suite of galaxies simulated at high resolution in a fully cosmological context. The bulges of the Auriga galaxies show a large variety in their shapes,sizes and formation histories. According to observational classification criteria, such as Sersic index and degree of ordered rotation, the majority of the Auriga bulges can be classified as pseudo-bulges, while some of them can be seen as composite bulges with a classical component; however, none can be classified as a classical bulge. Auriga bulges show mostly an in-situ origin, 21 percent of them with a negligible accreted fraction (facc < 0.01). In general,their in-situ component was centrally formed, with 75 percent of the bulges forming most of their stars inside the bulge region at z=0. Part of their in-situ mass growth is rapid and is associated with the effects of mergers, while another part is more secular in origin. In 90 percent of the Auriga bulges, the accreted bulge component originates from less than four satellites.We investigate the relation between the accreted stellar haloes and the bulges of the Auriga simulations. The total bulge mass shows no correlation with the accreted stellar halo mass, as in observations. However, the accreted mass of bulges tends to correlate with their respective accreted stellar halo mass.


title: The Bridge: a transient phenomenon of forming stellar multiples

abstract: Observations with modern instruments such as Herschel reveal that stars form clustered inside filamentary arms of ~1 pc length embedded in Giant Molecular Clouds. On smaller scales (~1000 au), observations of, e.g., IRAS 16293--2422 show signs of filamentary `bridge' structures connecting young protostars in their birth environment. We investigate the formation of a deeply embedded triple protostellar system, and characterize its connection to the filamentary structure present on GMC scales. Using the magnetohydrodynamical code RAMSES, we carry out zoom-in simulations of low-mass star formation starting from Giant-Molecular-Cloud-scales. Colliding flows of gas in the filamentary arms induce the formation of two protostellar companions at distances of ~1000 au from the primary. After their birth, the stellar companions quickly (~10 kyr) approach and orbit the primary on eccentric orbits with separations of ~100 au. The colliding flows induce transient structures lasting for up to a few 10 kyr connecting two forming protostellar objects that are kinematically quiescent along the line-of-sight. Colliding flows compress the gas and trigger the formation of stellar companions via turbulent fragmentation. Our results suggest that protostellar companions form with a wide separation of ~1000 au. Smaller separations (~100 au or less) are a consequence of subsequent migration and capturing. Associated with the formation phase of the companion, the turbulent environment induces arc- and bridge-like structures. These bridges can become kinematically quiescent, when the velocity components of the colliding flows eliminate each other. However, the gas in bridges still contributes to stellar accretion later. Our results demonstrate: bridge-like structures are a transient phenomenon of stellar multiple formation.


title: Symmetry resolved entanglement in free fermionic systems

abstract: We consider the symmetry resolved R\'enyi entropies in the one dimensional tight binding model, equivalent to the spin-1/2 XX chain in a magnetic field. We exploit the generalised Fisher-Hartwig conjecture to obtain the asymptotic behaviour of the entanglement entropies with a flux charge insertion at leading and subleading orders. The o(1) contributions are found to exhibit a rich structure of oscillatory behaviour. We then use these results to extract the symmetry resolved entanglement, determining exactly all the non-universal constants and logarithmic corrections to the scaling that are not accessible to the field theory approach. We also discuss how our results are generalised to a one-dimensional free fermi gas.

categories: cond-mat.stat-mech cond-mat.quant-gas hep-th quant-ph


title: Data re-uploading for a universal quantum classifier

abstract: A single qubit provides sufficient computational capabilities to construct a universal quantum classifier when assisted with a classical subroutine. This fact may be surprising since a single qubit only offers a simple superposition of two states and single-qubit gates only make a rotation in the Bloch sphere. The key ingredient to circumvent these limitations is to allow for multiple data re-uploading. A quantum circuit can then be organized as a series of data re-uploading and single-qubit processing units. Furthermore, both data re-uploading and measurements can accommodate multiple dimensions in the input and several categories in the output, to conform to a universal quantum classifier. The extension of this idea to several qubits enhances the efficiency of the strategy as entanglement expands the superpositions carried along with the classification. Extensive benchmarking on different examples of the single- and multi-qubit quantum classifier validates its ability to describe and classify complex data.


title: Three- and two-point spatial correlations of intergalactic medium at $z\sim 2$ using projected quasar triplets

abstract: We present analysis of two- and three-point correlation functions of Ly$\alpha$ forest (at $2\le z\le 2.5$) using X-Shooter spectra of three background quasar triplets probing transverse separations of 0.5-1.6 pMpc. We present statistics based on transmitted flux and clouds identified using Voigt profile fitting. We show that the observed two-, three-point correlation functions and reduced three-point correlation (i.e Q) are well reproduced by our simulations. We assign probabilities for realising all the observed correlation properties simultaneously using our simulations. Our simulations suggest an increase in correlation amplitudes and Q with increasing $N_{\rm HI}$. We roughly see this trend in the observations too. We identify a concurrent gap of 17$\mathring{A}$ (i.e 14.2 $h^{-1}$cMpc, one of the longest reported) wide in one of the triplets. Such gap is realised only in 14.2% of our simulated sightlines and most of the time belongs to a void in the matter distribution. In the second triplet, we detect DLAs along all three sightlines (with spatial separations 0.64 to 1.6 pMpc) within a narrow redshift interval (i.e $\Delta z = 0.088$). Detection of a foreground quasar ($\sim$ 1 pMpc from the triplet sightlines) and excess partial Lyman Limit systems around these DLAs suggest that we may be probing a large over-dense region. We also report positive CIV- CIV correlations up to $\sim 500$ $km s^{-1}$ only in the longitudinal direction. Additionally, we conclude a positive CIV-Ly$\alpha$ correlations for higher $N_{\rm HI}$ thresholds up to a scale of $\sim 1000$ $km s^{-1}$ both in transverse and longitudinal directions.


title: Embedding the SU(3) sector of SO(8) supergravity in $D=11$

abstract: The SU(3)--invariant sector of maximal supergravity in four dimensions with an SO(8) gauging is uplifted to $D=11$ supergravity. In order to do this, the SU(3)--neutral sector of the tensor and duality hierarchies of the $D=4$ ${\cal N}=8$ supergravity is first worked out. The consistent $D=11$ embedding of the full, dynamical SU(3) sector is then expressed at the level of the $D=11$ metric and three-form gauge field in terms of these $D=4$ tensors. The redundancies introduced by this approach are eliminated at the level of the $D=11$ four-form field strength by making use of the $D=4$ duality hierarchy. Our results encompass previously known truncations of $D=11$ supergravity down to sectors of SO(8) supergravity with symmetry larger than SU(3), and include new ones. In particular, we obtain a new consistent truncation of $D=11$ supergravity to minimal $D=4$ ${\cal N}=2$ gauged supergravity.


title: hyppo: A Multivariate Hypothesis Testing Python Package

abstract: We introduce hyppo, a unified library for performing multivariate hypothesis testing, including independence, two-sample, and k-sample testing. While many multivariate independence tests have R packages available, the interfaces are inconsistent and most are not available in Python. hyppo includes many state of the art multivariate testing procedures. The package is easy-to-use and is flexible enough to enable future extensions. The documentation and all releases are available at https://hyppo.neurodata.io.


title: Tailoring of an Electron-Bunch Current Distribution via Space-to-Time Mapping of a Transversely-Shaped Photoemission-Laser Pulse

abstract: Temporally-shaped electron bunches at ultrafast time scales are foreseen to support an array of applications including the development of small-footprint accelerator-based coherent light sources or as probes for, e.g., ultrafast electron-diffraction. We demonstrate a method where a transversely-segmented electron bunch produced via photoemission from a transversely-patterned laser distribution is transformed into an electron bunch with modulated temporal distribution. In essence, the presented transformation enables the mapping of the transverse laser distribution on a photocathode surface to the temporal coordinate and provides a proof-of-principle experiment of the method proposed in W. S. Graves, et al. as a path toward the realization of compact coherent X-ray sources, albeit at a larger timescale. The presented experiment is validated against numerical simulations and the versatility of the concept, e.g. to tune the current-distribution parameters, is showcased. Although our work focuses on the generation of electron bunches arranged as a temporal comb it is applicable to other temporal shapes.


title: Learning Multi-Party Turn-Taking Models from Dialogue Logs

abstract: This paper investigates the application of machine learning (ML) techniques to enable intelligent systems to learn multi-party turn-taking models from dialogue logs. The specific ML task consists of determining who speaks next, after each utterance of a dialogue, given who has spoken and what was said in the previous utterances. With this goal, this paper presents comparisons of the accuracy of different ML techniques such as Maximum Likelihood Estimation (MLE), Support Vector Machines (SVM), and Convolutional Neural Networks (CNN) architectures, with and without utterance data. We present three corpora: the first with dialogues from an American TV situated comedy (chit-chat), the second with logs from a financial advice multi-bot system and the third with a corpus created from the Multi-Domain Wizard-of-Oz dataset (both are topic-oriented). The results show: (i) the size of the corpus has a very positive impact on the accuracy for the content-based deep learning approaches and those models perform best in the larger datasets; and (ii) if the dialogue dataset is small and topic-oriented (but with few topics), it is sufficient to use an agent-only MLE or SVM models, although slightly higher accuracies can be achieved with the use of the content of the utterances with a CNN model.


title: Multi-Agent Safe Policy Learning for Power Management of Networked Microgrids

abstract: This paper presents a supervised multi-agent safe policy learning (SMAS-PL) method for optimal power management of networked microgrids (MGs) in distribution systems. While conventional reinforcement learning (RL) algorithms are black-box decision models that could fail to satisfy grid operational constraints, our proposed method is constrained by AC power flow equations and other operational limits. Accordingly, the training process employs the gradient information of operational constraints to ensure that the optimal control policy functions generate safe and feasible decisions. Furthermore, we have developed a distributed consensus-based optimization approach to train the agents' policy functions while maintaining MGs' privacy and data ownership boundaries. After training, the learned optimal policy functions can be safely used by the MGs to dispatch their local resources, without the need to solve a complex optimization problem from scratch. Numerical experiments have been devised to verify the performance of the proposed method.


title: Sampling the $\mu\nu$SSM for displaced decays of the tau left sneutrino LSP at the LHC

abstract: Within the framework of the $\mu\nu$SSM, a displaced dilepton signal is expected at the LHC from the decay of a tau left sneutrino as the lightest supersymmetric particle (LSP) with a mass in the range $45 - 100$ GeV. We compare the predictions of this scenario with the ATLAS search for long-lived particles using displaced lepton pairs in $pp$ collisions, considering an optimization of the trigger requirements by means of a high level trigger that exploits tracker information. The analysis is carried out in the general case of three families of right-handed neutrino superfields, where all the neutrinos get contributions to their masses at tree level. To analyze the parameter space, we sample the $\mu\nu$SSM for a tau left sneutrino LSP with proper decay length $c\tau > 0.1$ mm using a likelihood data-driven method, and paying special attention to reproduce the current experimental data on neutrino and Higgs physics, as well as flavor observables. The sneutrino is special in the $\mu\nu$SSM since its couplings have to be chosen so that the neutrino oscillation data are reproduced. We find that important regions of the parameter space can be probed at the LHC run 3.


title: Exploring a new definition of the green valley and its implications

abstract: The distribution of galaxies on a colour-magnitude diagram reveals a bimodality, featuring a passively evolving red sequence and a star-forming blue cloud. The region between these two, the Green Valley (GV), represents a fundamental transition where quenching processes operate. We exploit an alternative definition of the GV using the 4,000 Angstrom break strength, an indicator that is more resilient than colour to dust attenuation. We compare and contrast our GV definition with the traditional one, based on dust-corrected colour, making use of data from the Sloan Digital Sky Survey. Our GV selection - that does not need a dust correction and thus does not carry the inherent systematics - reveals very similar trends regarding nebular activity (star formation, AGN, quiescence) to the standard dust-corrected $^{0.1}(g-r)$. By use of high SNR stacked spectra of the quiescent GV subsample, we derive the simple stellar population (SSP) age difference across the GV, a rough proxy of the quenching timescale ($\Delta$t). We obtain an increasing trend with velocity dispersion ($\sigma$), from $\Delta$t$\sim$1.5Gyr at $\sigma$=100km/s, up to 3.5Gyr at $\sigma$=200km/s, followed by a rapid decrease in the most massive GV galaxies ($\Delta$t$\sim$1Gyr at $\sigma$=250km/s), suggesting two different modes of quenching, or the presence of an additional channel (rejuvenation).


title: Perron transforms and Hironaka's game

abstract: In this paper we present a matricial result that generalizes Hironaka's game and Perron transforms simultaneously. We also show how one can deduce the various forms in which the algorithm of Perron appears in proofs of local uniformization from our main result.


title: Understanding Phase Transitions via Mutual Information and MMSE

abstract: The ability to understand and solve high-dimensional inference problems is essential for modern data science. This article examines high-dimensional inference problems through the lens of information theory and focuses on the standard linear model as a canonical example that is both rich enough to be practically useful and simple enough to be studied rigorously. In particular, this model can exhibit phase transitions where an arbitrarily small change in the model parameters can induce large changes in the quality of estimates. For this model, the performance of optimal inference can be studied using the replica method from statistical physics but, until recently, it was not known if the resulting formulas were actually correct. In this chapter, we present a tutorial description of the standard linear model and its connection to information theory. We also describe the replica prediction for this model and outline the authors' recent proof that it is exact.


title: A comprehensive evaluation of full-reference image quality assessment algorithms on KADID-10k

abstract: Significant progress has been made in the past decade for full-reference image quality assessment (FR-IQA). However, new large scale image quality databases have been released for evaluating image quality assessment algorithms. In this study, our goal is to give a comprehensive evaluation of state-of-the-art FR-IQA metrics using the recently published KADID-10k database which is largest available one at the moment. Our evaluation results and the associated discussions is very helpful to obtain a clear understanding about the status of state-of-the-art FR-IQA metrics.


title: Estimation of common change point and isolation of changed panels after sequential detection

abstract: Quick detection of common changes is critical in sequential monitoring of multi-stream data where a common change is referred as a change that only occurs in a portion of panels. After a common change is detected by using a combined CUSUM-SR procedure, we first study the joint distribution for values of the CUSUM process and the estimated delay detection time for the unchanged panels. The BH method by using the asymptotic exponential property for the CUSUM process is developed to isolate the changed panels with the control on FDR. The common change point is then estimated based on the isolated changed panels. Simulation results show that the proposed method can also control the FNR by properly selecting FDR.


title: Preserving physically important variables in optimal event selections: A case study in Higgs physics

abstract: Analyses of collider data, often assisted by modern Machine Learning methods, condense a number of observables into a few powerful discriminants for the separation of the targeted signal process from the contributing backgrounds. These discriminants are highly correlated with important physical observables; using them in the event selection thus leads to the distortion of physically relevant distributions. We present a novel method based on a differentiable estimate of mutual information, a measure of non-linear dependency between variables, to construct a discriminant that is statistically independent of a number of selected observables, and so manages to preserve their distributions in the event selection. Our strategy is evaluated in a realistic setting, the analysis of the Standard Model Higgs boson decaying into a pair of bottom quarks. Using the distribution of the invariant mass of the di-b-jet system to extract the Higgs boson signal strength, our method achieves state-of-the-art performance compared to other decorrelation techniques, while significantly improving the sensitivity of a similar, cut-based, analysis published by ATLAS.


title: GeoGebra e situa\c{c}\~oes que envolvem modela\c{c}\~ao numa abordagem STEAM

abstract: In order to implement a STEAM approach including the use of technology, namely the use of interactive mathematics software GeoGebra, in mathematics classes, in the lusophone space, the materials presented here were conceived, to be implemented in a first phase among teachers. Later, with the necessary adaptations, these tasks will be applied to the students. The tasks deal with modeling situations, in two- and three-dimensional geometric problems, in order to apply GeoGebra software in its analysis to illustrate its capabilities. The different windows of this software are used, namely the 2D and 3D windows, CAS window, spreadsheet and extra two dimensional windows in order to study cutting planes in solids and some surfaces. The tasks are presented so that any user, regardless of the degree of knowledge they have of the software, can follow them, being supported in scripts with some indications of the tools and commands to use. Designed for the teaching and learning of Mathematics, from a STEAM approach, these tasks allow connections with other Sciences and the Arts, and allow the development of projects using and consolidating relevant mathematical contents. These tasks are part of the proposals of activities of the participants of the Training Courses for Trainers in GeoGebra for Portuguese Speaking Countries, which from 2019 have an impact on the STEAM approach. These courses are carried out with the high sponsorship of the Organization of Ibero-American States for Education, Science and Culture (OEI). Given the interest that the tasks have for the users of the Iberian space, as well as their dissemination at a global level, the materials initially developed in Portuguese language will be adapted for Spanish and English speakers.


title: Machine learning and behavioral economics for personalized choice architecture

abstract: Behavioral economics changed the way we think about market participants and revolutionized policy-making by introducing the concept of choice architecture. However, even though effective on the level of a population, interventions from behavioral economics, nudges, are often characterized by weak generalisation as they struggle on the level of individuals. Recent developments in data science, artificial intelligence (AI) and machine learning (ML) have shown ability to alleviate some of the problems of weak generalisation by providing tools and methods that result in models with stronger predictive power. This paper aims to describe how ML and AI can work with behavioral economics to support and augment decision-making and inform policy decisions by designing personalized interventions, assuming that enough personalized traits and psychological variables can be sampled.


title: The Informativeness of Estimation Moments

abstract: This paper introduces measures for how each moment contributes to the precision of parameter estimates in GMM settings. For example, one of the measures asks what would happen to the variance of the parameter estimates if a particular moment was dropped from the estimation. The measures are all easy to compute. We illustrate the usefulness of the measures through two simple examples as well as an application to a model of joint retirement planning of couples. We estimate the model using the UK-BHPS, and we find evidence of complementarities in leisure. Our sensitivity measures illustrate that the estimate of the complementarity is primarily informed by the distribution of differences in planned retirement dates. The estimated econometric model can be interpreted as a bivariate ordered choice model that allows for simultaneity. This makes the model potentially useful in other applications.


title: EVA: Generating Emotional Behavior of Virtual Agents using Expressive Features of Gait and Gaze

abstract: We present a novel, real-time algorithm, EVA, for generating virtual agents with various perceived emotions. Our approach is based on using Expressive Features of gaze and gait to convey emotions corresponding to happy, sad, angry, or neutral. We precompute a data-driven mapping between gaits and their perceived emotions. EVA uses this gait emotion association at runtime to generate appropriate walking styles in terms of gaits and gaze. Using the EVA algorithm, we can simulate gaits and gazing behaviors of hundreds of virtual agents in real-time with known emotional characteristics. We have evaluated the benefits in different multi-agent VR simulation environments. Our studies suggest that the use of expressive features corresponding to gait and gaze can considerably increase the sense of presence in scenarios with multiple virtual agents.


title: Lineability and modes of convergence

abstract: In this paper we look for the existence of large linear and algebraic structures of sequences of measurable functions with different modes of convergence. Concretely, the algebraic size of the family of sequences that are convergent in measure but not a.e.~pointwise, uniformly but not pointwise convergent, and uniformly convergent but not in $L^1$-norm, are analyzed. These findings extend and complement a number of earlier results by several authors.


title: Testing Gap k-planarity is NP-complete

abstract: For all $k \geq 1$, we show that deciding whether a graph is $k$-planar is NP-complete, extending the well-known fact that deciding 1-planarity is NP-complete. Furthermore, we show that the gap version of this decision problem is NP-complete. In particular, given a graph with local crossing number either at most $k\ge 1$ or at least $2k$, we show that it is NP-complete to decide whether the local crossing number is at most $k$ or at least $2k$. This algorithmic lower bound proves the non-existence of a $(2-\epsilon)$-approximation algorithm for any fixed $k \ge 1$. In addition, we analyze the sometimes competing relationship between the local crossing number (maximum number of crossings per edge) and crossing number (total number of crossings) of a drawing. We present results regarding the non-existence of drawings that simultaneously approximately minimize both the local crossing number and crossing number of a graph.


title: A new mechanism of direct coupling of laser energy to ions

abstract: The well-known schemes (e.g. Brunel, resonance absorption, JxB heating etc.) couple laser energy to the lighter electron species of the plasma. In this work, a fundamentally new mechanism of laser energy absorption directly to the heavier ion species has been proposed. The mechanism relies on the difference between the ExB drifts of electron and ions in the oscillating electric field of the laser and an external magnetic field to create charge density perturbations. The proposed mechanism is verified with the help of Particle - In - Cell (PIC) simulations using OSIRIS4.0.


title: Use of OWL and Semantic Web Technologies at Pinterest

abstract: Pinterest is a popular Web application that has over 250 million active users. It is a visual discovery engine for finding ideas for recipes, fashion, weddings, home decoration, and much more. In the last year, the company adopted Semantic Web technologies to create a knowledge graph that aims to represent the vast amount of content and users on Pinterest, to help both content recommendation and ads targeting. In this paper, we present the engineering of an OWL ontology---the Pinterest Taxonomy---that forms the core of Pinterest's knowledge graph, the Pinterest Taste Graph. We describe modeling choices and enhancements to WebProt\'eg\'e that we used for the creation of the ontology. In two months, eight Pinterest engineers, without prior experience of OWL and WebProt\'eg\'e, revamped an existing taxonomy of noisy terms into an OWL ontology. We share our experience and present the key aspects of our work that we believe will be useful for others working in this area.


title: Solar cycle prediction

abstract: A review of solar cycle prediction methods and their performance is given, including early forecasts for cycle 25. The review focuses on those aspects of the solar cycle prediction problem that have a bearing on dynamo theory. The scope of the review is further restricted to the issue of predicting the amplitude (and optionally the epoch) of an upcoming solar maximum no later than right after the start of the given cycle. In their overall performance during the course of the last few solar cycles, precursor methods have clearly been superior to extrapolation methods. One method that has yielded predictions consistently in the right range during the past few solar cycles is the polar field precursor. Nevertheless, some extrapolation methods may still be worth further study. Model based forecasts are quickly coming into their own, and, despite not having a long proven record, their predictions are received with increasing confidence by the community.


title: Early-type galaxies in low-density environments: NGC 6876 explored through its globular cluster system

abstract: We present the results of a photometric study of the early-type galaxy NGC 6876 and the surrounding globular cluster system (GCS). The host galaxy is a massive elliptical, the brightest of this type in the Pavo Group. According to its intrinsic brightness (M_v~-22.7), it is expected to belong to a galaxy cluster instead of a poor group. Observational material consists of g', r', i' images obtained with the Gemini/GMOS camera. The selected globular cluster (GC) candidates present a clear bimodal colour distribution at different galactocentric radii, with mean colours and dispersions for the metal-poor ("blue") and metal-rich ("red") typical of old GCs. The red subpopulation dominates close to the galaxy centre, in addition to the radial projected distribution showing that they are more concentrated towards the galaxy centre. The azimuthal projected distribution shows an overdensity in the red subpopulation in the direction of a trail observed in X-ray that could be evidence of interactions with its spiral neighbour NGC 6872. The turn-over of the luminosity function gives an estimated distance modulus (m - M)~ 33.5 and the total population amounts to 9400 GCs, i.e. a quite populous system. The halo mass obtained using the number ratio (i.e. the number of GCs with respect to the baryonic and dark mass) gives a total of ~10^13, meaning it is a very massive galaxy, given the environment.


title: A unified approach to mixed-integer optimization problems with logical constraints

abstract: We propose a unified framework to address a family of classical mixed-integer optimization problems with logically constrained decision variables, including network design, facility location, unit commitment, sparse portfolio selection, binary quadratic optimization, sparse principal analysis and sparse learning problems. These problems exhibit logical relationships between continuous and discrete variables, which are usually reformulated linearly using a big-M formulation. In this work, we challenge this longstanding modeling practice and express the logical constraints in a non-linear way. By imposing a regularization condition, we reformulate these problems as convex binary optimization problems, which are solvable using an outer-approximation procedure. In numerical experiments, we establish that a general-purpose numerical strategy, which combines cutting-plane, first-order and local search methods, solves these problems faster and at a larger scale than state-of-the-art mixed-integer linear or second-order cone methods. Our approach successfully solves network design problems with 100s of nodes and provides solutions up to 40\% better than the state-of-the-art; sparse portfolio selection problems with up to 3,200 securities compared with 400 securities for previous attempts; and sparse regression problems with up to 100,000 covariates.


title: DeepMRSeg: A convolutional deep neural network for anatomy and abnormality segmentation on MR images

abstract: Segmentation has been a major task in neuroimaging. A large number of automated methods have been developed for segmenting healthy and diseased brain tissues. In recent years, deep learning techniques have attracted a lot of attention as a result of their high accuracy in different segmentation problems. We present a new deep learning based segmentation method, DeepMRSeg, that can be applied in a generic way to a variety of segmentation tasks. The proposed architecture combines recent advances in the field of biomedical image segmentation and computer vision. We use a modified UNet architecture that takes advantage of multiple convolution filter sizes to achieve multi-scale feature extraction adaptive to the desired segmentation task. Importantly, our method operates on minimally processed raw MRI scan. We validated our method on a wide range of segmentation tasks, including white matter lesion segmentation, segmentation of deep brain structures and hippocampus segmentation. We provide code and pre-trained models to allow researchers apply our method on their own datasets.


title: J-PLUS: Synthetic galaxy catalogues with emission lines for photometric surveys

abstract: We present a synthetic galaxy lightcone specially designed for narrow-band optical photometric surveys. To reduce time-discreteness effects, unlike previous works, we directly include the lightcone construction in the \texttt{L-Galaxies} semi-analytic model applied to the subhalo merger trees of the {\tt Millennium} simulation. Additionally, we add a model for the nebular emission in star-forming regions, which is crucial for correctly predicting the narrow/medium-band photometry of galaxies. Explicitly, we consider, individually for each galaxy, the contribution of 9 different lines: $\rm Ly{\alpha}$ (1216\AA), \Hb (4861\AA), \Ha (6563\AA), {\oii} (3727\AA, 3729\AA), {\oiii} (4959\AA, 5007\AA), $\rm [\ion{Ne}{III}]$ (3870\AA), {\oi} (6300\AA), $\rm [\ion{N}{II}]$ (6548\AA, 6583\AA), and $\rm [\ion{S}{II}]$ (6717\AA, 6731\AA). We validate our lightcone by comparing galaxy number counts, angular clustering, and \Ha, \Hb, {\oii} and {\oiiiFd} luminosity functions to a compilation of observations. As an application of our mock lightcones, we generate catalogues tailored for J-PLUS, a large optical galaxy survey featuring 5 broad and 7 medium band filters. We study the ability of the survey to correctly identify, with a simple \textit{three filter method}, a population of emission-line galaxies at various redshifts. We show that the $4000\AA$ break in the spectral energy distribution of galaxies can be misidentified as line emission. However, all significant excess (larger than 0.4 magnitudes) can be correctly and unambiguously attributed to emission line galaxies. Our catalogues are publicly released to facilitate their use in interpreting narrow-band surveys and for quantifying the impact of line emission in broad band photometry.


title: Constraining the Radio Emission of TRAPPIST-1

abstract: TRAPPIST-1 is an ultracool dwarf (UCD) with a system of 7 terrestrial planets, at least three of which orbit in the habitable zone. The radio emission of such low-mass stars is poorly understood; few UCDs have been detected at radio frequencies at all, and the likelihood of detection is only loosely correlated with stellar properties. Relative to other low-mass stars, UCDs with slow rotation such as TRAPPIST-1 tend to be radio dim, whereas rapidly rotating UCDs tend to have strong radio emission - although this is not always the case. We present radio observations of TRAPPIST-1 using ALMA at 97.5 GHz and the VLA at 44 GHz. TRAPPIST-1 was not detected at either frequency and we place $3 \sigma$ upper flux limits of 10.6 and 16.2 $\mu$Jy, respectively. We use our results to constrain the magnetic properties and possible outgoing high energy particle radiation from the star. The presence of radio emission from UCDs is indicative of a stellar environment that could pose a threat to life on surrounding planets. Gyrosynchrotron emission, discernible at frequencies between 20 and 100 GHz, is one of the only processes that can be used to infer the presence of high energy particles released during magnetic reconnection events. Since M dwarfs are frequent hosts of terrestrial planets, characterizing their stellar emission is a crucial part of assessing habitability. Exposure to outgoing high energy particle radiation - traceable by radio flux - can erode planetary atmospheres. While our results do not imply that the TRAPPIST-1 planets are suitable for life, we find no evidence that they are overtly unsuitable due to proton fluxes.


title: A Novel Option for Waste Tire Rubber Reutilization: Refrigerant in Solid-State Cooling Devices

abstract: Management of discarded tires is a compelling environmental issue worldwide. Although several approaches have been developed to recycle waste tire rubbers, their application in solid-state cooling is still unexplored. Considering the high barocaloric potential verified for elastomers, the use of waste tire rubber (WTR) as refrigerant in solid-state cooling devices is very promising. Here, we investigated the barocaloric effects in WTR and polymer blends made of vulcanized natural rubber (VNR) and WTR, in order to evaluate its feasibility for solid-state cooling technologies. The adiabatic temperature change and the isothermal entropy change reach giant values, as well as the performance parameters, being comparable or even better than most barocaloric materials in literature. Moreover, pure WTR and WTR-based samples also present a faster thermal exchange than VNR, consisting in an additional advantage of using these discarded materials. Thus, the present findings evidence the encouraging perspectives of employing waste rubbers in solid-state cooling based on barocaloric effect, contributing in both the recycling of polymers and the sustainable energy technology field.


title: Maximum Expected Hitting Cost of a Markov Decision Process and Informativeness of Rewards

abstract: We propose a new complexity measure for Markov decision processes (MDPs), the maximum expected hitting cost (MEHC). This measure tightens the closely related notion of diameter [JOA10] by accounting for the reward structure. We show that this parameter replaces diameter in the upper bound on the optimal value span of an extended MDP, thus refining the associated upper bounds on the regret of several UCRL2-like algorithms. Furthermore, we show that potential-based reward shaping [NHR99] can induce equivalent reward functions with varying informativeness, as measured by MEHC. We further establish that shaping can reduce or increase MEHC by at most a factor of two in a large class of MDPs with finite MEHC and unsaturated optimal average rewards.


title: On Heavy-Traffic Optimal Scaling of $c$-Weighted MaxWeight Scheduling in Input-Queued Switches

abstract: We consider the optimal control of input-queued switches under a cost-weighted variant of MaxWeight scheduling, for which we establish theoretical properties that include showing the algorithm exhibits optimal heavy-traffic queue-length scaling. Our results are expected to be of theoretical interest more broadly than input-queued switches.


title: Multiplicative modulations in hue-selective cells enhance unique hue representation

abstract: There is still much to understand about the color processing mechanisms in the brain and the transformation from cone-opponent representations to perceptual hues. Moreover, it is unclear which areas(s) in the brain represent unique hues. We propose a hierarchical model inspired by the neuronal mechanisms in the brain for local hue representation, which reveals the contributions of each visual cortical area in hue representation. Local hue encoding is achieved through incrementally increasing processing nonlinearities beginning with cone input. Besides employing nonlinear rectifications, we propose multiplicative modulations as a form of nonlinearity. Our simulation results indicate that multiplicative modulations have significant contributions in encoding of hues along intermediate directions in the MacLeod-Boynton diagram and that model V4 neurons have the capacity to encode unique hues. Additionally, responses of our model neurons resemble those of biological color cells, suggesting that our model provides a novel formulation of the brain's color processing pathway.


title: Duality for Bethe algebras acting on polynomials in anticommuting variables

abstract: We consider actions of the current Lie algebras $\mathfrak{gl}_{n}[t]$ and $\mathfrak{gl}_{k}[t]$ on the space of polynomials in $kn$ anticommuting variables. The actions depend on parameters $\bar{z}=(z_{1}\dots z_{k})$ and $\bar{\alpha}=(\alpha_{1}\dots \alpha_{n})$, respectively. We show that the images of the Bethe algebras $\mathcal{B}_{\bar{\alpha}}^{\langle n \rangle}\subset U(\mathfrak{gl}_{n}[t])$ and $\mathcal{B}_{\bar{z}}^{\langle k \rangle}\subset U(\mathfrak{gl}_{k}[t])$ under these actions coincide. To prove the statement, we use the Bethe ansatz description of eigenvalues of the actions of the Bethe algebras via spaces of quasi-exponentials and establish an explicit correspondence between these spaces for the actions of $\mathcal{B}_{\bar{\alpha}}^{\langle n \rangle}$ and $\mathcal{B}_{\bar{z}}^{\langle k \rangle}$.


title: Variation in the fine-structure constant, distance-duality relation and the next generation of high-resolution spectrograph

abstract: The possibility of variation of the fundamental constants of nature has been a long-standing question, with important consequences for fundamental physics and cosmology. In particular, it has been shown that variations in the fine-structure constant, $\alpha$, are directly related to violation of the distance duality relation (DDR), which holds true as long as photons travel on unique null geodesics and their number is conserved. In this paper we use the currently available measurements of ${\Delta \alpha}/{\alpha}$ to impose the most stringent constraints on departures of the DDR to date, here quantified by the parameter $\eta$. We also perform a forecast analysis to discuss the ability of the new generation of high-resolution spectrograph, like ESPRESSO/VLT and E-ELT-HIRES, to constrain the DDR parameter $\eta$. From the current data we obtain constraints on $\eta$ of the order of $10^{-7}$ whereas the forecasted constraints are two orders of magnitude lower. Considering the expected level of uncertainties of the upcoming measurements, we also estimate the necessary number of data points to confirm the hypotheses behind the DDR.


title: Minus Partial Order in Regular Modules

abstract: The minus partial order is already known for sets of matrices over a field and bounded linear operators on arbitrary Hilbert spaces. Recently, this partial order has been studied on Rickart rings. In this paper, we extend the concept of the minus relation to the module theoretic setting and prove that this relation is a partial order when the module is regular. Moreover, various characterizations of the minus partial order in regular modules are presented and some well-known results are also generalized.


title: Towards Improving Christofides Algorithm on Fundamental Classes by Gluing Convex Combinations of Tours

abstract: We present a new approach for gluing tours over certain tight, 3-edge cuts. Gluing over 3-edge cuts has been used in algorithms for finding Hamilton cycles in special graph classes and in proving bounds for 2-edge-connected subgraph problem, but not much was known in this direction for gluing connected multigraphs. We apply this approach to the traveling salesman problem (TSP) in the case when the objective function of the subtour elimination relaxation is minimized by a $\theta$-cyclic point: $x_e \in \{0,\theta, 1-\theta, 1\}$, where the support graph is subcubic and each vertex is incident to at least one edge with $x$-value 1. Such points are sufficient to resolve TSP in general. For these points, we construct a convex combination of tours in which we can reduce the usage of edges with $x$-value 1 from the $\frac{3}{2}$ of Christofides algorithm to $\frac{3}{2}-\frac{\theta}{10}$ while keeping the usage of edges with fractional $x$-value the same as Christofides algorithm. A direct consequence of this result is for the Uniform Cover Problem for TSP: In the case when the objective function of the subtour elimination relaxation is minimized by a $\frac{2}{3}$-uniform point: $x_e \in \{0, \frac{2}{3}\}$, we give a $\frac{17}{12}$-approximation algorithm for TSP. For such points, this lands us halfway between the approximation ratios of $\frac{3}{2}$ of Christofides algorithm and $\frac{4}{3}$ implied by the famous "four-thirds conjecture".


title: Next Generation Radiogenomics Sequencing for Prediction of EGFR and KRAS Mutation Status in NSCLC Patients Using Multimodal Imaging and Machine Learning Approaches

abstract: Aim: In the present work, we aimed to evaluate a comprehensive radiomics framework that enabled prediction of EGFR and KRAS mutation status in NSCLC cancer patients based on PET and CT multi-modalities radiomic features and machine learning (ML) algorithms. Methods: Our study involved 211 NSCLC cancer patient with PET and CTD images. More than twenty thousand radiomic features from different image-feature sets were extracted Feature value was normalized to obtain Z-scores, followed by student t-test students for comparison, high correlated features were eliminated and the False discovery rate (FDR) correction were performed Six feature selection methods and twelve classifiers were used to predict gene status in patient and model evaluation was reported on independent validation sets (68 patients). Results: The best predictive power of conventional PET parameters was achieved by SUVpeak (AUC: 0.69, P-value = 0.0002) and MTV (AUC: 0.55, P-value = 0.0011) for EGFR and KRAS, respectively. Univariate analysis of radiomics features improved prediction power up to AUC: 75 (q-value: 0.003, Short Run Emphasis feature of GLRLM from LOG preprocessed image of PET with sigma value 1.5) and AUC: 0.71 (q-value 0.00005, The Large Dependence Low Gray Level Emphasis from GLDM in LOG preprocessed image of CTD sigma value 5) for EGFR and KRAS, respectively. Furthermore, the machine learning algorithm improved the perdition power up to AUC: 0.82 for EGFR (LOG preprocessed of PET image set with sigma 3 with VT feature selector and SGD classifier) and AUC: 0.83 for KRAS (CT image set with sigma 3.5 with SM feature selector and SGD classifier). Conclusion: We demonstrated that radiomic features extracted from different image-feature sets could be used for EGFR and KRAS mutation status prediction in NSCLC patients, and showed that they have more predictive power than conventional imaging parameters.

categories: physics.med-ph cs.LG physics.bio-ph q-bio.GN


title: Linearly implicit local and global energy-preserving methods for PDEs with a cubic Hamiltonian

abstract: We present linearly implicit methods that preserve discrete approximations to local and global energy conservation laws for multi-symplectic PDEs with cubic invariants. The methods are tested on the one-dimensional Korteweg-de Vries equation and the two-dimensional Zakharov-Kuznetsov equation; the numerical simulations confirm the conservative properties of the methods, and demonstrate their good stability properties and superior running speed when compared to fully implicit schemes.


title: On an abstract bifurcation result concerning homogeneous potential operators with applications to PDEs

abstract: We study an abstract equation in a reflexive Banach space, depending on a real parameter $\lambda$. The equation is composed by homogeneous potential operators. By analyzing the Nehari sets, we prove a bifurcation result. In some particular cases we describe the full bifurcation diagram, and in general, we estimate the parameter $\lambda_b$ for which the problem does not have non-zero solution when $\lambda>\lambda_b$. We give many applications to partial differential equations: Kirchhoff type equations, Schr\"odinger equations coupled with the electromagnetic field, Chern-Simons-Schr\"odinger systems and a nonlinear eigenvalue problem.


title: Non-Structured DNN Weight Pruning -- Is It Beneficial in Any Platform?

abstract: Large deep neural network (DNN) models pose the key challenge to energy efficiency due to the significantly higher energy consumption of off-chip DRAM accesses than arithmetic or SRAM operations. It motivates the intensive research on model compression with two main approaches. Weight pruning leverages the redundancy in the number of weights and can be performed in a non-structured, which has higher flexibility and pruning rate but incurs index accesses due to irregular weights, or structured manner, which preserves the full matrix structure with lower pruning rate. Weight quantization leverages the redundancy in the number of bits in weights. Compared to pruning, quantization is much more hardware-friendly, and has become a "must-do" step for FPGA and ASIC implementations. This paper provides a definitive answer to the question for the first time. First, we build ADMM-NN-S by extending and enhancing ADMM-NN, a recently proposed joint weight pruning and quantization framework. Second, we develop a methodology for fair and fundamental comparison of non-structured and structured pruning in terms of both storage and computation efficiency. Our results show that ADMM-NN-S consistently outperforms the prior art: (i) it achieves 348x, 36x, and 8x overall weight pruning on LeNet-5, AlexNet, and ResNet-50, respectively, with (almost) zero accuracy loss; (ii) we demonstrate the first fully binarized (for all layers) DNNs can be lossless in accuracy in many cases. These results provide a strong baseline and credibility of our study. Based on the proposed comparison framework, with the same accuracy and quantization, the results show that non-structrued pruning is not competitive in terms of both storage and computation efficiency. Thus, we conclude that non-structured pruning is considered harmful. We urge the community not to continue the DNN inference acceleration for non-structured sparsity.


title: Sensing Volume Coverage of Robot Workspace using On-Robot Time-of-Flight Sensor Arrays for Safe Human Robot Interaction

abstract: In this paper, an analysis of the sensing volume coverage of robot workspace as well as the shared human-robot collaborative workspace for various configurations of on-robot Time-of-Flight (ToF) sensor array rings is presented. A methodology for volumetry using octrees to quantify the detection/sensing volume of the sensors is proposed. The change in sensing volume coverage by increasing the number of sensors per ToF sensor array ring and also increasing the number of rings mounted on robot link is also studied. Considerations of maximum ideal volume around the robot workspace that a given ToF sensor array ring placement and orientation setup should cover for safe human robot interaction are presented. The sensing volume coverage measurements in this maximum ideal volume are tabulated and observations on various ToF configurations and their coverage for close and far zones of the robot are determined.


title: A Nonequilibrium Variational Polaron Theory to Study Quantum Heat Transport

abstract: We propose a nonequilibrium variational polaron transformation, based on an ansatz for nonequilibrium steady state (NESS) with an effective temperature, to study quantum heat transport at the nanoscale. By combining the variational polaron transformed master equation with the full counting statistics, we have extended the applicability of the polaron-based framework to study nonequilibrium process beyond the super-Ohmic bath models. Previously, the polaron-based framework for quantum heat transport reduces exactly to the non-interacting blip approximation (NIBA) formalism for Ohmic bath models due to the issue of the infrared divergence associated with the full polaron transformation. The nonequilibrium variational method allows us to appropriately treat the infrared divergence in the low-frequency bath modes and explicitly include cross-bath correlation effects. These improvements provide more accurate calculation of heat current than the NIBA formalism for Ohmic bath models. We illustrate the aforementioned improvements with the nonequilibrium spin-boson model in this work and quantitatively demonstrate the cross-bath correlation, current turnover, and rectification effects in quantum heat transfer.


title: NullAway: Practical Type-Based Null Safety for Java

abstract: NullPointerExceptions (NPEs) are a key source of crashes in modern Java programs. Previous work has shown how such errors can be prevented at compile time via code annotations and pluggable type checking. However, such systems have been difficult to deploy on large-scale software projects, due to significant build-time overhead and / or a high annotation burden. This paper presents NullAway, a new type-based null safety checker for Java that overcomes these issues. NullAway has been carefully engineered for low overhead, so it can run as part of every build. Further, NullAway reduces annotation burden through targeted unsound assumptions, aiming for no false negatives in practice on checked code. Our evaluation shows that NullAway has significantly lower build-time overhead (1.15X) than comparable tools (2.8-5.1X). Further, on a corpus of production crash data for widely-used Android apps built with NullAway, remaining NPEs were due to unchecked third-party libraries (64%), deliberate error suppressions (17%), or reflection and other forms of post-checking code modification (17%), never due to NullAway's unsound assumptions for checked code.


title: Motion induced radiation and quantum friction for a moving atom

abstract: We study quantum dissipative effects that result from the non-relativistic motion of an atom, coupled to a quantum real scalar field, in the presence of a static imperfect mirror. Our study consists of two parts: in the first, we consider accelerated motion in free space, namely, switching off the coupling to the mirror. This results in motion induced radiation, which we quantify via the vacuum persistence amplitude. In the model we use, the atom is described by a quantum harmonic oscillator (QHO). We show that its natural frequency poses a threshold which separates different regimes, involving or not the internal excitation of the oscillator, with the ulterior emission of a photon. At higher orders in the coupling to the field, pairs of photons may be created by virtue of the Dynamical Casimir Effect (DCE). In the second part, we switch on the coupling to the mirror, which we describe by localized microscopic degrees of freedom. We show that this leads to the existence of quantum contactless friction as well as to corrections to the free space emission considered in the first part. The latter are similar to the effect of a dielectric on the spontaneous emission of an excited atom. We have found that, when the atom is accelerated and close to the plate, it is crucial to take into account the losses in the dielectric in order to obtain finite results for the vacuum persistence amplitude.


title: The Indirect Convolution Algorithm

abstract: Deep learning frameworks commonly implement convolution operators with GEMM-based algorithms. In these algorithms, convolution is implemented on top of matrix-matrix multiplication (GEMM) functions, provided by highly optimized BLAS libraries. Convolutions with 1x1 kernels can be directly represented as a GEMM call, but convolutions with larger kernels require a special memory layout transformation - im2col or im2row - to fit into GEMM interface. The Indirect Convolution algorithm provides the efficiency of the GEMM primitive without the overhead of im2col transformation. In contrast to GEMM-based algorithms, the Indirect Convolution does not reshuffle the data to fit into the GEMM primitive but introduces an indirection buffer - a buffer of pointers to the start of each row of image pixels. This broadens the application of our modified GEMM function to convolutions with arbitrary kernel size, padding, stride, and dilation. The Indirect Convolution algorithm reduces memory overhead proportionally to the number of input channels and outperforms the GEMM-based algorithm by up to 62% on convolution parameters which involve im2col transformations in GEMM-based algorithms. This, however, comes at cost of minor performance reduction on 1x1 stride-1 convolutions.


title: Supersoft X-ray emission from a white dwarf binary not powered by nuclear fusion

abstract: Supersoft X-ray sources are stellar objects which emit X-rays with temperatures of about 1 million Kelvin and luminosities well in excess of what can be produced by stellar coronae. It has generally been presumed that the objects in this class are binary star systems in which mass transfer leads to nuclear fusion on the surface of a white dwarf. Classical novae, the runaway fusion events on the surfaces of white dwarfs, generally have supersoft phases, and it is often stated that the bright steady supersoft X-ray sources seen from white dwarfs accreting mass at a high rate are undergoing steady nuclear fusion. In this letter, we report the discovery of a transient supersoft source in the Small Magellanic Cloud without any signature of nuclear fusion having taken place. This discovery indicates that the X-ray emission probably comes from a "spreading layer" - a belt on the surface of the white dwarf near the inner edge of the accretion disk in which a large fraction of the total accretion energy is emitted - and (albeit more tentatively) that the accreting white dwarf is relatively massive. We thus establish that the presence of a supersoft source cannot always be used as a tracer of nuclear fusion, in contradiction with decades-old consensus about the nature of supersoft emission.


title: Stabilization Time in Minority Processes

abstract: We analyze the stabilization time of minority processes in graphs. A minority process is a dynamically changing coloring, where each node repeatedly changes its color to the color which is least frequent in its neighborhood. First, we present a simple $\Omega(n^2)$ stabilization time lower bound in the sequential adversarial model. Our main contribution is a graph construction which proves a ${\Omega}(n^{2-\epsilon})$ stabilization time lower bound for any $\epsilon>0$. This lower bound holds even if the order of nodes is chosen benevolently, not only in the sequential model, but also in any reasonable concurrent model of the process.


title: Metrics on sets of interval partitions with diversity

abstract: We first consider interval partitions whose complements are Lebesgue-null and introduce a complete metric that induces the same topology as the Hausdorff distance (between complements). This is done using correspondences between intervals. Further restricting to interval partitions with alpha-diversity, we then adjust the metric to incorporate diversities. We show that this second metric space is Lusin. An important feature of this topology is that path-continuity in this topology implies the continuous evolution of diversities. This is important in related work on tree-valued stochastic processes where diversities are branch lengths.


title: Repairing Timed Automata Clock Guards through Abstraction and Testing

abstract: Timed automata (TAs) are a widely used formalism to specify systems having temporal requirements. However, exactly specifying the system may be difficult, as the user may not know the exact clock constraints triggering state transitions. In this work, we assume the user already specified a TA, and (s)he wants to validate it against an oracle that can be queried for acceptance. Under the assumption that the user only wrote wrong guard transitions (i.e., the structure of the TA is correct), the search space for the correct TA can be represented by a Parametric Timed Automaton (PTA), i.e., a TA in which some constants are parametrized. The paper presents a process that i) abstracts the initial (faulty) TA tainit in a PTA pta; ii) generates some test data (i.e., timed traces) from pta; iii) assesses the correct evaluation of the traces with the oracle; iv) uses the IMITATOR tool for synthesizing some constraints phi on the parameters of pta; v) instantiate from phi a TA tarep as final repaired model. Experiments show that the approach is successfully able to partially repair the initial design of the user.


title: Current channel evolution in ideal Z pinch for general velocity profiles

abstract: Recent diagnostic advances in gas-puff Z pinches at the Weizmann Institute for the first time allow the reconstruction of the current flow as a function of time and radius. These experiments show an unexpected radially-outward motion of the current channel, as the plasma moves radially-inward [C. Stollberg, Ph.D thesis, Weizmann Institute, 2019]. In this paper, a mechanism that could explain this current evolution is described. We examine the impact of advection on the distribution of current in a cylindrically symmetric plasma. In the case of metric compression, with |v_r| proportional to r, the current enclosed between each plasma fluid element and the axis is conserved, and so the current profile maintains its shape. We show that for more general velocity profiles, this simple behavior quickly breaks down, allowing for non-conservation of current in a compressing conductor, rapid redistribution of the current density, and even for the formation of reverse currents. In particular, a specific inward radial velocity profile is shown to result in radially-outward motion of the current channel, recovering the surprising current evolution discovered at the Weizmann Institute.


title: The universal enveloping algebra of $\mathfrak{sl}_2$ and the Racah algebra

abstract: Let $\mathbb{F}$ denote a field with ${\rm char\,}\mathbb{F}\not=2$. The Racah algebra $\Re$ is the unital associative $\mathbb{F}$-algebra defined by generators and relations in the following way. The generators are $A$, $B$, $C$, $D$. The relations assert that \begin{equation*} [A,B]=[B,C]=[C,A]=2D \end{equation*} and each of the elements \begin{gather*} \alpha=[A,D]+AC-BA, \qquad \beta=[B,D]+BA-CB, \qquad \gamma=[C,D]+CB-AC \end{gather*} is central in $\Re$. Additionally the element $\delta=A+B+C$ is central in $\Re$. In this paper we explore the relationship between the Racah algebra $\Re$ and the universal enveloping algebra $U(\mathfrak{sl}_2)$. Let $a,b,c$ denote mutually commuting indeterminates. We show that there exists a unique $\mathbb{F}$-algebra homomorphism $\natural:\Re\to\mathbb{F}[a,b,c]\otimes_\mathbb{F} U(\mathfrak{sl}_2)$ that sends \begin{eqnarray*} A &\mapsto& a(a+1)\otimes 1+(b-c-a)\otimes x+(a+b-c+1)\otimes y-1\otimes xy, \\ B &\mapsto& b(b+1)\otimes 1+(c-a-b)\otimes y+(b+c-a+1)\otimes z-1\otimes yz, \\ C &\mapsto& c(c+1)\otimes 1+(a-b-c)\otimes z+(c+a-b+1)\otimes x-1\otimes zx, \\ D &\mapsto& 1\otimes (zyx+zx)+ (c+b(c+a-b))\otimes x +(a+c(a+b-c))\otimes y \\ && \qquad+(b+a(b+c-a))\otimes z +\,(b-c)\otimes xy+(c-a)\otimes yz+(a-b)\otimes zx, \end{eqnarray*} where $x,y,z$ are the equitable generators for $U(\mathfrak{sl}_2)$. We additionally give the images of $\alpha,\beta,\gamma,\delta,$ and certain Casimir elements of $\Re$ under $\natural$. We also show that the map $\natural$ is an injection and thus provides an embedding of $\Re$ into $\mathbb{F}[a,b,c]\otimes U(\mathfrak{sl}_2)$. We use the injection to show that $\Re$ contains no zero divisors.


title: Learning Blended, Precise Semantic Program Embeddings

abstract: Learning neural program embeddings is key to utilizing deep neural networks in program languages research --- precise and efficient program representations enable the application of deep models to a wide range of program analysis tasks. Existing approaches predominately learn to embed programs from their source code, and, as a result, they do not capture deep, precise program semantics. On the other hand, models learned from runtime information critically depend on the quality of program executions, thus leading to trained models with highly variant quality. This paper tackles these inherent weaknesses of prior approaches by introducing a new deep neural network, \liger, which learns program representations from a mixture of symbolic and concrete execution traces. We have evaluated \liger on \coset, a recently proposed benchmark suite for evaluating neural program embeddings. Results show \liger (1) is significantly more accurate than the state-of-the-art syntax-based models Gated Graph Neural Network and code2vec in classifying program semantics, and (2) requires on average 10x fewer executions covering 74\% fewer paths than the state-of-the-art dynamic model \dypro. Furthermore, we extend \liger to predict the name for a method from its body's vector representation. Learning on the same set of functions (more than 170K in total), \liger significantly outperforms code2seq, the previous state-of-the-art for method name prediction.


title: Identit\'es pond\'er\'ees Peirce-\'evanescentes

abstract: Peirce-evanescent baric identities are polynomial identities verified by baric algebras such that their Peirce polynomials are the null polynomial. In this paper procedures for constructing such homogeneous and non homogeneous identities are given. For this we define an algebraic system structure on the free commutative nonassociative algebra generated by a set T which provides for classes of baric algebras satisfying a given set of identities similar properties to those of the varieties of algebras. Rooted binary trees with labeled leaves are used to explain the Peirce polynomials. It is shown that the mutation algebras satisfy all Peirce-evanescent identities, it results from this that any part of the field K can be the Peirce spectrum of a K- algebra satisfying a Peirce-evanescent identity. We end by giving methods to obtain generators of homogeneous and non-homogeneous Peirce-evanescent identities that are applied in several univariate and multivariate cases.


title: Paralinearization of the Muskat equation and application to the Cauchy problem

abstract: We paralinearize the Muskat equation to extract an explicit parabolic evolution equation having a compact form. This result is applied to give a simple proof of the local well-posedness of the Cauchy problem for rough initial data, in homogeneous Sobolev spaces $\dot{H}^1(\mathbb{R})\cap \dot{H}^s(\mathbb{R})$ with $s>3/2$. This paper is essentially self-contained and does not rely on general results from paradifferential calculus.


title: Asymptotic expantion of covariant symbol on the complex unit sphere

abstract: Starting from a complete family (not defined by the reproducing kernel) for the unit sphere $\mathbf S^n$ in the complex $n$-space $\mathbb C^n$, we obtain an asymptotic expansion for the associated Berezin transform. The proof involves the computation of the asymptotic behaviour of functions in the complete family. Furthermore, we prove an Egorov-type theorem for the covariant symbol related to a pseudo-differential operator on $L^2(\mathbf S^n)$.


title: Integration of Imitation Learning using GAIL and Reinforcement Learning using Task-achievement Rewards via Probabilistic Graphical Model

abstract: Integration of reinforcement learning and imitation learning is an important problem that has been studied for a long time in the field of intelligent robotics. Reinforcement learning optimizes policies to maximize the cumulative reward, whereas imitation learning attempts to extract general knowledge about the trajectories demonstrated by experts, i.e., demonstrators. Because each of them has their own drawbacks, methods combining them and compensating for each set of drawbacks have been explored thus far. However, many of the methods are heuristic and do not have a solid theoretical basis. In this paper, we present a new theory for integrating reinforcement and imitation learning by extending the probabilistic generative model framework for reinforcement learning, {\it plan by inference}. We develop a new probabilistic graphical model for reinforcement learning with multiple types of rewards and a probabilistic graphical model for Markov decision processes with multiple optimality emissions (pMDP-MO). Furthermore, we demonstrate that the integrated learning method of reinforcement learning and imitation learning can be formulated as a probabilistic inference of policies on pMDP-MO by considering the output of the discriminator in generative adversarial imitation learning as an additional optimal emission observation. We adapt the generative adversarial imitation learning and task-achievement reward to our proposed framework, achieving significantly better performance than agents trained with reinforcement learning or imitation learning alone. Experiments demonstrate that our framework successfully integrates imitation and reinforcement learning even when the number of demonstrators is only a few.


title: Acyclic $2$-dimensional complexes and Quillen's conjecture

abstract: Let $G$ be a finite group and $\mathcal{A}_p(G)$ be the poset of nontrivial elementary abelian $p$-subgroups of $G$. Quillen conjectured that $O_p(G)$ is nontrivial if $\mathcal{A}_p(G)$ is contractible. We prove that $O_p(G)\neq 1$ for any group $G$ admitting a $G$-invariant acyclic $p$-subgroup complex of dimension $2$. In particular, it follows that Quillen's conjecture holds for groups of $p$-rank $3$. We also apply this result to establish Quillen's conjecture for some particular groups not considered in the seminal work of Aschbacher--Smith.


title: On Privacy Risks of Public WiFi Captive Portals

abstract: Open access WiFi hotspots are widely deployed in many public places, including restaurants, parks, coffee shops, shopping malls, trains, airports, hotels, and libraries. While these hotspots provide an attractive option to stay connected, they may also track user activities and share user/device information with third-parties, through the use of trackers in their captive portal and landing websites. In this paper, we present a comprehensive privacy analysis of 67 unique public WiFi hotspots located in Montreal, Canada, and shed some light on the web tracking and data collection behaviors of these hotspots. Our study reveals the collection of a significant amount of privacy-sensitive personal data through the use of social login (e.g., Facebook and Google) and registration forms, and many instances of tracking activities, sometimes even before the user accepts the hotspot's privacy and terms of service policies. Most hotspots use persistent third-party tracking cookies within their captive portal site; these cookies can be used to follow the user's browsing behavior long after the user leaves the hotspots, e.g., up to 20 years. Additionally, several hotspots explicitly share (sometimes via HTTP) the collected personal and unique device information with many third-party tracking domains.


title: Key Event Receipt Infrastructure (KERI)

abstract: An identity system based secure overlay for the Internet is presented. This includes a primary root-of-trust in self-certifying identifiers. It presents a formalism for Autonomic Identifiers (AIDs) and Autonomic Namespaces (ANs). They are part of an Autonomic Identity System (AIS). This system uses the design principle of minimally sufficient means to provide a candidate trust spanning layer for the internet. Associated with this system is a decentralized key management infrastructure (DKMI). The primary root-of-trust are self-certifying identifiers that are strongly bound at issuance to a cryptographic signing (public, private) key-pair. These are self-contained until/unless control needs to be transferred to a new key-pair. In that event an append only chained key-event log of signed transfer statements provides end verifiable control provenance. This makes intervening operational infrastructure replaceable because the event logs may be therefore be served up by ambient infrastructure. End verifiable logs on ambient infrastructure enables ambient verifiability (verifiable by anyone, anywhere, at anytime). The primary key management operation is key rotation (transference) via a novel key pre-rotation scheme. Two primary trust modalities motivated the design, these are a direct (one-to-one) mode and an indirect (one-to-any) mode. In the direct mode, the identity controller establishes control via verified signatures of the controlling key-pair. The indirect mode extends that trust basis with witnessed key event receipt logs (KERLs) for validating events. The security and accountability guarantees of indirect mode are provided by KERIs Agreement Algorithm for Control Establishment (KACE) among a set of witnesses.


title: Spectral properties and the accuracy of mean-field approaches for epidemics on correlated networks

abstract: We present a comparison between stochastic simulations and mean-field theories for the epidemic threshold of the susceptible-infected-susceptible (SIS) model on correlated networks (both assortative and disassortative) with power-law degree distribution $P(k)\sim k^{-\gamma}$. We confirm the vanishing of the threshold regardless of the correlation pattern and the degree exponent $\gamma$. Thresholds determined numerically are compared with quenched mean-field (QMF) and pair quenched mean-field (PQMF) theories. Correlations do not change the overall picture: QMF and PQMF provide estimates that are asymptotically correct for large size for $\gamma<5/2$, while they only capture the vanishing of the threshold for $\gamma>5/2$, failing to reproduce quantitatively how this occurs. For a given size, PQMF is more accurate. We relate the variations in the accuracy of QMF and PQMF predictions with changes in the spectral properties (spectral gap and localization) of standard and modified adjacency matrices, which rule the epidemic prevalence near the transition point, depending on the theoretical framework. We also show that, for $\gamma<5/2$, while QMF provides an estimate of the epidemic threshold that is asymptotically exact, it fails to reproduce the singularity of the prevalence around the transition.


title: Linear Size Sparsifier and the Geometry of the Operator Norm Ball

abstract: The Matrix Spencer Conjecture asks whether given $n$ symmetric matrices in $\mathbb{R}^{n \times n}$ with eigenvalues in $[-1,1]$ one can always find signs so that their signed sum has singular values bounded by $O(\sqrt{n})$. The standard approach in discrepancy requires proving that the convex body of all good fractional signings is large enough. However, this question has remained wide open due to the lack of tools to certify measure lower bounds for rather small non-polyhedral convex sets. A seminal result by Batson, Spielman and Srivastava from 2008 shows that any undirected graph admits a linear size spectral sparsifier. Again, one can define a convex body of all good fractional signings. We can indeed prove that this body is close to most of the Gaussian measure. This implies that a discrepancy algorithm by the second author can be used to sample a linear size sparsifer. In contrast to previous methods, we require only a logarithmic number of sampling phases.


title: On computing distances and latencies in Link Streams

abstract: Link Streams were proposed a few years ago as a model of temporal networks. We seek to understand the topological and temporal nature of those objects through efficiently computing the distances, latencies and lengths of shortest fastest paths. We develop different algorithms to compute those values efficiently. Proofs of correctness for those methods are presented as well as bounds on their temporal complexities as functions of link stream parameters. One purpose of this study is to help develop algorithms to compute centrality functions on link streams such as the betweenness centrality and the closeness centrality.


title: Density of Inertial Particles: Exactly Solvable 2D Models

abstract: Inertial particles in 2D driven by a Gaussian white noise forcing are considered. For two examples of the forcing (compressible and incompressible) upper and lower bounds are found for the mean number of caustics as a function of Stokes number. Efficiency of the bounds is verified by numerical methods.


title: An Algorithm to Find Rational Points on Elliptic Curves Related to the Concordant Form Problem

abstract: We derive an efficient algorithm to find solutions to Euler's concordant form problem and rational points on elliptic curves associated with this problem.


title: Analyzing the Cross-Sensor Portability of Neural Network Architectures for LiDAR-based Semantic Labeling

abstract: State-of-the-art approaches for the semantic labeling of LiDAR point clouds heavily rely on the use of deep Convolutional Neural Networks (CNNs). However, transferring network architectures across different LiDAR sensor types represents a significant challenge, especially due to sensor specific design choices with regard to network architecture as well as data representation. In this paper we propose a new CNN architecture for the point-wise semantic labeling of LiDAR data which achieves state-of-the-art results while increasing portability across sensor types. This represents a significant advantage given the fast-paced development of LiDAR hardware technology. We perform a thorough quantitative cross-sensor analysis of semantic labeling performance in comparison to a state-of-the-art reference method. Our evaluation shows that the proposed architecture is indeed highly portable, yielding an improvement of 10 percentage points in the Intersection-over-Union (IoU) score when compared to the reference approach. Further, the results indicate that the proposed network architecture can provide an efficient way for the automated generation of large-scale training data for novel LiDAR sensor types without the need for extensive manual annotation or multi-modal label transfer.


title: Characteristic-free test ideals

abstract: Tight closure test ideals have been central to the classification of singularities in rings of characteristic $p>0$, and via reduction to characteristic $p$, in equal characteristic zero as well. A summary of their properties and applications can be found in "A survey of test ideals" by Karl Schwede and Kevin Tucker. In this paper, we extend the notion of a test ideal to arbitrary closure operations, particularly those coming from big Cohen-Macaulay modules and algebras, and prove that it shares key properties of tight closure test ideals. Our main results show how these test ideals can be used to give a characteristic-free classification of singularities, including a few specific results on the mixed characteristic case. We also compute examples of these test ideals.


title: Safe Approximate Dynamic Programming Via Kernelized Lipschitz Estimation

abstract: We develop a method for obtaining safe initial policies for reinforcement learning via approximate dynamic programming (ADP) techniques for uncertain systems evolving with discrete-time dynamics. We employ kernelized Lipschitz estimation and semidefinite programming for computing admissible initial control policies with provably high probability. Such admissible controllers enable safe initialization and constraint enforcement while providing exponential stability of the equilibrium of the closed-loop system.


title: Fisher information regularization schemes for Wasserstein gradient flows

abstract: We propose a variational scheme for computing Wasserstein gradient flows. The scheme builds upon the Jordan--Kinderlehrer--Otto framework with the Benamou-Brenier's dynamic formulation of the quadratic Wasserstein metric and adds a regularization by the Fisher information. This regularization can be derived in terms of energy splitting and is closely related to the Schr{\"o}dinger bridge problem. It improves the convexity of the variational problem and automatically preserves the non-negativity of the solution. As a result, it allows us to apply sequential quadratic programming to solve the sub-optimization problem. We further save the computational cost by showing that no additional time interpolation is needed in the underlying dynamic formulation of the Wasserstein-2 metric, and therefore, the dimension of the problem is vastly reduced. Several numerical examples, including porous media equation, nonlinear Fokker-Planck equation, aggregation diffusion equation, and Derrida-Lebowitz-Speer-Spohn equation, are provided. These examples demonstrate the simplicity and stableness of the proposed scheme.


title: An Efficient Rate-Splitting Multiple Access Scheme for the Downlink of C-RAN Systems

abstract: This work studies the optimization of rate-splitting multiple access (RSMA) transmission technique for a cloud radio access network (C-RAN) downlink system. Main idea of RSMA is to split the message for each user equipment (UE) to private and common messages and perform superposition coding at transmitters so as to enable flexible decoding at receivers. It is challenging to implement ideal RSMA scheme particularly when there are many UEs, since the number of common signals exponentially increases with the number of UEs. An efficient RSMA scheme is hence proposed that uses a linearly increasing number of common signals whose decoding UEs are selected using hierarchical clustering. Via numerical results, we show the performance gains of the proposed RSMA scheme over conventional space-division multiple access (SDMA) and nonorthogonal multiple access (NOMA) schemes as well as over a conventional RSMA scheme that uses a single common signal.


title: A Unified Optimization Approach for CNN Model Inference on Integrated GPUs

abstract: Modern deep learning applications urge to push the model inference taking place at the edge devices for multiple reasons such as achieving shorter latency, relieving the burden of the network connecting to the cloud, and protecting user privacy. The Convolutional Neural Network (\emph{CNN}) is one of the most widely used model family in the applications. Given the high computational complexity of the CNN models, it is favorable to execute them on the integrated GPUs at the edge devices, which are ubiquitous and have more power and better energy efficiency than the accompanying CPUs. However, programming on integrated GPUs efficiently is challenging due to the variety of their architectures and programming interfaces. This paper proposes an end-to-end solution to execute CNN model inference on the integrated GPUs at the edge, which uses a unified IR to represent and optimize vision-specific operators on integrated GPUs from multiple vendors, as well as leverages machine learning-based scheduling search schemes to optimize computationally-intensive operators like convolution. Our solution even provides a fallback mechanism for operators not suitable or convenient to run on GPUs. The evaluation results suggest that compared to state-of-the-art solutions backed up by the vendor-provided high-performance libraries on Intel Graphics, ARM Mali GPU, and Nvidia integrated Maxwell GPU, our solution achieves similar, or even better (up to 1.62$\times$), performance on a number of popular image classification and object detection models. In addition, our solution has a wider model coverage and is more flexible to embrace new models. Our solution has been adopted in production services in AWS and is open-sourced.


title: Emergent inequality and endogenous dynamics in a simple behavioral macroeconomic model

abstract: Standard macroeconomic models assume that households are rational in the sense that they are perfect utility maximizers, and explain economic dynamics in terms of shocks that drive the economy away from the stead-state. Here we build on a standard macroeconomic model in which a single rational representative household makes a savings decision of how much to consume or invest. In our model households are myopic boundedly rational heterogeneous agents embedded in a social network. From time to time each household updates its savings rate by copying the savings rate of its neighbor with the highest consumption. If the updating time is short, the economy is stuck in a poverty trap, but for longer updating times economic output approaches its optimal value, and we observe a critical transition to an economy with irregular endogenous oscillations in economic output, resembling a business cycle. In this regime households divide into two groups: Poor households with low savings rates and rich households with high savings rates. Thus inequality and economic dynamics both occur spontaneously as a consequence of imperfect household decision making. Our work here supports an alternative program of research that substitutes utility maximization for behaviorally grounded decision making.


title: Fractional Polarisation of Extragalactic Sources in the 500-square-degree SPTpol Survey

abstract: We study the polarisation properties of extragalactic sources at 95 and 150 GHz in the SPTpol 500 deg$^2$ survey. We estimate the polarised power by stacking maps at known source positions, and correct for noise bias by subtracting the mean polarised power at random positions in the maps. We show that the method is unbiased using a set of simulated maps with similar noise properties to the real SPTpol maps. We find a flux-weighted mean-squared polarisation fraction $\langle p^2 \rangle= [8.9\pm1.1] \times 10^{-4}$ at 95 GHz and $[6.9\pm1.1] \times 10^{-4}$ at 150~GHz for the full sample. This is consistent with the values obtained for a sub-sample of active galactic nuclei. For dusty sources, we find 95 per cent upper limits of $\langle p^2 \rangle_{\rm 95}<16.9 \times 10^{-3}$ and $\langle p^2 \rangle_{\rm 150}<2.6 \times 10^{-3}$. We find no evidence that the polarisation fraction depends on the source flux or observing frequency. The 1-$\sigma$ upper limit on measured mean squared polarisation fraction at 150 GHz implies that extragalactic foregrounds will be subdominant to the CMB E and B mode polarisation power spectra out to at least $\ell\lesssim5700$ ($\ell\lesssim4700$) and $\ell\lesssim5300$ ($\ell\lesssim3600$), respectively at 95 (150) GHz.


title: Slim-CNN: A Light-Weight CNN for Face Attribute Prediction

abstract: We introduce a computationally-efficient CNN micro-architecture Slim Module to design a lightweight deep neural network Slim-Net for face attribute prediction. Slim Modules are constructed by assembling depthwise separable convolutions with pointwise convolution to produce a computationally efficient module. The problem of facial attribute prediction is challenging because of the large variations in pose, background, illumination, and dataset imbalance. We stack these Slim Modules to devise a compact CNN which still maintains very high accuracy. Additionally, the neural network has a very low memory footprint which makes it suitable for mobile and embedded applications. Experiments on the CelebA dataset show that Slim-Net achieves an accuracy of 91.24% with at least 25 times fewer parameters than comparably performing methods, which reduces the memory storage requirement of Slim-net by at least 87%.


title: Merger estimates for Kerr-Sen black holes

abstract: The advent of gravitational wave observation starts a new era of precision tests of gravitational theory. Estimations of black holes mergers should come from any well established gravitational theories, provided that the theory has not been ruled out by observations. In this paper we consider the low energy limit of heterotic string theory where the associated rotating and charged black holes are described by the Kerr-Sen solution. We investigate the approximate final spins and quasinormal modes of the black hole resulting from the merger process.


title: Capacity Bounded Differential Privacy

abstract: Differential privacy, a notion of algorithmic stability, is a gold standard for measuring the additional risk an algorithm's output poses to the privacy of a single record in the dataset. Differential privacy is defined as the distance between the output distribution of an algorithm on neighboring datasets that differ in one entry. In this work, we present a novel relaxation of differential privacy, capacity bounded differential privacy, where the adversary that distinguishes output distributions is assumed to be capacity-bounded -- i.e. bounded not in computational power, but in terms of the function class from which their attack algorithm is drawn. We model adversaries in terms of restricted f-divergences between probability distributions, and study properties of the definition and algorithms that satisfy them.