title: Control-Lyapunov and Control-Barrier Functions based Quadratic Program for Spatio-temporal Specifications

abstract: This paper presents a method for control synthesis under spatio-temporal constraints. First, we consider the problem of reaching a set $S$ in a user-defined or prescribed time $T$. We define a new class of control Lyapunov functions, called prescribed-time control Lyapunov functions (PT CLF), and present sufficient conditions on the existence of a controller for this problem in terms of PT CLF. Then, we formulate a quadratic program (QP) to compute a control input that satisfies these sufficient conditions. Next, we consider control synthesis under spatio-temporal objectives given as: the closed-loop trajectories remain in a given set $S_s$ at all times; and, remain in a specific set $S_i$ during the time interval $[t_i, t_{i+1})$ for $i = 0, 1, \cdots, N$; and, reach the set $S_{i+1}$ on or before $t = t_{i+1}$. We show that such spatio-temporal specifications can be translated into temporal logic formulas. We present sufficient conditions on the existence of a control input in terms of PT CLF and control barrier functions. Then, we present a QP to compute the control input efficiently, and show its feasibility under the assumptions of existence of a PT CLF. To the best of authors' knowledge, this is the first paper proposing a QP based method for the aforementioned problem of satisfying spatio-temporal specifications for nonlinear control-affine dynamics with input constraints. We also discuss the limitations of the proposed methods and directions of future work to overcome these limitations. We present numerical examples to corroborate our proposed methods.


title: Constraints on anomalous HVV couplings from the production of Higgs bosons decaying to $\tau$ lepton pairs

abstract: A study is presented of anomalous HVV interactions of the Higgs boson, including its $CP$ properties. The study uses Higgs boson candidates produced mainly in vector boson fusion and gluon fusion that subsequently decay to a pair of $\tau$ leptons. The data were recorded by the CMS experiment at the LHC in 2016 at a center-of-mass energy of 13 TeV and correspond to an integrated luminosity of 35.9 fb$^{-1}$. A matrix element technique is employed for the analysis of anomalous interactions. The results are combined with those from the H $\to 4\ell$ decay channel presented earlier, yielding the most stringent constraints on anomalous Higgs boson couplings to electroweak vector bosons expressed as effective cross section fractions and phases: the $CP$-violating parameter $f_{a3}\cos(\phi_{a3})$ $=$ $(0.00 \pm 0.27) \times 10^{-3}$ and the $CP$-conserving parameters $f_{a2}\cos(\phi_{a2})$ $=$ $(0.08 ^{+1.04}_{-0.21}) \times 10^{-3}$, $f_{\Lambda1}\cos(\phi_{\Lambda1})$ $=$ $(0.00 ^{+0.53}_{-0.09}) \times 10^{-3}$, and $f_{\Lambda1}^{\mathrm{Z}\gamma}\cos(\phi_{\Lambda1}^{\mathrm{Z}\gamma})$ $=$ $(0.0 ^{+1.1}_{-1.3}) \times 10^{-3}$. The current dataset does not allow for precise constraints on $CP$ properties in the gluon fusion process. The results are consistent with standard model expectations.


title: Prescribed-time convergence with input constraints: A control Lyapunov function based approach

abstract: In this paper, we present a control framework for a general class of control-affine nonlinear systems under spatiotemporal and input constraints. Specifically, the proposed control architecture addresses the problem of reaching a given final set $S$ in a prescribed (user-defined) time with bounded control inputs. To this end, a time transformation technique is utilized to transform the system subject to temporal constraints into an equivalent form without temporal constraints. The transformation is defined so that asymptotic convergence in the transformed time scale results into prescribed-time convergence in the original time scale. To incorporate input constraints, we characterize a set of initial conditions $D_M$ such that starting from this set, the closed-loop trajectories reach the set $S$ within the prescribed time. We further show that starting from outside the set $D_M$, the system trajectories reach the set $D_M$ in a finite time that depends upon the initial conditions and the control input bounds. We use a novel parameter $\mu$ in the controller, that controls the convergence-rate of the closed-loop trajectories and dictates the size of the set $D_M$. Finally, we present a numerical example to showcase the efficacy of our proposed method.


title: A note on a sheaf of real regular functions

abstract: Coste and Roy in 1979 defined a structural sheaf on the real Zariski spectrum of a semi-real ring $A$ and asked whether the ring of the global sections is $\sum^{-1}_1 A$ where $\sum_1$ is the multiplicative subset $\{1+\sum_{i=1}^n a_i^2|a_i\in A, n\in N\}$ of $A$. We give a positive answer to this question for real rings and integral domains.


title: Transfer operators, atomic decomposition and the Bestiary

abstract: Arbieto and S. recently used atomic decomposition to study transfer operators. We give a long list of old and new expanding dynamical systems for which those results can be applied, obtaining the quasi-compactness of transfer operator acting on Besov spaces of measure spaces with a good grid.


title: Shrinking targets and eventually always hitting points for interval maps

abstract: We study shrinking target problems and the set $\mathcal{E}_{\text{ah}}$ of eventually always hitting points. These are the points whose first $n$ iterates will never have empty intersection with the $n$-th target for sufficiently large $n$. We derive necessary and sufficient conditions on the shrinking rate of the targets for $\mathcal{E}_{\text{ah}}$ to be of full or zero measure especially for some interval maps including the doubling map, some quadratic maps and the Manneville-Pomeau map. We also obtain results for the Gauss map and correspondingly for the maximal digits in continued fractions expansions. In the case of the doubling map we also compute the packing dimension of $\mathcal{E}_{\text{ah}}$ complementing already known results on the Hausdorff dimension of $\mathcal{E}_{\text{ah}}$.


title: Index of a singular point of a vector field or of a 1-form on an orbifold

abstract: Indices of singular points of a vector field or of a 1-form on a smooth manifold are closely related with the Euler characteristic through the classical Poincar\'e--Hopf theorem. Generalized Euler characteristics (additive topological invariants of spaces with some additional structures) are sometimes related with corresponding analogues of indices of singular points. Earlier there was defined a notion of the universal Euler characteristic of an orbifold. It takes values in a ring R, as an abelian group freely generated by the generators, corresponding to the isomorphism classes of finite groups. Here we define the universal index of an isolated singular point of a vector field or of a 1-form on an orbifold as an element of the ring R. For this index, an analogue of the Poincar\'e-Hopf theorem holds.


title: A Principal-Agent Model of Systems Engineering Processes with Application to Satellite Design

abstract: We present a principal-agent model of a one-shot, shallow, systems engineering process. The process is one-shot in the sense that decisions are made during one time step and that they are final. The term shallow refers to a one-layer hierarchy of the process. Specifically, we assume that the systems engineer has already decomposed the problem in subsystems, and that each subsystem is assigned to a different subsystem engineer. Each subsystem engineer works independently to maximize their own expected payoff. The goal of the systems engineer is to maximize the system-level payoff by incentivizing the subsystem engineers. We restrict our attention to requirement-based system-level payoffs, i.e., the systems engineer makes a profit only if all the design requirements are met. We illustrate the model using the design of an Earth-orbiting satellite system where the systems engineer determines the optimum incentive structures and requirements for two subsystems: the propulsion subsystem and the power subsystem. The model enables the analysis of a systems engineer's decisions about optimal passed-down requirements and incentives for sub-system engineers under different levels of task difficulty and associated costs. Sample results, for the case of risk-neutral systems and subsystems engineers, show that it is not always in the best interest of the systems engineer to pass down the true requirements. As expected, the model predicts that for small to moderate task uncertainties the optimal requirements are higher than the true ones, effectively eliminating the probability of failure for the systems engineer. In contrast, the model predicts that for large task uncertainties the optimal requirements should be smaller than the true ones in order to lure the subsystem engineers into participation.


title: Deciding with Judgment

abstract: A decision maker starts from a judgmental decision and moves to the closest boundary of the confidence interval. This statistical decision rule is admissible and does not perform worse than the judgmental decision with a probability equal to the confidence level, which is interpreted as a coefficient of statistical risk aversion. The confidence level is related to the decision maker's aversion to uncertainty and can be elicited with laboratory experiments using urns a la Ellsberg. The decision rule is applied to a problem of asset allocation for an investor whose judgmental decision is to keep all her wealth in cash.


title: Token Swapping on Trees

abstract: The input to the token swapping problem is a graph with vertices $v_1, v_2, \ldots, v_n$, and $n$ tokens with labels $1, 2, \ldots, n$, one on each vertex. The goal is to get token $i$ to vertex $v_i$ for all $i= 1, \ldots, n$ using a minimum number of swaps, where a swap exchanges the tokens on the endpoints of an edge. We present some results about token swapping on a tree, also known as "sorting with a transposition tree": 1. An optimum swap sequence may need to perform a swap on a leaf vertex that has the correct token (a "happy leaf"), disproving a conjecture of Vaughan. 2. Any algorithm that fixes happy leaves -- as all known approximation algorithms for the problem do -- has approximation factor at least $4/3$. Furthermore, the two best-known 2-approximation algorithms have approximation factor exactly 2. 3. A generalized problem -- weighted coloured token swapping -- is NP-complete on trees, even when they are restricted to be subdivided stars, but solvable in polynomial time on paths and stars. In this version, tokens and vertices have colours, and colours have weights. The goal is to get every token to a vertex of the same colour, and the cost of a swap is the sum of the weights of the two tokens involved.


title: Enriched Sets and Higher Categories

abstract: We introduce the notion of an enriched set, as an abstraction of enriched categories, and a category of enriched sets. The set of enriched sets is itself described as a set enriched over the category of enriched sets. We introduce a method for the construction of sets enriched over the set of enriched sets from a given enriched set with some addition data, and for "functors" from such enriched sets as should thereby arise to the enriched set of enriched sets.


title: Computing the intersection of two quadrics through projection and lifting

abstract: This paper is devoted to presenting a new approach to determine the intersection of two quadrics based on the detailed analysis of its projection in the plane (the so called cutcurve) allowing to perform the corresponding lifting correctly. This approach is based on a new computational characterisation of the singular points of the cutcurve and on how this curve is located with respect to the projection of the considered quadrics (whose boundaries are the so called silhouette curves).


title: Nonparametric estimation for linear SPDEs from local measurements

abstract: The coefficient function of the leading differential operator is estimated from observations of a linear stochastic partial differential equation (SPDE). The estimation is based on continuous time observations which are localised in space. For the asymptotic regime with fixed time horizon and with the spatial resolution of the observations tending to zero, we provide rate-optimal estimators and establish scaling limits of the deterministic PDE and of the SPDE on growing domains. The estimators are robust to lower order perturbations of the underlying differential operator and achieve the parametric rate even in the nonparametric setup with a spatially varying coefficient. A numerical example illustrates the main results.


title: Distributed Multi-sensor Multi-view Fusion based on Generalized Covariance Intersection

abstract: Distributed multi-target tracking (DMTT) is addressed for sensors having different fields of view (FoVs). The proposed approach is based on the idea of fusing the posterior Probability Hypotheses Densities (PHDs) generated by the sensors on the basis of the local measurements. An efficient and robust distributed fusion algorithm combining the Generalized Covariance Intersection (GCI) rule with a suitable Clustering Algorithm (CA) is proposed. The CA is used to decompose each posterior PHD into well-separated components (clusters). For the commonly detected targets, an efficient parallelized GCI fusion strategy is proposed and analyzed in terms of $L_1$ error. For the remaining targets, a suitable compensation strategy is adopted so as to counteract the GCI sensitivity to independent detections while reducing the occurrence of false targets. Detailed implementation steps using a Gaussian Mixture (GM) representation of the PHDs are provided. Numerical experiments clearly confirms the effectiveness of the proposed CA-GCI fusion algorithm.


title: Disconnected Loop Subtraction Methods in Lattice QCD

abstract: Lattice QCD calculations of disconnected quark loop operators are extremely computer time-consuming to evaluate. To compute these diagrams using lattice techniques, one generally uses stochastic noise methods. These employ a randomly generated set of noise vectors to project out physical signals. In order to strengthen the signal in these calculations, various noise subtraction techniques may be employed. In addition to the standard method of perturbative subtraction, one may also employ matrix deflation techniques using the GMRES-DR and MINRES-DR algorithms as well as polynomial subtraction techniques to reduce statistical uncertainty. Our matrix deflation methods play two roles: they both speed up the solution of the linear equations as well as decrease numerical noise. We show how to combine deflation with either perturbative and polynomial methods to produce extremely powerful noise suppression algorithms. We use a variety of lattices to study the effects. In order to set a benchmark, we first use the Wilson matrix in the quenched approximation. We see strong low eigenmode dominance at kappa critical ($\kappa_{crit}$) in the variance of the vector and scalar operators. We also use MILC dynamic lattices, where we observe deflation subtraction results consistent with the effectiveness seen in the quenched data.


title: Steady states and dynamics of a thin film-type equation with non-conserved mass

abstract: We study the steady states and dynamics of a thin film-type equation with non-conserved mass in one dimension. The evolution equation is a nonlinear fourth-order degenerate parabolic PDE motivated by a model of volatile viscous fluid films allowing for condensation or evaporation. We show that by changing the sign of the non-conserved flux and breaking from a gradient flow structure, the problem can exhibit novel behaviors including having two distinct classes of coexisting steady state solutions. Detailed analysis of the bifurcation structure for these steady states and their stability reveal several possibilities for the dynamics. For some parameter regimes, solutions can lead to finite-time rupture singularities. Interestingly, we also show that a finite amplitude limit cycle can occur as a singular perturbation in the nearly-conserved limit.


title: An example of application of optimal sample allocation in a finite population

abstract: The problem of estimating a proportion of objects with particular attribute in a finite population is considered. This paper shows an example of the application of estimation fraction using new proposed sample allocation in a population divided into two strata. Variance of estimator of proportion which uses proposed sample allocation is compared to variance of the standard one.


title: A Catalog of Redshift Estimates for 1366 BATSE Long-Duration Gamma-Ray Bursts: Evidence for Strong Selection Effects on the Phenomenological Prompt Gamma-Ray Correlations

abstract: We present a catalog of the redshift estimates and probability distributions for 1366 individual Long-duration Gamma-Ray Bursts (LGRBs) detected by the Burst And Transient Source Experiment (BATSE). This result is based on a careful classification and modeling of the population distribution of BATSE LGRBs in the 5-dimensional space of redshift as well as intrinsic prompt gamma-ray emission properties: peak luminosity, total isotropic emission, the spectral peak energy, and the intrinsic duration, while taking into account the detection mechanism of BATSE and sample incompleteness. The underlying assumption in our modeling approach is that LGRBs trace the Cosmic Star Formation Rate and that the joint 4-dimensional distribution of the aforementioned prompt gamma-ray emission properties follows a multivariate log-normal distribution. Our modeling approach enables us to constrain the redshifts of BATSE LGRBs to average uncertainty ranges of $0.7$ and $1.7$ at $50\%$ and $90\%$ confidence levels, respectively. Our predictions are almost entirely at odds with the previous estimates of BATSE redshifts based on the phenomenological high-energy correlations, in particular with the estimates derived from the lag-luminosity and the variability-luminosity relations. There is, however, a weak but significant correlation of strength $\sim0.26$ between our predicted redshift estimates and those derived from the hardness-brightness relations. The discrepancies between the estimates can be explained by the strong influence of sample incompleteness in shaping the phenomenologically proposed high-energy correlations in the literature. The presented catalog here can be useful for demographic studies of LGRBs and studies of individual BATSE events.


title: Diagonal finite volume matrix elements in the sinh-Gordon model

abstract: Using the fermionic basis we conjecture exact expressions for diagonal finite volume matrix elements of exponential operators and their descendants in the sinh-Gordon theory. Our expressions sum up the LeClair-Mussardo type infinite series generalized by Pozsgay for excited state expectation values. We checked our formulae against the Liouville three-point functions for small, while against Pozsgay's expansion for large volumes and found complete agreement.


title: The Language of Betting as a Strategy for Statistical and Scientific Communication

abstract: The established language for statistical testing --- significance levels, power, and p-values --- is overly complicated and deceptively conclusive. Even teachers of statistics and scientists who use statistics misinterpret the results of statistical tests, tending to misstate their meaning and exaggerate their certainty. We can communicate the meaning and limitations of statistical evidence more clearly using the language of betting. This paper calls attention to a simple betting interpretation of likelihood ratios. This interpretation leads to methods that lend themselves to meta-analysis and accounting for multiple testing. It is closely related to the interpretation of probability as frequency, but it does not encourage the fallacy that probabilistic models imply the existence of unseen alternative worlds. For more on the betting interpretation of probability, see \cite{Shafer/Vovk:2019} and the other working papers at www.probabilityandfinance.com.


title: Recent Results from the CERN LHC Experiment TOTEM -- Implications for Odderon Exchange

abstract: Recent results are summarized from the TOTEM experiment at CERN LHC, including measurements of the total, elastic and inelastic cross-sections, the nuclear slope parameter $B$, the differential cross-section of elastic scattering and the real to imaginary part ration $\rho$ at $\sqrt{s} = $ 2.76 and 13 TeV. The implications of these data for Odderon (odd-gluon colorless) exchange are discussed.


title: Learning to find order in disorder

abstract: We introduce the use of neural networks as classifiers on classical disordered systems with no spatial ordering. In this study, we implement a convolutional neural network trained to identify the spin-glass state in the three-dimensional Edwards-Anderson Ising spin-glass model from an input of Monte Carlo sampled configurations at a given temperature. The neural network is designed to be flexible with the input size and can accurately perform inference over a small sample of the instances in the test set. Using the neural network to classify instances of the three-dimensional Edwards-Anderson Ising spin-glass in a (random) field we show that the inferred phase boundary is consistent with the absence of an Almeida-Thouless line.


title: Visual Query Answering by Entity-Attribute Graph Matching and Reasoning

abstract: Visual Query Answering (VQA) is of great significance in offering people convenience: one can raise a question for details of objects, or high-level understanding about the scene, over an image. This paper proposes a novel method to address the VQA problem. In contrast to prior works, our method that targets single scene VQA, replies on graph-based techniques and involves reasoning. In a nutshell, our approach is centered on three graphs. The first graph, referred to as inference graph GI , is constructed via learning over labeled data. The other two graphs, referred to as query graph Q and entity-attribute graph GEA, are generated from natural language query Qnl and image Img, that are issued from users, respectively. As GEA often does not take sufficient information to answer Q, we develop techniques to infer missing information of GEA with GI . Based on GEA and Q, we provide techniques to find matches of Q in GEA, as the answer of Qnl in Img. Unlike commonly used VQA methods that are based on end-to-end neural networks, our graph-based method shows well-designed reasoning capability, and thus is highly interpretable. We also create a dataset on soccer match (Soccer-VQA) with rich annotations. The experimental results show that our approach outperforms the state-of-the-art method and has high potential for future investigation.


title: Design and performance of a TDC ASIC for the upgrade of the ATLAS Monitored Drift Tube detector

abstract: We present the prototype of a time-to-digital (TDC) ASIC for the upgrade of the ATLAS Monitored Drift Tube (MDT) detector for high-luminosity LHC operation. This ASIC is based on a previously submitted demonstrator ASIC designed for timing performance evaluation, and includes all features necessary for the various operation modes, as well as the migration to the TSMC 130 nm CMOS technology. We present the TDC design with the emphasis on added features and performance optimization. Tests of the timing performance demonstrate that this ASIC meets the design specifications. The TDC has a bin size of about 780 ps, and a timing bin variations within 40 ps for all 24 channels with leading and trailing edge digitization, while the power consumption has been limited to 250 mW, corresponding to a consumption of about 5.2 mW per edge measurement.


title: SLSGD: Secure and Efficient Distributed On-device Machine Learning

abstract: We consider distributed on-device learning with limited communication and security requirements. We propose a new robust distributed optimization algorithm with efficient communication and attack tolerance. The proposed algorithm has provable convergence and robustness under non-IID settings. Empirical results show that the proposed algorithm stabilizes the convergence and tolerates data poisoning on a small number of workers.


title: Extensions of Abelian Automata Groups

abstract: A theorem of Nekrashevych and Sidki shows the Mealy Automata structures one can place on Z^m are parametrized by a family of matrices (called "1/2-integral") and a choice of residuation vector e in Z^m. While the impact of the chosen matrix is well understood, the impact of the residuation vector on the resulting structure is seemingly sporadic. In this paper we characterize the impact of the residuation vector e by recognizing an initial structure when e is the first standard basis vector. All other choices of e extend this initial structure by adding "fractional elements" in a way we make precise.


title: An all-loop result for the strong magnetic field limit of the Heisenberg-Euler effective Lagrangian

abstract: We provide an explicit expression for the strong magnetic field limit of the Heisenberg-Euler effective Lagrangian for both scalar and spinor quantum electrodynamics. To this end, we show that the strong magnetic field behavior is fully determined by one-particle reducible contributions discovered only recently. The latter can efficiently be constructed in an essentially algebraic procedure from lower-order one-particle reducible diagrams. Remarkably, the leading strong magnetic field behavior of the all-loop Heisenberg-Euler effective Lagrangian only requires input from the one-loop Lagrangian. Our result revises previous findings based exclusively on one-particle irreducible contributions. In addition we briefly discuss the strong electric field limit and comment on external field QED in the large $N$ limit.


title: GFD-SSD: Gated Fusion Double SSD for Multispectral Pedestrian Detection

abstract: Pedestrian detection is an essential task in autonomous driving research. In addition to typical color images, thermal images benefit the detection in dark environments. Hence, it is worthwhile to explore an integrated approach to take advantage of both color and thermal images simultaneously. In this paper, we propose a novel approach to fuse color and thermal sensors using deep neural networks (DNN). Current state-of-the-art DNN object detectors vary from two-stage to one-stage mechanisms. Two-stage detectors, like Faster-RCNN, achieve higher accuracy, while one-stage detectors such as Single Shot Detector (SSD) demonstrate faster performance. To balance the trade-off, especially in the consideration of autonomous driving applications, we investigate a fusion strategy to combine two SSDs on color and thermal inputs. Traditional fusion methods stack selected features from each channel and adjust their weights. In this paper, we propose two variations of novel Gated Fusion Units (GFU), that learn the combination of feature maps generated by the two SSD middle layers. Leveraging GFUs for the entire feature pyramid structure, we propose several mixed versions of both stack fusion and gated fusion. Experiments are conducted on the KAIST multispectral pedestrian detection dataset. Our Gated Fusion Double SSD (GFD-SSD) outperforms the stacked fusion and achieves the lowest miss rate in the benchmark, at an inference speed that is two times faster than Faster-RCNN based fusion networks.


title: Completing the Hydrogen Census in the Circumgalactic Medium at z~0

abstract: Over the past decade, Lyman-alpha and metal line absorption observations have established the ubiquity of a gas-rich circumgalactic medium (CGM) around star-forming galaxies at z~0.2 potentially tracing half of the missing baryonic mass within galaxy halos. Unfortunately, these observations only provide a statistical measure of the gas in the CGM and do not constrain the spatial distribution and kinematics of the gas. Furthermore, we have limited sensitivity to Lyman-alpha at z~0 with existing instruments. As such, we remain ignorant of how this gas may flow from the CGM onto the disks of galaxies where it can fuel ongoing star-formation in the present day. Fortunately, 21-cm HI observations with radio telescopes can map HI emission providing both spatial and kinematic information for the CGM in galaxies at z=0. Observations with phased array feeds, radio cameras, on single-dish telescopes yield unmatched surface brightness sensitivity and survey speed. These observations can complete the census of HI in the CGM below N(HI)<10^17 cm^-2 and constrain how gas accretion is proceeding in the local universe, particularly when used in concert with UV absorption line data.


title: Effect of Serialized Messaging on Web Services Performance

abstract: Serialized messages are processed at the server and sent as objects over the network to the client to be consumed.


title: Characterization of Hydrogen Plasma Defined Graphene Edges

abstract: We investigate the quality of hydrogen plasma defined graphene edges by Raman spectroscopy, atomic resolution AFM and low temperature electronic transport measurements. The exposure of graphite samples to a remote hydrogen plasma leads to the formation of hexagonal shaped etch pits, reflecting the anisotropy of the etch. Atomic resolution AFM reveals that the sides of these hexagons are oriented along the zigzag direction of the graphite crystal lattice and the absence of the D-peak in the Raman spectrum indicates that the edges are high quality zigzag edges. In a second step of the experiment, we investigate hexagon edges created in single layer graphene on hexagonal boron nitride and find a substantial D-peak intensity. Polarization dependent Raman measurements reveal that hydrogen plasma defined edges consist of a mixture of zigzag and armchair segments. Furthermore, electronic transport measurements were performed on hydrogen plasma defined graphene nanoribbons which indicate a high quality of the bulk but a relatively low edge quality, in agreement with the Raman data. These findings are supported by tight-binding transport simulations. Hence, further optimization of the hydrogen plasma etching technique is required to obtain pure crystalline graphene edges.


title: Task Decomposition for Iterative Learning Model Predictive Control

abstract: A task decomposition method for iterative learning model predictive control is presented. We consider a constrained nonlinear dynamical system and assume the availability of state-input pair datasets which solve a task T1. Our objective is to find a feasible model predictive control policy for a second task, T2, using stored data from T1. Our approach applies to tasks T2 which are composed of subtasks contained in T1. In this paper we propose a formal definition of subtasks and the task decomposition problem, and provide proofs of feasibility and iteration cost improvement over simple initializations. We demonstrate the effectiveness of the proposed method on autonomous racing and robotic manipulation experiments.


title: Network topology design to influence the effects of manipulative behaviors in a social choice procedure

abstract: A social choice procedure is modeled as a repeated Nash game between the social agents, who are communicating with each other through a social communication network modeled by an undirected graph. The agents' criteria for this game are describing a trade off between self-consistent and manipulative behaviors. Their best response strategies are resulting in two dynamics rules, one for the agents' opinions and one for their actions. The stability properties of these dynamics are studied. In the case of instability, the stabilization of these dynamics through the design of the network topology is formulated as a constrained integer programming problem. The constraints have the form of a Bilinear Matrix Inequality (BMI), which is known to result in a nonconvex feasible set in the general case. To deal with this problem a Genetic Algorithm is designed. Finally, simulations are presented for several different initial topologies and conclusions are derived concerning both the functionality of the algorithm and the advisability of the problem formulation.


title: The Destruction of the Axiom of Determinacy by Forcings on $\mathbb{R}$ when $\Theta$ is Regular

abstract: $\mathsf{ZF + AD}$ proves that for all nontrivial forcings $\mathbb{P}$ on a wellorderable set of cardinality less than $\Theta$, $1_{\mathbb{P}} \Vdash_{\mathbb{P}} \neg\mathsf{AD}$. $\mathsf{ZF + AD} + \Theta$ is regular proves that for all nontrivial forcing $\mathbb{P}$ which is a surjective image of $\mathbb{R}$, $1_{\mathbb{P}} \Vdash_{\mathbb{P}} \neg\mathsf{AD}$. In particular, $\mathsf{ZF + AD + V = L(\mathbb{R})}$ proves that for every nontrivial forcing $\mathbb{P} \in L_\Theta(\mathbb{R})$, $1_{\mathbb{P}} \Vdash_{\mathbb{P}} \neg\mathsf{AD}$.


title: Change Point Detection in the Mean of High-Dimensional Time Series Data under Dependence

abstract: High-dimensional time series are characterized by a large number of measurements and complex dependence, and often involve abrupt change points. We propose a new procedure to detect change points in the mean of high-dimensional time series data. The proposed procedure incorporates spatial and temporal dependence of data and is able to test and estimate the change point occurred on the boundary of time series. We study its asymptotic properties under mild conditions. Simulation studies demonstrate its robust performance through the comparison with other existing methods. Our procedure is applied to an fMRI dataset.


title: A quantum cellular automaton for one-dimensional QED

abstract: We propose a discrete spacetime formulation of quantum electrodynamics in one-dimension (a.k.a the Schwinger model) in terms of quantum cellular automata, i.e. translationally invariant circuits of local quantum gates. These have exact gauge covariance and a maximum speed of information propagation. In this picture, the interacting quantum field theory is defined as a "convergent" sequence of quantum cellular automata, parameterized by the spacetime lattice spacing---encompassing the notions of continuum limit and renormalization, and at the same time providing a quantum simulation algorithm for the dynamics.

categories: quant-ph cond-mat.other cs.DM hep-lat math-ph math.MP


title: Leveling the Playing Field -- Fairness in AI Versus Human Game Benchmarks

abstract: From the beginning if the history of AI, there has been interest in games as a platform of research. As the field developed, human-level competence in complex games became a target researchers worked to reach. Only relatively recently has this target been finally met for traditional tabletop games such as Backgammon, Chess and Go. Current research focus has shifted to electronic games, which provide unique challenges. As is often the case with AI research, these results are liable to be exaggerated or misrepresented by either authors or third parties. The extent to which these games benchmark consist of fair competition between human and AI is also a matter of debate. In this work, we review the statements made by authors and third parties in the general media and academic circle about these game benchmark results and discuss factors that can impact the perception of fairness in the contest between humans and machines


title: Multi-Authority Attribute-Based Access Control with Smart Contract

abstract: Attribute-based access control makes access control decisions based on the assigned attributes of subjects and the access policies to protect objects by mediating operations from the subjects. Authority, which validates attributes of subjects, is one key component to facilitate attribute-based access control. In an increasingly decentralized society, multiple attributes possessed by subjects may need to be validated by multiple different authorities. This paper proposes a multi-authority attribute-based access control scheme by using Ethereum's smart contracts. In the proposed scheme, Ethereum smart contracts are created to define the interactions between data owner, data user, and multiple attribute authorities. A data user presents its attributes to different attribute authorities, and after successful validation of attributes, obtains attribute tokens from respective attribute authorities. After collecting enough attribute tokens, a smart contract will be executed to issue secret key to the data user to access the requested object. The smart contracts for multi-authority attribute-based access control have been prototyped in Solidity, and their performance has been evaluated on the Rinkeby Ethereum Testnet.


title: On line bundles in derived algebraic geometry

abstract: We give examples of derived schemes $X$ and a line bundle $\Ls$ on the truncation $tX$ so that $\Ls$ does not extend to the original derived scheme $X$. In other words the pullback map $\Pic(X) \to \Pic(tX)$ is not surjective. Our examples have the further property that, while their truncations are projective hypersurfaces, they fail to have any nontrivial line bundles, and hence they are not quasi-projective.


title: Deep Features for Tissue-Fold Detection in Histopathology Images

abstract: Whole slide imaging (WSI) refers to the digitization of a tissue specimen which enables pathologists to explore high-resolution images on a monitor rather than through a microscope. The formation of tissue folds occur during tissue processing. Their presence may not only cause out-of-focus digitization but can also negatively affect the diagnosis in some cases. In this paper, we have compared five pre-trained convolutional neural networks (CNNs) of different depths as feature extractors to characterize tissue folds. We have also explored common classifiers to discriminate folded tissue against the normal tissue in hematoxylin and eosin (H\&E) stained biopsy samples. In our experiments, we manually select the folded area in roughly 2.5mm $\times$ 2.5mm patches at $20$x magnification level as the training data. The ``DenseNet'' with 201 layers alongside an SVM classifier outperformed all other configurations. Based on the leave-one-out validation strategy, we achieved $96.3\%$ accuracy, whereas with augmentation the accuracy increased to $97.2\%$. We have tested the generalization of our method with five unseen WSIs from the NIH (National Cancer Institute) dataset. The accuracy for patch-wise detection was $81\%$. One folded patch within an image suffices to flag the entire specimen for visual inspection.


title: Sobolev spaces and trace theorem on the Sierpinski gasket

abstract: On the Sierpinski gasket $\mathcal{SG}$, we consider Sobolev spaces $L^2_\sigma(\mathcal{SG})$ associated with the standard Laplacian $\Delta$ with order $\sigma\geq 0$. When $\sigma\in\mathbb{Z}^+$, $L^2_\sigma(\mathcal{SG})$ consists of functions equipped with $L^2$ norms of the function itself and its Laplacians up to $\sigma$ order; when $\sigma\notin \mathbb{Z}^+$, we fill up the gaps between integer orders by using complex interpolation. Let $L^2_{\sigma, D}(\mathcal{SG})=(I-\Delta_D)^{-\sigma}L^2(\mathcal{SG})$ where $\Delta_D$ is the Dirichlet Laplacian associated with $\Delta$. Let $\{p_n\}_{n\geq 0}$ be a collection of countably many points located along one of the symmetrical axes of $\mathcal{SG}$. We make a full characterization of the trace spaces of $L^2_\sigma(\mathcal{SG})$ and $L^2_{\sigma,D}(\mathcal{SG})$ to $\{p_n\}_{n\geq 0}$. Using this, we get a full description of the relationship between $L^2_\sigma(\mathcal{SG})$ and $L^2_{\sigma,D}(\mathcal{SG})$ for $\sigma\geq 0$. The result indicates that when $\sigma-\frac{\log 3}{2\log5}\in \mathbb{Z}^+$, $L^2_{\sigma, D}(\mathcal{SG})$ is not closed in $L^2_{\sigma}(\mathcal{SG})$ and has an infinite codimension. Otherwise, $L^2_{\sigma, D}(\mathcal{SG})$ is closed in $L^2_{\sigma}(\mathcal{SG})$ with a finite codimension. Similar result holds for the Neumann case. Another consequence of the trace result is that the Sobolev spaces $L^2_\sigma(\mathcal{SG})$ are stable under complex interpolation for $\sigma\geq 0$ although they are defined by piecewise interpolation between integer orders.


title: Patch Clustering for Representation of Histopathology Images

abstract: Whole Slide Imaging (WSI) has become an important topic during the last decade. Even though significant progress in both medical image processing and computational resources has been achieved, there are still problems in WSI that need to be solved. A major challenge is the scan size. The dimensions of digitized tissue samples may exceed 100,000 by 100,000 pixels causing memory and efficiency obstacles for real-time processing. The main contribution of this work is representing a WSI by selecting a small number of patches for algorithmic processing (e.g., indexing and search). As a result, we reduced the search time and storage by various factors between ($50\% - 90\%$), while losing only a few percentages in the patch retrieval accuracy. A self-organizing map (SOM) has been applied on local binary patterns (LBP) and deep features of the KimiaPath24 dataset in order to cluster patches that share the same characteristics. We used a Gaussian mixture model (GMM) to represent each class with a rather small ($10\%-50\%$) portion of patches. The results showed that LBP features can outperform deep features. By selecting only $50\%$ of all patches after SOM clustering and GMM patch selection, we received $65\%$ accuracy for retrieval of the best match, while the maximum accuracy (using all patches) was $69\%$.


title: The $P=W$ identity for cluster varieties

abstract: We find new examples of the $P=W$ identity of de Cataldo-Hausel-Migliorini by studying cluster varieties. We prove that the weight filtration of 2D cluster varieties correspond to the perverse filtration of elliptic fibrations which are deformation equivalent to the elliptic fibrations of types $I_b$ or $2I_b$. These examples do not arise from character varieties or moduli of Higgs bundles.


title: BRTSim, a general-purpose computational solver for hydrological, biogeochemical, and ecosystem dynamics

abstract: This paper introduces the recent release v3.1a of BRTSim (BioReactive Transport Simulator), a general-purpose multiphase and multi-species liquid, gas and heat flow solver for reaction-advection-dispersion processes in porous and non-porous media with application in hydrology and biogeochemistry. Within the philosophy of the BRTSim platform, the user can define (1) arbitrary chemical and biological species; (2) arbitrary chemical and biological reactions; (3) arbitrary equilibrium reactions; and (4) combine solvers for phases and heat flows as well as for specialized biological processes such as bioclogging and chemotaxis. These capabilities complement a suite of processes and process-feedback solvers not currently available in other general-purpose codes. Along with the flexibility to design arbitrarily complex reaction networks, and setup and synchronize solvers through one input text file, BRTSim can communicate with third-party software with ease. Here, four cases study that combine experimental observations and modeling with BRTSim are reported: (i) water table dynamics in a heterogeneous aquifer for variable hydrometeorological conditions; (ii) soil biological clogging by cells and exopolymers; (iii) biotic degradation and isotopic fractionation of nitrate; and (iv) dispersion and biodegradation of atrazine herbicide in agricultural crops.


title: Well-posedness and blowup of the geophysical boundary layer problem

abstract: Under the assumption that the initial velocity and outflow velocity are analytic in the horizontal variable, the local well-posedness of the geophysical boundary layer problem is obtained by using energy method in the weighted Chemin-Lerner spaces. Moreover, when the initial velocity and outflow velocity satisfy certain condition on a transversal plane, it is proved that the $W^{1,\infty}-$norm of any smooth solution decaying exponentially in the normal variable to the geophysical boundary layer problem blows up in a finite time.


title: Blowup of solutions to the thermal boundary layer problem in two-dimensional incompressible heat conducting flow

abstract: In this paper, we study the formation of finite time singularities for the solution of the boundary layer equations in the two-dimensional incompressible heat conducting flow. We obtain that the first spacial derivative of the solution blows up in a finite time for the thermal boundary layer problem, for a kind of data which are analytic in the tangential variable but do not satisfy the Oleinik monotonicity condition, by constructing a Lyapunov functional. Moreover, it is observed that the buoyancy coming from the temperature difference in the flow may destabilize the thermal boundary layer.


title: Surface-state Coulomb repulsion accelerates a metal-insulator transition in topological semimetal nanofilms

abstract: The emergence of quantization at the nanoscale, the quantum size effect (QSE), allows flexible control of matter and is a rich source of advanced functionalities. A QSE-induced transition into an insulating phase in semimetallic nanofilms was predicted for bismuth a half-century ago and has regained new interest with regard to its surface states exhibiting nontrivial electronic topology. Here, we reveal an unexpected mechanism of the transition by high-resolution angle-resolved photoelectron spectroscopy combined with theoretical calculations. Anomalous evolution and degeneracy of quantized energy levels indicate that increased Coulomb repulsion from the surface states deforms a quantum confinement potential with decreasing thickness. The potential deformation drastically modulates spatial distributions of quantized wave functions, which leads to acceleration of the transition even beyond the original QSE picture. This discovery establishes a complete picture of the long-discussed problem in bismuth and highlights the new class of size effects dominating nanoscale transport in systems with metallic surface states.


title: Circumscribing Polygons and Polygonizations for Disjoint Line Segments

abstract: Given a planar straight-line graph $G=(V,E)$ in $\mathbb{R}^2$, a \emph{circumscribing polygon} of $G$ is a simple polygon $P$ whose vertex set is $V$, and every edge in $E$ is either an edge or an internal diagonal of $P$. A circumscribing polygon is a \emph{polygonization} for $G$ if every edge in $E$ is an edge of $P$. We prove that every arrangement of $n$ disjoint line segments in the plane has a subset of size $\Omega(\sqrt{n})$ that admits a circumscribing polygon, which is the first improvement on this bound in 20 years. We explore relations between circumscribing polygons and other problems in combinatorial geometry, and generalizations to $\mathbb{R}^3$. We show that it is NP-complete to decide whether a given graph $G$ admits a circumscribing polygon, even if $G$ is 2-regular. Settling a 30-year old conjecture by Rappaport, we also show that it is NP-complete to determine whether a geometric matching admits a polygonization.


title: Zeno++: Robust Fully Asynchronous SGD

abstract: We propose Zeno++, a new robust asynchronous Stochastic Gradient Descent~(SGD) procedure which tolerates Byzantine failures of the workers. In contrast to previous work, Zeno++ removes some unrealistic restrictions on worker-server communications, allowing for fully asynchronous updates from anonymous workers, arbitrarily stale worker updates, and the possibility of an unbounded number of Byzantine workers. The key idea is to estimate the descent of the loss value after the candidate gradient is applied, where large descent values indicate that the update results in optimization progress. We prove the convergence of Zeno++ for non-convex problems under Byzantine failures. Experimental results show that Zeno++ outperforms existing approaches.


title: Responses to a Critique of Artificial Moral Agents

abstract: The field of machine ethics is concerned with the question of how to embed ethical behaviors, or a means to determine ethical behaviors, into artificial intelligence (AI) systems. The goal is to produce artificial moral agents (AMAs) that are either implicitly ethical (designed to avoid unethical consequences) or explicitly ethical (designed to behave ethically). Van Wynsberghe and Robbins' (2018) paper Critiquing the Reasons for Making Artificial Moral Agents critically addresses the reasons offered by machine ethicists for pursuing AMA research; this paper, co-authored by machine ethicists and commentators, aims to contribute to the machine ethics conversation by responding to that critique. The reasons for developing AMAs discussed in van Wynsberghe and Robbins (2018) are: it is inevitable that they will be developed; the prevention of harm; the necessity for public trust; the prevention of immoral use; such machines are better moral reasoners than humans, and building these machines would lead to a better understanding of human morality. In this paper, each co-author addresses those reasons in turn. In so doing, this paper demonstrates that the reasons critiqued are not shared by all co-authors; each machine ethicist has their own reasons for researching AMAs. But while we express a diverse range of views on each of the six reasons in van Wynsberghe and Robbins' critique, we nevertheless share the opinion that the scientific study of AMAs has considerable value.


title: Integral Input-to-State Stability of Nonlinear Time-Delay Systems with Delay-Dependent Impulse Effects

abstract: This paper studies integral input-to-state stability (iISS) of nonlinear impulsive systems with time-delay in both the continuous dynamics and the impulses. Several iISS results are established by using the method of Lyapunov-Krasovskii functionals. For impulsive systems with iISS continuous dynamics and destabilizing impulses, we derive two iISS criteria that guarantee the uniform iISS of the whole system provided that the time period between two successive impulse moments is appropriately bounded from below. Then we provide an iISS result for systems with unstable continuous dynamics and stabilizing impulses. For this scenario, it is shown that the iISS properties are guaranteed if the impulses occur frequently enough. For impulsive systems with stabilizing impulses and stable continuous dynamics for zero input, we obtain an iISS result which shows that the entire system is uniformly iISS over arbitrary impulse time sequences. As applications, iISS properties of a class of bilinear systems are studied in details with simulations to demonstrate the presented results.


title: NuRadioReco: A reconstruction framework for radio neutrino detectors

abstract: While the radio detection of cosmic rays has advanced to a standard method in astroparticle physics, the radio detection of neutrinos is just about to start its full bloom. The successes of pilot-arrays have to be accompanied by the development of modern and flexible software tools to ensure rapid progress in reconstruction algorithms and data processing. We present NuRadioReco as such a modern Python-based data analysis tool. It includes a suitable data-structure, a database-implementation of a time-dependent detector, modern browser-based data visualization tools, and fully separated analysis modules. We describe the framework and examples, as well as new reconstruction algorithms to obtain the full three-dimensional electric field from distributed antennas which is needed for high-precision energy reconstruction of particle showers.


title: Computing Maximum Independent Set on Outerstring Graphs and Their Relatives

abstract: A graph $G$ with $n$ vertices is called an outerstring graph if it has an intersection representation of a set of $n$ curves inside a disk such that one endpoint of every curve is attached to the boundary of the disk. Given an outerstring graph representation, the Maximum Independent Set (MIS) problem of the underlying graph can be computed in $O(s^3)$ time, where $s$ is the number of segments in the representation (Keil et al., Comput. Geom., 60:19--25, 2017). If the strings are of constant size (e.g., line segments, L-shapes, etc.), then the algorithm takes $O(n^3)$ time. In this paper, we examine the fine-grained complexity of the MIS problem on some well-known outerstring representations. We show that solving the MIS problem on grounded segment and grounded square-L representations is at least as hard as solving MIS on circle graph representations. Note that no $O(n^{2-\delta})$-time algorithm, $\delta>0$, is known for the MIS problem on circle graphs. For the grounded string representations where the strings are $y$-monotone simple polygonal paths of constant length with segments at integral coordinates, we solve MIS in $O(n^2)$ time and show this to be the best possible under the strong exponential time hypothesis (SETH). For the intersection graph of $n$ L-shapes in the plane, we give a $(4\cdot \log OPT)$-approximation algorithm for MIS (where $OPT$ denotes the size of an optimal solution), improving the previously best-known $(4\cdot \log n)$-approximation algorithm of Biedl and Derka (WADS 2017).


title: VeriSFQ - A Semi-formal Verification Framework and Benchmark for Single Flux Quantum Technology

abstract: In this paper, we propose a semi-formal verification framework for single-flux quantum (SFQ) circuits called VeriSFQ, using the Universal Verification Methodology (UVM) standard. The considered SFQ technology is superconducting digital electronic devices that operate at cryogenic temperatures with active circuit elements called the Josephson junction, which operate at high switching speeds and low switching energy - allowing SFQ circuits to operate at frequencies over 300 gigahertz. Due to key differences between SFQ and CMOS logic, verification techniques for the former are not as advanced as the latter. Thus, it is crucial to develop efficient verification techniques as the complexity of SFQ circuits scales. The VeriSFQ framework focuses on verifying the key circuit and gate-level properties of SFQ logic: fanout, gate-level pipeline, path balancing, and input-to-output latency. The combinational circuits considered in analyzing the performance of VeriSFQ are: Kogge-Stone adders (KSA), array multipliers, integer dividers, and select ISCAS'85 combinational benchmark circuits. Methods of introducing bugs into SFQ circuit designs for verification detection were experimented with - including stuck-at faults, fanout errors, unbalanced paths, and functional bugs like incorrect logic gates. In addition, we propose an SFQ verification benchmark consisting of combinational SFQ circuits that exemplify SFQ logic properties and present the performance of the VeriSFQ framework on these benchmark circuits. The portability and reusability of the UVM standard allows the VeriSFQ framework to serve as a foundation for future SFQ semi-formal verification techniques.


title: Effective rate analysis over Fluctuating Beckmann fading channels

abstract: The effective rate of Fluctuating Beckmann (FB) fading channel is analysed. The moment generating function (MGF) of the instantaneous signal-to-noise (SNR) is used first to derive the effective rate for arbitrary values of the fading parameters in terms of the extended generalised bivariate Meijer's-$G$ function (EGBMGF). For integer valued of the multipath and shadowing severity fading parameters, the probability density function (PDF) of the instantaneous SNR is employed. To this end, simple exact mathematically tractable analytic expression is obtained. The Monte Carlo simulations and the numerical results are presented to verify the validation of our analysis.


title: Reconstructing neuronal anatomy from whole-brain images

abstract: Reconstructing multiple molecularly defined neurons from individual brains and across multiple brain regions can reveal organizational principles of the nervous system. However, high resolution imaging of the whole brain is a technically challenging and slow process. Recently, oblique light sheet microscopy has emerged as a rapid imaging method that can provide whole brain fluorescence microscopy at a voxel size of 0.4 by 0.4 by 2.5 cubic microns. On the other hand, complex image artifacts due to whole-brain coverage produce apparent discontinuities in neuronal arbors. Here, we present connectivity-preserving methods and data augmentation strategies for supervised learning of neuroanatomy from light microscopy using neural networks. We quantify the merit of our approach by implementing an end-to-end automated tracing pipeline. Lastly, we demonstrate a scalable, distributed implementation that can reconstruct the large datasets that sub-micron whole-brain images produce.


title: Topp-Leone generated q-exponential distribution and its applications

abstract: Topp-Leone distribution is a continuous model distribution used for modelling lifetime phenomena. The main purpose of this paper is to introduce a new framework for generating lifetime distributions, called the Topp-Leone generated q-exponential family of distributions. Parameter estimation using maximum likelihood method and simulation results to assess effectiveness of the distribution are discussed. Different informative and non-informative priors are used to estimate the shape parameter of q extended Topp-Leone generated exponential distribution under normal approximation technique. We prove empirically the importance and flexibility of the new model in model building by using a real data set.


title: Simulation of Quantum Universe

abstract: Quantum simulation provides quantum systems under study with analogous controllable quantum systems and has wide applications from condensed-matter physics to high energy physics and to cosmology. The quantum system of a homogeneous and isotropic field in the Friedmann-Robertson-Walker universe can be simulated by a charge in an electrically modulated ion trap. The quantum states of these time-dependent oscillators are constructed by quantum invariants. Further, we propose simulation of quantum Friedmann-Robertson-Walker universe with a minimal massive scalar field by a charged scalar field in a homogeneous, time-dependent, magnetic field in quantum electrodynamics and investigate the Cauchy problem of how the wave functions evolve.


title: Foundations of Algebraic Theories and Higher Dimensional Categories

abstract: Universal algebra uniformly captures various algebraic structures, by expressing them as equational theories or abstract clones. The ubiquity of algebraic structures in mathematics and related fields has given rise to several variants of universal algebra, such as symmetric operads, non-symmetric operads, generalised operads, and monads. These variants of universal algebra are called notions of algebraic theory. In the first part of this thesis, we develop a unified framework for notions of algebraic theory which includes all of the above examples. Our key observation is that each notion of algebraic theory can be identified with a monoidal category, in such a way that theories correspond to monoid objects therein. We introduce a categorical structure called metamodel, which underlies the definition of models of theories. We also consider morphisms between notions of algebraic theory, which are a monoidal version of profunctors. Every strong monoidal functor gives rise to an adjoint pair of such morphisms, and provides a uniform way to establish isomorphisms between categories of models in different notions of algebraic theory. A general structure-semantics adjointness result and a double categorical universal property of categories of models are also shown. In the second part of this thesis, we shift from the general study of algebraic structures, and focus on a particular algebraic structure: higher dimensional categories. Among several existing definitions of higher dimensional categories, we choose to look at the one proposed by Batanin and later refined by Leinster. We show that the notion of extensive category plays a central role in Batanin and Leinster's definition. Using this, we generalise their definition by allowing enrichment over any locally presentable extensive category.


title: A Brief history of mangnetism

abstract: In this article an overview of the historical development of the key ideas in the field of magnetism is presented. The presentation is semi-technical in nature.Starting by noting down important contribution of Greeks, William Gilbert, Coulomb, Poisson, Oersted, Ampere, Faraday, Maxwell, and Pierre Curie, we review early 20th century investigations by Paul Langevin and Pierre Weiss. The Langevin theory of paramagnetism and the Weiss theory of ferromagnetism were partly successful and real understanding of magnetism came with the advent of quantum mechanics. Van Vleck was the pioneer in applying quantum mechanics to the problem of magnetism and we discuss his main contributions: (1) his detailed quantum statistical mechanical study of magnetism of real gases; (2) his pointing out the importance of the crystal fields or ligand fields in the magnetic behavior of iron group salts (the ligand field theory); and (3) his many contributions to the elucidation of exchange interactions in d electron metals. Next, the pioneering contributions (but lesser known) of Dorfman are discussed. Then, in chronological order, the key contributions of Pauli, Heisenberg, and Landau are presented. Finally, we discuss a modern topic of quantum spin liquids.


title: TurkScanner: Predicting the Hourly Wage of Microtasks

abstract: Workers in crowd markets struggle to earn a living. One reason for this is that it is difficult for workers to accurately gauge the hourly wages of microtasks, and they consequently end up performing labor with little pay. In general, workers are provided with little information about tasks, and are left to rely on noisy signals, such as textual description of the task or rating of the requester. This study explores various computational methods for predicting the working times (and thus hourly wages) required for tasks based on data collected from other workers completing crowd work. We provide the following contributions. (i) A data collection method for gathering real-world training data on crowd-work tasks and the times required for workers to complete them; (ii) TurkScanner: a machine learning approach that predicts the necessary working time to complete a task (and can thus implicitly provide the expected hourly wage). We collected 9,155 data records using a web browser extension installed by 84 Amazon Mechanical Turk workers, and explored the challenge of accurately recording working times both automatically and by asking workers. TurkScanner was created using ~150 derived features, and was able to predict the hourly wages of 69.6% of all the tested microtasks within a 75% error. Directions for future research include observing the effects of tools on people's working practices, adapting this approach to a requester tool for better price setting, and predicting other elements of work (e.g., the acceptance likelihood and worker task preferences.)


title: Impact of Contextual Factors on Snapchat Public Sharing

abstract: Public sharing is integral to online platforms. This includes the popular multimedia messaging application Snapchat, on which public sharing is relatively new and unexplored in prior research. In mobile-first applications, sharing contexts are dynamic. However, it is unclear how context impacts users' sharing decisions. As platforms increasingly rely on user-generated content, it is important to also broadly understand user motivations and considerations in public sharing. We explored these aspects of content sharing through a survey of 1,515 Snapchat users. Our results indicate that users primarily have intrinsic motivations for publicly sharing Snaps, such as to share an experience with the world, but also have considerations related to audience and sensitivity of content. Additionally, we found that Snaps shared publicly were contextually different from those privately shared. Our findings suggest that content sharing systems can be designed to support sharing motivations, yet also be sensitive to private contexts.


title: Reconstruction for the coefficients of a quasilinear elliptic partial differential equation

abstract: In this paper we consider an inverse coefficients problem for a quasilinear elliptic equation of divergence form $\nabla\cdot\vec{C}(x,\nabla u(x))=0$, in a bounded smooth domain $\Omega$. We assume that $\overrightarrow{C}(x,\vec{p})=\gamma(x)\vec{p}+\vec{b}(x)|\vec{p}|^2+\mathcal{O}(|\vec{p}|^3)$, by expanding $\overrightarrow{C}(x,\vec{p})$ around $\vec{p}=0$. We give a reconstruction method for $\gamma$ and $\vec{b}$ from the Dirichlet to Neumann map defined on $\partial\Omega$.


title: Projective elliptic genera and elliptic pseudodifferential genera

abstract: In this paper, we construct for the first time the projective elliptic genera for a compact oriented manifold equipped with a projective complex vector bundle. Such projective elliptic genera are rational q-series that have topological definition and also have analytic interpretation via the fractional index theorem in Mathai-Melrose-Singer (2006) without requiring spin condition. We prove the modularity properties of these projective elliptic genera. As an application, we construct elliptic pseudodifferential genera for any elliptic pseudodifferential operator. This suggests the existence of putative rotation-equivariant elliptic pseudodifferential operators on loop space whose equivariant indices are elliptic pseudodifferential genera.


title: Time Synchronization Attack and Countermeasure for Multi-System Scheduling in Remote Estimation

abstract: We consider time synchronization attack against multi-system scheduling in a remote state estimation scenario where a number of sensors monitor different linear dynamical processes and schedule their transmissions through a shared collision channel. We show that by randomly injecting relative time offsets on the sensors, the malicious attacker is able to make the expected estimation error covariance of the overall system diverge without any system knowledge. For the case that the attacker has full system information, we propose an efficient algorithm to calculate the optimal attack, which spoofs the least number of sensors and leads to unbounded average estimation error covariance. To mitigate the attack consequence, we further propose a countermeasure by constructing shift invariant transmission policies and characterize the lower and upper bounds for system estimation performance. Simulation examples are provided to illustrate the obtained results.


title: Audio De-identification: A New Entity Recognition Task

abstract: Named Entity Recognition (NER) has been mostly studied in the context of written text. Specifically, NER is an important step in de-identification (de-ID) of medical records, many of which are recorded conversations between a patient and a doctor. In such recordings, audio spans with personal information should be redacted, similar to the redaction of sensitive character spans in de-ID for written text. The application of NER in the context of audio de-identification has yet to be fully investigated. To this end, we define the task of audio de-ID, in which audio spans with entity mentions should be detected. We then present our pipeline for this task, which involves Automatic Speech Recognition (ASR), NER on the transcript text, and text-to-audio alignment. Finally, we introduce a novel metric for audio de-ID and a new evaluation benchmark consisting of a large labeled segment of the Switchboard and Fisher audio datasets and detail our pipeline's results on it.


title: Compiler-assisted Adaptive Program Scheduling in big.LITTLE Systems

abstract: Energy-aware architectures provide applications with a mix of low (LITTLE) and high (big) frequency cores. Choosing the best hardware configuration for a program running on such an architecture is difficult, because program parts benefit differently from the same hardware configuration. State-of-the-art techniques to solve this problem adapt the program's execution to dynamic characteristics of the runtime environment, such as energy consumption and throughput. We claim that these purely dynamic techniques can be improved if they are aware of the program's syntactic structure. To support this claim, we show how to use the compiler to partition source code into program phases: regions whose syntactic characteristics lead to similar runtime behavior. We use reinforcement learning to map pairs formed by a program phase and a hardware state to the configuration that best fit this setup. To demonstrate the effectiveness of our ideas, we have implemented the Astro system. Astro uses Q-learning to associate syntactic features of programs with hardware configurations. As a proof of concept, we provide evidence that Astro outperforms GTS, the ARM-based Linux scheduler tailored for heterogeneous architectures, on the parallel benchmarks from Rodinia and Parsec.


title: Stable determination of a vector field in a non-self-adjoint dynamical Schr\"odinger equation on Riemannian manifolds

abstract: This paper deals with an inverse problem for a non-self-adjoint Schr\"odinger equation on a compact Riemannian manifold. Our goal is to stably determine a real vector field from the dynamical Dirichlet-to Neumann map. We establish in dimension n greater than 2, an H\"older type stability estimate for the inverse problem under study. The proof is mainly based on the reduction to an equivalent problem for an electro-magnetic Schr\"odinger equation and the use of a Carleman estimate designed for elliptic operators.


title: Generic-case complexity of Whitehead's algorithm, revisited

abstract: In \cite{KSS06} it was shown that with respect to the simple non-backtracking random walk on the free group $F_N=F(a_1,\dots,a_N)$ the Whitehead algorithm has strongly linear time generic-case complexity and that "generic" elements of $F_N$ are "strictly minimal" in their $Out(F_N)$-orbits. Here we generalize these results, with appropriate modifications, to a much wider class of random processes generating elements of $F_N$. We introduce the notion of a ''$(M,\lambda, \epsilon)$-minimal" conjugacy class $[w]$ in $F_N$, where $M\ge 1, \lambda>1$ and $0<\epsilon<1$. Roughly, being $(M,\lambda, \epsilon)$-minimal means that every $\phi\in Out(F_N)$ either increases the length $||w||_A$ by a factor of at least $\lambda$, or distorts the length $||w||_A$ multiplicatively by a factor $\epsilon$-close to $1$, and that the number of automorphically minimal $[u]$ in the orbit $Out(F_N)[w]$ is bounded by $M$. We then show that if a conjugacy class $[w]$ in $F_N$ is sufficiently close to a "filling" projective geodesic current $[\nu]\in PCurr(F_N)$, then, after applying a single "reducing" automorphism $\psi=\psi(\nu)\in Out(F_N)$ depending on $\nu$ only, the element $\psi([w])$ is $(M,\lambda, \epsilon)$-minimal for some uniform constants $M,\lambda,\epsilon$. Consequently, for such $[w]$, Whitehead's algorithm for the automorphic equivalence problem in $F_N$ works in quadratic time on the input $([w], [w'])$ where $[w']$ is arbitrary, and in linear time if $[w']$ is also projectively close to $[\nu]$. We then show that a wide class of random processes produce "random" conjugacy classes $[w_n]$ that projectively converge to some filling current in $PCurr(F_N)$. For such $[w_n]$ Whitehead's algorithm has at most quadratic generic-case complexity.


title: Algorithms for Generating Pareto Fronts of Multi-objective Integer and Mixed-Integer Programming Problems

abstract: Multi-objective integer or mixed-integer programming problems typically have disconnected feasible domains, making the task of constructing an approximation of the Pareto front challenging. The present paper shows that certain algorithms which were originally devised for continuous problems can be successfully adapted to approximate the Pareto front for integer, and mixed-integer, multi-objective optimization problems. Relationships amongst various scalarization techniques are established to motivate the choice of a particular scalarization in these algorithms. The proposed algorithms are tested by means of two-, three- and four-objective integer and mixed-integer problems, and comparisons are made. In particular, a new four-objective algorithm is used to solve a rocket injector design problem with a discrete variable, which is a challenging mixed-integer programming problem.


title: Numerical methods to compute a minimal realization of a port-Hamiltonian system

abstract: Port-Hamiltonian (pH) systems are a very important modeling tool in almost all areas of systems and control, in particular in network based model of multi-physics multi-scale systems. They lead to remarkably robust models that can be easily interconnected. This paper discusses the derivation of pH models from time-domain input-output data. While a direct construction of pH models is still an open problem, we present three different indirect numerical methods for the realization of pH systems. The algorithms are implemented in MATLAB and their performance is illustrated via several numerical examples.


title: On groups with weak Sierpi\'nski subsets

abstract: In a group $G$, a weak Sierpi\'nski subset is a subset $E$ such that for some $g,h\in G$ and $a\neq b\in E$, we have $gE=E\smallsetminus \{a\}$ and $hE=E\smallsetminus \{b\}$. In this setting, we study the subgroup generated by $g$ and $h$, and show that it has a special presentation, namely of the form $G_k=\langle g,h\mid (h^{-1}g)^k\rangle$ unless it is free over $(g,h)$. In addition, in such groups $G_k$, we characterize all weak Sierpi\'nski subsets.


title: Discriminating Original Region from Duplicated One in Copy-Move Forgery

abstract: Since images are used as evidence in many cases, validation of digital images is essential. Copy-move forgery is a special kind of manipulation in which some parts of an image is copied and pasted into another part of the same image. Various methods have been proposed to detect copy-move forgery, which have achieved promising results. In previous methods, a binary mask determining the original and forged region is presented as the final result. However, it is not specified which part of the mask is the forged region. It should be noted that discriminating the original region from the duplicated one is not usually feasible by human visual system(HVS). On the other hand, exact localizing the forged region can be helpful for automatic forgery detection especially in combined forgeries. In real-world forgeries, some manipulations are performed in order to provide a visibly realistic scene. These modifications are usually applied on the boundary of the duplicated snippets. In this research, the texture information of the border regions of both the original and copied patches have been statistically investigated. Based on this analysis, we propose a method to discriminated copied snippets from original ones. In order to validate our method, GRIP dataset is utilized since it contains more realistic forged images which are not easily recognizable by HVS.


title: Deep Feature Selection using a Teacher-Student Network

abstract: High-dimensional data in many machine learning applications leads to computational and analytical complexities. Feature selection provides an effective way for solving these problems by removing irrelevant and redundant features, thus reducing model complexity and improving accuracy and generalization capability of the model. In this paper, we present a novel teacher-student feature selection (TSFS) method in which a 'teacher' (a deep neural network or a complicated dimension reduction method) is first employed to learn the best representation of data in low dimension. Then a 'student' network (a simple neural network) is used to perform feature selection by minimizing the reconstruction error of low dimensional representation. Although the teacher-student scheme is not new, to the best of our knowledge, it is the first time that this scheme is employed for feature selection. The proposed TSFS can be used for both supervised and unsupervised feature selection. This method is evaluated on different datasets and is compared with state-of-the-art existing feature selection methods. The results show that TSFS performs better in terms of classification and clustering accuracies and reconstruction error. Moreover, experimental evaluations demonstrate a low degree of sensitivity to parameter selection in the proposed method.


title: Cross-correlation of POLARBEAR CMB Polarization Lensing with High-$z$ Sub-mm Herschel-ATLAS galaxies

abstract: We report a 4.8$\sigma$ measurement of the cross-correlation signal between the cosmic microwave background (CMB) lensing convergence reconstructed from measurements of the CMB polarization made by the POLARBEAR experiment and the infrared-selected galaxies of the Herschel-ATLAS survey. This is the first measurement of its kind. We infer a best-fit galaxy bias of $b = 5.76 \pm 1.25$, corresponding to a host halo mass of $\log_{10}(M_h/M_\odot) =13.5^{+0.2}_{-0.3}$ at an effective redshift of $z \sim 2$ from the cross-correlation power spectrum. Residual uncertainties in the redshift distribution of the sub-mm galaxies are subdominant with respect to the statistical precision. We perform a suite of systematic tests, finding that instrumental and astrophysical contaminations are small compared to the statistical error. This cross-correlation measurement only relies on CMB polarization information that, differently from CMB temperature maps, is less contaminated by galactic and extra-galactic foregrounds, providing a clearer view of the projected matter distribution. This result demonstrates the feasibility and robustness of this approach for future high-sensitivity CMB polarization experiments.


title: General techniques for approximate incidences and their application to the camera posing problem

abstract: We consider the classical camera pose estimation problem that arises in many computer vision applications, in which we are given n 2D-3D correspondences between points in the scene and points in the camera image (some of which are incorrect associations), and where we aim to determine the camera pose (the position and orientation of the camera in the scene) from this data. We demonstrate that this posing problem can be reduced to the problem of computing {\epsilon}-approximate incidences between two-dimensional surfaces (derived from the input correspondences) and points (on a grid) in a four-dimensional pose space. Similar reductions can be applied to other camera pose problems, as well as to similar problems in related application areas. We describe and analyze three techniques for solving the resulting {\epsilon}-approximate incidences problem in the context of our camera posing application. The first is a straightforward assignment of surfaces to the cells of a grid (of side-length {\epsilon}) that they intersect. The second is a variant of a primal-dual technique, recently introduced by a subset of the authors [2] for different (and simpler) applications. The third is a non-trivial generalization of a data structure Fonseca and Mount [3], originally designed for the case of hyperplanes. We present and analyze this technique in full generality, and then apply it to the camera posing problem at hand. We compare our methods experimentally on real and synthetic data. Our experiments show that for the typical values of n and {\epsilon}, the primal-dual method is the fastest, also in practice.


title: Comparing topologies on the Morse boundary and quasi-isometry invariance

abstract: We compare several topologies on the Morse boundary $\partial_M Y$ of a $\mathrm{CAT(0)}$ cube complex $Y$. In particular, we show that the two topologies introduced by Cashen and Mackay are not equal in general and provide a new description of one of them in the language of cube complexes. As a corollary, we obtain a new approach to tackle the question whether the visual topology induces a quasi-isometry-invariant topology on the Morse boundary. This leads to an obstruction to quasi-isometry-invariance in terms of the behaviour of geodesics under quasi-isometries.


title: Sensing Kondo correlations in a suspended carbon nanotube mechanical resonator with spin-orbit coupling

abstract: We study electron mechanical coupling in a suspended carbon nanotube (CNT) quantum dot device. Electron spin couples to the flexural vibration mode due to spin-orbit coupling in the electron tunneling processes. In the weak coupling limit, i.e. electron-vibration coupling is much smaller than the electron energy scale, the damping and resonant frequency shift of the CNT resonator can be obtained by calculating the dynamical spin susceptibility. We find that strong spin-flip scattering processes in Kondo regime significantly affect the mechanical motion of the carbon nanotube: Kondo effect induces strong damping and frequency shift of the CNT resonator.


title: DSPG: Decentralized Simultaneous Perturbations Gradient Descent Scheme

abstract: Distributed descent-based methods are an essential toolset to solving optimization problems in multi-agent system scenarios. Here the agents seek to optimize a global objective function through mutual cooperation. Oftentimes, cooperation is achieved over a wireless communication network that is prone to delays and errors. There are many scenarios wherein the objective function is either non-differentiable or merely observable. In this paper, we present a cross-entropy based distributed stochastic approximation algorithm (SA) that finds a minimum of the objective, using only samples. We call this algorithm Decentralized Simultaneous Perturbation Stochastic Gradient, with Constant Sensitivity Parameters (DSPG). This algorithm is a two fold improvement over the classic Simultaneous Perturbation Stochastic Approximations (SPSA) algorithm. Specifically, DSPG allows for (i) the use of old information from other agents and (ii) easy implementation through the use simple hyper-parameter choices. We analyze the biases and variances that arise due to these two allowances. We show that the biases due to communication delays can be countered by a careful choice of algorithm hyper-parameters. The variance of the gradient estimator and its effect on the rate of convergence is studied. We present numerical results supporting our theory. Finally, we discuss an application to the stochastic consensus problem.


title: The sharp energy-capacity inequality on convex symplectic manifolds

abstract: In symplectic geometry, symplectic invariants are useful tools in studying symplectic phenomena. Hofer-Zehnder capacity and displacement energy are important symplectic invariants. Usher proved the so-called sharp energy-capacity inequality between Hofer-Zehnder capacity and the displacement energy for closed symplectic manifolds. In this paper, we extend the sharp energy-capacity inequality to convex symplectic manifolds.


title: Topological Boundary Modes from Translational Deformations

abstract: Localized states universally appear when a periodic potential is perturbed by defects or terminated at its surface. In this Letter, we theoretically and experimentally demonstrate a mechanism that generates localized states through continuous translational deformations of periodic potentials. We provide a rigorous proof of the emergence of the localized states under the deformations. The mechanism is experimentally verified in microwave photonic crystals. We also demonstrate topological phase windings of reflected waves for translated photonic crystals.


title: Shining a light on Spotlight: Leveraging Apple's desktop search utility to recover deleted file metadata on macOS

abstract: Spotlight is a proprietary desktop search technology released by Apple in 2004 for its Macintosh operating system Mac OS X 10.4 (Tiger) and remains as a feature in current releases of macOS. Spotlight allows users to search for files or information by querying databases populated with filesystem attributes, metadata, and indexed textual content. Existing forensic research into Spotlight has provided an understanding of the metadata attributes stored within the metadata store database. Current approaches in the literature have also enabled the extraction of metadata records for extant files, but not for deleted files. The objective of this paper is to research the persistence of records for deleted files within Spotlight's metadata store, identify if deleted database pages are recoverable from unallocated space on the volume, and to present a strategy for the processing of discovered records. In this paper, the structure of the metadata store database is outlined, and experimentation reveals that records persist for a period of time within the database but once deleted, are no longer recoverable. The experimentation also demonstrates that deleted pages from the database (containing metadata records) are recoverable from unused space on the filesystem.


title: Adversarial Attacks on Deep Neural Networks for Time Series Classification

abstract: Time Series Classification (TSC) problems are encountered in many real life data mining tasks ranging from medicine and security to human activity recognition and food safety. With the recent success of deep neural networks in various domains such as computer vision and natural language processing, researchers started adopting these techniques for solving time series data mining problems. However, to the best of our knowledge, no previous work has considered the vulnerability of deep learning models to adversarial time series examples, which could potentially make them unreliable in situations where the decision taken by the classifier is crucial such as in medicine and security. For computer vision problems, such attacks have been shown to be very easy to perform by altering the image and adding an imperceptible amount of noise to trick the network into wrongly classifying the input image. Following this line of work, we propose to leverage existing adversarial attack mechanisms to add a special noise to the input time series in order to decrease the network's confidence when classifying instances at test time. Our results reveal that current state-of-the-art deep learning time series classifiers are vulnerable to adversarial attacks which can have major consequences in multiple domains such as food safety and quality assurance.


title: Applications of square roots of diffeomorphisms

abstract: In this paper, we prove that on any contact manifold, there exists an arbitrary C^{\infty}-small contactomorphism which does not admit a square root. In particular, there exists an arbitrary C^{\infty}-small contactomorphism which is not "autonomous". This result is the first step to study the topology of non-autonomous contactomorphisms. As an application, we also prove a similar result for the diffeomorphism group for any smooth manifold.


title: Disorder-assisted graph coloring on quantum annealers

abstract: We are at the verge of a new era, which will be dominated by Noisy Intermediate-Scale Quantum Devices. Prototypical examples for these new technologies are present-day quantum annealers. In the present work, we investigate to what extent static disorder generated by an external source of noise does not have to be detrimental, but can actually assist quantum annealers in achieving better performance. In particular, we analyze the graph coloring problem that can be solved on a sparse topology (i.e. chimera graph) via suitable embedding. We show that specifically tailored disorder can enhance the fidelity of the annealing process and thus increase the overall performance of the annealer.


title: Twin prime correlations from the pair correlation of Riemann zeros

abstract: We establish, via a formal/heuristic Fourier inversion calculation, that the Hardy-Littlewood twin prime conjecture is equivalent to an asymptotic formula for the two-point correlation function of Riemann zeros at a height $E$ on the critical line. Previously it was known that the Hardy-Littlewood conjecture implies the pair correlation formula, and we show that the reverse implication also holds. A smooth form of the Hardy-Littlewood conjecture is obtained by inverting the $E \rightarrow \infty$ limit of the two-point correlation function and the precise form of the conjecture is found by including asymptotically lower order terms in the two-point correlation function formula.


title: Learning Competitive and Discriminative Reconstructions for Anomaly Detection

abstract: Most of the existing methods for anomaly detection use only positive data to learn the data distribution, thus they usually need a pre-defined threshold at the detection stage to determine whether a test instance is an outlier. Unfortunately, a good threshold is vital for the performance and it is really hard to find an optimal one. In this paper, we take the discriminative information implied in unlabeled data into consideration and propose a new method for anomaly detection that can learn the labels of unlabelled data directly. Our proposed method has an end-to-end architecture with one encoder and two decoders that are trained to model inliers and outliers' data distributions in a competitive way. This architecture works in a discriminative manner without suffering from overfitting, and the training algorithm of our model is adopted from SGD, thus it is efficient and scalable even for large-scale datasets. Empirical studies on 7 datasets including KDD99, MNIST, Caltech-256, and ImageNet etc. show that our model outperforms the state-of-the-art methods.


title: Nonminimally coupled curvature-matter gravity models and Solar System constraints

abstract: We discuss constraints to some nonminimally (NMC) coupled curvature-matter models of gravity by means of Solar System experiments. First we discuss a NMC gravity model which constitutes a natural extension of $1/R^n$ gravity to the nonminimally coupled case. Such a NMC gravity model is able to predict the observed accelerated expansion of the Universe. Differently from the $f(R)=1/R^n$ gravity case, which is not compatible with Solar System observations, it turns out that this NMC model is a viable theory of gravity. Then we consider a further NMC gravity model which admits Minkowski spacetime as a background, and we derive the $1/c$ expansion of the metric. The nonrelativistic limit of the model is not Newtonian, but contains a Yukawa correction. We look for trajectories around a static, spherically symmetric body. Since in NMC gravity the energy-momentum tensor of matter is not conserved, then the trajectories deviate from geodesics. We use the NMC gravity model to compute the perihelion precession of planets and we constrain the parameters of the model from radar observations of Mercury.


title: Euler-genus distributions of cubic Halin graphs

abstract: Gross derived an $O(n^2)$-time algorithm to calculate the genus distribution of a given cubic Halin graph. In this paper, with the help of overlap matrix, we get a recurrence relation for the Euler-genus polynomial of cubic caterpillar-Halin graphs. Explicit formulas for the embeddings of cubic caterpillar-Halin graph into a surface with Euler-genus 0, 1 and 2 are also obtained.


title: A customisable pipeline for continuously harvesting socially-minded Twitter users

abstract: On social media platforms and Twitter in particular, specific classes of users such as influencers have been given satisfactory operational definitions in terms of network and content metrics. Others, for instance online activists, are not less important but their characterisation still requires experimenting. We make the hypothesis that such interesting users can be found within temporally and spatially localised contexts, i.e., small but topical fragments of the network containing interactions about social events or campaigns with a significant footprint on Twitter. To explore this hypothesis, we have designed a continuous user profile discovery pipeline that produces an ever-growing dataset of user profiles by harvesting and analysing contexts from the Twitter stream. The profiles dataset includes key network and content-based users metrics, enabling experimentation with user-defined score functions that characterise specific classes of online users. The paper describes the design and implementation of the pipeline and its empirical evaluation on a case study consisting of healthcare-related campaigns in the UK, showing how it supports the operational definitions of online activism, by comparing three experimental ranking functions. The code is publicly available.


title: AdaGraph: Unifying Predictive and Continuous Domain Adaptation through Graphs

abstract: The ability to categorize is a cornerstone of visual intelligence, and a key functionality for artificial, autonomous visual machines. This problem will never be solved without algorithms able to adapt and generalize across visual domains. Within the context of domain adaptation and generalization, this paper focuses on the predictive domain adaptation scenario, namely the case where no target data are available and the system has to learn to generalize from annotated source images plus unlabeled samples with associated metadata from auxiliary domains. Our contributionis the first deep architecture that tackles predictive domainadaptation, able to leverage over the information broughtby the auxiliary domains through a graph. Moreover, we present a simple yet effective strategy that allows us to take advantage of the incoming target data at test time, in a continuous domain adaptation scenario. Experiments on three benchmark databases support the value of our approach.


title: Antithetic multilevel particle system sampling method for McKean-Vlasov SDEs

abstract: Let $\mu\in \mathcal{P}_2(\mathbb R^d)$, where $\mathcal{P}_2(\mathbb R^d)$ denotes the space of square integrable probability measures, and consider a Borel-measurable function $\Phi:\mathcal P_2(\mathbb R^d)\rightarrow \mathbb R $. IIn this paper we develop Antithetic Monte Carlo estimator (A-MLMC) for $\Phi(\mu)$, which achieves sharp error bound under mild regularity assumptions. The estimator takes as input the empirical laws $\mu^N = \frac1N \sum_{i=1}^{N}\delta_{X_i}$, where a) $(X_i)_{i=1}^N$ is a sequence of i.i.d samples from $\mu$ or b) $(X_i)_{i=1}^N$ is a system of interacting particles (diffusions) corresponding to a McKean-Vlasov stochastic differential equation (McKV-SDE). Each case requires a separate analysis. For a mean-field particle system, we also consider the empirical law induced by its Euler discretisation which gives a fully implementable algorithm. As by-products of our analysis, we establish a dimension-independent rate of uniform \textit{strong propagation of chaos}, as well as an $L^2$ estimate of the antithetic difference for i.i.d. random variables corresponding to general functionals defined on the space of probability measures.


title: Group divisible designs with block size four and type g^u m^1 - III

abstract: We deal with group divisible designs that have block size 4 and group type g^u m^1, where g = 2 or 4 (mod 6). We show that the necessary conditions for the existence of a 4-GDD of type g^u m^1 are sufficient when g = 14, 20, 22, 26, 28, 32, 34, 38, 40, 44, 46, 50, 52, 58, 62, 68, 76, 88, 92, 100, 104, 116, 124, 136, 152, 160, 176, 184, 200, 208, 224, 232, 248, 272, 304, 320, 368, 400, 448, 464 and 496. Using these results we go on to show that the necessary conditions are sufficient for g = 2^t q^s, q = 19, 23, 25, 29, 31, s, t = 1, 2, ..., as well as for g = 2^t q, q = 2, 5, 7, 11, 13, 17, t = 1, 2, ..., with possible exceptions 56^9 m^1, 80^9 m^1 and 112^9 m^1 for a few large values of m.


title: A criterion for the triviality of the centralizer for vector fields and applications

abstract: In this paper we establish a criterion for the triviality of the $C^1$-centralizer for vector fields and flows. In particular we deduce the triviality of the centralizer at homoclinic classes of $C^r$ vector fields ($r\ge 1$). Furthermore, we show that the set of flows whose $C^1$-centralizer is trivial include: (i) $C^1$-generic volume preserving flows, (ii) $C^2$-generic Hamiltonian flows on a generic and full Lebesgue measure set of energy levels, and (iii) $C^1$-open set of non-hyperbolic vector fields (that admit a Lorenz attractor). We also provide a criterion for the triviality of the $C^0$-centralizer of continuous flows.


title: Localization of Energy Harvesting Empowered Underwater Optical Wireless Sensor Networks

abstract: This paper proposes a received signal strength (RSS) based localization framework for energy harvesting underwater optical wireless sensor networks (EH-UOWSNs), where the optical noise sources and channel impairments of seawater pose significant challenges on range estimation. In UOWSNs energy limitation is another major problem due to the limited battery power and difficulty to replace or recharge the battery of an underwater sensor node. In the proposed framework, sensor nodes with insufficient battery harvest ambient energy and start communicating once they have sufficient storage of energy. Network localization is carried out by measuring the RSSs of active nodes, which are modeled based on the underwater optical communication channel characteristics. Thereafter, block kernel matrices are computed for RSS-based range measurements. Unlike the traditional shortest-path approach, the proposed technique reduces the estimation error of the shortest path for each block kernel matrix. Once the complete block kernel matrices are available, a closed form localization technique is developed to find the location of every optical sensor node in the network. An analytical expression for the Cramer Rao lower bound (CRLB) is also derived as a benchmark to evaluate the localization performance of the developed technique. Extensive simulations show that the proposed framework outperforms the well-known network localization techniques.