Persistent Homology with Improved Locality Information for more Effective Delineation. We present a new, more effective way to use Persistent Homology (PH), a method to compare the topology of two data sets, for training deep networks to delineate road networks in aerial images and neuronal processes in microscopy scans. Its essence is in a novel filtration function, derived from a fusion of two existing techniques thresholding based filtration, previously used to train deep networks to segment medical images, and filtration with height functions, used before for comparison of 2D and 3D shapes. We experimentally demonstrate that deep networks trained with our Persistent Homology based loss yield reconstructions of road networks and neuronal processes that preserve the connectivity of the originals better than existing topological and non topological loss functions.


Towards a Decomposition Optimal Algorithm for Counting and Sampling Arbitrary Motifs in Sublinear Time. We consider the problem of sampling and approximately counting an arbitrary given motif H in a graph G , where access to G is given via queries degree, neighbor, and pair, as well as uniform edge sample queries. Previous algorithms for these tasks were based on a decomposition of H into a collection of odd cycles and stars, denoted mathcal D (H) O k 1 , ldots, O k q , S p 1 , ldots, S p ell . These algorithms were shown to be optimal for the case where H is a clique or an odd length cycle, but no other lower bounds were known. We present a new algorithm for sampling and approximately counting arbitrary motifs which, up to textrm poly ( log n) factors, is always at least as good as previous results, and for most graphs G is strictly better. The main ingredient leading to this improvement is an improved uniform algorithm for sampling stars, which might be of independent interest, as it allows to sample vertices according to the p th moment of the degree distribution. Finally, we prove that this algorithm is emph decomposition optimal for decompositions that contain at least one odd cycle. These are the first lower bounds for motifs H with a nontrivial decomposition, i.e., motifs that have more than a single component in their decomposition.


Distribution Valued Games Overview, Analysis, and a Segmentation Based Approach. The paper Ras15a introduced distribution valued games. This game theoretic model uses probability distributions as payoffs for games in order to express uncertainty about the payoffs. The player's preferences for different payoffs are expressed by a stochastic order which we call the tail order. This thesis formalizes distribution valued games with preferences expressed by general stochastic orders, and specifically analyzes properties of the tail order. It identifies sufficient conditions for tail order preference to hold, but also finds that some claims in Ras15a about the tail order are incorrect, for which counter examples are constructed. In particular, it is demonstrated that a proof for the totality of the order on a certain set of distributions contains an error the thesis proceeds to show that the ordering is not total on the slightly less restricted set of distributions with non negative bounded support. It is also shown that not all tail ordered games have mixed strategy Nash equilibria, and in fact almost all tail ordered games with finitely supported payoff distributions can only have a Nash equilibrium if they have a pure strategy Nash equilibrium. The thesis subsequently extends an idea from AM19 and proposes a new solution concept for distribution valued games. This concept is based on constructing multi objective real valued games from distribution valued games by segmenting their payoff distributions.


On the minimal dimension of a faithful linear representation of a finite group. The representation dimension of a finite group G is the minimal dimension of a faithful complex linear representation of G . We prove that the representation dimension of any finite group G is at most sqrt G except if G is a 2 group with elementary abelian center of order 8 and all irreducible characters of G whose kernel does not contain Z(G) are fully ramified with respect to G Z(G) . We also obtain bounds for the representation dimension of quotients of G in terms of the representation dimension of G , and discuss the relation of this invariant with the essential dimension of G .


Language Detection Engine for Multilingual Texting on Mobile Devices. More than 2 billion mobile users worldwide type in multiple languages in the soft keyboard. On a monolingual keyboard, 38 of falsely auto corrected words are valid in another language. This can be easily avoided by detecting the language of typed words and then validating it in its respective language. Language detection is a well known problem in natural language processing. In this paper, we present a fast, light weight and accurate Language Detection Engine (LDE) for multilingual typing that dynamically adapts to user intended language in real time. We propose a novel approach where the fusion of character N gram model and logistic regression based selector model is used to identify the language. Additionally, we present a unique method of reducing the inference time significantly by parameter reduction technique. We also discuss various optimizations fabricated across LDE to resolve ambiguity in input text among the languages with the same character pattern. Our method demonstrates an average accuracy of 94.5 for Indian languages in Latin script and that of 98 for European languages on the code switched data. This model outperforms fastText by 60.39 and ML Kit by 23.67 in F1 score for European languages. LDE is faster on mobile device with an average inference time of 25.91 microseconds.


A multiscale Robin coupled implicit method for two phase flows in high contrast formations. In the presence of strong heterogeneities, it is well known that the use of explicit schemes for the transport of species in a porous medium suffers from severe restrictions on the time step. This has led to the development of implicit schemes that are increasingly favoured by practitioners for their computational efficiency. The transport equation requires knowledge of the velocity field, which results from an elliptic problem (Darcy problem) that is the most expensive part of the computation. When considering large reservoirs, a cost effective way of approximating the Darcy problems is using multiscale domain decomposition (MDD) methods. They allow for the pressure and velocity fields to be computed on coarse meshes (large scale), while detailed basis functions are defined locally, usually in parallel, in a much finer grid (small scale). In this work we adopt the Multiscale Robin Coupled Method (MRCM, Guiraldello, et al., J. Comput. Phys., 355 (2018) pp. 1 21 , Rocha, et al., J. Comput. Phys., (2020) 109316 ), which is a generalization of previous MDD methods that allows for great flexibility in the choice of interface spaces. In this article we investigate the combination of the MRCM with implicit transport schemes. A sequentially implicit strategy is proposed, with different trust region algorithms ensuring the convergence of the transport solver. The method is assessed on several very stringent 2D two phase problems, demonstrating its stability even for large time steps. It is also shown that the best accuracy is achieved by considering recently introduced non polynomial interface spaces, since polynomial spaces are not optimal for high contrast channelized permeability fields.


Pure contractive multipliers of some reproducing kernel Hilbert spaces and applications. A contraction T on a Hilbert space mathcal H is said to be pure if the sequence lbrace T n rbrace n converges to 0 in the strong operator topology. In this article, we prove that for contractions T , which commute with certain tractable tuples of commuting operators X (X 1, ldots,X n) on mathcal H , the following statements are equivalent (i) T is a pure contraction on mathcal H , (ii) the compression P mathcal W (X) T mathcal W (X) is a pure contraction, where mathcal W (X) is the wandering subspace corresponding to the tuple X . An operator valued multiplier Phi of a vector valued reproducing kernel Hilbert space (rkHs) is said to be pure contractive if the associated multiplication operator M Phi is a pure contraction. Using the above result, we find that operator valued mulitpliers Phi( textbf z ) of several vector valued rkHs's on the polydisc mathbb D n as well as the unit ball mathbb B n in mathbb C n are pure contractive if and only if Phi(0) is a pure contraction on the underlying Hilbert space. The list includes Hardy, Bergman and Drury Arveson spaces. Finally, we present some applications of our characterization of pure contractive multipliers associated with the polydisc.


Classification of three dimensional complete gradient Yamabe solitons. In this paper, we classify nontrivial 3 dimensional complete gradient Yamabe solitons. In particular, we show that any nontrivial non flat 3 dimensional complete steady gradient Yamabe soliton is rotationally symmetric.


Towards a Classification of Multi Faced Independence A Representation Theoretic Approach. We attack the classification problem of multi faced independences, the first non trivial example being Voiculescu's bi freeness. While the present paper does not achieve a complete classification, it formalizes the idea of lifting an operator on a pre Hilbert space in a "universal" way to a larger product space, which is key for the construction of (old and new) examples. It will be shown how universal lifts can be used to construct very well behaved (multi faced) independences in general. Furthermore, we entirely classify universal lifts to the tensor product and to the free product of pre Hilbert spaces. Our work brings to light surprising new examples of 2 faced independences. Most noteworthy, for many known 2 faced independences, we find that they admit continuous deformations within the class of 2 faced independences, showing in particular that, in contrast with the single faced case, this class is infinite (and even uncountable).


Laser induced periodic surface structured electrodes with a 45 energy saving in electrochemical fuel generation through field localization. Electrochemical oxidation reduction of radicals is a green and environmentally friendly approach to generating fuels. These reactions, however, suffer from sluggish kinetics due to a low local concentration of radicals around the electrocatalyst. A large electrode potential can enhance the fuel generation efficiency via enhancing the radical concentration around the electrocatalyst sites, but this comes at the cost of electricity. Here, we report about a 45 percent saving in energy to achieve an electrochemical hydrogen generation rate of 10 mA per cm2 through localized electric field induced enhancement in the reagent concentration (LEFIRC) at laser induced periodic surface structured (LIPSS) electrodes. The finite element model is used to simulate the spatial distribution of the electric field to understand the effects of LIPSS geometric parameters in field localization. When the LIPSS patterned electrodes are used as substrates to support Pt C and RuO2 electrocatalysts, the overpotentials for HER and OER are decreased by 40 and 25 percent, respectively. Moreover, the capability of the LIPSS patterned electrodes to operate at significantly reduced energy is also demonstrated in a range of electrolytes including alkaline, acidic, neutral, and seawater. Importantly, when two LIPSS patterned electrodes were assembled as the anode and cathode into a cell, it requires 330 mVs of lower electric potential with enhanced stability over a similar cell made of pristine electrodes to drive a current density of 10 mA cm2. This work demonstrates a physical and versatile approach of electrode surface patterning to boost electrocatalytic fuel generation performance and can be applied to any metal and semiconductor catalysts for a range of electrochemical reactions.


Ultra broadband photonic sampling of optical waveforms. Direct access to the electric field of light provides a subcycle view of the polarization response of matter, thus enabling sensitive metrology in physics, chemistry, and medicine. Optical field sampling techniques take advantage of some process that lasts much less than an optical cycle of the measured light wave. Most of them rely on the generation of free electrons either by a weak extreme ultraviolet pulse or by a strong optical pulse. The ability of such techniques to detect weak signals is limited by undesirable effects associated with ionization. An alternative is all optical methods, where the fast process is a nonlinear wave mixing. Such photonic methods may rely on extreme ultraviolet or optical pulses. They typically have better sensitivity, but smaller bandwidth. Here we propose generalized heterodyne optical sampling techniques (GHOSTs), which overcome the bandwidth limit through controlling light pulse waveforms.


Combinatorial Burnside groups. We study the structure of combinatorial Burnside groups, which receive equivariant birational invariants of actions of finite groups on algebraic varieties.


Mention centered Graph Neural Network for Document level Relation Extraction. Document level relation extraction aims to discover relations between entities across a whole document. How to build the dependency of entities from different sentences in a document remains to be a great challenge. Current approaches either leverage syntactic trees to construct document level graphs or aggregate inference information from different sentences. In this paper, we build cross sentence dependencies by inferring compositional relations between inter sentence mentions. Adopting aggressive linking strategy, intermediate relations are reasoned on the document level graphs by mention convolution. We further notice the generalization problem of NA instances, which is caused by incomplete annotation and worsened by fully connected mention pairs. An improved ranking loss is proposed to attend this problem. Experiments show the connections between different mentions are crucial to document level relation extraction, which enables the model to extract more meaningful higher level compositional relations.


Recollision of excited electron in below threshold nonsequential double ionization. Consensus has been reached that recollision, as the most important post tunneling process, is responsible for nonsequential double ionization process in intense infrared laser field, however, its effect has been restricted to interaction between the first ionized electron and the residual univalent ion so far. Here we identify the key role of recollision between the second ionized electron and the divalent ion in the below threshold nonsequential double ionization process by introducing a Coulomb corrected quantum trajectories method, which enables us to well reproduce the experimentally observed cross shaped and anti correlated patterns in correlated two electron momentum distributions, and also the transition between these two patterns. Being significantly enhanced relatively by the recapture process, recolliding trajectories of the second electron excited by the first or third return recolliding trajectories of the first electron produce the cross shaped or anti correlated distributions, respectively. And the transition is induced by the increasing contribution of the third return with increasing pulse duration. Our work provides new insight into atomic ionization dynamics and paves the new way to imaging of ultrafast dynamics of atoms and molecules in intense laser field.


Explicit values for Ramanujan's theta function varphi(q) . This paper provides a survey of particular values of Ramanujan's theta function varphi(q) sum n infty infty q n 2 , when q e pi sqrt n , where n is a positive rational number. First, descriptions of the tools used to evaluate theta functions are given. Second, classical values are briefly discussed. Third, certain values due to Ramanujan and later authors are given. Fourth, the methods that are used to determine these values are described. Lastly, an incomplete evaluation found in Ramanujan's lost notebook, but now completed and proved, is discussed with a sketch of its proof.


Back to the Drawing Board A Critical Evaluation of Poisoning Attacks on Production Federated Learning. While recent works have indicated that federated learning (FL) may be vulnerable to poisoning attacks by compromised clients, their real impact on production FL systems is not fully understood. In this work, we aim to develop a comprehensive systemization for poisoning attacks on FL by enumerating all possible threat models, variations of poisoning, and adversary capabilities. We specifically put our focus on untargeted poisoning attacks, as we argue that they are significantly relevant to production FL deployments. We present a critical analysis of untargeted poisoning attacks under practical, production FL environments by carefully characterizing the set of realistic threat models and adversarial capabilities. Our findings are rather surprising contrary to the established belief, we show that FL is highly robust in practice even when using simple, low cost defenses. We go even further and propose novel, state of the art data and model poisoning attacks, and show via an extensive set of experiments across three benchmark datasets how (in)effective poisoning attacks are in the presence of simple defense mechanisms. We aim to correct previous misconceptions and offer concrete guidelines to conduct more accurate (and more realistic) research on this topic.


A numerical method for singularly perturbed convection diffusion problems posed on smooth domains. A finite difference method is constructed to solve singularly perturbed convection diffusion problems posed on smooth domains. Constraints are imposed on the data so that only regular exponential boundary layers appear in the solution. A domain decomposition method is used, which uses a rectangular grid outside the boundary layer and a Shishkin mesh, aligned to the curvature of the outflow boundary, near the boundary layer. Numerical results are presented to demonstrate the effectiveness of the proposed numerical algorithm.


Core transport barriers induced by fast ions in global gyrokinetic GENE simulations. A novel type of internal transport barrier (ITB) called F ATB (fast ion induced anomalous transport barrier) has been recently observed in state of the art global gyrokinetic simulations on a properly optimized ASDEX Upgrade experiment A. Di Siena et al. Phys. Rev. Lett. bf 127 025002 (2021) . Unlike the transport barriers previously reported in literature, the trigger mechanism for the F ATB is a basically electrostatic wave particle resonant interaction between supra thermal particles generated via ion cyclotron resonance heating (ICRH) and ion scale plasma turbulence. This resonant effect strongly depends on the particular shape of the fast ion temperature and density profiles. Therefore, to further improve our theoretical understanding of this transport barrier, we present results exploring the parameter space and physical conditions for the F ATB generation by performing a systematic study with global GENE simulations. Particular emphasis is given to the transport barrier width and its localization by scanning over different energetic particle temperature profiles. The latter are varied in amplitude, half width, and radial localization of an ad hoc Gaussian like energetic particle logarithmic temperature gradient profile. For the reference parameters at hand, a threshold in the amplitude of the fast ion logarithmic temperature gradient is identified to trigger the transport barrier effectively.


Existence of asymptotic pairs in positive entropy group actions. We provide a definition of a prec asymptotic pair in a topological action of a countable amenable group G , where prec is an order on G of type mathbb Z . We then prove that if ( tilde mathcal O , nu,G) is a multiorder on G , then for every topological G action of positive entropy there exists an prec asympotic pair for almost every order prec , in tilde mathcal O . This result is a generalization of the Blanchard Host Ruette Theorem for classical topological dynamical systems (actions of mathbb Z ).


Eight Reasons Why Cybersecurity on Novel Generations of Brain Computer Interfaces Must Be Prioritized. This article presents eight neural cyberattacks affecting spontaneous neural activity, inspired by well known cyberattacks from the computer science domain Neural Flooding, Neural Jamming, Neural Scanning, Neural Selective Forwarding, Neural Spoofing, Neural Sybil, Neural Sinkhole and Neural Nonce. These cyberattacks are based on the exploitation of vulnerabilities existing in the new generation of Brain Computer Interfaces. After presenting their formal definitions, the cyberattacks have been implemented over a neuronal simulation. To evaluate the impact of each cyberattack, they have been implemented in a Convolutional Neural Network (CNN) simulating a portion of a mouse's visual cortex. This implementation is based on existing literature indicating the similarities that CNNs have with neuronal structures from the visual cortex. Some conclusions are also provided, indicating that Neural Nonce and Neural Jamming are the most impactful cyberattacks for short term effects, while Neural Scanning and Neural Nonce are the most damaging for long term effects.


Following the spacial dynamics of COVID 19 in Mexico and some notes. Actually, after one year it is recognized that the evolution of COVID 19 is different in each country or region around the world. In this paper, we do a revision to the date about COVID 19 evolution in Mexico, we explain where the main epicenter and states with most high impact. Mexico has a particular geographical position in the American continent because it is a natural bridge between the USA and Latin America, that represents a special point of propagation because between other facts this virus is transported by people of different nationalities migrating to the USA. The research in this paper helps to understand why Mexico is one of the countries with the most high mortality impact by this new virus and how the lockdown works in the population. Finally, we give a practical perspective as this evolution is a complex system.


Strategic alignment between IT flexibility and dynamic capabilities an empirical investigation. Dynamic capabilities theory emerged as a leading framework in the process of value creation for firms. Its core notion complements the premise of the resource based view of the firm and is considered an important theoretical and management framework in modern information systems research. However, despite DCTs significant contributions, its strength and core focus are essentially in its use for historical firm performance explanation. Furthermore, valuable contributions have been made by several researchers in order to extend the DCT to fit the constantly changing IT environments and other imperative drivers for competitive performance. However, no DCT extension has been developed which allows firms to integrally assess their current state of maturity in order to derive imperative steps for further performance enhancements. In light of empirical advancement, this paper aims to develop a strategic alignment model for IT flexibility and dynamic capabilities and empirically validates proposed hypotheses using correlation and regression analyses on a large data sample of 322 international firms. We conjecture that the combined synergetic effect of the underlying dimensions of a firms IT flexibility architecture and dynamic capabilities enables organizations to cope with changing environmental conditions and drive competitive firm performance. Findings of this study suggest that there is a significant positive relationship between the firms degree of strategic alignment defined as the degree of balance between all dimensions and competitive firm performance. Strategic alignment can, therefore, be seen as an important condition that significantly influences a firms competitive advantage in constantly changing environments. The proposed framework helps firms assess and improve their maturity and alignment of IT flexibility and dynamic capabilities.


A discontinuous Galerkin method based on a hierarchical orthogonal basis for Lagrangian hydrodynamics on curvilinear grids. We present a new high order accurate Lagrangian discontinuous Galerkin (DG) hydrodynamic method to simulate material dynamics (for e.g., gasses, fluids, and solids) with up to fourth order accuracy on cubic meshes. The variables, such as specific volume, velocity, specific total energy, and deformation gradient fields within a cell, are represented with a polynomial constructed from a novel hierarchical orthogonal basis about the center of mass, which decouples the moments of the solution because the mass matrix is diagonal. The discontinuity in the polynomials at the cell boundary is addressed by solving a multi directional Riemann problem at the vertices of the cell and a 1D Riemann problem at additional non vertex quadrature points along the edges so that the surface integral is exact for the polynomial order. The uniqueness lies in that the vertices of the curvilinear grid work as the quadrature points for the surface integral of DG methods. To ensure robust mesh motion, the pressure for the Riemann problem accounts for the difference between the density variation over the cell and a density field from subcell mesh stabilization (SMS). The accuracy and robustness of the new high order accurate Lagrangian DG hydrodynamic method is demonstrated by simulating a diverse suite of challenging test problems covering gas and solid dynamic problems on curved grids.


Hierarchical Few Shot Imitation with Skill Transition Models. A desirable property of autonomous agents is the ability to both solve long horizon problems and generalize to unseen tasks. Recent advances in data driven skill learning have shown that extracting behavioral priors from offline data can enable agents to solve challenging long horizon tasks with reinforcement learning. However, generalization to tasks unseen during behavioral prior training remains an outstanding challenge. To this end, we present Few shot Imitation with Skill Transition Models (FIST), an algorithm that extracts skills from offline data and utilizes them to generalize to unseen tasks given a few downstream demonstrations. FIST learns an inverse skill dynamics model, a distance function, and utilizes a semi parametric approach for imitation. We show that FIST is capable of generalizing to new tasks and substantially outperforms prior baselines in navigation experiments requiring traversing unseen parts of a large maze and 7 DoF robotic arm experiments requiring manipulating previously unseen objects in a kitchen.


Leading Edge Vortex Dynamics of Airfoils, Pitching Continuously at High Amplitudes. Airfoils pitching in the stalled regime have been of keen interest in recent years due to their desirable aerodynamic force characteristics. In this study, we are numerically investigating the unsteady flow past a NACA 0012 airfoil under sinusoidally pitching motion, using a finite volume based sharp interface immersed boundary solver. The flow is investigated in the low Reynolds number regime (Re 3000) for reduced frequencies of 0.1 and 0.5, at three different pivot locations (c 3, c 2 and 2c 3 from the leading edge). The airfoil is subjected to sinusoidal oscillations with its incidence angle varying from 15o to 45o. Leading edge vortices (LEVs) that are formed during the pitching motion dictate the transient aerodynamic characteristics. The flow field data is used to identify individual LEVs in the flow field. The spatio temporal evolution of LEVs in terms of their strengths are traced throughout the pitching cycle to obtain a quantitative estimate of its evolution. The effect of pivot location and pitching frequency on the vortex evolution and aerodynamic forces is investigated. Change in pitching frequency is found to have a drastic effect on the vortex dynamics. LEV formation is delayed to higher fractional times and LEVs are found to interact and merge into each other at higher frequencies. The maximum lift and drag are also found to increase with pitching frequency. Pivot location is found to have a higher influence on the magnitude and phase of aerodynamic coefficients at higher frequencies. However, at both frequencies, moving the pivot axis aftward is found to delay LEV evolution and cause a phase lag on the aerodynamic forces.


physics.plasm-ph physics.acc-ph physics.atom-ph physics.optics

In Situ Generation of High Energy Spin Polarized Electrons in a Beam Driven Plasma Wakefield Accelerator. In situ generation of a high energy, high current, spin polarized electron beam is an outstanding scientific challenge to the development of plasma based accelerators for high energy colliders. In this Letter we show how such a spin polarized relativistic beam can be produced by ionization injection of electrons of certain atoms with a circularly polarized laser field into a beam driven plasma wakefield accelerator, providing a much desired one step solution to this challenge. Using time dependent Schr "odinger equation (TDSE) simulations, we show the propensity rule of spin dependent ionization of xenon atoms can be reversed in the strong field multi photon regime compared with the non adiabatic tunneling regime, leading to high total spin polarization. Furthermore, three dimensional particle in cell (PIC) simulations are incorporated with TDSE simulations, providing start to end simulations of spin dependent strong field ionization of xenon atoms and subsequent trapping, acceleration, and preservation of electron spin polarization in lithium plasma. We show the generation of a high current (0.8 kA), ultra low normalized emittance ( 37 nm), and high energy (2.7 GeV) electron beam within just 11 cm distance, with up to 31 net spin polarization. Higher current, energy, and net spin polarization beams are possible by optimizing this concept, thus solving a long standing problem facing the development of plasma accelerators.


A Spectral Moore Bound for Bipartite Semiregular Graphs. Let b(k, ell, theta) be the maximum number of vertices of valency k in a (k, ell) semiregular bipartite graph with second largest eigenvalue theta . We obtain an upper bound for b(k, ell, theta) for 0 theta sqrt k 1 sqrt ell 1 . This bound is tight when there exists a distance biregular graph with particular parameters, and we develop the necessary properties of distance biregular graphs to prove this.


PC 2 PU Patch Correlation and Point Correlation for Effective Point Cloud Upsampling. Point cloud upsampling is to densify a sparse point set acquired from 3D sensors, providing a denser representation for the underlying surface. Existing methods divide the input points into small patches and upsample each patch separately, however, ignoring the global spatial consistency between patches. In this paper, we present a novel method PC 2 PU, which explores patch to patch and point to point correlations for more effective and robust point cloud upsampling. Specifically, our network has two appealing designs (i) We take adjacent patches as supplementary inputs to compensate the loss structure information within a single patch and introduce a Patch Correlation Module to capture the difference and similarity between patches. (ii) After augmenting each patch's geometry, we further introduce a Point Correlation Module to reveal the relationship of points inside each patch to maintain the local spatial consistency. Extensive experiments on both synthetic and real scanned datasets demonstrate that our method surpasses previous upsampling methods, particularly with the noisy inputs.


Topic Scene Graph Generation by Attention Distillation from Caption. If an image tells a story, the image caption is the briefest narrator. Generally, a scene graph prefers to be an omniscient generalist, while the image caption is more willing to be a specialist, which outlines the gist. Lots of previous studies have found that a scene graph is not as practical as expected unless it can reduce the trivial contents and noises. In this respect, the image caption is a good tutor. To this end, we let the scene graph borrow the ability from the image caption so that it can be a specialist on the basis of remaining all around, resulting in the so called Topic Scene Graph. What an image caption pays attention to is distilled and passed to the scene graph for estimating the importance of partial objects, relationships, and events. Specifically, during the caption generation, the attention about individual objects in each time step is collected, pooled, and assembled to obtain the attention about relationships, which serves as weak supervision for regularizing the estimated importance scores of relationships. In addition, as this attention distillation process provides an opportunity for combining the generation of image caption and scene graph together, we further transform the scene graph into linguistic form with rich and free form expressions by sharing a single generation model with image caption. Experiments show that attention distillation brings significant improvements in mining important relationships without strong supervision, and the topic scene graph shows great potential in subsequent applications.


On special quadrics. It is proved that the graded Lie algebras of infinitesimal holomorphic automorphisms of nondegenerate quadric of codimension k do not have nonzero graded components of weight greater than 2k. It is also proved that for k 3 and for RAQ quadrics there are no components of weight greater than 2.


Very high order TENO schemes with adaptive accuracy order and adaptive dissipation control. In this paper, a new family of very high order TENO schemes with adaptive accuracy order and adaptive dissipation control (TENO AA) is proposed. The new framework allows for constructing arbitrarily high order TENO schemes in a unified paradigm and the yielded nonlinear schemes gradually reduce to low order reconstructions by judging the smoothness with the ENO like stencil selection strategy. In order to control the nonlinear numerical dissipation adaptively, the flow scales are first measured by examining the first order undivided difference and the cut off constant C T in the TENO weighting strategy is adapted based on the corresponding measurement. With one set of optimal parameters, the newly proposed TENO schemes are designed to deliver excellent performance for predicting highly compressible flows with a wide range of Mach numbers. While the new very high order TENO schemes feature good robustness for conventional gas dynamics, the ENO property is well preserved with the assistant of a positivity preserving flux limiter for extreme simulations. Without loss of generality, the typical eight and ten point TENO AA schemes are constructed. A set of benchmark simulations are computed to demonstrate the performance of the proposed TENO schemes.


Gradient based Novelty Detection Boosted by Self supervised Binary Classification. Novelty detection aims to automatically identify out of distribution (OOD) data, without any prior knowledge of them. It is a critical step in data monitoring, behavior analysis and other applications, helping enable continual learning in the field. Conventional methods of OOD detection perform multi variate analysis on an ensemble of data or features, and usually resort to the supervision with OOD data to improve the accuracy. In reality, such supervision is impractical as one cannot anticipate the anomalous data. In this paper, we propose a novel, self supervised approach that does not rely on any pre defined OOD data (1) The new method evaluates the Mahalanobis distance of the gradients between the in distribution and OOD data. (2) It is assisted by a self supervised binary classifier to guide the label selection to generate the gradients, and maximize the Mahalanobis distance. In the evaluation with multiple datasets, such as CIFAR 10, CIFAR 100, SVHN and TinyImageNet, the proposed approach consistently outperforms state of the art supervised and unsupervised methods in the area under the receiver operating characteristic (AUROC) and area under the precision recall curve (AUPR) metrics. We further demonstrate that this detector is able to accurately learn one OOD class in continual learning.


Data Driven System Identification of 6 DoF Ship Motion in Waves with Neural Networks. Critical evaluation and understanding of ship responses in the ocean is important for not only the design and engineering of future platforms but also the operation and safety of those that are currently deployed. Simulations or experiments are typically performed in nominal sea conditions during ship design or prior to deployment and the results may not be reflective of the instantaneous state of the vessel and the ocean environment while deployed. Short term temporal predictions of ship responses given the current wave environment and ship state would enable enhanced decision making onboard for both manned and unmanned vessels. However, the current state of the art in numerical hydrodynamic simulation tools are too computationally expensive to be employed for real time ship motion forecasting and the computationally efficient tools are too low fidelity to provide accurate responses. A methodology is developed with long short term memory (LSTM) neural networks to represent the motions of a free running David Taylor Model Basin (DTMB) 5415 destroyer operating at 20 knots in Sea State 7 stern quartering irregular seas. Case studies are performed for both course keeping and turning circle scenarios. An estimate of the vessel's encounter frame is made with the trajectories observed in the training dataset. Wave elevation time histories are given by artificial wave probes that travel with the estimated encounter frame and serve as input into the neural network, while the output is the 6 DOF temporal ship motion response. Overall, the neural network is able to predict the temporal response of the ship due to unseen waves accurately, which makes this methodology suitable for system identification and real time ship motion forecasting. The methodology, the dependence of model accuracy on wave probe and training data quantity and the estimated encounter frame are all detailed.


Vision Guided Quadrupedal Locomotion in the Wild with Multi Modal Delay Randomization. Developing robust vision guided controllers for quadrupedal robots in complex environments, with various obstacles, dynamical surroundings and uneven terrains, is very challenging. While Reinforcement Learning (RL) provides a promising paradigm for agile locomotion skills with vision inputs in simulation, it is still very challenging to deploy the RL policy in the real world. Our key insight is that aside from the discrepancy in the domain gap, in visual appearance between the simulation and the real world, the latency from the control pipeline is also a major cause of difficulty. In this paper, we propose Multi Modal Delay Randomization (MMDR) to address this issue when training RL agents. Specifically, we simulate the latency of real hardware by using past observations, sampled with randomized periods, for both proprioception and vision. We train the RL policy for end to end control in a physical simulator without any predefined controller or reference motion, and directly deploy it on the real A1 quadruped robot running in the wild. We evaluate our method in different outdoor environments with complex terrains and obstacles. We demonstrate the robot can smoothly maneuver at a high speed, avoid the obstacles, and show significant improvement over the baselines. Our project page with videos is at https mehooz.github.io mmdr wild .


Neural 3D Clothes Retargeting from a Single Image. In this paper, we present a method of clothes retargeting generating the potential poses and deformations of a given 3D clothing template model to fit onto a person in a single RGB image. The problem is fundamentally ill posed as attaining the ground truth data is impossible, i.e., images of people wearing the different 3D clothing template model at exact same pose. We address this challenge by utilizing large scale synthetic data generated from physical simulation, allowing us to map 2D dense body pose to 3D clothing deformation. With the simulated data, we propose a semi supervised learning framework that validates the physical plausibility of the 3D deformation by matching with the prescribed body to cloth contact points and clothing silhouette to fit onto the unlabeled real images. A new neural clothes retargeting network (CRNet) is designed to integrate the semi supervised retargeting task in an end to end fashion. In our evaluation, we show that our method can predict the realistic 3D pose and deformation field needed for retargeting clothes models in real world examples.


Remarks on manifolds with two sided curvature bounds. We discuss folklore statements about distance functions in manifolds with two sided bounded curvature. The topics include regularity, subsets of positive reach and the cut locus.


Cartesian Differential Comonads and New Models of Cartesian Differential Categories. Cartesian differential categories come equipped with a differential combinator that formalizes the derivative from multi variable calculus, and also provide the categorical semantics of the differential lambda calculus. An important source of examples of Cartesian differential categories are the coKleisli categories of the comonads of differential categories, where the latter concept provides the categorical semantics of differential linear logic. In this paper, we generalize this construction by introducing Cartesian differential comonads, which are precisely the comonads whose coKleisli categories are Cartesian differential categories, and thus allows for a wider variety of examples of Cartesian differential categories. As such, we construct new examples of Cartesian differential categories from Cartesian differential comonads based on power series, divided power algebras, and Zinbiel algebras.


To Share or not to Share Predicting Sets of Sources for Model Transfer Learning. In low resource settings, model transfer can help to overcome a lack of labeled data for many tasks and domains. However, predicting useful transfer sources is a challenging problem, as even the most similar sources might lead to unexpected negative transfer results. Thus, ranking methods based on task and text similarity as suggested in prior work may not be sufficient to identify promising sources. To tackle this problem, we propose a new approach to automatically determine which and how many sources should be exploited. For this, we study the effects of model transfer on sequence labeling across various domains and tasks and show that our methods based on model similarity and support vector machines are able to predict promising sources, resulting in performance increases of up to 24 F1 points.


Realizing normal group velocity dispersion in free space via angular dispersion. It has long been thought that normal group velocity dispersion (GVD) cannot be produced in free space via angular dispersion. Indeed, conventional diffractive or dispersive components such as gratings or prisms produce only anomalous GVD. We identify the conditions that must be fulfilled by the angular dispersion introduced into a plane wave pulse to yield normal GVD. We then utilize a pulsed beam shaper capable of introducing arbitrary angular dispersion profiles to symmetrically produce normal and anomalous GVD in free space, which are realized here on the same footing for the first time.


Linear and orbital stability analysis for solitary wave solutions of variable coefficient scalar field equations. We study general semilinear scalar field equations on the real line with variable coefficients in the linear terms. These coefficients are uniformly small, but slowly decaying, perturbations of a constant coefficient operator. We are motivated by the question of how these perturbations of the equation may change the stability properties of kink solutions (one dimensional topological solitons). We prove existence of a stationary kink solution in our setting, and perform a detailed spectral analysis of the corresponding linearized operator, based on perturbing the linearized operator around the constant coefficient kink. We derive a formula that allows us to check whether a discrete eigenvalue emerges from the essential spectrum under this perturbation. Known examples suggest that this extra eigenvalue may have an important influence on the long time dynamics in a neighborhood of the kink. We also establish orbital stability of solitary wave solutions in the variable coefficient regime, despite the possible presence of negative eigenvalues in the linearization.


KDCTime Knowledge Distillation with Calibration on InceptionTime for Time series Classification. Time series classification approaches based on deep neural networks are easy to be overfitting on UCR datasets, which is caused by the few shot problem of those datasets. Therefore, in order to alleviate the overfitting phenomenon for further improving the accuracy, we first propose Label Smoothing for InceptionTime (LSTime), which adopts the information of soft labels compared to just hard labels. Next, instead of manually adjusting soft labels by LSTime, Knowledge Distillation for InceptionTime (KDTime) is proposed in order to automatically generate soft labels by the teacher model. At last, in order to rectify the incorrect predicted soft labels from the teacher model, Knowledge Distillation with Calibration for InceptionTime (KDCTime) is proposed, where it contains two optional calibrating strategies, i.e. KDC by Translating (KDCT) and KDC by Reordering (KDCR). The experimental results show that the accuracy of KDCTime is promising, while its inference time is two orders of magnitude faster than ROCKET with an acceptable training time overhead.


Universal Digital Services Through Basic Broadband. In addressing the universal deployment of digital services it is necessary to decide on the breadth of "universality" and the type of functionality of "digital services". These two decisions are linked certain desirable functionality does not lend itself to being implemented in some environments or with certain constraints. In this paper we define universality as achieving a level of universality in digital service that can bridge the digital divide not only throughout highly industrialized societies but also across the globe and in the face of disruption. We then argue that some of the characteristics of current Internet broadband service, in particular support for synchronous telepresence such as videoconferencing, is a barrier to implementation strategies that could enable cheap and resilient universal deploymen


DeliData A dataset for deliberation in multi party problem solving. Dialogue systems research is traditionally focused on dialogues between two interlocutors, largely ignoring group conversations. Moreover, most previous research is focused either on task oriented dialogue (e.g. restaurant bookings) or user engagement (chatbots), while research on systems for collaborative dialogues is an under explored area. To this end, we introduce the first publicly available dataset containing collaborative conversations on solving a cognitive task, consisting of 500 group dialogues and 14k utterances. Furthermore, we propose a novel annotation schema that captures deliberation cues and release 50 dialogues annotated with it. Finally, we demonstrate the usefulness of the annotated data in training classifiers to predict the constructiveness of a conversation. The data collection platform, dataset and annotated corpus are publicly available at https delibot.xyz


Using Non Linear Causal Models to Study Aerosol Cloud Interactions in the Southeast Pacific. Aerosol cloud interactions include a myriad of effects that all begin when aerosol enters a cloud and acts as cloud condensation nuclei (CCN). An increase in CCN results in a decrease in the mean cloud droplet size (r e ). The smaller droplet size leads to brighter, more expansive, and longer lasting clouds that reflect more incoming sunlight, thus cooling the earth. Globally, aerosol cloud interactions cool the Earth, however the strength of the effect is heterogeneous over different meteorological regimes. Understanding how aerosol cloud interactions evolve as a function of the local environment can help us better understand sources of error in our Earth system models, which currently fail to reproduce the observed relationships. In this work we use recent non linear, causal machine learning methods to study the heterogeneous effects of aerosols on cloud droplet radius.


A curvature obstruction to integrability. This note is an effort to understand how curvature obstructs the integrability of almost complex structures.


Berger domains and Kolmogorov typicality of infinitely many invariant circles. Using the novel notion of parablender, P. Berger proved that the existence of finitely many attractors is not Kolmogorov typical in parametric families of diffeomorphisms. Here, motivated by the concept of Newhouse domains we define Berger domains for families of diffeomorphisms. As an application, we show that the coexistence of infinitely many attracting invariant smooth circles is Kolmogorov typical in certain non sectionally dissipative Berger domains of parametric families in dimension three or greater.


Event Based Communication in Distributed Q Learning. We present an approach to reduce the communication of information needed on a Distributed Q Learning system inspired by Event Triggered Control (ETC) techniques. We consider a baseline scenario of a distributed Q learning problem on a Markov Decision Process (MDP). Following an event based approach, N agents explore the MDP and communicate experiences to a central learner only when necessary, which performs updates of the actor Q functions. We design an Event Based distributed Q learning system (EBd Q), and derive convergence guarantees with respect to a vanilla Q learning algorithm. We present experimental results showing that event based communication results in a substantial reduction of data transmission rates in such distributed systems. Additionally, we discuss what effects (desired and undesired) these event based approaches have on the learning processes studied, and how they can be applied to more complex multi agent systems.


A New "Non energetic" Route to Complex Organic Molecules in Astrophysical Environments The C H 2 O rightarrow H 2 CO Solid state Reaction. The solid state reaction C H 2 O rightarrow H 2 CO was studied experimentally following the codeposition of C atoms and H 2 O molecules at low temperatures. In spite of the reaction barrier and absence of energetic triggering, the reaction proceeds fast on the experimental timescale pointing to its quantum tunneling mechanism. This route to formaldehyde shows a new "non energetic" pathway to complex organic and prebiotic molecules in astrophysical environments. Energetic processing of the produced ice by UV irradiation leads mainly to the destruction of H 2 CO and the formation of CO 2 challenging the role of energetic processing in the synthesis of complex organic molecules under astrophysically relevant conditions.


Invariant bilinear forms under the rigid motions of a regular polygon. In this paper, for n a positve integer, we compute the number of n degree representations for a dihedral group G of order 2m, m geq 3 and the dimensions of the corresponding spaces of G invariant bilinear forms over a complex field C. We explicitly discuss about the existence of a non degenerate invariant bilinear form. The results are important due to their applications in the studies of physical sciences.


Bayesian Uncertainty and Expected Gradient Length Regression Two Sides Of The Same Coin?. Active learning algorithms select a subset of data for annotation to maximize the model performance on a budget. One such algorithm is Expected Gradient Length, which as the name suggests uses the approximate gradient induced per example in the sampling process. While Expected Gradient Length has been successfully used for classification and regression, the formulation for regression remains intuitively driven. Hence, our theoretical contribution involves deriving this formulation, thereby supporting the experimental evidence. Subsequently, we show that expected gradient length in regression is equivalent to Bayesian uncertainty. If certain assumptions are infeasible, our algorithmic contribution (EGL ) approximates the effect of ensembles with a single deterministic network. Instead of computing multiple possible inferences per input, we leverage previously annotated samples to quantify the probability of previous labels being the true label. Such an approach allows us to extend expected gradient length to a new task human pose estimation. We perform experimental validation on two human pose datasets (MPII and LSP LSPET), highlighting the interpretability and competitiveness of EGL with different active learning algorithms for human pose estimation.


Convolutional codes over finite chain rings, MDP codes and their characterization. In this paper, we develop the theory of convolutional codes over finite commutative chain rings. In particular, we focus on maximum distance profile (MDP) convolutional codes and we provide a characterization of these codes, generalizing the one known for fields. Moreover, we relate (reverse) MDP convolutional codes over a finite chain ring with (reverse) MDP convolutional codes over its residue field. Finally, we provide a construction of (reverse) MDP convolutional codes over finite chain rings generalizing the notion of (reverse) superregular matrices.


Interpretable and Low Resource Entity Matching via Decoupling Feature Learning from Decision Making. Entity Matching (EM) aims at recognizing entity records that denote the same real world object. Neural EM models learn vector representation of entity descriptions and match entities end to end. Though robust, these methods require many resources for training, and lack of interpretability. In this paper, we propose a novel EM framework that consists of Heterogeneous Information Fusion (HIF) and Key Attribute Tree (KAT) Induction to decouple feature representation from matching decision. Using self supervised learning and mask mechanism in pre trained language modeling, HIF learns the embeddings of noisy attribute values by inter attribute attention with unlabeled data. Using a set of comparison features and a limited amount of annotated data, KAT Induction learns an efficient decision tree that can be interpreted by generating entity matching rules whose structure is advocated by domain experts. Experiments on 6 public datasets and 3 industrial datasets show that our method is highly efficient and outperforms SOTA EM models in most cases. Our codes and datasets can be obtained from https github.com THU KEG HIF KAT.


Interactive Causal Structure Discovery in Earth System Sciences. Causal structure discovery (CSD) models are making inroads into several domains, including Earth system sciences. Their widespread adaptation is however hampered by the fact that the resulting models often do not take into account the domain knowledge of the experts and that it is often necessary to modify the resulting models iteratively. We present a workflow that is required to take this knowledge into account and to apply CSD algorithms in Earth system sciences. At the same time, we describe open research questions that still need to be addressed. We present a way to interactively modify the outputs of the CSD algorithms and argue that the user interaction can be modelled as a greedy finding of the local maximum a posteriori solution of the likelihood function, which is composed of the likelihood of the causal model and the prior distribution representing the knowledge of the expert user. We use a real world data set for examples constructed in collaboration with our co authors, who are the domain area experts. We show that finding maximally usable causal models in the Earth system sciences or other similar domains is a difficult task which contains many interesting open research questions. We argue that taking the domain knowledge into account has a substantial effect on the final causal models discovered.


SATAR A Self supervised Approach to Twitter Account Representation Learning and its Application in Bot Detection. Twitter has become a major social media platform since its launching in 2006, while complaints about bot accounts have increased recently. Although extensive research efforts have been made, the state of the art bot detection methods fall short of generalizability and adaptability. Specifically, previous bot detectors leverage only a small fraction of user information and are often trained on datasets that only cover few types of bots. As a result, they fail to generalize to real world scenarios on the Twittersphere where different types of bots co exist. Additionally, bots in Twitter are constantly evolving to evade detection. Previous efforts, although effective once in their context, fail to adapt to new generations of Twitter bots. To address the two challenges of Twitter bot detection, we propose SATAR, a self supervised representation learning framework of Twitter users, and apply it to the task of bot detection. In particular, SATAR generalizes by jointly leveraging the semantics, property and neighborhood information of a specific user. Meanwhile, SATAR adapts by pre training on a massive number of self supervised users and fine tuning on detailed bot detection scenarios. Extensive experiments demonstrate that SATAR outperforms competitive baselines on different bot detection datasets of varying information completeness and collection time. SATAR is also proved to generalize in real world scenarios and adapt to evolving generations of social media bots.


Kalman Filters on Differentiable Manifolds. Kalman filter is presumably one of the most important and extensively used filtering techniques in modern control systems. Yet, nearly all current variants of Kalman filters are formulated in the Euclidean space mathbb R n , while many real world systems (e.g., robotic systems) are really evolving on manifolds. In this paper, we propose a method to develop Kalman filters for such on manifold systems. Utilizing boxplus , boxminus operations and further defining an oplus operation on the respective manifold, we propose a canonical representation of the on manifold system. Such a canonical form enables us to separate the manifold constraints from the system behaviors in each step of the Kalman filter, ultimately leading to a generic and symbolic Kalman filter framework that are naturally evolving on the manifold. Furthermore, the on manifold Kalman filter is implemented as a toolkit in C packages which enables users to implement an on manifold Kalman filter just like the normal one in mathbb R n the user needs only to provide the system specific descriptions, and then call the respective filter steps (e.g., predict, update) without dealing with any of the manifold constraints. The existing implementation supports full iterated Kalman filtering for systems on any manifold composed of mathbb R n , SO(3) and mathbb S 2 , and is extendable to other types of manifold when necessary. The proposed symbolic Kalman filter and the developed toolkit are verified by implementing a tightly coupled lidar inertial navigation system. Results show that the developed toolkit leads to superior filtering performances and computation efficiency comparable to hand engineered counterparts. Finally, the toolkit is opened sourced at https github.com hku mars IKFoM to assist practitioners to quickly deploy an on manifold Kalman filter.


On the distributed backward reachability problem for large scale systems. Backward reachability (also termed controllability) has been extensively studied in control theory, and tools for a wide class of systems have been developed. Nevertheless, assessing a backward reachability analysis or synthesis remains challenging as the system dimension grows. In this paper we study the backward reachability problem for large scale networked nonlinear systems with coupled dynamics and subject to states and inputs nonlinear constraints. We propose a theory for completely general nonlinear constrained large scale controllability problems. We demonstrate that it is always possible to recast such problems for the overall large scale system into an equivalent distributed form where, without introducing any conservativeness, each node of the network iteratively solves a local reachability subproblem by exchanging information with the adjacent nodes. Although the proposed algorithm is completely decentralized, the solution of the backward reachability problem for the overall system is equivalently determined by the local ones and satisfies all the given constraints. Not being linked to any specific assumption on the system dynamics nor static constraints, the proposed results hold irrespectively of any possible analytical numerical solver to be adopted for backward reachability computation.


Analysis of Longitudinal Changes in Privacy Behavior of Android Applications. Privacy concerns have long been expressed around smart devices, and the concerns around Android apps have been studied by many past works. Over the past 10 years, we have crawled and scraped data for almost 1.9 million apps, and also stored the APKs for 135,536 of them. In this paper, we examine the trends in how Android apps have changed over time with respect to privacy and look at it from two perspectives (1) how privacy behavior in apps have changed as they are updated over time, (2) how these changes can be accounted for when comparing third party libraries and the app's own internals. To study this, we examine the adoption of HTTPS, whether apps scan the device for other installed apps, the use of permissions for privacy sensitive data, and the use of unique identifiers. We find that privacy related behavior has improved with time as apps continue to receive updates, and that the third party libraries used by apps are responsible for more issues with privacy. However, we observe that in the current state of Android apps, there has not been enough of an improvement in terms of privacy and many issues still need to be addressed.


Conformal Killing forms on 2 step nilpotent Riemannian Lie groups. We study left invariant conformal Killing 2 or 3 forms on simply connected 2 step nilpotent Riemannian Lie groups. We show that if the center of the group is of dimension greater than or equal to 4, then every such form is automatically coclosed (i.e. it is a Killing form). In addition, we prove that the only Riemannian 2 step nilpotent Lie groups with center of dimension at most 3 and admitting left invariant non coclosed conformal Killing 2 and 3 forms are the Heisenberg Lie groups and their trivial 1 dimensional extensions, endowed with any left invariant metric, and the simply connected Lie group corresponding to the free 2 step nilpotent Lie algebra on 3 generators, with a particular 1 parameter family of metrics. The explicit description of the space of conformal Killing 2 and 3 forms is provided in each case.


Numerical investigation of internal plasma currents in a magnetic nozzle. Two dimensional fully kinetic particle in cell simulations of an electrodeless plasma thruster, which uses a magnetic nozzle, were conducted to investigate the thrust generation induced by the internal plasma current. The results clearly show that the bf E times bf B and diamagnetic current densities are the major components of the internal plasma current. The simulated pressure structures reproduced the experimentally observed structures well. The results for various magnetic field strengths reveal that the bf E times bf B effect decreases and the diamagnetic effect becomes dominant with an increase in the magnetic field strength this demonstrates the significant contribution of the diamagnetic effect in thrust generation.


The last chapter of the Disquisitiones of Gauss. This exposition reviews what exactly Gauss asserted and what did he prove in the last chapter of sl Disquisitiones Arithmeticae about dividing the circle into a given number of equal parts. In other words, what did Gauss claim and actually prove concerning the roots of unity and the construction of a regular polygon with a given number of sides. Some history of Gauss's solution is briefly recalled, and in particular many relevant classical references are provided which we believe deserve to be better known.


ProxyFL Decentralized Federated Learning through Proxy Model Sharing. Institutions in highly regulated domains such as finance and healthcare often have restrictive rules around data sharing. Federated learning is a distributed learning framework that enables multi institutional collaborations on decentralized data with improved protection for each collaborator's data privacy. In this paper, we propose a communication efficient scheme for decentralized federated learning called ProxyFL, or proxy based federated learning. Each participant in ProxyFL maintains two models, a private model, and a publicly shared proxy model designed to protect the participant's privacy. Proxy models allow efficient information exchange among participants using the PushSum method without the need of a centralized server. The proposed method eliminates a significant limitation of canonical federated learning by allowing model heterogeneity each participant can have a private model with any architecture. Furthermore, our protocol for communication by proxy leads to stronger privacy guarantees using differential privacy analysis. Experiments on popular image datasets, and a pan cancer diagnostic problem using over 30,000 high quality gigapixel histology whole slide images, show that ProxyFL can outperform existing alternatives with much less communication overhead and stronger privacy.


A Kernel Framework to Quantify a Model's Local Predictive Uncertainty under Data Distributional Shifts. Traditional Bayesian approaches for model uncertainty quantification rely on notoriously difficult processes of marginalization over each network parameter to estimate its probability density function (PDF). Our hypothesis is that internal layer outputs of a trained neural network contain all of the information related to both its mapping function (quantified by its weights) as well as the input data distribution. We therefore propose a framework for predictive uncertainty quantification of a trained neural network that explicitly estimates the PDF of its raw prediction space (before activation), p(y' x,w), which we refer to as the model PDF, in a Gaussian reproducing kernel Hilbert space (RKHS). The Gaussian RKHS provides a localized density estimate of p(y' x,w), which further enables us to utilize gradient based formulations of quantum physics to decompose the model PDF in terms of multiple local uncertainty moments that provide much greater resolution of the PDF than the central moments characterized by Bayesian methods. This provides the framework with a better ability to detect distributional shifts in test data away from the training data PDF learned by the model. We evaluate the framework against existing uncertainty quantification methods on benchmark datasets that have been corrupted using common perturbation techniques. The kernel framework is observed to provide model uncertainty estimates with much greater precision based on the ability to detect model prediction errors.


Similarity Reasoning and Filtration for Image Text Matching. Image text matching plays a critical role in bridging the vision and language, and great progress has been made by exploiting the global alignment between image and sentence, or local alignments between regions and words. However, how to make the most of these alignments to infer more accurate matching scores is still underexplored. In this paper, we propose a novel Similarity Graph Reasoning and Attention Filtration (SGRAF) network for image text matching. Specifically, the vector based similarity representations are firstly learned to characterize the local and global alignments in a more comprehensive manner, and then the Similarity Graph Reasoning (SGR) module relying on one graph convolutional neural network is introduced to infer relation aware similarities with both the local and global alignments. The Similarity Attention Filtration (SAF) module is further developed to integrate these alignments effectively by selectively attending on the significant and representative alignments and meanwhile casting aside the interferences of non meaningful alignments. We demonstrate the superiority of the proposed method with achieving state of the art performances on the Flickr30K and MSCOCO datasets, and the good interpretability of SGR and SAF modules with extensive qualitative experiments and analyses.


Relations for Grothendieck groups of n cluster tilting subcategories. Let Lambda be an artin algebra and mathcal M be an n cluster tilting subcategory of mod Lambda . We show that mathcal M has an additive generator if and only if the n almost split sequences form a basis for the relations for the Grothendieck group of mathcal M if and only if every effaceable functor mathcal M rightarrow Ab has finite length. As a consequence we show that if mod Lambda has n cluster tilting subcategory of finite type then the n almost split sequences form a basis for the relations for the Grothendieck group of Lambda .


Max norm Ramsey Theory. Given a metric space mathcal M that contains at least two points, the chromatic number chi left( mathbb R n infty , mathcal M right) is defined as the minimum number of colours needed to colour all points of an n dimensional space mathbb R n infty with the max norm such that no isometric copy of mathcal M is monochromatic. The last two authors have recently shown that the value chi left( mathbb R n infty , mathcal M right) grows exponentially for all finite mathcal M . In the present paper we refine this result by giving the exact value chi mathcal M such that chi left( mathbb R n infty , mathcal M right) ( chi mathcal M o(1)) n for all 'one dimensional' mathcal M and for some of their Cartesian products. We also study this question for infinite mathcal M . In particular, we construct an infinite mathcal M such that the chromatic number chi left( mathbb R n infty , mathcal M right) tends to infinity as n rightarrow infty .


Instance Correction for Learning with Open set Noisy Labels. The problem of open set noisy labels denotes that part of training data have a different label space that does not contain the true class. Lots of approaches, e.g., loss correction and label correction, cannot handle such open set noisy labels well, since they need training data and test data to share the same label space, which does not hold for learning with open set noisy labels. The state of the art methods thus employ the sample selection approach to handle open set noisy labels, which tries to select clean data from noisy data for network parameters updates. The discarded data are seen to be mislabeled and do not participate in training. Such an approach is intuitive and reasonable at first glance. However, a natural question could be raised "can such data only be discarded during training?". In this paper, we show that the answer is no. Specifically, we discuss that the instances of discarded data could consist of some meaningful information for generalization. For this reason, we do not abandon such data, but use instance correction to modify the instances of the discarded data, which makes the predictions for the discarded data consistent with given labels. Instance correction are performed by targeted adversarial attacks. The corrected data are then exploited for training to help generalization. In addition to the analytical results, a series of empirical evidences are provided to justify our claims.


SUTD TrafficQA A Question Answering Benchmark and an Efficient Network for Video Reasoning over Traffic Events. Traffic event cognition and reasoning in videos is an important task that has a wide range of applications in intelligent transportation, assisted driving, and autonomous vehicles. In this paper, we create a novel dataset, SUTD TrafficQA (Traffic Question Answering), which takes the form of video QA based on the collected 10,080 in the wild videos and annotated 62,535 QA pairs, for benchmarking the cognitive capability of causal inference and event understanding models in complex traffic scenarios. Specifically, we propose 6 challenging reasoning tasks corresponding to various traffic scenarios, so as to evaluate the reasoning capability over different kinds of complex yet practical traffic events. Moreover, we propose Eclipse, a novel Efficient glimpse network via dynamic inference, in order to achieve computation efficient and reliable video reasoning. The experiments show that our method achieves superior performance while reducing the computation cost significantly. The project page https github.com SUTDCV SUTD TrafficQA.


Neutron detection efficiency of the Neutron dEtector with Xn Tracking (NEXT). An efficient neutron detection system with good energy resolution is required to correctly characterize decays of neutron rich nuclei where beta delayed neutron emission is a dominant decay mode. The Neutron dEtector with Xn Tracking (NEXT) has been designed to measure beta delayed neutron emitters. By segmenting the detector along the neutron flight path, NEXT reduces the associated uncertainties in neutron time of flight measurements, improving energy resolution while maintaining detection efficiency. Detector prototypes are comprised of optically separated segments of a neutron gamma discriminating plastic scintillator coupled to position sensitive photomultiplier tubes. The first performance studies of this detector showed that high intrinsic neutron detection efficiency could be achieved while retaining good energy resolution. The results from the efficiency measurements using neutrons from direct reactions are presented.


On Beurling measure algebras. We show how the measure theory of regular compacted Borel measures defined on the delta ring of compacted Borel subsets of a weighted locally compact group (G, omega) provides a compatible framework for defining the corresponding Beurling measure algebra cal M (G, omega) , thus filling a gap in the literature.


Fairness Degrading Adversarial Attacks Against Clustering Algorithms. Clustering algorithms are ubiquitous in modern data science pipelines, and are utilized in numerous fields ranging from biology to facility location. Due to their widespread use, especially in societal resource allocation problems, recent research has aimed at making clustering algorithms fair, with great success. Furthermore, it has also been shown that clustering algorithms, much like other machine learning algorithms, are susceptible to adversarial attacks where a malicious entity seeks to subvert the performance of the learning algorithm. However, despite these known vulnerabilities, there has been no research undertaken that investigates fairness degrading adversarial attacks for clustering. We seek to bridge this gap by formulating a generalized attack optimization problem aimed at worsening the group level fairness of centroid based clustering algorithms. As a first step, we propose a fairness degrading attack algorithm for k median clustering that operates under a whitebox threat model where the clustering algorithm, fairness notion, and the input dataset are known to the adversary. We provide empirical results as well as theoretical analysis for our simple attack algorithm, and find that the addition of the generated adversarial samples can lead to significantly lower fairness values. In this manner, we aim to motivate fairness degrading adversarial attacks as a direction for future research in fair clustering.


Noncommutative Differential Calculus Structure on Secondary Hochschild (co)homology. Let B be a commutative algebra and A be a B algebra (determined by an algebra homomorphism varepsilon B rightarrow A ). M. D. Staic introduced a Hochschild like cohomology H bullet ((A,B, varepsilon) A) called secondary Hochschild cohomology, to describe the non trivial B algebra deformations of A . J. Laubacher et al later obtained a natural construction of a new chain (and cochain) complex overline C bullet (A,B, varepsilon) (resp. overline C bullet (A,B, varepsilon) ) in the process of introducing the secondary cyclic (co)homology. It turns out that unlike the classical case of associative algebras (over a field), there exist different (co)chain complexes for the B algebra A . In this paper, we establish a connection between the two (co)homology theories for B algebra A . We show that the pair big(H bullet ((A,B, varepsilon) A),HH bullet (A,B, varepsilon) big) forms a non commutative differential calculus, where HH bullet (A,B, varepsilon) denotes the homology of the complex overline C bullet (A,B, varepsilon) .


Latent Network Models to Account for Noisy, Multiply Reported Social Network Data. Social network data are often constructed by incorporating reports from multiple individuals. However, it is not obvious how to reconcile discordant responses from individuals. There may be particular risks with multiply reported data if people's responses reflect normative expectations such as an expectation of balanced, reciprocal relationships. Here, we propose a probabilistic model that incorporates ties reported by multiple individuals to estimate the unobserved network structure. In addition to estimating a parameter for each reporter that is related to their tendency of over or under reporting relationships, the model explicitly incorporates a term for "mutuality," the tendency to report ties in both directions involving the same alter. Our model's algorithmic implementation is based on variational inference, which makes it efficient and scalable to large systems. We apply our model to data from 75 Indian villages collected with a name generator design, and a Nicaraguan community collected with a roster based design. We observe strong evidence of "mutuality" in both datasets, and find that this value varies by relationship type. Consequently, our model estimates networks with reciprocity values that are substantially different than those resulting from standard deterministic aggregation approaches, demonstrating the need to consider such issues when gathering, constructing, and analysing survey based network data.


Semiring identities of the Brandt monoid. The 6 element Brandt monoid B 2 1 admits a unique addition under which it becomes an additively idempotent semiring. We show that this addition is a term operation of B 2 1 as an inverse semigroup. As a consequence, we exhibit an easy proof that the semiring identities of B 2 1 are not finitely based.


Automorphisms of tropical Hassett spaces. Given an integer g geq 0 and a weight vector w in mathbb Q n cap (0, 1 n satisfying 2g 2 sum w i 0 , let Delta g, w denote the moduli space of n marked, w stable tropical curves of genus g and volume one. We calculate the automorphism group mathrm Aut ( Delta g, w ) for g geq 1 and arbitrary w , and we calculate the group mathrm Aut ( Delta 0, w ) when w is heavy light. In both of these cases, we show that mathrm Aut ( Delta g, w ) cong mathrm Aut (K w) , where K w is the abstract simplicial complex on 1, ldots, n whose faces are subsets with w weight at most 1 . We show that these groups are precisely the finite direct products of symmetric groups. The space Delta g, w may also be identified with the dual complex of the divisor of singular curves in the algebraic Hassett space overline mathcal M g, w . Following the work of Massarenti and Mella on the biregular automorphism group mathrm Aut ( overline mathcal M g, w ) , we show that mathrm Aut ( Delta g, w ) is naturally identified with the subgroup of automorphisms which preserve the divisor of singular curves.


Classification of fiber sequences with a prescribed holonomy action. We define mathcal H fibration sequences as fibrations where the holonomy action of the fundamental group of the base on the fiber lies in a given subgroup mathcal H of mathcal E (F) , where mathcal E (F) is the homotopy automorphism group of the fiber. Furthermore, we classify these mathcal H fibration sequences via a universal mathcal H fibration sequence.


A Scalable AI Approach for Clinical Trial Cohort Optimization. FDA has been promoting enrollment practices that could enhance the diversity of clinical trial populations, through broadening eligibility criteria. However, how to broaden eligibility remains a significant challenge. We propose an AI approach to Cohort Optimization (AICO) through transformer based natural language processing of the eligibility criteria and evaluation of the criteria using real world data. The method can extract common eligibility criteria variables from a large set of relevant trials and measure the generalizability of trial designs to real world patients. It overcomes the scalability limits of existing manual methods and enables rapid simulation of eligibility criteria design for a disease of interest. A case study on breast cancer trial design demonstrates the utility of the method in improving trial generalizability.


Faithfullness of geometric action of skein algebras. We show that the action of the Kauffman bracket skein algebra of a surface Sigma on the skein module of the handlebody bounded by Sigma is faithful if and only if the quantum parameter is not a root of 1.


Correcting Presbyopia with Autofocusing Liquid Lens Eyeglasses. Presbyopia, an age related ocular disorder, is characterized by the loss in the accommodative abilities of the human ocular system and afflicts more than 1.8 billion people world wide. Conventional methods of correcting presbyopia fragment the field of vision, inherently resulting in significant vision impairment. We demonstrate the development, assembly and evaluation of autofocusing eyeglasses for restoration of accommodation without vision field loss. The adaptive optics eyeglasses consist of two variable focus piezoelectric liquid lenses, a time of flight range sensor and low power, dual microprocessor control electronics housed within an ergonomic frame. Patient specific accommodation deficiency models were utilized to demonstrate a high fidelity accommodative correction. Each accommodation correction calculation was performed in 67 ms requiring 4.86 mJ of energy. The optical resolution of the system was 10.5 cycles degree, featuring a restorative accommodative range of 4.3 D. This system can run for up to 19 hours between charge cycles and weighs 132 g, allowing comfortable restoration of accommodative function


On Ensemble Learning. In this paper, we consider ensemble classifiers, that is, machine learning based classifiers that utilize a combination of scoring functions. We provide a framework for categorizing such classifiers, and we outline several ensemble techniques, discussing how each fits into our framework. From this general introduction, we then pivot to the topic of ensemble learning within the context of malware analysis. We present a brief survey of some of the ensemble techniques that have been used in malware (and related) research. We conclude with an extensive set of experiments, where we apply ensemble techniques to a large and challenging malware dataset. While many of these ensemble techniques have appeared in the malware literature, previously there has been no way to directly compare results such as these, as different datasets and different measures of success are typically used. Our common framework and empirical results are an effort to bring some sense of order to the chaos that is evident in the evolving field of ensemble learning both within the narrow confines of the malware analysis problem, and in the larger realm of machine learning in general.


iQUANT Interactive Quantitative Investment Using Sparse Regression Factors. The model based investing using financial factors is evolving as a principal method for quantitative investment. The main challenge lies in the selection of effective factors towards excess market returns. Existing approaches, either hand picking factors or applying feature selection algorithms, do not orchestrate both human knowledge and computational power. This paper presents iQUANT, an interactive quantitative investment system that assists equity traders to quickly spot promising financial factors from initial recommendations suggested by algorithmic models, and conduct a joint refinement of factors and stocks for investment portfolio composition. We work closely with professional traders to assemble empirical characteristics of "good" factors and propose effective visualization designs to illustrate the collective performance of financial factors, stock portfolios, and their interactions. We evaluate iQUANT through a formal user study, two case studies, and expert interviews, using a real stock market dataset consisting of 3000 stocks times 6000 days times 56 factors.


Shared Dining Broadcasting Secret Shares using Dining Cryptographers Groups. A k anonymous broadcast can be implemented using a small group of dining cryptographers to first share the message, followed by a flooding phase started by group members. Members have little incentive to forward the message in a timely manner, as forwarding incurs costs, or they may even profit from keeping the message. In worst case, this leaves the true originator as the only sender, rendering the dining cryptographers phase useless and compromising their privacy. We present a novel approach using a modified dining cryptographers protocol to distributed shares of an (n,k) Shamir's secret sharing scheme. Finally, all group members broadcast their received share through the network, allowing any recipient of k shares to reconstruct the message, enforcing anonymity. If less than k group members broadcast their shares, the message cannot be decoded thus preventing privacy breaches for the originator. Our system provides (n attackers ) anonymity for up to k 1 attackers and has little performance impact on dissemination. We show these results in a security analysis and performance evaluation based on a proof of concept prototype. Throughput rates between 10 and 100 kB s are enough for many real applications with high privacy requirements, e.g., financial blockchain system.


New Representation of Drazin Inverse for Block complex matrices. We present a new formula for the Drazin inverse of the sum of two complex matrices under weaker conditions with perturbations. By using this additive results, we establish new representations for the Drazin inverse of 2 times 2 block complex matrix under certain new conditions involving perturbations.


Boltzmann sampling of irreducible context free structures in linear time. We continue our program of improving the complexity of so called Boltzmann sampling algorithms, for the exact sampling of combinatorial structures, and reach average linear time complexity, i.e. optimality up to a multiplicative constant. Here we solve this problem for irreducible context free structures, a broad family of structures to which the celebrated Drmota Lalley Woods Theorem applies. Our algorithm is a rejection algorithm. The main idea is to single out some degrees of freedom, i.e. write p(x) p 1(y) p 2(x y) , which allows to introduce a rejection factor at the level of the y object, that is almost surely of order 1 .


A Brief Introduction to Automatic Differentiation for Machine Learning. Machine learning and neural network models in particular have been improving the state of the art performance on many artificial intelligence related tasks. Neural network models are typically implemented using frameworks that perform gradient based optimization methods to fit a model to a dataset. These frameworks use a technique of calculating derivatives called automatic differentiation (AD) which removes the burden of performing derivative calculations from the model designer. In this report we describe AD, its motivations, and different implementation approaches. We briefly describe dataflow programming as it relates to AD. Lastly, we present example programs that are implemented with Tensorflow and PyTorch, which are two commonly used AD frameworks.


Explicit Good Subspace metric Codes and Subset metric Codes. In this paper motivated from subspace coding we introduce subspace metric codes and subset metric codes. These are coordinate position independent pseudometrics and suitable for the folded codes. The half Singleton upper bounds for linear subspace metric codes and linear subset metric codes are proved. Subspace distances and subset distances of codes are natural lower bounds for insdel distances of codes, and then can be used to lower bound the insertion deletion error correcting capabilities of codes. Our subspace metric codes or subset metric codes can be used to construct explicit well structured insertion deletion codes directly. k deletion correcting codes with rate approaching 1 can be constructed from subspace codes. By analysing the subset distances of folded codes from evaluation codes of linear mappings, we prove that they have high subset distances and then are explicit good insertion deletion codes.


Denial of Service Attack Detection via Differential Analysis of Generalized Entropy Progressions. Denial of Service (DoS) attacks are one the most common and consequential cyber attacks in computer networks. While existing research offers a plethora of detection methods, the issue of achieving both scalability and high detection accuracy remains open. In this work, we address this problem by developing a differential method based on generalized entropy progression. In this method, we continuously fit the line of best fit to the entropy progression and check if the derivative, that is, the slope of this line is less than the negative of the dynamically computed standard deviation of the derivatives. As a result, we omit the usage of the thresholds and the results with five real world network traffic datasets confirm that our method outperforms threshold based DoS attack detection by two orders of magnitude on average. Our method achieves false positive rates that are up to 7 where the arithmetic mean is 3 with Tsallis entropy and only 5 sampling of the total network flow. Moreover, since the main computation cost of our method is the entropy computation, which is linear in the volume of the unit time network flow and it uses integer only operations and a small fraction of the total flow, it is therefore lightweight and scalable.


On characters of wreath products. A character identity which relates irreducible character values of the hyperoctahedral group B n to those of the symmetric group S 2n was recently proved by L "ubeck and Prasad. Their proof is algebraic and involves Lie theory. We present a short combinatorial proof of this identity, as well as a generalization to other wreath products.


DASHA Decentralized Autofocusing System with Hierarchical Agents. State of the art object detection models are frequently trained offline using available datasets, such as ImageNet large and overly diverse data that are unbalanced and hard to cluster semantically. This kind of training drops the object detection performance should the change in illumination, in the environmental conditions (e.g., rain), or in the lens positioning (out of focus blur) occur. We propose a decentralized hierarchical multi agent deep reinforcement learning approach for intelligently controlling the camera and the lens focusing settings, leading to a significant improvement beyond the capacity of the popular detection models (YOLO, Faster R CNN, and Retina are considered). The algorithm relies on the latent representation of the camera's stream and, thus, it is the first method to allow a completely no reference tuning of the camera, where the system trains itself to auto focus itself.


Bounds on the Capacity of PIR over Graphs. In the private information retrieval (PIR) problem, a user wants to retrieve a file from a database without revealing any information about the desired file's identity to the servers that store the database. In this paper, we study the PIR capacity of a graph based replication system, in which each file is stored on two distinct servers according to an underlying graph. This paper aims to provide upper and lower bounds to the PIR capacity of graphs via various graph properties. In particular, we provide several upper bounds on the PIR capacity that apply to all graphs. We further improve the bounds for specific graph families (which turn out to be tight in certain cases) by utilizing the underlying graph structure. For the lower bounds, we establish optimal rate PIR retrieval schemes for star graphs via edge coloring techniques. Lastly, we provide an improved PIR scheme for complete graphs, which implies an improved general lower bound on all graphs' PIR capacity.


Interpretable Fields in Various Valued Fields. Let mathcal K (K,v, ldots) be a dp minimal expansion of a non trivially valued field of characteristic 0 and mathcal F an infinite field interpretable in mathcal K . Assume that mathcal K is one of the following (i) V minimal, (ii) power bounded T convex, or (iii) P minimal (assuming additionally in (iii) generic differentiability of definable functions). Then mathcal F is definably isomorphic to a finite extension K or, in cases (i) and (ii), its residue field. In particular, every infinite field interpretable in mathbb Q p is definably isomorphic to a finite extension of mathbb Q p , answering a question of Pillay's. Using Johnson's work on dp minimal fields and the machinery developed here, we conclude that if mathcal K is an infinite dp minimal pure field then every field definable in mathcal K is definably isomorphic to a finite extension of K . The proof avoids elimination of imaginaries in mathcal K replacing it with a reduction of the problem to certain distinguished quotients of K .


Fact driven Logical Reasoning. Logical reasoning, which is closely related to human cognition, is of vital importance in human's understanding of texts. Recent years have witnessed increasing attentions on machine's logical reasoning abilities. However, previous studies commonly apply ad hoc methods to model pre defined relation patterns, such as linking named entities, which only considers global knowledge components that are related to commonsense, without local perception of complete facts or events. Such methodology is obviously insufficient to deal with complicated logical structures. Therefore, we argue that the natural logic units would be the group of backbone constituents of the sentence such as the subject verb object formed "facts", covering both global and local knowledge pieces that are necessary as the basis for logical reasoning. Beyond building the ad hoc graphs, we propose a more general and convenient fact driven approach to construct a supergraph on top of our newly defined fact units, and enhance the supergraph with further explicit guidance of local question and option interactions. Experiments on two challenging logical reasoning benchmark datasets, ReClor and LogiQA, show that our proposed model, textsc Focal Reasoner , outperforms the baseline models dramatically. It can also be smoothly applied to other downstream tasks such as MuTual, a dialogue reasoning dataset, achieving competitive results.


The Power of Random Symmetry Breaking in Nakamoto Consensus. Nakamoto consensus underlies the security of many of the world's largest cryptocurrencies, such as Bitcoin and Ethereum. Common lore is that Nakamoto consensus only achieves consistency and liveness under a regime where the difficulty of its underlying mining puzzle is very high, negatively impacting overall throughput and latency. In this work, we study Nakamoto consensus under a wide range of puzzle difficulties, including very easy puzzles. We first analyze an adversary free setting and show that, surprisingly, the common prefix of the blockchain grows quickly even with easy puzzles. In a setting with adversaries, we provide a small backwards compatible change to Nakamoto consensus to achieve consistency and liveness with easy puzzles. Our insight relies on a careful choice of emph symmetry breaking strategy , which was significantly underestimated in prior work. We introduce a new method emph coalescing random walks to analyzing the correctness of Nakamoto consensus under the uniformly at random symmetry breaking strategy. This method is more powerful than existing analysis methods that focus on bounding the number of it convergence opportunities .


Existence Results for double phase problem in Sobolev Orlicz spaces with variable exponents in Complete Manifold. In this paper, we study the existence of non negative non trivial solutions for a class of double phase problems where the source term is a Caratheodory function that satisfies the Ambrosetti Rabinowitz type condition in the framework of Sobolev Orlicz spaces with variable exponents in complete compact Riemannian n manifolds. Our approach is based on the Nehari manifold and some variational techniques. Furthermore, the H "older inequality, continuous and compact embedding results are proved.


Surveying the Landscape of Ethics Focused Design Methods. Over the past decade, HCI researchers, design researchers, and practitioners have increasingly addressed ethics focused issues through a range of theoretical, methodological and pragmatic contributions to the field. While many forms of design knowledge have been proposed and described, we focus explicitly on knowledge that has been codified as "methods," which we define as any supports for everyday work practices of designers. In this paper, we identify, analyze, and map a collection of 63 existing ethics focused methods intentionally designed for ethical impact. We present a content analysis, providing a descriptive record of how they operationalize ethics, their intended audience or context of use, their "core" or "script," and the means by which these methods are formulated, articulated, and languaged. Building on these results, we provide an initial definition of ethics focused methods, identifying potential opportunities for the development of future methods to support design practice and research.