title: How Do Open Source Software Contributors Perceive and Address Usability? Valued Factors, Practices, and Challenges

abstract: Usability is an increasing concern in open source software (OSS). Given the recent changes in the OSS landscape, it is imperative to examine the OSS contributors' current valued factors, practices, and challenges concerning usability. We accumulated this knowledge through a survey with a wide range of contributors to OSS applications. Through analyzing 84 survey responses, we found that many participants recognized the importance of usability. While most relied on issue tracking systems to collect user feedback, a few participants also adopted typical user-centered design methods. However, most participants demonstrated a system-centric rather than a user-centric view. Understanding the diverse needs and consolidating various feedback of end-users posed unique challenges for the OSS contributors when addressing usability in the most recent development context. Our work provided important insights for OSS practitioners and tool designers in exploring ways for promoting a user-centric mindset and improving usability practice in the current OSS communities.


title: Deep Neural-Kernel Machines

abstract: In this chapter we review the main literature related to the recent advancement of deep neural-kernel architecture, an approach that seek the synergy between two powerful class of models, i.e. kernel-based models and artificial neural networks. The introduced deep neural-kernel framework is composed of a hybridization of the neural networks architecture and a kernel machine. More precisely, for the kernel counterpart the model is based on Least Squares Support Vector Machines with explicit feature mapping. Here we discuss the use of one form of an explicit feature map obtained by random Fourier features. Thanks to this explicit feature map, in one hand bridging the two architectures has become more straightforward and on the other hand one can find the solution of the associated optimization problem in the primal, therefore making the model scalable to large scale datasets. We begin by introducing a neural-kernel architecture that serves as the core module for deeper models equipped with different pooling layers. In particular, we review three neural-kernel machines with average, maxout and convolutional pooling layers. In average pooling layer the outputs of the previous representation layers are averaged. The maxout layer triggers competition among different input representations and allows the formation of multiple sub-networks within the same model. The convolutional pooling layer reduces the dimensionality of the multi-scale output representations. Comparison with neural-kernel model, kernel based models and the classical neural networks architecture have been made and the numerical experiments illustrate the effectiveness of the introduced models on several benchmark datasets.


title: Ancient Australian Rocks and the Search for Life on Mars

abstract: We discuss the results of a remote sensing study that has revealed new details about an important rock unit dominated by two minerals that can be associated with volcanism (olivine) and life (carbonate). The study, which used a new analysis technique on CRISM data, identified a region where no carbonates or clays are present, only large grain size olivine. This discovery shines new light on the formation and history of the olivine-carbonate rock within Jezero crater that will be explored by the Mars 2020 rover.


title: Seeding the second star -- II. CEMP star formation enriched from faint supernovae

abstract: Carbon-enhanced metal-poor (CEMP) stars are the living fossils holding records of chemical enrichment from early generations of stars. In this work, we perform a set of numerical simulations of the enrichment from a supernova (SN) of a first generation of metal-free (Pop III) star and the gravitational collapse of the enriched cloud, considering all relevant cooling/heating processes and chemical reactions as well as the growth of dust grains. We adopt faint SN models for the first time with progenitor masses $M_{\rm PopIII} = 13$--$80 \ {\rm M}_{\bigodot}$, which yield C-enhanced abundance patterns (${\rm [C/Fe]} = 4.57$--$4.75$) through mixing and fallback of innermost layers of the ejecta. This model also considers the formation and destruction of dust grains. We find that the metals ejected by the SN can be partly re-accreted by the same dark matter minihalo, and carbon abundance of the enriched cloud $A({\rm C}) = 3.80$--$5.06$ is lower than the abundance range of observed CEMP stars ($A({\rm C}) \gtrsim 6$) because the mass of the metals ejected by faint SNe is smaller than normal core-collapse SNe due to extensive fallback. We also find that cloud fragmentation is induced by gas cooling from carbonaceous grains for $M_{\rm PopIII} = 13 \ {\rm M}_{\bigodot}$ even with the lowest iron abundance ${\rm [Fe/H]} \sim -9$. This leads to the formation of low-mass stars, and these ``giga metal-poor'' stars can survive until the present-day Universe and may be found by future observations.


title: Predicates of the 3D Apollonius Diagram

abstract: In this thesis we study one of the fundamental predicates required for the construction of the 3D Apollonius diagram (also known as the 3D Additively Weighted Voronoi diagram), namely the EDGECONFLICT predicate: given five sites $S_i, S_j,S_k,S_l,S_m$ that define an edge $e_{ijklm}$ in the 3D Apollonius diagram, and a sixth query site $S_q$, the predicate determines the portion of $e_{ijklm}$ that will disappear in the Apollonius diagram of the six sites due to the insertion of $S_q$. Our focus is on the algorithmic analysis of the predicate with the aim to minimize its algebraic degree. We decompose the main predicate into sub-predicates, which are then evaluated with the aid of additional primitive operations. We show that the maximum algebraic degree required to answer any of the sub-predicates and primitives, and, thus, our main predicate is 10 in non-degenerate configurations when the trisector is of Hausdorff dimension 1. We also prove that all subpredicates developed can be evaluated using 10 or 8-degree demanding operations for degenerate input for these trisector types, depending on whether they require the evaluation of an intermediate INSPHERE predicate or not. Among the tools we use is the 3D inversion transformation and the so-called qualitative symbolic perturbation scheme. Most of our analysis is carried out in the inverted space, which is where our geometric observations and analysis is captured in algebraic terms.


title: Formation of Planetary Populations III: Core Composition & Atmospheric Evaporation

abstract: The exoplanet mass radius diagram reveals that super Earths display a wide range of radii, and therefore mean densities, at a given mass. Using planet population synthesis models, we explore the key physical factors that shape this distribution: planets' solid core compositions, and their atmospheric structure. For the former, we use equilibrium disk chemistry models to track accreted minerals onto planetary cores throughout formation. For the latter, we track gas accretion during formation, and consider photoevaporation-driven atmospheric mass loss to determine what portion of accreted gas escapes after the disk phase. We find that atmospheric stripping of Neptunes and sub-Saturns at small orbital radii ($\lesssim$0.1AU) plays a key role in the formation of short-period super Earths. Core compositions are strongly influenced by the trap in which they formed. We also find a separation between Earth-like planet compositions at small orbital radii $\lesssim$0.5AU and ice-rich planets (up to 50\% by mass) at larger orbits $\sim$1AU. This corresponds well with the Earth-like mean densities inferred from the observed position of the low-mass planet radius valley at small orbital periods. Our model produces planet radii comparable to observations at masses $\sim$1-3M$_\oplus$. At larger masses, planets' accreted gas significantly increases their radii to be larger than most of the observed data. While photoevaporation, affecting planets at small orbital radii $\lesssim$0.1AU, reduces a subset of these planets' radii and improves our comparison, most planets in our computed populations are unaffected due to low FUV fluxes as they form at larger separations.


title: Improving Pixel Embedding Learning through Intermediate Distance Regression Supervision for Instance Segmentation

abstract: As a proposal-free approach, instance segmentation through pixel embedding learning and clustering is gaining more emphasis. Compared with bounding box refinement approaches, such as Mask R-CNN, it has potential advantages in handling complex shapes and dense objects. In this work, we propose a simple, yet highly effective, architecture for object-aware embedding learning. A distance regression module is incorporated into our architecture to generate seeds for fast clustering. At the same time, we show that the features learned by the distance regression module are able to promote the accuracy of learned object-aware embeddings significantly. By simply concatenating features of the distance regression module to the images as inputs of the embedding module, the mSBD scores on the CVPPP Leaf Segmentation Challenge can be further improved by more than 8% compared to the identical set-up without concatenation, yielding the best overall result amongst the leaderboard at CodaLab.


title: Robustness to Spurious Correlations via Human Annotations

abstract: The reliability of machine learning systems critically assumes that the associations between features and labels remain similar between training and test distributions. However, unmeasured variables, such as confounders, break this assumption---useful correlations between features and labels at training time can become useless or even harmful at test time. For example, high obesity is generally predictive for heart disease, but this relation may not hold for smokers who generally have lower rates of obesity and higher rates of heart disease. We present a framework for making models robust to spurious correlations by leveraging humans' common sense knowledge of causality. Specifically, we use human annotation to augment each training example with a potential unmeasured variable (i.e. an underweight patient with heart disease may be a smoker), reducing the problem to a covariate shift problem. We then introduce a new distributionally robust optimization objective over unmeasured variables (UV-DRO) to control the worst-case loss over possible test-time shifts. Empirically, we show improvements of 5-10% on a digit recognition task confounded by rotation, and 1.5-5% on the task of analyzing NYPD Police Stops confounded by location.


title: Predicting Sequences of Traversed Nodes in Graphs using Network Models with Multiple Higher Orders

abstract: We propose a novel sequence prediction method for sequential data capturing node traversals in graphs. Our method builds on a statistical modelling framework that combines multiple higher-order network models into a single multi-order model. We develop a technique to fit such multi-order models in empirical sequential data and to select the optimal maximum order. Our framework facilitates both next-element and full sequence prediction given a sequence-prefix of any length. We evaluate our model based on six empirical data sets containing sequences from website navigation as well as public transport systems. The results show that our method out-performs state-of-the-art algorithms for next-element prediction. We further demonstrate the accuracy of our method during out-of-sample sequence prediction and validate that our method can scale to data sets with millions of sequences.

categories: cs.LG cs.IT cs.SI math.IT physics.data-an stat.ML


title: Spin Wave Generation via Localized Spin-Orbit Torque in an Antiferromagnet-Topological Insulator Heterostructure

abstract: The spin-orbit torque induced by a topological insulator (TI) is theoretically examined for spin wave generation in a neighboring antiferromagnetic thin film. The investigation is based on the micromagnetic simulation of N\'{e}el vector dynamics and the analysis of transport properties in the TI. The results clearly illustrate that propagating spin waves can be achieved in the antiferromagnetic thin-film strip through localized excitation, traveling over a long distance. The oscillation amplitude gradually decays due to the non-zero damping as the N\'{e}el vector precesses around the magnetic easy axis with a fixed frequency. The frequency is also found to be tunable via the strength of the driving electrical current density. While both the bulk and the surface states of the TI contribute to induce the effective torque, the calculation indicates that the surface current plays a dominant role over the bulk counterpart except in the heavily degenerate cases. Compared to the more commonly applied heavy metals, the use of a TI can substantially reduce the threshold current density to overcome the magnetic anisotropy, making it an efficient choice for spin wave generation. The N\'{e}el vector dynamics in the nano-oscillator geometry are examined as well.


title: Asymptotically de Sitter Universe inside a Schwarzschild black hole

abstract: Extending our previous analysis, we study the interior of a Schwarzschild black hole derived from a partial gauge fixing of the full Loop Quantum Gravity Hilbert space, this time including the inverse volume and coherent state subleading corrections. Our derived effective Hamiltonian differs crucially from the ones introduced in the minisuperspace models. This distinction is reflected in the class of homogeneous bouncing geometries that replace the classical singularity and are labeled by a set of quantum parameters associated with the structure of coherent states used to derive the effective Hamiltonian. By fixing these quantum parameters through geometrical considerations, the post-bounce interior geometry reveals a high sensitivity to the value of the Barbero-Immirzi parameter $\gamma$. Surprisingly, we find that $\gamma\approx 0.274$ results in an asymptotically de Sitter geometry in the interior region, where now a cosmological constant is generated purely from quantum gravitational effects. The striking fact is the exact coincidence of this value for $\gamma$ with the one derived from the SU(2) black hole entropy calculations in Loop Quantum Gravity. The emergence of this value in two entirely unrelated theoretical frameworks and computational setups is strongly suggestive of deep ties between the area gap in Loop Quantum Gravity, black hole physics, and the observable Universe. In connection to the latter, we point out an intriguing relation between the measured value of the cosmological constant and the observed mass in the Universe from a proposal for a spin quantum number renormalization effect associated to the microscopic dynamics.


title: A CMOS-compatible Ising Machine with Bistable Nodes

abstract: Physical Ising machines rely on nature to guide a dynamical system towards an optimal state which can be read out as a heuristical solution to a combinatorial optimization problem. Such designs that use nature as a computing mechanism can lead to higher performance and/or lower operation costs and hence have attracted research and prototyping efforts from industry and academia. Quantum annealers are a prominent example of such efforts. However, some physics-centric Ising machines require stringent operating conditions that result in significant bulk and energy budget. Such disadvantages may be acceptable if these designs provide some significant intrinsic advantages at a much larger scale in the future, which remains to be seen. But for now, integrated electronic designs of Ising machines allow more immediate applications. We propose one such design that uses bistable nodes, coupled with programmable and variable strengths. The design is fully CMOS compatible for chip-scale applications and demonstrates competitive solution quality and significantly superior execution time and energy.


title: Learning Differential Diagnosis of Skin Conditions with Co-occurrence Supervision using Graph Convolutional Networks

abstract: Skin conditions are reported the 4th leading cause of nonfatal disease burden worldwide. However, given the colossal spectrum of skin disorders defined clinically and shortage in dermatology expertise, diagnosing skin conditions in a timely and accurate manner remains a challenging task. Using computer vision technologies, a deep learning system has proven effective assisting clinicians in image diagnostics of radiology, ophthalmology and more. In this paper, we propose a deep learning system (DLS) that may predict differential diagnosis of skin conditions using clinical images. Our DLS formulates the differential diagnostics as a multi-label classification task over 80 conditions when only incomplete image labels are available. We tackle the label incompleteness problem by combining a classification network with a Graph Convolutional Network (GCN) that characterizes label co-occurrence and effectively regularizes it towards a sparse representation. Our approach is demonstrated on 136,462 clinical images and concludes that the classification accuracy greatly benefit from the Co-occurrence supervision. Our DLS achieves 93.6% top-5 accuracy on 12,378 test images and consistently outperform the baseline classification network.


title: A Machine Learning Approach to Assess Student Group Collaboration Using Individual Level Behavioral Cues

abstract: K-12 classrooms consistently integrate collaboration as part of their learning experiences. However, owing to large classroom sizes, teachers do not have the time to properly assess each student and give them feedback. In this paper we propose using simple deep-learning-based machine learning models to automatically determine the overall collaboration quality of a group based on annotations of individual roles and individual level behavior of all the students in the group. We come across the following challenges when building these models: 1) Limited training data, 2) Severe class label imbalance. We address these challenges by using a controlled variant of Mixup data augmentation, a method for generating additional data samples by linearly combining different pairs of data samples and their corresponding class labels. Additionally, the label space for our problem exhibits an ordered structure. We take advantage of this fact and also explore using an ordinal-cross-entropy loss function and study its effects with and without Mixup.


title: A biorthonormal formalism for nonadiabatic coupled cluster dynamics

abstract: In coupled cluster methods, the electronic states are biorthonormal in the sense that the left states are orthonormal to the right states. Here we present an extension of this formalism to a left and right total molecular wave function. Starting from left and right Born-Huang expansions, we derive projected Schr\"odinger equations for the left and right nuclear wave functions. Observables may be extracted from the resulting wave function pair using standard expressions. The formalism is shown to be invariant under electronic basis transformations, such as normalization of the electronic states. Consequently, the nonadiabatic coupling elements can be expressed with biorthonormal wave functions. Calculating normalization factors that scale as full-CI is therefore not necessary, contrary to claims in the literature. For nuclear dynamics, we therefore need expressions for the vector and scalar couplings in the biorthonormal formalism. We derive these expressions using a Lagrangian formalism.


title: Reinforcement Learning of Musculoskeletal Control from Functional Simulations

abstract: To diagnose, plan, and treat musculoskeletal pathologies, understanding and reproducing muscle recruitment for complex movements is essential. With muscle activations for movements often being highly redundant, nonlinear, and time dependent, machine learning can provide a solution for their modeling and control for anatomy-specific musculoskeletal simulations. Sophisticated biomechanical simulations often require specialized computational environments, being numerically complex and slow, hindering their integration with typical deep learning frameworks. In this work, a deep reinforcement learning (DRL) based inverse dynamics controller is trained to control muscle activations of a biomechanical model of the human shoulder. In a generalizable end-to-end fashion, muscle activations are learned given current and desired position-velocity pairs. A customized reward functions for trajectory control is introduced, enabling straightforward extension to additional muscles and higher degrees of freedom. Using the biomechanical model, multiple episodes are simulated on a cluster simultaneously using the evolving neural models of the DRL being trained. Results are presented for a single-axis motion control of shoulder abduction for the task of following randomly generated angular trajectories.


title: Observation of Pines' Demon in Sr$_2$RuO$_4$

abstract: The characteristic excitation of a metal is its plasmon, which is a quantized collective oscillation of its electron density. In 1956, David Pines predicted that a distinct type of plasmon, dubbed a "demon," could exist in three-dimensional metals containing more than one species of charge carrier. Consisting of out-of-phase movement of electrons in different bands, demons are acoustic, electrically neutral, and do not couple to light, so have never been detected in an equilibrium, three-dimensional metal. Nevertheless, demons are believed to be critical for diverse phenomena including phase transitions in mixed-valence semimetals, optical properties of metal nanoparticles, "soundarons" in Weyl semimetals, and high temperature superconductivity in, for example, metal hydrides. Here, we present evidence for a demon in Sr$_2$RuO$_4$ from momentum-resolved electron energy-loss spectroscopy (M-EELS). Formed of electrons in the $\beta$ and $\gamma$ bands, the demon is gapless with a room temperature velocity $v=1.065 \pm 0.12 \times 10^5$ m/s and critical momentum $q_c=0.08$ reciprocal lattice units. Its spectral weight violates low-energy partial sum rules, affirming its neutral character. Our study confirms a 66-year old prediction and suggests that demons may be a pervasive feature of multiband metals.


title: Quasinormal modes in dispersive black hole analogues

abstract: Motivated by analogue models of black holes, a scheme is developed to analyse multi-mode scattering processes in dispersive, inhomogeneous media. The scheme is applied to the scattering of weakly dispersive gravity waves with a rotating, draining vortex flow, which captures many features of a rotating black hole spacetime. In particular, the quasinormal mode spectrum is computed and shown to deviate from the non-dispersive case for the co-rotating modes in the system.


title: Landslide Segmentation with U-Net: Evaluating Different Sampling Methods and Patch Sizes

abstract: Landslide inventory maps are crucial to validate predictive landslide models; however, since most mapping methods rely on visual interpretation or expert knowledge, detailed inventory maps are still lacking. This study used a fully convolutional deep learning model named U-net to automatically segment landslides in the city of Nova Friburgo, located in the mountainous range of Rio de Janeiro, southeastern Brazil. The objective was to evaluate the impact of patch sizes, sampling methods, and datasets on the overall accuracy of the models. The training data used the optical information from RapidEye satellite, and a digital elevation model (DEM) derived from the L-band sensor of the ALOS satellite. The data was sampled using random and regular grid methods and patched in three sizes (32x32, 64x64, and 128x128 pixels). The models were evaluated on two areas with precision, recall, f1-score, and mean intersect over union (mIoU) metrics. The results show that the models trained with 32x32 tiles tend to have higher recall values due to higher true positive rates; however, they misclassify more background areas as landslides (false positives). Models trained with 128x128 tiles usually achieve higher precision values because they make less false positive errors. In both test areas, DEM and augmentation increased the accuracy of the models. Random sampling helped in model generalization. Models trained with 128x128 random tiles from the data that used the RapidEye image, DEM information, and augmentation achieved the highest f1-score, 0.55 in test area one, and 0.58 in test area two. The results achieved in this study are comparable to other fully convolutional models found in the literature, increasing the knowledge in the area.


title: A Man Misunderstood: Von Neumann did not claim that his entropy corresponds to the phenomenological thermodynamic entropy

abstract: Recently, attention has returned to the now-famous 1932 thought experiment in which John von Neumann establishes the form of the quantum mechanical von Neumann entropy -Tr $ \rho \ln \rho $ ($S_{VN}$), supposedly by arguing for its correspondence with the phenomenological thermodynamic entropy ($S_{TD}$). Hemmo and Shenker (2006) reconstruct von Neumann's thought experiment and argue that it fails to establish this desired correspondence. Prunkl (2019) and Chua (2019) challenge Hemmo and Shenker's result in turn. This paper aims to provide a new foundation for the current debate by revisiting the original text (von Neumann (1996, 2018)). A thorough exegesis of von Neumann's cyclical gas transformation is put forth, along with a reconstruction of two additional thought experiments from the text. This closer look reveals that von Neumann's goal is not to establish a link between $S_{VN}$ and $S_{TD}$, as is assumed throughout the current debate, but rather to establish a correspondence between $S_{VN}$ and the Gibbs statistical mechanical entropy $S_{G}$. On these grounds I argue that the existing literature misunderstands and misrepresents his goals. A revised understanding is required before the success of von Neumann's reversible gas transformation can be definitively granted or denied.


title: A Survey of Numerical Methods Utilizing Mixed Precision Arithmetic

abstract: Within the past years, hardware vendors have started designing low precision special function units in response to the demand of the Machine Learning community and their demand for high compute power in low precision formats. Also the server-line products are increasingly featuring low-precision special function units, such as the NVIDIA tensor cores in ORNL's Summit supercomputer providing more than an order of magnitude higher performance than what is available in IEEE double precision. At the same time, the gap between the compute power on the one hand and the memory bandwidth on the other hand keeps increasing, making data access and communication prohibitively expensive compared to arithmetic operations. To start the multiprecision focus effort, we survey the numerical linear algebra community and summarize all existing multiprecision knowledge, expertise, and software capabilities in this landscape analysis report. We also include current efforts and preliminary results that may not yet be considered "mature technology," but have the potential to grow into production quality within the multiprecision focus effort. As we expect the reader to be familiar with the basics of numerical linear algebra, we refrain from providing a detailed background on the algorithms themselves but focus on how mixed- and multiprecision technology can help improving the performance of these methods and present highlights of application significantly outperforming the traditional fixed precision methods.


title: Student reasoning about sources of experimental measurement uncertainty in quantum versus classical mechanics

abstract: Measurement uncertainty and experimental error are important concepts taught in undergraduate physics laboratories. Although student ideas about error and uncertainty in introductory classical mechanics lab experiments have been studied extensively, there is relatively limited research on student thinking about experimental measurement uncertainty in quantum mechanics. In this work, we used semi-structured interviews to study advanced physics students' interpretations of fictitious data distributions from two common undergraduate laboratory experiments in quantum mechanics and one in classical mechanics. To analyze these interpretations, we developed a coding scheme that classifies student responses based on what factors they believe create uncertainty and differentiates between different types of uncertainty (e.g. imprecision, inaccuracy). We found that participants in our study expressed a variety of ideas about measurement uncertainty that varied with the context (classical/quantum) and the type of uncertainty.


title: UnRectDepthNet: Self-Supervised Monocular Depth Estimation using a Generic Framework for Handling Common Camera Distortion Models

abstract: In classical computer vision, rectification is an integral part of multi-view depth estimation. It typically includes epipolar rectification and lens distortion correction. This process simplifies the depth estimation significantly, and thus it has been adopted in CNN approaches. However, rectification has several side effects, including a reduced field of view (FOV), resampling distortion, and sensitivity to calibration errors. The effects are particularly pronounced in case of significant distortion (e.g., wide-angle fisheye cameras). In this paper, we propose a generic scale-aware self-supervised pipeline for estimating depth, euclidean distance, and visual odometry from unrectified monocular videos. We demonstrate a similar level of precision on the unrectified KITTI dataset with barrel distortion comparable to the rectified KITTI dataset. The intuition being that the rectification step can be implicitly absorbed within the CNN model, which learns the distortion model without increasing complexity. Our approach does not suffer from a reduced field of view and avoids computational costs for rectification at inference time. To further illustrate the general applicability of the proposed framework, we apply it to wide-angle fisheye cameras with 190$^\circ$ horizontal field of view. The training framework UnRectDepthNet takes in the camera distortion model as an argument and adapts projection and unprojection functions accordingly. The proposed algorithm is evaluated further on the KITTI rectified dataset, and we achieve state-of-the-art results that improve upon our previous work FisheyeDistanceNet. Qualitative results on a distorted test scene video sequence indicate excellent performance https://youtu.be/K6pbx3bU4Ss.


title: Gradient Descent over Metagrammars for Syntax-Guided Synthesis

abstract: The performance of a syntax-guided synthesis algorithm is highly dependent on the provision of a good syntactic template, or grammar. Provision of such a template is often left to the user to do manually, though in the absence of such a grammar, state-of-the-art solvers will provide their own default grammar, which is dependent on the signature of the target program to be sythesized. In this work, we speculate this default grammar could be improved upon substantially. We build sets of rules, or metagrammars, for constructing grammars, and perform a gradient descent over these metagrammars aiming to find a metagrammar which solves more benchmarks and on average faster. We show the resulting metagrammar enables CVC4 to solve 26% more benchmarks than the default grammar within a 300s time-out, and that metagrammars learnt from tens of benchmarks generalize to performance on 100s of benchmarks.


title: Improving the light collection efficiency of silicon photomultipliers through the use of metalenses

abstract: Metalenses are optical devices that implement nanostructures as phase shifters to focus incident light. Their compactness and simple fabrication make them a potential cost-effective solution for increasing light collection efficiency in particle detectors with limited photosensitive area coverage. Here we report on the characterization and performance of metalenses in increasing the light collection efficiency of silicon photomultipliers (SiPM) of various sizes using an LED of 630~nm, and find a six to seven-fold increase in signal for a $1.3\times1.3~\mathrm{mm}^2$ SiPM when coupled with a 10-mm-diameter metalens manufactured using deep ultraviolet stepper lithography. Such improvements could be valuable for future generations of particle detectors, particularly those employed in rare-event searches such as dark matter and neutrinoless double beta decay.


title: Lipschitz regularity of graph Laplacians on random data clouds

abstract: In this paper we study Lipschitz regularity of elliptic PDEs on geometric graphs, constructed from random data points. The data points are sampled from a distribution supported on a smooth manifold. The family of equations that we study arises in data analysis in the context of graph-based learning and contains, as important examples, the equations satisfied by graph Laplacian eigenvectors. In particular, we prove high probability interior and global Lipschitz estimates for solutions of graph Poisson equations. Our results can be used to show that graph Laplacian eigenvectors are, with high probability, essentially Lipschitz regular with constants depending explicitly on their corresponding eigenvalues. Our analysis relies on a probabilistic coupling argument of suitable random walks at the continuum level, and an interpolation method for extending functions on random point clouds to the continuum manifold. As a byproduct of our general regularity results, we obtain high probability $L^\infty$ and approximate $\mathcal{C}^{0,1}$ convergence rates for the convergence of graph Laplacian eigenvectors towards eigenfunctions of the corresponding weighted Laplace-Beltrami operators. The convergence rates we obtain scale like the $L^2$-convergence rates established by two of the authors in previous work.


title: Momentum-Based Policy Gradient Methods

abstract: In the paper, we propose a class of efficient momentum-based policy gradient methods for the model-free reinforcement learning, which use adaptive learning rates and do not require any large batches. Specifically, we propose a fast important-sampling momentum-based policy gradient (IS-MBPG) method based on a new momentum-based variance reduced technique and the importance sampling technique. We also propose a fast Hessian-aided momentum-based policy gradient (HA-MBPG) method based on the momentum-based variance reduced technique and the Hessian-aided technique. Moreover, we prove that both the IS-MBPG and HA-MBPG methods reach the best known sample complexity of $O(\epsilon^{-3})$ for finding an $\epsilon$-stationary point of the non-concave performance function, which only require one trajectory at each iteration. In particular, we present a non-adaptive version of IS-MBPG method, i.e., IS-MBPG*, which also reaches the best known sample complexity of $O(\epsilon^{-3})$ without any large batches. In the experiments, we apply four benchmark tasks to demonstrate the effectiveness of our algorithms.

categories: cs.LG cs.RO cs.SY eess.SY math.OC stat.ML


title: Integer Laplacian eigenvalues of strictly chordal graphs

abstract: In this paper, we establish the relation between classic invariants of graphs and their integer Laplacian eigenvalues, focusing on a subclass of chordal graphs, the strictly chordal graphs, and pointing out how their computation can be efficiently implemented. Firstly we review results concerning general graphs showing that the number of universal vertices and the degree of false and true twins provide integer Laplacian eigenvalues and their multiplicities. Afterwards, we prove that many integer Laplacian eigenvalues of a strictly chordal graph are directly related to particular simplicial vertex sets and to the minimal vertex separators of the graph.


title: GeoStat Representations of Time Series for Fast Classification

abstract: Recent advances in time series classification have largely focused on methods that either employ deep learning or utilize other machine learning models for feature extraction. Though successful, their power often comes at the requirement of computational complexity. In this paper, we introduce GeoStat representations for time series. GeoStat representations are based off of a generalization of recent methods for trajectory classification, and summarize the information of a time series in terms of comprehensive statistics of (possibly windowed) distributions of easy to compute differential geometric quantities, requiring no dynamic time warping. The features used are intuitive and require minimal parameter tuning. We perform an exhaustive evaluation of GeoStat on a number of real datasets, showing that simple KNN and SVM classifiers trained on these representations exhibit surprising performance relative to modern single model methods requiring significant computational power, achieving state of the art results in many cases. In particular, we show that this methodology achieves good performance on a challenging dataset involving the classification of fishing vessels, where our methods achieve good performance relative to the state of the art despite only having access to approximately two percent of the dataset used in training and evaluating this state of the art.


title: The radiatively corrected Kaluza-Klein masses in aether compactification

abstract: We address the issue of radiative corrections to Kaluza-Klein (KK) masses in five-dimensional QED supplemented by aether Lorentz-violating terms. Specifically, we compute the corrections to the KK photon masses from one fermion loop. In general, the KK masses receive radiative corrections due to breaking the five-dimensional Lorentz invariance by compactification. As we show, the presence of the additional Lorentz violating factor - an aether background, leads to the non-trivial modification of these corrections. This model may be of interest in addressing important phenomenological issues such as the relation between radiative corrected KK mass splitting of a particular mode and uncertainties in the measurements and/or possible spatial variation of the fine-structure constant. For the recent data on the fine-structure constant, we find a KK mass splitting of magnitude $\sim 0.01$ MeV for the first excited Kaluza-Klein gauge boson at TeV scale. On the other hand, the large KK modes limit displays a very interesting phenomenon, showing the very special role of the aether in protecting the higher modes from the quantum corrections.


title: Charge radii of exotic neon and magnesium isotopes

abstract: We compute the charge radii of even-mass neon and magnesium isotopes from neutron number N = 8 to the dripline. Our calculations are based on nucleon-nucleon and three-nucleon potentials from chiral effective field theory that include delta isobars. These potentials yield an accurate saturation point and symmetry energy of nuclear matter. We use the coupled-cluster method and start from an axially symmetric reference state. Binding energies and two-neutron separation energies largely agree with data and the dripline in neon is accurate. The computed charge radii have an estimated uncertainty of about 2-3% and are accurate for many isotopes where data exist. Finer details such as isotope shifts, however, are not accurately reproduced. Chiral potentials correctly yield the subshell closure at N = 14 and also a decrease in charge radii at N = 8 (observed in neon and predicted for magnesium). They yield a continued increase of charge radii as neutrons are added beyond N = 14 yet underestimate the large increase at N = 20 in magnesium.


title: A Self-Organizing Extreme-Point Tabu-Search Algorithm for Fixed Charge Network Problems with Extensions

abstract: We propose a new self-organizing algorithm for fixed-charge network flow problems based on ghost image (GI) processes as proposed in Glover (1994) and adapted to fixed-charge transportation problems in Glover, Amini and Kochenberger (2005). Our self-organizing GI algorithm iteratively modifies an idealized representation of the problem embodied in a parametric ghost image, enabling all steps to be performed with a primal network flow algorithm operating on the parametric GI. Computational tests are carried out on an extensive set of benchmark problems which includes the previous largest set in the literature, comparing our algorithm to the best methods previously proposed for fixed-charge transportation problems, though our algorithm is not specialized to this class. We also provide comparisons for additional more general fixed-charge network flow problems against Cplex 12.8 to demonstrate that the new self-organizing GI algorithm is effective on large problem instances, finding solutions with statistically equivalent objective values at least 700 times faster. The attractive outcomes produced by the current GI/TS implementation provide a significant advance in our ability to solve fixed-cost network problems efficiently and invites its use for larger instances from a variety of application domains.


title: A Systematic Survey on Deep Generative Models for Graph Generation

abstract: Graphs are important data representations for describing objects and their relationships, which appear in a wide diversity of real-world scenarios. As one of a critical problem in this area, graph generation considers learning the distributions of given graphs and generating more novel graphs. Owing to their wide range of applications, generative models for graphs, which have a rich history, however, are traditionally hand-crafted and only capable of modeling a few statistical properties of graphs. Recent advances in deep generative models for graph generation is an important step towards improving the fidelity of generated graphs and paves the way for new kinds of applications. This article provides an extensive overview of the literature in the field of deep generative models for graph generation. Firstly, the formal definition of deep generative models for the graph generation and the preliminary knowledge are provided. Secondly, taxonomies of deep generative models for both unconditional and conditional graph generation are proposed respectively; the existing works of each are compared and analyzed. After that, an overview of the evaluation metrics in this specific domain is provided. Finally, the applications that deep graph generation enables are summarized and five promising future research directions are highlighted.


title: Fleet Sizing and Charger Allocation in Electric Vehicle Sharing Systems

abstract: In this paper, we propose a closed queueing network model for performance analysis of electric vehicle sharing systems with a certain number of chargers in each neighborhood. Depending on the demand distribution, we devise algorithms to compute the optimal fleet size and number of chargers required to maximize profit while maintaining a certain quality of service. We show that the profit is concave with respect to the fleet size and the number of chargers at each charging point. If more chargers are installed within the city, we show that it can not only reduce the fleet size, but it also improves the availability of vehicles at all the points within a city. We further show through simulation that two slow chargers may outperform one fast charger when the variance of charging time becomes relatively large in comparison to the mean charging time.


title: Characterizing and monitoring student discomfort in upper-division quantum mechanics

abstract: We investigate student comfort with the material in an upper-division spins-first quantum mechanics course. Pre-lecture surveys probing students' comfort were administered weekly, in which students assigned themselves a "discomfort level" on a scale of 0--10 and provided a written explanation for their choice. The weekly class-wide average discomfort level was effectively constant over the semester, suggesting that the class found no single unit especially jarring nor especially easy. Student written responses were coded according to their reported source of discomfort---math, math-physics connection, physics, and notation. The relative prevalence of these categories varied significantly over the semester, indicating that students find that different units present different challenges, and also that some of these challenges fade in importance as the semester progresses. Semi-structured interviews with students in a similar quantum mechanics course at a different institution provided additional context and insight into these results.


title: An active learning strategy to study the flow control of a stationary cylinder with two asymmetrically attached rotating cylinders

abstract: We numerically investigate the flow control problem of the flow passing a stationary cylinder at a fixed Reynold number 500 using two attached control cylinders with different rotation rates. Compared to the traditional uniform (lattice) sampling method, we developed an active learning strategy based on Gaussian Process Regression (GPR), drastically reducing the number of simulations and accelerating the scientific findings. We also discussed the effects of parameters on different hydrodynamic coefficients, and verified the feasibility of this strategy. The mechanism of this asymmetric flow control model was also further studied by analyzing flow patterns.


title: Engineering spatial coherence in lattices of polariton condensates

abstract: Artificial lattices of coherently coupled macroscopic states are at the heart of applications ranging from solving hard combinatorial optimisation problems to simulating complex many-body physical systems. The size and complexity of the problems scales with the extent of coherence across the lattice. Although the fundamental limit of spatial coherence depends on the nature of the couplings and lattice parameters, it is usually engineering constrains that define the size of the system. Here, we engineer polariton condensate lattices with active control on the spatial arrangement and condensate density that result in near-diffraction limited emission, and spatial coherence that exceeds by nearly two orders of magnitude the size of each individual condensate. We utilise these advancements to unravel the dependence of spatial correlations between polariton condensates on the lattice geometry.


title: The Power Spectrum Of Primordial Gravitational Waves Generated by Anisotropic Metric

abstract: One of the predictions from simple inflation models is stochastic background of gravitational waves (or literally what is called the Primordial Gravitational Waves (\textbf{PGW})) with a nearly scale-invariant spectrum. To discuss a possible direct detection of PGW, the quantity so-called Spectral Energy Density (\textbf{SED}) has crucial role. In this work, we consider PGW amplified by inflation and generated by perturbing the Anisotropic (\emph{Bianchi type-I}) metric. We focus on the SED quantity of these gravity waves. The intended frameworks are the Einstein's and modified (pure quadratic \emph{Ricci} scalar) gravities. The spectral graphs for SED shows that in Einstein's gravity, the anisotropic model has the ability to adapt to the observational data (BBN bounds) and in the modified gravity, in addition to observational constraint adaptation, the scale-invariant character of the spectrum is much more pronounced.


title: Subgrid-scale parametrization of unresolved scales in forced Burgers equation using Generative Adversarial Networks (GAN)

abstract: Stochastic subgrid-scale parametrizations aim to incorporate effects of unresolved processes in an effective model by sampling from a distribution usually described in terms of resolved modes. This is an active research area in climate, weather and ocean science where processes evolved in a wide range of spatial and temporal scales. In this study, we evaluate the performance of conditional generative adversarial network (GAN) in parametrizing subgrid-scale effects in a finite-difference discretization of stochastically forced Burgers equation. We define resolved modes as local spatial averages and deviations from these averages are the unresolved degrees of freedom. We train a Wasserstein GAN (WGAN) conditioned on the resolved variables to learn the distribution of subgrid flux tendencies for resolved modes and, thus, represent the effect of unresolved scales. The resulting WGAN is then used in an effective model to reproduce the statistical features of resolved modes. We demonstrate that various stationary statistical quantities such as spectrum, moments, autocorrelation, etc. are well approximated by this effective model.


title: The Invisible Hand Heuristic for Origin-Destination Integer Multicommodity Network Flows

abstract: Origin-destination integer multicommodity flow problems differ from classic multicommodity models in that each commodity has one source and one sink, and each commodity must be routed along a single path. A new invisible-hand heuristic that mimics economic markets' behavior is presented and tested on large-scale telecommunications networks, with solution times two orders of magnitude faster than Cplex's LP relaxation, more dramatic MIP ratios, and small solution value differences.


title: Pansu pullback and exterior differentiation for Sobolev maps on Carnot groups

abstract: We show that in an $m$-step Carnot group, a probability measure with finite $m^{th}$ moment has a well-defined Buser-Karcher center-of-mass, which is a polynomial in the moments of the measure, with respect to exponential coordinates. Using this, we improve the main technical result of our previous paper concerning Sobolev mappings between Carnot groups; as a consequence, a number of rigidity and structural results from recent papers hold under weaker assumptions on the Sobolev exponent. We also give applications to quasiregular mappings, extending earlier work in the $2$-step case to general Carnot groups.


title: A Motion Taxonomy for Manipulation Embedding

abstract: To represent motions from a mechanical point of view, this paper explores motion embedding using the motion taxonomy. With this taxonomy, manipulations can be described and represented as binary strings called motion codes. Motion codes capture mechanical properties, such as contact type and trajectory, that should be used to define suitable distance metrics between motions or loss functions for deep learning and reinforcement learning. Motion codes can also be used to consolidate aliases or cluster motion types that share similar properties. Using existing data sets as a reference, we discuss how motion codes can be created and assigned to actions that are commonly seen in activities of daily living based on intuition as well as real data. Motion codes are compared to vectors from pre-trained Word2Vec models, and we show that motion codes maintain distances that closely match the reality of manipulation.


title: Unconventional isotope effect on transition temperature in BiS2-based superconductor Bi4O4S3

abstract: We report the sulfur isotope effect on transition temperature in a BiS2-based superconductor Bi4O4S3. Polycrystalline samples of Bi4O4S3 were prepared using 32S and 34S isotope chemicals. From magnetization analyses, the isotope exponent (aS) was estimated as -0.1 < aS < 0.1. Although the Tc estimated from electrical resistivity was scattered as compared to those estimated from the magnetization, we observed no clear correlation between Tc and the isotope mass. The present results suggest that unconventional paring states are essential in Bi4O4S3.


title: Species tree estimation under joint modeling of coalescence and duplication: sample complexity of quartet methods

abstract: We consider species tree estimation under a standard stochastic model of gene tree evolution that incorporates incomplete lineage sorting (as modeled by a coalescent process) and gene duplication and loss (as modeled by a branching process). Through a probabilistic analysis of the model, we derive sample complexity bounds for widely used quartet-based inference methods that highlight the effect of the duplication and loss rates in both subcritical and supercritical regimes.


title: Commutative algebraic monoid structures on affine surfaces

abstract: We classify commutative algebraic monoid structures on normal affine surfaces over an algebraically closed field of characteristic zero. The answer is given in two languages: comultiplications and Cox coordinates. The result follows from a more general classification of commutative monoid structures of rank 0, n-1 or n on a normal affine variety of dimension n.


title: Fair Algorithms for Multi-Agent Multi-Armed Bandits

abstract: We propose a multi-agent variant of the classical multi-armed bandit problem, in which there are $N$ agents and $K$ arms, and pulling an arm generates a (possibly different) stochastic reward for each agent. Unlike the classical multi-armed bandit problem, the goal is not to learn the "best arm"; indeed, each agent may perceive a different arm to be the best for her personally. Instead, we seek to learn a fair distribution over the arms. Drawing on a long line of research in economics and computer science, we use the Nash social welfare as our notion of fairness. We design multi-agent variants of three classic multi-armed bandit algorithms and show that they achieve sublinear regret, which is now measured in terms of the lost Nash social welfare.


title: Revisiting Fundamentals of Experience Replay

abstract: Experience replay is central to off-policy algorithms in deep reinforcement learning (RL), but there remain significant gaps in our understanding. We therefore present a systematic and extensive analysis of experience replay in Q-learning methods, focusing on two fundamental properties: the replay capacity and the ratio of learning updates to experience collected (replay ratio). Our additive and ablative studies upend conventional wisdom around experience replay -- greater capacity is found to substantially increase the performance of certain algorithms, while leaving others unaffected. Counterintuitively we show that theoretically ungrounded, uncorrected n-step returns are uniquely beneficial while other techniques confer limited benefit for sifting through larger memory. Separately, by directly controlling the replay ratio we contextualize previous observations in the literature and empirically measure its importance across a variety of deep RL algorithms. Finally, we conclude by testing a set of hypotheses on the nature of these performance benefits.


title: Incertitudes et mesures

abstract: Educational guide focused on the statistical treatment of measurement uncertainties. The conditions of application of current practices are detailed and precised: mean values, central limit theorem, linear regression. The last two chapters are devoted to an introduction to the Bayesian inference and a series of application cases: machine failure date, elimination of a background noise, linear adjustment with elimination of outliers.


title: Learning Generalized Relational Heuristic Networks for Model-Agnostic Planning

abstract: Computing goal-directed behavior is essential to designing efficient AI systems. Due to the computational complexity of planning, current approaches rely primarily upon hand-coded symbolic action models and hand-coded heuristic-function generators for efficiency. Learned heuristics for such problems have been of limited utility as they are difficult to apply to problems with objects and object quantities that are significantly different from those in the training data. This paper develops a new approach for learning generalized heuristics in the absence of symbolic action models using deep neural networks that utilize an input predicate vocabulary but are agnostic to object names and quantities. It uses an abstract state representation to facilitate data efficient, generalizable learning. Empirical evaluation on a range of benchmark domains show that in contrast to prior approaches, generalized heuristics computed by this method can be transferred easily to problems with different objects and with object quantities much larger than those in the training data.


title: Learning Retrospective Knowledge with Reverse Reinforcement Learning

abstract: We present a Reverse Reinforcement Learning (Reverse RL) approach for representing retrospective knowledge. General Value Functions (GVFs) have enjoyed great success in representing predictive knowledge, i.e., answering questions about possible future outcomes such as "how much fuel will be consumed in expectation if we drive from A to B?". GVFs, however, cannot answer questions like "how much fuel do we expect a car to have given it is at B at time $t$?". To answer this question, we need to know when that car had a full tank and how that car came to B. Since such questions emphasize the influence of possible past events on the present, we refer to their answers as retrospective knowledge. In this paper, we show how to represent retrospective knowledge with Reverse GVFs, which are trained via Reverse RL. We demonstrate empirically the utility of Reverse GVFs in both representation learning and anomaly detection.


title: Node Copying for Protection Against Graph Neural Network Topology Attacks

abstract: Adversarial attacks can affect the performance of existing deep learning models. With the increased interest in graph based machine learning techniques, there have been investigations which suggest that these models are also vulnerable to attacks. In particular, corruptions of the graph topology can degrade the performance of graph based learning algorithms severely. This is due to the fact that the prediction capability of these algorithms relies mostly on the similarity structure imposed by the graph connectivity. Therefore, detecting the location of the corruption and correcting the induced errors becomes crucial. There has been some recent work which tackles the detection problem, however these methods do not address the effect of the attack on the downstream learning task. In this work, we propose an algorithm that uses node copying to mitigate the degradation in classification that is caused by adversarial attacks. The proposed methodology is applied only after the model for the downstream task is trained and the added computation cost scales well for large graphs. Experimental results show the effectiveness of our approach for several real world datasets.


title: Unsupervised object-centric video generation and decomposition in 3D

abstract: A natural approach to generative modeling of videos is to represent them as a composition of moving objects. Recent works model a set of 2D sprites over a slowly-varying background, but without considering the underlying 3D scene that gives rise to them. We instead propose to model a video as the view seen while moving through a scene with multiple 3D objects and a 3D background. Our model is trained from monocular videos without any supervision, yet learns to generate coherent 3D scenes containing several moving objects. We conduct detailed experiments on two datasets, going beyond the visual complexity supported by state-of-the-art generative approaches. We evaluate our method on depth-prediction and 3D object detection -- tasks which cannot be addressed by those earlier works -- and show it out-performs them even on 2D instance segmentation and tracking.


title: Domain Adaptation for Robust Workload Level Alignment Between Sessions and Subjects using fNIRS

abstract: Significance: We demonstrated the potential of using domain adaptation on functional Near-Infrared Spectroscopy (fNIRS) data to classify different levels of n-back tasks that involve working memory. Aim: Domain shift in fNIRS data is a challenge in the workload level alignment across different experiment sessions and subjects. In order to address this problem, two domain adaptation approaches -- Gromov-Wasserstein (G-W) and Fused Gromov-Wasserstein (FG-W) were used. Approach: Specifically, we used labeled data from one session or one subject to classify trials in another session (within the same subject) or another subject. We applied G-W for session-by-session alignment and FG-W for subject-by-subject alignment to fNIRS data acquired during different n-back task levels. We compared these approaches with three supervised methods: multi-class Support Vector Machine (SVM), Convolutional Neural Network (CNN), and Recurrent Neural Network (RNN). Results: In a sample of six subjects, G-W resulted in an alignment accuracy of 68 $\pm$ 4 % (weighted mean $\pm$ standard error) for session-by-session alignment, FG-W resulted in an alignment accuracy of 55 $\pm$ 2 % for subject-by-subject alignment. In each of these cases, 25 % accuracy represents chance. Alignment accuracy results from both G-W and FG-W are significantly greater than those from SVM, CNN and RNN. We also showed that removal of motion artifacts from the fNIRS data plays an important role in improving alignment performance. Conclusions: Domain adaptation has potential for session-by-session and subject-by-subject alignment of mental workload by using fNIRS data.


title: A polynomial dimensional decomposition framework based on topology derivatives for stochastic topology sensitivity analysis of high-dimensional complex systems and a type of benchmark problems

abstract: In this paper, a new computational framework based on the topology derivative concept is presented for evaluating stochastic topological sensitivities of complex systems. The proposed framework, designed for dealing with high dimensional random inputs, dovetails a polynomial dimensional decomposition (PDD) of multivariate stochastic response functions and deterministic topology derivatives. On one hand, it provides analytical expressions to calculate topology sensitivities of the first three stochastic moments which are often required in robust topology optimization (RTO). On another hand, it offers embedded Monte Carlo Simulation (MCS) and finite difference formulations to estimate topology sensitivities of failure probability for reliability-based topology optimization (RBTO). For both cases, the quantification of uncertainties and their topology sensitivities are determined concurrently from a single stochastic analysis. Moreover, an original example of two random variables is developed for the first time to obtain analytical solutions for topology sensitivity of moments and failure probability. Another 53-dimension example is constructed for analytical solutions of topology sensitivity of moments and semi-analytical solutions of topology sensitivity of failure probabilities in order to verify the accuracy and efficiency of the proposed method for high-dimensional scenarios. Those examples are new and make it possible for researchers to benchmark stochastic topology sensitivities of existing or new algorithms. In addition, it is unveiled that under certain conditions the proposed method achieves better accuracies for stochastic topology sensitivities than for the stochastic quantities themselves.


title: CPL-SLAM: Efficient and Certifiably Correct Planar Graph-Based SLAM Using the Complex Number Representation

abstract: In this paper, we consider the problem of planar graph-based simultaneous localization and mapping (SLAM) that involves both poses of the autonomous agent and positions of observed landmarks. We present CPL-SLAM, an efficient and certifiably correct algorithm to solve planar graph-based SLAM using the complex number representation. We formulate and simplify planar graph-based SLAM as the maximum likelihood estimation (MLE) on the product of unit complex numbers, and relax this nonconvex quadratic complex optimization problem to convex complex semidefinite programming (SDP). Furthermore, we simplify the corresponding complex semidefinite programming to Riemannian staircase optimization (RSO) on the complex oblique manifold that can be solved with the Riemannian trust region (RTR) method. In addition, we prove that the SDP relaxation and RSO simplification are tight as long as the noise magnitude is below a certain threshold. The efficacy of this work is validated through applications of CPL-SLAM and comparisons with existing state-of-the-art methods on planar graph-based SLAM, which indicates that our proposed algorithm is capable of solving planar graph-based SLAM certifiably, and is more efficient in numerical computation and more robust to measurement noise than existing state-of-the-art methods. The C++ code for CPL-SLAM is available at https://github.com/MurpheyLab/CPL-SLAM.


title: Deep Image Orientation Angle Detection

abstract: Estimating and rectifying the orientation angle of any image is a pretty challenging task. Initial work used the hand engineering features for this purpose, where after the invention of deep learning using convolution-based neural network showed significant improvement in this problem. However, this paper shows that the combination of CNN and a custom loss function specially designed for angles lead to a state-of-the-art results. This includes the estimation of the orientation angle of any image or document at any degree (0 to 360 degree),


title: Measuring Performance of Generative Adversarial Networks on Devanagari Script

abstract: The working of neural networks following the adversarial philosophy to create a generative model is a fascinating field. Multiple papers have already explored the architectural aspect and proposed systems with potentially good results however, very few papers are available which implement it on a real-world example. Traditionally, people use the famous MNIST dataset as a Hello, World! example for implementing Generative Adversarial Networks (GAN). Instead of going the standard route of using handwritten digits, this paper uses the Devanagari script which has a more complex structure. As there is no conventional way of judging how well the generative models perform, three additional classifiers were built to judge the output of the GAN model. The following paper is an explanation of what this implementation has achieved.


title: A Bayesian Evaluation Framework for Subjectively Annotated Visual Recognition Tasks

abstract: An interesting development in automatic visual recognition has been the emergence of tasks where it is not possible to assign objective labels to images, yet still feasible to collect annotations that reflect human judgements about them. Machine learning-based predictors for these tasks rely on supervised training that models the behavior of the annotators, i.e., what would the average person's judgement be for an image? A key open question for this type of work, especially for applications where inconsistency with human behavior can lead to ethical lapses, is how to evaluate the epistemic uncertainty of trained predictors, i.e., the uncertainty that comes from the predictor's model. We propose a Bayesian framework for evaluating black box predictors in this regime, agnostic to the predictor's internal structure. The framework specifies how to estimate the epistemic uncertainty that comes from the predictor with respect to human labels by approximating a conditional distribution and producing a credible interval for the predictions and their measures of performance. The framework is successfully applied to four image classification tasks that use subjective human judgements: facial beauty assessment, social attribute assignment, apparent age estimation, and ambiguous scene labeling.


title: Embedded Encoder-Decoder in Convolutional Networks Towards Explainable AI

abstract: Understanding intermediate layers of a deep learning model and discovering the driving features of stimuli have attracted much interest, recently. Explainable artificial intelligence (XAI) provides a new way to open an AI black box and makes a transparent and interpretable decision. This paper proposes a new explainable convolutional neural network (XCNN) which represents important and driving visual features of stimuli in an end-to-end model architecture. This network employs encoder-decoder neural networks in a CNN architecture to represent regions of interest in an image based on its category. The proposed model is trained without localization labels and generates a heat-map as part of the network architecture without extra post-processing steps. The experimental results on the CIFAR-10, Tiny ImageNet, and MNIST datasets showed the success of our algorithm (XCNN) to make CNNs explainable. Based on visual assessment, the proposed model outperforms the current algorithms in class-specific feature representation and interpretable heatmap generation while providing a simple and flexible network architecture. The initial success of this approach warrants further study to enhance weakly supervised localization and semantic segmentation in explainable frameworks.


title: Learning hidden influences in large-scale dynamical social networks: A data-driven sparsity-based approach

abstract: Interpersonal influence estimation from empirical data is a central challenge in the study of social structures and dynamics. Opinion dynamics theory is a young interdisciplinary science that studies opinion formation in social networks and has a huge potential in applications, such as marketing, advertisement and recommendations. The term social influence refers to the behavioral change of individuals due to the interactions with others in a social system, e.g. organization, community, or society in general. The advent of the Internet has made a huge volume of data easily available that can be used to measure social influence over large populations. Here, we aim at qualitatively and quantitatively infer social influence from data using a systems and control viewpoint. First, we introduce some definitions and models of opinions dynamics and review some structural constraints of online social networks, based on the notion of sparsity. Then, we review the main approaches to infer the network's structure from a set of observed data. Finally, we present some algorithms that exploit the introduced models and structural constraints, focusing on the sample complexity and computational requirements.


title: Channel Parameter Estimation for Millimeter-Wave Cellular Systems with Hybrid Beamforming

abstract: To achieve high data rates defined in 5G, the use of millimeter-waves and massive-MIMO are indispensable. To benefit from these technologies, an accurate estimation of the channel parameters is crucial. We propose a novel two-stage algorithm for channel parameters estimation. In the first stage, coarse estimation is accomplished by applying parameter estimation via interpolation based on DFT grid (PREIDG) with a fixed look-up table (LUT), while the second stage refines the estimates by means of the space-alternating generalized expectation maximization (SAGE) algorithm. The two-stage algorithm uses discrete Fourier transform beamforming vectors which are efficiently implemented by a Butler matrix in the analog domain. We found that this methodology improves the estimates compared to the auxiliary beam pair (ABP) method. The two-stage algorithm shows efficient performance in the low signal to noise ratio regime for the channel parameters i.e. angles of departure, complex path gains and delays of the multipaths. Finally, we derived the Cram\'er-Rao lower bound (CRLB) to assess the performance of our two-stage estimation algorithm.


title: Dynamics of coordinate ascent variational inference: A case study in 2D Ising models

abstract: Variational algorithms have gained prominence over the past two decades as a scalable computational environment for Bayesian inference. In this article, we explore tools from the dynamical systems literature to study convergence of coordinate ascent algorithms for mean field variational inference. Focusing on the Ising model defined on two nodes, we fully characterize the dynamics of the sequential coordinate ascent algorithm and its parallel version. We observe that in the regime where the objective function is convex, both the algorithms are stable and exhibit convergence to the unique fixed point. Our analyses reveal interesting {\em discordances} between these two versions of the algorithm in the region when the objective function is non-convex. In fact, the parallel version exhibits a periodic oscillatory behavior which is absent in the sequential version. Drawing intuition from the Markov chain Monte Carlo literature, we {\em empirically} show that a parameter expansion of the Ising model, popularly called as the Edward--Sokal coupling, leads to an enlargement of the regime of convergence to the global optima.


title: DETCID: Detection of Elongated Touching Cells with Inhomogeneous Illumination using a Deep Adversarial Network

abstract: Clostridioides difficile infection (C. diff) is the most common cause of death due to secondary infection in hospital patients in the United States. Detection of C. diff cells in scanning electron microscopy (SEM) images is an important task to quantify the efficacy of the under-development treatments. However, detecting C. diff cells in SEM images is a challenging problem due to the presence of inhomogeneous illumination and occlusion. An Illumination normalization pre-processing step destroys the texture and adds noise to the image. Furthermore, cells are often clustered together resulting in touching cells and occlusion. In this paper, DETCID, a deep cell detection method using adversarial training, specifically robust to inhomogeneous illumination and occlusion, is proposed. An adversarial network is developed to provide region proposals and pass the proposals to a feature extraction network. Furthermore, a modified IoU metric is developed to allow the detection of touching cells in various orientations. The results indicate that DETCID outperforms the state-of-the-art in detection of touching cells in SEM images by at least 20 percent improvement of mean average precision.


title: Cell nucleus as a microrheological probe to study the rheology of the cytoskeleton

abstract: Mechanical properties of the cell are important biomarkers for probing its architectural changes caused by cellular processes and/or pathologies. The development of microfluidic technologies have enabled measuring cell mechanics at high-throughput, so that mechanical phenotyping can be applied to large samples in reasonable time-scales. These studies typically measure the stiffness of the cell as the only mechanical biomarker, and cannot disentangle the rheological contribution of different structural components of the cell, including the cell cortex, the interior cytoplasm and its immersed cytoskeletal structures, and the nucleus. Recent advancements in high-speed fluorescent imaging have enabled probing the deformations of the cell cortex, while also tracking different intracellular components in rates applicable to microfluidic platforms. We present a novel method to decouple the mechanics of the cell cortex and the cytoplasm by analyzing the correlation between the cortical deformations that are induced by external microfluidic flows, and the nucleus displacements induced by those cortical deformations; i.e. we use the nucleus as a high-throughput microrheological probe to study the rheology of the cytoplasm, independent of the cell cortex mechanics. To demonstrate the applicability of this method, we consider a proof of concept model consisting of a rigid spherical nucleus centered in a spherical cell. We obtain analytical expressions for time-dependent nucleus velocity as a function of the cell deformations, when the interior cytoplasm is modeled as a viscous, viscoelastic, porous and poroelastic materials, and demonstrate how the nucleus velocity can be used to characterize the linear rheology of the cytoplasm over a wide range of forces and time-scales/frequencies.


title: What If I Don't Like Any Of The Choices? The Limits of Preference Elicitation for Participatory Algorithm Design

abstract: Emerging methods for participatory algorithm design have proposed collecting and aggregating individual stakeholder preferences to create algorithmic systems that account for those stakeholders' values. Using algorithmic student assignment as a case study, we argue that optimizing for individual preference satisfaction in the distribution of limited resources may actually inhibit progress towards social and distributive justice. Individual preferences can be a useful signal but should be expanded to support more expressive and inclusive forms of democratic participation.


title: Early Validation of Cyber-Physical Space Systems via Multi-Concerns Integration

abstract: Cyber-physical space systems are engineered systems operating within physical space with design requirements that depend on space, e.g., regarding location or movement behavior. They are built from and depend upon the seamless integration of computation and physical components. Typical examples include systems where software-driven agents such as mobile robots explore space and perform actions to complete particular missions. Design of such a system often depends on multiple concerns expressed by different stakeholders, capturing different aspects of the system. We propose a model-driven approach supporting (a) separation of concerns during design, (b) systematic and semi-automatic integration of separately modeled concerns, and finally (c) early validation via statistical model checking. We evaluate our approach over two different case studies of cyber-physical space systems.


title: Deployment and Evaluation of a Flexible Human-Robot Collaboration Model Based on AND/OR Graphs in a Manufacturing Environment

abstract: The Industry 4.0 paradigm promises shorter development times, increased ergonomy, higher flexibility, and resource efficiency in manufacturing environments. Collaborative robots are an important tangible technology for implementing such a paradigm. A major bottleneck to effectively deploy collaborative robots to manufacturing industries is developing task planning algorithms that enable them to recognize and naturally adapt to varying and even unpredictable human actions while simultaneously ensuring an overall efficiency in terms of production cycle time. In this context, an architecture encompassing task representation, task planning, sensing, and robot control has been designed, developed and evaluated in a real industrial environment. A pick-and-place palletization task, which requires the collaboration between humans and robots, is investigated. The architecture uses AND/OR graphs for representing and reasoning upon human-robot collaboration models online. Furthermore, objective measures of the overall computational performance and subjective measures of naturalness in human-robot collaboration have been evaluated by performing experiments with production-line operators. The results of this user study demonstrate how human-robot collaboration models like the one we propose can leverage the flexibility and the comfort of operators in the workplace. In this regard, an extensive comparison study among recent models has been carried out.


title: Spin-orbit interaction of light in three-dimensional microcavities

abstract: We investigate the spin-orbit coupling of light in three-dimensional cylindrical and tube-like whispering gallery mode resonators. We show that its origin is the transverse confinement of light in the resonator walls, even in the absence of inhomogeneities or anisotropies. The spin-orbit interaction results in elliptical far-field polarization (spin) states and causes spatial separation of polarization handedness in the far field. The ellipticity and spatial separation are enhanced for whispering gallery modes with higher excitation numbers along the resonator height. We analyze the asymmetry of the ellipticity and the tilt of the polarization orientation in the far field of cone-like microcavities. Furthermore, we find a direct relationship between the tilt of the polarization orientation in the far field and the local inclination of the resonator wall. Our findings are based on FDTD-simulations and are supported by three-dimensional diffraction theory.


title: First results on ProtoDUNE-SP liquid argon time projection chamber performance from a beam test at the CERN Neutrino Platform

abstract: The ProtoDUNE-SP detector is a single-phase liquid argon time projection chamber with an active volume of $7.2\times 6.0\times 6.9$ m$^3$. It is installed at the CERN Neutrino Platform in a specially-constructed beam that delivers charged pions, kaons, protons, muons and electrons with momenta in the range 0.3 GeV$/c$ to 7 GeV/$c$. Beam line instrumentation provides accurate momentum measurements and particle identification. The ProtoDUNE-SP detector is a prototype for the first far detector module of the Deep Underground Neutrino Experiment, and it incorporates full-size components as designed for that module. This paper describes the beam line, the time projection chamber, the photon detectors, the cosmic-ray tagger, the signal processing and particle reconstruction. It presents the first results on ProtoDUNE-SP's performance, including noise and gain measurements, $dE/dx$ calibration for muons, protons, pions and electrons, drift electron lifetime measurements, and photon detector noise, signal sensitivity and time resolution measurements. The measured values meet or exceed the specifications for the DUNE far detector, in several cases by large margins. ProtoDUNE-SP's successful operation starting in 2018 and its production of large samples of high-quality data demonstrate the effectiveness of the single-phase far detector design.


title: The area rule for circulation in three-dimensional turbulence

abstract: An important idea underlying a plausible dynamical theory of circulation in three-dimensional turbulence is the so-called Area Rule, according to which the probability density function (PDF) of the circulation around closed loops depends only on the minimal area of the loop, not its shape. We assess the robustness of the Area Rule, for both planar and non-planar loops, using high-resolution data from Direct Numerical Simulations. For planar loops, the circulation moments for rectangular shapes match those for the square with only small differences, these differences being larger when the aspect ratio is further from unity, and when the moment-order increases. The differences do not exceed about $5\%$ for any condition examined here. The aspect-ratio dependence observed for the second-order moment are indistinguishable from results for the Gaussian Random Field (GRF) with the same two-point correlation function (for which the results are order-independent by construction). When normalized by the SD of the PDF, the aspect ratio dependence is even smaller $(< 2\%)$ but does not vanish unlike for the GRF. We obtain circulation statistics around minimal area loops in three dimensions and compare them to those of a planar loop circumscribing equivalent areas, and we find that circulation statistics match in the two cases only when normalized by an internal variable such as the SD. This work highlights the hitherto unknown connection between minimal surfaces and turbulence.


title: The Nirenberg Problem for Conical Singularities

abstract: We propose a new approach to the question of prescribing Gaussian curvature on the 2-sphere with at least three conical singularities and angles less than $2\pi$, the main result being sufficient conditions for a positive function of class at least $C^2$ to be the Gaussian curvature of such a conformal conical metric on the round sphere. Our methods particularly differ from the variational approach in that they don't rely on the Moser-Trudinger inequality. Along the way, we also prove a general precompactness theorem for compact Riemann surfaces with at least three conical singularities and angles less than 2$\pi$.


title: Dealing with T and CPT violations in mixing as well as direct and indirect CP violations for neutral mesons decaying to two vectors

abstract: A large number of observables can be constructed from differential decay rate based on the polarization of final state while considering decay of a neutral meson $(P^0 \text{ or } \bar P^0)$ to two vector particles. But all of these observables are not independent to each other since there are only a few independent theoretical parameters controlling the whole dynamics and therefore various relations among observables emerge. In this paper, we have studied the behaviour of observables for neutral meson decaying to two vectors in presence of T and CPT violations in mixing accompanied by both direct and indirect CP violations. We have expressed all of the fourteen unknown theoretical parameters for this scenario in terms observables only and constructed the complete set of thirty four relations among observables whose violation would signify the existence of some new Physics involving direct violation of CPT. In addition, using this formalism we have studied three special cases too: a) SM scenario, b) SM plus direct CP violation c) SM plus T and CPT violation in mixing.


title: Linear, nonlinear and transitional regimes of second mode instability

abstract: The 2D second-mode is a potent instability in hypersonic boundary layers (HBLs). We study its linear and nonlinear evolution, followed by its role in transition and eventual breakdown of the HBL into a fully turbulent state. Linear stability theory (LST) is utilized to identify the second-mode wave through FS-synchronization, which is then recreated in linearly and nonlinearly forced 2D direct numerical simulations (DNSs). The nonlinear DNS shows saturation of the fundamental frequency, and the resulting superharmonics induce tightly braided ``rope-like'' patterns near the generalized inflection point (GIP). The instability exhibits a second region of growth constituted by the fundamental frequency, downstream of the primary envelope, which is absent in the linear scenario. Subsequent 3D DNS identifies this region to be crucial in amplifying oblique instabilities riding on the 2D second-mode ``rollers''. This results in lambda vortices below the GIP, which are detached from the ``rollers'' in the inner boundary layer. Streamwise vortex-stretching results in a localized peak in length-scales inside the HBL, eventually forming haripin vortices. Spectral analyses track the transformation of harmonic peaks into a turbulent spectrum, and appearance of oblique modes at the fundamental frequency, which suggests that fundamental resonance is the most dominant mechanism of transition. Bispectrum reveals coupled nonlinear interactions between the fundamental and its superharmonics leading to spectral broadening, and traces of subharmonic resonance as well.


title: Inertial Sensing Meets Artificial Intelligence: Opportunity or Challenge?

abstract: The inertial navigation system (INS) has been widely used to provide self-contained and continuous motion estimation in intelligent transportation systems. Recently, the emergence of chip-level inertial sensors has expanded the relevant applications from positioning, navigation, and mobile mapping to location-based services, unmanned systems, and transportation big data. Meanwhile, benefit from the emergence of big data and the improvement of algorithms and computing power, artificial intelligence (AI) has become a consensus tool that has been successfully applied in various fields. This article reviews the research on using AI technology to enhance inertial sensing from various aspects, including sensor design and selection, calibration and error modeling, navigation and motion-sensing algorithms, multi-sensor information fusion, system evaluation, and practical application. Based on the over 30 representative articles selected from the nearly 300 related publications, this article summarizes the state of the art, advantages, and challenges on each aspect. Finally, it summarizes nine advantages and nine challenges of AI-enhanced inertial sensing and then points out future research directions.


title: On the Parallel Tower of Hanoi Puzzle: Acyclicity and a Conditional Triangle Inequality

abstract: A parallel variant of the Tower of Hanoi Puzzle is described herein. Within this parallel context, two theorems on minimal walks in the state space of configurations, along with their constructive proofs, are provided. These proofs are used to describe a {\sl denoising method}: a method for identifying and eliminating sub-optimal transfers within an arbitrary, valid sequence of disk configurations (as per the rules of the Puzzle). We discuss potential applications of this method to hierarchical reinforcement learning.


title: Modeling Nonlocal Electron-Phonon Coupling in Organic Crystals Using Interpolative Maps: The Spectroscopy of Crystalline Pentacene and 7,8,15,16-Tetraazaterrylene

abstract: Electron-phonon coupling plays a central role in the transport properties and photophysics of organic crystals. Successful models describing charge- and energy-transport in these systems routinely include these effects. Most models for describing photophysics, on the other hand, only incorporate local electron-phonon coupling to intramolecular vibrational modes, while nonlocal electron-phonon coupling is neglected. One might expect nonlocal coupling to have an important effect on the photophysics of organic crystals, because it gives rise to large fluctuation in the charge-transfer couplings, and charge-transfer couplings play an important role in the spectroscopy of many organic crystals. Here, we study the effects of nonlocal coupling on the absorption spectrum of crystalline pentacene and 7,8,15,16-tetraazaterrylene. To this end, we develop a new mixed quantum-classical approach for including nonlocal coupling into spectroscopic and transport models for organic crystals. Importantly, our approach does not assume that the nonlocal coupling is linear, in contrast to most modern charge-transport models. We find that the nonlocal coupling broadens the absorption spectrum non-uniformly across the absorption line shape. In pentacene, for example, our model predicts that the lower Davydov component broadens considerably more than the upper Davydov component, explaining the origin of this experimental observation for the first time. By studying a simple dimer model, we are able to attribute this selective broadening to correlations between the fluctuations of the charge-transfer couplings. Overall, our method incorporates nonlocal electron-phonon coupling into spectroscopic and transport models with computational efficiency, generalizability to a wide range of organic crystals, and without any assumption of linearity.


title: Einstein-Gauss-Bonnet gravity: is it compatible with modern cosmology?

abstract: Einstein-Gauss-Bonnet (EGB) model is recently restudied in order to analyze new consequences in gravitation, modifying appropriately the Einstein-Hilbert action. The consequences in EGB cosmology are mainly geometric, with higher order values in the Hubble parameter. In this vein this paper is devoted to contribute with extra evidences about its pros and cons of the model from a cosmological point of view. We start constraining the characteristic parameter, $\alpha$, of the EGB model when a cosmological constant as the catalyst for the acceleration is considered. The constrictions are developed at the background cosmology using Observational Hubble Data, Baryon Acoustic Oscillations, Supernovaes of the Ia type, Strong Lensing Systems and the recent compilation of HII Galaxies. Additionally, we implement a statefinder analysis where we found not only a late acceleration but also an early Universe acceleration which is associated with the parameter $\alpha$. Based on our results of the lensing systems, the Universe evolution never reaches a non accelerated phase, instead it is always presented in an accelerated state, being a possible fault that afflicts the EGB model.


title: Regularized linear autoencoders recover the principal components, eventually

abstract: Our understanding of learning input-output relationships with neural nets has improved rapidly in recent years, but little is known about the convergence of the underlying representations, even in the simple case of linear autoencoders (LAEs). We show that when trained with proper regularization, LAEs can directly learn the optimal representation -- ordered, axis-aligned principal components. We analyze two such regularization schemes: non-uniform $\ell_2$ regularization and a deterministic variant of nested dropout [Rippel et al, ICML' 2014]. Though both regularization schemes converge to the optimal representation, we show that this convergence is slow due to ill-conditioning that worsens with increasing latent dimension. We show that the inefficiency of learning the optimal representation is not inevitable -- we present a simple modification to the gradient descent update that greatly speeds up convergence empirically.


title: On the approximation of the black hole shadow with a simple polar curve

abstract: A black hole embedded within a bright, optically thin emitting region imprints a nearly circular "shadow" on its image, corresponding to the observer's line-of-sight into the black hole. The shadow boundary depends on the black hole's mass and spin, providing an observable signature of both properties via high resolution images. However, standard expressions for the shadow boundary are most naturally parametrized by Boyer-Lindquist radii rather than by image coordinates. We explore simple, approximate parameterizations for the shadow boundary using ellipses and a family of curves known as limacons. We demonstrate that these curves provide excellent and efficient approximations for all black hole spins and inclinations. In particular, we show that the two parameters of the limacon naturally account for the three primary shadow deformations resulting from mass and spin: size, displacement, and asymmetry. These curves are convenient for parametric model fitting directly to interferometric data, they reveal the degeneracies expected when estimating black hole properties from images with practical measurement limitations, and they provide a natural framework for parametric tests of the Kerr metric using black hole images.


title: Kinetic energy flows in activated dynamics of biomolecules

abstract: Protein conformational changes are activated processes essential for protein functions. Activation in a protein differs from activation in a small molecule in that it involves directed and systematic energy flows through preferred channels encoded in the protein structure. Understanding the nature of these energy flow channels and how energy flows through them during activation is critical for understanding protein conformational changes. We recently developed a rigorous statistical mechanical framework for understanding potential energy flows. Here we complete this theoretical framework with a rigorous theory for kinetic energy flows: potential and kinetic energy inter-convert when impressed forces oppose inertial forces whereas kinetic energy transfers directly from one coordinate to another when inertial forces oppose each other. This theory is applied to analyzing a prototypic system for biomolecular conformational dynamics: the isomerization of an alanine dipeptide. Among the two essential energy flow channels for this process, dihedral phi confronts the activation barrier, whereas dihedral theta receives energy from potential energy flows. Intriguingly, theta helps phi to cross the activation barrier by transferring to phi via direct kinetic energy flow all the energy it received: increase in theta caused by potential energy flow converts into increase in phi. As a compensation, theta receives kinetic energy from bond angle alpha via direct mechanism and bond angle beta via indirect mechanism.


title: Higher dimensional surgery and Steklov eigenvalues

abstract: We show that for compact Riemannian manifolds of dimension at least $3$ with nonempty boundary, we can modify the manifold by performing surgeries of codimension $2$ or higher, while keeping the Steklov spectrum nearly unchanged. This shows that certain changes in the topology of a domain do not have an effect when considering shape optimization questions for Steklov eigenvalues in dimensions $3$ and higher. Our result generalizes the 1-dimensional surgery in [FS2] to higher dimensional surgeries and to higher eigenvalues. It is proved in [FS2] that the unit ball does not maximize the first nonzero normalized Steklov eigenvalue among contractible domains in $\mathbb{R}^n$, for $n \geq 3$. We show that this is also true for higher Steklov eigenvalues. Using similar ideas we show that in $\mathbb{R}^n$, for $n\geq 3$, the $j$-th normalized Steklov eigenvalue is not maximized in the limit by a sequence of contractible domains degenerating to the disjoint union of $j$ unit balls, in contrast to the case in dimension $2$ [GP1].


title: The Distribution Function of the Longest Head Run

abstract: In this paper, the open problem of finding a closed analytical expression for the distribution function of the length of the longest pure head run in coin tosses of a possibly biased coin is solved by studying the closely related Markov chain of current head runs.


title: On a pre-Jacobi-Jordan algebra: relevant properties and double construction

abstract: We introduce a pre-Jacobi-Jordan algebras and study some relevant properties such as bimodules, matched pairs. Besides, we established a pre-Jacobi-Jordan algebra built as a direct sum of a given pre-Jacobi-Jordan algebra $(\A, \cdot)$ and its dual $(\A^{\ast}, \circ),$ endowed with a non-degenerate symmetric bilinear form $B,$ where $\cdot$ and $\circ$ are the products defined on $\A$ and $\A^{\ast},$ respectively. Finally, after pre-Jacobi-Jordan algebras classification in dimension two, we thoroughly give some double constructions of pre-Jacobi-Jordan algebraic structures.