English
Related papers

Related papers: Feasible alphabets for communicating the sum of so…

200 papers

We consider the sampling problem from a composite distribution whose potential (negative log density) is $\sum_{i=1}^n f_i(x_i)+\sum_{j=1}^m g_j(y_j)+\sum_{i=1}^n\sum_{j=1}^m\frac{\sigma_{ij}}{2\eta} \Vert x_i-y_j \Vert^2_2$ where each of…

Statistics Theory · Mathematics 2023-06-27 Bo Yuan , Jiaojiao Fan , Jiaming Liang , Andre Wibisono , Yongxin Chen

The original idea of proof nets can be formulated by means of interaction nets syntax. Additional machinery as switching, jumps and graph connectivity is needed in order to ensure correspondence between a proof structure and a correct proof…

Logic in Computer Science · Computer Science 2017-01-19 Matteo Acclavio

Given $n$ positive integers $a_1,a_2,\dots,a_n$, and a positive integer right hand side $\beta$, we consider the feasibility version of the subset sum problem which is the problem of determining whether a subset of $a_1,a_2,\dots,a_n$ adds…

Optimization and Control · Mathematics 2020-01-07 Mustafa Kemal Tural

We consider in-network computation of an arbitrary function over an arbitrary communication network. A network with capacity constraints on the links is given. Some nodes in the network generate data, e.g., like sensor nodes in a sensor…

Networking and Internet Architecture · Computer Science 2010-10-01 Virag Shah , Bikash Kumar Dey , D. Manjunath

For a finite group $G$, the vertices of the prime graph $\Gamma(G)$ are the primes that divide $|G|$, and two vertices $p$ and $q$ are connected by an edge if and only if there is an element of order $pq$ in $G$. Prime graphs of solvable…

Group Theory · Mathematics 2024-07-10 Thomas Michael Keller , Gavin Pettigrew , Saskia Solotko , Lixin Zheng

A sum-product network (SPN) is a probabilistic model, based on a rooted acyclic directed graph, in which terminal nodes represent univariate probability distributions and non-terminal nodes represent convex combinations (weighted sums) and…

Machine Learning · Computer Science 2020-04-03 Iago París , Raquel Sánchez-Cauce , Francisco Javier Díez

A theory is developed which uses "networks" (directed acyclic graphs with some extra structure) as a formalism for expressions in multilinear algebra. It is shown that this formalism is valid for arbitrary PROPs (short for 'PROducts and…

Rings and Algebras · Mathematics 2012-04-12 Lars Hellström

We show that every connected graph can be approximated by a normal tree, up to some arbitrarily small error phrased in terms of neighbourhoods around its ends. The existence of such approximate normal trees has consequences of both…

Combinatorics · Mathematics 2021-02-05 Jan Kurkofka , Ruben Melcher , Max Pitz

A tree-based network on a set $X$ of $n$ leaves is said to be universal if any rooted binary phylogenetic tree on $X$ can be its base tree. Francis and Steel showed that there is a universal tree-based network on $X$ in the case of $n=3$,…

Populations and Evolution · Quantitative Biology 2016-03-22 Momoko Hayamizu

We study random graph models for directed acyclic graphs, an important class of networks that includes citation networks, food webs, and feed-forward neural networks among others. We propose two specific models, roughly analogous to the…

Physics and Society · Physics 2009-10-16 Brian Karrer , M. E. J. Newman

Bayesian networks are directed acyclic graphs representing independence relationships among a set of random variables. A random variable can be regarded as a set of exhaustive and mutually exclusive propositions. We argue that there are…

Artificial Intelligence · Computer Science 2013-03-25 Dekang Lin

A tree-based network $N$ on $X$ is called universal if every phylogenetic tree on $X$ is a base tree for $N$. Recently, binary universal tree-based networks have attracted great attention in the literature and their existence has been…

Populations and Evolution · Quantitative Biology 2020-01-20 Mareike Fischer , Michelle Galla , Kristina Wicke

Let D denote an infinite alphabet -- a set that consists of infinitely many symbols. A word w = a_0 b_0 a_1 b_1 ... a_n b_n of even length over D can be viewed as a directed graph G_w whose vertices are the symbols that appear in w, and the…

Formal Languages and Automata Theory · Computer Science 2012-04-11 Tony Tan

We show that the theory of algebraically closed fields with multiplicative circular orders has a model companion $\mathrm{ACFO}$. Using number-theoretic results on character sums over finite fields, we show that if $\mathbb{F}$ is an…

Logic · Mathematics 2019-07-17 Chieu-Minh Tran

We derive representation theorems for exchangeable distributions on finite and infinite graphs using elementary arguments based on geometric and graph-theoretic concepts. Our results elucidate some of the key differences, and their…

Statistics Theory · Mathematics 2018-09-18 Steffen L. Lauritzen , Alessandro Rinaldo , Kayvan Sadeghi

A rooted acyclic digraph N with labelled leaves displays a tree T when there exists a way to select a unique parent of each hybrid vertex resulting in the tree T. Let Tr(N) denote the set of all trees displayed by the network N. In general,…

Populations and Evolution · Quantitative Biology 2015-01-30 Stephen J. Willson

We consider the problem of computing an $(s,d)$-hypernetwork in an acyclic F-hypergraph. This is a fundamental computational problem arising in directed hypergraphs, and is a foundational step in tackling problems of reachability and…

Discrete Mathematics · Computer Science 2022-01-17 Reynaldo Gil-Pons , Max Ward , Loïc Miller

Phylogenetic networks generalise phylogenetic trees and allow for the accurate representation of the evolutionary history of a set of present-day species whose past includes reticulate events such as hybridisation and lateral gene transfer.…

Populations and Evolution · Quantitative Biology 2018-09-05 Joan Carles Pons , Charles Semple , Mike Steel

Network or graph structures are ubiquitous in the study of complex systems. Often, we are interested in complexity trends of these system as it evolves under some dynamic. An example might be looking at the complexity of a food web as…

Information Theory · Computer Science 2007-07-16 Russell K. Standish

We give under weak assumptions a complete combinatorial characterization of identifiability for linear mixtures of finite alphabet sources, with unknown mixing weights and unknown source signals, but known alphabet. This is based on a…

Methodology · Statistics 2017-09-01 Merle Behr , Axel Munk