title: Identity Management on Blockchain -- Privacy and Security Aspects

abstract: In the last years, identity management solutions on blockchain were proposed as a possible solution to the digital identity management problem. However, they are still at an early stage and further research needs to be done to conclude whether identity systems could benefit from the use of blockchain or not. Motivated by this, we investigate identity management solutions on blockchain intending to give the reader an overview of the current status and provide a better understanding of the pros and cons of using such solutions. We conduct an analysis on ten of the most known implementations, with a focus on privacy and security aspects. Finally, we identify existing challenges and give new directions for research.


title: Probabilistic Szpiro, Baby Szpiro, and Explicit Szpiro from Mochizuki's Corollary 3.12

abstract: In \cite{Dupuy2020a} we gave some explicit formulas for the "indeterminacies" Ind1,Ind2,Ind3 in Mochizuki's Inequality as well as a new presentation of initial theta data. In the present paper we use these explicit formulas, together with our probabilistic formulation of \cite[Corollary 3.12]{IUT3} to derive variants of Szpiro's inequality (in the spirit of \cite{IUT4}). In particular, for an elliptic curve in initial theta data we show how to derive uniform Szpiro (with explicit numerical constants). The inequalities we get will be strictly weaker than \cite[Theorem 1.10]{IUT4} but the proofs are more transparent, modifiable, and user friendly. All of these inequalities are derived from an probabilistic version of \cite[Corollary 3.12]{IUT3} formulated in \cite{Dupuy2020a} based on the notion of random measurable sets.


title: Nippy proofs of p-adic results of Delon and Yao

abstract: Let $K$ be an elementary extension of $\mathbb{Q}_p$, $V$ be the set of finite $a \in K$, $\mathrm{st}$ be the standard part map $K^m \to \mathbb{Q}^m_p$, and $X \subseteq K^m$ be $K$-definable. Delon has shown that $\mathbb{Q}^m_p \cap X$ is $\mathbb{Q}_p$-definable. Yao has shown that $\dim \mathbb{Q}^m_p \cap X \leq \dim X$ and $\dim \mathrm{st}(V^n \cap X) \leq \dim X$. We give new $\mathrm{NIP}$-theoretic proofs of these results and show that both inequalities hold in much more general settings. We also prove the analogous results for the expansion $\mathbb{Q}^{\mathrm{an}}_p$ of $\mathbb{Q}_p$ by all analytic functions $\mathbb{Z}^n_p \to \mathbb{Q}_p$. As an application we show that if $(X_k)_{k \in \mathbb{N}}$ is a sequence of elements of an $\mathbb{Q}^{\mathrm{an}}_p$-definable family of subsets of $\mathbb{Q}^m_p$ which converges in the Hausdroff topology to $X \subseteq \mathbb{Q}^m_p$ then $X$ is $\mathbb{Q}^{\mathrm{an}}_p$-definable and $\dim X \leq \limsup_{k \to \infty} \dim X_k$.


title: Non-supersymmetric branes

abstract: We discuss how to incorporate non-supersymmetric branes in compactifications of type II string theories. We particularly focus on flux compactifications on $SU(3)\times SU(3)$ structure manifolds to four dimensions, so that a linear $\mathcal{N}=1$ supersymmetry is spontaneously broken by spacetime filling Dp-branes. Anti-Dp-branes are a very special subset of such branes but our analysis is generic. We show that the backreaction of non-supersymmetric branes can be incorporated into the standard 4d $\mathcal{N}=1$ supergravity by including a nilpotent chiral multiplet. Supersymmetry in such setups is always spontaneously broken and non-linearly realized. In particular this means that, contrary to what was previously thought, brane supersymmetry breaking cannot be simply described by a D-term in 4d $\mathcal{N}=1$ supergravity theories.


title: Emergent Geometries from the BMN Matrix Model

abstract: We review recent results of emergent geometries in the BMN matrix model, a one-dimensional gauge theory considered as a non-perturbative formulation of M-theory on the plane-wave geometry. A key to understand the emergent geometries is the eigenvalue distribution of a BPS operator. Gauge-theory calculation shows that the BPS operator reproduces the corresponding supergravity solutions in the gauge/gravity duality and also brane geometries in the M-brane picture. At finite temperatures, these geometries should be realised in a non-trivial way. Monte Carlo simulations of this gauge theory revealed two types of phase transitions: the confinement/deconfinement transition and the Myers transition, which provide insights into the emergence of the geometries. Especially, the numerical results qualitatively agree with the critical temperature of the confinement/deconfinement transition predicted on the gravity side.


title: Enhancements to the DIDO Optimal Control Toolbox

abstract: In 2020, DIDO$^\copyright$ turned 20! The software package emerged in 2001 as a basic, user-friendly MATLAB$^\circledR$ teaching-tool to illustrate the various nuances of Pontryagin's Principle but quickly rose to prominence in 2007 after NASA announced it had executed a globally optimal maneuver using DIDO. Since then, the toolbox has grown in applications well beyond its aerospace roots: from solving problems in quantum control to ushering rapid, nonlinear sensitivity-analysis in designing high-performance automobiles. Most recently, it has been used to solve continuous-time traveling-salesman problems. Over the last two decades, DIDO's algorithms have evolved from their simple use of generic nonlinear programming solvers to a multifaceted engagement of fast spectral Hamiltonian programming techniques. A description of the internal enhancements to DIDO that define its mathematics and algorithms are described in this paper. A challenge example problem from robotics is included to showcase how the latest version of DIDO is capable of escaping the trappings of a ``local minimum'' that ensnare many other trajectory optimization methods.


title: The CaFe Project: Optical Fe II and Near-Infrared Ca II triplet emission in active galaxies -- simulated EWs, the co-dependence of cloud sizes and metal content

abstract: Modelling the low ionization lines (LIL) in active galactic nuclei still faces problems in explaining the observed equivalent widths (EWs). We examine the optical Fe II and near-infrared Ca II triplet (CaT) emission strengths using the photoionization code CLOUDY. Using an incident continuum for I Zw 1 - a prototypical Type-1 narrow-line Seyfert galaxy, we can recover the line ratios for the optical Fe II (i.e. R$_{\rm{Fe II}}$) and the NIR CaT (i.e. R$_{\rm{CaT}}$) in agreement to the observed estimates. Although, the pairs of (U,$\rm{n_{H}}$) that reproduce the conforming line ratios, unfortunately, do not relate to agreeable line EWs. We thus propose that the LIL region of the BLR cloud doesn't see the same continuum seen by a distant observer that is emanated from the accretion disk, rather it sees a filtered version of the original continuum. The assumption of the filtered continuum as the source of BLR irradiation recovers realistic EWs for LIL species. However, our study finds that to account for the adequate R$_{\rm{Fe II}}$ (Fe II/H$\beta$ flux ratio) emission, the BLR needs to be selectively overabundant in iron. On the other hand, the R$_{\rm{CaT}}$ (CaT/H$\beta$ flux ratio) emission spans a broader range from solar to super-solar metallicities. In all these models the BLR cloud density is found to be consistent with our conclusions from prior works, i.e. $\rm{n_{H}} \sim 10^{12}$ cm$^{-3}$. An interesting result obtained here is the reduction in the value of the metallicity by up to a factor 10 for the R$_{\rm{Fe II}}$ cases when the microturbulence is invoked, suggesting that microturbulence can act as an apparent metallicity controller for the Fe II. On the contrary, the R$_{\rm{CaT}}$ cases are rather unaffected by the effect of microturbulence.


title: Coverage Improvement of Wireless Sensor Networks via Spatial Profile Information

abstract: This paper considers a wireless sensor network deployed to sense an environment variable with a known spatial statistical profile. We propose to use the additional information of the spatial profile to improve the sensing range of sensors while allowing some tolerance in their sensing accuracy. We show that the use of this information improves the sensing performance of the total WSN. For this, we first derive analytical expressions for various performance metrics to measure the improvement in the sensing performance of WSN. We then discuss the sensing gains quantitatively using numerical results.


title: Obscure: Information-Theoretically Secure, Oblivious, and Verifiable Aggregation Queries on Secret-Shared Outsourced Data -- Full Version

abstract: Despite exciting progress on cryptography, secure and efficient query processing over outsourced data remains an open challenge. We develop a communication-efficient and information-theoretically secure system, entitled Obscure for aggregation queries with conjunctive or disjunctive predicates, using secret-sharing. Obscure is strongly secure (i.e., secure regardless of the computational-capabilities of an adversary) and prevents the network, as well as, the (adversarial) servers to learn the user's queries, results, or the database. In addition, Obscure provides additional security features, such as hiding access-patterns (i.e., hiding the identity of the tuple satisfying a query) and hiding query-patterns (i.e., hiding which two queries are identical). Also, Obscure does not require any communication between any two servers that store the secret-shared data before/during/after the query execution. Moreover, our techniques deal with the secret-shared data that is outsourced by a single or multiple database owners, as well as, allows a user, which may not be the database owner, to execute the query over secret-shared data. We further develop (non-mandatory) privacy-preserving result verification algorithms that detect malicious behaviors, and experimentally validate the efficiency of Obscure on large datasets, the size of which prior approaches of secret-sharing or multi-party computation systems have not scaled to.


title: Lagrangian geometry of matroids

abstract: We introduce the conormal fan of a matroid M, which is a Lagrangian analog of the Bergman fan of M. We use the conormal fan to give a Lagrangian interpretation of the Chern-Schwartz-MacPherson cycle of M. This allows us to express the h-vector of the broken circuit complex of M in terms of the intersection theory of the conormal fan of M. We also develop general tools for tropical Hodge theory to prove that the conormal fan satisfies Poincar\'e duality, the hard Lefschetz theorem, and the Hodge-Riemann relations. The Lagrangian interpretation of the Chern-Schwartz-MacPherson cycle of M, when combined with the Hodge-Riemann relations for the conormal fan of M, implies Brylawski's and Dawson's conjectures that the h-vectors of the broken circuit complex and the independence complex of M are log-concave sequences.


title: Conversational Question Answering over Passages by Leveraging Word Proximity Networks

abstract: Question answering (QA) over text passages is a problem of long-standing interest in information retrieval. Recently, the conversational setting has attracted attention, where a user asks a sequence of questions to satisfy her information needs around a topic. While this setup is a natural one and similar to humans conversing with each other, it introduces two key research challenges: understanding the context left implicit by the user in follow-up questions, and dealing with ad hoc question formulations. In this work, we demonstrate CROWN (Conversational passage ranking by Reasoning Over Word Networks): an unsupervised yet effective system for conversational QA with passage responses, that supports several modes of context propagation over multiple turns. To this end, CROWN first builds a word proximity network (WPN) from large corpora to store statistically significant term co-occurrences. At answering time, passages are ranked by a combination of their similarity to the question, and coherence of query terms within: these factors are measured by reading off node and edge weights from the WPN. CROWN provides an interface that is both intuitive for end-users, and insightful for experts for reconfiguration to individual setups. CROWN was evaluated on TREC CAsT data, where it achieved above-median performance in a pool of neural methods.


title: Using reference models in variable selection

abstract: Variable selection, or more generally, model reduction is an important aspect of the statistical workflow aiming to provide insights from data. In this paper, we discuss and demonstrate the benefits of using a reference model in variable selection. A reference model acts as a noise-filter on the target variable by modeling its data generating mechanism. As a result, using the reference model predictions in the model selection procedure reduces the variability and improves stability leading to improved model selection performance. Assuming that a Bayesian reference model describes the true distribution of future data well, the theoretically preferred usage of the reference model is to project its predictive distribution to a reduced model leading to projection predictive variable selection approach. Alternatively, reference models may also be used in an ad-hoc manner in combination with common variable selection methods. In several numerical experiments, we investigate the performance of the projective prediction approach as well as alternative variable selection methods with and without reference models. Our results indicate that the use of reference models generally translates into better and more stable variable selection. Additionally, we demonstrate that the projection predictive approach shows superior performance as compared to alternative variable selection methods independently of whether or not they use reference models.


title: PARCE: Protocol for Amino acid Refinement through Computational Evolution

abstract: The in silico design of peptides and proteins as binders is useful for diagnosis and therapeutics due to their low adverse effects and major specificity. To select the most promising candidates, a key matter is to understand their interactions with protein targets. In this work, we present PARCE, an open source Protocol for Amino acid Refinement through Computational Evolution that implements an advanced and promising method for the design of peptides and proteins. The protocol performs a random mutation in the binder sequence, then samples the bound conformations using molecular dynamics simulations, and evaluates the protein-protein interactions from multiple scoring. Finally, it accepts or rejects the mutation by applying a consensus criterion based on binding scores. The procedure is iterated with the aim to explore efficiently novel sequences with potential better affinities toward their targets. We also provide a tutorial for running and reproducing the methodology.


title: The overdoped end of the cuprate phase diagram

abstract: Studying the disappearance of superconductivity at the end of the overdoped region of the cuprate phase diagram offers a different approach for investigating the interaction which is responsible for pairing in these materials. In the underdoped region this question is complicated by the presence of charge and stripe ordered phases as well as the pseudogap. In the overdoped region the situation appears simpler with only a normal phase, a superconducting phase and impurity scattering. Here, for the overdoped region, we report the results of a combined dynamic cluster approximation (DCA) and a weak Born impurity scattering calculation for a $t-t'-U$ Hubbard model. We find that a decrease in the $d$-wave pairing strength of the two-particle scattering vertex is closely coupled to changes in the momentum and frequency structure of the magnetic spin fluctuations as the system is overdoped. Treating the impurity scattering within a disordered BCS $d$-wave approximation, we see how the combined effects of the decreasing $d$-wave pairing strength and weak impurity scattering lead to the end of the $T_c$ dome.


title: A Scalable Feature Selection and Opinion Miner Using Whale Optimization Algorithm

abstract: Due to the fast-growing volume of text documents and reviews in recent years, current analyzing techniques are not competent enough to meet the users' needs. Using feature selection techniques not only support to understand data better but also lead to higher speed and also accuracy. In this article, the Whale Optimization algorithm is considered and applied to the search for the optimum subset of features. As known, F-measure is a metric based on precision and recall that is very popular in comparing classifiers. For the evaluation and comparison of the experimental results, PART, random tree, random forest, and RBF network classification algorithms have been applied to the different number of features. Experimental results show that the random forest has the best accuracy on 500 features. Keywords: Feature selection, Whale Optimization algorithm, Selecting optimal, Classification algorithm


title: Development of a Machine-Learning System to Classify Lung CT Scan Images into Normal/COVID-19 Class

abstract: Recently, the lung infection due to Coronavirus Disease (COVID-19) affected a large human group worldwide and the assessment of the infection rate in the lung is essential for treatment planning. This research aims to propose a Machine-Learning-System (MLS) to detect the COVID-19 infection using the CT scan Slices (CTS). This MLS implements a sequence of methods, such as multi-thresholding, image separation using threshold filter, feature-extraction, feature-selection, feature-fusion and classification. The initial part implements the Chaotic-Bat-Algorithm and Kapur's Entropy (CBA+KE) thresholding to enhance the CTS. The threshold filter separates the image into two segments based on a chosen threshold 'Th'. The texture features of these images are extracted, refined and selected using the chosen procedures. Finally, a two-class classifier system is implemented to categorize the chosen CTS (n=500 with a pixel dimension of 512x512x1) into normal/COVID-19 group. In this work, the classifiers, such as Naive Bayes (NB), k-Nearest Neighbors (KNN), Decision Tree (DT), Random Forest (RF) and Support Vector Machine with linear kernel (SVM) are implemented and the classification task is performed using various feature vectors. The experimental outcome of the SVM with Fused-Feature-Vector (FFV) helped to attain a detection accuracy of 89.80%.


title: Power-law Genesis: strong coupling and galileon-like vector fields

abstract: A simple way to construct models with early cosmological Genesis epoch is to employ bosonic fields whose Lagrangians transform homogeneously under scaling transformation. We show that in these theories, for a range of parameters defining the Lagrangian, there exists a homogeneous power-law solution in flat space-time, whose energy density vanishes, while pressure is negative (power-law Genesis). We find the condition for the legitimacy of the classical field theory description of such a situation. We note that this condition does not hold for our earlier Genesis model with vector field. We construct another model with vector field and power-law background solution in flat space-time, which is legitimately treated within classical field theory, violates the NEC and is stable. Upon turning on gravity, this model describes the early Genesis stage.


title: GipsyX/RTGx, A New Tool Set for Space Geodetic Operations and Research

abstract: GipsyX/RTGx is the Jet Propulsion Laboratory's (JPL) next generation software package for positioning, navigation, timing, and Earth science using measurements from three geodetic techniques: Global Navigation Satellite Systems (GNSS), Satellite Laser Ranging (SLR), and Doppler Orbitography and Radiopositioning Integrated by Satellite (DORIS); with Very Long Baseline Interferometry (VLBI) under development. The software facilitates combined estimation of geodetic and geophysical parameters using a Kalman filter approach on real or simulated data in both post-processing and in real-time. The estimated parameters include station coordinates and velocities, satellite orbits and clocks, Earth orientation, ionospheric and tropospheric delays. The software is also capable of full realization of a dynamic terrestrial reference through analysis and combination of time series of ground station coordinates. We present some key aspects of its new architecture, and describe some of its major applications, including Real-time orbit determination and ephemeris predictions in the U.S. Air Force Next Generation GPS Operational Control Segment (OCX), as well as in JPL's Global Differential GPS (GDGPS) System, supporting User Range Error (URE) of $<$ 5 cm RMS; precision post-processing GNSS orbit determination, including JPL's contributions to the International GNSS Service (IGS) with URE in the 2 cm RMS range; Precise point positioning (PPP) with ambiguity resolution, both statically and kinematically, for geodetic applications with 2 mm horizontal, and 6.5 mm vertical repeatability for static positioning; Operational orbit and clock determination for Low Earth Orbiting (LEO) satellites, such as NASA's Gravity Recovery and Climate Experiment (GRACE) mission with GRACE relative clock alignment at the 20 ps level.


title: The GLEAM 4-Jy (G4Jy) Sample: I. Definition and the catalogue

abstract: The Murchison Widefield Array (MWA) has observed the entire southern sky (Declination, $\delta <$ 30 deg) at low radio-frequencies, over the range 72-231 MHz. These observations constitute the GaLactic and Extragalactic All-sky MWA (GLEAM) Survey, and we use the extragalactic catalogue (Galactic latitude, $|b| >$ 10 deg) to define the GLEAM 4-Jy (G4Jy) Sample. This is a complete sample of the 'brightest' radio-sources ($S_{\mathrm{151MHz}} >$ 4 Jy), the majority of which are active galactic nuclei with powerful radio-jets. Crucially, low-frequency observations allow the selection of such sources in an orientation-independent way (i.e. minimising the bias caused by Doppler boosting, inherent in high-frequency surveys). We then use higher-resolution radio images, and information at other wavelengths, to morphologically classify the brightest components in GLEAM. We also conduct cross-checks against the literature, and perform internal matching, in order to improve sample completeness (which is estimated to be $>$ 95.5%). This results in a catalogue of 1,863 sources, making the G4Jy Sample over 10 times larger than that of the revised Third Cambridge Catalogue of Radio Sources (3CRR; $S_{\mathrm{178MHz}} >$ 10.9 Jy). Of these G4Jy sources, 78 are resolved by the MWA (Phase-I) synthesised beam ($\sim$2 arcmin at 200 MHz), and we label 67% of the sample as 'single', 26% as 'double', 4% as 'triple', and 3% as having 'complex' morphology at $\sim$1 GHz (45-arcsec resolution). Alongside this, our value-added catalogue provides mid-infrared source associations (subject to 6-arcsec resolution at 3.4 micron) for the radio emission, as identified through visual inspection and thorough checks against the literature. As such, the G4Jy Sample can be used as a reliable training set for cross-identification via machine-learning algorithms. [Abstract abridged for arXiv submission.]


title: Maker-Breaker domination number for Cartesian products of path graphs $P_2$ and $P_n$

abstract: We study the Maker-Breaker domination game played by Dominator and Staller on the vertex set of a given graph. Dominator wins when the vertices he has claimed form a dominating set of the graph. Staller wins if she makes it impossible for Dominator to win, or equivalently, she is able to claim some vertex and all its neighbours. Maker-Breaker domination number $\gamma_{MB}(G)$ ($\gamma '_{MB}(G)$) of a graph $G$ is defined to be the minimum number of moves for Dominator to guarantee his winning when he plays first (second). We investigate these two invariants for the Cartesian product of any two graphs. We obtain upper bounds for the Maker-Breaker domination number of the Cartesian product of two arbitrary graphs. Also, we give upper bounds for the Maker-Breaker domination number of the Cartesian product of the complete graph with two vertices and an arbitrary graph. Most importantly, we prove that $\gamma'_{MB}(P_2\square P_n)=n$ for $n\geq 1$, $\gamma_{MB}(P_2\square P_n)$ equals $n$, $n-1$, $n-2$, for $1\leq n\leq 4$, $5\leq n\leq 12$, and $n\geq 13$, respectively. For the disjoint union of $P_2\square P_n$s, we show that $\gamma_{MB}'(\dot\cup_{i=1}^k(P_2\square P_n)_i)=k\cdot n$ ($n\geq 1$), and that $\gamma_{MB}(\dot\cup_{i=1}^k(P_2\square P_n)_i)$ equals $k\cdot n$, $k\cdot n-1$, $k\cdot n-2$ for $1\leq n\leq 4$, $5\leq n\leq 12$, and $n\geq 13$, respectively.


title: Constraints on the anomalous $Wtb$ couplings from $B$-physics experiments

abstract: We analyze constraints on the anomalous $Wtb$ couplings from $B$-physics experiments, performing a correlated analysis and allowing all anomalous couplings to differ simultaneously from their Standard-Model (SM) values. The $B$-physics observables allow one to probe three linear combinations out of the four anomalous couplings, which parameterize the $Wtb$ vertex under the assumption that the SM symmetries remain the symmetries of the effective theory. The constraints in this work are obtained by taking into account the following $B$-physics observables: the $\bar B^0-B^0$ oscillations, the leptonic $B\to \mu^+\mu^-$ decays, the inclusive radiative $B\to X_s\gamma$ decays, and the differential branching fractions in the semileptonic inclusive $B\to X_s \mu^+ \mu^-$ and exclusive $B\to (K,K^*)\mu^+\mu^-$ decays at small $q^2$, $q$ the momentum of the $\mu^+\mu^-$ pair. We find that the SM values of the anomalous couplings belong to the 95\% CL allowed region obtained this way but lie beyond the 68\% allowed region. We also report that the distributions of the anomalous couplings obtained within our scenario differ from the results of the 1D scenario, when only one of the couplings is allowed to deviate from its SM value.


title: Multi-level neural networks for PDEs with uncertain parameters

abstract: A novel multi-level method for partial differential equations with uncertain parameters is proposed. The principle behind the method is that the error between grid levels in multi-level methods has a spatial structure that is by good approximation independent of the actual grid level. Our method learns this structure by employing a sequence of convolutional neural networks, that are well-suited to automatically detect local error features as latent quantities of the solution. Furthermore, by using the concept of transfer learning, the information of coarse grid levels is reused on fine grid levels in order to minimize the required number of samples on fine levels. The method outperforms state-of-the-art multi-level methods, especially in the case when complex PDEs (such as single-phase and free-surface flow problems) are concerned, or when high accuracy is required.


title: A fractional Michael-Simon Sobolev inequality on convex hypersurfaces

abstract: The classical Michael-Simon and Allard inequality is a Sobolev inequality for functions defined on a submanifold of Euclidean space. It is governed by a universal constant independent of the manifold, but displays on the right-hand side an additional $L^p$ term weighted by the mean curvature of the underlying manifold. We prove here a fractional version of this inequality on hypersurfaces of Euclidean space that are boundaries of convex sets. It involves the Gagliardo semi-norm of the function, as well as its $L^p$ norm weighted by the fractional mean curvature of the hypersurface. As an application, we establish a new upper bound for the maximal time of existence in the smooth fractional mean curvature flow of a convex set. The bound depends on the perimeter of the initial set instead of on its diameter.


title: A formally exact master equation for open quantum systems

abstract: We present a succinct and intuitive derivation of a formally exact master equation for general open quantum systems, without the use of an "inverse" map which was invoked in previous works on formally exact master equations. This formalism is applicable to non-Markovian regimes. We derive a second-order equation of motion for the illustrative spin-boson model at arbitrary temperatures, observing non-exponential decoherence and relaxation. Limiting our generic derivation to zero temperature, we also reproduce the result for the special case of a vacuum bath in Phys. Rev. A 81, 042103 (2010).


title: Effects of Assortativity on Consensus Formation with Heterogeneous Agents

abstract: Despite the widespread use of Barabasi's scale-free networks and Erdos-Renyi networks of which degree correlation (assortativity) is neutral, numerous studies demonstrated that online social networks tend to show assortative mixing (positive degree correlation), while non-social networks show a disassortative mixing (negative degree correlation). First, we analyzed the variability in the assortativity coefficients of different groups of the same platform by using three different subreddits in Reddit. Our data analysis results showed that Reddit is disassortative, and assortativity coefficients of the aforementioned subreddits are computed as -0.0384, -0.0588 and -0.1107, respectively. Motivated by the variability in the results even in the same platform, we decided to investigate the sensitivity of dynamics of consensus formation to the assortativity of the network. We concluded that the system is more likely to reach a consensus when the network is disassortatively mixed or neutral; however, the likelihood of the consensus significantly decreases when the network is assortatively mixed. Surprisingly, the time elapsed until all nodes fix their opinions is slightly lower when the network is neutral compared to either assortative or disassortative networks. These results are more pronounced when the thresholds of agents are more heterogeneously distributed.


title: Optical Materials for Maximal Nanophotonic Response

abstract: This article reviews the material properties that enable maximum optical response. We highlight theoretical results that enable shape-independent quantification of material "figures of merit," ranging from classical sum rules to more recent single-frequency scattering bounds. A key delineation at optical frequencies is between polaritonic materials that support highly subwavelength resonances and dielectric materials that can have vanishingly small loss rates. We discuss the key metrics that enable comparisons both within these material classes and between them. We discuss analogous metrics for 2D materials, and point to applications for which rigorous comparison can be made between bulk- and 2D-material approaches. The various results highlight the synergy between materials discovery and theoretical nanophotonic bounds, and point to opportunities in achieving new extremes in light--matter interactions.


title: Deep Reinforcement Learning Based Spectrum Allocation in Integrated Access and Backhaul Networks

abstract: We develop a framework based on deep reinforce-ment learning (DRL) to solve the spectrum allocation problem inthe emerging integrated access and backhaul (IAB) architecturewith large scale deployment and dynamic environment. The avail-able spectrum is divided into several orthogonal sub-channels,and the donor base station (DBS) and all IAB nodes have thesame spectrum resource for allocation, where a DBS utilizes thosesub-channels for access links of associated user equipment (UE)as well as for backhaul links of associated IAB nodes, and anIAB node can utilize all for its associated UEs. This is one ofkey features in which 5G differs from traditional settings wherethe backhaul networks were designed independently from theaccess networks. With the goal of maximizing the sum log-rateof all UE groups, we formulate the spectrum allocation probleminto a mix-integer and non-linear programming. However, itis intractable to find an optimal solution especially when theIAB network is large and time-varying. To tackle this problem,we propose to use the latest DRL method by integrating anactor-critic spectrum allocation (ACSA) scheme and deep neuralnetwork (DNN) to achieve real-time spectrum allocation indifferent scenarios. The proposed methods are evaluated throughnumerical simulations and show promising results compared withsome baseline allocation policies.


title: Nematicity and superconductivity: Competition versus cooperation

abstract: Electronic nematic behavior has been identified and studied in iron-based superconductors for some time, particularly in the well-known BaFe$_2$As$_2$ system, where it is well-known to compete with superconductivity. On the other hand, it has been shown recently that FeSe displays a negligible effect of nematicity on superconductivity near the superconducting transition, and actual cooperation between the two orders when the system is doped with S. Recently it has also been proposed that LiFeAs undergoes a nematic transition in the superconducting state itself. Generally, we expect superconductivity to be anisotropic when it coexists with nematic order, but it is not clear under what circumstances the two orders compete or cooperate, nor how the anisotropy of the superconducting state correlates with that in the nematic state. To address this, we study a simple mean field model of a $d$-wave Pomeranchuk instability together with a mixed $s,d$ pairing interaction, and identify when nematicity is enhanced or suppressed by superconductivity. We show that the competition or cooperation depends significantly on the distortion of the Fermi surface due to nematicity relative to the anisotropy of the superconducting gap function. Further, we discuss the implications of our results for FeSe and LiFeAs.


title: Local Lipschitz Bounds of Deep Neural Networks

abstract: The Lipschitz constant is an important quantity that arises in analysing the convergence of gradient-based optimization methods. It is generally unclear how to estimate the Lipschitz constant of a complex model. Thus, this paper studies an important problem that may be useful to the broader area of non-convex optimization. The main result provides a local upper bound on the Lipschitz constants of a multi-layer feed-forward neural network and its gradient. Moreover, lower bounds are established as well, which are used to show that it is impossible to derive global upper bounds for the Lipschitz constants. In contrast to previous works, we compute the Lipschitz constants with respect to the network parameters and not with respect to the inputs. These constants are needed for the theoretical description of many step size schedulers of gradient based optimization schemes and their convergence analysis. The idea is both simple and effective. The results are extended to a generalization of neural networks, continuously deep neural networks, which are described by controlled ODEs.


title: The Effect of the Multi-Layer Text Summarization Model on the Efficiency and Relevancy of the Vector Space-based Information Retrieval

abstract: The massive upload of text on the internet creates a huge inverted index in information retrieval systems, which hurts their efficiency. The purpose of this research is to measure the effect of the Multi-Layer Similarity model of the automatic text summarization on building an informative and condensed invert index in the IR systems. To achieve this purpose, we summarized a considerable number of documents using the Multi-Layer Similarity model, and we built the inverted index from the automatic summaries that were generated from this model. A series of experiments were held to test the performance in terms of efficiency and relevancy. The experiments include comparisons with three existing text summarization models; the Jaccard Coefficient Model, the Vector Space Model, and the Latent Semantic Analysis model. The experiments examined three groups of queries with manual and automatic relevancy assessment. The positive effect of the Multi-Layer Similarity in the efficiency of the IR system was clear without noticeable loss in the relevancy results. However, the evaluation showed that the traditional statistical models without semantic investigation failed to improve the information retrieval efficiency. Comparing with the previous publications that addressed the use of summaries as a source of the index, the relevancy assessment of our work was higher, and the Multi-Layer Similarity retrieval constructed an inverted index that was 58% smaller than the main corpus inverted index.


title: Convergence and quasi-optimal cost of adaptive algorithms for nonlinear operators including iterative linearization and algebraic solver

abstract: We consider a second-order elliptic boundary value problem with strongly monotone and Lipschitz-continuous nonlinearity. We design and study its adaptive numerical approximation interconnecting a finite element discretization, the Banach-Picard linearization, and a contractive linear algebraic solver. We in particular identify stopping criteria for the algebraic solver that on the one hand do not request an overly tight tolerance but on the other hand are sufficient for the inexact (perturbed) Banach-Picard linearization to remain contractive. Similarly, we identify suitable stopping criteria for the Banach-Picard iteration that leave an amount of linearization error that is not harmful for the residual a-posteriori error estimate to steer reliably the adaptive mesh-refinement. For the resulting algorithm, we prove a contraction of the (doubly) inexact iterates after some amount of steps of mesh-refinement / linerization / algebraic solver, leading to its linear convergence. Moreover, for usual mesh-refinement rules, we also prove that the overall error decays at the optimal rate with respect to the number of elements (degrees of freedom) added with respect to the initial mesh. Finally, we prove that our fully adaptive algorithm drives the overall error down with the same optimal rate also with respect to the overall algorithmic cost expressed as the cumulated sum of the number of mesh elements over all mesh-refinement, linearization, and algebraic solver steps. Numerical experiments support these theoretical findings and illustrate the optimal overall algorithmic cost of the fully adaptive algorithm on several test cases.


title: Investigating the Effectiveness of Representations Based on Pretrained Transformer-based Language Models in Active Learning for Labelling Text Datasets

abstract: Active learning has been shown to be an effective way to alleviate some of the effort required in utilising large collections of unlabelled data for machine learning tasks without needing to fully label them. The representation mechanism used to represent text documents when performing active learning, however, has a significant influence on how effective the process will be. While simple vector representations such as bag-of-words and embedding-based representations based on techniques such as word2vec have been shown to be an effective way to represent documents during active learning, the emergence of representation mechanisms based on the pre-trained transformer-based neural network models popular in natural language processing research (e.g. BERT) offer a promising, and as yet not fully explored, alternative. This paper describes a comprehensive evaluation of the effectiveness of representations based on pre-trained transformer-based language models for active learning. This evaluation shows that transformer-based models, especially BERT-like models, that have not yet been widely used in active learning, achieve a significant improvement over more commonly used vector representations like bag-of-words or other classical word embeddings like word2vec. This paper also investigates the effectiveness of representations based on variants of BERT such as Roberta, Albert as well as comparing the effectiveness of the [CLS] token representation and the aggregated representation that can be generated using BERT-like models. Finally, we propose an approach Adaptive Tuning Active Learning. Our experiments show that the limited label information acquired in active learning can not only be used for training a classifier but can also adaptively improve the embeddings generated by the BERT-like language models as well.


title: A Generic Network Compression Framework for Sequential Recommender Systems

abstract: Sequential recommender systems (SRS) have become the key technology in capturing user's dynamic interests and generating high-quality recommendations. Current state-of-the-art sequential recommender models are typically based on a sandwich-structured deep neural network, where one or more middle (hidden) layers are placed between the input embedding layer and output softmax layer. In general, these models require a large number of parameters (such as using a large embedding dimension or a deep network architecture) to obtain their optimal performance. Despite the effectiveness, at some point, further increasing model size may be harder for model deployment in resource-constraint devices, resulting in longer responding time and larger memory footprint. To resolve the issues, we propose a compressed sequential recommendation framework, termed as CpRec, where two generic model shrinking techniques are employed. Specifically, we first propose a block-wise adaptive decomposition to approximate the input and softmax matrices by exploiting the fact that items in SRS obey a long-tailed distribution. To reduce the parameters of the middle layers, we introduce three layer-wise parameter sharing schemes. We instantiate CpRec using deep convolutional neural network with dilated kernels given consideration to both recommendation accuracy and efficiency. By the extensive ablation studies, we demonstrate that the proposed CpRec can achieve up to 4$\sim$8 times compression rates in real-world SRS datasets. Meanwhile, CpRec is faster during training\inference, and in most cases outperforms its uncompressed counterpart.


title: Duality Invariance and Higher Derivatives

abstract: We dimensionally reduce the spacetime action of bosonic string theory, and that of the bosonic sector of heterotic string theory after truncating the Yang-Mills gauge fields, on a $d$-dimensional torus including all higher-derivative corrections to first order in $\alpha'$. A systematic procedure is developed that brings this action into a minimal form in which all fields except the metric carry only first order derivatives. This action is shown to be invariant under ${\rm O}(d,d,\mathbb{R})$ transformations that acquire $\alpha'$-corrections through a Green-Schwarz type mechanism. We prove that, up to a global pre-factor, the first order $\alpha'$-corrections are uniquely determined by ${\rm O}(d,d,\mathbb{R})$ invariance.


title: Nonlinear semigroups for delay equations in Hilbert spaces, inertial manifolds and dimension estimates

abstract: We study the well-posedness of nonautonomous nonlinear delay equations in $\mathbb{R}^{n}$ as evolutionary equations in a proper Hilbert space. We present a construction of solving operators (nonautonomous case) or nonlinear semigroups (autonomous case) for a large class of such equations. The main idea can be easily extended for certain PDEs with delay. Our approach has lesser limitations and much more elementary than some previously known constructions of such semigroups and solving operators based on the theory of accretive operators. In the autonomous case we also study differentiability properties of these semigroups in order to apply various dimension estimates using the Hilbert space geometry. However, obtaining effective dimension estimates for delay equations is a nontrivial problem and we explain it by means of a scalar delay equation. We also discuss our adjacent results concerned with inertial manifolds and their construction for delay equations.


title: Quantifying Latent Moral Foundations in Twitter Narratives: The Case of the Syrian White Helmets Misinformation

abstract: For years, many studies employed sentiment analysis to understand the reasoning behind people's choices and feelings, their communication styles, and the communities which they belong to. We argue that gaining more in-depth insight into moral dimensions coupled with sentiment analysis can potentially provide superior results. Understanding moral foundations can yield powerful results in terms of perceiving the intended meaning of the text data, as the concept of morality provides additional information on the unobservable characteristics of information processing and non-conscious cognitive processes. Therefore, we studied latent moral loadings of Syrian White Helmets-related tweets of Twitter users from April 1st, 2018 to April 30th, 2019. For the operationalization and quantification of moral rhetoric in tweets, we use Extended Moral Foundations Dictionary in which five psychological dimensions (Harm/Care, Fairness/Reciprocity, In-group/Loyalty, Authority/Respect and Purity/Sanctity) are considered. We show that people tend to share more tweets involving the virtue moral rhetoric than the tweets involving the vice rhetoric. We observe that the pattern of the moral rhetoric of tweets among these five dimensions are very similar during different time periods, while the strength of the five dimension is time-variant. Even though there is no significant difference between the use of Fairness/Reciprocity, In-group/Loyalty or Purity/Sanctity rhetoric, the less use of Harm/Care rhetoric is significant and remarkable. Besides, the strength of the moral rhetoric and the polarization in morality across people are mostly observed in tweets involving Harm/Care rhetoric despite the number of tweets involving the Harm/Care dimension is low.


title: Black String in Massive Gravity

abstract: We will analyze a black string in dRGT massive theory of gravity. Considering different approaches, we will study the critical behavior, phase transition and thermal stability for such a black string solution. We will also analyze the Van der Waals behavior for this system, and observe that the Van der Waals behavior depends on the graviton mass. It will be observed that the thermal fluctuations can modify the behavior of this system. We will explicitly analyze the effect of such fluctuations on the stability of this black string solution. This will be done using the Hessian matrix for this system.


title: Towards Axiomatization and General Results on Strong Emergence Phenomena Between Lagrangian Field Theories

abstract: In this paper we propose a formal definition of what is a strong emergence phenomenon between two parameterized field theories and we present sufficient conditions ensuring the existence of such phenomena between two given parameterized Lagrangian field theories. More precisely, we prove that in an Euclidean background, typical parameterized kinetic theories emerge from any elliptic multivariate polynomial theories. Some concrete examples are given and a connection with the phenomenon of gravity emerging from noncommutativity is made.


title: PhyGeoNet: Physics-Informed Geometry-Adaptive Convolutional Neural Networks for Solving Parameterized Steady-State PDEs on Irregular Domain

abstract: Recently, the advent of deep learning has spurred interest in the development of physics-informed neural networks (PINN) for efficiently solving partial differential equations (PDEs), particularly in a parametric setting. Among all different classes of deep neural networks, the convolutional neural network (CNN) has attracted increasing attention in the scientific machine learning community, since the parameter-sharing feature in CNN enables efficient learning for problems with large-scale spatiotemporal fields. However, one of the biggest challenges is that CNN only can handle regular geometries with image-like format (i.e., rectangular domains with uniform grids). In this paper, we propose a novel physics-constrained CNN learning architecture, aiming to learn solutions of parametric PDEs on irregular domains without any labeled data. In order to leverage powerful classic CNN backbones, elliptic coordinate mapping is introduced to enable coordinate transforms between the irregular physical domain and regular reference domain. The proposed method has been assessed by solving a number of PDEs on irregular domains, including heat equations and steady Navier-Stokes equations with parameterized boundary conditions and varying geometries. Moreover, the proposed method has also been compared against the state-of-the-art PINN with fully-connected neural network (FC-NN) formulation. The numerical results demonstrate the effectiveness of the proposed approach and exhibit notable superiority over the FC-NN based PINN in terms of efficiency and accuracy.


title: The Impact of the Mini-batch Size on the Variance of Gradients in Stochastic Gradient Descent

abstract: The mini-batch stochastic gradient descent (SGD) algorithm is widely used in training machine learning models, in particular deep learning models. We study SGD dynamics under linear regression and two-layer linear networks, with an easy extension to deeper linear networks, by focusing on the variance of the gradients, which is the first study of this nature. In the linear regression case, we show that in each iteration the norm of the gradient is a decreasing function of the mini-batch size $b$ and thus the variance of the stochastic gradient estimator is a decreasing function of $b$. For deep neural networks with $L_2$ loss we show that the variance of the gradient is a polynomial in $1/b$. The results back the important intuition that smaller batch sizes yield lower loss function values which is a common believe among the researchers. The proof techniques exhibit a relationship between stochastic gradient estimators and initial weights, which is useful for further research on the dynamics of SGD. We empirically provide further insights to our results on various datasets and commonly used deep network structures.


title: Investigation of potassium-intercalated bulk MoS$_2$ using transmission electron energy-loss spectroscopy

abstract: We have investigated the effect of potassium (K) intercalation on $2H$-MoS$_2$ using transmission electron energy-loss spectroscopy. For K concentrations up to approximately 0.4, the crystals appear to be inhomogeneous with a mix of structural phases and irregular potassium distribution. Above this intercalation level, MoS$_2$ exhibits a $2a \times 2a$ superstructure in the $ab$ plane and unit cell parameters of a = 3.20 $\unicode{x212B}$ and c = 8.23 $\unicode{x212B}$ indicating a conversion from the $2H$ to the $1T'$ or $1T''$ polytypes. The diffraction patterns also show a $\sqrt{3}a \times \sqrt{3}a$ and a much weaker $2\sqrt{3}a \times 2\sqrt{3}a$ superstructure that is very likely associated with the ordering of the potassium ions. A semiconductor-to-metal transition occurs signified by the disappearance of the excitonic features from the electron energy-loss spectra and the emergence of a charge carrier plasmon with an unscreened plasmon frequency of 2.78 eV. The plasmon has a positive, quadratic dispersion and appears to be superimposed with an excitation arising from interband transitions. The behavior of the plasmon peak energy positions as a function of potassium concentration shows that potassium stoichiometries of less than $\sim 0.3$ are thermodynamically unstable while higher stoichiometries up to $\sim 0.5$ are thermodynamically stable. Potassium concentrations greater than $\sim 0.5$ lead to the decomposition of MoS$_2$ and the formation of K$_2$S. The real part of the dielectric function and the optical conductivity of K$_{0.41}$MoS$_2$ were derived from the loss spectra via Kramers-Kronig analysis.


title: Machine Learning Based Mobile Network Throughput Classification

abstract: Identifying mobile network problems in 4G cells is more challenging when the complexity of the network increases, and privacy concerns limit the information content of the data. This paper proposes a data driven model for identifying 4G cells that have fundamental network throughput problems. The proposed model takes advantage of clustering and Deep Neural Networks (DNNs). Model parameters are learnt using a small number of expert-labeled data. To achieve case specific classification, we propose a model that contains a multiple clustering models block, for capturing features common for problematic cells. The captured features of this block are then used as an input to a DNN. Experiments show that the proposed model outperforms a simple classifier in identifying cells with network throughput problems. To the best of the authors' knowledge, there is no related research where network throughput classification is performed on the cell level with information gathered only from the service provider's side.


title: H-coloring Dichotomy in Proof Complexity

abstract: The $\mathcal{H}$-coloring problem for undirected simple graphs is a computational problem from a huge class of the constraint satisfaction problems (CSP): an $\mathcal{H}$-coloring of a graph $\mathcal{G}$ is just a homomorphism from $\mathcal{G}$ to $\mathcal{H}$ and the problem is to decide for fixed $\mathcal{H}$, given $\mathcal{G}$, if a homomorphism exists or not. The dichotomy theorem for the $\mathcal{H}$-coloring problem was proved by Hell and Ne\v{s}et\v{r}il in 1990 (an analogous theorem for all CSPs was recently proved by Zhuk and Bulatov) and it says that for each $\mathcal{H}$ the problem is either $p$-time decidable or $NP$-complete. Since negations of unsatisfiable instances of CSP can be expressed as propositional tautologies, it seems to be natural to investigate the proof complexity of CSP. We show that the decision algorithm in the $p$-time case of the $\mathcal{H}$-coloring problem can be formalized in a relatively weak theory and that the tautologies expressing the negative instances for such $\mathcal{H}$ have short proofs in propositional proof system $R^*(log)$, a mild extension of resolution. In fact, when the formulas are expressed as unsatisfiable sets of clauses they have $p$-size resolution proofs. To establish this we use a well-known connection between theories of bounded arithmetic and propositional proof systems. We complement this result by a lower bound result that holds for many weak proof systems for a special example of $NP$-complete case of the $\mathcal{H}$-coloring problem, using the known results about proof complexity of the Pigeonhole Principle.


title: Octa: Omissions and Conflicts in Target-Aspect Sentiment Analysis

abstract: Sentiments in opinionated text are often determined by both aspects and target words (or targets). We observe that targets and aspects interrelate in subtle ways, often yielding conflicting sentiments. Thus, a naive aggregation of sentiments from aspects and targets treated separately, as in existing sentiment analysis models, impairs performance. We propose Octa, an approach that jointly considers aspects and targets when inferring sentiments. To capture and quantify relationships between targets and context words, Octa uses a selective self-attention mechanism that handles implicit or missing targets. Specifically, Octa involves two layers of attention mechanisms for, respectively, selective attention between targets and context words and attention over words based on aspects. On benchmark datasets, Octa outperforms leading models by a large margin, yielding (absolute) gains in accuracy of 1.6% to 4.3%.


title: Testing for spherical and elliptical symmetry

abstract: We construct new testing procedures for spherical and elliptical symmetry based on the characterization that a random vector $X$ with finite mean has a spherical distribution if and only if $\Ex[u^\top X | v^\top X] = 0$ holds for any two perpendicular vectors $u$ and $v$. Our test is based on the Kolmogorov-Smirnov statistic, and its rejection region is found via the spherically symmetric bootstrap. We show the consistency of the spherically symmetric bootstrap test using a general Donsker theorem which is of some independent interest. For the case of testing for elliptical symmetry, the Kolmogorov-Smirnov statistic has an asymptotic drift term due to the estimated location and scale parameters. Therefore, an additional standardization is required in the bootstrap procedure. In a simulation study, the size and the power properties of our tests are assessed for several distributions and the performance is compared to that of several competing procedures.


title: Some people aren't worth listening to: periodically retraining classifiers with feedback from a team of end users

abstract: Document classification is ubiquitous in a business setting, but often the end users of a classifier are engaged in an ongoing feedback-retrain loop with the team that maintain it. We consider this feedback-retrain loop from a multi-agent point of view, considering the end users as autonomous agents that provide feedback on the labelled data provided by the classifier. This allows us to examine the effect on the classifier's performance of unreliable end users who provide incorrect feedback. We demonstrate a classifier that can learn which users tend to be unreliable, filtering their feedback out of the loop, thus improving performance in subsequent iterations.


title: Concentration of Distortion: The Value of Extra Voters in Randomized Social Choice

abstract: We study higher statistical moments of Distortion for randomized social choice in a metric implicit utilitarian model. The Distortion of a social choice mechanism is the expected approximation factor with respect to the optimal utilitarian social cost (OPT). The $k^{th}$ moment of Distortion is the expected approximation factor with respect to the $k^{th}$ power of OPT. We consider mechanisms that elicit alternatives by randomly sampling voters for their favorite alternative. We design two families of mechanisms that provide constant (with respect to the number of voters and alternatives) $k^{th}$ moment of Distortion using just $k$ samples if all voters can then participate in a vote among the proposed alternatives, or $2k-1$ samples if only the sampled voters can participate. We also show that these numbers of samples are tight. Such mechanisms deviate from a constant approximation to OPT with probability that drops exponentially in the number of samples, independent of the total number of voters and alternatives. We conclude with simulations on real-world Participatory Budgeting data to qualitatively complement our theoretical insights.


title: Voxgraph: Globally Consistent, Volumetric Mapping using Signed Distance Function Submaps

abstract: Globally consistent dense maps are a key requirement for long-term robot navigation in complex environments. While previous works have addressed the challenges of dense mapping and global consistency, most require more computational resources than may be available on-board small robots. We propose a framework that creates globally consistent volumetric maps on a CPU and is lightweight enough to run on computationally constrained platforms. Our approach represents the environment as a collection of overlapping Signed Distance Function (SDF) submaps, and maintains global consistency by computing an optimal alignment of the submap collection. By exploiting the underlying SDF representation, we generate correspondence free constraints between submap pairs that are computationally efficient enough to optimize the global problem each time a new submap is added. We deploy the proposed system on a hexacopter Micro Aerial Vehicle (MAV) with an Intel i7-8650U CPU in two realistic scenarios: mapping a large-scale area using a 3D LiDAR, and mapping an industrial space using an RGB-D camera. In the large-scale outdoor experiments, the system optimizes a 120x80m map in less than 4s and produces absolute trajectory RMSEs of less than 1m over 400m trajectories. Our complete system, called voxgraph, is available as open source.


title: Evolution of Flare-accelerated Electrons Quantified by Spatially Resolved Analysis

abstract: Nonthermal electrons accelerated in solar flares produce electromagnetic emission in two distinct, highly complementary domains - hard X-rays (HXRs) and microwaves (MWs). This paper reports MW imaging spectroscopy observations from the Expanded Owens Valley Solar Array of an M1.2 flare that occurred on 2017 September 9, from which we deduce evolving coronal parameter maps. We analyze these data jointly with the complementary Reuven Ramaty High-Energy Solar Spectroscopic Imager HXR data to reveal the spatially-resolved evolution of the nonthermal electrons in the flaring volume. We find that the high-energy portion of the nonthermal electron distribution, responsible for the MW emission, displays a much more prominent evolution (in the form of strong spectral hardening) than the low-energy portion, responsible for the HXR emission. We show that the revealed trends are consistent with a single electron population evolving according to a simplified trap-plus-precipitation model with sustained injection/acceleration of nonthermal electrons, which produces a double-powerlaw with steadily increasing break energy.


title: Prospective Lava Tubes at Hellas Planitia

abstract: After surveying 1,500 images from MRO, this investigation has identified three candidate lava tubes in the vicinity of Hadriacus Mons as prospective sites for manned exploration. This investigation, therefore, concluded that terrestrial lava tubes can be leveraged for radiation shielding and, accordingly, that the candidate lava tubes on Mars (as well as known lava tubes on the lunar surface) can serve as natural radiation shelters and habitats for a prospective crewed mission to the planet.


title: Evaluating Stochastic Rankings with Expected Exposure

abstract: We introduce the concept of \emph{expected exposure} as the average attention ranked items receive from users over repeated samples of the same query. Furthermore, we advocate for the adoption of the principle of equal expected exposure: given a fixed information need, no item should receive more or less expected exposure than any other item of the same relevance grade. We argue that this principle is desirable for many retrieval objectives and scenarios, including topical diversity and fair ranking. Leveraging user models from existing retrieval metrics, we propose a general evaluation methodology based on expected exposure and draw connections to related metrics in information retrieval evaluation. Importantly, this methodology relaxes classic information retrieval assumptions, allowing a system, in response to a query, to produce a \emph{distribution over rankings} instead of a single fixed ranking. We study the behavior of the expected exposure metric and stochastic rankers across a variety of information access conditions, including \emph{ad hoc} retrieval and recommendation. We believe that measuring and optimizing expected exposure metrics using randomization opens a new area for retrieval algorithm development and progress.


title: In operando active learning of interatomic interaction during large-scale simulations

abstract: A well-known drawback of state-of-the-art machine-learning interatomic potentials is their poor ability to extrapolate beyond the training domain. For small-scale problems with tens to hundreds of atoms this can be solved by using active learning which is able to select atomic configurations on which a potential attempts extrapolation and add them to the ab initio-computed training set. In this sense an active learning algorithm can be viewed as an on-the-fly interpolation of an ab initio model. For large-scale problems, possibly involving tens of thousands of atoms, this is not feasible because one cannot afford even a single density functional theory computation with such a large number of atoms. This work marks a new milestone toward fully automatic ab initio-accurate large-scale atomistic simulations. We develop an active learning algorithm that identifies local subregions of the simulation region where the potential extrapolates. Then the algorithm constructs periodic configurations out of these local, non-periodic subregions, sufficiently small to be computable with plane-wave density functional theory codes, in order to obtain accurate ab initio energies. We benchmark our algorithm on the problem of the screw dislocation motion in bcc tungsten and show that our algorithm reaches ab initio accuracy, down to typical magnitudes of numerical noise in DFT codes. We show that our algorithm reproduces material properties such as core structure, Peierls barrier, and Peierls stress. This unleashes new capabilities for computational materials science toward applications which have currently been out of scope if approached solely by ab initio methods.


title: A Novel Approach to Predicting Exceptional Growth in Research

abstract: The prediction of exceptional or surprising growth in research is an issue with deep roots and few practical solutions. In this study we develop and validate a novel approach to forecasting growth in highly specific research communities. Each research community is represented by a cluster of papers. Multiple indicators were tested, and a composite indicator was created that predicts which research communities will experience exceptional growth over the next three years. The accuracy of this predictor was tested using hundreds of thousands of community-level forecasts and was found to exceed the performance benchmarks established in Intelligence Advanced Research Projects Activity's (IARPA) Foresight Using Scientific Exposition (FUSE) program in six of nine major fields in science. Furthermore, ten of eleven disciplines within the Computing Technologies field met the benchmarks. Specific detailed forecast examples are given and evaluated, and a critical evaluation of the forecasting approach is also provided.


title: Clustering via torque balance with mass and distance

abstract: Grouping similar objects is a fundamental tool of scientific analysis, ubiquitous in disciplines from biology and chemistry to astronomy and pattern recognition. Inspired by the torque balance that exists in gravitational interactions when galaxies merge, we propose a novel clustering method based on two natural properties of the universe: mass and distance. The concept of torque describing the interactions of mass and distance forms the basis of the proposed parameter-free clustering algorithm, which harnesses torque balance to recognize any cluster, regardless of shape, size, or density. The gravitational interactions govern the merger process, while the concept of torque balance reveals partitions that do not conform to the natural order for removal. Experiments on benchmark data sets show the enormous versatility of the proposed algorithm.


title: PuzzLing Machines: A Challenge on Learning From Small Data

abstract: Deep neural models have repeatedly proved excellent at memorizing surface patterns from large datasets for various ML and NLP benchmarks. They struggle to achieve human-like thinking, however, because they lack the skill of iterative reasoning upon knowledge. To expose this problem in a new light, we introduce a challenge on learning from small data, PuzzLing Machines, which consists of Rosetta Stone puzzles from Linguistic Olympiads for high school students. These puzzles are carefully designed to contain only the minimal amount of parallel text necessary to deduce the form of unseen expressions. Solving them does not require external information (e.g., knowledge bases, visual signals) or linguistic expertise, but meta-linguistic awareness and deductive skills. Our challenge contains around 100 puzzles covering a wide range of linguistic phenomena from 81 languages. We show that both simple statistical algorithms and state-of-the-art deep neural models perform inadequately on this challenge, as expected. We hope that this benchmark, available at https://ukplab.github.io/PuzzLing-Machines/, inspires further efforts towards a new paradigm in NLP---one that is grounded in human-like reasoning and understanding.


title: On big Ramsey degrees for binary free amalgamation classes

abstract: Generalizing and simplifying recent work of Dobrinen, we show that if $\mathcal{L}$ is a finite binary relational language and $\mathcal{F}$ is a finite set of finite irreducible $\mathcal{L}$-structures, then the class $\mathcal{K} = \mathrm{Forb}(\mathcal{F})$ has finite big Ramsey degrees.


title: The Spin Tensor of Dark Matter and the Hubble Parameter Tension

abstract: Allowing for a nonvanishing spin tensor for cold dark matter ($\omega_{\mathrm{DM}}=0$) has the consequence of giving rise to an effective $\mathrm{FLRW}$ dynamics with a small negative barotropic constant for an effective dark matter density ($-1/3<\omega_{\mathrm{eff}}\leq0$). This turns out to solve the Hubble parameter tension in a straightforward way.


title: A Sparse Learning Approach to the Design of Radar Tunable Architectures with Enhanced Selectivity Properties

abstract: This paper considers the design of tunable decision schemes capable of rejecting with high probability mismatched signals embedded in Gaussian interference with unknown covariance matrix. To this end, a sparse recovery technique is exploited to enhance the resolution at which the target angle of arrival is estimated with the objective to obtain high-selective detectors. The outcomes of this estimation procedure are used to devise detection architectures relying on either the twostage design paradigm or heuristic design procedures based upon the generalized likelihood ratio test. Remarkably, the new decision rules exhibit a bounded-constant false alarm rate property and allow for a tradeoff between the matched detection performance and the rejection of undesired signals by tuning a design parameter. At the analysis stage, the performance of the newly proposed detectors is assessed also in comparison with existing selective competitors. The results show that the new detectors can outperform the considered counterparts in terms of rejection of unwanted signals, while retaining reasonable detection performance of matched signals.


title: Entropy production and Vlasov equation for self-gravitating systems

abstract: The evolution of a self-gravitating system to a non-equilibrium steady state occurs through a process of violent relaxation. In the thermodynamic limit the dynamics of a many body system should be governed by the Vlasov equation. Recently, however, a question was raised regarding the validity of Vlasov equation during the process of violent relaxation. In this paper we will explore the entropy production during the relaxation process using N-body molecular dynamics simulations. We will show that the entropy production time grows as $N^\alpha$, with $\alpha > 0$ and in the limit $N \rightarrow \infty$, entropy will remain constant, consistent with the Vlasov equation. Furthermore, we will show that the mean field dynamics constructed on the basis of the Vlasov equation is in excellent agreement with the full molecular dynamics simulations, justifying the applicability of Vlasov equation during the violent relaxation phase of evolution.


title: A Disentangling Invertible Interpretation Network for Explaining Latent Representations

abstract: Neural networks have greatly boosted performance in computer vision by learning powerful representations of input data. The drawback of end-to-end training for maximal overall performance are black-box models whose hidden representations are lacking interpretability: Since distributed coding is optimal for latent layers to improve their robustness, attributing meaning to parts of a hidden feature vector or to individual neurons is hindered. We formulate interpretation as a translation of hidden representations onto semantic concepts that are comprehensible to the user. The mapping between both domains has to be bijective so that semantic modifications in the target domain correctly alter the original representation. The proposed invertible interpretation network can be transparently applied on top of existing architectures with no need to modify or retrain them. Consequently, we translate an original representation to an equivalent yet interpretable one and backwards without affecting the expressiveness and performance of the original. The invertible interpretation network disentangles the hidden representation into separate, semantically meaningful concepts. Moreover, we present an efficient approach to define semantic concepts by only sketching two images and also an unsupervised strategy. Experimental evaluation demonstrates the wide applicability to interpretation of existing classification and image generation networks as well as to semantically guided image manipulation.


title: Energy-based models for atomic-resolution protein conformations

abstract: We propose an energy-based model (EBM) of protein conformations that operates at atomic scale. The model is trained solely on crystallized protein data. By contrast, existing approaches for scoring conformations use energy functions that incorporate knowledge of physical principles and features that are the complex product of several decades of research and tuning. To evaluate the model, we benchmark on the rotamer recovery task, the problem of predicting the conformation of a side chain from its context within a protein structure, which has been used to evaluate energy functions for protein design. The model achieves performance close to that of the Rosetta energy function, a state-of-the-art method widely used in protein structure prediction and design. An investigation of the model's outputs and hidden representations finds that it captures physicochemical properties relevant to protein energy.


title: High spectro-temporal purity single-photons from silicon micro-racetrack resonators using a dual-pulse configuration

abstract: Single-photons with high spectro-temporal purity are an essential resource for quantum photonic technologies. The highest reported purity up until now from a conventional silicon photonic device is 92% without any spectral filtering. We have experimentally generated and observed single-photons with 98.0+-0.3 % spectro-temporal purity using a conventional micro racetrack resonator and an engineered dual pump pulse.


title: Simultaneous Translation Policies: From Fixed to Adaptive

abstract: Adaptive policies are better than fixed policies for simultaneous translation, since they can flexibly balance the tradeoff between translation quality and latency based on the current context information. But previous methods on obtaining adaptive policies either rely on complicated training process, or underperform simple fixed policies. We design an algorithm to achieve adaptive policies via a simple heuristic composition of a set of fixed policies. Experiments on Chinese -> English and German -> English show that our adaptive policies can outperform fixed ones by up to 4 BLEU points for the same latency, and more surprisingly, it even surpasses the BLEU score of full-sentence translation in the greedy mode (and very close to beam mode), but with much lower latency.


title: Multiple-impulse orbital maneuver with limited observation window

abstract: This paper proposes a solution for multiple-impulse orbital maneuvers near circular orbits for special cases where orbital observations are not globally available and the spacecraft is being observed through a limited window from a ground or a space-based station. The current study is particularly useful for small private launching companies with limited access to global observations around the Earth and/or for orbital maneuvers around other planets for which the orbital observations are limited to the in situ equipment. An appropriate cost function is introduced for the sake of minimizing the total control/impulse effort as well as the orbital uncertainty. It is subsequently proved that for a circle-to-circle maneuver, the optimization problem is quasi-convex with respect to the design variables. For near circular trajectories the same cost function is minimized via a gradient based optimization algorithm in order to provide a sub-optimal solution that is efficient both with respect to energy effort and orbital uncertainty. As a relevant case study, a four-impulse orbital maneuver between circular orbits under Mars gravitation is simulated and analyzed to demonstrate the effectiveness of the proposed algorithm.


title: Intervortex forces in competing-order superconductors

abstract: The standard Ginzburg-Landau model of competing-order superconductors is studied. It is observed that this model possesses two distinct species of vortex, and consequently has two distinct integer valued topological charges. A simple point particle model of long range forces between (anti)vortices of any species is developed and compared with numerical simulations of the full field theory, excellent agreement being found. Some of the results are quite counterintuitive. For example, a parameter regime exists where vortices of one species repel both vortices and antivortices of the other.


title: Autoencoding Neural Networks as Musical Audio Synthesizers

abstract: A method for musical audio synthesis using autoencoding neural networks is proposed. The autoencoder is trained to compress and reconstruct magnitude short-time Fourier transform frames. The autoencoder produces a spectrogram by activating its smallest hidden layer, and a phase response is calculated using real-time phase gradient heap integration. Taking an inverse short-time Fourier transform produces the audio signal. Our algorithm is light-weight when compared to current state-of-the-art audio-producing machine learning algorithms. We outline our design process, produce metrics, and detail an open-source Python implementation of our model.


title: LSHR-Net: a hardware-friendly solution for high-resolution computational imaging using a mixed-weights neural network

abstract: Recent work showed neural-network-based approaches to reconstructing images from compressively sensed measurements offer significant improvements in accuracy and signal compression. Such methods can dramatically boost the capability of computational imaging hardware. However, to date, there have been two major drawbacks: (1) the high-precision real-valued sensing patterns proposed in the majority of existing works can prove problematic when used with computational imaging hardware such as a digital micromirror sampling device and (2) the network structures for image reconstruction involve intensive computation, which is also not suitable for hardware deployment. To address these problems, we propose a novel hardware-friendly solution based on mixed-weights neural networks for computational imaging. In particular, learned binary-weight sensing patterns are tailored to the sampling device. Moreover, we proposed a recursive network structure for low-resolution image sampling and high-resolution reconstruction scheme. It reduces both the required number of measurements and reconstruction computation by operating convolution on small intermediate feature maps. The recursive structure further reduced the model size, making the network more computationally efficient when deployed with the hardware. Our method has been validated on benchmark datasets and achieved the state of the art reconstruction accuracy. We tested our proposed network in conjunction with a proof-of-concept hardware setup.


title: Nonlinear states and dynamics in a synthetic frequency dimension

abstract: Recent advances in the study of synthetic dimensions revealed a possibility to employ the frequency space as an additional degree of freedom which allows for investigating and exploiting higher-dimensional phenomena in a priori low-dimensional systems. However, the influence of nonlinear effects on the synthetic frequency dimensions was studied only under significant restrictions. In the present paper, we develop a generalized mean-field model for the optical field envelope inside a single driven-dissipative resonator with quadratic and cubic nonlinearities, whose frequencies are coupled via an electro-optical resonant temporal modulation. The leading order equation takes the form of driven Gross-Pitaevskii equation with a cosine potential. We numerically investigate the nonlinear dynamics in such microring resonator with a synthetic frequency dimension in the regime where parametric frequency conversion occurs. In the case of anomalous dispersion, we find that the presence of electro-optical mode coupling confines and stabilizes the chaotic modulation instability region. This leads to the appearance of a novel type of stable coherent structures which emerge in the synthetic space with restored translational symmetry, in a region of parameters where conventionally only chaotic modulation instability states exist. This structure appears in the center of the synthetic band and, therefore, is referred to as Band Soliton. Finally, we extend our results to the case of multiple modulation frequencies with controllable relative phases creating synthetic lattices with nontrivial geometry. We show that an asymmetric synthetic band leads to the coexistence of chaotic and coherent states of the electromagnetic field inside the cavity i.e. dynamics that can be interpreted as chimera-like states. Recently developed $\chi^{(2)}$ microresonators can open the way to experimentally explore our findings.


title: A scoping review of transfer learning research on medical image analysis using ImageNet

abstract: Objective: Employing transfer learning (TL) with convolutional neural networks (CNNs), well-trained on non-medical ImageNet dataset, has shown promising results for medical image analysis in recent years. We aimed to conduct a scoping review to identify these studies and summarize their characteristics in terms of the problem description, input, methodology, and outcome. Materials and Methods: To identify relevant studies, MEDLINE, IEEE, and ACM digital library were searched. Two investigators independently reviewed articles to determine eligibility and to extract data according to a study protocol defined a priori. Results: After screening of 8,421 articles, 102 met the inclusion criteria. Of 22 anatomical areas, eye (18%), breast (14%), and brain (12%) were the most commonly studied. Data augmentation was performed in 72% of fine-tuning TL studies versus 15% of the feature-extracting TL studies. Inception models were the most commonly used in breast related studies (50%), while VGGNet was the common in eye (44%), skin (50%) and tooth (57%) studies. AlexNet for brain (42%) and DenseNet for lung studies (38%) were the most frequently used models. Inception models were the most frequently used for studies that analyzed ultrasound (55%), endoscopy (57%), and skeletal system X-rays (57%). VGGNet was the most common for fundus (42%) and optical coherence tomography images (50%). AlexNet was the most frequent model for brain MRIs (36%) and breast X-Rays (50%). 35% of the studies compared their model with other well-trained CNN models and 33% of them provided visualization for interpretation. Discussion: This study identified the most prevalent tracks of implementation in the literature for data preparation, methodology selection and output evaluation for medical image analysis. Also, we identified several critical research gaps existing in the TL studies on medical image analysis.


title: Hierarchical Quantum Network using Hybrid Entanglement

abstract: The advent of a new kind of entangled state known as hybrid entangled state, i.e., entanglement between different degrees of freedom, makes it possible to perform various quantum computational and communication tasks with lesser amount of resources. Here, we aim to exploit the advantage of these entangled states in communication over quantum networks. Unfortunately, the entanglement shared over the network deteriorates due to its unavoidable interaction with surroundings. Thus, an entanglement concentration protocol is proposed to obtain a maximally entangled hybrid Omega-type state from the corresponding non-maximally entangled states. The advantage of the proposed entanglement concentration protocol is that it is feasible to implement this protocol with linear optical components and present technology. The corresponding linear optical quantum circuit is provided for experimental realizations, while the success probability of the concentration protocol is also reported. Thereafter, we propose an application of maximally entangled hybrid state in the hierarchical quantum teleportation network by performing information splitting using Omega-type state, which is also the first hierarchical quantum communication scheme in the hybrid domain so far. The present hybrid entangled state has advantage in circumventing Pauli operations on the coherent state by polarization rotation of single qubit, which can be performed with lesser errors.


title: PowerModelsRestoration.jl: An Open-Source Framework for Exploring Power Network Restoration Algorithms

abstract: With the escalating frequency of extreme grid disturbances, such as natural disasters, comes an increasing need for efficient recovery plans. Algorithms for optimal power restoration play an important role in developing such plans, but also give rise to challenging mixed-integer nonlinear optimization problems, where tractable solution methods are not yet available. To assist in research on such solution methods, this work proposes PowerModelsRestoration, a flexible, open-source software framework for rapidly designing and testing power restoration algorithms. PowerModelsRestoration constructs a mathematical modeling layer for formalizing core restoration tasks that can be combined to develop complex workflows and high performance heuristics. The efficacy of the proposed framework is demonstrated by proof-of-concept studies on three established cases from the literature, focusing on single-phase positive sequence network models. The results demonstrate that PowerModelsRestoration reproduces the established literature, and for the first time provide an analysis of restoration with nonlinear power flow models, which have not been previously considered.


title: What Can We Estimate from Fatality and Infectious Case Data using the Susceptible-Infected-Removed (SIR) model? A case Study of Covid-19 Pandemic

abstract: The rapidly spreading Covid-19 that affected almost all countries, was first reported at the end of 2019. As a consequence of its highly infectious nature, countries all over the world have imposed extremely strict measures to control its spread. Since the earliest stages of this major pandemic, academics have done a huge amount of research in order to understand the disease, develop medication, vaccines and tests, and model its spread. Among these studies, a great deal of effort has been invested in the estimation of epidemic parameters in the early stage, for the countries affected by Covid-19, hence to predict the course of the epidemic but the variability of the controls over the course of the epidemic complicated the modeling processes. In this article, the determination of the basic reproduction number, the mean duration of the infectious period, the estimation of the timing of the peak of the epidemic wave is discussed using early phase data. Daily case reports and daily fatalities for ten countries over the period January 22, 2020 - April 18, 2020 are evaluated using the Susceptible-Infected-Removed (SIR) model. For each country, the SIR models fitting cumulative infective case data within 5% error are analysed. It is observed that the basic reproduction number and the mean duration of the infectious period can be estimated only in cases where the spread of the epidemic is over (for China and South Korea in the present case). Nevertheless, it is shown that the timing of the maximum and timings of the inflection points of the proportion of infected individuals can be robustly estimated from the normalized data. The validation of the estimates by comparing the predictions with actual data has shown that the predictions were realised for all countries except USA, as long as lock-down measures were retained.


title: On the polarization of shear Alfv\'en and acoustic continuous spectra in toroidal plasmas

abstract: In this work, the FALCON code is adopted for illustrating the features of shear Alfv\'en and continuous spectra in toroidal fusion plasmas. The FALCON codes employs the local Floquet analysis discussed in [Phys. of Plasmas \textbf{26} (8), 082502 (2019)] for computing global structures of continuous spectra in general toroidal geometry. As particular applications, reference equilibria for the Divertor Tokamak Test and ASDEX Upgrade plasmas are considered. In particular, we illustrate the importance of mode polarization for recognizing the physical relevance of the various branches of the continuous spectra in the ideal MHD limit. We also analyze the effect of plasma compression and the validity of the slow sound approximation.


title: On partitions with $k$ corners not containing the staircase with one more corner

abstract: We give three proofs of the following result conjectured by Carriegos, De Castro-Garc\'{\i}a and Mu\~noz Casta\~neda in their work on enumeration of control systems: when $\binom{k+1}{2} \le n < \binom{k+2}{2}$, there are as many partitions of $n$ with $k$ corners as pairs of partitions $(\alpha, \beta)$ such that $\binom{k+1}{2} + |\alpha| + |\beta| = n$.


title: EM-GAN: Fast Stress Analysis for Multi-Segment Interconnect Using Generative Adversarial Networks

abstract: In this paper, we propose a fast transient hydrostatic stress analysis for electromigration (EM) failure assessment for multi-segment interconnects using generative adversarial networks (GANs). Our work leverages the image synthesis feature of GAN-based generative deep neural networks. The stress evaluation of multi-segment interconnects, modeled by partial differential equations, can be viewed as time-varying 2D-images-to-image problem where the input is the multi-segment interconnects topology with current densities and the output is the EM stress distribution in those wire segments at the given aging time. Based on this observation, we train conditional GAN model using the images of many self-generated multi-segment wires and wire current densities and aging time (as conditions) against the COMSOL simulation results. Different hyperparameters of GAN were studied and compared. The proposed algorithm, called {\it EM-GAN}, can quickly give accurate stress distribution of a general multi-segment wire tree for a given aging time, which is important for full-chip fast EM failure assessment. Our experimental results show that the EM-GAN shows 6.6\% averaged error compared to COMSOL simulation results with orders of magnitude speedup. It also delivers 8.3X speedup over state-of-the-art analytic based EM analysis solver.


title: Simulations of LiCl-Water: The Effects of Concentration and Supercooling

abstract: Aqueous solutions of LiCl are probably the most studied electrolyte solutions related to the complexity of liquid water at low temperatures. Despite the large amount of available experimental data hardly any computational studies were performed on LiCl solutions in this context. In this study, we present molecular dynamics simulations of LiCl-water at ambient and supercooled conditions spanning a large concentration range. The molecular insight gained provides information on how the presence of the ions impacts the hydrogen bond network. It is found that this influence changes appreciably when supercooled states are considered. While the local structure of water molecules beyond the first hydration shells barely changes with concentration at room temperature, a change is found for those molecules at low temperature. Additionally, we scrutinize the possibility of a phase separation in this system as indicated by several experimental studies. Our analyses do not show signs of such a phase separation at 240 K, but are consistent with a possible separation at even lower temperatures.


title: A Portable Brain MRI Scanner for Underserved Settings and Point-Of-Care Imaging

abstract: Access to and availability of MRI scanners is typically limited by their cost, siting and infrastructure requirements. This precludes MRI diagnostics, the reference standard for neurological assessment, in patients who cannot be transported to specialized scanner suites. This includes patients who are critically ill and unstable, and patients located in low-resource settings. The scanner design presented here aims to extend the reach of MRI by substantially reducing these limitations. Our goal is to shift the cost-benefit calculation for MRI toward more frequent and varied use, including improved accessibility worldwide and point of care operation. Here, we describe a portable brain MRI scanner using a compact, lightweight permanent magnet, with a built-in readout field gradient. Our low-field (80 mT) Halbach cylinder design of rare-earth permanent magnets results in a 122 kg magnet with minimal stray-field, requiring neither cryogenics nor external power. The built-in magnetic field gradient reduces reliance on high-power gradient drivers, which not only lowers overall system power and cooling requirements, but also reduces acoustic noise. Imperfections in the encoding fields are mitigated with a generalized iterative image reconstruction technique, that uses prior characterization of the field patterns. Our system was validated using T1, T2 and proton density weighted in vivo brain images with a spatial resolution of 2.2 x 1.3 x 6.8 mm$^3$.


title: Online Payments by Merely Broadcasting Messages (Extended Version)

abstract: We address the problem of online payments, where users can transfer funds among themselves. We introduce Astro, a system solving this problem efficiently in a decentralized, deterministic, and completely asynchronous manner. Astro builds on the insight that consensus is unnecessary to prevent double-spending. Instead of consensus, Astro relies on a weaker primitive---Byzantine reliable broadcast---enabling a simpler and more efficient implementation than consensus-based payment systems. In terms of efficiency, Astro executes a payment by merely broadcasting a message. The distinguishing feature of Astro is that it can maintain performance robustly, i.e., remain unaffected by a fraction of replicas being compromised or slowed down by an adversary. Our experiments on a public cloud network show that Astro can achieve near-linear scalability in a sharded setup, going from $10K$ payments/sec (2 shards) to $20K$ payments/sec (4 shards). In a nutshell, Astro can match VISA-level average payment throughput, and achieves a $5\times$ improvement over a state-of-the-art consensus-based solution, while exhibiting sub-second $95^{th}$ percentile latency.


title: Beauty Production with ALICE at the LHC

abstract: In this manuscript, various beauty production measurements using the ALICE detector will be presented. We will show new measurements of non-prompt D$^0$ mesons in pp collisions at $\sqrt{s} = 5.02$ TeV and beauty-tagged jet production in p--Pb collisions at $\sqrt{s_{\mathrm{NN}}} = 5.02$ TeV. The $R_{\mathrm{AA}}$ of beauty-hadron decay electrons in central Pb--Pb collisions and the $v_{2}$ of beauty-hadron decay electrons in semi-central Pb--Pb collisions at $\sqrt{s_{\mathrm{NN}}} = 5.02$ TeV will also be discussed.


title: Simulations of multicomponent relativistic thermalization

abstract: Multicomponent relativistic fluids have been studied for decades. However, simulating the dynamics of the particles and fluids in such a mixture has been a challenge due to the fact that such simulations are computationally expensive in three spatial dimensions. Here, we report on the development and application of a multi dimensional relativistic Monte Carlo code to explore of the thermalization process in a relativistic multicomponent environment in a computationally inexpensive way. As an illustration we simulate the fully relativistic three dimensional Brownian-motion-like solution to the thermalization of a high mass particle (proton) in a bath of relativistic low-mass particles (electrons). We follow the thermalization and ultimate equilibrium distribution of the Brownian-like particle as can happen in the cosmic plasma during big bang nucleosynthesis. We also simulate the thermalization of energetic particles injected into the plasma as can occur, for example, by the decay of massive unstable particles during the big bang.


title: Towards cavity-free ground state cooling of an acoustic-frequency silicon nitride membrane

abstract: We demonstrate feedback cooling of a millimeter-scale, 40 kHz SiN membrane from room temperature to 5 mK (3000 phonons) using a Michelson interferometer, and discuss the challenges to ground state cooling without an optical cavity. This advance appears within reach of current membrane technology, positioning it as a compelling alternative to levitated systems for quantum sensing and fundamental weak force measurements.

categories: quant-ph cond-mat.mes-hall physics.app-ph physics.optics


title: Multi-Task Image-Based Dietary Assessment for Food Recognition and Portion Size Estimation

abstract: Deep learning based methods have achieved impressive results in many applications for image-based diet assessment such as food classification and food portion size estimation. However, existing methods only focus on one task at a time, making it difficult to apply in real life when multiple tasks need to be processed together. In this work, we propose an end-to-end multi-task framework that can achieve both food classification and food portion size estimation. We introduce a food image dataset collected from a nutrition study where the groundtruth food portion is provided by registered dietitians. The multi-task learning uses L2-norm based soft parameter sharing to train the classification and regression tasks simultaneously. We also propose the use of cross-domain feature adaptation together with normalization to further improve the performance of food portion size estimation. Our results outperforms the baseline methods for both classification accuracy and mean absolute error for portion estimation, which shows great potential for advancing the field of image-based dietary assessment.