Can I Pour into It? Robot Imagining Open Containability Affordance of Previously Unseen Objects via Physical Simulations. Open containers, i.e., containers without covers, are an important and ubiquitous class of objects in human life. In this letter, we propose a novel method for robots to "imagine" the open containability affordance of a previously unseen object via physical simulations. We implement our imagination method on a UR5 manipulator. The robot autonomously scans the object with an RGB D camera. The scanned 3D model is used for open containability imagination which quantifies the open containability affordance by physically simulating dropping particles onto the object and counting how many particles are retained in it. This quantification is used for open container vs. non open container binary classification (hereafter referred to as open container classification). If the object is classified as an open container, the robot further imagines pouring into the object, again using physical simulations, to obtain the pouring position and orientation for real robot autonomous pouring. We evaluate our method on open container classification and autonomous pouring of granular material on a dataset containing 130 previously unseen objects with 57 object categories. Although our proposed method uses only 11 objects for simulation calibration (training), its open container classification aligns well with human judgements. In addition, our method endows the robot with the capability to autonomously pour into the 55 containers in the dataset with a very high success rate. We also compare to a deep learning method. Results show that our method achieves the same performance as the deep learning method on open container classification and outperforms it on autonomous pouring. Moreover, our method is fully explainable.


Expandable Local and Parallel Two Grid Finite Element Scheme for the Stokes Equations. In this paper, we present a novel local and parallel two grid finite element scheme for solving the Stokes equations, and rigorously establish its a priori error estimates. The scheme admits simultaneously small scales of subproblems and distances between subdomains and its expansions, and hence can be expandable. Based on the a priori error estimates, we provide a corresponding iterative scheme with suitable iteration number. The resulting iterative scheme can reach the optimal convergence orders within specific two grid iterations ( O( ln H 2) in 2 D and O( ln H ) in 3 D) if the coarse mesh size H and the fine mesh size h are properly chosen. Finally, some numerical tests including 2 D and 3 D cases are carried out to verify our theoretical results.


Deterministic concurrent systems. We introduce deterministic concurrent systems as a subclass of concurrent systems. Deterministic concurrent system are "locally commutative" concurrent systems. We prove that irreducible and deterministic concurrent systems have a unique probabilistic dynamics, and we characterise these systems by means of their analytic combinatorics properties.


Visually Analyzing Contextualized Embeddings. In this paper we introduce a method for visually analyzing contextualized embeddings produced by deep neural network based language models. Our approach is inspired by linguistic probes for natural language processing, where tasks are designed to probe language models for linguistic structure, such as parts of speech and named entities. These approaches are largely confirmatory, however, only enabling a user to test for information known a priori. In this work, we eschew supervised probing tasks, and advocate for unsupervised probes, coupled with visual exploration techniques, to assess what is learned by language models. Specifically, we cluster contextualized embeddings produced from a large text corpus, and introduce a visualization design based on this clustering and textual structure cluster co occurrences, cluster spans, and cluster word membership to help elicit the functionality of, and relationship between, individual clusters. User feedback highlights the benefits of our design in discovering different types of linguistic structures.


Generating Fact Checking Briefs. Fact checking at scale is difficult while the number of active fact checking websites is growing, it remains too small for the needs of the contemporary media ecosystem. However, despite good intentions, contributions from volunteers are often error prone, and thus in practice restricted to claim detection. We investigate how to increase the accuracy and efficiency of fact checking by providing information about the claim before performing the check, in the form of natural language briefs. We investigate passage based briefs, containing a relevant passage from Wikipedia, entity centric ones consisting of Wikipedia pages of mentioned entities, and Question Answering Briefs, with questions decomposing the claim, and their answers. To produce QABriefs, we develop QABriefer, a model that generates a set of questions conditioned on the claim, searches the web for evidence, and generates answers. To train its components, we introduce QABriefDataset which we collected via crowdsourcing. We show that fact checking with briefs in particular QABriefs increases the accuracy of crowdworkers by 10 while slightly decreasing the time taken. For volunteer (unpaid) fact checkers, QABriefs slightly increase accuracy and reduce the time required by around 20 .


Solutions of diophantine equations as periodic points of p adic algebraic functions, III. All the periodic points of a certain algebraic function related to the Rogers Ramanujan continued fraction r( tau) are determined. They turn out to be 0, frac 1 pm sqrt 5 2 , and the conjugates over mathbb Q of the values r(w d 5) , where w d is one of a specific set of algebraic integers, divisible by the square of a prime divisor of 5, in the field K d mathbb Q ( sqrt d ) , as d ranges over all negative quadratic discriminants for which left( frac d 5 right) 1 . This yields new insights on class numbers of orders in the fields K d . Conjecture 1 of Part I is proved for the prime p 5 , showing that the ring class fields over fields of type K d whose conductors are relatively prime to 5 coincide with the fields generated over mathbb Q by the periodic points (excluding 1) of a fixed 5 adic algebraic function.


Learning a Fine Grained Review based Transformer Model for Personalized Product Search. Product search has been a crucial entry point to serve people shopping online. Most existing personalized product models follow the paradigm of representing and matching user intents and items in the semantic space, where finer grained matching is totally discarded and the ranking of an item cannot be explained further than just user item level similarity. In addition, while some models in existing studies have created dynamic user representations based on search context, their representations for items are static across all search sessions. This makes every piece of information about the item always equally important in representing the item during matching with various user intents. Aware of the above limitations, we propose a review based transformer model (RTM) for personalized product search, which encodes the sequence of query, user reviews, and item reviews with a transformer architecture. RTM conducts review level matching between the user and item, where each review has a dynamic effect according to the context in the sequence. This makes it possible to identify useful reviews to explain the scoring. Experimental results show that RTM significantly outperforms state of the art personalized product search baselines.


Uniquely D colourable digraphs with large girth II simplification via generalization. We prove that for every digraph D and every choice of positive integers k , ell there exists a digraph D with girth at least ell together with a surjective acyclic homomorphism psi colon D to D such that (i) for every digraph C of order at most k , there exists an acyclic homomorphism D to C if and only if there exists an acyclic homomorphism D to C and (ii) for every D pointed digraph C of order at most k and every acyclic homomorphism varphi colon D to C there exists a unique acyclic homomorphism f colon D to C such that varphi f circ psi . This implies the main results in A. Harutyunyan et al., Uniquely D colourable digraphs with large girth, Canad. J. Math., 64(6) (2012), 1310 1328 MR2994666 analogously with how the work J. Ne v s et v r il and X. Zhu, On sparse graphs with given colorings and homomorphisms, J. Combin. Theory Ser. B, 90(1) (2004), 161 172 MR2041324 generalizes and extends X. Zhu, Uniquely H colorable graphs with large girth, J. Graph Theory, 23(1) (1996), 33 41 MR1402136 .


Cognitive Agent Based Simulation Model For Improving Disaster Response Procedures. In the event of a disaster, saving human lives is of utmost importance. For developing proper evacuation procedures and guidance systems, behavioural data on how people respond during panic and stress is crucial. In the absence of real human data on building evacuation, there is a need for a crowd simulator to model egress and decision making under uncertainty. In this paper, we propose an agent based simulation tool, which is grounded in human cognition and decision making, for evaluating and improving the effectiveness of building evacuation procedures and guidance systems during a disaster. Specifically, we propose a predictive agent wayfinding framework based on information theory that is applied at intersections with variable route choices where it fuses N dynamic information sources. The proposed framework can be used to visualize trajectories and prediction results (i.e., total evacuation time, number of people evacuated) for different combinations of reinforcing or contradicting information sources (i.e., signage, crowd flow, familiarity, and spatial layout). This tool can enable designers to recreate various disaster scenarios and generate simulation data for improving the evacuation procedures and existing guidance systems.


QRMODA and BRMODA Novel Models for Face Recognition Accuracy in Computer Vision Systems with Adapted Video Streams. A major challenge facing Computer Vision systems is providing the ability to accurately detect threats and recognize subjects and or objects under dynamically changing network conditions. We propose two novel models that characterize the face recognition accuracy in terms of video encoding parameters. Specifically, we model the accuracy in terms of video resolution, quantization, and actual bit rate. We validate the models using two distinct video datasets and a large image dataset by conducting 1, 668 experiments that involve simultaneously varying combinations of encoding parameters. We show that both models hold true for the deep learning and statistical based face recognition. Furthermore, we show that the models can be used to capture different accuracy metrics, specifically the recall, precision, and F1 score. Ultimately, we provide meaningful insights on the factors affecting the constants of each proposed model.


Transfer of Manure from Livestock Farms to Crop Fields as Fertilizer using an Ant Inspired Approach. Intensive livestock production might have a negative environmental impact, by producing large amounts of animal excrements, which, if not properly managed, can contaminate nearby water bodies with nutrient excess. However, if animal manure is exported to distant crop fields, to be used as organic fertilizer, pollution can be mitigated. It is a single objective optimization problem, in regards to finding the best solution for the logistics process of satisfying nutrient crops needs by means of livestock manure. This paper proposes a dynamic approach to solve the problem, based on a decentralized nature inspired cooperative technique, inspired by the foraging behavior of ants (AIA). Results provide important insights for policy makers over the potential of using animal manure as fertilizer for crop fields, while AIA solves the problem effectively, in a fair way to the farmers and well balanced in terms of average transportation distances that need to be covered by each livestock farmer. Our work constitutes the first application of a decentralized AIA to this interesting real world problem, in a domain where swarm intelligence methods are still under exploited.


Robust Sparse Regularization Simultaneously Optimizing Neural Network Robustness and Compactness. Deep Neural Network (DNN) trained by the gradient descent method is known to be vulnerable to maliciously perturbed adversarial input, aka. adversarial attack. As one of the countermeasures against adversarial attack, increasing the model capacity for DNN robustness enhancement was discussed and reported as an effective approach by many recent works. In this work, we show that shrinking the model size through proper weight pruning can even be helpful to improve the DNN robustness under adversarial attack. For obtaining a simultaneously robust and compact DNN model, we propose a multi objective training method called Robust Sparse Regularization (RSR), through the fusion of various regularization techniques, including channel wise noise injection, lasso weight penalty, and adversarial training. We conduct extensive experiments across popular ResNet 20, ResNet 18 and VGG 16 DNN architectures to demonstrate the effectiveness of RSR against popular white box (i.e., PGD and FGSM) and black box attacks. Thanks to RSR, 85 weight connections of ResNet 18 can be pruned while still achieving 0.68 and 8.72 improvement in clean and perturbed data accuracy respectively on CIFAR 10 dataset, in comparison to its PGD adversarial training baseline.


Toward Understanding the Influence of Individual Clients in Federated Learning. Federated learning allows mobile clients to jointly train a global model without sending their private data to a central server. Extensive works have studied the performance guarantee of the global model, however, it is still unclear how each individual client influences the collaborative training process. In this work, we defined a new notion, called em Fed Influence , to quantify this influence over the model parameters, and proposed an effective and efficient algorithm to estimate this metric. In particular, our design satisfies several desirable properties (1) it requires neither retraining nor retracing, adding only linear computational overhead to clients and the server (2) it strictly maintains the tenets of federated learning, without revealing any client's local private data and (3) it works well on both convex and non convex loss functions, and does not require the final model to be optimal. Empirical results on a synthetic dataset and the FEMNIST dataset demonstrate that our estimation method can approximate Fed Influence with small bias. Further, we show an application of Fed Influence in model debugging.


Differentiating through Log Log Convex Programs. We show how to efficiently compute the derivative (when it exists) of the solution map of log log convex programs (LLCPs). These are nonconvex, nonsmooth optimization problems with positive variables that become convex when the variables, objective functions, and constraint functions are replaced with their logs. We focus specifically on LLCPs generated by disciplined geometric programming, a grammar consisting of a set of atomic functions with known log log curvature and a composition rule for combining them. We represent a parametrized LLCP as the composition of a smooth transformation of parameters, a convex optimization problem, and an exponential transformation of the convex optimization problem's solution. The derivative of this composition can be computed efficiently, using recently developed methods for differentiating through convex optimization problems. We implement our method in CVXPY, a Python embedded modeling language and rewriting system for convex optimization. In just a few lines of code, a user can specify a parametrized LLCP, solve it, and evaluate the derivative or its adjoint at a vector. This makes it possible to conduct sensitivity analyses of solutions, given perturbations to the parameters, and to compute the gradient of a function of the solution with respect to the parameters. We use the adjoint of the derivative to implement differentiable log log convex optimization layers in PyTorch and TensorFlow. Finally, we present applications to designing queuing systems and fitting structured prediction models.


1.5 mu m Epitaxially Regrown Photonic Crystal Surface Emitting Laser Diode. We present an InP based epitaxially regrown photonic crystal surface emitting laser diode, lasing in quasi CW conditions at 1523nm.


MP ResNet Multi path Residual Network for the Semantic segmentation of High Resolution PolSAR Images. There are limited studies on the semantic segmentation of high resolution Polarimetric Synthetic Aperture Radar (PolSAR) images due to the scarcity of training data and the inference of speckle noises. The Gaofen contest has provided open access of a high quality PolSAR semantic segmentation dataset. Taking this chance, we propose a Multi path ResNet (MP ResNet) architecture for the semantic segmentation of high resolution PolSAR images. Compared to conventional U shape encoder decoder convolutional neural network (CNN) architectures, the MP ResNet learns semantic context with its parallel multi scale branches, which greatly enlarges its valid receptive fields and improves the embedding of local discriminative features. In addition, MP ResNet adopts a multi level feature fusion design in its decoder to make the best use of the features learned from its different branches. Ablation studies show that the MPResNet has significant advantages over its baseline method (FCN with ResNet34). It also surpasses several classic state of the art methods in terms of overall accuracy (OA), mean F1 and fwIoU, whereas its computational costs are not much increased. This CNN architecture can be used as a baseline method for future studies on the semantic segmentation of PolSAR images. The code is available at https github.com ggsDing SARSeg.


Towards Fully Bilingual Deep Language Modeling. Language models based on deep neural networks have facilitated great advances in natural language processing and understanding tasks in recent years. While models covering a large number of languages have been introduced, their multilinguality has come at a cost in terms of monolingual performance, and the best performing models at most tasks not involving cross lingual transfer remain monolingual. In this paper, we consider the question of whether it is possible to pre train a bilingual model for two remotely related languages without compromising performance at either language. We collect pre training data, create a Finnish English bilingual BERT model and evaluate its performance on datasets used to evaluate the corresponding monolingual models. Our bilingual model performs on par with Google's original English BERT on GLUE and nearly matches the performance of monolingual Finnish BERT on a range of Finnish NLP tasks, clearly outperforming multilingual BERT. We find that when the model vocabulary size is increased, the BERT Base architecture has sufficient capacity to learn two remotely related languages to a level where it achieves comparable performance with monolingual models, demonstrating the feasibility of training fully bilingual deep language models. The model and all tools involved in its creation are freely available at https github.com TurkuNLP biBERT


Pullbacks of kappa classes on overline mathcal M 0,n . The moduli space overline mathcal M 0,n carries a codimension d cycle class kappa d . We consider the subspace mathcal K d n of A d( overline mathcal M 0,n , mathbb Q ) spanned by pullbacks of kappa d via forgetful maps. We find a permutation basis for mathcal K d n , and describe its annihilator under the intersection pairing in terms of d dimensional boundary strata. As an application, we give a new permutation basis of the divisor class group of overline mathcal M 0,n .


Two row W graphs in affine type A . For affine symmetric groups we construct finite W graphs corresponding to two row shapes, and prove their uniqueness. This gives the first non trivial family of examples of finite W graphs in an affine type. We compare our construction with quotients of periodic W graphs defined by Lusztig. Under certain positivity assumption on the latter the two are shown to be isomorphic.


Local Zeta Functions for a class of p adic symmetric spaces. This is an extended version of the first part of a forthcoming paper where we will study the local Zeta functions of the minimal spherical series for the symmetric spaces arising as open orbits of the parabolic prehomogeneous spaces of commutative type over a p adic field. The case where the ground field is mathbb R has already been considered by Nicole Bopp and the second author ( 7 ). If F is a p adic field of characteristic 0 , we consider a reductive Lie algebra widetilde mathfrak g over F which is endowed with a short mathbb Z grading widetilde mathfrak g mathfrak g 1 oplus mathfrak g 0 oplus mathfrak g 1 . We also suppose that the representation ( mathfrak g 0, mathfrak g 1) is absolutely irreducible. Under a so called regularity condition we study the orbits of G 0 in mathfrak g 1 , where G 0 is an algebraic group defined over F , whose Lie algebra is mathfrak g 0 . We also investigate the P orbits, where P is a minimal sigma split parabolic subgroup of G ( sigma being the involution which defines a structure of symmetric space on any open G 0 orbit in mathfrak g 1 ).


SLAM Inspired Simultaneous Contextualization and Interpreting for Incremental Conversation Sentences. Distributed representation of words has improved the performance for many natural language tasks. In many methods, however, only one meaning is considered for one label of a word, and multiple meanings of polysemous words depending on the context are rarely handled. Although research works have dealt with polysemous words, they determine the meanings of such words according to a batch of large documents. Hence, there are two problems with applying these methods to sequential sentences, as in a conversation that contains ambiguous expressions. The first problem is that the methods cannot sequentially deal with the interdependence between context and word interpretation, in which context is decided by word interpretations and the word interpretations are decided by the context. Context estimation must thus be performed in parallel to pursue multiple interpretations. The second problem is that the previous methods use large scale sets of sentences for offline learning of new interpretations, and the steps of learning and inference are clearly separated. Such methods using offline learning cannot obtain new interpretations during a conversation. Hence, to dynamically estimate the conversation context and interpretations of polysemous words in sequential sentences, we propose a method of Simultaneous Contextualization And INterpreting (SCAIN) based on the traditional Simultaneous Localization And Mapping (SLAM) algorithm. By using the SCAIN algorithm, we can sequentially optimize the interdependence between context and word interpretation while obtaining new interpretations online. For experimental evaluation, we created two datasets one from Wikipedia's disambiguation pages and the other from real conversations. For both datasets, the results confirmed that SCAIN could effectively achieve sequential optimization of the interdependence and acquisition of new interpretations.


Non English language publications in Citation Indexes quantity and quality. We analyzed publications data in WoS and Scopus to compare publications in native languages vs publications in English and find any distinctive patterns. We analyzed their distribution by research areas, languages, type of access and citation patterns. The following trends were found share of English publications increases over time native language publications are read and cited less than English language outside the origin country open access impact on views and citation is higher for native languages journal ranking correlates with the share of English publications for multi language journals. We conclude also that the role of non English publications in research evaluation in non English speaking countries is underestimated when research in social science and humanities is assessed only by publications in Web of Science and Scopus.


The Bellman function of the dyadic maximal operator in connection with the Dyadic Carleson Imbedding Theorem. We provide an alternative proof and expression of the Bellman function of the dyadic maximal operator in connection with the Dyadic Carleson Imbedding Theorem, which appears in 10 . We also evaluate the Bellman function of four variables of the dyadic maximal operator


Non existence of non trivial normal elements in the Iwasawa Algebra of Chevalley groups. For a prime p 2 , let G be a semi simple, simply connected, split Chevalley group over mathbb Z p , G(1) be the first congruence kernel of G and Omega G(1) be the mod p Iwasawa algebra defined over the finite field mathbb F p . Ardakov, Wei, Zhang have shown that if p is a "nice prime " ( p geq 5 and p nmid n 1 if the Lie algebra of G(1) is of type A n ), then every non zero normal element in Omega G(1) is a unit. Furthermore, they conjecture in their paper that their nice prime condition is superfluous. The main goal of this article is to provide an entirely new proof of Ardakov, Wei and Zhang's result using explicit presentation of Iwasawa algebra developed by the second author of this article and thus eliminating the nice prime condition, therefore proving their conjecture.


Action representability of the category of internal groupoids. When mathbb C is a semi abelian category, it is well known that the category mathsf Grpd ( mathbb C) of internal groupoids in mathbb C is again semi abelian. The problem of determining whether the same kind of phenomenon occurs when the property of being semi abelian is replaced by the one of being action representable (in the sense of Borceux, Janelidze and Kelly) turns out to be rather subtle. In the present article we give a sufficient condition for this to be true in fact we prove that the category mathsf Grpd ( mathbb C) is a semi abelian action representable algebraically coherent category with normalizers if and only if mathbb C is a semi abelian action representable algebraically coherent category with normalizers. This result applies in particular to the categories of internal groupoids in the categories of groups, Lie algebras and cocommutative Hopf algebras, for instance.


An introduction to Gamma number fields. It follows from generalities of quadratic forms that the spinor class of the integral trace of a number field determines the signature and the discriminant of the field. In this paper we define a family of number fields, that contains among others all odd degree Galois tame number fields, for which the converse is true. In other words, for a number field K in such family we prove that the spinor class of the integral trace carries no more information about K than the determinant and the signature do.


Existence and hardness of conveyor belts. An open problem of Manuel Abellanas asks whether every set of disjoint closed unit disks in the plane can be connected by a conveyor belt, which means a tight simple closed curve that touches the boundary of each disk, possibly multiple times. We prove three main results. First, for unit disks whose centers are both x monotone and y monotone, or whose centers have x coordinates that differ by at least two units, a conveyor belt always exists and can be found efficiently. Second, it is NP complete to determine whether disks of varying radii have a conveyor belt, and it remains NP complete when we constrain the belt to touch disks exactly once. Third, any disjoint set of n disks of arbitrary radii can be augmented by O(n) "guide" disks so that the augmented system has a conveyor belt touching each disk exactly once, answering a conjecture of Demaine, Demaine, and Palop.


Towards model based control of the Vertical Gradient Freeze crystal growth process. In this contribution tracking control designs using output feedback are presented for a two phase Stefan problem arising in the modeling of the Vertical Gradient Freeze process. The two phase Stefan problem, consisting of two coupled free boundary problems, is a vital part of many crystal growth processes due to the temporally varying extent of the solid and liquid domains during growth. After discussing the special needs of the process, collocated as well as flatness based state feedback designs are carried out. To render the setup complete, an observer design is performed, using a flatness based approximation of the original distributed parameter system. The quality of the provided approximations as well as the performance of the open and closed loop control setups is analysed in several simulations.


Adaptive Morphological Reconstruction for Seeded Image Segmentation. Morphological reconstruction (MR) is often employed by seeded image segmentation algorithms such as watershed transform and power watershed as it is able to filter seeds (regional minima) to reduce over segmentation. However, MR might mistakenly filter meaningful seeds that are required for generating accurate segmentation and it is also sensitive to the scale because a single scale structuring element is employed. In this paper, a novel adaptive morphological reconstruction (AMR) operation is proposed that has three advantages. Firstly, AMR can adaptively filter useless seeds while preserving meaningful ones. Secondly, AMR is insensitive to the scale of structuring elements because multiscale structuring elements are employed. Finally, AMR has two attractive properties monotonic increasingness and convergence that help seeded segmentation algorithms to achieve a hierarchical segmentation. Experiments clearly demonstrate that AMR is useful for improving algorithms of seeded image segmentation and seed based spectral segmentation. Compared to several state of the art algorithms, the proposed algorithms provide better segmentation results requiring less computing time. Source code is available at https github.com SUST reynole AMR.


Twist left veering open books, overtwistedness, looseness and virtual looseness. We introduce twist left veering mapping classes of punctured surfaces. We prove that a twist left veering open book supports an overtwisted contact structure and determine when the closed braid coming from the punctures is loose or virtually loose.


Mapping the Design Space of Photonic Topological States via Deep Learning. Topological states in photonics offer novel prospects for guiding and manipulating photons and facilitate the development of modern optical components for a variety of applications. Over the past few years, photonic topology physics has evolved and unveiled various unconventional optical properties in these topological materials, such as silicon photonic crystals. However, the design of such topological states still poses a significant challenge. Conventional optimization schemes often fail to capture their complex high dimensional design space. In this manuscript, we develop a deep learning framework to map the design space of topological states in the photonic crystals. This framework overcomes the limitations of existing deep learning implementations. Specifically, it reconciles the dimension mismatch between the input (topological properties) and output (design parameters) vector spaces and the non uniqueness that arises from one to many function mappings. We use a fully connected deep neural network (DNN) architecture for the forward model and a cyclic convolutional neural network (cCNN)for the inverse model. The inverse architecture contains the pre trained forward model in tandem, thereby reducing the prediction error significantly.


Design and analysis of electro optic modulators based on high contrast gratings (HCGs) in AlGaN GaN heterostructures. Recently High Electron Mobility Transistor (HEMT) inspired III V electro optic modulator topologies were proposed for realizing high speed electro optic modulators leveraging plasma dispersion effect due to the 2D Electron Gas (2DEG) present at the III V heterostructure interface. The 2DEG is highly confined at the interface, extending to very low depths in the bulk ( approx 10nm) and therefore has limited spatial overlap with the optical mode. In this paper, we propose a novel modulator design to boost the 2DEG light interaction, wherein the HEMT is embedded within a high contrast grating (HCG) mirror. We present an analytical model extending the conventional HCG model to multi layer structures and observe good agreement with rigorous coupled wave analysis (RCWA). We explore the design space for identifying optimal device topology and present geometries that produce a change in reflectivity as large as 70 for C and L band wavelengths. We also present results of sensitivity analysis and observe low variation in device performance due to geometry variation arising from device fabrication imperfections. The device platforms presented here are suitable for designing high efficiency electro optic modulators by incorporating the HEMT HCG into a Fabry Perot cavity.


Statistical solutions to the barotropic Navier Stokes system. We introduce a new concept of statistical solution in the framework of weak solutions to the barotropic Navier Stokes system with inhomogeneous boundary conditions. Statistical solution is a family M t t geq 0 of Markov operators on the set of probability measures mathfrak P mathcal D on the data space mathcal D containing the initial data varrho 0, mathbf m 0 and the boundary data mathbf d B . (1) M t t geq 0 possesses a.a. semigroup property, M t s ( nu) M t circ M s( nu) for any t geq 0 , a.a. s geq 0 , and any nu in mathfrak P mathcal D . (2) M t t geq 0 is deterministic when restricted to deterministic data, specifically M t( delta varrho 0, mathbf m 0, mathbf d B ) delta varrho(t, cdot), mathbf m (t, cdot), mathbf d B , where varrho, mathbf m is a finite energy weak solution of the Navier Stokes system corresponding to the data varrho 0, mathbf m 0, mathbf d B in mathcal D . (3) M t mathfrak P mathcal D to mathfrak P mathcal D is continuous in a suitable Bregman Wasserstein metric at measures supported by the data giving rise to regular solutions.


Automatic adaptation of object detectors to new domains using self training. This work addresses the unsupervised adaptation of an existing object detector to a new target domain. We assume that a large number of unlabeled videos from this domain are readily available. We automatically obtain labels on the target data by using high confidence detections from the existing detector, augmented with hard (misclassified) examples acquired by exploiting temporal cues using a tracker. These automatically obtained labels are then used for re training the original model. A modified knowledge distillation loss is proposed, and we investigate several ways of assigning soft labels to the training examples from the target domain. Our approach is empirically evaluated on challenging face and pedestrian detection tasks a face detector trained on WIDER Face, which consists of high quality images crawled from the web, is adapted to a large scale surveillance data set a pedestrian detector trained on clear, daytime images from the BDD 100K driving data set is adapted to all other scenarios such as rainy, foggy, night time. Our results demonstrate the usefulness of incorporating hard examples obtained from tracking, the advantage of using soft labels via distillation loss versus hard labels, and show promising performance as a simple method for unsupervised domain adaptation of object detectors, with minimal dependence on hyper parameters.


Asymptotic curvature estimate for steady solitons. In this note, we shall investigate the asymptotic curvature estimate on steady Ricci solitons.


A type of shadowing and distributional chaos. For any continuous self map of a compact metric space, we prove a saturation of distributionally scrambled Mycielski sets under a type of shadowing and the chain transitivity.


Vortex solutions in the Ginzburg Landau Painlev 'e theory of phase transition. The extended Painlev 'e P.D.E. system Delta y x 1 y 2 y 2y 0 , (x 1, ldots,x n) in mathbb R n , y mathbb R n to mathbb R m , is obtained by multiplying by x 1 the linear term of the Ginzburg Landau equation Delta eta eta 2 eta eta , eta mathbb R n to mathbb R m . The two dimensional model n m 2 describes in the theory of light matter interaction in liquid crystals, the orientation of the molecules at the boundary of the illuminated region. On the other hand, the one dimensional model reduces to the second Painlev 'e O.D.E. y'' xy 2y 3 0 , x in mathbb R , which has been extensively studied, due to its importance for applications. The solutions of the extended Painlev 'e P.D.E. share some characteristics both with the Ginzburg Landau equation and the second Painlev 'e O.D.E. The scope of this paper is to construct standard vortex solutions y mathbb R n to mathbb R n 1 ( forall n geq 3 ) of the extended Painlev 'e equation. These solutions have in every hyperplane x 1 mathrm Const. , a profile similar to the standard vortices eta mathbb R n 1 to mathbb R n 1 of the Ginzburg Landau equation, but their amplitude is determined by the Hastings McLeod solution h of the second Painlev 'e O.D.E. evaluated at x 1 .


EvalNorm Estimating Batch Normalization Statistics for Evaluation. Batch normalization (BN) has been very effective for deep learning and is widely used. However, when training with small minibatches, models using BN exhibit a significant degradation in performance. In this paper we study this peculiar behavior of BN to gain a better understanding of the problem, and identify a cause. We propose 'EvalNorm' to address the issue by estimating corrected normalization statistics to use for BN during evaluation. EvalNorm supports online estimation of the corrected statistics while the model is being trained, and does not affect the training scheme of the model. As a result, EvalNorm can also be used with existing pre trained models allowing them to benefit from our method. EvalNorm yields large gains for models trained with smaller batches. Our experiments show that EvalNorm performs 6.18 (absolute) better than vanilla BN for a batchsize of 2 on ImageNet validation set and from 1.5 to 7.0 points (absolute) gain on the COCO object detection benchmark across a variety of setups.


Periodic Intra Ensemble Knowledge Distillation for Reinforcement Learning. Off policy ensemble reinforcement learning (RL) methods have demonstrated impressive results across a range of RL benchmark tasks. Recent works suggest that directly imitating experts' policies in a supervised manner before or during the course of training enables faster policy improvement for an RL agent. Motivated by these recent insights, we propose Periodic Intra Ensemble Knowledge Distillation (PIEKD). PIEKD is a learning framework that uses an ensemble of policies to act in the environment while periodically sharing knowledge amongst policies in the ensemble through knowledge distillation. Our experiments demonstrate that PIEKD improves upon a state of the art RL method in sample efficiency on several challenging MuJoCo benchmark tasks. Additionally, we perform ablation studies to better understand PIEKD.


Mapless Planner A Robust and Fast Planning Framework for Aggressive Autonomous Flight without Map Fusion. Maintaining a map online is resource consuming while a robust navigation system usually needs environment abstraction via a well fused map. In this paper, we propose a mapless planner which directly conducts such abstraction on the unfused sensor data. A limited memory data structure with a reliable proximity query algorithm is proposed for maintaining raw historical information. A sampling based scheme is designed to extract the free space skeleton. A smart waypoint selection strategy enables to generate high quality trajectories within the resultant flight corridors. Our planner differs from other mapless ones in that it can abstract and exploit the environment information efficiently. The online replan consistency and success rate are both significantly improved against conventional mapless methods.


Deep Graph Normalizer A Geometric Deep Learning Approach for Estimating Connectional Brain Templates. A connectional brain template (CBT) is a normalized graph based representation of a population of brain networks also regarded as an average connectome. CBTs are powerful tools for creating representative maps of brain connectivity in typical and atypical populations. Particularly, estimating a well centered and representative CBT for populations of multi view brain networks (MVBN) is more challenging since these networks sit on complex manifolds and there is no easy way to fuse different heterogeneous network views. This problem remains unexplored with the exception of a few recent works rooted in the assumption that the relationship between connectomes are mostly linear. However, such an assumption fails to capture complex patterns and non linear variation across individuals. Besides, existing methods are simply composed of sequential MVBN processing blocks without any feedback mechanism, leading to error accumulation. To address these issues, we propose Deep Graph Normalizer (DGN), the first geometric deep learning (GDL) architecture for normalizing a population of MVBNs by integrating them into a single connectional brain template. Our end to end DGN learns how to fuse multi view brain networks while capturing non linear patterns across subjects and preserving brain graph topological properties by capitalizing on graph convolutional neural networks. We also introduce a randomized weighted loss function which also acts as a regularizer to minimize the distance between the population of MVBNs and the estimated CBT, thereby enforcing its centeredness. We demonstrate that DGN significantly outperforms existing state of the art methods on estimating CBTs on both small scale and large scale connectomic datasets in terms of both representativeness and discriminability (i.e., identifying distinctive connectivities fingerprinting each brain network population).


Dynamics of the Jet Wiping Process via Integral Models. The jet wiping process is a cost effective coating technique that uses impinging gas jets to control the thickness of a liquid layer dragged along a moving strip. This process is fundamental in various coating industries (mainly in hot dip galvanizing) and is characterized by an unstable interaction between the gas jet and the liquid film that results in wavy final coating films. To understand the dynamics of the wave formation, we extend classic laminar boundary layer models for falling films to the jet wiping problem, including the self similar integral boundary layer (IBL) and the weighted integral boundary layer (WIBL) models. Moreover, we propose a transition and turbulence model (TTBL) to explore modelling extensions to larger Reynolds numbers and to analyze the impact of the modelling strategy on the liquid film dynamics. The validity of the long wave formulation was first analyzed on a simpler problem, consisting of a liquid film falling over an upward moving wall, using Volume Of Fluid (VOF) simulations. This validation proved the robustness of the integral formulation in conditions that are well outside their theoretical limits of validity. Finally, the three models were used to study the response of the liquid coat to harmonic and non harmonic oscillations and pulsations in the impinging jet. The impact of these disturbances on the average coating thickness and wave amplitude is analyzed, and the range of dimensionless frequencies yielding maximum disturbance amplification is presented.


Developing a Fine Grained Corpus for a Less resourced Language the case of Kurdish. Kurdish is a less resourced language consisting of different dialects written in various scripts. Approximately 30 million people in different countries speak the language. The lack of corpora is one of the main obstacles in Kurdish language processing. In this paper, we present KTC the Kurdish Textbooks Corpus, which is composed of 31 K 12 textbooks in Sorani dialect. The corpus is normalized and categorized into 12 educational subjects containing 693,800 tokens (110,297 types). Our resource is publicly available for non commercial use under the CC BY NC SA 4.0 license.


Mergelyan approximation theorem for holomorphic Legendrian curves. In this paper, we prove a Mergelyan type approximation theorem for immersed holomorphic Legendrian curves in an arbitrary complex contact manifold (X, xi) . Explicitly, we show that if S is a compact admissible set in a Riemann surface M and f S to X is a xi Legendrian immersion of class mathscr C r 2 (S,X) for some r ge 2 which is holomorphic in the interior of S , then f can be approximated in the mathscr C r(S,X) topology by holomorphic Legendrian embeddings from open neighbourhoods of S into X . This result has numerous applications, some of which are indicated in the paper. In particular, by using Bryant's correspondence for the Penrose twistor map mathbb CP 3 to S 4 we show that a Mergelyan approximation theorem and the Calabi Yau property hold for superminimal surfaces in the 4 sphere S 4 .


Topic Detection from Conversational Dialogue Corpus with Parallel Dirichlet Allocation Model and Elbow Method. A conversational system needs to know how to switch between topics to continue the conversation for a more extended period. For this topic detection from dialogue corpus has become an important task for a conversation and accurate prediction of conversation topics is important for creating coherent and engaging dialogue systems. In this paper, we proposed a topic detection approach with Parallel Latent Dirichlet Allocation (PLDA) Model by clustering a vocabulary of known similar words based on TF IDF scores and Bag of Words (BOW) technique. In the experiment, we use K mean clustering with Elbow Method for interpretation and validation of consistency within cluster analysis to select the optimal number of clusters. We evaluate our approach by comparing it with traditional LDA and clustering technique. The experimental results show that combining PLDA with Elbow method selects the optimal number of clusters and refine the topics for the conversation.


Sentiment Polarity Detection on Bengali Book Reviews Using Multinomial Naive Bayes. Recently, sentiment polarity detection has increased attention to NLP researchers due to the massive availability of customer's opinions or reviews in the online platform. Due to the continued expansion of e commerce sites, the rate of purchase of various products, including books, are growing enormously among the people. Reader's opinions reviews affect the buying decision of a customer in most cases. This work introduces a machine learning based technique to determine sentiment polarities (either positive or negative category) from Bengali book reviews. To assess the effectiveness of the proposed technique, a corpus with 2000 reviews on Bengali books is developed. A comparative analysis with various approaches (such as logistic regression, naive Bayes, SVM, and SGD) also performed by taking into consideration of the unigram, bigram, and trigram features, respectively. Experimental result reveals that the multinomial Naive Bayes with unigram feature outperforms the other techniques with 84 accuracy on the test set.


Recent Trends in Deep Learning Based Personality Detection. Recently, the automatic prediction of personality traits has received a lot of attention. Specifically, personality trait prediction from multimodal data has emerged as a hot topic within the field of affective computing. In this paper, we review significant machine learning models which have been employed for personality detection, with an emphasis on deep learning based methods. This review paper provides an overview of the most popular approaches to automated personality detection, various computational datasets, its industrial applications, and state of the art machine learning models for personality detection with specific focus on multimodal approaches. Personality detection is a very broad and diverse topic this survey only focuses on computational approaches and leaves out psychological studies on personality detection.


Real Differences between OT and CRDT in Building Co Editing Systems and Real World Applications. OT (Operational Transformation) was invented for supporting real time co editors in the late 1980s and has evolved to become a core technique used in today's working co editors and adopted in major industrial products. CRDT (Commutative Replicated Data Type) for co editors was first proposed around 2006, under the name of WOOT (WithOut Operational Transformation). Follow up CRDT variations are commonly labeled as "post OT" techniques and have made broad claims of superiority over OT solutions, in terms of correctness, time and space complexity, simplicity, etc. Over one decade later, however, OT remains the choice for building the vast majority of co editors, whereas CRDT is rarely found in working co editors. Why? To seek truth from facts, we set out to conduct a comprehensive and critical review of representative OT and CRDT solutions and working co editors based on them. From this work, we have made important discoveries about OT and CRDT, and revealed facts and evidences that refute CRDT claims over OT on all accounts. We present our discoveries in three related and complementary articles. In prior two articles, we have revealed the similarities of OT and CRDT in following the same general transformation approach in co editors, and their real differences in correctness and complexity. In this article, we examine the role of building working co editors in shaping OT and CRDT research and solutions, and consequential differences in the choice between OT and CRDT in real world co editors and industry products. In particular, we review the evolution of co editors from research vehicles to real world applications, and discuss representative OT based co editors and alternative approaches in industry products and open source projects. Moreover, we evaluate CRDT based co editors in relation to published CRDT solutions, and clarify some myths surrounding "peer to peer" co editing.


AutoMeTS The Autocomplete for Medical Text Simplification. The goal of text simplification (TS) is to transform difficult text into a version that is easier to understand and more broadly accessible to a wide variety of readers. In some domains, such as healthcare, fully automated approaches cannot be used since information must be accurately preserved. Instead, semi automated approaches can be used that assist a human writer in simplifying text faster and at a higher quality. In this paper, we examine the application of autocomplete to text simplification in the medical domain. We introduce a new parallel medical data set consisting of aligned English Wikipedia with Simple English Wikipedia sentences and examine the application of pretrained neural language models (PNLMs) on this dataset. We compare four PNLMs(BERT, RoBERTa, XLNet, and GPT 2), and show how the additional context of the sentence to be simplified can be incorporated to achieve better results (6.17 absolute improvement over the best individual model). We also introduce an ensemble model that combines the four PNLMs and outperforms the best individual model by 2.1 , resulting in an overall word prediction accuracy of 64.52 .


Nonlocal elastic metasurfaces enabling broadband wave control via intentional nonlocality. While elastic metasurfaces offer a remarkable and very effective approach to the subwalength control of stress waves, their use in practical applications is severely hindered by intrinsically narrow band performance. This work introduces the concept of intentional nonlocality as a fundamental mechanism to design passive elastic metasurfaces capable of an exceptionally broadband operating range. The nonlocal behavior is achieved by exploiting nonlocal forces, conceptually akin to long range interactions in nonlocal material microstructures, between subsets of resonant unit cells forming the metasurface. These long range forces are obtained via carefully crafted flexible elements whose specific geometry and local dynamics are designed to create remarkably complex transfer functions between multiple units. The resulting nonlocal coupling forces enable achieving phase gradient profiles that are function of the wavenumber of the incident wave.The identification of relevant design parameters and the assessment of their impact on performance are explored via a combination of semi analytical and numerical models. The nonlocal metasurface concept is tested, both numerically and experimentally, by embedding a total internal reflection design in a thin plate waveguide. Results confirm the feasibility of the intentionally nonlocal design concept and its ability to achieve a fully passive and broadband wave control.


Constraint Based Software Diversification for Efficient Mitigation of Code Reuse Attacks. Modern software deployment process produces software that is uniform, and hence vulnerable to large scale code reuse attacks. Compiler based diversification improves the resilience and security of software systems by automatically generating different assembly code versions of a given program. Existing techniques are efficient but do not have a precise control over the quality of the generated code variants. This paper introduces Diversity by Construction (DivCon), a constraint based compiler approach to software diversification. Unlike previous approaches, DivCon allows users to control and adjust the conflicting goals of diversity and code quality. A key enabler is the use of Large Neighborhood Search (LNS) to generate highly diverse assembly code efficiently. Experiments using two popular compiler benchmark suites confirm that there is a trade off between quality of each assembly code version and diversity of the entire pool of versions. Our results show that DivCon allows users to trade between these two properties by generating diverse assembly code for a range of quality bounds. In particular, the experiments show that DivCon is able to mitigate code reuse attacks effectively while delivering near optimal code ( 10 optimality gap). For constraint programming researchers and practitioners, this paper demonstrates that LNS is a valuable technique for finding diverse solutions. For security researchers and software engineers, DivCon extends the scope of compiler based diversification to performance critical and resource constrained applications.


On the analysis and approximation of some models of fluids over weighted spaces on convex polyhedra. We study the Stokes problem over convex polyhedral domains on weighted Sobolev spaces. The weight is assumed to belong to the Muckenhoupt class A q for q in (1, infty) . We show that the Stokes problem is well posed for all q . In addition, we show that the finite element Stokes projection is stable on weighted spaces. With the aid of these tools, we provide well posedness and approximation results to some classes of non Newtonian fluids.


Generalized permutahedra and Schubert calculus. We connect generalized permutahedra with Schubert calculus. Thereby, we give sufficient vanishing criteria for Schubert intersection numbers of the flag variety. Our argument utilizes recent developments in the study of Schubitopes, which are Newton polytopes of Schubert polynomials. The resulting tableau test executes in polynomial time.


Shannon Meets Turing Non Computability and Non Approximability of the Finite State Channel Capacity. The capacity of finite state channels (FSCs) has been established as the limit of a sequence of multi letter expressions only and, despite tremendous effort, a corresponding finite letter characterization remains unknown to date. This paper analyzes the capacity of FSCs from a fundamental, algorithmic point of view by studying whether or not the corresponding achievability and converse bounds on the capacity can be computed algorithmically. For this purpose, the concept of Turing machines is used which provide the fundamental performance limits of digital computers. To this end, computable continuous functions are studied and properties of computable sequences of such functions are identified. It is shown that the capacity of FSCs is not Banach Mazur computable which is the weakest form of computability. This implies that there is no algorithm (or Turing machine) that can compute the capacity of a given FSC. As a consequence, it is then shown that either the achievability or converse must yield a bound that is not Banach Mazur computable. This also means that there exist FSCs for which computable lower and upper bounds can never be tight. To this end, it is further shown that the capacity of FSCs is not approximable, which is an even stricter requirement than non computability. This implies that it is impossible to find a finite letter entropic characterization of the capacity of general FSCs. All results hold even for finite input and output alphabets and finite state set. Finally, connections to the theory of effective analysis are discussed. Here, results are only allowed to be proved in a constructive way, while existence results, e.g., proved based on the axiom of choice, are forbidden.


Iteration in ACL2. Iterative algorithms are traditionally expressed in ACL2 using recursion. On the other hand, Common Lisp provides a construct, loop, which like most programming languages provides direct support for iteration. We describe an ACL2 analogue loop of loop that supports efficient ACL2 programming and reasoning with iteration.


physics.app-ph physics.med-ph physics.optics physics.soc-ph

Maximal Interaction of Electromagnetic Radiation with Corona Virions. Absorption and scattering of the impinging electromagnetic waves are the two fundamental operations describing the energy exchange of any, organic or inorganic, particle with its environment. In the case of virion cells, substantial extinction power, counting both absorbing and scattering effects, is a prerequisite for performing a variety of coupling actions against the viral particles and, thus, a highly sought after feature. By considering realistic dispersion for the dielectric permittivity of proteins and a core shell modeling allowing for rigorous formulation via Mie theory, we report optical extinction resonances for corona virions at mid infrared range that are not significantly perturbed by changes in the objects size or the background host. Our findings indicate the optimal regime for interaction of photonic radiation with viral particles and may assist towards the development of equipment for thermal damage, disintegration or neutralization of coronavirus cells.


Crowd Counting on Images with Scale Variation and Isolated Clusters. Crowd counting is to estimate the number of objects (e.g., people or vehicles) in an image of unconstrained congested scenes. Designing a general crowd counting algorithm applicable to a wide range of crowd images is challenging, mainly due to the possibly large variation in object scales and the presence of many isolated small clusters. Previous approaches based on convolution operations with multi branch architecture are effective for only some narrow bands of scales and have not captured the long range contextual relationship due to isolated clustering. To address that, we propose SACANet, a novel scale adaptive long range context aware network for crowd counting. SACANet consists of three major modules the pyramid contextual module which extracts long range contextual information and enlarges the receptive field, a scale adaptive self attention multi branch module to attain high scale sensitivity and detection accuracy of isolated clusters, and a hierarchical fusion module to fuse multi level self attention features. With group normalization, SACANet achieves better optimality in the training process. We have conducted extensive experiments using the VisDrone2019 People dataset, the VisDrone2019 Vehicle dataset, and some other challenging benchmarks. As compared with the state of the art methods, SACANet is shown to be effective, especially for extremely crowded conditions with diverse scales and scattered clusters, and achieves much lower MAE as compared with baselines.


Comparing the density of D 4 and S 4 quartic extensions of number fields. When ordered by discriminant, it is known that about 83 of quartic fields over Q have associated Galois group S 4, while the remaining 17 have Galois group D 4. We study these proportions over a general number field F. We find that asymptotically 100 of quadratic number fields have more D 4 extensions than S 4 and that the ratio between the number of D 4 and S 4 quartic extensions is biased arbitrarily in favor of D 4 extensions. Under GRH, we give a lower bound that holds for general number fields.


First order optimization methods based on Hessian driven Nesterov accelerated gradient flow. A novel dynamical inertial Newton system, which is called Hessian driven Nesterov accelerated gradient (H NAG) flow is proposed. Convergence of the continuous trajectory are established via tailored Lyapunov function, and new first order accelerated optimization methods are proposed from ODE solvers. It is shown that (semi )implicit schemes can always achieve linear rate and explicit schemes have the optimal(accelerated) rates for convex and strongly convex objectives. In particular, Nesterov's optimal method is recovered from an explicit scheme for our H NAG flow. Furthermore, accelerated splitting algorithms for composite optimization problems are also developed.


Distance balanced graphs and Travelling Salesman Problems. For every probability p in 0,1 we define a distance based graph property, the p TS distance balancedness, that in the case p 0 coincides with the standard distance balancedness, and in the case p 1 is related to the Hamiltonian connectedness. In analogy with the classical case, where the distance balancedness of a graph is equivalent to the property of being self median, we characterize the class of p TS distance balanced graphs in terms of their equity with respect to certain probabilistic centrality measures, inspired by the Travelling Salesman Problem. We prove that it is possible to detect this property looking at the classical distance balancedness (and therefore looking at the classical centrality problems) of a suitable graph composition, namely the wreath product of graphs. More precisely, we characterize the distance balancedness of a wreath product of two graphs in terms of the p TS distance balancedness of the factors.


Scheme for a 50 TeV muon accumulator. Submitted as input for discussions on a possible low emittance muon accumulator at 50 TeV. I present a scheme to obtain high quality positive and negative muon beams in terms of low emittance, high charge and high energy using an accumulator at 50 TeV (or tens of TeV) filled with a train of low charge and low emittance muon bunches to be injected in top up mode on a single bunch circulating in a storage collider ring at the same energy, where damping from synchrotron radiation merges the bunches with minimal emittance degradation.


Automatic cinematography for 360 video. We describe our method for automatic generation of a visually interesting camera path (automatic cinematography)from a 360 video. Based on the information from the scene objects, multiple shot hypotheses for different shot types are constructed and the best one is rendered.


Deep Adversarial Transition Learning using Cross Grafted Generative Stacks. Current deep domain adaptation methods used in computer vision have mainly focused on learning discriminative and domain invariant features across different domains. In this paper, we present a novel "deep adversarial transition learning" (DATL) framework that bridges the domain gap by projecting the source and target domains into intermediate, transitional spaces through the employment of adjustable, cross grafted generative network stacks and effective adversarial learning between transitions. Specifically, we construct variational auto encoders (VAE) for the two domains, and form bidirectional transitions by cross grafting the VAEs' decoder stacks. Furthermore, generative adversarial networks (GAN) are employed for domain adaptation, mapping the target domain data to the known label space of the source domain. The overall adaptation process hence consists of three phases feature representation learning by VAEs, transitions generation, and transitions alignment by GANs. Experimental results demonstrate that our method outperforms the state of the art on a number of unsupervised domain adaptation benchmarks.


Sparsity of integer solutions in the average case. We examine how sparse feasible solutions of integer programs are, on average. Average case here means that we fix the constraint matrix and vary the right hand side vectors. For a problem in standard form with m equations, there exist LP feasible solutions with at most m many nonzero entries. We show that under relatively mild assumptions, integer programs in standard form have feasible solutions with O(m) many nonzero entries, on average. Our proof uses ideas from the theory of groups, lattices, and Ehrhart polynomials. From our main theorem we obtain the best known upper bounds on the integer Caratheodory number provided that the determinants in the data are small.


Adaptive Tracking Control of Soft Robots using Integrated Sensing Skin and Recurrent Neural Networks. In this paper, we study integrated estimation and control of soft robots. A significant challenge in deploying closed loop controllers is reliable proprioception via integrated sensing in soft robots. Despite the considerable advances accomplished in fabrication, modelling, and model based control of soft robots, integrated sensing and estimation is still in its infancy. To that end, this paper introduces a new method of estimating the degree of curvature of a soft robot using a stretchable sensing skin. The skin is a spray coated piezoresistive sensing layer on a latex membrane. The mapping from the strain signal to the degree of curvature is estimated by using a recurrent neural network. We investigate uni directional bending as well as bi directional bending of a single segment soft robot. Moreover, an adaptive controller is developed to track the degree of curvature of the soft robot in the presence of dynamic uncertainties. Subsequently, using the integrated soft sensing skin, we experimentally demonstrate successful curvature tracking control of the soft robot.


A Lighthouse Illumination Problem. This paper discusses a problem that consists of n "lighthouses" which are circles with radius 1, placed around a common center, equidistant at n units away from the placement center. Consecutive lighthouses are separated by the same angle 360 circ n which we denote as alpha . Each lighthouse "illuminates" facing towards the placement center with the same angle alpha , also called "Illumination Angle" in this case. As for the light source itself, there are two variations a single point light source at the center of each lighthouse and point light sources on the arc seen by the illumination angle for each lighthouse. The problem what is the total dark (not illuminated) area for a given number of lighthouses, and as the number of lighthouses approach infinity? We show that by definition of the problem, neighbor lighthouses do not overlap or be tangent to each other. We propose a solution for the center point light source case and discuss several small cases of n for the arc light source case.


Exponential ReLU Neural Network Approximation Rates for Point and Edge Singularities. We prove exponential expressivity with stable ReLU Neural Networks (ReLU NNs) in H 1( Omega) for weighted analytic function classes in certain polytopal domains Omega , in space dimension d 2,3 . Functions in these classes are locally analytic on open subdomains D subset Omega , but may exhibit isolated point singularities in the interior of Omega or corner and edge singularities at the boundary partial Omega . The exponential expression rate bounds proved here imply uniform exponential expressivity by ReLU NNs of solution families for several elliptic boundary and eigenvalue problems with analytic data. The exponential approximation rates are shown to hold in space dimension d 2 on Lipschitz polygons with straight sides, and in space dimension d 3 on Fichera type polyhedral domains with plane faces. The constructive proofs indicate in particular that NN depth and size increase poly logarithmically with respect to the target NN approximation accuracy varepsilon 0 in H 1( Omega) . The results cover in particular solution sets of linear, second order elliptic PDEs with analytic data and certain nonlinear elliptic eigenvalue problems with analytic nonlinearities and singular, weighted analytic potentials as arise in electron structure models. In the latter case, the functions correspond to electron densities that exhibit isolated point singularities at the positions of the nuclei. Our findings provide in particular mathematical foundation of recently reported, successful uses of deep neural networks in variational electron structure algorithms.


A probabilistic approach to the Phi variation of classical fractal functions with critical roughness. We consider Weierstra ss and Takagi van der Waerden functions with critical degree of roughness. In this case, the functions have vanishing p text th variation for all p 1 but are also nowhere differentiable and hence not of bounded variation either. We resolve this apparent puzzle by showing that these functions have finite, nonzero, and linear Wiener Young Phi variation along the sequence of b adic partitions, where Phi(x) x sqrt log x . For the Weierstra ss functions, our proof is based on the martingale central limit theorem (CLT). For the Takagi van der Waerden functions, we use the CLT for Markov chains if a certain parameter b is odd, and the standard CLT for b even.


Two arithmetic applications of perturbations of composition operators. We estimate the spectral radius of perturbations of a particular family of composition operators, in a setting where the usual choices of norms do not account for the typical size of the perturbation. We apply this to estimate the growth rate of large moments of a Thue Morse generating function and of the Stern sequence. This answers in particular a question of Mauduit, Montgomery and Rivat (2018).


Directional Graph Networks. The lack of anisotropic kernels in graph neural networks (GNNs) strongly limits their expressiveness, contributing to well known issues such as over smoothing. To overcome this limitation, we propose the first globally consistent anisotropic kernels for GNNs, allowing for graph convolutions that are defined according to topologicaly derived directional flows. First, by defining a vector field in the graph, we develop a method of applying directional derivatives and smoothing by projecting node specific messages into the field. Then, we propose the use of the Laplacian eigenvectors as such vector field. We show that the method generalizes CNNs on an n dimensional grid and is provably more discriminative than standard GNNs regarding the Weisfeiler Lehman 1 WL test. We evaluate our method on different standard benchmarks and see a relative error reduction of 8 on the CIFAR10 graph dataset and 11 to 32 on the molecular ZINC dataset, and a relative increase in precision of 1.6 on the MolPCBA dataset. An important outcome of this work is that it enables graph networks to embed directions in an unsupervised way, thus allowing a better representation of the anisotropic features in different physical or biological problems.


PEL BERT A Joint Model for Protocol Entity Linking. Pre trained models such as BERT are widely used in NLP tasks and are fine tuned to improve the performance of various NLP tasks consistently. Nevertheless, the fine tuned BERT model trained on our protocol corpus still has a weak performance on the Entity Linking (EL) task. In this paper, we propose a model that joints a fine tuned language model with an RFC Domain Model. Firstly, we design a Protocol Knowledge Base as the guideline for protocol EL. Secondly, we propose a novel model, PEL BERT, to link named entities in protocols to categories in Protocol Knowledge Base. Finally, we conduct a comprehensive study on the performance of pre trained language models on descriptive texts and abstract concepts. Experimental results demonstrate that our model achieves state of the art performance in EL on our annotated dataset, outperforming all the baselines.


AoI optimal Joint Sampling and Updating for Wireless Powered Communication Systems. This paper characterizes the structure of the Age of Information (AoI) optimal policy in wireless powered communication systems while accounting for the time and energy costs of generating status updates at the source nodes. In particular, for a single source destination pair in which a radio frequency (RF) powered source sends status updates about some physical process to a destination node, we minimize the long term average AoI at the destination node. The problem is modeled as an average cost Markov Decision Process (MDP) in which, the generation times of status updates at the source, the transmissions of status updates from the source to the destination, and the wireless energy transfer (WET) are jointly optimized. After proving the monotonicity property of the value function associated with the MDP, we analytically demonstrate that the AoI optimal policy has a threshold based structure w.r.t. the state variables. Our numerical results verify the analytical findings and reveal the impact of state variables on the structure of the AoI optimal policy. Our results also demonstrate the impact of system design parameters on the optimal achievable average AoI as well as the superiority of our proposed joint sampling and updating policy w.r.t. the generate at will policy.


Hopf type theorems for self similar solutions of curvature flows in mathbb R 3 . In this paper we prove rigidity results for two dimensional, closed, immersed, non necessarily convex, self similar solutions of a wide class of fully non linear parabolic flows in mathbb R 3 . We show this self similar solutions are the round spheres centered at the origin provided it has genus zero and satisfies a suitable upper pinching estimate for the Gaussian curvature. As applications, we obtain rigidity results for the round sphere as the only closed, immersed, genus zero, self similar solution of several well known flows, as the flow of the powers of mean curvature, the harmonic mean curvature flow and the alpha Gaussian curvature flow for alpha in(0,1 4) . We remark that our result does not assume any embeddedness condition.


A stochastic reduced order model for statistical microstructure descriptors evolution. Integrated Computational Materials Engineering (ICME) models have been a crucial building block for modern materials development, relieving heavy reliance on experiments and significantly accelerating the materials design process. However, ICME models are also computationally expensive, particularly with respect to time integration for dynamics, which hinders the ability to study statistical ensembles and thermodynamic properties of large systems for long time scales. To alleviate the computational bottleneck, we propose to model the evolution of statistical microstructure descriptors as a continuous time stochastic process using a non linear Langevin equation, where the probability density function (PDF) of the statistical microstructure descriptors, which are also the quantities of interests (QoIs), are modeled by the Fokker Planck equation. We discuss how to calibrate the drift and diffusion terms of the Fokker Planck equation from the theoretical and computational perspectives. The calibrated Fokker Planck equation can be used as a stochastic reduced order model (ROM) to simulate the microstructure evolution of statistical microstructure descriptors PDF. Considering statistical microstructure descriptors in the microstructure evolution as QoIs, we demonstrate our proposed methodology in three integrated computational materials engineering (ICME) models kinetic Monte Carlo, phase field, and molecular dynamics simulations.


Relative compactness of orbits and geometry of Banach spaces. We investigate for a bounded semigroup of linear operators S on a Banach space E and a vector x in E , when relative compactness of S(I T)x for every T in S implies relative compactness of the orbit Sx . In particular, we derive characterizations of separable Banach spaces not containing mathrm c 0 and of reflexivity of Banach spaces with a Schauder basis in terms of such compactness results.


On Hausdorff integrations of Lie algebroids. We present Hausdorff versions for Lie Integration Theorems 1 and 2 and apply them to study Hausdorff symplectic groupoids arising from Poisson manifolds. To prepare for these results we include a discussion on Lie equivalences and propose an algebraic approach to holonomy. We also include subsidiary results, such as a generalization of the integration of subalgebroids to the non wide case, and explore in detail the case of foliation groupoids.


Tailoring inhomogeneous mathcal PT symmetric fiber Bragg grating spectra. The unique spectral behavior exhibited by a class of non uniform Bragg periodic structures, namely chirped and apodized fiber Bragg gratings (FBGs) influenced by parity and time reversal ( mathcal PT ) symmetry, is presented. The interplay between the mathcal PT symmetry and nonuniformities brings exceptional functionalities in the broken mathcal PT symmetric phase such as wavelength selective amplification and single mode lasing for a wide range of variations in gain loss. We observe that the device is no more passive and it undergoes a series of transitions from asymmetric reflection to unidirectional invisibility and multi mode amplification as a consequence of variation in the imaginary part of the strength of modulation in different apodization profiles, namely Gaussian and raised cosine, at the given value of chirping. The chirping affords bandwidth control as well as control over the magnitude of the reflected (transmitted) light. Likewise, apodization offers additional functionality in the form of suppression of uncontrolled lasing behavior in the broken mathcal PT symmetric regime besides moderating the reflected signals outside the band edges of the spectra.


On the generalization of learning based 3D reconstruction. State of the art learning based monocular 3D reconstruction methods learn priors over object categories on the training set, and as a result struggle to achieve reasonable generalization to object categories unseen during training. In this paper we study the inductive biases encoded in the model architecture that impact the generalization of learning based 3D reconstruction methods. We find that 3 inductive biases impact performance the spatial extent of the encoder, the use of the underlying geometry of the scene to describe point features, and the mechanism to aggregate information from multiple views. Additionally, we propose mechanisms to enforce those inductive biases a point representation that is aware of camera position, and a variance cost to aggregate information across views. Our model achieves state of the art results on the standard ShapeNet 3D reconstruction benchmark in various settings.


The Gossip Paradox why do bacteria share genes?. Bacteria, in contrast to eukaryotic cells contain two types of genes chromosomal genes that are fixed to the cell, and plasmids that are mobile genes, easily shared to other cells. The sharing of plasmid genes between individual bacteria and between bacterial lineages has contributed vastly to bacterial evolution, allowing specialized traits to jump ship' between one lineage or species and the next. The benefits of this generosity from the point of view of both recipient and plasmid are generally understood, but come at the expense of chromosomal genes in the donor cell, which share potentially advantageous genes with their competition while receiving no benefit. Using both continuous models and agent based simulations, we demonstrate that secretive' genes which restrict horizontal gene transfer are favored over wide range of models and parameter values. Our findings lead to a peculiar paradox given the obvious benefits of keeping secrets, why do bacteria share information so freely?


Timoshenko nonlocal strain gradient nanobeams Variational consistency, exact solutions and carbon nanotube Young moduli. Carbon nanotubes (CNTs) are principal constituents of nanocomposites and nano systems. CNT size dependent response assessment is therefore a topic of current interest in Mechanics of Advanced Materials and Structures. CNTs are modeled here by a variationally consistent nonlocal strain gradient approach for Timoshenko nano beams, extending the treatment in Int. J. Eng. Science 143 (2019) 73 91 confined to slender structures. Scale effects are described by integral convolutions, conveniently replaced with differential and boundary nonlocal laws. The theoretical predictions, exploited to analytically estimate the reduced Young elastic modulus of CNTs, are validated by molecular dynamics simulations.


On the share of mathematics published by Elsevier and Springer. For profit editors such as Elsevier and Springer have been subject to sustained criticism from academics and university libraries, including calls to boycott, and discontinued subscriptions. Mathematicians have played a particularly active role in this critique, and have endeavored to imagine new publication practices and create new journals. This motivates the monitoring of the share of articles published by different editors. I used data from MathSciNet over the period 2000 2017, and focused on the 100 journals with highest citations per article. Within this category, the share of articles published by Elsevier and Springer has steadily increased over this period, from about a third to almost half of the total.


Meeting Laboratory Course Learning Goals Remotely via Custom Home Experiment Kits. In this paper, the use of cost effective, custom home experiment kits for remote teaching of first semester introductory physics labs is described. The kit experiments were designed to match the existing onsite lab experiment learning goals and the general laboratory course learning goals in remote teaching. Additionally, a revised group project approach optimized for remote use and that leverages the kits was developed and employed. Student survey results at the end of the Summer 2020 semester indicate that the critical learning goals were met, student satisfaction with the remote lab was maintained, and successful collaboration via video conferencing breakout rooms was achieved.


On the subvarieties with nonsingular real loci of a real algebraic variety. Let X be a smooth projective real algebraic variety. We give new positive and negative results on the problem of approximating a submanifold of the real locus of X by real loci of subvarieties of X , as well as on the problem of determining the subgroups of the Chow groups of X generated by subvarieties with nonsingular real loci, or with empty real loci.


Domination results in n Fuchsian fibers in the moduli space of Higgs bundles. In this article, we show some domination results on the Hitchin fibration, mainly focusing on the n Fuchsian fibers. More precisely, we show the energy density of associated harmonic map of an n Fuchsian representation dominates the ones of all other representations in the same Hitchin fiber, which implies the domination of topological invariants translation length spectrum and entropy. As applications of the energy density domination results, we obtain the existence and uniqueness of equivariant minimal (or maximal) surfaces in certain product Riemannian (or pseudo Riemannian) manifold. Our proof is based on establishing an algebraic inequality generalizing a GIT theorem of Ness on the nilpotent orbits to general orbits.


Top down predictions influence binocular rivalry through beta band rhythms a qEEG based investigation. Predictive coding theory suggests that conscious perception results from the interaction between top down and bottom up signals in the brain. However, the electrophysiological signatures of top down predictions are not clear yet. Here, we cued subjects to expect a certain perceptual state in a binocular rivalry task and quantitatively analyzed their EEG signals during the cue period and prior to binocular rivalry task. We found that when predictions can successfully influence the perception of the rivalrous stimuli, the power of beta band rhythms increases in primary visual cortices and beta band phase lag in a frontal visual homologous channel pair was notably diminished. Building upon earlier works, our findings suggest that beta rhythm is potentially considered as a signature of top down communication in the brain.


On oscillation of difference equations with continuous time and variable delays. We consider existence of positive solutions for a difference equation with continuous time, variable coefficients and delays x(t 1) x(t) sum k 1 m a k(t)x(h k(t)) 0, quad a k(t) geq 0, h k(t) leq t, quad t geq 0, quad k 1, dots, m. We prove that for a fixed h(t) not equiv t , a positive solution may exist for a k exceeding any prescribed M 0 , as well as for constant positive a k with h k(t) leq t n , where n in mathbb N is arbitrary and fixed. The point is that for equations with continuous time, non existence of positive solutions with inf x(t) 0 on any bounded interval should be considered rather than oscillation. Sufficient conditions when such solutions exist or do not exist are obtained. We also present an analogue of the Gr " o nwall Bellman inequality for equations with continuous time, and examine the question when the equation has no positive non increasing solutions. Counterexamples illustrate the role of variable delays.


Physical Human Robot Interaction with a Tethered Aerial Vehicle Application to a Force based Human Guiding Problem. Today, physical Human Robot Interaction (pHRI) is a very popular topic in the field of ground manipulation. At the same time, Aerial Physical Interaction (APhI) is also developing very fast. Nevertheless, pHRI with aerial vehicles has not been addressed so far. In this work, we present the study of one of the first systems in which a human is physically connected to an aerial vehicle by a cable. We want the robot to be able to pull the human toward a desired position (or along a path) only using forces as an indirect communication channel. We propose an admittance based approach that makes pHRI safe. A controller, inspired by the literature on flexible manipulators, computes the desired interaction forces that properly guide the human. The stability of the system is formally proved with a Lyapunov based argument. The system is also shown to be passive, and thus robust to non idealities like additional human forces, time varying inputs, and other external disturbances. We also design a maneuver regulation policy to simplify the path following problem. The global method has been experimentally validated on a group of four subjects, showing a reliable and safe pHRI.


Counting basis extensions in a lattice. Given a primitive collection of vectors in the integer lattice, we count the number of ways it can be extended to a basis by vectors with sup norm bounded by T , producing an asymptotic estimate as T to infty . This problem can be interpreted in terms of unimodular matrices, as well as a representation problem for a class of multilinear forms. In the 2 dimensional case, this problem is also connected to the distribution of Farey fractions. As an auxiliary lemma we prove a counting estimate for the number of integer lattice points of bounded sup norm in a hyperplane in mathbb R n . Our main result on counting basis extensions also generalizes to arbitrary lattices in mathbb R n . Finally, we establish some basic properties of sparse representations of integers by multilinear forms.


Physics enhanced neural networks predict order and chaos. Conventional artificial neural networks are powerful tools in science and industry, but they can fail when applied to nonlinear systems where order and chaos coexist. We use neural networks that incorporate the structures and symmetries of Hamiltonian dynamics to predict phase space trajectories even as nonlinear systems transition from order to chaos. We demonstrate Hamiltonian neural networks on the canonical Henon Heiles system, which models diverse dynamics from astrophysics to chemistry. The power of the technique and the ubiquity of chaos suggest widespread utility.


Non Archimedean analytic cyclic homology. Let V be a complete discrete valuation ring with fraction field F of characteristic zero and with residue field mathbb F . We introduce analytic cyclic homology of complete torsion free bornological algebras over V . We prove that it is homotopy invariant, stable, invariant under certain nilpotent extensions, and satisfies excision. We use these properties to compute it for tensor products with dagger completions of Leavitt path algebras. If R is a smooth commutative V algebra of relative dimension 1 , then we identify its analytic cyclic homology with Berthelot's rigid cohomology of R otimes V mathbb F .


Right Serial Skew Laurent Series Rings. Let A be a ring and varphi its automorphism. It is proved that skew Laurent series ring A((x, varphi )) is a right serial ring if and only if A is a right serial right Artinian ring.


Template Instance Loss for Offline Handwritten Chinese Character Recognition. The long standing challenges for offline handwritten Chinese character recognition (HCCR) are twofold Chinese characters can be very diverse and complicated while similarly looking, and cursive handwriting (due to increased writing speed and infrequent pen lifting) makes strokes and even characters connected together in a flowing manner. In this paper, we propose the template and instance loss functions for the relevant machine learning tasks in offline handwritten Chinese character recognition. First, the character template is designed to deal with the intrinsic similarities among Chinese characters. Second, the instance loss can reduce category variance according to classification difficulty, giving a large penalty to the outlier instance of handwritten Chinese character. Trained with the new loss functions using our deep network architecture HCCR14Layer model consisting of simple layers, our extensive experiments show that it yields state of the art performance and beyond for offline HCCR.


Global Health Monitor A Web based System for Detecting and Mapping Infectious Diseases. We present the Global Health Monitor, an online Web based system for detecting and mapping infectious disease outbreaks that appear in news stories. The system analyzes English news stories from news feed providers, classifies them for topical relevance and plots them onto a Google map using geo coding information, helping public health workers to monitor the spread of diseases in a geo temporal context. The background knowledge for the system is contained in the BioCaster ontology (BCO) (Collier et al., 2007a) which includes both information on infectious diseases as well as geographical locations with their latitudes longitudes. The system consists of four main stages topic classification, named entity recognition (NER), disease location detection and visualization. Evaluation of the system shows that it achieved high accuracy on a gold standard corpus. The system is now in practical use. Running on a clustercomputer, it monitors more than 1500 news feeds 24 7, updating the map every hour.


CL ADMM A Cooperative Learning Based Optimization Framework for Resource Management in MEC. We consider the problem of intelligent and efficient resource management framework in mobile edge computing (MEC), which can reduce delay and energy consumption, featuring distributed optimization and efficient congestion avoidance mechanism. In this paper, we present a Cooperative Learning framework for resource management in MEC from an Alternating Direction Method of Multipliers (ADMM) perspective, called CL ADMM framework. First, in order to caching task efficiently in a group, a novel task popularity estimating scheme is proposed, which is based on semi Markov process model, then a greedy task cooperative caching mechanism has been established, which can effectively reduce delay and energy consumption. Secondly, for addressing group congestion, a dynamic task migration scheme based on cooperative improved Q learning is proposed, which can effectively reduce delay and alleviate congestion. Thirdly, for minimizing delay and energy consumption for resources allocation in a group, we formulate it as an optimization problem with a large number of variables, and then exploit a novel ADMM based scheme to address this problem, which can reduce the complexity of problem with a new set of auxiliary variables, these sub problems are all convex problems, and can be solved by using a primal dual approach, guaranteeing its convergences. Then we prove that the convergence by using Lyapunov theory. Numerical results demonstrate the effectiveness of the CL ADMM and it can effectively reduce delay and energy consumption for MEC.


Theoretical Analyses of Multi Objective Evolutionary Algorithms on Multi Modal Objectives. Previous theory work on multi objective evolutionary algorithms considers mostly easy problems that are composed of unimodal objectives. This paper takes a first step towards a deeper understanding of how evolutionary algorithms solve multi modal multi objective problems. We propose the OneJumpZeroJump problem, a bi objective problem whose single objectives are isomorphic to the classic jump functions benchmark. We prove that the simple evolutionary multi objective optimizer (SEMO) cannot compute the full Pareto front. In contrast, for all problem sizes n and all jump sizes k in 4.. frac n2 1 , the global SEMO (GSEMO) covers the Pareto front in Theta((n 2k)n k ) iterations in expectation. To improve the performance, we combine the GSEMO with two approaches, a heavy tailed mutation operator and a stagnation detection strategy, that showed advantages in single objective multi modal problems. Runtime improvements of asymptotic order at least k Omega(k) are shown for both strategies. Our experiments verify the substantial runtime gains already for moderate problem sizes. Overall, these results show that the ideas recently developed for single objective evolutionary algorithms can be effectively employed also in multi objective optimization.


Positive entropy using Hecke operators at a single place. We prove the following statement Let X text SL n( mathbb Z ) backslash text SL n( mathbb R ) , and consider the standard action of the diagonal group A text SL n( mathbb R ) on it. Let mu be an A invariant probability measure on X , which is a limit mu lambda lim i phi i 2dx, where phi i are normalized eigenfunctions of the Hecke algebra at some fixed place p , and lambda 0 is some positive constant. Then any regular element a in A acts on mu with positive entropy on almost every ergodic component. We also prove a similar result for lattices coming from division algebras over mathbb Q , and derive a quantum unique ergodicity result for the associated locally symmetric spaces. This generalizes a result of Brooks and Lindenstrauss.


Optimized Analog Information Multiplexing Across Custom Tailored MetaCavity Configurations. Combining tunable metasurfaces with chaotic cavities opens new avenues for finely tailored dynamic control of microwaves with programmable coding metacavities (PCMs). There is currently a strong interest in utilizing PCMs to overcome the notorious difficulty of coherent measurements across large apertures at radiofrequencies, with important applications in imaging and sensing for security screening, medical diagnosis and human computer interaction. Such approaches rely on multiplexing spatially encoded information across a random sequence of PCM coding patterns for single port single frequency acquisition. Here, it is shown that a judiciously tailored rather than random coding sequence is necessary to unlock the full potential of PCMs for analog multiplexing. Specifically, the singular value spectrum of the multiplexing channel matrix is tailored to be perfectly flat as opposed to downward sloping. In situ experiments show that thereby the number of necessary measurements to achieve a given reconstruction quality is lowered by a factor of 2.5. Computational imaging and other microwave metrology applications are expected to benefit from the resulting reduction in acquisition time, processing burden and latency. The proposed approach and platform also set the stage for future studies in the emerging field of wave control through engineered wave chaos.


The oriented mailing problem and its convex relaxation. In this note we introduce a new model for the mailing problem in branched transportation in order to allow the cost functional to take into account the orientation of the moving particles. This gives an effective answer to Problem 15.9 of the book "Optimal transportation networks" by Bernot, Caselles, and Morel. Moreover we define a convex relaxation in terms of rectifiable currents with group coefficients. With such approach we provide the problem with a notion of calibration. Using similar techniques we define a convex relaxation and a corresponding notion of calibration for a variant of the Steiner tree problem in which a connectedness constraint is assigned only among a certain partition of a given set of finitely many points.