Miniaturised control of acidity in multiplexed microreactors. The control of acidity influences the structural assembly of biopolymers that are essential for a wide range of applications. Its miniaturization can increase the speed and the possibilities of combinatorial throughput for their manipulation, similarly to the way that the miniaturization of transistors allows the high throughput of logical operations in microelectronics. Here we present a device containing multiplexed micro reactors, each one enabling independent electrochemical control of the acidity in 2.5 nL volumes, with a large acidity range in aqueous solutions from pH 3 to 7 and an accuracy of at least 0.4 pH units. The attained pH within each microreactor (with footprints of 0.3 mm2 for each spot) was kept constant for long retention times ( 10 minutes) and over repeated cycles 100. The acidity is driven by redox proton exchange reactions, which can be driven at different rates that influence the efficiency of the device in order to achieve more charge exchange (larger acidity range) or better reversibility. By the performance in the acidity control the miniaturisation and the possibility to multiplex paves the way for the control of combinatorial chemistry through pH and acidity controlled reactions.


Planar algebras, quantum information theory and subfactors. We define generalised notions of biunitary elements in planar algebras and show that objects arising in quantum information theory such as Hadamard matrices, quantum latin squares and unitary error bases are all given by biunitary elements in the spin planar algebra. We show that there are natural subfactor planar algebras associated with biunitary elements.


Uncountable dichromatic number without short directed cycles. A. Hajnal and P. Erd H o s proved that a graph with uncountable chromatic number cannot avoid short cycles, it must contain for example C 4 (among other obligatory subgraphs). It was shown recently by D. T. Soukup that, in contrast of the undirected case, it is consistent that for any n omega there exists an uncountably dichromatic digraph without directed cycles shorter than n . He asked if it is provable already in ZFC. We answer his question positively by constructing for every infinite cardinal kappa and n omega a digraph of size 2 kappa with dichromatic number at least kappa which does not contain directed cycles of length less than n as a subdigraph.


Are the better cooperators dormant or quiescent?. Despite the wealth of empirical and theoretical studies, the origin and maintenance of cooperation is still an evolutionary riddle. In this context, ecological life history traits which affect the efficiency of selection may play a role, though these are often ignored. We consider here species such as bacteria, fungi, invertebrates and plants which exhibit resting stages in the form of a quiescent state or a seedbank. When quiescent, individuals are inactive and reproduce upon activation, while under seed bank parents produce offspring remaining dormant for different amount of time. We assume weak frequency dependent selection modeled using game theory and the prisoners dilemma (cooperation defect) as payoff matrix. The cooperators and defectors are allowed to evolve different quiescence or dormancy times. By means of singular perturbation theory we reduce the model to a one dimensional equation resembling the well known replicator equation, where the gain functions are scaled with lumped parameters reflecting the time scale of the resting state of the cooperators and defectors. If both time scales are identical cooperation cannot persist in a homogeneous population. If, however, the time scale of the cooperator is distinctively different from that of the defector, cooperation may become a locally asymptotically stable strategy. Interestingly enough, in the seedbank case the cooperator needs to be faster than the defector, while in the quiescent case the cooperator has to be slower. We use adaptive dynamics to identify situations where cooperation may evolve and form a convergent stable ESS. We conclude by highlighting the relevance fo these results for many non model species and the maintenance of cooperation in microbial, invertebrate or plant populations.


Supervised Ontology and Instance Matching with MELT. In this paper, we present MELT ML, a machine learning extension to the Matching and EvaLuation Toolkit (MELT) which facilitates the application of supervised learning for ontology and instance matching. Our contributions are twofold We present an open source machine learning extension to the matching toolkit as well as two supervised learning use cases demonstrating the capabilities of the new extension.


Filtration of cohomology via symmetric semisimplicial spaces. Inspired by Deligne's use of the simplicial theory of hypercoverings in defining mixed Hodge structures, we replace the indexing category Delta by the emph symmetric simplicial category Delta S and study (a class of) Delta S hypercoverings, which we call emph spaces admitting symmetric (semi)simplicial filtration . For Delta S hypercoverings we construct a spectral sequence, somewhat like the v C ech to derived category spectral sequence. The advantage of working on Delta S is that all of the combinatorial complexities that come with working on Delta are bypassed, giving simpler, unified proof of known results like the computation of (in some cases, stable) singular cohomology (with mathbb Q coefficients) and et al e cohomology (with mathbb Q ell coefficients) of the moduli space of degree n maps C to mathbb P r , C a smooth projective curve of genus g , of unordered configuration spaces etc. as well as new that of the moduli space of smooth sections of a fixed mathfrak g r d that is m very ample for some m .


Mask Guided Attention Network for Occluded Pedestrian Detection. Pedestrian detection relying on deep convolution neural networks has made significant progress. Though promising results have been achieved on standard pedestrians, the performance on heavily occluded pedestrians remains far from satisfactory. The main culprits are intra class occlusions involving other pedestrians and inter class occlusions caused by other objects, such as cars and bicycles. These result in a multitude of occlusion patterns. We propose an approach for occluded pedestrian detection with the following contributions. First, we introduce a novel mask guided attention network that fits naturally into popular pedestrian detection pipelines. Our attention network emphasizes on visible pedestrian regions while suppressing the occluded ones by modulating full body features. Second, we empirically demonstrate that coarse level segmentation annotations provide reasonable approximation to their dense pixel wise counterparts. Experiments are performed on CityPersons and Caltech datasets. Our approach sets a new state of the art on both datasets. Our approach obtains an absolute gain of 9.5 in log average miss rate, compared to the best reported results on the heavily occluded (HO) pedestrian set of CityPersons test set. Further, on the HO pedestrian set of Caltech dataset, our method achieves an absolute gain of 5.0 in log average miss rate, compared to the best reported results. Code and models are available at https github.com Leotju MGAN.


On a new generating functions for the Fox Wright functions and theirs applications. The main focus of the present paper is to investigate several generating functions for a certain classes of functions associated to the Fox Wright functions. In particular, certain generating functions for a class of function involving the Fox Wright functions will be expressed in terms of the H function of two variables are investigated. As applications, some generating functions associated to the generalized Mathieu type power series and the extended Hurwitz Lerch zeta function are established. Furthermore, some new double series identity are considered. A conjecture about the finite Laplace transform of a class of function associated to the Fox's H function is made.


Robot in the mirror toward an embodied computational model of mirror self recognition. Self recognition or self awareness is a capacity attributed typically only to humans and few other species. The definitions of these concepts vary and little is known about the mechanisms behind them. However, there is a Turing test like benchmark the mirror self recognition, which consists in covertly putting a mark on the face of the tested subject, placing her in front of a mirror, and observing the reactions. In this work, first, we provide a mechanistic decomposition, or process model, of what components are required to pass this test. Based on these, we provide suggestions for empirical research. In particular, in our view, the way the infants or animals reach for the mark should be studied in detail. Second, we develop a model to enable the humanoid robot Nao to pass the test. The core of our technical contribution is learning the appearance representation and visual novelty detection by means of learning the generative model of the face with deep auto encoders and exploiting the prediction error. The mark is identified as a salient region on the face and reaching action is triggered, relying on a previously learned mapping to arm joint angles. The architecture is tested on two robots with a completely different face.


Solving Polynomial Systems with phcpy. The solutions of a system of polynomials in several variables are often needed, e.g. in the design of mechanical systems, and in phase space analyses of nonlinear biological dynamics. Reliable, accurate, and comprehensive numerical solutions are available through PHCpack, a FOSS package for solving polynomial systems with homotopy continuation. This paper explores new developments in phcpy, a scripting interface for PHCpack, over the past five years. For instance, phcpy is now available online through a JupyterHub server featuring Python2, Python3, and SageMath kernels. As small systems are solved in real time by phcpy, they are suitable for interactive exploration through the notebook interface. Meanwhile, phcpy supports GPU parallelization, improving the speed and quality of solutions to much larger polynomial systems. From various model design and analysis problems in STEM, certain classes of polynomial system frequently arise, to which phcpy is well suited.


Negotiation based Human Robot Collaboration via Augmented Reality. Effective human robot collaboration (HRC) requires extensive communication among the human and robot teammates, because their actions can potentially produce conflicts, synergies, or both. We develop a novel augmented reality (AR) interface to bridge the communication gap between human and robot teammates. Building on our AR interface, we develop an AR mediated, negotiation based (ARN) framework for HRC. We have conducted experiments both in simulation and on real robots in an office environment, where multiple mobile robots work on delivery tasks. The robots could not complete the tasks on their own, but sometimes need help from their human teammate, rendering human robot collaboration necessary. Results suggest that ARN significantly reduced the human robot team's task completion time compared to a non AR baseline approach.


Topology of the Stokes phenomenon. Several intrinsic topological ways to encode connections on vector bundles on smooth complex algebraic curves will be described. In particular the notion of em Stokes decompositions will be formalised, as a convenient intermediate category between the Stokes filtrations and the Stokes local systems wild monodromy representations. The main result establishes a new simple characterisation of the Stokes decompositions.


Fast video object segmentation with Spatio Temporal GANs. Learning descriptive spatio temporal object models from data is paramount for the task of semi supervised video object segmentation. Most existing approaches mainly rely on models that estimate the segmentation mask based on a reference mask at the first frame (aided sometimes by optical flow or the previous mask). These models, however, are prone to fail under rapid appearance changes or occlusions due to their limitations in modelling the temporal component. On the other hand, very recently, other approaches learned long term features using a convolutional LSTM to leverage the information from all previous video frames. Even though these models achieve better temporal representations, they still have to be fine tuned for every new video sequence. In this paper, we present an intermediate solution and devise a novel GAN architecture, FaSTGAN, to learn spatio temporal object models over finite temporal windows. To achieve this, we concentrate all the heavy computational load to the training phase with two critics that enforce spatial and temporal mask consistency over the last K frames. Then at test time, we only use a relatively light regressor, which reduces the inference time considerably. As a result, our approach combines a high resiliency to sudden geometric and photometric object changes with efficiency at test time (no need for fine tuning nor post processing). We demonstrate that the accuracy of our method is on par with state of the art techniques on the challenging YouTube VOS and DAVIS datasets, while running at 32 fps, about 4x faster than the closest competitor.


Numerical Assessment for Accuracy and GPU Acceleration of TD DMRG Time Evolution Schemes. Time dependent density matrix renormalization group (TD DMRG) has become one of the cutting edge methods of quantum dynamics for complex systems. In this paper, we comparatively study the accuracy of three time evolution schemes in TD DMRG, the global propagation and compression method with Runge Kutta algorithm (P C RK), the time dependent variational principle based methods with matrix unfolding algorithm (TDVPMU) and with projector splitting algorithm (TDVP PS), by performing benchmarks on the exciton dynamics of Fenna Matthews Olson (FMO) complex. We show that TDVP MU and TDVP PS yield the same result when the time step size is converged and they are more accurate than P C RK4, while TDVP PS tolerates a larger time step size than TDVP MU. We further adopt the graphical processing units (GPU) to accelerate the heavy tensor contractions in TD DMRG and it is able to speed up the TDVP MU and TDVP PS schemes by up to 73 times.


Leadership in Congestion Games Multiple User Classes and Non Singleton Actions (Extended Version). We study the problem of finding Stackelberg equilibria in games with a massive number of players. So far, the only known game instances in which the problem is solved in polynomial time are some particular congestion games. However, a complete characterization of hard and easy instances is still lacking. In this paper, we extend the state of the art along two main directions. First, we focus on games where players' actions are made of multiple resources, and we prove that the problem is NP hard and not in Poly APX unless P NP, even in the basic case in which players are symmetric, their actions are made of only two resources, and the cost functions are monotonic. Second, we focus on games with singleton actions where the players are partitioned into classes, depending on which actions they have available. In this case, we provide a dynamic programming algorithm that finds an equilibrium in polynomial time, when the number of classes is fixed and the leader plays pure strategies. Moreover, we prove that, if we allow for leader's mixed strategies, then the problem becomes NP hard even with only four classes and monotonic costs. Finally, for both settings, we provide mixed integer linear programming formulations, and we experimentally evaluate their scalability on both random game instances and worst case instances based on our hardness reductions.


EHAP ORAM Efficient Hardware Assisted Persistent ORAM System for Non volatile Memory. Oblivious RAM (ORAM) protected access pattern is essential for secure NVM. In the ORAM system, data and PosMap metadata are maps in pairs to perform secure access. Therefore, we focus on the problem of crash consistency in the ORAM system. Unfortunately, using traditional software based support for ORAM system crash consistency is not only expensive, it can also lead to information leaks. At present, there is no relevant research on the specific crash consistency mechanism supporting the ORAM system. To support crash consistency without damaging ORAM system security and compromising the performance, we propose EHAP ORAM. Firstly, we analyze the access steps of basic ORAM to obtain the basic requirements to support the ORAM system crash consistency. Secondly, improve the ORAM controller. Thirdly, for the improved hardware system, we propose several persistence protocols supporting the ORAM system crash consistency. Finally, we compared our persistent ORAM with the system without crash consistency support, non recursive and recursive EHAP ORAM only incurs 3.36 and 3.65 performance overhead. The results show that EHAP ORAM not only supports effective crash consistency with minimal performance and hardware overhead but also is friendly to NVM lifetime.


Weak polynomial identities and their applications. Let R be an associative algebra over a field K generated by a vector subspace V . The polynomial f(x 1, ldots,x n) of the free associative algebra K langle x 1,x 2, ldots rangle is a weak polynomial identity for the pair (R,V) if it vanishes in R when evaluated on V . We survey results on weak polynomial identities and on their applications to polynomial identities and central polynomials of associative and close to them nonassociative algebras and on the finite basis problem. We also present results on weak polynomial identities of degree three.


Formalizing Time4sys using parametric timed automata. Critical real time systems must be verified to avoid the risk of dramatic consequences in case of failure. Thales developed an open formalism Time4sys to model real time systems, with expressive features such as periodic or sporadic tasks, task dependencies, distributed systems, etc. However, Time4sys does not natively allow for a formal reasoning. In this work, we present a translation from Time4sys to (parametric) timed automata, so as to allow for a formal verification.


The impact of incorrect social information on collective wisdom in human groups. A major problem that resulted from the massive use of social media networks is the diffusion of incorrect information. However, very few studies have investigated the impact of incorrect information on individual and collective decisions. We performed experiments in which participants had to estimate a series of quantities before and after receiving social information. Unbeknownst to them, we controlled the degree of inaccuracy of the social information through "virtual influencers", who provided some incorrect information. We find that a large proportion of individuals only partially follow the social information, thus resisting incorrect information. Moreover, we find that incorrect social information can help a group perform better when it overestimates the true value, by partly compensating a human underestimation bias. Overall, our results suggest that incorrect information does not necessarily impair the collective wisdom of groups, and can even be used to dampen the negative effects of known cognitive biases.


Constructive description of Hardy Sobolev spaces in strictly pseudoconvex domains with minimal smoothness. Let Omega subset mathbb C n be a strictly pseudoconvex Runge domain with C 2 smooth defining function, l in mathbb N , p in(1, infty). We prove that the holomorphic function f has derivatives of order l in H p( Omega) if and only if there exists a sequence on polynomials P n of degree n such that sum limits k 1 infty 2 2lk left lvert f(z) P 2 k (z) right rvert 2 in L p( partial Omega).


Characterising DNA T motifs by Simulation and Experiment. The success of DNA nanotechnology has been driven by the discovery of novel structural motifs with a wide range of shapes and uses. We present a comprehensive study of the T motif, a 3 armed, planar, right angled junction that has been used in the self assembly of DNA polyhedra and periodic structures. The motif is formed through the interaction of a bulge loop in one duplex and a sticky end of another. The polarity of the sticky end has significant consequences for the thermodynamic and geometrical properties of the T motif different polarities create junctions spanning different grooves of the duplex. We compare experimental binding strengths with predictions of oxDNA, a coarse grained model of DNA, for various loop sizes. We find that, although both sticky end polarities can create stable junctions, junctions resulting from 5 ' sticky ends are stable over a wider range of bulge loop sizes. We highlight the importance of possible coaxial stacking interactions within the motif and investigate how each coaxial stacking interaction stabilises the structure and favours a particular geometry.


Performance tests of boron coated straw detectors with thermal and cold neutron beams. Prototypes of newly developed boron coated straw (BCS) detectors have been tested in the thermal and cold neutron energy ranges. Their neutron detection performance has been benchmarked against the industry standard (detector tubes filled with 3He gas). The tests show that the BCS straws perform near their theoretical limit regarding the detection efficiency, which is adequate for scientific instruments in the cold neutron energy range. The BCS detectors perform on par with 3He tubes in terms of signal to noise and timing resolution, and superior regarding longitudinal spatial resolution.


A simple proof of curvature estimate for convex solution of k Hessian equation. Guan Ren Wang established the curvature estimate of convex hypersurface satisfying the Weingarten curvature equation sigma k ( kappa(X)) f(X, nu(X)) . In this note, we give a simple proof of this result.


A decoupled staggered scheme for the shallow water equations. We present a first order scheme based on a staggered grid for the shallow water equations with topography in two space dimensions, which enjoys several properties positivity of the water height, preservation of constant states, and weak consistency with the equations of the problem and with the associated entropy inequality.


AWB GCN A Graph Convolutional Network Accelerator with Runtime Workload Rebalancing. Deep learning systems have been successfully applied to Euclidean data such as images, video, and audio. In many applications, however, information and their relationships are better expressed with graphs. Graph Convolutional Networks (GCNs) appear to be a promising approach to efficiently learn from graph data structures, having shown advantages in many critical applications. As with other deep learning modalities, hardware acceleration is critical. The challenge is that real world graphs are often extremely large and unbalanced this poses significant performance demands and design challenges. In this paper, we propose Autotuning Workload Balancing GCN (AWB GCN) to accelerate GCN inference. To address the issue of workload imbalance in processing real world graphs, three hardware based autotuning techniques are proposed dynamic distribution smoothing, remote switching, and row remapping. In particular, AWB GCN continuously monitors the sparse graph pattern, dynamically adjusts the workload distribution among a large number of processing elements (up to 4K PEs), and, after converging, reuses the ideal configuration. Evaluation is performed using an Intel D5005 FPGA with five commonly used datasets. Results show that 4K PE AWB GCN can significantly elevate PE utilization by 7.7x on average and demonstrate considerable performance speedups over CPUs (3255x), GPUs (80.3x), and a prior GCN accelerator (5.1x).


Explicit Motion Risk Representation. This paper presents a formal definition and explicit representation of robot motion risk. Currently, robot motion risk has not been formally defined, but has already been used in motion and path planning. Risk is either implicitly represented as model uncertainty using probabilistic approaches, where the definition of risk is somewhat avoided, or explicitly modeled as a simple function of states, without a formal definition. In this work, we provide formal reasoning behind what risk is for robot motion and propose a formal definition of risk in terms of a sequence of motion, namely path. Mathematical approaches to represent motion risk are also presented, which is in accordance with our risk definition and properties. The definition and representation of risk provide a meaningful way to evaluate or construct robot motion or path plans. The understanding of risk is even of greater interest for the search and rescue community the deconstructed environments cast extra risk onto the robot, since they are working under extreme conditions. A proper risk representation has the potential to reduce robot failure in the field.


Etale triviality of finite vector bundles over compact complex manifolds. A vector bundle E over a projective variety M is called finite if it satisfies a nontrivial polynomial equation with nonnegative integral coefficients. Introducing finite bundles, Nori proved that E is finite if and only if the pullback of E to some finite 'etale covering of M is trivializable cite No1 . The definition of finite bundles extends naturally to holomorphic vector bundles over compact complex manifolds. We prove that a holomorphic vector bundle over a compact complex manifold M is finite if and only if the pullback of E to some finite 'etale covering of M is holomorphically trivializable. Therefore, E is finite if and only if it admits a flat holomorphic connection with finite monodromy.


On truncated mapping spaces of E n operads. The mapping spaces of the r truncated versions of the E n operads appear as the r th stage of the Taylor tower for long embedding spaces. It has been shown that their rational homotopy groups can be expressed through graph homology in the limit r to infty . For finite r only a part of the graph homology appears in the homotopy groups of the Taylor tower at this stage, possibly along with some additional unstable homotopy groups. In this paper we study the convergence properties in some more detail. In particular, we provide bounds for the stage r at which the various graph homology classes start appearing, and we provide degree bounds for the unstable (i.e., vanishing as r to infty ) terms in the homotopy groups of the tower.


Information Aggregation for Multi Head Attention with Routing by Agreement. Multi head attention is appealing for its ability to jointly extract different types of information from multiple representation subspaces. Concerning the information aggregation, a common practice is to use a concatenation followed by a linear transformation, which may not fully exploit the expressiveness of multi head attention. In this work, we propose to improve the information aggregation for multi head attention with a more powerful routing by agreement algorithm. Specifically, the routing algorithm iteratively updates the proportion of how much a part (i.e. the distinct information learned from a specific subspace) should be assigned to a whole (i.e. the final output representation), based on the agreement between parts and wholes. Experimental results on linguistic probing tasks and machine translation tasks prove the superiority of the advanced information aggregation over the standard linear transformation.


LEAP A Lightweight Encryption and Authentication Protocol for In Vehicle Communications. The Controller Area Network (CAN) is considered as the de facto standard for the in vehicle communications due to its real time performance and high reliability. Unfortunately, the lack of security protection on the CAN bus gives attackers the opportunity to remotely compromise a vehicle. In this paper, we propose a Lightweight Encryption and Authentication Protocol (LEAP) with low cost and high efficiency to address the security issue of the CAN bus. LEAP exploits the security enhanced stream cipher primitive to provide encryption and authentication for the CAN messages. Compared with the state of the art Message Authentication Code (MAC) based approaches, LEAP requires less memory, is 8X faster, and thwarts the most recently proposed attacks.


Extremely Weak Supervised Image to Image Translation for Semantic Segmentation. Recent advances in generative models and adversarial training have led to a flourishing image to image (I2I) translation literature. The current I2I translation approaches require training images from the two domains that are either all paired (supervised) or all unpaired (unsupervised). In practice, obtaining paired training data in sufficient quantities is often very costly and cumbersome. Therefore solutions that employ unpaired data, while less accurate, are largely preferred. In this paper, we aim to bridge the gap between supervised and unsupervised I2I translation, with application to semantic image segmentation. We build upon pix2pix and CycleGAN, state of the art seminal I2I translation techniques. We propose a method to select (very few) paired training samples and achieve significant improvements in both supervised and unsupervised I2I translation settings over random selection. Further, we boost the performance by incorporating both (selected) paired and unpaired samples in the training process. Our experiments show that an extremely weak supervised I2I translation solution using only one paired training sample can achieve a quantitative performance much better than the unsupervised CycleGAN model, and comparable to that of the supervised pix2pix model trained on thousands of pairs.


Generative Models for Novelty Detection Applications in abnormal event and situational change detection from data series. Novelty detection is a process for distinguishing the observations that differ in some respect from the observations that the model is trained on. Novelty detection is one of the fundamental requirements of a good classification or identification system since sometimes the test data contains observations that were not known at the training time. In other words, the novelty class is often is not presented during the training phase or not well defined. In light of the above, one class classifiers and generative methods can efficiently model such problems. However, due to the unavailability of data from the novelty class, training an end to end model is a challenging task itself. Therefore, detecting the Novel classes in unsupervised and semi supervised settings is a crucial step in such tasks. In this thesis, we propose several methods to model the novelty detection problem in unsupervised and semi supervised fashion. The proposed frameworks applied to different related applications of anomaly and outlier detection tasks. The results show the superior of our proposed methods in compare to the baselines and state of the art methods.


On the intersection distribution of degree three polynomials and related topics. The intersection distribution of a polynomial f over finite field mathbb F q was recently proposed in Li and Pott (arXiv 2003.06678v1), which concerns the collective behaviour of a collection of polynomials f(x) cx mid c in mathbb F q . The intersection distribution has an underlying geometric interpretation, which indicates the intersection pattern between the graph of f and the lines in the affine plane AG(2,q) . When q is even, the long standing open problem of classifying o polynomials can be rephrased in a simple way, namely, classifying all polynomials which have the same intersection distribution as x 2 . Inspired by this connection, we proceed to consider the next simplest case and derive the intersection distribution for all degree three polynomials over mathbb F q with q both odd and even. Moreover, we initiate to classify all monomials having the same intersection distribution as x 3 , where some characterizations of such monomials are obtained and a conjecture is proposed. In addition, two applications of the intersection distributions of degree three polynomials are presented. The first one is the construction of nonisomorphic Steiner triple systems and the second one produces infinite families of Kakeya sets in affine planes with previously unknown sizes.


Machine Learning with bond information for local structure optimizations in surface science. Local optimization of adsorption systems inherently involves different scales within the substrate, within the molecule, and between molecule and substrate. In this work, we show how the explicit modeling of the different character of the bonds in these systems improves the performance of machine learning methods for optimization. We introduce an anisotropic kernel in the Gaussian process regression framework that guides the search for the local minimum, and we show its overall good performance across different types of atomic systems. The method shows a speed up of up to a factor two compared with the fastest standard optimization methods on adsorption systems. Additionally, we show that a limited memory approach is not only beneficial in terms of overall computational resources, but can result in a further reduction of energy and force calculations.


Where to drive free space detection with one fisheye camera. The development in the field of autonomous driving goes hand in hand with ever new developments in the field of image processing and machine learning methods. In order to fully exploit the advantages of deep learning, it is necessary to have sufficient labeled training data available. This is especially not the case for omnidirectional fisheye cameras. As a solution, we propose in this paper to use synthetic training data based on Unity3D. A five pass algorithm is used to create a virtual fisheye camera. This synthetic training data is evaluated for the application of free space detection for different deep learning network architectures. The results indicate that synthetic fisheye images can be used in deep learning context.


On the motive of the Quot scheme of finite quotients of a locally free sheaf. Let X be a smooth variety, E a locally free sheaf on X . We express the generating function of the motives textrm Quot X(E,n) in terms of the power structure on the Grothendieck ring of varieties. This extends a recent result of Bagnarol, Fantechi and Perroni for curves, and a result of Gusein Zade, Luengo and Melle Hern ' a ndez for Hilbert schemes. We compute this generating function for curves and we express the relative motive textrm Quot mathbb A d ( mathscr O oplus r ) to textrm Sym , mathbb A d as a plethystic exponential.


Establishing Reliable Robot Behavior using Capability Analysis Tables. Robots are often so complex that one person may not know all the ins and outs of the system. Inheriting software and hardware infrastructure with limited documentation and or practical robot experience presents a costly challenge for an engineer or researcher. The choice is to either re build existing systems, or invest in learning the existing framework. No matter the choice, a reliable system which produces expected outcomes is necessary, and while rebuilding may at first appear easier than learning the system, future users will be faced with the same choice. This paper provides a method to allow for increased documentation of the robotic system, which in turn can be used to contribute in overall robot reliability. To do this we propose the identification of a robot's core behaviors for use in Capability Analysis Tables (CATs). CATs are a form of tabular documentation that connect the hardware and software inputs and outputs to the robot's core behaviors. Unlike existing methods, CATs are flexible, easy to build, and understandable by non expert robot users. We demonstrate this documentation method with an experimental example using an Unmanned Aerial Vehicle (UAV).


When Hearst Is not Enough Improving Hypernymy Detection from Corpus with Distributional Models. We address hypernymy detection, i.e., whether an is a relationship exists between words (x, y), with the help of large textual corpora. Most conventional approaches to this task have been categorized to be either pattern based or distributional. Recent studies suggest that pattern based ones are superior, if large scale Hearst pairs are extracted and fed, with the sparsity of unseen (x, y) pairs relieved. However, they become invalid in some specific sparsity cases, where x or y is not involved in any pattern. For the first time, this paper quantifies the non negligible existence of those specific cases. We also demonstrate that distributional methods are ideal to make up for pattern based ones in such cases. We devise a complementary framework, under which a pattern based and a distributional model collaborate seamlessly in cases which they each prefer. On several benchmark datasets, our framework achieves competitive improvements and the case study shows its better interpretability.


Learning Probably Approximately Correct Maximin Strategies in Simulation Based Games with Infinite Strategy Spaces. We tackle the problem of learning equilibria in simulation based games. In such games, the players' utility functions cannot be described analytically, as they are given through a black box simulator that can be queried to obtain noisy estimates of the utilities. This is the case in many real world games in which a complete description of the elements involved is not available upfront, such as complex military settings and online auctions. In these situations, one usually needs to run costly simulation processes to get an accurate estimate of the game outcome. As a result, solving these games begets the challenge of designing learning algorithms that can find (approximate) equilibria with high confidence, using as few simulator queries as possible. Moreover, since running the simulator during the game is unfeasible, the algorithms must first perform a pure exploration learning phase and, then, use the (approximate) equilibrium learned this way to play the game. In this work, we focus on two player zero sum games with infinite strategy spaces. Drawing from the best arm identification literature, we design two algorithms with theoretical guarantees to learn maximin strategies in these games. The first one works in the fixed confidence setting, guaranteeing the desired confidence level while minimizing the number of queries. Instead, the second algorithm fits the fixed budget setting, maximizing the confidence without exceeding the given maximum number of queries. First, we formally prove delta PAC theoretical guarantees for our algorithms under some regularity assumptions, which are encoded by letting the utility functions be drawn from a Gaussian process. Then, we experimentally evaluate our techniques on a testbed made of randomly generated games and instances representing simple real world security settings.


Riemannian Adaptive Optimization Algorithm and Its Application to Natural Language Processing. This paper proposes a Riemannian adaptive optimization algorithm to optimize the parameters of deep neural networks. The algorithm is an extension of both AMSGrad in Euclidean space and RAMSGrad on a Riemannian manifold. The algorithm helps to resolve two issues affecting RAMSGrad. The first is that it can solve the Riemannian stochastic optimization problem directly, in contrast to RAMSGrad which only achieves a low regret. The other is that it can use constant learning rates, which makes it implementable in practice. Additionally, we apply the proposed algorithm to Poincar 'e embeddings, which embed the transitive closure of the WordNet nouns into the Poincar 'e ball model of hyperbolic space. Numerical experiments show that regardless of the initial value of the learning rate, our algorithm stably converges to the optimal solution and converges faster than RSGD, the most basic Riemannian stochastic optimization algorithm.


Gorenstein Fano toric degenerations. We propose a refined but natural notion of toric degenerations that respect a given embedding and show that within this framework a Gorenstein Fano variety can only be degenerated to a Gorenstein Fano toric variety if it is embedded via its anticanonical embedding. This also gives a precise criterion for reflexive polytopes to appear, which might be required for applications in mirror symmetry. For the proof of this statement we will study polytopes whose polar dual is a lattice polytope. As a byproduct we generalize a connection between the number of lattice points in a rational convex polytope and the Euler characteristic of an associated torus invariant rational Weil divisor, allowing us to show that Ehrhart Macdonald Reciprocity and Serre Duality are equivalent statements for a broad class of varieties. Additionally, we conjecture a necessary and sufficient condition for the Ehrhart quasi polynomial of a rational convex polytope to be a polynomial. Finally, we show that the anticanonical line bundle on a Gorenstein Fano variety with at worst rational singularities is uniquely determined by a combinatorial condition of its Hilbert polynomial.


Goals and Measures for Analyzing Power Consumption Data in Manufacturing Enterprises. The Internet of Things adoption in the manufacturing industry allows enterprises to monitor their electrical power consumption in real time and at machine level. In this paper, we follow up on such emerging opportunities for data acquisition and show that analyzing power consumption in manufacturing enterprises can serve a variety of purposes. Apart from the prevalent goal of reducing overall power consumption for economical and ecological reasons, such data can, for example, be used to improve production processes. Based on a literature review and expert interviews, we discuss how analyzing power consumption data can serve the goals reporting, optimization, fault detection, and predictive maintenance. To tackle these goals, we propose to implement the measures real time data processing, multi level monitoring, temporal aggregation, correlation, anomaly detection, forecasting, visualization, and alerting in software. We transfer our findings to two manufacturing enterprises and show how the presented goals reflect in these enterprises. In a pilot implementation of a power consumption analytics platform, we show how our proposed measures can be implemented with a microservice based architecture, stream processing techniques, and the fog computing paradigm. We provide the implementations as open source as well as a public demo allowing to reproduce and extend our research.


Spectrahedral relaxations of hyperbolicity cones. Let p be a real zero polynomial in n variables. Then p defines a rigidly convex set C(p) . We construct a linear matrix inequality of size n 1 in the same n variables that depends only on the cubic part of p and defines a spectrahedron S(p) containing C(p) . The proof of the containment uses the characterization of real zero polynomials in two variables by Helton and Vinnikov. We exhibit many cases where C(p) S(p) . In terms of optimization theory, we introduce a small semidefinite relaxation of a potentially huge hyperbolic program. If the hyperbolic program is a linear program, we introduce even a finitely convergent hierachy of semidefinite relaxations. With some extra work, we discuss the homogeneous setup where real zero polynomials correspond to homogeneous polynomials and rigidly convex sets correspond to hyperbolicity cones. The main aim of our construction is to attack the generalized Lax conjecture saying that C(p) is always a spectrahedron. To this end, we conjecture that real zero polynomials in fixed degree can be "amalgamated" and show it in three special cases with three completely different proofs. We show that this conjecture would imply the following partial result towards the generalized Lax conjecture Given finitely many planes in mathbb R n , there is a spectrahedron containing C(p) that coincides with C(p) on each of these planes. This uses again the result of Helton and Vinnikov.


Match4Rec A Novel Recommendation Algorithm Based on Bidirectional Encoder Representation with the Matching Task. Characterizing users' interests accurately plays a significant role in an effective recommender system. The sequential recommender system can learn powerful hidden representations of users from successive user item interactions and dynamic users' preferences. To analyze such sequential data, conventional methods mainly include Markov Chains (MCs) and Recurrent Neural Networks (RNNs). Recently, the use of self attention mechanisms and bi directional architectures have gained much attention. However, there still exists a major limitation in previous works that they only model the user's main purposes in the behavioral sequences separately and locally, and they lack the global representation of the user's whole sequential behavior. To address this limitation, we propose a novel bidirectional sequential recommendation algorithm that integrates the user's local purposes with the global preference by additive supervision of the matching task. We combine the mask task with the matching task in the training process of the bidirectional encoder. A new sample production method is also introduced to alleviate the effect of mask noise. Our proposed model can not only learn bidirectional semantics from users' behavioral sequences but also explicitly produces user representations to capture user's global preference. Extensive empirical studies demonstrate our approach considerably outperforms various state of the art models.


Supercritical elliptic problems on the round sphere and nodal solutions to the Yamabe problem in projective spaces. Given an isoparametric function f on the n dimensional round sphere, we consider functions of the form u w circ f to reduce the semilinear elliptic problem Delta g 0 u lambda u lambda u p 1 u qquad text on mathbb S n with lambda 0 and 1 p , into a singular ODE in 0, pi of the form w'' frac h(r) sin r w' frac lambda ell 2 ( w p 1 w w ) 0 , where h is an strictly decreasing function having exactly one zero in this interval and ell is a geometric constant. Using a double shooting method, together with a result for oscillating solutions to this kind of ODE, we obtain a sequence of sign changing solutions to the first problem which are constant on the isoparametric hypersurfaces associated to f and blowing up at one or two of the focal submanifolds generating the isoparametric family. Our methods apply also when p frac n 2 n 2 , i.e., in the supercritical case. Moreover, using a reduction via harmonic morphisms, we prove existence and multiplicity of sign changing solutions to the Yamabe problem on the complex and quaternionic space, having a finite disjoint union of isoparametric hipersurfaces as regular level sets.


Multi Sense Language Modelling. The effectiveness of a language model is influenced by its token representations, which must encode contextual information and handle the same word form having a plurality of meanings (polysemy). Currently, none of the common language modelling architectures explicitly model polysemy. We propose a language model which not only predicts the next word, but also its sense in context. We argue that this higher prediction granularity may be useful for end tasks such as assistive writing, and allow for more a precise linking of language models with knowledge bases. We find that multi sense language modelling requires architectures that go beyond standard language models, and here propose a structured prediction framework that decomposes the task into a word followed by a sense prediction task. To aid sense prediction, we utilise a Graph Attention Network, which encodes definitions and example uses of word senses. Overall, we find that multi sense language modelling is a highly challenging task, and suggest that future work focus on the creation of more annotated training datasets.


On two frequency quasi periodic perturbations of systems close to two dimensional Hamiltonian ones with a double limit cycle. The problem of the effect of two frequency quasi periodic perturbations on systems close to arbitrary nonlinear two dimensional Hamiltonian ones is studied in the case when the corresponding perturbed autonomous systems have a double limit cycle. Its solution is important both for the theory of synchronization of nonlinear oscillations and for the theory of bifurcations of dynamical systems. In the case of commensurability of the natural frequency of the unperturbed system with frequencies of quasi periodic perturbation, resonance occurs. Averaged systems are derived that make it possible to ascertain the structure of the resonance zone, that is, to describe the behavior of solutions in the neighborhood of individual resonance levels. The study of these systems allows determining possible bifurcations arising when the resonance level deviates from the level of the unperturbed system, which generates a double limit cycle in a perturbed autonomous system. The theoretical results obtained are applied in the study of a two frequency quasi periodic perturbed pendulum type equation and are illustrated by numerical computations.


Some Motivic Remarks On The Moduli Stacks Of global G Shtukas And Their Local Models. In this article we study motives corresponding to the moduli stacks of G shtukas and their local models. In particular we deal with the question of describing their motivic fundamental invariants. As an application, we provide a criterion for mixed Tateness of the local model, and discuss the semi simplicity of Frobenius on their cohomology. We then use the theory of local models to reformulate a purity result for these moduli stacks in the motivic context.


Quasicrystalline and crystalline rare gas clusters produced in supersonic jets Impact of the jet clustering level on cathodoluminescence spectra. The paper proposes a new approach to studying cathodoluminescence spectra of substrate free rare gas clusters produced in supersonic jets exhausting into a vacuum. The approach, which takes into account the fraction of the clustered substance in the jet, is applied to quantitatively analyze integrated intensities of the luminescence bands of the neutral and charged excimer complexes (Rg2) and (Rg4 ) measured for nanoclusters of three rare gases (Rg Ar, Kr, and Xe) with average sizes ranging from 100 to 18000 atoms per clusters (diameters varying from 2 to 13 nm). The amount of the clustered substance, which affects the absolute values of integrated intensity of the bands, is shown to be proportional to the logarithm of the average size of clusters in the jet. Analysis of normalized intensities allowed us to spectroscopically find two ranges of average sizes of Ar, Kr, and Xe nanoclusters which, in accordance with the electron diffraction studies, can be assigned to quasicrystalline icosahedral and crystalline fcc structures in clusters, as well as to find the cluster size range in which both structures coexist. We show that in fcc clusters the luminescence of the neutral molecules (Rg2) comes from within the volume of the cluster, while the charged excimer complexes (Rg4 ) emit mostly from subsurface layers.


A reverse Minkowski type inequality. The famous Minkowski inequality provides a sharp lower bound for the mixed volume V(K,M n 1 ) of two convex bodies K,M subset mathbb R n in terms of powers of the volumes of the individual bodies K and M . The special case where K is the unit ball yields the isoperimetric inequality. In the plane, Betke and Weil (1991) found a sharp upper bound for the mixed area of K and M in terms of the perimeters of K and M . We extend this result to general dimensions by proving a sharp upper bound for the mixed volume V(K,M n 1 ) in terms of the mean width of K and the surface area of M . The equality case is completely characterized. In addition, we establish a stability improvement of this and related geometric inequalities of isoperimetric type.


The Open Crepant Transformation Conjecture for Toric Calabi Yau 3 Orbifolds. We prove an open version of Ruan's Crepant Transformation Conjecture for toric Calabi Yau 3 orbifolds, which is an identification of disk invariants of K equivalent semi projective toric Calabi Yau 3 orbifolds relative to corresponding Lagrangian suborbifolds of Aganagic Vafa type. Our main tool is a mirror theorem of Fang Liu Tseng that relates these disk invariants to local coordinates on the B model mirror curves. Treating toric crepant transformations as wall crossings in the GKZ secondary fan, we establish the identification of disk invariants through constructing a global family of mirror curves over charts of the secondary variety and understanding analytic continuation on local coordinates. Our work generalizes previous results of Brini Cavalieri Ross on disk invariants of threefold type A singularities and of Ke Zhou on crepant resolutions with effective outer branes.


Optimizing Reachability Sets in Temporal Graphs by Delaying. A temporal graph is a dynamic graph where every edge is assigned a set of integer time labels that indicate at which discrete time step the edge is available. In this paper, we study how changes of the time labels, corresponding to delays on the availability of the edges, affect the reachability sets from given sources. The questions about reachability sets are motivated by numerous applications of temporal graphs in network epidemiology, which aim to minimise the spread of infection, and scheduling problems in supply networks in manufacturing with the opposite objectives of maximising coverage and productivity. We introduce control mechanisms for reachability sets that are based on two natural operations of delaying. The first operation, termed merging, is global and batches together consecutive time labels into a single time label in the whole network simultaneously. This corresponds to postponing all events until a particular time. The second, imposes independent delays on the time labels of every edge of the graph. We provide a thorough investigation of the computational complexity of different objectives related to reachability sets when these operations are used. For the merging operation, i.e. global lockdown effect, we prove NP hardness results for several minimization and maximization reachability objectives, even for very simple graph structures. For the second operation, independent delays, we prove that the minimization problems are NP hard when the number of allowed delays is bounded. We complement this with a polynomial time algorithm for minimising the reachability set in case of unbounded delays.


Distributing Intelligence to the Edge and Beyond. Machine Intelligence (MI) technologies have revolutionized the design and applications of computational intelligence systems, by introducing remarkable scientific and technological enhancements across domains. MI can improve Internet of Things (IoT) in several ways, such as optimizing the management of large volumes of data or improving automation and transmission in large scale IoT deployments. When considering MI in the IoT context, MI services deployment must account for the latency demands and network bandwidth requirements. To this extent, moving the intelligence towards the IoT end device aims to address such requirements and introduces the notion of Distributed MI (D MI) also in the IoT context. However, current D MI deployments are limited by the lack of MI interoperability. Currently, the intelligence is tightly bound to the application that exploits it, limiting the provisioning of that specific intelligence service to additional applications. The objective of this article is to propose a novel approach to cope with such constraints. It focuses on decoupling the intelligence from the application by revising the traditional device's stack and introducing an intelligence layer that provides services to the overlying application layer. This paradigm aims to provide final users with more control and accessibility of intelligence services by boosting providers' incentives to develop solutions that could theoretically reach any device. Based on the definition of this emerging paradigm, we explore several aspects related to the intelligence distribution and its impact in the whole MI ecosystem.


Cross directional Feature Fusion Network for Building Damage Assessment from Satellite Imagery. Fast and effective responses are required when a natural disaster (e.g., earthquake, hurricane, etc.) strikes. Building damage assessment from satellite imagery is critical before an effective response is conducted. High resolution satellite images provide rich information with pre and post disaster scenes for analysis. However, most existing works simply use pre and post disaster images as input without considering their correlations. In this paper, we propose a novel cross directional fusion strategy to better explore the correlations between pre and post disaster images. Moreover, the data augmentation method CutMix is exploited to tackle the challenge of hard classes. The proposed method achieves state of the art performance on a large scale building damage assessment dataset xBD.


Distilling Localization for Self Supervised Representation Learning. Recent progress in contrastive learning has revolutionized unsupervised representation learning. Concretely, multiple views (augmentations) from the same image are encouraged to map to the similar embeddings, while views from different images are pulled apart. In this paper, through visualizing and diagnosing classification errors, we observe that current contrastive models are ineffective at localizing the foreground object, limiting their ability to extract discriminative high level features. This is due to the fact that view generation process considers pixels in an image uniformly. To address this problem, we propose a data driven approach for learning invariance to backgrounds. It first estimates foreground saliency in images and then creates augmentations by copy and pasting the foreground onto a variety of backgrounds. The learning still follows the instance discrimination pretext task, so that the representation is trained to disregard background content and focus on the foreground. We study a variety of saliency estimation methods, and find that most methods lead to improvements for contrastive learning. With this approach (DiLo), significant performance is achieved for self supervised learning on ImageNet classification, and also for object detection on PASCAL VOC and MSCOCO.


Embedding Symbolic Knowledge into Deep Networks. In this work, we aim to leverage prior symbolic knowledge to improve the performance of deep models. We propose a graph embedding network that projects propositional formulae (and assignments) onto a manifold via an augmented Graph Convolutional Network (GCN). To generate semantically faithful embeddings, we develop techniques to recognize node heterogeneity, and semantic regularization that incorporate structural constraints into the embedding. Experiments show that our approach improves the performance of models trained to perform entailment checking and visual relation prediction. Interestingly, we observe a connection between the tractability of the propositional theory representation and the ease of embedding. Future exploration of this connection may elucidate the relationship between knowledge compilation and vector representation learning.


Long Horizon Prediction and Uncertainty Propagation with Residual Point Contact Learners. The ability to simulate and predict the outcome of contacts is paramount to the successful execution of many robotic tasks. Simulators are powerful tools for the design of robots and their behaviors, yet the discrepancy between their predictions and observed data limit their usability. In this paper, we propose a self supervised approach to learning residual models for rigid body simulators that exploits corrections of contact models to refine predictive performance and propagate uncertainty. We empirically evaluate the framework by predicting the outcomes of planar dice rolls and compare it's performance to state of the art techniques.


Plasma lens based beam extraction and removal system for Plasma Wakefield Acceleration experiments. Plasma Wakefield Acceleration represents one of the most promising techniques able to overcome the limits of conventional RF technology and make possible the development of compact accelerators. With respect to the laser driven schemes, the beam driven scenario is not limited by diffraction and dephasing issues, thus it allows to achieve larger acceleration lengths. One of the most prominent drawback, conversely, occurs at the end of the acceleration process and consists of removing the depleted high charge driver while preserving the main features (emittance and peak current) of the accelerated witness bunch. Here we present a theoretical study demonstrating the possibility to reach these goals by using an innovative system consisting of an array of beam collimators and discharge capillaries operating as active plasma lenses. Such a system allows to extract and transport the accelerated and highly divergent witness bunch and, at the same time, provides for the removal of the driver. The study is completed by a set of numerical simulations conducted for different beam configurations. The physics of the interaction of particles with collimator is also investigated.


Thermal Emission Spectroscopy of Single, Isolated Carbon Nanoparticles Effects of Particle Size, Material, Charge, Excitation Wavelength, and Thermal History. Results are presented for thermal emission from individually trapped carbon nanoparticles (NPs) in the temperature range from 1000 to 2100 K. We explore the effects on the magnitude and wavelength dependency of the emissivity, epsilon (lambda), of the NP size and charge and of the type of carbon material, including graphite, graphene, diamond, carbon black, and carbon dots. In addition, it is found that heating the NPs, particularly to temperatures above 1900 K, results in significant changes in the emission properties, which is attributed to changes in the distribution of surface and defect sites caused by annealing and sublimation.


Fast Learning of Temporal Action Proposal via Dense Boundary Generator. Generating temporal action proposals remains a very challenging problem, where the main issue lies in predicting precise temporal proposal boundaries and reliable action confidence in long and untrimmed real world videos. In this paper, we propose an efficient and unified framework to generate temporal action proposals named Dense Boundary Generator (DBG), which draws inspiration from boundary sensitive methods and implements boundary classification and action completeness regression for densely distributed proposals. In particular, the DBG consists of two modules Temporal boundary classification (TBC) and Action aware completeness regression (ACR). The TBC aims to provide two temporal boundary confidence maps by low level two stream features, while the ACR is designed to generate an action completeness score map by high level action aware features. Moreover, we introduce a dual stream BaseNet (DSB) to encode RGB and optical flow information, which helps to capture discriminative boundary and actionness features. Extensive experiments on popular benchmarks ActivityNet 1.3 and THUMOS14 demonstrate the superiority of DBG over the state of the art proposal generator (e.g., MGG and BMN). Our code will be made available upon publication.


Expected centre of mass of the random Kodaira embedding. Let X subset mathbb P N 1 be a smooth projective variety. To each g in SL (N , mathbb C ) which induces the embedding g cdot X subset mathbb P N 1 given by the ambient linear action we can associate a matrix bar mu X (g) called the centre of mass, which depends nonlinearly on g . With respect to the probability measure on SL (N , mathbb C ) induced by the Haar measure and the Gaussian unitary ensemble, we prove that the expectation of the centre of mass is a constant multiple of the identity matrix for any smooth projective variety.


Non Local Part Aware Point Cloud Denoising. This paper presents a novel non local part aware deep neural network to denoise point clouds by exploring the inherent non local self similarity in 3D objects and scenes. Different from existing works that explore small local patches, we design the non local learning unit (NLU) customized with a graph attention module to adaptively capture non local semantically related features over the entire point cloud. To enhance the denoising performance, we cascade a series of NLUs to progressively distill the noise features from the noisy inputs. Further, besides the conventional surface reconstruction loss, we formulate a semantic part loss to regularize the predictions towards the relevant parts and enable denoising in a part aware manner. Lastly, we performed extensive experiments to evaluate our method, both quantitatively and qualitatively, and demonstrate its superiority over the state of the arts on both synthetic and real scanned noisy inputs.


MetaNet A new paradigm for data sharing in photonics research. Optimization methods are playing an increasingly important role in all facets of photonics engineering, from integrated photonics to free space diffractive optics. However, efforts in the photonics community to develop optimization algorithms remain uncoordinated, which has hindered proper benchmarking of design approaches and access to device designs based on optimization. We introduce MetaNet, an online database of photonic devices and design codes intended to promote coordination and collaboration within the photonics community. Using metagratings as a model system, we have uploaded over one hundred thousand device layouts to the database, as well as source code for implementations of local and global topology optimization methods. Further analyses of these large datasets allow the distribution of optimized devices to be visualized for a given optimization method. We expect that the coordinated research efforts enabled by MetaNet will expedite algorithm development for photonics design.


On a rainbow version of Dirac's theorem. For a collection mathbf G G 1, dots, G s of not necessarily distinct graphs on the same vertex set V , a graph H with vertices in V is a mathbf G transversal if there exists a bijection phi E(H) rightarrow s such that e in E(G phi(e) ) for all e in E(H) . We prove that for V s geq 3 and delta(G i) geq s 2 for each i in s , there exists a mathbf G transversal that is a Hamilton cycle. This confirms a conjecture of Aharoni. We also prove an analogous result for perfect matchings.


Sparse Graph to Sequence Learning for Vision Conditioned Long Textual Sequence Generation. Generating longer textual sequences when conditioned on the visual information is an interesting problem to explore. The challenge here proliferate over the standard vision conditioned sentence level generation (e.g., image or video captioning) as it requires to produce a brief and coherent story describing the visual content. In this paper, we mask this Vision to Sequence as Graph to Sequence learning problem and approach it with the Transformer architecture. To be specific, we introduce Sparse Graph to Sequence Transformer (SGST) for encoding the graph and decoding a sequence. The encoder aims to directly encode graph level semantics, while the decoder is used to generate longer sequences. Experiments conducted with the benchmark image paragraph dataset show that our proposed achieve 13.3 improvement on the CIDEr evaluation measure when comparing to the previous state of the art approach.


Making Cross Domain Recommendations by Associating Disjoint Users and Items Through the Affective Aware Pseudo Association Method. This paper utilizes an ingenious text based affective aware pseudo association method (AAPAM) to link disjoint users and items across different information domains and leverage them to make cross domain content based and collaborative filtering recommendations. This paper demonstrates that the AAPAM method could seamlessly join different information domain datasets to act as one without any additional cross domain information retrieval protocols. Besides making cross domain recommendations, the benefit of joining datasets from different information domains through AAPAM is that it eradicates cold start issues while making serendipitous recommendations.


The Transpension Type Technical Report. The purpose of these notes is to give a categorical semantics for the transpension type (Nuyts and Devriese, Transpension The Right Adjoint to the Pi type, pre print, 2020), which is right adjoint to a potentially substructural dependent function type. In section 2 we discuss some prerequisites. In section 3, we define multipliers and discuss their properties. In section 4, we study how multipliers lift from base categories to presheaf categories. In section 5, we explain how typical presheaf modalities can be used in the presence of the transpension type. In section 6, we study commutation properties of prior modalities, substitution modalities and multiplier modalities.


On the Linear Independence of Finite Wavelet Systems Generated by Schwartz Functions or Functions with certain behavior at infinity. One of the motivations to state HRT conjecture on the linear independence of finite Gabor systems was the fact that there are linearly dependent Finite Wavelet Systems (FWS). Meanwhile, there are also many examples of linearly independent FWS, some of which are presented in this paper. We prove the linear independence of every three point FWS generated by a nonzero Schwartz function and with any number of points if the FWS is generated by a nonzero Schwartz function, for which the absolute value of the Fourier transform is decreasing at infinity. We also prove the linear independence of any FWS generated by a nonzero square integrable function, for which the Fourier transform has certain behavior at infinity. Such a function can be any square integrable function that is a linear complex combination of real valued rational and exponential functions.


On accompanying measures and asymptotic expansions in limit theorems for maximum of random variables. A sequence of accompanying laws is suggested in the limit theorem of B. V. Gnedenko for maximums of independent random variables belonging to maximum domain of attraction of the Gumbel distribution. It is shown that this sequence gives an exponential power rate of convergence whereas the Gumbel distribution gives only a logarithmic rate. As examples, classes of Weibull and log Weibull type distributions are considered in details. A scale for the Gumbel maximum domain of attraction is suggested as a continuation of the considered two classes.


Existence and regularity estimates for quasilinear equations with measure data the case 1 p leq frac 3n 2 2n 1 . We obtain existence and global regularity estimates for gradients of solutions to quasilinear elliptic equations with measure data whose prototypes are of the form rm div ( nabla u p 2 nabla u) delta , nabla u q mu in a bounded main Om subset RR n potentially with non smooth boundary. Here either delta 0 or delta 1 , mu is a finite signed Radon measure in Omega , and q is of linear or super linear growth, i.e., q geq 1 . Our main concern is to extend earlier results to the strongly singular case 1 p leq frac 3n 2 2n 1 . In particular, in the case delta 1 which corresponds to a Riccati type equation, we settle the question of solvability that has been raised for some time in the literature.


A categorical reduction system for linear logic. Diagram chasing is not an easy task. The coherence holds in a generalized sense if we have a mechanical method to judge whether given two morphisms are equal to each other. A simple way to this end is to reform a concerned category into a calculus, where the instructions for the diagram chasing are given in the form of rewriting rules. We apply this idea to the categorical semantics of the linear logic. We build a calculus directly on the free category of the semantics. It enables us to perform diagram chasing as essentially one way computations led by the rewriting rules. We verify the weak termination property of this calculus. This gives the first step towards the mechanization of diagram chasing.


Learning Near Optimal Policies with Low Inherent Bellman Error. We study the exploration problem with approximate linear action value functions in episodic reinforcement learning under the notion of low inherent Bellman error, a condition normally employed to show convergence of approximate value iteration. First we relate this condition to other common frameworks and show that it is strictly more general than the low rank (or linear) MDP assumption of prior work. Second we provide an algorithm with a high probability regret bound widetilde O( sum t 1 H d t sqrt K sum t 1 H sqrt d t IBE K) where H is the horizon, K is the number of episodes, IBE is the value if the inherent Bellman error and d t is the feature dimension at timestep t . In addition, we show that the result is unimprovable beyond constants and logs by showing a matching lower bound. This has two important consequences 1) it shows that exploration is possible using only emph batch assumptions with an algorithm that achieves the optimal statistical rate for the setting we consider, which is more general than prior work on low rank MDPs 2) the lack of closedness (measured by the inherent Bellman error) is only amplified by sqrt d t despite working in the online setting. Finally, the algorithm reduces to the celebrated textsc LinUCB when H 1 but with a different choice of the exploration parameter that allows handling misspecified contextual linear bandits. While computational tractability questions remain open for the MDP setting, this enriches the class of MDPs with a linear representation for the action value function where statistically efficient reinforcement learning is possible.


On Detection of Critical Events in a Finite Forest using Randomly Deployed Wireless Sensors. Ecosystem of a forest suffers from many adverse events such as wild fire which can occur randomly anywhere in the forest and grows in size with time. This paper aims to analyze performance of a network of randomly deployed wireless sensors for the early detection of these time critical and time evolving events in a forest. We consider that the forest lies in a confined space (e.g. a circular region) and the wireless sensors, with fixed sensing range, are deployed within the boundary of forest itself. The sensing area of the network is modeled as a finite Boolean Poisson model. In this model, the locations of sensors are modeled as a finite homogeneous Poisson Point Process (PPP) and the sensing area of each sensor is assumed to be a finite set. This paper aims to answer questions about the proximity of a typical sensor from a randomly occurred event and the total sensing area covered by sensors. We first derive the distribution of contact distance of a FHPPP and the expression of the capacity functional of a finite Boolean Poisson model. Using these, we then derive the probability of sensing the event at time t, termed event sensing probability.


Derived categories of skew quadric hypersurfaces. The existence of a full strong exceptional sequence in the derived category of a smooth quadric hypersurface was proved by Kapranov. In this paper, we present a skew generalization of this result. Namely, we show that if S is a standard graded ( pm 1) skew polynomial algebra in n variables with n geq 3 and f x 1 2 cdots x n 2 in S , then the derived category operatorname mathsf D b ( operatorname mathsf qgr S (f)) of the noncommutative scheme operatorname mathsf qgr S (f) has a full strong exceptional sequence. The length of this sequence is given by n 2 2 r where r is the nullity of a certain matrix over mathbb F 2 . As an application, by studying the endomorphism algebra of this sequence, we obtain the classification of operatorname mathsf D b ( operatorname mathsf qgr S (f)) for n 3, 4 .


Lower Bounds on Rate of Convergence of Matrix Products in All Pairs Shortest Path of Social Network. With the rapid development of social network applications, social network has become an important medium for people to interact. For the minimum distance computation of all pairs in networks, Alon N 4 proposed an algorithm with matrix multiplication, combining with distance product association law and block matrix multiplication, all pairs shortest path length algorithm on networks has time bound O((2n 3) B logn). In practical applications, considering the scale free characteristics of social networks and the precision limitations of floating point operations on computer hardware, I found that the shortest path algorithm has an improved time bound O((14n 3) B). Based on the above theory, I propose an all pairs shortest path algorithm that combines sparseness judgment and convergence judgment, leveraging the distance product algorithm with matrix multiplication, distance product association law, block matrix multiplication, scale free characteristics of social networks, and limitation of floating point operations on hardware. Testing on a social network dataset with 8508 actors, compared to Alon N algorithm, proposed algorithm has a performance improvement of 39 to 36.2 times on CPU and GPU.


Resolving Intent Ambiguities by Retrieving Discriminative Clarifying Questions. Task oriented Dialogue Systems generally employ intent detection systems in order to map user queries to a set of pre defined intents. However, user queries appearing in natural language can be easily ambiguous and hence such a direct mapping might not be straightforward harming intent detection and eventually the overall performance of a dialogue system. Moreover, acquiring domain specific clarification questions is costly. In order to disambiguate queries which are ambiguous between two intents, we propose a novel method of generating discriminative questions using a simple rule based system which can take advantage of any question generation system without requiring annotated data of clarification questions. Our approach aims at discrimination between two intents but can be easily extended to clarification over multiple intents. Seeking clarification from the user to classify user intents not only helps understand the user intent effectively, but also reduces the roboticity of the conversation and makes the interaction considerably natural.


Qualitative Numeric Planning Reductions and Complexity. Qualitative numerical planning is classical planning extended with non negative real variables that can be increased or decreased "qualitatively", i.e., by positive indeterminate amounts. While deterministic planning with numerical variables is undecidable in general, qualitative numerical planning is decidable and provides a convenient abstract model for generalized planning. The solutions to qualitative numerical problems (QNPs) were shown to correspond to the strong cyclic solutions of an associated fully observable non deterministic (FOND) problem that terminate. This leads to a generate and test algorithm for solving QNPs where solutions to a FOND problem are generated one by one and tested for termination. The computational shortcomings of this approach for solving QNPs, however, are that it is not simple to amend FOND planners to generate all solutions, and that the number of solutions to check can be doubly exponential in the number of variables. In this work we address these limitations while providing additional insights on QNPs. More precisely, we introduce two polynomial time reductions, one from QNPs to FOND problems and the other from FOND problems to QNPs both of which do not involve termination tests. A result of these reductions is that QNPs are shown to have the same expressive power and the same complexity as FOND problems.


Viewmaker Networks Learning Views for Unsupervised Representation Learning. Many recent methods for unsupervised representation learning train models to be invariant to different "views," or distorted versions of an input. However, designing these views requires considerable trial and error by human experts, hindering widespread adoption of unsupervised representation learning methods across domains and modalities. To address this, we propose viewmaker networks generative models that learn to produce useful views from a given input. Viewmakers are stochastic bounded adversaries they produce views by generating and then adding an ell p bounded perturbation to the input, and are trained adversarially with respect to the main encoder network. Remarkably, when pretraining on CIFAR 10, our learned views enable comparable transfer accuracy to the well tuned SimCLR augmentations despite not including transformations like cropping or color jitter. Furthermore, our learned views significantly outperform baseline augmentations on speech recordings ( 9 points, on average) and wearable sensor data ( 17 points). Viewmakers can also be combined with handcrafted views they improve robustness to common image corruptions and can increase transfer performance in cases where handcrafted views are less explored. These results suggest that viewmakers may provide a path towards more general representation learning algorithms reducing the domain expertise and effort needed to pretrain on a much wider set of domains. Code is available at https github.com alextamkin viewmaker.


On The Optimality of The Whittle's Index Policy For Minimizing The Age of Information. In this paper, we consider the average age minimization problem where a central entity schedules M users among the N available users for transmission over unreliable channels. It is well known that obtaining the optimal policy, in this case, is out of reach. Accordingly, the Whittle's index policy has been suggested in earlier works as a heuristic for this problem. However, the analysis of its performance remained elusive. In the sequel, we overcome these difficulties and provide rigorous results on its asymptotic optimality in the many users regime. Specifically, we first establish its optimality in the neighborhood of a specific system's state. Next, we extend our proof to the global case under a recurrence assumption, which we verify numerically. These findings showcase that the Whittle's index policy has analytically provable optimality in the many users regime for the AoI minimization problem. Finally, numerical results that showcase its performance and corroborate our theoretical findings are presented.


LEGAN Disentangled Manipulation of Directional Lighting and Facial Expressions by Leveraging Human Perceptual Judgements. Building facial analysis systems that generalize to extreme variations in lighting and facial expressions is a challenging problem that can potentially be alleviated using natural looking synthetic data. Towards that, we propose LEGAN, a novel synthesis framework that leverages perceptual quality judgments for jointly manipulating lighting and expressions in face images, without requiring paired training data. LEGAN disentangles the lighting and expression subspaces and performs transformations in the feature space before upscaling to the desired output image. The fidelity of the synthetic image is further refined by integrating a perceptual quality estimation model, trained with face images rendered using multiple synthesis methods and their crowd sourced naturalness ratings, into the LEGAN framework as an auxiliary discriminator. Using objective metrics like FID and LPIPS, LEGAN is shown to generate higher quality face images when compared with popular GAN models like StarGAN and StarGAN v2 for lighting and expression synthesis. We also conduct a perceptual study using images synthesized by LEGAN and other GAN models and show the correlation between our quality estimation and visual fidelity. Finally, we demonstrate the effectiveness of LEGAN as training data augmenter for expression recognition and face verification tasks.


Fabrication Development of a Large Area Grating for Out of Plane Beam Coupling. We develop a single layer waveguide surface grating structure to vertically couple near infrared (NIR) light at 1.55 um wavelength from a large area ( 100 um length scale) Si waveguide on a Silicon On Insulator (SOI) substrates to free space for high power laser applications. Our design approach is based on the optimization of local emission angles and the out coupling intensities. Simulation results show that a focal spot with a 1 e2 width of 3.82 um can be achieved at the desired focal position, with 33 ( 4.81 dB) simulated source to free space focusing efficiency, while initial measurements show an efficiency of 22 ( 6.58 dB).


HSTS Preloading is Ineffective as a Long Term, Wide Scale MITM Prevention Solution Results from Analyzing the 2013 2017 HSTS Preload List. HSTS (HTTP Strict Transport Security) serves to protect websites from certain attacks by allowing web servers to inform browsers that only secure HTTPS connections should be used. However, this still leaves the initial connection unsecured and vulnerable to man in the middle attacks. The HSTS preload list, now supported by most major browsers, is an attempt to close this initial vulnerability. In this study, the researchers analyzed the HSTS preload list to see the status of its deployment and industry acceptance as of December 2017. The findings here show a bleak picture adoption of the HSTS Preload List seem to be practically nil for essential industries like Finance, and a significant percentage of entries are test sites or nonfunctional.


Integrated polarizers based on graphene oxide in waveguides and ring resonators. Integrated waveguide polarizers and polarization selective micro ring resonators (MRRs) incorporated with graphene oxide (GO) films are experimentally demonstrated. CMOS compatible doped silica waveguides and MRRs with both uniformly coated and patterned GO films are fabricated based on a large area, transfer free, layer by layer GO coating method that yields precise control of the film thickness. Photolithography and lift off processes are used to achieve photolithographic patterning of GO films with precise control of the placement and coating length. Detailed measurements are performed to characterize the performance of the devices versus GO film thickness and coating length as a function of polarization, wavelength and power. A high polarization dependent loss of 53.8 dB is achieved for the waveguide coated with 2 mm long patterned GO films. It is found that intrinsic film material loss anisotropy dominates the performance for less than 20 layers whereas polarization dependent mode overlap dominates for thicker layers. For the MRRs, the GO coating length is reduced to 50 microns, yielding a 8.3 dB polarization extinction ratio between TE and TM resonances. These results offer interesting physical insights and trends of the layered GO films and demonstrate the effectiveness of introducing GO films into photonic integrated devices to realize high performance polarization selective components.


Generalized 3x 1 Mappings convergence and divergence. Discussion about the convergence and divergence of trajectories generated by certain functions derived from generalized 3x 1 mappings


Synthetic to Real Unsupervised Domain Adaptation for Scene Text Detection in the Wild. Deep learning based scene text detection can achieve preferable performance, powered with sufficient labeled training data. However, manual labeling is time consuming and laborious. At the extreme, the corresponding annotated data are unavailable. Exploiting synthetic data is a very promising solution except for domain distribution mismatches between synthetic datasets and real datasets. To address the severe domain distribution mismatch, we propose a synthetic to real domain adaptation method for scene text detection, which transfers knowledge from synthetic data (source domain) to real data (target domain). In this paper, a text self training (TST) method and adversarial text instance alignment (ATA) for domain adaptive scene text detection are introduced. ATA helps the network learn domain invariant features by training a domain classifier in an adversarial manner. TST diminishes the adverse effects of false positives (FPs) and false negatives (FNs) from inaccurate pseudo labels. Two components have positive effects on improving the performance of scene text detectors when adapting from synthetic to real scenes. We evaluate the proposed method by transferring from SynthText, VISD to ICDAR2015, ICDAR2013. The results demonstrate the effectiveness of the proposed method with up to 10 improvement, which has important exploration significance for domain adaptive scene text detection. Code is available at https github.com weijiawu SyntoReal STD


NagE Non Abelian Group Embedding for Knowledge Graphs. We demonstrated the existence of a group algebraic structure hidden in relational knowledge embedding problems, which suggests that a group based embedding framework is essential for designing embedding models. Our theoretical analysis explores merely the intrinsic property of the embedding problem itself hence is model independent. Motivated by the theoretical analysis, we have proposed a group theory based knowledge graph embedding framework, in which relations are embedded as group elements, and entities are represented by vectors in group action spaces. We provide a generic recipe to construct embedding models associated with two instantiating examples SO3E and SU2E, both of which apply a continuous non Abelian group as the relation embedding. Empirical experiments using these two exampling models have shown state of the art results on benchmark datasets.


A stochastic MPC scheme for distributed systems with multiplicative uncertainty. This paper presents a Distributed Stochastic Model Predictive Control algorithm for networks of linear systems with multiplicative uncertainties and local chance constraints on the states and control inputs. The chance constraints are approximated via Cantelli's inequality by means of expected value and covariance. The cooperative control algorithm is based on the distributed Alternating Direction Method of Multipliers, which renders the controller fully distributedly implementable, recursively feasible and ensures point wise convergence of the states. The aforementioned properties are guaranteed through a properly selected distributed invariant set and distributed terminal constraints for the mean and covariance. The paper closes with an example highlighting the chance constraint satisfaction, numerical properties and scalability of our approach.


Perfusion and apparent oxygenation in the human placenta (PERFOX). Purpose To study placental function both perfusion and an oxygenation surrogate (T2 ) simultaneously and quantitatively in vivo. Methods 15 pregnant women were scanned on a 3T MR scanner. For perfusion measurements, a velocity selective arterial spin labelling preparation module was placed before a multi echo gradient echo EPI readout to integrate T2 and perfusion measurements in one joint perfusion oxygenation (PERFOX) acquisition. Joint motion correction and quantification were performed to evaluate changes in T2 and perfusion over GA. Results The optimised integrated PERFOX protocol and post processing allowed successful visualization and quantification of perfusion and T2 in all subjects. Areas of high T2 and high perfusion appear to correspond to placental sub units and show a systematic offset in location along the maternal fetal axis. The areas of highest perfusion are consistently closer to the maternal basal plate and the areas of highest T2 closer to the fetal chorionic plate. Quantitative results show a strong negative correlation of gestational age with T2 and weak negative correlation with perfusion. Conclusion A strength of the joint sequence is that it provides truly simultaneous and co registered estimates of local T2 and perfusion, however, to achieve this, the time per slice is prolonged compared to a perfusion only scan which can potentially limit coverage. The achieved interlocking can be particularly useful when quantifying transient physiological effects such as uterine contractions. PERFOX opens a new avenue to elucidate the relationship between maternal supply and oxygen uptake, both of which are central to placental function and dysfunction.


Fighting Copycat Agents in Behavioral Cloning from Observation Histories. Imitation learning trains policies to map from input observations to the actions that an expert would choose. In this setting, distribution shift frequently exacerbates the effect of misattributing expert actions to nuisance correlates among the observed variables. We observe that a common instance of this causal confusion occurs in partially observed settings when expert actions are strongly correlated over time the imitator learns to cheat by predicting the expert's previous action, rather than the next action. To combat this "copycat problem", we propose an adversarial approach to learn a feature representation that removes excess information about the previous expert action nuisance correlate, while retaining the information necessary to predict the next action. In our experiments, our approach improves performance significantly across a variety of partially observed imitation learning tasks.


Square percolation and the threshold for quadratic divergence in random right angled Coxeter groups. Given a graph Gamma , its auxiliary emph square graph square( Gamma) is the graph whose vertices are the non edges of Gamma and whose edges are the pairs of non edges which induce a square (i.e., a 4 cycle) in Gamma . We determine the threshold edge probability p p c(n) at which the Erd H o s R 'enyi random graph Gamma Gamma n,p begins to asymptotically almost surely have a square graph with a connected component whose squares together cover all the vertices of Gamma n,p . We show p c(n) sqrt sqrt 6 2 sqrt n , a polylogarithmic improvement on earlier bounds on p c(n) due to Hagen and the authors. As a corollary, we determine the threshold p p c(n) at which the random right angled Coxeter group W Gamma n,p asymptotically almost surely becomes strongly algebraically thick of order 1 and has quadratic divergence.


Homotopy theory of algebras of substitudes and their localisation. We study the category of algebras of substitudes (also known to be equivalent to the regular patterns of Getzler) equipped with a (semi)model structure lifted from the model structure on the underlying presheaves. We are especially interested in the case when the model structure on presheaves is a Cisinski style localisation with respect to a proper Grothendieck fundamental localiser. For example, for mathtt W mathtt W infty the minimal fundamental localiser, the local objects in such a localisation are locally constant presheaves, and local algebras of substitudes are exactly algebras whose underlying presheaves are locally constant. We investigate when this localisation has nice properties. We single out a class of such substitudes which we call left localisable and show that the substitudes for n operads, symmetric, and braided operads are in this class. As an application we develop a homotopy theory of higher braided operads and prove a stabilisation theorem for their mathtt W k localisations. This theorem implies, in particular, a generalisation of the Baez Dolan Stabilisation Hypothesis for higher categories.


A New Cyclic Gradient Method Adapted to Large Scale Linear Systems. This paper proposes a new gradient method to solve the large scale problems. Theoretical analysis shows that the new method has finite termination property for two dimensions and converges R linearly for any dimensions. Experimental results illustrate first the issue of parallel implementation. Then, the solution of a large scale problem shows that the new method is better than the others, even competitive with the conjugate gradient method.


Explicit stability tests for linear neutral delay equations using infinite series. We obtain new explicit exponential stability conditions for the linear scalar neutral equation with two bounded delays (x(t) a(t)x(g(t)))' b(t)x(h(t)) 0, where a(t) leq A 0 1 , 0 b 0 leq b(t) leq B 0 , assuming that all parameters of the equation are measurable functions. To analyze exponential stability, we apply the Bohl Perron theorem and a reduction of a neutral equation to an equation with an infinite number of non neutral delay terms. This method has never been used before for this neutral equation its application allowed to omit a usual restriction a(t) frac 1 2 in known asymptotic stability tests and consider variable delays.


Dyakonov like surface waves in anisotropic cylindrical waveguides. Dyakonov surface waves are a well known example of surface electromagnetic waves propagating along a plane interface between isotropic and anisotropic dielectric media. Here, we investigate the spectrum and radiative losses of Dyakonov waves at the curved interface considering both cases of "positive" and "negative" curvature of anisotropic medium. We demonstrate how Dyakonov waves at a plane interface continuously transform to the leaky or guided modes of an anisotropic cylindrical waveguide and simple derive asymptotic equation for radiative losses. All analytical results are confirmed by solving exact dispersion equation numerically. We believe that our work extends the potential practical application of Dyakonov waves in optics and photonics devices.