Why do you think that? Exploring Faithful Sentence Level Rationales Without Supervision. Evaluating the trustworthiness of a model's prediction is essential for differentiating between right for the right reasons' and right for the wrong reasons'. Identifying textual spans that determine the target label, known as faithful rationales, usually relies on pipeline approaches or reinforcement learning. However, such methods either require supervision and thus costly annotation of the rationales or employ non differentiable models. We propose a differentiable training framework to create models which output faithful rationales on a sentence level, by solely applying supervision on the target task. To achieve this, our model solves the task based on each rationale individually and learns to assign high scores to those which solved the task best. Our evaluation on three different datasets shows competitive results compared to a standard BERT blackbox while exceeding a pipeline counterpart's performance in two cases. We further exploit the transparent decision making process of these models to prefer selecting the correct rationales by applying direct supervision, thereby boosting the performance on the rationale level.


Building blocks for space time non separable pulses. Space time non separable pulses hold promise for topological information transfer, probing ultra fast light matter interactions and engaging toroidal excitations in matter. Spurred by recent advances in ultra fast and topological optics, these exotic electromagnetic excitations are now becoming the focus of growing experimental efforts. Many practical questions are yet to be answered regarding their generation, detection and light matter interactions. In particular, can these pulses be constructed from plane waves or other simple but experimentally accessible waves? Here we demonstrate that they can and as an example we provide analytical expressions for the characteristic case of the flying doughnut pulse which allows the expansion and synthesis of the pulse from sets of monochromatic beams, single cycle pulses, and plane waves.


Principled approach to the selection of the embedding dimension of networks. Network embedding is a general purpose machine learning technique that encodes network structure in vector spaces with tunable dimension. Choosing an appropriate embedding dimension small enough to be efficient and large enough to be effective is challenging but necessary to generate embeddings applicable to a multitude of tasks. Existing strategies for the selection of the embedding dimension rely on performance maximization in downstream tasks. Here, we propose a principled method such that all structural information of a network is parsimoniously encoded. The method is validated on various embedding algorithms and a large corpus of real world networks. The embedding dimension selected by our method in real world networks suggest that efficient encoding in low dimensional spaces is usually possible.


A construction of spherical 3 designs. We give a construction for spherical 3 designs. This construction is a generalization of Bondarenko's work.


Mathematical Analysis of the Photo acoustic imaging modality using resonating dielectric nanoparticles The 2D TM model. We deal with the photoacoustic imaging modality using dielectric nanoparticles as contrast agents. Exciting the heterogeneous tissue, localized in a bounded domain Omega , with an electromagnetic wave, at a given incident frequency, creates heat in its surrounding which in turn generates an acoustic pressure wave (or fluctuations). The acoustic pressure can be measured in the accessible region partial Omega surrounding the tissue of interest. The goal is then to extract information about the optical properties (i.e. the permittivity and conductivity) of this tissue from these measurements. We describe two scenarios. In the first one, we inject single nanoparticles while in the second one we inject couples of closely spaced nanoparticles (i.e. dimers). This can be done using dielectric nanoparticles enjoying high contrasts of both its electric permittivity and conductivity. These results are possible using frequencies of incidence close to the resonances of the used dielectric nanoparticles. This allows us to solve the photoacoustic inverse problem with direct approximation formulas linking the measured pressure to the optical properties of the tissue. The results are justified in the 2D TM model.


Compiling a Calculus for Relaxed Memory Practical constraint based low level concurrency. Crary and Sullivan's Relaxed Memory Calculus (RMC) proposed a new declarative approach for writing low level shared memory concurrent programs in the presence of modern relaxed memory multi processor architectures and optimizing compilers. In RMC, the programmer explicitly specifies constraints on the order of execution of operations and on the visibility of memory writes. These constraints are then enforced by the compiler, which has a wide degree of latitude in how to accomplish its goals. We present rmc compiler, a Clang and LLVM based compiler for RMC extended C and C . In addition to using barriers to enforce ordering, rmc compiler can take advantage of control and data dependencies, something that is beyond the abilities of current C C compilers. In rmc compiler, RMC compilation is modeled as an SMT problem with a cost term the solution with the minimum cost determines the compilation strategy. In testing on ARM and POWER devices, RMC performs quite well, with modest performance improvements relative to C 11 on most of our data structure benchmarks and (on some architectures) dramatic improvements on a read mostly list test that heavily benefits from use of data dependencies for ordering.


Design and Implementation of Air Selection based Augmented Reality Serious Game for Learning Capability Analysis. Rising advancements and ICT have changed the way of life of society, every single logical zone are exploiting innovation to get a genuine improvement. Specialists understand the advantages of utilizing genuine games as a dependable device in psychoanalyst. Hence, the exploration looks at important issues in regards to Dyspraxia issue in youngsters and presents a similar report in the treatments strategies by utilizing a non autonomous riddle and by utilizing the game, a Serious Game created in the intension of helping kids suffering from Dyspraxia to enhance their engine aptitudes and deftness through innovation. The investigation of information results indicated that exist a critical distinction among the two strategies, demonstrating that youngsters spending time with Serious Game got little schedule in the movement running and furthermore enhanced execution.


A complete character recognition and transliteration technique for Devanagari script. Transliteration involves transformation of one script to another based on phonetic similarities between the characters of two distinctive scripts. In this paper, we present a novel technique for automatic transliteration of Devanagari script using character recognition. One of the first tasks performed to isolate the constituent characters is segmentation. Line segmentation methodology in this manuscript discusses the case of overlapping lines. Character segmentation algorithm is designed to segment conjuncts and separate shadow characters. Presented shadow character segmentation scheme employs connected component method to isolate the character, keeping the constituent characters intact. Statistical features namely different order moments like area, variance, skewness and kurtosis along with structural features of characters are employed in two phase recognition process. After recognition, constituent Devanagari characters are mapped to corresponding roman alphabets in way that resulting roman alphabets have similar pronunciation to source characters.


A Study of State Aliasing in Structured Prediction with RNNs. End to end reinforcement learning agents learn a state representation and a policy at the same time. Recurrent neural networks (RNNs) have been trained successfully as reinforcement learning agents in settings like dialogue that require structured prediction. In this paper, we investigate the representations learned by RNN based agents when trained with both policy gradient and value based methods. We show through extensive experiments and analysis that, when trained with policy gradient, recurrent neural networks often fail to learn a state representation that leads to an optimal policy in settings where the same action should be taken at different states. To explain this failure, we highlight the problem of state aliasing, which entails conflating two or more distinct states in the representation space. We demonstrate that state aliasing occurs when several states share the same optimal action and the agent is trained via policy gradient. We characterize this phenomenon through experiments on a simple maze setting and a more complex text based game, and make recommendations for training RNNs with reinforcement learning.


Predicting sparse circle maps from their dynamics. The problem of identifying a dynamical system from its dynamics is of great importance for many applications. Recently it has been suggested to impose sparsity models for improved recovery performance. In this paper, we provide recovery guarantees for such a scenario. More precisely, we show that ergodic systems on the circle described by sparse trigonometric polynomials can be recovered from a number of samples scaling near linearly in the sparsity.


Towards a New Extracting and Querying Approach of Fuzzy Summaries. Diversification of DB applications highlighted the limitations of relational database management system (RDBMS) particularly on the modeling plan. In fact, in the real world, we are increasingly faced with the situation where applications need to handle imprecise data and to offer a flexible querying to their users. Several theoretical solutions have been proposed. However, the impact of this work in practice remained negligible with the exception of a few research prototypes based on the formal model GEFRED. In this chapter, the authors propose a new approach for exploitation of fuzzy relational databases (FRDB) described by the model GEFRED. This approach consists of 1) a new technique for extracting summary fuzzy data, Fuzzy SAINTETIQ, based on the classification of fuzzy data and formal concepts analysis 2) an approach of assessing flexible queries in the context of FDB based on the set of fuzzy summaries generated by our fuzzy SAINTETIQ system 3) an approach of repairing and substituting unanswered query.


Scattering and absorption invariance of nonmagnetic particles under duality transformations. We revisit the total scatterings (in terms of extinction, scattering and absorption cross sections) by arbitrary clusters of nonmagnetic particles that support optically induced magnetic responses. Our reexamination is conducted from the perspective of the electromagnetic duality symmetry, and it is revealed that all total scattering properties are invariant under duality transformations. This secures that for self dual particle clusters, the total scattering properties are polarization independent for any fixed incident direction while for non self dual particle clusters, two scattering configurations that are connected to each other through a duality transformation would exhibit identical scattering properties. This electromagnetic duality induced invariance is irrelevant to specific particle distributions or wave incident directions, which is illustrated for both random and periodic clusters.


On Z2Z4 additive complementary dual codes and related LCD codes. Linear complementary dual codes were defined by Massey in 1992, and were used to give an optimum linear coding solution for the two user binary adder channel. In this paper, we define the analog of LCD codes over fields in the ambient space with mixed binary and quaternary alphabets. These codes are additive, in the sense that they are additive subgroups, rather than linear as they are not vector spaces over some finite field. We study the structure of these codes and we use the canonical Gray map from this space to the Hamming space to construct binary LCD codes in certain cases.


Volatility has to be rough. First, we give an asymptotic expansion of short dated at the money implied volatility that refines the preceding works and proves in particular that non rough volatility models are inconsistent to a power law of volatility skew. Second, we show that given a power law of volatility skew in an option market, a continuous price dynamics of the underlying asset with non rough volatility admits an arbitrage opportunity. The volatility therefore has to be rough in a viable market of the underlying asset of which the volatility skew obeys a power law.


Inferring the causal effect of journals on citations. Articles in high impact journals are, on average, more frequently cited. But are they cited more often because those articles are somehow more "citable"? Or are they cited more often simply because they are published in a high impact journal? Although some evidence suggests the latter, the causal relationship is not clear. We here compare citations of preprints to citations of the published version to uncover the causal mechanism. We build on an earlier model of citation dynamics to infer the causal effect of journals on citations. We find that high impact journals select articles that tend to attract more citations. At the same time, we find that high impact journals augment the citation rate of published articles. Our results yield a deeper understanding of the role of journals in the research system. The use of journal metrics in research evaluation has been increasingly criticized in recent years and article level citations are sometimes suggested as an alternative. Our results show that removing impact factors from evaluation does not negate the influence of journals. This insight has important implications for changing practices of research evaluation.


The 4th AI City Challenge. The AI City Challenge was created to accelerate intelligent video analysis that helps make cities smarter and safer. Transportation is one of the largest segments that can benefit from actionable insights derived from data captured by sensors, where computer vision and deep learning have shown promise in achieving large scale practical deployment. The 4th annual edition of the AI City Challenge has attracted 315 participating teams across 37 countries, who leveraged city scale real traffic data and high quality synthetic data to compete in four challenge tracks. Track 1 addressed video based automatic vehicle counting, where the evaluation is conducted on both algorithmic effectiveness and computational efficiency. Track 2 addressed city scale vehicle re identification with augmented synthetic data to substantially increase the training set for the task. Track 3 addressed city scale multi target multi camera vehicle tracking. Track 4 addressed traffic anomaly detection. The evaluation system shows two leader boards, in which a general leader board shows all submitted results, and a public leader board shows results limited to our contest participation rules, that teams are not allowed to use external data in their work. The public leader board shows results more close to real world situations where annotated data are limited. Our results show promise that AI technology can enable smarter and safer transportation systems.


Do Offline Metrics Predict Online Performance in Recommender Systems?. Recommender systems operate in an inherently dynamical setting. Past recommendations influence future behavior, including which data points are observed and how user preferences change. However, experimenting in production systems with real user dynamics is often infeasible, and existing simulation based approaches have limited scale. As a result, many state of the art algorithms are designed to solve supervised learning problems, and progress is judged only by offline metrics. In this work we investigate the extent to which offline metrics predict online performance by evaluating eleven recommenders across six controlled simulated environments. We observe that offline metrics are correlated with online performance over a range of environments. However, improvements in offline metrics lead to diminishing returns in online performance. Furthermore, we observe that the ranking of recommenders varies depending on the amount of initial offline data available. We study the impact of adding exploration strategies, and observe that their effectiveness, when compared to greedy recommendation, is highly dependent on the recommendation algorithm. We provide the environments and recommenders described in this paper as Reclab an extensible ready to use simulation framework at https github.com berkeley reclab RecLab.


Technical Debt Prioritization State of the Art. A Systematic Literature Review. Background. Software companies need to manage and refactor Technical Debt issues. Therefore, it is necessary to understand if and when refactoring Technical Debt should be prioritized with respect to developing features or fixing bugs. Objective. The goal of this study is to investigate the existing body of knowledge in software engineering to understand what Technical Debt prioritization approaches have been proposed in research and industry. Method. We conducted a Systematic Literature Review among 384 unique papers published until 2018, following a consolidated methodology applied in Software Engineering. We included 38 primary studies. Results. Different approaches have been proposed for Technical Debt prioritization, all having different goals and optimizing on different criteria. The proposed measures capture only a small part of the plethora of factors used to prioritize Technical Debt qualitatively in practice. We report an impact map of such factors. However, there is a lack of empirical and validated set of tools. Conclusion. We observed that technical Debt prioritization research is preliminary and there is no consensus on what are the important factors and how to measure them. Consequently, we cannot consider current research conclusive and in this paper, we outline different directions for necessary future investigations.


Analysis and Optimal Edge Assignment For Hierarchical Federated Learning on Non IID Data. Distributed learning algorithms aim to leverage distributed and diverse data stored at users' devices to learn a global phenomena by performing training amongst participating devices and periodically aggregating their local models' parameters into a global model. Federated learning is a promising paradigm that allows for extending local training among the participant devices before aggregating the parameters, offering better communication efficiency. However, in the cases where the participants' data are strongly skewed (i.e., non IID), the local models can overfit local data, leading to low performing global model. In this paper, we first show that a major cause of the performance drop is the weighted distance between the distribution over classes on users' devices and the global distribution. Then, to face this challenge, we leverage the edge computing paradigm to design a hierarchical learning system that performs Federated Gradient Descent on the user edge layer and Federated Averaging on the edge cloud layer. In this hierarchical architecture, we formalize and optimize this user edge assignment problem such that edge level data distributions turn to be similar (i.e., close to IID), which enhances the Federated Averaging performance. Our experiments on multiple real world datasets show that the proposed optimized assignment is tractable and leads to faster convergence of models towards a better accuracy value.


Multimode waveguide crossing based on square Maxwell's fisheye lens. Mode division multiplexing (MDM) is an emerging large capacity data communication technology utilizing orthogonal guiding modes as independent data streams. One of the challenges of multimode waveguide routing in MDM systems is decreasing the mode leakage of waveguide crossings. In this article, a square Maxwell's fish eye lens as waveguide crossing medium based on quasi conformal transformation optics is designed and implemented on the silicon on insulator platform. Two approaches were taken to realize the designed lens graded photonic crystal and varying the thickness of Si slab waveguide. Three dimensional numerical simulations show that the designed multimode waveguide crossing has an ultrawide bandwidth from 1260 to 1675 nm with a compact footprint of only 3.77 times 3.77 mu m 2 . For the first three transverse electric modes (TE 0, TE 1, and TE 2) , the designed waveguide crossing exhibits an average insertion loss of 0.24, 0.55, and 0.45 dB and the crosstalk of less than 72, 61, and 27 dB, and a maximum return loss of 54, 53, and 30 dB, respectively. The designed waveguide crossing supports low distortion pulse transmission with a high fidelity factor of 0.9857. Furthermore, proposed method can be expanded to design waveguide crossings with even higher number of supporting modes by increasing the size of the lens.


Data Troubles in Sentence Level Confidence Estimation for Machine Translation. The paper investigates the feasibility of confidence estimation for neural machine translation models operating at the high end of the performance spectrum. As a side product of the data annotation process necessary for building such models we propose sentence level accuracy SACC as a simple, self explanatory evaluation metric for quality of translation. Experiments on two different annotator pools, one comprised of non expert (crowd sourced) and one of expert (professional) translators show that SACC can vary greatly depending on the translation proficiency of the annotators, despite the fact that both pools are about equally reliable according to Krippendorff's alpha metric the relatively low values of inter annotator agreement confirm the expectation that sentence level binary labeling good needs work for translation out of context is very hard. For an English Spanish translation model operating at SACC 0.89 according to a non expert annotator pool we can derive a confidence estimate that labels 0.5 0.6 of the good translations in an "in domain" test set with 0.95 Precision. Switching to an expert annotator pool decreases SACC dramatically 0.61 for English Spanish, measured on the exact same data as above. This forces us to lower the CE model operating point to 0.9 Precision while labeling correctly about 0.20 0.25 of the good translations in the data. We find surprising the extent to which CE depends on the level of proficiency of the annotator pool used for labeling the data. This leads to an important recommendation we wish to make when tackling CE modeling in practice it is critical to match the end user expectation for translation quality in the desired domain with the demands of annotators assigning binary quality labels to CE training data.


The Limited Reach of Fake News on Twitter during 2019 European Elections. The advent of social media changed the way we consume content favoring a disintermediated access and production. This scenario has been matter of critical discussion about its impact on society. Magnified in the case of Arab Spring or heavily criticized in the Brexit and 2016 U.S. elections. In this work we explore information consumption on Twitter during the last European electoral campaign by analyzing the interaction patterns of official news sources, fake news sources, politicians, people from the showbiz and many others. We extensively explore interactions among different classes of accounts in the months preceding the last European elections, held between 23rd and 26th of May, 2019. We collected almost 400,000 tweets posted by 863 accounts having different roles in the public society. Through a thorough quantitative analysis we investigate the information flow among them, also exploiting geolocalized information. Accounts show the tendency to confine their interaction within the same class and the debate rarely crosses national borders. Moreover, we do not find any evidence of an organized network of accounts aimed at spreading disinformation. Instead, disinformation outlets are largely ignored by the other actors and hence play a peripheral role in online political discussions.


On Willems' conjecture on Brauer character degrees. In 2005 Wolfgang Willems put forward a conjecture proposing a lower bound for the sum of squares of the degrees of the irreducible p Brauer characters of a finite group G . We prove this conjecture for the prime p 2 . For this we rely on the recent reduction of Willems' conjecture to a question on quasi simple groups by Tong Viet. We also verify the conditions of Tong Viet for certain families of finite quasi simple groups and odd primes. On the way we obtain lower bounds for the number of regular semisimple conjugacy classes in finite groups of Lie type.


Extensions of dissipative operators with closable imaginary part. Given a dissipative operator A on a complex Hilbert space mathcal H such that the quadratic form f mapsto mbox Im langle f,Af rangle is closable, we give a necessary and sufficient condition for an extension of A to still be dissipative. As applications, we describe all maximally accretive extensions of strictly positive symmetric operators and all maximally dissipative extensions of a highly singular first order operator on the interval.


Vision Dialog Navigation by Exploring Cross modal Memory. Vision dialog navigation posed as a new holy grail task in vision language disciplinary targets at learning an agent endowed with the capability of constant conversation for help with natural language and navigating according to human responses. Besides the common challenges faced in visual language navigation, vision dialog navigation also requires to handle well with the language intentions of a series of questions about the temporal context from dialogue history and co reasoning both dialogs and visual scenes. In this paper, we propose the Cross modal Memory Network (CMN) for remembering and understanding the rich information relevant to historical navigation actions. Our CMN consists of two memory modules, the language memory module (L mem) and the visual memory module (V mem). Specifically, L mem learns latent relationships between the current language interaction and a dialog history by employing a multi head attention mechanism. V mem learns to associate the current visual views and the cross modal memory about the previous navigation actions. The cross modal memory is generated via a vision to language attention and a language to vision attention. Benefiting from the collaborative learning of the L mem and the V mem, our CMN is able to explore the memory about the decision making of historical navigation actions which is for the current step. Experiments on the CVDN dataset show that our CMN outperforms the previous state of the art model by a significant margin on both seen and unseen environments.


Symbolic Execution and Debugging Synchronization. In this thesis, we introduce the idea of combining symbolic execution with dynamic analysis for reverse engineering. Differently from DSE, we devise an approach where the reverse engineer can use a debugger to drive and inspect a concrete execution engine of the application code and then, when needed, transfer the execution into a symbolic executor in order to automatically identify the input values required to reach a target point in the code. After that, the user can also transfer back the correct input values found with symbolic execution in order to continue the debugging. The synchronization between a debugger and a symbolic executor can enhance manual dynamic analysis and allow a reverser to easily solve small portions of code without leaving the debugger. We implemented a synchronization mechanism on top of the binary analysis framework angr, allowing for transferring the state of the debugged process to the angr environment and back. The backend library is debugger agnostic and can be extended to work with various frontends. We implemented a frontend for the IDA Pro debugger and one for the GNU Debugger, which are both widely popular among reverse engineers.


Sobolev functions without compactly supported approximations. A basilar property and a useful tool in the theory of Sobolev spaces is the density of smooth compactly supported functions in the space W k,p ( R n) (i.e. the functions with weak derivatives of orders 0 to k in L p ). On Riemannian manifolds, it is well known that the same property remains valid under suitable geometric assumptions. However, on a complete non compact manifold it can fail to be true in general, as we prove in this paper. This settles an open problem raised for instance by E. Hebey textit Nonlinear analysis on manifolds Sobolev spaces and inequalities , Courant Lecture Notes in Mathematics, vol. 5, 1999, pp. 48 49 .


Cross Media Usage of Social Big Data for Emergency Services and Volunteer Communities Approaches, Development and Challenges of Multi Platform Social Media Services. The use of social media is ubiquitous and nowadays well established in our everyday life, but increasingly also before, during or after emergencies. The produced data is spread across several types of social media and can be used by different actors, such as emergency services or volunteer communities. There are already systems available that support the process of gathering, analysing and distributing information through social media. However, dependent on the goal of analysis, the analysis methods and available systems are limited based on technical or business oriented restrictions. This paper presents the design of a cross platform Social Media API, which was integrated and evaluated within multiple emergency scenarios. Based on the lessons learned, we outline the core challenges from the practical development and theoretical findings, focusing (1) cross platform gathering and data management, (2) trustability and information quality, (3) tailorability and adjustable data operations, and (4) queries, performance, and technical development.


Theory of coherent active convolved illumination for superresolution enhancement. Recently an optical amplification process called the plasmon injection scheme was introduced as an effective solution to overcoming losses in metamaterials. Implementations with near field imaging applications have indicated substantial performance enhancements even in the presence of noise. This powerful and versatile compensation technique, which has since been renamed to a more generalized active convolved illumination, offers new possibilities of improving the performance of many previously conceived metamaterial based devices and conventional imaging systems. In this work, we present the first comprehensive mathematical breakdown of active convolved illumination for coherent imaging. Our analysis highlights the distinctive features of active convolved illumination, such as selective spectral amplification and correlations, and provides a rigorous understanding of the loss compensation process. These features are achieved by an auxiliary source coherently superimposed with the object field. The auxiliary source is designed to have three important properties. First, it is correlated with the object field. Second, it is defined over a finite spectral bandwidth. Third, it is amplified over that selected bandwidth. We derive the variance for the image spectrum and show that utilizing the auxiliary source with the above properties can significantly improve the spectral signal to noise ratio and resolution limit. Besides enhanced superresolution imaging, the theory can be potentially generalized to the compensation of information or photon loss in a wide variety of coherent and incoherent linear systems including those, for example, in atmospheric imaging, time domain spectroscopy, cal PT symmetric non Hermitian photonics, and even quantum computing.


Extreme sensitivity and climate tipping points. A climate state close to a tipping point will have a degenerate linear response to perturbations, which can be associated with extreme values of the equilibrium climate sensitivity (ECS). In this paper we contrast linearized ( instantaneous') with fully nonlinear geometric ( two point') notions of ECS, in both presence and absence of tipping points. For a stochastic energy balance model of the global mean surface temperature with two stable regimes, we confirm that tipping events cause the appearance of extremes in both notions of ECS. Moreover, multiple regimes with different mean sensitivities are visible in the two point ECS. We confirm some of our findings in a physics based multi box model of the climate system.


On the Dirac Series of U(p,q) . This paper computes the Dirac index of all the weakly fair A mathfrak q ( lambda) modules of U(p, q) . Although counter examples have been found to a conjecture of Vogan on the unitary dual of U(p, q) phrased by Trapa in 2001, we believe that any irreducible unitary representation of U(p, q) with non zero Dirac cohomology must be a weakly fair A mathfrak q ( lambda) module.


On Popa's factorial commutant embedding problem. An open question of Sorin Popa asks whether or not every R mathcal U embeddable factor admits an embedding into R mathcal U with factorial relative commutant. We show that there is a locally universal McDuff II 1 factor M such that every property (T) factor admits an embedding into M mathcal U with factorial relative commutant. We also discuss how our strategy could be used to settle Popa's question for property (T) factors if a certain open question in the model theory of operator algebras has a positive solution.


A 1 Euler classes six functors formalisms, dualities, integrality and linear subspaces of complete intersections. We equate various Euler classes of algebraic vector bundles, including those of BM, KW, DJK , and one suggested by M.J. Hopkins, A. Raksit, and J. P. Serre. We establish integrality results for this Euler class, and give formulas for local indices at isolated zeros, both in terms of 6 functor formalism of coherent sheaves and as an explicit recipe in commutative algebra of Scheja and Storch. As an application, we compute the Euler classes associated to arithmetic counts of d planes on complete intersections in P n in terms of topological Euler numbers over R and C.


The Farthest Point Map on the Regular Octahedron. On any compact space one can consider the map which sends a point to the set of points farthest from this point. In nice cases, there is just a single point farthest from a given point and so by restricting the domain slightly one can form a dynamical system on the space based on this map. We give a complete characterization of this map, including explicit formulas, when the metric space is the regular octahedron equipped with its intrinsic flat cone metric.


The Price of Anarchy for Instantaneous Dynamic Equilibria. We consider flows over time within the deterministic queueing model and study the solution concept of instantaneous dynamic equilibrium (IDE) in which flow particles select at every decision point a currently shortest path. The length of such a path is measured by the physical travel time plus the time spent in queues. Although IDE have been studied since the eighties, the efficiency of the solution concept is not well understood. We study the price of anarchy for this model and show an upper bound of order mathcal O (U cdot tau) for single sink instances, where U denotes the total inflow volume and tau the sum of edge travel times. We complement this upper bound with a family of quite complex instances proving a lower bound of order Omega(U cdot log tau) .


Visible Light Communication for Next Generation Untethered Virtual Reality Systems. Virtual and augmented reality (VR AR) systems are emerging technologies requiring data rates of multiple Gbps. Existing high quality VR headsets require connections through HDMI cables to a computer rendering rich graphic contents to meet the extremely high data transfer rate requirement. Such a cable connection limits the VR user's mobility and interferes with the VR experience. Current wireless technologies such as WiFi cannot support the multi Gbps graphics data transfer. Instead, we propose to use visible light communication (VLC) for establishing high speed wireless links between a rendering computer and a VR headset. But, VLC transceivers are highly directional with narrow beams and require constant maintenance of line of sight (LOS) alignment between the transmitter and the receiver. Thus, we present a novel multi detector hemispherical VR headset design to tackle the beam misalignment problem caused by the VR user's random head orientation. We provide detailed analysis on how the number of detectors on the headset can be minimized while maintaining the required beam alignment and providing high quality VR experience.


Hierarchical Reinforcement Learning for Quadruped Locomotion. Legged locomotion is a challenging task for learning algorithms, especially when the task requires a diverse set of primitive behaviors. To solve these problems, we introduce a hierarchical framework to automatically decompose complex locomotion tasks. A high level policy issues commands in a latent space and also selects for how long the low level policy will execute the latent command. Concurrently, the low level policy uses the latent command and only the robot's on board sensors to control the robot's actuators. Our approach allows the high level policy to run at a lower frequency than the low level one. We test our framework on a path following task for a dynamic quadruped robot and we show that steering behaviors automatically emerge in the latent command space as low level skills are needed for this task. We then show efficient adaptation of the trained policy to a different task by transfer of the trained low level policy. Finally, we validate the policies on a real quadruped robot. To the best of our knowledge, this is the first application of end to end hierarchical learning to a real robotic locomotion task.


Concentration cancellation in the Ericksen Leslie model. We establish the subconvergence of weak solutions to the Ginzburg Landau approximation to global in time weak solutions of the Ericksen Leslie model for nematic liquid crystals on the torus mathbb T 2 . The key argument is a variation of concentration cancellation methods originally introduced by DiPerna and Majda to investigate the weak stability of solutions to the (steady state) Euler equations.


Actor Transformers for Group Activity Recognition. This paper strives to recognize individual actions and group activities from videos. While existing solutions for this challenging problem explicitly model spatial and temporal relationships based on location of individual actors, we propose an actor transformer model able to learn and selectively extract information relevant for group activity recognition. We feed the transformer with rich actor specific static and dynamic representations expressed by features from a 2D pose network and 3D CNN, respectively. We empirically study different ways to combine these representations and show their complementary benefits. Experiments show what is important to transform and how it should be transformed. What is more, actor transformers achieve state of the art results on two publicly available benchmarks for group activity recognition, outperforming the previous best published results by a considerable margin.


Rigid structures in the universal enveloping traffic space. For any tracial non commutative probability space ( mathcal A , varphi) , C ' e bron, Dahlqvist, and Male showed that one can always construct an enveloping traffic space ( mathcal G ( mathcal A ), tau varphi) that extends the trace. This construction provides a universal object that allows one to appeal to the traffic probability framework in generic situations, prioritizing an understanding of its structure. In this article, we prove that ( mathcal G ( mathcal A ), tau varphi) admits a canonical free product decomposition mathcal A mathcal A intercal Theta( mathcal G ( mathcal A )) . In particular, mathcal A intercal is an anti isomorphic copy of mathcal A , and Theta( mathcal G ( mathcal A )) is, up to degeneracy, a commutative algebra generated by Gaussian random variables with a covariance structure diagonalized by the graph operations. If ( mathcal A , varphi) itself is a free product, then we describe how this additional structure lifts into ( mathcal G ( mathcal A ), tau varphi) . Here, we find a connection between free independence and classical independence opposite the usual direction. Up to degeneracy, we further show that ( mathcal G ( mathcal A ), tau varphi) is spanned by tree like graph operations. Finally, we apply our results to the study of large (possibly dependent) random matrices. Our analysis relies on the combinatorics of cactus graphs and the resulting cactus cumulant correspondence.


Spectrum for first order properties of random hypergraphs. The notion of spectrum of first order properties introduced by J. Spencer for Erdos Renyi random graph is considered in relation to random uniform hypergraphs. We study properties of spectrum for first order formulae with bounded quantifier depth and estimate the values of minimum and maximum points of this spectrum. We also consider the set of limit points of the spectrum and give a bound for its minimum value.


Software Engineering Research Community Viewpoints on Rapid Reviews. Background One of the most important current challenges of Software Engineering (SE) research is to provide relevant evidence to practice. In health related fields, Rapid Reviews (RRs) have shown to be an effective method to achieve that goal. However, little is known about how the SE research community perceives the potential applicability of RRs. Aims The goal of this study is to understand the SE research community viewpoints towards the use of RRs as a means to provide evidence to practitioners. Method To understand their viewpoints, we invited 37 researchers to analyze 50 opinion statements about RRs, and rate them according to what extent they agree with each statement. Q Methodology was employed to identify the most salient viewpoints, represented by the so called factors. Results Four factors were identified Factor A groups undecided researchers that need more evidence before using RRs Researchers grouped in Factor B are generally positive about RRs, but highlight the need to define minimum standards Factor C researchers are more skeptical and reinforce the importance of high quality evidence Researchers aligned to Factor D have a pragmatic point of view, considering RRs can be applied based on the context and constraints faced by practitioners. Conclusions In conclusion, although there are opposing viewpoints, there are also some common grounds. For example, all viewpoints agree that both RRs and Systematic Reviews can be poorly or well conducted.


Weighted First Order Model Counting in the Two Variable Fragment With Counting Quantifiers. It is known due to the work of Van den Broeck et al KR, 2014 that weighted first order model counting (WFOMC) in the two variable fragment of first order logic can be solved in time polynomial in the number of domain elements. In this paper we extend this result to the two variable fragment with counting quantifiers.


When we can trust computers (and when we can't). With the relentless rise of computer power, there is a widespread expectation that computers can solve the most pressing problems of science, and even more besides. We explore the limits of computational modelling and conclude that, in the domains of science and engineering that are relatively simple and firmly grounded in theory, these methods are indeed powerful. Even so, the availability of code, data and documentation, along with a range of techniques for validation, verification and uncertainty quantification, are essential for building trust in computer generated findings. When it comes to complex systems in domains of science that are less firmly grounded in theory, notably biology and medicine, to say nothing of the social sciences and humanities, computers can create the illusion of objectivity, not least because the rise of big data and machine learning pose new challenges to reproducibility, while lacking true explanatory power. We also discuss important aspects of the natural world which cannot be solved by digital means. In the long term, renewed emphasis on analogue methods will be necessary to temper the excessive faith currently placed in digital computation.


Beyond the beta integral method transformation formulas for hypergeometric functions via Meijer's G function. The beta integral method proved itself as a simple nonetheless powerful method of generating hypergeometric identities at a fixed argument. In this paper we propose a generalization by substituting the beta density with a particular type of Meijer's G function. By application of our method to known transformation formulas we derive about forty hypergeometric identities majority of which are believed to be new.


Homology of systemic modules. We develop the rudiments of a tropical homology theory, based on "triples" and "systems." Results include a version of Schanuel's lemma, projective dimension, the homology semi module, and a weak Snake lemma.


Ball proximinality of M ideals of compact operators. In this article, we prove the proximinality of closed unit ball of M ideals of compact operators. We also prove the ball proximinality of M embedded spaces in their biduals. Moreover, we show that mathcal K ( ell 1) , the space of compact operators on ell 1 , is ball proximinal in mathcal B ( ell 1) , the space of bounded operators on ell 1 , even though mathcal K ( ell 1) is not an M ideal in mathcal B ( ell 1) .


Semi implicit Taylor schemes for stiff rough differential equations. We study a class of semi implicit Taylor type numerical methods that are easy to implement and designed to solve multidimensional stochastic differential equations driven by a general rough noise, e.g. a fractional Brownian motion. In the multiplicative noise case, the equation is understood as a rough differential equation in the sense of T. Lyons. We focus on equations for which the drift coefficient may be unbounded and satisfies a one sided Lipschitz condition only. We prove well posedness of the methods, provide a full analysis, and deduce their convergence rate. Numerical experiments show that our schemes are particularly useful in the case of stiff rough stochastic differential equations driven by a fractional Brownian motion.


Control for Multifunctionality Bioinspired Control Based on Feeding in Aplysia californica. Animals exhibit remarkable feats of behavioral flexibility and multifunctional control that remain challenging for robotic systems. The neural and morphological basis of multifunctionality in animals can provide a source of bio inspiration for robotic controllers. However, many existing approaches to modeling biological neural networks rely on computationally expensive models and tend to focus solely on the nervous system, often neglecting the biomechanics of the periphery. As a consequence, while these models are excellent tools for neuroscience, they fail to predict functional behavior in real time, which is a critical capability for robotic control. To meet the need for real time multifunctional control, we have developed a hybrid Boolean model framework capable of modeling neural bursting activity and simple biomechanics at speeds faster than real time. Using this approach, we present a multifunctional model of Aplysia californica feeding that qualitatively reproduces three key feeding behaviors (biting, swallowing, and rejection), demonstrates behavioral switching in response to external sensory cues, and incorporates both known neural connectivity and a simple bioinspired mechanical model of the feeding apparatus. We demonstrate that the model can be used for formulating testable hypotheses and discuss the implications of this approach for robotic control and neuroscience.


Experimental Investigation of the Settling Characteristics of Carbon and Metal Oxide Nanofuels. Fuels dispersed with engineered nanoparticle additives, or nanofuels, are desirable for the vastly different combustion properties such as combustion rate and ignition delay they exhibit compared to base fuels. The stability of such nanofuels over time and under different particle loadings is a very important parameter to consider before they can be put into practical use. Many techniques exist today to analyze suspension stability, which have been developed to analyze water based nanofluids. Sometimes these techniques can be expensive, and or require specialized equipment, and or require a method that is invasive and disturbs the suspension. Present research uses a non contact, non invasive, low cost experimental setup to analyze suspension stability over long periods of time. Nanofuels made from carbon based nanomaterials (acetylene black, multiwalled carbon nanotubes) and metal oxide nanomaterials (copper oxide, aluminum oxide) with hydrocarbon fuels (canola biodiesel, petrodiesel) have been prepared and their settling rates have been analyzed over the period of three days. It is found that metal oxides go through several metastable states as they settle. The effect of initial concentration and liquid column height is shown. It is hoped that present research showcases the positive traits of the presented technique and will spark further interest in nanofuel stability.


Bi additive s functional inequalities and biderivations in modular spaces. In this article, by using the fixed point method, we prove the generalized Hyers Ulam stability of biderivations from an algebra to a modular space, associated to bi additive s functional inequalities.


An equidistribution theorem for biraitonal maps of mathbb P k . We prove an equidistribution theorem of positive closed currents for a certain class of birational maps f mathbb P k to mathbb P k of algebraic degree d geq 2 satisfying bigcup n geq 0 f n(I ) cap bigcup n geq 0 f n(I ) emptyset , where f is the inverse of f and I pm are the sets of indeterminacy for f pm , respectively.


A Survey of Approximate Quantile Computation on Large scale Data (Technical Report). As data volume grows extensively, data profiling helps to extract metadata of large scale data. However, one kind of metadata, order statistics, is difficult to be computed because they are not mergeable or incremental. Thus, the limitation of time and memory space does not support their computation on large scale data. In this paper, we focus on an order statistic, quantiles, and present a comprehensive analysis of studies on approximate quantile computation. Both deterministic algorithms and randomized algorithms that compute approximate quantiles over streaming models or distributed models are covered. Then, multiple techniques for improving the efficiency and performance of approximate quantile algorithms in various scenarios, such as skewed data and high speed data streams, are presented. Finally, we conclude with coverage of existing packages in different languages and with a brief discussion of the future direction in this area.


Two stage Federated Phenotyping and Patient Representation Learning. A large percentage of medical information is in unstructured text format in electronic medical record systems. Manual extraction of information from clinical notes is extremely time consuming. Natural language processing has been widely used in recent years for automatic information extraction from medical texts. However, algorithms trained on data from a single healthcare provider are not generalizable and error prone due to the heterogeneity and uniqueness of medical documents. We develop a two stage federated natural language processing method that enables utilization of clinical notes from different hospitals or clinics without moving the data, and demonstrate its performance using obesity and comorbities phenotyping as medical task. This approach not only improves the quality of a specific clinical task but also facilitates knowledge progression in the whole healthcare system, which is an essential part of learning health system. To the best of our knowledge, this is the first application of federated machine learning in clinical NLP.


Correspondence theory on p Fock spaces with applications to Toeplitz algebras. We prove several results concerning the theory of Toeplitz algebras over p Fock spaces using a correspondence theory of translation invariant symbol and operator spaces. The most notable results are The full Toeplitz algebra is the norm closure of all Toeplitz operators with bounded uniformly continuous symbols. This generalizes a result obtained by J. Xia (J. Funct. Anal. 269 781 814, 2015) in the case p 2 , which was proven by different methods. Further, we prove that every Toeplitz algebra which has a translation invariant C ast subalgebra of the bounded uniformly continuous functions as its set of symbols is linearly generated by Toeplitz operators with the same space of symbols.


A Sparse Polytopic LPV Controller for Fully Distributed Nonlinear Optimal Control. In this paper we deal with distributed optimal control for nonlinear dynamical systems over graph, that is large scale systems in which the dynamics of each subsystem depends on neighboring states only. Starting from a previous work in which we designed a partially distributed solution based on a cloud, here we propose a fully distributed algorithm. The key novelty of the approach in this paper is the design of a sparse controller to stabilize trajectories of the nonlinear system at each iteration of the distributed algorithm. The proposed controller is based on the design of a stabilizing controller for polytopic Linear Parameter Varying (LPV) systems satisfying nonconvex sparsity constraints. Thanks to a suitable choice of vertex matrices and to an iterative procedure using convex approximations of the nonconvex matrix problem, we are able to design a controller in which each agent can locally compute the feedback gains at each iteration by simply combining coefficients of some vertex matrices that can be pre computed offline. We show the effectiveness of the strategy on simulations performed on a multi agent formation control problem.


A three operator splitting algorithm for nonconvex sparsity regularization. Sparsity regularization has been largely applied in many fields, such as signal and image processing and machine learning. In this paper, we mainly consider nonconvex minimization problems involving three terms, for the applications such as sparse signal recovery and low rank matrix recovery. We employ a three operator splitting proposed by Davis and Yin (called DYS) to solve the resulting possibly nonconvex problems and develop the convergence theory for this three operator splitting algorithm in the nonconvex case. We show that if the step size is chosen less than a computable threshold, then the whole sequence converges to a stationary point. By defining a new decreasing energy function associated with the DYS method, we establish the global convergence of the whole sequence and a local convergence rate under an additional assumption that this energy function is a Kurdyka L ojasiewicz function. We also provide sufficient conditions for the boundedness of the generated sequence. Finally, some numerical experiments are conducted to compare the DYS algorithm with some classical efficient algorithms for sparse signal recovery and low rank matrix completion. The numerical results indicate that DYS method outperforms the exsiting methods for these specific applications.


M " o bius disjointness for skew products on a circle and a nilmanifold. Let mathbb T be the unit circle and Gamma backslash G the 3 dimensional Heisenberg nilmanifold. We prove that a class of skew products on mathbb T times Gamma backslash G are distal, and that the M " o bius function is linearly disjoint from these skew products. This verifies the M " o bius Disjointness Conjecture of Sarnak.


Modeling Label Semantics for Predicting Emotional Reactions. Predicting how events induce emotions in the characters of a story is typically seen as a standard multi label classification task, which usually treats labels as anonymous classes to predict. They ignore information that may be conveyed by the emotion labels themselves. We propose that the semantics of emotion labels can guide a model's attention when representing the input story. Further, we observe that the emotions evoked by an event are often related an event that evokes joy is unlikely to also evoke sadness. In this work, we explicitly model label classes via label embeddings, and add mechanisms that track label label correlations both during training and inference. We also introduce a new semi supervision strategy that regularizes for the correlations on unlabeled data. Our empirical evaluations show that modeling label semantics yields consistent benefits, and we advance the state of the art on an emotion inference task.


Klein's trace inequality and superquadratic trace functions. We show that if f is a non negative superquadratic function, then A mapsto mathrm Tr f(A) is a superquadratic function on the matrix algebra. In particular, begin align tr f left( frac A B 2 right) tr f left( left frac A B 2 right right) leq frac tr f left( A right) tr f left( B right) 2 end align holds for all positive matrices A,B . In addition, we present a Klein's inequality for superquadratic functions as mathrm Tr f(A) f(B) (A B)f'(B) geq mathrm Tr f( A B ) for all positive matrices A,B . It gives in particular an improvement of the Klein's inequality for non negative convex function. As a consequence, some variants of the Jensen trace inequality for superquadratic functions have been presented.


Enriched pro categories and shapes. Given a category mathcal C and a directed partially ordered set J , a certain category pro J mathcal C on inverse systems in mathcal C is constructed such that the ordinary pro category pro mathcal C is the most special case of a singleton J equiv 1 . Further, the known pro category pro mathcal C becomes pro mathbb N mathcal C . Moreover, given a pro reflective category pair ( mathcal C, mathcal D) , the J shape category Sh J (C, mathcal D) and the corresponding J shape functor S J are constructed which, in mentioned special cases, become the well known ones. Among several important properties, the continuity theorem for a J shape category is established. It implies the " J shape theory" is a genuine one such that the shape and the coarse shape theory are its very special examples.


EM NET Centerline Aware Mitochondria Segmentation in EM Images via Hierarchical View Ensemble Convolutional Network. Although deep encoder decoder networks have achieved astonishing performance for mitochondria segmentation from electron microscopy (EM) images, they still produce coarse segmentations with lots of discontinuities and false positives. Besides, the need for labor intensive annotations of large 3D dataset and huge memory overhead by 3D models are also major limitations. To address these problems, we introduce a multi task network named EM Net, which includes an auxiliary centerline detection task to account for shape information of mitochondria represented by centerline. Therefore, the centerline detection sub network is able to enhance the accuracy and robustness of segmentation task, especially when only a small set of annotated data are available. To achieve a light weight 3D network, we introduce a novel hierarchical view ensemble convolution module to reduce number of parameters, and facilitate multi view information aggregation.Validations on public benchmark showed state of the art performance by EM Net. Even with significantly reduced training data, our method still showed quite promising results.


Invertibility Threshold for Nevanlinna Quotient Algebras. Let mathcal N be the Nevanlinna class and let B be a Blaschke product. It is shown that the natural invertibility criterion in the quotient algebra mathcal N B mathcal N , that is, f ge e H on the set B 1 0 for some positive harmonic function H , holds if and only if the function log B has a harmonic majorant on the set z in mathbb D rho(z, Lambda) geq e H(z) at least for large enough functions H . We also study the corresponding class of positive harmonic functions H in the unit disc such that the latter condition holds. We also discuss the analogous invertibility problem in quotients of the Smirnov class.


Quantum Inspired Word Representation and Computation. Word meaning has different aspects, while the existing word representation "compresses" these aspects into a single vector, and it needs further analysis to recover the information in different dimensions. Inspired by quantum probability, we represent words as density matrices, which are inherently capable of representing mixed states. The experiment shows that the density matrix representation can effectively capture different aspects of word meaning while maintaining comparable reliability with the vector representation. Furthermore, we propose a novel method to combine the coherent summation and incoherent summation in the computation of both vectors and density matrices. It achieves consistent improvement on word analogy task.


A group induced four circulant construction for self dual codes and new extremal binary self dual codes. We introduce an altered version of the four circulant construction over group rings for self dual codes. We consider this construction over the binary field, the rings F 2 uF 2 and F 4 uF 4 using groups of order 3, 7, 9, 13, and 15. Through these constructions and their extensions, we find binary self dual codes of lengths 32, 40, 56, 64, 68 and 80, all of which are extremal or optimal. In particular, we find five new self dual codes of parameters 56, 28, 10 , twenty three extremal binary self dual codes of length 68 with new weight enumerators and fifteen new self dual codes of parameters 80, 40, 14 .


Continual Representation Learning for Biometric Identification. With the explosion of digital data in recent years, continuously learning new tasks from a stream of data without forgetting previously acquired knowledge has become increasingly important. In this paper, we propose a new continual learning (CL) setting, namely continual representation learning'', which focuses on learning better representation in a continuous way. We also provide two large scale multi step benchmarks for biometric identification, where the visual appearance of different classes are highly relevant. In contrast to requiring the model to recognize more learned classes, we aim to learn feature representation that can be better generalized to not only previously unseen images but also unseen classes identities. For the new setting, we propose a novel approach that performs the knowledge distillation over a large number of identities by applying the neighbourhood selection and consistency relaxation strategies to improve scalability and flexibility of the continual learning model. We demonstrate that existing CL methods can improve the representation in the new setting, and our method achieves better results than the competitors.


Adaptive greedy algorithms based on parameter domain decomposition and reconstruction for the reduced basis method. The reduced basis method (RBM) empowers repeated and rapid evaluation of parametrized partial differential equations through an offline online decomposition, a.k.a. a learning execution process. A key feature of the method is a greedy algorithm repeatedly scanning the training set, a fine discretization of the parameter domain, to identify the next dimension of the parameter induced solution manifold along which we expand the surrogate solution space. Although successfully applied to problems with fairly high parametric dimensions, the challenge is that this scanning cost dominates the offline cost due to it being proportional to the cardinality of the training set which is exponential with respect to the parameter dimension. In this work, we review three recent attempts in effectively delaying this curse of dimensionality, and propose two new hybrid strategies through successive refinement and multilevel maximization of the error estimate over the training set. All five offline enhanced methods and the original greedy algorithm are tested and compared on two types of problems the thermal block problem and the geometrically parameterized Helmholtz problem.


Random tree weighted graphs. For each n ge 1 , let mathrm d n (d n (i),1 le i le n) be a sequence of positive integers with even sum sum i 1 n d n(i) ge 2n . Let (G n,T n, Gamma n) be uniformly distributed over the set of simple graphs G n with degree sequence mathrm d n , endowed with a spanning tree T n and rooted along an oriented edge Gamma n of G n which is not an edge of T n . Under a finite variance assumption on degrees in G n , we show that, after rescaling, T n converges in distribution to the Brownian continuum random tree as n to infty . Our main tool is a new version of Pitman's additive coalescent (https doi.org 10.1006 jcta.1998.2919), which can be used to build both random trees with a fixed degree sequence, and random tree weighted graphs with a fixed degree sequence. As an input to the proof, we also derive a Poisson approximation theorem for the number of loops and multiple edges in the superposition of a fixed graph and a random graph with a given degree sequence sampled according to the configuration model we find this to be of independent interest.


More on the convergence of Gaussian convex hulls. A "law of large numbers" for consecutive convex hulls for weakly dependent Gaussian sequences X n , having the same marginal distribution, is extended to the case when the sequence X n has a weak limit. Let mathbb B be a separable Banach space with a conjugate space mathbb B ast . Let X n be a centered mathbb B valued Gaussian sequence satisfying two conditions 1) X n Rightarrow X and 2) For every x in mathbb B ast lim n,m, n m rightarrow infty E langle X n, x rangle langle X m, x rangle 0. Then with probability 1 the normalized convex hulls W n frac 1 (2 ln n) 1 2 , rm conv ,X 1, ldots,X n , converge in Hausdorff distance to the concentration ellipsoid of a limit Gaussian mathbb B valued random element X. In addition, some related questions are discussed.


Tunable Eigenvector Based Centralities for Multiplex and Temporal Networks. Characterizing the importances (i.e., centralities) of nodes in social, biological, and technological networks is a core topic in both network science and data science. We present a linear algebraic framework that generalizes eigenvector based centralities, including PageRank and hub authority scores, to provide a common framework for two popular classes of multilayer networks multiplex networks (which have layers that encode different types of relationships) and temporal networks (in which the relationships change over time). Our approach involves the study of joint, marginal, and conditional "supracentralities" that one can calculate from the dominant eigenvector of a supracentrality matrix Taylor et al., 2017 , which couples centrality matrices that are associated with individual network layers. We extend this prior work (which was restricted to temporal networks with layers that are coupled by adjacent in time coupling) by allowing the layers to be coupled through a (possibly asymmetric) interlayer adjacency matrix tilde bf A , where the entry tilde A tt' geq 0 encodes the coupling between layers t and t' . Our framework provides a unifying foundation for centrality analysis of multiplex and temporal networks it also illustrates a complicated dependency of the supracentralities on the topology and weights of interlayer coupling. By scaling tilde bf A by an interlayer coupling strength omega ge0 and developing a singular perturbation theory for the limits of weak ( omega to0 ) and strong coupling ( omega to infty ), we also reveal an interesting dependence of supracentralities on the dominant left and right eigenvectors of tilde bf A .


A new Chebyshev criterion and its application to planar differential systems. This paper establishes a new Chebyshev criterion for some family of integrals. By virtue of this criterion we obtain several new Chebyshev families. With the help of these new families we can answer the conjecture posed by Gasull et al in 2015. J. Differential Equations, 258 (2015), 3286 3303 . Their applications to other two planar differential systems also show that our approach is simpler and in a unified way to handle many kinds of planar differential systems for estimating the number of limit cycles bifurcating from period annulus.


A Tractable Algorithm For Finite Horizon Continuous Reinforcement Learning. We consider the finite horizon continuous reinforcement learning problem. Our contribution is three fold. First,we give a tractable algorithm based on optimistic value iteration for the problem. Next,we give a lower bound on regret of order Omega(T 2 3 ) for any algorithm discretizes the state space, improving the previous regret bound of Omega(T 1 2 ) of Ortner and Ryabko cite contrl for the same problem. Next,under the assumption that the rewards and transitions are H " o lder Continuous we show that the upper bound on the discretization error is const.Ln alpha T . Finally,we give some simple experiments to validate our propositions.


A Generalization of the Gram determinant of type A. The Gram determinant of type A was introduced by Lickorish in his work on invariants of 3 manifolds. We generalize the theory of the Gram determinant of type A by evaluating, in the annulus, a bilinear form of non intersecting connections in the disc. The main result provides a closed formula for this Gram determinant. We conclude the paper by discussing Chen's conjecture about the Gram determinant of type Mb evaluated in the Klein bottle.


Signaling Games for Log Concave Distributions Number of Bins and Properties of Equilibria. We investigate the equilibrium behavior for the decentralized cheap talk problem for real random variables and quadratic cost criteria in which an encoder and a decoder have misaligned objective functions. In prior work, it has been shown that the number of bins in any equilibrium has to be countable, generalizing a classical result due to Crawford and Sobel who considered sources with density supported on 0,1 . In this paper, we first refine this result in the context of log concave sources. For sources with two sided unbounded support, we prove that, for any finite number of bins, there exists a unique equilibrium. In contrast, for sources with semi unbounded support, there may be a finite upper bound on the number of bins in equilibrium depending on certain conditions stated explicitly. Moreover, we prove that for log concave sources, the expected costs of the encoder and the decoder in equilibrium decrease as the number of bins increases. Furthermore, for strictly log concave sources with two sided unbounded support, we prove convergence to the unique equilibrium under best response dynamics which starts with a given number of bins, making a connection with the classical theory of optimal quantization and convergence results of Lloyd's method. In addition, we consider more general sources which satisfy certain assumptions on the tail(s) of the distribution and we show that there exist equilibria with infinitely many bins for sources with two sided unbounded support. Further explicit characterizations are provided for sources with exponential, Gaussian, and compactly supported probability distributions.


A multipoint stress flux mixed finite element method for the Stokes Biot model. In this paper we present and analyze a fully mixed formulation for the coupled problem arising in the interaction between a free fluid and a flow in a poroelastic medium. The flows are governed by the Stokes and Biot equations, respectively, and the transmission conditions are given by mass conservation, balance of stresses, and the Beavers Joseph Saffman law. We apply dual mixed formulations in both domains, where the symmetry of the Stokes and poroelastic stress tensors is imposed by setting the vorticity and structure rotation tensors as auxiliary unknowns. In turn, since the transmission conditions become essential, they are imposed weakly, which is done by introducing the traces of the fluid velocity, structure velocity, and the poroelastic media pressure on the interface as the associated Lagrange multipliers. The existence and uniqueness of a solution are established for the continuous weak formulation, as well as a semidiscrete continuous in time formulation with non matching grids, together with the corresponding stability bounds. In addition, we develop a new multipoint stress flux mixed finite element method by involving the vertex quadrature rule, which allows for local elimination of the stresses, rotations, and Darcy fluxes. Well posedness and error analysis with corresponding rates of convergences for the fully discrete scheme are complemented by several numerical experiments.


Fork Resilient Cross Blockchain Transactions through Algebraic Topology. The cross blockchain transaction (CBT) serves as a cornerstone for the next generation, blockchain based data management systems. However, state of the art CBT models do not address the effect of the possible local fork suspension that might invalidate the entire CBT. This paper takes an algebraic topological approach to abstract the blockchains and their transactions into simplicial complexes and shows that CBTs cannot complete in either a textit committed or an textit aborted status by a t resilient message passing protocol. This result implies that a more sophisticated model is in need to support CBTs and, thus, sheds light on the future blockchain designs.


Graph Regularized Nonnegative Tensor Ring Decomposition for Multiway Representation Learning. Tensor ring (TR) decomposition is a powerful tool for exploiting the low rank nature of multiway data and has demonstrated great potential in a variety of important applications. In this paper, nonnegative tensor ring (NTR) decomposition and graph regularized NTR (GNTR) decomposition are proposed, where the former equips TR decomposition with local feature extraction by imposing nonnegativity on the core tensors and the latter is additionally able to capture manifold geometry information of tensor data, both significantly extend the applications of TR decomposition for nonnegative multiway representation learning. Accelerated proximal gradient based methods are derived for NTR and GNTR. The experimental result demonstrate that the proposed algorithms can extract parts based basis with rich colors and rich lines from tensor objects that provide more interpretable and meaningful representation, and hence yield better performance than the state of the art tensor based methods in clustering and classification tasks.


How Have We Reacted To The COVID 19 Pandemic? Analyzing Changing Indian Emotions Through The Lens of Twitter. Since its outbreak, the ongoing COVID 19 pandemic has caused unprecedented losses to human lives and economies around the world. As of 18th July 2020, the World Health Organization (WHO) has reported more than 13 million confirmed cases including close to 600,000 deaths across 216 countries and territories. Despite several government measures, India has gradually moved up the ranks to become the third worst hit nation by the pandemic after the US and Brazil, thus causing widespread anxiety and fear among her citizens. As majority of the world's population continues to remain confined to their homes, more and more people have started relying on social media platforms such as Twitter for expressing their feelings and attitudes towards various aspects of the pandemic. With rising concerns of mental well being, it becomes imperative to analyze the dynamics of public affect in order to anticipate any potential threats and take precautionary measures. Since affective states of human mind are more nuanced than meager binary sentiments, here we propose a deep learning based system to identify people's emotions from their tweets. We achieve competitive results on two benchmark datasets for multi label emotion classification. We then use our system to analyze the evolution of emotional responses among Indians as the pandemic continues to spread its wings. We also study the development of salient factors contributing towards the changes in attitudes over time. Finally, we discuss directions to further improve our work and hope that our analysis can aid in better public health monitoring.


The Convergence of Discrete Uniformizations for Closed Surfaces. The notions of discrete conformality on triangle meshes have rich mathematical theories and wide applications. The related notions of discrete uniformizations on triangle meshes, suggest efficient methods for computing the uniformizations of surfaces. This paper proves that the discrete uniformizations approximate the continuous uniformization for closed surfaces of genus geq1 , when the approximating triangle meshes are reasonably good. To the best of the authors' knowledge, this is the first convergence result on computing uniformizations for surfaces of genus 1 .


Conflict free connection number and independence number of a graph. An edge colored graph G is conflict free connected if any two of its vertices are connected by a path, which contains a color used on exactly one of its edges. The conflict free connection number of a connected graph G , denoted by cfc(G) , is defined as the minimum number of colors that are required in order to make G conflict free connected. In this paper, we investigate the relation between the conflict free connection number and the independence number of a graph. We firstly show that cfc(G) le alpha(G) for any connected graph G , and an example is given showing that the bound is sharp. With this result, we prove that if T is a tree with Delta(T) ge frac alpha(T) 2 2 , then cfc(T) Delta(T) .


The fourth moment of individual Dirichlet L functions on the critical line. We prove an asymptotic formula for the second moment of a product of two Dirichlet L functions on the critical line, which has a power saving in the error term and which is uniform with respect to the involved Dirichlet characters. As special cases we give uniform asymptotic formulae for the fourth moment of individual Dirichlet L functions and for the second moment of Dedekind zeta functions of quadratic number fields on the critical line.


Active Learning with Point Supervision for Cost Effective Panicle Detection in Cereal Crops. Panicle density of cereal crops such as wheat and sorghum is one of the main components for plant breeders and agronomists in understanding the yield of their crops. To phenotype the panicle density effectively, researchers agree there is a significant need for computer vision based object detection techniques. Especially in recent times, research in deep learning based object detection shows promising results in various agricultural studies. However, training such systems usually requires a lot of bounding box labeled data. Since crops vary by both environmental and genetic conditions, acquisition of huge amount of labeled image datasets for each crop is expensive and time consuming. Thus, to catalyze the widespread usage of automatic object detection for crop phenotyping, a cost effective method to develop such automated systems is essential. We propose a point supervision based active learning approach for panicle detection in cereal crops. In our approach, the model constantly interacts with a human annotator by iteratively querying the labels for only the most informative images, as opposed to all images in a dataset. Our query method is specifically designed for cereal crops which usually tend to have panicles with low variance in appearance. Our method reduces labeling costs by intelligently leveraging low cost weak labels (object centers) for picking the most informative images for which strong labels (bounding boxes) are required. We show promising results on two publicly available cereal crop datasets Sorghum and Wheat. On Sorghum, 6 variants of our proposed method outperform the best baseline method with more than 55 savings in labeling time. Similarly, on Wheat, 3 variants of our proposed methods outperform the best baseline method with more than 50 of savings in labeling time.


A rigid theorem for deformed Hermitian Yang Mills equation. In this paper, we study the deformed Hermitian Yang Mills equation on compact K "ahler manifold with non negative orthogonal bisectional curvature. We prove that the curvatures of deformed Hermitian Yang Mills metrics are parallel with respect to the background metric if there exists a positive constant C such that frac 1 C omega sqrt 1 F C omega . We also study the self shrinker over mathbb C n to the corresponding parabolic flow. We prove that the self shrinker over mathbb C n is a quadratic polynomial function. We also show the similar rigid theorem for the J equations and the self shrinkers over mathbb C n to J flow.


Global expanding solutions of compressible Euler equations with small initial densities. We prove the existence of a large class of global in time expanding solutions to vacuum free boundary compressible Euler flows without relying on the existence of an underlying finite dimensional family of special affine solutions of the flow.


A Database of Groups with Equivalent Character Tables. Two groups are said to have the same character table if a permutation of the rows and a permutation of the columns of one table produces the other table. The problem of determining when two groups have the same character table is computationally intriguing. We have constructed a database containing for all finite groups of order less than 2000 (excluding those of order 1024), a partitioning of groups into classes having the same character table. To handle the 408,641,062 groups of order 1536 and other orders with a large number of groups we utilized high throughput computing together with a new algorithmic approach to the problem. Our approach involved using graph isomorphism software to construct canoncial graphs that correspond to the character table of a group and then hashing the graphs.


Optimal Feedback Law Recovery by Gradient Augmented Sparse Polynomial Regression. A sparse regression approach for the computation of high dimensional optimal feedback laws arising in deterministic nonlinear control is proposed. The approach exploits the control theoretical link between Hamilton Jacobi Bellman PDEs characterizing the value function of the optimal control problems, and first order optimality conditions via Pontryagin's Maximum Principle. The latter is used as a representation formula to recover the value function and its gradient at arbitrary points in the space time domain through the solution of a two point boundary value problem. After generating a dataset consisting of different state value pairs, a hyperbolic cross polynomial model for the value function is fitted using a LASSO regression. An extended set of low and high dimensional numerical tests in nonlinear optimal control reveal that enriching the dataset with gradient information reduces the number of training samples, and that the sparse polynomial regression consistently yields a feedback law of lower complexity.


Stochastic effects on the dynamics of an epidemic due to population subdivision. Using a stochastic Susceptible Infected Removed (SIR) meta population model of disease transmission, we present analytical calculations and numerical simulations dissecting the interplay between stochasticity and the division of a population into mutually independent sub populations. We show that subdivision activates two stochastic effects extinction and desynchronization diminishing the overall impact of the outbreak, even when the total population has already left the stochastic regime and the basic reproduction number is not altered by the subdivision. Both effects are quantitatively captured by our theoretical estimates, allowing us to determine their individual contributions to the observed reduction of the peak of the epidemic.


GradNet Gradient Guided Network for Visual Object Tracking. The fully convolutional siamese network based on template matching has shown great potentials in visual tracking. During testing, the template is fixed with the initial target feature and the performance totally relies on the general matching ability of the siamese network. However, this manner cannot capture the temporal variations of targets or background clutter. In this work, we propose a novel gradient guided network to exploit the discriminative information in gradients and update the template in the siamese network through feed forward and backward operations. Our algorithm performs feed forward and backward operations to exploit the discriminative informaiton in gradients and capture the core attention of the target. To be specific, the algorithm can utilize the information from the gradient to update the template in the current frame. In addition, a template generalization training method is proposed to better use gradient information and avoid overfitting. To our knowledge, this work is the first attempt to exploit the information in the gradient for template update in siamese based trackers. Extensive experiments on recent benchmarks demonstrate that our method achieves better performance than other state of the art trackers.


Stochastic Discontinuous Galerkin Methods with Low Rank Solvers for Convection Diffusion Equations. We investigate numerical behaviour of a convection diffusion equation with random coefficients by approximating statistical moments of the solution. Stochastic Galerkin approach, turning the original stochastic problem to a system of deterministic convection diffusion equations, is used to handle the stochastic domain in this study, whereas discontinuous Galerkin method is used to discretize spatial domain due to its local mass conservativity. A priori error estimates of the stationary problem and stability estimate of the unsteady model problem are derived in the energy norm. To address the curse of dimensionality of Stochastic Galerkin method, we take advantage of the low rank Krylov subspace methods, which reduce both the storage requirements and the computational complexity by exploiting a Kronecker product structure of system matrices. The efficiency of the proposed methodology is illustrated by numerical experiments on the benchmark problems.


Markov Blankets in the Brain. Recent characterisations of self organising systems depend upon the presence of a Markov blanket a statistical boundary that mediates the interactions between what is inside of and outside of a system. We leverage this idea to provide an analysis of partitions in neuronal systems. This is applicable to brain architectures at multiple scales, enabling partitions into single neurons, brain regions, and brain wide networks. This treatment is based upon the canonical micro circuitry used in empirical studies of effective connectivity, so as to speak directly to practical applications. This depends upon the dynamic coupling between functional units, whose form recapitulates that of a Markov blanket at each level. The nuance afforded by partitioning neural systems in this way highlights certain limitations of modular perspectives of brain function that only consider a single level of description.


An asymmetric random Rado theorem for single equations the 0 statement. A famous result of Rado characterises those integer matrices A which are partition regular, i.e. for which any finite colouring of the positive integers gives rise to a monochromatic solution to the equation Ax 0 . Aigner Horev and Person recently stated a conjecture on the probability threshold for the binomial random set n p having the asymmetric random Rado property given partition regular matrices A 1, dots, A r (for a fixed r geq 2 ), however one r colours n p , there is always a colour i in r such that there is an i coloured solution to A i x 0 . This generalises the symmetric case, which was resolved by R "odl and Ruci 'nski, and Friedgut, R "odl and Schacht. Aigner Horev and Person proved the 1 statement of their asymmetric conjecture. In this paper, we resolve the 0 statement in the case where the A i x 0 correspond to single linear equations. Additionally we close a gap in the original proof of the 0 statement of the (symmetric) random Rado theorem.


Metaheuristics for the operating theater planning and scheduling A systematic review. There are found a vast number of papers studying the problem of operating theater planning and scheduling. Different variants of this problem are generally recognized to be NP complete thus, several solution approaches have been utilized in the literature to confront with these complicated problems. The lack of a thorough review of the main characteristics of solution approaches is tangible in the literature (reviewing them separately and with regards to the characteristics of studied problems), which can provide pragmatic guidelines for practitioners and future research projects. This paper aims to address this issue. Since different types of solution approaches usually have different characteristics, this paper focuses only on metaheuristic algorithms. Through both automatic and manual search methods, we have selected and reviewed 28 papers with respect to their main problem and solution approach features. Finally, some directions are introduced for future research.


Semi Automatic Labeling for Deep Learning in Robotics. In this paper, we propose Augmented Reality Semi automatic labeling (ARS), a semi automatic method which leverages on moving a 2D camera by means of a robot, proving precise camera tracking, and an augmented reality pen to define initial object bounding box, to create large labeled datasets with minimal human intervention. By removing the burden of generating annotated data from humans, we make the Deep Learning technique applied to computer vision, that typically requires very large datasets, truly automated and reliable. With the ARS pipeline, we created effortlessly two novel datasets, one on electromechanical components (industrial scenario) and one on fruits (daily living scenario), and trained robustly two state of the art object detectors, based on convolutional neural networks, such as YOLO and SSD. With respect to the conventional manual annotation of 1000 frames that takes us slightly more than 10 hours, the proposed approach based on ARS allows annotating 9 sequences of about 35000 frames in less than one hour, with a gain factor of about 450. Moreover, both the precision and recall of object detection is increased by about 15 with respect to manual labeling. All our software is available as a ROS package in a public repository alongside the novel annotated datasets.


Subduction Zone Effect on the Structure of the Small Scale Currents at Core Mantle Boundary. The purpose of this work is to compare kinematics of small scale current vortices located near the core mantle boundary with high speed anomalies of seismic wave velocity in the lowest mantle asso ciated with the subduction zones. The small scale vortex paths were early obtained by the authors in the frame of the macro model of the main geomagnetic field sources. Two sources were chosen whose kine matics are characterized by the complete absence of the western drift and whose paths have a very com plex shape. Both sources are located in the vicinity of the subduction zones characterized by the extensive coherent regions with increased speed of seismic waves in the lowest mantle. One of them is geographically located near the western coast of Canada and the second one is located in the vicinity of Sumatra. For this study we used the global models of the heterogeneities of seismic wave velocity. It was obtained that the complex trajectories of the vortices is fully consistent with the high speed anomalies of seismic wave velocity in the lowest mantle. It can be assumed that mixing up with the matter of the lowest mantle, the substance of the liquid core rises along the lowest mantle channel and promotes its further increase. In addition, the volume of oceanic crust, subducted millions of years ago, turned out to be sufficient to penetrate into the liquid core, forming the complex shape restrictions for free circulation of the core liquid.


On Self Orthogonality and Self Duality of Matrix Product Codes over Commutative Rings. Let R be a commutative ring with identity. The paper studies the problem of self orthogonality and self duality matrix product codes (MPCs) over R . Some methods as well as special matrices are introduced for the construction of such MPCs. A characterization of such codes (in a special case) is also given. Some concrete examples are presented throughout the paper.


Medidas de distanciamento social e mobilidade na Am 'erica do Sul durante a pandemia por COVID 19 Condi c c oes necess 'arias e suficientes?. In a scenario where there is no vaccine for COVID 19, non pharmaceutical interventions are necessary to contain the spread of the virus and the collapse of the health system in the affected regions. One of these measures is social distancing, which aims to reduce interactions in the community by closing public and private establishments that involve crowds of people. The lockdown presupposes a drastic reduction in community interactions, representing a more extreme measure of social distancing. Based on geolocation data provided by Google for six categories of physical spaces, this article identifies the variations in the circulation of people in South America for different types of social distancing measures adopted during the COVID 19 pandemic. In this study, population mobility trends for a group of countries between February 15, 2020 and May 16, 2020 were analyzed. To summarize these trends in a single metric, a general circulation index was created, and to identify regional mobility patterns, descriptive analyzes of spatial autocorrelation (global and local Moran index) were used. The first hypothesis of this study is that countries with a lockdown decree can achieve greater success in reducing the mobility of the population, and the second hypothesis is that Argentina, Brazil and Colombia have regional mobility patterns. The first hypothesis was partially confirmed (considering 10 countries in South America), and the results obtained in the spatial analyzes confirmed the second hypothesis. In general, the observed data shows that less rigid lockdown or social distancing measures are necessary, however, they are not sufficient to achieve a significant reduction in the circulation of people during the pandemic.


Propagation Dynamics for Monotone Evolution Systems without Spatial Translation Invariance. In this paper,under an abstract setting we establish the existence of spatially inhomogeneous steady states and the asymptotic propagation properties for a large class of monotone evolution systems without spatial translation invariance. Then we apply the developed theory to study traveling waves and spatio temporal propagation patterns for time delayed nonlocal equations, reaction diffusion equations in a cylinder, and asymptotically homogeneous KPP type equations. We also obtain the existence of steady state solutions and asymptotic spreading properties of solutions for a time delayed reaction diffusion equation subject to the Dirichlet boundary condition.


Four point boundary value problems for a coupled system of fractional differential equations with psi Caputo fractional derivatives. In this paper, we focus on the existence and uniqueness of solutions of boundary value problems for a coupled system of fractional differential equations with four point boundary conditions involving psi Caputo fractional derivatives. Our investigation is based on Leray Schauder alternative and Banach's fixed point theorem. Two examples are presented to illustrate the applicability of the results developed.


An Event Plane Detector for STAR Construction Proposal 2016. This is the construction proposal for the STAR Event Plane Detector (EPD). It discusses design considerations, simulations, and physics motivations for the device. It also covers other important details such as connector construction, cost schedule and radiation hardness of the epoxy. This proposal was submitted to STAR in May 2016 and approved shortly thereafter. The device was subsequently constructed and installed into STAR. The design evolved somewhat between the proposal and final construction, but this document contains useful details not found elsewhere. A manuscript detailing the device as constructed has been posted at arXiv 1912.05243.


Guidelines for measurement of thermal emission. Thermal emission is the radiation of electromagnetic waves from hot objects. The promise of thermal emission engineering for applications in energy harvesting, radiative cooling, and thermal camouflage has recently led to renewed research interest in this topic. There is a substantial need for accurate and precise measurement of thermal emission in a laboratory setting, which can be challenging in part due to the presence of background emission from the surrounding environment and the measurement instrument itself. This is especially true for measurements of emitters at temperatures close to that of the environment, where the impact of background emission is relatively large. In this paper, we describe, recommend, and demonstrate general procedures for thermal emission measurements that are applicable to most experimental conditions, including less common and more challenging cases that include thermal emitters with temperature dependent emissivity and emitters that are not in thermal equilibrium.


Node Failure Localization Theorem Proof. This is a technical report, containing all the theorem proofs in paper "On Optimal Monitor Placement for Localizing Node Failures via Network Tomography" by Liang Ma, Ting He, Ananthram Swami, Don Towsley, and Kin K. Leung, published in IFIP WG 7.3 Performance, 2015.