Fractality and Self organization in the Orthodox Iconography. The authors consider the Orthodox iconography of Byzantine style aimed at examining the existence of complex behavior and fractal patterns. It has been demonstrated that fractality in icons is manifested as two types descending and ascending, where the former one corresponds to the apparent information, and the latter one to the hidden causal information defining spatiality of the icon. Self organization, recognized as the increase of the causal information in the temporal domain, corresponds to contextualization of the observer s personage position. The results presented in the forms of plots and tables confirm the adequacy of the model being the completion of visual perception.


The profinite completion of the fundamental group of infinite graphs of groups. Let ( mathcal G , Gamma) be an abstract graph of finite groups. If Gamma is finite, we can construct a profinite graph of groups in a natural way ( hat mathcal G , Gamma) , where hat mathcal G (m) is the profinite completion of mathcal G (m) for all m in Gamma . The main reason for this is that Gamma is finite, so it is already profinite. In this paper we deal with the infinite case, by constructing a profinite graph overline Gamma where Gamma is densely embedded and then defining a profinite graph of groups ( widehat mathcal G , overline Gamma ) . We also prove that the fundamental group Pi 1( widehat mathcal G , overline Gamma ) is the profinite completion of Pi 1 abs ( mathcal G , Gamma) . This answers Open Question 6.7.1 of the book Profinite Graphs and Groups, published by Luis Ribes in 2017. Later we generalise the main theorem of a paper by Luis Ribes and the second author, proving that if R is a virtually free abstract group and H is a finitely generated subgroup of R , then overline N R (H) N hat R ( overline H ) answering Open Question 15.11.10 of the book of Ribes. Finally, we generalise the main theorem of a paper by Sheila Chagas and the second author, showing that every virtually free group is subgroup conjugacy separable. This answers Open Question 15.11.11 of the same book of Ribes.


Efficient Concurrent Execution of Smart Contracts in Blockchains using Object based Transactional Memory. This paper proposes an efficient framework to execute Smart Contract Transactions (SCTs) concurrently based on object semantics, using optimistic Single Version Object based Software Transactional Memory Systems (SVOSTMs) and Multi Version OSTMs (MVOSTMs). In our framework, a multi threaded miner constructs a Block Graph (BG), capturing the object conflicts relations between SCTs, and stores it in the block. Later, validators re execute the same SCTs concurrently and deterministically relying on this BG. A malicious miner can modify the BG to harm the blockchain, e.g., to cause double spending. To identify malicious miners, we propose Smart Multi threaded Validator (SMV). Experimental analysis shows that the proposed multi threaded miner and validator achieve significant performance gains over state of the art SCT execution framework.


Exploring Adversarial Examples via Invertible Neural Networks. Adversarial examples (AEs) are images that can mislead deep neural network (DNN) classifiers via introducing slight perturbations into original images. This security vulnerability has led to vast research in recent years because it can introduce real world threats into systems that rely on neural networks. Yet, a deep understanding of the characteristics of adversarial examples has remained elusive. We propose a new way of achieving such understanding through a recent development, namely, invertible neural models with Lipschitz continuous mapping functions from the input to the output. With the ability to invert any latent representation back to its corresponding input image, we can investigate adversarial examples at a deeper level and disentangle the adversarial example's latent representation. Given this new perspective, we propose a fast latent space adversarial example generation method that could accelerate adversarial training. Moreover, this new perspective could contribute to new ways of adversarial example detection.


Overcoming Data Sparsity in Group Recommendation. It has been an important task for recommender systems to suggest satisfying activities to a group of users in people's daily social life. The major challenge in this task is how to aggregate personal preferences of group members to infer the decision of a group. Conventional group recommendation methods applied a predefined strategy for preference aggregation. However, these static strategies are too simple to model the real and complex process of group decision making, especially for occasional groups which are formed ad hoc. Moreover, group members should have non uniform influences or weights in a group, and the weight of a user can be varied in different groups. Therefore, an ideal group recommender system should be able to accurately learn not only users' personal preferences but also the preference aggregation strategy from data. In this paper, we propose a novel end to end group recommender system named CAGR (short for Centrality Aware Group Recommender"), which takes Bipartite Graph Embedding Model (BGEM), the self attention mechanism and Graph Convolutional Networks (GCNs) as basic building blocks to learn group and user representations in a unified way. Specifically, we first extend BGEM to model group item interactions, and then in order to overcome the limitation and sparsity of the interaction data generated by occasional groups, we propose a self attentive mechanism to represent groups based on the group members. In addition, to overcome the sparsity issue of user item interaction data, we leverage the user social networks to enhance user representation learning, obtaining centrality aware user representations. We create three large scale benchmark datasets and conduct extensive experiments on them. The experimental results show the superiority of our proposed CAGR by comparing it with state of the art group recommender models.


Open Set Domain Adaptation for Image and Action Recognition. Since annotating and curating large datasets is very expensive, there is a need to transfer the knowledge from existing annotated datasets to unlabelled data. Data that is relevant for a specific application, however, usually differs from publicly available datasets since it is sampled from a different domain. While domain adaptation methods compensate for such a domain shift, they assume that all categories in the target domain are known and match the categories in the source domain. Since this assumption is violated under real world conditions, we propose an approach for open set domain adaptation where the target domain contains instances of categories that are not present in the source domain. The proposed approach achieves state of the art results on various datasets for image classification and action recognition. Since the approach can be used for open set and closed set domain adaptation, as well as unsupervised and semi supervised domain adaptation, it is a versatile tool for many applications.


Addressing Marketing Bias in Product Recommendations. Modern collaborative filtering algorithms seek to provide personalized product recommendations by uncovering patterns in consumer product interactions. However, these interactions can be biased by how the product is marketed, for example due to the selection of a particular human model in a product image. These correlations may result in the underrepresentation of particular niche markets in the interaction data for example, a female user who would potentially like motorcycle products may be less likely to interact with them if they are promoted using stereotypically 'male' images. In this paper, we first investigate this correlation between users' interaction feedback and products' marketing images on two real world e commerce datasets. We further examine the response of several standard collaborative filtering algorithms to the distribution of consumer product market segments in the input interaction data, revealing that marketing strategy can be a source of bias for modern recommender systems. In order to protect recommendation performance on underrepresented market segments, we develop a framework to address this potential marketing bias. Quantitative results demonstrate that the proposed approach significantly improves the recommendation fairness across different market segments, with a negligible loss (or better) recommendation accuracy.


Abstracting spreadsheet data flow through hypergraph redrawing. We believe the error prone nature of traditional spreadsheets is due to their low level of abstraction. End user programmers are forced to construct their data models from low level cells which we define as "a data container or manipulator linked by user intent to model their world and positioned to reflect its structure". Spreadsheet cells are limited in what they may contain (scalar values) and the links between them are inherently hidden. This paper proposes a method of raising the level of abstraction of spreadsheets by "redrawing the boundary" of the cell. To expose the hidden linkage structure we transform spreadsheets into fine grained graphs with operators and values as nodes. "cells" are then represented as hypergraph edges by drawing a boundary "wall" around a set of operator data nodes. To extend what cells may contain and to create a higher level model of the spreadsheet we propose that researchers should seek techniques to redraw these boundaries to create higher level "cells" which will more faithfully represent the end user's real world mental model. We illustrate this approach via common sub expression identification and the application of sub tree isomorphisms for the detection of vector (array) operations.


Supporting Interoperability Between Open Source Search Engines with the Common Index File Format. There exists a natural tension between encouraging a diverse ecosystem of open source search engines and supporting fair, replicable comparisons across those systems. To balance these two goals, we examine two approaches to providing interoperability between the inverted indexes of several systems. The first takes advantage of internal abstractions around index structures and building wrappers that allow one system to directly read the indexes of another. The second involves sharing indexes across systems via a data exchange specification that we have developed, called the Common Index File Format (CIFF). We demonstrate the first approach with the Java systems Anserini and Terrier, and the second approach with Anserini, JASSv2, OldDog, PISA, and Terrier. Together, these systems provide a wide range of implementations and features, with different research goals. Overall, we recommend CIFF as a low effort approach to support independent innovation while enabling the types of fair evaluations that are critical for driving the field forward.


ProblemChild Discovering Anomalous Patterns based on Parent Child Process Relationships. It is becoming more common that adversary attacks consist of more than a standalone executable or script. Often, evidence of an attack includes conspicuous process heritage that may be ignored by traditional static machine learning models. Advanced attacker techniques, like "living off the land" that appear normal in isolation become more suspicious when observed in a parent child context. The context derived from parent child process chains can help identify and group malware families, as well as discover novel attacker techniques. Adversaries chain these techniques to achieve persistence, bypass defenses, and execute actions. Traditional heuristic based detections often generate noise or disparate events that belong to what constitutes a single attack. ProblemChild is a graph based framework designed to address these issues. ProblemChild applies a supervised learning classifier to derive a weighted graph used to identify communities of seemingly disparate events into larger attack sequences. ProblemChild applies conditional probability to automatically rank anomalous communities as well as suppress commonly occurring parent child chains. In combination, this framework can be used by analysts to aid in the crafting or tuning of detectors and reduce false positives over time. We evaluate ProblemChild against the 2018 MITRE ATT CK(TM) emulation of APT3 attack to demonstrate its promise in identifying anomalous parent child process chains.


New equations for sea water density calculation based on measurements of the sound speed. Density is one of the most important properties of seawater and is used in various marine research and technology. Traditionally, in the practice of oceanographic research, it is customary to con sider density as a dependent parameter, which is a function of several other parameters taken as independent. Usually the following three parameters are used as the independent parameters temperature, hydrostatic pressure and salinity. The issues of temperature and hydrostatic pressure measuring in situ are technologically well developed, while in the salinity measuring there are still unsolved problems. This is due to the fact that salinity is such a property that it is simply impossi ble to determine directly in situ. To eliminate the problems associated with measurements of sa linity, the authors developed the special new kind equation. That equation of the new kind ex press the density of sea water through independent and in situ measured parameters temperature, hydrostatic pressure and sound speed. The novelty of this approach is that using of the sound speed as the independent parameter makes it possible to exclude measurements of salinity. The authors developed two such new equations for the different cases of using. The first new equa tion is intended for use in technical applications and reproduces the sea water density in a wide range of the aquatic environment parameters with a root mean square deviation of 0.062 kg m3. The second more precise new equation is intended for scientific applications and reproduces the sea water density in a narrower oceanographic range of parameters with a root mean square devi ation of 0.0018 kg m3.


Short term oscillation and falling dynamics for a water drop dripping in quiescent air. The short term transient falling dynamics of a dripping water drop in quiescent air has been investigated through both simulation and experiment. The focus is on the short term behavior and the time range considered covers about eight dominant second mode oscillations of the drop after it is formed. Due to the small fluid inertia the growth of the drop is quasi static and is well captured by the static pendant drop theory. Nevertheless, the pinching dynamics and the resulting post formation state of the drop trigger a nonlinear oscillation when the drop falls. The initial shape of the drop when it is just formed is decomposed into spherical harmonic modes. The pinching dynamics such as interface overturning introduces small scale variation on the drop contour, which in turn contributes to the finite amplitudes of the higher order modes. Furthermore, the initial kinetic energy when the droplet is just formed is as important as the initial surface energy contained in the drop shape, and is found to amplify the initial oscillation amplitude and to induce a phase shift in the oscillation of all the modes. By incorporating both the initial surface and kinetic energy, the linear model for a free drop oscillation yields very good predictions for the second and third modes. The mode amplitude spectra show both the primary frequencies that are consistent with the Lamb's theory and the secondary frequencies arising from different modes due to nonlinear inter mode coupling. The complex transient flow inside and outside the drop is induced by the interaction between the falling motion and the nonlinear oscillation. The streamlines indicate that the internal flow is substantially different from the Hill vortex for a falling drop without oscillation. The temporal evolutions of both the internal flow and the wake morphology follow the dominant second oscillation mode.


Query complexity of generalized Simon's problem. Simon's problem plays an important role in the history of quantum algorithms, as it inspired Shor to discover the celebrated quantum algorithm solving integer factorization in polynomial time. Besides, the quantum algorithm for Simon's problem has been recently applied to break symmetric cryptosystems. Generalized Simon's problem, denoted by mathsf GSP (p,n,k) , is a natural extension of Simon's problem. In this paper we consider the query complexity of mathsf GSP (p,n,k) . First, it is not difficult to design a quantum algorithm solving the above problem with query complexity of O(n k) . However, so far it is not clear what is the classical query complexity of the problem, and revealing this complexity is necessary for clarifying the computational power gap between quantum and classical computing on the problem. To tackle this problem, we prove that any classical (deterministic or randomized) algorithm for mathsf GSP (p,n,k) has to query at least Omega left( max k, sqrt p n k right) values and any classical nonadaptive deterministic algorithm for mathsf GSP (p,n,k) has to query at least Omega left( max k, sqrt k cdot p n k right) values. Hence, we clearly show the classical computing model is less powerful than the quantum counterpart, in terms of query complexity for the generalized Simon's problem. Moreover, we obtain an upper bound O left( max k, sqrt k cdot p n k right) on the classical deterministic query complexity of mathsf GSP (p,n,k) , by devising a subtle classical algorithm based on group theory and the divide and conquer approach. Therefore, we have an almost full characterization of the classical deterministic query complexity of the generalized Simon's problem.


Exponential stability of 3D stochastic primitive equations driven by fractional noise. In this article, we study the stability of solutions to 3D stochastic primitive equations driven by fractional noise. Since the fractional Brownian motion is essentially different from Brownian motion, lots of stochastic analysis tools are not available to study the exponential stability for the stochastic systems. Therefore, apart from the standard method for the case of Brownian motion, we develop a new method to show that 3D stochastic primitive equations driven by fractional noise converge almost surely exponentially to the stationary solutions. This method may be applied to other stochastic hydrodynamic equations and other noises including Brownian motion and L 'evy noise.


Treewidth and Counting Projected Answer Sets. In this paper, we introduce novel algorithms to solve projected answer set counting ( PAs). PAs asks to count the number of answer sets with respect to a given set of projected atoms, where multiple answer sets that are identical when restricted to the projected atoms count as only one projected answer set. Our algorithms exploit small treewidth of the primal graph of the input instance by dynamic programming (DP). We establish a new algorithm for head cycle free (HCF) programs and lift very recent results from projected model counting to PAs when the input is restricted to HCF programs. Further, we show how established DP algorithms for tight, normal, and disjunctive answer set programs can be extended to solve PAs. Our algorithms run in polynomial time while requiring double exponential time in the treewidth for tight, normal, and HCF programs, and triple exponential time for disjunctive programs. Finally, we take the exponential time hypothesis (ETH) into account and establish lower bounds of bounded treewidth algorithms for PAs. Under ETH, one cannot significantly improve our obtained worst case runtimes.


Does BLEU Score Work for Code Migration?. Statistical machine translation (SMT) is a fast growing sub field of computational linguistics. Until now, the most popular automatic metric to measure the quality of SMT is BiLingual Evaluation Understudy (BLEU) score. Lately, SMT along with the BLEU metric has been applied to a Software Engineering task named code migration. (In)Validating the use of BLEU score could advance the research and development of SMT based code migration tools. Unfortunately, there is no study to approve or disapprove the use of BLEU score for source code. In this paper, we conducted an empirical study on BLEU score to (in)validate its suitability for the code migration task due to its inability to reflect the semantics of source code. In our work, we use human judgment as the ground truth to measure the semantic correctness of the migrated code. Our empirical study demonstrates that BLEU does not reflect translation quality due to its weak correlation with the semantic correctness of translated code. We provided counter examples to show that BLEU is ineffective in comparing the translation quality between SMT based models. Due to BLEU's ineffectiveness for code migration task, we propose an alternative metric RUBY, which considers lexical, syntactical, and semantic representations of source code. We verified that RUBY achieves a higher correlation coefficient with the semantic correctness of migrated code, 0.775 in comparison with 0.583 of BLEU score. We also confirmed the effectiveness of RUBY in reflecting the changes in translation quality of SMT based translation models. With its advantages, RUBY can be used to evaluate SMT based code migration models.


Additive functionals as rough paths. We consider additive functionals of stationary Markov processes and show that under Kipnis Varadhan type conditions they converge in rough path topology to a Stratonovich Brownian motion, with a correction to the Levy area that can be described in terms of the asymmetry (non reversibility) of the underlying Markov process. We apply this abstract result to three model problems First we study random walks with random conductances under the annealed law. If we consider the Ito rough path, then we see a correction to the iterated integrals even though the underlying Markov process is reversible. If we consider the Stratonovich rough path, then there is no correction. The second example is a non reversible Ornstein Uhlenbeck process, while the last example is a diffusion in a periodic environment. As a technical step we prove an estimate for the p variation of stochastic integrals with respect to martingales that can be viewed as an extension of the rough path Burkholder Davis Gundy inequalities for local martingale rough paths of Friz et al to the case where only the integrator is a local martingale.


Accelerated methods for composite non bilinear saddle point problem. Based on G. Lan's accelerated gradient sliding and general relation between the smoothness and strong convexity parameters of function under Legendre transformation we show that under rather general conditions the best known bounds for bilinear convex concave smooth composite saddle point problem keep true for or non bilinear convex concave smooth composite saddle point problem. Moreover, we describe situations when the bounds differ and explain the nature of the difference.


Reasoning with failures. Safety Instrumented Systems (SIS) protect major hazard facilities, e.g. power plants, against catastrophic accidents. An SIS consists of hardware components and a controller software the program''. Current safety analyses of SIS' include the construction of a fault tree, summarising potential faults of the components and how they can arise within an SIS. The exercise of identifying faults typically relies on the experience of the safety engineer. Unfortunately the program part is often too complicated to be analysed in such a by hand" manner and so the impact it has on the resulting safety analysis is not accurately captured. In this paper we demonstrate how a formal model for faults and failure modes can be used to analyse the impact of an SIS program. We outline the underlying concepts of emph Failure Mode Reasoning and its application in safety analysis, and we illustrate the ideas on a practical example.


On Markovian semigroups of L 'evy driven SDEs, symbols and pseudo differential operators. We analyse analytic properties of nonlocal transition semigroups associated with a class of stochastic differential equations (SDEs) in mathbb R d driven by pure jump type L 'evy processes. First, we will show under which conditions the semigroup will be analytic on the Besov space B p,q m( mathbb R d) with 1 le p, q infty and m in mathbb R . Secondly, we present some applications by proving the strong Feller property and give weak error estimates for approximating schemes of the SDEs over the Besov space B infty, infty m( mathbb R d) .


Learning Augmented Energy Minimization via Speed Scaling. As power management has become a primary concern in modern data centers, computing resources are being scaled dynamically to minimize energy consumption. We initiate the study of a variant of the classic online speed scaling problem, in which machine learning predictions about the future can be integrated naturally. Inspired by recent work on learning augmented online algorithms, we propose an algorithm which incorporates predictions in a black box manner and outperforms any online algorithm if the accuracy is high, yet maintains provable guarantees if the prediction is very inaccurate. We provide both theoretical and experimental evidence to support our claims.


Algorithms for Generalized Numerical Semigroups. We provide algorithms for performing computations in generalized numerical semigroups, that is, submonoids of mathbb N d with finite complement in mathbb N d . These semigroups are affine semigroups, which in particular implies that they are finitely generated. For a given finite set of elements in mathbb N d we show how to deduce if the monoid spanned by this set is a generalized numerical semigroup and, if so, we calculate its set of gaps. Also, given a finite set of elements in mathbb N d we can determine if it is the set of gaps of a generalized numerical semigroup and, if so, compute the minimal generators of this monoid. We provide a new algorithm to compute the set of all generalized numerical semigroups with a prescribed genus (the cardinality of their sets of gaps). It was used to compute the number of such semigroups, and its implementation allowed us to compute (for various dimensions) the number of numerical semigroups for genus that had not been attained before.


Decomposition of Topological Azumaya Algebras. Let mathcal A be a topological Azumaya algebra of degree mn over a CW complex X . We give conditions for the positive integers m and n , and the space X so that mathcal A can be decomposed as the tensor product of topological Azumaya algebras of degrees m and n . Then we prove that if m n and the dimension of X is higher than 2m 1 , mathcal A may not have such decomposition.


Subscribing to Big Data at Scale. Today, data is being actively generated by a variety of devices, services, and applications. Such data is important not only for the information that it contains, but also for its relationships to other data and to interested users. Most existing Big Data systems focus on passively answering queries from users, rather than actively collecting data, processing it, and serving it to users. To satisfy both passive and active requests at scale, users need either to heavily customize an existing passive Big Data system or to glue multiple systems together. Either choice would require significant effort from users and incur additional overhead. In this paper, we present the BAD (Big Active Data) system, which is designed to preserve the merits of passive Big Data systems and introduce new features for actively serving Big Data to users at scale. We show the design and implementation of the BAD system, demonstrate how BAD facilitates providing both passive and active data services, investigate the BAD system's performance at scale, and illustrate the complexities that would result from instead providing BAD like services with a "glued" system.


Optimal Control for Chemotaxis Systems and Adjoint Based Optimization with Multiple Relaxation Time Lattice Boltzmann Models. This paper is devoted to continuous and discrete adjoint based optimization approaches for optimal control problems governed by an important class of Nonlinear Coupled Anisotropic Convection Diffusion Chemotaxis type System (NCACDCS). This study is motivated by the fact that the considered complex systems (with complex geometries) appear in diverse biochemical, biological and biosocial criminology problems. To solve numerically the corresponding nonlinear optimization problems, the primal problem NCACDCS is discretised by a coupled Lattice Boltzmann Method with a general Multiple Relaxation Time collision operators (MRT) while for the adjoint problem, an Adjoint Multiple Relaxation Time lattice Boltzmann model (AMRT) is proposed and investigated. First, the optimal control problems are formulated and first order necessary optimality conditions are established by using sensitivity and adjoint calculus. The resulting problems are discretised by the coupled MRT and AMRT models and solved via gradient descent methods. First of all, an efficient and stable modified MRT model for NCACDCS is developed, and through the Chapman Enskog analysis we show that NCACDCS can be correctly recovered from the proposed MRT model. For the adjoint problem, the discretisation strategy is based on AMRT model, which is found to be as simple as MRT model with also highly efficient parallel nature. The derivation of AMRT model and the discrete cost functional gradient are derived mathematically in detail using the developed MRT model. The obtained method is reliable, efficient, practical to implement and can be easily incorporated into any existing MRT code.


Perfect depolarization in single scattering of light from uncorrelated surface and volume disorder. We demonstrate that single scattering of p polarized waves from uncorrelated surface and volume disorder can lead to perfect depolarization. The degree of polarization is shown to vanish in specific scattering directions that can be characterized based on simple geometric arguments. Depolarization results from the different polarization response of each source of disorder, providing a clear physical interpretation of the depolarization mechanism.


Rethinking Positive Aggregation and Propagation of Gradients in Gradient based Saliency Methods. Saliency methods interpret the prediction of a neural network by showing the importance of input elements for that prediction. A popular family of saliency methods utilize gradient information. In this work, we empirically show that two approaches for handling the gradient information, namely positive aggregation, and positive propagation, break these methods. Though these methods reflect visually salient information in the input, they do not explain the model prediction anymore as the generated saliency maps are insensitive to the predicted output and are insensitive to model parameter randomization. Specifically for methods that aggregate the gradients of a chosen layer such as GradCAM and FullGrad, exclusively aggregating positive gradients is detrimental. We further support this by proposing several variants of aggregation methods with positive handling of gradient information. For methods that backpropagate gradient information such as LRP, RectGrad, and Guided Backpropagation, we show the destructive effect of exclusively propagating positive gradient information.


Artificial Intelligence Systems applied to tourism A Survey. Artificial Intelligence (AI) has been improving the performance of systems for a diverse set of tasks and introduced a more interactive generation of personal agents. Despite the current trend of applying AI for a great amount of areas, we have not seen the same quantity of work being developed for the tourism sector. This paper reports on the main applications of AI systems developed for tourism and the current state of the art for this sector. The paper also provides an up to date survey of this field regarding several key works and systems that are applied to tourism, like Personal Agents, for providing a more interactive experience. We also carried out an in depth research on systems for predicting traffic human flow, more accurate recommendation systems and even how geospatial is trying to display tourism data in a more informative way and prevent problems before they arise.


Figures of merit for stellarators near the magnetic axis. A new paradigm for rapid stellarator configuration design has been recently demonstrated, in which the shapes of quasisymmetric or omnigenous flux surfaces are computed directly using an expansion in small distance from the magnetic axis. To further develop this approach, here we derive several other quantities of interest that can be rapidly computed from this near axis expansion. First, the nabla vec B and nabla nabla vec B tensors are computed, which can be used for direct derivative based optimization of electromagnetic coil shapes to achieve the desired magnetic configuration. Moreover, if the norm of these tensors is large compared to the field strength for a given magnetic field, the field must have a short length scale, suggesting it may be hard to produce with coils that are suitably far away. Second, we evaluate the minor radius at which the flux surface shapes would become singular, providing a lower bound on the achievable aspect ratio. This bound is also shown to be related to an equilibrium beta limit. Finally, for configurations that are constructed to achieve a desired magnetic field strength to first order in the expansion, we compute the error field that arises due to second order terms.


Reducing invariants and total reflexivity. Motivated by a recent result of Yoshino, and the work of Bergh on reducible complexity, we introduce reducing versions of invariants of finitely generated modules over commutative Noetherian local rings. Our main result considers modules which have finite reducing Gorenstein dimension, and determines a criterion for such modules to be totally reflexive in terms of the vanishing of Ext. Along the way we give examples and applications, and in particular, prove that a Cohen Macaulay local ring with canonical module is Gorenstein if and only if the canonical module has finite reducing Gorenstein dimension.


Inertial Extended Lagrangian Scheme for Solving Charge Equilibration Models. The inertial extended Lagrangian self consistent field scheme (iEL SCF) has been adopted for solving charge equilibration in LAMMPS as part of the reactive force field ReaxFF, which due to the charge conservation constraint requires solving two sets of linear system of equations for the new charges at each molecular dynamics time step. Therefore, the extended Lagrangian for charge equilibration is comprised of two auxiliary variables for the intermediate charges which serve as an initial guess for the real charges. We show that the iEL SCF is able to reduce the number of SCF cycles by 50 80 of the original conjugate gradient self consistent field solver as tested across diverse systems including water, ferric hydroxide, nitramine RDX, and hexanitrostilbene.


Assessing Phrasal Representation and Composition in Transformers. Deep transformer models have pushed performance on NLP tasks to new limits, suggesting sophisticated treatment of complex linguistic inputs, such as phrases. However, we have limited understanding of how these models handle representation of phrases, and whether this reflects sophisticated composition of phrase meaning like that done by humans. In this paper, we present systematic analysis of phrasal representations in state of the art pre trained transformers. We use tests leveraging human judgments of phrase similarity and meaning shift, and compare results before and after control of word overlap, to tease apart lexical effects versus composition effects. We find that phrase representation in these models relies heavily on word content, with little evidence of nuanced composition. We also identify variations in phrase representation quality across models, layers, and representation types, and make corresponding recommendations for usage of representations from these models.


Trajectory Deflection of Spinning Magnetic Microparticles, the Magnus Effect at the Microscale. The deflection due to the Magnus force of magnetic particles with a diameter of 80 micrometer dropping through fluids and rotating in a magnetic field was measured. With Reynolds number for this experiment around 1, we found trajectory deflections of the order of 1 degree, in agreement within measurement error with theory. This method holds promise for the sorting and analysis of the distribution in magnetic moment and particle diameter of suspensions of microparticles, such as applied in catalysis, or objects loaded with magnetic particles.


Molecular dynamics study of the competitive binding of hydrogen peroxide and water molecules with the DNA phosphate groups. The hydrogen peroxide is present in the living cell at small concentrations that increase under the action of the heavy ion beams in the process of anticancer therapy. The interactions of hydrogen peroxide with DNA, proteins and other biological molecules are poorly understood. In the present work the competitive binding of the hydrogen peroxide and water molecules with the DNA double helix backbone has been studied using the molecular dynamics method. The simulations have been carried out for the DNA double helix in a water solution with hydrogen peroxide molecules and Na counterions. The obtained radial distribution functions of counterions, H 2 O 2 and H 2 O molecules with respect to the oxygen atoms of DNA phosphate groups have been used for the analysis of the formation of different complexes. The calculated mean residence times show that a hydrogen peroxide molecule stays at least twice as long near the phosphate group (up to 7 ps) than a water molecule (about 3 ps). The hydrogen peroxide molecules form more stable complexes with the phosphate groups of the DNA backbone than water molecules do.


Inverses of Cartan matrices of Lie algebras and Lie superalgebras. The inverses of indecomposable Cartan matrices are computed for finite dimensional Lie algebras and Lie superalgebras over fields of any characteristic, and for hyperbolic (almost affine) complex Lie (super)algebras. We discovered three yet inexplicable new phenomena, of which (a) and (b) concern hyperbolic (almost affine) complex Lie (super)algebras, except for the 5 Lie superalgebras whose Cartan matrices have 0 on the main diagonal (a) several of the inverses of Cartan matrices have all their elements negative (not just non positive, as they should be according to an a priori characterization due to Zhang Hechun) (b) the 0s only occur on the main diagonals of the inverses (c) the determinants of inequivalent Cartan matrices of the simple Lie (super)algebra may differ (in any characteristic). We interpret most of the results of Wei Yangjiang and Zou Yi Ming, Inverses of Cartan matrices of Lie algebras and Lie superalgebras, Linear Alg. Appl., 521 (2017) 283 298 as inverses of the Gram matrices of non degenerate invariant symmetric bilinear forms on the (super)algebras considered, not of Cartan matrices, and give more adequate references. In particular, the inverses of Cartan matrices of simple Lie algebras were already published, starting with Dynkin's paper in 1952, see also Table 2 in Springer's book by Onishchik and Vinberg (1990).


Geometric characterizations of the cross ratio in a pencil of conics. We give geometric ways to determine the cross ratio of conics in a pencil using elementary projective geometry.


Isolated singularities in the heat equation behaving like fractional Brownian motions. We consider solutions of the linear heat equation in mathbb R N with isolated singularities. It is assumed that the position of a singular point depends on time and is H "older continuous with the exponent alpha in (0,1) . We show that any isolated singularity is removable if it is weaker than a certain order depending on alpha . We also show the optimality of the removability condition by showing the existence of a solution with a nonremovable singularity. These results are applied to the case where the singular point behaves like a fractional Brownian motion with the Hurst exponent H in (0,1 2 . It turns out that H 1 N is critical.


BMO spaces of sigma finite von Neumann algebras and Fourier Schur multipliers on SU q(2) . We consider semi group BMO spaces associated with an arbitrary sigma finite von Neumann algebra ( mathcal M , varphi) . We prove that BMO always admits a predual, extending results from the finite case. Consequently, we can prove in the current setting of BMO that they are Banach spaces and they interpolate with L p as in the commutative situation, namely mathrm BMO ( mathcal M ), L p circ( mathcal M ) 1 q approx L pq circ( mathcal M ) . We then study a new class of examples. We introduce the notion of Fourier Schur multiplier on a compact quantum group and show that such multipliers naturally exist for SU q(2) .


Turbulence is an ineffective mixer when Schmidt numbers are large. We solve the advection diffusion equation for a stochastically stationary passive scalar theta , in conjunction with forced 3D Navier Stokes equations, using direct numerical simulations in periodic domains of various sizes, the largest being 8192 3 . The Taylor scale Reynolds number varies in the range 140 650 and the Schmidt number Sc equiv nu D in the range 1 512 , where nu is the kinematic viscosity of the fluid and D is the molecular diffusivity of theta . Our results show that turbulence becomes an ineffective mixer when Sc is large. First, the mean scalar dissipation rate langle chi rangle 2D langle nabla theta 2 rangle , when suitably non dimensionalized, decreases as 1 log Sc . Second, 1D cuts through the scalar field indicate increasing density of sharp fronts on larger scales, oscillating with large excursions leading to reduced mixing, and additionally suggesting weakening of scalar variance flux across the scales. The scaling exponents of the scalar structure functions in the inertial convective range appear to saturate with respect to the moment order and the saturation exponent approaches unity as Sc increases, qualitatively consistent with 1D cuts of the scalar.


Reconciliation of the Rosen and Laue theories of special relativity in a linear dielectric medium. The theory of dielectric special relativity was derived by Laue from a fundamental physical basis in Einstein's special relativity and the relativistic velocity sum rule. The Laue theory is experimentally verified by the Fizeau water tube experiment. In contrast, the Rosen version of dielectric special relativity was derived heuristically and has no experimental validation. Consequently, the Rosen theory and its consequences are mostly ignored in the scientific literature and there is little to no discussion about the incompatibility of the two theories of relativity in a dielectric. In this article, the Laue theory is developed from boundary conditions using inertial reference frames moving at constant velocity along the interface between a simple linear dielectric medium and the vacuum. Then, the Rosen theory is derived in the context of inertial frames of reference moving at constant velocity in the interior of an arbitrarily large linear isotropic homogeneous dielectric medium. These derivations show that the Laue and Rosen theories of dielectric special relativity are both correct but have different regimes of applicability. The Rosen theory applies to physics in the interior of a simple linear dielectric and the Laue theory is used to relate these physics to a Laboratory Frame of Reference in the vacuum where measurements can be performed.


Radiation of a Charge in Dielectric Concentrator for Cherenkov Radiation Off Axis Charge Motion. A theoretical investigation of radiation field produced by a charge moving through the dielectric concentrator for Cherenkov radiation is performed for the general case where a charge trajectory is shifted with respect to the target axis. The idea of dielectric target with specific profile of the outer surface was presented and investigated in our previous papers for the symmetric case. Here we show how non symmetric field components generated in the bulk of target affect field distribution near the focus where strong concentration of the energy occurs. Possible applications of this target are discussed. This version also contains corrections (Appendix C) made after publication.


Grammar compression with probabilistic context free grammar. We propose a new approach for universal lossless text compression, based on grammar compression. In the literature, a target string T has been compressed as a context free grammar G in Chomsky normal form satisfying L(G) T . Such a grammar is often called a emph straight line program (SLP). In this paper, we consider a probabilistic grammar G that generates T , but not necessarily as a unique element of L(G) . In order to recover the original text T unambiguously, we keep both the grammar G and the derivation tree of T from the start symbol in G , in compressed form. We show some simple evidence that our proposal is indeed more efficient than SLPs for certain texts, both from theoretical and practical points of view.


Word embedding and neural network on grammatical gender A case study of Swedish. We analyze the information provided by the word embeddings about the grammatical gender in Swedish. We wish that this paper may serve as one of the bridges to connect the methods of computational linguistics and general linguistics. Taking nominal classification in Swedish as a case study, we first show how the information about grammatical gender in language can be captured by word embedding models and artificial neural networks. Then, we match our results with previous linguistic hypotheses on assignment and usage of grammatical gender in Swedish and analyze the errors made by the computational model from a linguistic perspective.


On characterizations of nondicritical generalized curve foliations. We characterize nondicrital generalized curve foliations with fixed reduced separatrix. Moreover, we give suficient conditions when a plane analytic curve is its reduced separatrix. For that, we introduce a distinguished expression for a given 1 form, called it Weierstrass form . Then, using Weierstrass forms, we characterize the nondicritical generalized curve foliations first, for foliations with monomial separatrix using toric resolution second, for foliations with reduced separatrix, using the GSV index. In this last case the characterization, which is our main result, could be interpreted in function of a polar of the foliation and a polar of its reduced separatrix.


Regularity of free boundaries in optimal transportation. In this paper, we obtain some regularities of the free boundary in optimal transportation with the quadratic cost. Our first result is about the C 1, alpha regularity of the free boundary for optimal partial transport between convex domains for densities f, g bounded from below and above. When f, g in C alpha , and partial Omega, partial Omega in C 1,1 are far apart, by adopting our recent results on boundary regularity of Monge Amp ere equations cite CLW1 , our second result shows that the free boundaries are C 2, alpha . As an application, in the last we also obtain these regularities of the free boundary in an optimal transport problem with two separate targets.


On spectral analysis of self adjoint Toeplitz operators. The paper pursues three objectives. Firstly, we provide an expanded version of spectral analysis of self adjoint Toeplitz operators, initially built by M. Rosenblum in the 1960's. We offer some improvements to Rosenblum's approach for instance, our proof of the absolute continuity, relying on a weak version of the limiting absorption principle, is more direct. Secondly, we study in detail Toeplitz operators with finite spectral multiplicity. In particular, we introduce generalized eigenfunctions and investigate their properties. Thirdly, we develop a more detailed spectral analysis for piecewise continuous symbols. This is necessary for construction of scattering theory for Toeplitz operators with such symbols.


LSOS Line search Second Order Stochastic optimization methods for nonconvex finite sums. We develop a line search second order algorithmic framework for minimizing finite sums. We do not make any convexity assumptions, but require the terms of the sum to be continuously differentiable and have Lipschitz continuous gradients. The methods fitting into this framework combine line searches and suitably decaying step lengths. A key issue is a two step sampling at each iteration, which allows us to control the error present in the line search procedure. Stationarity of limit points is proved in the almost sure sense, while almost sure convergence of the sequence of approximations to the solution holds with the additional hypothesis that the functions are strongly convex. Numerical experiments, including comparisons with state of the art stochastic optimization methods, show the efficiency of our approach.


Exploiting Scene specific Features for Object Goal Navigation. Can the intrinsic relation between an object and the room in which it is usually located help agents in the Visual Navigation Task? We study this question in the context of Object Navigation, a problem in which an agent has to reach an object of a specific class while moving in a complex domestic environment. In this paper, we introduce a new reduced dataset that speeds up the training of navigation models, a notoriously complex task. Our proposed dataset permits the training of models that do not exploit online built maps in reasonable times even without the use of huge computational resources. Therefore, this reduced dataset guarantees a significant benchmark and it can be used to identify promising models that could be then tried on bigger and more challenging datasets. Subsequently, we propose the SMTSC model, an attention based model capable of exploiting the correlation between scenes and objects contained in them, highlighting quantitatively how the idea is correct.


Commutative algebras with nondegenerate invariant trace form and trace free multiplication endomorphisms. A commutative algebra is exact if its multiplication endomorphisms are trace free and is Killing metrized if its Killing type trace form is nondegenerate and invariant. A Killing metrized exact commutative algebra is necessarily neither unital nor associative. Such algebras can be viewed as commutative analogues of semisimple Lie algebras or, alternatively, as nonassociative generalizations of 'etale (associative) algebras. Some basic examples are described and there are introduced quantitative measures of nonassociativity, formally analogous to curvatures of connections, that serve to facilitate the organization and characterization of these algebras.


Revisiting Explicit Negation in Answer Set Programming. A common feature in Answer Set Programming is the use of a second negation, stronger than default negation and sometimes called explicit, strong or classical negation. This explicit negation is normally used in front of atoms, rather than allowing its use as a regular operator. In this paper we consider the arbitrary combination of explicit negation with nested expressions, as those defined by Lifschitz, Tang and Turner. We extend the concept of reduct for this new syntax and then prove that it can be captured by an extension of Equilibrium Logic with this second negation. We study some properties of this variant and compare to the already known combination of Equilibrium Logic with Nelson's strong negation. Under consideration for acceptance in TPLP.


Deep learning based classification and retrieval of components of a process plant from segmented point clouds. Technology to recognize the type of component represented by a point cloud is required in the reconstruction process of an as built model of a process plant based on laser scanning. The reconstruction process of a process plant through laser scanning is divided into point cloud registration, point cloud segmentation, and component type recognition and placement. Loss of shape data or imbalance of point cloud density problems generally occur in the point cloud data collected from large scale facilities. In this study, we experimented with the possibility of applying object recognition technology based on 3D deep learning networks, which have been showing high performance recently, and analyzed the results. For training data, we used a segmented point cloud repository about components that we constructed by scanning a process plant. For networks, we selected the multi view convolutional neural network (MVCNN), which is a view based method, and PointNet, which is designed to allow the direct input of point cloud data. In the case of the MVCNN, we also performed an experiment on the generation method for two types of multi view images that can complement the shape occlusion of the segmented point cloud. In this experiment, the MVCNN showed the highest retrieval accuracy of approximately 87 , whereas PointNet showed the highest retrieval mean average precision of approximately 84 . Furthermore, both networks showed high recognition performance for the segmented point cloud of plant components when there was sufficient training data.


Alberti Uhlmann problem on Hardy Littlewood P ' o lya majorization. We fully describe the doubly stochastic orbit of a self adjoint element in the noncommutative L 1 space affiliated with a semifinite von Neumann algebra, which answers a problem posed by Alberti and Uhlmann in the 1980s, extending several results in the literature. It follows further from our methods that, for any sigma finite von Neumann algebra mathcal M equipped a semifinite infinite faithful normal trace tau , there exists a self adjoint operator y in L 1( mathcal M , tau) such that the doubly stochastic orbit of y does not coincide with the orbit of y in the sense of Hardy Littlewood P ' o lya, which confirms a conjecture by Hiai. However, we show that Hiai's conjecture fails for non sigma finite von Neumann algebras. The main result of the present paper also answers the (noncommutative) infinite counterparts of problems due to Luxemburg and Ryff in the 1960s.


Theory of Irrotational Flow. We analyze the Navier Stokes equation, and show that all non viscous, irrotational flows are barotropic. As far as we know, this has never been stated in the literature before, and indirectly suggests that vorticity is required to make these flows non barotropic. Both the pressure, temperature, speed, entropy, enthalpy, and a Bernoulli function are derived to be only functions of the density (which is a function of space and time). When we also require steady flow, the Bernoulli function is a constant in all space, not just on streamlines.


The Optimal Double Bubble for Density r p . In 1993 Foisy et al. proved that the optimal Euclidean planar double bubble the least perimeter way to enclose and separate two given areas is three circular arcs meeting at 120 degrees. We consider the plane with density r p , joining the surge of research on manifolds with density after their appearance in Perelman's 2006 proof of the Poincar 'e Conjecture. Dahlberg et al. proved that the best single bubble in the plane with density r p is a circle through the origin. We conjecture that the best double bubble is the Euclidean solution with one of the vertices at the origin, for which we have verified equilibrium (first variation or "first derivative" zero). To prove the exterior of the minimizer connected, it would suffice to show that least perimeter is increasing as a function of the prescribed areas. We give the first direct proof of such monotonicity for the Euclidean case. Such arguments were important in the 2002 Annals proof of the double bubble in Euclidean 3 space


Adaptive Adversarial Logits Pairing. Adversarial examples provide an opportunity as well as impose a challenge for understanding image classification systems. Based on the analysis of the adversarial training solution Adversarial Logits Pairing (ALP), we observed in this work that (1) The inference of adversarially robust model tends to rely on fewer high contribution features compared with vulnerable ones. (2) The training target of ALP doesn't fit well to a noticeable part of samples, where the logits pairing loss is overemphasized and obstructs minimizing the classification loss. Motivated by these observations, we design an Adaptive Adversarial Logits Pairing (AALP) solution by modifying the training process and training target of ALP. Specifically, AALP consists of an adaptive feature optimization module with Guided Dropout to systematically pursue fewer high contribution features, and an adaptive sample weighting module by setting sample specific training weights to balance between logits pairing loss and classification loss. The proposed AALP solution demonstrates superior defense performance on multiple datasets with extensive experiments.


Todxs cuentan building community and welcoming humanity from the first day of class. Everyone can have joyful, meaningful, and empowering academic experiences but no single academic experience is joyful, meaningful, and empowering to everyone. How do we build academic spaces where every participant can thrive? Audre Lorde advises us to use our differences to our advantage. bell hooks highlights the key role of building community while addressing power dynamics. Rochelle Guti 'errez emphasizes the importance of welcoming students' full humanity. This note discusses some efforts to implement these ideas in a university classroom, focusing on the first day of class.


Multi objective and categorical global optimization of photonic structures based on ResNet generative neural networks. We show that deep generative neural networks, based on global topology optimization networks (GLOnets), can be configured to perform the multi objective and categorical global optimization of photonic devices. A residual network scheme enables GLOnets to evolve from a deep architecture, which is required to properly search the full design space early in the optimization process, to a shallow network that generates a narrow distribution of globally optimal devices. As a proof of concept demonstration, we adapt our method to design thin film stacks consisting of multiple material types. Benchmarks with known globally optimized anti reflection structures indicate that GLOnets can find the global optimum with orders of magnitude faster speeds compared to conventional algorithms. We also demonstrate the utility of our method in complex design tasks with its application to incandescent light filters. These results indicate that advanced concepts in deep learning can push the capabilities of inverse design algorithms for photonics.


Improved laser distillation method for complete enantio conversion of chiral mixtures. Laser assisted enantio conversion is an ambitious issue related to chiral molecules in the atomic, molecular, and optical physics. The theoretical laser distillation method had been proposed to realize enantio conversion based on a four level double Delta model of two degenerated chiral ground states and two achiral excited states. Here, we re investigate and improve the laser distillation method so that a chiral mixture can be converted to an enantiopure sample of the desired chirality, i.e., complete enantio conversion, which has not been discussed in the previous theoretical works of the laser distillation method. Since the undesired chirality may be inefficient or even cause serious side effects in pharmacology, our work plays as an important improvement to the original theoretical works of the laser assisted enantio conversion.


Analyzing Visual Representations in Embodied Navigation Tasks. Recent advances in deep reinforcement learning require a large amount of training data and generally result in representations that are often over specialized to the target task. In this work, we present a methodology to study the underlying potential causes for this specialization. We use the recently proposed projection weighted Canonical Correlation Analysis (PWCCA) to measure the similarity of visual representations learned in the same environment by performing different tasks. We then leverage our proposed methodology to examine the task dependence of visual representations learned on related but distinct embodied navigation tasks. Surprisingly, we find that slight differences in task have no measurable effect on the visual representation for both SqueezeNet and ResNet architectures. We then empirically demonstrate that visual representations learned on one task can be effectively transferred to a different task.


Emergent Reciprocity and Team Formation from Randomized Uncertain Social Preferences. Multi agent reinforcement learning (MARL) has shown recent success in increasingly complex fixed team zero sum environments. However, the real world is not zero sum nor does it have fixed teams humans face numerous social dilemmas and must learn when to cooperate and when to compete. To successfully deploy agents into the human world, it may be important that they be able to understand and help in our conflicts. Unfortunately, selfish MARL agents typically fail when faced with social dilemmas. In this work, we show evidence of emergent direct reciprocity, indirect reciprocity and reputation, and team formation when training agents with randomized uncertain social preferences (RUSP), a novel environment augmentation that expands the distribution of environments agents play in. RUSP is generic and scalable it can be applied to any multi agent environment without changing the original underlying game dynamics or objectives. In particular, we show that with RUSP these behaviors can emerge and lead to higher social welfare equilibria in both classic abstract social dilemmas like Iterated Prisoner's Dilemma as well in more complex intertemporal environments.


A Private and Unlinkable Message Exchange Using a Public bulletin board in Opportunistic Networks. We plan to simulate a private and unlinkable exchange of messages by using a Public bulletin board and Mix networks in Opportunistic networks. This Opportunistic network uses a secure and privacy friendly asynchronous unidirectional message transmission protocol. By using this protocol, we create a Public bulletin board in a network that makes individuals send or receive events unlinkable to one another . With the design of a Public bulletin board in an Opportunistic network, the clients can use the benefits of this Public bulletin board in a safe environment. When this Opportunistic network uses the protocol, it can guarantee an unlinkable communication based on the Mix networks. The protocol can work with the Public bulletin board exclusively with acceptable performance. Also, this simulation can be used for hiding metadata in the bidirectional message exchange in some messengers such as WhatsApp. As we know, one of the main goals of a messenger like WhatsApp is to protect the social graph. By using this protocol, a messenger can protect social graph and a central Public bulletin board.


Engel elements in weakly branch groups. We study properties of Engel elements in weakly branch groups, lying in the group of automorphisms of a spherically homogeneous rooted tree. More precisely, we prove that the set of bounded left Engel elements is always trivial in weakly branch groups. In the case of branch groups, the existence of non trivial left Engel elements implies that these are all p elements and that the group is virtually a p group (and so periodic) for some prime p . We also show that the set of right Engel elements of a weakly branch group is trivial under a relatively mild condition. Also, we apply these results to well known families of weakly branch groups, like the multi GGS groups.


Sideways Transliteration How to Transliterate Multicultural Person Names?. In a global setting, texts contain transliterated names from many cultural origins. Correct transliteration depends not only on target and source languages but also, on the source language of the name. We introduce a novel methodology for transliteration of names originating in different languages using only monolingual resources. Our method is based on a step of noisy transliteration and then ranking of the results based on origin specific letter models. The transliteration table used for noisy generation is learned in an unsupervised manner for each possible origin language. We present a solution for gathering monolingual training data used by our method by mining of social media sites such as Facebook and Wikipedia. We present results in the context of transliterating from English to Hebrew and provide an online web service for transliteration from English to Hebrew


Fully Online Matching II Beating Ranking and Water filling. Karp, Vazirani, and Vazirani (STOC 1990) initiated the study of online bipartite matching, which has held a central role in online algorithms ever since. Of particular importance are the Ranking algorithm for integral matching and the Water filling algorithm for fractional matching. Most algorithms in the literature can be viewed as adaptations of these two in the corresponding models. Recently, Huang et al. (STOC 2018, SODA 2019) introduced a more general model called emph fully online matching , which considers general graphs and allows all vertices to arrive online. They also generalized Ranking and Water filling to fully online matching and gave some tight analysis Ranking is Omega approx 0.567 competitive on bipartite graphs where the Omega constant satisfies Omega e Omega 1 , and Water filling is 2 sqrt 2 approx 0.585 competitive on general graphs. We propose fully online matching algorithms strictly better than Ranking and Water filling. For integral matching on bipartite graphs, we build on the online primal dual analysis of Ranking and Water filling to design a 0.569 competitive hybrid algorithm called Balanced Ranking. To our knowledge, it is the first integral algorithm in the online matching literature that successfully integrates ideas from Water filling. For fractional matching on general graphs, we give a 0.592 competitive algorithm called Eager Water filling, which may match a vertex on its arrival. By contrast, the original Water filling algorithm always matches vertices at their deadlines. Our result for fractional matching further shows a separation between fully online matching and the general vertex arrival model by Wang and Wong (ICALP 2015), due to an upper bound of 0.5914 in the latter model by Buchbinder, Segev, and Tkach (ESA 2017).


Holistic Multi View Building Analysis in the Wild with Projection Pooling. We address six different classification tasks related to fine grained building attributes construction type, number of floors, pitch and geometry of the roof, facade material, and occupancy class. Tackling such a remote building analysis problem became possible only recently due to growing large scale datasets of urban scenes. To this end, we introduce a new benchmarking dataset, consisting of 49426 images (top view and street view) of 9674 buildings. These photos are further assembled, together with the geometric metadata. The dataset showcases various real world challenges, such as occlusions, blur, partially visible objects, and a broad spectrum of buildings. We propose a new projection pooling layer, creating a unified, top view representation of the top view and the side views in a high dimensional space. It allows us to utilize the building and imagery metadata seamlessly. Introducing this layer improves classification accuracy compared to highly tuned baseline models indicating its suitability for building analysis.


Spatially multiplexed picosecond pulse train generation in a 6 LP mode fiber based on multiple four wave mixings. We report on the generation of four spatially multiplexed picosecond 40 GHz pulse trains in a km long 6 LP multimode optical fiber. The principle of operation is based on the parallel nonlinear compression of initial beat signals into well separated pulse trains owing to intra modal multiple four wave mixings. A series of four 40 GHz dual frequency beatings at different wavelengths are simultaneously injected into the LP01, LP11, LP02 and LP12 modes of a 1.8 km long graded index few mode fiber. The combined effects of Kerr nonlinearity and anomalous chromatic dispersion lead to the simultaneous generation of four spatially multiplexed frequency combs which correspond in the temporal domain to the compression of these beat signals into picosecond pulses. The temporal profiles of the output pulse trains demultiplexed from each spatial mode show that well separated picosecond pulses with negligible pedestals are then generated.


Nonlinear algebra with tensegrity structures. In this paper, we discuss tensegrity from the perspective of nonlinear algebra in a manner accessible to undergraduates. We compute explicit examples and include the SAGE and Julia code so that readers can continue their own experiments and computations. The entire framework is a natural extension of linear equations of equilibrium, but to describe the space of solutions will require (nonlinear) polynomials. In our examples, minors of a structured matrix determine the singular locus of the algebraic variety of interest. At these singular points, more interesting phenomena can occur, which we investigate in the context of the tensegrity 3 prism, our running example. Tools from algebraic geometry, commutative algebra, semidefinite programming, and numerical algebraic geometry will be used. Although at first it is all linear algebra, the examples will motivate the study of systems of polynomial equations. In particular, we will see the importance of varieties cut out by determinants of matrices.


Analysis and Simulation of a Coupled Diffusion based Image Denoising Model. In this study, a new coupled Partial Differential Equation (CPDE) based image denoising model incorporating space time regularization into non linear diffusion is proposed. This proposed model is fitted with additive Gaussian noise which performs efficient image smoothing along with the preservation of edges and fine structures. For this purpose, we propose a new functional minimization framework to remove the image noise, which results in solving a system of three partial differential equations (PDEs). Our proposed model is dissimilar from the existing CPDE models as it includes two additional evolution equations to handle edge strength function and data fidelity term. These two evolution equations control the smoothing process and force the resultant denoised solution to be close to the initial solution. To the best of our knowledge, the proposed model is the only work, which deciphers the combined effect of both the terms using separate PDEs. Furthermore, we establish the existence and uniqueness of a weak solution of the proposed system using the time discretization method with H 1 initial data. Finally, we used a generalized weighted average finite difference scheme to efficiently solve the coupled system and experiment results show the effectiveness of the proposed CPDE model.


Krivine diffusions attain the Goemans Williamson approximation ratio. Answering a question of Abbasi Zadeh, Bansal, Guruganesh, Nikolov, Schwartz and Singh (2018), we prove the existence of a slowed down sticky Brownian motion whose induced rounding for MAXCUT attains the Goemans Williamson approximation ratio. This is an especially simple particular case of the general rounding framework of Krivine diffusions that we investigate elsewhere.


Pointer Machine Algorithms for Fully Online Construction of Suffix Trees and DAWGs on Multiple Strings. We deal with the problem of maintaining the suffix tree indexing structure for a fully online collection of multiple strings, where a new character can be prepended to any string in the collection at any time. The only previously known algorithm for the problem, recently proposed by Takagi et al. Algorithmica 82(5) 1346 1377 (2020) , runs in O(N log sigma) time and O(N) space on the word RAM model, where N denotes the total length of the strings and sigma denotes the alphabet size. Their algorithm makes heavy use of the nearest marked ancestor (NMA) data structure on semi dynamic trees, that can answer queries and supports insertion of nodes in O(1) amortized time on the word RAM model. In this paper, we present a simpler fully online right to left algorithm that builds the suffix tree for a given string collection in O(N ( log sigma log d)) time and O(N) space, where d is the maximum number of in coming Weiner links to a node of the suffix tree. We note that d is bounded by the height of the suffix tree, which is further bounded by the length of the longest string in the collection. The advantage of this new algorithm is that it works on the pointer machine model, namely, it does not use the complicated NMA data structures that involve table look ups. As a byproduct, we also obtain a pointer machine algorithm for building the directed acyclic word graph (DAWG) for a fully online left to right collection of multiple strings, which runs in O(N ( log sigma log d)) time and O(N) space again without the aid of the NMA data structures.


Towards optimization techniques on diffeological spaces by generalizing Riemannian concepts. Diffeological spaces firstly introduced by J.M. Souriau in the 1980s are a natural generalization of smooth manifolds. However, optimization techniques are only known on manifolds so far. Generalizing these techniques to diffeological spaces is very challenging because of several reasons. One of the main reasons is that there are various definitions of tangent spaces which do not coincide. Additionally, one needs to deal with a generalization of a Riemannian space in order to define gradients which are indispensable for optimization methods. This paper is devoted to an optimization technique on diffeological spaces. Thus, one main aim of this paper is a suitable definition of a tangent space in view to optimization methods. Based on this definition, we present a diffeological Riemannian space and a diffeological gradient, which we need to formulate an optimization algorithm on diffeological spaces. Moreover, in order to be able to update the iterates in an optimization algorithm on diffeological spaces, we present a diffeological retraction and the Levi Civita connection on diffeological spaces. We give examples for the novel objects and apply the presented diffeological algorithm to an optimization problem.


AMR Parsing via Graph Sequence Iterative Inference. We propose a new end to end model that treats AMR parsing as a series of dual decisions on the input sequence and the incrementally constructed graph. At each time step, our model performs multiple rounds of attention, reasoning, and composition that aim to answer two critical questions (1) which part of the input textit sequence to abstract and (2) where in the output textit graph to construct the new concept. We show that the answers to these two questions are mutually causalities. We design a model based on iterative inference that helps achieve better answers in both perspectives, leading to greatly improved parsing accuracy. Our experimental results significantly outperform all previously reported textsc Smatch scores by large margins. Remarkably, without the help of any large scale pre trained language model (e.g., BERT), our model already surpasses previous state of the art using BERT. With the help of BERT, we can push the state of the art results to 80.2 on LDC2017T10 (AMR 2.0) and 75.4 on LDC2014T12 (AMR 1.0).


Bottom up energy supply optimization of a national building stock. The installation and operation distributed energy resources (DER) and the electrification of the heat supply significantly changes the interaction of the residential building stock with the grid infrastructure. Evaluating the mass deployment of DER at the national level would require analyzing millions of individual buildings, entailing significant computational burden. To overcome this, this work proposes a novel bottom up model that consists of an aggregation algorithm to create a spatially distributed set of typical residential buildings from census data. Each typical building is then optimized with a Mixed Integer Linear Program to derive its cost optimal technology adoption and operation, determining its changing grid load in future scenarios. The model is validated for Germany, with 200 typical buildings considered to sufficiently represent the diversity of the residential building stock. In a future scenario for 2050, photovoltaic and heat pumps are predicted to be the most economically and ecologically robust supply solutions for the different building types. Nevertheless, their electricity generation and demand temporally do not match, resulting in a doubling of the peak electricity grid load in the rural areas during the winter. The urban areas can compensate this with efficient co generation units, which are not cost efficient in the rural areas.


CAFT Congestion Aware Fault Tolerant Load Balancing for Three Tier Clos Data Centers. Production data centers operate under various workload sizes ranging from latency sensitive mice flows to long lived elephant flows. However, the predominant load balancing scheme in data center networks, equal cost multi path (ECMP), is agnostic to path conditions and performs poorly in asymmetric topologies, resulting in low throughput and high latencies. In this paper, we propose CAFT, a distributed congestion aware fault tolerant load balancing protocol for 3 tier data center networks. It first collects, in real time, the complete congestion information of two subsets from the set of all possible paths between any two hosts. Then, the best path congestion information from each subset is carried across the switches, during the Transport Control Protocol (TCP) connection process, to make path selection decision. Having two candidate paths improve the robustness of CAFT to asymmetries caused by link failures. Large scale ns 3 simulations show that CAFT outperforms Expeditus in mean flow completion time (FCT) and network throughput for both symmetric and asymmetric scenarios.


A Bayesian brain model of adaptive behavior An application to the Wisconsin Card Sorting Task. Adaptive behavior emerges through a dynamic interaction between cognitive agents and changing environmental demands. The investigation of information processing underlying adaptive behavior relies on controlled experimental settings in which individuals are asked to accomplish demanding tasks whereby a hidden state or an abstract rule has to be learned dynamically. Although performance in such tasks is regularly considered as a proxy for measuring high level cognitive processes, the standard approach consists in summarizing response patterns by simple heuristic scoring measures. With this work, we propose and validate a new computational Bayesian model accounting for individual performance in the established Wisconsin Card Sorting Test. We embed the new model within the mathematical framework of Bayesian Brain Theory, according to which beliefs about the hidden environmental states are dynamically updated following the logic of Bayesian inference. Our computational model maps distinct cognitive processes into separable, neurobiologically plausible, information theoretic constructs underlying observed response patterns. We assess model identification and expressiveness in accounting for meaningful human performance through extensive simulation studies. We further apply the model to real behavioral data in order to highlight the utility of the proposed model in recovering cognitive dynamics at an individual level. Practical and theoretical implications of our computational modeling approach for clinical and cognitive neuroscience research are finally discussed, as well as potential future improvements.


FADNet A Fast and Accurate Network for Disparity Estimation. Deep neural networks (DNNs) have achieved great success in the area of computer vision. The disparity estimation problem tends to be addressed by DNNs which achieve much better prediction accuracy in stereo matching than traditional hand crafted feature based methods. On one hand, however, the designed DNNs require significant memory and computation resources to accurately predict the disparity, especially for those 3D convolution based networks, which makes it difficult for deployment in real time applications. On the other hand, existing computation efficient networks lack expression capability in large scale datasets so that they cannot make an accurate prediction in many scenarios. To this end, we propose an efficient and accurate deep network for disparity estimation named FADNet with three main features 1) It exploits efficient 2D based correlation layers with stacked blocks to preserve fast computation 2) It combines the residual structures to make the deeper model easier to learn 3) It contains multi scale predictions so as to exploit a multi scale weight scheduling training technique to improve the accuracy. We conduct experiments to demonstrate the effectiveness of FADNet on two popular datasets, Scene Flow and KITTI 2015. Experimental results show that FADNet achieves state of the art prediction accuracy, and runs at a significant order of magnitude faster speed than existing 3D models. The codes of FADNet are available at https github.com HKBU HPML FADNet.


DyANE Dynamics aware node embedding for temporal networks. Low dimensional vector representations of network nodes have proven successful to feed graph data to machine learning algorithms and to improve performance across diverse tasks. Most of the embedding techniques, however, have been developed with the goal of achieving dense, low dimensional encoding of network structure and patterns. Here, we present a node embedding technique aimed at providing low dimensional feature vectors that are informative of dynamical processes occurring over temporal networks rather than of the network structure itself with the goal of enabling prediction tasks related to the evolution and outcome of these processes. We achieve this by using a modified supra adjacency representation of temporal networks and building on standard embedding techniques for static graphs based on random walks. We show that the resulting embedding vectors are useful for prediction tasks related to paradigmatic dynamical processes, namely epidemic spreading over empirical temporal networks. In particular, we illustrate the performance of our approach for the prediction of nodes' epidemic states in a single instance of a spreading process. We show how framing this task as a supervised multi label classification task on the embedding vectors allows us to estimate the temporal evolution of the entire system from a partial sampling of nodes at random times, with potential impact for nowcasting infectious disease dynamics.


Random walks on dense subgroups of locally compact groups. Let Gamma be a countable discrete group, H a lcsc totally disconnected group and rho Gamma rightarrow H a homomorphism with dense image. We develop a general and explicit technique which provides, for every compact open subgroup L H and bi L invariant probability measure theta on H , a Furstenberg discretization tau of theta such that the Poisson boundary of (H, theta) is a tau boundary. Among other things, this technique allows us to construct examples of finitely supported random walks on certain lamplighter groups and solvable Baumslag Solitar groups, whose Poisson boundaries are prime, but not L p irreducible for any p geq 1 , answering a conjecture of Bader Muchnik in the negative. Furthermore, we give an example of a countable discrete group Gamma and two spread out probability measures tau 1 and tau 2 on Gamma such that the boundary entropy spectrum of ( Gamma, tau 1) is an interval, while the boundary entropy spectrum of ( Gamma, tau 2) is a Cantor set.


Scatterplot Selection Applying a Graph Coloring Problem. Scatterplot selection is an effective approach to represent essential portions of multidimensional data in a limited display space. Various metrics for evaluation of scatterplots such as scagnostics have been presented and applied to scatterplot selection. This paper presents a new scatterplot selection technique that applies multiple metrics. The technique firstly calculates scores of scatterplots with multiple metrics and then constructs a graph by connecting similar scatterplots. The technique applies a graph coloring problem so that different colors are assigned to similar scatterplots. We can extract a set of various scatterplots by selecting them that the specific same color is assigned. This paper introduces visualization examples with a retail dataset containing multidimensional climate and sales values.


Koopman Operator, Geometry, and Learning. We provide a framework for learning of dynamical systems rooted in the concept of representations and Koopman operators. The interplay between the two leads to the full description of systems that can be represented linearly in a finite dimension, based on the properties of the Koopman operator spectrum. The geometry of state space is connected to the notion of representation, both in the linear case where it is related to joint level sets of eigenfunctions and in the nonlinear representation case. As shown here, even nonlinear finite dimensional representations can be learned using the Koopman operator framework, leading to a new class of representation eigenproblems. The connection to learning using neural networks is given. An extension of the Koopman operator theory to "static" maps between different spaces is provided. The effect of the Koopman operator spectrum on Mori Zwanzig type representations is discussed.


Varieties of monoids with complex lattices of subvarieties. A variety is finitely universal if its lattice of subvarieties contains an isomorphic copy of every finite lattice. Examples of finitely universal varieties of semigroups have been available since the early 1970s, but it is unknown if there exists a finitely universal variety of monoids. The main objective of the present article is to exhibit the first examples of finitely universal varieties of monoids. The finite universality of these varieties is established by showing that the lattice of equivalence relations on every sufficiently large finite set is anti isomorphic to some subinterval of the lattice of subvarieties.


The Mathieu Differential Equation and Generalizations to Infinite Fractafolds. One of the well studied equations in the theory of ODEs is the Mathieu differential equation. A common approach for obtaining solutions is to seek solutions via Fourier series by converting the equation into an infinite system of linear equations for the Fourier coefficients. We study the asymptotic behavior of these Fourier coefficients and discuss the ways in which to numerically approximate solutions. We present both theoretical and numerical results pertaining to the stability of the Mathieu differential equation and the properties of solutions. Further, based on the idea of using Fourier series, we provide a method in which the Mathieu differential equation can be generalized to be defined on the infinite Sierpinski gasket. We discuss the stability of solutions to this fractal differential equation and describe further results concerning properties and behavior of these solutions.


First testing of the Hamamatsu R5912 02Mod photomultiplier tube at 4 bar pressure and cryogenic temperature. The Hamamatsu R5912 02Mod photomultiplier tube (PMT) will be used in the DUNE dual phase module, a 10 kton fiducial volume liquid argon time projection chamber, which is one of the four projected far detector modules of the DUNE long baseline neutrino experiment. In the DUNE dual phase module, the liquid argon places high pressure on the photo detectors located at the bottom of the 14 m cryostat. Four Hamamatsu R5912 02Mod PMTs were tested at 4 bar absolute pressure and cryogenic temperature (in liquid nitrogen) for the first time. No mechanical or electrical damage is reported, validating the use of this PMT model in the DUNE dual phase module and in other large scale cryogenic liquid detectors. The differences observed in their behavior are expected for the change in the PMT operating temperature.


Minimal bad sequences are necessary for a uniform Kruskal theorem. The minimal bad sequence argument due to Nash Williams is a powerful tool in combinatorics with important implications for theoretical computer science. In particular, it yields a very elegant proof of Kruskal's theorem. At the same time, it is known that Kruskal's theorem does not require the full strength of the minimal bad sequence argument. This claim can be made precise in the framework of reverse mathematics, where the existence of minimal bad sequences is equivalent to a principle known as Pi 1 1 comprehension, which is much stronger than Kruskal's theorem. In the present paper we give a uniform version of Kruskal's theorem by relativizing it to certain transformations of well partial orders. We show that Pi 1 1 comprehension is equivalent to our uniform Kruskal theorem (over mathbf RCA 0 together with the chain antichain principle). This means that any proof of the uniform Kruskal theorem must entail the existence of minimal bad sequences. As a by product of our investigation, we obtain uniform proofs of several Kruskal type independence results.


Transmitting Extra Bits by Rotating Signal Constellations. In this letter, we propose a novel LDPC coding scheme to transmit extra bits aided by rotated signal constellations without any additional cost in transmission power or bandwidth. In the proposed scheme, the LDPC coded data are modulated by a rotated two dimensional signal constellation, in which the rotation angle is specified by the given extra bits. At the receiver, the rotation angle is estimated with the aid of the statistical learning of the syndrome of the LDPC code. After recovering the rotation angle, the coded payload data can be decoded by the LDPC decoder. The simulation results show that, for an LDPC code of length 2304, up to four extra bits can be transmitted with negligible influence on the reliability of the LDPC coded data.


Computer Supported Collaborative Learning in Software Engineering Education A Systematic Mapping Study. Computer supported collaborative learning (CSCL) has been a steady topic of research since the early 1990s, and the trend has continued to this date. The basic benefits of CSCL in the classroom have been established in many fields of education to improve especially student motivation and critical thinking. In this paper we present a systematic mapping study about the state of research of computer supported collaborative learning in software engineering education. The mapping study examines published articles from 2003 to 2013 to find out how this field of science has progressed. Ongoing research topics in CSCL in software engineering education concern wider learning communities and the effectiveness of different collaborative approaches. We found that while the research establishes the benefits of CSCL in several different environments from local to global ones, these approaches are not always detailed and comparative enough to pinpoint which factors have enabled their success.


Reducing the Feeder Effect in Public School Admissions A Bias aware Analysis for Targeted Interventions. Traditionally, New York City's top 8 public schools select candidates solely based on their scores in the Specialized High School Admissions Test (SHSAT). These scores are known to be impacted by socioeconomic status of students and test preparation received in "feeder" middle schools, leading to a massive filtering effect in the education pipeline. For instance, around 50 (resp. 80 ) of the students admitted to the top public high schools in New York City come from only 5 (resp. 15 ) of the middle schools. The classical mechanisms for assigning students to schools do not naturally address problems like school segregation and class diversity, which have worsened over the years. The scientific community, including policy makers, have reacted by incorporating group specific quotas, proportionality constraints, or summer school opportunities, but there is evidence that these can end up hurting minorities or even create legal challenges. We take a completely different approach to reduce this filtering effect of feeder middle schools, with the goal of increasing the opportunity of students with high economic needs. We model a two sided market where a candidate may not be perceived at their true potential, and is therefore assigned to a lower level than the one (s)he deserves. We propose and study the effect of interventions such as additional training and scholarships towards disadvantaged students, and challenge existing mechanisms for scholarships. We validate these findings using SAT scores data from New York City high schools. We further show that our qualitative takeaways remain the same even when some of the modeling assumptions are relaxed.


Big Data Staging with MPI IO for Interactive X ray Science. New techniques in X ray scattering science experiments produce large data sets that can require millions of high performance processing hours per week of computation for analysis. In such applications, data is typically moved from X ray detectors to a large parallel file system shared by all nodes of a petascale supercomputer and then is read repeatedly as different science application tasks proceed. However, this straightforward implementation causes significant contention in the file system. We propose an alternative approach in which data is instead staged into and cached in compute node memory for extended periods, during which time various processing tasks may efficiently access it. We describe here such a big data staging framework, based on MPI IO and the Swift parallel scripting language. We discuss a range of large scale data management issues involved in X ray scattering science and measure the performance benefits of the new staging framework for high energy diffraction microscopy, an important emerging application in data intensive X ray scattering. We show that our framework accelerates scientific processing turnaround from three months to under 10 minutes, and that our I O technique reduces input overheads by a factor of 5 on 8K Blue Gene Q nodes.


Sharp Bohr type inequality. This article is devoted to the sharp improvement of the classical Bohr inequality for bounded analytic functions defined on the unit disk. We also prove two other sharp versions of the Bohr inequality by replacing the constant term by the absolute of the function and the square of the absolute of the function, respectively.


Compression challenges in large scale PDE solvers. Solvers for partial differential equations (PDE) are one of the cornerstones of computational science. For large problems, they involve huge amounts of data that needs to be stored and transmitted on all levels of the memory hierarchy. Often, bandwidth is the limiting factor due to relatively small arithmetic intensity, and increasingly so due to the growing disparity between computing power and bandwidth. Consequently, data compression techniques have been investigated and tailored towards the specific requirements of PDE solvers during the last decades. This paper surveys data compression challenges and corresponding solution approaches for PDE problems, covering all levels of the memory hierarchy from mass storage up to main memory. Exemplarily, we illustrate concepts at particular methods, and give references to alternatives.


Word problems for finite nilpotent groups. Let w be a word in k variables. For a finite nilpotent group G , a conjecture of Amit states that N w(1) ge G k 1 , where N w(1) is the number of k tuples (g 1,...,g k) in G (k) such that w(g 1,...,g k) 1 . Currently, this conjecture is known to be true for groups of nilpotency class 2. Here we consider a generalized version of Amit's conjecture, and prove that N w(g) ge G k 2 , where g is a w value in G , for finite groups G of odd order and nilpotency class 2. If w is a word in two variables, we further show that N w(g) ge G , where g is a w value in G for finite groups G of nilpotency class 2. In addition, for p a prime, we show that finite p groups G , with two distinct irreducible complex character degrees, satisfy the generalized Amit conjecture for words w k x 1,y 1 ... x k,y k with k a natural number that is, for g a w k value in G we have N w k (g) ge G 2k 1 . Finally, we discuss the related group properties of being rational and chiral, and show that every finite group of nilpotency class 2 is rational.


Whitney Graustein Homotopy of Locally Convex Curves via a Curvature Flow. Let X 0, widetilde X be two smooth, closed and locally convex curves in the plane with same winding number. A curvature flow with a nonlocal term is constructed to evolve X 0 into widetilde X . It is proved that this flow exits globally, preserves both the local convexity and the elastic energy of the evolving curve. If the two curves have same elastic energy then the curvature flow deforms the evolving curve into the target curve widetilde X as time tends to infinity.