Frequency prediction from exact or self consistent meanflows. A number of approximations have been proposed to estimate basic hydrodynamic quantities, in particular the frequency of a limit cycle. One of these, RZIF (for Real Zero Imaginary Frequency), calls for linearizing the governing equations about the mean flow and estimating the frequency as the imaginary part of the leading eigenvalue. A further reduction, the SCM (for Self Consistent Model), approximates the mean flow as well, as resulting only from the nonlinear interaction of the leading eigenmode with itself. Both RZIF and SCM have proven dramatically successful for the archetypal case of the wake of a circular cylinder. Here, the SCM is applied to thermosolutal convection, for which a supercritical Hopf bifurcation gives rise to branches of standing waves and traveling waves. The SCM is solved by means of a full Newton method coupling the approximate mean flow and leading eigenmode. Although the RZIF property is verified for the traveling waves, the SCM reproduces the nonlinear frequency only very near the onset of the bifurcation and for another isolated parameter value. Thus, the nonlinear interaction arising from the leading mode is insufficient to reproduce the nonlinear mean field and frequency.


Flatee Federated Learning Across Trusted Execution Environments. Federated learning allows us to distributively train a machine learning model where multiple parties share local model parameters without sharing private data. However, parameter exchange may still leak information. Several approaches have been proposed to overcome this, based on multi party computation, fully homomorphic encryption, etc. many of these protocols are slow and impractical for real world use as they involve a large number of cryptographic operations. In this paper, we propose the use of Trusted Execution Environments (TEE), which provide a platform for isolated execution of code and handling of data, for this purpose. We describe Flatee, an efficient privacy preserving federated learning framework across TEEs, which considerably reduces training and communication time. Our framework can handle malicious parties (we do not natively solve adversarial data poisoning, though we describe a preliminary approach to handle this).


Phase change perovskite tunable microlaser. Since the invention of the laser, adoption of new gain media and device architectures has provided solutions to a variety of applications requiring specific power, size, spectral, spatial, and temporal tunability. Here we introduce a fundamentally new type of tunable semiconductor laser based on a phase change perovskite metasurface that acts simultaneously as gain medium and optical cavity. As a proof of principle demonstration, we fabricate a subwavelength thin perovskite metasurface supporting bound states in the continuum (BICs). Upon the perovskite structural phase transitions, both its refractive index and gain vary substantially, inducing fast (1.35 nm K rate) and broad spectral tunability ( 15 nm in the near infrared), deterministic spatial mode hopping between polarization vortexes, and hysteretic optical bistability of the microlaser. These features highlight the uniqueness of phase change perovskite tunable lasers, which may find wide applications in compact and low cost optical multiplexers, sensors, memories, and LIDARs.


Ethics Sheets for AI Tasks. Several high profile events, such as the mass testing of emotion recognition systems on vulnerable sub populations and using question answering systems to make moral judgments, have highlighted how technology will often lead to more adverse outcomes for those that are already marginalized. At issue here are not just individual systems and datasets, but also the AI tasks themselves. In this position paper, I make a case for thinking about ethical considerations not just at the level of individual models and datasets, but also at the level of AI tasks. I will present a new form of such an effort, Ethics Sheets for AI Tasks, dedicated to fleshing out the assumptions and ethical considerations hidden in how a task is commonly framed and in the choices we make regarding the data, method, and evaluation. I will also present a template for ethics sheets with 50 ethical considerations, using the task of emotion recognition as a running example. Ethics sheets are a mechanism to engage with and document ethical considerations before building datasets and systems. Similar to survey articles, a small number of ethics sheets can serve numerous researchers and developers.


Effect of Ionic Disorder on the Principal Shock Hugoniot. The effect of ionic disorder on the principal Hugoniot is investigated using Multiple Scattering Theory to very high pressure (Gbar). Calculations using molecular dynamics to simulate ionic disorder, are compared to those with a fixed crystal lattice, for both carbon and aluminum. For the range of conditions considered here, we find that ionic disorder is most important at the onset of shell ionization and that at higher pressures, the subtle effect of the ionic environment is overwhelmed by the larger number of ionized electrons with higher thermal energies.


Understanding and Mitigating Banking Trojans From Zeus to Emotet. Banking Trojans came a long way in the past decade, and the recent case of Emotet showed their enduring relevance. The evolution of the modern computing landscape can be traced through Emotet and Zeus, both representative examples from the end of the past decade. As an example of earlier malware, Zeus only needed to employ simple anti analysis techniques to stay undetected, while the more recent Emotet had to constantly evolve to stay a step ahead. Current host based antimalware solutions face an increasing number of obstacles to perform their function. A multi layer approach to network security is necessary for network based intrusion response systems to secure modern networks of heterogeneous devices. A system based on a combination of a graphical network security model and a game theoretic model of cyber attacks was tested on a testbed with Windows machines infected with Trojans, experimental results showed that the proposed system effectively blocked Trojans network communications effectively preventing data leakage and yielding encouraging results for future work.


Fully Convolutional Scene Graph Generation. This paper presents a fully convolutional scene graph generation (FCSGG) model that detects objects and relations simultaneously. Most of the scene graph generation frameworks use a pre trained two stage object detector, like Faster R CNN, and build scene graphs using bounding box features. Such pipeline usually has a large number of parameters and low inference speed. Unlike these approaches, FCSGG is a conceptually elegant and efficient bottom up approach that encodes objects as bounding box center points, and relationships as 2D vector fields which are named as Relation Affinity Fields (RAFs). RAFs encode both semantic and spatial features, and explicitly represent the relationship between a pair of objects by the integral on a sub region that points from subject to object. FCSGG only utilizes visual features and still generates strong results for scene graph generation. Comprehensive experiments on the Visual Genome dataset demonstrate the efficacy, efficiency, and generalizability of the proposed method. FCSGG achieves highly competitive results on recall and zero shot recall with significantly reduced inference time.


Certifying Choreography Compilation. Choreographic programming is a paradigm for developing concurrent and distributed systems, where programs are choreographies that define, from a global viewpoint, the computations and interactions that communicating processes should enact. Choreography compilation translates choreographies into the local definitions of process behaviours, given as terms in a process calculus. Proving choreography compilation correct is challenging and error prone, because it requires relating languages in different paradigms (global interactions vs local actions) and dealing with a combinatorial explosion of proof cases. We present the first certified program for choreography compilation for a nontrivial choreographic language supporting recursion.


Designing the Topology of Graph Neural Networks A Novel Feature Fusion Perspective. In recent years, Graph Neural Networks (GNNs) have shown superior performance on diverse real world applications. To improve the model capacity, besides designing aggregation operations, GNN topology design is also very important. In general, there are two mainstream GNN topology design manners. The first one is to stack aggregation operations to obtain the higher level features but easily got performance drop as the network goes deeper. Secondly, the multiple aggregation operations are utilized in each layer which provides adequate and independent feature extraction stage on local neighbors while are costly to obtain the higher level information. To enjoy the benefits while alleviating the corresponding deficiencies of these two manners, we learn to design the topology of GNNs in a novel feature fusion perspective which is dubbed F 2 GNN. To be specific, we provide a feature fusion perspective in designing GNN topology and propose a novel framework to unify the existing topology designs with feature selection and fusion strategies. Then we develop a neural architecture search method on top of the unified framework which contains a set of selection and fusion operations in the search space and an improved differentiable search algorithm. The performance gains on eight real world datasets demonstrate the effectiveness of F 2 GNN. We further conduct experiments to show that F 2 GNN can improve the model capacity while alleviating the deficiencies of existing GNN topology design manners, especially alleviating the over smoothing problem, by utilizing different levels of features adaptively.


Analyzing vehicle pedestrian interactions combining data cube structure and predictive collision risk estimation model. Traffic accidents are a threat to human lives, particularly pedestrians causing premature deaths. Therefore, it is necessary to devise systems to prevent accidents in advance and respond proactively, using potential risky situations as one of the surrogate safety measurements. This study introduces a new concept of a pedestrian safety system that combines the field and the centralized processes. The system can warn of upcoming risks immediately in the field and improve the safety of risk frequent areas by assessing the safety levels of roads without actual collisions. In particular, this study focuses on the latter by introducing a new analytical framework for a crosswalk safety assessment with behaviors of vehicle pedestrian and environmental features. We obtain these behavioral features from actual traffic video footage in the city with complete automatic processing. The proposed framework mainly analyzes these behaviors in multidimensional perspectives by constructing a data cube structure, which combines the LSTM based predictive collision risk estimation model and the on line analytical processing operations. From the PCR estimation model, we categorize the severity of risks as four levels and apply the proposed framework to assess the crosswalk safety with behavioral features. Our analytic experiments are based on two scenarios, and the various descriptive results are harvested the movement patterns of vehicles and pedestrians by road environment and the relationships between risk levels and car speeds. Thus, the proposed framework can support decision makers by providing valuable information to improve pedestrian safety for future accidents, and it can help us better understand their behaviors near crosswalks proactively. In order to confirm the feasibility and applicability of the proposed framework, we implement and apply it to actual operating CCTVs in Osan City, Korea.


WDR FACE The First Database for Studying Face Detection in Wide Dynamic Range. Currently, face detection approaches focus on facial information by varying specific parameters including pose, occlusion, lighting, background, race, and gender. These studies only utilized the information obtained from low dynamic range images, however, face detection in wide dynamic range (WDR) scenes has received little attention. To our knowledge, there is no publicly available WDR database for face detection research. To facilitate and support future face detection research in the WDR field, we propose the first WDR database for face detection, called WDR FACE, which contains a total of 398 16 bit megapixel grayscale wide dynamic range images collected from 29 subjects. These WDR images (WDRIs) were taken in eight specific WDR scenes. The dynamic range of 90 images surpasses 60,000 1, and that of 70 images exceeds 65,000 1. Furthermore, we show the effect of different face detection procedures on the WDRIs in our database. This is done with 25 different tone mapping operators and five different face detectors. We provide preliminary experimental results of face detection on this unique WDR database.


On interpolation based decoding of a class of maximum rank distance codes. In this paper we present an interpolation based decoding algorithm to decode a family of maximum rank distance codes proposed recently by Trombetti and Zhou. We employ the properties of the Dickson matrix associated with a linearized polynomial with a given rank and the modified Berlekamp Massey algorithm in decoding. When the rank of the error vector attains the unique decoding radius, the problem is converted to solving a quadratic polynomial, which ensures that the proposed decoding algorithm has polynomial time complexity.


Coercive Inequalities in Higher Dimensional Anisotropic Heisenberg Group. In the setting of higher dimensional anisotropic Heisenberg group, we compute the fundamental solution for the sub Laplacian, and we prove Poincar 'e and beta Logarithmic Sobolev inequalities for measures as a function of this fundamental solution.


Accelerating Derivative Free Optimization with Dimension Reduction and Hyperparameter Learning. We consider convex, black box objective functions with additive or multiplicative noise with a high dimensional parameter space and a data space of lower dimension, where gradients of the map exist, but may be inaccessible. We investigate Derivative Free Optimization (DFO) in this setting and propose a novel method, Active STARS (ASTARS), based on STARS (Chen and Wild, 2015) and dimension reduction in parameter space via Active Subspace (AS) methods (Constantine, 2015). STARS hyperparmeters are inversely proportional to the known dimension of parameter space, resulting in heavy smoothing and small step sizes for large dimensions. When possible, ASTARS leverages a lower dimensional AS, defining a set of directions in parameter space causing the majority of the variance in function values. ASTARS iterates are updated with steps only taken in the AS, reducing the value of the objective function more efficiently than STARS, which updates iterates in the full parameter space. Computational costs may be reduced further by learning ASTARS hyperparameters and the AS, reducing the total evaluations of the objective function and eliminating the requirement that the user specify hyperparameters, which may be unknown in our setting. We call this method Fully Automated ASTARS (FAASTARS). We show that STARS and ASTARS will both converge with a certain complexity even with inexact, estimated hyperparemters. We also find that FAASTARS converges with the use of estimated AS's and hyperparameters. We explore the effectiveness of ASTARS and FAASTARS in numerical examples which compare ASTARS and FAASTARS to STARS.


Silting and Tilting for Weakly Symmetric Algebras. If A is a finite dimensional symmetric algebra, then it is well known that the only silting complexes in mathrm K b ( mathrm proj A) are the tilting complexes. In this note we investigate to what extent the same can be said for weakly symmetric algebras. On one hand, we show that this holds for all tilting discrete weakly symmetric algebras. In particular, a tilting discrete weakly symmetric algebra is also silting discrete. On the other hand, we also construct an example of a weakly symmetric algebra with silting complexes that are not tilting.


Groupoid approach to the dynamical system of commutative von Neumann Algebras. The automorphism group Aut(X, mu) of a compact, complete metric space X with a Radon measure mu is a subgroup of mathcal U (L 2(X, mu)) the unitary group of operators on L 2(X, mu) . The Aut(X, mu) action on the generalized space mathcal M (X) is a proper action. Hence, there exists a slice at each point of the generalized space mathcal M (X) . Measure Groupoid (virtual group) is subsequently employed to analyze the resulting dynamical system as that of the ergodic action of the commutative algebra (a lattice) C(X) on the generalized space mathcal M (X) which is represented on a commutative von Neumann algebra.


Multiple hypothesis CTC based semi supervised adaptation of end to end speech recognition. This paper proposes an adaptation method for end to end speech recognition. In this method, multiple automatic speech recognition (ASR) 1 best hypotheses are integrated in the computation of the connectionist temporal classification (CTC) loss function. The integration of multiple ASR hypotheses helps alleviating the impact of errors in the ASR hypotheses to the computation of the CTC loss when ASR hypotheses are used. When being applied in semi supervised adaptation scenarios where part of the adaptation data do not have labels, the CTC loss of the proposed method is computed from different ASR 1 best hypotheses obtained by decoding the unlabeled adaptation data. Experiments are performed in clean and multi condition training scenarios where the CTC based end to end ASR systems are trained on Wall Street Journal (WSJ) clean training data and CHiME 4 multi condition training data, respectively, and tested on Aurora 4 test data. The proposed adaptation method yields 6.6 and 5.8 relative word error rate (WER) reductions in clean and multi condition training scenarios, respectively, compared to a baseline system which is adapted with part of the adaptation data having manual transcriptions using back propagation fine tuning.


Monte Carlo Modeling of Spin polarized Photoemission from p doped GaAs Activated to Negative Electron Affinity. The anticorrelation between quantum efficiency (QE) and electron spin polarization (ESP) from a p doped GaAs activated to negative electron affinity (NEA) is studied in detail using an ensemble Monte Carlo approach. The photoabsorption, momentum and spin relaxation during transport, and tunnelling of electrons through the surface potential barrier are modeled to identify fundamental mechanisms, which limit the efficiency of GaAs spin polarized electron sources. In particular, we study the response of QE and ESP to various parameters such as the photoexcitation energy, doping density, and electron affinity level. Our modeling results for various transport and emission characteristics are in a good agreement with available experimental data. Our findings show that the behaviour of both QE and ESP at room temperature can be fully explained by the bulk relaxation mechanisms and the time which electrons spend in the material before being emitted.


LTL under reductions with weaker conditions than stutter invariance. Verification of properties expressed as regular languages such as LTL can benefit hugely from stutter insensitivity, using a diverse set of reduction strategies. However properties that are not stutter insensitive, for instance due to the use of the neXt operator of LTL or to some form of counting in the logic, are not covered by these techniques in general. We propose in this paper to study a weaker property than stutter insensitivity. In a stutter insensitive language both adding and removing stutter to a word does not change its acceptance, any stuttering can be abstracted away by decomposing this equivalence relation into two implications we obtain weaker conditions. We define a shortening insensitive language where any word that stutters less than a word in the language must also belong to the language. A lengthening insensitive language has the dual property. A semi decision procedure is then introduced to reliably prove shortening insensitive properties or deny lengthening insensitive properties while working with a reduction of a system. A reduction has the property that it can only shorten runs. Lipton's transaction reductions or Petri net agglomerations are examples of eligible structural reduction strategies. An implementation and experimental evidence is provided showing most nonrandom properties sensitive to stutter are actually shortening or lengthening insensitive. Performance of experiments on a large (random) benchmark from the model checking competition indicate that despite being a semi decision procedure, the approach can still improve state of the art verification tools.


A Survey on Serverless Computing. The Internet is responsible for accelerating growth in several fields such as digital media, healthcare, the military. Furthermore, the Internet was founded on the principle of allowing clients to communicating with servers. However, serverless computing is one such field that tries to break free from this paradigm. Event driven compute services allow users to build more agile applications using capacity provisioning and a pay for value billing model. This paper provides a formal account of the research contributions in the field of Serverless computing.


k Strong Shortest Path Union Cover for Certain Graphs and Networks. The k distance strong shortest path union cover of a graph is the minimum cardinality among all strong shortest path union cover at distance k of G. In this paper we determine the 2 strong shortest path union cover for certain graphs, also we prove that the k strong shortest path union cover problem, in general, is NP complete.


GENIE A Leaderboard for Human in the Loop Evaluation of Text Generation. Leaderboards have eased model development for many NLP datasets by standardizing their evaluation and delegating it to an independent external repository. Their adoption, however, is so far limited to tasks that can be reliably evaluated in an automatic manner. This work introduces GENIE, an extensible human evaluation leaderboard, which brings the ease of leaderboards to text generation tasks. GENIE automatically posts leaderboard submissions to crowdsourcing platforms asking human annotators to evaluate them on various axes (e.g., correctness, conciseness, fluency) and compares their answers to various automatic metrics. We introduce several datasets in English to GENIE, representing four core challenges in text generation machine translation, summarization, commonsense reasoning, and machine comprehension. We provide formal granular evaluation metrics and identify areas for future research. We make GENIE publicly available and hope that it will spur progress in language generation models as well as their automatic and manual evaluation.


Structured Sparse Non negative Matrix Factorization with L20 Norm for scRNA seq Data Analysis. Non negative matrix factorization (NMF) is a powerful tool for dimensionality reduction and clustering. Unfortunately, the interpretation of the clustering results from NMF is difficult, especially for the high dimensional biological data without effective feature selection. In this paper, we first introduce a row sparse NMF with ell 2,0 norm constraint (NMF ell 20 ), where the basis matrix W is constrained by the ell 2,0 norm, such that W has a row sparsity pattern with feature selection. It is a challenge to solve the model, because the ell 2,0 norm is non convex and non smooth. Fortunately, we prove that the ell 2,0 norm satisfies the Kurdyka L ojasiewicz property. Based on the finding, we present a proximal alternating linearized minimization algorithm and its monotone accelerated version to solve the NMF ell 20 model. In addition, we also present a orthogonal NMF with ell 2,0 norm constraint (ONMF ell 20 ) to enhance the clustering performance by using a non negative orthogonal constraint. We propose an efficient algorithm to solve ONMF ell 20 by transforming it into a series of constrained and penalized matrix factorization problems. The results on numerical and scRNA seq datasets demonstrate the efficiency of our methods in comparison with existing methods.


Cyclic Graph Attentive Match Encoder (CGAME) A Novel Neural Network For OD Estimation. Origin Destination Estimation plays an important role in traffic management and traffic simulation in the era of Intelligent Transportation System (ITS). Nevertheless, previous model based methods face the under determined challenge, thus desperate demand for additional assumptions and extra data exists. Deep learning provides an ideal data based method for connecting inputs and outputs by probabilistic distribution transformation. While relevant researches of applying deep learning into OD estimation are limited due to the challenges lying in data transformation across representation space, especially from dynamic spatial temporal space to heterogeneous graph in this issue. To address it, we propose Cyclic Graph Attentive Matching Encoder (C GAME) based on a novel Graph Matcher with double layer attention mechanism. It realizes effective information exchange and establishes coupling relationship across underlying feature space. The proposed model achieves state of the art results in experiments, and offers a novel framework for inference task across spaces in prospective employments.


Residual Networks as Flows of Velocity Fields for Diffeomorphic Time Series Alignment. Non linear (large) time warping is a challenging source of nuisance in time series analysis. In this paper, we propose a novel diffeomorphic temporal transformer network for both pairwise and joint time series alignment. Our ResNet TW (Deep Residual Network for Time Warping) tackles the alignment problem by compositing a flow of incremental diffeomorphic mappings. Governed by the flow equation, our Residual Network (ResNet) builds smooth, fluid and regular flows of velocity fields and consequently generates smooth and invertible transformations (i.e. diffeomorphic warping functions). Inspired by the elegant Large Deformation Diffeomorphic Metric Mapping (LDDMM) framework, the final transformation is built by the flow of time dependent vector fields which are none other than the building blocks of our Residual Network. The latter is naturally viewed as an Eulerian discretization schema of the flow equation (an ODE). Once trained, our ResNet TW aligns unseen data by a single inexpensive forward pass. As we show in experiments on both univariate (84 datasets from UCR archive) and multivariate time series (MSR Action 3D, Florence 3D and MSR Daily Activity), ResNet TW achieves competitive performance in joint alignment and classification.


Doubled Hecke Algebras and Related Quantum Schur Duality. This article introduces the double Hecke algebra, which is an infinite dimensional algebra generated by two Hecke algebras. This concept originates from the degenerate double Hecke algebra in the theory of Schur Weyl duality related to enhanced reductive algebraic groups. We will study the finite dimensional natural representation of the double Hecke algebra on tensor space and prove that the double Hecke algebra forms a duality with the Levi type quantum group.


How COVID 19 Is Changing Our Language Detecting Semantic Shift in Twitter Word Embeddings. Words are malleable objects, influenced by events that are reflected in written texts. Situated in the global outbreak of COVID 19, our research aims at detecting semantic shifts in social media language triggered by the health crisis. With COVID 19 related big data extracted from Twitter, we train separate word embedding models for different time periods after the outbreak. We employ an alignment based approach to compare these embeddings with a general purpose Twitter embedding unrelated to COVID 19. We also compare our trained embeddings among them to observe diachronic evolution. Carrying out case studies on a set of words chosen by topic detection, we verify that our alignment approach is valid. Finally, we quantify the size of global semantic shift by a stability measure based on back and forth rotational alignment.


Superintegrability of (2n 1) body choreographies, n 1,2,3, ldots, infty on the algebraic Lemniscate by Bernoulli (inverse problem of classical mechanics). For one 3 body and two 5 body planar choreographies on the same algebraic Lemniscate by Bernoulli we found explicitly a maximal possible set of (particular) Liouville integrals, 7 and 15, respectively, (including the total angular momentum), which Poisson commute with the corresponding Hamiltonian along the trajectory. Thus, these choreographies are particularly maximally superintegrable. It is conjectured that the total number of (particular) Liouville integrals is maximal possible for any odd number of bodies (2n 1) moving choreographically (without collisions) along given algebraic Lemniscate, thus, the corresponding trajectory is particularly, maximally superintegrable. Some of these Liouville integrals are presented explicitly. The limit n rar infty is studied it is predicted that one dimensional liquid with nearest neighbor interactions occurs, it moves along algebraic Lemniscate and it is characterized by infinitely many constants of motion.


Semantic guided Pixel Sampling for Cloth Changing Person Re identification. Cloth changing person re identification (re ID) is a new rising research topic that aims at retrieving pedestrians whose clothes are changed. This task is quite challenging and has not been fully studied to date. Current works mainly focus on body shape or contour sketch, but they are not robust enough due to view and posture variations. The key to this task is to exploit cloth irrelevant cues. This paper proposes a semantic guided pixel sampling approach for the cloth changing person re ID task. We do not explicitly define which feature to extract but force the model to automatically learn cloth irrelevant cues. Specifically, we first recognize the pedestrian's upper clothes and pants, then randomly change them by sampling pixels from other pedestrians. The changed samples retain the identity labels but exchange the pixels of clothes or pants among different pedestrians. Besides, we adopt a loss function to constrain the learned features to keep consistent before and after changes. In this way, the model is forced to learn cues that are irrelevant to upper clothes and pants. We conduct extensive experiments on the latest released PRCC dataset. Our method achieved 65.8 on Rank1 accuracy, which outperforms previous methods with a large margin. The code is available at https github.com shuxjweb pixel sampling.git.


Enumeration of coalescent histories for caterpillar species trees and p pseudocaterpillar gene trees. For a fixed set X containing n taxon labels, an ordered pair consisting of a gene tree topology G and a species tree S bijectively labeled with the labels of X possesses a set of coalescent histories mappings from the set of internal nodes of G to the set of edges of S describing possible lists of edges in S on which the coalescences in G take place. Enumerations of coalescent histories for gene trees and species trees have produced suggestive results regarding the pairs (G,S) that, for a fixed n , have the largest number of coalescent histories. We define a class of 2 cherry binary tree topologies that we term p pseudocaterpillars, examining coalescent histories for non matching pairs (G,S) , in the case in which S has a caterpillar shape and G has a p pseudocaterpillar shape. Using a construction that associates coalescent histories for (G,S) with a class of "roadblocked" monotonic paths, we identify the p pseudocaterpillar labeled gene tree topology that, for a fixed caterpillar labeled species tree topology, gives rise to the largest number of coalescent histories. The shape that maximizes the number of coalescent histories places the "second" cherry of the p pseudocaterpillar equidistantly from the root of the "first" cherry and from the tree root. A symmetry in the numbers of coalescent histories for p pseudocaterpillar gene trees and caterpillar species trees is seen to exist around the maximizing value of the parameter p . The results provide insight into the factors that influence the number of coalescent histories possible for a given gene tree and species tree.


Fea2Fea Exploring Structural Feature Correlations via Graph Neural Networks. Structural features are important features in a geometrical graph. Although there are some correlation analysis of features based on covariance, there is no relevant research on structural feature correlation analysis with graph neural networks. In this paper, we introuduce graph feature to feature (Fea2Fea) prediction pipelines in a low dimensional space to explore some preliminary results on structural feature correlation, which is based on graph neural network. The results show that there exists high correlation between some of the structural features. An irredundant feature combination with initial node features, which is filtered by graph neural network has improved its classification accuracy in some graph based tasks. We compare differences between concatenation methods on connecting embeddings between features and show that the simplest is the best. We generalize on the synthetic geometric graphs and certify the results on prediction difficulty between structural features.


Vincular Pattern Avoidance on Cyclic Permutations. Pattern avoidance for permutations has been extensively studied, and has been generalized to vincular patterns, where certain elements can be required to be adjacent. In addition, cyclic permutations, i.e., permutations written in a circle rather than a line, have been frequently studied, including in the context of pattern avoidance. We investigate vincular pattern avoidance on cyclic permutations. In particular, we enumerate many avoidance classes of sets of vincular patterns of length 3, including a complete enumeration for all single patterns of length 3. Further, several of the avoidance classes corresponding to a single vincular pattern of length 4 are enumerated by the Catalan numbers. We then study more generally whether sets of vincular patterns of an arbitrary length k can be avoided for arbitrarily long cyclic permutations, in particular investigating the boundary cases of minimal unavoidable sets and maximal avoidable sets.


Machine Learning for Performance Prediction of Channel Bonding in Next Generation IEEE 802.11 WLANs. With the advent of Artificial Intelligence (AI) empowered communications, industry, academia, and standardization organizations are progressing on the definition of mechanisms and procedures to address the increasing complexity of future 5G and beyond communications. In this context, the International Telecommunication Union (ITU) organized the first AI for 5G Challenge to bring industry and academia together to introduce and solve representative problems related to the application of Machine Learning (ML) to networks. In this paper, we present the results gathered from Problem Statement 13 (PS 013), organized by Universitat Pompeu Fabra (UPF), which primary goal was predicting the performance of next generation Wireless Local Area Networks (WLANs) applying Channel Bonding (CB) techniques. In particular, we overview the ML models proposed by participants (including Artificial Neural Networks, Graph Neural Networks, Random Forest regression, and gradient boosting) and analyze their performance on an open dataset generated using the IEEE 802.11ax oriented Komondor network simulator. The accuracy achieved by the proposed methods demonstrates the suitability of ML for predicting the performance of WLANs. Moreover, we discuss the importance of abstracting WLAN interactions to achieve better results, and we argue that there is certainly room for improvement in throughput prediction through ML.


Generalizable Cross modality Medical Image Segmentation via Style Augmentation and Dual Normalization. For medical image segmentation, imagine if a model was only trained using MR images in source domain, how about its performance to directly segment CT images in target domain? This setting, namely generalizable cross modality segmentation, owning its clinical potential, is much more challenging than other related settings, e.g., domain adaptation. To achieve this goal, we in this paper propose a novel dual normalization model by leveraging the augmented source similar and source dissimilar images during our generalizable segmentation. To be specific, given a single source domain, aiming to simulate the possible appearance change in unseen target domains, we first utilize a nonlinear transformation to augment source similar and source dissimilar images. Then, to sufficiently exploit these two types of augmentations, our proposed dual normalization based model employs a shared backbone yet independent batch normalization layer for separate normalization. Afterward, we put forward a style based selection scheme to automatically choose the appropriate path in the test stage. Extensive experiments on three publicly available datasets, i.e., BraTS, Cross Modality Cardiac, and Abdominal Multi Organ datasets, have demonstrated that our method outperforms other state of the art domain generalization methods. Code is available at https github.com zzzqzhou Dual Normalization.


Multimodal VAE Active Inference Controller. Active inference, a theoretical construct inspired by brain processing, is a promising alternative to control artificial agents. However, current methods do not yet scale to high dimensional inputs in continuous control. Here we present a novel active inference torque controller for industrial arms that maintains the adaptive characteristics of previous proprioceptive approaches but also enables large scale multimodal integration (e.g., raw images). We extended our previous mathematical formulation by including multimodal state representation learning using a linearly coupled multimodal variational autoencoder. We evaluated our model on a simulated 7DOF Franka Emika Panda robot arm and compared its behavior with a previous active inference baseline and the Panda built in optimized controller. Results showed improved tracking and control in goal directed reaching due to the increased representation power, high robustness to noise and adaptability in changes on the environmental conditions and robot parameters without the need to relearn the generative models nor parameters retuning.


Classification of variants of partial Brauer monoids. A variant of a semigroup S with respect to an element a in S is the semigroup S a (S, star a ) , where x star a y xay for any x,y in S . Here, a is the sandwich element of S a . In this article, we study variants of the partial Brauer monoid mathcal PB n for n in mathbb N . We give the classification of these variants in the case when the rank of the sandwich element is nonzero.


Augmenting Anchors by the Detector Itself. Usually, it is difficult to determine the scale and aspect ratio of anchors for anchor based object detection methods. Current state of the art object detectors either determine anchor parameters according to objects' shape and scale in a dataset, or avoid this problem by utilizing anchor free methods, however, the former scheme is dataset specific and the latter methods could not get better performance than the former ones. In this paper, we propose a novel anchor augmentation method named AADI, which means Augmenting Anchors by the Detector Itself. AADI is not an anchor free method, instead, it can convert the scale and aspect ratio of anchors from a continuous space to a discrete space, which greatly alleviates the problem of anchors' designation. Furthermore, AADI is a learning based anchor augmentation method, but it does not add any parameters or hyper parameters, which is beneficial for research and downstream tasks. Extensive experiments on COCO dataset demonstrate the effectiveness of AADI, specifically, AADI achieves significant performance boosts on many state of the art object detectors (eg. at least 2.4 box AP on Faster R CNN, 2.2 box AP on Mask R CNN, and 0.9 box AP on Cascade Mask R CNN). We hope that this simple and cost efficient method can be widely used in object detection. Code and models are available at https github.com WanXiaopei aadi.


Communication Costs in a Geometric Communication Network. A communication network is a graph in which each node has only local information about the graph and nodes communicate by passing messages along its edges. Here, we consider the it geometric communication network where the nodes also occupy points in space and the distance between points is the Euclidean distance. Our goal is to understand the communication cost needed to solve several fundamental geometry problems, including Convex Hull, Diameter, Closest Pair, and approximations of these problems, in the asynchronous CONGEST KT1 model. This extends the 2011 result of Rajsbaum and Urrutia for finding a convex hull of a planar geometric communication network to networks of arbitrary topology.


Self Supervised Learning of Depth and Ego Motion from Video by Alternative Training and Geometric Constraints from 3D to 2D. Self supervised learning of depth and ego motion from unlabeled monocular video has acquired promising results and drawn extensive attention. Most existing methods jointly train the depth and pose networks by photometric consistency of adjacent frames based on the principle of structure from motion (SFM). However, the coupling relationship of the depth and pose networks seriously influences the learning performance, and the re projection relations is sensitive to scale ambiguity, especially for pose learning. In this paper, we aim to improve the depth pose learning performance without the auxiliary tasks and address the above issues by alternative training each task and incorporating the epipolar geometric constraints into the Iterative Closest Point (ICP) based point clouds match process. Distinct from jointly training the depth and pose networks, our key idea is to better utilize the mutual dependency of these two tasks by alternatively training each network with respective losses while fixing the other. We also design a log scale 3D structural consistency loss to put more emphasis on the smaller depth values during training. To makes the optimization easier, we further incorporate the epipolar geometry into the ICP based learning process for pose learning. Extensive experiments on various benchmarks datasets indicate the superiority of our algorithm over the state of the art self supervised methods.


Semi Autoregressive Image Captioning. Current state of the art approaches for image captioning typically adopt an autoregressive manner, i.e., generating descriptions word by word, which suffers from slow decoding issue and becomes a bottleneck in real time applications. Non autoregressive image captioning with continuous iterative refinement, which eliminates the sequential dependence in a sentence generation, can achieve comparable performance to the autoregressive counterparts with a considerable acceleration. Nevertheless, based on a well designed experiment, we empirically proved that iteration times can be effectively reduced when providing sufficient prior knowledge for the language decoder. Towards that end, we propose a novel two stage framework, referred to as Semi Autoregressive Image Captioning (SAIC), to make a better trade off between performance and speed. The proposed SAIC model maintains autoregressive property in global but relieves it in local. Specifically, SAIC model first jumpily generates an intermittent sequence in an autoregressive manner, that is, it predicts the first word in every word group in order. Then, with the help of the partially deterministic prior information and image features, SAIC model non autoregressively fills all the skipped words with one iteration. Experimental results on the MS COCO benchmark demonstrate that our SAIC model outperforms the preceding non autoregressive image captioning models while obtaining a competitive inference speedup. Code is available at https github.com feizc SAIC.


Two Hop Network with Multiple Decision Centers under Expected Rate Constraints. The paper studies distributed binary hypothesis testing over a two hop relay network where both the relay and the receiver decide on the hypothesis. Both communication links are subject to expected rate constraints, which differs from the classical assumption of maximum rate constraints. We exactly characterize the set of type II error exponent pairs at the relay and the receiver when both type I error probabilities are constrained by the same value epsilon 0 . No tradeoff is observed between the two exponents, i.e., one can simultaneously attain maximum type II error exponents both at the relay and at the receiver. For epsilon 1 neq epsilon 2 , we present an achievable exponents region, which we obtain with a scheme that applies different versions of a basic two hop scheme that is optimal under maximum rate constraints. We use the basic two hop scheme with two choices of parameters and rates, depending on the transmitter's observed sequence. For epsilon 1 epsilon 2 , a single choice is shown to be sufficient. Numerical simulations indicate that extending to three or more parameter choices is never beneficial.


Developing a Prototype of a Mechanical Ventilator Controller from Requirements to Code with ASMETA. Rigorous development processes aim to be effective in developing critical systems, especially if failures can have catastrophic consequences for humans and the environment. Such processes generally rely on formal methods, which can guarantee, thanks to their mathematical foundation, model preciseness, and properties assurance. However, they are rarely adopted in practice. In this paper, we report our experience in using the Abstract State Machine formal method and the ASMETA framework in developing a prototype of the control software of the MVM (Mechanical Ventilator Milano), a mechanical lung ventilator that has been designed, successfully certified, and deployed during the COVID 19 pandemic. Due to time constraints and lack of skills, no formal method was applied for the MVM project. However, we here want to assess the feasibility of developing (part of) the ventilator by using a formal method based approach. Our development process starts from a high level formal specification of the system to describe the MVM main operation modes. Then, through a sequence of refined models, all the other requirements are captured, up to a level in which a C implementation of a prototype of the MVM controller is automatically generated from the model, and tested. Along the process, at each refinement level, different model validation and verification activities are performed, and each refined model is proved to be a correct refinement of the previous level. By means of the MVM case study, we evaluate the effectiveness and usability of our formal approach.


The Lov 'asz Cherkassky theorem in countable graphs. Lov 'asz and Cherkassky discovered in the 1970s independently that if G is a finite graph with a given set T of terminal vertices such that G is inner Eulerian, then the maximal number of edge disjoint paths connecting distinct vertices in T is sum t in T lambda(t, T t) where lambda is the local edge connectivity function. The optimality of a system of edge disjoint T paths in the Lov 'asz Cherkassky theorem is witnessed by the existence of certain cuts by Menger's theorem. The infinite generalisation of Menger's theorem by Aharoni and Berger (earlier known as the Erd H o s Menger Conjecture) together with the characterization of infinite Eulerian graphs due to Nash Williams makes it possible to generalise the theorem for infinite graphs in a structural way. The aim of this paper is to formulate this generalisation and prove it for countable graphs.


Cascading behavior of an extended Watts model on networks. In this study, we propose an extended Watts model to examine the effect of initiators on information cascades. The extended Watts model assumes that nodes with connections to initiators have low adoption thresholds than other nodes, due to the significant influence of initiators. We develop a tree approximation to describe the active node fraction for the extended Watts model in random networks and derive the cascade condition for a global cascade to occur with a small fraction of initiators. By analyzing the active node fraction and the cascade window of the extended Watts model on the Erdos Renyi random graph, we find that increasing the influence of initiators facilitates the possibility of global cascades, i.e., how many nodes eventually become active is significantly affected by the fraction of initiators and the threshold of nodes directly connected to initiators, which determine cascade dynamics at early stages.


The State of SLIVAR What's next for robots, human robot interaction, and (spoken) dialogue systems?. We synthesize the reported results and recommendations of recent workshops and seminars that convened to discuss open questions within the important intersection of robotics, human robot interaction, and spoken dialogue systems research. The goal of this growing area of research interest is to enable people to more effectively and naturally communicate with robots. To carry forward opportunities networking and discussion towards concrete, potentially fundable projects, we encourage interested parties to consider participating in future virtual and in person discussions and workshops.


An asymptotically tight lower bound for superpatterns with small alphabets. A permutation sigma in S n is a k superpattern (or k universal) if it contains each tau in S k as a pattern. This notion of "superpatterns" can be generalized to words on smaller alphabets, and several questions about superpatterns on small alphabets have recently been raised in the survey of Engen and Vatter. One of these questions concerned the length of the shortest k superpattern on k 1 . A construction by Miller gave an upper bound of (k 2 k) 2 , which we show is optimal up to lower order terms. This implies a weaker version of a conjecture by Eriksson, Eriksson, Linusson and Wastlund. Our results also refute a 40 year old conjecture of Gupta.


DF VO What Should Be Learnt for Visual Odometry?. Multi view geometry based methods dominate the last few decades in monocular Visual Odometry for their superior performance, while they have been vulnerable to dynamic and low texture scenes. More importantly, monocular methods suffer from scale drift issue, i.e., errors accumulate over time. Recent studies show that deep neural networks can learn scene depths and relative camera in a self supervised manner without acquiring ground truth labels. More surprisingly, they show that the well trained networks enable scale consistent predictions over long videos, while the accuracy is still inferior to traditional methods because of ignoring geometric information. Building on top of recent progress in computer vision, we design a simple yet robust VO system by integrating multi view geometry and deep learning on Depth and optical Flow, namely DF VO. In this work, a) we propose a method to carefully sample high quality correspondences from deep flows and recover accurate camera poses with a geometric module b) we address the scale drift issue by aligning geometrically triangulated depths to the scale consistent deep depths, where the dynamic scenes are taken into account. Comprehensive ablation studies show the effectiveness of the proposed method, and extensive evaluation results show the state of the art performance of our system, e.g., Ours (1.652 ) v.s. ORB SLAM (3.247 ) in terms of translation error in KITTI Odometry benchmark. Source code is publicly available at href https github.com Huangying Zhan DF VO DF VO .


Hierarchical automatic lane changing motion planning from self optimum to local optimum. In order to minimize the impact of lane change (LC) maneuver on surrounding traffic environment, a hierarchical automatic LC algorithm that could realize local optimum has been proposed. This algorithm consists of a tactical layer planner and an operational layer controller. The former generates a local optimum trajectory. The comfort, efficiency, and safety of the LC vehicle and its surrounding vehicles are simultaneously satisfied in the optimization objective function. The later is designed based on vehicle kinematics model and the Model Predictive Control (MPC), which aims to minimize the tracking error and control increment. Combining macro level and micro level analysis, we verify the effectiveness of the proposed algorithm. Our results demonstrate that our proposed algorithm could greatly reduce the impact of LC maneuver on traffic flow. This is reflected in the decrease of total loss for nearby vehicles (such as discomfort and speed reduction), and the increase of traffic speed and throughput within the LC area. In addition, in order to guide the practical application of our algorithm, we employ the HighD dataset to validate the algorithm. This research could also be regarded as a preliminary foundational work to develop locally optimal automatic LC algorithm. We anticipate that this research could provide valuable insights into autonomous driving technology.


Decomposable Submodular Function Minimization via Maximum Flow. This paper bridges discrete and continuous optimization approaches for decomposable submodular function minimization, in both the standard and parametric settings. We provide improved running times for this problem by reducing it to a number of calls to a maximum flow oracle. When each function in the decomposition acts on O(1) elements of the ground set V and is polynomially bounded, our running time is up to polylogarithmic factors equal to that of solving maximum flow in a sparse graph with O( vert V vert) vertices and polynomial integral capacities. We achieve this by providing a simple iterative method which can optimize to high precision any convex function defined on the submodular base polytope, provided we can efficiently minimize it on the base polytope corresponding to the cut function of a certain graph that we construct. We solve this minimization problem by lifting the solutions of a parametric cut problem, which we obtain via a new efficient combinatorial reduction to maximum flow. This reduction is of independent interest and implies some previously unknown bounds for the parametric minimum s,t cut problem in multiple settings.


Deep Unsupervised Active Learning on Learnable Graphs. Recently deep learning has been successfully applied to unsupervised active learning. However, current method attempts to learn a nonlinear transformation via an auto encoder while ignoring the sample relation, leaving huge room to design more effective representation learning mechanisms for unsupervised active learning. In this paper, we propose a novel deep unsupervised Active Learning model via Learnable Graphs, named ALLG. ALLG benefits from learning optimal graph structures to acquire better sample representation and select representative samples. To make the learnt graph structure more stable and effective, we take into account k nearest neighbor graph as a priori, and learn a relation propagation graph structure. We also incorporate shortcut connections among different layers, which can alleviate the well known over smoothing problem to some extent. To the best of our knowledge, this is the first attempt to leverage graph structure learning for unsupervised active learning. Extensive experiments performed on six datasets demonstrate the efficacy of our method.


High Q slow light and its localization in a photonic crystal microring. We introduce a photonic crystal ring cavity that resembles an internal gear and unites photonic crystal (PhC) and whispering gallery mode (WGM) concepts. This microgear' photonic crystal ring (MPhCR) is created by applying a periodic modulation to the inside boundary of a microring resonator to open a large bandgap, as in a PhC cavity, while maintaining the ring's circularly symmetric outside boundary and high quality factor ( Q ), as in a WGM cavity. The MPhCR targets a specific WGM to open a large PhC bandgap up to tens of free spectral ranges, compressing the mode spectrum while maintaining the high Q , angular momenta, and waveguide coupling properties of the WGM modes. In particular, near the dielectric band edge, we observe modes whose group velocity is slowed down by 10 times relative to conventional microring modes while supporting Q (1.1 pm0.1) times10 6 . This Q is approx 50 times that of the previous record in slow light devices. Using the slow light design as a starting point, we further demonstrate the ability to localize WGMs into photonic crystal defect (dPhC) modes for the first time, enabling a more than 10 times reduction of mode volume compared to conventional WGMs while maintaining high Q up to (5.6 pm 0.1) times 10 5 . Importantly, this additional dPhC localization is achievable without requiring detailed electromagnetic design. Moreover, controlling their frequencies and waveguide coupling is straightforward in the MPhCR, thanks to its WGM heritage. By using a PhC to strongly modify fundamental properties of WGMs, such as group velocity and localization, the MPhCR provides an exciting platform for a broad range of photonics applications, including sensing metrology, nonlinear optics, and cavity quantum electrodynamics.


Approximate Gomory Hu Tree Is Faster Than n 1 Max Flows. The Gomory Hu tree or cut tree (Gomory and Hu, 1961) is a classic data structure for reporting (s,t) mincuts (and by duality, the values of (s,t) maxflows) for all pairs of vertices s and t in an undirected graph. Gomory and Hu showed that it can be computed using n 1 exact maxflow computations. Surprisingly, this remains the best algorithm for Gomory Hu trees more than 50 years later, even for approximate mincuts . In this paper, we break this longstanding barrier and give an algorithm for computing a (1 epsilon) approximate Gomory Hu tree using text polylog (n) maxflow computations. Specifically, we obtain the runtime bounds we describe below. We obtain a randomized (Monte Carlo) algorithm for undirected, weighted graphs that runs in tilde O(m n 3 2 ) time and returns a (1 epsilon) approximate Gomory Hu tree algorithm w.h.p. Previously, the best running time known was tilde O(n 5 2 ) , which is obtained by running Gomory and Hu's original algorithm on a cut sparsifier of the graph. Next, we obtain a randomized (Monte Carlo) algorithm for undirected, unweighted graphs that runs in m 4 3 o(1) time and returns a (1 epsilon) approximate Gomory Hu tree algorithm w.h.p. This improves on our first result for sparse graphs, namely m o(n 9 8 ) . Previously, the best running time known for unweighted graphs was tilde O(mn) for an exact Gomory Hu tree (Bhalgat et al., STOC 2007) no better result was known if approximations are allowed. As a consequence of our Gomory Hu tree algorithms, we also solve the (1 epsilon) approximate all pairs mincut and single source mincut problems in the same time bounds. (These problems are simpler in that the goal is to only return the (s,t) mincut values, and not the mincuts.) This improves on the recent algorithm for these problems in tilde O(n 2) time due to Abboud et al. (FOCS 2020).


Long Term Autonomy in Forest Environment using Self Corrective SLAM. Vehicles with prolonged autonomous missions have to maintain environment awareness by simultaneous localization and mapping (SLAM). Closed loop correction is substituted by interpolation in rigid body transformation space in order to systematically reduce the accumulated error over different scales. The computation is divided to an edge computed lightweight SLAM and iterative corrections in the cloud environment. Tree locations in the forest environment are sent via a potentially limited communication bandwidths. Data from a real forest site is used in the verification of the proposed algorithm. The algorithm adds new iterative closest point (ICP) cases to the initial SLAM and measures the resulting map quality by the mean of the root mean squared error (RMSE) of individual tree clusters. Adding 4 more match cases yields the mean RMSE 0.15 m on a large site with 180 m odometric distance.


Fundamental Wireless Performance of a Building. Over 80 of wireless traffic already takes place in buildings. Like water, gas, and electricity, wireless communication is becoming one of the most fundamental utilities of a building. It is well known that building structures have a significant impact on in building wireless networks. If we seek to achieve the optimal network performance indoors, the buildings should be designed with the objective of maximizing wireless performance. So far, wireless performance has not yet been considered when designing a building. In this paper, we introduce a novel and interdisciplinary concept of building wireless performance (BWP) to a wide audience in both wireless communications and building design, emphasizing its broad impacts on wireless network development and deployment, and on building layout material design. We first give an overview of the BWP evaluation framework proposed in our state of the art works and explain their interconnections. Then, we outline the potential research directions in this exciting research area to encourage further interdisciplinary research.


The Reachability Problem for Petri Nets is Not Primitive Recursive. We provide an Ackermannian complexity lower bound for the reachability problem for checking programs, a model equivalent to Petri nets. Moreover in fixed dimension 2d 4 , we show that the problem is mathbb F d hard. As a direct corollary, the reachability problem in dimension 10 is not elementary.


Drift reduced Landau fluid model for magnetized plasma turbulence simulations in BOUT framework. Recently the drift reduced Landau fluid six field turbulence model within the BOUT framework has been upgraded. In particular, this new model employs a new normalization, adds a volumetric flux driven source option, the Landau fluid closure for parallel heat flux and a Laplacian inversion solver which is able to capture n 0 axisymmetric mode evolution in realistic tokamak configurations. These improvements substantially extended model's capability to study a wider range of tokamak edge phenomena, and are essential to build a fully self consistent edge turbulence model capable of both transient (e.g., ELM, disruption) and transport time scale simulations.


A Liouville type theorem of the linearly perturbed Paneitz equation on S 3 . We prove a Liouville type theorem for the linearly perturbed Paneitz equation For epsilon 0 small enough, if u epsilon is a positive smooth solution of P S 3 u epsilon epsilon u epsilon u epsilon 7 qquad mathrm on S 3, where P S 3 is the Paneitz operator of the round metric g S 3 , then u epsilon is constant. This confirms a conjecture proposed by Fengbo Hang and Paul Yang in Int. Math. Res. Not. IMRN, 2020 (11) .


Solitary solution method for incompressible Navier Stokes PDE. The method exploits the contraction of space to systematically obtain compact solitary solutions. The latter is provided for the incompressible Euler and Navier Stokes PDE. The nonlinear response of momentum advection is moved into a term for contracting space. Then the linear continuity PDE is solved by means of arbitrarily selected closure functions. The contracting space is then split into two variables. The compactness of some solutions is enhanced by numerically integrating the contracting domain while retaining a solution for the nonlinear PDE. The validation of numerical schemes is demonstrated for the Euler and Navier Stokes PDE. As the nonlinear response is isolated in only one spatial dimension, the method permits to validate arbitrary unstructured meshes and domain geometries by introducing the spatial dimension n 1.


The Multimodal Driver Monitoring Database A Naturalistic Corpus to Study Driver Attention. A smart vehicle should be able to monitor the actions and behaviors of the human driver to provide critical warnings or intervene when necessary. Recent advancements in deep learning and computer vision have shown great promise in monitoring human behaviors and activities. While these algorithms work well in a controlled environment, naturalistic driving conditions add new challenges such as illumination variations, occlusions and extreme head poses. A vast amount of in domain data is required to train models that provide high performance in predicting driving related tasks to effectively monitor driver actions and behaviors. Toward building the required infrastructure, this paper presents the multimodal driver monitoring (MDM) dataset, which was collected with 59 subjects that were recorded performing various tasks. We use the Fi Cap device that continuously tracks the head movement of the driver using fiducial markers, providing frame based annotations to train head pose algorithms in naturalistic driving conditions. We ask the driver to look at predetermined gaze locations to obtain accurate correlation between the driver's facial image and visual attention. We also collect data when the driver performs common secondary activities such as navigation using a smart phone and operating the in car infotainment system. All of the driver's activities are recorded with high definition RGB cameras and time of flight depth camera. We also record the controller area network bus (CAN Bus), extracting important information. These high quality recordings serve as the ideal resource to train various efficient algorithms for monitoring the driver, providing further advancements in the field of in vehicle safety systems.


Dynamic Social Media Monitoring for Fast Evolving Online Discussions. Tracking and collecting fast evolving online discussions provides vast data for studying social media usage and its role in people's public lives. However, collecting social media data using a static set of keywords fails to satisfy the growing need to monitor dynamic conversations and to study fast changing topics. We propose a dynamic keyword search method to maximize the coverage of relevant information in fast evolving online discussions. The method uses word embedding models to represent the semantic relations between keywords and predictive models to forecast the future time series. We also implement a visual user interface to aid in the decision making process in each round of keyword updates. This allows for both human assisted tracking and fully automated data collection. In simulations using historical MeToo data in 2017, our human assisted tracking method outperforms the traditional static baseline method significantly, with 37.1 higher F 1 score than traditional static monitors in tracking the top trending keywords. We conduct a contemporary case study to cover dynamic conversations about the recent Presidential Inauguration and to test the dynamic data collection system. Our case studies reflect the effectiveness of our process and also points to the potential challenges in future deployment.


Do Prompt Based Models Really Understand the Meaning of their Prompts?. Recently, a boom of papers has shown extraordinary progress in zero shot and few shot learning with various prompt based models. It is commonly argued that prompts help models to learn faster in the same way that humans learn faster when provided with task instructions expressed in natural language. In this study, we experiment with over 30 prompt templates manually written for natural language inference (NLI). We find that models learn just as fast with many prompts that are intentionally irrelevant or even pathologically misleading as they do with instructively "good" prompts. Further, such patterns hold even for models as large as 175 billion parameters (Brown et al., 2020) as well as the recently proposed instruction tuned models which are trained on hundreds of prompts (Sanh et al., 2022). That is, instruction tuned models often produce good predictions with irrelevant and misleading prompts even at zero shots. In sum, notwithstanding prompt based models' impressive improvement, we find evidence of serious limitations that question the degree to which such improvement is derived from models understanding task instructions in ways analogous to humans' use of task instructions.


Reduced order model approach for imaging with waves. We introduce a novel, computationally inexpensive approach for imaging with an active array of sensors, which probe an unknown medium with a pulse and measure the resulting waves. The imaging function uses a data driven estimate of the "internal wave" originating from the vicinity of the imaging point and propagating to the sensors through the unknown medium. We explain how this estimate can be obtained using a reduced order model (ROM) for the wave propagation. We analyze the imaging function, connect it to the time reversal process and describe how its resolution depends on the aperture of the array, the bandwidth of the probing pulse and the medium through which the waves propagate. We also show how the internal wave can be used for selective focusing of waves at points in the imaging region. This can be implemented experimentally and can be used for pixel scanning imaging. We assess the performance of the imaging methods with numerical simulations and compare them to the conventional reverse time migration method and the "backprojection" method introduced recently as an application of the same ROM.


Ultra low memory seismic inversion with randomized trace estimation. Inspired by recent work on extended image volumes that lays the ground for randomized probing of extremely large seismic wavefield matrices, we present a memory frugal and computationally efficient inversion methodology that uses techniques from randomized linear algebra. By means of a carefully selected realistic synthetic example, we demonstrate that we are capable of achieving competitive inversion results at a fraction of the memory cost of conventional full waveform inversion with limited computational overhead. By exchanging memory for negligible computational overhead, we open with the presented technology the door towards the use of low memory accelerators such as GPUs.


Two Many Cooks Understanding Dynamic Human Agent Team Communication and Perception Using Overcooked 2. This paper describes a research study that aims to investigate changes in effective communication during human AI collaboration with special attention to the perception of competence among team members and varying levels of task load placed on the team. We will also investigate differences between human human teamwork and human agent teamwork. Our project will measure differences in the communication quality, team perception and performance of a human actor playing a Commercial Off The Shelf game (COTS) with either a human teammate or a simulated AI teammate under varying task load. We argue that the increased cognitive workload associated with increases task load will be negatively associated with team performance and have a negative impact on communication quality. In addition, we argue that positive team perceptions will have a positive impact on the communication quality between a user and teammate in both the human and AI teammate conditions. This project will offer more refined insights on Human AI relationship dynamics in collaborative tasks by considering communication quality, team perception, and performance under increasing cognitive workload.


Variance estimates in Linnik's problem. We evaluate the variance of the number of lattice points in a small randomly rotated spherical ball on a surface of 3 dimensional sphere centered at the origin. Previously, Bourgain, Rudnick, and Sarnak showed conditionally on the Generalized Lindel "of Hypothesis that the variance is bounded from above by sigma( Omega n) N n 1 varepsilon , where sigma( Omega n) is the area of the ball Omega n on the unit sphere, N n is the total number of solutions of Diophantine equation x 2 y 2 z 2 n . Assuming the Grand Riemann Hypothesis and using the moments method of Soundararajan and Harper, we establish the upper bound of the form c sigma( Omega n) N n , where c is an absolute constant. This bound is of the conjectured order of magnitude.


Incorporating microlearning videos, online exercises and assessments into introductory physics. We report on the evolution of the largest physics course at the Technical University Berlin during the COVID 19 pandemic, which boosted the development of online learning content, electronic assessments, and, not at least, the reconceptualization of our teaching methods. By shifting to distance education, we created features that can be easily implemented and combined with any physics type course at a university level. Thereby, we incidentally made introductory physics sustainably accessible to students having difficulties visiting the university. Besides our experiences gained on blended learning methods, we provide a guide to online exercises, microlearning videos, and e assessments, including exams realized in a virtual setting via the university's Moodle. Since the course is attended annually by more than 800 students enrolled in at least twelve bachelor degree engineering and all STEM (science, technology, engineering, and mathematics) fields, our reformations greatly impact the student's learning style. The teaching concepts presented here are supported by results from the Force Concept Inventory, student feedback, and exam results. The Force Concept Inventory shows that our online teaching did not negatively affect the student's learning process compared with a traditional face to face lecture. Student's feedback shows that the new format and material being available online are received very well. Finally, the exam results show that virtual exams conducted in a remote setting can be designed to minimize cheating possibilities. In addition, the test was able to yield a similar distribution of points as in the previous traditional ones.


Some results on structure of all arc locally (out) in semicomplete digraphs. Arc locally semicomplete and arc locally in semicomplete digraphs were introduced by Bang Jensen as a common generalization of both semicomplete and semicomplete bipartite digraphs in 1993. Later, Bang Jensen (2004), Galeana Sanchez and Goldfeder (2009) and Wang and Wang (2009) provided a characterization of strong arc locally semicomplete digraphs. In 2009, Wang and Wang characterized strong arc locally in semicomplete digraphs. In 2012, Galeana Sanchez and Goldfeder provided a characterization of all arc locally semicomplete digraphs which generalizes some results by Bang Jensen. In this paper, we characterize the structure of arbitrary connected arc locally (out) in semicomplete digraphs and arbitrary connected arc locally semicomplete digraphs.


Explaining Counterexamples with Giant Step Assertion Checking. Identifying the cause of a proof failure during deductive verification of programs is hard it may be due to an incorrectness in the program, an incompleteness in the program annotations, or an incompleteness of the prover. The changes needed to resolve a proof failure depend on its category, but the prover cannot provide any help on the categorisation. When using an SMT solver to discharge a proof obligation, that solver can propose a model from a failed attempt, from which a possible counterexample can be derived. But the counterexample may be invalid, in which case it may add more confusion than help. To check the validity of a counterexample and to categorise the proof failure, we propose the comparison between the run time assertion checking (RAC) executions under two different semantics, using the counterexample as an oracle. The first RAC execution follows the normal program semantics, and a violation of a program annotation indicates an incorrectness in the program. The second RAC execution follows a novel "giant step" semantics that does not execute loops nor function calls but instead retrieves return values and values of modified variables from the oracle. A violation of the program annotations only observed under giant step execution characterises an incompleteness of the program annotations. We implemented this approach in the Why3 platform for deductive program verification and evaluated it using examples from prior literature.


Fast Algorithms for Stackelberg Prediction Game with Least Squares Loss. The Stackelberg prediction game (SPG) has been extensively used to model the interactions between the learner and data provider in the training process of various machine learning algorithms. Particularly, SPGs played prominent roles in cybersecurity applications, such as intrusion detection, banking fraud detection, spam filtering, and malware detection. Often formulated as NP hard bi level optimization problems, it is generally computationally intractable to find global solutions to SPGs. As an interesting progress in this area, a special class of SPGs with the least squares loss (SPG LS) have recently been shown polynomially solvable by a bisection method. However, in each iteration of this method, a semidefinite program (SDP) needs to be solved. The resulted high computational costs prevent its applications for large scale problems. In contrast, we propose a novel approach that reformulates a SPG LS as a single SDP of a similar form and the same dimension as those solved in the bisection method. Our SDP reformulation is, evidenced by our numerical experiments, orders of magnitude faster than the existing bisection method. We further show that the obtained SDP can be reduced to a second order cone program (SOCP). This allows us to provide real time response to large scale SPG LS problems. Numerical results on both synthetic and real world datasets indicate that the proposed SOCP method is up to 20,000 times faster than the state of the art.


Set valued Ito's formula with an application to the general set valued backward stochastic differential equation. The overarching goal of this paper is to establish a set valued It o 's formula. As an application, we obtain the existence and uniqueness of solutions for the general set valued backward stochastic differential equation which gives an answer to an open question proposed by Ararat et al. (C. Ararat, J. Ma and W.Q. Wu, Set valued backward stochastic differential equation, arXiv 2007.15073).


Fluctuation in background synaptic activity controls synaptic plasticity. Synaptic plasticity is vital for learning and memory in the brain. It consists of long term potentiation (LTP) and long term depression (LTD). Spike frequency is one of the major components of synaptic plasticity in the brain, a noisy environment. Recently, we mathematically analysed the frequency dependent synaptic plasticity (FDP) in vivo and found that LTP is more likely to occur with an increase in the frequency of background synaptic activity. Previous studies suggest fluctuation in the amplitude of background synaptic activity. However, little is understood about the relationship between synaptic plasticity and the fluctuation in the background synaptic activity. To address this issue, we performed numerical simulations of a calcium based synapse model. Then, we found attenuation of the tendency to become LTD due to an increase in the fluctuation of background synaptic activity, leading to an enhancement of synaptic weight. Our result suggests that the fluctuation affect synaptic plasticity in the brain.


Preventing posterior collapse in variational autoencoders for text generation via decoder regularization. Variational autoencoders trained to minimize the reconstruction error are sensitive to the posterior collapse problem, that is the proposal posterior distribution is always equal to the prior. We propose a novel regularization method based on fraternal dropout to prevent posterior collapse. We evaluate our approach using several metrics and observe improvements in all the tested configurations.


Mean dimension of continuous cellular automata. We investigate the mean dimension of a cellular automaton (CA for short) with a compact non discrete space of states. A formula for the mean dimension is established for (near) strongly permutative, permutative algebraic and unit one dimensional automata. In higher dimensions, a CA permutative algebraic or having a spaceship has infinite mean dimension. However, building on Meyerovitch's example, we give an example of algebraic surjective cellular automaton with positive finite mean dimension.


The radial defocusing energy supercritical NLS in dimension four. We consider the radial defocusing nonlinear Schr "odinger equations iu t Delta u u p u with supercritical exponent p 4 in four space dimensions, and prove that any radial solution that remains bounded in the critical Sobolev space must be global and scatter.


Orthomodular posets are algebras over bounded posets with involution. We prove that there is a monadic adjunction between the category of bounded posets with involution and the category of orthomodular posets.


We Need to Talk About Data The Importance of Data Readiness in Natural Language Processing. In this paper, we identify the state of data as being an important reason for failure in applied Natural Language Processing (NLP) projects. We argue that there is a gap between academic research in NLP and its application to problems outside academia, and that this gap is rooted in poor mutual understanding between academic researchers and their non academic peers who seek to apply research results to their operations. To foster transfer of research results from academia to non academic settings, and the corresponding influx of requirements back to academia, we propose a method for improving the communication between researchers and external stakeholders regarding the accessibility, validity, and utility of data based on Data Readiness Levels cite lawrence2017data . While still in its infancy, the method has been iterated on and applied in multiple innovation and research projects carried out with stakeholders in both the private and public sectors. Finally, we invite researchers and practitioners to share their experiences, and thus contributing to a body of work aimed at raising awareness of the importance of data readiness for NLP.


Deep Feedback Inverse Problem Solver. We present an efficient, effective, and generic approach towards solving inverse problems. The key idea is to leverage the feedback signal provided by the forward process and learn an iterative update model. Specifically, at each iteration, the neural network takes the feedback as input and outputs an update on the current estimation. Our approach does not have any restrictions on the forward process it does not require any prior knowledge either. Through the feedback information, our model not only can produce accurate estimations that are coherent to the input observation but also is capable of recovering from early incorrect predictions. We verify the performance of our approach over a wide range of inverse problems, including 6 DOF pose estimation, illumination estimation, as well as inverse kinematics. Comparing to traditional optimization based methods, we can achieve comparable or better performance while being two to three orders of magnitude faster. Compared to deep learning based approaches, our model consistently improves the performance on all metrics. Please refer to the project page for videos, animations, supplementary materials, etc.


Convergence error estimates at low regularity for time discretizations of KdV. We consider various filtered time discretizations of the periodic Korteweg de Vries equation a filtered exponential integrator, a filtered Lie splitting scheme as well as a filtered resonance based discretisation and establish convergence error estimates at low regularity. Our analysis is based on discrete Bourgain spaces and allows to prove convergence in L 2 for rough data u 0 in H s, s 0 with an explicit convergence rate.


Homological Dimensions of Extriangulated Categories and Recollements. In this paper, let ( mathcal A , mathcal B , mathcal C ) be a recollement of extriangulated categories. We introduce the global dimension and extension dimension of extriangulated categories, and give some upper bounds of global dimensions (resp. extension dimensions) of the categories involved in ( mathcal A , mathcal B , mathcal C ) , which give a simultaneous generalization of some results in the recollement of abelian categories and triangulated categories.


Borel Edge Colorings for Finite Dimensional Groups. We study the potential of Borel asymptotic dimension, a tool introduced recently in arXiv 2009.06721, to help produce Borel edge colorings of Schreier graphs generated by Borel group actions. We find that it allows us to recover the classical bound of Vizing in certain cases, and also use it to exactly determine the Borel edge chromatic number for free actions of abelian groups.


Transverse mathcal F T entropy and transverse Ricci flow for Riemannian foliations. In this paper, we introduced an entropy functional on Riemannian foliation, inspired by the work of , which is monotonically along the transverse Ricci flow. We relate their gradient flow, via diffeomorphisms preserving the foliated structure of the manifold with Riemannian foliation, to the transverse Ricci flow. Moreover, inspired by the work of Fang and Zhang, we give a necessary condition for codimension 4 Riemannian foliation admitting the transverse Einstein metric.


Asymptotic Brauer p Dimension. We define and compute operatorname ABrd p(F) , the asymptotic Brauer p dimension of a field F , in cases where F is a rational function field or Laurent series field. operatorname ABrd p(F) is defined like the Brauer p dimension except it considers finite sets of Brauer classes instead of single classes. Our main result shows that for fields F 0( alpha 1, dots, alpha n) and F 0 ( !( alpha 1) !) dots( !( alpha n) !) where F 0 is a perfect field of characteristic p 0 when n geq 2 the asymptotic Brauer p dimension is n . We also show that it is n 1 when F F 0 ( !( alpha 1) !) dots( !( alpha n) !) and F 0 is algebraically closed of characteristic not p . We conclude the paper with examples of pairs of cyclic algebras of odd prime degree p over a field F for which operatorname Brd p(F) 2 that share no maximal subfields despite their tensor product being non division.


Nanophotonic chiral sensing How does it actually work?. Nanophotonic chiral sensing has recently attracted a lot of attention. The idea is to exploit the strong light matter interaction in nanophotonic resonators to determine the concentration of chiral molecules at ultra low thresholds, which is highly attractive for numerous applications in life science and chemistry. However, a thorough understanding of the underlying interactions is still missing. The theoretical description relies on either simple approximations or on purely numerical approaches. We close this gap and present a general theory of chiral light matter interactions in arbitrary resonators. Our theory describes the chiral interaction as a perturbation of the resonator modes, also known as resonant states or quasi normal modes. We observe two dominant contributions A chirality induced resonance shift and changes in the modes excitation and emission efficiencies. Our theory brings new and deep insights for tailoring and enhancing chiral light matter interactions. Furthermore, it allows to predict spectra much more efficiently in comparison to conventional approaches. This is particularly true as chiral interactions are inherently weak and therefore perturbation theory fits extremely well for this problem.


AdaPruner Adaptive Channel Pruning and Effective Weights Inheritance. Channel pruning is one of the major compression approaches for deep neural networks. While previous pruning methods have mostly focused on identifying unimportant channels, channel pruning is considered as a special case of neural architecture search in recent years. However, existing methods are either complicated or prone to sub optimal pruning. In this paper, we propose a pruning framework that adaptively determines the number of each layer's channels as well as the wights inheritance criteria for sub network. Firstly, evaluate the importance of each block in the network based on the mean of the scaling parameters of the BN layers. Secondly, use the bisection method to quickly find the compact sub network satisfying the budget. Finally, adaptively and efficiently choose the weight inheritance criterion that fits the current architecture and fine tune the pruned network to recover performance. AdaPruner allows to obtain pruned network quickly, accurately and efficiently, taking into account both the structure and initialization weights. We prune the currently popular CNN models (VGG, ResNet, MobileNetV2) on different image classification datasets, and the experimental results demonstrate the effectiveness of our proposed method. On ImageNet, we reduce 32.8 FLOPs of MobileNetV2 with only 0.62 decrease for top 1 accuracy, which exceeds all previous state of the art channel pruning methods. The code will be released.


Directional TGV based image restoration under Poisson noise. We are interested in the restoration of noisy and blurry images where the texture mainly follows a single direction (i.e., directional images). Problems of this type arise, for example, in microscopy or computed tomography for carbon or glass fibres. In order to deal with these problems, the Directional Total Generalized Variation (DTGV) was developed by Kongskov et al. in 2017 and 2019, in the case of impulse and Gaussian noise. In this article we focus on images corrupted by Poisson noise, extending the DTGV regularization to image restoration models where the data fitting term is the generalized Kullback Leibler divergence. We also propose a technique for the identification of the main texture direction, which improves upon the techniques used in the aforementioned work about DTGV. We solve the problem by an ADMM algorithm with proven convergence and subproblems that can be solved exactly at a low computational cost. Numerical results on both phantom and real images demonstrate the effectiveness of our approach.


Uncertainty sensitive Activity Recognition a Reliability Benchmark and the CARING Models. Beyond assigning the correct class, an activity recognition model should also be able to determine, how certain it is in its predictions. We present the first study of how welthe confidence values of modern action recognition architectures indeed reflect the probability of the correct outcome and propose a learning based approach for improving it. First, we extend two popular action recognition datasets with a reliability benchmark in form of the expected calibration error and reliability diagrams. Since our evaluation highlights that confidence values of standard action recognition architectures do not represent the uncertainty well, we introduce a new approach which learns to transform the model output into realistic confidence estimates through an additional calibration network. The main idea of our Calibrated Action Recognition with Input Guidance (CARING) model is to learn an optimal scaling parameter depending on the video representation. We compare our model with the native action recognition networks and the temperature scaling approach a wide spread calibration method utilized in image classification. While temperature scaling alone drastically improves the reliability of the confidence values, our CARING method consistently leads to the best uncertainty estimates in all benchmark settings.


TransFGU A Top down Approach to Fine Grained Unsupervised Semantic Segmentation. Unsupervised semantic segmentation aims to obtain high level semantic representation on low level visual features without manual annotations. Most existing methods are bottom up approaches that try to group pixels into regions based on their visual cues or certain predefined rules. As a result, it is difficult for these bottom up approaches to generate fine grained semantic segmentation when coming to complicated scenes with multiple objects and some objects sharing similar visual appearance. In contrast, we propose the first top down unsupervised semantic segmentation framework for fine grained segmentation in extremely complicated scenarios. Specifically, we first obtain rich high level structured semantic concept information from large scale vision data in a self supervised learning manner, and use such information as a prior to discover potential semantic categories presented in target datasets. Secondly, the discovered high level semantic categories are mapped to low level pixel features by calculating the class activate map (CAM) with respect to certain discovered semantic representation. Lastly, the obtained CAMs serve as pseudo labels to train the segmentation module and produce final semantic segmentation. Experimental results on multiple semantic segmentation benchmarks show that our top down unsupervised segmentation is robust to both object centric and scene centric datasets under different semantic granularity levels, and outperforms all the current state of the art bottom up methods. Our code is available at url https github.com damo cv TransFGU .


FAMINet Learning Real time Semi supervised Video Object Segmentation with Steepest Optimized Optical Flow. Semi supervised video object segmentation (VOS) aims to segment a few moving objects in a video sequence, where these objects are specified by annotation of first frame. The optical flow has been considered in many existing semi supervised VOS methods to improve the segmentation accuracy. However, the optical flow based semi supervised VOS methods cannot run in real time due to high complexity of optical flow estimation. A FAMINet, which consists of a feature extraction network (F), an appearance network (A), a motion network (M), and an integration network (I), is proposed in this study to address the abovementioned problem. The appearance network outputs an initial segmentation result based on static appearances of objects. The motion network estimates the optical flow via very few parameters, which are optimized rapidly by an online memorizing algorithm named relaxed steepest descent. The integration network refines the initial segmentation result using the optical flow. Extensive experiments demonstrate that the FAMINet outperforms other state of the art semi supervised VOS methods on the DAVIS and YouTube VOS benchmarks, and it achieves a good trade off between accuracy and efficiency. Our code is available at https github.com liuziyang123 FAMINet.


cs.CY cs.SI physics.data-an physics.soc-ph

The Atlas for the Aspiring Network Scientist. Network science is the field dedicated to the investigation and analysis of complex systems via their representations as networks. We normally model such networks as graphs sets of nodes connected by sets of edges and a number of node and edge attributes. This deceptively simple object is the starting point of never ending complexity, due to its ability to represent almost every facet of reality chemical interactions, protein pathways inside cells, neural connections inside the brain, scientific collaborations, financial relations, citations in art history, just to name a few examples. If we hope to make sense of complex networks, we need to master a large analytic toolbox graph and probability theory, linear algebra, statistical physics, machine learning, combinatorics, and more. This book aims at providing the first access to all these tools. It is intended as an "Atlas", because its interest is not in making you a specialist in using any of these techniques. Rather, after reading this book, you will have a general understanding about the existence and the mechanics of all these approaches. You can use such an understanding as the starting point of your own career in the field of network science. This has been, so far, an interdisciplinary endeavor. The founding fathers of this field come from many different backgrounds mathematics, sociology, computer science, physics, history, digital humanities, and more. This Atlas is charting your path to be something different from all of that a pure network scientist.


Surjective isometries on Banach sequence spaces a survey. In this survey, we present several results related to characterizing the surjective isometries on Banach sequence spaces. Our survey includes full proofs of these characterizations for the classical spaces as well as more recent results for combinatorial Banach spaces and Tsirelson type spaces. Along the way, we pose many open problems related to the structure of the group of surjective isometries and characterizations of the group of surjective isometries for various Banach spaces.