English
Related papers

Related papers: Counting false entries in truth tables of brackete…

200 papers

Let $\mathcal{A}$ be a finite subset of $\mathbb{N}$ including $0$ and $f_\mathcal{A}(n)$ be the number of ways to write $n=\sum_{i=0}^{\infty}\epsilon_i2^i$, where $\epsilon_i\in\mathcal{A}$. We consider asymptotics of the summatory…

Number Theory · Mathematics 2015-09-07 Katie Anders

Most link prediction methods return estimates of the connection probability of missing edges in a graph. Such output can be used to rank the missing edges from most to least likely to be a true edge, but does not directly provide a…

Methodology · Statistics 2024-03-26 Ariane Marandon

We find a formula for the number of permutations of $[n]$ that have exactly $s$ runs up and down. The formula is at once terminating, asymptotic, and exact.

Combinatorics · Mathematics 2007-05-23 E. Rodney Canfield , Herbert S. Wilf

Imagine handling collisions in a hash table by storing, in each cell, the bit-wise exclusive-or of the set of keys hashing there. This appears to be a terrible idea: For $\alpha n$ keys and $n$ buckets, where $\alpha$ is constant, we expect…

Data Structures and Algorithms · Computer Science 2022-11-08 Jakob Bæk Tejs Houen , Rasmus Pagh , Stefan Walzer

We introduce a graphical refutation calculus for relational inclusions: it reduces establishing a relational inclusion to establishing that a graph constructed from it has empty extension. This sound and complete calculus is conceptually…

Logic in Computer Science · Computer Science 2012-03-29 Paulo A. S. Veloso , Sheila R. M. Veloso

The method of brackets is an efficient method for the evaluation of a large class of definite integrals on the half-line. It is based on a small collection of rules, some of which are heuristic. The extension discussed here is based on the…

Classical Analysis and ODEs · Mathematics 2017-07-28 Ivan Gonzalez , Karen Kohl , Lin Jiu , Victor H. Moll

A "truncation" of Pascal's triangle is a triangular array of numbers that satisfies the usual Pascal recurrence but with a boundary condition that declares some terminal set of numbers along each row of the array to be zero. Presented here…

Combinatorics · Mathematics 2018-07-27 Robert G. Donnelly , Molly W. Dunkum , Courtney George , Stefan Schnake

We present an example of a subfield $\mathcal{F}\subset\mathbb{R}$ and a matrix $A$ whose conventional and nonnegative ranks equal five, but the nonnegative rank with respect to $\mathcal{F}$ equals six. In other words, $A$ can be…

Combinatorics · Mathematics 2019-07-25 Yaroslav Shitov

An arithmetic formula is an expression involving only the constant $1$, and the binary operations of addition and multiplication, with multiplication by $1$ not allowed. We obtain an asymptotic formula for the number of arithmetic formulas…

Combinatorics · Mathematics 2014-06-09 Edinah K. Gnang , Maksym Radziwill , Carlo Sanna

The weighted Delannoy numbers are defined by the recurrence relation $f_{m,n}=\alpha f_{m-1,n}+ \beta f_{m,n-1}+ \gamma f_{m-1,n-1}$ if $m n>0 $, with $f_{m,n}=\alpha^m \beta^n$ if $n m=0$. In this work, we study a generalization of these…

Combinatorics · Mathematics 2025-01-22 J. M. Grau , A. M Oller-Marcen , J. L. Varona

In recent years many efforts have been devoted to finding bidiagonal factorizations of nonsingular totally positive matrices, since their accurate computation allows to numerically solve several important algebraic problems with great…

Numerical Analysis · Mathematics 2024-08-16 Yasmina Khiar , Esmeralda Mainar , Eduardo Royo-Amondarain , Beatriz Rubio

Let $U_n$ be the set of un-oriented and rational links with crossing number $n$, a precise formula for $|U_n|$ was obtained by Ernst and Sumners in 1987. In this paper, we study the enumeration problem of oriented rational links. Let…

Geometric Topology · Mathematics 2020-07-07 Yuanan Diao , Michael Finney , Dawn Ray

It is well known that every positive integer can be expressed as a sum of nonconsecutive Fibonacci numbers provided the Fibonacci numbers satisfy $F_n =F_{n-1}+F_{n-2}$ for $n\geq 3$, $F_1 =1$ and $F_2 =2$. In this paper, for any…

Combinatorics · Mathematics 2019-02-06 Daniel Gotshall , Pamela E. Harris , Dawn Nelson , Maria D. Vega , Cameron Voigt

Let $M$ be a non-zero binary matrix with distinct rows where the rows are closed under certain logical operators. In this article, we investigate the existence of columns containing an equal or greater number of ones than zeros.…

Combinatorics · Mathematics 2023-09-12 Mohammad Javad Moghaddas Mehr

The paper proposes a new type of negation in multi-valued logics, providing a different way to answer the following question: what does it mean that some object language formula does not have a given truth-value. Along the way, the paper…

Logic in Computer Science · Computer Science 2022-04-01 Nissim Francez

Factual consistency is one of the most important requirements when editing high quality documents. It is extremely important for automatic text generation systems like summarization, question answering, dialog modeling, and language…

Computation and Language · Computer Science 2023-06-16 Tathagata Raha , Mukund Choudhary , Abhinav Menon , Harshit Gupta , KV Aditya Srivatsa , Manish Gupta , Vasudeva Varma

We provide an approach to exploratory data analysis in matched observational studies with a single intervention and multiple endpoints. In such settings, the researcher would like to explore evidence for actual treatment effects among these…

Methodology · Statistics 2025-12-10 Mengqi Lin , Colin Fogarty

We verify an explicit inequality conjectured recently by Gilmer, thus proving that for any nonempty union-closed family $F \subseteq 2^{[n]}$, some $i\in [n]$ is contained in at least a $\frac{3-\sqrt{5}}{2} \approx 0.38$ fraction of the…

Combinatorics · Mathematics 2024-07-09 Ryan Alweiss , Brice Huang , Mark Sellke

The number of $n \times n$ matrices whose entries are either -1, 0, or 1, whose row- and column- sums are all 1, and such that in every row and every column the non-zero entries alternate in sign, is proved to be $[1!4! >...…

Combinatorics · Mathematics 2008-02-03 Doron Zeilberger

We derive new formulas for the number of unordered (distinct) factorizations with $k$ parts of a positive integer $n$ as sums over the partitions of $k$ and an auxiliary function, the number of partitions of the prime exponents of $n$,…

Combinatorics · Mathematics 2019-09-04 Jacob Sprittulla