Turing Test and the Practice of Law The Role of Autonomous Levels of AI Legal Reasoning. Artificial Intelligence (AI) is increasingly being applied to law and a myriad of legal tasks amid attempts to bolster AI Legal Reasoning (AILR) autonomous capabilities. A major question that has generally been unaddressed involves how we will know when AILR has achieved autonomous capacities. The field of AI has grappled with similar quandaries over how to assess the attainment of Artificial General Intelligence (AGI), a persistently discussed issue among scholars since the inception of AI, with the Turing Test communally being considered as the bellwether for ascertaining such matters. This paper proposes a variant of the Turing Test that is customized for specific use in the AILR realm, including depicting how this famous gold standard of AI fulfillment can be robustly applied across the autonomous levels of AI Legal Reasoning.


Partitioning algorithms for weighted trees and cactus graphs. In this paper, we consider different constrained partition problems for weighted trees and cactus graphs. We focus on the (l,u) partition problem, which is the problem of partitioning a weighted graph into connected clusters such that each cluster fulfills the lower and upper weight constraints l and u. Partitioning into a minimum, maximum or a fixed number of clusters is known to be NP hard in general, but polynomial time solvable on trees. We prove that these three variants of the (l,u) partition problem can be solved for cactus graphs as well by presenting a polynomial time algorithm. Additionally, we present an efficient method to compute the corresponding partitions. For other optimization goals or additional constraints, the partition problem becomes NP hard even on trees and for a lower weight bound equal to zero. We show that our method can be used as an algorithmic framework to solve other partition problems for weighted trees and cactus graphs with a pseudopolynomial runtime.


Equivalence and Duality in Electromagnetism. In this paper I bring the recent philosophical literature on theoretical equivalence to bear on dualities in physics. Focusing on electromagnetic duality, which is a simple example of S duality in string theory, I will show that the duality fits naturally into at least one framework for assessing equivalence that of categorical equivalence but that it fails to meet a necessary condition for equivalence on that account. The reason is that the duality does not preserve "empirical content" in the required sense instead, it takes models to models with "dual" empirical content. I conclude by discussing how one might react to this.


Coupled Layer wise Graph Convolution for Transportation Demand Prediction. Graph Convolutional Network (GCN) has been widely applied in transportation demand prediction due to its excellent ability to capture non Euclidean spatial dependence among station level or regional transportation demands. However, in most of the existing research, the graph convolution was implemented on a heuristically generated adjacency matrix, which could neither reflect the real spatial relationships of stations accurately, nor capture the multi level spatial dependence of demands adaptively. To cope with the above problems, this paper provides a novel graph convolutional network for transportation demand prediction. Firstly, a novel graph convolution architecture is proposed, which has different adjacency matrices in different layers and all the adjacency matrices are self learned during the training process. Secondly, a layer wise coupling mechanism is provided, which associates the upper level adjacency matrix with the lower level one. It also reduces the scale of parameters in our model. Lastly, a unitary network is constructed to give the final prediction result by integrating the hidden spatial states with gated recurrent unit, which could capture the multi level spatial dependence and temporal dynamics simultaneously. Experiments have been conducted on two real world datasets, NYC Citi Bike and NYC Taxi, and the results demonstrate the superiority of our model over the state of the art ones.


Reputation Systems Fair allocation of points to the editors in the collaborative community. In this paper we are trying to determine a scheme for the fair allocation of points to the contributors of the collaborative community. The major problem of fair allocation of points among the contributors is that we have to analyze the improvement in the versions of an article. Lets say there is a contribution of major change in content which is relevant vs the contribution of adding a single comma. Every contributor cannot be given the same points in such a case. There are many ways which can be used like number of changes in a new version. That might seem relevant but it becomes irrelevant in terms of correct content contribution and other significant changes. There is no AI system too which can detect such a change and award the points accordingly. So this problem of allocation of points to the contributors is presented by an algorithm with a theoretical proof. It relies on the interactive interaction of the users in the system which is trivial in case of big system design economies.


Utility efficient Differentially Private K means Clustering based on Cluster Merging. Differential privacy is widely used in data analysis. State of the art k means clustering algorithms with differential privacy typically add an equal amount of noise to centroids for each iterative computation. In this paper, we propose a novel differentially private k means clustering algorithm, DP KCCM, that significantly improves the utility of clustering by adding adaptive noise and merging clusters. Specifically, to obtain k clusters with differential privacy, the algorithm first generates n times k initial centroids, adds adaptive noise for each iteration to get n times k clusters, and finally merges these clusters into k ones. We theoretically prove the differential privacy of the proposed algorithm. Surprisingly, extensive experimental results show that 1) cluster merging with equal amounts of noise improves the utility somewhat 2) although adding adaptive noise only does not improve the utility, combining both cluster merging and adaptive noise further improves the utility significantly.


The diameter of lattice zonotopes. We establish sharp asymptotic estimates for the diameter of primitive zonotopes when their dimension is fixed. We also prove that, for infinitely many integers k , the largest possible diameter of a lattice zonotope contained in the hypercube 0,k d is uniquely achieved by a primitive zonotope. As a consequence, we obtain that this largest diameter grows like k d (d 1) up to an explicit multiplicative constant, when d is fixed and k goes to infinity, providing a new lower bound on the largest possible diameter of a lattice polytope contained in 0,k d .


CS R FCN Cross supervised Learning for Large Scale Object Detection. Generic object detection is one of the most fundamental problems in computer vision, yet it is difficult to provide all the bounding box level annotations aiming at large scale object detection for thousands of categories. In this paper, we present a novel cross supervised learning pipeline for large scale object detection, denoted as CS R FCN. First, we propose to utilize the data flow of image level annotated images in the fully supervised two stage object detection framework, leading to cross supervised learning combining bounding box level annotated data and image level annotated data. Second, we introduce a semantic aggregation strategy utilizing the relationships among the cross supervised categories to reduce the unreasonable mutual inhibition effects during the feature learning. Experimental results show that the proposed CS R FCN improves the mAP by a large margin compared to previous related works.


An adaptive planewave method for electronic structure calculations. We propose an adaptive planewave method for eigenvalue problems in electronic structure calculations. The method combines a priori convergence rates and accurate a posteriori error estimates into an effective way of updating the energy cut off for planewave discretizations, for both linear and nonlinear eigenvalue problems. The method is error controllable for linear eigenvalue problems in the sense that for a given required accuracy, an energy cut off for which the solution matches the target accuracy can be reached efficiently. Further, the method is particularly promising for nonlinear eigenvalue problems in electronic structure calculations as it shall reduce the cost of early iterations in self consistent algorithms. We present some numerical experiments for both linear and nonlinear eigenvalue problems. In particular, we provide electronic structure calculations for some insulator and metallic systems simulated with Kohn Sham density functional theory (DFT) and the projector augmented wave (PAW) method, illustrating the efficiency and potential of the algorithm.


Resolution Limits for the Noisy Non Adaptive 20 Questions Problem. We establish fundamental limits on estimation accuracy for the noisy 20 questions problem with measurement dependent noise and introduce optimal non adaptive procedures that achieve these limits. The minimal achievable resolution is defined as the absolute difference between the estimated and the true locations of a target over a unit cube, given a finite number of queries constrained by the excess resolution probability. Inspired by the relationship between the 20 questions problem and the channel coding problem, we derive non asymptotic bounds on the minimal achievable resolution to estimate the target location. Furthermore, applying the Berry Esseen theorem to our non asymptotic bounds, we obtain a second order asymptotic approximation to the achievable resolution of optimal non adaptive query procedures with a finite number of queries subject to the excess resolution probability constraint. We specialize our second order results to measurement dependent versions of several channel models including the binary symmetric, the binary erasure and the binary Z channels. The theory is extended to simultaneous searching for multiple targets. As a complement, we establish a second order asymptotic achievability bound for adaptive querying and use this to bound the benefit of adaptive querying.


Line Positions and Intensities of the nu 4 Band of Methyl Iodide Using Mid Infrared Optical Frequency Comb Fourier Transform Spectroscopy. We use optical frequency comb Fourier transform spectroscopy to measure high resolution spectra of iodomethane, CH 3 I in the C H stretch region from 2800 to 3160 cm 1 . The fast scanning Fourier transform spectrometer with auto balanced detection is based on a difference frequency generation comb with repetition rate, f rep , of 125 MHz. A series of spectra with sample point spacing equal to f rep are measured at different f rep settings and interleaved to yield sampling point spacing of 11 MHz. Iodomethane is introduced into a 76 m long multipass absorption cell by its vapor pressure at room temperature. The measured spectrum contains three main ro vibrational features the parallel vibrational overtone and combination bands centered around 2850 cm 1 , the symmetric stretch nu 1 band centered at 2971 cm 1 , and the asymmetric stretch nu 4 band centered at 3060 cm 1 . The spectra of the nu 4 band and the nearby nu 3 nu 4 nu 3 hot band are simulated using PGOPHER and a new assignment of these bands is presented. The resolved ro vibrational structures are used in a least square fit together with the microwave data to provide the upper state parameters. We assign 2603 transitions to the nu 4 band with standard deviation (observed calculated) of 0.00034 cm 1 , and 831 transitions to the nu 3 nu 4 nu 3 hot band with standard deviation of 0.00084 cm 1 . The hyperfine splittings due to the 127 I nuclear quadrupole moment are observed for transitions with J leq 2xK. Finally, intensities of 157 isolated transitions in the nu 4 band are reported for the first time using the Voigt line shape as a model in multispectral fitting.


A short proof of Spectral Sequences of Filtered Complexes. The purpose of this article is to present my new proof of the the construction and the convergence theorem of spectral sequences of filtered complexes, which is much shorter and cleaner than the "standard" proof.


Defocus Blur Detection via Salient Region Detection Prior. Defocus blur always occurred in photos when people take photos by Digital Single Lens Reflex Camera(DSLR), giving salient region and aesthetic pleasure. Defocus blur Detection aims to separate the out of focus and depth of field areas in photos, which is an important work in computer vision. Current works for defocus blur detection mainly focus on the designing of networks, the optimizing of the loss function, and the application of multi stream strategy, meanwhile, these works do not pay attention to the shortage of training data. In this work, to address the above data shortage problem, we turn to rethink the relationship between two tasks defocus blur detection and salient region detection. In an image with bokeh effect, it is obvious that the salient region and the depth of field area overlap in most cases. So we first train our network on the salient region detection tasks, then transfer the pre trained model to the defocus blur detection tasks. Besides, we propose a novel network for defocus blur detection. Experiments show that our transfer strategy works well on many current models, and demonstrate the superiority of our network.


SARS CoV 2 and miRNA like inhibition power. (1) Background RNA viruses and especially coronaviruses could act inside host cells not only by building their own proteins, but also by perturbing the cell metabolism. We show the possibility of miRNA like inhibitions by the SARS CoV 2 concerning for example the hemoglobin and type I interferons syntheses, hence highly perturbing oxygen distribution in vital organs and immune response as described by clinicians (2) Methods We compare RNA subsequences of SARS CoV 2 protein S and RNA dependent RNA polymerase genes to mRNA sequences of beta globin and type I interferons (3) Results RNA subsequences longer than eight nucleotides from SARS CoV 2 genome could hybridize subsequences of the mRNA of beta globin and of type I interferons (4) Conclusions Beyond viral protein production, Covid 19 might affect vital processes like host oxygen transport and immune response.


A Note on the Trace Method for Random Regular Graphs. The main goal of this note is to illustrate the advantage of analyzing the non backtracking spectrum of a regular graph rather than the ordinary spectrum. We show that by switching to non backtracking spectrum, the method of proof used in Puder 2015, arXiv 1212.5216 yields a bound of 2 sqrt d 1 frac 2 sqrt d 1 instead of the original 2 sqrt d 1 1 on the second largest eigenvalue of a random d regular graph.


LLT cumulants of unicellular Young diagrams, parking functions and Schur positivity. We give a combinatorial formula for LLT cumulants of unicellular unilevelled shapes in terms of parking functions and Cayley trees. Our formula implies previously conjectured Schur positivity.


On the algebraic structure of quasi group codes. In this note, an intrinsic description of some families of linear codes with symmetries is given, showing that they can be described more generally as quasi group codes, that is, as linear codes allowing a group of permutation automorphisms which acts freely on the set of coordinates. An algebraic description, including the concatenated structure, of such codes is presented. This allows to construct quasi group codes from codes over rings, and vice versa. The last part of the paper is dedicated to the investigation of self duality of quasi group codes.


A Linux Kernel Scheduler Extension for Multi core Systems. The Linux kernel is mostly designed for multi programed environments, but high performance applications have other requirements. Such applications are run standalone, and usually rely on runtime systems to distribute the application's workload on worker threads, one per core. However, due to current OSes limitations, it is not feasible to track whether workers are actually running or blocked due to, for instance, a requested resource. For I O intensive applications, this leads to a significant performance degradation given that the core of a blocked thread becomes idle until it is able to run again. In this paper, we present the proof of concept of a Linux kernel extension denoted User Monitored Threads (UMT) which tackles this problem. Our extension allows a user space process to be notified of when the selected threads become blocked or unblocked, making it possible for a runtime to schedule additional work on the idle core. We implemented the extension on the Linux Kernel 5.1 and adapted the Nanos6 runtime of the OmpSs 2 programming model to take advantage of it. The whole prototype was tested on two applications which, on the tested hardware and the appropriate conditions, reported speedups of almost 2x.


Solvable Hypergroups and a Generalization of Hall's Theorems on Finite Solvable Groups to Association Schemes. We generalize Philip Hall's celebrated theorems on finite solvable groups to scheme theory. Our result is based on a series of results on hypergroups.


Are we there yet? Encoder decoder neural networks as cognitive models of English past tense inflection. The cognitive mechanisms needed to account for the English past tense have long been a subject of debate in linguistics and cognitive science. Neural network models were proposed early on, but were shown to have clear flaws. Recently, however, Kirov and Cotterell (2018) showed that modern encoder decoder (ED) models overcome many of these flaws. They also presented evidence that ED models demonstrate humanlike performance in a nonce word task. Here, we look more closely at the behaviour of their model in this task. We find that (1) the model exhibits instability across multiple simulations in terms of its correlation with human data, and (2) even when results are aggregated across simulations (treating each simulation as an individual human participant), the fit to the human data is not strong worse than an older rule based model. These findings hold up through several alternative training regimes and evaluation measures. Although other neural architectures might do better, we conclude that there is still insufficient evidence to claim that neural nets are a good cognitive model for this task.


Limit of a consistent approximation to the complete compressible Euler System. The goal of the present paper is to prove that if a weak limit of a consistent approximation scheme of compressible complete Euler system in the full space mathbb R d, d 2,3 is a weak solution of the system then eventually the approximate solutions converge strongly in suitable norms locally under a minimal assumption on the initial data of the approximate solutions. The class of consistent approximate solutions is quite general including the vanishing viscosity and heat conductivity limit. In particular, they may not satisfy the minimal principle for entropy.


Asymptotic estimates for the best uniform approximations of classes of convolution of periodic functions of high smoothness. We find two sides estimates for the best uniform approximations of classes of convolutions of 2 pi periodic functions from unit ball of the space L p, 1 le p infty, with fixed kernels, modules of Fourier coefficients of which satisfy the condition sum limits k n 1 infty psi(k) psi(n). In the case of sum limits k n 1 infty psi(k) o(1) psi(n) the obtained estimates become the asymptotic equalities.


Sample Efficient Training in Multi Agent Adversarial Games with Limited Teammate Communication. We describe our solution approach for Pommerman TeamRadio, a competition environment associated with NeurIPS 2019. The defining feature of our algorithm is achieving sample efficiency within a restrictive computational budget while beating the previous years learning agents. The proposed algorithm (i) uses imitation learning to seed the policy, (ii) explicitly defines the communication protocol between the two teammates, (iii) shapes the reward to provide a richer feedback signal to each agent during training and (iv) uses masking for catastrophic bad actions. We describe extensive tests against baselines, including those from the 2019 competition leaderboard, and also a specific investigation of the learned policy and the effect of each modification on performance. We show that the proposed approach is able to achieve competitive performance within half a million games of training, significantly faster than other studies in the literature.


The Hartogs extension phenomenon in toric varieties. We study the Hartogs extension phenomenon in non compact toric varieties and its relation to the first cohomology group with compact support. We show that a toric variety admits this phenomenon if at least one connected component of the fan complement is concave, proving by this an earlier conjecture M. Marciniak.


Training Speech Recognition Models with Federated Learning A Quality Cost Framework. We propose using federated learning, a decentralized on device learning paradigm, to train speech recognition models. By performing epochs of training on a per user basis, federated learning must incur the cost of dealing with non IID data distributions, which are expected to negatively affect the quality of the trained model. We propose a framework by which the degree of non IID ness can be varied, consequently illustrating a trade off between model quality and the computational cost of federated training, which we capture through a novel metric. Finally, we demonstrate that hyper parameter optimization and appropriate use of variational noise are sufficient to compensate for the quality impact of non IID distributions, while decreasing the cost.


Generating the spin mapping class group by Dehn twists. Let f be a Z 2Z spin structureon a closed surface S of genus g 3. We determine a generating set of the stabilizer of f in the mapping class group of S consisting of Dehn twists about an explicit collection of 2g 1 curves in S. If g 3 then we also determine a generating set of the stabilizer of an odd Z 2Z spin structure consisting of Dehn twists about a collection of 6 curves.


Addressing Purchase Impression Gap through a Sequential Re ranker. Large scale eCommerce platforms such as eBay carry a wide variety of inventory and provide several buying choices to online shoppers. It is critical for eCommerce search engines to showcase in the top results the variety and selection of inventory available, specifically in the context of the various buying intents that may be associated with a search query. Search rankers are most commonly powered by learning to rank models which learn the preference between items during training. However, they score items independent of other items at runtime. Although the items placed at top of the results by such scoring functions may be independently optimal, they can be sub optimal as a set. This may lead to a mismatch between the ideal distribution of items in the top results vs what is actually impressed. In this paper, we present methods to address the purchase impression gap observed in top search results on eCommerce sites. We establish the ideal distribution of items based on historic shopping patterns. We then present a sequential reranker that methodically reranks top search results produced by a conventional pointwise scoring ranker. The reranker produces a reordered list by sequentially selecting candidates trading off between their independent relevance and potential to address the purchase impression gap by utilizing specially constructed features that capture impression distribution of items already added to a reranked list. The sequential reranker enables addressing purchase impression gap with respect to multiple item aspects. Early version of the reranker showed promising lifts in conversion and engagement metrics at eBay. Based on experiments on randomly sampled validation datasets, we observe that the reranking methodology presented produces around 10 reduction in purchase impression gap at an average for the top 20 results, while making improvements to conversion metrics.


Understanding Incentivized Mobile App Installs on Google Play Store. "Incentivized" advertising platforms allow mobile app developers to acquire new users by directly paying users to install and engage with mobile apps (e.g., create an account, make in app purchases). Incentivized installs are banned by the Apple App Store and discouraged by the Google Play Store because they can manipulate app store metrics (e.g., install counts, appearance in top charts). Yet, many organizations still offer incentivized install services for Android apps. In this paper, we present the first study to understand the ecosystem of incentivized mobile app install campaigns in Android and its broader ramifications through a series of measurements. We identify incentivized install campaigns that require users to install an app and perform in app tasks targeting manipulation of a wide variety of user engagement metrics (e.g., daily active users, user session lengths) and revenue. Our results suggest that these artificially inflated metrics can be effective in improving app store metrics as well as helping mobile app developers to attract funding from venture capitalists. Our study also indicates lax enforcement of the Google Play Store's existing policies to prevent these behaviors. It further motivates the need for stricter policing of incentivized install campaigns. Our proposed measurements can also be leveraged by the Google Play Store to identify potential policy violations.


Multi Way Number Partitioning an Information Theoretic View. The number partitioning problem is the problem of partitioning a given list of numbers into multiple subsets so that the sum of the numbers in each subset are as nearly equal as possible. We introduce two closely related notions of the "most informative" and "most compressible" partitions. Most informative partitions satisfy a principle of optimality property. We also give an exact algorithm (based on Huffman coding) with a running time of O(nlog(n)) in input size n to find the most compressible partition.


Privacy Protection in Street View Panoramas using Depth and Multi View Imagery. The current paradigm in privacy protection in street view images is to detect and blur sensitive information. In this paper, we propose a framework that is an alternative to blurring, which automatically removes and inpaints moving objects (e.g. pedestrians, vehicles) in street view imagery. We propose a novel moving object segmentation algorithm exploiting consistencies in depth across multiple street view images that are later combined with the results of a segmentation network. The detected moving objects are removed and inpainted with information from other views, to obtain a realistic output image such that the moving object is not visible anymore. We evaluate our results on a dataset of 1000 images to obtain a peak noise to signal ratio (PSNR) and L1 loss of 27.2 dB and 2.5 , respectively. To ensure the subjective quality, To assess overall quality, we also report the results of a survey conducted on 35 professionals, asked to visually inspect the images whether object removal and inpainting had taken place. The inpainting dataset will be made publicly available for scientific benchmarking purposes at https research.cyclomedia.com


DAICS A Deep Learning Solution for Anomaly Detection in Industrial Control Systems. Deep Learning is emerging as an effective technique to detect sophisticated cyber attacks targeting Industrial Control Systems (ICSs). The conventional approach to detection in literature is to learn the "normal" behaviour of the system, to be then able to label noteworthy deviations from it as anomalies. However, during operations, ICSs inevitably and continuously evolve their behaviour, due to e.g., replacement of devices, workflow modifications, or other reasons. As a consequence, the accuracy of the anomaly detection process may be dramatically affected with a considerable amount of false alarms being generated. This paper presents DAICS, a novel deep learning framework with a modular design to fit in large ICSs. The key component of the framework is a 2 branch neural network that learns the changes in the ICS behaviour with a small number of data samples and a few gradient updates. This is supported by an automatic tuning mechanism of the detection threshold that takes into account the changes in the prediction error under normal operating conditions. In this regard, no specialised human intervention is needed to update the other parameters of the system. DAICS has been evaluated using publicly available datasets and shows an increased detection rate and accuracy compared to state of the art approaches, as well as higher robustness to additive noise.


The De democratization of AI Deep Learning and the Compute Divide in Artificial Intelligence Research. Increasingly, modern Artificial Intelligence (AI) research has become more computationally intensive. However, a growing concern is that due to unequal access to computing power, only certain firms and elite universities have advantages in modern AI research. Using a novel dataset of 171394 papers from 57 prestigious computer science conferences, we document that firms, in particular, large technology firms and elite universities have increased participation in major AI conferences since deep learning's unanticipated rise in 2012. The effect is concentrated among elite universities, which are ranked 1 50 in the QS World University Rankings. Further, we find two strategies through which firms increased their presence in AI research first, they have increased firm only publications and second, firms are collaborating primarily with elite universities. Consequently, this increased presence of firms and elite universities in AI research has crowded out mid tier (QS ranked 201 300) and lower tier (QS ranked 301 500) universities. To provide causal evidence that deep learning's unanticipated rise resulted in this divergence, we leverage the generalized synthetic control method, a data driven counterfactual estimator. Using machine learning based text analysis methods, we provide additional evidence that the divergence between these two groups large firms and non elite universities is driven by access to computing power or compute, which we term as the "compute divide". This compute divide between large firms and non elite universities increases concerns around bias and fairness within AI technology, and presents an obstacle towards "democratizing" AI. These results suggest that a lack of access to specialized equipment such as compute can de democratize knowledge production.


Biquadratic addition laws on elliptic curves in mathbb P 3 and the canonical map of the (1,2,2) Theta divisor. We recall that a smooth ample surface mathcal S in a general (1,2,2) polarized abelian threefold, which is the pullback of the Theta divisor of a smooth plane quartic curve mathcal D , is a surface isogenous to the product mathcal C times mathcal C , where mathcal C is a genus 9 curve embedded in mathbb P 3 as complete intersection of a smooth quadric and a smooth quartic. We show that the space of global holomorhic sections of the canonical bundle of this surface is generated by certain determinantal bihomogeneous polynomials of bidegree (2,2) on mathbb P 3 , which can be used to define biquadratic addition laws on the Jacobi model of elliptic curves, embedded in mathbb P 3 as complete intersection of two quadrics. Finally, we use this interesting relationship with the biquadratic addition laws to describe the behavior of the canonical map of mathcal S .


Pairwise Multi Class Document Classification for Semantic Relations between Wikipedia Articles. Many digital libraries recommend literature to their users considering the similarity between a query document and their repository. However, they often fail to distinguish what is the relationship that makes two documents alike. In this paper, we model the problem of finding the relationship between two documents as a pairwise document classification task. To find the semantic relation between documents, we apply a series of techniques, such as GloVe, Paragraph Vectors, BERT, and XLNet under different configurations (e.g., sequence length, vector concatenation scheme), including a Siamese architecture for the Transformer based systems. We perform our experiments on a newly proposed dataset of 32,168 Wikipedia article pairs and Wikidata properties that define the semantic document relations. Our results show vanilla BERT as the best performing system with an F1 score of 0.93, which we manually examine to better understand its applicability to other domains. Our findings suggest that classifying semantic relations between documents is a solvable task and motivates the development of recommender systems based on the evaluated techniques. The discussions in this paper serve as first steps in the exploration of documents through SPARQL like queries such that one could find documents that are similar in one aspect but dissimilar in another.


Sandwiching random regular graphs between binomial random graphs. Kim and Vu made the following conjecture (Advances in Mathematics, 2004) if d gg log n , then the random d regular graph G(n,d) can asymptotically almost surely be "sandwiched" between G(n,p 1) and G(n,p 2) where p 1 and p 2 are both (1 o(1))d n . They proved this conjecture for log n ll d le n 1 3 o(1) , with a defect in the sandwiching G(n,d) contains G(n,p 1) perfectly, but is not completely contained in G(n,p 2) . The embedding G(n,p 1) subseteq G(n,d) was improved by Dudek, Frieze, Ruci ' n ski and v S ileikis to d o(n) . In this paper, we prove Kim Vu's sandwich conjecture, with perfect containment on both sides, for all d gg n sqrt log n . For d O(n sqrt log n ) , we prove a weaker version of the sandwich conjecture with p 2 approximately equal to (d n) log n and without any defect. In addition to sandwiching random regular graphs, our results cover random graphs whose degrees are asymptotically equal. The proofs rely on estimates for the probability that a random factor of a pseudorandom graph contains a given edge, which is of independent interest. As applications, we obtain new results on the properties of random graphs with given near regular degree sequences, including the Hamiltonicity and the universality. We also determine several graph parameters in these random graphs, such as the chromatic number, the small subgraph counts, the diameter, and the independence number. We are also able to characterise many phase transitions in edge percolation on these random graphs, such as the threshold for the appearance of a giant component.


Homogeneous Liaison and the Sequentially Bounded Licci Property. In CI Liaison, significant effort has been made to study ideals that are in the linkage class of a complete intersection, which are called licci ideals. In a polynomial ring, recently E. Chong defined a "sequentially bounded" condition on the degrees of the forms generating the regular sequences, and used this condition to find a large class of licci ideals satisfying the Eisenbud Green Harris Conjecture (among them, grade 3 homogeneous Gorenstein ideals). He raised the question of whether all homogeneous licci ideals are sequentially bounded licci. In this paper we construct a class of examples that are homogeneously licci, but not sequentially bounded licci, thus answering his question in the negative. The structure of certain Betti tables plays a central role in our proof.


Reconfigurable Cyber Physical System for Lifestyle Video Monitoring via Deep Learning. Indoor monitoring of people at their homes has become a popular application in Smart Health. With the advances in Machine Learning and hardware for embedded devices, new distributed approaches for Cyber Physical Systems (CPSs) are enabled. Also, changing environments and need for cost reduction motivate novel reconfigurable CPS architectures. In this work, we propose an indoor monitoring reconfigurable CPS that uses embedded local nodes (Nvidia Jetson TX2). We embed Deep Learning architectures to address Human Action Recognition. Local processing at these nodes let us tackle some common issues reduction of data bandwidth usage and preservation of privacy (no raw images are transmitted). Also real time processing is facilitated since optimized nodes compute only its local video feed. Regarding the reconfiguration, a remote platform monitors CPS qualities and a Quality and Resource Management (QRM) tool sends commands to the CPS core to trigger its reconfiguration. Our proposal is an energy aware system that triggers reconfiguration based on energy consumption for battery powered nodes. Reconfiguration reduces up to 22 the local nodes energy consumption extending the device operating time, preserving similar accuracy with respect to the alternative with no reconfiguration.


Unitriangular Shape of Decomposition Matrices of Unipotent Blocks. We show that the decomposition matrix of unipotent ell blocks of a finite reductive group mathbf G ( mathbb F q) has a unitriangular shape, assuming q is a power of a good prime and ell is very good for mathbf G . This was conjectured by Geck in 1990 as part of his PhD thesis. We establish this result by constructing projective modules using a modification of generalised Gelfand Graev characters introduced by Kawanaka. We prove that each such character has at most one unipotent constituent which occurs with multiplicity one. This establishes a 30 year old conjecture of Kawanaka.


Joint Deep Learning of Facial Expression Synthesis and Recognition. Recently, deep learning based facial expression recognition (FER) methods have attracted considerable attention and they usually require large scale labelled training data. Nonetheless, the publicly available facial expression databases typically contain a small amount of labelled data. In this paper, to overcome the above issue, we propose a novel joint deep learning of facial expression synthesis and recognition method for effective FER. More specifically, the proposed method involves a two stage learning procedure. Firstly, a facial expression synthesis generative adversarial network (FESGAN) is pre trained to generate facial images with different facial expressions. To increase the diversity of the training images, FESGAN is elaborately designed to generate images with new identities from a prior distribution. Secondly, an expression recognition network is jointly learned with the pre trained FESGAN in a unified framework. In particular, the classification loss computed from the recognition network is used to simultaneously optimize the performance of both the recognition network and the generator of FESGAN. Moreover, in order to alleviate the problem of data bias between the real images and the synthetic images, we propose an intra class loss with a novel real data guided back propagation (RDBP) algorithm to reduce the intra class variations of images from the same class, which can significantly improve the final performance. Extensive experimental results on public facial expression databases demonstrate the superiority of the proposed method compared with several state of the art FER methods.


First Order Concatenation Theory with Bounded Quantifiers. We study first order concatenation theory with bounded quantifiers. We give axiomatizations with interesting properties, and we prove some normal form results. Finally, we prove a number of decidability and undecidability results.


Many body calculations of two photon, two color matrix elements for attosecond delays. We present calculations for attosecond atomic delays in photoionization of noble gas atoms based on full two color two photon Random Phase Approximation with Exchange in both length and velocity gauge. Gauge invariant atomic delays are demonstrated for the complete set of diagrams. The results are used to investigate the validity of the common assumption that the measured atomic delays can be interpreted as a one photon Wigner delay and a universal continuum continuum contribution that depends only on the kinetic energy of the photoelectron, the laser frequency and the charge of the remaining ion, but not on the specific atom or the orbital from which the electron is ionized. Here we find that although effects beyond the universal IR photoelectron continuum continuum transitions are rare, they do occur in special cases such as around the 3s Cooper minimum in argon. We conclude also that in general the convergence in terms of many body diagrams is considerably faster in length gauge than in velocity gauge.


Homogenization of a reaction diffusion advection problem in an evolving micro domain and including nonlinear boundary conditions. We consider a reaction diffusion advection problem in a perforated medium, with nonlinear reactions in the bulk and at the microscopic boundary, and low diffusion scaling. The microstructure changes in time the microstructural evolution is known a priori. The aim of the paper is the rigorous derivation of a homogenized model. We use appropriately scaled function spaces, which allow us to show compactness results, especially regarding the time derivative and we prove strong two scale compactness results of Kolmogorov Simon type, which allow to pass to the limit in the nonlinear terms. The derived macroscopic model depends on the micro and the macro variable, and the evolution of the underlying microstructure is approximated by time and space dependent reference elements.


Fast integral equation methods for linear and semilinear heat equations in moving domains. We present a family of integral equation based solvers for the linear or semilinear heat equation in complicated moving (or stationary) geometries. This approach has significant advantages over more standard finite element or finite difference methods in terms of accuracy, stability and space time adaptivity. In order to be practical, however, a number of technical capabilites are required fast algorithms for the evaluation of heat potentials, high order accurate quadratures for singular and weakly integrals over space time domains, and robust automatic mesh refinement and coarsening capabilities. We describe all of these components and illustrate the performance of the approach with numerical examples in two space dimensions.


Deep Spectral CNN for Laser Induced Breakdown Spectroscopy. This work proposes a spectral convolutional neural network (CNN) operating on laser induced breakdown spectroscopy (LIBS) signals to learn to (1) disentangle spectral signals from the sources of sensor uncertainty (i.e., pre process) and (2) get qualitative and quantitative measures of chemical content of a sample given a spectral signal (i.e., calibrate). Once the spectral CNN is trained, it can accomplish either task through a single feed forward pass, with real time benefits and without any additional side information requirements including dark current, system response, temperature and detector to target range. Our experiments demonstrate that the proposed method outperforms the existing approaches used by the Mars Science Lab for pre processing and calibration for remote sensing observations from the Mars rover, 'Curiosity'.


DC Optimal Power Flow with Joint Chance Constraints. Managing uncertainty and variability in power injections has become a major concern for power system operators due to the increasing levels of fluctuating renewable energy connected to the grid. This work addresses this uncertainty via a joint chance constrained formulation of the DC optimal power flow (OPF) problem, which satisfies emph all the constraints emph jointly with a pre determined probability. The few existing approaches for solving joint chance constrained OPF problems are typically either computationally intractable for large scale problems or give overly conservative solutions that satisfy the constraints far more often than required, resulting in excessively costly operation. This paper proposes an algorithm for solving joint chance constrained DC OPF problems by adopting an S ell 1 QP type trust region algorithm. This algorithm uses a sample based approach that avoids making strong assumptions on the distribution of the uncertainties, scales favorably to large problems, and can be tuned to obtain less conservative results. We illustrate the performance of our method using several IEEE test cases. The results demonstrate the proposed algorithm's advantages in computational times and limited conservativeness of the solutions relative to other joint chance constrained DC OPF algorithms.


Neural Duplicate Question Detection without Labeled Training Data. Supervised training of neural models to duplicate question detection in community Question Answering (cQA) requires large amounts of labeled question pairs, which are costly to obtain. To minimize this cost, recent works thus often used alternative methods, e.g., adversarial domain adaptation. In this work, we propose two novel methods (1) the automatic generation of duplicate questions, and (2) weak supervision using the title and body of a question. We show that both can achieve improved performances even though they do not require any labeled data. We provide comprehensive comparisons of popular training strategies, which provides important insights on how to best train models in different scenarios. We show that our proposed approaches are more effective in many cases because they can utilize larger amounts of unlabeled data from cQA forums. Finally, we also show that our proposed approach for weak supervision with question title and body information is also an effective method to train cQA answer selection models without direct answer supervision.


Deducing Flux from Single Point Temperature History when Relative Spatial Variation of Flux is Prescribed. Surface heat transfer in convective and radiative environments is sometimes measured by recording the surface temperature history in a transient experiment and interpreting this surface temperature with the aid of a suitable model for transient conduction within the substrate. The semi infinite one dimensional model is often adopted, and several well developed techniques for application of this model to surface temperature data are available. However, when a spatial variation of heat flux exists across the surface, the application of the semi infinite one dimensional approach may not always be a reasonable approximation. In this paper we introduce a method for treatment of the measured surface temperature history that is more accurate than the semi infinite one dimensional approximation when substrate lateral conduction is significant and the relative spatial distribution of the flux is known a priori. This new method uses the so called textit Neumann heat kernel , which evolves a temperature over an insulated domain with unit energy initially deposited at a specified point. A useful impulse response function is formed by integrating this Neumann heat kernel against the spatial variation of flux over the surface of the domain. Neumann heat kernels are constructed for the solid box, cylinder, and sphere. By applying the heat kernel result for the sphere to the analysis of a convective experiment using hemispherical nosed probes, we demonstrate how the theoretical results enhance the practical analysis of transient surface temperature measurements. The current approach is superior to former methods relying on semi empirical approximations because the multi dimensional heat conduction within the substrate is modelled with greater fidelity using the heat kernel analysis.


Temporal X ray Reconstruction using Temporal and Spectral Measurements at LCLS. Transverse deflecting structures (TDS) are widely used in accelerator physics to measure the longitudinal density of particle bunches. When used in combination with a dispersive section, the whole longitudinal phase space density can be imaged. At the Linac Coherent Light Source (LCLS), the installation of such a device downstream of the undulators enables the reconstruction of the X ray temporal intensity profile by comparing longitudinal phase space distributions with lasing on and lasing off. However, the resolution of this TDS is limited to around 1 fs rms (root mean square), and therefore, it is not possible to resolve single self amplified spontaneous emission (SASE) spikes within one X ray photon pulse. By combining the power spectrum from a high resolution photon spectrometer and the temporal structure from the TDS, the overall resolution is enhanced, thus allowing the observation of temporal, single SASE spikes. The combined data from the spectrometer and the TDS is analyzed using an iterative algorithm to obtain the actual intensity profile. In this paper, we present some improvements to the reconstruction algorithm as well as real data taken at LCLS.


New Uniform Bounds for Almost Lossless Analog Compression. Wu and Verd 'u developed a theory of almost lossless analog compression, where one imposes various regularity conditions on the compressor and the decompressor with the input signal being modelled by a (typically infinite entropy) stationary stochastic process. In this work we consider all stationary stochastic processes with trajectories in a prescribed set mathcal S subset 0,1 mathbb Z of (bi)infinite sequences and find uniform lower and upper bounds for certain compression rates in terms of metric mean dimension and mean box dimension. An essential tool is the recent Lindenstrauss Tsukamoto variational principle expressing metric mean dimension in terms of rate distortion functions.


Course Concept Expansion in MOOCs with External Knowledge and Interactive Game. As Massive Open Online Courses (MOOCs) become increasingly popular, it is promising to automatically provide extracurricular knowledge for MOOC users. Suffering from semantic drifts and lack of knowledge guidance, existing methods can not effectively expand course concepts in complex MOOC environments. In this paper, we first build a novel boundary during searching for new concepts via external knowledge base and then utilize heterogeneous features to verify the high quality results. In addition, to involve human efforts in our model, we design an interactive optimization mechanism based on a game. Our experiments on the four datasets from Coursera and XuetangX show that the proposed method achieves significant improvements( 0.19 by MAP) over existing methods. The source code and datasets have been published.


Individual Tooth Detection and Identification from Dental Panoramic X Ray Images via Point wise Localization and Distance Regularization. Dental panoramic X ray imaging is a popular diagnostic method owing to its very small dose of radiation. For an automated computer aided diagnosis system in dental clinics, automatic detection and identification of individual teeth from panoramic X ray images are critical prerequisites. In this study, we propose a point wise tooth localization neural network by introducing a spatial distance regularization loss. The proposed network initially performs center point regression for all the anatomical teeth (i.e., 32 points), which automatically identifies each tooth. A novel distance regularization penalty is employed on the 32 points by considering L 2 regularization loss of Laplacian on spatial distances. Subsequently, teeth boxes are individually localized using a cascaded neural network on a patch basis. A multitask offset training is employed on the final output to improve the localization accuracy. Our method successfully localizes not only the existing teeth but also missing teeth consequently, highly accurate detection and identification are achieved. The experimental results demonstrate that the proposed algorithm outperforms state of the art approaches by increasing the average precision of teeth detection by 15.71 compared to the best performing method. The accuracy of identification achieved a precision of 0.997 and recall value of 0.972. Moreover, the proposed network does not require any additional identification algorithm owing to the preceding regression of the fixed 32 points regardless of the existence of the teeth.


PointLoc Deep Pose Regressor for LiDAR Point Cloud Localization. In this paper, we present a novel end to end learning based LiDAR relocalization framework, termed PointLoc, which infers 6 DoF poses directly using only a single point cloud as input, without requiring a pre built map. Compared to RGB image based relocalization, LiDAR frames can provide rich and robust geometric information about a scene. However, LiDAR point clouds are unordered and unstructured making it difficult to apply traditional deep learning regression models for this task. We address this issue by proposing a novel PointNet style architecture with self attention to efficiently estimate 6 DoF poses from 360 deg LiDAR input frames.Extensive experiments on recently released challenging Oxford Radar RobotCar dataset and real world robot experiments demonstrate that the proposedmethod can achieve accurate relocalization performance.


Applied Category Theory for Genomics An Initiative. The ultimate secret of all lives on earth is hidden in their genomes a totality of DNA sequences. We currently know the whole genome sequence of many organisms, while our understanding of the genome architecture on a systematic level remains rudimentary. Applied category theory opens a promising way to integrate the humongous amount of heterogeneous informations in genomics, to advance our knowledge regarding genome organization, and to provide us with a deep and holistic view of our own genomes. In this work we explain why applied category theory carries such a hope, and we move on to show how it could actually do so, albeit in baby steps. The manuscript intends to be readable to both mathematicians and biologists, therefore no prior knowledge is required from either side.


Energy aware Scheduling of Jobs in Heterogeneous Cluster Systems Using Deep Reinforcement Learning. Energy consumption is one of the most critical concerns in designing computing devices, ranging from portable embedded systems to computer cluster systems. Furthermore, in the past decade, cluster systems have increasingly risen as popular platforms to run computing intensive real time applications in which the performance is of great importance. However, due to different characteristics of real time workloads, developing general job scheduling solutions that efficiently address both energy consumption and performance in real time cluster systems is a challenging problem. In this paper, inspired by recent advances in applying deep reinforcement learning for resource management problems, we present the Deep EAS scheduler that learns efficient energy aware scheduling strategies for workloads with different characteristics without initially knowing anything about the scheduling task at hand. Results show that Deep EAS converges quickly, and performs better compared to standard manually tuned heuristics, especially in heavy load conditions.


Time warping invariants of multidimensional time series. In data science, one is often confronted with a time series representing measurements of some quantity of interest. Usually, as a first step, features of the time series need to be extracted. These are numerical quantities that aim to succinctly describe the data and to dampen the influence of noise. In some applications, these features are also required to satisfy some invariance properties. In this paper, we concentrate on time warping invariants. We show that these correspond to a certain family of iterated sums of the increments of the time series, known as quasisymmetric functions in the mathematics literature. We present these invariant features in an algebraic framework, and we develop some of their basic properties.


Does Data Augmentation Benefit from Split BatchNorms. Data augmentation has emerged as a powerful technique for improving the performance of deep neural networks and led to state of the art results in computer vision. However, state of the art data augmentation strongly distorts training images, leading to a disparity between examples seen during training and inference. In this work, we explore a recently proposed training paradigm in order to correct for this disparity using an auxiliary BatchNorm for the potentially out of distribution, strongly augmented images. Our experiments then focus on how to define the BatchNorm parameters that are used at evaluation. To eliminate the train test disparity, we experiment with using the batch statistics defined by clean training images only, yet surprisingly find that this does not yield improvements in model performance. Instead, we investigate using BatchNorm parameters defined by weak augmentations and find that this method significantly improves the performance of common image classification benchmarks such as CIFAR 10, CIFAR 100, and ImageNet. We then explore a fundamental trade off between accuracy and robustness coming from using different BatchNorm parameters, providing greater insight into the benefits of data augmentation on model performance.


Singular integrals on regular curves in the Heisenberg group. Let mathbb H be the first Heisenberg group, and let k in C infty ( mathbb H , setminus , 0 ) be a kernel which is either odd or horizontally odd, and satisfies nabla mathbb H n k(p) leq C n p 1 n , qquad p in mathbb H , setminus , 0 , , n geq 0. The simplest examples include certain Riesz type kernels first considered by Chousionis and Mattila, and the horizontally odd kernel k(p) nabla mathbb H log p . We prove that convolution with k , as above, yields an L 2 bounded operator on regular curves in mathbb H . This extends a theorem of G. David to the Heisenberg group. As a corollary of our main result, we infer that all 3 dimensional horizontally odd kernels yield L 2 bounded operators on Lipschitz flags in mathbb H . This was known earlier for only one specific operator, the 3 dimensional Riesz transform. Finally, our technique yields new results on certain non negative kernels, introduced by Chousionis and Li.


A H "olderian backtracking method for min max and min min problems. We present a new algorithm to solve min max or min min problems out of the convex world. We use rigidity assumptions, ubiquitous in learning, making our method applicable to many optimization problems. Our approach takes advantage of hidden regularity properties and allows us to devise a simple algorithm of ridge type. An original feature of our method is to come with automatic step size adaptation which departs from the usual overly cautious backtracking methods. In a general framework, we provide convergence theoretical guarantees and rates. We apply our findings on simple GAN problems obtaining promising numerical results.


Scattering theory for nls with inverse square potential in 2d. In this paper, we study the long time behavior of the solution of nonlinear Schr "odinger equation with a singular potential. We prove scattering below the ground state for the radial NLS with inverse square potential in dimension two iu t Delta u frac a u x 2 u pu when 2 p infty and a 0 . This work extends the result in 13, 14, 16 to dimension 2D. The key point is a modified version of Arora Dodson Murphy's approach 2 .


Governance Autonomy Towards a Governance based Analysis of Autonomy in Cyber Physical Systems of Systems. One of the main challenges in integrating Cyber Physical System of Systems (CPSoS) to function as a single unified system is the autonomy of its Cyber Physical Systems (CPSs), which may lead to a lack of coordination among CPSs and results in various kinds of conflicts. We advocate that to efficiently integrate CPSs within the CPSoS, we may need to adjust the autonomy of some CPSs in a way that allows them to coordinate their activities to avoid any potential conflict among one another. To achieve that, we need to incorporate the notion of governance within the design of CPSoS, which defines rules that can be used for clearly specifying who and how can adjust the autonomy of a CPS. In this paper, we try to tackle this problem by proposing a new conceptual model that can be used for performing a governance based analysis of autonomy for CPSs within CPSoS. We illustrate the utility of the model with an example from the automotive domain.


The dynamics of opinion expression. Modelling efforts in opinion dynamics have to a large extent ignored that opinion exchange between individuals can also have an effect on how willing they are to express their opinion publicly. Here, we introduce a model of public opinion expression. Two groups of agents with different opinion on an issue interact with each other, changing the willingness to express their opinion according to whether they perceive themselves as part of the majority or minority opinion. We formulate the model as a multi group majority game and investigate the Nash equilibria. We also provide a dynamical systems perspective Using the reinforcement learning algorithm of Q learning, we reduce the N agent system in a mean field approach to two dimensions which represent the two opinion groups. This two dimensional system is analyzed in a comprehensive bifurcation analysis of its parameters. The model identifies social structural conditions for public opinion predominance of different groups. Among other findings, we show under which circumstances a minority can dominate public discourse.


Diagnosing and Preventing Instabilities in Recurrent Video Processing. Recurrent models are becoming a popular choice for video enhancement tasks such as video denoising. In this work, we focus on their stability as dynamical systems and show that they tend to fail catastrophically at inference time on long video sequences. To address this issue, we (1) introduce a diagnostic tool which produces adversarial input sequences optimized to trigger instabilities and that can be interpreted as visualizations of spatio temporal receptive fields, and (2) propose two approaches to enforce the stability of a model constraining the spectral norm or constraining the stable rank of its convolutional layers. We then introduce Stable Rank Normalization of the Layers (SRNL), a new algorithm that enforces these constraints, and verify experimentally that it successfully results in stable recurrent video processing.


Manifold constrained non uniformly elliptic problems. We consider the problem of minimizing variational integrals defined on cc nonlinear Sobolev spaces of competitors taking values into the sphere. The main novelty is that the underlying energy features a non uniformly elliptic integrand exhibiting different polynomial growth conditions and no homogeneity. We develop a few intrinsic methods aimed at proving partial regularity of minima and providing techniques for treating larger classes of similar constrained non uniformly elliptic variational problems. In order to give estimates for the singular sets we use a general family of Hausdorff type measures following the local geometry of the integrand. A suitable comparison is provided with respect to the naturally associated capacities.


Combinatorics of antiprism triangulations. The antiprism triangulation provides a natural way to subdivide a simplicial complex Delta , similar to barycentric subdivision, which appeared independently in combinatorial algebraic topology and computer science. It can be defined as the simplicial complex of chains of multi pointed faces of Delta , from a combinatorial point of view, and by successively applying the antiprism construction, or balanced stellar subdivisions, on the faces of Delta , from a geometric point of view. This paper studies enumerative invariants associated to this triangulation, such as the transformation of the h vector of Delta under antiprism triangulation, and algebraic properties of its Stanley Reisner ring. Among other results, it is shown that the h polynomial of the antiprism triangulation of a simplex is real rooted and that the antiprism triangulation of Delta has the almost strong Lefschetz property over mathbb R for every shellable complex Delta . Several related open problems are discussed.


Causality and deceit Do androids watch action movies?. We seek causes through science, religion, and in everyday life. We get excited when a big rock causes a big splash, and we get scared when it tumbles without a cause. But our causal cognition is usually biased. The 'why' is influenced by the 'who'. It is influenced by the 'self', and by 'others'. We share rituals, we watch action movies, and we influence each other to believe in the same causes. Human mind is packed with subjectivity because shared cognitive biases bring us together. But they also make us vulnerable. An artificial mind is deemed to be more objective than the human mind. After many years of science fiction fantasies about even minded androids, they are now sold as personal or expert assistants, as brand advocates, as policy or candidate supporters, as network influencers. Artificial agents have been stunningly successful in disseminating artificial causal beliefs among humans. As malicious artificial agents continue to manipulate human cognitive biases, and deceive human communities into ostensive but expansive causal illusions, the hope for defending us has been vested into developing benevolent artificial agents, tasked with preventing and mitigating cognitive distortions inflicted upon us by their malicious cousins. Can the distortions of human causal cognition be corrected on a more solid foundation of artificial causal cognition? In the present paper, we study a simple model of causal cognition, viewed as a quest for causal models. We show that, under very mild and hard to avoid assumptions, there are always self confirming causal models, which perpetrate self deception, and seem to preclude a royal road to objectivity.


On three variable expanders over finite valuation rings. Let mathcal R be a finite valuation ring of order q r . In this paper, we prove that for any quadratic polynomial f(x,y,z) in mathcal R x,y,z that is of the form axy R(x) S(y) T(z) for some one variable polynomials R, S , T , we have f(A,B,C) gg min left q r, frac A B C q 2r 1 right for any A, B, C subset mathcal R . We also study the sum product type problems over finite valuation ring mathcal R . More precisely, we show that for any A subset mathcal R with A gg q r 1 3 then max A cdot A , A d A d , max A A , A 2 A 2 , max A A , AA AA gg A 2 3 q r 3 , and f(A) A gg A 2 3 q r 3 for any one variable quadratic polynomial f .


On the iterative solution of systems of the form A T A x A Tb c . Given a full column rank matrix A in mathbb R m times n ( m geq n ), we consider a special class of linear systems of the form A top Ax A top b c with x, c in mathbb R n and b in mathbb R m . The occurrence of c in the right hand side of the equation prevents the direct application of standard methods for least squares problems. Hence, we investigate alternative solution methods that, as in the case of normal equations, take advantage of the peculiar structure of the system to avoid unstable computations, such as forming A top A explicitly. We propose two iterative methods that are based on specific reformulations of the problem and we provide explicit closed formulas for the structured condition number related to each problem. These formula allow us to compute a more accurate estimate of the forward error than the standard one used for generic linear systems, that does not take into account the structure of the perturbations. The relevance of our estimates is shown on a set of synthetic test problems. Numerical experiments highlight both the increased robustness and accuracy of the proposed methods compared to the standard conjugate gradient method. It is also found that the new methods can compare to standard direct methods in terms of solution accuracy.


Improvement of Converter Surface Plasma Sources. A large volume surface plasma source (SPS) with a biased converter was developed for the Los Alamos linear accelerator. A large gas discharge chamber with a multipole magnetic wall and 2 heated cathodes can support a discharge generating plasma. A cooled converter with a diameter of 5 cm and a potential of up to 300 V bombarded by positive ions and emits secondary negative ions, accelerates them and focuses in an emission aperture with a diameter of 6.4 mm. From this SPS, up to 18 mA of H ions are extracted at a duty cycle of up to 10 . The emitted H beam current is attenuated through H destruction in thick layer of gas and discharge plasma. The H beam intensity and H generation efficiency can be increased by decreasing the gas and plasma layer thickness between the converter surface and the emission aperture. It is possible to improve beam characteristics by making a small modification to the converted SPS. We propose to use a thin Penning discharge in front of the converter. The magnetic field for the Penning discharge is created by permanent magnets. Decreasing the plasma end gas layer between the converter and the emission aperture can decrease the H beam loss and thus increase the extracted beam intensity up to 2 times


A Parameter Choice Rule for Tikhonov Regularization Based on Predictive Risk. In this work, we propose a new criterion for choosing the regularization parameter in Tikhonov regularization when the noise is white Gaussian. The criterion minimizes a lower bound of the predictive risk, when both data norm and noise variance are known, and the parameter choice involves minimizing a function whose solution depends only on the signal to noise ratio. Moreover, when neither noise variance nor data norm is given, we propose an iterative algorithm which alternates between a minimization step of finding the regularization parameter and an estimation step of estimating signal to noise ratio. Simulation studies on both small and large scale datasets suggest that the approach can provide very accurate and stable regularized inverse solutions and, for small sized samples, it outperforms discrepancy principle, balancing principle, unbiased predictive risk estimator, L curve method generalized cross validation, and quasi optimality criterion, and achieves excellent stability hitherto unavailable.


C2F FWN Coarse to Fine Flow Warping Network for Spatial Temporal Consistent Motion Transfer. Human video motion transfer (HVMT) aims to synthesize videos that one person imitates other persons' actions. Although existing GAN based HVMT methods have achieved great success, they either fail to preserve appearance details due to the loss of spatial consistency between synthesized and exemplary images, or generate incoherent video results due to the lack of temporal consistency among video frames. In this paper, we propose Coarse to Fine Flow Warping Network (C2F FWN) for spatial temporal consistent HVMT. Particularly, C2F FWN utilizes coarse to fine flow warping and Layout Constrained Deformable Convolution (LC DConv) to improve spatial consistency, and employs Flow Temporal Consistency (FTC) Loss to enhance temporal consistency. In addition, provided with multi source appearance inputs, C2F FWN can support appearance attribute editing with great flexibility and efficiency. Besides public datasets, we also collected a large scale HVMT dataset named SoloDance for evaluation. Extensive experiments conducted on our SoloDance dataset and the iPER dataset show that our approach outperforms state of art HVMT methods in terms of both spatial and temporal consistency. Source code and the SoloDance dataset are available at https github.com wswdx C2F FWN.


Learning Densities in Feature Space for Reliable Segmentation of Indoor Scenes. Deep learning has enabled remarkable advances in scene understanding, particularly in semantic segmentation tasks. Yet, current state of the art approaches are limited to a closed set of classes, and fail when facing novel elements, also known as out of distribution (OoD) data. This is a problem as autonomous agents will inevitably come across a wide range of objects, all of which cannot be included during training. We propose a novel method to distinguish any object (foreground) from empty building structure (background) in indoor environments. We use normalizing flow to estimate the probability distribution of high dimensional background descriptors. Foreground objects are therefore detected as areas in an image for which the descriptors are unlikely given the background distribution. As our method does not explicitly learn the representation of individual objects, its performance generalizes well outside of the training examples. Our model results in an innovative solution to reliably segment foreground from background in indoor scenes, which opens the way to a safer deployment of robots in human environments.


A characterization for graphs having strong parity factors. A graph G has the emph strong parity property if for every subset X subseteq V with X even, G has a spanning subgraph F with minimum degree at least one such that d F(v) equiv 1 pmod 2 for all v in X , d F(y) equiv 0 pmod 2 for all y in V(G) X . Bujt 'as, Jendrol and Tuza (On specific factors in graphs, emph Graphs and Combin. , 36 (2020), 1391 1399.) introduced the concept and conjectured that every 2 edge connected graph with minimum degree at least three has the strong parity property. In this paper, we give a characterization for graphs to have the strong parity property and construct a counterexample to disprove the conjecture proposed by Bujt 'as, Jendrol and Tuza.


Strata of differentials of the second kind, positivity and irreducibility of certain Hurwitz spaces. We consider two applications of the strata of differentials of the second kind (all residues equal to zero) with fixed multiplicities of zeros and poles Positivity In genus g 0 we show any associated divisorial projection to overline mathcal M 0,n is F nef and hence conjectured to be nef. We compute the class for all genus when the divisorial projection forgets only simple zeros and show in these cases the genus g 0 projections are indeed nef. Hurwitz spaces We show the Hurwitz spaces of degree d , genus g covers of mathbb P 1 with pure branching (one ramified point over the branch point) at all but possibly one branch point are irreducible if there are at least 3g d 1 simple branch points or d 3 simple branch points when g 0 .


Interaction Between Beams and Vacuum System Walls. In modern high intensity accelerators, the circulating beam interacts in many ways with the vacuum beam pipe, causing a variety of different phenomena. Most of them have been discussed at length in other contributions to this CAS report. I concentrate here on the effects associated with the presence of electrons in the accelerator beam pipes. Low energy electrons in accelerators are known to interact with the circulating beam, giving raise to the formation of a so called e cloud. e cloud effects can be detrimental to beam quality and stability, especially for positively charged beams. I will first describe the origin and the basic features causing e cloud formation in accelerators, which depend not only on the beam properties but mainly on the vacuum vessel surface properties. Such material properties and the way one can study them will be here briefly presented. Finally, some of the e cloud mitigation strategies adopted and proposed so far will be described and discussed.


Polynomial time proofs that groups are hyperbolic. It is undecidable in general whether a given finitely presented group is word hyperbolic. We use the concept of pregroups, introduced by Stallings, to define a new class of van Kampen diagrams, which represent groups as quotients of virtually free groups. We then present a polynomial time procedure which analyses these diagrams, and either returns an explicit linear Dehn function for the presentation, or returns fail, together with its reasons for failure. Furthermore, if our procedure succeeds we are often able to produce in polynomial time a word problem solver for the presentation that runs in linear time. Our algorithms have been implemented, and are often many orders of magnitude faster than KBMAG, the only comparable publicly available software.


Gabor Functional Multiplier in the Higher Dimensions. For two given full rank lattices mathcal L A mathbb Z d and mathcal K B mathbb Z d in mathbf R d , where A and B are nonsingular real d times d matrices, a function g( bf t ) in L 2( mathbf R d) is called a Parseval Gabor frame generator if sum bf l , bf k in mathbb Z d langle f, e 2 pi i langle B bf k , bf t rangle g( bf t A bf l ) rangle 2 f 2 holds for any f( bf t ) in L 2( mathbf R d) . It is known that Parseval Gabor frame generators exist if and only if det(AB) le 1 . A function h in L infty ( mathbf R d) is called a functional Gabor frame multiplier if it has the property that hg is a Parseval Gabor frame generator for L 2( mathbf R d) whenever g is. It is conjectured that an if and only if condition for a function h in L infty ( mathbf R d) to be a functional Gabor frame multiplier is that h must be unimodular and h( bf x ) overline h( bf x (B T) 1 bf k ) h( bf x A bf l ) overline h( bf x A bf l (B T) 1 bf k ) , forall bf x in mathbf R d em a.e. for any bf l , bf k in mathbb Z d , bf k not bf 0 . The if part of this conjecture is true and can be proven easily, however the only if part of the conjecture has only been proven in the one dimensional case to this date. In this paper we prove that the only if part of the conjecture holds in the two dimensional case.


'A Modern Up To Date Laptop' Vagueness in Natural Language Queries for Product Search. With the rise of voice assistants and an increase in mobile search usage, natural language has become an important query language. So far, most of the current systems are not able to process these queries because of the vagueness and ambiguity in natural language. Users have adapted their query formulation to what they think the search engine is capable of, which adds to their cognitive burden. With our research, we contribute to the design of interactive search systems by investigating the genuine information need in a product search scenario. In a crowd sourcing experiment, we collected 132 information needs in natural language. We examine the vagueness of the formulations and their match to retailer generated content and user generated product reviews. Our findings reveal high variance on the level of vagueness and the potential of user reviews as a source for supporting users with rather vague search intents.


DeFraudNet End2End Fingerprint Spoof Detection using Patch Level Attention. In recent years, fingerprint recognition systems have made remarkable advancements in the field of biometric security as it plays an important role in personal, national and global security. In spite of all these notable advancements, the fingerprint recognition technology is still susceptible to spoof attacks which can significantly jeopardize the user security. The cross sensor and cross material spoof detection still pose a challenge with a myriad of spoof materials emerging every day, compromising sensor interoperability and robustness. This paper proposes a novel method for fingerprint spoof detection using both global and local fingerprint feature descriptors. These descriptors are extracted using DenseNet which significantly improves cross sensor, cross material and cross dataset performance. A novel patch attention network is used for finding the most discriminative patches and also for network fusion. We evaluate our method on four publicly available datasets LivDet 2011, 2013, 2015 and 2017. A set of comprehensive experiments are carried out to evaluate cross sensor, cross material and cross dataset performance over these datasets. The proposed approach achieves an average accuracy of 99.52 , 99.16 and 99.72 on LivDet 2017,2015 and 2011 respectively outperforming the current state of the art results by 3 and 4 for LivDet 2015 and 2011 respectively.


Hybrid Text Feature Modeling for Disease Group Prediction using Unstructured Physician Notes. Existing Clinical Decision Support Systems (CDSSs) largely depend on the availability of structured patient data and Electronic Health Records (EHRs) to aid caregivers. However, in case of hospitals in developing countries, structured patient data formats are not widely adopted, where medical professionals still rely on clinical notes in the form of unstructured text. Such unstructured clinical notes recorded by medical personnel can also be a potential source of rich patient specific information which can be leveraged to build CDSSs, even for hospitals in developing countries. If such unstructured clinical text can be used, the manual and time consuming process of EHR generation will no longer be required, with huge person hours and cost savings. In this paper, we propose a generic ICD9 disease group prediction CDSS built on unstructured physician notes modeled using hybrid word embeddings. These word embeddings are used to train a deep neural network for effectively predicting ICD9 disease groups. Experimental evaluation showed that the proposed approach outperformed the state of the art disease group prediction model built on structured EHRs by 15 in terms of AUROC and 40 in terms of AUPRC, thus proving our hypothesis and eliminating dependency on availability of structured patient data.


Level one Weyl modules for toroidal Lie algebras. We identify level one global Weyl modules for toroidal Lie algebras with certain twists of modules constructed by Moody Eswara Rao Yokonuma via vertex operators for type ADE and by Iohara Saito Wakimoto and Eswara Rao for general type. The twist is given by an action of mathrm SL 2 ( mathbb Z ) on the toroidal Lie algebra. As a byproduct, we obtain a formula for the character of the level one local Weyl module over the toroidal Lie algebra and that for the graded character of the level one graded local Weyl module over an affine analog of the current Lie algebra.


Data Science Nature and Pitfalls. Data science is creating very exciting trends as well as significant controversy. A critical matter for the healthy development of data science in its early stages is to deeply understand the nature of data and data science, and to discuss the various pitfalls. These important issues motivate the discussions in this article.


Multi agent model for risk prediction in surgery. Risk management resulting from the actions and states of the different elements making up a operating room is a major concern during a surgical procedure. Agent based simulation shows an interest through its interaction concepts, interactivity and autonomy of different simulator entities. We want in our study to implement a generator of alerts to listen the evolution of different settings applied to the simulator of agents (human fatigue, material efficiency, infection rate ...). This article presents our model, its implementation and the first results obtained. It should be noted that this study also made it possible to identify several scientific obstacles, such as the integration of different levels of abstraction, the coupling of species, the coexistence of several scales in the same environment and the deduction of unpredictable alerts. Case based reasoning (CBR) is a beginning of response relative to the last lock mentioned and will be discussed in this paper.


Global daily 1km land surface precipitation based on cloud cover informed downscaling. High resolution climatic data are essential to many applications in environmental research. Here we develop a new semi mechanistic downscaling approach for daily precipitation that incorporates high resolution (30 arc sec) satellite derived cloud frequency. The downscaling algorithm incorporates orographic predictors such as wind fields, valley exposition, and boundary layer height, with a subsequent bias correction. We apply the method to the ERA5 precipitation archive and MODIS monthly cloud cover frequency to develop a daily gridded precipitation time series in 1km resolution for the years 2003 onward. Comparison of the predictions with existing gridded products and station data indicates an improvement in the spatio temporal performance of the downscaled data in predicting precipitation. Regional scrutiny of the cloud cover correction from a topographically highly heterogeneous area further confirms that CHELSA EarthEnv performs well in comparison to other precipitation products such as numerical weather models. The presented CHELSA EarthEnv daily precipitation product improves the temporal accuracy compared to ERA5 with an additional improved in spatial accuracy and much better representation of precipitation in complex terrain


GetNet Get Target Area for Image Pairing. Image pairing is an important research task in the field of computer vision. And finding image pairs containing objects of the same category is the basis of many tasks such as tracking and person re identification, etc., and it is also the focus of our research. Existing traditional methods and deep learning based methods have some degree of defects in speed or accuracy. In this paper, we made improvements on the Siamese network and proposed GetNet. The proposed method GetNet combines STN and Siamese network to get the target area first and then perform subsequent processing. Experiments show that our method achieves competitive results in speed and accuracy.


Algebraic Branching Programs, Border Complexity, and Tangent Spaces. Nisan showed in 1991 that the width of a smallest noncommutative single (source,sink) algebraic branching program (ABP) to compute a noncommutative polynomial is given by the ranks of specific matrices. This means that the set of noncommutative polynomials with ABP width complexity at most k is Zariski closed, an important property in geometric complexity theory. It follows that approximations cannot help to reduce the required ABP width. It was mentioned by Forbes that this result would probably break when going from single (source,sink) ABPs to trace ABPs. We prove that this is correct. Moreover, we study the commutative monotone setting and prove a result similar to Nisan, but concerning the analytic closure. We observe the same behavior here The set of polynomials with ABP width complexity at most k is closed for single (source,sink) ABPs and not closed for trace ABPs. The proofs reveal an intriguing connection between tangent spaces and the vector space of flows on the ABP. We close with additional observations on VQP and the closure of VNP which allows us to establish a separation between the two classes.


Moduli of roots of hyperbolic polynomials and Descartes' rule of signs. A real univariate polynomial with all roots real is called hyperbolic. By Descartes' rule of signs for hyperbolic polynomials (HPs) with all coefficients nonvanishing, a HP with c sign changes and p sign preservations in the sequence of its coefficients has exactly c positive and p negative roots. For c 2 and for degree 6 HPs, we discuss the question When the moduli of the 6 roots of a HP are arranged in the increasing order on the real half line, at which positions can be the moduli of its two positive roots depending on the positions of the two sign changes in the sequence of coefficients?


Tate module tensor decompositions and the Sato Tate conjecture for certain abelian varieties potentially of mathrm GL 2 type. We introduce a tensor decomposition of the ell adic Tate module of an abelian variety A 0 defined over a number field which is geometrically isotypic. If A 0 is potentially of GL 2 type and defined over a totally real number field, we use this decomposition to describe its Sato Tate group and to prove the Sato Tate conjecture in certain cases.


A new 3D model for magnetic particle imaging using realistic magnetic field topologies for algebraic reconstruction. We derive a new 3D model for magnetic particle imaging (MPI) that is able to incorporate realistic magnetic fields in the reconstruction process. In real MPI scanners, the generated magnetic fields have distortions that lead to deformed magnetic low field volumes (LFV) with the shapes of ellipsoids or bananas instead of ideal field free points (FFP) or lines (FFL), respectively. Most of the common model based reconstruction schemes in MPI use however the idealized assumption of an ideal FFP or FFL topology and, thus, generate artifacts in the reconstruction. Our model based approach is able to deal with these distortions and can generally be applied to dynamic magnetic fields that are approximately parallel to their velocity field. We show how this new 3D model can be discretized and inverted algebraically in order to recover the magnetic particle concentration. To model and describe the magnetic fields, we use decompositions of the fields in spherical harmonics. We complement the description of the new model with several simulations and experiments.


sigma Stable Matrices. sigma Stable matrices are introduced and it is shown that the real roots of the polynomials comprising the coefficients of the characteristic polynomial indicate the coefficient sign changes. A proof of Obrechkoff is then used to show that the largest real root from the coefficients is the point of stability when the maximal eigenvalue of the sigma stable matrix is in mathbb R . Some implications of the coefficient behaviour for a scaling relation are then discussed.


Phase coherent sensing of the center of mass motion of trapped ion crystals. Trapped ions are sensitive detectors of weak forces and electric fields that excite ion motion. Here measurements of the center of mass motion of a trapped ion crystal that are phase coherent with an applied weak external force are reported. These experiments are conducted far from the trap motional frequency on a two dimensional trapped ion crystal of approximately 100 ions, and determine the fundamental measurement imprecision of our protocol free from noise associated with the center of mass mode. The driven sinusoidal displacement of the crystal is detected by coupling the ion crystal motion to the internal spin degree of freedom of the ions using an oscillating spin dependent optical dipole force. The resulting induced spin precession is proportional to the displacement amplitude of the crystal, and is measured with near projection noise limited resolution. A 49 , pm displacement is detected with a single measurement signal to noise ratio of 1, which is an order of magnitude improvement over prior phase incoherent experiments. This displacement amplitude is 40 times smaller than the zero point fluctuations. With our repetition rate, a 8.4 , pm sqrt mathrm Hz displacement sensitivity is achieved, which implies 12 , yN mathrm ion sqrt mathrm Hz and 77 , mu V m sqrt mathrm Hz sensitivities to forces and electric fields, respectively. This displacement sensitivity, when applied on resonance with the center of mass mode, indicates the possibility of weak force and electric field detection below 10 3 , yN ion and 1 , nV m, respectively.


Real analytic coordinates for smooth strictly pseudoconvex CR structures. For a smooth strictly pseudoconvex hypersurface in a complex manifold, we give a necessary and sufficient condition for being CR diffeomorphic to a real analytic CR manifold. Our condition amounts to a holomorphic extension property for the canonically associated function expressing 2 jets of the formal Segre varieties in terms of their 1 jets. We also express this condition in equivalent terms for a Fefferman type determinant


Minimizing Age of Information in a Multihop Wireless Network. We consider the problem of minimizing age in a multihop wireless network. There are multiple source destination pairs, transmitting data through multiple wireless channels, over multiple hops. We propose a network control policy which consists of a distributed scheduling algorithm, utilizing channel state information and queue lengths at each link, in combination with a packet dropping rule. Dropping of older packets locally at queues is seen to reduce the average age of flows, even below what can be achieved by Last Come First Served (LCFS) scheduling. Dropping of older packets also allows us to use the network without congestion, irrespective of the rate at which updates are generated. Furthermore, exploiting system state information substantially improves performance. The proposed scheduling policy obtains average age values close to a theoretical lower bound as well.


Output coupling from x ray free electron laser cavities with intracavity beam splitters. Permeable mirrors are typically used for coupling photons out of laser cavities. A similar approach was proposed for output coupling photons from the cavities of x ray free electron laser (XFEL) oscillators. One of the Bragg reflecting crystal mirrors is thin, just a few extinction length, and is used as a permeable mirror. However, this method is very often limited to extractions of only a few tenths of the intracavity power. Other cavity based XFELs, such as the high gain regenerative amplifier XFEL, require much higher outcoupling efficiency. Here, alternative schemes are proposed and analyzed for coupling x ray photons out of XFEL cavities using intracavity Bragg reflecting, x ray transparent diamond crystal beam splitters. The intracavity beam splitters are efficient and flexible in terms of the amount of the power they are capable of coupling out of the cavity, an amount that can be varied promptly from zero to close to 100 . The schemes can be readily extended to multi beam outcoupling.


Scale Localized Abstract Reasoning. We consider the abstract relational reasoning task, which is commonly used as an intelligence test. Since some patterns have spatial rationales, while others are only semantic, we propose a multi scale architecture that processes each query in multiple resolutions. We show that indeed different rules are solved by different resolutions and a combined multi scale approach outperforms the existing state of the art in this task on all benchmarks by 5 54 . The success of our method is shown to arise from multiple novelties. First, it searches for relational patterns in multiple resolutions, which allows it to readily detect visual relations, such as location, in higher resolution, while allowing the lower resolution module to focus on semantic relations, such as shape type. Second, we optimize the reasoning network of each resolution proportionally to its performance, hereby we motivate each resolution to specialize on the rules for which it performs better than the others and ignore cases that are already solved by the other resolutions. Third, we propose a new way to pool information along the rows and the columns of the illustration grid of the query. Our work also analyses the existing benchmarks, demonstrating that the RAVEN dataset selects the negative examples in a way that is easily exploited. We, therefore, propose a modified version of the RAVEN dataset, named RAVEN FAIR. Our code and pretrained models are available at https github.com yanivbenny MRNet.


Does Yoga Make You Happy? Analyzing Twitter User Happiness using Textual and Temporal Information. Although yoga is a multi component practice to hone the body and mind and be known to reduce anxiety and depression, there is still a gap in understanding people's emotional state related to yoga in social media. In this study, we investigate the causal relationship between practicing yoga and being happy by incorporating textual and temporal information of users using Granger causality. To find out causal features from the text, we measure two variables (i) Yoga activity level based on content analysis and (ii) Happiness level based on emotional state. To understand users' yoga activity, we propose a joint embedding model based on the fusion of neural networks with attention mechanism by leveraging users' social and textual information. For measuring the emotional state of yoga users (target domain), we suggest a transfer learning approach to transfer knowledge from an attention based neural network model trained on a source domain. Our experiment on Twitter dataset demonstrates that there are 1447 users where "yoga Granger causes happiness".


Towards high power, high coherence, integrated photonic mmWave platform with microcavity solitons. Millimeter wave (mmWave) technology continues to draw large interest due to its broad applications in wireless communications, radar, and spectroscopy. Compared to pure electronic solutions, photonic based mmWave generation provides wide bandwidth, low power dissipation, and remoting through low loss fiber. However, at high frequencies, two major challenges exist for the photonic system the power roll off of the photodiode, and the large signal linewidth derived directly from the lasers. Here, we demonstrate a new photonic mmWave platform by combining integrated microresonator solitons and high speed photodiodes to address the challenges in both power and coherence. The solitons, being inherently mode locked, are measured to provide 5.8 dB additional gain through constructive interference among mmWave beatnotes, and the absolute mmWave power approaches the theoretical limit of conventional heterodyne detection at 100 GHz. In our free running system, the soliton is capable of reducing the mmWave linewidth by two orders of magnitude from that of the pump laser. Our work leverages microresonator solitons and high speed modified uni traveling carrier photodiodes to provide a viable path to chip scale high power, low noise, high frequency sources for mmWave applications.


Bouquets revisited and equivariant elliptic cohomology. Let M be a spin manifold with a circular action. Given an elliptic curve E, we introduce, as in Grojnowski, elliptic bouquets of germs of holomorphic equivariant cohomology classes on M. Following Bott Taubes and Rosu, we show that integration of an elliptic bouquet is well defined. In particular, this imply Witten's rigidity theorem. We emphasize the similarity between integration in K theory and in elliptic cohomology.


Bounds on Regularity of Quadratic Monomial Ideals. Castelnuovo Mumford regularity is a measure of algebraic complexity of an ideal. Regularity of monomial ideals can be investigated combinatorially. We use a simple graph decomposition and results from structural graph theory to prove, improve and generalize many of the known bounds on regularity of quadratic square free monomial ideals.