title: Learning Physical Graph Representations from Visual Scenes

abstract: Convolutional Neural Networks (CNNs) have proved exceptional at learning representations for visual object categorization. However, CNNs do not explicitly encode objects, parts, and their physical properties, which has limited CNNs' success on tasks that require structured understanding of visual scenes. To overcome these limitations, we introduce the idea of Physical Scene Graphs (PSGs), which represent scenes as hierarchical graphs, with nodes in the hierarchy corresponding intuitively to object parts at different scales, and edges to physical connections between parts. Bound to each node is a vector of latent attributes that intuitively represent object properties such as surface shape and texture. We also describe PSGNet, a network architecture that learns to extract PSGs by reconstructing scenes through a PSG-structured bottleneck. PSGNet augments standard CNNs by including: recurrent feedback connections to combine low and high-level image information; graph pooling and vectorization operations that convert spatially-uniform feature maps into object-centric graph structures; and perceptual grouping principles to encourage the identification of meaningful scene elements. We show that PSGNet outperforms alternative self-supervised scene representation algorithms at scene segmentation tasks, especially on complex real-world images, and generalizes well to unseen object types and scene arrangements. PSGNet is also able learn from physical motion, enhancing scene estimates even for static images. We present a series of ablation studies illustrating the importance of each component of the PSGNet architecture, analyses showing that learned latent attributes capture intuitive scene properties, and illustrate the use of PSGs for compositional scene inference.


title: Orbifolds, Orbispaces and Global Homotopy Theory

abstract: Given an orbifold, we construct an orthogonal spectrum representing its stable global homotopy type. Orthogonal spectra now represent orbifold cohomology theories which automatically satisfy certain properties as additivity and the existence of Mayer-Vietoris sequences. Moreover, the value at a global quotient orbifold $M/G$ can be identified with the $G$-equivariant cohomology of the manifold $M$. Examples of orbifold cohomology theories which are represented by an orthogonal spectrum include Borel and Bredon cohomology theories and orbifold $K$-theory. This also implies that these cohomology groups are independent of the presentation of an orbifold as a global quotient orbifold.


title: Polarization control of high-harmonic generation via the spin-orbit interaction

abstract: We observe the generation of high harmonics in the plane perpendicular to the driving laser polarization and show that these are driven by the spin-orbit interaction. Using R-Matrix with time-dependence theory, we demonstrate that for certain initial states either circularly- or linearly- polarized harmonics arise via well-known selection rules between atomic states controlled by the spin-orbit interaction. Finally, we elucidate the connection between the observed harmonics and the phase of the intial state.


title: A Convergent and Dimension-Independent Min-Max Optimization Algorithm

abstract: We study a variant of a recently introduced min-max optimization framework where the max-player is constrained to update its parameters in a greedy manner until it reaches a first-order stationary point. Our equilibrium definition for this framework depends on a proposal distribution which the min-player uses to choose directions in which to update its parameters. We show that, given a smooth and bounded nonconvex-nonconcave objective function, access to any proposal distribution for the min-player's updates, and stochastic gradient oracle for the max-player, our algorithm converges to the aforementioned approximate local equilibrium in a number of iterations that does not depend on the dimension. The equilibrium point found by our algorithm depends on the proposal distribution, and when applying our algorithm to train GANs we choose the proposal distribution to be a distribution of stochastic gradients. We empirically evaluate our algorithm on challenging nonconvex-nonconcave test-functions and loss functions arising in GAN training. Our algorithm converges on these test functions and, when used to train GANs, trains stably on synthetic and real-world datasets and avoids mode collapse


title: Spectra of Regular Quantum Trees: Rogue Eigenvalues and Dependence on Vertex Condition

abstract: We investigate the spectrum of Schr\"odinger operators on finite regular metric trees through a relation to orthogonal polynomials that provides a graphical perspective. As the Robin vertex parameter tends to $-\infty$, a narrow cluster of finitely many eigenvalues tends to $-\infty$, while the eigenvalues above the cluster remain bounded from below. Certain "rogue" eigenvalues break away from this cluster and tend even faster toward $-\infty$. The spectrum can be visualized as the intersection points of two objects in the plane--a spiral curve depending on the Schr\"odinger potential, and a set of curves depending on the branching factor, the diameter of the tree, and the Robin parameter.


title: Unsupervised Learning of Global Registration of Temporal Sequence of Point Clouds

abstract: Global registration of point clouds aims to find an optimal alignment of a sequence of 2D or 3D point sets. In this paper, we present a novel method that takes advantage of current deep learning techniques for unsupervised learning of global registration from a temporal sequence of point clouds. Our key novelty is that we introduce a deep Spatio-Temporal REPresentation (STREP) feature, which describes the geometric essence of both temporal and spatial relationship of the sequence of point clouds acquired with sensors in an unknown environment. In contrast to the previous practice that treats each time step (pair-wise registration) individually, our unsupervised model starts with optimizing a sequence of latent STREP feature, which is then decoded to a temporally and spatially continuous sequence of geometric transformations to globally align multiple point clouds. We have evaluated our proposed approach over both simulated 2D and real 3D datasets and the experimental results demonstrate that our method can beat other techniques by taking into account the temporal information in deep feature learning.


title: Deep Learning feature selection to unhide demographic recommender systems factors

abstract: Extracting demographic features from hidden factors is an innovative concept that provides multiple and relevant applications. The matrix factorization model generates factors which do not incorporate semantic knowledge. This paper provides a deep learning-based method: DeepUnHide, able to extract demographic information from the users and items factors in collaborative filtering recommender systems. The core of the proposed method is the gradient-based localization used in the image processing literature to highlight the representative areas of each classification class. Validation experiments make use of two public datasets and current baselines. Results show the superiority of DeepUnHide to make feature selection and demographic classification, compared to the state of art of feature selection methods. Relevant and direct applications include recommendations explanation, fairness in collaborative filtering and recommendation to groups of users.


title: On the elliptic locus of a family of projectiles

abstract: A little known property of free-fall motion is the elliptic locus of the maximum heights attained by coplanar projectiles launched from a single point in different directions with the same initial speed. Another, less known and perhaps somewhat surprising, property of this family consists in the said ellipse being also the geometric locus of the critical points of the projectiles' distances from the launch point. In the article, to gain a better perspective on the geometry involved, we consider these loci from the standpoint of a free-falling frame. It is shown that, in this reference frame, the considered loci are congruent circles tangent to each other along the horizontal and internally tangent to another, twice as big a circle, which represents the locus of the projectiles' ranges. This simplified geometric description is employed to recover the elliptic locus in the laboratory frame and further explore its properties.


title: Calibration of chemical sensors in mobile wireless networks

abstract: Low-power chemical sensors deployed on mobile platforms make it possible to monitor pollutant concentrations across large urban areas. However, chemical sensors are prone to drift (e.g., aging, damage, poisoning) and have to be calibrated periodically. In this paper, we present an opportunistic calibration approach that relies on encounters between sensors; when in vicinity of each other, sensors exchange measurements and use the accumulated information to re-calibrate. We formulate the calibration process as weighted least-squares, where the most recent measurements are assigned the highest weights. We model the weights with an exponential decay function (in time) and optimize the decay constant using simulated annealing (SA). We validated the proposed method on a simulated sensor network with the sensors' mobility driven by random-waypoint (RWP) models. We present results in terms of average calibration errors for different weight functions, and network sizes.


title: Quick Lists: Enriched Playlist Embeddings for Future Playlist Recommendation

abstract: Recommending playlists to users in the context of a digital music service is a difficult task because a playlist is often more than the mere sum of its parts. We present a novel method for generating playlist embeddings that are invariant to playlist length and sensitive to local and global track ordering. The embeddings also capture information about playlist sequencing, and are enriched with side information about the playlist user. We show that these embeddings are useful for generating next-best playlist recommendations, and that side information can be used for the cold start problem.


title: ETMA: A New Software for Event Tree Analysis with Application to Power Protection

abstract: Event Tree (ET) analysis is a widely used forward deductive safety analysis technique for decision-making at a system design stage. Existing ET tools usually provide Graphical Users Interfaces (GUI) for users to manually draw system-level ET diagrams, which consist of nodes and branches, describing all possible success and failure scenarios. However, these tools do not include some important ET analysis steps, e.g., the automatic generation and reduction of a complete system ET diagram. In this paper, we present a new Event Trees Modeling and Analysis (ETMA) tool to facilitate users to conduct a complete ET analysis of a given system. Some key features of ETMA include: (i) automatic construction of a complete ET model of real-world systems; (ii) deletion/reduction of unnecessary ET nodes and branches; (iii) partitioning of ET paths; and (iv) probabilistic analysis of the occurrence of a certain event. For illustration purposes, we utilize our ETMA tool to conduct the ET analysis of a protective fault trip circuit in power grid transmission lines. We also compared the ETMA results with Isograph, which is a well-known commercial tool for ET analysis.


title: AI-Augmented Multi Function Radar Engineering with Digital Twin: Towards Proactivity

abstract: Thales new generation digital multi-missions radars, fully-digital and software-defined, like the Sea Fire and Ground Fire radars, benefit from a considerable increase of accessible degrees of freedoms to optimally design their operational modes. To effectively leverage these design choices and turn them into operational capabilities, it is necessary to develop new engineering tools, using artificial intelligence. Innovative optimization algorithms in the discrete and continuous domains, coupled with a radar Digital Twins, allowed construction of a generic tool for "search" mode design (beam synthesis, waveform and volume grid) compliant with the available radar time budget. The high computation speeds of these algorithms suggest tool application in a "Proactive Radar" configuration, which would dynamically propose to the operator, operational modes better adapted to environment, threats and the equipment failure conditions.


title: Topological characteristic factors and nilsystems

abstract: We prove that the maximal infinite step pro-nilfactor $X_\infty$ of a minimal dynamical system $(X,T)$ is the topological characteristic factor in a certain sense. Namely, we show that by an almost one to one modification of $\pi:X \rightarrow X_\infty$, the induced open extension $\pi^*:X^* \rightarrow X^*_\infty$ has the following property: for $x$ in a dense $G_\delta$ set of $X^*$, the orbit closure $L_x=\overline{{\mathcal{O}}}((x,x,\ldots,x), T\times T^2\times \ldots \times T^d)$ is $(\pi^*)^{(d)}$-saturated, i.e. $L_x=((\pi^*)^{(d)})^{-1}(\pi^*)^{(d)}(L_x)$. Using results derived from the above fact, we are able to answer several open questions: (1) if $(X,T^k)$ is minimal for some $k\ge 2$, then for any $d\in {\mathbb N}$ and any $0\le j<k$ there is a sequence $\{n_i\}$ of $\mathbb Z$ with $n_i\equiv j\ (\text{mod}\ k)$ such that $T^{n_i}x\rightarrow x, T^{2n_i}x\rightarrow x, \ldots, T^{dn_i}x\rightarrow x$ for $x$ in a dense $G_\delta$ subset of $X$; (2) if $(X,T)$ is totally minimal, then $\{T^{n^2}x:n\in {\mathbb Z}\}$ is dense in $X$ for $x$ in a dense $G_\delta$ subset of $X$; (3) for any $d\in\mathbb N$ and any minimal system, which is an open extension of its maximal distal factor, ${\bf RP}^{[d]}={\bf AP}^{[d]}$, where the latter is the regionally proximal relation of order $d$ along arithmetic progressions.


title: Spatio-temporal evolution of global surface temperature distributions

abstract: Climate is known for being characterised by strong non-linearity and chaotic behaviour. Nevertheless, few studies in climate science adopt statistical methods specifically designed for non-stationary or non-linear systems. Here we show how the use of statistical methods from Information Theory can describe the non-stationary behaviour of climate fields, unveiling spatial and temporal patterns that may otherwise be difficult to recognize. We study the maximum temperature at two meters above ground using the NCEP CDAS1 daily reanalysis data, with a spatial resolution of 2.5 by 2.5 degree and covering the time period from 1 January 1948 to 30 November 2018. The spatial and temporal evolution of the temperature time series are retrieved using the Fisher Information Measure, which quantifies the information in a signal, and the Shannon Entropy Power, which is a measure of its uncertainty -- or unpredictability. The results describe the temporal behaviour of the analysed variable. Our findings suggest that tropical and temperate zones are now characterized by higher levels of entropy. Finally, Fisher-Shannon Complexity is introduced and applied to study the evolution of the daily maximum surface temperature distributions.


title: Leveraging traditional ecological knowledge in ecosystem restoration projects utilizing machine learning

abstract: Ecosystem restoration has been recognized to be critical to achieving accelerating progress on all of the United Nations' Sustainable Development Goals. Decision makers, policymakers, data scientists, earth scientists, and other scholars working on these projects could positively benefit from the explicit consideration and inclusion of diverse perspectives. Community engagement throughout the stages of ecosystem restoration projects could contribute to improved community well-being, the conservation of biodiversity, ecosystem functions, and the resilience of socio-ecological systems. Conceptual frameworks are needed for the meaningful integration of traditional ecological knowledge of indigenous peoples and local communities with data science and machine learning work practices. Adaptive frameworks would consider and address the needs and challenges of local communities and geographic locations by improving community and inter-agent communication around restoration and conservation projects and by making relevant real-time data accessible. In this paper, we provide a brief analysis of existing Machine Learning (ML) applications for forest ecosystem restoration projects. We go on to question if their inherent limitations may prevent them from being able to adequately address socio-cultural aspects of the well-being of all involved stakeholders. Bias and unintended consequences pose significant risks of downstream negative implications of ML-based solutions. We suggest that adaptive and scalable practices could incentivize interdisciplinary collaboration during all stages of ecosystemic ML restoration projects and align incentives between human and algorithmic actors. Furthermore, framing ML projects as open and reiterative processes can facilitate access on various levels and create incentives that lead to catalytic cooperation in the scaling of restoration efforts.


title: Stablecoins 2.0: Economic Foundations and Risk-based Models

abstract: Stablecoins are one of the most widely capitalized type of cryptocurrency. However, their risks vary significantly according to their design and are often poorly understood. We seek to provide a sound foundation for stablecoin theory, with a risk-based functional characterization of the economic structure of stablecoins. First, we match existing economic models to the disparate set of custodial systems. Next, we characterize the unique risks that emerge in non-custodial stablecoins and develop a model framework that unifies existing models from economics and computer science. We further discuss how this modeling framework is applicable to a wide array of cryptoeconomic systems, including cross-chain protocols, collateralized lending, and decentralized exchanges. These unique risks yield unanswered research questions that will form the crux of research in decentralized finance going forward.


title: Evaluating Different Machine Learning Techniques as Surrogate for Low Voltage Grids

abstract: The transition of the power grid requires new technologies and methodologies, which can only be developed and tested in simulations. Especially larger simulation setups with many levels of detail can become quite slow. Therefore, the number of possible simulation evaluations decreases. One solution to overcome this issue is to use surrogate models, i.e., data-driven approximations of (sub)systems. In a recent work, a surrogate model for a low voltage grid was built using artificial neural networks, which achieved satisfying results. However, there were still open questions regarding the assumptions and simplifications made. In this paper, we present the results of our ongoing research, which answer some of these question. We compare different machine learning algorithms as surrogate models and exchange the grid topology and size. In a set of experiments, we show that algorithms based on linear regression and artificial neural networks yield the best results independent of the grid topology. Furthermore, adding volatile energy generation and a variable phase angle does not decrease the quality of the surrogate models.


title: End-to-end deep metamodeling to calibrate and optimize energy loads

abstract: In this paper, we propose a new end-to-end methodology to optimize the energy performance and the comfort, air quality and hygiene of large buildings. A metamodel based on a Transformer network is introduced and trained using a dataset sampled with a simulation program. Then, a few physical parameters and the building management system settings of this metamodel are calibrated using the CMA-ES optimization algorithm and real data obtained from sensors. Finally, the optimal settings to minimize the energy loads while maintaining a target thermal comfort and air quality are obtained using a multi-objective optimization procedure. The numerical experiments illustrate how this metamodel ensures a significant gain in energy efficiency while being computationally much more appealing than models requiring a huge number of physical parameters to be estimated.


title: Charge noise and overdrive errors in reflectometry-based charge, spin and Majorana qubit readout

abstract: Solid-state qubits incorporating quantum dots can be read out by gate reflectometry. Here, we theoretically describe physical mechanisms that render such reflectometry-based readout schemes imperfect. We discuss charge qubits, singlet-triplet spin qubits, and Majorana qubits. In our model, we account for readout errors due to slow charge noise, and due to overdriving, when a too strong probe is causing errors. A key result is that for charge and spin qubits, the readout fidelity saturates at large probe strengths, whereas for Majorana qubits, there is an optimal probe strength which provides a maximized readout fidelity. We also point out the existence of severe readout errors appearing in a resonance-like fashion as the pulse strength is increased, and show that these errors are related to probe-induced multi-photon transitions. Besides providing practical guidelines toward optimized readout, our study might also inspire ways to use gate reflectometry for device characterization.


title: Randomly Weighted, Untrained Neural Tensor Networks Achieve Greater Relational Expressiveness

abstract: Neural Tensor Networks (NTNs), which are structured to encode the degree of relationship among pairs of entities, are used in Logic Tensor Networks (LTNs) to facilitate Statistical Relational Learning (SRL) in first-order logic. In this paper, we propose Randomly Weighted Tensor Networks (RWTNs), which incorporate randomly drawn, untrained tensors into an NTN encoder network with a trained decoder network. We show that RWTNs meet or surpass the performance of traditionally trained LTNs for Semantic Image Interpretation (SII) tasks that have been used as a representative example of how LTNs utilize reasoning over first-order logic to exceed the performance of solely data-driven methods. We demonstrate that RWTNs outperform LTNs for the detection of the relevant part-of relations between objects, and we show that RWTNs can achieve similar performance as LTNs for object classification while using fewer parameters for learning. Furthermore, we demonstrate that because the randomized weights do not depend on the data, several decoder networks can share a single NTN, giving RWTNs a unique economy of spatial scale for simultaneous classification tasks.


title: A numerical study of gravity driven instability in strongly coupled dusty plasmas.Part I: Rayleigh-Taylor instability and Buoyancy-driven instability

abstract: Rayleigh-Taylor and Buoyancy-driven instabilities are very common instabilities for an inhomogeneous medium. We examine here how these instabilities grow for incompressible viscoelastic fluids like a strongly coupled dusty plasma by using incompressible generalized hydrodynamic (i-GHD) fluid model. Since the dust particles are pretty massive, the gravitational attraction of earth has a significant role in its dynamics. In this paper the acceleration due to gravity g and the role of strong coupling in the context of gravitationally stratified dusty plasma fluid have been considered. We find that the appearance of elasticity speed up the growth of viscoelastic RT instability by reducing the effect of viscosity at timescales shorter than the Maxwell relaxation time ${\tau_m}$. The buoyancy driven situation with spatially localized (in both dimensions) of low/high density regions placed in a background medium has also been evolved in the presence of gravity. Our studies show that both the instabilities get suppressed with increasing coupling strength of the medium. This suppression has been illustrated analytically as well as by carrying out a two-dimensional fully nonlinear simulation.


title: Output-Weighted Optimal Sampling for Bayesian Experimental Design and Uncertainty Quantification

abstract: We introduce a class of acquisition functions for sample selection that leads to faster convergence in applications related to Bayesian experimental design and uncertainty quantification. The approach follows the paradigm of active learning, whereby existing samples of a black-box function are utilized to optimize the next most informative sample. The proposed method aims to take advantage of the fact that some input directions of the black-box function have a larger impact on the output than others, which is important especially for systems exhibiting rare and extreme events. The acquisition functions introduced in this work leverage the properties of the likelihood ratio, a quantity that acts as a probabilistic sampling weight and guides the active-learning algorithm towards regions of the input space that are deemed most relevant. We demonstrate superiority of the proposed approach in the uncertainty quantification of a hydrological system as well as the probabilistic quantification of rare events in dynamical systems and the identification of their precursors.


title: Binary linear codes with few weights from two-to-one functions

abstract: In this paper, we apply two-to-one functions over $\mathbb{F}_{2^n}$ in two generic constructions of binary linear codes. We consider two-to-one functions in two forms: (1) generalized quadratic functions; and (2) $\left(x^{2^t}+x\right)^e$ with $\gcd(t, n)=1$ and $\gcd\left(e, 2^n-1\right)=1$. Based on the study of the Walsh transforms of those functions or their related-ones, we present many classes of linear codes with few nonzero weights, including one weight, three weights, four weights and five weights. The weight distributions of the proposed codes with one weight and with three weights are determined. In addition, we discuss the minimum distance of the dual of the constructed codes and show that some of them achieve the sphere packing bound. { Moreover, several examples show that some of our codes are optimal and some have the best known parameters.}


title: Manifestations of classical size effect and electronic viscosity in the magnetoresistance of narrow two-dimensional conductors: Theory and experiment

abstract: We develop a classical kinetic theory of magnetotransport of 2D electrons in narrow channels with partly diffusive boundary scattering and apply it to description of magnetoresistance measured in the temperature interval 4.2-30 K in long mesoscopic bars fabricated from high-purity GaAs quantum well structures. Both experiment and theory demonstrate a number of characteristic features in the longitudinal and Hall resistances caused by the size effect in two dimensions owing to the high ballisticity of the transport. In addition to the features described previously, we also reveal a change in the slope of the first derivative of magnetoresistance when the cyclotron orbit diameter equals to half of the channel width. These features are suppressed with increasing temperature as a result of the electronic viscosity due to electron-electron interaction. By comparing theory and experiment, we determine the characteristic time of relaxation of angular distribution of electrons caused by electron-electron scattering.


title: Frequency-modulated combs as phase solitons

abstract: Frequency combs are light sources with coherent evenly-spaced lines. It has been observed that in certain laser systems, combs can form whose output is frequency-modulated (FM) in time. In this state, they produce an output whose frequency sweeps linearly and periodically. These results have been replicated numerically, but a thorough understanding of their core physics remains elusive. Surprisingly, we have found that these lasers are described by a nonlinear Schrodinger equation whose potential is proportional to the phase of the electric field. This equation can be solved exactly and produces a field whose phase is piecewise quadratic in time---an FM comb. These results can be used to derive all of the salient features of FM combs, and our general theory is applicable to any nonlinear optical system with large internal gain. More generally, this result portends the development of new coherent states of light governed by phase potentials rather than amplitude potentials.


title: Unstable kink-soliton profiles for the sine-Gordon equation on a $\mathcal{Y}$-junction graph with $\delta$-interaction

abstract: The aim of this work is to establish a linear instability result of stationary, kink and kink/anti-kink soliton profile solutions for the sine-Gordon equation on a metric graph with a structure represented by a $\mathcal Y$-junction. The model considers boundary conditions at the graph-vertex of $\delta$-interaction type, or in other words, continuity of the wave functions at the vertex plus a law of Kirchhoff-type for the flux. It is shown that kink and kink/anti-kink soliton type stationary profiles are linearly (and nonlinearly) unstable. For that purpose, a linear instability criterion that provides the sufficient conditions on the linearized operator around the wave to have a pair of real positive/negative eigenvalues, is established. As a result, the linear stability analysis depends upon of the spectral study of this linear operator and of its Morse index. The extension theory of symmetric operators, Sturm-Liouville oscillation results and analytic perturbation theory of operators are fundamental ingredients in the stability analysis. A comprehensive study of the local well-posedness of the sine-Gordon model in $\mathcal E(\mathcal Y) \times L^2(\mathcal{Y})$ where $\mathcal E(\mathcal Y) \subset H^1(\mathcal{Y})$ is an appropriate energy space, is also established. The theory developed in this investigation has prospects for the study of the instability of stationary wave solutions of other nonlinear evolution equations on metric graphs.


title: How fair can we go in machine learning? Assessing the boundaries of fairness in decision trees

abstract: Fair machine learning works have been focusing on the development of equitable algorithms that address discrimination of certain groups. Yet, many of these fairness-aware approaches aim to obtain a unique solution to the problem, which leads to a poor understanding of the statistical limits of bias mitigation interventions. We present the first methodology that allows to explore those limits within a multi-objective framework that seeks to optimize any measure of accuracy and fairness and provides a Pareto front with the best feasible solutions. In this work, we focus our study on decision tree classifiers since they are widely accepted in machine learning, are easy to interpret and can deal with non-numerical information naturally. We conclude experimentally that our method can optimize decision tree models by being fairer with a small cost of the classification error. We believe that our contribution will help stakeholders of sociotechnical systems to assess how far they can go being fair and accurate, thus serving in the support of enhanced decision making where machine learning is used.


title: A Hierarchical Architecture for the Coordination of an Ensemble of Steam Generators

abstract: This work presents a hierarchical architecture for the optimal management of an ensemble of steam generators, which needs to jointly sustain a common load. The coordination of independent subsystems is provided by a multi-layer control scheme. A high-level optimizer computes the optimal shares of production to be allocated to single generators. At medium level, a robust tube-based model predictive control (MPC) is proposed to track the time-varying demand of the ensemble using a centralized, but aggregated model, whose order does not scale with the number of subsystems. At low level, decentralized controllers are in place to stabilize the internal boiler pressure. The control architecture enables the dynamic modification of the ensemble configuration and plug and play operations. Simulation results are reported to demonstrate the potentialities of the proposed approach.


title: Trace Formulas for a Conformable Fractional Diffusion Operator

abstract: In this paper, the regularized trace formulas for a diffusion operator which include conformable fractional derivatives of order {\alpha} (0<{\alpha \leq 1}) is obtained.


title: A Neural Network for Determination of Latent Dimensionality in Nonnegative Matrix Factorization

abstract: Non-negative Matrix Factorization (NMF) has proven to be a powerful unsupervised learning method for uncovering hidden features in complex and noisy data sets with applications in data mining, text recognition, dimension reduction, face recognition, anomaly detection, blind source separation, and many other fields. An important input for NMF is the latent dimensionality of the data, that is, the number of hidden features, K, present in the explored data set. Unfortunately, this quantity is rarely known a priori. We utilize a supervised machine learning approach in combination with a recent method for model determination, called NMFk, to determine the number of hidden features automatically. NMFk performs a set of NMF simulations on an ensemble of matrices, obtained by bootstrapping the initial data set, and determines which K produces stable groups of latent features that reconstruct the initial data set well. We then train a Multi-Layer Perceptron (MLP) classifier network to determine the correct number of latent features utilizing the statistics and characteristics of the NMF solutions, obtained from NMFk. In order to train the MLP classifier, a training set of 58,660 matrices with predetermined latent features were factorized with NMFk. The MLP classifier in conjunction with NMFk maintains a greater than 95% success rate when applied to a held out test set. Additionally, when applied to two well-known benchmark data sets, the swimmer and MIT face data, NMFk/MLP correctly recovered the established number of hidden features. Finally, we compared the accuracy of our method to the ARD, AIC and Stability-based methods.


title: Definability of mixed period maps

abstract: We equip integral graded-polarized mixed period spaces with a natural $\mathbb{R}_{alg}$-definable analytic structure, and prove that any period map associated to an admissible variation of integral graded-polarized mixed Hodge structures is definable in $\mathbb{R}_{an,exp}$ with respect to this structure. As a consequence we reprove that the zero loci of admissible normal functions are algebraic.


title: Origins of the method to determine the CKM angle $\gamma$ using $B^{\pm} \to D K^{\pm}$, $D \to K_{\rm S}^0\pi^+\pi^-$ decays

abstract: The angle $\gamma$ of the Cabibbo--Kobayashi--Maskawa unitarity triangle is a benchmark parameter of the Standard Model of particle physics. A method to determine $\gamma$ from $B^{\pm} \to D K^{\pm}$ with subsequent $D \to K_{\rm S}^0\pi^+\pi^-$ or similar multibody decays has been proven to provide good sensitivity. We review the first discussions on the use of this technique, and its impact subsequently. We propose that this approach should be referred to as the BPGGSZ method.


title: A Note on Decomposable Maps on Operator Systems

abstract: This article contains a characterization of operator systems $\cS$ with the property that every positive map $\phi:\cS \rightarrow M_n$ is decomposable, as well as an alternate and a more direct proof of a characterization of decomposable maps due to E. St\o rmer.


title: On the alpha-loss Landscape in the Logistic Model

abstract: We analyze the optimization landscape of a recently introduced tunable class of loss functions called $\alpha$-loss, $\alpha \in (0,\infty]$, in the logistic model. This family encapsulates the exponential loss ($\alpha = 1/2$), the log-loss ($\alpha = 1$), and the 0-1 loss ($\alpha = \infty$) and contains compelling properties that enable the practitioner to discern among a host of operating conditions relevant to emerging learning methods. Specifically, we study the evolution of the optimization landscape of $\alpha$-loss with respect to $\alpha$ using tools drawn from the study of strictly-locally-quasi-convex functions in addition to geometric techniques. We interpret these results in terms of optimization complexity via normalized gradient descent.


title: Feedback Synchronization of FHN Cellular Neural Networks

abstract: In this work we study the synchronization of ring-structured cellular neural networks modeled by the lattice FitzHugh-Nagumo equations with boundary feedback. Through the uniform estimates of solutions and the analysis of dissipative dynamics, the synchronization of this type neural networks is proved under the condition that the boundary gap signal exceeds the adjustable threshold.


title: Optimal Extensions of Resource Measures and their Applications

abstract: We develop a framework to extend resource measures from one domain to a larger one. We find that all extensions of resource measures are bounded between two quantities that we call the minimal and maximal extensions. We discuss various applications of our framework. We show that any relative entropy (i.e. an additive function on pairs of quantum states that satisfies the data processing inequality) must be bounded by the min and max relative entropies. We prove that the generalized trace distance, the generalized fidelity, and the purified distance are optimal extensions. And in entanglement theory we introduce a new technique to extend pure state entanglement measures to mixed bipartite states.


title: Heterostructure design to achieve high quality, high density GaAs 2D electron system with $g$-factor tending to zero

abstract: Hydrostatic pressure is a useful tool that can tune several key parameters in solid state materials. For example, the Land\'e $g$-factor in GaAs two-dimensional electron systems (2DESs) is expected to change from its bulk value $g\simeq-0.44$ to zero and even to positive values under a sufficiently large hydrostatic pressure. Although this presents an intriguing platform to investigate electron-electron interaction in a system with $g=0$, studies are quite limited because the GaAs 2DES density decreases significantly with increasing hydrostatic pressure. Here we show that a simple model, based on pressure-dependent changes in the conduction band alignment, quantitatively explains this commonly observed trend. Furthermore, we demonstrate that the decrease in the 2DES density can be suppressed by more than a factor of 3 through an innovative heterostructure design.


title: Efficient ab initio calculation of electronic stopping in disordered systems via geometry pre-sampling: application to liquid water

abstract: Knowledge of the electronic stopping curve for swift ions, $S_e(v)$, particularly around the Bragg peak, is important for understanding radiation damage. Experimentally, however, the determination of such feature for light ions is very challenging, especially in disordered systems such as liquid water and biological tissue. Recent developments in real-time time-dependent density functional theory (rt-TDDFT) have enabled the calculation of $S_e(v)$ along nm-sized trajectories. However, it is still a challenge to obtain a meaningful statistically averaged $S_e(v)$ that can be compared to observations. In this work, taking advantage of the correlation between the local electronic structure probed by the projectile and the distance from the projectile to the atoms in the target, we devise a trajectory pre-sampling scheme to select, geometrically, a small set of short trajectories to accelerate the convergence of the averaged $S_e(v)$ computed via rt-TDDFT. For protons in liquid water, we first calculate the reference probability distribution function (PDF) for the distance from the proton to the closest oxygen atom, $\phi_R(r_{p{\rightarrow}O})$, for a trajectory of a length similar to those sampled experimentally. Then, short trajectories are sequentially selected so that the accumulated PDF reproduces $\phi_R(r_{p{\rightarrow}O})$ to increasingly high accuracy. Using these pre-sampled trajectories, we demonstrate that the averaged $S_e(v_p)$ converges in the whole velocity range with less than eight trajectories, while other averaging methods using randomly and uniformly distributed trajectories require approximately ten times the computational effort. This allows us to compare the $S_e(v_p)$ curve to experimental data, and assess widely used empirical tables based on Bragg's rule.

categories: physics.comp-ph cond-mat.mtrl-sci cond-mat.soft physics.chem-ph


title: Game Theory on the Ground: The Effect of Increased Patrols on Deterring Poachers

abstract: Applications of artificial intelligence for wildlife protection have focused on learning models of poacher behavior based on historical patterns. However, poachers' behaviors are described not only by their historical preferences, but also their reaction to ranger patrols. Past work applying machine learning and game theory to combat poaching have hypothesized that ranger patrols deter poachers, but have been unable to find evidence to identify how or even if deterrence occurs. Here for the first time, we demonstrate a measurable deterrence effect on real-world poaching data. We show that increased patrols in one region deter poaching in the next timestep, but poachers then move to neighboring regions. Our findings offer guidance on how adversaries should be modeled in realistic game-theoretic settings.


title: 1/f noise and quantum indeterminacy

abstract: An approach to the problem of 1/f voltage noise in conductors is developed based on an uncertainty relation for the Fourier-transformed signal. The quantum indeterminacy caused by non-commutativity of the observables at different times makes the voltage autocovariance ambiguous, but the power spectrum of fluctuations remains well-defined. It is shown that a lower bound on the power spectrum exists, which is related to the antisymmetric part of the voltage correlation function. Using the Schwinger-Keldysh method, this bound is calculated explicitly in the case of unpolarized charge carriers with a parabolic dispersion, and is found to have a 1/f low-frequency asymptotic. A comparison with the 1/f-noise measurements in InGaAs quantum wells is made which shows that the observed noise levels are only a few times higher than the bound established.


title: Time-Domain to Delay-Doppler Domain Conversion of OTFS Signals in Very High Mobility Scenarios

abstract: In Orthogonal Time Frequency Space (OTFS) modulation, information symbols are embedded in the delay-Doppler (DD) domain instead of the time-frequency (TF) domain. n order to ensure compatibility with existing OFDM systems (e.g. 4G LTE), most prior work on OTFS receivers consider a two-step conversion, where the received time-domain (TD) signal is firstly converted to a time-frequency (TF) signal (using an OFDM demodulator) followed by post-processing of this TF signal into a DD domain signal. In this paper, we show that the spectral efficiency (SE) performance of a two-step conversion based receiver degrades in very high mobility scenarios where the Doppler shift is a significant fraction of the communication bandwidth (e.g., control and non-payload communication (CNPC) in Unmanned Aircraft Systems (UAS)). We therefore consider an alternate conversion, where the received TD signal is directly converted to the DD domain. The resulting received DD domain signal is shown to be not the same as that obtained in the two-step conversion considered in prior works. The alternate conversion does not require an OFDM demodulator and is shown to have lower complexity than the two-step conversion. Analysis and simulations reveal that even in very high mobility scenarios, the SE achieved with the alternate conversion is invariant of Doppler shift and is significantly higher than the SE achieved with two-step conversion (which degrades with increasing Doppler shift).


title: Dirichlet-Smoothed Word Embeddings for Low-Resource Settings

abstract: Nowadays, classical count-based word embeddings using positive pointwise mutual information (PPMI) weighted co-occurrence matrices have been widely superseded by machine-learning-based methods like word2vec and GloVe. But these methods are usually applied using very large amounts of text data. In many cases, however, there is not much text data available, for example for specific domains or low-resource languages. This paper revisits PPMI by adding Dirichlet smoothing to correct its bias towards rare words. We evaluate on standard word similarity data sets and compare to word2vec and the recent state of the art for low-resource settings: Positive and Unlabeled (PU) Learning for word embeddings. The proposed method outperforms PU-Learning for low-resource settings and obtains competitive results for Maltese and Luxembourgish.


title: The Generalized Lasso with Nonlinear Observations and Generative Priors

abstract: In this paper, we study the problem of signal estimation from noisy non-linear measurements when the unknown $n$-dimensional signal is in the range of an $L$-Lipschitz continuous generative model with bounded $k$-dimensional inputs. We make the assumption of sub-Gaussian measurements, which is satisfied by a wide range of measurement models, such as linear, logistic, 1-bit, and other quantized models. In addition, we consider the impact of adversarial corruptions on these measurements. Our analysis is based on a generalized Lasso approach (Plan and Vershynin, 2016). We first provide a non-uniform recovery guarantee, which states that under i.i.d.~Gaussian measurements, roughly $O\left(\frac{k}{\epsilon^2}\log L\right)$ samples suffice for recovery with an $\ell_2$-error of $\epsilon$, and that this scheme is robust to adversarial noise. Then, we apply this result to neural network generative models, and discuss various extensions to other models and non-i.i.d.~measurements. Moreover, we show that our result can be extended to the uniform recovery guarantee under the assumption of a so-called local embedding property, which is satisfied by the 1-bit and censored Tobit models.


title: Marked colimits and higher cofinality

abstract: Given a marked $\infty$-category $\mathcal{D}^{\dagger}$ (i.e. an $\infty$-category equipped with a specified collection of morphisms) and a functor $F: \mathcal{D} \to \mathbb{B}$ with values in an $\infty$-bicategory, we define $\operatorname{colim}^{\dagger} F$, the marked colimit of $F$. We provide a definition of weighted colimits in $\infty$-bicategories when the indexing diagram is an $\infty$-category and show that they can be computed in terms of marked colimits. In the maximally marked case $\mathcal{D}^{\sharp}$, our construction retrieves the $\infty$-categorical colimit of $F$ in the underlying $\infty$-category $\mathcal{B} \subseteq \mathbb{B}$. In the specific case when $\mathbb{B}=\mathfrak{Cat}_{\infty}$, the $\infty$-bicategory of $\infty$-categories and $\mathcal{D}^{\flat}$ is minimally marked, we recover the definition of lax colimit of Gepner-Haugseng-Nikolaus. We show that a suitable $\infty$-localization of the associated coCartesian fibration $\operatorname{Un}_{\mathcal{D}}(F)$ computes $\operatorname{colim}^{\dagger} F$. Our main theorem is a characterization of those functors of marked $\infty$-categories $f:\mathcal{C}^{\dagger} \to \mathcal{D}^{\dagger}$ which are marked cofinal. More precisely, we provide sufficient and necessary criteria for the restriction of diagrams along $f$ to preserve marked colimits.


title: Mitigation of LEO Satellite Brightness and Trail Effects on the Rubin Observatory LSST

abstract: We report studies on the mitigation of optical effects of bright low-Earth-orbit (LEO) satellites on Vera C. Rubin Observatory and its Legacy Survey of Space and Time (LSST). These include options for pointing the telescope to avoid satellites, laboratory investigations of bright trails on the Rubin Observatory LSST camera sensors, algorithms for correcting image artifacts caused by bright trails, experiments on darkening SpaceX Starlink satellites, and ground-based follow-up observations. The original Starlink v0.9 satellites are g ~ 4.5 mag, and the initial experiment "DarkSat" is g ~ 6.1 mag. Future Starlink darkening plans may reach g ~ 7 mag, a brightness level that enables nonlinear image artifact correction to well below background noise. However, the satellite trails will still exist at a signal-to-noise ratio ~ 100, generating systematic errors that may impact data analysis and limit some science. For the Rubin Observatory 8.4-m mirror and a satellite at 550 km, the full width at half maximum of the trail is about 3" as the result of an out-of-focus effect, which helps avoid saturation by decreasing the peak surface brightness of the trail. For 48,000 LEOsats of apparent magnitude 4.5, about 1% of pixels in LSST nautical twilight images would need to be masked.


title: A Step Towards Interpretable Authorship Verification

abstract: A central problem that has been researched for many years in the field of digital text forensics is the question whether two documents were written by the same author. Authorship verification (AV) is a research branch in this field that deals with this question. Over the years, research activities in the context of AV have steadily increased, which has led to a variety of approaches trying to solve this problem. Many of these approaches, however, make use of features that are related to or influenced by the topic of the documents. Therefore, it may accidentally happen that their verification results are based not on the writing style (the actual focus of AV), but on the topic of the documents. To address this problem, we propose an alternative AV approach that considers only topic-agnostic features in its classification decision. In addition, we present a post-hoc interpretation method that allows to understand which particular features have contributed to the prediction of the proposed AV method. To evaluate the performance of our AV method, we compared it with ten competing baselines (including the current state of the art) on four challenging data sets. The results show that our approach outperforms all baselines in two cases (with a maximum accuracy of 84%), while in the other two cases it performs as well as the strongest baseline.


title: Capillary transport in paper porous materials at low saturation levels

abstract: The problem of capillary transport in fibrous porous materials at low levels of liquid saturation has been addressed. It has been demonstrated, that the process of liquid spreading in this type of porous materials at low saturation can be described macroscopically by a similar super-fast, non-linear diffusion model as that, which had been previously identified in experiments and simulations in particulate porous media. The macroscopic diffusion model has been underpinned by simulations using a microscopic network model. The theoretical results have been qualitatively compared with available experimental observations using persistent liquids.


title: The Hubble Tension in Light of the Full-Shape Analysis of Large-Scale Structure Data

abstract: The disagreement between direct late-time measurements of the Hubble constant from the SH0ES collaboration, and early-universe measurements based on the $\Lambda$CDM model from the Planck collaboration might, at least in principle, be explained by new physics in the early universe. Recently, the application of the Effective Field Theory of Large-Scale Structure to the full shape of the power spectrum of the SDSS/BOSS data has revealed a new, rather powerful, way to measure the Hubble constant and the other cosmological parameters from Large-Scale Structure surveys. In light of this, we analyze two models for early universe physics, Early Dark Energy and Rock 'n' Roll, that were designed to significantly ameliorate the Hubble tension. Upon including the information from the full shape to the Planck, BAO, and Supernovae measurements, we find that the degeneracies in the cosmological parameters that were introduced by these models are well broken by the data, so that these two models do not significantly ameliorate the tension.


title: Spin Hall effect in heavy ion collisions

abstract: Spin Hall effect (SHE) is the generation of spin current due to an electric field, and has been observed in a variety of materials. The analogous spin Hall current can be induced by chemical potential and temperature gradient, both of which are present in hot and dense nuclear matter created in heavy-ion collisions. In this letter, we investigate the perspective of detecting spin Hall current experimentally. We propose to measure "directed spin flow", the first Fourier coefficients of local spin polarization of $\Lambda$ ($\bar{\Lambda}$) hyperon, at central collisions to probe spin Hall current. To quantify induced spin current, we evaluate relevant transport coefficients using thermal field theory. We benchmark the magnitude of the induced "directed spin flow" at two representatively collisions energies, namely $\sqrt{s}_{NN}=200~{\rm GeV}$ and $\sqrt{s}_{NN}=19.6~{\rm GeV}$, by employing a phenomenologically motivated freeze-out prescription. At both beam energies, the resulting "directed spin flow" ranges from $10^{-4}$ to $10^{-3}$, and is very sensitive to the rapidity.


title: Constraining subglacial processes from surface velocity observations using surrogate-based Bayesian inference

abstract: Basal motion is the primary mechanism for ice flux outside Antarctica, yet a widely applicable model for predicting it in the absence of retrospective observations remains elusive. This is due to the difficulty in both observing small-scale bed properties and predicting a time-varying water pressure on which basal motion putatively depends. We take a Bayesian approach to these problems by coupling models of ice dynamics and subglacial hydrology and conditioning on observations of surface velocity in southwestern Greenland to infer the posterior probability distributions for eight spatially and temporally constant parameters governing the behavior of both the sliding law and hydrologic model. Because the model is computationally expensive, classical MCMC sampling is intractable. We skirt this issue by training a neural network as a surrogate that approximates the model at a sliver of the computational cost. We find that surface velocity observations establish strong constraints on model parameters relative to a prior distribution and also elucidate correlations, while the model explains 60% of observed variance. However, we also find that several distinct configurations of the hydrologic system and stress regime are consistent with observations, underscoring the need for continued data collection and model development.

categories: physics.comp-ph cs.LG physics.data-an physics.geo-ph


title: Magnon Landau Levels and Spin Responses in Antiferromagnets

abstract: We study gauge fields produced by gradients of the Dzyaloshinskii-Moriya interaction and propose a model of AFM topological insulator of magnons. In the long wavelength limit, the Landau levels induced by the inhomogeneous Dzyaloshinskii-Moriya interaction exhibit relativistic physics described by the Klein-Gordon equation. The spin Nernst response due to the formation of magnonic Landau levels is compared to similar topological responses in skyrmion and vortex-antivortex crystal phases of AFM insulators. Our studies show that AFM insulators exhibit rich physics associated with topological magnon excitations.


title: Enhanced x-ray emission arising from laser-plasma confinement by a strong transverse magnetic field

abstract: We analyze, using experiments and 3D MHD numerical simulations, the dynamics and radiative properties of a plasma ablated by a laser (1 ns, 10$^{12}$-10$^{13}$ W/cm$^2$) from a solid target, as it expands into a homogeneous, strong magnetic field (up to 30 T) transverse to its main expansion axis. We find that as soon as 2 ns after the start of the expansion, the plasma becomes constrained by the magnetic field. As the magnetic field strength is increased, more plasma is confined close to the target and is heated by magnetic compression. We also observe a dense slab that rapidly expands into vacuum after ~ 8 ns; however, this slab contains only ~ 2 % of the total plasma. As a result of the higher density and increased heating of the confined plasma, there is a net enhancement of the total x-ray emissivity induced by the magnetization.


title: Deep Job Understanding at LinkedIn

abstract: As the world's largest professional network, LinkedIn wants to create economic opportunity for everyone in the global workforce. One of its most critical missions is matching jobs with processionals. Improving job targeting accuracy and hire efficiency align with LinkedIn's Member First Motto. To achieve those goals, we need to understand unstructured job postings with noisy information. We applied deep transfer learning to create domain-specific job understanding models. After this, jobs are represented by professional entities, including titles, skills, companies, and assessment questions. To continuously improve LinkedIn's job understanding ability, we designed an expert feedback loop where we integrated job understanding models into LinkedIn's products to collect job posters' feedback. In this demonstration, we present LinkedIn's job posting flow and demonstrate how the integrated deep job understanding work improves job posters' satisfaction and provides significant metric lifts in LinkedIn's job recommendation system.


title: Using Company Specific Headlines and Convolutional Neural Networks to Predict Stock Fluctuations

abstract: This work presents a Convolutional Neural Network (CNN) for the prediction of next-day stock fluctuations using company-specific news headlines. Experiments to evaluate model performance using various configurations of word-embeddings and convolutional filter widths are reported. The total number of convolutional filters used is far fewer than is common, reducing the dimensionality of the task without loss of accuracy. Furthermore, multiple hidden layers with decreasing dimensionality are employed. A classification accuracy of 61.7\% is achieved using pre-learned embeddings, that are fine-tuned during training to represent the specific context of this task. Multiple filter widths are also implemented to detect different length phrases that are key for classification. Trading simulations are conducted using the presented classification results. Initial investments are more than tripled over a 838 day testing period using the optimal classification configuration and a simple trading strategy. Two novel methods are presented to reduce the risk of the trading simulations. Adjustment of the sigmoid class threshold and re-labelling headlines using multiple classes form the basis of these methods. A combination of these approaches is found to more than double the Average Trade Profit (ATP) achieved during baseline simulations.


title: Learning Koopman Representations for Hybrid Systems

abstract: The Koopman operator lifts nonlinear dynamical systems into a functional space of observables, where the dynamics are linear. In this paper, we provide three different Koopman representations for hybrid systems. The first is specific to switched systems, and the second and third preserve the original hybrid dynamics while eliminating the discrete state variables; the second approach is straightforward, and we provide conditions under which the transformation associated with the third holds. Eliminating discrete state variables provides computational benefits when using data-driven methods to learn the Koopman operator and its observables. Following this, we use deep learning to implement each representation on two test cases, discuss the challenges associated with those implementations, and propose areas of future work.


title: On the density for sums of independent exponential, Erlang and gamma variates

abstract: This paper re-examines the density for sums of independent exponential, Erlang and gamma random variables. By using a divided difference perspective, the paper provides a unified approach to finding closed-form formulae for such convolutions. In particular, the divided difference perspective for sums of Erlang variates suggests a new approach to finding the density for sums of independent gamma variates using fractional calculus.


title: The dynamics of a driven harmonic oscillator coupled to pairwise interacting Ising spins in random fields

abstract: In general we are interested in dynamical systems coupled to complex hysteresis. Therefore as a first step we investigated recently the dynamics of a periodically driven damped harmonic oscillator coupled to independent Ising spins in a random field. Although such a system does not produce hysteresis, we showed how to characterize the dynamics of such a piecewise-smooth system, especially in the case of a large number of spins [P. Zech, A. Otto, and G. Radons, Phys. Rev. E 101, 042217 (2020)]. In this paper we extend our model to spin dimers, thus pairwise interacting spins. We show in which cases two interacting spins can show elementary hysteresis and we give a connection to the Preisach model, which allows us to consider an infinite number of spin-pairs. This thermodynamic limit leads us to a dynamical system with an additional hysteretic force in the form of a generalized play operator. By using methods from general chaos theory, piecewise-smooth system theory and statistics we investigate the chaotic behavior of the dynamical system for a few spins and also in case of a larger number of spins by calculating bifurcation diagrams, Lyapunov exponents, fractal dimensions and self-averaging properties. We find that the fractal dimensions and the magnetization are in general not self-averaging quantities. We show, how the dynamical properties of the piecewise-smooth system for a large number of spins differs from the system in its thermodynamic limit.


title: Deep Negative Volume Segmentation

abstract: Clinical examination of three-dimensional image data of compound anatomical objects, such as complex joints, remains a tedious process, demanding the time and the expertise of physicians. For instance, automation of the segmentation task of the TMJ (temporomandibular joint) has been hindered by its compound three-dimensional shape, multiple overlaid textures, an abundance of surrounding irregularities in the skull, and a virtually omnidirectional range of the jaw's motion - all of which extend the manual annotation process to more than an hour per patient. To address the challenge, we invent a new angle to the 3D segmentation task: namely, we propose to segment empty spaces between all the tissues surrounding the object - the so-called negative volume segmentation. Our approach is an end-to-end pipeline that comprises a V-Net for bone segmentation, a 3D volume construction by inflation of the reconstructed bone head in all directions along the normal vector to its mesh faces. Eventually confined within the skull bones, the inflated surface occupies the entire "negative" space in the joint, effectively providing a geometrical/topological metric of the joint's health. We validate the idea on the CT scans in a 50-patient dataset, annotated by experts in maxillofacial medicine, quantitatively compare the asymmetry given the left and the right negative volumes, and automate the entire framework for clinical adoption.


title: Stellar Basins of Gravitationally Bound Particles

abstract: A new physical phenomenon is identified: volumetric stellar emission into gravitationally bound orbits of weakly coupled particles such as axions, moduli, hidden photons, and neutrinos. While only a tiny fraction of the instantaneous luminosity of a star (the vast majority of the emission is into relativistic modes), the continual injection of these particles into a small part of phase space causes them to accumulate over astrophysically long time scales, forming what I call a "stellar basin", in analogy with the geologic kind. The energy density of the Solar basin will surpass that of the relativistic Solar flux at Earth's location after only a million years, for any sufficiently long-lived particle produced through an emission process whose matrix elements are unsuppressed at low momentum. This observation has immediate and striking consequences for direct detection experiments---including new limits on axion parameter space independent of dark matter assumptions---and may also increase the prospects for indirect detection of weakly interacting particles around compact stars.


title: Contextuality scenarios arising from networks of stochastic processes

abstract: An empirical model is a generalization of a probability space. It consists of a simplicial complex of subsets of a class X of random variables such that each simplex has an associated probability distribution. The ensuing marginalizations are coherent, in the sense that the distribution on a face of a simplex coincides with the marginal of the distribution over the entire simplex. An empirical model is said contextual if its distributions cannot be obtained marginalizing a joint distribution over X. Contextual empirical models arise naturally in quantum theory, giving rise to some of its counter-intuitive statistical consequences. In this paper we present a different and classical source of contextual empirical models: the interaction among many stochastic processes. We attach an empirical model to the ensuing network in which each node represents an open stochastic process with input and output random variables. The statistical behavior of the network in the long run makes the empirical model generically contextual and even strongly contextual.


title: What shapes feature representations? Exploring datasets, architectures, and training

abstract: In naturalistic learning problems, a model's input contains a wide range of features, some useful for the task at hand, and others not. Of the useful features, which ones does the model use? Of the task-irrelevant features, which ones does the model represent? Answers to these questions are important for understanding the basis of models' decisions, as well as for building models that learn versatile, adaptable representations useful beyond the original training task. We study these questions using synthetic datasets in which the task-relevance of input features can be controlled directly. We find that when two features redundantly predict the labels, the model preferentially represents one, and its preference reflects what was most linearly decodable from the untrained model. Over training, task-relevant features are enhanced, and task-irrelevant features are partially suppressed. Interestingly, in some cases, an easier, weakly predictive feature can suppress a more strongly predictive, but more difficult one. Additionally, models trained to recognize both easy and hard features learn representations most similar to models that use only the easy feature. Further, easy features lead to more consistent representations across model runs than do hard features. Finally, models have greater representational similarity to an untrained model than to models trained on a different task. Our results highlight the complex processes that determine which features a model represents.


title: Cardiac Segmentation on Late Gadolinium Enhancement MRI: A Benchmark Study from Multi-Sequence Cardiac MR Segmentation Challenge

abstract: Accurate computing, analysis and modeling of the ventricles and myocardium from medical images are important, especially in the diagnosis and treatment management for patients suffering from myocardial infarction (MI). Late gadolinium enhancement (LGE) cardiac magnetic resonance (CMR) provides an important protocol to visualize MI. However, automated segmentation of LGE CMR is still challenging, due to the indistinguishable boundaries, heterogeneous intensity distribution and complex enhancement patterns of pathological myocardium from LGE CMR. Furthermore, compared with the other sequences LGE CMR images with gold standard labels are particularly limited, which represents another obstacle for developing novel algorithms for automatic segmentation of LGE CMR. This paper presents the selective results from the Multi-Sequence Cardiac MR (MS-CMR) Segmentation challenge, in conjunction with MICCAI 2019. The challenge offered a data set of paired MS-CMR images, including auxiliary CMR sequences as well as LGE CMR, from 45 patients who underwent cardiomyopathy. It was aimed to develop new algorithms, as well as benchmark existing ones for LGE CMR segmentation and compare them objectively. In addition, the paired MS-CMR images could enable algorithms to combine the complementary information from the other sequences for the segmentation of LGE CMR. Nine representative works were selected for evaluation and comparisons, among which three methods are unsupervised methods and the other six are supervised. The results showed that the average performance of the nine methods was comparable to the inter-observer variations. The success of these methods was mainly attributed to the inclusion of the auxiliary sequences from the MS-CMR images, which provide important label information for the training of deep neural networks.


title: Precision Measurement of the Beam-Normal Single-Spin Asymmetry in Forward-Angle Elastic Electron-Proton Scattering

abstract: A beam-normal single-spin asymmetry generated in the scattering of transversely polarized electrons from unpolarized nucleons is an observable related to the imaginary part of the two-photon exchange process. We report a 2% precision measurement of the beam-normal single-spin asymmetry in elastic electron-proton scattering with a mean scattering angle of theta_lab = 7.9 degrees and a mean energy of 1.149 GeV. The asymmetry result is B_n = -5.194 +- 0.067 (stat) +- 0.082 (syst) ppm. This is the most precise measurement of this quantity available to date and therefore provides a stringent test of two-photon exchange models at far-forward scattering angles (theta_lab -> 0) where they should be most reliable.


title: Weak measurements, non-classicality and negative probability

abstract: This paper establishes a direct, robust and intimate connection between (i) non classicality tests for various quantum features, e.g., non-Boolean logic, quantum coherence, nonlocality, quantum entanglement, quantum discord; (ii) negative probability, and (iii) anomalous weak values. It has been shown [Adhikary et al. Eur. Phys. J. D, 74(68):68, 2020] that nonexistence of a classical joint probability scheme gives rise to sufficiency conditions for nonlocality, a nonclassical feature not restricted to quantum mechanics. The conditions for nonclassical features of quantum mechanics are obtained by employing pseudo probabilities, which are expectation values of the parent pseudo projections. The crux of the paper is that the pseudo-probabilities, which can take negative values, can be directly measured as anomalous weak values. We expect that this opens up new avenues for testing nonclassicality via weak measurements, and also gives deeper insight into negative pseudo probabilities which become measurable. A quantum game, based on violation of classical probability rule is also proposed that can be played by employing weak measurements.


title: Observation of a cusp-like structure in the $\gamma p \rightarrow K^+\Sigma^0$ cross section at forward angles and low momentum transfer

abstract: The $\gamma p \rightarrow K^+\Sigma^0$ differential cross section at extremely forward angles was measured at the BGOOD experiment. A three-quarter drop in strength over a narrow range in energy and a strong dependence on the polar angle of the $K^+$ in the centre-of-mass of the reaction is observed at a centre-of-mass energy of 1900\,MeV. Residing close to multiple open and hidden strangeness thresholds, the structure appears consistent with meson-baryon threshold effects which may contribute to the reaction mechanism.


title: Another generalization of Euler's arithmetic function and Menon's identity

abstract: We define the $k$-dimensional generalized Euler function $\varphi_k(n)$ as the number of ordered $k$-tuples $(a_1,\ldots,a_k)\in {\Bbb N}^k$ such that $1\le a_1,\ldots,a_k\le n$ and both the product $a_1\cdots a_k$ and the sum $a_1+\cdots +a_k$ are prime to $n$. We investigate some of properties of the function $\varphi_k(n)$, and obtain a corresponding Menon-type identity.


title: Fully-parallel Convolutional Neural Network Hardware

abstract: A new trans-disciplinary knowledge area, Edge Artificial Intelligence or Edge Intelligence, is beginning to receive a tremendous amount of interest from the machine learning community due to the ever increasing popularization of the Internet of Things (IoT). Unfortunately, the incorporation of AI characteristics to edge computing devices presents the drawbacks of being power and area hungry for typical machine learning techniques such as Convolutional Neural Networks (CNN). In this work, we propose a new power-and-area-efficient architecture for implementing Articial Neural Networks (ANNs) in hardware, based on the exploitation of correlation phenomenon in Stochastic Computing (SC) systems. The architecture purposed can solve the difficult implementation challenges that SC presents for CNN applications, such as the high resources used in binary-tostochastic conversion, the inaccuracy produced by undesired correlation between signals, and the stochastic maximum function implementation. Compared with traditional binary logic implementations, experimental results showed an improvement of 19.6x and 6.3x in terms of speed performance and energy efficiency, for the FPGA implementation. We have also realized a full VLSI implementation of the proposed SC-CNN architecture demonstrating that our optimization achieve a 18x area reduction over previous SC-DNN architecture VLSI implementation in a comparable technological node. For the first time, a fully-parallel CNN as LENET-5 is embedded and tested in a single FPGA, showing the benefits of using stochastic computing for embedded applications, in contrast to traditional binary logic implementations.


title: A polynomial time and space heuristic algorithm for T-count

abstract: This work focuses on reducing the physical cost of implementing quantum algorithms when using the state-of-the-art fault-tolerant quantum error correcting codes, in particular, those for which implementing the T gate consumes vastly more resources than the other gates in the gate set. More specifically, we consider the group of unitaries that can be exactly implemented by a quantum circuit consisting of the Clifford+T gate set, a universal gate set. Our primary interest is to compute a circuit for a given $n$-qubit unitary $U$, using the minimum possible number of T gates (called the T-count of unitary $U$). We consider the problem COUNT-T, the optimization version of which aims to find the T-count of $U$. In its decision version the goal is to decide if the T-count is at most some positive integer $m$. Given an oracle for COUNT-T, we can compute a T-count-optimal circuit in time polynomial in the T-count and dimension of $U$. We give a provable classical algorithm that solves COUNT-T (decision) in time $O\left(N^{2(c-1)\lceil\frac{m}{c}\rceil}\text{poly}(m,N)\right)$ and space $O\left(N^{2\lceil\frac{m}{c}\rceil}\text{poly}(m,N)\right)$, where $N=2^n$ and $c\geq 2$. This gives a space-time trade-off for solving this problem with variants of meet-in-the-middle techniques. We also introduce an asymptotically faster multiplication method that shaves a factor of $N^{0.7457}$ off of the overall complexity. Lastly, beyond our improvements to the rigorous algorithm, we give a heuristic algorithm that outputs a T-count-optimal circuit and has space and time complexity $\text{poly}(m,N)$, under some assumptions. While our heuristic method still scales exponentially with the number of qubits (though with a lower exponent, there is a large improvement by going from exponential to polynomial scaling with $m$.


title: Phosphorene pnp junctions as perfect electron waveguides

abstract: The current flow in phosphorene pnp junctions is studied. At the interfaces of the junction, omni-directional total reflection takes place, named anti-super-Klein tunneling, as this effect is not due to an energetically forbidden region but due to pseudo-spin blocking. The anti-super-Klein tunneling confines electrons within the junction, which thus represents a perfect lossless electron waveguide. Calculating the current flow by applying the Green's function method onto a tight-binding model of phosphorene, it is observed that narrow electron beams propagate in these waveguides like light beams in optical fibers. The perfect guiding is found for all steering angles of the electron beam as the total reflection does not rely on the existence of a critical angle. For low electron energies and narrow junctions, the guided modes of the waveguide are observed. The waveguide operates without any loss only for a specific orientation of the junction. For arbitrary orientations, minor leakage currents are found, which however decay for low electron energies and grazing incidence angles. It is shown that a crossroad shaped pnp junction can be used to split and direct the current flow in phosphorene. The proposed device, a phosphorene pnp junction as a lossless electron waveguide, may not only find applications in nanoelectronics but also in quantum information technology.


title: Open-Domain Conversational Agents: Current Progress, Open Problems, and Future Directions

abstract: We present our view of what is necessary to build an engaging open-domain conversational agent: covering the qualities of such an agent, the pieces of the puzzle that have been built so far, and the gaping holes we have not filled yet. We present a biased view, focusing on work done by our own group, while citing related work in each area. In particular, we discuss in detail the properties of continual learning, providing engaging content, and being well-behaved -- and how to measure success in providing them. We end with a discussion of our experience and learnings, and our recommendations to the community.


title: Fish lateral line inspired perception and flow-aided control: A review

abstract: Any phenomenon in nature is potential to be an inspiration for us to propose new ideas. Lateral line is a typical example which has attracted more interest in recent years. With the aid of lateral line, fish is capable of acquiring fluid information around, which is of great significance for them to survive, communicate and hunt underwater. In this paper, we briefly introduce the morphology and mechanism of the lateral line first. Then we focus on the development of artificial lateral line which typically consists of an array of sensors and can be installed on underwater robots. A series of sensors inspired by the lateral line with different sensing principles have been summarized. And then the applications of artificial lateral line system in hydrodynamic environment sensing and vortices detection, dipole oscillation source detection, and autonomous control of underwater robots have been surveyed. In addition, the existing problems and future foci in the field have been further discussed in detail. The current works and future foci have demonstrated that artificial lateral line has great potentials of research and contributes to the applications of underwater robots.


title: Forward-Backward Rapidly-Exploring Random Trees for Stochastic Optimal Control

abstract: We propose a numerical method for the computation of the forward-backward stochastic differential equations (FBSDE) appearing in the Feynman-Kac representation of the value function in stochastic optimal control problems. By the use of the Girsanov change of probability measures, it is demonstrated how a rapidly-exploring random tree (RRT) method can be utilized for the forward integration pass, as long as the controlled drift terms are appropriately compensated in the backward integration pass. Subsequently, a numerical approximation of the value function is proposed by solving a series of function approximation problems backwards in time along the edges of the constructed RRT. Moreover, a local entropy-weighted least squares Monte Carlo (LSMC) method is developed to concentrate function approximation accuracy in regions most likely to be visited by optimally controlled trajectories. The results of the proposed methodology are demonstrated on linear and nonlinear stochastic optimal control problems with non-quadratic running costs, which reveal significant convergence improvements over previous FBSDE-based numerical solution methods.


title: Ubiquity of zeros of Loschmidt amplitude for mixed states in different physical processes and their implications

abstract: The Loschmidt amplitude of the purified states of mixed-state density matrices is shown to have zeros when the system undergoes a quasistatic, quench, or Uhlmann process. While the Loschmidt-amplitude zero of a quench process corresponds to a dynamical quantum phase transition (DQPT) accompanied by the diverging dynamical free energy, the Loschmidt-amplitude zero of the Uhlmann process corresponds to a topological phase transition (TQPT) accompanied by a jump of the Uhlmann phase. Although the density matrix remains intact in a quasistatic process, the Loschmidt amplitude can have zeros not associated with a phase transition. We present examples of two-level and three-level systems exhibiting finite- or infinite- temperature DQPTs and finite-temperature TQPTs associated with the Loschmidt-amplitude zeros. Moreover, the dynamical phase or geometrical phase of mixed states can be extracted from the Loschmidt amplitude. Those phases may become quantized or exhibit discontinuity at the Loschmidt-amplitude zeros. A spinor representation of the purified states of a general two-level system is presented to offer more insights into the change of purification in different processes. The quasistatic process, for example, is shown to cause a rotation of the spinor.

categories: quant-ph cond-mat.mes-hall cond-mat.other cond-mat.quant-gas


title: Jet Topology

abstract: We introduce persistent Betti numbers to characterize topological structure of jets. These topological invariants measure multiplicity and connectivity of jet branches at a given scale threshold, while their persistence records evolution of each topological feature as this threshold varies. With this knowledge, in particular, we are able to reconstruct branch phylogenetic tree of each jet. These points are demonstrated in the benchmark scenario of light-quark versus gluon jets. This study provides a topological tool to develop jet taggers, and opens a new angle to look into jet physics.


title: Sun Heated MeV-scale Dark Matter and the XENON1T Electron Recoil Excess

abstract: The XENON1T collaboration reported an excess of the low-energy electron recoil events between 1 and 7 keV. We explore the possibility to explain such an anomaly by the MeV-scale dark matter (DM) heated by the interior of the Sun due to the same DM-electron interaction as in the detector. The kinetic energies of heated DM particles can reach a few keV, and can potentially account for the excess signals detected by XENON1T. We study different form factors of the DM-electron interactions, $F(q)\propto q^i$ with $i=0,1,2$ and $q$ being the momentum exchange, and find that for all these cases the inclusion of the Sun-heated DM component improves the fit to the XENON1T data. The inferred DM-electron scattering cross section (at $q=\alpha m_e$ where $\alpha$ is the fine structure constant and $m_e$ is electron mass) is from $\sim 10^{-38}$~cm$^2$ (for $i=0$) to $\sim 10^{-42}$~cm$^2$ (for $i=2$). We also derive constraints on the DM-electron cross sections for different form factors, which are stronger than previous results with similar assumptions. We emphasize that the Sun-heated DM scenario relies on the minimum assumption on DM models, which serves as a general explanation of the XENON1T anomaly via DM-electron interaction. The spectrum of the Sun-heated DM is typically soft comparing to other boosted DM, so the small recoil events are expected to be abundant in this scenario. More sensitive direct detection experiments with lower thresholds can possibly distinguish this scenario with other boosted DM models or solar axion models.


title: Exchange coupling constants at finite temperature

abstract: An approach to account for the effect of thermal lattice vibrations when calculating exchange coupling parameters is presented on the basis of the KKR (Korringa-Kohn-Rostoker) Green function method making use of the alloy analogy model. Using several representative systems, it is shown that depending on the material the effect of thermal lattice vibrations can have a significant impact on the isotropic exchange as well as anisotropic Dzyaloshinskii-Moriya interactions (DMI). This should lead in turn to an additional contribution to the temperature dependence of the magnetic properties of solids, which cannot be neglected in the general case. As an example, we discuss such an influence on the critical temperature of various magnetic phase transitions. In particular, in the case of skyrmion hosting materials, a strong impact of lattice vibrations on the DMI is an additional source for temperature dependent skyrmion stability which should be taken into consideration.


title: A Baseline Approach for AutoImplant: the MICCAI 2020 Cranial Implant Design Challenge

abstract: In this study, we present a baseline approach for AutoImplant (https://autoimplant.grand-challenge.org/) - the cranial implant design challenge, which, as suggested by the organizers, can be formulated as a volumetric shape learning task. In this task, the defective skull, the complete skull and the cranial implant are represented as binary voxel grids. To accomplish this task, the implant can be either reconstructed directly from the defective skull or obtained by taking the difference between a defective skull and a complete skull. In the latter case, a complete skull has to be reconstructed given a defective skull, which defines a volumetric shape completion problem. Our baseline approach for this task is based on the former formulation, i.e., a deep neural network is trained to predict the implants directly from the defective skulls. The approach generates high-quality implants in two steps: First, an encoder-decoder network learns a coarse representation of the implant from down-sampled, defective skulls; The coarse implant is only used to generate the bounding box of the defected region in the original high-resolution skull. Second, another encoder-decoder network is trained to generate a fine implant from the bounded area. On the test set, the proposed approach achieves an average dice similarity score (DSC) of 0.8555 and Hausdorff distance (HD) of 5.1825 mm. The code is publicly available at https://github.com/Jianningli/autoimplant.


title: A dynamic analytic method for risk-aware controlled martingale problems

abstract: We present a new, tractable method for solving and analyzing risk-aware control problems over finite and infinite, discounted time-horizons where the dynamics of the controlled process are described as a martingale problem. Supposing general Polish state and action spaces, and using generalized, relaxed controls, we state a risk-aware dynamic optimal control problem of minimizing risk of costs described by a generic risk function. We then construct an alternative formulation that takes the form of a nonlinear programming problem, constrained by the dynamic, {i.e.} time-dependent, and linear Kolmogorov forward equation describing the distribution of the state and accumulated costs. We show that the formulations are equivalent, and that the optimal control process can be taken to be Markov in the controlled process state, running costs, and time. We further prove that under additional conditions, the optimal value is attained. An example numeric problem is presented and solved.


title: Nonsymmorphic Dirac semimetal and carrier dynamics in doped spin-orbit-coupled Mott insulator Sr$_2$IrO$_4$

abstract: A Dirac fermion emerges as a result of interplay between symmetry and topology in condensed matter. Current research moves towards investigating the Dirac fermions in the presence of manybody effects in correlated system. Here, we demonstrate the emergence of correlation-induced symmetry-protected Dirac semimetal state in the lightly-doped spin-orbit-coupled Mott insulator Sr$_2$IrO$_4$. We find that the nonsymmorphic crystalline symmetry stabilizes a Dirac line-node semimetal and that the correlation-induced symmetry-breaking electronic order further leads to a phase transition from the Dirac line-node to a Dirac point-node semimetal. The latter state is experimentally confirmed by angle-resolved photoemission spectroscopy and terahertz spectroscopy on Sr$_2$(Ir,Tb)O$_4$ and (Sr,La)$_2$IrO$_4$. Remarkably, the electrodynamics of the massless Dirac carriers is governed by the extremely small scattering rate of about 6 cm$^{-1}$ even at room temperature, which is iconic behavior of relativistic quasiparticles. Temperature-dependent changes in electrodynamic parameters are also consistently explained based on the Dirac point-node semimetal state.


title: Exploring Exceptional Drinfeld Geometries

abstract: We explore geometries that give rise to a novel algebraic structure, the Exceptional Drinfeld Algebra, which has recently been proposed as an approach to study generalised U-dualities, similar to the non-Abelian and Poisson-Lie generalisations of T-duality. This algebra is generically not a Lie algebra but a Leibniz algebra, and can be realised in exceptional generalised geometry or exceptional field theory through a set of frame fields giving a generalised parallelisation. We provide examples including "three-algebra geometries", which encode the structure constants for three-algebras and in some cases give novel uplifts for $CSO(p,q,r)$ gaugings of seven-dimensional maximal supergravity. We also discuss the M-theoretic embedding of both non-Abelian and Poisson-Lie T-duality.


title: Fanoos: Multi-Resolution, Multi-Strength, Interactive Explanations for Learned Systems

abstract: Machine learning is becoming increasingly important to control the behavior of safety and financially critical components in sophisticated environments, where the inability to understand learned components in general, and neural nets in particular, poses serious obstacles to their adoption. Explainability and interpretability methods for learned systems have gained considerable academic attention, but the focus of current approaches on only one aspect of explanation, at a fixed level of abstraction, and limited if any formal guarantees, prevents those explanations from being digestible by the relevant stakeholders (e.g., end users, certification authorities, engineers) with their diverse backgrounds and situation-specific needs. We introduce Fanoos, a framework for combining formal verification techniques, heuristic search, and user interaction to explore explanations at the desired level of granularity and fidelity. We demonstrate the ability of Fanoos to produce and adjust the abstractness of explanations in response to user requests on a learned controller for an inverted double pendulum and on a learned CPU usage model.


title: Improved Bounds for Metric Capacitated Covering Problems

abstract: In the Metric Capacitated Covering (MCC) problem, given a set of balls $\mathcal{B}$ in a metric space $P$ with metric $d$ and a capacity parameter $U$, the goal is to find a minimum sized subset $\mathcal{B}'\subseteq \mathcal{B}$ and an assignment of the points in $P$ to the balls in $\mathcal{B}'$ such that each point is assigned to a ball that contains it and each ball is assigned with at most $U$ points. MCC achieves an $O(\log |P|)$-approximation using a greedy algorithm. On the other hand, it is hard to approximate within a factor of $o(\log |P|)$ even with $\beta < 3$ factor expansion of the balls. Bandyapadhyay~{et al.} [SoCG 2018, DCG 2019] showed that one can obtain an $O(1)$-approximation for the problem with $6.47$ factor expansion of the balls. An open question left by their work is to reduce the gap between the lower bound $3$ and the upper bound $6.47$. In this current work, we show that it is possible to obtain an $O(1)$-approximation with only $4.24$ factor expansion of the balls. We also show a similar upper bound of $5$ for a more generalized version of MCC for which the best previously known bound was $9$.


title: Gradient-Variation Bound for Online Convex Optimization with Constraints

abstract: We study online convex optimization with constraints consisting of multiple functional constraints and a relatively simple constraint set, such as a Euclidean ball. As enforcing the constraints at each time step through projections is computationally challenging in general, we allow decisions to violate the functional constraints but aim to achieve a low regret and cumulative violation of the constraints over a horizon of $T$ time steps. First-order methods achieve an $\mathcal{O}(\sqrt{T})$ regret and an $\mathcal{O}(1)$ constraint violation, which is the best-known bound under the Slater's condition, but do not take into account the structural information of the problem. Furthermore, the existing algorithms and analysis are limited to Euclidean space. In this paper, we provide an \emph{instance-dependent} bound for online convex optimization with complex constraints obtained by a novel online primal-dual mirror-prox algorithm. Our instance-dependent regret is quantified by the total gradient variation $V_*(T)$ in the sequence of loss functions. The proposed algorithm works in \emph{general} normed spaces and simultaneously achieves an $\mathcal{O}(\sqrt{V_*(T)})$ regret and an $\mathcal{O}(1)$ constraint violation, which is never worse than the best-known $( \mathcal{O}(\sqrt{T}), \mathcal{O}(1) )$ result and improves over previous works that applied mirror-prox-type algorithms for this problem achieving $\mathcal{O}(T^{2/3})$ regret and constraint violation. Finally, our algorithm is computationally efficient, as it only performs mirror descent steps in each iteration instead of solving a general Lagrangian minimization problem.


title: Effective Version Space Reduction for Convolutional Neural Networks

abstract: In active learning, sampling bias could pose a serious inconsistency problem and hinder the algorithm from finding the optimal hypothesis. However, many methods for neural networks are hypothesis space agnostic and do not address this problem. We examine active learning with convolutional neural networks through the principled lens of version space reduction. We identify the connection between two approaches---prior mass reduction and diameter reduction---and propose a new diameter-based querying method---the minimum Gibbs-vote disagreement. By estimating version space diameter and bias, we illustrate how version space of neural networks evolves and examine the realizability assumption. With experiments on MNIST, Fashion-MNIST, SVHN and STL-10 datasets, we demonstrate that diameter reduction methods reduce the version space more effectively and perform better than prior mass reduction and other baselines, and that the Gibbs vote disagreement is on par with the best query method.


title: Light vector mediators facing XENON1T data

abstract: Recently the XENON1T collaboration has released new results on searches for new physics in low-energy electronic recoils. The data shows an excess over background in the low-energy tail, particularly pronounced at about $2-3$ keV. With an exposure of $0.65$ tonne-year, large detection efficiency and energy resolution, the detector is sensitive as well to solar neutrino backgrounds, with the most prominent contribution given by $pp$ neutrinos. We investigate whether such signal can be explained in terms of new neutrino interactions with leptons mediated by a light vector particle. We find that the excess is consistent with this interpretation for vector masses below $\lesssim 0.1$ MeV. The region of parameter space probed by the XENON1T data is competitive with constraints from laboratory experiments, in particular GEMMA, Borexino and TEXONO. However we point out a severe tension with astrophysical bounds and cosmological observations.


title: Classification of four-point local gluon S-matrices

abstract: In this paper, we classify four-point local gluon S-matrices in arbitrary dimensions. This is along the same lines as \cite{Chowdhury:2019kaq} where four-point local photon S-matrices and graviton S-matrices were classified. We do the classification explicitly for gauge groups $SO(N)$ and $SU(N)$ for all $N$ but our method is easily generalizable to other Lie groups. The construction involves combining not-necessarily-permutation-symmetric four-point S-matrices of photons and those of adjoint scalars into permutation symmetric four-point gluon S-matrix. We explicitly list both the components of the construction, i.e permutation symmetric as well as non-symmetric four point S-matrices, for both the photons as well as the adjoint scalars for arbitrary dimensions and for gauge groups $SO(N)$ and $SU(N)$ for all $N$. In this paper, we explicitly list the local Lagrangians that generate the local gluon S-matrices for $D\geq 9$ and present the relevant counting for lower dimensions. Local Lagrangians for gluon S-matrices in lower dimensions can be written down following the same method. We also express the Yang-Mills four gluon S-matrix with gluon exchange in terms of our basis structures.