title: Multidimensional intertwining Leja sequences and applications in bidimensional Lagrange interpolation

abstract: We first give a method to get multidimensional Leja sequences by considering intertwining sequences from one-dimensional ones. An application is the existence of explicit Leja sequences for the closed unit polydisc. Next, we deal with some applications in bidimensional Lagrange interpolation with intertwining Leja sequences. These results also require an explicit formula for the associated fundamental Lagrange polynomials with uniform estimates.


title: Recognition Of Surface Defects On Steel Sheet Using Transfer Learning

abstract: Automatic defect recognition is one of the research hotspots in steel production, but most of the current methods mainly extract features manually and use machine learning classifiers to recognize defects, which cannot tackle the situation, where there are few data available to train and confine to a certain scene. Therefore, in this paper, a new approach is proposed which consists of part of pretrained VGG16 as a feature extractor and a new CNN neural network as a classifier to recognize the defect of steel strip surface based on the feature maps created by the feature extractor. Our method achieves an accuracy of 99.1% and 96.0% while the dataset contains 150 images each class and 10 images each class respectively, which is much better than previous methods.


title: Very long baseline interferometry observation of the triple AGN candidate J0849+1114

abstract: In the hierarchical structure formation model, galaxies grow through various merging events. Numerical simulations indicate that the mergers can enhance the activity of the central supermassive black holes in the galaxies. Pfeifle et al. (2019a) identified a system of three interacting galaxies, J0849$+$1114, and provided multiwavelength evidence of all three galaxies containing active galactic nuclei. The system has substantial radio emission, and with high-resolution radio interferometric observation we aimed to investigate its origin, whether it is related to star formation or to one or more of the active galactic nuclei in the system. We performed high-resolution continuum observation of J0849$+$1114 with the European Very Long Baseline Interferometry Network at $1.7$ GHz. We detected one compact radio emitting source at the position of the easternmost nucleus. Its high brightness temperature and radio power indicate that the radio emission originates from a radio-emitting active galactic nucleus. Additionally, we found that significant amount of flux density is contained in $\sim 100$ milliarcsec-scale feature related to the active nucleus.


title: Modal interferometric refractive index sensing in microstructured exposed core fibres

abstract: Optical fibre-based sensors measuring refractive index shift in bodily fluids and tissues are versatile and accurate probes of physiological processes. Here, we suggest a refractive index sensor based on a microstructured exposed-core fibre (ECF). By considering a high refractive index coating of the exposed core, our modelling demonstrates the splitting of the guided mode into a surface sensing mode and a mode that is isolated from the surface. With the isolated mode acting as a reference arm, this two-mode one-fibre solution provides for robust interferometric sensing with a sensitivity of up to 60,000 rad/RIU-cm, which is suitable for sensing subtle physiological processes within hard-to-reach places inside living organisms, such as the spinal cord, ovarian tract and blood vessels.


title: Active learning to optimise time-expensive algorithm selection

abstract: Hard optimisation problems such as Boolean Satisfiability typically have long solving times and can usually be solved by many algorithms, although the performance can vary widely in practice. Research has shown that no single algorithm outperforms all the others; thus, it is crucial to select the best algorithm for a given problem. Supervised machine learning models can accurately predict which solver is best for a given problem, but they require first to run every solver in the portfolio for all examples available to create labelled data. As this approach cannot scale, we developed an active learning framework that addresses this problem by constructing an optimal training set, so that the learner can achieve higher or equal performances with less training data. Our work proves that active learning is beneficial for algorithm selection techniques and provides practical guidance to incorporate into existing systems.


title: Locally compact quantum groupoid

abstract: The theory of measured quantum groupoids, as defined by Lesieur and myself, was made to generalize the theory of quantum groups made by Kustarmans and Vaes, but was only defined in a von Neumann algebra setting; Th. Timmermann constructed locally compact quantum groupoids, which is a C*-version of quantum groupoids. Here, we associate to such a locally compact quantum groupoid a measured quantum groupoid in which it is weakly dense; we then associate to a measured quantum groupoid a locally compact quantum groupoid which is weakly dense in the measured quantum groupoid, but such a locally compact quantum groupoid may be not unique; we construct a duality of locally compact quantum groupoids. We give then examples of locally compact quantum groupoids.


title: A dynamic epistemic logic analysis of the equality negation task

abstract: In this paper we study the solvability of the equality negation task in a simple wait-free model where processes communicate by reading and writing shared variables or exchanging messages. In this task, two processes start with a private input value in the set {0,1,2}, and after communicating, each one must decide a binary output value, so that the outputs of the processes are the same if and only if the input values of the processes are different. This task is already known to be unsolvable; our goal here is to prove this result using the dynamic epistemic logic (DEL) approach introduced by Goubault, Ledent and Rajsbaum in GandALF 2018. We show that in fact, there is no epistemic logic formula that explains why the task is unsolvable. We fix this issue by extending the language of our DEL framework, which allows us to construct such a formula, and discuss its utility.


title: Long-range order induced by random fields in two-dimensional O(n) models, and the Imry-Ma state

abstract: The influence of defects of the "random local field" type with an anisotropic distribution of random fields on two-dimensional models with continuous symmetry of the vector order parameter is considered. In the case of weak anisotropy of random fields, with decreasing temperature there takes place a smooth transition from the paramagnetic phase with dynamic fluctuations of the order parameter to the Imry-Ma phase with static fluctuations caused by fluctuations of the random field of defects. In the case of strong anisotropy of random fields, defects lead to an effective decrease in the number of components of the order parameter and the appearance of a phase transition to an ordered state at finite temperature. It is shown that in the case of the defect-free two-dimensional X-Y model, the appearance of an arbitrarily weak anisotropy in the two-dimensional space of the order parameter completely eliminates the appearance of the Berezinsky-Kosterlitz-Thouless phase and gives rise to the phase with the long-range order.


title: Uncertainty Quantification And Analysis Of Dynamical Systems With Invariants

abstract: This paper considers uncertainty quantification in systems perturbed by stochastic disturbances, in particular, Gaussian white noise. The main focus of this work is on describing the time evolution of statistical moments of certain invariants (for instance total energy and magnitude of angular momentum) for such systems. A first case study for the attitude dynamics of a rigid body is presented where it is shown that these techniques offer a closed form representation of the evolution of the first and second moments of the kinetic energy of the resulting stochastic dynamical system. A second case study of a two body problem is presented in which bounds on the first and second moments of the angular momentum are presented.


title: The distribution of the maximum of partial sums of Kloosterman sums and other trace functions

abstract: In this paper, we investigate the distribution of the maximum of partial sums of families of $m$-periodic complex valued functions satisfying certain conditions. We obtain precise uniform estimates for the distribution function of this maximum in a near optimal range. Our results apply to partial sums of Kloosterman sums and other families of $\ell$-adic trace functions, and are as strong as those obtained by Bober, Goldmakher, Granville and Koukoulopoulos for character sums. In particular, we improve on the recent work of the third author for Birch sums. However, unlike character sums, we are able to construct families of $m$-periodic complex valued functions which satisfy our conditions, but for which the P\'olya-Vinogradov inequality is sharp.


title: A Tree-based Dictionary Learning Framework

abstract: We propose a new outline for adaptive dictionary learning methods for sparse encoding based on a hierarchical clustering of the training data. Through recursive application of a clustering method, the data is organized into a binary partition tree representing a multiscale structure. The dictionary atoms are defined adaptively based on the data clusters in the partition tree. This approach can be interpreted as a generalization of a discrete Haar wavelet transform. Furthermore, any prior knowledge on the wanted structure of the dictionary elements can be simply incorporated. The computational complexity of our proposed algorithm depends on the employed clustering method and on the chosen similarity measure between data points. Thanks to the multiscale properties of the partition tree, our dictionary is structured: when using Orthogonal Matching Pursuit to reconstruct patches from a natural image, dictionary atoms corresponding to nodes being closer to the root node in the tree have a tendency to be used with greater coefficients.


title: Lithiation-delithiation cycles of amorphous Si nanowires investigated by molecular dynamics simulations

abstract: The atomistic mechanisms during lithiation and delithiation of amorphous Si nanowires ($a$-SiNW) have been investigated over cycles by molecular dynamics simulations. First, the Modified Embedded Atom Method (MEAM) potential from Cui et al. [J. Power Sources. 2012, (207) 150] has been further optimized on static (Li$_x$Si alloy phases and point defect energies) and on dynamic properties (Li diffusion) to reproduce the lithiation of small crystalline Si nanowires calculated at the {\it ab initio} level. The lithiation of $a$-SiNW reveals a two-phase process of lithiation with a larger diffusion interface compared to crystalline Si lithiation. Compressive axial stresses are observed in the amorphous Si$_x$Li alloy outer shell. They are easily released thanks to the soft glassy behavior of the amorphous alloy. Conversely, in crystalline SiNW, the larger stress in the narrow crystalline lithiated interface is hardly released and requires a phase transformation to amorphous to operate, which delays the lithiation. The history of the charge-discharge cycles as well as the temperature appear as driving forces for phase transformation from amorphous Li$_x$Si alloy to the more stable crystalline phase counterpart. Our work suggest that a full delithiation could heal the SiNWs to improve the life cycles of Li-ion batteries with Si anode.


title: Measuring global mean sea level changes with surface drifting buoys

abstract: Combining ocean model data and in-situ Lagrangian data, I show that an array of surface drifting buoys tracked by a Global Navigation Satellite System (GNSS), such as the Global Drifter Program, could provide estimates of global mean sea level (GMSL) and its changes, including linear decadal trends. For a sustained array of 1250 globally distributed buoys with a standardized design, I demonstrate that GMSL decadal linear trend estimates with an uncertainty less than 0.3 mm yr$^{-1}$ could be achieved with GNSS daily random error of 1.6 m or less in the vertical direction. This demonstration assumes that controlled vertical position measurements could be acquired from drifting buoys, which is yet to be demonstrated. Development and implementation of such measurements could ultimately provide an independent and resilient observational system to infer natural and anthropogenic sea level changes, augmenting the on-going tide gauge and satellites records.


title: Evidence for rigid triaxial deformation in $^{76}$Ge from a model-independent analysis

abstract: An extensive, model-independent analysis of the nature of triaxial deformation in $^{76}$Ge, a candidate for neutrinoless double-beta ($0\nu\beta\beta$) decay, was carried out following multi-step Coulomb excitation. Shape parameters deduced on the basis of a rotational-invariant sum-rule analysis provided considerable insight into the underlying collectivity of the ground-state and $\gamma$ bands. Both sequences were determined to be characterized by the same $\beta$ and $\gamma$ deformation parameter values. In addition, compelling evidence for low-spin, rigid triaxial deformation in $^{76}$Ge was obtained for the first time from the analysis of the statistical fluctuations of the quadrupole asymmetry deduced from the measured $E2$ matrix elements. These newly determined shape parameters are important input and constraints for calculations aimed at providing, with suitable accuracy, the nuclear matrix elements relevant to $0\nu\beta\beta$.


title: Universal transfer and stacking technique of van der Waals heterostructures for spintronics

abstract: The key to achieving high-quality van der Waals heterostructure devices made from various two-dimensional (2D) materials lies in the control over clean and flexible interfaces. However, existing transfer methods based on different mediators possess insufficiencies including the presence of residues, the unavailability of flexible interface engineering, and the selectivity towards materials and substrates since their adhesions differ considerably with the various preparation conditions, from chemical vapor deposition (CVD) growth to mechanical exfoliation. In this paper, we introduce a more universal method using a prefabricated polyvinyl alcohol (PVA) film to transfer and stack 2D materials, whether they are prepared by CVD or exfoliation. This peel-off and drop-off technique promises an ideal interface of the materials without introducing contamination. In addition, the method exhibits a micron-scale spatial transfer accuracy and meets special experimental conditions such as the preparation of twisted graphene and the 2D/metal heterostructure construction. We illustrate the superiority of this method with a WSe2 vertical spin valve device, whose performance verifies the applicability and advantages of such a method for spintronics. Our PVA-assisted transfer process will promote the development of high-performance 2D-material-based devices.


title: Intelligent Reflecting Surface-Enhanced OFDM: Channel Estimation and Reflection Optimization

abstract: In the intelligent reflecting surface (IRS)-enhanced wireless communication system, channel state information (CSI) is of paramount importance for achieving the passive beamforming gain of IRS, which, however, is a practically challenging task due to its massive number of passive elements without transmitting/receiving capabilities. In this letter, we propose a practical transmission protocol to execute channel estimation and reflection optimization successively for an IRS-enhanced orthogonal frequency division multiplexing (OFDM) system. Under the unit-modulus constraint, a novel reflection pattern at the IRS is designed to aid the channel estimation at the access point (AP) based on the received pilot signals from the user, for which the channel estimation error is derived in closed-form. With the estimated CSI, the reflection coefficients are then optimized by a low-complexity algorithm based on the resolved strongest signal path in the time domain. Simulation results corroborate the effectiveness of the proposed channel estimation and reflection optimization methods.


title: Regular mappings and non-existence of bi-Lipschitz embeddings for slit carpets

abstract: We prove that the "slit carpet" introduced by Merenkov does not admit a bi-Lipschitz embedding into any uniformly convex Banach space. In particular, this includes any Euclidean space $\mathbb{R}^n$, but also spaces such as $L^p$ for $p \in (1,\infty)$. This resolves Question 8 in the 1997 list by Heinonen and Semmes.


title: Quantum estimation through a bottleneck

abstract: We study the estimation of a single parameter characterizing families of unitary transformations acting on two systems. We consider the situation with the presence of bottleneck, i.e. only one of the systems can be measured to gather information. The estimation capabilities are related to unitaries' generators. In particular, we establish continuity of quantum Fisher information with respect to generators. Furthermore, we find conditions on the generators to achieve the same maximum quantum Fisher information we would have in the absence of bottleneck. We also discuss the usefulness of initial entanglement across the two systems as well as across multiple estimation instances.


title: Designing rare-earth free permanent magnets in Heusler alloys via interstitial doping

abstract: Based on high-throughput density functional theory calculations, we investigated the effects of light interstitial H, B, C, and N atoms on the magnetic properties of cubic Heusler alloys, with the aim to design new rare-earth free permanent magnets. It is observed that the interstitial atoms induce significant tetragonal distortions, leading to 32 candidates with large ($>$ 0.4 MJ/m$^3$) uniaxial magneto-crystalline anisotropy energies (MAEs) and 10 cases with large in-plane MAEs. Detailed analysis following the the perturbation theory and chemical bonding reveals the strong MAE originates from the local crystalline distortions and thus the changes of the chemical bonding around the interstitials. This provides a valuable way to tailor the MAEs to obtain competitive permanent magnets, filling the gap between high performance Sm-Co/Nd-Fe-B and widely used ferrite/AlNiCo materials.


title: Adaptive Factorization Network: Learning Adaptive-Order Feature Interactions

abstract: Various factorization-based methods have been proposed to leverage second-order, or higher-order cross features for boosting the performance of predictive models. They generally enumerate all the cross features under a predefined maximum order, and then identify useful feature interactions through model training, which suffer from two drawbacks. First, they have to make a trade-off between the expressiveness of higher-order cross features and the computational cost, resulting in suboptimal predictions. Second, enumerating all the cross features, including irrelevant ones, may introduce noisy feature combinations that degrade model performance. In this work, we propose the Adaptive Factorization Network (AFN), a new model that learns arbitrary-order cross features adaptively from data. The core of AFN is a logarithmic transformation layer to convert the power of each feature in a feature combination into the coefficient to be learned. The experimental results on four real datasets demonstrate the superior predictive performance of AFN against the start-of-the-arts.


title: Rescaling the spatial lambda Fleming-Viot process and convergence to super-Brownian motion

abstract: We show that a space-time rescaling of the spatial Lamba-Fleming-Viot process of Barton and Etheridge converges to super-Brownian motion. This can be viewed as an extension of a result of Chetwynd-Diggle and Etheridge (2018). In that work the scaled impact factors (which govern the event based dynamics) vanish in the limit, here we drop that requirement. The analysis is particularly interesting in the biologically relevant two-dimensional case.


title: Automatic Financial Trading Agent for Low-risk Portfolio Management using Deep Reinforcement Learning

abstract: The autonomous trading agent is one of the most actively studied areas of artificial intelligence to solve the capital market portfolio management problem. The two primary goals of the portfolio management problem are maximizing profit and restrainting risk. However, most approaches to this problem solely take account of maximizing returns. Therefore, this paper proposes a deep reinforcement learning based trading agent that can manage the portfolio considering not only profit maximization but also risk restraint. We also propose a new target policy to allow the trading agent to learn to prefer low-risk actions. The new target policy can be reflected in the update by adjusting the greediness for the optimal action through the hyper parameter. The proposed trading agent verifies the performance through the data of the cryptocurrency market. The Cryptocurrency market is the best test-ground for testing our trading agents because of the huge amount of data accumulated every minute and the market volatility is extremely large. As a experimental result, during the test period, our agents achieved a return of 1800% and provided the least risky investment strategy among the existing methods. And, another experiment shows that the agent can maintain robust generalized performance even if market volatility is large or training period is short.


title: Defect QED: Dielectric without a Dielectric, Monopole without a Monopole

abstract: We study a class of defect quantum field theories where the quantum field theory in the 3+1-dimensional bulk is a free photon and charged matter and the interactions of the photons with the charges occur entirely on a 2+1-dimensional defect. We observe that at the fully quantum level, the effective action of such a theory is still a defect field theory with free photons propagating in the bulk and the nonlinearities in the quantum corrections to the Maxwell equations confined to the defect. We use this observation to show that the defect field theory has interesting electromagnetic properties. The electromagnetic fields sourced by static test charges are attenuated as if the bulk surrounding them were filled with a dielectric material. This is particularly interesting when the observer and test charge are on opposite sides of the defect. Then the effect is isotropic and it is operative even in the region near the defect. If the defect is in a time reversal violating state, image charges have the appearance of electrically and magnetically charged dyons. We present the example of a single layer in a quantum Hall state. We observe that the charge screening effect in charge neutral graphene should be significant, and even more dramatic when the layer is in a metallic state with mobile electrons.


title: Gaussian Process and Design of Experiments for Surrogate Modeling of Optical Properties of Fractal Aggregates

abstract: A systematic approach based on the principles of supervised learning and design of experiments concepts is introduced to build a surrogate model for estimating the optical properties of fractal aggregates. The surrogate model is built on Gaussian process (GP) regression, and the input points for the GP regression are sampled with an adaptive sequential design algorithm. The covariance functions used are the squared exponential covariance function and the Matern covariance function both with Automatic Relevance Determination (ARD). The optical property considered is extinction efficiency of soot aggregates. The strengths and weaknesses of the proposed methodology are first tested with RDG-FA. Then, surrogate models are developed for the sampled points, for which the extinction efficiency is calculated by DDA. Four different uniformly gridded databases are also constructed for comparison. It is observed that the estimations based on the surrogate model designed with Matern covariance functions is superior to the estimations based on databases in terms of the accuracy of the estimations and the total number of input points they require. Finally, a preliminary surrogate model for S 11 is built to correct RDG-FA predictions with the aim of combining the speed of RDG-FA with the accuracy of DDA.


title: The January 2016 eruption of recurrent nova LMC 1968

abstract: We present a comprehensive review of all observations of the eclipsing recurrent Nova LMC 1968 in the Large Magellanic Cloud which was previously observed in eruption in 1968, 1990, 2002, 2010, and most recently in 2016. We derive a probable recurrence time of $6.2 \pm 1.2$ years and provide the ephemerides of the eclipse. In the ultraviolet-optical-IR photometry the light curve shows high variability right from the first observation around two days after eruption. Therefore no colour changes can be substantiated. Outburst spectra from 2016 and 1990 are very similar and are dominated by H and He lines longward of 2000 Angstrom. Interstellar reddening is found to be E(B-V) = $0.07\pm0.01$. The super soft X-ray luminosity is lower than the Eddington luminosity and the X-ray spectra suggest the mass of the WD is larger than 1.3 M$_\odot$. Eclipses in the light curve suggest that the system is at high orbital inclination. On day four after the eruption a recombination wave was observed in Fe II ultraviolet absorption lines. Narrow line components are seen after day 6 and explained as being due to reionisation of ejecta from a previous eruption. The UV spectrum varies with orbital phase, in particular a component of the He II 1640 Angstrom emission line, which leads us to propose that early-on the inner WD Roche lobe might be filled with a bound opaque medium prior to the re-formation of an accretion disk. Both this medium and the ejecta can cause the delay in the appearance of the soft X-ray source.


title: Exponential Convergence for Distributed Smooth Optimization Under the Restricted Secant Inequality Condition

abstract: This paper considers the distributed smooth optimization problem in which the objective is to minimize a global cost function formed by a sum of local smooth cost functions, by using local information exchange. The standard assumption for proving exponential/linear convergence of first-order methods is the strong convexity of the cost functions, which does not hold for many practical applications. In this paper, we first show that the continuous-time distributed primal-dual gradient algorithm converges to one global minimizer exponentially under the assumption that the global cost function satisfies the restricted secant inequality condition. This condition is weaker than the strong convexity condition since it does not require convexity and the global minimizers are not necessary to be unique. We then show that the discrete-time distributed primal-dual algorithm constructed by using the Euler's approximation method converges to one global minimizer linearly under the same condition. The theoretical results are illustrated by numerical simulations.


title: Enhanced diffusion and enzyme dissociation

abstract: The concept that catalytic enzymes can act as molecular machines transducing chemical activity into motion has conceptual and experimental support, but much of the claimed support comes from experimental conditions where the substrate concentration is higher than biologically relevant and accordingly exceeds kM, the Michaelis-Menten constant. Moreover, many of the enzymes studied experimentally to date are oligomeric. Urease, a hexamer of subunits, has been considered to be the gold standard demonstrating enhanced diffusion. Here we show that urease and certain other oligomeric enzymes of high catalytic activity above kM dissociate into their smaller subunit fragments that diffuse more rapidly, thus providing a simple physical mechanism of enhanced diffusion in this regime of concentrations. Mindful that this conclusion may be controversial, our findings are sup-ported by four independent analytical techniques, static light scattering, dynamic light scattering (DLS), size-exclusion chroma-tography (SEC), and fluorescence correlation spectroscopy (FCS). Data for urease are presented in the main text and the con-clusion is validated for hexokinase and acetylcholinesterase with data presented in supplementary information. For substrate concentration regimes below kM at which these enzymes do not dissociate, our findings from both FCS and DLS validate that enzymatic catalysis does lead to the enhanced diffusion phenomenon. INTRODUCT


title: One-step replica-symmetry-breaking phase below the de Almeida-Thouless line in low-dimensional spin glasses

abstract: The de Almeida-Thouless (AT) line is the phase boundary in the temperature--magnetic field plane of an Ising spin glass at which a continuous (i.e. second-order) transition from a paramagnet to a replica-symmetry-breaking (RSB) phase occurs, according to mean-field theory. Here, using field-theoretic perturbative renormalization group methods on the Bray-Roberts reduced Landau-Ginzburg-type theory for a short-range Ising spin glass in space of dimension $d$, we show that at nonzero magnetic field the nature of the corresponding transition is modified as follows: a) for $d-6$ small and positive, with increasing field on the AT line first, the ordered phase just below the transition becomes the so-called one-step RSB, instead of the full RSB that occurs in mean-field theory; the transition on the AT line remains continuous with a diverging correlation length. Then at a higher field, a tricritical point separates the latter transition from a quasi-first-order one, that is one at which the correlation length does not diverge, and there is a jump in part of the order parameter, but no latent heat. The location of the tricritical point tends to zero as $d\to6^+$; b) for $d\leq 6$, we argue that the quasi-first-order transition could persist down to arbitrarily small nonzero fields, with a transition to full RSB still expected at lower temperature. Whenever the quasi-first-order transition occurs, it is at a higher temperature than the AT transition would be for the same field, preempting it as the temperature is lowered. We also draw attention to the similarity of the "dynamically-frozen" state, which occurs at temperatures just above the quasi-first-order transition, and the "metastate-average state" of the one-step RSB phase, and discuss the issue of the number of pure states in either.


title: Semantic Role Labeling with Iterative Structure Refinement

abstract: Modern state-of-the-art Semantic Role Labeling (SRL) methods rely on expressive sentence encoders (e.g., multi-layer LSTMs) but tend to model only local (if any) interactions between individual argument labeling decisions. This contrasts with earlier work and also with the intuition that the labels of individual arguments are strongly interdependent. We model interactions between argument labeling decisions through {\it iterative refinement}. Starting with an output produced by a factorized model, we iteratively refine it using a refinement network. Instead of modeling arbitrary interactions among roles and words, we encode prior knowledge about the SRL problem by designing a restricted network architecture capturing non-local interactions. This modeling choice prevents overfitting and results in an effective model, outperforming strong factorized baseline models on all 7 CoNLL-2009 languages, and achieving state-of-the-art results on 5 of them, including English.


title: Average eccentricity, minimum degree and maximum degree in graphs

abstract: Let $G$ be a connected finite graph with vertex set $V(G)$. The eccentricity $e(v)$ of a vertex $v$ is the distance from $v$ to a vertex farthest from $v$. The average eccentricity of $G$ is defined as $\frac{1}{|V(G)|}\sum_{v \in V(G)}e(v)$. We show that the average eccentricity of a connected graph of order $n$, minimum degree $\delta$ and maximum degree $\Delta$ does not exceed $\frac{9}{4} \frac{n-\Delta-1}{\delta+1} \big( 1 + \frac{\Delta-\delta}{3n} \big) + 7$, and this bound is sharp apart from an additive constant. We give improved bounds for triangle-free graphs and for graphs not containing a $4$-cycles.


title: A Non-Negative Factorization approach to node pooling in Graph Convolutional Neural Networks

abstract: The paper discusses a pooling mechanism to induce subsampling in graph structured data and introduces it as a component of a graph convolutional neural network. The pooling mechanism builds on the Non-Negative Matrix Factorization (NMF) of a matrix representing node adjacency and node similarity as adaptively obtained through the vertices embedding learned by the model. Such mechanism is applied to obtain an incrementally coarser graph where nodes are adaptively pooled into communities based on the outcomes of the non-negative factorization. The empirical analysis on graph classification benchmarks shows how such coarsening process yields significant improvements in the predictive performance of the model with respect to its non-pooled counterpart.


title: Some Bounds on Zeroth-Order General Randi\'c$ Index

abstract: For a graph $G$ without isolated vertices, the inverse degree of a graph $G$ is defined as $ID(G)=\sum_{u\in V(G)}d(u)^{-1}$ where $d(u)$ is the number of vertices adjacent to the vertex $u$ in $G$. By replacing $-1$ by any non-zero real number we obtain zeroth-order general Randi\'c index, i.e. $^0R_{\gamma}(G)=\sum_{u\in V(G)}d(u)^{\gamma}$ where $\gamma$ is any non-zero real number. In \cite{xd}, Xu et. al. determined some upper and lower bounds on the inverse degree for a connected graph $G$ in terms of chromatic number, clique number, connectivity, number of cut edges. In this paper, we extend their results and investigate if the same results hold for $\gamma<0$. The corresponding extremal graphs have been also characterized.


title: Predicting All Data Race Pairs for a Specific Schedule (extended version)

abstract: We consider the problem of data race prediction where the program's behavior is represented by a trace. A trace is a sequence of program events recorded during the execution of the program. We employ the schedulable happens-before relation to characterize all pairs of events that are in a race for the schedule as manifested in the trace. Compared to the classic happens-before relation, the schedulable happens-before relations properly takes care of write-read dependencies and thus avoids false positives. The challenge is to efficiently identify all (schedulable) data race pairs. We present a refined linear time vector clock algorithm to predict many of the schedulable data race pairs. We introduce a quadratic time post-processing algorithm to predict all remaining data race pairs. This improves the state of the art in the area and our experiments show that our approach scales to real-world examples. Thus, the user can systematically examine and fix all program locations that are in a race for a particular schedule.


title: Pretrained AI Models: Performativity, Mobility, and Change

abstract: The paradigm of pretrained deep learning models has recently emerged in artificial intelligence practice, allowing deployment in numerous societal settings with limited computational resources, but also embedding biases and enabling unintended negative uses. In this paper, we treat pretrained models as objects of study and discuss the ethical impacts of their sociological position. We discuss how pretrained models are developed and compared under the common task framework, but that this may make self-regulation inadequate. Further how pretrained models may have a performative effect on society that exacerbates biases. We then discuss how pretrained models move through actor networks as a kind of computationally immutable mobile, but that users also act as agents of technological change by reinterpreting them via fine-tuning and transfer. We further discuss how users may use pretrained models in malicious ways, drawing a novel connection between the responsible innovation and user-centered innovation literatures. We close by discussing how this sociological understanding of pretrained models can inform AI governance frameworks for fairness, accountability, and transparency.


title: Compiling PL/SQL Away

abstract: "PL/SQL functions are slow," is common developer wisdom that derives from the tension between set-oriented SQL evaluation and statement-by-statement PL/SQL interpretation. We pursue the radical approach of compiling PL/SQL away, turning interpreted functions into regular subqueries that can then be efficiently evaluated together with their embracing SQL query, avoiding any PL/SQL to SQL context switches. Input PL/SQL functions may exhibit arbitrary control flow. Iteration, in particular, is compiled into SQL-level recursion. RDBMSs across the board reward this compilation effort with significant run time savings that render established developer lore questionable.


title: Topology Optimization of Fluidic Pressure Loaded Structures and Compliant Mechanisms using the Darcy Method

abstract: In various applications, design problems involving structures and compliant mechanisms experience fluidic pressure loads. During topology optimization of such design problems, these loads adapt their direction and location with the evolution of the design, which poses various challenges. A new density-based topology optimization approach using Darcy's law in conjunction with a drainage term is presented to provide a continuous and consistent treatment of design-dependent fluidic pressure loads. The porosity of each finite element and its drainage term are related to its density variable using a Heaviside function, yielding a smooth transition between the solid and void phases. A design-dependent pressure field is established using Darcy's law and the associated PDE is solved using the finite element method. Further, the obtained pressure field is used to determine the consistent nodal loads. The approach provides a computationally inexpensive evaluation of load sensitivities using the adjoint-variable method. To show the efficacy and robustness of the proposed method, numerical examples related to fluidic pressure loaded stiff structures and small-deformation compliant mechanisms are solved. For the structures, compliance is minimized, whereas for the mechanisms a multi-criteria objective is minimized with given resource constraints.


title: Quantum phase transition of two-level atoms interacting with a finite radiation field

abstract: We introduce a group-theoretical extension of the Dicke model which describes an ensemble of two-level atoms interacting with a finite radiation field. The latter is described by a spin model whose main feature is that it possesses a maximum number of excitations. The approach adopted here leads to a nonlinear extension of the Dicke model that takes into account both an intensity dependent coupling between the atoms and the radiation field, and an additional nonlinear Kerr-like or P\"{o}sch-Teller-like oscillator term, depending on the degree of nonlinearity. We use the energy surface minimization method to demonstrate that the extended Dicke model exhibits a quantum phase transition, and we analyze its dependence upon the maximum number of excitations of the model. Our analysis is carried out via three methods: through mean-field analysis (i.e. by using the tensor product of coherent states), by using parity-preserving symmetry-adapted states (using the critical values obtained in the mean-field analysis and numerically minimizing the energy surface) and by means of the exact quantum solution (i.e. by numerically diagonalizing the Hamiltonian). Possible connections with the $qp$-deformed algebras are also discussed.


title: On integer values of the generating functions for sequences given by the Pell's equations

abstract: D. S. Hong and P. Pongsriiam have provided a necessary and sufficient condition for the generating function for Fibonacci numbers (resp. the Lucas numbers) to be an integer value, for rational numbers. In other words, their results relate to the integer values of the generating functions of the sequences obtained from the integer solutions of Pell's equation $5x^{2}-y^{2}=\pm4$. If we change this Pell's equation to another type of Pell's equation, how will their results change? This is a natural and interesting problem. In this paper, we show that a result similar to theirs is obtained for the generating functions for sequences given by Pell's equation $x^{2}-my^{2}=\pm1 \ (m\text{ is a non-square natural number})$.


title: Character correspondeces in solvable groups with a self-normalizing Sylow subgroup

abstract: In 1973, I. M. Isaacs described a correspondence between characters of degree not divisible by a fixed prime $p$ of a finite solvable group $G$ and those of the normalizer of Sylow $p$-subgroup of $G$, whenever the index of the normalizer in $G$ is odd. This correspondence is natural in the sense that an algorithm is provided to compute it, and the result of the application of the algorithm does not depend on choices made. Later on, for $p$-solvable groups with self-normalizing Sylow $p$-subgroup, G. Navarro showed that every irreducible character of degree not divisible by $p$ has a unique linear constituent when restricted to a Sylow $p$-subgroup. Furthermore, the process of choosing the unique linear constituent of the restriction defines a bijection. Navarro's bijection is obviously natural in the sense described above. We show that these two correspondences are the same under the intersection of the hypotheses.


title: WoTify: A platform to bring Web of Things to your devices

abstract: The Internet of Things (IoT) has already taken off, together with many Web of Things (WoT) off-the-shelf devices, such as Philips Hue lights and platforms such as Azure IoT. These devices and platforms define their own way of describing the interactions with the devices and do not support the recently published WoT standards by World Wide Web Consortium (W3C). On the other hand, many hardware components that are popular in developer and maker communities lack a programming language independent platform to integrate these components into the WoT, similar to npm and pip for software packages. To solve these problems and nurture the adoption of the W3C WoT, in this paper, we propose a platform to WoTify either existing hardware by downloading new software in them or already existing IoT and WoT devices by describing them with a Thing Description.


title: Virtual-Thing: Thing Description based Virtualization

abstract: Integrating different Internet of Things devices from different manufacturers to create a mashup scenario can be a tedious and error-prone task that involves studying non-standard datasheets. A Thing Description (TD) as defined by the World Wide Web Consortium (W3C) can make such a task less complicated by providing a standardized model for describing the metadata and the interface of a Web of Things (WoT) entity. However, a situation where a mashup developer has access to a Thing's TD before having access to the Thing itself may still arise. A way of simulating devices based only on their TDs is thus helpful during the development process of a mashup. In this work, we present a method of creating a virtual Thing that simulates the behavior of a WoT-enabled entity based only on its Thing Description.


title: The Haldane model and its localization dichotomy

abstract: Gapped periodic quantum systems exhibit an interesting Localization Dichotomy, which emerges when one looks at the localization of the optimally localized Wannier functions associated to the Bloch bands below the gap. As recently proved, either these Wannier functions are exponentially localized, as it happens whenever the Hamiltonian operator is time-reversal symmetric, or they are delocalized in the sense that the expectation value of $|\mathbf{x}|^2$ diverges. Intermediate regimes are forbidden. Following the lesson of our Maestro, to whom this contribution is gratefully dedicated, we find useful to explain this subtle mathematical phenomenon in the simplest possible model, namely the discrete model proposed by Haldane (Phys. Rev. Lett. 61, 2017 (1988)). We include a pedagogical introduction to the model and we explain its Localization Dichotomy by explicit analytical arguments. We then introduce the reader to the more general, model-independent version of the dichotomy proved in (Commun. Math. Phys. 359, 61-100 (2018)), and finally we announce further generalizations to non-periodic models.


title: Structure of the center manifold of the L1 and L2 collinear libration points in the restricted three-body problem

abstract: We present a global analysis of the center manifold of the collinear points in the circular restricted three-body problem. The phase-space structure is provided by a family of resonant 2-DOF Hamiltonian normal forms. The near 1:1 commensurability leads to the construction of a detuned Birkhoff-Gustavson normal form. The bifurcation sequences of the main orbit families are investigated by a geometric theory based on the reduction of the symmetries of the normal form, invariant under spatial mirror symmetries and time reversion. This global picture applies to any values of the mass parameter.


title: Cyclic Permutations: Degrees and Combinatorial Types

abstract: This note will give an enumeration of $n$-cycles in the symmetric group ${\mathcal S}_n$ by their degree (also known as their cyclic descent number) and studies similar counting problems for the conjugacy classes of $n$-cycles under the action of the rotation subgroup of ${\mathcal S}_n$. This is achieved by relating such cycles to periodic orbits of an associated dynamical system acting on the circle. We also compute the mean and variance of the degree of a random $n$-cycle and show that its distribution is asymptotically normal as $n \to \infty$.


title: p-reduced multicomponent KP hierarchy and classical W-algebras W(gl_N,p)

abstract: For each partition p of an integer N \geq 2, consisting of r parts, an integrable hierarchy of Lax type Hamiltonian PDE has been constructed recently by some of us. In the present paper we show that any tau-function of the p-reduced r-component KP hierarchy produces a solution of this integrable hierarchy. Along the way we provide an algorithm for the explicit construction of the generators of the corresponding classical W-algebra W(gl_N,p), and write down explicit formulas for evolution of these generators along the Hamiltonian flows.


title: On the Optimality of Gaussian Kernel Based Nonparametric Tests against Smooth Alternatives

abstract: Nonparametric tests via kernel embedding of distributions have witnessed a great deal of practical successes in recent years. However, statistical properties of these tests are largely unknown beyond consistency against a fixed alternative. To fill in this void, we study here the asymptotic properties of goodness-of-fit, homogeneity and independence tests using Gaussian kernels, arguably the most popular and successful among such tests. Our results provide theoretical justifications for this common practice by showing that tests using Gaussian kernel with an appropriately chosen scaling parameter are minimax optimal against smooth alternatives in all three settings. In addition, our analysis also pinpoints the importance of choosing a diverging scaling parameter when using Gaussian kernels and suggests a data-driven choice of the scaling parameter that yields tests optimal, up to an iterated logarithmic factor, over a wide range of smooth alternatives. Numerical experiments are also presented to further demonstrate the practical merits of the methodology.


title: Minimal flag triangulations of lower-dimensional manifolds

abstract: We prove the following results on flag triangulations of 2- and 3-manifolds. In dimension 2, we prove that the vertex-minimal flag triangulations of $\mathbb{R} P^2$ and $\mathbb{S}^1\times \mathbb{S}^1$ have 11 and 12 vertices, respectively. In general, we show that $8+3k$ (resp. $8+4k$) vertices suffice to obtain a flag triangulation of the connected sum of $k$ copies of $\mathbb{R} P^2$ (resp. $\mathbb{S}^1\times \mathbb{S}^1$). In dimension 3, we describe an algorithm based on the Lutz-Nevo theorem which provides supporting computational evidence for the following generalization of the Charney-Davis conjecture: for any flag 3-manifold, $\gamma_2:=f_1-5f_0+16\geq 16 \beta_1$, where $f_i$ is the number of $i$-dimensional faces and $\beta_1$ is the first Betti number over a field. The conjecture is tight in the sense that for any value of $\beta_1$, there exists a flag 3-manifold for which the equality holds.


title: Robotic Coverage for Continuous Mapping Ahead of a Moving Vehicle

abstract: In this paper we investigate the problem of using a UAV to provide current map information of the environment in front of a moving ground vehicle. We propose a simple coverage plan called a conformal lawn mower plan that enables a UAV to scan the route ahead of the ground vehicle. The plan requires only limited knowledge of the ground vehicle's future path. For a class of curvature-constrained ground vehicle paths, we show that the proposed plan requires a UAV velocity that is no more than twice the velocity required to cover the optimal plan. We also establish necessary and sufficient UAV velocities, relative to the ground vehicle velocity, required to successfully cover any path in the curvature restricted set. In simulation, we validate the proposed plan, showing that the required velocity to provide coverage is strongly related to the curvature of the ground vehicle's path. Our results also illustrate the relationship between mapping requirements and the relative velocities of the UAV and ground vehicle.


title: Area minimizing currents mod $2Q$: linear regularity theory

abstract: We establish a theory of $Q$-valued functions minimizing a suitable generalization of the Dirichlet integral. In a second paper the theory will be used to approximate efficiently area minimizing currents $\mathrm{mod}(p)$ when $p=2Q$, and to establish a first general partial regularity theorem for every $p$ in any dimension and codimension.


title: A scalable constructive algorithm for the optimization of neural network architectures

abstract: We propose a new scalable method to optimize the architecture of an artificial neural network. The proposed algorithm, called Greedy Search for Neural Network Architecture, aims to determine a neural network with minimal number of layers that is at least as performant as neural networks of the same structure identified by other hyperparameter search algorithms in terms of accuracy and computational cost. Numerical results performed on benchmark datasets show that, for these datasets, our method outperforms state-of-the-art hyperparameter optimization algorithms in terms of attainable predictive performance by the selected neural network architecture, and time-to-solution for the hyperparameter optimization to complete.


title: Gaussian scrolls, Gaussian flags and duality

abstract: A projective variety whose Gauss map has positive dimensional fibres corresponds to a special kind of scroll called \emph{Gaussian}. A Gaussian scroll is a member of a canonical derived \emph{ Gaussian flag}. We introduce a duality in the class of Gaussian scrolls and flags and study its consequences. In particular, a Gaussian scroll is dual to the derived or tangent developable scroll of a Gaussian scroll in the dual projective space, and is the 'leading edge' or antiderived scroll of its derived stationary scroll.


title: Bimodality in gene expression without feedback: From Gaussian white noise to log-normal coloured noise

abstract: Extrinsic noise-induced transitions to bimodal dynamics have been largely investigated in a variety of chemical, physical, and biological systems. In the standard approach in physical and chemical systems, the key properties that make these systems mathematically tractable are that the noise appears linearly in the dynamical equations, and it is assumed Gaussian and white. In biology, the Gaussian approximation has been successful in specific systems, but the relevant noise being usually non-Gaussian, non-white, and nonlinear poses serious limitations to its general applicability. Here we revisit the fundamental features of linear Gaussian noise, pinpoint its limitations, and review recent new approaches based on nonlinear bounded noises, which highlight novel mechanisms to account for transitions to bimodal behaviour. We do this by considering a simple but fundamental gene expression model, the repressed gene, which is characterized by linear and nonlinear dependencies on external parameters. We then review a general methodology introduced recently, so-called nonlinear noise filtering, which allows the investigation of linear, nonlinear, Gaussian and non-Gaussian noises. We also present a derivation of it, which highlights its dynamical origin. Testing the methodology on the repressed gene confirms that the emergence of noise-induced transitions appears to be strongly dependent on the type of noise adopted, and on the degree of nonlinearity present in the system.


title: Exploring Temporal Differences in 3D Convolutional Neural Networks

abstract: Traditional 3D convolutions are computationally expensive, memory intensive, and due to large number of parameters, they often tend to overfit. On the other hand, 2D CNNs are less computationally expensive and less memory intensive than 3D CNNs and have shown remarkable results in applications like image classification and object recognition. However, in previous works, it has been observed that they are inferior to 3D CNNs when applied on a spatio-temporal input. In this work, we propose a convolutional block which extracts the spatial information by performing a 2D convolution and extracts the temporal information by exploiting temporal differences, i.e., the change in the spatial information at different time instances, using simple operations of shift, subtract and add without utilizing any trainable parameters. The proposed convolutional block has same number of parameters as of a 2D convolution kernel of size nxn, i.e. n^2, and has n times lesser parameters than an nxnxn 3D convolution kernel. We show that the 3D CNNs perform better when the 3D convolution kernels are replaced by the proposed convolutional blocks. We evaluate the proposed convolutional block on UCF101 and ModelNet datasets.


title: On the spectral characterization of Besse and Zoll Reeb flows

abstract: A closed contact manifold is called Besse when all its Reeb orbits are closed, and Zoll when they have the same minimal period. In this paper, we provide a characterization of Besse contact forms for convex contact spheres and Riemannian unit tangent bundles in terms of $S^1$-equivariant spectral invariants. Furthermore, for restricted contact type hypersurfaces of symplectic Euclidean spaces, we give a sufficient condition for the Besse property via the Ekeland-Hofer capacities.


title: Growth and mortality of endangered land crabs (Cardisoma guanhumi) assessed through tagging with PITs and novel bootstrapped methods

abstract: The land crab Cardisoma guanhumi Latreille, 1828 is harvested in several countries in Latin America, and a critically endangered species. This is the first study to conduct bootstrapped tagging analysis (BTA) together with bootstrapped length-frequency analyses (BLFA). Crabs were sampled monthly in a mangrove patch at Itamaraca Island (Brazil), over 12 months, and marked with PIT tags. Both methods (BTA and BLFA) indicate very slow growth and Linf far above Lmax. BTA estimates were K = 0.12 y-1 (95% CI: 0.024 to 0.26 y-1), Linf = 118 mm (95% CI: 81 to 363 mm), Phi' = 1.23 log10(cm y-1) (95% CI: 0.86 to 1.36 log10(cm y-1)). Seasonality in growth was significant (p = 0.006, 95% CI for C: 0.15 to 0.93, median: C = 0.56). Pairs of K and Linf always followed narrow Phi' isopleths. Total mortality was Z = 2.18 y-1 (95% CI = 1.7 to 4.5 y-1). Slow growth and a very high Z/K ratio highlight the need for protective measures. BTA results were 2.2 to 3 times more precise than BLFA. Traditional length-based methods produced grossly biased results, indicating the urgent need for new, robust approaches and a critical reevaluation of long-standing methods and paradigms.


title: A Coupled A-H Formulation for Magneto-Thermal Transients in High-Temperature Superconducting Magnets

abstract: The application of high-temperature superconductors to accelerator magnets for future particle colliders is under study. Numerical methods are crucial for an accurate evaluation of the complex dynamical behavior of the magnets, especially concerning the magnetic field quality and thermal behavior. We present a coupled $\textbf{A}$-$\textbf{H}$ field formulation for the analysis of magneto-thermal transients in accelerator magnets. The magnetic field strength $\textbf{H}$ accounts for the eddy current problem in the source regions containing the superconducting domains, while the magnetic vector potential $\textbf{A}$ represents the magnetoquasistatic problem in the normal and non-conducting domains. Furthermore, we include a slab approximation for the source regions, making the formulation suitable for large scale models composed of thousands of tapes. In this work, the relevant equations are derived and discussed, with emphasis on the coupling conditions. The weak formulation is derived, and numerical results are provided in order to both, verify the formulation and scale it to the size of an accelerator magnet.


title: Fast mmwave Beam Alignment via Correlated Bandit Learning

abstract: Beam alignment (BA) is to ensure the transmitter and receiver beams are accurately aligned to establish a reliable communication link in millimeter-wave (mmwave) systems. Existing BA methods search the entire beam space to identify the optimal transmit-receive beam pair, which incurs significant BA latency on the order of seconds in the worst case. In this paper, we develop a learning algorithm to reduce BA latency, namely Hierarchical Beam Alignment (HBA) algorithm. We first formulate the BA problem as a stochastic multi-armed bandit problem with the objective to maximize the cumulative received signal strength within a certain period. The proposed algorithm takes advantage of the correlation structure among beams such that the information from nearby beams is extracted to identify the optimal beam, instead of searching the entire beam space. Furthermore, the prior knowledge on the channel fluctuation is incorporated in the proposed algorithm to further accelerate the BA process. Theoretical analysis indicates that the proposed algorithm is asymptotically optimal. Extensive simulation results demonstrate that the proposed algorithm can identify the optimal beam with a high probability and reduce the BA latency from hundreds of milliseconds to a few milliseconds in the multipath channel, as compared to the existing BA method in IEEE 802.11ad.


title: Analyzing the HCP Datasets using GPUs: The Anatomy of a Science Engagement

abstract: This paper documents the experience improving the performance of a data processing workflow for analysis of the Human Connectome Project's HCP900 data set. It describes how network and compute bottlenecks were discovered and resolved during the course of a science engagement. A series of computational enhancements to the stock FSL BedpostX workflow are described. These enhancements migrated the workflow from a slow serial execution of computations resulting from Slurm scheduler incompatibilities to eventual execution on GPU resources, going from a 21-day execution on a single CPU core to a 2 hour execution on a GPU. This workflow contributed a vital use-case to the build-out of the campus compute cluster with additional GPUs and resulted in enhancements to network bandwidth. It also shares insights on potential improvements to distribution of scientific software to avoid stagnation in site-specific deployment decisions. The discussion highlights the advantages of open licenses and popular code collaboration sites like GitHub.com in feeding contributions upstream.


title: Relationships from Entity Stream

abstract: Relational reasoning is a central component of intelligent behavior, but has proven difficult for neural networks to learn. The Relation Network (RN) module was recently proposed by DeepMind to solve such problems, and demonstrated state-of-the-art results on a number of datasets. However, the RN module scales quadratically in the size of the input, since it calculates relationship factors between every patch in the visual field, including those that do not correspond to entities. In this paper, we describe an architecture that enables relationships to be determined from a stream of entities obtained by an attention mechanism over the input field. The model is trained end-to-end, and demonstrates equivalent performance with greater interpretability while requiring only a fraction of the model parameters of the original RN module.


title: Multi-Target Multiple Instance Learning for Hyperspectral Target Detection

abstract: In remote sensing, it is often challenging to acquire or collect a large dataset that is accurately labeled. This difficulty is usually due to several issues, including but not limited to the study site's spatial area and accessibility, errors in the global positioning system (GPS), and mixed pixels caused by an image's spatial resolution. We propose an approach, with two variations, that estimates multiple target signatures from training samples with imprecise labels: Multi-Target Multiple Instance Adaptive Cosine Estimator (Multi-Target MI-ACE) and Multi-Target Multiple Instance Spectral Match Filter (Multi-Target MI-SMF). The proposed methods address the problems above by directly considering the multiple-instance, imprecisely labeled dataset. They learn a dictionary of target signatures that optimizes detection against a background using the Adaptive Cosine Estimator (ACE) and Spectral Match Filter (SMF). Experiments were conducted to test the proposed algorithms using a simulated hyperspectral dataset, the MUUFL Gulfport hyperspectral dataset collected over the University of Southern Mississippi-Gulfpark Campus, and the AVIRIS hyperspectral dataset collected over Santa Barbara County, California. Both simulated and real hyperspectral target detection experiments show the proposed algorithms are effective at learning target signatures and performing target detection.


title: Dependency Parsing for Spoken Dialog Systems

abstract: Dependency parsing of conversational input can play an important role in language understanding for dialog systems by identifying the relationships between entities extracted from user utterances. Additionally, effective dependency parsing can elucidate differences in language structure and usage for discourse analysis of human-human versus human-machine dialogs. However, models trained on datasets based on news articles and web data do not perform well on spoken human-machine dialog, and currently available annotation schemes do not adapt well to dialog data. Therefore, we propose the Spoken Conversation Universal Dependencies (SCUD) annotation scheme that extends the Universal Dependencies (UD) (Nivre et al., 2016) guidelines to spoken human-machine dialogs. We also provide ConvBank, a conversation dataset between humans and an open-domain conversational dialog system with SCUD annotation. Finally, to demonstrate the utility of the dataset, we train a dependency parser on the ConvBank dataset. We demonstrate that by pre-training a dependency parser on a set of larger public datasets and fine-tuning on ConvBank data, we achieved the best result, 85.05% unlabeled and 77.82% labeled attachment accuracy.


title: Bright and Efficient Perovskite Light Emitting Electrochemical Cells Leveraging Ionic Additives

abstract: Perovskite light-emitting diodes (PeLEDs) have drawn considerable attention for their favorable optoelectronic properties. Perovskite light-emitting electrochemical cells (PeLECs) _ devices that utilize mobile ions _ have recently been reported but have yet to reach the performance of the best PeLEDs. We leveraged a poly(ethylene oxide) electrolyte and lithium dopant in CsPbBr3 thin films to produce PeLECs of improved brightness and efficiency. In particular, we found that a single layer PeLEC from CsPbBr3:PEO:LiPF6 with 0.5% wt. LiPF6 produced highly efficient (22 cd/A) and bright (~15000 cd/m2) electroluminescence. To understand this improved performance among PeLECs, we characterized these perovskite thin films with photoluminescence (PL) spectroscopy, scanning electron microscopy (SEM), atomic force microscopy (AFM), X-ray photoelectron spectroscopy (XPS), and X-ray diffraction (XRD). These studies revealed that this optimal LiPF6 concentration improves electrical double layer formation, reduces the occurrence of voids, charge traps, and pinholes, and increases grain size and packing density.


title: Computing Stackelberg Equilibria of Large General-Sum Games

abstract: We study the computational complexity of finding Stackelberg Equilibria in general-sum games, where the set of pure strategies of the leader and the followers are exponentially large in a natrual representation of the problem. In \emph{zero-sum} games, the notion of a Stackelberg equilibrium coincides with the notion of a \emph{Nash Equilibrium}~\cite{korzhyk2011stackelberg}. Finding these equilibrium concepts in zero-sum games can be efficiently done when the players have polynomially many pure strategies or when (in additional to some structural properties) a best-response oracle is available~\cite{ahmadinejad2016duels, DHL+17, KV05}. Despite such advancements in the case of zero-sum games, little is known for general-sum games. In light of the above, we examine the computational complexity of computing a Stackelberg equilibrium in large general-sum games. We show that while there are natural large general-sum games where the Stackelberg Equilibria can be computed efficiently if the Nash equilibrium in its zero-sum form could be computed efficiently, in general, structural properties that allow for efficient computation of Nash equilibrium in zero-sum games are not sufficient for computing Stackelberg equilibria in general-sum games.


title: Matrix Calculations for Moments of Markov Processes

abstract: Matryoshka dolls, the traditional Russian nesting figurines, are known world-wide for each doll's encapsulation of a sequence of smaller dolls. In this paper, we identify a large class of Markov process whose moments are easy to compute by exploiting the structure of a new sequence of nested matrices we call Matryoshkhan matrices. We characterize the salient properties of Matryoshkhan matrices that allow us to compute these moments in closed form at a specific time without computing the entire path of the process. This speeds up the computation of the Markov process moments significantly in comparison to traditional differential equation methods, which we demonstrate through numerical experiments. Through our method, we derive explicit expressions for both transient and steady-state moments of this class of Markov processes. We demonstrate the applicability of this method through explicit examples such as shot-noise processes, growth-collapse processes, linear birth-death-immigration processes, and affine stochastic differential equations from the finance literature. We also show that we can derive explicit expressions for the self-exciting Hawkes process, for which finding closed form moment expressions has been an open problem since its introduction in 1971. In general, our techniques can be used for any Markov process for which the infinitesimal generator of an arbitrary polynomial is itself a polynomial of equal or lower order


title: The shape of the dark matter halo revealed from a hypervelocity star

abstract: A recently discovered young, high-velocity giant star J01020100-7122208 is a good candidate of hypervelocity star ejected from the Galactic center, although it has a bound orbit. If we assume that this star was ejected from the Galactic center, it can be used to constrain the Galactic potential, because the deviation of its orbit from a purely radial orbit informs us of the torque that this star has received after its ejection. Based on this assumption, we estimate the flattening of the dark matter halo of the Milky Way by using the Gaia DR2 data and the circular velocity data from Eilers et al. (2019). Our Bayesian analysis shows that the orbit of J01020100-7122208 favors a prolate dark matter halo within $\sim$ 10 kpc from the Galactic center. The posterior distribution of the density flattening $q$ shows a broad distribution at $q \gtrsim1$ and peaks at $q \simeq 1.5$. Also, 98.5\% of the posterior distribution is located at $q>1$, highly disfavoring an oblate halo.


title: Effect of slip transmission at grain boundaries in Al bicrystals

abstract: The effect of slip transfer on the deformation mechanisms of Al bicrystals was explored using a rate-dependent dislocation-based crystal plasticity model. Three different types of grain boundaries (GBs) were included in the model by modifying the rate of dislocation accumulation near the GB in the Kocks-Mecking law, leading to fully-opaque (dislocation blocking), fully-transparent and partially-transparent GBs. In the latter, slip transmission is only allowed in pairs of SS in neighbour grains that are suitably oriented for slip transfer according to the Luster-Morris parameter. Modifications of the GB character led to important changes in the deformation mechanisms at the GB. In general, bicrystals with fully-opaque boundaries showed an increase in the dislocation density near the GB, which was associated with an increase in the Von Mises stress. In contrast, the dislocation pile-ups and the stress concentration were less pronounced in the case of partially-transparent boundaries as the slip in one grain can progress into the next grain with some degree of continuity. No stress concentrations were found at these boundaries for fully-transparent boundaries, and there was continuity of strain across the boundary, which is not typical of most experimentally observed GBs. Simulations of ideal bicrystals oriented for favorable slip transfer on the most highly favored slip system in grains with high Schmid factors for slip transfer depends on the number of active SS in operation in the neighborhood and that most boundaries will lead to nearly opaque conditions while some boundaries will be transparent. Finally, the model was applied to a particular experimentally observed GB in which slip transfer was clearly operating indicating that the model predicted a nearly transparent GB.


title: Nucleon resonances with spin $\frac{3}{2}$ and isospin $\frac{1}{2}$

abstract: Investigation of the nucleon's excited states has always become an important research topic because of the rich information they provide. Since their first observation, dating back about 70 years, the investigation of their various parameters contributed both to the development of the quark model and better understanding of the QCD as the theory of strong interaction. Their investigation still has importance. The researches conducted on the nucleon excited states are helpful to probe missing resonances predicted by the quark model but not observed yet. With this motivation, we study the low lying nucleon resonance with $I(J^P)=\frac{1}{2}(\frac{3}{2}^{-})$ and its corresponding orbital and radial excitations with $I(J^P)=\frac{1}{2}(\frac{3}{2}^+)$ and $I(J^P)=\frac{1}{2}(\frac{3}{2}^-)$, respectively. Using the QCD sum rule method, we calculate the masses and pole residues of these states. The obtained mass results are consistent with the mass ranges presented in PDG for the resonances $N^*(1520)(3/2^-)$, $N^*(1700)(3/2^-)$, and $N^*(1720)(3/2^+)$. The results of masses and residues of these states may be used as input parameters to calculate various quantities related to their electromagnetic, weak and strong interactions with other particles with the aim of getting more information on their nature and structure.


title: Demand Private Coded Caching

abstract: The work by Maddah-Ali and Niesen demonstrated the benefits in reducing the transmission rate in a noiseless broadcast network by joint design of caching and delivery schemes. In their setup, each user learns the demands of all other users in the delivery phase. In this paper, we introduce the problem of demand private coded caching where we impose a privacy requirement that no user learns any information about the demands of other users. We provide an achievable scheme and compare its performance using the existing lower bounds on the achievable rates under no privacy setting. For this setting, when $N\leq K$ we show that our scheme is order optimal within a multiplicative factor of 8. Furthermore, when $N > K$ and $M\geq N/K$, our scheme is order optimal within a multiplicative factor of 4.


title: Formal Methods and CyberSecurity

abstract: Formal methods have been largely thought of in the context of safety-critical systems, where they have achieved major acceptance. Tens of millions of people trust their lives every day to such systems, based on formal proofs rather than ``we haven't found a bug'' (yet!). Why is ``we haven't found a bug'' an acceptable basis for systems trusted with hundreds of millions of people's personal data? This paper looks at some of the issues in CyberSecurity, and the extent to which formal methods, ranging from ``fully verified'' to better tool support, could help. Alas The Royal Society (2016) only recommended formal methods in the limited context of ``safety critical applications'': we suggest this is too limited.


title: Modified Legendre-Gauss-Radau Collocation Method for Solving Optimal Control Problems with Nonsmooth Solutions

abstract: A new method is developed for solving optimal control problems whose solutions are nonsmooth. The method developed in this paper employs a modified form of the Legendre-Gauss-Radau orthogonal direct collocation method. This modified Legendre-Gauss-Radau method adds two variables and two constraints at the end of a mesh interval when compared with a previously developed standard Legendre-Gauss-Radau collocation method. The two additional variables are the time at the interface between two mesh intervals and the control at the end of each mesh interval. The two additional constraints are a collocation condition for those differential equations that depend upon the control and an inequality constraint on the control at the endpoint of each mesh interval. The additional constraints modify the search space of the nonlinear programming problem such that an accurate approximation to the location of the nonsmoothness is obtained. The transformed adjoint system of the modified Legendre-Gauss-Radau method is then developed. Using this transformed adjoint system, a method is developed to transform the Lagrange multipliers of the nonlinear programming problem to the costate of the optimal control problem. Furthermore, it is shown that the costate estimate satisfies one of the Weierstrass-Erdmann optimality conditions. Finally, the method developed in this paper is demonstrated on an example whose solution is nonsmooth.


title: Revisited functional renormalization group approach for random matrices in the large-$N$ limit

abstract: The nonperturbative renormalization group has been considered as a solid framework to investigate fixed point and critical exponents for matrix and tensor models, expected to correspond with the so-called double scaling limit. In this paper, we focus on matrix models and address the question of the compatibility between the approximations used to solve the exact renormalization group equation and the modified Ward identities coming from the regulator. We show in particular that standard local potential approximation strongly violates the Ward identities, especially in the vicinity of the interacting fixed point. Extending the theory space including derivative couplings, we recover an interacting fixed point with a critical exponent not so far from the exact result, but with a nonzero value for derivative couplings, evoking a strong dependence concerning the regulator. Finally, we consider a modified regulator, allowing to keep the flow not so far from the ultralocal region and recover the results of the literature up to a slight improvement.


title: Subcell flux limiting for high-order Bernstein finite element discretizations of scalar hyperbolic conservation laws

abstract: This work extends the concepts of algebraic flux correction and convex limiting to continuous high-order Bernstein finite element discretizations of scalar hyperbolic problems. Using an array of adjustable diffusive fluxes, the standard Galerkin approximation is transformed into a nonlinear high-resolution scheme which has the compact sparsity pattern of the piecewise-linear or multilinear subcell discretization. The representation of this scheme in terms of invariant domain preserving states makes it possible to prove the validity of local discrete maximum principles under CFL-like conditions. In contrast to predictor-corrector approaches based on the flux-corrected transport methodology, the proposed flux limiting strategy is monolithic; i.e., limited antidiffusive terms are incorporated into the well-defined residual of a nonlinear (semi-)discrete problem. A stabilized high-order Galerkin discretization is recovered if no limiting is performed. In the limited version, the compact stencil property prevents direct mass exchange between nodes that are not nearest neighbors. A formal proof of sparsity is provided for simplicial and box elements. The involved element contributions can be calculated efficiently making use of matrix-free algorithms and precomputed element matrices of the reference element. Numerical studies for $\mathbb{Q}_2$ discretizations of linear and nonlinear two-dimensional test problems illustrate the virtues of monolithic convex limiting based on subcell flux decompositions.


title: LAMOL: LAnguage MOdeling for Lifelong Language Learning

abstract: Most research on lifelong learning applies to images or games, but not language. We present LAMOL, a simple yet effective method for lifelong language learning (LLL) based on language modeling. LAMOL replays pseudo-samples of previous tasks while requiring no extra memory or model capacity. Specifically, LAMOL is a language model that simultaneously learns to solve the tasks and generate training samples. When the model is trained for a new task, it generates pseudo-samples of previous tasks for training alongside data for the new task. The results show that LAMOL prevents catastrophic forgetting without any sign of intransigence and can perform five very different language tasks sequentially with only one model. Overall, LAMOL outperforms previous methods by a considerable margin and is only 2-3% worse than multitasking, which is usually considered the LLL upper bound. The source code is available at https://github.com/jojotenya/LAMOL.


title: EU Long-term Dataset with Multiple Sensors for Autonomous Driving

abstract: The field of autonomous driving has grown tremendously over the past few years, along with the rapid progress in sensor technology. One of the major purposes of using sensors is to provide environment perception for vehicle understanding, learning and reasoning, and ultimately interacting with the environment. In this paper, we first introduce a multisensor platform allowing vehicle to perceive its surroundings and locate itself in a more efficient and accurate way. The platform integrates eleven heterogeneous sensors including various cameras and lidars, a radar, an IMU (Inertial Measurement Unit), and a GPS-RTK (Global Positioning System / Real-Time Kinematic), while exploits a ROS (Robot Operating System) based software to process the sensory data. Then, we present a new dataset (https://epan-utbm.github.io/utbm_robocar_dataset/) for autonomous driving captured many new research challenges (e.g. highly dynamic environment), and especially for long-term autonomy (e.g. creating and maintaining maps), collected with our instrumented vehicle, publicly available to the community.


title: Deep Reinforcement Learning for Control of Probabilistic Boolean Networks

abstract: Probabilistic Boolean Networks (PBNs) were introduced as a computational model for the study of complex dynamical systems, such as Gene Regulatory Networks (GRNs). Controllability in this context is the process of making strategic interventions to the state of a network in order to drive it towards some other state that exhibits favourable biological properties. In this paper we study the ability of a Double Deep Q-Network with Prioritized Experience Replay in learning control strategies within a finite number of time steps that drive a PBN towards a target state, typically an attractor. The control method is model-free and does not require knowledge of the network's underlying dynamics, making it suitable for applications where inference of such dynamics is intractable. We present extensive experiment results on two synthetic PBNs and the PBN model constructed directly from gene-expression data of a study on metastatic-melanoma.


title: On the clustering of correlated random variables

abstract: In this work, the possibility of clustering correlated random variables was examined, both because of their mutual similarity and because of their similarity to the principal components. The k-means algorithm and spectral algorithms were used for clustering. For spectral methods, the similarity matrix was both the matrix of relation established on the level of correlation and the matrix of coefficients of determination. For four different sets of data, different ways of measuring the disimilarity of variables were analyzed, and the impact of the diversity of initial points on the efficiency of the k-means algorithm was analyzed.


title: Solution of minimum spanning forest problems with reliability constraints

abstract: We propose the reliability constrained k-rooted minimum spanning forest, a relevant optimization problem whose aim is to find a k-rooted minimum cost forest that connects given customers to a number of supply vertices, in such a way that a minimum required reliability on each path between a customer and a supply vertex is satisfied and the cost is a minimum. The reliability of an edge is the probability that no failure occurs on that edge, whereas the reliability of a path is the product of the reliabilities of the edges in such path. The problem has relevant applications in the design of networks, in fields such as telecommunications, electricity and transports. For its solution, we propose a mixed integer linear programming model, and an adaptive large neighborhood search metaheuristic which invokes several shaking and local search operators. Extensive computational tests prove that the metaheuristic can provide good quality solutions in very short computing times.


title: On the Need for Topology-Aware Generative Models for Manifold-Based Defenses

abstract: Machine-learning (ML) algorithms or models, especially deep neural networks (DNNs), have shown significant promise in several areas. However, researchers have recently demonstrated that ML algorithms, especially DNNs, are vulnerable to adversarial examples (slightly perturbed samples that cause misclassification). The existence of adversarial examples has hindered the deployment of ML algorithms in safety-critical sectors, such as security. Several defenses for adversarial examples exist in the literature. One of the important classes of defenses are manifold-based defenses, where a sample is ``pulled back" into the data manifold before classifying. These defenses rely on the assumption that data lie in a manifold of a lower dimension than the input space. These defenses use a generative model to approximate the input distribution. In this paper, we investigate the following question: do the generative models used in manifold-based defenses need to be topology-aware? We suggest the answer is yes, and we provide theoretical and empirical evidence to support our claim.


title: Vocal wow in an adapted reflex resonance model

abstract: Vocal wow is a slow 0.2 - 3 Hz modulation of the voice that may be distinguished from the 4 - 7 Hz modulation of tremor or vibrato. We use a simple model of laryngeal muscle activation, mediated by time-delayed auditory feedback, to show that wow may arise due to Andronov-Hopf bifurcation. The model demonstrates a differential effect of feedback gain and delay on modulation depth and frequency, respectively. Parametric formulas for recovering feedback parameters from the acoustic signal are presented. Interactions between reflex and auditory parameters are also assessed in a full model that includes a neuromuscular reflex loop. Model predictions are tested in two subjects


title: IRDFF-II: A New Neutron Metrology Library

abstract: High quality nuclear data is the most fundamental underpinning for all neutron metrology applications. This paper describes the release of version II of the International Reactor Dosimetry and Fusion File (IRDFF-II) that contains a consistent set of nuclear data for fission and fusion neutron metrology applications up to 60~MeV neutron energy. The library is intended to support: a) applications in research reactors; b) safety and regulatory applications in the nuclear power generation in commercial fission reactors; and c) material damage studies in support of the research and development of advanced fusion concepts. The paper describes the contents of the library, documents the thorough verification process used in its preparation, and provides an extensive set of validation data gathered from a wide range of neutron benchmark fields. The new \mbox{IRDFF-II} library includes 119 metrology reactions, four cover material reactions to support self-shielding corrections, five metrology metrics used by the dosimetry community, and cumulative fission products yields for seven fission products in three different neutron energy regions. In support of characterizing the measurement of the residual nuclei from the dosimetry reactions and the fission product decay modes, the present document lists the recommended decay data, particle emission energies and probabilities for 68 activation products. It also includes neutron spectral characterization data for 29 neutron benchmark fields for the validation of the library contents. The IRDFF-II library and comprehensive documentation is available online at https://www-nds.iaea.org/IRDFF/. Evaluated cross sections can be compared with experimental data and other evaluations at https://www-nds.iaea.org/exfor/endf.htm. The new library is expected to become the international reference in neutron metrology for multiple applications.


title: Precursor Wave Amplification by Ion-Electron Coupling through Wakefield in Relativistic Shocks

abstract: We investigated electromagnetic precursor wave emission in relativistic shocks by using two-dimensional particle-in-cell simulations. We found that the wave amplitude is significantly enhanced by a positive feedback process associated with ion-electron coupling through the wakefields for high magnetization. The wakefields collapse during the nonlinear process of the parametric decay instability in the near-upstream region, where nonthermal electrons and ions are generated. The intense coherent emission and the particle acceleration may opperate in high-energy astrophysical objects.


title: Extension of the one-dimensional Stoney algorithm to a two-dimensional case

abstract: This article presents the extension of the one-dimensional Stoney algorithm to a two-dimensional case. The proposed extension consists in modifying the method of curvature estimation. The surface profile of the wafer before deposition of the thin film and after its deposition was locally approximated by the quadric. From this quadric, a quadratic form and the first degree surface were separated. An eigenproblem was solved for the matrix of this quadratic form. From eigenvectors a new coordinate system was created in which a new formula of the quadric was found. In this new coordinate system, the two-dimensional problem of estimating the curvature tensor has been solved by solving two independent one-dimensional problems of curvature estimation. Returning to the primary coordinate system, in this primary coordinate system, a solution to the two-dimensional problem was obtained. The article proposed five versions of the two-dimensional Stoney algorithm, with diverse complexity and accuracy. The recommendation for the version of the algorithm that could be practically used was also presented.


title: On the complexity of counting feedback arc sets

abstract: In this note we study the computational complexity of feedback arc set counting problems in directed graphs, highlighting some subtle yet common properties of counting classes. Counting the number of feedback arc sets of cardinality $k$ and the total number of feedback arc sets are #P-complete problems, while counting the number of minimum feedback arc sets is only proven to be #P-hard. Indeed, this latter problem is #.OptP[log n]-complete, hence if it belongs to #P then P=NP.


title: Algebraic structure of countably compact non-torsion Abelian groups of size continuum from selective ultrafilters

abstract: Assuming the existence of $\mathfrak c$ incomparable selective ultrafilters, we classify the non-torsion Abelian groups of cardinality $\mathfrak c$ that admit a countably compact group topology. We show that for each $\kappa \in [\mathfrak c, 2^\mathfrak c]$ each of these groups has a countably compact group topology of weight $\kappa$ without non-trivial convergent sequences and another that has convergent sequences. Assuming the existence of $2^\mathfrak c$ selective ultrafilters, there are at least $2^\mathfrak c$ non homeomorphic such topologies in each case and we also show that every Abelian group of cardinality at most $2^\mathfrak c$ is algebraically countably compact. We also show that it is consistent that every Abelian group of cardinality $\mathfrak c$ that admits a countably compact group topology admits a countably compact group topology without non-trivial convergent sequences whose weight has countable cofinality.


title: Neural Machine Translation with Byte-Level Subwords

abstract: Almost all existing machine translation models are built on top of character-based vocabularies: characters, subwords or words. Rare characters from noisy text or character-rich languages such as Japanese and Chinese however can unnecessarily take up vocabulary slots and limit its compactness. Representing text at the level of bytes and using the 256 byte set as vocabulary is a potential solution to this issue. High computational cost has however prevented it from being widely deployed or used in practice. In this paper, we investigate byte-level subwords, specifically byte-level BPE (BBPE), which is compacter than character vocabulary and has no out-of-vocabulary tokens, but is more efficient than using pure bytes only is. We claim that contextualizing BBPE embeddings is necessary, which can be implemented by a convolutional or recurrent layer. Our experiments show that BBPE has comparable performance to BPE while its size is only 1/8 of that for BPE. In the multilingual setting, BBPE maximizes vocabulary sharing across many languages and achieves better translation quality. Moreover, we show that BBPE enables transferring models between languages with non-overlapping character sets.


title: Unlimited Budget Analysis of Randomised Search Heuristics

abstract: Performance analysis of all kinds of randomised search heuristics is a rapidly growing and developing field. Run time and solution quality are two popular measures of the performance of these algorithms. The focus of this paper is on the solution quality an optimisation heuristic achieves, not on the time it takes to reach this goal, setting it far apart from runtime analysis. We contribute to its further development by introducing a novel analytical framework, called unlimited budget analysis, to derive the expected fitness value after arbitrary computational steps. It has its roots in the very recently introduced approximation error analysis and bears some similarity to fixed budget analysis. We present the framework, apply it to simple mutation-based algorithms, covering both, local and global search. We provide analytical results for a number of pseudo-Boolean functions for unlimited budget analysis and compare them to results derived within the fixed budget framework for the same algorithms and functions. There are also results of experiments to compare bounds obtained in the two different frameworks with the actual observed performance. The study show that unlimited budget analysis may lead to the same or more general estimation beyond fixed budget.


title: Investigating Sports Commentator Bias within a Large Corpus of American Football Broadcasts

abstract: Sports broadcasters inject drama into play-by-play commentary by building team and player narratives through subjective analyses and anecdotes. Prior studies based on small datasets and manual coding show that such theatrics evince commentator bias in sports broadcasts. To examine this phenomenon, we assemble FOOTBALL, which contains 1,455 broadcast transcripts from American football games across six decades that are automatically annotated with 250K player mentions and linked with racial metadata. We identify major confounding factors for researchers examining racial bias in FOOTBALL, and perform a computational analysis that supports conclusions from prior social science studies.


title: Ultra-Sensitive Radio Frequency Biosensor at an Exceptional Point of Degeneracy induced by Time Modulation

abstract: We exploit the premises of exceptional points of degeneracy (EPDs) induced in linear time-periodic (LTP) systems to achieve extremely sensitive biosensors. The EPD is formed in a single LC resonator where the total capacitance is comprised of a time-varying capacitor in parallel to a biosensing capacitor. We use the time-periodic variation of a system parameter (e.g., capacitance) to achieve a second order EPD aiming at improving the sensitivity of liquid based radio frequency biosensors, leading to an intrinsic ultra sensitivity. We show the emergence of EPDs in such a system and the ultra sensitivity of the degenerate resonance frequency to perturbations compared to conventional RF sensors. Moreover, we investigate the capacitance and conductance variations of an interdigitated biosensing capacitor to the changes in the concentration of a biological material under test (MUT), leading to subsequent large changes in the resonance frequency of the LTP-LC resonator. A comparison with a standard LC resonator demonstrates the ultra-high sensitivity of the proposed LTP-LC based biosensor. In addition, we show the scalability of the biosensor sensitivity across different frequency ranges.


title: The sound speed in Yukawa one component plasmas across coupling regimes

abstract: A many-body system of charged particles interacting via a pairwise Yukawa potential, the so-called Yukawa One Component Plasma (YOCP) is a good approximation for a variety of physical systems. Such systems are completely characterized by two parameters; the screening parameter, $\kappa$, and the nominal coupling strength, $\Gamma$. It is well known that the collective spectrum of the YOCP is governed by a longitudinal acoustic mode, both in the weakly and strongly coupled regimes. In the long-wavelength limit the linear term in the dispersion (\textit{i.e.} $\omega = s k$) defines the sound speed $s$. We study the evolution of this latter quantity from the weak through the strong coupling regimes by analyzing the Dynamic Structure Function $S(k,\omega)$ in the low frequency domain. Depending on the values of $\Gamma$ and $\kappa$ and $w = s/v_{\textrm{th}}$, (\textit{i.e.} the ratio between the phase velocity of the wave and thermal speed of the particles) we identify five domains in the $(\kappa,\Gamma)$ parameter space in which the physical behavior of the YOCP exhibits different features. The competing physical processes are the collective Coulomb like vs. binary collision dominated behavior and the individual particle motion vs. quasi-localization. Our principal tool of investigation is Molecular Dynamics (MD) computer simulation from which we obtain $S(k,\omega)$. Recent improvements in the simulation technique have allowed us to obtain a large body of high quality data in the range $\Gamma = \{0.1 - 10,000\}$ and $\kappa = \{0.5 -5\}$. The theoretical results based on various models are compared in order to see which one provides the most cogent physical description and the best agreement with MD data in the different domains.


title: Elastic Remote Methods

abstract: For distributed applications to take full advantage of cloud computing systems, we need middleware systems that allow developers to build elasticity management components right into the applications. This paper describes the design and implementation of ElasticRMI, a middleware system that (1) enables application developers to dynamically change the number of (server) objects available to handle remote method invocations with respect to the application's workload, without requiring major changes to clients (invokers) of remote methods, (2) enables flexible elastic scaling by allowing developers to use a combination of resource utilization metrics and fine-grained application-specific information like the properties of internal data structures to drive scaling decisions, (3) provides a high-level programming framework that handles elasticity at the level of classes and objects, masking low-level platform specific tasks (like provisioning VM images) from the developer, and (4) increases the portability of ElasticRMI applications across different private data centers/IaaS clouds through Apache Mesos.