title: Planar Distance Oracles with Better Time-Space Tradeoffs

abstract: In a recent breakthrough, Charalampopoulos, Gawrychowski, Mozes, and Weimann (STOC 2019) showed that exact distance queries on planar graphs could be answered in $n^{o(1)}$ time by a data structure occupying $n^{1+o(1)}$ space, i.e., up to $o(1)$ terms, optimal exponents in time (0) and space (1) can be achieved simultaneously. Their distance query algorithm is recursive: it makes successive calls to a point-location algorithm for planar Voronoi diagrams, which involves many recursive distance queries. The depth of this recursion is non-constant and the branching factor logarithmic, leading to $(\log n)^{\omega(1)} = n^{o(1)}$ query times. In this paper we present a new way to do point-location in planar Voronoi diagrams, which leads to a new exact distance oracle. At the two extremes of our space-time tradeoff curve we can achieve either $n^{1+o(1)}$ space and $\log^{2+o(1)}n$ query time, or $n\log^{2+o(1)}n$ space and $n^{o(1)}$ query time. All previous oracles with $\tilde{O}(1)$ query time occupy space $n^{1+\Omega(1)}$, and all previous oracles with space $\tilde{O}(n)$ answer queries in $n^{\Omega(1)}$ time.


title: Toward a valid instrument for measuring physics quantitative literacy

abstract: We have developed the Physics Inventory of Quantitative Literacy (PIQL) as a tool to measure students' quantitative literacy in the context of introductory physics topics. We present the results from various quantitative analyses used to establish the validity of both the individual items and the PIQL as a whole. We show how examining the results from classical test theory analyses, factor analysis, and item response curves informed decisions regarding the inclusion, removal, or modification of items. We also discuss how the choice to include multiple-choice/multiple-response items has informed both our choices for analyses and the interpretations of their results. We are confident that the most recent version of the PIQL is a valid and reliable instrument for measuring students' physics quantitative literacy in calculus-based introductory physics courses at our primary research site. More data are needed to establish its validity for use at other institutions and in other courses.


title: Capability of nilpotent Lie algebras of small dimension

abstract: Given a nilpotent Lie algebra $L$ of dimension $\le 6$ on an arbitrary field of characteristic $\neq 2$, we show a direct method which allows us to detect the capability of $L$ via computations on the size of its nonabelian exterior square $L \wedge L$. For dimensions higher than $ 6$, we show a result of general nature, based on the evidences of the low dimensional case, focusing on generalized Heisenberg algebras. Indeed we detect the capability of $L \wedge L$ via the size of the Schur multiplier $M(L/Z^\wedge(L))$ of $L/Z^\wedge(L)$, where $Z^\wedge(L)$ denotes the exterior center of $L$.


title: Doubly Distributed Supervised Learning and Inference with High-Dimensional Correlated Outcomes

abstract: This paper presents a unified framework for supervised learning and inference procedures using the divide-and-conquer approach for high-dimensional correlated outcomes. We propose a general class of estimators that can be implemented in a fully distributed and parallelized computational scheme. Modelling, computational and theoretical challenges related to high-dimensional correlated outcomes are overcome by dividing data at both outcome and subject levels, estimating the parameter of interest from blocks of data using a broad class of supervised learning procedures, and combining block estimators in a closed-form meta-estimator asymptotically equivalent to estimates obtained by Hansen (1982)'s generalized method of moments (GMM) that does not require the entire data to be reloaded on a common server. We provide rigorous theoretical justifications for the use of distributed estimators with correlated outcomes by studying the asymptotic behaviour of the combined estimator with fixed and diverging number of data divisions. Simulations illustrate the finite sample performance of the proposed method, and we provide an R package for ease of implementation.


title: An Eddy-Zonal Flow Feedback Model for Propagating Annular Modes

abstract: The variability of the zonal-mean large-scale extratropical circulation is often studied using individual modes obtained from empirical orthogonal function (EOF) analyses. The prevailing reduced-order model of the leading EOF (EOF1) of zonal-mean zonal wind, called the annular mode, consists of an eddy-mean flow interaction mechanism that results in a positive feedback of EOF1 onto itself. However, a few studies have pointed out that under some circumstances in observations and GCMs, strong couplings exist between EOF1 and EOF2 at some lag times, resulting in decaying-oscillatory, or propagating, annular modes. Here, we introduce a reduced-order model for coupled EOF1 and EOF2 that accounts for potential cross-EOF eddy-zonal flow feedbacks. Using the analytical solution of this model, we derive conditions for the existence of the propagating regime based on the feedback strengths. Using this model, and idealized GCMs and stochastic prototypes, we show that cross-EOF feedbacks play an important role in controlling the persistence of the annular modes by setting the frequency of the oscillation. We find that stronger cross-EOF feedbacks lead to less persistent annular modes. Applying the coupled-EOF model to the Southern Hemisphere reanalysis data shows the existence of strong cross-EOF feedbacks. The results highlight the importance of considering the coupling of EOFs and cross-EOF feedbacks to fully understand the natural and forced variability of the zonal-mean large-scale circulation.


title: Real-time Framework for Trust Monitoring in aNetwork of Unmanned Aerial Vehicles

abstract: Unmanned aerial vehicles (UAVs) have been increasingly utilized in various civilian and military applications such as remote sensing, border patrolling, disaster monitoring, and communication coverage extension. However, there are still prone to several cyber attacks such as GPS spoofing attacks, distributed denial-of-service (DDoS) attacks, and man-in-the-middle attacks to obtain their collected information or to enforce the UAVs to perform their requested actions which may damage the UAVs or their surrounding environment or even endanger the safety of human in the operation field. In this paper, we propose a trust monitoring mechanism in which a centralized unit (e.g. the ground station) regularly observe the behavior of the UAVs in terms of their motion path, their consumed energy, as well as the number of their completed tasks and measure a relative trust score for the UAVs to detect any abnormal behaviors in a real-time manner. Our simulation results show that the trust model can detect malicious UAVs, which can be under various cyber-security attacks such as flooding attacks, man-in-the-middle attacks, GPS spoofing attack in real-time.


title: The Landau equation as a Gradient Flow

abstract: We propose a gradient flow perspective to the spatially homogeneous Landau equation for soft potentials. We construct a tailored metric on the space of probability measures based on the entropy dissipation of the Landau equation. Under this metric, the Landau equation can be characterized as the gradient flow of the Boltzmann entropy. In particular, we characterize the dynamics of the PDE through a functional inequality which is usually referred as the Energy Dissipation Inequality. Furthermore, analogous to the optimal transportation setting, we show that this interpretation can be used in a minimizing movement scheme to construct solutions to a regularized Landau equation.


title: Advances in Deep Learning for Hyperspectral Image Analysis--Addressing Challenges Arising in Practical Imaging Scenarios

abstract: Deep neural networks have proven to be very effective for computer vision tasks, such as image classification, object detection, and semantic segmentation -- these are primarily applied to color imagery and video. In recent years, there has been an emergence of deep learning algorithms being applied to hyperspectral and multispectral imagery for remote sensing and biomedicine tasks. These multi-channel images come with their own unique set of challenges that must be addressed for effective image analysis. Challenges include limited ground truth (annotation is expensive and extensive labeling is often not feasible), and high dimensional nature of the data (each pixel is represented by hundreds of spectral bands), despite being presented by a large amount of unlabeled data and the potential to leverage multiple sensors/sources that observe the same scene. In this chapter, we will review recent advances in the community that leverage deep learning for robust hyperspectral image analysis despite these unique challenges -- specifically, we will review unsupervised, semi-supervised and active learning approaches to image analysis, as well as transfer learning approaches for multi-source (e.g. multi-sensor, or multi-temporal) image analysis.


title: Critical behavior of the classical spin-1 Ising model: a combined low-temperature series expansion and Metropolis Monte Carlo analysis

abstract: In this paper, we theoretically study the critical properties of the classical spin-1 Ising model using two approaches: 1) the analytical low-temperature series expansion and 2) the numerical Metropolis Monte Carlo technique. Within this analysis, we discuss the critical behavior of one-, two- and three-dimensional systems modeled by the first-neighbor spin-1 Ising model for different types of exchange interactions. The comparison of the results obtained according the Metropolis Monte Carlo simulations allows us to highlight the limits of the widely used mean-field theory approach. We also show, via a simple transformation, that for the special case where the bilinear and bicubic terms are set equal to zero in the Hamiltonian the partition function of the spin-1 Ising model can be reduced to that of the spin-1/2 Ising model with temperature dependent external field and temperature independent exchange interaction times an exponential factor depending on the other terms of the Hamiltonian and confirm this result numerically by using the Metropolis Monte Carlo simulation. Finally, we investigate the dependence of the critical temperature on the strength of long-range interactions included in the Ising Hamiltonian comparing it with that of the first-neighbor spin-1/2 Ising model.


title: Integration of Survival Data from Multiple Studies

abstract: We introduce a statistical procedure that integrates survival data from multiple biomedical studies, to improve the accuracy of predictions of survival or other events, based on individual clinical and genomic profiles, compared to models developed leveraging only a single study or meta-analytic methods. The method accounts for potential differences in the relation between predictors and outcomes across studies, due to distinct patient populations, treatments and technologies to measure outcomes and biomarkers. These differences are modeled explicitly with study-specific parameters. We use hierarchical regularization to shrink the study-specific parameters towards each other and to borrow information across studies. Shrinkage of the study-specific parameters is controlled by a similarity matrix, which summarizes differences and similarities of the relations between covariates and outcomes across studies. We illustrate the method in a simulation study and using a collection of gene-expression datasets in ovarian cancer. We show that the proposed model increases the accuracy of survival prediction compared to alternative meta-analytic methods.


title: A Blockchain-based Iterative Double Auction Protocol using Multiparty State Channels

abstract: Although the iterative double auction has been widely used in many different applications, one of the major problems in its current implementations is that they rely on a trusted third party to handle the auction process. This imposes the risk of single point of failures, monopoly, and bribery. In this paper, we aim to tackle this problem by proposing a novel decentralized and trustless framework for iterative double auction based on blockchain. Our design adopts the smart contract and state channel technologies to enable a double auction process among parties that do not need to trust each other, while minimizing the blockchain transactions. In specific, we propose an extension to the original concept of state channels that can support multiparty computation. Then we provide a formal development of the proposed framework and prove the security of our design against adversaries. Finally, we develop a proof-of-concept implementation of our framework using Elixir and Solidity, on which we conduct various experiments to demonstrate its feasibility and practicality.


title: OptChain: Optimal Transactions Placement for Scalable Blockchain Sharding

abstract: A major challenge in blockchain sharding protocols is that more than 95% transactions are cross-shard. Not only those cross-shard transactions degrade the system throughput but also double the confirmation time, and exhaust an already scarce network bandwidth. Are cross-shard transactions imminent for sharding schemes? In this paper, we propose a new sharding paradigm, called OptChain, in which cross-shard transactions are minimized, resulting in almost twice faster confirmation time and throughput. By treating transactions as a stream of nodes in an online graph, OptChain utilizes a lightweight and on-the-fly transaction placement method to group both related and soon-related transactions into the same shards. At the same time, OptChain maintains a temporal balance among shards to guarantee the high parallelism. Our comprehensive and large-scale simulation using Oversim P2P library confirms a significant boost in performance with up to 10 folds reduction in cross-shard transactions, more than twice reduction in confirmation time, and 50% increase in throughput. When combined with Omniledger sharding protocol, OptChain delivers a 6000 transactions per second throughput with 10.5s confirmation time.


title: Negative Sasakian structures on simply-connected 5-manifolds

abstract: We study several questions on the existence of negative Sasakian structures on simply connected rational homology spheres and on Smale-Barden manifolds of the form $\#_k(S^2\times S^3)$. First, we prove that any simply connected rational homology sphere admitting positive Sasakian structures also admits a negative one. This result answers the question, posed by Boyer and Galicki in their book [BG], of determining which simply connected rational homology spheres admit both negative and positive Sasakian structures. Second, we prove that the connected sum $\#_k(S^2\times S^3)$ admits negative quasi-regular Sasakian structures for any $k$. This yields a complete answer to another question posed in [BG].


title: Modal Logics with Composition on Finite Forests: Expressivity and Complexity (Extra Material)

abstract: We investigate the expressivity and computational complexity of two modal logics on finite forests equipped with operators to reason on submodels. The logic ML(|) extends the basic modal logic ML with the composition operator | from static ambient logic, whereas ML(*) contains the separating conjunction * from separation logic. Though both operators are second-order in nature, we show that ML(|) is as expressive as the graded modal logic GML (on finite trees) whereas ML(*) lies strictly between ML and GML. Moreover, we establish that the satisfiability problem for ML(*) is Tower-complete, whereas for ML(|) is (only) AExpPol-complete. As a by-product, we solve several open problems related to sister logics, such as static ambient logic, modal separation logic, and second-order modal logic on finite trees.


title: Outage Analysis in SWIPT Enabled Cooperative AF/DF Relay Assisted Two-Way Spectrum Sharing Communication

abstract: This paper reports relative performance of decode-and-forward (DF) and amplify-and-forward (AF) relaying in a multi-antenna cooperative cognitive radio network (CCRN) that supports device-to-device (D2D) communications using spectrum sharing technique in cellular network. In this work, cellular system is considered as primary and internet of things devices (IoDs), engaged in D2D communications, are considered to be secondary system. The devices access the licensed spectrum by means of the cooperation in two-way primary communications. Furthermore, IoDs are energized by harvesting the energy from radio frequency (RF) signals, using simultaneous wireless information and power transfer (SWIPT) protocol. Closed form expressions of outage probability for both cellular and D2D communications are derived and the impact of various design parameters for both AF and DF relaying techniques are studied. Based on the simulation results, it is found that the proposed spectrum sharing protocol, for both DF relaying and AF relaying schemes, outperform another similar network architecture in terms of spectrum efficiency. It is also observed that the performance of the proposed system using DF relaying is better than AF relaying scheme in terms of energy efficiency at same transmit power.


title: Denial-of-Service Vulnerability of Hash-based Transaction Sharding: Attack and Countermeasure

abstract: Since 2016, sharding has become an auspicious solution to tackle the scalability issue in legacy blockchain systems. Despite its potential to strongly boost the blockchain throughput, sharding comes with its own security issues. To ease the process of deciding which shard to place transactions, existing sharding protocols use a hash-based transaction sharding in which the hash value of a transaction determines its output shard. Unfortunately, we show that this mechanism opens up a loophole that could be exploited to conduct a single-shard flooding attack, a type of Denial-of-Service (DoS) attack, to overwhelm a single shard that ends up reducing the performance of the system as a whole. To counter the single-shard flooding attack, we propose a countermeasure that essentially eliminates the loophole by rejecting the use of hash-based transaction sharding. The countermeasure leverages the Trusted Execution Environment (TEE) to let blockchain's validators securely execute a transaction sharding algorithm with a negligible overhead. We provide a formal specification for the countermeasure and analyze its security properties in the Universal Composability (UC) framework. Finally, a proof-of-concept is developed to demonstrate the feasibility and practicality of our solution.


title: CoNES: Convex Natural Evolutionary Strategies

abstract: We present a novel algorithm -- convex natural evolutionary strategies (CoNES) -- for optimizing high-dimensional blackbox functions by leveraging tools from convex optimization and information geometry. CoNES is formulated as an efficiently-solvable convex program that adapts the evolutionary strategies (ES) gradient estimate to promote rapid convergence. The resulting algorithm is invariant to the parameterization of the belief distribution. Our numerical results demonstrate that CoNES vastly outperforms conventional blackbox optimization methods on a suite of functions used for benchmarking blackbox optimizers. Furthermore, CoNES demonstrates the ability to converge faster than conventional blackbox methods on a selection of OpenAI's MuJoCo reinforcement learning tasks for locomotion.


title: Fermi gas approach to general rank theories and quantum curves

abstract: It is known that matrix models computing the partition functions of three-dimensional $\mathcal{N}=4$ superconformal Chern-Simons theories described by circular quiver diagrams can be written as the partition functions of ideal Fermi gases when all the nodes have equal ranks. We extend this approach to rank deformed theories. The resulting matrix models factorize into factors depending only on the relative ranks in addition to the Fermi gas factors. We find that this factorization plays a critical role in showing the equality of the partition functions of dual theories related by the Hanany-Witten transition. Furthermore, we show that the inverses of the density matrices of the ideal Fermi gases can be simplified and regarded as quantum curves as in the case without rank deformations. We also comment on four nodes theories using our results.


title: Small Bodies Tell the Story of the Solar System: A Scientific Rationale for a Multi-Target Small Body Sample Return Program including the Earth-based Laboratory Analysis of Returned Samples

abstract: Small bodies are time-capsules of different eras of solar system history from the most primitive materials within the solar system to evolved pieces of larger bodies. A small body sample return program is an essential component of small body exploration, and such a program should include opportunities for both missions and laboratory analysis.


title: Investigation of the Effect of Incidental Fear Privacy Behavioral Intention (Technical Report)

abstract: Background. Incidental emotions users feel during their online activities may alter their privacy behavioral intentions. Aim. We investigate the effect of incidental affect (fear and happiness) on privacy behavioral intention. Method. We recruited $330$ participants for a within-subjects experiment in three random-controlled user studies. The participants were exposed to three conditions \textsf{neutral}, \textsf{fear}, \textsf{happiness} with standardised stimuli videos for incidental affect induction. Fear and happiness were assigned in random order. The participants' privacy behavioural intentions (PBI) were measured followed by a Positive and Negative Affect Schedule (PANAS-X) manipulation check on self-reported affect. The PBI and PANAS-X were compared across treatment conditions. Results. We observed a statistically significant difference in PBI and Protection Intention in neutral-fear and neutral-happy comparisons. However across fear and happy conditions, we did not observe any statistically significant change in PBI scores. Conclusions. We offer the first systematic analysis of the impact of incidental affects on Privacy Behavioral Intention (PBI) and its sub-constructs. We are the first to offer a fine-grained analysis of neutral-affect comparisons and interactions offering insights in hitherto unexplained phenomena reported in the field.


title: Nuclear Spectroscopy for the Exploration of Mars and Beyond

abstract: Nuclear spectroscopy is the only instrumentation that provides bulk geochemical constraints at depth (up to one meter in the surface). These instruments identify and quantify water and other key elements relevant to planetary exploration, including assessing planetary processes, context in the search for life, and in-situ resource utilization.


title: Black holes in torsion bigravity

abstract: We study spherically symmetric black hole solutions in a four-parameter Einstein-Cartan-type class of theories, called "torsion bigravity". These theories offer a geometric framework (with a metric and an independent torsionfull connection) for a modification of Einstein's theory that has the same spectrum as bimetric gravity models. In addition to an Einsteinlike massless spin-2 excitation, there is a massive spin-2 one (of range $\kappa^{-1}$) coming from the torsion sector, rather than from a second metric. We prove the existence of three broad classes of spherically-symmetric black hole solutions in torsion bigravity. First, the Schwarzschild solution defines an asymptotically-flat torsionless black hole for all values of the parameters. [And we prove that one cannot deform a Schwarzschild solution, at the linearized level, by adding an infinitesimal torsion hair.] Second, when considering finite values of the range, we find that there exist non-asymptotically-flat torsion-hairy black holes in a large domain of parameter space. Third, we find that, in the limit of infinite range, there exists a two-parameter family of asymptotically flat torsion-hairy black holes. The latter black hole solutions give an interesting example of non-Einsteinian (but still purely geometric) black hole structures which might be astrophysically relevant when considering a range of cosmological size.


title: Optimization of Surface Plasmon Resonance Biosensor for Analysis of Lipid Molecules

abstract: Surface Plasmon Resonance (SPR) is an important bio-sensing technique for real-time label-free detection. However, it is pivotal to optimize various parameters of the sensor configuration for efficient and highly sensitive sensing. To that effect, we focus on optimizing two different SPR structures -- the basic Kretschmann configuration and narrow groove grating. Our analysis aims to detect two different types of lipids known as phospholipid and eggyolk, which are used as analyte (sensing layer) and two different types of proteins namely tryptophan and bovine serum albumin (BSA) are used as ligand (binding site). For both the configurations, we investigate all possible lipid-protein combinations to understand the effect of various parameters on sensitivity, minimum reflectivity and full width half maximum (FWHM). Lipids are the structural building block of cell membranes and mutation of these layers by virus and bacteria is one the prime reasons of many diseases in our body. Hence, improving the performance of a SPR sensor to detect very small change in lipid holds immense significance. We use finite-difference time-domain (FDTD) technique to perform quantitative analysis to get an optimized structure. We find that sensitivity increases when lipid concentration is increased and it is the highest (21.95 degree/RIU) for phospholipid and tryptophan combination when metal and lipid layer thickness are 45 nm and 30 nm respectively. However, metal layer thickness does not cause any significant variation in sensitivity, but as it increases to 50 nm, minimum reflectivity and full width half maximum (FWHM) decreases to the lowest. In case of narrow groove grating structure, broad range of wavelengths can generate SPR and the sensitivity is highest (900nm/RIU) for a configuration of 10 nm groove width and 70 nm groove height at a resonance wavelength of 1411 nm.

categories: physics.bio-ph cs.SY eess.SY physics.optics


title: A recursion-free functional approximation for the dynamic inventory problem

abstract: We consider the dynamic inventory problem with non-stationary demands. It has long been known that non-stationary (s, S) policies are optimal for this problem. However, finding optimal policy parameters remains a computational challenge as it requires solving a large-scale stochastic dynamic program. To address this, we devise a recursion-free approximation for the optimal cost function of the problem. This enables us to compute policy parameters heuristically, without resorting to a stochastic dynamic program. The heuristic is easy-to-understand and -use since it follows by elementary methods of convex minimization and shortest paths, yet it is very effective and outperforms earlier heuristics.


title: Priority Questions for Jupiter System Science in the 2020s and Opportunities for Europa Clipper

abstract: This whitepaper identifies important science questions that can be answered through exploration of the Jupiter System, with emphasis on the questions that can be addressed by the Europa Clipper Mission. We advocate for adding Jupiter System Science to the mission after launch when expanding the scientific scope will not affect the development cost.


title: Self-consistent Color-Mass-to-Light-Ratio relations for Low Surface Brightness Galaxies

abstract: The color - stellar mass-to-light ratio relation (CMLR) is a widely accepted tool to estimate the stellar mass (M*) of a galaxy. However, an individual CMLR tends to give distinct M* for a same galaxy when it is applied in different bands. Examining five representative CMLRs from literature, we find that the difference in M* predicted in different bands from optical to near-infrared by a CMLR is 0.1-0.3 dex. Therefore, based on a sample of low surface brightness galaxies (LSBG) that covers a wide range of color and luminosity, we re-calibrated each original CMLR in r, i, z, J, H, and K bands to give internally self-consistent M* for a same galaxy. The g-r is the primary color indicator in the re-calibrated relations which show little dependenceon red (r - z) or near-infrared (J - K) colors.Additionally, the external discrepancies in the originally predicted stellar mass-to-light ratio (M*/L) by the five independent CMLRs have been greatly reduced after re-calibration, especially in near-infrared bands, implying that the near-infrared luminosities are more robust to predict M*/L. For each CMLR, the re-calibrated relations provided in this work could produce internally self-consistent M* from divergent photometric bands, and are extensions of the re-calibrations from Johnson-Cousin filter system by the pioneering work of McGaugh & Schombert (2014) to SDSS filter system.


title: Perturbative estimates for the one-phase Stefan Problem

abstract: We provide perturbative estimates for the one-phase Stefan free boundary problem and obtain the regularity of flat free boundaries via a linearization technique in the spirit of the elliptic counterpart established by the first author.


title: Regularity and symbolic defect of points on rational normal curves

abstract: In this paper we study ideals of points lying on rational normal curves defined in projective plane and projective $ 3 $-space. We give an explicit formula for the value of Castelnuovo-Mumford regularity for their ordinary powers. Moreover, we compare the $ m $-th symbolic and ordinary powers for such ideals in order to show whenever the $ m $-th symbolic defect is non-zero.


title: Privacy Engineering Meets Software Engineering. On the Challenges of Engineering Privacy ByDesign

abstract: Current day software development relies heavily on the use of service architectures and on agile iterative development methods to design, implement, and deploy systems. These practices result in systems made up of multiple services that introduce new data flows and evolving designs that escape the control of a single designer. Academic privacy engineering literature typically abstracts away such conditions of software production in order to achieve generalizable results. Yet, through a systematic study of the literature, we show that proposed solutions inevitably make assumptions about software architectures, development methods and scope of designer control that are misaligned with current practices. These misalignments are likely to pose an obstacle to operationalizing privacy engineering solutions in the wild. Specifically, we identify important limitations in the approaches that researchers take to design and evaluate privacy enhancing technologies which ripple to proposals for privacy engineering methodologies. Based on our analysis, we delineate research and actions needed to re-align research with practice, changes that serve a precondition for the operationalization of academic privacy results in common software engineering practices.


title: Dynamic Low-light Imaging with Quanta Image Sensors

abstract: Imaging in low light is difficult because the number of photons arriving at the sensor is low. Imaging dynamic scenes in low-light environments is even more difficult because as the scene moves, pixels in adjacent frames need to be aligned before they can be denoised. Conventional CMOS image sensors (CIS) are at a particular disadvantage in dynamic low-light settings because the exposure cannot be too short lest the read noise overwhelms the signal. We propose a solution using Quanta Image Sensors (QIS) and present a new image reconstruction algorithm. QIS are single-photon image sensors with photon counting capabilities. Studies over the past decade have confirmed the effectiveness of QIS for low-light imaging but reconstruction algorithms for dynamic scenes in low light remain an open problem. We fill the gap by proposing a student-teacher training protocol that transfers knowledge from a motion teacher and a denoising teacher to a student network. We show that dynamic scenes can be reconstructed from a burst of frames at a photon level of 1 photon per pixel per frame. Experimental results confirm the advantages of the proposed method compared to existing methods.


title: Implementation feedback of the IVOA Provenance data model

abstract: The IVOA Provenance Data model defines entities, agents and activities as container classes to describe the provenance of datasets, with the executed tasks and responsibilities attached to agents. It also provides a set of classes to describe the activities type and their configuration template, as well as the configuration applied effectively during the execution of a task. Here we highlight lessons learned in the implementation of the CDS ProvHiPS service distributing provenance metadata for the HST HiPS data collections, and for the HST archive original images used to produce the HiPS tiles. ProvHiPS is based on the ProvTAP protocol, the emerging TAP standard for distributing provenance metadata. ProvTAP queries may rapidly become very complex. Various graph representation strategies, including ad hoc solutions, triplestore and SQL CTE have been considered and are discussed shortly.


title: Collision Avoidance Robotics Via Meta-Learning (CARML)

abstract: This paper presents an approach to exploring a multi-objective reinforcement learning problem with Model-Agnostic Meta-Learning. The environment we used consists of a 2D vehicle equipped with a LIDAR sensor. The goal of the environment is to reach some pre-determined target location but also effectively avoid any obstacles it may find along its path. We also compare this approach against a baseline TD3 solution that attempts to solve the same problem.


title: Preserving Semantic Neighborhoods for Robust Cross-modal Retrieval

abstract: The abundance of multimodal data (e.g. social media posts) has inspired interest in cross-modal retrieval methods. Popular approaches rely on a variety of metric learning losses, which prescribe what the proximity of image and text should be, in the learned space. However, most prior methods have focused on the case where image and text convey redundant information; in contrast, real-world image-text pairs convey complementary information with little overlap. Further, images in news articles and media portray topics in a visually diverse fashion; thus, we need to take special care to ensure a meaningful image representation. We propose novel within-modality losses which encourage semantic coherency in both the text and image subspaces, which does not necessarily align with visual coherency. Our method ensures that not only are paired images and texts close, but the expected image-image and text-text relationships are also observed. Our approach improves the results of cross-modal retrieval on four datasets compared to five baselines.


title: A Lesson from the James Webb Space Telescope: Early Engagement with Future Astrophysics Great Observatories Maximizes their Solar System Science

abstract: Astrophysics facilities have been of tremendous importance for planetary science. The flagship space observatory Hubble Space Telescope has produced ground-breaking Solar System science, but when launched it did not even have the capability to track moving targets. The next astrophysics flagship mission, the James Webb Space Telescope, included Solar System scientists in its science team from the earliest days, with the result that Webb will launch with a diverse program and capabilities for Solar System exploration. The New Great Observatories, as well as future ground-based facilities, offer the opportunity for a robust suite of observations that will complement, enhance, and enable future Solar System exploration. We encourage the Planetary Science and Astrobiology Decadal Survey to overtly acknowledge the prospects for excellent Solar System science with the next generation of astrophysics facilities. We hope the Planetary Decadal will further encourage these missions to continue to formally involve Solar System scientists in the science working groups and development teams.


title: Control of $\text{N}_2^+$ Air Lasing

abstract: A near-infrared laser generates gain on transitions between the $\text{B}^{\text{2}} \Sigma_{\text{u}}^{\text{+}}$ and $\text{X}^{\text{2}} \Sigma_{\text{g}}^{\text{+}}$ states of the nitrogen molecular cation in part by coupling the $\text{X}^{\text{2}} \Sigma_{\text{g}}^{\text{+}}$ and $\text{A}^{\text{2}} \Pi_{\text{u}}$ states in the V-system. Traditional time resolved pump-probe measurements rely on post-ionization coupling by the pump pulse to initialize dynamics in the $\text{A}^{\text{2}} \Pi_{\text{u}}$ state. Here we show that a weak second excitation pulse reduces ambiguity because it acts only on the ion independent of ionization. The additional control pulse can increase gain by moving population to the $\text{A}^{\text{2}} \Pi_{\text{u}}$ state, which modifies the lasing emission in two distinct ways. The presence of fast decoherence on $\text{X}^{\text{2}} \Sigma_{\text{g}}^{\text{+}}$ to $\text{A}^{\text{2}} \Pi_{\text{u}}$ transitions may prevent the formation of a coherent rotational wave packet in the ground state in our experiment, but the control pulse can reverse impulsive alignment by the pump pulse to remove rotational wave packets in the $\text{B}^{\text{2}} \Sigma_{\text{u}}^{\text{+}}$ state.


title: The Monte Carlo Transformer: a stochastic self-attention model for sequence prediction

abstract: This paper introduces the Sequential Monte Carlo Transformer, an original approach that naturally captures the observations distribution in a transformer architecture. The keys, queries, values and attention vectors of the network are considered as the unobserved stochastic states of its hidden structure. This generative model is such that at each time step the received observation is a random function of its past states in a given attention window. In this general state-space setting, we use Sequential Monte Carlo methods to approximate the posterior distributions of the states given the observations, and to estimate the gradient of the log-likelihood. We hence propose a generative model giving a predictive distribution, instead of a single-point estimate.


title: Online administration of a reasoning inventory in development

abstract: We are developing a new research based assessment (RBA) focused on quantitative reasoning -- rather than conceptual understanding -- in physics contexts. We rapidly moved administration of the RBA online in Spring 2020 due to the COVID-19 pandemic. We present our experiences with online, unproctored administration of an RBA in development to students enrolled in a large-enrollment, calculus-based, introductory physics course. We describe our attempts to adhere to best practices on a limited time frame, and present a preliminary analysis of the results, comparing results from the online administration to earlier results from in-person, proctored administration. We include discussion of online administration of multiple-choice/multiple-response (MCMR) items, which we use on the instrument as a way to probe multiple facets of student reasoning. Our initial comparison indicates little difference between online and paper administrations of the RBA, consistent with previous work by other researchers.


title: Dagger: Towards Efficient RPCs in Cloud Microservices with Near-Memory Reconfigurable NICs

abstract: Cloud applications are increasingly relying on hundreds of loosely-coupled microservices to complete user requests that meet an applications end-to-end QoS requirements. Communication time between services accounts for a large fraction of the end-to-end latency and can introduce performance unpredictability and QoS violations. This work presents our early work on Dagger, a hardware acceleration platform for networking, designed specifically with the unique qualities of microservices in mind. The Dagger architecture relies on an FPGA-based NIC, closely coupled with the processor over a configurable memory interconnect, designed to offload and accelerate RPC stacks. Unlike the traditional cloud systems that use PCIe links as the NIC I/O interface, we leverage memory-interconnected FPGAs as networking devices to provide the efficiency, transparency, and programmability needed for fine-grained microservices. We show that this considerably improves CPU utilization and performance for cloud RPCs.


title: Variable selection in sparse GLARMA models

abstract: In this paper, we propose a novel and efficient two-stage variable selection approach for sparse GLARMA models, which are pervasive for modeling discrete-valued time series. Our approach consists in iteratively combining the estimation of the autoregressive moving average (ARMA) coefficients of GLARMA models with regularized methods designed for performing variable selection in regression coefficients of Generalized Linear Models (GLM). We first establish the consistency of the ARMA part coefficient estimators in a specific case. Then, we explain how to efficiently implement our approach. Finally, we assess the performance of our methodology using synthetic data and compare it with alternative methods. Our approach is very attractive since it benefits from a low computational load and is able to outperform the other methods in terms of coefficient estimation, particularly in recovering the non null regression coefficients.


title: Anisotropic magnetocaloric effect and critical behavior in CrSbSe$_3$

abstract: We report anisotropic magnetocaloric effect and critical behavior in quasi-one-dimensional ferromagnetic CrSbSe$_3$ single crystal. The maximum magnetic entropy change $-\Delta S_M^{max}$ is 2.16 J kg$^{-1}$ K$^{-1}$ for easy $a$ axis (2.03 J kg$^{-1}$ K$^{-1}$ for hard $b$ axis) and the relative cooling power $RCP$ is 163.1 J kg$^{-1}$ for easy $a$ axis (142.1 J kg$^{-1}$ for hard $b$ axis) near $T_c$ with a magnetic field change of 50 kOe. The magnetocrystalline anisotropy constant $K_u$ is estimated to be 148.5 kJ m$^{-3}$ at 10 K, decreasing to 39.4 kJ m$^{-3}$ at 70 K. The rescaled $\Delta S_M(T,H)$ curves along all three axes collapse onto a universal curve, respectively, confirming the second order ferromagnetic transition. Further critical behavior analysis around $T_c \sim$ 70 K gives that the critical exponents $\beta$ = 0.26(1), $\gamma$ = 1.32(2), and $\delta$ = 6.17(9) for $H\parallel a$, while $\beta$ = 0.28(2), $\gamma$ = 1.02(1), and $\delta$ = 4.14(16) for $H\parallel b$. The determined critical exponents suggest that the anisotropic magnetic coupling in CrSbSe$_3$ is strongly dependent on orientations of the applied magnetic field.


title: Lorenzen's reshaping of Krull's Fundamentalsatz for integral domains (1938--1953)

abstract: Krull's Fundamentalsatz, the generalisation of the main theorem of elementary number theory to integral domains, is the starting point of Lorenzen's career in mathematics. This article traces a conceptual history of Lorenzen's successive reformulations of the Fundamentalsatz on the basis of excerpts of his articles. An edition of the extant correspondence of Lorenzen with Hasse, Krull, and Aubert provides a better understanding of the context of these investigations.


title: Revisiting Strategic Cyberwar Theory Reaching Decisive Strategic Outcome

abstract: Each strategy has a foundation, an overarching way of explaining why things are the way we see them and how to successfully reach our goals. Therefore, strategy is theory based because theory provides an intellectual framework for predicting outcomes leading to the end goal the strategy pursues. This article will present a theory, strategic cyberwar theory, that states that the utility of strategic cyberwar is tied to the likelihood of institutional instability in the targeted nation. In an ideal scenario, the cyber attacks are systematically attacking the targeted adversary institutions triggering the dormant entropy embedded in a nation with weak institutions. This will lead to submission to foreign policy and intent. The current alternative to strategic cyberwar theory is to unsystematically attack the adversary with cyber attacks where exploitation opportunities occur, which is likely to degrade parts of the information infrastructure, but it will not reach any strategic goals. If an adversarial society is unaffected by a cyber conflict, the conflict itself has not reached a decisive outcome, and results only in tit for tat game or stalemate. In strategic cyberwar theory1, the concept is to cyber attack the core of the institutional framework of the adversarial nation in pursuit of destabilization.


title: The signless Laplacian spectral radius of graphs with forbidding linear forests

abstract: Tur\'{a}n type extremal problem is how to maximize the number of edges over all graphs which do not contain fixed forbidden subgraphs. Similarly, spectral Tur\'{a}n type extremal problem is how to maximize (signless Laplacian) spectral radius over all graphs which do not contain fixed subgraphs. In this paper, we first present a stability result for $k\cdot P_3$ in terms of the number of edges and then determine all extremal graphs maximizing the signless Laplacian spectral radius over all graphs which do not contain a fixed linear forest with at most two odd paths or $k\cdot P_3$ as a subgraph, respectively.


title: Universal Model for Multi-Domain Medical Image Retrieval

abstract: Medical Image Retrieval (MIR) helps doctors quickly find similar patients' data, which can considerably aid the diagnosis process. MIR is becoming increasingly helpful due to the wide use of digital imaging modalities and the growth of the medical image repositories. However, the popularity of various digital imaging modalities in hospitals also poses several challenges to MIR. Usually, one image retrieval model is only trained to handle images from one modality or one source. When there are needs to retrieve medical images from several sources or domains, multiple retrieval models need to be maintained, which is cost ineffective. In this paper, we study an important but unexplored task: how to train one MIR model that is applicable to medical images from multiple domains? Simply fusing the training data from multiple domains cannot solve this problem because some domains become over-fit sooner when trained together using existing methods. Therefore, we propose to distill the knowledge in multiple specialist MIR models into a single multi-domain MIR model via universal embedding to solve this problem. Using skin disease, x-ray, and retina image datasets, we validate that our proposed universal model can effectively accomplish multi-domain MIR.


title: A method to suppress local minima for symmetrical DOPO networks

abstract: Coherent Ising machine (CIM) implemented by degenerate optical parametric oscillator (DOPO) networks can solve some combinatorial optimization problems. However, when the network structure has a certain type of symmetry, optimal solutions are not always detected since the search process may be trapped by local minima. In addition, a uniform pump rate for DOPOs in the conventional operation cannot overcome this problem. In this paper proposes a method to avoid trapping of the local minima by applying a control input in a pump rate of an appropriate node. This controller breaks the symmetrical property and causes to change the bifurcation structure temporarily, then it guides transient responses into the global minima. We show several numerical simulation results.


title: Using Data Mining for Infrastructure and Safety Violations Discovery in Cities

abstract: In city planning and maintenance, the abilty to quickly identify infrastructure violations - such as missing or misplaced fire hydrants - can be crucial for maintaining a safe city; it can even save lives. In this work, we aim to provide an analysis of such violations, and to demonstrate the potential of data-driven approaches for quickly locating and addressing them. We conduct an analytical study based upon data from the city of Beer-Sheva's public records of fire hydrants, bomb shelters, and other public facilities. The result of our analysis are presented along with an interactive exploration tool, which allows for easy exploration and identification of different facilities around the city that viloate regulations.


title: Explainable Deep Learning for Uncovering Actionable Scientific Insights for Materials Discovery and Design

abstract: The scientific community has been increasingly interested in harnessing the power of deep learning to solve various domain challenges. However, despite the effectiveness in building predictive models, fundamental challenges exist in extracting actionable knowledge from deep neural networks due to their opaque nature. In this work, we propose techniques for exploring the behavior of deep learning models by injecting domain-specific actionable attributes as tunable "knobs" in the analysis pipeline. By incorporating the domain knowledge in a generative modeling framework, we are not only able to better understand the behavior of these black-box models, but also provide scientists with actionable insights that can potentially lead to fundamental discoveries.


title: Single Particle Thermodynamics with Levitated Nanoparticles

abstract: This chapter is intended as a pedagogical introduction to the dynamics of optically levitated nanoparticles with a focus on the study of single particle thermodynamics. Much of the work studying thermodynamics with nano- and micro-particles has taken place in liquid, and this chapter will avoid reviewing this impressive body of work, focussing instead on studies of thermodynamics with nanoparticles levitated in a gas. For a recent literature review we refer the reader to Gieseler & Millen Entropy 20, 326 (2018). The authors will discuss extensions into the quantum regime where relevant throughout the chapter.


title: SRv6-PM: Performance Monitoring of SRv6 Networks with a Cloud-Native Architecture

abstract: Segment Routing over IPv6 (SRv6 in short) is a networking solution for IP backbones and datacenters. The SRv6 standardization, implementation and research are actively progressing and SRv6 has already been adopted in a number of large scale network deployments. Effective Performance Monitoring (PM) solutions for SRv6 networks are strongly needed. The design, implementation and deployment of such PM solutions span the different planes of a networking architecture: Performance Measurements data (packet loss and delay) needs to be measured (in the Data Plane), the monitored nodes needs to be controlled (in the Control Plane), the measured data needs to be collected (in the Control/Management Planes), then the Data must be processed and stored, using Big-Data processing solutions. We focus on Loss Monitoring, by considering a solution capable of tracking single packet loss events in near-real time (e.g. with a delay in the order of 20 seconds). We describe SRv6-PM, a solution for Performance Monitoring of SRv6 networks. SRv6-PM features a cloud-native architecture for the SDN-based control of Linux routers and for ingestion, processing, storage and visualization of PM data. In the Data Plane, SRv6-PM includes efficient building blocks for packet loss evaluation (e.g. the packet counting components) in a Linux router. SRv6-PM is released as open source. Not only we provide a reproducible environment for PM experiments, but we also offer a re-usable and extensible cloud-native platform that can be automatically deployed in different environments, from a single host to multiple servers on private/public clouds.


title: Effective models and predictability of chaotic multiscale systems via machine learning

abstract: We scrutinize the use of machine learning, based on reservoir computing, to build data-driven effective models of multiscale chaotic systems. We show that, for a wide scale separation, machine learning generates effective models akin to those obtained using multiscale asymptotic techniques and, remarkably, remains effective in predictability also when the scale separation is reduced. We also show that predictability can be improved by hybridizing the reservoir with an imperfect model.


title: Evaluating Community Detection Algorithms for Progressively Evolving Graphs

abstract: Many algorithms have been proposed in the last ten years for the discovery of dynamic communities. However, these methods are seldom compared between themselves. In this article, we propose a generator of dynamic graphs with planted evolving community structure, as a benchmark to compare and evaluate such algorithms. Unlike previously proposed benchmarks, it is able to specify any desired evolving community structure through a descriptive language, and then to generate the corresponding progressively evolving network. We empirically evaluate six existing algorithms for dynamic community detection in terms of instantaneous and longitudinal similarity with the planted ground truth, smoothness of dynamic partitions, and scalability. We notably observe different types of weaknesses depending on their approach to ensure smoothness, namely Glitches, Oversimplification and Identity loss. Although no method arises as a clear winner, we observe clear differences between methods, and we identified the fastest, those yielding the most smoothed or the most accurate solutions at each step.


title: Descriptive Set Theory and $\omega$-Powers of Finitary Languages

abstract: The $\omega$-power of a finitary language L over a finite alphabet $\Sigma$ is the language of infinite words over $\Sigma$ defined by L $\infty$ := {w 0 w 1. .. $\in$ $\Sigma$ $\omega$ | $\forall$i $\in$ $\omega$ w i $\in$ L}. The $\omega$-powers appear very naturally in Theoretical Computer Science in the characterization of several classes of languages of infinite words accepted by various kinds of automata, like B{\"u}chi automata or B{\"u}chi pushdown automata. We survey some recent results about the links relating Descriptive Set Theory and $\omega$-powers.


title: COV-ELM classifier: An Extreme Learning Machine based identification of COVID-19 using Chest X-Ray Images

abstract: Coronaviruses constitute a family of viruses that gives rise to respiratory diseases. As COVID-19 is highly contagious, early diagnosis of COVID-19 is crucial for an effective treatment strategy. However, the RT-PCR test which is considered to be a gold standard in the diagnosis of COVID-19 suffers from a high false-negative rate. Chest X-ray (CXR) image analysis has emerged as a feasible and effective diagnostic technique towards this objective. In this work, we propose the COVID-19 classification problem as a three-class classification problem to distinguish between COVID-19, normal, and pneumonia classes. We propose a three-stage framework, named COV-ELM. Stage one deals with preprocessing and transformation while stage two deals with feature extraction. These extracted features are passed as an input to the ELM at the third stage, resulting in the identification of COVID-19. The choice of ELM in this work has been motivated by its faster convergence, better generalization capability, and shorter training time in comparison to the conventional gradient-based learning algorithms. As bigger and diverse datasets become available, ELM can be quickly retrained as compared to its gradient-based competitor models. The proposed model achieved a macro average F1-score of 0.95 and the overall sensitivity of ${0.94 \pm 0.02} at a 95% confidence interval. When compared to state-of-the-art machine learning algorithms, the COV-ELM is found to outperform its competitors in this three-class classification scenario. Further, LIME has been integrated with the proposed COV-ELM model to generate annotated CXR images. The annotations are based on the superpixels that have contributed to distinguish between the different classes. It was observed that the superpixels correspond to the regions of the human lungs that are clinically observed in COVID-19 and Pneumonia cases.


title: Probabilistic Programming Semantics for Name Generation

abstract: We make a formal analogy between random sampling and fresh name generation. We show that quasi-Borel spaces, a model for probabilistic programming, can soundly interpret Stark's $\nu$-calculus, a calculus for name generation. Moreover, we prove that this semantics is fully abstract up to first-order types. This is surprising for an 'off-the-shelf' model, and requires a novel analysis of probability distributions on function spaces. Our tools are diverse and include descriptive set theory and normal forms for the $\nu$-calculus.


title: Nested formulas for cosine and inverse cosine functions based on Vi\`ete's formula for $\pi$

abstract: In this article, we develop nested representations for cosine and inverse cosine functions, which is a generalization of Vi\`{e}te's formula for $\pi$. We explore a natural inverse relationship between these representations and develop numerical algorithms to compute them. Throughout this article, we perform numerical computation for various test cases, and demonstrate that these nested formulas are valid for complex arguments and a $k$th branch. We further extend the presented results to hyperbolic cosine and logarithm functions, and using additional trigonometric identities, we explore the sine and tangent functions and their inverses.


title: Modeling and analysis of a discrete-time group-arrival and batch-size-dependent service queue with single and multiple vacation

abstract: Discrete-time queueing system has widespread applications in packet switching networks, internet protocol, Broadband Integrated Services Digital Network (B-ISDN), circuit switched time-division multiple access etc. In this paper, we analyze an infinite-buffer discrete-time group-arrival queue with single and multiple vacation policy where processing/transmission/service times dynamically vary with batch-size under service. The bivariate probability generating function of queue length and server content distribution has been derived first, and from that we extract the probabilities in terms of roots of the characteristic equation. We also find the joint distribution at arbitrary and pre-arrival slot. Discrete phase type distribution plays a noteworthy role in order to regulate the high transmission error through a particular channel. In view of this, numerical illustrations include the service time distribution to follow the discrete phase type distribution.


title: On Mitigating the Uncertainty in Renewable Generation in Distribution Microgrids

abstract: In this article, we focus on the problem of mitigating the risk of not being able to meet the power demand, due to the inherent uncertainty of renewable energy generation sources in microgrids. We consider three different demand scenarios, namely meeting short-time horizon power demand, a sustained energy demand and a scenario where the power demand at a prescribed future time has to be met with almost sure guarantee with power generation being stochastic and following dynamics governed by geometric Brownian motion. For each of these scenarios we provide solutions to meet the electrical demand. We present results of numerical experiments to demonstrate the applicability of our schemes.


title: Mitigating long transient time in deterministic systems by resetting

abstract: How long does a trajectory take to reach a stable equilibrium point in the basin of attraction of a dynamical system? This is a question of quite general interest, and has stimulated a lot of activities in dynamical and stochastic systems where the metric of this estimation is often known as the transient or first passage time. In nonlinear systems, one often experiences long transients due to their underlying dynamics. We apply resetting or restart, an emerging concept in statistical physics and stochastic process, to mitigate the detrimental effects of prolonged transients in deterministic dynamical systems. We show that stopping an ongoing process at intermittent time only to restart all over from a spatial control line, can dramatically expedite its completion, resulting in a huge decrease in mean transient time. Moreover, our study unfolds a net reduction in fluctuations around the mean. Our claim is established with detailed numerical studies on the Stuart-Landau limit cycle oscillator and chaotic Lorenz system under different resetting strategies. Our analysis opens up a door to control the mean and fluctuations in transient time by unifying the original dynamics with an external stochastic or periodic timer, and poses open questions on the optimal way to harness transients in dynamical systems.


title: Dynamic Geometric Independent Set

abstract: We present fully dynamic approximation algorithms for the Maximum Independent Set problem on several types of geometric objects: intervals on the real line, arbitrary axis-aligned squares in the plane and axis-aligned $d$-dimensional hypercubes. It is known that a maximum independent set of a collection of $n$ intervals can be found in $O(n\log n)$ time, while it is already \textsf{NP}-hard for a set of unit squares. Moreover, the problem is inapproximable on many important graph families, but admits a \textsf{PTAS} for a set of arbitrary pseudo-disks. Therefore, a fundamental question in computational geometry is whether it is possible to maintain an approximate maximum independent set in a set of dynamic geometric objects, in truly sublinear time per insertion or deletion. In this work, we answer this question in the affirmative for intervals, squares and hypercubes. First, we show that for intervals a $(1+\varepsilon)$-approximate maximum independent set can be maintained with logarithmic worst-case update time. This is achieved by maintaining a locally optimal solution using a constant number of constant-size exchanges per update. We then show how our interval structure can be used to design a data structure for maintaining an expected constant factor approximate maximum independent set of axis-aligned squares in the plane, with polylogarithmic amortized update time. Our approach generalizes to $d$-dimensional hypercubes, providing a $O(4^d)$-approximation with polylogarithmic update time. Those are the first approximation algorithms for any set of dynamic arbitrary size geometric objects; previous results required bounded size ratios to obtain polylogarithmic update time. Furthermore, it is known that our results for squares (and hypercubes) cannot be improved to a $(1+\varepsilon)$-approximation with the same update time.


title: Model Checking Bitcoin and other Proof-of-Work Consensus Protocols

abstract: The Bitcoin Backbone Protocol [GKL15] is an abstraction of the bitcoin proof-of-work consensus protocol. We use a model-checking tool (UPPAALSMC) to examine the concrete security of proof-ofwork consensus by varying protocol parameters and using an adversary that leverages the selfish mining strategy introduced in [GKL15]. We provide insights into modeling proof-of-work protocols and demonstrate tradeoffs between operating parameters. Applying this methodology to protocol design options, we show that the uniform tie-breaking rule from [ES18] decreases the failure rate of the chain quality property, but increases the failure rate of the common prefix property. This tradeoff illustrates how design decisions affect protocol properties, within a range of concrete operating conditions, in a manner that is not evident from prior asymptotic analysis.


title: Optimal Control of Port-Hamiltonian Systems: A Time-Continuous Learning Approach

abstract: Feedback controllers for port-Hamiltonian systems reveal an intrinsic inverse optimality property since each passivating state feedback controller is optimal with respect to some specific performance index. Due to the nonlinear port-Hamiltonian system structure, however, explicit (forward) methods for optimal control of port-Hamiltonian systems require the generally intractable analytical solution of the Hamilton-Jacobi-Bellman equation. Adaptive dynamic programming methods provide a means to circumvent this issue. However, the few existing approaches for port-Hamiltonian systems hinge on very specific sub-classes of either performance indices or system dynamics or require the intransparent guessing of stabilizing initial weights. In this paper, we contribute towards closing this largely unexplored research area by proposing a time-continuous adaptive feedback controller for the optimal control of general time-continuous input-state-output port-Hamiltonian systems with respect to general Lagrangian performance indices. Its control law implements an online learning procedure which uses the Hamiltonian of the system as an initial value function candidate. The time-continuous learning of the value function is achieved by means of a certain Lagrange multiplier that allows to evaluate the optimality of the current solution. In particular, constructive conditions for stabilizing initial weights are stated and asymptotic stability of the closed-loop equilibrium is proven. Our work is concluded by simulations for exemplary linear and nonlinear optimization problems which demonstrate asymptotic convergence of the controllers resulting from the proposed online adaptation procedure.


title: SiamParseNet: Joint Body Parsing and Label Propagation in Infant Movement Videos

abstract: General movement assessment (GMA) of infant movement videos (IMVs) is an effective method for the early detection of cerebral palsy (CP) in infants. Automated body parsing is a crucial step towards computer-aided GMA, in which infant body parts are segmented and tracked over time for movement analysis. However, acquiring fully annotated data for video-based body parsing is particularly expensive due to the large number of frames in IMVs. In this paper, we propose a semi-supervised body parsing model, termed SiamParseNet (SPN), to jointly learn single frame body parsing and label propagation between frames in a semi-supervised fashion. The Siamese-structured SPN consists of a shared feature encoder, followed by two separate branches: one for intra-frame body parts segmentation, and one for inter-frame label propagation. The two branches are trained jointly, taking pairs of frames from the same videos as their input. An adaptive training process is proposed that alternates training modes between using input pairs of only labeled frames and using inputs of both labeled and unlabeled frames. During testing, we employ a multi-source inference mechanism, where the final result for a test frame is either obtained via the segmentation branch or via propagation from a nearby key frame. We conduct extensive experiments on a partially-labeled IMV dataset where SPN outperforms all prior arts, demonstrating the effectiveness of our proposed method.


title: Analysis and prediction of shock formation in acoustic energy transfer systems

abstract: Losses associated with nonlinear wave propagation and exhibited by acoustic wave distortion and shock formation compromise the efficiency of contactless acoustic energy transfer systems. As such, predicting the shock formation distance and its dependence on the amplitude of the excitation is essential for their efficiency, design and operation. We present an analytical approach capable of predicting the shock formation distance of acoustic waves generated by a baffled disk with arbitrary deformation in a weakly viscous fluid medium. The loss-less Westervelt equation, used to model the nonlinear wave propagation, is asymptotically expanded based on the amplitude of the excitation. Because the solutions of the first- and second-order equations decay at different rates, we implement the method of renormalization and introduce a coordinate transformation to identify and eliminate the secular terms. The approach yields two partial differential equations that can be solved to predict the formation distance either analytically or numerically much faster than time-domain numerical simulations. The analysis and results are validated with solutions obtained from a nonlinear finite element simulation and previous experimental measurements.


title: Predicting the Number of Future Events

abstract: This paper describes prediction methods for the number of future events from a population of units associated with an on-going time-to-event process. Examples include the prediction of warranty returns and the prediction of the number of future product failures that could cause serious threats to property or life. Important decisions such as whether a product recall should be mandated are often based on such predictions. Data, generally right-censored (and sometimes left truncated and right-censored), are used to estimate the parameters of a time-to-event distribution. This distribution can then be used to predict the number of events over future periods of time. Such predictions are sometimes called within-sample predictions and differ from other prediction problems considered in most of the prediction literature. This paper shows that the plug-in (also known as estimative or naive) prediction method is not asymptotically correct (i.e., for large amounts of data, the coverage probability always fails to converge to the nominal confidence level). However, a commonly used prediction calibration method is shown to be asymptotically correct for within-sample predictions, and two alternative predictive-distributionbased methods that perform better than the calibration method are presented and justified.


title: Graph Neural Networks for Node-Level Predictions

abstract: The success of deep learning has revolutionized many fields of research including areas of computer vision, text and speech processing. Enormous research efforts have led to numerous methods that are capable of efficiently analyzing data, especially in the Euclidean space. However, many problems are posed in non-Euclidean domains modeled as general graphs with complex connection patterns. Increased problem complexity and computational power constraints have limited early approaches to static and small-sized graphs. In recent years, a rising interest in machine learning on graph-structured data has been accompanied by improved methods that overcome the limitations of their predecessors. These methods paved the way for dealing with large-scale and time-dynamic graphs. This work aims to provide an overview of early and modern graph neural network based machine learning methods for node-level prediction tasks. Under the umbrella of taxonomies already established in the literature, we explain the core concepts and provide detailed explanations for convolutional methods that have had strong impact. In addition, we introduce common benchmarks and present selected applications from various areas. Finally, we discuss open problems for further research.


title: On the weighted Geometric mean of accretive matrices

abstract: In this paper, we discuss new inequalities for accretive matrices through non standard domains. In particular, we present several relations for $A^r$ and $A\sharp_rB$, when $A,B$ are accretive and $r\in (-1,0)\cup (1,2).$ This complements the well established discussion of such quantities for accretive matrices when $r\in [0,1],$ and provides accretive versions of known results for positive matrices.


title: On Maximal, Universal and Complete Extensions of Yang-Mills-Type Theories

abstract: In this paper we continue the program on the classification of extensions of the Standard Model of Particle Physics started in arXiv:2007.01660. We propose four complementary questions to be considered when trying to classify any class of extensions of a fixed Yang-Mills-type theory $S^G$: existence problem, obstruction problem, maximality problem and universality problem. We prove that all these problems admits a purely categorical characterization internal to the category of extensions of $S^G$. Using this we show that maximality and universality are dense properties, meaning that if they are not satisfied in a class $\mathcal{E}(S^G;\hat{G})$, then they are in their "one-point compactification" $\mathcal{E}(S^G;\hat{G})\cup \hat{S}$ by a specific trivial extension $\hat{S}$. We prove that, by means of assuming the Axiom of Choice, one can get another maximality theorem, now independent of the trivial extension $\hat{S}$. We consider the class of almost coherent extensions, i.e, complete, injective and of pullback-type, and we show that for it the existence and obstruction problems have a complete solution. Using again the Axiom of Choice, we prove that this class of extensions satisfies the hypothesis of the second maximality theorem.


title: Prediction of Cancer Microarray and DNA Methylation Data using Non-negative Matrix Factorization

abstract: Over the past few years, there has been a considerable spread of microarray technology in many biological patterns, particularly in those pertaining to cancer diseases like leukemia, prostate, colon cancer, etc. The primary bottleneck that one experiences in the proper understanding of such datasets lies in their dimensionality, and thus for an efficient and effective means of studying the same, a reduction in their dimension to a large extent is deemed necessary. This study is a bid to suggesting different algorithms and approaches for the reduction of dimensionality of such microarray datasets. This study exploits the matrix-like structure of such microarray data and uses a popular technique called Non-Negative Matrix Factorization (NMF) to reduce the dimensionality, primarily in the field of biological data. Classification accuracies are then compared for these algorithms. This technique gives an accuracy of 98%.


title: Dementia Prediction Applying Variational Quantum Classifier

abstract: Dementia is the fifth cause of death worldwide with 10 million new cases every year. Healthcare applications using machine learning techniques have almost reached the physical limits while more data is becoming available resulting from the increasing rate of diagnosis. Recent research in Quantum Machine Learning (QML) techniques have found different approaches that may be useful to accelerate the training process of existing machine learning models and provide an alternative to learn more complex patterns. This work aims to report a real-world application of a Quantum Machine Learning Algorithm, in particular, we found that using the implemented version for Variational Quantum Classiffication (VQC) in IBM's framework Qiskit allows predicting dementia in elderly patients, this approach proves to provide more consistent results when compared with a classical Support Vector Machine (SVM) with a linear kernel using different number of features.


title: Numerical radii of accretive matrices

abstract: The numerical radius of a matrix is a scalar quantity that has many applications in the study of matrix analysis. Due to the difficulty in computing the numerical radius, inequalities bounding it have received a considerable attention in the literature. In this article, we present many new bounds for the numerical radius of accretive matrices. The importance of this study is the presence of a new approach that treats a specific class of matrices, namely the accretive ones. The new bounds provide a new set of inequalities, some of which can be considered as refinements of other existing ones, while others present new insight to some known results for positive matrices.


title: Add force and/or change underlying projection method to improve accuracy of Explicit Robin-Neumann and fully decoupled schemes for the coupling of incompressible fluid with thin-walled structure

abstract: This work aims at providing some novel and practical ideas to improve accuracy of some partitioned algorithms, precisely Fernandez's Explicit Robin-Neumann and fully decoupled schemes, for the coupling of incompressible fluid with thin-walled structure. Inspired by viscosity of fluid and justified by boundary layer theory, the force between fluid and structure corresponding to viscosity is increased. Numerical experiments demonstrate improvement of accuracy under such modification. To improve accuracy of fully decoupled schemes further, the underlying projection method is replaced.


title: A Framework for Automatic Behavior Generation in Multi-Function Swarms

abstract: Multi-function swarms are swarms that solve multiple tasks at once. For example, a quadcopter swarm could be tasked with exploring an area of interest while simultaneously functioning as ad-hoc relays. With this type of multi-function comes the challenge of handling potentially conflicting requirements simultaneously. Using the Quality-Diversity algorithm MAP-elites in combination with a suitable controller structure, a framework for automatic behavior generation in multi-function swarms is proposed. The framework is tested on a scenario with three simultaneous tasks: exploration, communication network creation and geolocation of RF emitters. A repertoire is evolved, consisting of a wide range of controllers, or behavior primitives, with different characteristics and trade-offs in the different tasks. This repertoire would enable the swarm to transition between behavior trade-offs online, according to the situational requirements. Furthermore, the effect of noise on the behavior characteristics in MAP-elites is investigated. A moderate number of re-evaluations is found to increase the robustness while keeping the computational requirements relatively low. A few selected controllers are examined, and the dynamics of transitioning between these controllers are explored. Finally, the study develops a methodology for analyzing the makeup of the resulting controllers. This is done through a parameter variation study where the importance of individual inputs to the swarm controllers is assessed and analyzed.


title: Training with reduced precision of a support vector machine model for text classification

abstract: This paper presents the impact of using quantization on the efficiency of multi-class text classification in the training process of a support vector machine (SVM). This work is focused on comparing the efficiency of SVM model trained using reduced precision with its original form. The main advantage of using quantization is decrease in computation time and in memory footprint on the dedicated hardware platform which supports low precision computation like GPU (16-bit) or FPGA (any bit-width). The paper presents the impact of a precision reduction of the SVM training process on text classification accuracy. The implementation of the CPU was performed using the OpenMP library. Additionally, the results of the implementation of the GPU using double, single and half precision are presented.


title: Accelerating the identification of informative reduced representations of proteins with deep learning for graphs

abstract: The limits of molecular dynamics (MD) simulations of macromolecules are steadily pushed forward by the relentless developments of computer architectures and algorithms. This explosion in the number and extent (in size and time) of MD trajectories induces the need of automated and transferable methods to rationalise the raw data and make quantitative sense out of them. Recently, an algorithmic approach was developed by some of us to identify the subset of a protein's atoms, or mapping, that enables the most informative description of it. This method relies on the computation, for a given reduced representation, of the associated mapping entropy, that is, a measure of the information loss due to the simplification. Albeit relatively straightforward, this calculation can be time consuming. Here, we describe the implementation of a deep learning approach aimed at accelerating the calculation of the mapping entropy. The method relies on deep graph networks, which provide extreme flexibility in the input format. We show that deep graph networks are accurate and remarkably efficient, with a speedup factor as large as $10^5$ with respect to the algorithmic computation of the mapping entropy. Applications of this method, which entails a great potential in the study of biomolecules when used to reconstruct its mapping entropy landscape, reach much farther than this, being the scheme easily transferable to the computation of arbitrary functions of a molecule's structure.

categories: physics.comp-ph cond-mat.soft cs.LG stat.ML


title: Spin-Hall MTJ Cells for Intra-Column Competition in Hierarchical Temporal Memory

abstract: We propose a dedicated winner-take-all circuit to efficiently implement the intra-column competition between cells in Hierarchical Temporal Memory which is a crucial part of the algorithm. All inputs and outputs are charge-based for compatibility with standard CMOS. The circuit incorporates memristors for competitive advantage to emulate a column with a cell in a predictive state. The circuit can also detect columns 'bursting' by passive averaging and comparison of the cell outputs. The proposed spintronic devices and circuit are thoroughly described and a series of simulations are used to predict the performance. The simulations indicate that the circuit can complete a nine-cell, nine-input competition operation in under 15 ns at a cost of about 25 pJ.


title: Stability and Complexity Analyses of Finite Difference Algorithms for the Time-Fractional Diffusion Equation

abstract: Fractional differential equations (FDEs) are an extension of the theory of fractional calculus. However, due to the difficulty in finding analytical solutions, there have not been extensive applications of FDEs until recent decades. With the advent of increasing computational capacity along with advances in numerical methods, there has been increased interest in using FDEs to represent complex physical processes, where dynamics may not be as accurately captured with classical differential equations. The time-fractional diffusion equation is an FDE that represents the underlying physical mechanism of anomalous diffusion. But finding tractable analytical solutions to FDEs is often much more involved than solving for the solutions of integer order differential equations, and in many cases it is not possible to frame solutions in a closed form expression that can be easily simulated or visually represented. Therefore the development of numerical methods is vital. In previous work we implemented the full 2D time-fractional diffusion equation as a Forward Time Central Space finite difference equation by using the Gr\"{u}nwald-Letnikov definition of the fractional derivative. In addition, we derived an adaptive time step version that improves on calculation speed, with some tradeoff in accuracy. Here, we explore and characterize stability of these algorithms, in order to define bounds on computational parameters that are crucial for performing accurate simulations. We also analyze the time complexity of the algorithms, and describe an alternate adaptive time step approach that utilizes a linked list implementation, which yields better algorithmic efficiency.


title: Least squares surface reconstruction on arbitrary domains

abstract: Almost universally in computer vision, when surface derivatives are required, they are computed using only first order accurate finite difference approximations. We propose a new method for computing numerical derivatives based on 2D Savitzky-Golay filters and K-nearest neighbour kernels. The resulting derivative matrices can be used for least squares surface reconstruction over arbitrary (even disconnected) domains in the presence of large noise and allowing for higher order polynomial local surface approximations. They are useful for a range of tasks including normal-from-depth (i.e. surface differentiation), height-from-normals (i.e. surface integration) and shape-from-x. We show how to write both orthographic or perspective height-from-normals as a linear least squares problem using the same formulation and avoiding a nonlinear change of variables in the perspective case. We demonstrate improved performance relative to state-of-the-art across these tasks on both synthetic and real data and make available an open source implementation of our method.


title: Improving key rates of the unbalanced phase-encoded BB84 protocol using the flag-state squashing model

abstract: All phase-encoded BB84 implementations have signal states with unbalanced amplitudes in practice. Thus, the original security analyses a priori do not apply to them. Previous security proofs use signal tagging of multi-photon pulses to recover the behaviour of regular BB84. This is overly conservative, as for unbalanced signals, the photon-number splitting attack does not leak full information to Eve. In this work, we exploit the flag-state squashing model to preserve some parts of the multi-photon generated private information in our analysis. Using a numerical proof technique, we obtain significantly higher key rates compared with previously published results in the low-loss regime. It turns out that the usual scenario of untrusted dark counts runs into conceptual difficulties in some parameter regime. Thus, we discuss the trusted dark count scenario in this paper as well. We also report a gain in key rates when part of the total loss is known to be induced by a trusted device. We highlight that all these key rate improvements can be achieved without modification of the experimental setup.


title: TUDataset: A collection of benchmark datasets for learning with graphs

abstract: Recently, there has been an increasing interest in (supervised) learning with graph data, especially using graph neural networks. However, the development of meaningful benchmark datasets and standardized evaluation procedures is lagging, consequently hindering advancements in this area. To address this, we introduce the TUDataset for graph classification and regression. The collection consists of over 120 datasets of varying sizes from a wide range of applications. We provide Python-based data loaders, kernel and graph neural network baseline implementations, and evaluation tools. Here, we give an overview of the datasets, standardized evaluation procedures, and provide baseline experiments. All datasets are available at www.graphlearning.io. The experiments are fully reproducible from the code available at www.github.com/chrsmrrs/tudataset.


title: Testing gravity with neutrinos: from classical to quantum regime

abstract: In this manuscript, we survey the main characteristics that provide neutrinos with the capability of being the perfect candidate to test gravity. A number of potentially resourceful scenarios is analyzed, with particular emphasis on how the versatility of neutrinos lends itself to understand the multifaceted nature of the gravitational interaction, both at classical and quantum scales. As a common thread running through the two different regimes, we consider the fundamental principles underpinning General Relativity and its possible quantum extensions. Finally, we discuss some open problems and future perspectives.


title: Exogeoscience and Its Role in Characterizing Exoplanet Habitability and the Detectability of Life

abstract: The search for exoplanetary life must encompass the complex geological processes reflected in an exoplanet's atmosphere, or we risk reporting false positive and false negative detections. To do this, we must nurture the nascent discipline of "exogeoscience" to fully integrate astronomers, astrophysicists, geoscientists, oceanographers, atmospheric chemists and biologists. Increased funding for interdisciplinary research programs, supporting existing and future multidisciplinary research nodes, and developing research incubators is key to transforming true exogeoscience from an aspiration to a reality.


title: Conservative AI and social inequality: Conceptualizing alternatives to bias through social theory

abstract: In response to calls for greater interdisciplinary involvement from the social sciences and humanities in the development, governance, and study of artificial intelligence systems, this paper presents one sociologist's view on the problem of algorithmic bias and the reproduction of societal bias. Discussions of bias in AI cover much of the same conceptual terrain that sociologists studying inequality have long understood using more specific terms and theories. Concerns over reproducing societal bias should be informed by an understanding of the ways that inequality is continually reproduced in society -- processes that AI systems are either complicit in, or can be designed to disrupt and counter. The contrast presented here is between conservative and radical approaches to AI, with conservatism referring to dominant tendencies that reproduce and strengthen the status quo, while radical approaches work to disrupt systemic forms of inequality. The limitations of conservative approaches to class, gender, and racial bias are discussed as specific examples, along with the social structures and processes that biases in these areas are linked to. Societal issues can no longer be out of scope for AI and machine learning, given the impact of these systems on human lives. This requires engagement with a growing body of critical AI scholarship that goes beyond biased data to analyze structured ways of perpetuating inequality, opening up the possibility for radical alternatives.


title: Super-Resolution Remote Imaging using Time Encoded Remote Apertures

abstract: Imaging of scenes using light or other wave phenomena is subject to the diffraction limit. The spatial profile of a wave propagating between a scene and the imaging system is distorted by diffraction resulting in a loss of resolution that is proportional with traveled distance. We show here that it is possible to reconstruct sparse scenes from the temporal profile of the wave-front using only one spatial pixel or a spatial average. The temporal profile of the wave is not affected by diffraction yielding an imaging method that can in theory achieve wavelength scale resolution independent of distance from the scene.


title: BRP-NAS: Prediction-based NAS using GCNs

abstract: Neural architecture search (NAS) enables researchers to automatically explore broad design spaces in order to improve efficiency of neural networks. This efficiency is especially important in the case of on-device deployment, where improvements in accuracy should be balanced out with computational demands of a model. In practice, performance metrics of model are computationally expensive to obtain. Previous work uses a proxy (e.g., number of operations) or a layer-wise measurement of neural network layers to estimate end-to-end hardware performance but the imprecise prediction diminishes the quality of NAS. To address this problem, we propose BRP-NAS, an efficient hardware-aware NAS enabled by an accurate performance predictor-based on graph convolutional network (GCN). What is more, we investigate prediction quality on different metrics and show that sample efficiency of the predictor-based NAS can be improved by considering binary relations of models and an iterative data selection strategy. We show that our proposed method outperforms all prior methods on NAS-Bench-101 and NAS-Bench-201, and that our predictor can consistently learn to extract useful features from the DARTS search space, improving upon the second-order baseline. Finally, to raise awareness of the fact that accurate latency estimation is not a trivial task, we release LatBench -- a latency dataset of NAS-Bench-201 models running on a broad range of devices.


title: Memoryless Algorithms for the Generalized $k$-server Problem on Uniform Metrics

abstract: We consider the generalized $k$-server problem on uniform metrics. We study the power of memoryless algorithms and show tight bounds of $\Theta(k!)$ on their competitive ratio. In particular we show that the \textit{Harmonic Algorithm} achieves this competitive ratio and provide matching lower bounds. This improves the $\approx 2^{2^k}$ doubly-exponential bound of Chiplunkar and Vishwanathan for the more general setting of uniform metrics with different weights.


title: Enabling Morally Sensitive Robotic Clarification Requests

abstract: The design of current natural language oriented robot architectures enables certain architectural components to circumvent moral reasoning capabilities. One example of this is reflexive generation of clarification requests as soon as referential ambiguity is detected in a human utterance. As shown in previous research, this can lead robots to (1) miscommunicate their moral dispositions and (2) weaken human perception or application of moral norms within their current context. We present a solution to these problems by performing moral reasoning on each potential disambiguation of an ambiguous human utterance and responding accordingly, rather than immediately and naively requesting clarification. We implement our solution in the DIARC robot architecture, which, to our knowledge, is the only current robot architecture with both moral reasoning and clarification request generation capabilities. We then evaluate our method with a human subjects experiment, the results of which indicate that our approach successfully ameliorates the two identified concerns.


title: Existence of Riemannian metrics with positive biorthogonal curvature on simply connected 5-manifolds

abstract: Using recent work of Bettiol, we show that a first-order conformal deformation of Wilking's metric of almost-positive sectional curvature on $S^2\times S^3$ yields a family of metrics with strictly positive average of sectional curvatures of any pair of 2-planes that are separated by a minimal distance in the 2-Grassmanian. A result of Smale's allows us to conclude that every closed simply connected 5-manifold with torsion-free homology and trivial second Stiefel-Whitney class admits a Riemannian metric with a strictly positive average of sectional curvatures of any pair of orthogonal 2-planes.


title: Toward Forgetting-Sensitive Referring Expression Generationfor Integrated Robot Architectures

abstract: To engage in human-like dialogue, robots require the ability to describe the objects, locations, and people in their environment, a capability known as "Referring Expression Generation." As speakers repeatedly refer to similar objects, they tend to re-use properties from previous descriptions, in part to help the listener, and in part due to cognitive availability of those properties in working memory (WM). Because different theories of working memory "forgetting" necessarily lead to differences in cognitive availability, we hypothesize that they will similarly result in generation of different referring expressions. To design effective intelligent agents, it is thus necessary to determine how different models of forgetting may be differentially effective at producing natural human-like referring expressions. In this work, we computationalize two candidate models of working memory forgetting within a robot cognitive architecture, and demonstrate how they lead to cognitive availability-based differences in generated referring expressions.


title: Tight Frame Graphs Arising as Line Graphs

abstract: Dual multiplicity graphs are those simple, undirected graphs that have a weighted Hermitian adjacency matrix with only two distinct eigenvalues. From the point of view of frame theory, their characterization can be restated as which graphs have a representation by a tight frame. In this paper, we classify certain line graphs that are tight frame graphs and improve a previous result on the embedding of frame graphs in tight frame graphs.


title: Deep Small Bowel Segmentation with Cylindrical Topological Constraints

abstract: We present a novel method for small bowel segmentation where a cylindrical topological constraint based on persistent homology is applied. To address the touching issue which could break the applied constraint, we propose to augment a network with an additional branch to predict an inner cylinder of the small bowel. Since the inner cylinder is free of the touching issue, a cylindrical shape constraint applied on this augmented branch guides the network to generate a topologically correct segmentation. For strict evaluation, we achieved an abdominal computed tomography dataset with dense segmentation ground-truths. The proposed method showed clear improvements in terms of four different metrics compared to the baseline method, and also showed the statistical significance from a paired t-test.


title: Coefficients of Determination for Mixed-Effects Models

abstract: The coefficient of determination is well defined for linear models and its extension is long wanted for mixed-effects models. We revisit its extension to define measures for proportions of variation explained by the whole model, fixed effects only, and random effects only. We propose to calculate unexplained variations conditional on individual random and/or fixed effects so as to keep individual heterogeneity brought by available predictors. While naturally defined for linear mixed models, these measures can be defined for a generalized linear mixed model using a distance measured along its variance function, accounting for its heteroscedasticity.


title: Ultrasoft classical systems at zero temperature

abstract: At low temperatures ultrasoft particle systems develop interesting phases via the self-assembly of particle clusters. In this study we develop a general zero-temperature analysis fully characterizing the ground state of such models in two and three dimensions, considering the classical system with the restriction of a constant integer number of particles per cluster. We show that this methodology allows for an exact prediction of the actual density values at which the different phases emerge, including the zones of uneven cluster occupation, which are studied as coexistence regions of two pure phases. Beyond the method itself, designed to produce exact phase diagrams from general ultrasoft potentials, we reach analytical expressions for the energy and location of the different phases in the large occupancy limit.