Skip to main content

All Questions

Filter by
Sorted by
Tagged with
3 votes
1 answer
123 views

Conjecture about separating union-closed families

Consider a separating union-closed family $\mathcal{F}$ of $n$ finite sets with $\mathcal{F} \not = \{ \emptyset \}$. Let $U(\mathcal{F})$ be the union of all sets in $\mathcal{F}$ (the universe). Let ...
3 votes
0 answers
122 views

Garnir elements basic question

Prop. 2.6.3 in Sagan's book The symmetric group discusses Garnir elements, and says: "If $|A\cup B|$ is greater than the number of elements in column $j$ of $t$, then $g_{A,B} \mathbf{e}_t=0$.&...
1 vote
0 answers
83 views

Non-vanishing of product of zero divisors in quotients modulo $n$

This might be of practical importance and even partial answer will help. Let $n$ be odd squarefree integer with known factorization $n=\prod p_i$ with $N$ prime factors. Later we are not asking about ...
9 votes
1 answer
460 views

Min–max reversing bijections $f:\mathbb{N}\to\mathbb{N}$

For any set $X$, let $\newcommand{\N}{\mathbb{N}}[X]^2 = \big\{\{x,y\}:x\neq y \in X\big\}$ and set $[n]^2 = [\{0,\dotsc,n-1\}]^2$ for any positive integer $n$. For $A\subseteq [\N]^2$ we set $$\...
1 vote
1 answer
117 views

Generate all non-isomorphic caterpillar trees with $n$ vertices

A caterpillar or caterpillar tree is a tree in which all the vertices are within distance 1 of a central path. From Wikipedia, I see that their count is also available in OEIS A005418. My question is, ...
7 votes
0 answers
176 views

Sumsets that contains many squares, Improvement on the bound

I'm being troubled by this problem on AoPS: https://artofproblemsolving.com/community/c6h1998237p13955033 I searched for any literature related to it such as Nguyen, Hoi H., and Van H. Vu., Squares ...
8 votes
1 answer
567 views

Joining the $2^k$ points of $\{0,1\}^k$ with the shortest tree

Let $k$ be a given positive integer, and then consider the unit hypercube $\{0, 1\}^k \subset \mathbb{R}^k$ (i.e., a $k$-dimensional "cube" in the well-known Euclidean space). We need to ...
3 votes
0 answers
317 views

Prime Hadamard matrices

Assume that $n$ is a sufficiently large number. Is there a Hadamard matrix $H_{4n \times 4n}=(h_{ij})$ with the last row and the last cloumn $J$ (thet is, for every $k$, $h_{k,4n}=1$ and $h_{4n, k}=1$)...
1 vote
1 answer
452 views

About the Hadamard conjecture

On the wikipedia article about Hadamard Matrix it says that "The smallest order that cannot be constructed by a combination of Sylvester's and Paley's methods is $92$" But it also says that ...
5 votes
0 answers
583 views

Dimension inequality for subspaces in field extensions

Let $K\subset L$ be a field extension and $A, B\subset L$ be $K$-subspaces of $L$ of finite positive dimensions. Assume further that for every $a, b \in L$ and every nontrivial proper finite ...
3 votes
1 answer
162 views

Counting equal covering sets

Definition. We call a set $C$ of sets to be an equal covering set of $S$ if the elements of $C$ are all the same size and each element of $S$ is contained an equal number of times throughout the sets ...
3 votes
1 answer
131 views

Sparse "bijection-proof" subsets of $[\mathbb{N}]^2$

We call a collection ${\cal S}\subseteq {\cal P}(\newcommand{\N}{\mathbb{N}}\N)$ bijection-proof if for any bijection $\varphi:\N\to\N$ there is $T\in{\cal S}$ with $\varphi(T) \in {\cal S}$. For any ...
15 votes
3 answers
3k views

Noncombinatorial proofs of Ramsey's Theorem?

I know of 2(.5) proofs of Ramsey's theorem, which states (in its simplest form) that for all $k, l\in \mathbb{N}$ there exists an integer $R(k, l)$ with the following property: for any $n>R(k, l)$, ...
6 votes
0 answers
130 views

Bent vectors and $\pm 1$ eigenvectors with respect to non-Sylvester Hadamard matrices

A Hadamard matrix is an $n\times n$-matrix $H$ where each entry in $H$ is $\pm 1$ and where $H/\sqrt{n}$ is orthogonal. It is well-known that if $H$ is an $n\times n$-Hadamard matrix, then $n<3$ or ...
3 votes
1 answer
140 views

Generalizations of a theorem of Edmonds/Tutte on existence of a perfect matching in a graphs

It is well known that for a bipartite graph $G$ with bi-adjacency matrix $A$, then $\det A \neq 0$ (as a polynomial) iff $G$ has a perfect matching (there is a similar result for general graphs with ...
12 votes
1 answer
730 views

Two remarkable weighted sums over binary words

This question builds off of the previous MO question Number of collinear ways to fill a grid. Let $A(m,n)$ denote the set of binary words $\alpha=(\alpha_1,\alpha_2,\ldots,\alpha_{m+n-2})$ consisting ...
2 votes
1 answer
105 views

"Spanning trees" for connected linear hypergraphs

Starting point. For every simple, undirected graph $G=(V,E)$ there is $E_0\subseteq E$ such that $(V,E_0)$ is minimally connected: the spanning tree. The goal of this question is to find out whether ...
5 votes
1 answer
259 views

Is a weak version of the three sets Lemma provable in ZF?

The Three Sets Lemma is the following Lemma: Lemma: Let $f(x)$ be a function from $X$ to $X$ where $f(x)$ has no fixed points. Then there exists a partition of $X$ into three disjoint sets $X_1$, $X_2$...
16 votes
3 answers
10k views

Proving that a poset is a lattice

I discovered experimentally that a certain finite poset (sorry, I cannot give its definition here) seems to be in fact a (non-distributive, non-graded) lattice. The covering relations are reasonably ...
0 votes
0 answers
174 views

3D generalization of Gaussian q-binomial coefficient

It is known that the coefficient of $q^t$ in Gaussian binomial coefficient $\binom{m+n}m_q$ equals the number of permutations of the multiset $\{0^m, 1^n\}$ with $t$ inversions. Is there a closed ...
7 votes
1 answer
1k views

Is the Gauss hypergeometric series ${}_2F_1\bigl(\frac{1}{2},\frac{1}{2};2;t\bigr)$ an elementary function?

For $\alpha,\beta\in\mathbb{C}$ and $\gamma\in\mathbb{C}\setminus\{0,-1,-2,\dotsc\}$, Gauss' hypergeometric function ${}_2F_1(\alpha,\beta;\gamma;z)$ can be defined by the series \begin{equation}\...
6 votes
1 answer
402 views

Szemerédi-Trotter theorem for planes and lines

The Szemerédi-Trotter theorem states: Theorem Let $P$ be a set of $m$ lines in $\mathbb R^2$ and let $L$ be a set of $n$ points in $\mathbb R^2$. Then $$\#\{(p,\ell)\in P\times L:p\in\ell\}\lesssim (...
1 vote
1 answer
142 views

Asymptotics on sum of product of binomial coefficients

I'm interested in the behavior of the summation $$S(a,b)=\sum_{k\ge 0}\binom{a-k}{k}\binom{b}{k}.$$ For a fixed $\delta>0$, I would like asymptotic bounds on $S(a,\delta a)$. With $\delta=1$, this ...
2 votes
0 answers
147 views

Average number of cycles in a directed regular graph?

A directed random regular graph is a graph where all vertices have exactly $d_{\rm in}$ edges going in and $d_{\rm out}$ going out. If the graph is undirected, i.e. all vertices have degree $d$, then ...
9 votes
1 answer
889 views

Combinatorics for the action of Virasoro / Kac–Schwarz operators: partition polynomials of free probability theory

In the background sections below, I establish the relations among characterizations of the action of Virasoro / Kac–Schwarz operators of 2D gravity models presented in terms of Laurent series by ...
0 votes
0 answers
106 views

How can I transform every graph into one with constant out-degree?

I am working on my master thesis and try to implement a new shortest path algorithm from the following paper: https://arxiv.org/abs/2203.03456 In some of the functions (for example ScaleDown), ...
1 vote
0 answers
88 views

Is there an efficient algorithm for finding a fundamental cycle basis of a graph with the fewest odd cycles? Failing that, a hardness result on this?

I can think of a greedy algorithm: Let $B$ be a fundamental cycle basis of graph $G$ induced by spanning tree (or forest) $T$ For $e\in T$, let $n_+(e)$ ($n_-(e)$) be the number of even (odd) cycles ...
8 votes
2 answers
509 views

Bijection $\varphi:\mathbb{N}\to\mathbb{N}$ that distorts every finite arithmetic progression

Let $\mathbb{N}$ denote the set of non-negative integers. We say $A\subseteq \mathbb{N}$ is a finite arithmetic progression if there are $a, n, d\in\mathbb{N}$ with $d \geq 1$ and $n \geq 2$ such that ...
1 vote
0 answers
77 views

Decomposition of $BwBw^{-1}B$

Let $(B,N,W,S)$ be a Tits system with $W$ a finite coxeter group. Let $w\in W$, consider $BwBw^{-1}B$, then by Bruhat decomposition, it is a disjoint union of some $BxB$, $x\in W$. My question: Let $X\...
1 vote
1 answer
200 views

Sign of the permutation when I show that $\star{\star w}= (-1)^{n(n-k)} w$ for the Hodge operator

Let $w=\sum_{I} a_{I}dx_{I}$ be a $k$-form in $\Bbb R ^n$. Let us consider the Hodge operator in a combinatorial form, i.e. as an $(n-k)$ form such that $$\star(dx_{i_{1}} \wedge \dotsb \wedge dx_{i_{...
4 votes
1 answer
224 views

Shrinking and expanding pairs in bijections $\varphi:\mathbb{N}\to\mathbb{N}$

Motivation. If we consider any bijection $\varphi:\newcommand{\N}{\mathbb{N}} \N \to \N$, we say integers $m\neq n$ are shrinking with respect to $\varphi$ if $|m-n|>|\varphi(m) - \varphi(n)|$, and ...
4 votes
1 answer
276 views

Preserving simple-connectedness under intersection complexes

Given a simplicial complex $X$, and a family of its subcomplexes $\{U_i\}_{i\in I}$, we define the corresponding intersection complex to be the simplicial complex $X_U$ with vertex set $I$ where $A \...
4 votes
2 answers
234 views

Is there always a permuted tuple of $n+1$ elements such that multiplying elementwise$\bmod n + 1$ on $(0, 1, \ldots, n)$ yields a binary $n+1$ tuple?

Allow me to explain and give examples of something I've been playing around with. Let $A$ be the $n+1$ tuple of the form $(0, 1, 2, \ldots, n)$. Let $k = n + 1$ be the number of elements. My question ...
6 votes
1 answer
95 views

Minimum area of the symmetric difference of odd number of translated copies of a unit circle $C$

Let $C$ be the unit circle in a plane. Take an odd number $n$ of translated copies of $C$ and take their symmetric difference $D$. Is it true that the area of $D$ should be at least that of $C$? If $C$...
6 votes
1 answer
1k views

Jacobsthal function related to squares

The ordinary Jacobsthal function $j$ is defined by setting $j(n)$ as the smallest number $m$ such that, for each consecutive $m$ integers, at least one of the numbers is coprime to $n$. There are ...
4 votes
0 answers
113 views

Find necessary & sufficient conditions for two families of sets to have $m$ pairwise disjoint common partial transversals of given sizes

Let $S$ be a finite set, $I$ a finite index set, $\mathcal A=(A_i:i\in I)$ and $\mathcal B=(B_i:i\in I)$ families of subsets of $S$. For $J\subseteq I$, let $A(J)$ denote $\bigcup_{j\in J} A_j$. A ...
3 votes
0 answers
120 views

Number of spheres in complexes constructed from a Steiner Triple System

Let $M$ be a perfect matching on an even number of vertices $n$, and let $\mathbb{S}_n$ be the symmetric group on $n$ vertices. Next, we construct a graph $G_k := ([n], E)$ using $k$ randomly permuted ...
3 votes
1 answer
208 views

The signs of some mean-zero random variables

Let $X$ be a discrete random variable supported on $\{−5,\dots, 6\}$ in which the outcomes have the following respective probabilities: $$\begin{array}{rc} n & p(n) \\ \hline −5 & 6/36 \\ −4 &...
6 votes
1 answer
200 views

Subspaces of $\mathbb{F}_2^N$ containing many pairs of far apart vectors

Let $S$ be a subset of vectors in $\mathbb{F}_2^{3n}$ having Hamming weight $n$. Suppose that $S$ contains $m$ pairs of vectors having disjoint supports (that is, they are at Hamming distance $2n$ ...
1 vote
0 answers
113 views

Representing A329369 using A358612

Let $a(n)$ be A329369 (i.e., number of permutations of $\{1,2,\dotsc,m\}$ with excedance set constructed by taking $m-i$ ($0 < i < m$) if $b(i-1) = 1$ where $b(k)b(k-1)\cdots b(1)b(0)$ ($0 \...
5 votes
1 answer
176 views

Efficient counting of integer solutions to linear system

In my research, I have a particular 18x18 matrix $\mathbf{A}$ which defines the linear system $\mathbf{A}\cdot \mathbf{x} \leq \mathbf{-1}$ over the nonnegative integers. And I'm interested in ...
2 votes
1 answer
119 views

Asymptotic size of largest subset in $\mathbb F_p^2$ defining only lines of different slopes

Suppose that all lines defined by pairs of distinct elements in a subset of $\mathbb F_p^2$ have different slopes. How large can such a subset be asymptotically (for primes $p\rightarrow \infty$)? ...
2 votes
0 answers
78 views

Partitions of bent vectors

Let $H=\frac{1}{\sqrt{2}}\begin{bmatrix}1 & 1 \\ 1 & -1\end{bmatrix}.$ Let $A^{\otimes N}$ denote the tensor product of the matrix $A$ with itself taken $N$ times. We say that a vector $v$ of ...
1 vote
0 answers
164 views

Combinatorial question related to Hankel-type matrices

Let $\mathbb{N}$ be the set of non-negative integers. Let $n\geq 2, d$ be positive integers. I would like a lower bound on the largest integer $r$ for which the following property holds: For any ...
1 vote
0 answers
93 views

15-game graph contains a Hamiltonian path ? Lovász conjecture for groupoids, loops, quasigroups , etc?

Typically Cayley graphs are defined for groups and generators sets S. But basically one only needs some set S and another set V and partially defined operation SxV->V, then one defines graph with ...
5 votes
3 answers
959 views

A variant of set cover problem reformulated

Given a universe set $U$ and $n$ sets of sets $A_i$ ($i=1, \cdots, n$). Each set $A_i$ contains $k_i$ subsets of $U$, i.e., $A_i=\{B_{ij}: j=1, \cdots, k_i\}$ where $B_{ij}$ is a subset of $U$. I have ...
0 votes
0 answers
62 views

longest element in set $W_\gamma wW_\nu vW_\mu$

Let $(W,S)$ be a finite Coxeter group, $W_\gamma,W_\nu,W_\mu$ be three parabolic subgroups. For $w,v\in W$, let us consider the set $W_\gamma wW_\nu vW_\mu$. Does there exixt a unique longest element (...
15 votes
3 answers
1k views

Does anyone remember what happened to the experimental search for polynomial identities for $\pi$?

So a while back I was on the internet and had encountered a website containing an experimental search for identities for $\pi$. My memory was that the page belonged to either Jonathan Sondow or ...
0 votes
0 answers
96 views

"Degenerate" Schur polynomials

Let's say that a Schur polynomial is degenerate if its number of variables is less than the weight of the partition it is associated to. For example, according to Sage, the Schur polynomial of the ...
1 vote
0 answers
101 views

Effortless automated proofs for "simple" formulae?

From small cases to all of them. This is in the spirit of 15 theorem see https://en.wikipedia.org/wiki/15_and_290_theorems EXAMPLE : Suppose you have the following problem: P(a) For any fixed non ...

1
9 10
11
12 13
221