title: Concentration for random product formulas

abstract: Quantum simulation has wide applications in quantum chemistry and physics. Recently, scientists have begun exploring the use of randomized methods for accelerating quantum simulation. Among them, a simple and powerful technique, called qDRIFT, is known to generate random product formulas for which the average quantum channel approximates the ideal evolution. qDRIFT achieves a gate count that does not explicitly depend on the number of terms in the Hamiltonian, which contrasts with Suzuki formulas. This work aims to understand the origin of this speed-up by comprehensively analyzing a single realization of the random product formula produced by qDRIFT. The main results prove that a typical realization of the randomized product formula approximates the ideal unitary evolution up to a small diamond-norm error. The gate complexity is already independent of the number of terms in the Hamiltonian, but it depends on the system size and the sum of the interaction strengths in the Hamiltonian. Remarkably, the same random evolution starting from an arbitrary, but fixed, input state yields a much shorter circuit suitable for that input state. In contrast, in deterministic settings, such an improvement usually requires initial state knowledge. The proofs depend on concentration inequalities for vector and matrix martingales, and the framework is applicable to other randomized product formulas. Our bounds are saturated by certain commuting Hamiltonians.


title: Appropriateness of Performance Indices for Imbalanced Data Classification: An Analysis

abstract: Indices quantifying the performance of classifiers under class-imbalance, often suffer from distortions depending on the constitution of the test set or the class-specific classification accuracy, creating difficulties in assessing the merit of the classifier. We identify two fundamental conditions that a performance index must satisfy to be respectively resilient to altering number of testing instances from each class and the number of classes in the test set. In light of these conditions, under the effect of class imbalance, we theoretically analyze four indices commonly used for evaluating binary classifiers and five popular indices for multi-class classifiers. For indices violating any of the conditions, we also suggest remedial modification and normalization. We further investigate the capability of the indices to retain information about the classification performance over all the classes, even when the classifier exhibits extreme performance on some classes. Simulation studies are performed on high dimensional deep representations of subset of the ImageNet dataset using four state-of-the-art classifiers tailored for handling class imbalance. Finally, based on our theoretical findings and empirical evidence, we recommend the appropriate indices that should be used to evaluate the performance of classifiers in presence of class-imbalance.


title: Countdown games, and simulation on (succinct) one-counter nets

abstract: We answer an open complexity question by Hofman, Lasota, Mayr, Totzke (LMCS 2016) for simulation preorder on the class of succinct one-counter nets (i.e., one-counter automata with no zero tests where counter increments and decrements are integers written in binary); the problem was known to be PSPACE-hard and in EXPSPACE. We show that all relations between bisimulation equivalence and simulation preorder are EXPSPACE-hard for these nets; simulation preorder is thus EXPSPACE-complete. The result is proven by a reduction from reachability games whose EXPSPACE-completeness in the case of succinct one-counter nets was shown by Hunter (RP 2015), by using other results. We also provide a direct self-contained EXPSPACE-completeness proof for a special case of such reachability games, namely for a modification of countdown games that were shown EXPTIME-complete by Jurdzinski, Sproston, Laroussinie (LMCS 2008); in our modification the initial counter value is not given but is freely chosen by the first player. We also present an alternative proof for the upper bound by Hofman et al. In particular, we give a new simplified proof of the belt theorem that yields a simple graphic presentation of simulation preorder on (non-succinct) one-counter nets and leads to a polynomial-space algorithm (which is trivially extended to an exponential-space algorithm for succinct one-counter nets).


title: Design of a sensor integrated adaptive gripper

abstract: In this paper, design and development of a sensor integrated adaptive gripper is presented. Adaptive grippers are useful for grasping objects of varied geometric shapes by wrapping fingers around the object. The finger closing sequence in adaptive grippers may lead to ejection of the object from the gripper due to any unbalanced grasping force and such grasp failure is common for lightweight objects. Designing of the proposed gripper is focused on ensuring stable grasp on a wide variety of objects, especially, for lightweight objects (e.g., empty plastic bottles). The actuation mechanism is based on movable pulleys and tendon wires which ensure that once a link stops moving, the other links continue to move and wrap around the object. Further, optimisation is used to improve the design of the adaptive gripper. Finally, validation is done by executing object grasping in a simulated environment PyBullet for simple pick and place tasks on common household objects.


title: Self-Supervised Human Activity Recognition by Augmenting Generative Adversarial Networks

abstract: This article proposes a novel approach for augmenting generative adversarial network (GAN) with a self-supervised task in order to improve its ability for encoding video representations that are useful in downstream tasks such as human activity recognition. In the proposed method, input video frames are randomly transformed by different spatial transformations, such as rotation, translation and shearing or temporal transformations such as shuffling temporal order of frames. Then discriminator is encouraged to predict the applied transformation by introducing an auxiliary loss. Subsequently, results prove superiority of the proposed method over baseline methods for providing a useful representation of videos used in human activity recognition performed on datasets such as KTH, UCF101 and Ball-Drop. Ball-Drop dataset is a specifically designed dataset for measuring executive functions in children through physically and cognitively demanding tasks. Using features from proposed method instead of baseline methods caused the top-1 classification accuracy to increase by more then 4%. Moreover, ablation study was performed to investigate the contribution of different transformations on downstream task.


title: Minimizing post-shock forecasting error through aggregation of outside information

abstract: We develop a forecasting methodology for providing credible forecasts for time series that have recently undergone a shock. We achieve this by borrowing knowledge from other time series that have undergone similar shocks for which post-shock outcomes are observed. Three shock effect estimators are motivated with the aim of minimizing average forecast risk. We propose risk-reduction propositions that provide conditions that establish when our methodology works. Bootstrap and leave-one-out cross validation procedures are provided to prospectively assess the performance of our methodology. Several simulated data examples, and a real data example of forecasting Conoco Phillips stock price are provided for verification and illustration.


title: Deep Learning for Constrained Utility Maximisation

abstract: This paper proposes two algorithms for solving stochastic control problems with deep learning, with a focus on the utility maximisation problem. The first algorithm solves Markovian problems via the Hamilton Jacobi Bellman (HJB) equation. We solve this highly nonlinear partial differential equation (PDE) with a second order backward stochastic differential equation (2BSDE) formulation. The convex structure of the problem allows us to describe a dual problem that can either verify the original primal approach or bypass some of the complexity. The second algorithm utilises the full power of the duality method to solve non-Markovian problems, which are often beyond the scope of stochastic control solvers in the existing literature. We solve an adjoint BSDE that satisfies the dual optimality conditions. We apply these algorithms to problems with power, log and non-HARA utilities in the Black-Scholes, the Heston stochastic volatility, and path dependent volatility models. Numerical experiments show highly accurate results with low computational cost, supporting our proposed algorithms.


title: Hamiltonian no-torsion

abstract: In 2002 Polterovich has notably established that on closed aspherical symplectic manifolds, Hamiltonian diffeomorphisms of finite order, which we call Hamiltonian torsion, must in fact be trivial. In this paper we prove the first higher-dimensional Hamiltonian no-torsion theorems beyond the symplectically aspherical case. We start by showing that closed symplectic Calabi-Yau and negative monotone symplectic manifolds do not admit Hamiltonian torsion. Going still beyond topological constraints, we prove that every closed positive monotone symplectic manifold $(M,\omega)$ admitting Hamiltonian torsion is geometrically uniruled by holomorphic spheres for every $\omega$-compatible almost complex structure, partially answering a question of McDuff-Salamon. This provides many additional no-torsion results, and as a corollary yields the geometric uniruledness of monotone Hamiltonian $S^1$-manifolds, a fact closely related to a celebrated result of McDuff from 2009. Moreover, the non-existence of Hamiltonian torsion implies the triviality of Hamiltonian actions of lattices like $SL(k,\mathbb{Z})$ for $k \geq 2,$ as well as those of compact Lie groups. Finally, for monotone symplectic manifolds admitting Hamiltonian torsion, we prove an analogue of Newman's theorem on finite transformation groups for several natural norms on the Hamiltonian group: such subgroups cannot be contained in arbitrarily small neighborhoods of the identity. Our arguments rely on generalized Morse-Bott methods, as well as on quantum Steenrod powers and Smith theory in filtered Floer homology.


title: Conformal Regge Theory at Finite Boost

abstract: The Operator Product Expansion is a useful tool to represent correlation functions. In this note we extend Conformal Regge theory to provide an exact OPE representation of Lorenzian four-point correlators in conformal field theory, valid even away from Regge limit. The representation extends convergence of the OPE by rewriting it as a double integral over continuous spins and dimensions, and features a novel "Regge block". We test the formula in the conformal fishnet theory, where exact results involving nontrivial Regge trajectories are available.


title: Global eigenvalue fluctuations of random biregular bipartite graphs

abstract: We compute the eigenvalue fluctuations of uniformly distributed random biregular bipartite graphs with fixed and growing degrees for a large class of analytic functions. As a key step in the proof, we obtain a total variation distance bound for the Poisson approximation of the number of cycles and cyclically non-backtracking walks in random biregular bipartite graphs, which might be of independent interest. We also prove a semicircle law for random $(d_1,d_2)$-biregular bipartite graphs when $\frac{d_1}{d_2}\to\infty$. As an application, we translate the results to adjacency matrices of uniformly distributed random regular hypergraphs.


title: Relativistic accretion disk reflection in AGN X-ray spectra at z=0.5--4: a study of four \textit{Chandra} deep fields

abstract: We confirm that the spectra are best fit by a model containing two Compton reflection components, one from distant material, and the other displaying relativistic broadening, most likely from the inner accretion disk. The degree of relativistic broadening indicates a preference for high black hole spin, but the reflection is weaker than that expected for a flat disk illuminated by a point source. We investigate the Compton reflection signatures as a function of luminosity, redshift and obscuration, confirming an X-ray Baldwin effect for both the narrow and broad components of the iron line. Anti-correlations are also seen with redshift and obscuring column density, but are difficult to disentangle from the Baldwin effect. Our methodology is able to extract information from multiple spectra with low signal-to-noise ratio, and can be applied to future data sets such as eROSITA. We show using simulations, however, that it is necessary to apply an appropriate signal-to-noise ratio cut to the samples to ensure the spectra add useful information.


title: Large Scale Photometric Bundle Adjustment

abstract: Direct methods have shown promise on visual odometry and SLAM, leading to greater accuracy and robustness over feature-based methods. However, offline 3-d reconstruction from internet images has not yet benefited from a joint, photometric optimization over dense geometry and camera parameters. Issues such as the lack of brightness constancy, and the sheer volume of data, make this a more challenging task. This work presents a framework for jointly optimizing millions of scene points and hundreds of camera poses and intrinsics, using a photometric cost that is invariant to local lighting changes. The improvement in metric reconstruction accuracy that it confers over feature-based bundle adjustment is demonstrated on the large-scale Tanks & Temples benchmark. We further demonstrate qualitative reconstruction improvements on an internet photo collection, with challenging diversity in lighting and camera intrinsics.


title: Galois cohomology of real semisimple groups via Kac labelings

abstract: For a connected semisimple group G over the field of real numbers R, using a method of Onishchik and Vinberg, we compute the first Galois cohomology set H^1(R,G) in terms of Kac labelings of the affine Dynkin diagram of G.


title: Extensive R\'enyi entropies in matrix product states

abstract: We prove that all R\'enyi entanglement entropies of spin-chains described by generic (gapped), translational invariant matrix product states (MPS) are extensive for disconnected sub-systems: All R\'enyi entanglement entropy densities of the sub-system consisting of every k-th spin are non-zero in the thermodynamic limit if and only if the state does not converge to a product state in the thermodynamic limit. Furthermore, we provide explicit lower bounds to the entanglement entropy in terms of the expansion coefficient of the transfer operator of the MPS and spectral properties of its fixed point in canonical form. As side-result we obtain a lower bound for the expansion coefficient and singular value distribution of a primitve quantum channel in terms of its Kraus-rank and entropic properties of its fixed-point. For unital quantum channels this yields a very simple lower bound on the distribution of singular values and the expansion coefficient in terms of the Kraus-rank. Physically, our results are motivated by questions about equilibration in many-body localized systems, which we review.


title: The polar-generalized normal distribution

abstract: This paper introduces an extension to the normal distribution through the polar method to capture bimodality and asymmetry, which are often observed characteristics of empirical data. The later two features are entirely controlled by a separate scalar parameter. Explicit expressions for the cumulative distribution function, the density function and the moments were derived. The stochastic representation of the distribution facilitates implementing Bayesian estimation via the Markov chain Monte Carlo methods. Some real-life data as well as simulated data are analyzed to illustrate the flexibility of the distribution for modeling asymmetric bimodality.


title: Secondary representation stability and the ordered configuration space of the once-punctured torus

abstract: In this paper we study stability patterns in the homology of the ordered configuration space of the once-punctured torus. In the last decade Church and Church-Ellenberg-Farb proved that the homology groups of the ordered configuration space of a connected noncompact orientable manifold stabilize in a representation theoretic sense as the number of points in the configuration grows, with respect to a map that adds each new point "at infinity." Miller and Wilson proved that there is a secondary representation stability pattern among the unstable homology classes, with respect to adding a pair of orbiting points "near infinity." This pattern is formalized by considering sequences of homology classes as FIM$^{+}$-modules. We prove that, as FIM$^{+}$-modules, the sequence of "new" homology generators in the n-th homology of the ordered configuration space of 2n-2 points on the once-punctured torus is neither "free" nor "stably zero." We also show that this sequence is generated by homology classes on at most 4 points. Our proof uses Pagaria's work on the Betti numbers of the ordered configuration space of the torus to calculate the growth rate of the Betti numbers of the ordered configuration space of the once-punctured torus. Our computations are the first to demonstrate that secondary representation stability is a non-trivial phenomenon in positive-genus surfaces.


title: On the moduli of logarithmic connections on elliptic curves

abstract: We describe moduli spaces of logarithmic rank $2$ connections on elliptic curves with $n \geq 1$ poles and generic residues. In particular, we generalize a previous work by the first and second named authors. Our main approach is to analyze the underlying parabolic bundles; their stability and instability play a major role.


title: Density of imaginary multiplicative chaos via Malliavin calculus

abstract: We consider the imaginary Gaussian multiplicative chaos, i.e. the complex Wick exponential $\mu_\beta := :e^{i\beta \Gamma(x)}:$ for a log-correlated Gaussian field $\Gamma$ in $d \geq 1$ dimensions. We prove a basic density result, showing that for any nonzero continuous test function $f$, the complex-valued random variable $\mu_\beta(f)$ has a smooth density w.r.t. the Lebesgue measure on $\mathbb{C}$. As a corollary, we deduce that the negative moments of imaginary chaos on the unit circle do not correspond to the analytic continuation of the Fyodorov-Bouchaud formula, even when well-defined. Somewhat surprisingly, basic density results are not easy to prove for imaginary chaos and one of the main contributions of the article is introducing Malliavin calculus to the study of (complex) multiplicative chaos. To apply Malliavin calculus to imaginary chaos, we develop a new decomposition theorem for non-degenerate log-correlated fields via a small detour to operator theory, and obtain small ball probabilities for Sobolev norms of imaginary chaos.


title: Learning Global Structure Consistency for Robust Object Tracking

abstract: Fast appearance variations and the distractions of similar objects are two of the most challenging problems in visual object tracking. Unlike many existing trackers that focus on modeling only the target, in this work, we consider the \emph{transient variations of the whole scene}. The key insight is that the object correspondence and spatial layout of the whole scene are consistent (i.e., global structure consistency) in consecutive frames which helps to disambiguate the target from distractors. Moreover, modeling transient variations enables to localize the target under fast variations. Specifically, we propose an effective and efficient short-term model that learns to exploit the global structure consistency in a short time and thus can handle fast variations and distractors. Since short-term modeling falls short of handling occlusion and out of the views, we adopt the long-short term paradigm and use a long-term model that corrects the short-term model when it drifts away from the target or the target is not present. These two components are carefully combined to achieve the balance of stability and plasticity during tracking. We empirically verify that the proposed tracker can tackle the two challenging scenarios and validate it on large scale benchmarks. Remarkably, our tracker improves state-of-the-art-performance on VOT2018 from 0.440 to 0.460, GOT-10k from 0.611 to 0.640, and NFS from 0.619 to 0.629.


title: Second Order Perturbations of Kerr Black Holes: Reconstruction of the Metric

abstract: Motivated by gravitational wave observations of binary black hole mergers, we present a procedure to compute the leading order nonlinear gravitational wave interactions around a Kerr black hole. We describe the formalism used to derive the equations for second order perturbations. We develop a procedure that allows us to reconstruct the first order metric perturbation solely from knowledge of the solution to the first order Teukolsky equation, without the need of Hertz potentials. Finally, we illustrate this metric reconstruction procedure in the asymptotic limit for the first order quasi-normal modes of Kerr. In a companion paper, we present a numerical implementation of these ideas.


title: On the growth of Rankin-Selberg L-functions for $SL(2)$

abstract: In this paper, we establish bounds of the Rankin-Selberg $L$-function for $SL(2)$ using the supnorm of the Eisenstein series and a purely representation theoretic index over the real group. Consequently, we obtain a subconvexity bound $L(\frac{1}{2}+ it, f_1 \times f_2) \leq C (1+ |t|)^{\frac{5}{6}+\epsilon}$ for two Maass cusp forms of $SL(2, \mathbb Z)$.


title: Measurement-driven Security Analysis of Imperceptible Impersonation Attacks

abstract: The emergence of Internet of Things (IoT) brings about new security challenges at the intersection of cyber and physical spaces. One prime example is the vulnerability of Face Recognition (FR) based access control in IoT systems. While previous research has shown that Deep Neural Network(DNN)-based FR systems (FRS) are potentially susceptible to imperceptible impersonation attacks, the potency of such attacks in a wide set of scenarios has not been thoroughly investigated. In this paper, we present the first systematic, wide-ranging measurement study of the exploitability of DNN-based FR systems using a large scale dataset. We find that arbitrary impersonation attacks, wherein an arbitrary attacker impersonates an arbitrary target, are hard if imperceptibility is an auxiliary goal. Specifically, we show that factors such as skin color, gender, and age, impact the ability to carry out an attack on a specific target victim, to different extents. We also study the feasibility of constructing universal attacks that are robust to different poses or views of the attacker's face. Our results show that finding a universal perturbation is a much harder problem from the attacker's perspective. Finally, we find that the perturbed images do not generalize well across different DNN models. This suggests security countermeasures that can dramatically reduce the exploitability of DNN-based FR systems.


title: Commutator lengths in general linear group over a skew-field

abstract: We give an upper and lower estimate for the maximal commutator length of a noncentral element of the elementary subgroup of the general linear group over a skew-field based on the maximal commutator length of an element of the multiplicative group of that skew-field.


title: Stokes Vector Scattering induced by Nonlinear Depolarization of Light in Fiber

abstract: We report the experimental observation of SOP scattering in Stokes space caused by nonlinear depolarization (NLDP) of light in fiber. In addition to our previous characterizations of NLDP by SOP speed histograms and Stokes vector spectra, we measure SOP scattering angles. For trans-Pacific propagation distances these angles range within a few degrees.


title: Mechanisms and dynamics of the NH$_2^{+}$ + H$^{+}$ and NH$^{+}$ + H$^{+}$ + H fragmentation channels upon single-photon double ionization of NH$_3$

abstract: We present state-selective measurements on the NH$_2^{+}$ + H$^{+}$ and NH$^{+}$ + H$^{+}$ + H dissociation channels following single-photon double ionization at 61.5 eV of neutral NH$_{3}$, where the two photoelectrons and two cations are measured in coincidence using 3-D momentum imaging. Three dication electronic states are identified to contribute to the NH$_2^{+}$ + H$^{+}$ dissociation channel, where the excitation in one of the three states undergoes intersystem crossing prior to dissociation, producing a cold NH$_2^+$ fragment. In contrast, the other two states directly dissociate, producing a ro-vibrationally excited NH$_2^+$ fragment with roughly 1 eV of internal energy. The NH$^{+}$ + H$^{+}$ + H channel is fed by direct dissociation from three intermediate dication states, one of which is shared with the NH$_2^{+}$ + H$^{+}$ channel. We find evidence of autoionization contributing to each of the double ionization channels. The distributions of the relative emission angle between the two photoelectrons, as well as the relative angle between the recoil axis of the molecular breakup and the polarization vector of the ionizing field, are also presented to provide insight on both the photoionization and photodissociation mechanisms for the different dication states.


title: Domain-Adversarial Learning for Multi-Centre, Multi-Vendor, and Multi-Disease Cardiac MR Image Segmentation

abstract: Cine cardiac magnetic resonance (CMR) has become the gold standard for the non-invasive evaluation of cardiac function. In particular, it allows the accurate quantification of functional parameters including the chamber volumes and ejection fraction. Deep learning has shown the potential to automate the requisite cardiac structure segmentation. However, the lack of robustness of deep learning models has hindered their widespread clinical adoption. Due to differences in the data characteristics, neural networks trained on data from a specific scanner are not guaranteed to generalise well to data acquired at a different centre or with a different scanner. In this work, we propose a principled solution to the problem of this domain shift. Domain-adversarial learning is used to train a domain-invariant 2D U-Net using labelled and unlabelled data. This approach is evaluated on both seen and unseen domains from the M\&Ms challenge dataset and the domain-adversarial approach shows improved performance as compared to standard training. Additionally, we show that the domain information cannot be recovered from the learned features.


title: Photoelectron and fragmentation dynamics of the H$^{+}$ + H$^{+}$ dissociative channel in NH$_3$ following direct single-photon double ionization

abstract: We report measurements on the H$^{+}$ + H$^{+}$ fragmentation channel following direct single-photon double ionization of neutral NH$_{3}$ at 61.5 eV, where the two photoelectrons and two protons are measured in coincidence using 3-D momentum imaging. We identify four dication electronic states that contribute to H$^{+}$ + H$^{+}$ dissociation, based on our multireference configuration-interaction calculations of the dication potential energy surfaces. The extracted branching ratios between these four dication electronic states are presented. Of the four dication electronic states, three dissociate in a concerted process, while the fourth undergoes a sequential fragmentation mechanism. We find evidence that the neutral NH fragment or intermediate NH$^+$ ion is markedly ro-vibrationally excited. We also identify differences in the relative emission angle between the two photoelectrons as a function of their energy sharing for the four different dication states, which bare some similarities to previous observations made on atomic targets.


title: Anderson Acceleration for Seismic Inversion

abstract: The state-of-art seismic imaging techniques treat inversion tasks such as FWI and LSRTM as PDE-constrained optimization problems. Due to the large-scale nature, gradient-based optimization algorithms are preferred in practice to update the model iteratively. Higher-order methods converge in fewer iterations but often require higher computational costs, more line search steps, and bigger memory storage. A balance among these aspects has to be considered. We propose using Anderson acceleration (AA), a popular strategy to speed up the convergence of fixed-point iterations, to accelerate the steepest descent algorithm, which we innovatively treat as a fixed-point iteration. Independent of the dimensionality of the unknown parameters, the computational cost of implementing the method can be reduced to an extremely low-dimensional least-squares problem. The cost can be further reduced by a low-rank update. We discuss the theoretical connections and the differences between AA and other well-known optimization methods such as L-BFGS and the restarted GMRES and compare their computational cost and memory demand. Numerical examples of FWI and LSRTM applied to the Marmousi benchmark demonstrate the acceleration effects of AA. Compared with the steepest descent method, AA can achieve fast convergence and provide competitive results with some quasi-Newton methods, making it an attractive optimization strategy for seismic inversion.


title: Emergence of the Circle in a Statistical Model of Random Cubic Graphs

abstract: We consider a formal discretisation of Euclidean quantum gravity defined by a statistical model of random $3$-regular graphs and making using of the Ollivier curvature, a coarse analogue of the Ricci curvature. Numerical analysis shows that the Hausdorff and spectral dimensions of the model approach $1$ in the joint classical-thermodynamic limit and we argue that the scaling limit of the model is the circle of radius $r$, $S^1_r$. Given mild kinematic constraints, these claims can be proven with full mathematical rigour: speaking precisely, it may be shown that for $3$-regular graphs of girth at least $4$, any sequence of action minimising configurations converges in the sense of Gromov-Hausdorff to $S^1_r$. We also present strong evidence for the existence of a second-order phase transition through an analysis of finite size effects. This -- essentially solvable -- toy model of emergent one-dimensional geometry is meant as a controllable paradigm for the nonperturbative definition of random flat surfaces.

categories: hep-th cond-mat.stat-mech gr-qc math-ph math.MP


title: A general framework for substructuring-based domain decomposition methods for models having nonlocal interactions

abstract: A rigorous mathematical framework is provided for a substructuring-based domain-decomposition approach for nonlocal problems that feature interactions between points separated by a finite distance. Here, by substructuring it is meant that a traditional geometric configuration for local partial differential equation problems is used in which a computational domain is subdivided into non-overlapping subdomains. In the nonlocal setting, this approach is substructuring-based in the sense that those subdomains interact with neighboring domains over interface regions having finite volume, in contrast to the local PDE setting in which interfaces are lower dimensional manifolds separating abutting subdomains. Key results include the equivalence between the global, single-domain nonlocal problem and its multi-domain reformulation, both at the continuous and discrete levels. These results provide the rigorous foundation necessary for the development of efficient solution strategies for nonlocal domain-decomposition methods.


title: Stable Pontryagin-Thom construction for proper maps II

abstract: In arXiv:1905.07734 we presented a construction that is an analogue of Pontryagin's for proper maps in stable dimensions. This gives a bijection between the cobordism set of framed embedded compact submanifolds in $W\times\mathbb{R}^n$ for a given manifold $W$ and a large enough number $n$, and the homotopy classes of proper maps from $W\times\mathbb{R}^n$ to $\mathbb{R}^{k+n}$. In the present paper we generalise this result in a similar way as Thom's construction generalises Pontryagin's. In other words, we present a bijection between the cobordism set of submanifolds embedded in $W\times\mathbb{R}^n$ with normal bundles induced from a given bundle $\xi\oplus\varepsilon^n$, and the homotopy classes of proper maps from $W\times\mathbb{R}^n$ to a space $U(\xi\oplus\varepsilon^n)$ that depends on the given bundle. An important difference between Thom's construction and ours is that we also consider cobordisms of non-compact manifolds after indroducing a suitable notion of cobordism relation for these.


title: Quantum Lifshitz points and fluctuation-induced first-order phase transitions in imbalanced Fermi mixtures

abstract: We perform a detailed analysis of the phase transition between the uniform superfluid and normal phases in spin- and mass-imbalanced Fermi mixtures. At mean-field level we demonstrate that at temperature $T\to 0$ the gradient term in the effective action can be tuned to zero for experimentally relevant sets of parameters, thus providing an avenue to realize a quantum Lifshitz point. We subsequently analyze damping processes affecting the order-parameter field across the phase transition. We show that, in the low energy limit, Landau damping occurs only in the symmetry-broken phase and affects exclusively the longitudinal component of the order-parameter field. It is however unavoidably present in the immediate vicinity of the phase transition at temperature $T=0$. We subsequently perform a renormalization-group analysis of the system in a situation, where, at mean-field level, the quantum phase transition is second order (and not multicritical). We find that, at $T$ sufficiently low, including the Landau damping term in a form derived from the microscopic action destabilizes the renormalization group flow towards the Wilson-Fisher fixed point. This signals a possible tendency to drive the transition weakly first-order by the coupling between the order-parameter fluctuations and fermionic excitations effectively captured by the Landau damping contribution to the order-parameter action.

categories: cond-mat.quant-gas cond-mat.stat-mech cond-mat.str-el cond-mat.supr-con


title: Visual Concept Reasoning Networks

abstract: A split-transform-merge strategy has been broadly used as an architectural constraint in convolutional neural networks for visual recognition tasks. It approximates sparsely connected networks by explicitly defining multiple branches to simultaneously learn representations with different visual concepts or properties. Dependencies or interactions between these representations are typically defined by dense and local operations, however, without any adaptiveness or high-level reasoning. In this work, we propose to exploit this strategy and combine it with our Visual Concept Reasoning Networks (VCRNet) to enable reasoning between high-level visual concepts. We associate each branch with a visual concept and derive a compact concept state by selecting a few local descriptors through an attention module. These concept states are then updated by graph-based interaction and used to adaptively modulate the local descriptors. We describe our proposed model by split-transform-attend-interact-modulate-merge stages, which are implemented by opting for a highly modularized architecture. Extensive experiments on visual recognition tasks such as image classification, semantic segmentation, object detection, scene recognition, and action recognition show that our proposed model, VCRNet, consistently improves the performance by increasing the number of parameters by less than 1%.


title: Output Feedback Control of Coupled Linear Parabolic ODE-PDE-ODE Systems

abstract: This paper deals with the backstepping design of observer-based compensators for parabolic ODE-PDE-ODE systems. The latter consist of n coupled parabolic PDEs with distinct diffusion coefficients and spatially-varying coefficients, that are bidirectionally coupled to ODEs at both boundaries. The actuation and sensing appears through these ODEs resulting in a challenging control problem. For this setup a systematic backstepping approach is proposed, in order to determine a state feedback controller and an observer. In particular, the state feedback loop and the observer error dynamics are mapped into stable ODE-PDE-ODE cascades by making use of a sequence of transformations. With this, the design can be traced back to the solution of kernel equations already found in the literature as well as initial and boundary value problems, that can be solved numerically. Exponential stability of the closed-loop system is verified, wherein the decay rate can be directly specified in the design. The results of the paper are illustrated by the output feedback control of an unstable ODE-PDE-ODE system with two coupled parabolic PDEs.


title: Understanding scholarly Natural Language Processing system diagrams through application of the Richards-Engelhardt framework

abstract: We utilise Richards-Engelhardt framework as a tool for understanding Natural Language Processing systems diagrams. Through four examples from scholarly proceedings, we find that the application of the framework to this ecological and complex domain is effective for reflecting on these diagrams. We argue for vocabulary to describe multiple-codings, semiotic variability, and inconsistency or misuse of visual encoding principles in diagrams. Further, for application to scholarly Natural Language Processing systems, and perhaps systems diagrams more broadly, we propose the addition of "Grouping by Object" as a new visual encoding principle, and "Emphasising" as a new visual encoding type.


title: Simple Reductions from Formula-SAT to Pattern Matching on Labeled Graphs and Subtree Isomorphism

abstract: The CNF formula satisfiability problem (CNF-SAT) has been reduced to many fundamental problems in P to prove tight lower bounds under the Strong Exponential Time Hypothesis (SETH). Recently, the works of Abboud, Hansen, Vassilevska W. and Williams (STOC 16), and later, Abboud and Bringmann (ICALP 18) have proposed basing lower bounds on the hardness of general boolean formula satisfiability (Formula-SAT). Reductions from Formula-SAT have two advantages over the usual reductions from CNF-SAT: (1) conjectures on the hardness of Formula-SAT are arguably much more plausible than those of CNF-SAT, and (2) these reductions give consequences even for logarithmic improvements in a problems upper bounds. Here we give tight reductions from Formula-SAT to two more problems: pattern matching on labeled graphs (PMLG) and subtree isomorphism. Previous reductions from Formula-SAT were to sequence alignment problems such as Edit Distance, LCS, and Frechet Distance and required some technical work. This paper uses ideas similar to those used previously, but in a decidedly simpler setting, helping to illustrate the most salient features of the underlying techniques.


title: An accelerated staggered scheme for phase-field modeling of brittle fracture

abstract: There is currently an increasing interest in developing efficient solvers for phase-field modeling of brittle fracture. The governing equations for this problem originate from a constrained minimization of a non-convex energy functional, and the most commonly used solver is a staggered solution scheme. This is known to be robust compared to the monolithic Newton method, however, the staggered scheme often requires many iterations to converge when cracks are evolving. The focus of our work is to accelerate the solver through a scheme that sequentially applies Anderson acceleration and over-relaxation, switching back and forth depending on the residual evolution, and thereby ensuring a decreasing tendency. The resulting scheme takes advantage of the complementary strengths of Anderson acceleration and over-relaxation to make a robust and accelerating method for this problem. The new method is applied as a post-processing technique to the increments of the solver, hence, the implementation can be done with minor modifications to already available software. Moreover, the cost of combining the two acceleration schemes is negligible. The robustness and efficiency of the method are demonstrated through numerical examples.


title: Share Price Prediction of Aerospace Relevant Companies with Recurrent Neural Networks based on PCA

abstract: The capital market plays a vital role in marketing operations for aerospace industry. However, due to the uncertainty and complexity of the stock market and many cyclical factors, the stock prices of listed aerospace companies fluctuate significantly. This makes the share price prediction challengeable. To improve the prediction of share price for aerospace industry sector and well understand the impact of various indicators on stock prices, we provided a hybrid prediction model by the combination of Principal Component Analysis (PCA) and Recurrent Neural Networks. We investigated two types of aerospace industries (manufacturer and operator). The experimental results show that PCA could improve both accuracy and efficiency of prediction. Various factors could influence the performance of prediction models, such as finance data, extracted features, optimisation algorithms, and parameters of the prediction model. The selection of features may depend on the stability of historical data: technical features could be the first option when the share price is stable, whereas fundamental features could be better when the share price has high fluctuation. The delays of RNN also depend on the stability of historical data for different types of companies. It would be more accurate through using short-term historical data for aerospace manufacturers, whereas using long-term historical data for aerospace operating airlines. The developed model could be an intelligent agent in an automatic stock prediction system, with which, the financial industry could make a prompt decision for their economic strategies and business activities in terms of predicted future share price, thus improving the return on investment. Currently, COVID-19 severely influences aerospace industries. The developed approach can be used to predict the share price of aerospace industries at post COVID-19 time.


title: Expressive Telepresence via Modular Codec Avatars

abstract: VR telepresence consists of interacting with another human in a virtual space represented by an avatar. Today most avatars are cartoon-like, but soon the technology will allow video-realistic ones. This paper aims in this direction and presents Modular Codec Avatars (MCA), a method to generate hyper-realistic faces driven by the cameras in the VR headset. MCA extends traditional Codec Avatars (CA) by replacing the holistic models with a learned modular representation. It is important to note that traditional person-specific CAs are learned from few training samples, and typically lack robustness as well as limited expressiveness when transferring facial expressions. MCAs solve these issues by learning a modulated adaptive blending of different facial components as well as an exemplar-based latent alignment. We demonstrate that MCA achieves improved expressiveness and robustness w.r.t to CA in a variety of real-world datasets and practical scenarios. Finally, we showcase new applications in VR telepresence enabled by the proposed model.


title: MutaGAN: A Seq2seq GAN Framework to Predict Mutations of Evolving Protein Populations

abstract: The ability to predict the evolution of a pathogen would significantly improve the ability to control, prevent, and treat disease. Despite significant progress in other problem spaces, deep learning has yet to contribute to the issue of predicting mutations of evolving populations. To address this gap, we developed a novel machine learning framework using generative adversarial networks (GANs) with recurrent neural networks (RNNs) to accurately predict genetic mutations and evolution of future biological populations. Using a generalized time-reversible phylogenetic model of protein evolution with bootstrapped maximum likelihood tree estimation, we trained a sequence-to-sequence generator within an adversarial framework, named MutaGAN, to generate complete protein sequences augmented with possible mutations of future virus populations. Influenza virus sequences were identified as an ideal test case for this deep learning framework because it is a significant human pathogen with new strains emerging annually and global surveillance efforts have generated a large amount of publicly available data from the National Center for Biotechnology Information's (NCBI) Influenza Virus Resource (IVR). MutaGAN generated "child" sequences from a given "parent" protein sequence with a median Levenshtein distance of 2.00 amino acids. Additionally, the generator was able to augment the majority of parent proteins with at least one mutation identified within the global influenza virus population. These results demonstrate the power of the MutaGAN framework to aid in pathogen forecasting with implications for broad utility in evolutionary prediction for any protein population.


title: Reputation-driven Decision-making in Networks of Stochastic Agents

abstract: This paper studies multi-agent systems that involve networks of self-interested agents. We propose a Markov Decision Process-derived framework, called RepNet-MDP, tailored to domains in which agent reputation is a key driver of the interactions between agents. The fundamentals are based on the principles of RepNet-POMDP, a framework developed by Rens et al. in 2018, but addresses its mathematical inconsistencies and alleviates its intractability by only considering fully observable environments. We furthermore use an online learning algorithm for finding approximate solutions to RepNet-MDPs. In a series of experiments, RepNet agents are shown to be able to adapt their own behavior to the past behavior and reliability of the remaining agents of the network. Finally, our work identifies a limitation of the framework in its current formulation that prevents its agents from learning in circumstances in which they are not a primary actor.


title: Prospects of Indirect Detection for the Heavy S3 Dark Doublet

abstract: We present an analysis of the Dark S3 model in the heavy DM mass region, this model features an S3 symmetric extension of the scalar sector of the SM including a scalar $SU(2)$ doublet dark matter candidate. We use publicly available tools to compute, in addition to conventional physical constraints on the parameter space of the model, the Sommerfeld enhancement factors for the present day annihilation cross section and the likelihood profile for a simulation of an observation run by the Cherenkov Telescope Array of the Coma Berenices dwarf galaxy. Our results disfavour masses above $\sim$5 TeV mainly because of overproduction of dark matter not consistent with the relic abundance observations; we also find a moderately large region with masses in between 1.2 and 4.9 TeV which predict the correct value of the DM relic and in addition have a light scalar with the characteristics of the SM Higgs boson (i.e. within the decoupling limit akin to the THDM). Comparison of our results with model independent exclusion curves from HESS and other CTA simulations show that these limits fall short only an order of magnitude in the value of the annihilation cross section in order to exclude the best fit point of the model.


title: Entanglement bootstrap approach for gapped domain walls

abstract: We develop a theory of gapped domain wall between topologically ordered systems in two spatial dimensions. We find a new type of superselection sector -- referred to as the parton sector -- that subdivides the known superselection sectors localized on gapped domain walls. Moreover, we introduce and study the properties of composite superselection sectors that are made out of the parton sectors. We explain a systematic method to define these sectors, their fusion spaces, and their fusion rules, by deriving nontrivial identities relating their quantum dimensions and fusion multiplicities. We propose a set of axioms regarding the ground state entanglement entropy of systems that can host gapped domain walls, generalizing the bulk axioms proposed in [B. Shi, K. Kato, and I. H. Kim, Ann. Phys. 418, 168164 (2020)]. Similar to our analysis in the bulk, we derive our main results by examining the self-consistency relations of an object called information convex set. As an application, we define an analog of topological entanglement entropy for gapped domain walls and derive its exact expression.


title: Domain wall topological entanglement entropy

abstract: We study the ground-state entanglement of gapped domain walls between topologically ordered systems in two spatial dimensions. We derive a universal correction to the ground-state entanglement entropy, which is equal to the logarithm of the total quantum dimension of a set of superselection sectors localized on the domain wall. This expression is derived from the recently proposed entanglement bootstrap method.


title: Accurate Deep Potential model for the Al-Cu-Mg alloy in the full concentration space

abstract: Combining first-principles accuracy and empirical-potential efficiency for the description of the potential energy surface (PES) is the philosopher's stone for unraveling the nature of matter via atomistic simulation. This has been particularly challenging for multi-component alloy systems due to the complex and non-linear nature of the associated PES. In this work, we develop an accurate PES model for the Al-Cu-Mg system by employing Deep Potential (DP), a neural network based representation of the PES, and DP Generator (DP-GEN), a concurrent-learning scheme that generates a compact set of ab initio data for training. The resulting DP model gives predictions consistent with first-principles calculations for various binary and ternary systems on their fundamental energetic and mechanical properties, including formation energy, equilibrium volume, equation of state, interstitial energy, vacancy and surface formation energy, as well as elastic moduli. Extensive benchmark shows that the DP model is ready and will be useful for atomistic modeling of the Al-Cu-Mg system within the full range of concentration.


title: Bayesian Force Fields from Active Learning for Simulation of Inter-Dimensional Transformation of Stanene

abstract: We present a way to dramatically accelerate Gaussian process models for interatomic force fields based on many-body kernels by mapping both forces and uncertainties onto functions of low-dimensional features. This allows for automated active learning of models combining near-quantum accuracy, built-in uncertainty, and constant cost of evaluation that is comparable to classical analytical models, capable of simulating millions of atoms. Using this approach, we perform large scale molecular dynamics simulations of the stability of the stanene monolayer. We discover an unusual phase transformation mechanism of 2D stanene, where ripples lead to nucleation of bilayer defects, densification into a disordered multilayer structure, followed by formation of bulk liquid at high temperature or nucleation and growth of the 3D bcc crystal at low temperature. The presented method opens possibilities for rapid development of fast accurate uncertainty-aware models for simulating long-time large-scale dynamics of complex materials.


title: Estimation and Inference for the Mediation Effect in a Time-varying Mediation Model

abstract: Traditional mediation analysis typically examines the relations among an intervention, a time-invariant mediator, and a time-invariant outcome variable. Although there may be a direct effect of the intervention on the outcome, there is a need to understand the process by which the intervention affects the outcome (i.e. the indirect effect through the mediator). This indirect effect is frequently assumed to be time-invariant. With improvements in data collection technology, it is possible to obtain repeated assessments over time resulting in intensive longitudinal data. This calls for an extension of traditional mediation analysis to incorporate time-varying variables as well as time-varying effects. In this paper, we focus on estimation and inference for the time-varying mediation model, which allows mediation effects to vary as a function of time. We propose a two-step approach to estimate the time-varying mediation effect. Moreover, we use a simulation based approach to derive the corresponding point-wise confidence band for the time-varying mediation effect. Simulation studies show that the proposed procedures perform well when comparing the confidence band and the true underlying model. We further apply the proposed model and the statistical inference procedure to real-world data collected from a smoking cessation study.


title: Numerical Analysis Investigation of Acoustic Shadow Moir\'e Interference

abstract: Acoustic shadow moir\'e has unique properties to be used for many potential applications in medical diagnostics, manufacturing, and material characterization. In this paper, numerical analysis, using Comsol, is used to investigate the principles of acoustic moir\'e interference phenomenon. The study confirmed that the expected fringe images of shadow interference can be created at Talbot distances. The study confirms the experimental results reported by this group [1] and proves without any doubt that acoustic moir\'e interference phenomenon exists.


title: GPU-accelerating ImageJ Macro image processing workflows using CLIJ

abstract: This chapter introduces GPU-accelerated image processing in ImageJ/FIJI. The reader is expected to have some pre-existing knowledge of ImageJ Macro programming. Core concepts such as variables, for-loops, and functions are essential. The chapter provides basic guidelines for improved performance in typical image processing workflows. We present in a step-by-step tutorial how to translate a pre-existing ImageJ macro into a GPU-accelerated macro.


title: Numerical Analysis of Liquid Cooling of 3D-ICs Using Embedded Channels

abstract: Hot-spots are considered among the unavoidable consequences of the high integration density of 3D-ICs. Eliminating hot spots requires employing efficient cooling techniques. Using embedded channels, liquid cooling systems can be designed to deliver the right amount of coolant to each spot of the chip. In this study, numerical analysis is used to investigate the cooling of a 20 W hot spot using embedded channels employing three coolants: water, Freon (R22), and liquid nitrogen (LN). The investigation of thermal management and stress show that, although LN provides the lowest operating temperature (164 K), it causes the highest stress (355 MPa) at 100 mm/s inlet velocity. The study also shows that, coolant delivery using parallel channels results in a wide variation of local temperatures and stress. This stress variation may form high-stress spots, which may cause circuit failure, performance degradation, or yield reduction. Therefore, cooling systems and chip fabrication should be designed to ensure the elimination of high-stress hot spots.


title: Acoustic Shadow Moir\'e Interference: Experimental Proof

abstract: Shadow moir\'e techniques are developed for optical waves to image 3D objects to determine their surface topology. In this paper we prove experimentally that also ultrasound can be used to create moir\'e images. Using moir\'e techniques will enhance ultrasound applications, such as medical imaging and material characterization. In our experiment, we used a grating mask made of aluminum, an ultrasound source in the megahertz range, and an acousto-optic detector to create and capture Talbot images for the grating. Talbot images are captured using and acousto-optic camera. The captured image was created from ultrasound waves with {\lambda}=0.43 mm. The fringes of the images proved that they are shadow moir\'e fringes.


title: Thermal Stress Analysis of Liquid-Cooled 3D-ICs

abstract: It is known that 3D-ICs suffer from hot spot temperatures that can reach thousands of degrees, if they are not cooled to reasonable operating temperatures. The problem of hot spots is not limited to the high temperatures of the IC; thermal stress can also pose severe problems, even after cooling the chip. This study investigates thermal stress resulting from a 3D-IC hot spot with 20 W power dissipation. The IC is cooled using SiO2 and diamond cooling blocks. The study is performed using three cooling liquids: water, Freon (R22), and Liquid Nitrogen (LN). As expected, the study shows that metal layers on the chip suffer from high thermal stress due to rising the chip temperature to values higher than the room temperature. It is also noticed that the stress becomes more severe, if cooling is done using LN. In fact, the stress exceeded the maximum tensile strength of aluminum, which means failure of the chip. This indicates that cooling 3D-IC may not ensure acceptable operation or reliability. Thermal stress must be investigated at both high and low temperatures to ensure high performance and acceptable reliability.


title: SmartSON:A Smart contract driven incentive management framework for Self-Organizing Networks

abstract: This article proposes a self-organizing collaborative computing network with an approach to enhance the expectation of a collaborating node for joining the self-organizing network. The proposed approach relies on Ethereum cryptocurrency and Smart Contract to enhance the expectation of collaborating nodes by monetizing the services provided to the self-organizing network. Furthermore, an escrow based smart contract is formalized in the proposed framework to sustains the monetary trust issue between collaborating nodes. The proposed scheme can enforce an autonomic incentive management mechanism to any type of self-organizing networks such as self-organizing clouds, ad-hoc networks, self-organizing federated cloud networks, self-organizing federated learning networks, and self-organizing D2D networks to name a few. Considering the distributed nature of these self-organizing networks and the Ethereum blockchain network, a distributed agent-based methodology is materialized in the proposed framework. Following this, a proof of concept implementation for the general case of a self-organizing cloud is presented. Lastly, the article provides some insights into possible future directions using the proposed framework.


title: Deep Inverse Reinforcement Learning for Structural Evolution of Small Molecules

abstract: The size and quality of chemical libraries to the drug discovery pipeline are crucial for developing new drugs or repurposing existing drugs. Existing techniques such as combinatorial organic synthesis and High-Throughput Screening usually make the process extraordinarily tough and complicated since the search space of synthetically feasible drugs is exorbitantly huge. While reinforcement learning has been mostly exploited in the literature for generating novel compounds, the requirement of designing a reward function that succinctly represents the learning objective could prove daunting in certain complex domains. Generative Adversarial Network-based methods also mostly discard the discriminator after training and could be hard to train. In this study, we propose a framework for training a compound generator and learning a transferable reward function based on the entropy maximization inverse reinforcement learning paradigm. We show from our experiments that the inverse reinforcement learning route offers a rational alternative for generating chemical compounds in domains where reward function engineering may be less appealing or impossible while data exhibiting the desired objective is readily available.


title: An exploratory time series analysis of total deaths per month in Brazil since 2015

abstract: In this article, we investigate the historical series of the total number of deaths per month in Brazil since 2015 using time series analysis techniques, in order to assess whether the COVID-19 pandemic caused any change in the series' generating mechanism. The results obtained so far indicate that there was no statistical significant impact.


title: The Time Function of Stock Price

abstract: This paper tends to define the quantitative relationship between the stock price and time as a time function. Based on the empirical evidence that the log-return of a stock is the series of white noise, a mathematical model of the integral white noise is established to describe the phenomenon of stock price movement. A deductive approach is used to derive the auto-correlation function, displacement formula and power spectral density of the stock price movement, which reveals not only the characteristics and rules of the movement but also the predictability of the stock price. The deductive fundamental is provided for the price analysis, prediction and risk management of portfolio investment.


title: Probing the chirality of 1D Majorana edge states around a 2D nanoflake in a superconductor

abstract: The interplay between superconductivity, magnetic field and spin-orbit coupling can lead to the realization of non--trivial topological phases. Recent experiments have found signatures of such phases in magnetic nanoflakes formed by nanostructures coupled to a superconducting substrate. These heterostructures comprise a topologically non-trivial region surrounded by a trivial one due to the finite magnetic exchange field induced by the magnetic nanoflake. The analysis of the topological phase diagram of such a system shows that a similar phase separation occurs by tuning the chemical potential of the nanoflake. In this paper, we study such a possibility in detail, analyzing the spatial extent of the edge modes circulating around the nanoflake and discussing some practical implementations. We also show how the chirality of Majorana edge states can be probed using scanning tunneling spectroscopy with a double tip setup.


title: #ISIS vs #ActionCountersTerrorism: A Computational Analysis of Extremist and Counter-extremist Twitter Narratives

abstract: The rapid expansion of cyberspace has greatly facilitated the strategic shift of traditional crimes to online platforms. This has included malicious actors, such as extremist organisations, making use of online networks to disseminate propaganda and incite violence through radicalising individuals. In this article, we seek to advance current research by exploring how supporters of extremist organisations craft and disseminate their content, and how posts from counter-extremism agencies compare to them. In particular, this study will apply computational techniques to analyse the narratives of various pro-extremist and counter-extremist Twitter accounts, and investigate how the psychological motivation behind the messages compares between pro-ISIS and counter-extremism narratives. Our findings show that pro-extremist accounts often use different strategies to disseminate content (such as the types of hashtags used) when compared to counter-extremist accounts across different types of organisations, including accounts of governments and NGOs. Through this study, we provide unique insights into both extremist and counter-extremist narratives on social media platforms. Furthermore, we define several avenues for discussion regarding the extent to which counter-messaging may be effective at diminishing the online influence of extremist and other criminal organisations.


title: Unlabeled Data Help in Graph-Based Semi-Supervised Learning: A Bayesian Nonparametrics Perspective

abstract: In this paper we analyze the graph-based approach to semi-supervised learning under a manifold assumption. We adopt a Bayesian perspective and demonstrate that, for a suitable choice of prior constructed with sufficiently many unlabeled data, the posterior contracts around the truth at a rate that is minimax optimal up to a logarithmic factor. Our theory covers both regression and classification.


title: A Magnetic Velocity Verlet Method

abstract: We discuss an extension of the velocity Verlet method that accurately approximates the kinetic-energy-conserving charged particle motion that comes from magnetic forcing. For a uniform magnetic field, the method is shown to conserve both particle kinetic energy and magnetic dipole moment better than midpoint Runge-Kutta. We then use the magnetic velocity Verlet method to generate trapped particle trajectories, both in a cylindrical magnetic mirror machine setup, and for dipolar fields like the earth's magnetic field. Finally, the method is used to compute an example of (single) mirror motion in the presence of a magnetic monopole field, where the trajectory can be described in closed form.


title: Constrained Markov Decision Processes via Backward Value Functions

abstract: Although Reinforcement Learning (RL) algorithms have found tremendous success in simulated domains, they often cannot directly be applied to physical systems, especially in cases where there are hard constraints to satisfy (e.g. on safety or resources). In standard RL, the agent is incentivized to explore any behavior as long as it maximizes rewards, but in the real world, undesired behavior can damage either the system or the agent in a way that breaks the learning process itself. In this work, we model the problem of learning with constraints as a Constrained Markov Decision Process and provide a new on-policy formulation for solving it. A key contribution of our approach is to translate cumulative cost constraints into state-based constraints. Through this, we define a safe policy improvement method which maximizes returns while ensuring that the constraints are satisfied at every step. We provide theoretical guarantees under which the agent converges while ensuring safety over the course of training. We also highlight the computational advantages of this approach. The effectiveness of our approach is demonstrated on safe navigation tasks and in safety-constrained versions of MuJoCo environments, with deep neural networks.


title: Theory of three-magnon interaction in a vortex-state magnetic nanodot

abstract: We use vector Hamiltonian formalism (VHF) to study theoretically three-magnon parametric interaction (or three-wave splitting) in a magnetic disk existing in a magnetic vortex ground state. The three-wave splitting in a disk is found to obey two selection rules: (i) conservation of the total azimuthal number of the resultant spin-wave modes, and (ii) inequality for the radial numbers of interacting modes, if the mode directly excited by the driving field is radially symmetric (i.e. if the azimuthal number of the directly excited mode is $m = 0$). The selection rule (ii), however, is relaxed in the "small" magnetic disks, due to the influence of the vortex core. We also found, that the efficiency of the three-wave interaction of the directly excited mode strongly depends on the azimuthal and radial mode numbers of the resultant modes, that becomes determinative in the case when several splitting channels (several pairs of resultant modes) simultaneously approximately satisfy the resonance condition for the splitting. The good agreement of the VHF analytic calculations with the experiment and micromagnetic simulations proves the capability of the VHF formalism to predict the actual splitting channels and the magnitudes of the driving field thresholds for the three-wave splitting.


title: The use of multiple models within an organisation

abstract: Organisations, whether in government, industry or commerce, are required to make decisions in a complex and uncertain environment. The way models are used is intimately connected to the way organisations make decisions and the context in which they make them. Typically, in a complex organisation, multiple related models will often be used in support of a decision. For example, engineering models might be combined with financial models and macro-economic models in order to decide whether to invest in new production capability. Different parts of a complex organisation might operate their own related models which might then be presented to a central decision maker. Yet in practice, there is little awareness of the practical challenges of using models in a robust way to support decision making. There is significant scope to improve decision making though an enhanced understanding of the role and limitations of modelling and through the application of cutting edge methodologies and organisational best practice. This report is in the form of a 'white paper', whose purpose is to identify key issues for consideration whist postulating tentative approaches to these issues that might be worthy of further exploration, focussing on both technical and organisational aspects. It begins with a framework for consideration of how model-based decisions are made in organisations. It then looks more closely at the questions of uncertainty and multiple models. It then postulates some technical statistical and organisational approaches for managing some of these issues. Finally, it considers the way forward, and the possible focus for further work.


title: An algorithm for finding square root modulo p

abstract: We propose a novel algorithm for finding square roots modulo p. Although there exists a direct formula to calculate square root of an element modulo prime (3 mod 4), but calculating square root modulo prime (1 mod 4) is non trivial. Tonelli-Shanks algorithm remains the most widely used and probably the fastest when averaged over all primes [19]. This paper proposes a new algorithm for finding square roots modulo all odd primes, which shows improvement over existing method in practical terms although asymptotically gives the same run time as Tonelli-Shanks. Apart from practically efficient computation time, the proposed method does not necessarily require availability of non-residue and can work with `relative non-residue' also. Such `relative non-residues' are much easier to find ( probability 2/3) compared to non-residues ( probability 1/2).


title: An immersed phase field fracture model for fluid-infiltrating porous media with evolving Beavers-Joseph-Saffman condition

abstract: This study presents a phase field model for brittle fracture in fluid-infiltrating vuggy porous media. While the state-of-the-art in hydraulic phase field fracture considers Darcian fracture flow with enhanced permeability along the crack, in this study, the phase field not only acts as a damage variable that provides diffuse representation of cracks or cavities, but also acts as an indicator function that separates the domain into two regions where fluid flows are governed by Stokes and Darcy equations, respectively. Since the phase field and its gradient can be respectively regarded as smooth approximations of the Heaviside function and Dirac delta function, our new approach is capable of imposing interfacial transmissibility conditions without explicit interface parametrizations. In addition, the interaction between solid and fluid constituents is modeled by adopting the concept of mixture theory, where the fluid velocities in Stokes and Darcy regions are considered as relative measures compared to the solid motion. This model is particularly attractive for coupled flow analysis in geological materials with complex microstructures undergoing brittle fracture often encountered in energy geotechnics problems, since it completely eliminates the needs to generate specific enrichment function, integration scheme, or meshing algorithm tailored for complex geological features.


title: Inverse design in photonics by topology optimization: tutorial

abstract: Topology optimization methods for inverse design of nano-photonic systems have recently become extremely popular and are presented in various forms and under various names. Approaches comprise gradient and non-gradient based algorithms combined with more or less systematic ways to improve convergence, discreteness of solutions and satisfaction of manufacturing constraints. We here provide a tutorial for the systematic and efficient design of nano-photonic structures by Topology Optimization (TopOpt). The implementation is based on the advanced and systematic approaches developed in TopOpt for structural optimization during the last three decades. The tutorial presents a step-by-step guide for deriving the continuous constrained optimization problem forming the foundation of the Topology Optimization method, using a cylindrical metalens design problem as an example. It demonstrates the effect and necessity of applying a number of auxiliary tools in the design process in order to ensure good numerical modelling practice and to achieve physically realisable designs. Application examples also include an optical demultiplexer.


title: Spatial Privacy Pricing: The Interplay between Privacy, Utility and Price in Geo-Marketplaces

abstract: A geo-marketplace allows users to be paid for their location data. Users concerned about privacy may want to charge more for data that pinpoints their location accurately, but may charge less for data that is more vague. A buyer would prefer to minimize data costs, but may have to spend more to get the necessary level of accuracy. We call this interplay between privacy, utility, and price \emph{spatial privacy pricing}. We formalize the issues mathematically with an example problem of a buyer deciding whether or not to open a restaurant by purchasing location data to determine if the potential number of customers is sufficient to open. The problem is expressed as a sequential decision making problem, where the buyer first makes a series of decisions about which data to buy and concludes with a decision about opening the restaurant or not. We present two algorithms to solve this problem, including experiments that show they perform better than baselines.


title: Stability in the higher derivative Abelian gauge field theory

abstract: We present the derivation of conserved tensors associated to higher-order symmetries in the higher derivative Maxwell Abelian gauge field theories. In our model, the wave operator of the higher derived theory is a $n$-th order polynomial expressed in terms of the usual Maxwell operator. Any symmetry of the primary wave operator gives rise to a collection of independent higher-order symmetries of the field equations which thus leads to a series of independent conserved quantities of derived system. In particular, by the extension of Noether's theorem, the spacetime translation invariance of the Maxwell primary operator results in the series of conserved second-rank tensors which includes the standard canonical energy-momentum tensors. Although this canonical energy is unbounded from below, by introducing a set of parameters, the other conserved tensors in the series can be bounded which ensure the stability of the higher derivative dynamics. In addition, with the aid of auxiliary fields, we successfully obtain the relations between the roots decomposition of characteristic polynomial of the wave operator and the conserved energy-momentum tensors within the context of another equivalent lower-order representation. Under the certain conditions, the 00-component of the linear combination of these conserved quantities is bounded and by this reason, the original derived theory is considered stable. Finally, as an instructive example, we discuss the third-order derived system and analyze extensively the stabilities in different cases of roots decomposition.


title: A fractional stochastic theory for interfacial polarization of cell aggregates

abstract: We present a theoretical framework to model the electric response of cell aggregates. We establish a coarse representation for each cell as a combination of membrane and cytoplasm dipole moments. Then we compute the effective conductivity of the resulting system, and thereafter derive a Fokker-Planck partial differential equation that captures the time-dependent evolution of the distribution of induced cellular polarizations in an ensemble of cells. Our model predicts that the polarization density parallel to an applied pulse follows a skewed t-distribution, while the transverse polarization density follows a symmetric t-distribution, which are in accordance with our direct numerical simulations. Furthermore, we report a reduced order model described by a coupled pair of ordinary differential equations that reproduces the average and the variance of induced dipole moments in the aggregate. We extend our proposed formulation by considering fractional order time derivatives that we find necessary to explain anomalous relaxation phenomena observed in experiments as well as our direct numerical simulations. Owing to its time-domain formulation, our framework can be easily used to consider nonlinear membrane effects or intercellular couplings that arise in several scientific, medical and technological applications.

categories: cs.CE physics.bio-ph physics.chem-ph physics.comp-ph


title: Revealing charge anisotropies in metal compounds via high-purity x-ray polarimetry

abstract: Linear polarization analysis of hard x-rays is employed to probe electronic anisotropies in metal-containing complexes with very high selectivity. We use the pronounced linear dichroism of nuclear resonant x-ray scattering to determine electric field gradients in an iron(II) containing compound as they evolve during a temperature-dependent high-spin/low-spin phase transition. This method constitutes a novel approach to analyze changes in the electronic structure of metal-containing molecules as function of external parameters or stimuli. The polarization selectivity of the technique allows us to monitor defect concentrations of electronic valence states across phase transitions. This opens new avenues to trace electronic changes and their precursors that are connected to structural and electronic dynamics in the class of metal compounds ranging from simple molecular solids to biological molecules.


title: Dynamic Excitations of Chiral Magnetic Textures

abstract: Spin eigenexcitations of skyrmions and related chiral magnetic textures have attracted considerable interest over the recent years owing to their strong potential for applications in information processing and microwave devices. The emergence of novel material systems, such as synthetic ferri- and antiferromagnets, the continuing progress in micro- and nanofabrication techniques, and the development of more sophisticated characterization methods will undoubtedly provide a further boost to this young particular line of research. This Perspective summarizes the most significant advances during the past years and indicates future directions of both theoretical and experimental work.


title: Indirect Object-to-Robot Pose Estimation from an External Monocular RGB Camera

abstract: We present a robotic grasping system that uses a single external monocular RGB camera as input. The object-to-robot pose is computed indirectly by combining the output of two neural networks: one that estimates the object-to-camera pose, and another that estimates the robot-to-camera pose. Both networks are trained entirely on synthetic data, relying on domain randomization to bridge the sim-to-real gap. Because the latter network performs online camera calibration, the camera can be moved freely during execution without affecting the quality of the grasp. Experimental results analyze the effect of camera placement, image resolution, and pose refinement in the context of grasping several household objects. We also present results on a new set of 28 textured household toy grocery objects, which have been selected to be accessible to other researchers. To aid reproducibility of the research, we offer 3D scanned textured models, along with pre-trained weights for pose estimation.


title: Vortex Dynamics and Phase Diagram in the Electron Doped Cuprate Superconductor Pr$_{0.87}$LaCe$_{0.13}$CuO$_4$

abstract: Second magnetization peak (SMP) in hole-doped cuprates and iron pnictide superconductors has been widely explored. However, similar feature in the family of electron-doped cuprates is not common. Here, we report the vortex dynamics study in the single crystal of an electron-doped cuprate Pr$_{0.87}$LaCe$_{0.13}$CuO$_4$ superconductor using dc magnetization measurements. A SMP feature in the isothermal $M(H)$ was observed for $H$$\parallel$$ab$-planes. On the other hand, no such feature was observed for $H$$\parallel$$c$-axis in the crystal. Using magnetic relaxation data, a detailed analysis of activation pinning energy via collective creep theory suggests an elastic to plastic creep crossover across the SMP. Moreover, for $H$$\parallel$$ab$, a peak in the temperature dependence of critical current density is also observed near 7 K, which is likely be related to a dimensional crossover (3D-2D) associated to the emergence of Josephson vortices at low temperatures. The anisotropy parameter obtained $\gamma$ $\approx$ 8-11 indicates the 3D nature of vortex lattice mainly for $H$$\parallel$$c$-axis. The $H$-$T$ phase diagrams for $H$$\parallel$$c$ and $H$$\parallel$$ab$ are presented.


title: Optimization for Supervised Machine Learning: Randomized Algorithms for Data and Parameters

abstract: Many key problems in machine learning and data science are routinely modeled as optimization problems and solved via optimization algorithms. With the increase of the volume of data and the size and complexity of the statistical models used to formulate these often ill-conditioned optimization tasks, there is a need for new efficient algorithms able to cope with these challenges. In this thesis, we deal with each of these sources of difficulty in a different way. To efficiently address the big data issue, we develop new methods which in each iteration examine a small random subset of the training data only. To handle the big model issue, we develop methods which in each iteration update a random subset of the model parameters only. Finally, to deal with ill-conditioned problems, we devise methods that incorporate either higher-order information or Nesterov's acceleration/momentum. In all cases, randomness is viewed as a powerful algorithmic tool that we tune, both in theory and in experiments, to achieve the best results. Our algorithms have their primary application in training supervised machine learning models via regularized empirical risk minimization, which is the dominant paradigm for training such models. However, due to their generality, our methods can be applied in many other fields, including but not limited to data science, engineering, scientific computing, and statistics.


title: SHAP values for Explaining CNN-based Text Classification Models

abstract: Deep neural networks are increasingly used in natural language processing (NLP) models. However, the need to interpret and explain the results from complex algorithms are limiting their widespread adoption in regulated industries such as banking. There has been recent work on interpretability of machine learning algorithms with structured data. But there are only limited techniques for NLP applications where the problem is more challenging due to the size of the vocabulary, high-dimensional nature, and the need to consider textual coherence and language structure. This paper develops a methodology to compute SHAP values for local explainability of CNN-based text classification models. The approach is also extended to compute global scores to assess the importance of features. The results are illustrated on sentiment analysis of Amazon Electronic Review data.


title: An intrinsic aggregation model on the special orthogonal group $\mathrm{SO}(3)$: well-posedness and collective behaviours

abstract: We investigate an aggregation model with intrinsic interactions on the special orthogonal group $SO(3)$. We consider a smooth interaction potential that depends on the squared intrinsic distance, and establish local and global existence of measure-valued solutions to the model via optimal mass transport techniques. We also study the long-time behaviours of such solutions, where we present sufficient conditions for the formation of asymptotic consensus. The analytical results are illustrated with numerical experiments that exhibit various asymptotic patterns.


title: Smart-PGSim: Using Neural Network to Accelerate AC-OPF Power Grid Simulation

abstract: The optimal power flow (OPF) problem is one of the most important optimization problems for the operation of the power grid. It calculates the optimum scheduling of the committed generation units. In this paper, we develop a neural network approach to the problem of accelerating the current optimal power flow (AC-OPF) by generating an intelligent initial solution. The high quality of the initial solution and guidance of other outputs generated by the neural network enables faster convergence to the solution without losing optimality of final solution as computed by traditional methods. Smart-PGSim generates a novel multitask-learning neural network model to accelerate the AC-OPF simulation. Smart-PGSim also imposes the physical constraints of the simulation on the neural network automatically. Smart-PGSim brings an average of 49.2% performance improvement (up to 91%), computed over 10,000 problem simulations, with respect to the original AC-OPF implementation, without losing the optimality of the final solution.


title: Auxiliary Network: Scalable and agile online learning for dynamic system with inconsistently available inputs

abstract: Streaming classification methods assume the number of input features is fixed and always received. But in many real-world scenarios demand is some input features are reliable while others are unreliable or inconsistent. In this paper, we propose a novel deep learning-based model called Auxiliary Network (Aux-Net), which is scalable and agile. It employs a weighted ensemble of classifiers to give a final outcome. The Aux-Net model is based on the hedging algorithm and online gradient descent. It employs a model of varying depth in an online setting using single pass learning. Aux-Net is a foundational work towards scalable neural network model for a dynamic complex environment requiring ad hoc or inconsistent input data. The efficacy of Aux-Net is shown on public dataset.


title: On a reduction for a class of resource allocation problems

abstract: In the resource allocation problem (RAP), the goal is to divide a given amount of resource over a set of activities while minimizing the cost of this allocation and possibly satisfying constraints on allocations to subsets of the activities. Most solution approaches for the RAP and its extensions allow each activity to have its own cost function. However, in many applications, often the structure of the objective function is the same for each activity and the difference between the cost functions lies in different parameter choices such as, e.g., the multiplicative factors. In this article, we introduce a new class of objective functions that captures the majority of the objectives occurring in studied applications. These objectives are characterized by a shared structure of the cost function depending on two input parameters. We show that, given the two input parameters, there exists a solution to the RAP that is optimal for any choice of the shared structure. As a consequence, this problem reduces to the quadratic RAP, making available the vast amount of solution approaches and algorithms for the latter problem. We show the impact of our reduction result on several applications and, in particular, we improve the best known worst-case complexity bound of two important problems in vessel routing and processor scheduling from $O(n^2)$ to $O(n \log n)$.


title: Designing Neural Networks for Real-Time Systems

abstract: Artificial Neural Networks (ANNs) are increasingly being used within safety-critical Cyber-Physical Systems (CPSs). They are often co-located with traditional embedded software, and may perform advisory or control-based roles. It is important to validate both the timing and functional correctness of these systems. However, most approaches in the literature consider guaranteeing only the functionality of ANN based controllers. This issue stems largely from the implementation strategies used within common neural network frameworks -- their underlying source code is often simply unsuitable for formal techniques such as static timing analysis. As a result, developers of safety-critical CPS must rely on informal techniques such as measurement based approaches to prove correctness, techniques that provide weak guarantees at best. In this work we address this challenge. We propose a design pipeline whereby neural networks trained using the popular deep learning framework Keras are compiled to functionally equivalent C code. This C code is restricted to simple constructs that may be analysed by existing static timing analysis tools. As a result, if compiled to a suitable time-predictable platform all execution bounds may be statically derived. To demonstrate the benefits of our approach we execute an ANN trained to drive an autonomous vehicle around a race track. We compile the ANN to the Patmos time-predictable controller, and show that we can derive worst case execution timings.


title: Robustness Assessment of Hetero-Functional Graph Theory Based Model of Interdependent Urban Utility Networks

abstract: The increasing urban population imposes a substantial and growing burden on the supporting infrastructure, such as electricity, water, heating, natural gas, road transportation, etc. This paper presents a Hetero-functional graph theory (HFGT) based modeling framework for these integrated infrastructures followed by an analysis of network robustness. The supporting infrastructures along with the infrastructure repair facilities are considered. In contrast to conventional graph representations, a weighted HFGT model is used to capture the system processes and mutual dependencies among resources. To assess robustness of the inter-dependent networks, impacts of complete/partial and random/targeted attacks are quantified. Specifically, various contingency scenarios are simulated and the vulnerability of the network is evaluated. Additionally, several robustness metrics are proposed to provide a comprehensive evaluation of system robustness. The proposed weighted HFGT modeling and robustness assessment approach is tested using a synthetic interdependent network, comprising of an electrical power system, a water network, a district heating network, a natural gas system and a road transportation network. Results demonstrate that system robustness can be enhanced via securing system information and mitigating attack strength.


title: Adaptive Neural Network-Based Approximation to Accelerate Eulerian Fluid Simulation

abstract: The Eulerian fluid simulation is an important HPC application. The neural network has been applied to accelerate it. The current methods that accelerate the fluid simulation with neural networks lack flexibility and generalization. In this paper, we tackle the above limitation and aim to enhance the applicability of neural networks in the Eulerian fluid simulation. We introduce Smartfluidnet, a framework that automates model generation and application. Given an existing neural network as input, Smartfluidnet generates multiple neural networks before the simulation to meet the execution time and simulation quality requirement. During the simulation, Smartfluidnet dynamically switches the neural networks to make the best efforts to reach the user requirement on simulation quality. Evaluating with 20,480 input problems, we show that Smartfluidnet achieves 1.46x and 590x speedup comparing with a state-of-the-art neural network model and the original fluid simulation respectively on an NVIDIA Titan X Pascal GPU, while providing better simulation quality than the state-of-the-art model.


title: Deep learning-based computer vision to recognize and classify suturing gestures in robot-assisted surgery

abstract: Our previous work classified a taxonomy of suturing gestures during a vesicourethral anastomosis of robotic radical prostatectomy in association with tissue tears and patient outcomes. Herein, we train deep-learning based computer vision (CV) to automate the identification and classification of suturing gestures for needle driving attempts. Using two independent raters, we manually annotated live suturing video clips to label timepoints and gestures. Identification (2395 videos) and classification (511 videos) datasets were compiled to train CV models to produce two- and five-class label predictions, respectively. Networks were trained on inputs of raw RGB pixels as well as optical flow for each frame. Each model was trained on 80/20 train/test splits. In this study, all models were able to reliably predict either the presence of a gesture (identification, AUC: 0.88) as well as the type of gesture (classification, AUC: 0.87) at significantly above chance levels. For both gesture identification and classification datasets, we observed no effect of recurrent classification model choice (LSTM vs. convLSTM) on performance. Our results demonstrate CV's ability to recognize features that not only can identify the action of suturing but also distinguish between different classifications of suturing gestures. This demonstrates the potential to utilize deep learning CV towards future automation of surgical skill assessment.


title: Conversations On Multimodal Input Design With Older Adults

abstract: Multimodal input systems can help bridge the wide range of physical abilities found in older generations. After conducting a survey/interview session with a group of older adults at an assisted living community we believe that gesture and speech should be the main inputs for that system. Additionally, collaborative design of new systems was found to be useful for facilitating conversations around input design with this demographic.


title: Surrogate Assisted Methods for the Parameterisation of Agent-Based Models

abstract: Parameter calibration is a major challenge in agent-based modelling and simulation (ABMS). As the complexity of agent-based models (ABMs) increase, the number of parameters required to be calibrated grows. This leads to the ABMS equivalent of the \say{curse of dimensionality}. We propose an ABMS framework which facilitates the effective integration of different sampling methods and surrogate models (SMs) in order to evaluate how these strategies affect parameter calibration and exploration. We show that surrogate assisted methods perform better than the standard sampling methods. In addition, we show that the XGBoost and Decision Tree SMs are most optimal overall with regards to our analysis.


title: Relativistic rigid systems and the cosmic expansion

abstract: We analyze the necessary conditions for a body to remain rigid in an expanding cosmological Universe. First, we establish the main theorems and definitions for having a rigid body in a general spacetime as well as the new concept of quasilocal rigidity. We apply the obtained results to a homogeneous universe exploring the differences with flat spacetime. We discuss how the concept of rigid body helps to understand the expansion of space in cosmology. Finally, using a rigid system as a reference frame, we calculate the gravitational energy, and we compare it with previous results in the literature.


title: Amortized Constant Round Atomic Snapshot in Message-Passing Systems

abstract: We study the lattice agreement (LA) and atomic snapshot problems in asynchronous message-passing systems where up to $f$ nodes may crash. Our main result is a crash-tolerant atomic snapshot algorithm with \textit{amortized constant round complexity}. To the best of our knowledge, the best prior result is given by Delporte et al. [TPDS, 18] with amortized $O(n)$ complexity if there are more scans than updates. Our algorithm achieves amortized constant round if there are $\Omega(\sqrt{k})$ operations, where $k$ is the number of actual failures in an execution and is bounded by $f$. Moreover, when there is no failure, our algorithm has $O(1)$ round complexity unconditionally. To achieve amortized constant round complexity, we devise a simple \textit{early-stopping} lattice agreement algorithm and use it to "order" the update and scan operations for our snapshot object. Our LA algorithm has $O(\sqrt{k})$ round complexity. It is the first early-stopping LA algorithm in asynchronous systems.


title: Experimental and first-principles spectroscopy of Cu$_2$SrSnS$_4$ and Cu$_2$BaSnS$_4$ photoabsorbers

abstract: The Cu$_2$BaSnS$_4$ (CBTS) and Cu$_2$SrSnS$_4$ (CSTS) semiconductors have been recently proposed as potential wide band gap photovoltaic absorbers. Although several measurements indicate that they are less affected by band tailing than their parent compound Cu$_2$ZnSnS$_4$, their photovoltaic efficiencies are still low. To identify possible issues, we characterize CBTS and CSTS in parallel by a variety of spectroscopic methods complemented by first-principles calculations. Two main problems are identified in both materials. The first is the existence of deep defect transitions in low-temperature photoluminescence, pointing to a high density of bulk recombination centers. The second is a low electron affinity, which emphasizes the need for an alternative heterojunction partner and electron contact. We also find a tendency for downward band bending at the surface of both materials. In CBTS, this effect is sufficiently large to cause carrier type inversion, which may enhance carrier separation and mitigate interface recombination. Optical absorption at room temperature is exciton-enhanced in both CBTS and CSTS. Deconvolution of excitonic effects yields band gaps that are about 100 meV higher than previous estimates based on Tauc plots. Although the two investigated materials are remarkably similar in an idealized, defect-free picture, the present work points to CBTS as a more promising absorber than CSTS for tandem photovoltaics.