Differential coloration efficiency of electrochromic amorphous tungsten oxide as a function of intercalation level Comparison between theory and experiment. Optical absorption in amorphous tungsten oxide ( textit a mathrm WO 3 ), for photon energies below that of the band gap, can be rationalized in terms of electronic transitions between localized states. For the study of this phenomenon, we employed the differential coloration efficiency concept, defined as the derivative of the optical density with respect to the inserted charge. We also made use of its extension to a complex quantity in the context of frequency resolved studies. Combined textit in situ electrochemical and optical experiments were performed on electrochromic textit a mathrm WO 3 thin films for a wide lithium intercalation range using an optical wavelength of 810 mathrm nm ( 1.53 mathrm eV ). Quasi equilibrium measurements were made by chronopotentiometry (CP). Dynamic frequency dependent measurements were carried out by simultaneous electrochemical and color impedance spectroscopy (SECIS). The differential coloration efficiency obtained from CP changes sign at a critical intercalation level. Its response exhibits an excellent agreement with a theoretical model that considers electronic transitions between mathrm W 4 , mathrm W 5 , and mathrm W 6 sites. For the SECIS experiment, the low frequency limit of the differential coloration efficiency shows a general trend similar to that from CP. However, it does not change sign at a critical ion insertion level. This discrepancy could be due to degradation effects occurring in the films at high mathrm Li insertion levels. The methodology and results presented in this work can be of great interest both for the study of optical absorption in disordered materials and for applications in electrochromism.


Demonstration of Muon Beam Transverse Phase Space Compression. We demonstrate efficient transverse compression of a 12.5 MeV c muon beam stopped in a helium gas target featuring a vertical density gradient and crossed electric and magnetic fields. The muon stop distribution extending vertically over 14 mm was reduced to a 0.25 mm size (RMS) within 3.5 mu s. The simulation including cross sections for low energy mu text He elastic and charge exchange ( mu leftrightarrow muonium) collisions describes the measurements well. By combining the transverse compression stage with a previously demonstrated longitudinal compression stage, we can improve the phase space density of a mu beam by a factor of 10 10 with 10 3 efficiency.


When to Use Convolutional Neural Networks for Inverse Problems. Reconstruction tasks in computer vision aim fundamentally to recover an undetermined signal from a set of noisy measurements. Examples include super resolution, image denoising, and non rigid structure from motion, all of which have seen recent advancements through deep learning. However, earlier work made extensive use of sparse signal reconstruction frameworks (e.g convolutional sparse coding). While this work was ultimately surpassed by deep learning, it rested on a much more developed theoretical framework. Recent work by Papyan et. al provides a bridge between the two approaches by showing how a convolutional neural network (CNN) can be viewed as an approximate solution to a convolutional sparse coding (CSC) problem. In this work we argue that for some types of inverse problems the CNN approximation breaks down leading to poor performance. We argue that for these types of problems the CSC approach should be used instead and validate this argument with empirical evidence. Specifically we identify JPEG artifact reduction and non rigid trajectory reconstruction as challenging inverse problems for CNNs and demonstrate state of the art performance on them using a CSC method. Furthermore, we offer some practical improvements to this model and its application, and also show how insights from the CSC model can be used to make CNNs effective in tasks where their naive application fails.


CommuNety A Deep Learning System for the Prediction of Cohesive Social Communities. Effective mining of social media, which consists of a large number of users is a challenging task. Traditional approaches rely on the analysis of text data related to users to accomplish this task. However, text data lacks significant information about the social users and their associated groups. In this paper, we propose CommuNety, a deep learning system for the prediction of cohesive social networks using images. The proposed deep learning model consists of hierarchical CNN architecture to learn descriptive features related to each cohesive network. The paper also proposes a novel Face Co occurrence Frequency algorithm to quantify existence of people in images, and a novel photo ranking method to analyze the strength of relationship between different individuals in a predicted social network. We extensively evaluate the proposed technique on PIPA dataset and compare with state of the art methods. Our experimental results demonstrate the superior performance of the proposed technique for the prediction of relationship between different individuals and the cohesiveness of communities.


Disproportionate incidence of COVID 19 in African Americans correlates with dynamic segregation. Socio economic disparities quite often have a central role in the unfolding of large scale catastrophic events. One of the most concerning aspects of the ongoing COVID 19 pandemics is that it disproportionately affects people from Black and African American backgrounds creating an unexpected infection gap. Interestingly, the abnormal impact on these ethnic groups seem to be almost uncorrelated with other risk factors, including co morbidity, poverty, level of education, access to healthcare, residential segregation, and response to cures. A proposed explanation for the observed incidence gap is that people from African American backgrounds are more often employed in low income service jobs, and are thus more exposed to infection through face to face contacts, but the lack of direct data has not allowed to draw strong conclusions in this sense so far. Here we introduce the concept of dynamic segregation, that is the extent to which a given group of people is internally clustered or exposed to other groups, as a result of mobility and commuting habits. By analysing census and mobility data on more than 120 major US cities, we found that the dynamic segregation of African American communities is significantly associated with the weekly excess COVID 19 incidence and mortality in those communities. The results confirm that knowing where people commute to, rather than where they live, is much more relevant for disease modelling.


Sindarin A Versatile Scripting API for the Pharo Debugger. Debugging is one of the most important and time consuming activities in software maintenance, yet mainstream debuggers are not well adapted to several debugging scenarios. This has led to the research of new techniques covering specific families of complex bugs. Notably, recent research proposes to empower developers with scripting DSLs, plugin based and moldable debuggers. However, these solutions are tailored to specific use cases, or too costly for one time use scenarios. In this paper we argue that exposing a debugging scripting interface in mainstream debuggers helps in solving many challenging debugging scenarios. For this purpose, we present Sindarin, a scripting API that eases the expression and automation of different strategies developers pursue during their debugging sessions. Sindarin provides a GDB like API, augmented with AST bytecode source code mappings and object centric capabilities. To demonstrate the versatility of Sindarin, we reproduce several advanced breakpoints and non trivial debugging mechanisms from the literature.


Interpreting and Predicting Tactile Signals via a Physics Based and Data Driven Framework. High density afferents in the human hand have long been regarded as essential for human grasping and manipulation abilities. In contrast, robotic tactile sensors are typically used to provide low density contact data, such as center of pressure and resultant force. Although useful, this data does not exploit the rich information content that some tactile sensors (e.g., the SynTouch BioTac) naturally provide. This research extends robotic tactile sensing beyond reduced order models through 1) the automated creation of a precise tactile dataset for the BioTac over diverse physical interactions, 2) a 3D finite element (FE) model of the BioTac, which complements the experimental dataset with high resolution, distributed contact data, and 3) neural network based mappings from raw BioTac signals to low dimensional experimental data, and more importantly, high density FE deformation fields. These data streams can provide a far greater quantity of interpretable information for grasping and manipulation algorithms than previously accessible.


Long time behavior for three dimensional compressible viscous and heat conductive gases. We study the large time behavior of solutions to the compressible Navier Stokes equations for a viscous and heat conductive gases in mathbb R 3 . More precisely, under a suitable additional condition involving only the low frequencies of the initial data, we exhibit the optimal time decay rates for the constructed global solutions. The proof relies on some new energy arguments developed by Xin and Xu 39 for the compressible Navier Stokes equations.


Integrating Graph Contextualized Knowledge into Pre trained Language Models. Complex node interactions are common in knowledge graphs, and these interactions also contain rich knowledge information. However, traditional methods usually treat a triple as a training unit during the knowledge representation learning (KRL) procedure, neglecting contextualized information of the nodes in knowledge graphs (KGs). We generalize the modeling object to a very general form, which theoretically supports any subgraph extracted from the knowledge graph, and these subgraphs are fed into a novel transformer based model to learn the knowledge embeddings. To broaden usage scenarios of knowledge, pre trained language models are utilized to build a model that incorporates the learned knowledge representations. Experimental results demonstrate that our model achieves the state of the art performance on several medical NLP tasks, and improvement above TransE indicates that our KRL method captures the graph contextualized information effectively.


Generation and propagation of an open vortex beam. We theoretically and experimentally studied a novel class of vortex beams named open vortex beams (OVBs). Such beams are generated using Gaussian beams diffracted by partially blocked fork shaped gratings (PB FSGs).The analytical model of OVBs in the near field and far field is given by superpositions of Hypergeometric (HyG) modes. Unlike conventional integer and fractional vortex beams, the OVBs can have both an open ring structure and an integer topological charge (TC). The TC is decided by the circumference covered by the open ring. It is also quantitatively shown that a pi 2 rotation of the open ring occurs in the propagation of an OVB due to the Gouy phase shift. Futhermore, we demonstrate experimental generation and detection of OVBs. Our experimental results are in very good agreement with the theory. We believe that the OVB can be the potential candidate for numerous applications, such as particle manipulation, quantum information and optical metrology.


SuPer Deep A Surgical Perception Framework for Robotic Tissue Manipulation using Deep Learning for Feature Extraction. Robotic automation in surgery requires precise tracking of surgical tools and mapping of deformable tissue. Previous works on surgical perception frameworks require significant effort in developing features for surgical tool and tissue tracking. In this work, we overcome the challenge by exploiting deep learning methods for surgical perception. We integrated deep neural networks, capable of efficient feature extraction, into the tissue reconstruction and instrument pose estimation processes. By leveraging transfer learning, the deep learning based approach requires minimal training data and reduced feature engineering efforts to fully perceive a surgical scene. The framework was tested on three publicly available datasets, which use the da Vinci Surgical System, for comprehensive analysis. Experimental results show that our framework achieves state of the art tracking performance in a surgical environment by utilizing deep learning for feature extraction.


The moduli space of limit laws for q hook formulas. In earlier work, Billey Konvalinka Swanson studied the asymptotic distribution of the coefficients of Stanley's q hook length formula, or equivalently the major index on standard tableaux of straight shape and certain skew shapes. We extend those investigations to Stanley's q hook content formula related to semistandard tableaux and q hook length formulas of Bj "orner Wachs related to linear extensions of labeled forests. We show that, while their coefficients are "generically" asymptotically normal, there are uncountably many non normal limit laws. More precisely, we introduce and completely describe the compact closure of the moduli space of distributions of these statistics in several regimes. The additional limit distributions involve generalized uniform sum distributions which are topologically parameterized by certain decreasing sequence spaces with bounded 2 norm. The closure of the moduli space of these distributions in the L 'evy metric gives rise to the moduli space of DUSTPAN distributions. As an application, we completely classify the limiting distributions of the size statistic on plane partitions fitting in a box.


The Structure of U.S. College Networks on Facebook. Anecdotally, social connections made in university have life long impact. Yet knowledge of social networks formed in college remains episodic, due in large part to the difficulty and expense involved in collecting a suitable dataset for comprehensive analysis. To advance and systematize insight into college social networks, we describe a dataset of the largest online social network platform used by college students in the United States. We combine de identified and aggregated Facebook data with College Scorecard data, campus level information provided by U.S. Department of Education, to produce a dataset covering the 2008 2015 entry year cohorts for 1,159 U.S. colleges and universities, spanning 7.6 million students. To perform the difficult task of comparing these networks of different sizes we develop a new methodology. We compute features over sampled ego graphs, train binary classifiers for every pair of graphs, and operationalize distance between graphs as predictive accuracy. Social networks of different year cohorts at the same school are structurally more similar to one another than to cohorts at other schools. Networks from similar schools have similar structures, with the public private and graduation rate dimensions being the most distinguishable. We also relate school types to specific outcomes. For example, students at private schools have larger networks that are more clustered and with higher homophily by year. Our findings may help illuminate the role that colleges play in shaping social networks which partly persist throughout people's lives.


Strudel Learning Structured Decomposable Probabilistic Circuits. Probabilistic circuits (PCs) represent a probability distribution as a computational graph. Enforcing structural properties on these graphs guarantees that several inference scenarios become tractable. Among these properties, structured decomposability is a particularly appealing one it enables the efficient and exact computations of the probability of complex logical formulas, and can be used to reason about the expected output of certain predictive models under missing data. This paper proposes Strudel, a simple, fast and accurate learning algorithm for structured decomposable PCs. Compared to prior work for learning structured decomposable PCs, Strudel delivers more accurate single PC models in fewer iterations, and dramatically scales learning when building ensembles of PCs. It achieves this scalability by exploiting another structural property of PCs, called determinism, and by sharing the same computational graph across mixture components. We show these advantages on standard density estimation benchmarks and challenging inference scenarios.


Vertex transitive graphs with local action the symmetric group on ordered pairs. We consider a finite, connected and simple graph Gamma that admits a vertex transitive group of automorphisms G . Under the assumption that, for all x in V( Gamma) , the local action G x Gamma(x) is the action of mathrm Sym (n) on ordered pairs, we show that the group G x 3 , the pointwise stabiliser of a ball of radius three around x , is trivial.


Impact of Vertex Addition on Italian Domination Number. An Italian dominating function (IDF), of a graph G is a function f V(G) rightarrow 0,1,2 satisfying the condition that for every v in V(G) with f(v) 0, sum u in N(v) f(u) geq 2. The weight of an IDF on G is the sum f(V) sum v in V(G) f(v) and Italian domination number, gamma I(G) is the minimum weight of an IDF. In this paper, we study the impact of corona operator and addition of twins on Italian domination number.


Predicting Helpfulness of Online Reviews. E commerce dominates a large part of the world's economy with many websites dedicated to online selling products. The vast majority of e commerce websites provide their customers with the ability to express their opinions about the products services they purchase. These feedback in the form of reviews represent a rich source of information about the users' experiences and level of satisfaction, which is of great benefit to both the producer and the consumer. However, not all of these reviews are helpful useful. The traditional way of determining the helpfulness of a review is through the feedback from human users. However, such a method does not necessarily cover all reviews. Moreover, it has many issues like bias, high cost, etc. Thus, there is a need to automate this process. This paper presents a set of machine learning (ML) models to predict the helpfulness online reviews. Mainly, three approaches are used a supervised learning approach (using ML as well as deep learning (DL) models), a semi supervised approach (that combines DL models with word embeddings), and pre trained word embedding models that uses transfer learning (TL). The latter two approaches are among the unique aspects of this paper as they follow the recent trend of utilizing unlabeled text. The results show that the proposed DL approaches have superiority over the traditional existing ones. Moreover, the semi supervised has a remarkable performance compared with the other ones.


On Scheduler Side Channels in Dynamic Priority Real Time Systems. While the existence of scheduler side channels has been demonstrated recently for fixed priority real time systems (RTS), there have been no similar explorations for dynamic priority systems. The dynamic nature of such scheduling algorithms, e.g., EDF, poses a significant challenge in this regard. In this paper we demonstrate that side channels exist in dynamic priority real time systems. Using this side channel, our proposed DyPS algorithm is able to effectively infer, with high precision, critical task information from the vantage point of an unprivileged (user space) task. Apart from demonstrating the effectiveness of DyPS, we also explore the various factors that impact such attack algorithms using a large number of synthetic task sets. We also compare against the state of the art and demonstrate that our proposed DyPS algorithms outperform the ScheduLeak algorithms in attacking the EDF RTS.


blessing in disguise Designing Robust Turing Test by Employing Algorithm Unrobustness. Turing test was originally proposed to examine whether machine's behavior is indistinguishable from a human. The most popular and practical Turing test is CAPTCHA, which is to discriminate algorithm from human by offering recognition alike questions. The recent development of deep learning has significantly advanced the capability of algorithm in solving CAPTCHA questions, forcing CAPTCHA designers to increase question complexity. Instead of designing questions difficult for both algorithm and human, this study attempts to employ the limitations of algorithm to design robust CAPTCHA questions easily solvable to human. Specifically, our data analysis observes that human and algorithm demonstrates different vulnerability to visual distortions adversarial perturbation is significantly annoying to algorithm yet friendly to human. We are motivated to employ adversarially perturbed images for robust CAPTCHA design in the context of character based questions. Three modules of multi target attack, ensemble adversarial training, and image preprocessing differentiable approximation are proposed to address the characteristics of character based CAPTCHA cracking. Qualitative and quantitative experimental results demonstrate the effectiveness of the proposed solution. We hope this study can lead to the discussions around adversarial attack defense in CAPTCHA design and also inspire the future attempts in employing algorithm limitation for practical usage.


Nonlinear gradient estimates for elliptic double obstacle problems with measure data. We study quasilinear elliptic double obstacle problems with a variable exponent growth when the right hand side is a measure. A global Calder ' o n Zygmund estimate for the gradient of an approximable solution is obtained in terms of the associated double obstacles and a given measure, identifying minimal requirements for the regularity estimate.


Wafer Bonded Surface Plasmon Waveguide Biosensors with In Plane Microfluidic Interfaces. Biosensors exploiting long range surface plasmon polariton (LRSPP) waveguides comprised of Au stripes embedded in Cytop with integrated and encapsulated microfluidic channels are fabricated and demonstrated. A fabrication approach was devised where the lower cladding and recessed Au stripes are fabricated on a Si substrate, and the upper cladding and microfluidic channels are fabricated on a glass substrate, followed by wafer bonding to assemble the wafers into complete structures. The bond is centered over the full length of the optical path, yet no evidence of optical scattering or excess loss due to the bond could be observed, and no evidence of a bonding interface could be discerned from high magnification cross sectional images. We also demonstrate wafer scale fabrication of in plane microfluidic inlets and outlets, along with a fixture for fluidic edge coupling that provides sealed interfaces to external fluidic tubing and components. In plane microfluidic interfaces are automatically defined along chip facets upon wafer dicing, precluding the need to drill through holes in lids. The performance of the chips was assessed by measuring the attenuation of LRSPPs on fully cladded reference waveguides, on waveguides passing through microfluidic channels, and by measuring the response of sensors to changes in refractive index produced by injecting various sensing solutions. Our fabrication approach based on wafer bonding and in plane fluidic interfacing is compelling for low cost high volume manufacturing.


Plasmonically Enhanced Emission from an Inverted GaN Light Emitting Diode. Silver nanoparticles dispersed on the surface of an inverted GaN LED were found to plasmonically enhance the near bandedge emission. The resonant surface plasmon coupling led to a significant enhancement in the exciton decay rate and the ensemble of nanoparticles provided a mechanism to scatter the coupled energy as free space radiation. The inverted LED structure employed a tunnel junction to avoid the standard thick p GaN current spreading contact layer. In contrast to a standard design, the top contact was a thin n AlGaN layer, which brought the quantum well into the fringing field of the silver nanoparticles. This proximity allowed the excitons induced within the quantum well to couple to the surface plasmons, which in turn led to the enhanced band edge emission from the LED.


Catching Attention with Automatic Pull Quote Selection. To advance understanding on how to engage readers, we advocate the novel task of automatic pull quote selection. Pull quotes are a component of articles specifically designed to catch the attention of readers with spans of text selected from the article and given more salient presentation. This task differs from related tasks such as summarization and clickbait identification by several aspects. We establish a spectrum of baseline approaches to the task, ranging from handcrafted features to a neural mixture of experts to cross task models. By examining the contributions of individual features and embedding dimensions from these models, we uncover unexpected properties of pull quotes to help answer the important question of what engages readers. Human evaluation also supports the uniqueness of this task and the suitability of our selection models. The benefits of exploring this problem further are clear pull quotes increase enjoyment and readability, shape reader perceptions, and facilitate learning. Code to reproduce this work is available at https github.com tannerbohn AutomaticPullQuoteSelection.


Index stable compact p adic analytic groups. A profinite group is index stable if any two isomorphic open subgroups have the same index. Let p be a prime, and let G be a compact p adic analytic group with associated mathbb Q p Lie algebra mathcal L (G) . We prove that G is index stable whenever mathcal L (G) is semisimple. In particular, a just infinite compact p adic analytic group is index stable if and only if it is not virtually abelian. Within the category of compact p adic analytic groups, this gives a positive answer to a question of C. Reid. In the Appendix, J P. Serre proves that G is index stable if and only if the determinant of any automorphism of mathcal L (G) has p adic norm 1.


Learning of Structurally Unambiguous Probabilistic Grammars. The problem of identifying a probabilistic context free grammar has two aspects the first is determining the grammar's topology (the rules of the grammar) and the second is estimating probabilistic weights for each rule. Given the hardness results for learning context free grammars in general, and probabilistic grammars in particular, most of the literature has concentrated on the second problem. In this work we address the first problem. We restrict attention to structurally unambiguous weighted context free grammars (SUWCFG) and provide a query learning algorithm for structurally unambiguous probabilistic context free grammars (SUPCFG). We show that SUWCFG can be represented using co linear multiplicity tree automata (CMTA), and provide a polynomial learning algorithm that learns CMTAs. We show that the learned CMTA can be converted into a probabilistic grammar, thus providing a complete algorithm for learning a structurally unambiguous probabilistic context free grammar (both the grammar topology and the probabilistic weights) using structured membership queries and structured equivalence queries. We demonstrate the usefulness of our algorithm in learning PCFGs over genomic data.


A Normal form for HNN extension of Dialgebras. We introduce an explicit Groebner Shirshov basis for HNN extension of dialgebras. On the basis of Composition Diamond lemma, a normal form for the elements of HNN extension of digebras will be determined.


Exploring Simple and Transferable Recognition Aware Image Processing. Recent progress in image recognition has stimulated the deployment of vision systems at an unprecedented scale. As a result, visual data are now often consumed not only by humans but also by machines. Existing image processing methods only optimize for better human perception, yet the resulting images may not be accurately recognized by machines. This can be undesirable, e.g., the images can be improperly handled by search engines or recommendation systems. In this work, we examine simple approaches to improve machine recognition of processed images optimizing the recognition loss directly on the image processing network or through an intermediate transforming model. Interestingly, the processing model's ability to enhance recognition quality can transfer when evaluated on models of different architectures, recognized categories, tasks and training datasets. This makes the methods applicable even when we do not have the knowledge of future recognition models, e.g., if we upload processed images to the Internet. We conduct experiments on multiple image processing tasks, with ImageNet classification and PASCAL VOC detection as recognition tasks. With these simple yet effective methods, substantial accuracy gain can be achieved with strong transferability and minimal image quality loss. Through a user study we further show that the accuracy gain can transfer to a black box cloud model. Finally, we try to explain this transferability phenomenon by demonstrating the similarities of different models' decision boundaries. Code is available at https github.com liuzhuang13 Transferable RA .


Phase transitions and percolation at criticality in enhanced random connection models. We study phase transition and percolation at criticality for three random graph models on the plane, viz., the homogeneous and inhomogeneous enhanced random connection models (RCM) and the Poisson stick model. These models are built on a homogeneous Poisson point process mathcal P lambda in mathbb R 2 of intensity lambda . In the homogenous RCM, the vertices at x,y are connected with probability g( x y ) , independent of everything else, where g 0, infty) to 0,1 and cdot is the Euclidean norm. In the inhomogenous version of the model, points of mathcal P lambda are endowed with weights that are non negative independent random variables with distribution P(W w) w beta 1 1, infty) (w) , beta 0 . Vertices located at x,y with weights W x,W y are connected with probability 1 exp left( frac eta W xW y x y alpha right) , eta, alpha 0 , independent of all else. The graphs are enhanced by considering the edges of the graph as straight line segments starting and ending at points of mathcal P lambda . A path in the graph is a continuous curve that is a subset of the union of all these line segments. The Poisson stick model consists of line segments of independent random lengths and orientation with the mid point of each segment located at a distinct point of mathcal P lambda . Intersecting lines form a path in the graph. A graph is said to percolate if there is an infinite connected component or path. We derive conditions for the existence of a phase transition and show that there is no percolation at criticality.


Towards a Modular Ontology for Space Weather Research. The interactions between the Sun, interplanetary space, near Earth space environment, the Earth's surface, and the power grid are, perhaps unsurprisingly, very complicated. The study of such requires the collaboration between many different organizations spanning the public and private sectors. Thus, an important component of studying space weather is the integration and analysis of heterogeneous information. As such, we have developed a modular ontology to drive the core of the data integration and serve the needs of a highly interdisciplinary community. This paper presents our preliminary modular ontology, for space weather research, as well as demonstrate a method for adaptation to a particular use case, through the use of existential rules and explicit typing.


On simplified NP complete variants of Not All Equal 3 Sat and 3 Sat. We consider simplified, monotone versions of Not All Equal 3 Sat and 3 Sat, variants of the famous Satisfiability Problem where each clause is made up of exactly three distinct literals. We show that Not All Equal 3 Sat remains NP complete even if (1) each variable appears exactly four times, (2) there are no negations in the formula, and (3) the formula is linear, i.e., each pair of distinct clauses shares at most one variable. Concerning 3 Sat we prove several hardness results for monotone formulas with respect to a variety of restrictions imposed on the variable appearances. Monotone 3 Sat is the restriction of 3 Sat to monotone formulas, i.e. to formulas in which each clause contains only unnegated variables or only negated variables, respectively. In particular, we show that, for any k geq 5 , Monotone 3 Sat is NP complete even if each variable appears exactly k times unnegated and exactly once negated. In addition, we show that Monotone 3 Sat is NP complete even if each variable appears exactly three times unnegated and three times negated, respectively. In fact, we provide a complete analysis of Monotone 3 Sat with exactly six appearances per variable. Further, we prove that the problem remains NP complete when restricted to instances in which each variable appears either exactly once unnegated and three times negated or the other way around. Thereby, we improve on a result by Darmann et al. DDD18 showing NP completeness for four appearances per variable. Our stronger result also implies that 3 Sat remains NP complete even if each variable appears exactly three times unnegated and once negated, therewith complementing a result by Berman et al. BKS03 .


The applications of probability groups on Hopf algebras. In this work, we use probability groups, introduced by Harrison in 1979, as a tool to study a semisimple Hopf algebra H with a commutative character ring and prove that the algebra generalized by the dual probability group is the center Z(H) of H and the product of two class sums is an integral combination up to a factor of dim (H) 1 of the class sums of H . We classify all the 2 integral probability groups with 2 or 3 elements.


Comparative Analysis of Distributed and Parallel File Systems' Internal Techniques. A file system optimization is the most common task in the file system field. Usually, it is seen as the key file system problem. Moreover, it is possible to state that optimization is dominant in commercial development. A problem of a new file system architecture development arises more frequently in academia. End user can treat file system performance as the key problem of file system evolving as technology. Such understanding arises from common treatment of persistent memory as slow subsystem. As a result, problem of improving performance of data processing treats as a problem of file system performance optimization. However, evolution of physical technologies of persistent data storage requires significant changing of concepts and approaches of file systems' internal techniques. Generally speaking, only trying to improve the file system efficiency cannot resolve all issue of file systems as technological direction. Moreover, it can impede evolution of file system technology at whole. It is impossible to satisfy end user's expectations by means of file systems optimization only. New persistent storage technologies can question about file systems necessity at whole without suggestion of revolutionary new file system's approaches. However, file system contains paradigm of information structuring that is very important for end user as a human being. It needs to distinguish the two classes of tasks (1) optimization task (2) task of elaboration a new architecture vision or paradigm. But, frequently, project goal degenerates into optimization task which is meant really elaboration of a new paradigm. End user expectations are complex and contradictory set of requirements. Only optimization tasks cannot resolve the all current needs of end user in the file system field. End user's expectations require resolving tasks of a new architecture vision or paradigm elaboration.


Trading bits in the readout from a genetic network. In genetic networks, information of relevance to the organism is represented by the concentrations of transcription factor molecules. In order to extract this information the cell must effectively "measure"' these concentrations, but there are physical limits to the precision of these measurements. We explore this trading between bits of precision in measuring concentration and bits of relevant information that can be extracted, using the gap gene network in the early fly embryo as an example. We argue that cells in the embryo can extract all the available information about their position, but only if the concentration measurements approach the physical limits to information capacity. These limits necessitate the observed proliferation of enhancer elements with sensitivities to combinations of transcription factors, but fine tuning of the parameters of these multiple enhancers is not required.


Supercaloric functions for the parabolic p Laplace equation in the fast diffusion case. We study a generalized class of supersolutions, so called p supercaloric functions, to the parabolic p Laplace equation. This class of functions is defined as lower semicontinuous functions that are finite in a dense set and satisfy the parabolic comparison principle. Their properties are relatively well understood for p geq 2 , but little is known in the fast diffusion case 1 p 2 . Every bounded p supercaloric function belongs to the natural Sobolev space and is a weak supersolution to the parabolic p Laplace equation for the entire range 1 p infty . Our main result shows that unbounded p supercaloric functions are divided into two mutually exclusive classes with sharp local integrability estimates for the function and its weak gradient in the supercritical case frac 2n n 1 p 2 . The Barenblatt solution and the infinite point source solution show that both alternatives occur. Barenblatt solutions do not exist in the subcritical case 1 p leq frac 2n n 1 and the theory is not yet well understood.


The braingraph.org Database with more than 1000 Robust Human Structural Connectomes in Five Resolutions. The human brain is the most complex object of study we encounter today. Mapping the neuronal level connections between the more than 80 billion neurons in the brain is a hopeless task for science. By the recent advancement of magnetic resonance imaging (MRI), we are able to map the macroscopic connections between about 1000 brain areas. The MRI data acquisition and the subsequent algorithmic workflow contain several complex steps, where errors can occur. In the present contribution, we describe and publish 1064 human connectomes, computed from the public release of the Human Connectome Project. Each connectome is available in 5 resolutions, with 83, 129, 234, 463, and 1015 anatomically labeled nodes. For error correction, we follow an averaging and extreme value deleting strategy for each edge and for each connectome. The resulting 5320 braingraphs can be downloaded from the url https braingraph.org site. This dataset makes possible the access to these graphs for scientists unfamiliar with neuroimaging and connectome related tools mathematicians, physicists, and engineers can use their expertize and ideas in the analysis of the connections of the human brain. Brain scientists also have a robust and large, multi resolution set for connectomical studies.


An Entity Driven Framework for Abstractive Summarization. Abstractive summarization systems aim to produce more coherent and concise summaries than their extractive counterparts. Popular neural models have achieved impressive results for single document summarization, yet their outputs are often incoherent and unfaithful to the input. In this paper, we introduce SENECA, a novel System for ENtity drivEn Coherent Abstractive summarization framework that leverages entity information to generate informative and coherent abstracts. Our framework takes a two step approach (1) an entity aware content selection module first identifies salient sentences from the input, then (2) an abstract generation module conducts cross sentence information compression and abstraction to generate the final summary, which is trained with rewards to promote coherence, conciseness, and clarity. The two components are further connected using reinforcement learning. Automatic evaluation shows that our model significantly outperforms previous state of the art on ROUGE and our proposed coherence measures on New York Times and CNN Daily Mail datasets. Human judges further rate our system summaries as more informative and coherent than those by popular summarization models.


Harmonic flow of geometric structures. We give a twistorial interpretation of geometric structures on a Riemannian manifold, as sections of homogeneous fibre bundles, following an original insight by Wood (2003). The natural Dirichlet energy induces an abstract harmonicity condition, which gives rise to a geometric gradient flow. We establish a number of analytic properties for this flow, such as uniqueness, smoothness, short time existence, and some sufficient conditions for long time existence. This description potentially subsumes a large class of geometric PDE problems from different contexts. As applications, we recover and unify a number of results in the literature for the isometric flow of rm G 2 structures, by Grigorian (2017, 2019), Bagaglini (2019), and Dwivedi Gianniotis Karigiannis (2019) and for harmonic almost complex structures, by He (2019) and He Li (2019). Our theory also establishes original properties regarding harmonic flows of parallelisms and almost contact structures.


Decidability Problems for Adele Rings and related restricted products. We study elementary equivalence of adele rings and decidability for adele rings of general number fields. We prove that elementary equivalence of adele rings implies isomorphism of the adele rings.


Optimal Green energy points on the circles in d space. We give two precise estimates for the Green energy of a discrete charge, concentrated in the points on the circles, with respect to the concentric rotation domain in the d dimensional Euclidean space, d 2.The proof is based on the application of a dissymmetrization, extremal metrics approach and an asymptotic formula for the condenser capacities in the case when some of its plates contract to given points.


Approximation by uniform domains in doubling quasiconvex metric spaces. We show that any bounded domain in a doubling quasiconvex metric space can be approximated from inside and outside by uniform domains.


Stability and oscillation of linear delay differential equations. There is a close connection between stability and oscillation of delay differential equations. For the first order equation x prime (t) c(t)x( tau(t)) 0, t geq 0, where c is locally integrable of any sign, tau(t) leq t is Lebesgue measurable, lim t rightarrow infty tau(t) infty , we obtain sharp results, relating the speed of oscillation and stability. We thus unify the classical results of Myshkis and Lillo. We also generalise the 3 2 stability criterion to the case of measurable parameters, improving 1 1 e to the sharp 3 2 constant.


Ordered or Orderless A Revisit for Video based Person Re Identification. Is recurrent network really necessary for learning a good visual representation for video based person re identification (VPRe id)? In this paper, we first show that the common practice of employing recurrent neural networks (RNNs) to aggregate temporal spatial features may not be optimal. Specifically, with a diagnostic analysis, we show that the recurrent structure may not be effective to learn temporal dependencies than what we expected and implicitly yields an orderless representation. Based on this observation, we then present a simple yet surprisingly powerful approach for VPRe id, where we treat VPRe id as an efficient orderless ensemble of image based person re identification problem. More specifically, we divide videos into individual images and re identify person with ensemble of image based rankers. Under the i.i.d. assumption, we provide an error bound that sheds light upon how could we improve VPRe id. Our work also presents a promising way to bridge the gap between video and image based person re identification. Comprehensive experimental evaluations demonstrate that the proposed solution achieves state of the art performances on multiple widely used datasets (iLIDS VID, PRID 2011, and MARS).


Cooperation Techniques for A Cellular Internet of Unmanned Aerial Vehicles. Unmanned aerial vehicles (UAVs) are powerful Internet of Things components to provide sensing and communications in the air due to their advantages in mobility and flexibility. As aerial users, UAVs are envisioned to support various sensing applications in the next generation cellular systems, which have been studied by the Third Generation Partnership Project (3GPP). However, the Quality of Services (QoS) of the cellular link between the UAV and the base station may not be guaranteed when UAVs are at the cell edge or experiencing deep fading. In this article, we first introduce the non cooperative cellular Internet of UAVs. Then we propose a cooperative sense and send protocol, in which a UAV can upload sensory data with the help of a UAV relay, to provide a better communication QoS for the sensing tasks. Key techniques including trajectory design and radio resource management that support the cooperative cellular Internet of UAVs are presented in detail. Finally, the extended cooperative cellular Internet of UAVs is discussed for QoS improvement with some open issues, such as massive multiple input multiple output systems, millimeter wave, and cognitive communications.


Self consistent modeling of runaway electron generation in massive gas injection scenarios in ASDEX Upgrade. We present the first successful simulation of a induced disruption in ASDEX Upgrade from massive material injection (MMI) up to established runaway electron (RE) beam, thus covering pre thermal quench, thermal quench and current quench (CQ) of the discharge. For future high current fusion devices such as ITER, the successful suppression of REs through MMI is of critical importance to ensure the structural integrity of the vessel. To computationally study the interplay between MMI, background plasma response, and RE generation, a toolkit based on the 1.5D transport code coupling ASTRA STRAHL is developed. Electron runaway is described by state of the art reduced kinetic models in the presence of partially ionized impurities. Applied to argon MMI in ASDEX Upgrade discharge 33108, key plasma parameters measured experimentally, such as temporal evolution of the line averaged electron density, plasma current decay rate and post CQ RE current, are well reproduced by the simulation presented. Impurity ions are transported into the central plasma by the combined effect of neoclassical processes and additional effects prescribed inside the q 2 rational surface to explain experimental time scales. Thus, a thermal collapse is induced through strong impurity radiation, giving rise to a substantial RE population as observed experimentally.


Multi hop Question Generation with Graph Convolutional Network. Multi hop Question Generation (QG) aims to generate answer related questions by aggregating and reasoning over multiple scattered evidence from different paragraphs. It is a more challenging yet under explored task compared to conventional single hop QG, where the questions are generated from the sentence containing the answer or nearby sentences in the same paragraph without complex reasoning. To address the additional challenges in multi hop QG, we propose Multi Hop Encoding Fusion Network for Question Generation (MulQG), which does context encoding in multiple hops with Graph Convolutional Network and encoding fusion via an Encoder Reasoning Gate. To the best of our knowledge, we are the first to tackle the challenge of multi hop reasoning over paragraphs without any sentence level information. Empirical results on HotpotQA dataset demonstrate the effectiveness of our method, in comparison with baselines on automatic evaluation metrics. Moreover, from the human evaluation, our proposed model is able to generate fluent questions with high completeness and outperforms the strongest baseline by 20.8 in the multi hop evaluation. The code is publicly available at https github.com HLTCHKUST MulQG https github.com HLTCHKUST MulQG .


CallE An Effect System for Method Calls. Effect systems are used to statically reason about the effects an expression may have when evaluated. In the literature, such effects include various behaviours as diverse as memory accesses and exception throwing. Here we present CallE, an object oriented language that takes a flexible approach where effects are just method calls this works well because ordinary methods often model things like I O operations, access to global state, or primitive language operations such as thread creation. CallE supports both flexible and fine grained control over such behaviour, in a way designed to minimise the complexity of annotations. CallE's effect system can be used to prevent OO code from performing privileged operations, such as querying a database, modifying GUI widgets, exiting the program, or performing network communication. It can also be used to ensure determinism, by preventing methods from (indirectly) calling non deterministic primitives like random number generation or file reading.


Influence of external driving on decays in the geometry of the LiCN isomerization. The framework of transition state theory relies on the determination of a geometric structure identifying reactivity. It replaces the laborious exercise of following many trajectories for a long time to provide chemical reaction rates and pathways. In this paper, recent advances in constructing this geometry even in time dependent systems are applied to the LiCN rightleftharpoons LiNC isomerization reaction, driven by an external field. We obtain decay rates of the reactant population close to the transition state by exploiting local properties of the dynamics of trajectories in and close to it. We find that the external driving has a large influence on these decay rates when compared to the non driven isomerization reaction. This, in turn, provides renewed evidence for the possibility of controlling chemical reactions, like this one, through external time dependent fields.


Uncover Sexual Harassment Patterns from Personal Stories by Joint Key Element Extraction and Categorization. The number of personal stories about sexual harassment shared online has increased exponentially in recent years. This is in part inspired by the MeToo and TimesUp movements. Safecity is an online forum for people who experienced or witnessed sexual harassment to share their personal experiences. It has collected textgreater 10,000 stories so far. Sexual harassment occurred in a variety of situations, and categorization of the stories and extraction of their key elements will provide great help for the related parties to understand and address sexual harassment. In this study, we manually annotated those stories with labels in the dimensions of location, time, and harassers' characteristics, and marked the key elements related to these dimensions. Furthermore, we applied natural language processing technologies with joint learning schemes to automatically categorize these stories in those dimensions and extract key elements at the same time. We also uncovered significant patterns from the categorized sexual harassment stories. We believe our annotated data set, proposed algorithms, and analysis will help people who have been harassed, authorities, researchers and other related parties in various ways, such as automatically filling reports, enlightening the public in order to prevent future harassment, and enabling more effective, faster action to be taken.


On matrices and K relations. We show that the matrix query language mathsf MATLANG corresponds to a natural fragment of the positive relational algebra on K relations. The fragment is defined by introducing a composition operator and restricting K relation arities to two. We then proceed to show that mathsf MATLANG can express all matrix queries expressible in the positive relational algebra on K relations, when intermediate arities are restricted to three. Thus we offer an analogue, in a model with numerical data, to the situation in classical logic, where the algebra of binary relations is equivalent to first order logic with three variables.


JPEG Image Compression using the Discrete Cosine Transform An Overview, Applications, and Hardware Implementation. Digital images are becoming large in size containing more information day by day to represent the as is state of the original one due to the availability of high resolution digital cameras, smartphones, and medical tests images. Therefore, we need to come up with some technique to convert these images into smaller size without loosing much information from the actual. There are both lossy and lossless image compression format available and JPEG is one of the popular lossy compression among them. In this paper, we present the architecture and implementation of JPEG compression using VHDL (VHSIC Hardware Description Language) and compare the performance with some contemporary implementation. JPEG compression takes place in five steps with color space conversion, down sampling, discrete cosine transformation (DCT), quantization, and entropy encoding. The five steps cover for the compression purpose only. Additionally, we implement the reverse order in VHDL to get the original image back. We use optimized matrix multiplication and quantization for DCT to achieve better performance. Our experimental results show that significant amount of compression ratio has been achieved with very little change in the images, which is barely noticeable to human eye.


Weakly Supercyclic Power Bounded Operators of Class C 1. . There is no supercyclic power bounded operator of class C 1 textstyle cdot . There exist, however, weakly l sequentially supercyclic unitary operators . We show that if T is a weakly l sequentially supercyclic power bounded operator of class C 1 textstyle cdot , then it has an extension widehat T which is a weakly l sequentially supercyclic singular continuous unitary (and widehat T has a Rajchman scalar spectral measure whenever T is weakly stable) . The above result implies sigma kern 1ptP (T) sigma kern 1ptP (T ) varnothing , and also that if a weakly l sequentially supercyclic operator is similar to an isometry, then it is similar to a unitary operator.


Real Time Multi Class Object Detection and Recognition Using Vision Augmentation Algorithm. The aim of this research is to detect small objects with low resolution and noise. The existing real time object detection algorithm is based on the deep neural network of convolution need to perform multilevel convolution and pooling operations on the entire image to extract a deep semantic characteristic of the image. The detection models perform better for large objects. The features of existing models do not fully represent the essential features of small objects after repeated convolution operations. We have introduced a novel real time detection algorithm which employs upsampling and skip connection to extract multiscale features at different convolution levels in a learning task resulting a remarkable performance in detecting small objects. The detection precision of the model is shown to be higher and faster than that of the state of the art models.


Audio Summarization with Audio Features and Probability Distribution Divergence. The automatic summarization of multimedia sources is an important task that facilitates the understanding of an individual by condensing the source while maintaining relevant information. In this paper we focus on audio summarization based on audio features and the probability of distribution divergence. Our method, based on an extractive summarization approach, aims to select the most relevant segments until a time threshold is reached. It takes into account the segment's length, position and informativeness value. Informativeness of each segment is obtained by mapping a set of audio features issued from its Mel frequency Cepstral Coefficients and their corresponding Jensen Shannon divergence score. Results over a multi evaluator scheme shows that our approach provides understandable and informative summaries.


Code Duplication and Reuse in Jupyter Notebooks. Duplicating one's own code makes it faster to write software. This expediency is particularly valuable for users of computational notebooks. Duplication allows notebook users to quickly test hypotheses and iterate over data. In this paper, we explore how much, how and from where code duplication occurs in computational notebooks, and identify potential barriers to code reuse. Previous work in the area of computational notebooks describes developers' motivations for reuse and duplication but does not show how much reuse occurs or which barriers they face when reusing code. To address this gap, we first analyzed GitHub repositories for code duplicates contained in a repository's Jupyter notebooks, and then conducted an observational user study of code reuse, where participants solved specific tasks using notebooks. Our findings reveal that repositories in our sample have a mean self duplication rate of 7.6 . However, in our user study, few participants duplicated their own code, preferring to reuse code from online sources.


Symbolic Rees algebras. We survey old and new approaches to the study of symbolic powers of ideals. Our focus is on the symbolic Rees algebra of an ideal, viewed both as a tool to investigate its symbolic powers and as a source of challenging problems in its own right. We provide an invitation to this area of investigation by stating several open questions.


Unknown I.I.D. Prophets Better Bounds, Streaming Algorithms, and a New Impossibility. A prophet inequality states, for some alpha in 0,1 , that the expected value achievable by a gambler who sequentially observes random variables X 1, dots,X n and selects one of them is at least an alpha fraction of the maximum value in the sequence. We obtain three distinct improvements for a setting that was first studied by Correa et al. (EC, 2019) and is particularly relevant to modern applications in algorithmic pricing. In this setting, the random variables are i.i.d. from an unknown distribution and the gambler has access to an additional beta n samples for some beta geq 0 . We first give improved lower bounds on alpha for a wide range of values of beta specifically, alpha geq(1 beta) e when beta leq 1 (e 1) , which is tight, and alpha geq 0.648 when beta 1 , which improves on a bound of around 0.635 due to Correa et al. (SODA, 2020). Adding to their practical appeal, specifically in the context of algorithmic pricing, we then show that the new bounds can be obtained even in a streaming model of computation and thus in situations where the use of relevant data is complicated by the sheer amount of data available. We finally establish that the upper bound of 1 e for the case without samples is robust to additional information about the distribution, and applies also to sequences of i.i.d. random variables whose distribution is itself drawn, according to a known distribution, from a finite set of known candidate distributions. This implies a tight prophet inequality for exchangeable sequences of random variables, answering a question of Hill and Kertz (Contemporary Mathematics, 1992), but leaves open the possibility of better guarantees when the number of candidate distributions is small, a setting we believe is of strong interest to applications.


Soundness conditions for big step semantics. We propose a general proof technique to show that a predicate is sound, that is, prevents stuck computation, with respect to a big step semantics. This result may look surprising, since in big step semantics there is no difference between non terminating and stuck computations, hence soundness cannot even be expressed. The key idea is to define constructions yielding an extended version of a given arbitrary big step semantics, where the difference is made explicit. The extended semantics are exploited in the meta theory, notably they are necessary to show that the proof technique works. However, they remain transparent when using the proof technique, since it consists in checking three conditions on the original rules only, as we illustrate by several examples.


Note on the construction of Picard Vessiot rings for linear differential equations. In this note, we describe a method to construct the Picard Vessiot ring of a given linear differential equation.


Stance Control Inspired by Cerebellum Stabilizes Reflex Based Locomotion on HyQ Robot. Advances in legged robotics are strongly rooted in animal observations. A clear illustration of this claim is the generalization of Central Pattern Generators (CPG), first identified in the cat spinal cord, to generate cyclic motion in robotic locomotion. Despite a global endorsement of this model, physiological and functional experiments in mammals have also indicated the presence of descending signals from the cerebellum, and reflex feedback from the lower limb sensory cells, that closely interact with CPGs. To this day, these interactions are not fully understood. In some studies, it was demonstrated that pure reflex based locomotion in the absence of oscillatory signals could be achieved in realistic musculoskeletal simulation models or small compliant quadruped robots. At the same time, biological evidence has attested the functional role of the cerebellum for predictive control of balance and stance within mammals. In this paper, we promote both approaches and successfully apply reflex based dynamic locomotion, coupled with a balance and gravity compensation mechanism, on the state of art HyQ robot. We discuss the importance of this stability module to ensure a correct foot lift off and maintain a reliable gait. The robotic platform is further used to test two different architectural hypotheses inspired by the cerebellum. An analysis of experimental results demonstrates that the most biologically plausible alternative also leads to better results for robust locomotion.


Enforcing temporal consistency in Deep Learning segmentation of brain MR images. Longitudinal analysis has great potential to reveal developmental trajectories and monitor disease progression in medical imaging. This process relies on consistent and robust joint 4D segmentation. Traditional techniques are dependent on the similarity of images over time and the use of subject specific priors to reduce random variation and improve the robustness and sensitivity of the overall longitudinal analysis. This is however slow and computationally intensive as subject specific templates need to be rebuilt every time. The focus of this work to accelerate this analysis with the use of deep learning. The proposed approach is based on deep CNNs and incorporates semantic segmentation and provides a longitudinal relationship for the same subject. The proposed approach is based on deep CNNs and incorporates semantic segmentation and provides a longitudinal relationship for the same subject. The state of art using 3D patches as inputs to modified Unet provides results around 0.91 pm 0.5 Dice and using multi view atlas in CNNs provide around the same results. In this work, different models are explored, each offers better accuracy and fast results while increasing the segmentation quality. These methods are evaluated on 135 scans from the EADC ADNI Harmonized Hippocampus Protocol. Proposed CNN based segmentation approaches demonstrate how 2D segmentation using prior slices can provide similar results to 3D segmentation while maintaining good continuity in the 3D dimension and improved speed. Just using 2D modified sagittal slices provide us a better Dice and longitudinal analysis for a given subject. For the ADNI dataset, using the simple UNet CNN technique gives us 0.84 pm 0.5 and while using modified CNN techniques on the same input yields 0.89 pm 0.5 . Rate of atrophy and RMS error are calculated for several test cases using various methods and analyzed.


Performance Analysis of an Interference Limited RIS Aided Network. In this work, the performance of reconfigurable intelligent surface (RIS) aided communication systems corrupted by the co channel interference (CCI) at the destination is investigated. Assuming Rayleigh fading and equal power CCI, we present the analysis for the outage probability (OP), average bit error rate (BER), and ergodic capacity. In addition, an asymptotic outage analysis is carried in order to obtain further insights. Our analysis shows that the number of reflecting elements as well as the number of interferers have a great impact on the overall system performance.


Spanning eulerian subdigraphs in semicomplete digraphs. A digraph is eulerian if it is connected and every vertex has its in degree equal to its out degree. Having a spanning eulerian subdigraph is thus a weakening of having a hamiltonian cycle. In this paper, we first characterize the pairs (D,a) of a semicomplete digraph D and an arc a such that D has a spanning eulerian subdigraph containing a . In particular, we show that if D is 2 arc strong, then every arc is contained in a spanning eulerian subdigraph. We then characterize the pairs (D,a) of a semicomplete digraph D and an arc a such that D has a spanning eulerian subdigraph avoiding a . In particular, we prove that every 2 arc strong semicomplete digraph has a spanning eulerian subdigraph avoiding any prescribed arc. We also prove the existence of a (minimum) function f(k) such that every f(k) arc strong semicomplete digraph contains a spanning eulerian subdigraph avoiding any prescribed set of k arcs we prove f(k) leq (k 1) 2 4 1 , conjecture f(k) k 1 and establish this conjecture for k leq 3 and when the k arcs that we delete form a forest of stars. A digraph D is eulerian connected if for any two distinct vertices x,y , the digraph D has a spanning (x,y) trail. We prove that every 2 arc strong semicomplete digraph is eulerian connected. All our results may be seen as arc analogues of well known results on hamiltonian cycles in semicomplete digraphs.


Statistical properties of telephone communication network. The directed network of telephone subscribers is considered in the article. It can be described as a dynamic network with vertices that correspond to the subscribers of the telephone network and emerging directional edges that correspond to the connections between the respective subscribers. The position of the edge and its direction is determined by the incoming and outgoing calls from the corresponding vertices. The subject of the article is the statistical properties of the connections of a certain subset of telephone network subscribers. Such connections are dynamic in nature due to their appearance and disappearance. The number of outgoing (or incoming) connections occurred during a day at a selected vertex is used as the main characteristic. The distribution density of the number of outgoing (or incoming) connections (or calls) of such a network has been analyzed using the experimental data. It has been shown that such a distribution density over the number of calls obeys the lognormal distribution density, which depends on the two parameters. The values of two parameters, namely the mean value and the variance, determining the lognormal distribution density are established. The reasons for the appearance of a lognormal distribution density over the number of incoming (or outgoing) connections have been discussed. The statistical properties of other groups of subscribers have been considered as well. In particular, the group that makes a large number of outgoing calls to various subscribers of the telephone network has been selected for a separate study. The members of this group, who create and distribute spam can be called spammers. It has been shown that these groups, spammers for example, also obeys the lognormal distribution density over the number of calls but they are characterized by the different mean value and variance.


Efficiently Checking Actual Causality with SAT Solving. Recent formal approaches towards causality have made the concept ready for incorporation into the technical world. However, causality reasoning is computationally hard and no general algorithmic approach exists that efficiently infers the causes for effects. Thus, checking causality in the context of complex, multi agent, and distributed socio technical systems is a significant challenge. Therefore, we conceptualize an intelligent and novel algorithmic approach towards checking causality in acyclic causal models with binary variables, utilizing the optimization power in the solvers of the Boolean Satisfiability Problem (SAT). We present two SAT encodings, and an empirical evaluation of their efficiency and scalability. We show that causality is computed efficiently in less than 5 seconds for models that consist of more than 4000 variables.


Inverting Gradients How easy is it to break privacy in federated learning?. The idea of federated learning is to collaboratively train a neural network on a server. Each user receives the current weights of the network and in turns sends parameter updates (gradients) based on local data. This protocol has been designed not only to train neural networks data efficiently, but also to provide privacy benefits for users, as their input data remains on device and only parameter gradients are shared. But how secure is sharing parameter gradients? Previous attacks have provided a false sense of security, by succeeding only in contrived settings even for a single image. However, by exploiting a magnitude invariant loss along with optimization strategies based on adversarial attacks, we show that is is actually possible to faithfully reconstruct images at high resolution from the knowledge of their parameter gradients, and demonstrate that such a break of privacy is possible even for trained deep networks. We analyze the effects of architecture as well as parameters on the difficulty of reconstructing an input image and prove that any input to a fully connected layer can be reconstructed analytically independent of the remaining architecture. Finally we discuss settings encountered in practice and show that even averaging gradients over several iterations or several images does not protect the user's privacy in federated learning applications in computer vision.


Symmetries of complex analytic vector fields with an essential singularity on the Riemann sphere. We consider the family mathcal E (s,r,d) Big X(z) frac Q(z) P(z) e E(z) frac partial partial z Big , with Q, P, E polynomials, deg Q s , deg (P) r and deg (E) d , of singular complex analytic vector fields X on the Riemann sphere widehat mathbb C . For d geq1 , X in mathcal E (s,r,d) has s zeros and r poles on the complex plane and an essential singularity at infinity. Using the pullback action of the affine group Aut( mathbb C ) and the divisors for X , we calculate the isotropy groups Aut( mathbb C ) X and the discrete symmetries for X in mathcal E (s,r,d) . Each subfamily mathcal E (s,r,d) id , of those X with trivial isotropy group in Aut( mathbb C ) , is endowed with a holomorphic trivial principal Aut( mathbb C ) bundle structure. Necessary and sufficient conditions in order to ensure the equality mathcal E (s,r,d) mathcal E (s,r,d) id and those X in mathcal E (s,r,d) with non trivial isotropy are realized. Explicit global normal forms for X in mathcal E (s,r,d) are presented. A natural dictionary between vector fields, 1 forms, quadratic differentials and functions is extended to include the presence of non trivial discrete symmetries Gamma Aut( mathbb C ) .


A note on fitting a generalized Moody diagram for wall modeled Large Eddy Simulations. Motivated by the needs of wall modeled Large Eddy Simulation (LES), we introduce fits to numerical solutions of the Reynolds Averaged Navier Stokes equations in their simplest near wall, boundary layer approximation including a mixing length model. We formulate the problem such that independent dimensionless variables are those directly available in LES. We provide practical fits for the dependent variable, fits that encompass a smooth transition between the viscous sublayer and inertial logarithmic layer, and then progress first considering moderate pressure gradients as well as roughness effects under the assumption that the mixing length is not affected by the pressure gradient. An alternative fit based on the empirical wall model of Nickels (J. Fluid Mech. vol.512, pp. 217 239, 2004) is also provided, taking into account possible effects of pressure gradient on turbulence near wall structure. We then consider the case of general pressure gradients, both favorable and adverse, up to conditions of separation, for both smooth and rough surfaces. The proposed fitting functions constitute a generalized Moody chart, comply with analytical solutions valid in various asymptotic regimes, and obviate the need for numerical iterative solution methods or near wall numerical integration of ordinary differential equations during LES.


On the first frequency of reinforced partially hinged plates. We consider a partially hinged rectangular plate and its normal modes. The dynamical properties of the plate are influenced by the spectrum of the associated eingenvalue problem. In order to improve the stability of the plate, it seems reasonable to place a certain amount of stiffening material in appropriate regions. If we look at the partial differential equation appearing in the model, this corresponds to insert a suitable weight coefficient inside the equation. A possible way to locate such regions is to study the eigenvalue problem associated to the aforementioned weighted equation. In the present paper we focus our attention essentially on the first eigenvalue and on its minimization in terms of the weight. We prove the existence of minimizing weights inside special classes and we try to describe them together with the corresponding eigenfunctions.


Free flags over local rings and powering of high dimensional expanders. Powering the adjacency matrix of an expander graph results in a better expander of higher degree. In this paper we seek an analogue operation for high dimensional expanders. We show that the naive approach to powering does not preserve high dimensional expansion, and define a new power operation, using geodesic walks on quotients of Bruhat Tits buildings. Applying this operation results in high dimensional expanders of higher degrees. The crux of the proof is a combinatorial study of flags of free modules over finite local rings. Their geometry describes links in the power complex, and showing that they are excellent expanders implies high dimensional expansion for the power complex by Garland's local to global technique. As an application, we use our power operation to obtain new efficient double samplers.


Computing Igusa's local zeta function of univariates in deterministic polynomial time. Igusa's local zeta function Z f,p (s) is the generating function that counts the number of integral roots, N k (f) , of f( mathbf x) bmod p k , for all k . It is a famous result, in analytic number theory, that Z f,p is a rational function in mathbb Q (p s) . We give an elementary proof of this fact for a univariate polynomial f . Our proof is constructive as it gives a closed form expression for the number of roots N k (f) . Our proof, when combined with the recent root counting algorithm of (Dwivedi, Mittal, Saxena, CCC, 2019), yields the first deterministic poly( f , log p ) time algorithm to compute Z f,p (s) . Previously, an algorithm was known only in the case when f completely splits over mathbb Q p it required the rational roots to use the concept of generating function of a tree (Z 'u niga Galindo, J.Int.Seq., 2003).


Image based Plant Disease Diagnosis with Unsupervised Anomaly Detection Based on Reconstructability of Colors. This paper proposes an unsupervised anomaly detection technique for image based plant disease diagnosis. The construction of large and publicly available datasets containing labeled images of healthy and diseased crop plants led to growing interest in computer vision techniques for automatic plant disease diagnosis. Although supervised image classifiers based on deep learning can be a powerful tool for plant disease diagnosis, they require a huge amount of labeled data. The data mining technique of anomaly detection includes unsupervised approaches that do not require rare samples for training classifiers. We propose an unsupervised anomaly detection technique for image based plant disease diagnosis that is based on the reconstructability of colors a deep encoder decoder network trained to reconstruct the colors of textit healthy plant images should fail to reconstruct colors of symptomatic regions. Our proposed method includes a new image based framework for plant disease detection that utilizes a conditional adversarial network called pix2pix and a new anomaly score based on CIEDE2000 color difference. Experiments with PlantVillage dataset demonstrated the superiority of our proposed method compared to an existing anomaly detector at identifying diseased crop images in terms of accuracy, interpretability and computational efficiency.


COVID 19 Contact Tracing and Privacy A Longitudinal Study of Public Opinion. There is growing use of technology enabled contact tracing, the process of identifying potentially infected COVID 19 patients by notifying all recent contacts of an infected person. Governments, technology companies, and research groups alike have been working towards releasing smartphone apps, using IoT devices, and distributing wearable technology to automatically track "close contacts" and identify prior contacts in the event an individual tests positive. However, there has been significant public discussion about the tensions between effective technology based contact tracing and the privacy of individuals. To inform this discussion, we present the results of seven months of online surveys focused on contact tracing and privacy, each with 100 participants. Our first surveys were on April 1 and 3, before the first peak of the virus in the US, and we continued to conduct the surveys weekly for 10 weeks (through June), and then fortnightly through November, adding topical questions to reflect current discussions about contact tracing and COVID 19. Our results present the diversity of public opinion and can inform policy makers, technologists, researchers, and public health experts on whether and how to leverage technology to reduce the spread of COVID 19, while considering potential privacy concerns. We are continuing to conduct longitudinal measurements and will update this report over time citations to this version of the report should reference Report Version 2.0, December 4, 2020.


Mathieu Zhao spaces over field of positive characteristic. Let K be a field of characteristic p , delta a nonzero mathcal E derivation and D f(x 1) partial 1 . We first prove that operatorname Im D is not a Mathieu Zhao space of K x 1 if and only if f(x 1) x 1 rf 1(x 1 p) and r neq 1 . Then we prove that operatorname Im delta is a Mathieu Zhao space of K x 1 if and only if delta is not locally nilpotent. Finally, we classify some nilpotent derivations of K x 1 and give a sufficient and necessary condition for D(I) to be a Mathieu Zhao space of K x 1 for any ideal I of K x 1 .


On global invertibility of semi algebraic local diffeomorphisms. In this partly expository paper we discuss conditions for the global injectivity of C 2 semi algebraic local diffeomorphisms f mathbb R n to mathbb R n . In case n 2 , we consider the foliations of mathbb R n defined by the level sets of each n 2 projections of f , i.e., the maps mathbb R n to mathbb R n 2 obtained by deleting two coordinate functions of f . It is known that if the set of non proper points of f has codimension greater than or equal to 2 and the leaves of the above defined foliations are simply connected, then f is bijective. In this work we relate this simply connectedness with the notion of locally trivial fibrations. Then some computable regularity conditions at infinity ensuring such simply connectedness are presented. Further, we provide an equivalent statement of the Jacobian conjecture by using fibrations. By means of examples we prove that the results presented here are different from a previous result based on a spectral hypothesis. Our considerations are also applied to discuss the behaviour of some conditions when f is composed with linear isomorphisms this is relevant due to some misunderstandings appearing in the literature.


A combinatorial proof of Fisher's Inequality. In this note, we give a simple, counting based proof of Fisher's Inequality that does not use any tools from linear algebra.


Compatible left symmetric algebraic structures on high rank Witt and Virasoro algebras. We classify all graded compatible left symmetric algebraic structures on high rank Witt algebras, and classify all non graded ones satisfying a minor condition. Furthermore, graded compatible left symmetric algebraic structures on high rank Virasoro algebras are also classified.


Collecting MIB Data from Network Managed by SNMP using Multi Mobile Agents. Network anomalies are destructive to networks. Intrusion detection systems monitor network component behavior to detect unusual activity (i.e., possible threats). Application layer Simple Network Management Protocol (SNMP) has been used for decades via TCP IP protocol to manage network devices. Raw data security evaluation in intrusion detection incurs latency in detection. Management Information Base (MIB) combined with SNMP is a solution for this, the traditional approach of SNMP is centralized. Thus, rendering it unreliable and non adaptive to network changes when it comes to distributed network. In distributed network, using single or multiple light Mobile Agents are an optimal solution for data gathering as they can move from one source node to another, executing naturally at each. This helps complete tasks without increasing the network overheads, and contributes to decreasing latency


C 6 coefficients for interacting Rydberg atoms and alkali metal dimers. We study the van der Waals interaction between Rydberg alkali metal atoms with fine structure ( n 2L j L leq 2 ) and heteronuclear alkali metal dimers in the ground rovibrational state ( X 1 Sigma v 0 , J 0 ). We compute the associated C 6 dispersion coefficients of atom molecule pairs involving 133 Cs and 85 Rb atoms interacting with KRb, LiCs, LiRb, and RbCs molecules. The obtained dispersion coefficients can be accurately fitted to a state dependent polynomial O(n 7) over the range of principal quantum numbers 40 leq n leq 150 . For all atom molecule pairs considered, Rydberg states n 2S j and n 2P j result in attractive 1 R 6 potentials. In contrast, n 2D j states can give rise to repulsive potentials for specific atom molecule pairs. The interaction energy at the LeRoy distance approximately scales as n 5 for n 40 . For intermediate values of n lesssim40 , both repulsive and attractive interaction energies in the order of 10 100 , mu K can be achieved with specific atomic and molecular species. The accuracy of the reported C 6 coefficients is limited by the quality of the atomic quantum defects, with relative errors Delta C 6 C 6 estimated to be no greater than 1 on average.


On Riemann Liouville type operators, BMO, gradient estimates in the L 'evy It o space, and approximation. We discuss in a stochastic framework the interplay between Riemann Liouville type operators applied to stochastic processes, real interpolation, bounded mean oscillation, and an approximation problem for stochastic integrals. We provide upper and lower bounds for gradient processes on the L 'evy It o space, which arise in the special case of the Wiener space from the Feynman Kac theory for parabolic PDEs. The upper bounds are formulated in terms of BMO conditions on the fractional integrated gradient, the lower bounds in terms of oscillatory quantities. On the general L 'evy It o space we are concerned with gradient processes with values in a Hilbert space, where the regularity depends on the direction in this Hilbert space. We discuss two applications of our techniques on the Wiener space an approximation problem for H "older functionals and on the L 'evy It o space an orthogonal decomposition of H "older functionals into a sum of stochastic integrals with a control of the corresponding integrands.


Gradient Estimates on Warped Product Gradient Almost Ricci Solitons. In this paper, by slightly modifying Li Yau's technique so that we can handle drifting Laplacians, we were able to find three different gradient estimates for the warping function, one for each sign of the Einstein constant of the fiber manifold. As an application, we exhibit a nonexistence theorem for gradient almost Ricci solitons possessing certain metric properties on the base of the warped product.


Applications of joinings to sparse equidistribution problems. We show how classification of joinings of two dynamical systems can be used in some sparse equidistribution problems in homogeneous dynamics, and by using recent quantitative results about equidistribution theorems, one can deduce some quantitative estimates for such problems.


On the Representation theory of the Infinite Temperley Lieb algebra. We begin the study of the representation theory of the infinite Temperley Lieb algebra. We fully classify its finite dimensional representations, then introduce infinite link state representations and classify when they are irreducible or indecomposable. We also define a construction of projective indecomposable representations for TL n that generalizes to give extensions of TL infty representations. Finally we define a generalization of the spin chain representation and conjecture a generalization of Schur Weyl duality.


Induced optimal partition invariancy in linear optimization constraints perturbation. In this paper, we study uni parametric linear optimization problems, in which simultaneously the right hand side and the left hand side of constraints are linearly perturbed with identical parameter. In addition to the concept of change point, the induced optimal partition is introduced, and its relation to the well known optimal partition is investigated. Further, the concept of free variables in each invariancy intervals is described. A modified generalized computational method is provided with the capability of identifying the intervals for the parameter value where induced optimal partitions are invariant. The behavior of the optimal value function is described in its domain. Some concrete examples depict the results. We further implement the methodology on some test problems to observe its behavior on large scale problems.


Cross product free matrix pencils for computing generalized singular values. It is well known that the generalized (or quotient) singular values of a matrix pair (A, C) can be obtained from the generalized eigenvalues of a matrix pencil consisting of two augmented matrices. The downside of this reformulation is that one of the augmented matrices requires a cross products of the form C C , which may affect the accuracy of the computed quotient singular values if C has a large condition number. A similar statement holds for the restricted singular values of a matrix triplet (A, B, C) and the additional cross product BB . This article shows that we can reformulate the quotient and restricted singular value problems as generalized eigenvalue problems without having to use any cross product or any other matrix matrix product. Numerical experiments show that there indeed exist situations in which the new reformulation leads to more accurate results than the well known reformulation.


Cluster algebras from surfaces and extended affine Weyl groups. We characterize mutation finite cluster algebras of rank at least 3 using positive semi definite quadratic forms. In particular, we associate with every unpunctured bordered surface a positive semi definite quadratic space V , and with every triangulation a basis in V , such that any mutation of a cluster (i.e., a flip of a triangulation) transforms the corresponding bases into each other by partial reflections. Furthermore, every triangulation gives rise to an extended affine Weyl group of type A , which is invariant under flips. The construction is also extended to exceptional skew symmetric mutation finite cluster algebras of types E .


Graphs in which the Maxine heuristic produces a maximum independent set. The residue of a graph is the number of zeros left after iteratively applying the Havel Hakimi algorithm to its degree sequence. Favaron, Mah ' e o, and Sacl ' e showed that the residue is a lower bound on the independence number. The Maxine heuristic reduces a graph to an independent set of size M . It has been shown that given a graph G , M is bounded between the independence number and the residue of a graph for any application of the Maxine heuristic. We improve upon a forbidden subgraph classification of graphs such that M is equal to the independence number given by Barrus and Molnar in 2015.


Mismatched Models to Lower Bound the Capacity of Optical Fiber Channels. A correlated phase and additive noise (CPAN) mismatched model is developed for wavelength division multiplexing over optical fiber channels governed by the nonlinear Schr "odinger equation. Both the phase and additive noise processes of the CPAN model are Gauss Markov whereas previous work uses Wiener phase noise and white additive noise. Second order statistics are derived and lower bounds on the capacity are computed by simulations. The CPAN model characterizes nonlinearities better than existing models in the sense that it achieves better information rates. For example, the model gains 0.35 dB in power at the peak data rate when using a single carrier per wavelength. For multiple carriers per wavelength, the model combined with frequency dependent power allocation gains 0.14 bits s Hz in rate and 0.8 dB in power at the peak data rate.


Requirements engineering in global scaled agile software development environment a multi vocal literature review protocol. Context Requirements engineering in global scaled agile software development and the planning phase for a multi vocal literature review. Objective Develop a protocol to specify the plan which will be followed to conduct a multi vocal literature review study on requirements engineering in global scaled agile software development. Method Kitchenham and Charters (2007), and Garousi et al. (2019) guidelines were followed to develop a protocol for multi vocal literature review. Result A validated protocol to conduct a multi vocal literature review. Conclusion The review protocol consist of five phases enumerated as follows research questions, search strategies, validation of review process, reporting the review, and making changes to the protocol.


Automating Agential Reasoning Proof Calculi and Syntactic Decidability for STIT Logics. This work provides proof search algorithms and automated counter model extraction for a class of STIT logics. With this, we answer an open problem concerning syntactic decision procedures and cut free calculi for STIT logics. A new class of cut free complete labelled sequent calculi G3LdmL m n, for multi agent STIT with at most n many choices, is introduced. We refine the calculi G3LdmL m n through the use of propagation rules and demonstrate the admissibility of their structural rules, resulting in auxiliary calculi Ldm m nL. In the single agent case, we show that the refined calculi Ldm m nL derive theorems within a restricted class of (forestlike) sequents, allowing us to provide proof search algorithms that decide single agent STIT logics. We prove that the proof search algorithms are correct and terminate.


Wisdom of collaborators a peer review approach to performance appraisal. Individual performance and reputation within a company are major factors that influence wage distribution, promotion and firing. Due to the complexity and collaborative nature of contemporary business processes, the evaluation of individual impact in the majority of organizations is an ambiguous and non trivial task. Existing performance appraisal approaches are often affected by individuals biased judgements, and organizations are dissatisfied with the results of evaluations. We assert that employees can provide accurate measurement of their peer performance in a complex collaborative environment. We propose a novel metric, the Peer Rank Score (PRS), that evaluates individual reputations and the non quantifiable individual impact. PRS is based on pairwise comparisons of employees. We show high robustness of the algorithm on simulations and empirically validate it for a genetic testing company on more than one thousand employees using peer reviews over the course of three years.


Machine Learning based Cardinality Estimation in DBMS on Pre Aggregated Data. Cardinality estimation is a fundamental task in database query processing and optimization. As shown in recent papers, machine learning (ML) based approaches can deliver more accurate cardinality estimations than traditional approaches. However, a lot of example queries have to be executed during the model training phase to learn a data dependent ML model leading to a very time consuming training phase. Many of those example queries use the same base data, have the same query structure, and only differ in their predicates. Thus, index structures appear to be an ideal optimization technique at first glance. However, their benefit is limited. To speed up this model training phase, our core idea is to determine a predicate independent pre aggregation of the base data and to execute the example queries over this pre aggregated data. Based on this idea, we present a specific aggregate enabled training phase for ML based cardinality estimation approaches in this paper. As we are going to show with different workloads in our evaluation, we are able to achieve an average speedup of 63 with our aggregate enabled training phase.


Electric Nondipole Effect in Strong Field Ionization. Strong field ionization of atoms by circularly polarized femtosecond laser pulses produces a donut shaped electron momentum distribution. Within the dipole approximation this distribution is symmetric with respect to the polarization plane. The magnetic component of the light field is known to shift this distribution forward. Here, we show that this magnetic non dipole effect is not the only non dipole effect in strong field ionization. We find that an electric non dipole effect arises that is due to the position dependence of the electric field and which can be understood in analogy to the Doppler effect. This electric non dipole effect manifests as an increase of the radius of the donut shaped photoelectron momentum distribution for forward directed momenta and as a decrease of this radius for backwards directed electrons. We present experimental data showing this fingerprint of the electric non dipole effect and compare our findings with a classical model and quantum calculations.


Surface singularities in R 4 first steps towards Lipschitz knot theory. A link of an isolated singularity of a two dimensional semialgebraic surface in R 4 is a knot (or a link) in S 3 . Thus the ambient Lipschitz classification of surface singularities in R 4 can be interpreted as a bi Lipschitz refinement of the topological classification of knots (or links) in S 3 . We show that, given a knot K in S 3 , there are infinitely many distinct ambient Lipschitz equivalence classes of outer metric Lipschitz equivalent singularities in R 4 with the links topologically equivalent to K .


The spiral1 charge breeder key points for a performant 1 beam injection. The SPIRAL1 charge breeder is now under operation. Radioactive beam has already been delivered 1 to Physicist for performing experiment. Although charge breeding efficiencies demonstrated high performances for stable ion beams, those efficiencies regarding radioactive ion beams were found, in the first experiments, lower than expected. The beam optics, prior to the injection of the 1 ions into the SPIRAL1 charge breeder, is of prime importance 2 for getting such high efficiencies. Moreover, the intensities of the radioactive ion beams are so low, that it is really difficult to tune the charge breeder. The tuning of the charge breeder for radioactive ion beams requires a particular procedure often referred as blind tuning. A stable beam hav ing a close Brho (few percent) is required to find out the set of optic parameters preceding the tuning of the radioactive beam. Hence, it has been decided to focus our effort on that procedure as to get control of the 1 beam optics leading to high charge breeding efficiencies whatever the 1 mass, energy and Target Ion Source System (TISS) used. Being aware that each TISS provide ion beams with a specific energy spread DeltaE, and given that the acceptance energy win dow of the charge breeder is rather narrow that parameter must play also an important role in the whole charge breed ing efficiency.


LFTag A Scalable Visual Fiducial System with Low Spatial Frequency. Visual fiducial systems are a key component of many robotics and AR VR applications for 6 DOF monocular relative pose estimation and target identification. This paper presents LFTag, a visual fiducial system based on topological detection and relative position data encoding which optimizes data density within spatial frequency constraints. The marker is constructed to resolve rotational ambiguity, which combined with the robust geometric and topological false positive rejection, allows all marker bits to be used for data. When compared to existing state of the art square binary markers (AprilTag) and topological markers (TopoTag) in simulation, the proposed fiducial system (LFTag) offers significant advances in dictionary size and range. LFTag 3x3 achieves 546 times the dictionary size of AprilTag 25h9 and LFTag 4x4 achieves 126 thousand times the dictionary size of AprilTag 41h12 while simultaneously achieving longer detection range. LFTag 3x3 also achieves more than twice the detection range of TopoTag 4x4 at the same dictionary size.