Optimization Algorithm for Feedback and Feedforward Policies towards Robot Control Robust to Sensing Failures. Model free or learning based control, in particular, reinforcement learning (RL), is expected to be applied for complex robotic tasks. Traditional RL requires a policy to be optimized is state dependent, that means, the policy is a kind of feedback (FB) controllers. Due to the necessity of correct state observation in such a FB controller, it is sensitive to sensing failures. To alleviate this drawback of the FB controllers, feedback error learning integrates one of them with a feedforward (FF) controller. RL can be improved by dealing with the FB FF policies, but to the best of our knowledge, a methodology for learning them in a unified manner has not been developed. In this paper, we propose a new optimization problem for optimizing both the FB FF policies simultaneously. Inspired by control as inference, the optimization problem considers minimization maximization of divergences between trajectory, predicted by the composed policy and a stochastic dynamics model, and optimal non optimal trajectories. By approximating the stochastic dynamics model using variational method, we naturally derive a regularization between the FB FF policies. In numerical simulations and a robot experiment, we verified that the proposed method can stably optimize the composed policy even with the different learning law from the traditional RL. In addition, we demonstrated that the FF policy is robust to the sensing failures and can hold the optimal motion. Attached video is also uploaded on youtube https youtu.be zLL4uXIRmrE


Backdoor Scanning for Deep Neural Networks through K Arm Optimization. Back door attack poses a severe threat to deep learning systems. It injects hidden malicious behaviors to a model such that any input stamped with a special pattern can trigger such behaviors. Detecting back door is hence of pressing need. Many existing defense techniques use optimization to generate the smallest input pattern that forces the model to misclassify a set of benign inputs injected with the pattern to a target label. However, the complexity is quadratic to the number of class labels such that they can hardly handle models with many classes. Inspired by Multi Arm Bandit in Reinforcement Learning, we propose a K Arm optimization method for backdoor detection. By iteratively and stochastically selecting the most promising labels for optimization with the guidance of an objective function, we substantially reduce the complexity, allowing to handle models with many classes. Moreover, by iteratively refining the selection of labels to optimize, it substantially mitigates the uncertainty in choosing the right labels, improving detection accuracy. At the time of submission, the evaluation of our method on over 4000 models in the IARPA TrojAI competition from round 1 to the latest round 4 achieves top performance on the leaderboard. Our technique also supersedes three state of the art techniques in terms of accuracy and the scanning time needed.


A new approach to twisted homological stability, with applications to congruence subgroups. We introduce a new method for proving twisted homological stability, and use it to prove such results for symmetric groups and general linear groups. In addition to sometimes slightly improving the stable range given by the traditional method (due to Dwyer), it is easier to adapt to nonstandard situations. As an illustration of this, we generalize to GL n of many rings R a theorem of Borel which says that passing from GL n of a number ring to a finite index subgroup does not change the rational cohomology. Charney proved this generalization for trivial coefficients, and we extend it to twisted coefficients.


Semi matrix free twogrid shifted Laplacian preconditioner for the Helmholtz equation with near optimal shifts. Due to its significance in terms of wave phenomena a considerable effort has been put into the design of preconditioners for the Helmholtz equation. One option to derive a preconditioner is to apply a multigrid method on a shifted operator. In such an approach, the wavenumber is shifted by some imaginary value. This step is motivated by the observation that the shifted problem can be more efficiently handled by iterative solvers when compared to the standard Helmholtz equation. However, up to now, it is not obvious what the best strategy for the choice of the shift parameter is. It is well known that a good shift parameter depends sensitively on the wavenumber and the discretization parameters such as the order and the mesh size. Therefore, we study the choice of a near optimal complex shift such that an FGMRES solver converges with fewer iterations. Our goal is to provide a map which returns the near optimal shift for the preconditioner depending on the wavenumber and the mesh size. In order to compute this map, a data driven approach is considered We first generate many samples, and in a second step, we perform a nonlinear regression on this data. With this representative map, the near optimal shift can be obtained by a simple evaluation. Our preconditioner is based on a twogrid V cycle applied to the shifted problem, allowing us to implement a semi matrix free method. The performance of our preconditioned FGMRES solver is illustrated by several benchmark problems with heterogeneous wavenumbers in two and three space dimensions.


There is an elephant in the room Towards a critique on the use of fairness in biometrics. In 2019, the UK's Immigration and Asylum Chamber of the Upper Tribunal dismissed an asylum appeal basing the decision on the output of a biometric system, alongside other discrepancies. The fingerprints of the asylum seeker were found in a biometric database which contradicted the appellant's account. The Tribunal found this evidence unequivocal and denied the asylum claim. Nowadays, the proliferation of biometric systems is shaping public debates around its political, social and ethical implications. Yet whilst concerns towards the racialised use of this technology for migration control have been on the rise, investment in the biometrics industry and innovation is increasing considerably. Moreover, fairness has also been recently adopted by biometrics to mitigate bias and discrimination on biometrics. However, algorithmic fairness cannot distribute justice in scenarios which are broken or intended purpose is to discriminate, such as biometrics deployed at the border. In this paper, we offer a critical reading of recent debates about biometric fairness and show its limitations drawing on research in fairness in machine learning and critical border studies. Building on previous fairness demonstrations, we prove that biometric fairness criteria are mathematically mutually exclusive. Then, the paper moves on illustrating empirically that a fair biometric system is not possible by reproducing experiments from previous works. Finally, we discuss the politics of fairness in biometrics by situating the debate at the border. We claim that bias and error rates have different impact on citizens and asylum seekers. Fairness has overshadowed the elephant in the room of biometrics, focusing on the demographic biases and ethical discourses of algorithms rather than examine how these systems reproduce historical and political injustices.


Reply Early onset phenotype of bi allelic GRN mutations. We would like to reply to Neuray et al. who report a series of five new patients from four unrelated families with bi allelic mutations of GRN. Their work nicely completes the few existing reports of similar cases, and refers to our recent publication describing six homozygous GRN pathogenic variant carriers with divergent phenotypes and ages at onset (Huin et al., 2020). In summary, the Letter from Neuray et al., reports valuable findings that lead to better define CLN11 due to bi allelic GRN pathogenic variants. Despite the small sample number that does not allow statistical analysis, the authors underlined the occurrence of cognitive deterioration and epilepsy. Further study of the CLN11 families with functional brain imaging and neuropsychological examinations may be highly informative for the understanding and the clinical characterization of this rare disease.


Generalized Birch lemma and the 2 part of the Birch and Swinnerton Dyer conjecture for certain elliptic curves. In the present paper, we generalize the celebrated classical lemma of Birch and Heegner on quadratic twists of elliptic curves over mathbb Q . We prove the existence of explicit infinite families of quadratic twists with analytic ranks 0 and 1 for a large class of elliptic curves, and use Heegner points to explicitly construct rational points of infinite order on the twists of rank 1 . In addition, we show that these families of quadratic twists satisfy the 2 part of the Birch and Swinnerton Dyer conjecture when the original curve does. We also prove a new result in the direction of the Goldfeld conjecture.


Discovering dependencies in complex physical systems using Neural Networks. In todays age of data, discovering relationships between different variables is an interesting and a challenging problem. This problem becomes even more critical with regards to complex dynamical systems like weather forecasting and econometric models, which can show highly non linear behavior. A method based on mutual information and deep neural networks is proposed as a versatile framework for discovering non linear relationships ranging from functional dependencies to causality. We demonstrate the application of this method to actual multivariable non linear dynamical systems. We also show that this method can find relationships even for datasets with small number of datapoints, as is often the case with empirical data.


A Word on Machine Ethics A Response to Jiang et al. (2021). Ethics is one of the longest standing intellectual endeavors of humanity. In recent years, the fields of AI and NLP have attempted to wrangle with how learning systems that interact with humans should be constrained to behave ethically. One proposal in this vein is the construction of morality models that can take in arbitrary text and output a moral judgment about the situation described. In this work, we focus on a single case study of the recently proposed Delphi model and offer a critique of the project's proposed method of automating morality judgments. Through an audit of Delphi, we examine broader issues that would be applicable to any similar attempt. We conclude with a discussion of how machine ethics could usefully proceed, by focusing on current and near future uses of technology, in a way that centers around transparency, democratic values, and allows for straightforward accountability.


Snakes AI Competition 2020 and 2021 Report. The Snakes AI Competition was held by the Innopolis University and was part of the IEEE Conference on Games2020 and 2021 editions. It aimed to create a sandbox for learning and implementing artificial intelligence algorithms in agents in a ludic manner. Competitors of several countries participated in both editions of the competition, which was streamed to create asynergy between organizers and the community. The high quality submissions and the enthusiasm around the developed framework create an exciting scenario for future extensions.


Computational complexity of one variable fragments of products with T. We show that products of propositional modal logics containing the logic of reflexive frames T as a factor are embeddable into their single variable fragments. The proof is a simplified version of the proof, to appear, of a similar result for products and expanding relativized products containing as a factor the logic KTB of reflexive and symmetric Kripke frames.


Higher dimensional power diagrams for semi discrete optimal transport. Efficient algorithms for solving optimal transport problems are important for measuring and optimizing distances between functions. In the L 2 semi discrete context, this problem consists of finding a map from a continuous density function to a discrete set of points so as to minimize the transport cost, using the squared Euclidean distance as the cost function. This has important applications in image stippling, clustering, resource allocation and in generating blue noise point distributions for rendering. Recent algorithms have been developed for solving the semi discrete problem in 2d and 3d , however, algorithms in higher dimensions have yet to be demonstrated, which rely on the efficient calculation of the power diagram (Laguerre diagram) in higher dimensions. Here, we introduce an algorithm for computing power diagrams, which extends to any topological dimension. We first evaluate the performance of the algorithm in 2d 6d . We then restrict our attention to four dimensional settings, demonstrating that our power diagrams can be used to solve optimal quantization and semi discrete optimal transport problems, whereby a prescribed mass of each power cell is achieved by computing an optimized power diagram.


A Road map to Robot Task Execution with the Functional Object Oriented Network. Following work on joint object action representations, the functional object oriented network (FOON) was introduced as a knowledge graph representation for robots. Taking the form of a bipartite graph, a FOON contains symbolic or high level information that would be pertinent to a robot's understanding of its environment and tasks in a way that mirrors human understanding of actions. In this work, we outline a road map for future development of FOON and its application in robotic systems for task planning as well as knowledge acquisition from demonstration. We propose preliminary ideas to show how a FOON can be created in a real world scenario with a robot and human teacher in a way that can jointly augment existing knowledge in a FOON and teach a robot the skills it needs to replicate the demonstrated actions and solve a given manipulation problem.


On the Regularity of Optimal Transports between Degenerate Densities. We study the most common image and informal description of the optimal transport problem for quadratic cost, also known as the second boundary value problem for the Monge Amp e re equation What is the most efficient way to fill a hole with a given pile of sand? by proving regularity results for optimal transports between degenerate densities. In particular, our work contains an analysis of the setting in which holes and sandpiles are represented by absolutely continuous measures concentrated on bounded convex domains whose densities behave like nonnegative powers of the distance functions to the boundaries of these domains.


Maximally Satisfying Lower Quotas in the Hospitals Residents Problem with Ties. Motivated by the serious problem that hospitals in rural areas suffer from a shortage of residents, we study the Hospitals Residents model in which hospitals are associated with lower quotas and the objective is to satisfy them as much as possible. When preference lists are strict, the number of residents assigned to each hospital is the same in any stable matching because of the well known rural hospitals theorem thus there is no room for algorithmic interventions. However, when ties are introduced to preference lists, this will no longer apply because the number of residents may vary over stable matchings. In this paper, we formulate an optimization problem to find a stable matching with the maximum total satisfaction ratio for lower quotas. We first investigate how the total satisfaction ratio varies over choices of stable matchings in four natural scenarios and provide the exact values of these maximum gaps. Subsequently, we propose a strategy proof approximation algorithm for our problem in one scenario it solves the problem optimally, and in the other three scenarios, which are NP hard, it yields a better approximation factor than that of a naive tie breaking method. Finally, we show inapproximability results for the above mentioned three NP hard scenarios.


Generative Actor Critic An Off policy Algorithm Using the Push forward Model. Model free deep reinforcement learning has achieved great success in many domains, such as video games, recommendation systems and robotic control tasks. In continuous control tasks, widely used policies with Gaussian distributions results in ineffective exploration of environments and limited performance of algorithms in many cases. In this paper, we propose a density free off policy algorithm, Generative Actor Critic(GAC), using the push forward model to increase the expressiveness of policies, which also includes an entropy like technique, MMD entropy regularizer, to balance the exploration and exploitation. Additionnally, we devise an adaptive mechanism to automatically scale this regularizer, which further improves the stability and robustness of GAC. The experiment results show that push forward policies possess desirable features, such as multi modality, which can improve the efficiency of exploration and asymptotic performance of algorithms obviously.


Learning by Planning Language Guided Global Image Editing. Recently, language guided global image editing draws increasing attention with growing application potentials. However, previous GAN based methods are not only confined to domain specific, low resolution data but also lacking in interpretability. To overcome the collective difficulties, we develop a text to operation model to map the vague editing language request into a series of editing operations, e.g., change contrast, brightness, and saturation. Each operation is interpretable and differentiable. Furthermore, the only supervision in the task is the target image, which is insufficient for a stable training of sequential decisions. Hence, we propose a novel operation planning algorithm to generate possible editing sequences from the target image as pseudo ground truth. Comparison experiments on the newly collected MA5k Req dataset and GIER dataset show the advantages of our methods. Code is available at https jshi31.github.io T2ONet.


Self correcting longitudinal phase space in a multistage plasma accelerator. Plasma accelerators driven by intense laser or particle beams provide gigavolt per meter accelerating fields, promising to drastically shrink particle accelerators for high energy physics and photon science. Applications such as linear colliders and free electron lasers (FELs) require high energy and energy efficiency, but also high stability and beam quality. The latter includes low energy spread, which can be achieved by precise beam loading of the plasma wakefield using longitudinally shaped bunches, resulting in efficient and uniform acceleration. However, the plasma wavelength, which sets the scale for the region of very large accelerating fields to be 100 mu m or smaller, requires bunches to be synchronized and shaped with extreme temporal precision, typically on the femtosecond scale. Here, a self correction mechanism is introduced, greatly reducing the susceptibility to jitter. Using multiple accelerating stages, each with a small bunch compression between them, almost any initial bunch, regardless of current profile or injection phase, will self correct into the current profile that flattens the wakefield, damping the relative energy spread and any energy offsets. As a consequence, staging can be used not only to reach high energies, but also to produce the exquisite beam quality and stability required for a variety of applications.


The Hilbert L matrix. We analyze spectral properties of the Hilbert L matrix left( frac 1 max(m,n) nu right) m,n 0 infty regarded as an operator L nu acting on ell 2 ( mathbb N 0 ) , for nu in mathbb R , nu neq0, 1, 2, dots . The approach is based on a spectral analysis of the inverse of L nu , which is an unbounded Jacobi operator whose spectral properties are deducible in terms of the unit argument 3 F 2 hypergeometric functions. In particular, we give answers to two open problems concerning the operator norm of L nu published by L. Bouthat and J. Mashreghi in Oper. Matrices 15, No. 1 (2021), 47 58 . In addition, several general aspects concerning the definition of an L operator, its positivity, and Fredholm determinants are also discussed.


DRLDO A novel DRL based De ObfuscationSystem for Defense against Metamorphic Malware. In this paper, we propose a novel mechanism to normalize metamorphic and obfuscated malware down at the opcode level and hence create an advanced metamorphic malware de obfuscation and defense system. We name this system DRLDO, for Deep Reinforcement Learning based De Obfuscator. With the inclusion of the DRLDO as a sub component, an existing Intrusion Detection System could be augmented with defensive capabilities against 'zero day' attacks from obfuscated and metamorphic variants of existing malware. This gains importance, not only because there exists no system to date that uses advanced DRL to intelligently and automatically normalize obfuscation down even to the opcode level, but also because the DRLDO system does not mandate any changes to the existing IDS. The DRLDO system does not even mandate the IDS' classifier to be retrained with any new dataset containing obfuscated samples. Hence DRLDO could be easily retrofitted into any existing IDS deployment. We designed, developed, and conducted experiments on the system to evaluate the same against multiple simultaneous attacks from obfuscations generated from malware samples from a standardized dataset that contains multiple generations of malware. Experimental results prove that DRLDO was able to successfully make the otherwise un detectable obfuscated variants of the malware detectable by an existing pre trained malware classifier. The detection probability was raised well above the cut off mark to 0.6 for the classifier to detect the obfuscated malware unambiguously. Further, the de obfuscated variants generated by DRLDO achieved a very high correlation (of 0.99) with the base malware. This observation validates that the DRLDO system is actually learning to de obfuscate and not exploiting a trivial trick.


Small World Model for scaling up prediction result based on SEIR model. Data driven epidemic simulation helps better policymaking. Compared with macro scale simulations driven by statistical data, individual level GPS data can afford finer and spatialized results. However, the big GPS data, usually collected from mobile phone users, cannot cover all populations. Therefore, this study proposes a Small World Model, to map the results from the "small world" (simulation with partially sampled data) to the real world. Based on the basic principles of disease transmission, this study derives two parameters a time scaling factor to map the simulated period to the real period, and an amount scaling factor to map the simulated infected number to the real infected number. It is believed that this model could convert the simulation of the "small world" into the state of the real world, and analyze the effectiveness of different mobility restriction policies.


Multilinear extension of k submodular functions. A k submodular function is a pairwise monotone function that given k disjoint subsets outputs a value that is submodular in every orthant. In this paper, we provide a new framework for k submodular maximization problems, by relaxing the optimization to the continuous space with the multilinear extension of k submodular functions and rounding the fractional solution to recover the discrete solution. The multilinear extension introduces new techniques to analyze and optimize k submodular functions. When the variables are unconstrained, we propose simple algorithms that achieve almost frac 1 2 approximation, which is asymptotically optimal. For finite k , the factors could be improved to almost as good as any combinatorial algorithm based on Iwata, Tanigawa, and Yoshida's meta framework ( frac k 2k 1 approximation for the monotone case and frac k 2 1 2k 2 1 approximation for the non monotone case). For monotone functions, almost frac 1 2 approximation are obtained under total size and knapsack constraints.


Selectively pulsed spin order transfer increases parahydrogen induced NMR amplification of insensitive nuclei and makes polarization transfer more robust. We describe a new method for pulsed spin order transfer (SOT) of parahydrogen induced polarization (PHIP) that enables close to 100 polarization in incompletely 2H labeled molecules by exciting only the desired protons in a frequency selective manner. While a selective pulse (SP) on 1H at the beginning of pulsed SOT had been considered before, using SPs during the SOT suppresses undesired indirect spin spin interactions. As a result, we achieved a more robust SOT for the SP variants of the phINEPT sequence that we refer to as phSPINEPT . Thereby, for the first time, we report a sequence that is effective for all weakly coupled spin systems. Our simulations show that the method converts close to 100 of the parahydrogen derived spin order into 13C hyperpolarization in weakly coupled three spin systems and partially or fully 2H labeled molecules if relaxation is neglected. Experimentally we demonstrate high hyperpolarization of 13C with 15.8 for 1 13C hydroxyethyl propionate d3 and 12.6 for 1 13C ethyl acetate d6, which corresponds to 47 and 38 if the enrichment of parahydrogen had been 100 . Even in non 2H labeled molecules, a remarkable 13C polarization is achieved, e.g. up to 20 were simulated for 100 pH2, and 1.25 were obtained experimentally for 1 13C ethyl pyruvate and 50 pH2, which can be further improved by faster hydrogenation. As a result, full deuterium labeling may no longer be required e.g., when new PHIP agents are investigated, the synthesis of fully deuterated molecules is too complex, or when a kinetic isotope effect regarding the metabolic conversion rate of an agent is to be avoided. Using SPs during SOT seems very promising and may be extended to other sequences in the context of PHIP and be yond to make them less prone to experimental imperfections or real molecular environments.


Predicting Directionality in Causal Relations in Text. In this work, we test the performance of two bidirectional transformer based language models, BERT and SpanBERT, on predicting directionality in causal pairs in the textual content. Our preliminary results show that predicting direction for inter sentence and implicit causal relations is more challenging. And, SpanBERT performs better than BERT on causal samples with longer span length. We also introduce CREST which is a framework for unifying a collection of scattered datasets of causal relations.


Optimal Design of Distributed Energy Systems Considering the Impacts on Electrical Power Networks. Distributed energy systems (DES) have the potential to minimise costly network upgrades while increasing the proportion of renewable energy generation in the electrical grid, when properly designed. In contrast, poorly designed DES can accelerate the degeneration of existing network infrastructure. Most optimisation models used to design grid connected DES have oversimplified or excluded constraints associated with alternating current (AC) power flow, as the latter has been studied in a standalone class of models known as Optimal Power Flow (OPF). A small subset of models, labelled DES OPF models, have attempted to combine these independent frameworks. However, the impacts of using a DES OPF framework on the resulting designs, as opposed to a conventional DES framework without AC power flow, have not been studied in previous work. This study aims to shed light on these impacts by proposing a bi level method to solve the computationally expensive DES OPF framework, and simultaneously comparing results to a baseline MILP model that utilises direct current (DC) approximations in place of AC OPF, as found abundantly in literature. Two test cases of varying scale are employed to test the frameworks and compare resulting designs. The practical feasibility of the designs is assessed, based on whether the designs can mitigate network violations and energy wastage during standard operation. Results demonstrate that the baseline MILP underestimates total costs due to its inability to detect current and voltage violations, resulting in a 37 increase for one case study when tested with the DES OPF framework. Major implications on battery capacity are also observed, primarily to manage higher levels of renewable energy curtailment, which emphasise the need to use DES OPF frameworks when designing grid connected DES.


Tight Lower Bounds for the RMR Complexity of Recoverable Mutual Exclusion. We present a tight RMR complexity lower bound for the recoverable mutual exclusion (RME) problem, defined by Golab and Ramaraju cite GR2019a . In particular, we show that any n process RME algorithm using only atomic read, write, fetch and store, fetch and increment, and compare and swap operations, has an RMR complexity of Omega( log n log log n) on the CC and DSM model. This lower bound covers all realistic synchronization primitives that have been used in RME algorithms and matches the best upper bounds of algorithms employing swap objects (e.g., 5,6,10 ). Algorithms with better RMR complexity than that have only been obtained by either (i) assuming that all failures are system wide 7 , (ii) employing fetch and add objects of size ( log n) omega(1) 12 , or (iii) using artificially defined synchronization primitives that are not available in actual systems 6,9 .


LSPnet A 2D Localization oriented Spacecraft Pose Estimation Neural Network. Being capable of estimating the pose of uncooperative objects in space has been proposed as a key asset for enabling safe close proximity operations such as space rendezvous, in orbit servicing and active debris removal. Usual approaches for pose estimation involve classical computer vision based solutions or the application of Deep Learning (DL) techniques. This work explores a novel DL based methodology, using Convolutional Neural Networks (CNNs), for estimating the pose of uncooperative spacecrafts. Contrary to other approaches, the proposed CNN directly regresses poses without needing any prior 3D information. Moreover, bounding boxes of the spacecraft in the image are predicted in a simple, yet efficient manner. The performed experiments show how this work competes with the state of the art in uncooperative spacecraft pose estimation, including works which require 3D information as well as works which predict bounding boxes through sophisticated CNNs.


Constant Q curvature metrics with Delaunay ends the nondegenerate case. We construct a one parameter family of solutions to the positive singular Q curvature problem on compact nondegenerate manifolds of dimension bigger than four with finitely many punctures. If the dimension is at least eight we assume that the Weyl tensor vanishes to sufficiently high order at the singular points. On a technical level, we use perturbation methods and gluing techniques based on the mapping properties of the linearized operator both in a small ball around each singular point and in its exterior. Main difficulties in our construction include controlling the convergence rate of the Paneitz operator to the flat bi Laplacian in conformal normal coordinates and matching the Cauchy data of the interior and exterior solutions the latter difficulty arises from the lack of geometric Jacobi fields in the kernel of the linearized operator. We overcome both these difficulties by constructing suitable auxiliary functions.


Active Sensing for Communications by Learning. This paper proposes a deep learning approach to a class of active sensing problems in wireless communications in which an agent sequentially interacts with an environment over a predetermined number of time frames to gather information in order to perform a sensing or actuation task for maximizing some utility function. In such an active learning setting, the agent needs to design an adaptive sensing strategy sequentially based on the observations made so far. To tackle such a challenging problem in which the dimension of historical observations increases over time, we propose to use a long short term memory (LSTM) network to exploit the temporal correlations in the sequence of observations and to map each observation to a fixed size state information vector. We then use a deep neural network (DNN) to map the LSTM state at each time frame to the design of the next measurement step. Finally, we employ another DNN to map the final LSTM state to the desired solution. We investigate the performance of the proposed framework for adaptive channel sensing problems in wireless communications. In particular, we consider the adaptive beamforming problem for mmWave beam alignment and the adaptive reconfigurable intelligent surface sensing problem for reflection alignment. Numerical results demonstrate that the proposed deep active sensing strategy outperforms the existing adaptive or nonadaptive sensing schemes.


On Misbehaviour and Fault Tolerance in Machine Learning Systems. Machine learning (ML) provides us with numerous opportunities, allowing ML systems to adapt to new situations and contexts. At the same time, this adaptability raises uncertainties concerning the run time product quality or dependability, such as reliability and security, of these systems. Systems can be tested and monitored, but this does not provide protection against faults and failures in adapted ML systems themselves. We studied software designs that aim at introducing fault tolerance in ML systems so that possible problems in ML components of the systems can be avoided. The research was conducted as a case study, and its data was collected through five semi structured interviews with experienced software architects. We present a conceptualisation of the misbehaviour of ML systems, the perceived role of fault tolerance, and the designs used. Common patterns to incorporating ML components in design in a fault tolerant fashion have started to emerge. ML models are, for example, guarded by monitoring the inputs and their distribution, and enforcing business rules on acceptable outputs. Multiple, specialised ML models are used to adapt to the variations and changes in the surrounding world, and simpler fall over techniques like default outputs are put in place to have systems up and running in the face of problems. However, the general role of these patterns is not widely acknowledged. This is mainly due to the relative immaturity of using ML as part of a complete software system the field still lacks established frameworks and practices beyond training to implement, operate, and maintain the software that utilises ML. ML software engineering needs further analysis and development on all fronts.


Porous Invariants. We introduce the notion of porous invariants for multipath (or branching nondeterministic) affine loops over the integers these invariants are not necessarily convex, and can in fact contain infinitely many 'holes'. Nevertheless, we show that in many cases such invariants can be automatically synthesised, and moreover can be used to settle (non )reachability questions for various interesting classes of affine loops and target sets.


Electrostimulation of Brain Deep Structures in Parkinson's Disease. The study involved 56 patients with advanced and late stages of Parkinsons disease, which could be considered as potentially requiring neurosurgical treatment electrical stimulation of deep brain structures. An algorithm has been developed for selecting patients with advanced and late stages of Parkinsons disease for neurological treatment implantation of a system for electrical stimulation of deep brain structures in distant neurosurgical centers, which includes two stages for patients with limited mobility outpatient and inpatient. The development of an algorithm for referral to neurological treatment has shortened the path of a patient with limited mobility from a polyclinic to a neurological center. Electro stimulation of deep brain structures in Parkinsons disease significantly improved the condition of patients to increase functional activity by 55 , reduce the severity of motor disorders by 55 , and reduce the dose of levodopa drugs by half.


Proof of convergence of LoRaWAN model. In this document, we prove the convergence of the model proposed in 1 , which aims at estimating the LoRaWAN network performance in a single gateway scenario. First, we provide an analytical proof of the existence of a fixed point solution for such a system. Then, we report experimental results, showing that the system of the two inter dependent equations provided by the model can be solved through fixed point iterations, and that a limited number of iterations is enough to reach convergence.


Gelfand pairs for affine Weyl groups. This paper is motivated by several combinatorial actions of the affine Weyl group of type C n . Addressing a question of David Vogan, it was shown in an earlier paper that these permutation representations are essentialy multiplicity free cite arXiv 2009.13880 . However, the Gelfand trick, which was indispensable in cite arXiv 2009.13880 to prove this property for types C n and B n , is not applicable for other classical types. Here we present a unified approach to fully answer the analogous question for all irreducible affine Weyl groups. Given a finite Weyl group W with maximal parabolic subgroup P leq W , there corresponds to it a reflection subgroup H of the affine Weyl group widetilde W . It turns out that while the Gelfand property of P leq W does not imply that of H leq widetilde W , but Q N W(P) leq W has the Gelfand property if and only if K QH leq widetilde W has. Finally, for each irreducible type we describe when (W,Q) is a Gelfand pair.


Asymptotic behaviour of a linearized water waves system in a rectangle. We consider the asymptotic behaviour of small amplitude gravity water waves in a rectangular domain where the water depth is much smaller than the horizontal scale. The control acts on one lateral boundary, by imposing the horizontal acceleration of the water along that boundary, as a scalar input function u. The state z of the system consists of two functions the water level zeta along the top boundary, and its time derivative partial zeta partial t. We prove that the solution of the water waves system converges to the solution of the one dimensional wave equation with Neumann boundary control, when taking the shallowness limit. Our approach is based on a special change of variables and a scattering semigroup, which provide the possiblity to apply the Trotter Kato approximation theorem. Moreover, we use a detailed analysis of Fourier series for the dimensionless version of the partial Dirichlet to Neumann and Neumann to Neumann operators introduced in 1 .


p Kirchhoff type equation with Neumann boundary conditions. This paper is concerned with the multiplicity results to a class of p Kirchhoff type elliptic equation with the homogeneous Neumann boundary conditions by an abstract linking lemma due to Br ' e zis and Nirenberg. We obtain the twofold results in subcritical and critical cases, which is a meaningful addition and completeness to the known results about Kirchhoff equation.


Entropies of non positively curved metric spaces. We show the equivalences of several notions of entropy, like a version of the topological entropy of the geodesic flow and the Minkowski dimension of the boundary, in metric spaces with convex geodesic bicombings satisfying a uniform packing condition. Similar estimates will be given in case of closed subsets of the boundary of Gromov hyperbolic metric spaces with convex geodesic bicombings.


Unsupervised Visual Representation Learning by Tracking Patches in Video. Inspired by the fact that human eyes continue to develop tracking ability in early and middle childhood, we propose to use tracking as a proxy task for a computer vision system to learn the visual representations. Modelled on the Catch game played by the children, we design a Catch the Patch (CtP) game for a 3D CNN model to learn visual representations that would help with video related tasks. In the proposed pretraining framework, we cut an image patch from a given video and let it scale and move according to a pre set trajectory. The proxy task is to estimate the position and size of the image patch in a sequence of video frames, given only the target bounding box in the first frame. We discover that using multiple image patches simultaneously brings clear benefits. We further increase the difficulty of the game by randomly making patches invisible. Extensive experiments on mainstream benchmarks demonstrate the superior performance of CtP against other video pretraining methods. In addition, CtP pretrained features are less sensitive to domain gaps than those trained by a supervised action recognition task. When both trained on Kinetics 400, we are pleasantly surprised to find that CtP pretrained representation achieves much higher action classification accuracy than its fully supervised counterpart on Something Something dataset. Code is available online github.com microsoft CtP.


Organizational Distance Also Matters A Case Study of Distributed Research Teams and their Paper Productivity. Geographically dispersed teams often face challenges in coordination and collaboration, lowering their productivity. Understanding the relationship between team dispersion and productivity is critical for supporting such teams. Extensive prior research has studied these relations in lab settings or using qualitative measures. This paper extends prior work by contributing an empirical case study in a real world organization, using quantitative measures. We studied 117 new research project teams within a company for 6 months. During this time, all teams shared one goal submitting a research paper to a conference. We analyzed these teams' dispersion related characteristics as well as team productivity. Interestingly, we found little statistical evidence that geographic and time differences relate to team productivity. However, organizational and functional distances are highly predictive of the productivity of the dispersed teams we studied. We discuss the open research questions these findings revealed and their implications for future research.


Smart at what cost? Characterising Mobile Deep Neural Networks in the wild. With smartphones' omnipresence in people's pockets, Machine Learning (ML) on mobile is gaining traction as devices become more powerful. With applications ranging from visual filters to voice assistants, intelligence on mobile comes in many forms and facets. However, Deep Neural Network (DNN) inference remains a compute intensive workload, with devices struggling to support intelligence at the cost of responsiveness.On the one hand, there is significant research on reducing model runtime requirements and supporting deployment on embedded devices. On the other hand, the strive to maximise the accuracy of a task is supported by deeper and wider neural networks, making mobile deployment of state of the art DNNs a moving target. In this paper, we perform the first holistic study of DNN usage in the wild in an attempt to track deployed models and match how these run on widely deployed devices. To this end, we analyse over 16k of the most popular apps in the Google Play Store to characterise their DNN usage and performance across devices of different capabilities, both across tiers and generations. Simultaneously, we measure the models' energy footprint, as a core cost dimension of any mobile deployment. To streamline the process, we have developed gaugeNN, a tool that automates the deployment, measurement and analysis of DNNs on devices, with support for different frameworks and platforms. Results from our experience study paint the landscape of deep learning deployments on smartphones and indicate their popularity across app developers. Furthermore, our study shows the gap between bespoke techniques and real world deployments and the need for optimised deployment of deep learning models in a highly dynamic and heterogeneous ecosystem.


From Good to Best Two Stage Training for Cross lingual Machine Reading Comprehension. Cross lingual Machine Reading Comprehension (xMRC) is challenging due to the lack of training data in low resource languages. The recent approaches use training data only in a resource rich language like English to fine tune large scale cross lingual pre trained language models. Due to the big difference between languages, a model fine tuned only by a source language may not perform well for target languages. Interestingly, we observe that while the top 1 results predicted by the previous approaches may often fail to hit the ground truth answers, the correct answers are often contained in the top k predicted results. Based on this observation, we develop a two stage approach to enhance the model performance. The first stage targets at recall we design a hard learning (HL) algorithm to maximize the likelihood that the top k predictions contain the accurate answer. The second stage focuses on precision an answer aware contrastive learning (AA CL) mechanism is developed to learn the fine difference between the accurate answer and other candidates. Our extensive experiments show that our model significantly outperforms a series of strong baselines on two cross lingual MRC benchmark datasets.


L4 Norm Weight Adjustments for Converted Spiking Neural Networks. Spiking Neural Networks (SNNs) are being explored for their potential energy efficiency benefits due to sparse, event driven computation. Non spiking artificial neural networks are typically trained with stochastic gradient descent using backpropagation. The calculation of true gradients for backpropagation in spiking neural networks is impeded by the non differentiable firing events of spiking neurons. On the other hand, using approximate gradients is effective, but computationally expensive over many time steps. One common technique, then, for training a spiking neural network is to train a topologically equivalent non spiking network, and then convert it to an spiking network, replacing real valued inputs with proportionally rate encoded Poisson spike trains. Converted SNNs function sufficiently well because the mean pre firing membrane potential of a spiking neuron is proportional to the dot product of the input rate vector and the neuron weight vector, similar to the functionality of a non spiking network. However, this conversion only considers the mean and not the temporal variance of the membrane potential. As the standard deviation of the pre firing membrane potential is proportional to the L4 norm of the neuron weight vector, we propose a weight adjustment based on the L4 norm during the conversion process in order to improve classification accuracy of the converted network.


Trade the Event Corporate Events Detection for News Based Event Driven Trading. In this paper, we introduce an event driven trading strategy that predicts stock movements by detecting corporate events from news articles. Unlike existing models that utilize textual features (e.g., bag of words) and sentiments to directly make stock predictions, we consider corporate events as the driving force behind stock movements and aim to profit from the temporary stock mispricing that may occur when corporate events take place. The core of the proposed strategy is a bi level event detection model. The low level event detector identifies events' existences from each token, while the high level event detector incorporates the entire article's representation and the low level detected results to discover events at the article level. We also develop an elaborately annotated dataset EDT for corporate event detection and news based stock prediction benchmark. EDT includes 9721 news articles with token level event labels as well as 303893 news articles with minute level timestamps and comprehensive stock price labels. Experiments on EDT indicate that the proposed strategy outperforms all the baselines in winning rate, excess returns over the market, and the average return on each transaction.


Feferman Vaught Decompositions for Prefix Classes of First Order Logic. The Feferman Vaught theorem provides a way of evaluating a first order sentence varphi on a disjoint union of structures by producing a decomposition of varphi into sentences which can be evaluated on the individual structures and the results of these evaluations combined using a propositional formula. This decomposition can in general be non elementarily larger than varphi . We show that for first order sentences in prenex normal form with a fixed number of quantifier alternations, such a decomposition, further with the same number of quantifier alternations, can be obtained in time elementary in the size of varphi . We obtain this result as a consequence of a more general decomposition theorem that we prove for a family of infinitary logics we define. We extend these results by considering binary operations other than disjoint union, in particular sum like operations such as ordered sum and NLC sum, that are definable using quantifier free interpretations.


Experimental quantification of unsteady leading edge flow separation. We propose here a method to experimentally quantify unsteady leading edge flow separation on aerofoils with finite thickness. The methodology relies on the computation of a leading edge suction parameter based on measured values of the partial circulation around the leading edge and the stagnation point location. We validate the computation of the leading edge suction parameter for both numerical and experimental data under steady and unsteady flow conditions. The leading order approximation of the definition of the leading edge suction parameter is proven to be sufficiently accurate for the application to thin aerofoils such as the NACA0009 without a priori knowledge of the stagnation point location. The higher order terms including the stagnation point location are required to reliably compute the leading edge suction parameter on thicker aerofoils such as the NACA0015. The computation of the leading edge suction parameter from inviscid flow theory does not assume the Kutta condition to be valid at the trailing edge which allows us to compute its value for separated flows. The relation between the leading edge suction parameter and the evolution of the shear layer height is studied in two different unsteady flow conditions, a fixed aerofoil in a fluctuating free stream velocity and a pitching aerofoil in a steady free stream. We demonstrate here that the instantaneous value of the leading edge suction parameter based on the partial circulation around the leading edge is unambiguously defined for a given flow field and can serve as a directly quantitative measure of the degree of unsteady flow separation at the leading edge.


Weighted K stability and coercivity with applications to extremal Kahler and Sasaki metrics. We show that a compact weighted extremal Kahler manifold (as defined by the third named author) has coercive weighted Mabuchi energy with respect to a maximal complex torus in the reduced group of complex automorphisms. This provides a vast extension and a unification of a number of results concerning Kahler metrics satisfying special curvature conditions, including constant scalar curvature Kahler metrics, extremal Kahler metrics, Kahler Ricci solitons and their weighted extensions. Our result implies the strict positivity of the weighted Donaldson Futaki invariant of any non product equivariant smooth K "ahler test configuration with reduced central fibre, a property also known as weighted K polystability on such test configurations. For a class of fibre bundles, we use our result in conjunction with the recent results of Chen Cheng, He, and Han Li in order to characterize the existence of extremal Kahler metrics and Calabi Yau cones associated to the total space, in terms of the coercivity of the weighted Mabuchi energy of the fibre. In particular, this yields an existence result for Sasaki Einstein metrics on Fano toric fibrations, extending the results of Futaki Ono Wang in the toric Fano case, and of Mabuchi Nakagawa in the case of Fano projective line bundles.


Predictive Coding Can Do Exact Backpropagation on Convolutional and Recurrent Neural Networks. Predictive coding networks (PCNs) are an influential model for information processing in the brain. They have appealing theoretical interpretations and offer a single mechanism that accounts for diverse perceptual phenomena of the brain. On the other hand, backpropagation (BP) is commonly regarded to be the most successful learning method in modern machine learning. Thus, it is exciting that recent work formulates inference learning (IL) that trains PCNs to approximate BP. However, there are several remaining critical issues (i) IL is an approximation to BP with unrealistic non trivial requirements, (ii) IL approximates BP in single step weight updates whether it leads to the same point as BP after the weight updates are conducted for more steps is unknown, and (iii) IL is computationally significantly more costly than BP. To solve these issues, a variant of IL that is strictly equivalent to BP in fully connected networks has been proposed. In this work, we build on this result by showing that it also holds for more complex architectures, namely, convolutional neural networks and (many to one) recurrent neural networks. To our knowledge, we are the first to show that a biologically plausible algorithm is able to exactly replicate the accuracy of BP on such complex architectures, bridging the existing gap between IL and BP, and setting an unprecedented performance for PCNs, which can now be considered as efficient alternatives to BP.


Monitor ? Multiple versus Single Laboratory Monitors in Early Programming Education. CONTRIBUTION This paper presents an empirical study of an introductory level programming course with students using multiple monitors and compares their performance and self reported experiences versus students using a single monitor. BACKGROUND Professional level programming in many technological fields often employs multiple monitors stations, however, some education laboratories employ single monitor stations. This is unrepresentative of what students will encounter in practice and experiential learning. RESEARCH QUESTIONS This study aims to answer three research questions. The questions include discovering the experiential observations of the students, contrasting the performance of the students using one monitor versus those using two monitors, and an investigation of the ways in which multiple monitors were employed by the students. METHODOLOGY Half of the students in the study had access to multiple monitors. This was the only difference between the two study groups. This study contrasts grade medians and conducts median test evaluation. Additionally, an experience survey facilitated likert scale values and open ended feedback questions facilitated textual analysis. Limitations of the study include the small sample size (86 students) and lack of control of participant composition. FINDINGS Students reacted very favorably in rating their experience using the intervention. Overall, the multiple monitor group had a slight performance improvement. Most improvement was in software design and graphics assignments. Performance increased statistically significantly on the interfaces and hierarchies labs. Students used multiple monitors in different ways including reference guides, assignment specifications, and more.


Disentangle Your Dense Object Detector. Deep learning based dense object detectors have achieved great success in the past few years and have been applied to numerous multimedia applications such as video understanding. However, the current training pipeline for dense detectors is compromised to lots of conjunctions that may not hold. In this paper, we investigate three such important conjunctions 1) only samples assigned as positive in classification head are used to train the regression head 2) classification and regression share the same input feature and computational fields defined by the parallel head architecture and 3) samples distributed in different feature pyramid layers are treated equally when computing the loss. We first carry out a series of pilot experiments to show disentangling such conjunctions can lead to persistent performance improvement. Then, based on these findings, we propose Disentangled Dense Object Detector (DDOD), in which simple and effective disentanglement mechanisms are designed and integrated into the current state of the art dense object detectors. Extensive experiments on MS COCO benchmark show that our approach can lead to 2.0 mAP, 2.4 mAP and 2.2 mAP absolute improvements on RetinaNet, FCOS, and ATSS baselines with negligible extra overhead. Notably, our best model reaches 55.0 mAP on the COCO test dev set and 93.5 AP on the hard subset of WIDER FACE, achieving new state of the art performance on these two competitive benchmarks. Code is available at https github.com zehuichen123 DDOD.


Silting complexes of coherent sheaves and the Humphreys conjecture. Let G be a connected reductive algebraic group over an algebraically closed field Bbbk of characteristic p ge 0 , and let mathcal N be its nilpotent cone. Under mild hypotheses, we construct for each nilpotent G orbit C and each indecomposable tilting vector bundle T on C a certain complex S(C,T) of G times mathbb G m equivariant coherent sheaves on mathcal N . We prove that these objects are (up to shift) precisely the indecomposable objects in the coheart of a certain co t structure. We then show that if p is larger than the Coxeter number, then the hypercohomology H bullet(S(C,T)) is identified with the cohomology of a tilting module for G . This confirms a conjecture of Humphreys on the support of the cohomology of tilting modules.


Resolving closely spaced levels for Doppler mismatched double resonance. In this paper, we present experimental techniques to resolve the closely spaced hyperfine levels of a weak transition by eliminating the residual partial two photon Doppler broadening and cross over resonances in a wavelength mismatched double resonance spectroscopy. The elimination of the partial Doppler broadening is based on velocity induced population oscillation (VIPO) and velocity selective saturation (VSS) effect followed by the subtraction of the broad background of the two photon spectrum. Since the VIPO and VSS effect are the phenomena for near zero velocity group atoms, the subtraction gives rise to Doppler free peaks and the closely spaced hyperfine levels of the 6 text P 3 2 state in Rb are well resolved. The double resonance experiment is conducted on 5 text S 1 2 rightarrow5 text P 3 2 strong transition (at 780 nm) and 5 text S 1 2 rightarrow6 text P 3 2 weak transition (at 420 nm) at room temperature.


Photophysical Properties of BODIPY derivatives for the Implementation of Organic Solar Cells A Computational Approach. Solar cells based on organic compounds are a proven emergent alternative to conventional electrical energy generation. Here, we provide a computational study of power conversion efficiency optimization of BODIPY derivatives by means of their associated open circuit voltage, short circuit density, and fill factor. In so doing, we compute for the derivatives' geometrical structures, energy levels of frontier molecular orbitals, absorption spectra, light collection efficiencies, and exciton binding energies, via density functional theory (DFT) and time dependent (TD) DFT calculations. We fully characterize four D pi A (BODIPY) molecular systems of high efficiency and improved J sc that are well suited for integration into bulk heterojunction (BHJ) organic solar cells as electron donor materials in the active layer. Our results are two fold We found that molecular complexes with an structural isoxazoline ring exhibit a higher power conversion efficiency (PCE), a useful result for improving the BHJ current, and, on the other hand, by considering the molecular systems as electron acceptor materials, with P3HT as the electron donor in the active layer, we found a high PCE compound favorability with a pyrrolidine ring in its structure, in contrast to the molecular systems built with an isoxazoline ring. The theoretical characterization of the electronic properties of the BODIPY derivatives here provided, computed with a combination of ab initio methods and quantum models, can be readily applied to other sets of molecular complexes in order to hierarchize optimal power conversion efficiency.


Principal bundles and ad e les. We investigate topological properties of torsors in algebraic geometry over adelic rings.


Transfer Learning for Future Wireless Networks A Comprehensive Survey. With outstanding features, Machine Learning (ML) has been the backbone of numerous applications in wireless networks. However, the conventional ML approaches have been facing many challenges in practical implementation, such as the lack of labeled data, the constantly changing wireless environments, the long training process, and the limited capacity of wireless devices. These challenges, if not addressed, will impede the effectiveness and applicability of ML in future wireless networks. To address these problems, Transfer Learning (TL) has recently emerged to be a very promising solution. The core idea of TL is to leverage and synthesize distilled knowledge from similar tasks as well as from valuable experiences accumulated from the past to facilitate the learning of new problems. Doing so, TL techniques can reduce the dependence on labeled data, improve the learning speed, and enhance the ML methods' robustness to different wireless environments. This article aims to provide a comprehensive survey on applications of TL in wireless networks. Particularly, we first provide an overview of TL including formal definitions, classification, and various types of TL techniques. We then discuss diverse TL approaches proposed to address emerging issues in wireless networks. The issues include spectrum management, localization, signal recognition, security, human activity recognition and caching, which are all important to next generation networks such as 5G and beyond. Finally, we highlight important challenges, open issues, and future research directions of TL in future wireless networks.


Cube Sampled K Prototype Clustering for Featured Data. Clustering large amount of data is becoming increasingly important in the current times. Due to the large sizes of data, clustering algorithm often take too much time. Sampling this data before clustering is commonly used to reduce this time. In this work, we propose a probabilistic sampling technique called cube sampling along with K Prototype clustering. Cube sampling is used because of its accurate sample selection. K Prototype is most frequently used clustering algorithm when the data is numerical as well as categorical (very common in today's time). The novelty of this work is in obtaining the crucial inclusion probabilities for cube sampling using Principal Component Analysis (PCA). Experiments on multiple datasets from the UCI repository demonstrate that cube sampled K Prototype algorithm gives the best clustering accuracy among similarly sampled other popular clustering algorithms (K Means, Hierarchical Clustering (HC), Spectral Clustering (SC)). When compared with unsampled K Prototype, K Means, HC and SC, it still has the best accuracy with the added advantage of reduced computational complexity (due to reduced data size).


Almost commuting matrices and stability for product groups. We prove that any product of two non abelian free groups, Gamma mathbb F m times mathbb F k , for m,k geq 2 , is not Hilbert Schmidt stable. This means that there exist asymptotic representations pi n Gamma rightarrow text U ( d n ) with respect to the normalized Hilbert Schmidt norm which are not close to actual representations. As a consequence, we prove the existence of contraction matrices A,B such that A almost commutes with B and B , with respect to the normalized Hilbert Schmidt norm, but A,B are not close to any matrices A',B' such that A' commutes with B' and B' . This settles in the negative a natural version of a question concerning almost commuting matrices posed by Rosenthal in 1969.


Analyzing the Limits of Self Supervision in Handling Bias in Language. Prompting inputs with natural language task descriptions has emerged as a popular mechanism to elicit reasonably accurate outputs from large scale generative language models with little to no in context supervision. This also helps gain insight into how well language models capture the semantics of a wide range of downstream tasks purely from self supervised pre training on massive corpora of unlabeled text. Such models have naturally also been exposed to a lot of undesirable content like racist and sexist language and there is limited work on awareness of models along these dimensions. In this paper, we define and comprehensively evaluate how well such language models capture the semantics of four tasks for bias diagnosis, identification, extraction and rephrasing. We define three broad classes of task descriptions for these tasks statement, question, and completion, with numerous lexical variants within each class. We study the efficacy of prompting for each task using these classes and the null task description across several decoding methods and few shot examples. Our analyses indicate that language models are capable of performing these tasks to widely varying degrees across different bias dimensions, such as gender and political affiliation. We believe our work is an important step towards unbiased language models by quantifying the limits of current self supervision objectives at accomplishing such sociologically challenging tasks.


On Information Links. In a joint work with D. Bennequin, we suggested that the (negative) minima of the 3 way multivariate mutual information correspond to Borromean links, paving the way for providing probabilistic analogs of linking numbers. This short note generalizes the correspondence of the minima of k multivariate interaction information with k Brunnian links in the binary variable case. Following Jakulin and Bratko, the negativity of the associated K L divergence of the joint probability law with its Kirkwood approximation implies an obstruction to local decomposition into lower order interactions than k, defining a local decomposition inconsistency that reverses Abramsky's contextuality local global relation. Those negative k links provide a straightforward definition of collective emergence in complex k body interacting systems or dataset.


Sophisticated Students in Boston Mechanism and Gale Shapley Algorithm for School Choice Problem. We present our experimental results of simulating the school choice problem which deals with the assignment of students to schools based on each group's complete preference list for the other group using two algorithms Boston mechanism and student proposing Gale Shapley algorithm. We compare the effects of sophisticated students altering their preference lists with regards to these two algorithms. Our simulation results show that sophisticated students can benefit more in Boston mechanism compared to Gale Shapley algorithm based on multiple evaluation metrics.


Continuous orbit equivalence up to equivalence relations. We introduce notions of continuous orbit equivalence and strong (respective, weak) continuous orbit equivalence for automorphism systems of ' e tale equivalence relations, and characterize them in terms of the semi direct product groupoids, as well as their reduced groupoid C algebras with canonical Cartan subalgebras. In particular, we study topological rigidity of expansive automorphism actions on compact (connected) metrizable groups.


A common framework for single molecule localization using sequential structured illumination. Localization of single fluorescent molecules is key for physicochemical and biophysical measurements such as single molecule tracking and super resolution imaging by single molecule localization microscopy (SMLM). Recently a series of methods have been developed in which the localization precision is enhanced by interrogating the molecular position with a sequence of spatially modulated patterns of light. Among them, the MINFLUX technique outstands for achieving a 10 fold improvement compared to wide field camera based single molecule localization, reaching 1 2 nm localization precision at moderate photon counts. Here, we present a common mathematical framework for this type of measurement that allows a fair comparison between reported methods and facilitates the design and evaluation of new methods. With it, we benchmark all reported methods for single molecule localization using sequential structured illumination, including long established methods such as orbital tracking, along with two new proposed methods orbital tracking and raster scanning with a minimum of intensity.


Weighted nodal domain averages of eigenstates for quantum Monte Carlo and beyond. We study the nodal properties of many body eigenstates of stationary Schr "odinger equation that affect the accuracy of real space quantum Monte Carlo calculations. In particular, we introduce weighted nodal domain averages that provide a new probe of nodal surfaces beyond the usual expectations. Particular choices for the weight function reveal, for example, that the difference between two arbitrary fermionic eigenvalues is given by the nodal hypersurface integrals normalized by overlaps with the bosonic ground state of the given Hamiltonian. Noninteracting and fully interacting Be atom with corresponding almost exact and approximate wave functions are used to illustrate several aspects of these concepts. Variational formulations that employ different weights are proposed for prospective improvement of nodes in variational and fixed node diffusion Monte Carlo calculations.


A non local fluid closure for modeling cyclotron resonance in collisionless magnetized plasmas. A fluid description for collisionless magnetized plasmas that takes into account the effect of cyclotron resonance has been developed. Following the same approach as the Landau fluid closure, the heat flux components associated with transverse electromagnetic fluctuations are approximated by a linear combination of lower order moments in wavenumber space. The closure successfully reproduces the linear cyclotron resonance for electromagnetic waves propagating parallel to the ambient magnetic field. In the presence of finite temperature anisotropy, the model gives approximately correct prediction for an instability destabilized via the cyclotron resonance. A nonlinear simulation demonstrates the wave growth consistent with the linear theory followed by the reduction of initial anisotropy, and finally, the saturation of the instability. The isotropization may be understood in terms of quasi linear theory, which is developed within the framework of the fluid model but very similar to its fully kinetic counterpart. The result indicates that both linear and nonlinear collisionless plasma responses are approximately incorporated in the fluid model.


Bounds on heat flux for Rayleigh B ' e nard convection between Navier slip fixed temperature boundaries. We study two dimensional Rayleigh B ' e nard convection with Navier slip, fixed temperature boundary conditions and establish bounds on the Nusselt number. As the slip length varies with Rayleigh number rm Ra , this estimate interpolates between the Whitehead Doering bound by rm Ra frac 5 12 for free slip conditions 13 and the classical Doering Constantin rm Ra frac 1 2 bound 4 .


On abelian ell towers of multigraphs III. Let ell be a rational prime. Previously, abelian ell towers of multigraphs were introduced which are analogous to Z ell extensions of number fields. It was shown that for towers of bouquets, the growth of the ell part of the number of spanning trees behaves in a predictable manner (analogous to a well known theorem of Iwasawa for Z ell extensions of number fields). In this paper, we extend this result to abelian ell towers over an arbitrary connected multigraph (not necessarily simple and not necessarily regular). In order to carry this out, we employ integer valued polynomials to construct power series with coefficients in Z ell arising from cyclotomic number fields, different than the power series appearing in the prequel. This allows us to study the special value at u 1 of the Artin Ihara L function, when the base multigraph is not necessarily a bouquet.


Induce, Edit, Retrieve Language Grounded Multimodal Schema for Instructional Video Retrieval. Schemata are structured representations of complex tasks that can aid artificial intelligence by allowing models to break down complex tasks into intermediate steps. We propose a novel system that induces schemata from web videos and generalizes them to capture unseen tasks with the goal of improving video retrieval performance. Our system proceeds in three major phases (1) Given a task with related videos, we construct an initial schema for a task using a joint video text model to match video segments with text representing steps from wikiHow (2) We generalize schemata to unseen tasks by leveraging language models to edit the text within existing schemata. Through generalization, we can allow our schemata to cover a more extensive range of tasks with a small amount of learning data (3) We conduct zero shot instructional video retrieval with the unseen task names as the queries. Our schema guided approach outperforms existing methods for video retrieval, and we demonstrate that the schemata induced by our system are better than those generated by other models.


FaceController Controllable Attribute Editing for Face in the Wild. Face attribute editing aims to generate faces with one or multiple desired face attributes manipulated while other details are preserved. Unlike prior works such as GAN inversion, which has an expensive reverse mapping process, we propose a simple feed forward network to generate high fidelity manipulated faces. By simply employing some existing and easy obtainable prior information, our method can control, transfer, and edit diverse attributes of faces in the wild. The proposed method can consequently be applied to various applications such as face swapping, face relighting, and makeup transfer. In our method, we decouple identity, expression, pose, and illumination using 3D priors separate texture and colors by using region wise style codes. All the information is embedded into adversarial learning by our identity style normalization module. Disentanglement losses are proposed to enhance the generator to extract information independently from each attribute. Comprehensive quantitative and qualitative evaluations have been conducted. In a single framework, our method achieves the best or competitive scores on a variety of face applications.


Characteristic Covering Numbers of Finite Simple Groups. We show that, if w 1, ldots , w 6 are words which are not an identity of any (non abelian) finite simple group, then w 1(G)w 2(G) cdots w 6(G) G for all (non abelian) finite simple groups G . In particular, for every word w , either w(G) 6 G for all finite simple groups, or w(G) 1 for some finite simple groups. These theorems follow from more general results we obtain on characteristic collections of finite groups and their covering numbers, which are of independent interest and have additional applications.


Critical points at infinity in charged N body systems. We define the notion of critical points at infinity for the charged N body problem, following the approach of Albouy 1993. We give a characterisation of such points and show how they can be found in the charged 3 body problem. The symmetry group of the N body problem and accompanying integrals play a key role. In fact critical points at infinity are indispensible in understanding the bifurcations of the integral map. Together with the critical points at infinity in the charged 3 body problem, we present the bifurcation values.


Metronome adaptive and precise intermittent packet retrieval in DPDK. The increasing performance requirements of modern applications place a significant burden on software based packet processing. Most of today's software input output accelerations achieve high performance at the expense of reserving CPU resources dedicated to continuously poll the Network Interface Card. This is specifically the case with DPDK (Data Plane Development Kit), probably the most widely used framework for software based packet processing today. The approach presented in this paper, descriptively called Metronome, has the dual goals of providing CPU utilization proportional to the load, and allowing flexible sharing of CPU resources between I O tasks and applications. Metronome replaces DPDK's continuous polling with an intermittent sleep wake mode, and revolves around a new multi threaded operation, which improves service continuity. Since the proposed operation trades CPU usage with buffering delay, we propose an analytical model devised to dynamically adapt the sleep wake parameters to the actual traffic load, meanwhile providing a target average latency. Our experimental results show a significant reduction of the CPU cycles, improvements in power usage, and robustness to CPU sharing even when challenged with CPU intensive applications.


Construction of good polynomial lattice rules in weighted Walsh spaces by an alternative component by component construction. We study the efficient construction of good polynomial lattice rules, which are special instances of quasi Monte Carlo (QMC) methods. The integration rules obtained are of particular interest for the approximation of multivariate integrals in weighted Walsh spaces. In particular, we study a construction algorithm which assembles the components of the generating vector, which is in this case a vector of polynomials over a finite field, of the polynomial lattice rule in a component wise fashion. We show that the constructed QMC rules achieve the almost optimal error convergence order in the function spaces under consideration and prove that the obtained error bounds can, under certain conditions on the involved weights, be made independent of the dimension. We also demonstrate that our alternative component by component construction, which is independent of the underlying smoothness of the function space, can be implemented relatively easily in a fast manner. Numerical experiments confirm our theoretical findings.


Dataset on Bi and Multi Nucleated Tumor Cells in Canine Cutaneous Mast Cell Tumors. Tumor cells with two nuclei (binucleated cells, BiNC) or more nuclei (multinucleated cells, MuNC) indicate an increased amount of cellular genetic material which is thought to facilitate oncogenesis, tumor progression and treatment resistance. In canine cutaneous mast cell tumors (ccMCT), binucleation and multinucleation are parameters used in cytologic and histologic grading schemes (respectively) which correlate with poor patient outcome. For this study, we created the first open source data set with 19,983 annotations of BiNC and 1,416 annotations of MuNC in 32 histological whole slide images of ccMCT. Labels were created by a pathologist and an algorithmic aided labeling approach with expert review of each generated candidate. A state of the art deep learning based model yielded an F 1 score of 0.675 for BiNC and 0.623 for MuNC on 11 test whole slide images. In regions of interest ( 2.37 mm 2 ) extracted from these test images, 6 pathologists had an object detection performance between 0.270 0.526 for BiNC and 0.316 0.622 for MuNC, while our model archived an F 1 score of 0.667 for BiNC and 0.685 for MuNC. This open dataset can facilitate development of automated image analysis for this task and may thereby help to promote standardization of this facet of histologic tumor prognostication.


Coefficients of the monodromy matrices of one parameter families of double octic Calabi Yau threefolds at a half conifold point. Doran and Morgan have introduced certain rational basis for the monodromy group of the Picard Fuchs operator of a hypergeometric family of Calabi Yau threefolds. In this paper we compute numerically the transition matrix between a generalization of the Doran Morgan basis and the Frobenius basis at a half conifold point of a one parameter family of double octic Calabi Yau threefolds. We identify the entries of this matrix as rational functions in the special values L(f,1) and L(f,2) of the corresponding modular form f and one constant. We also present related results concerning the rank of the group of period integrals generated by the action of the monodromy group on the conifold period.


Metastability for the dissipative quasi geostrophic equation and the non local enhancement. In this paper, we study the metastability for the 2 D linearized dissipative quasi geostrophic equation with small viscosity nu around the quasi steady state theta sin e nu t sin y . We proved the linear enhanced dissipation and obtained the dissipation rate. Moreover, the new non local enhancement phenomenon was discovered and discussed. Precisely we showed that the non local term re enhances the enhanced diffusion effect by the shear diffusion mechanism.


A Voxel Graph CNN for Object Classification with Event Cameras. Event cameras attract researchers' attention due to their low power consumption, high dynamic range, and extremely high temporal resolution. Learning models on event based object classification have recently achieved massive success by accumulating sparse events into dense frames to apply traditional 2D learning methods. Yet, these approaches necessitate heavy weight models and are with high computational complexity due to the redundant information introduced by the sparse to dense conversion, limiting the potential of event cameras on real life applications. This study aims to address the core problem of balancing accuracy and model complexity for event based classification models. To this end, we introduce a novel graph representation for event data to exploit their sparsity better and customize a lightweight voxel graph convolutional neural network ( textit EV VGCNN ) for event based classification. Specifically, (1) using voxel wise vertices rather than previous point wise inputs to explicitly exploit regional 2D semantics of event streams while keeping the sparsity (2) proposing a multi scale feature relational layer ( textit MFRL ) to extract spatial and motion cues from each vertex discriminatively concerning its distances to neighbors. Comprehensive experiments show that our model can advance state of the art classification accuracy with extremely low model complexity (merely 0.84M parameters).


Ramsey numbers of large books. A book B n is a graph which consists of n triangles sharing a common edge. In 1978, Rousseau and Sheehan conjectured that the Ramsey number satisfies r(B m,B n) le 2(m n) c for some constant c 0 . In this paper, we obtain that r(B m, B n) le 2(m n) o(n) for all m le n and n large, which confirms the conjecture of Rousseau and Sheehan asymptotically. As a corollary, our result implies that a related conjecture of Faudree, Rousseau and Sheehan (1982) on strongly regular graph holds asymptotically.


Big mapping class groups and the co Hopfian property. We study injective homomorphisms between big mapping class groups of infinite type surfaces. First, we construct (uncountably many) examples of surfaces without boundary whose (pure) mapping class groups are not co Hopfian these are the first examples of injective endomorphisms of mapping class groups (of surfaces with empty boundary) that fail to be surjective. We then prove that, subject to some topological conditions on the domain surface, any continuous injective homomorphism between (arbitrary) big mapping class groups that sends Dehn twists to Dehn twists is induced by homeomorphism. Finally, we explore the extent to which, in stark contrast to the finite type case, superinjective maps between curve graphs impose no topological restrictions on the underlying surfaces.


Asymptotics of p torsion subgroup sizes in class groups of monogenized cubic fields. Bhargava, Hanke, and Shankar have recently shown that the asymptotic average 2 torsion subgroup size of the family of class groups of monogenized cubic fields with positive and negative discriminants is 3 2 and 2 , respectively. In this paper, we provide strong computational evidence for these asymptotes. We then develop a pair of novel conjectures that predicts, for p prime, the asymptotic average p torsion subgroup size in class groups of monogenized cubic fields.


VolcanoML Speeding up End to End AutoML via Scalable Search Space Decomposition. End to end AutoML has attracted intensive interests from both academia and industry, which automatically searches for ML pipelines in a space induced by feature engineering, algorithm model selection, and hyper parameter tuning. Existing AutoML systems, however, suffer from scalability issues when applying to application domains with large, high dimensional search spaces. We present VolcanoML, a scalable and extensible framework that facilitates systematic exploration of large AutoML search spaces. VolcanoML introduces and implements basic building blocks that decompose a large search space into smaller ones, and allows users to utilize these building blocks to compose an execution plan for the AutoML problem at hand. VolcanoML further supports a Volcano style execution model akin to the one supported by modern database systems to execute the plan constructed. Our evaluation demonstrates that, not only does VolcanoML raise the level of expressiveness for search space decomposition in AutoML, it also leads to actual findings of decomposition strategies that are significantly more efficient than the ones employed by state of the art AutoML systems such as auto sklearn.


Applications of Generative Adversarial Networks in Anomaly Detection A Systematic Literature Review. Anomaly detection has become an indispensable tool for modern society, applied in a wide range of applications, from detecting fraudulent transactions to malignant brain tumours. Over time, many anomaly detection techniques have been introduced. However, in general, they all suffer from the same problem a lack of data that represents anomalous behaviour. As anomalous behaviour is usually costly (or dangerous) for a system, it is difficult to gather enough data that represents such behaviour. This, in turn, makes it difficult to develop and evaluate anomaly detection techniques. Recently, generative adversarial networks (GANs) have attracted a great deal of attention in anomaly detection research, due to their unique ability to generate new data. In this paper, we present a systematic literature review of the applications of GANs in anomaly detection, covering 128 papers on the subject. The goal of this review paper is to analyze and summarize (1) which anomaly detection techniques can benefit from certain types of GANs, and how, (2) in which application domains GAN assisted anomaly detection techniques have been applied, and (3) which datasets and performance metrics have been used to evaluate these techniques. Our study helps researchers and practitioners to find the most suitable GAN assisted anomaly detection technique for their application. In addition, we present a research roadmap for future studies in this area.


Extremality criteria for the supereigenvector space in max plus algebra. We present necessary and sufficient criteria for a max algebraic supereigenvector, i.e., a solution of the system A otimes textbf x geq textbf x with A in overline mathbb R n times n in max plus algebra, to be an extremal. We also show that the suggested extremality criteria can be verified in O(n 2) time for any given solution textbf x .


Isolated subgroups of finite abelian groups. We say that a subgroup H is isolated in a group G if for every x in G we have either x in H or langle x rangle cap H 1 . In this short note, we describe the set of isolated subgroups of a finite abelian group. The technique used is based on an interesting connection between isolated subgroups and the function sum of element orders of a finite group.


Non parametric reconstruction of the statistical properties of penetrable, isotropic randomly rough surfaces from in plane, co polarized light scattering data Application to computer generated and experimental scattering data. An approach is introduced for the non parametric reconstruction of the statistical properties of penetrable, isotropic randomly rough surfaces from in plane, co polarized light scattering data. Starting from expressions within the Kirchhoff approximation for the light scattered diffusely by a two dimensional randomly rough surface, an analytic expression for the normalized surface height correlation function is obtained as an integral over the in plane and co polarized scattering data with the introduction of only a couple of additional approximations. The inversion approach consists of two main steps. In the first step the surface roughness is estimated. Next, this value is used to obtain the functional form of the surface height correlation function without initially assuming any particular form for this function (non parametric inversion). The input data used in validating this inversion approach consist of in plane and co polarized scattering data obtained for different forms of the correlation function by either computer simulations or by experiments for two dimensional randomly rough dielectric or metallic surfaces. Good agreement was obtained between the correlation function and surface roughness obtained during the reconstruction and the corresponding quantities assumed when generating the input scattering data this was the case for both dielectric and metallic surfaces, for both p and s polarized light, and for different polar angles of incidence. The proposed inversion approach provides an accurate, efficient, robust and contact less method based on in plane and co polarized scattering data for the non parametric characterization of the statistical properties of isotropic two dimensional randomly rough dielectric and metallic surface.


Magnetized Ablative Rayleigh Taylor Instability in 3 D. 3 D extended MHD simulations of the magnetized ablative Rayleigh Taylor instability are presented for the first time. Previous 2 D simulations claiming perturbation suppression by magnetic tension are shown to be misleading, as they do not include the most unstable dimension. For perturbation modes along the applied field direction, the magnetic field simultaneously reduces ablative stabilization and adds magnetic tension stabilization the stabilizing term is found to dominate for applied fields 5T, with both effects increasing in importance at short wavelengths. For modes perpendicular to the applied field, magnetic tension does not directly stabilize the perturbation, but can result in moderately slower growth due to the perturbation appearing 2 D (albeit in a different orientation to 2 D ICF simulations). In cases where thermal ablative stabilization is dominant the applied field increases the peak bubble spike height. Resistive diffusion is shown to be important for short wavelengths and long timescales, reducing the effectiveness of tension stabilization.


FPT Algorithms to Compute the Elimination Distance to Bipartite Graphs and More. For a hereditary graph class mathcal H , the mathcal H elimination distance of a graph G is the minimum number of rounds needed to reduce G to a member of mathcal H by removing one vertex from each connected component in each round. The mathcal H treewidth of a graph G is the minimum, taken over all vertex sets X for which each connected component of G X belongs to mathcal H , of the treewidth of the graph obtained from G by replacing the neighborhood of each component of G X by a clique and then removing V(G) setminus X . These parameterizations recently attracted interest because they are simultaneously smaller than the graph complexity measures treedepth and treewidth, respectively, and the vertex deletion distance to mathcal H . For the class mathcal H of bipartite graphs, we present non uniform fixed parameter tractable algorithms for testing whether the mathcal H elimination distance or mathcal H treewidth of a graph is at most k . Along the way, we also provide such algorithms for all graph classes mathcal H defined by a finite set of forbidden induced subgraphs.


An Exploration Tool for Retrieval of Travel Information with Personal Photos. Photos can be treated as life logs of photo owners. Photos can be reliable information to estimate patterns of actions and movements of the owners. Based on this discussion, we are developing an interactive technique to explore the recommended tourist spots based on their past personal travel photos. The technique extracts a set of keywords from the photo set applying a generic object recognition and constructs a tree structure to support the exploration of the keywords. When a user selects a set of interesting keywords, the system provides travel information related to the selected keywords. Our previous paper already introduced the visualizations that demonstrate the appropriateness of the structure of the keywords. This paper focuses on the mechanism for interactive travel information retrieval of our system and user evaluations with this system.


A p adic Simpson correspondence for rigid analytic varieties. In this paper, we establish a p adic Simpson correspondence on the arena of Liu Zhu for rigid analytic varieties X over Cp with a liftable good reduction by constructing a new period sheaf on X proet . To do so, we use the theory of cotangent complex after Beilinson and Bhatt. Then we give an integral decompletion theorem and complete the proof by local calculations. Our construction is compatible with the previous works of Faltings and Liu Zhu.


Investigations on Automorphism Groups of Quantum Stabilizer Codes. The stabilizer formalism for quantum error correcting codes has been, without doubt, the most successful at producing examples of quantum codes with strong error correcting properties. In this paper, we discuss strong automorphism groups of stabilizer codes, beginning with the analogous notion from the theory of classical codes. Two weakenings of this concept, the weak automorphism group and Clifford twisted automorphism group, are also discussed, along with many examples highlighting the possible relationships between the types of "automorphism groups". In particular, we construct an example of a 10,0,4 stabilizer code showing how the Clifford twisted automorphism groups might be connected to the Mathieu groups. Finally, nonexistence results are proved regarding stabilizer codes with highly transitive strong and weak automorphism groups, suggesting a potential inverse relationship between the error correcting properties of a quantum code and the transitivity of those automorphism groups.


Dynamic Fusion Network For Light Field Depth Estimation. Focus based methods have shown promising results for the task of depth estimation. However, most existing focus based depth estimation approaches depend on maximal sharpness of the focal stack. Out of focus information in the focal stack poses challenges for this task. In this paper, we propose a dynamically multi modal learning strategy which incorporates RGB data and the focal stack in our framework. Our goal is to deeply excavate the spatial correlation in the focal stack by designing the spatial correlation perception module and dynamically fuse multi modal information between RGB data and the focal stack in a adaptive way by designing the multi modal dynamic fusion module. The success of our method is demonstrated by achieving the state of the art performance on two datasets. Furthermore, we test our network on a set of different focused images generated by a smart phone camera to prove that the proposed method not only broke the limitation of only using light field data, but also open a path toward practical applications of depth estimation on common consumer level cameras data.


Nondivergence on homogeneous spaces and rigid totally geodesics. Let G Gamma be the quotient of a semisimple Lie group by an arithmetic lattice. We show that for reductive subgroups H of G that is large enough, the orbits of H on G Gamma intersect nontrivially with a fixed compact set. As a consequence, we deduce finiteness result for totally geodesic submanifolds of arithmetic quotients of symmetric spaces that do not admit nontrivial deformation and with bounded volume. Our work generalizes previous work of Tomanov Weiss and Oh on this topic.


Lipstick ain't enough Beyond Color Matching for In the Wild Makeup Transfer. Makeup transfer is the task of applying on a source face the makeup style from a reference image. Real life makeups are diverse and wild, which cover not only color changing but also patterns, such as stickers, blushes, and jewelries. However, existing works overlooked the latter components and confined makeup transfer to color manipulation, focusing only on light makeup styles. In this work, we propose a holistic makeup transfer framework that can handle all the mentioned makeup components. It consists of an improved color transfer branch and a novel pattern transfer branch to learn all makeup properties, including color, shape, texture, and location. To train and evaluate such a system, we also introduce new makeup datasets for real and synthetic extreme makeup. Experimental results show that our framework achieves the state of the art performance on both light and extreme makeup styles. Code is available at https github.com VinAIResearch CPM.


The distribution of the number of distinct values in a finite exchangeable sequence. Let K n denote the number of distinct values among the first n terms of an infinite exchangeable sequence of random variables (X 1,X 2, ldots) . We prove for n 3 that the extreme points of the convex set of all possible laws of K 3 are those derived from i.i.d. sampling from discrete uniform distributions and the limit case with P(K 3 3) 1 , and offer a conjecture for larger n . We also consider variants of the problem for finite exchangeable sequences and exchangeable random partitions.