Spectral Distribution Aware Image Generation. Recent advances in deep generative models for photo realistic images have led to high quality visual results. Such models learn to generate data from a given training distribution such that generated images can not be easily distinguished from real images by the human eye. Yet, recent work on the detection of such fake images pointed out that they are actually easily distinguishable by artifacts in their frequency spectra. In this paper, we propose to generate images according to the frequency distribution of the real data by employing a spectral discriminator. The proposed discriminator is lightweight, modular and works stably with different commonly used GAN losses. We show that the resulting models can better generate images with realistic frequency spectra, which are thus harder to detect by this cue.


Tournaments and the Strong Erd H o s Hajnal Property. A conjecture of Alon, Pach and Solymosi, which is equivalent to the celebrated Erd H o s Hajnal Conjecture, states that for every tournament S there exists epsilon(S) 0 such that if T is an n vertex tournament that does not contains S as a subtournament, then T contains a transitive subtournament on at least n epsilon(S) vertices. Let C 5 be the unique five vertex tournament where every vertex has two inneighbors and two outneighbors. The Alon Pach Solymosi conjecture is known to be true for the case when S C 5 . Here we prove a strengthening of this result, showing that in every tournament T with no subtorunament isomorphic to C 5 there exist disjoint vertex subsets A and B , each containing a linear proportion of the vertices of T , and such that every vertex of A is adjacent to every vertex of B .


Multilinear commutators in the two weight setting. We extend the recently much studied two weight commutator estimates to the multilinear setting. In contrast to previous results, our result respects the multilinear nature of the problem fully and is formulated with the genuinely multilinear weights.


Stationary points at infinity for analytic combinatorics. On complex algebraic varieties, height functions arising in combinatorial applications fail to be proper. This complicates the description and computation via Morse theory of key topological invariants. Here we establish checkable conditions under which the behavior at infinity may be ignored, and the usual theorems of classical and stratified Morse theory may be applied. This allows for simplified arguments in the field of analytic combinatorics in several variables, and forms the basis for new methods applying to problems beyond the reach of previous techniques.


An Alfvenic reconnecting plasmoid thruster. A new concept for generation of thrust for space propulsion is introduced. Energetic thrust is generated in the form of plasmoids (confined plasma in closed magnetic loops) when magnetic helicity (linked magnetic field lines) is injected into an annular channel. Using a novel configuration of static electric and magnetic fields, the concept utilizes a current sheet instability to spontaneously and continuously create plasmoids via magnetic reconnection. The generated low temperature plasma is simulated in a global annular geometry using the extended magnetohydrodynamic model. Because the system size plasmoid is an Alfvenic outflow from the reconnection site, its thrust is proportional to the square of the magnetic field strength and does not ideally depend on the mass of the ion species of the plasma. Exhaust velocities in the range of 20 to 500 km s, controllable by the coil currents, are observed in the simulations.


Collective Free Electron Excitations in Half Space Configuration. Current research presents an innovative model of half space plasmon excitations for electron gas of arbitrary degeneracy in an ambient jellium like positive background . The linearized Schr " o dinger Poisson system is used to derive effective coupled pseudoforce and damped pseudoforce system of second order differential equations from which the state functions such as the electron probability density and electrostatic potential energy are calculated and the appropriate half space equilibrium plasmon excitation wave functions are constructed. Current model of half space finite temperature electron plasmon reveals many interesting features not present in previous studies. This model benefits a dual length scale character of quantum plasmon excitations taking into account the detailed electrostatic interactions between single electrons and their collective entity in an unmagnetized arbitrary degeneracy electron gas. The interaction of these length scales is remarked to lead to the formation of well defined miniature periodic density fringes in the gas which are modulated over the envelop density pattern and causes the presence of an electron halo in front of the physical jellium boundary of the system. A novel attractive Lennard Jones like potential energy forms in front of the boundary for parametric density temperature region relevant to the strongly doped N type semiconductors as well as metallic surfaces. The later effect may appropriately explain the Casimir Polder like forces between parallel metallic plates in vacuum.


Sizes of Simultaneous Core Partitions. There is a well studied correspondence by Jaclyn Anderson between partitions that avoid hooks of length s or t and certain binary strings of length s t. Using this map, we prove that the total size of a random partition of this kind converges in law to Watson's U 2 distribution, as conjectured by Doron Zeilberger.


Accelerator Vacuum Windows A Review of Past Research and a Strategy for the Development of a New Design for Improved Safety and Longevity for Particle Accelerators. Vacuum window research continues at Fermilab and this paper will examine cost effective, consistent designs which can have a huge impact on accelerator laboratories in terms of safety and cost. Issues such as the design, materials, analysis, testing and fabrication are addressed, including beam scattering plots and materials cost benefit analysis and examining different materials which can potentially be substitutes for beryllium. A previous research paper has examined current fabrication and design techniques and also failure modes at Fermi, and this paper examines previous research in addition to emerging technologies. Many different paths have been taken by HEP Laboratories throughout the world with varying success. The history of vacuum window development is extensive and not well defined, and a matrix of what research has already been done on materials and joint design for vacuum windows will be shown. This report finally includes a treatise for vacuum window technology and a view towards emerging designs and materials and discusses future advances of research such as fabrication techniques including additive manufacturing and ultrasonic welding. Further exploration into these would prove beneficial to developing vacuum windows that are safer and stronger while being more transparent to the beam.


AdaptiveBandit A multi armed bandit framework for adaptive sampling in molecular simulations. Sampling from the equilibrium distribution has always been a major problem in molecular simulations due to the very high dimensionality of conformational space. Over several decades, many approaches have been used to overcome the problem. In particular, we focus on unbiased simulation methods such as parallel and adaptive sampling. Here, we recast adaptive sampling schemes on the basis of multi armed bandits and develop a novel adaptive sampling algorithm under this framework, UCB. We test it on multiple simplified potentials and in a protein folding scenario. We find that this framework performs similarly or better in every type of test potentials compared to previous methods. Furthermore, it provides a novel framework to develop new sampling algorithms with better asymptotic characteristics.


FMODetect Robust Detection of Fast Moving Objects. We propose the first learning based approach for fast moving objects detection. Such objects are highly blurred and move over large distances within one video frame. Fast moving objects are associated with a deblurring and matting problem, also called deblatting. We show that the separation of deblatting into consecutive matting and deblurring allows achieving real time performance, i.e. an order of magnitude speed up, and thus enabling new classes of application. The proposed method detects fast moving objects as a truncated distance function to the trajectory by learning from synthetic data. For the sharp appearance estimation and accurate trajectory estimation, we propose a matting and fitting network that estimates the blurred appearance without background, followed by an energy minimization based deblurring. The state of the art methods are outperformed in terms of recall, precision, trajectory estimation, and sharp appearance reconstruction. Compared to other methods, such as deblatting, the inference is of several orders of magnitude faster and allows applications such as real time fast moving object detection and retrieval in large video collections.


Gaze Training by Modulated Dropout Improves Imitation Learning. Imitation learning by behavioral cloning is a prevalent method that has achieved some success in vision based autonomous driving. The basic idea behind behavioral cloning is to have the neural network learn from observing a human expert's behavior. Typically, a convolutional neural network learns to predict the steering commands from raw driver view images by mimicking the behaviors of human drivers. However, there are other cues, such as gaze behavior, available from human drivers that have yet to be exploited. Previous researches have shown that novice human learners can benefit from observing experts' gaze patterns. We present here that deep neural networks can also profit from this. We propose a method, gaze modulated dropout, for integrating this gaze information into a deep driving network implicitly rather than as an additional input. Our experimental results demonstrate that gaze modulated dropout enhances the generalization capability of the network to unseen scenes. Prediction error in steering commands is reduced by 23.5 compared to uniform dropout. Running closed loop in the simulator, the gaze modulated dropout net increased the average distance travelled between infractions by 58.5 . Consistent with these results, the gaze modulated dropout net shows lower model uncertainty.


Diffusion Tensor Regularization with Metric Double Integrals. In this paper we propose a variational regularization method for denoising and inpainting of diffusion tensor magnetic resonance images. We consider these images as manifold valued Sobolev functions, i.e. in an infinite dimensional setting, which are defined appropriately. The regularization functionals are defined as double integrals, which are equivalent to Sobolev semi norms in the Euclidean setting. We extend the analysis of Ciak, Melching and Scherzer "Regularization with Metric Double Integrals of Functions with Values in a Set of Vectors", in Journal of Mathematical Imaging and Vision (2019) concerning stability and convergence of the variational regularization methods by a uniqueness result, apply them to diffusion tensor processing, and validate our model in numerical examples with synthetic and real data.


H "olderian error bounds and Kurdyka L ojasiewicz inequality for the trust region subproblem. In this paper, we study the local variational geometry of the optimal solution set of the trust region subproblem (TRS), which minimizes a general, possibly nonconvex, quadratic function over the unit ball. Specifically, we demonstrate that a H "olderian error bound holds globally for the TRS with modulus 1 4 and the Kurdyka L ojasiewicz (KL) inequality holds locally for the TRS with a KL exponent 3 4 at any optimal solution. We further prove that unless in a special case, the H "olderian error bound modulus, as well as the KL exponent, is 1 2. Finally, based on the obtained KL property, we further show that the projected gradient methods studied in A. Beck and Y. Vaisbourd, SIAM J. Optim., 28 (2018), pp. 1951 1967 for solving the TRS achieve a sublinear or even linear rate of convergence.


Placement is not Enough Embedding with Proactive Stream Mapping on the Heterogenous Edge. Edge computing is naturally suited to the applications generated by Internet of Things (IoT) nodes. The IoT applications generally take the form of directed acyclic graphs (DAGs), where vertices represent interdependent functions and edges represent data streams. The status quo of minimizing the makespan of the DAG motivates the study on optimal function placement. However, current approaches lose sight of proactively mapping the data streams to the physical links between the heterogenous edge servers, which could affect the makespan of DAGs significantly. To solve this problem, we study both function placement and stream mapping with data splitting simultaneously, and propose the algorithm DPE (Dynamic Programming based Embedding). DPE is theoretically verified to achieve the global optimality of the embedding problem. The complexity analysis is also provided. Extensive experiments on Alibaba cluster trace dataset show that DPE significantly outperforms two state of the art joint function placement and task scheduling algorithms in makespan by 43.19 and 40.71 , respectively.


Homogenization for nonlocal problems with smooth kernels. In this paper we consider the homogenization problem for a nonlocal equation that involve different smooth kernels. We assume that the spacial domain is divided into a sequence of two subdomains A n cup B n and we have three different smooth kernels, one that controls the jumps from A n to A n , a second one that controls the jumps from B n to B n and the third one that governs the interactions between A n and B n . Assuming that chi A n (x) to X(x) weakly in L infty (and then chi B n (x) to (1 X)(x) weakly in L infty ) as n to infty we show that there is an homogenized limit system in which the three kernels and the limit function X appear. We deal with both Neumann and Dirichlet boundary conditions. Moreover, we also provide a probabilistic interpretation of our results.


Semantic Fisher Scores for Task Transfer Using Objects to Classify Scenes. The transfer of a neural network (CNN) trained to recognize objects to the task of scene classification is considered. A Bag of Semantics (BoS) representation is first induced, by feeding scene image patches to the object CNN, and representing the scene image by the ensuing bag of posterior class probability vectors (semantic posteriors). The encoding of the BoS with a Fisher vector(FV) is then studied. A link is established between the FV of any probabilistic model and the Q function of the expectation maximization(EM) algorithm used to estimate its parameters by maximum likelihood. A network implementation of the MFA Fisher Score (MFA FS), denoted as the MFAFSNet, is finally proposed to enable end to end training. Experiments with various object CNNs and datasets show that the approach has state of the art transfer performance. Somewhat surprisingly, the scene classification results are superior to those of a CNN explicitly trained for scene classification, using a large scene dataset (Places). This suggests that holistic analysis is insufficient for scene classification. The modeling of local object semantics appears to be at least equally important. The two approaches are also shown to be strongly complementary, leading to very large scene classification gains when combined, and outperforming all previous scene classification approaches by a sizeable margin


A Berry Esseen bound of order 1 sqrt n for martingales. Renz (Ann. Probab. 1996) has established a rate of convergence 1 sqrt n in the central limit theorem for martingales with some restrictive conditions. In the present paper a modification of the methods, developed by Bolthausen (Ann. Probab. 1982) and Grama and Haeusler (Stochastic Process. Appl. 2000), is applied for obtaining the same convergence rate for a class of more general martingales. An application to linear processes is discussed.


Non Precipitating Shallow Cumulus Clouds Theory and Direct Numerical Simulation. We model cumulus clouds as transient diabatic plumes, and present a single fluid formulation for the study of the dynamics of developing shallow cumulus clouds. The fluid, air, carries water vapour and liquid water as scalars that are advected with the flow. We employ the Boussinesq approximation and a simplified form of the Clausius Clapeyron law for phase changes. We use this formulation to study the ambient conditions required for the formation of cumulus clouds. We show that the temperature lapse rate in the ambient and the relative humidity of the ambient are crucial in deciding when cumulus clouds form. In the phase space of these two parameters, we determine the boundary that separates the regions where cumulus clouds can form and where they cannot.


On the Optimality of Treating Inter Cell Interference as Noise Downlink Cellular Networks and Uplink Downlink Duality. We consider the information theoretic optimality of treating inter cell interference as noise (multi cell TIN) in downlink cellular networks. We focus on scenarios modeled by the Gaussian interfering broadcast channel (IBC), comprising K mutually interfering Gaussian broadcast channels (BCs), each formed by a base station communicating independent messages to an arbitrary number of users. We establish a new power allocation duality between the IBC and its dual interfering multiple access channel (IMAC), which entails that the corresponding generalized degrees of freedom regions achieved through multi cell TIN and power control (TINA regions) for both networks are identical. As by products of this duality, we obtain an explicit characterization of the IBC TINA region from a previously established characterization of the IMAC TINA region and identify a multi cell convex TIN regime in which the IBC TINA region is a polyhedron (hence convex) without the need for time sharing. We then identify a smaller multi cell TIN regime in which the IBC TINA region is optimal and multi cell TIN achieves the entire capacity region of the IBC, up to a constant gap. This is accomplished by deriving a new genie aided outer bound for the IBC, that reveals a novel BC type order that holds amongst users in each constituent BC (or cell) under inter cell interference, which in turn is not implied by previously known BC type orders (i.e. degraded, less noisy and more capable orders). The multi cell TIN regime that we identify for the IBC coincides with a corresponding multi cell TIN regime previously identified for the IMAC, hence establishing a comprehensive uplink downlink duality of multi cell TIN in the GDoF (and approximate capacity) sense.


Unsupervised Expressive Rules Provide Explainability and Assist Human Experts Grasping New Domains. Approaching new data can be quite deterrent you do not know how your categories of interest are realized in it, commonly, there is no labeled data at hand, and the performance of domain adaptation methods is unsatisfactory. Aiming to assist domain experts in their first steps into a new task over a new corpus, we present an unsupervised approach to reveal complex rules which cluster the unexplored corpus by its prominent categories (or facets). These rules are human readable, thus providing an important ingredient which has become in short supply lately explainability. Each rule provides an explanation for the commonality of all the texts it clusters together. We present an extensive evaluation of the usefulness of these rules in identifying target categories, as well as a user study which assesses their interpretability.


Fast Slow Learning Incorporating Synthetic Gradients in Neural Memory Controllers. Neural Memory Networks (NMNs) have received increased attention in recent years compared to deep architectures that use a constrained memory. Despite their new appeal, the success of NMNs hinges on the ability of the gradient based optimiser to perform incremental training of the NMN controllers, determining how to leverage their high capacity for knowledge retrieval. This means that while excellent performance can be achieved when the training data is consistent and well distributed, rare data samples are hard to learn from as the controllers fail to incorporate them effectively during model training. Drawing inspiration from the human cognition process, in particular the utilisation of neuromodulators in the human brain, we propose to decouple the learning process of the NMN controllers to allow them to achieve flexible, rapid adaptation in the presence of new information. This trait is highly beneficial for meta learning tasks where the memory controllers must quickly grasp abstract concepts in the target domain, and adapt stored knowledge. This allows the NMN controllers to quickly determine which memories are to be retained and which are to be erased, and swiftly adapt their strategy to the new task at hand. Through both quantitative and qualitative evaluations on multiple public benchmarks, including classification and regression tasks, we demonstrate the utility of the proposed approach. Our evaluations not only highlight the ability of the proposed NMN architecture to outperform the current state of the art methods, but also provide insights on how the proposed augmentations help achieve such superior results. In addition, we demonstrate the practical implications of the proposed learning strategy, where the feedback path can be shared among multiple neural memory networks as a mechanism for knowledge sharing.


Universally Safe Swerve Manoeuvres for Autonomous Driving. This paper characterizes safe following distances for on road driving when vehicles can avoid collisions by either braking or by swerving into an adjacent lane. In particular, we focus on safety as defined in the Responsibility Sensitive Safety (RSS) framework. We extend RSS by introducing swerve manoeuvres as a valid response in addition to the already present brake manoeuvre. These swerve manoeuvres use the more realistic kinematic bicycle model rather than the double integrator model of RSS. When vehicles are able to swerve and brake, it is shown that their required safe following distance at higher speeds is less than that required through braking alone. In addition, when all vehicles follow this new distance, they are provably safe. The use of the kinematic bicycle model is then validated by comparing these swerve manoeuvres to that of a dynamic single track model.


A Visual Kinematics Calibration Method for Manipulator Based on Nonlinear Optimization. The traditional kinematic calibration method for manipulators requires precise three dimensional measuring instruments to measure the end pose, which is not only expensive due to the high cost of the measuring instruments but also not applicable to all manipulators. Another calibration method uses a camera, but the system error caused by the camera's parameters affects the calibration accuracy of the kinematics of the robot arm. Therefore, this paper proposes a method for calibrating the geometric parameters of a kinematic model of a manipulator based on monocular vision. Firstly, the classic Denavit Hartenberg(D H) modeling method is used to establish the kinematic parameters of the manipulator. Secondly, nonlinear optimization and parameter compensation are performed. The three dimensional positions of the feature points of the calibration plate under each manipulator attitude corresponding to the actual kinematic model and the classic D H kinematic model are mapped into the pixel coordinate system, and the sum of Euclidean distance errors of the pixel coordinates of the two is used as the objective function to be optimized. The experimental results show that the pixel deviation of the end pose corresponding to the optimized D H kinematic model proposed in this paper and the end pose corresponding to the actual kinematic model in the pixel coordinate system is 0.99 pixels. Compared with the 7.9 deviation pixels between the pixel coordinates calculated by the classic D H kinematic model and the actual pixel coordinates, the deviation is reduced by nearly 7 pixels for an 87 reduction in error. Therefore, the proposed method can effectively avoid system errors caused by camera parameters in visual calibration, can improve the absolute positioning accuracy of the end of the robotic arm, and has good economy and universality.


On prescribing scalar curvature on bundles and applications. In the first part of this paper we discuss the problem of prescribing scalar curvature on the total space of some fiber bundles via direct applying some of the Kazdan Warner results. We then study which functions are realizable as scalar curvature functions on the total space of several bundles over exotic manifolds. In the second part we provide reasonable conditions to smooth functions on the total spaces of some fiber bundles to be realized as scalar curvature functions for some Riemannian submersions metrics. We apply these last results to bundles over manifolds with positive Ricci curvature and tori symmetry and some Calabi Yau manifolds.


Thurston's sphere packings on 3 dimensional manifolds, I. Thurston's sphere packing on a 3 dimensional manifold is a generalization of Thusrton's circle packing on a surface, the rigidity of which has been open for many years. In this paper, we prove that Thurston's Euclidean sphere packing is locally determined by combinatorial scalar curvature up to scaling, which generalizes Cooper Rivin Glickenstein's local rigidity for tangential sphere packing on 3 dimensional manifolds. We also prove the infinitesimal rigidity that Thurston's Euclidean sphere packing can not be deformed (except by scaling) while keeping the combinatorial Ricci curvature fixed.


On anticyclotomic variants of the p adic Birch and Swinnerton Dyer conjecture. We formulate analogues of the Birch and Swinnerton Dyer conjecture for the p adic L functions of Bertolini Darmon Prasanna attached to elliptic curves E mathbf Q at primes p of good ordinary reduction. Using Iwasawa theory, we then prove under mild hypotheses one of the inequalities predicted by the rank part of our conjectures, as well as the predicted leading coefficient formula up to a p adic unit. Our conjectures are very closely related to conjectures of Birch and Swinnerton Dyer type formulated by Bertolini Darmon in 1996 for certain Heegner distributions, and as application of our results we also obtain the proof of an inequality in the rank part of their conjectures.


Human Centric Program Synthesis. Program synthesis techniques offer significant new capabilities in searching for programs that satisfy high level specifications. While synthesis has been thoroughly explored for input output pair specifications (programming by example), this paper asks what does program synthesis look like beyond examples? What actual issues in day to day development would stand to benefit the most from synthesis? How can a human centric perspective inform the exploration of alternative specification languages for synthesis? I sketch a human centric vision for program synthesis where programmers explore and learn languages and APIs aided by a synthesis tool.


Self Adversarial Learning with Comparative Discrimination for Text Generation. Conventional Generative Adversarial Networks (GANs) for text generation tend to have issues of reward sparsity and mode collapse that affect the quality and diversity of generated samples. To address the issues, we propose a novel self adversarial learning (SAL) paradigm for improving GANs' performance in text generation. In contrast to standard GANs that use a binary classifier as its discriminator to predict whether a sample is real or generated, SAL employs a comparative discriminator which is a pairwise classifier for comparing the text quality between a pair of samples. During training, SAL rewards the generator when its currently generated sentence is found to be better than its previously generated samples. This self improvement reward mechanism allows the model to receive credits more easily and avoid collapsing towards the limited number of real samples, which not only helps alleviate the reward sparsity issue but also reduces the risk of mode collapse. Experiments on text generation benchmark datasets show that our proposed approach substantially improves both the quality and the diversity, and yields more stable performance compared to the previous GANs for text generation.


Fine grained Human Evaluation of Transformer and Recurrent Approaches to Neural Machine Translation for English to Chinese. This research presents a fine grained human evaluation to compare the Transformer and recurrent approaches to neural machine translation (MT), on the translation direction English to Chinese. To this end, we develop an error taxonomy compliant with the Multidimensional Quality Metrics (MQM) framework that is customised to the relevant phenomena of this translation direction. We then conduct an error annotation using this customised error taxonomy on the output of state of the art recurrent and Transformer based MT systems on a subset of WMT2019's news test set. The resulting annotation shows that, compared to the best recurrent system, the best Transformer system results in a 31 reduction of the total number of errors and it produced significantly less errors in 10 out of 22 error categories. We also note that two of the systems evaluated do not produce any error for a category that was relevant for this translation direction prior to the advent of NMT systems Chinese classifiers.


Byzantine Resilient Decentralized TD Learning with Linear Function Approximation. This paper considers the policy evaluation problem in a multi agent reinforcement learning (MARL) environment over decentralized and directed networks. The focus is on decentralized temporal difference (TD) learning with linear function approximation in the presence of unreliable or even malicious agents, termed as Byzantine agents. In order to evaluate the quality of a fixed policy in a common environment, agents usually run decentralized TD( lambda ) collaboratively. However, when some Byzantine agents behave adversarially, decentralized TD( lambda ) is unable to learn an accurate linear approximation for the true value function. We propose a trimmed mean based Byzantine resilient decentralized TD( lambda ) algorithm to perform policy evaluation in this setting. We establish the finite time convergence rate, as well as the asymptotic learning error in the presence of Byzantine agents. Numerical experiments corroborate the robustness of the proposed algorithm.


Simplified Kinematics of Continuum Robot Equilibrium Modulation via Moment Coupling Effects and Model Calibration. Recently, a new concept for continuum robots capable of producing macro scale and micro scale motion has been presented. These robots achieve their multi scale motion capabilities by coupling direct actuation of push pull back bones for macro motion with indirect actuation whereby the equilibrium pose is altered to achieve micro scale motion. This paper presents a first attempt at explaining the micro motion capabilities of these robots from a modeling perspective. This paper presents the macro and micro motion kinematics of a single segment continuum robot by using statics coupling effects among its sub segments. Experimental observations of the micro scale motion demonstrate a turning point behavior which could not be explained well using the current modeling methods. We present a simplistic modeling approach that introduces two calibration parameters to calibrate the moment coupling effects among the sub segments of the robot. It is shown that these two parameters can reproduce the turning point behavior at the micro scale. The instantaneous macro and micro scale kinematics Jacobians and the calibration parameters identification Jacobian are derived. The modeling approach is verified against experimental data showing that our simplistic modeling approach can capture the experimental motion data with RMS position error of 5.82 micrometers if one wishes to fit the entire motion profile with the turning point. If one chooses to exclude motions past the turning point, our model can fit the experimental data with an accuracy of 4.76 micrometers.


On eight colour partitions. In this article, we study the arithmetic properties of the partition function p 8(n) , the number of 8 colour partitions of n . We prove several Ramanujan type congruences modulo higher powers of 2 for the function p 8(n) by finding explicit formulas for the generating functions.


Dessins d'Enfants for Single Cycle Belyi Maps. Riemann's Existence Theorem gives the following bijections (1) Isomorphism classes of Belyi maps of degree d . (2) Equivalence classes of generating systems of degree d . (3) Isomorphism classes of dessins d'enfants with d edges. In previous work, the first author and collaborators exploited the correspondence between Belyi maps and their generating systems to provide explicit equations for two infinite families of dynamical Belyi maps. We complete this picture by describing the dessins d'enfants for these two families.


Comparison radius and mean topological dimension Rokhlin property, comparison of open sets, and subhomogeneous C algebras. Let (X, Gamma) be a free minimal dynamical system, where X is a compact separable Hausdorff space and Gamma is a discrete amenable group. It is shown that, if (X, Gamma) has a version of Rokhlin property (uniform Rokhlin property) and if mathrm C (X) rtimes Gamma has a Cuntz comparison on open sets, then the comparison radius of the crossed product C algebra mathrm C (X) rtimes Gamma is at most half of the mean topological dimension of (X, Gamma) . These two conditions are shown to be satisfied if Gamma mathbb Z or if (X, Gamma) is an extension of a free Cantor system and Gamma has subexponential growth. The main tools being used are Cuntz comparison of diagonal elements of a subhomogeneous C algebra and small subgroupoids.


Gevrey regularity for a system coupling the Navier Stokes system with a beam the non flat case. We consider a bi dimensional viscous incompressible fluid in interaction with a beam located at its boundary. We show the existence of strong solutions for this fluid structure interaction system, extending a previous result where we supposed that the initial deformation of the beam was small. The main point of the proof consists in the study of the linearized system and in particular in proving that the corresponding semigroup is of Gevrey class.


Global solutions of nonlinear wave Klein Gordon system in two spatial dimensions weak coupling case. In this article we will prove the global existence of a type of wave Klein Gordon system in 2 1 spacetime dimension. Some technical tools such as conformal energy estimate on hyperboloid, normal form transform on Klein Gordon equations will be adapted to this 2 1 dimensional case.


Variational and numerical analysis of a dynamic viscoelastic contact problem with friction and wear. In this paper, we consider a dynamic viscoelastic contact problem with friction and wear, and describe it as a system of nonlinear partial differential equations. We formulate the previous problem as a hyperbolic quasi variational inequality by employing the variational method. We adopt the Rothe method to show the existence and uniqueness of weak solution for the hyperbolic quasi variational inequality under mild conditions. We also give a fully discrete scheme for solving the hyperbolic quasi variational inequality and obtain error estimates for the fully discrete scheme.


Investigating Bias in Image Classification using Model Explanations. We evaluated whether model explanations could efficiently detect bias in image classification by highlighting discriminating features, thereby removing the reliance on sensitive attributes for fairness calculations. To this end, we formulated important characteristics for bias detection and observed how explanations change as the degree of bias in models change. The paper identifies strengths and best practices for detecting bias using explanations, as well as three main weaknesses explanations poorly estimate the degree of bias, could potentially introduce additional bias into the analysis, and are sometimes inefficient in terms of human effort involved.


Exploring Interactions with Voice Controlled TV. Intelligent agents such as Alexa, Siri, and Google Assistant are now built into streaming TV systems, allowing people to use voice input to navigate the increasingly complex set of apps available on a TV. However, these systems typically support a narrow range of control and search oriented commands, and do not support deeper recommendation or exploration queries. To learn about how people interact with a recommendation oriented voice controlled TV, we use research through design methods to explore an early prototype movie recommendation system where the only input modality is voice. We describe in depth qualitative research sessions with 11 participants. We contribute implications for designers of voice controlled TV mitigating the drawbacks of voice only interactions, navigating the tension between expressiveness and efficiency, and building voice driven recommendation interfaces that facilitate exploration.


Neurogeometry of perception isotropic and anisotropic aspects. In this paper we first recall the definition of geometical model of the visual cortex, focusing in particular on the geometrical properties of horizontal cortical connectivity. Then we recognize that histograms of edges co occurrences are not isotropic distributed, and are strongly biased in horizontal and vertical directions of the stimulus. Finally we introduce a new model of non isotropic cortical connectivity modeled on the histogram of edges co occurrences. Using this kernel we are able to justify oblique phenomena comparable with experimental findings.


p permutation equivalences between blocks of group algebras. We extend the notion of a p permutation equivalence between two p blocks A and B of finite groups G and H , from the definition in Boltje Xu 2008 to a virtual p permutation bimodule whose components have twisted diagonal vertices. It is shown that various invariants of A and B are preserved, including defect groups, fusion systems, and K "ulshammer Puig classes. Moreover it is shown that p permutation equivalences have additional surprising properties. They have only one constituent with maximal vertex and the set of p permutation equivalences between A and B is finite (possibly empty). The paper uses new methods a consequent use of module structures on subgroups of G times H arising from Brauer constructions which in general are not direct product subgroups, the necessary adaptation of the notion of tensor products between bimodules, and a general formula (stated in these new terms) for the Brauer construction of a tensor product of p permutation bimodules.


An Integer Linear Program for Bend Minimization in Ortho Radial Drawings. An ortho radial grid is described by concentric circles and straight line spokes emanating from the circles' center. An ortho radial drawing is the analog of an orthogonal drawing on an ortho radial grid. Such a drawing has an unbounded outer face and a central face that contains the origin. Building on the notion of an ortho radial representation (Barth et al., SoCG, 2017), we describe an integer linear program (ILP) for computing bend free ortho radial representations with a given embedding and fixed outer and central face. Using the ILP as a building block, we introduce a pruning technique to compute bend optimal ortho radial drawings with a given embedding and a fixed outer face, but freely choosable central face. Our experiments show that, in comparison with orthogonal drawings using the same embedding and the same outer face, the use of ortho radial drawings reduces the number of bends by 43.8 on average. Further, our approach allows us to compute ortho radial drawings of embedded graphs such as the metro system of Beijing or London within seconds.


Electro optic frequency combs for rapid interrogation in cavity optomechanics. Electro optic frequency combs were employed to rapidly interrogate an optomechanical sensor, demonstrating spectral resolution substantially exceeding that possible with a mode locked frequency comb. Frequency combs were generated using an integrated circuit based direct digital synthesizer and utilized in a self heterodyne configuration. Unlike approaches based upon laser locking or sweeping, the present approach allows rapid, parallel measurements of full optical cavity modes, large dynamic range of sensor displacement, and acquisition across a wide frequency range between DC and 500 kHz. In addition to being well suited to measurements of cavity optomechanical sensors, this optical frequency comb based approach can be utilized for interrogation in a wide range of physical and chemical sensors.


CornerNet Lite Efficient Keypoint Based Object Detection. Keypoint based methods are a relatively new paradigm in object detection, eliminating the need for anchor boxes and offering a simplified detection framework. Keypoint based CornerNet achieves state of the art accuracy among single stage detectors. However, this accuracy comes at high processing cost. In this work, we tackle the problem of efficient keypoint based object detection and introduce CornerNet Lite. CornerNet Lite is a combination of two efficient variants of CornerNet CornerNet Saccade, which uses an attention mechanism to eliminate the need for exhaustively processing all pixels of the image, and CornerNet Squeeze, which introduces a new compact backbone architecture. Together these two variants address the two critical use cases in efficient object detection improving efficiency without sacrificing accuracy, and improving accuracy at real time efficiency. CornerNet Saccade is suitable for offline processing, improving the efficiency of CornerNet by 6.0x and the AP by 1.0 on COCO. CornerNet Squeeze is suitable for real time detection, improving both the efficiency and accuracy of the popular real time detector YOLOv3 (34.4 AP at 30ms for CornerNet Squeeze compared to 33.0 AP at 39ms for YOLOv3 on COCO). Together these contributions for the first time reveal the potential of keypoint based detection to be useful for applications requiring processing efficiency.


A scaling theory of armed conflict avalanches. Armed conflict data display scaling and universal dynamics in both social and physical properties like fatalities and geographic extent. We propose a randomly branching, armed conflict model that relates multiple properties to one another in a way consistent with data. The model incorporates a fractal lattice on which conflict spreads, uniform dynamics driving conflict growth, and regional virulence that modulates local conflict intensity. The quantitative constraints on scaling and universal dynamics we use to develop our minimal model serve more generally as a set of constraints for other models for armed conflict dynamics. We show how this approach akin to thermodynamics imparts mechanistic intuition and unifies multiple conflict properties, giving insight into causation, prediction, and intervention timing.


Tied Monoids. We construct certain monoids, called tied monoids. These monoids result to be semidirect products finitely presented and commonly built from braid groups and their relatives acting on monoids of set partitions. The nature of our monoids indicate that they should give origin to new knot algebras indeed, our tied monoids include the tied braid monoid and the tied singular braid monoid, which were used, respectively, to construct new polynomial invariants for classical links and singular links. Consequently, we provide a mechanism to attach an algebra to each tied monoid. To build the tied monoids it is necessary to have presentations of set partition monoids of types A, B and D, among others. For type A we use a presentation due to FitzGerald and for the other type it was necessary to built them.


On maximally totally real embeddings. We consider complex structures with totally real zero section of the tangent bundle. We assume that the complex structure tensor is real analytic along the fibers of the tangent bundle. This assumption is quite natural in view of a well known result by Bruhart and Whitney. We provide explicit integrability equations for such complex structures in terms of the fiberwise Taylor expansion.


ESMFL Efficient and Secure Models for Federated Learning. Nowadays, Deep Neural Networks are widely applied to various domains. However, massive data collection required for deep neural network reveals the potential privacy issues and also consumes large mounts of communication bandwidth. To address these problems, we propose a privacy preserving method for the federated learning distributed system, operated on Intel Software Guard Extensions, a set of instructions that increase the security of application code and data. Meanwhile, the encrypted models make the transmission overhead larger. Hence, we reduce the commutation cost by sparsification and it can achieve reasonable accuracy with different model architectures.


Critical group structure from the parameters of a strongly regular graph. We give simple arithmetic conditions that force the Sylow p subgroup of the critical group of a strongly regular graph to take a specific form. These conditions depend only on the parameters (v, k, lambda, mu) of the strongly regular graph under consideration. We give many examples, including how the theory can be used to compute the critical group of Conway's 99 graph and to give an elementary argument that no srg(28,9,0,4) exists.


Scaling limits of linear random fields on mathbb Z 2 with general dependence axis. We discuss anisotropic scaling of long range dependent linear random fields X on mathbb Z 2 with arbitrary dependence axis (direction in the plane along which the moving average coefficients decay at a smallest rate). The scaling limits are taken over rectangles whose sides are parallel to the coordinate axes and increase as lambda and lambda gamma when lambda to infty , for any gamma 0 . The scaling transition occurs at gamma X 0 0 if the scaling limits of X are different and do not depend on gamma for gamma gamma X 0 and gamma gamma X 0 . We prove that the fact of oblique' dependence axis (or incongruous scaling) dramatically changes the scaling transition in the above model so that gamma 0 X 1 independently of other parameters, contrasting the results in Pilipauskait .e and Surgailis (2017) on the scaling transition under congruous scaling.


Finite dimensional control of the heat equation Dirichlet actuation and point measurement. Recently finite dimensional observer based controllers were introduced for the 1D heat equation, where at least one of the observation or control operators is bounded. In this paper, for the first time, we manage with such controllers for the 1D heat equation with both operators being unbounded. We consider Dirichlet actuation and point measurement and use a modal decomposition approach via dynamic extension. We suggest a direct Lyapunov approach to the full order closed loop system, where the finite dimensional state is coupled with the infinite dimensional tail of the state Fourier expansion, and provide LMIs for finding the controller dimension and the resulting exponential decay rate. We further study sampled data implementation of the controller under sampled data measurement. We use Wirtinger based, discontinuous in time, Lyapunov functionals which compensate sampling in the finite dimensional state. To compensate sampling in the infinite dimensional tail, we use a novel form of Halanay's inequality, which is appropriate for Lyapunov functions with jump discontinuities that do not grow in the jumps. Numerical examples demonstrate the efficiency of the method.


Physics based Simulation of Continuous Wave LIDAR for Localization, Calibration and Tracking. Light Detection and Ranging (LIDAR) sensors play an important role in the perception stack of autonomous robots, supplying mapping and localization pipelines with depth measurements of the environment. While their accuracy outperforms other types of depth sensors, such as stereo or time of flight cameras, the accurate modeling of LIDAR sensors requires laborious manual calibration that typically does not take into account the interaction of laser light with different surface types, incidence angles and other phenomena that significantly influence measurements. In this work, we introduce a physically plausible model of a 2D continuous wave LIDAR that accounts for the surface light interactions and simulates the measurement process in the Hokuyo URG 04LX LIDAR. Through automatic differentiation, we employ gradient based optimization to estimate model parameters from real sensor measurements.


A Unified Nanopublication Model for Effective and User Friendly Access to the Elements of Scientific Publishing. Scientific publishing is the means by which we communicate and share scientific knowledge, but this process currently often lacks transparency and machine interpretable representations. Scientific articles are published in long coarse grained text with complicated structures, and they are optimized for human readers and not for automated means of organization and access. Peer reviewing is the main method of quality assessment, but these peer reviews are nowadays rarely published and their own complicated structure and linking to the respective articles is not accessible. In order to address these problems and to better align scientific publishing with the principles of the Web and Linked Data, we propose here an approach to use nanopublications as a unifying model to represent in a semantic way the elements of publications, their assessments, as well as the involved processes, actors, and provenance in general. To evaluate our approach, we present a dataset of 627 nanopublications representing an interlinked network of the elements of articles (such as individual paragraphs) and their reviews (such as individual review comments). Focusing on the specific scenario of editors performing a meta review, we introduce seven competency questions and show how they can be executed as SPARQL queries. We then present a prototype of a user interface for that scenario that shows different views on the set of review comments provided for a given manuscript, and we show in a user study that editors find the interface useful to answer their competency questions. In summary, we demonstrate that a unified and semantic publication model based on nanopublications can make scientific communication more effective and user friendly.


High order discontinuous Galerkin approximation for a three phase incompressible Navier Stokes Cahn Hilliard model. In this work we introduce the development of a three phase incompressible Navier Stokes Cahn Hilliard numerical method to simulate three phase flows, present in many industrial operations. The numerical method is then applied to successfully solve oil transport problems, such as those found in the oil and gas industry. The three phase model adopted in this work is a Cahn Hilliard diffuse interface model, which was derived by Boyer and Lapuerta et al. 2006. The Cahn Hilliard model is coupled to the entropy stable incompressible Navier Stokes equations model derived by Manzanero et al. 2019. The spatial discretization uses a high order discontinuous Galerkin spectral element method which yields highly accurate results in arbitrary geometries, while an implicit explicit (IMEX) method is adopted as temporal discretization. The developed numerical tool is tested for two and three dimensional problems, including a convergence study, a two dimensional jet, a three dimensional annular flow, and realistic geometries like T shaped pipe intersections.


A Fredholm transformation for the rapid stabilization of a degenerate parabolic equation. This paper deals with the rapid stabilization of a degenerate parabolic equation with a right Dirich let control. Our strategy consists in applying a backstepping strategy, which seeks to find an invertible transformation mapping the degenerate parabolic equation to stabilize into an exponentially stable system whose decay rate is known and as large as we desire. The transformation under consideration in this paper is Fredholm. It involves a kernel solving itself another PDE, at least formally. The main goal of the paper is to prove that the Fredholm transformation is well defined, continuous and invertible in the natural energy space. It allows us to deduce the rapid stabilization.


Further comments on Mark Stockman's article "Criterion for Negative Refraction with Low Optical Losses from a Fundamental Principle of Causality". We clarify the claims and errors in the paper "Criterion for Negative Refraction with Low Optical Losses from a Fundamental Principle of Causality" by Mark Stockman. Contrary to the central assertion in that paper, simple examples consistent with the basic inequality which Stockman discovered show that it is possible to have negative refraction and low loss in an arbitrarily large frequency window. Further examination of the paper reveals additional errors that invalidate his argument that active materials cannot have low loss and negative refraction in a frequency window. Also, we point out that for active materials non analyticity of the electrical permittivity in the upper half complex frequency plane does not necessarily imply noncausality, as Stockman infers.


Principal agent problem with multiple principals. We consider a moral hazard problem with multiple principals in a continuous time model. The agent can only work exclusively for one principal at a given time, so faces an optimal switching problem. Using a randomized formulation, we manage to represent the agent's value function and his optimal effort by an It o process. This representation further helps to solve the principals' problem in case we have infinite number of principals in the sense of mean field game. Finally the mean field formulation is justified by an argument of propagation of chaos.


Identifying Illicit Accounts in Large Scale E payment Networks A Graph Representation Learning Approach. Rapid and massive adoption of mobile online payment services has brought new challenges to the service providers as well as regulators in safeguarding the proper uses such services systems. In this paper, we leverage recent advances in deep neural network based graph representation learning to detect abnormal suspicious financial transactions in real world e payment networks. In particular, we propose an end to end Graph Convolution Network (GCN) based algorithm to learn the embeddings of the nodes and edges of a large scale time evolving graph. In the context of e payment transaction graphs, the resultant node and edge embeddings can effectively characterize the user background as well as the financial transaction patterns of individual account holders. As such, we can use the graph embedding results to drive downstream graph mining tasks such as node classification to identify illicit accounts within the payment networks. Our algorithm outperforms state of the art schemes including GraphSAGE, Gradient Boosting Decision Tree and Random Forest to deliver considerably higher accuracy (94.62 and 86.98 respectively) in classifying user accounts within 2 practical e payment transaction datasets. It also achieves outstanding accuracy (97.43 ) for another biomedical entity identification task while using only edge related information.


Spatially Extended Tests of a Neural Network Parametrization Trained by Coarse graining. General circulation models (GCMs) typically have a grid size of 25 200 km. Parametrizations are used to represent diabatic processes such as radiative transfer and cloud microphysics and account for sub grid scale motions and variability. Unlike traditional approaches, neural networks (NNs) can readily exploit recent observational datasets and global cloud system resolving model (CRM) simulations to learn subgrid variability. This article describes an NN parametrization trained by coarse graining a near global CRM simulation with a 4 km horizontal grid spacing. The NN predicts the residual heating and moistening averaged over (160 km) 2 grid boxes as a function of the coarse resolution fields within the same atmospheric column. This NN is coupled to the dynamical core of a GCM with the same 160 km resolution. A recent study described how to train such an NN to be numerically stable when coupled to specified time evolving advective forcings in a single column model, but feedbacks between NN and GCM components cause spatially extended simulations to crash within a few days. Analyzing the linearized response of such an NN reveals that it learns to exploit a strong synchrony between precipitation and the atmospheric state above 10 km. Removing these variables from the NN's inputs stabilizes the coupled simulations, which predict the future state more accurately than a coarse resolution simulation without any parametrizations of sub grid scale variability, although the mean state slowly drifts.


Total Deep Variation A Stable Regularizer for Inverse Problems. Various problems in computer vision and medical imaging can be cast as inverse problems. A frequent method for solving inverse problems is the variational approach, which amounts to minimizing an energy composed of a data fidelity term and a regularizer. Classically, handcrafted regularizers are used, which are commonly outperformed by state of the art deep learning approaches. In this work, we combine the variational formulation of inverse problems with deep learning by introducing the data driven general purpose total deep variation regularizer. In its core, a convolutional neural network extracts local features on multiple scales and in successive blocks. This combination allows for a rigorous mathematical analysis including an optimal control formulation of the training problem in a mean field setting and a stability analysis with respect to the initial values and the parameters of the regularizer. In addition, we experimentally verify the robustness against adversarial attacks and numerically derive upper bounds for the generalization error. Finally, we achieve state of the art results for numerous imaging tasks.


An Easy to implement Construction for (k,n) threshold Progressive Visual Secret Sharing Schemes. Visual cryptography encrypts the secret image into n shares (transparency) so that only stacking a qualified number of shares can recover the secret image by the human visual system while no information can be revealed without a large enough number of shares. This paper investigates the (k,n) threshold Visual Secret Sharing (VSS) model, where one can decrypt the original image by stacking at least k shares and get nothing with less than k shares. There are two main approaches in the literature codebook based schemes and random grid based schemes the former is the case of this paper. In general, given any positive integers k and n , it is not easy to design a valid scheme for the (k,n) threshold VSS model. In this paper, we propose a simple strategy to construct an efficient scheme for the (k,n) threshold VSS model for any positive integers 2 leq k leq n . The crucial idea is to establish a seemingly unrelated connection between the (k,n) threshold VSS scheme and a mathematical structure the generalized Pascal's triangle. This paper improves and extends previous results in four aspects Our construction offers a unified viewpoint and covers several known results The resulting scheme has a progressive viewing property that means the more shares being stacked together the clearer the secret image would be revealed. The proposed scheme can be constructed explicitly and efficiently based on the generalized Pascal's triangle without a computer. Performance of the proposed scheme is comparable with known results.


TripPy A Triple Copy Strategy for Value Independent Neural Dialog State Tracking. Task oriented dialog systems rely on dialog state tracking (DST) to monitor the user's goal during the course of an interaction. Multi domain and open vocabulary settings complicate the task considerably and demand scalable solutions. In this paper we present a new approach to DST which makes use of various copy mechanisms to fill slots with values. Our model has no need to maintain a list of candidate values. Instead, all values are extracted from the dialog context on the fly. A slot is filled by one of three copy mechanisms (1) Span prediction may extract values directly from the user input (2) a value may be copied from a system inform memory that keeps track of the system's inform operations (3) a value may be copied over from a different slot that is already contained in the dialog state to resolve coreferences within and across domains. Our approach combines the advantages of span based slot filling methods with memory methods to avoid the use of value picklists altogether. We argue that our strategy simplifies the DST task while at the same time achieving state of the art performance on various popular evaluation sets including Multiwoz 2.1, where we achieve a joint goal accuracy beyond 55 .


Total positivity from the exponential Riordan arrays. Log concavity and almost log convexity of the cycle index polynomials were proved by Bender and Canfield J. Combin. Theory Ser. A 74 (1996) . Schirmacher J. Combin. Theory Ser. A 85 (1999) extended them to q log concavity and almost q log convexity. Motivated by these, we consider the stronger properties total positivity from the Toeplitz matrix and Hankel matrix. By using exponential Riordan array methods, we give some criteria for total positivity of the triangular matrix of coefficients of the generalized cycle index polynomials, the Toeplitz matrix and Hankel matrix of the polynomial sequence in terms of the exponential formula, the logarithmic formula and the fractional formula, respectively. Finally, we apply our criteria to some triangular arrays satisfying some recurrence relations, including Bessel triangles of two kinds and their generalizations, the Lah triangle and its generalization, the idempotent triangle and some triangles related to binomial coefficients, rook polynomials and Laguerre polynomials. We not only get total positivity of these lower triangles, and q Stieltjes moment properties and 3 q log convexity of their row generating functions, but also prove that their triangular convolutions preserve Stieltjes moment property. In particular, we solve a conjecture of Sokal on q Stieltjes moment property of rook polynomials.


An algebraic reduction of Hedetniemi's conjecture. For a graph G , let chi (G) denote the chromatic number. In graph theory, the following famous conjecture posed by Hedetniemi has been studied For two graphs G and H , chi (G times H) min chi (G), chi (H) , where G times H is the tensor product of G and H . In this paper, we give a reduction of Hedetniemi's conjecture to an inclusion relation problem on ideals of polynomial rings, and we demonstrate computational experiments for partial solutions of Hedetniemi's conjecture along such a strategy using Gr " o bner basis.


Diachronic Topics in New High German Poetry. Statistical topic models are increasingly and popularly used by Digital Humanities scholars to perform distant reading tasks on literary data. It allows us to estimate what people talk about. Especially Latent Dirichlet Allocation (LDA) has shown its usefulness, as it is unsupervised, robust, easy to use, scalable, and it offers interpretable results. In a preliminary study, we apply LDA to a corpus of New High German poetry (textgrid, with 51k poems, 8m token), and use the distribution of topics over documents for a classification of poems into time periods and for authorship attribution.


Repdigits in k generalized Pell sequence. Let k geq 2 and let (P n (k) ) n geq 2 k be k generalized Pell sequence defined by begin equation P n (k) 2P n 1 (k) P n 2 (k) ... P n k (k) end equation for n geq 2 with initial conditions begin equation P (k 2) (k) P (k 3) (k) cdot cdot cdot P 1 (k) P 0 (k) 0,P 1 (k) 1. end equation In this paper, we deal with the Diophantine equation begin equation P n (k) d left( frac 10 m 1 9 right) end equation in positive integers n,m,k,d with k geq 2, m geq 2 and 1 leq d leq 9 . We will show that repdigits with at least two digits in the sequence left( P n (k) right) n geq 2 k are the numbers P 5 (3) 33 and P 6 (4) 88.


Sensitivity Oracles for All Pairs Mincuts. Let G (V,E) be an undirected unweighted graph on n vertices and m edges. We address the problem of sensitivity oracle for all pairs mincuts in G defined as follows. Build a compact data structure that, on receiving any pair of vertices s,t in V and failure (or insertion) of any edge as query, can efficiently report the mincut between s and t after the failure (or the insertion). To the best of our knowledge, there exists no data structure for this problem which takes o(mn) space and a non trivial query time. We present the following results. Our first data structure occupies cal O (n 2) space and guarantees cal O (1) query time to report the value of resulting (s,t) mincut upon failure (or insertion) of any edge. Moreover, the set of vertices defining a resulting (s,t) mincut after the update can be reported in cal O (n) time which is worst case optimal. Our second data structure optimizes space at the expense of increased query time. It takes cal O (m) space which is also the space taken by G . The query time is cal O ( min(m,n c s,t )) where c s,t is the value of the mincut between s and t in G . This query time is faster by a factor of Omega( min(m 1 3 , sqrt n )) compared to the best known deterministic algorithm to compute a (s,t) mincut from scratch. If we are only interested in knowing if failure (or insertion) of an edge changes the value of (s,t) mincut, we can distribute our cal O (n 2) space data structure evenly among n vertices. For any failed (or inserted) edge we only require the data structures stored at its endpoints to determine if the value of (s,t) mincut has changed for any s,t in V .


Bounded Degree Spanners of the Hypercube. In this short note we study two questions about the existence of subgraphs of the hypercube Q n with certain properties. The first question, due to Erd H o s Hamburger Pippert Weakley, asks whether there exists a bounded degree subgraph of Q n which has diameter n . We answer this question by giving an explicit construction of such a subgraph with maximum degree at most 120. The second problem concerns properties of k additive spanners of the hypercube, that is, subgraphs of Q n in which the distance between any two vertices is at most k larger than in Q n . Denoting by Delta k, infty (n) the minimum possible maximum degree of a k additive spanner of Q n , Arizumi Hamburger Kostochka showed that frac n ln n e 4k leq Delta 2k, infty (n) leq 20 frac n ln n ln ln n. We improve their upper bound by showing that Delta 2k, infty (n) leq 10 4k frac n ln n ln (k 1) n, where the last term denotes a k 1 fold iterated logarithm.


Towards a Verified Model of the Algorand Consensus Protocol in Coq. The Algorand blockchain is a secure and decentralized public ledger based on pure proof of stake rather than proof of work. At its core it is a novel consensus protocol with exactly one block certified in each round that is, the protocol guarantees that the blockchain does not fork. In this paper, we report on our effort to model and formally verify the Algorand consensus protocol in the Coq proof assistant. Similar to previous consensus protocol verification efforts, we model the protocol as a state transition system and reason over reachable global states. However, in contrast to previous work, our model explicitly incorporates timing issues (e.g., timeouts and network delays) and adversarial actions, reflecting a more realistic environment faced by a public blockchain. Thus far, we have proved asynchronous safety of the protocol two different blocks cannot be certified in the same round, even when the adversary has complete control of message delivery in the network. We believe that our model is sufficiently general and other relevant properties of the protocol such as liveness can be proved for the same model.


Methods of constructive category theory. We give an introduction to constructive category theory by answering two guiding computational questions. The first question is how do we compute the set of all natural transformations between two finitely presented functors like mathrm Ext and mathrm Tor over a commutative coherent ring R ? We give an answer by introducing category constructors that enable us to build up a category which is both suited for performing explicit calculations and equivalent to the category of all finitely presented functors. The second question is how do we determine the differentials on the pages of a spectral sequence associated to a filtered cochain complex only in terms of operations directly provided by the axioms of an abelian category? Its answer relies on a constructive method for performing diagram chases based on a calculus of relations within an arbitrary abelian category.


On the spectral sets of Inoue surfaces. The Inoue surfaces are certain non Kaehler complex surfaces that have the structure of a T 3 bundle over the circle. We study the Inoue surfaces S M with the Tricerri metric and the canonical spin c structure, and the corresponding chiral Dirac operators twisted by a flat mathbb C connection. The twisting connection is determined by z in mathbb C , and the points for which the twisted Dirac operators mathcal D pm z are not invertible are called spectral points. We show that there are no spectral points inside the annulus alpha 1 4 z alpha 1 4 , where alpha 1 is the only real eigenvalue of the matrix M that determines S M , and find the spectral points on its boundary. Via Taubes' theory of end periodic operators, this implies that the corresponding Dirac operators are Fredholm on any end periodic manifold whose end is modeled on S M .


From Few to More Large scale Dynamic Multiagent Curriculum Learning. A lot of efforts have been devoted to investigating how agents can learn effectively and achieve coordination in multiagent systems. However, it is still challenging in large scale multiagent settings due to the complex dynamics between the environment and agents and the explosion of state action space. In this paper, we design a novel Dynamic Multiagent Curriculum Learning (DyMA CL) to solve large scale problems by starting from learning on a multiagent scenario with a small size and progressively increasing the number of agents. We propose three transfer mechanisms across curricula to accelerate the learning process. Moreover, due to the fact that the state dimension varies across curricula,, and existing network structures cannot be applied in such a transfer setting since their network input sizes are fixed. Therefore, we design a novel network structure called Dynamic Agent number Network (DyAN) to handle the dynamic size of the network input. Experimental results show that DyMA CL using DyAN greatly improves the performance of large scale multiagent learning compared with state of the art deep reinforcement learning approaches. We also investigate the influence of three transfer mechanisms across curricula through extensive simulations.


ANA at SemEval 2020 Task 4 mUlti task learNIng for cOmmonsense reasoNing (UNION). In this paper, we describe our mUlti task learNIng for cOmmonsense reasoNing (UNION) system submitted for Task C of the SemEval2020 Task 4, which is to generate a reason explaining why a given false statement is non sensical. However, we found in the early experiments that simple adaptations such as fine tuning GPT2 often yield dull and non informative generations (e.g. simple negations). In order to generate more meaningful explanations, we propose UNION, a unified end to end framework, to utilize several existing commonsense datasets so that it allows a model to learn more dynamics under the scope of commonsense reasoning. In order to perform model selection efficiently, accurately and promptly, we also propose a couple of auxiliary automatic evaluation metrics so that we can extensively compare the models from different perspectives. Our submitted system not only results in a good performance in the proposed metrics but also outperforms its competitors with the highest achieved score of 2.10 for human evaluation while remaining a BLEU score of 15.7. Our code is made publicly available at GitHub.


Accelerating Generalized Benders Decomposition for Wireless Resource Allocation. Generalized Benders decomposition (GBD) is a globally optimal algorithm for mixed integer nonlinear programming (MINLP) problems, which are NP hard and can be widely found in the area of wireless resource allocation. The main idea of GBD is decomposing an MINLP problem into a primal problem and a master problem, which are iteratively solved until their solutions converge. However, a direct implementation of GBD is time and memory consuming. The main bottleneck is the high complexity of the master problem, which increases over the iterations. Therefore, we propose to leverage machine learning (ML) techniques to accelerate GBD aiming at decreasing the complexity of the master problem. Specifically, we utilize two different ML techniques, classification and regression, to deal with this acceleration task. In this way, a cut classifier and a cut regressor are learned, respectively, to distinguish between useful and useless cuts. Only useful cuts are added to the master problem and thus the complexity of the master problem is reduced. By using a resource allocation problem in device to device communication networks as an example, we validate that the proposed method can reduce the computational complexity of GBD without loss of optimality and has strong generalization ability. The proposed method is applicable for solving various MINLP problems in wireless networks since the designs are invariant for different problems.


Distributed Dispatching in the Parallel Server Model. With the rapid increase in the size and volume of cloud services and data centers, architectures with multiple job dispatchers are quickly becoming the norm. Load balancing is a key element of such systems. Nevertheless, current solutions to load balancing in such systems admit a paradoxical behavior in which more accurate information regarding server queue lengths degrades performance due to herding and detrimental incast effects. Indeed, both in theory and in practice, there is a common doubt regarding the value of information in the context of multi dispatcher load balancing. As a result, both researchers and system designers resort to more straightforward solutions, such as the power of two choices to avoid worst case scenarios, potentially sacrificing overall resource utilization and system performance. A principal focus of our investigation concerns the value of information about queue lengths in the multi dispatcher setting. We argue that, at its core, load balancing with multiple dispatchers is a distributed computing task. In that light, we propose a new job dispatching approach, called Tidal Water Filling, which addresses the distributed nature of the system. Specifically, by incorporating the existence of other dispatchers into the decision making process, our protocols outperform previous solutions in many scenarios. In particular, when the dispatchers have complete and accurate information regarding the server queues, our policies significantly outperform all existing solutions.


Spectrality of generalized Sierpinski type self affine measures. For an expanding integer matrix M in M 2( mathbb Z ) and an integer digit set D (0,0) t,( alpha 1, alpha 2) t,( beta 1, beta 2) t with alpha 1 beta 2 alpha 2 beta 1 neq0 , let mu M,D be the Sierpinski type self affine measure defined by mu M,D ( cdot) frac 1 3 sum d in D mu M,D (M( cdot) d) . In 5.36 , the authors separately investigated the spectral property of the measure mu M,D in the case of det(M) notin 3 mathbb Z or alpha 1 beta 2 alpha 2 beta 1 notin 3 mathbb Z . In this paper, we consider the remaining case where det(M) in 3 mathbb Z and alpha 1 beta 2 alpha 2 beta 1 in 3 mathbb Z , and give the necessary and sufficient conditions for mu M,D to be a spectral measure. This completely settles the spectrality of the Sierpinski type self affine measure mu M,D .


Symphony of high dimensional brain. This paper is the final part of the scientific discussion organised by the Journal "Physics of Life Rviews" about the simplicity revolution in neuroscience and AI. This discussion was initiated by the review paper "The unreasonable effectiveness of small neural ensembles in high dimensional brain". Phys Life Rev 2019, doi 10.1016 j.plrev.2018.09.005, arXiv 1809.07656. The topics of the discussion varied from the necessity to take into account the difference between the theoretical random distributions and "extremely non random" real distributions and revise the common machine learning theory, to different forms of the curse of dimensionality and high dimensional pitfalls in neuroscience. V. K r u rkov 'a , A. Tozzi and J.F. Peters, R. Quian Quiroga, P. Varona, R. Barrio, G. Kreiman, L. Fortuna, C. van Leeuwen, R. Quian Quiroga, and V. Kreinovich, A.N. Gorban, V.A. Makarov, and I.Y. Tyukin participated in the discussion. In this paper we analyse the symphony of opinions and the possible outcomes of the simplicity revolution for machine learning and neuroscience.


Gait Recognition via Effective Global Local Feature Representation and Local Temporal Aggregation. Gait recognition is one of the most important biometric technologies and has been applied in many fields. Recent gait recognition frameworks represent each gait frame by descriptors extracted from either global appearances or local regions of humans. However, the representations based on global information often neglect the details of the gait frame, while local region based descriptors cannot capture the relations among neighboring regions, thus reducing their discriminativeness. In this paper, we propose a novel feature extraction and fusion framework to achieve discriminative feature representations for gait recognition. Towards this goal, we take advantage of both global visual information and local region details and develop a Global and Local Feature Extractor (GLFE). Specifically, our GLFE module is composed of our newly designed multiple global and local convolutional layers (GLConv) to ensemble global and local features in a principle manner. Furthermore, we present a novel operation, namely Local Temporal Aggregation (LTA), to further preserve the spatial information by reducing the temporal resolution to obtain higher spatial resolution. With the help of our GLFE and LTA, our method significantly improves the discriminativeness of our visual features, thus improving the gait recognition performance. Extensive experiments demonstrate that our proposed method outperforms state of the art gait recognition methods on two popular datasets.


End to end collision avoidance based on optical flow and neural networks. Optical flow is believed to play an important role in the agile flight of birds and insects. Even though it is a very simple concept, it is rarely used in computer vision for collision avoidance. This work implements a neural network based collision avoidance which was deployed and evaluated on a solely for this purpose refitted car.


Spectral Analysis Modal Methods (SAMMs) using Non Time Resolved PIV. We present spectral analysis modal methods (SAMMs) to perform POD in the frequency domain using non time resolved Particle Image Velocity (PIV) data combined with unsteady surface pressure measurements. In particular, time resolved unsteady surface pressure measurements are synchronized with non time resolved planar PIV measurements acquired at 15 Hz in a Mach 0.6 cavity flow. Leveraging the spectral linear stochastic estimation (LSE) method of Tinney et al. (2006), we first estimate the cross correlations between the velocity field and the unsteady pressure sensors via sequential time shifts, followed by a Fast Fourier transform to obtain the pressure velocity cross spectral density matrix. This leads to a linear multiple input multiple output (MIMO) model that determines the optimal transfer functions between the input cavity wall pressure and the output velocity field. Two variants of SAMMs are developed and applied. The first, termed "SAMM SPOD", combines the MIMO model with the SPOD algorithm of Towne et al. (2018). The second, called "SAMM RR'', adds independent sources and uses a sorted eigendecomposition of the input pressure cross spectral matrix to enable an efficient reduced rank eigendecomposition of the velocity cross spectral matrix. In both cases, the resulting rank 1 POD eigenvalues associated with the Rossiter frequencies exhibit very good agreement with those obtained using independent time resolved PIV measurements. The results demonstrate that SAMMs provide a methodology to perform space time POD without requiring a high speed PIV system, while avoiding potential pitfalls associated with traditional time domain LSE.


Characterizations of Some Parity Signed Graphs. We describe parity labelings of signed graphs equivalently, cuts of the underlying graph that have nearly equal sides. We characterize the balanced signed graphs which are parity signed graphs. We give structural characterizations of all parity signed stars, bistars, cycles, paths and complete bipartite graphs. The rna number of a graph is the smallest cut size that has nearly equal sides we find it for a few classes of parity signed graphs.


Molecular Property Prediction A Multilevel Quantum Interactions Modeling Perspective. Predicting molecular properties (e.g., atomization energy) is an essential issue in quantum chemistry, which could speed up much research progress, such as drug designing and substance discovery. Traditional studies based on density functional theory (DFT) in physics are proved to be time consuming for predicting large number of molecules. Recently, the machine learning methods, which consider much rule based information, have also shown potentials for this issue. However, the complex inherent quantum interactions of molecules are still largely underexplored by existing solutions. In this paper, we propose a generalizable and transferable Multilevel Graph Convolutional neural Network (MGCN) for molecular property prediction. Specifically, we represent each molecule as a graph to preserve its internal structure. Moreover, the well designed hierarchical graph neural network directly extracts features from the conformation and spatial information followed by the multilevel interactions. As a consequence, the multilevel overall representations can be utilized to make the prediction. Extensive experiments on both datasets of equilibrium and off equilibrium molecules demonstrate the effectiveness of our model. Furthermore, the detailed results also prove that MGCN is generalizable and transferable for the prediction.


Characterizing the mod ell local Langlands correspondence by nilpotent gamma factors. Let F be a p adic field and choose k an algebraic closure of mathbb F ell , with ell different from p . We define nilpotent lifts'' of irreducible generic k representations of GL n(F) , which take coefficients in Artin local k algebras. We show that an irreducible generic ell modular representation pi of GL n(F) is uniquely determined by its collection of Rankin Selberg gamma factors gamma( pi times widetilde tau ,X, psi) as widetilde tau varies over nilpotent lifts of irreducible generic k representations tau of GL t(F) for t 1, dots, lfloor frac n 2 rfloor . This gives a characterization of the mod ell local Langlands correspondence in terms of gamma factors, assuming it can be extended to a surjective local Langlands correspondence on nilpotent lifts.


Aster Swarming by Collective Mechanics of Dyneins and Kinesins. Microtubule (MT) radial arrays or asters establish the internal topology of a cell by interacting with organelles and molecular motors. We proceed to understand the general pattern forming potential of aster motor systems using a computational model of multiple MT asters interacting with motors in a cellular confinement. In this model dynein motors are attached to the cell cortex and plus ended motors resembling kinesin 5 diffuse in the cell interior. The introduction of 'noise' in the form of MT length fluctuations spontaneously results in the emergence of coordinated, achiral vortex like rotation of asters. The coherence and persistence of rotation requires a threshold density of both cortical dyneins and coupling kinesins, while the onset of rotation if diffusion limited with relation to cortical dynein mobility. The coordinated rotational motion arises due to the resolution of the 'tug of war' of the rotational component due to cortical motors by 'noise' in the form of MT dynamic instability, and such transient symmetry breaking is amplified by local coupling by kinesin 5 complexes. The lack of widespread aster rotation across cell types suggests biophysical mechanisms that suppress such intrinsic dynamics may have evolved. This model is analogous to more general models of locally coupled self propelled particles (SPP) that spontaneously undergo collective transport in presence of 'noise' that have been invoked to explain swarming in birds and fish. However, the aster motor system is distinct from SPP models with regard to particle density and 'noise' dependence, providing a set of experimentally testable predictions for a novel sub cellular pattern forming system.


FarSee Net Real Time Semantic Segmentation by Efficient Multi scale Context Aggregation and Feature Space Super resolution. Real time semantic segmentation is desirable in many robotic applications with limited computation resources. One challenge of semantic segmentation is to deal with the object scale variations and leverage the context. How to perform multi scale context aggregation within limited computation budget is important. In this paper, firstly, we introduce a novel and efficient module called Cascaded Factorized Atrous Spatial Pyramid Pooling (CF ASPP). It is a lightweight cascaded structure for Convolutional Neural Networks (CNNs) to efficiently leverage context information. On the other hand, for runtime efficiency, state of the art methods will quickly decrease the spatial size of the inputs or feature maps in the early network stages. The final high resolution result is usually obtained by non parametric up sampling operation (e.g. bilinear interpolation). Differently, we rethink this pipeline and treat it as a super resolution process. We use optimized super resolution operation in the up sampling step and improve the accuracy, especially in sub sampled input image scenario for real time applications. By fusing the above two improvements, our methods provide better latency accuracy trade off than the other state of the art methods. In particular, we achieve 68.4 mIoU at 84 fps on the Cityscapes test set with a single Nivida Titan X (Maxwell) GPU card. The proposed module can be plugged into any feature extraction CNN and benefits from the CNN structure development.


On the boundary algebras of the Jacobian algebras of the bordered marked surfaces. Given sigma a triangulation of bordered surface with marked points and punctures (S, M) , we associate an ice quiver with potential (Q sigma , W sigma , F) and define the corresponding Jacobian algebra Gamma sigma . We show that the boundary algebra B( sigma) of Gamma sigma depends only on the surface (S, M) .


The Strength of Structural Diversity in Online Social Networks. Network structure is thought to play a crucial role in a variety of social processes, ranging from the diffusion of information to the spread of social behaviors and norms. As such, understanding the way individuals are interconnected in social networks is of prime significance to predict their collective outcomes. Leveraging data from a knowledge sharing website, we develop several quantitative measures to quantify a node's social context diversity in directed networks and investigate the role of social context diversity in predicting one's social reputation online. We show that social reputation is tightly controlled by the structural diversity of one's social neighbors, rather than merely neighbor size. To more accurately capture the social context diversity of individuals, we introduce a conceptually new and computationally efficient diversity measure which is obtained via " k clip decomposition" on networks and outperforms some other diversity measures based exclusively on existing weak or strong connectivity between nodes. In the light of "social bridges", we further demonstrate the potential utility of common neighbors to depict the social context diversity of individuals which would go unnoticed otherwise. Our results highlight the importance of social context diversity and have practical implications in the domains of collective intelligence and social influence.


Emergent Properties of Finetuned Language Representation Models. Large, self supervised transformer based language representation models have recently received significant amounts of attention, and have produced state of the art results across a variety of tasks simply by scaling up pre training on larger and larger corpora. Such models usually produce high dimensional vectors, on top of which additional task specific layers and architectural modifications are added to adapt them to specific downstream tasks. Though there exists ample evidence that such models work well, we aim to understand what happens when they work well. We analyze the redundancy and location of information contained in output vectors for one such language representation model BERT. We show empirical evidence that the CLS embedding in BERT contains highly redundant information, and can be compressed with minimal loss of accuracy, especially for finetuned models, dovetailing into open threads in the field about the role of over parameterization in learning. We also shed light on the existence of specific output dimensions which alone give very competitive results when compared to using all dimensions of output vectors.


A new formulation of the semigroup of orientation preserving and orientation reversing mappings. We characterize the respective semigroups of mappings that preserve, or that preserve or reverse orientation of a finite cycle, in terms of their actions on oriented triples and oriented quadruples. This leads to a proof that the latter semigroup coincides with the semigroup of all mappings that preserve intersections of chords on the corresponding circle.


Derivations of large classes of facet defining inequalities of the weak order polytope using ranking structures. The study of ordering polytopes has been essential to the solution of various challenging combinatorial optimization problems. For instance, the incorporation of facet defining inequalities (FDIs) from these polytopes in branch and cut approaches represents among the most effective solution methodologies known to date for some of these problems. The weak order polytope, defined as the convex hull of the characteristic vectors of all binary orders on n alternatives that are reflexive, transitive, and complete, has been particularly important for tackling problems in computational social choice, preference aggregation, and comparative probability. For the most part, FDIs for the weak order polytope have been obtained through enumeration and through derivation from FDIs of other combinatorial polytopes. This paper derives new classes of FDIs for the weak order polytope by utilizing the equivalent representation of a weak order as a ranking of n objects that allows ties and by grouping characteristic vectors that share certain ranking structures. Furthermore, we demonstrate that a number of FDIs previously obtained through enumeration are actually special cases of these ranking based FDIs.


Adaptive Gradient Coding. This paper focuses on mitigating the impact of stragglers in distributed learning system. Unlike the existing results designed for a fixed number of stragglers, we developed a new scheme called Adaptive Gradient Coding(AGC) with flexible tolerance of various number of stragglers. Our scheme gives an optimal tradeoff between computation load, straggler tolerance and communication cost. In particular, it allows to minimize the communication cost according to the real time number of stragglers in the practical environments. Implementations on Amazon EC2 clusters using Python with mpi4py package verify the flexibility in several situations.


Sequence Model Design for Code Completion in the Modern IDE. Code completion plays a prominent role in modern integrated development environments (IDEs). Machine learning has become ubiquitous in analogous natural language writing and search software, surfacing more relevant autocompletions and search suggestions in fewer keystrokes. Prior research has reported training high accuracy, deep neural networks for modeling source code, but little attention has been given to the practical constraints imposed by interactive developer tools. In particular, neural language models for source code modeling like the one described in Maybe Deep Neural Networks are the Best Choice for Modeling Source Code are framed around code completion, but only report accuracy of next token prediction. However, in order for a language model (LM) to work well within real world code completion systems, it must also always make suggestions that produce valid code that typechecks to support code completion's role in correctness checking return instantaneous results to help programmers code more efficiently in fewer keystrokes and be small enough to fit comfortably on disk and in memory on developer workstations, since virtually all modern IDEs run locally and support offline usage. To meet these additional requirements, we propose a novel design for predicting top k next tokens that combines static analysis' ability to enumerate all valid keywords and in scope identifiers with the ability of a language model to place a probability distribution over them. Our model mixes character level input representation with token output to represent out of vocabulary (OOV) tokens meaningfully and minimize prediction latency. OOV tokens can be predicted through detection of local repetition common in software. This design achieves state of art accuracy in source code modeling and fits the constraints imposed by real world code completion implementations in modern IDEs.


Kazhdan Lusztig polynomials and subexpressions. We refine an idea of Deodhar, whose goal is a counting formula for Kazhdan Lusztig polynomials. This is a consequence of a simple observation that one can use the solution of Soergel's conjecture to make ambiguities involved in defining certain morphisms between Soergel bimodules in characteristic zero (double leaves) disappear.


Analysis and Optimization of I O Cache Coherency Strategies for SoC FPGA Device. Unlike traditional PCIe based FPGA accelerators, heterogeneous SoC FPGA devices provide tighter integrations between software running on CPUs and hardware accelerators. Modern heterogeneous SoC FPGA platforms support multiple I O cache coherence options between CPUs and FPGAs, but these options can have inadvertent effects on the achieved bandwidths depending on applications and data access patterns. To provide the most efficient communications between CPUs and accelerators, understanding the data transaction behaviors and selecting the right I O cache coherence method is essential. In this paper, we use Xilinx Zynq UltraScale as the SoC platform to show how certain I O cache coherence method can perform better or worse in different situations, ultimately affecting the overall accelerator performances as well. Based on our analysis, we further explore possible software and hardware modifications to improve the I O performances with different I O cache coherence options. With our proposed modifications, the overall performance of SoC design can be averagely improved by 20 .


Photodissociation as a probe of the H 3 avoided crossing seam. Experiments are conducted to investigate the role of the avoided crossing seam in the photodissociation of H 3 . Three dimensional imaging of dissociation products is used to determine the kinetic energy release and branching ratio among the fragmentation channels. Vibrational distributions are measured by dissociative charge transfer of H 2 products. It is found that the photodissociation of hot H 3 in the near ultraviolet produces cold H 2 , but hot H 2 . Modelling the wavepacket dynamics along the repulsive potential energy surface accounts for the repopulation of the ground potential energy surface. The role of the avoided crossing seam is emphasized and its importance for the astrophysically relevant charge transfer reactions is underlined.


Cooperative Ressource Sharing With Adamant Player. Cooperative game theory deals with systems where players want to cooperate to improve their payoffs. But players may choose coalitions in a non cooperative manner, leading to a coalition formation game. We consider such a game with several players (willing to cooperate) and an adamant player (unwilling to cooperate) involved in resource sharing. Here, the strategy of a player is the set of players with whom it wants to form a coalition. Given a strategy profile, an appropriate partition of coalitions is formed players in each coalition maximize their collective utilities leading to a non cooperative resource sharing game among the coalitions, the utilities at the resulting equilibrium are shared via Shapley value these shares define the utilities of players for the given strategy profile in coalition formation game. We also consider the utilitarian solution to derive the price of anarchy (PoA). We considered a case with symmetric players and an adamant player wherein we observed that players prefer to stay alone at Nash equilibrium when the number of players (n) is more than 4. In contrast, in the majority of the cases, the utilitarian partition is grand coalition. Interestingly the PoA is smaller with an adamant player of intermediate strength. Further, PoA grows like O(n).